Últimamente he estado incursionando en la iteración funcional, pero me he topado con un problema que me está causando mucho dolor. Primero intenté iterar la función softplus $f(x)=\ln(e^x+1)$ lo cual no fue difícil. Por un teorema preexistente, cualquier función de la forma $g(h(g^{-1}(x)))$ iterado $n$ veces viene dado por $g(h^n(g^{-1}(x)))$ por lo que la enésima iteración de la función softplus viene dada por $f^n()=\ln(e^x+n)$ . Me he centrado sobre todo en las raíces cuadradas funcionales (una media iteración de una función), y en este caso, la raíz cuadrada funcional era $\ln(e^x+\frac{1}{2})$ .
Luego intenté iterar una función muy similar: $f(x)=-\ln(e^x+1)$ . Esto resultó ser mucho más difícil, porque para ponerlo en la forma $g(h(g^{-1}(x)))$ Tengo que dejar que $h(x)=\frac{1}{x+1}$ . Entonces, para encontrar la raíz cuadrada funcional, tendría que encontrar la raíz cuadrada funcional de $h(x)$ . Hasta ahora no he podido hacerlo, pero me he convencido de que la respuesta contendrá exponentes imaginarios. ¿Puede alguien decirme cómo hacerlo (o cómo averiguar si es posible o no)?
2 votos
$h(x)$ es un mapa lineal fraccionario, por lo que una raíz cuadrada funcional del mismo viene dada por una raíz cuadrada matricial para $\begin{pmatrix} 0 & 1 \\ 1 & 1\end{pmatrix}$ .
0 votos
@quasi: muy bien, convertido en una respuesta.
0 votos
Quizás este artículo mío de exploración le resulte interesante: go.helms-net.de/math/tetdocs/FracIterAltGeom.htm
0 votos
He resuelto la media iteración de $f(x)=-\ln(\exp(x)+1) $ utilizando el mecanismo de Schröder, lo que hace que el ansatz $ g°^h(x) = \sigma(c^h \sigma^{-1}(x))) $ donde $g(x) = f(x+ t)-t$ y $t$ es el punto fijo de atracción cerca de $-0.4812 $ y $c\approx -0.381$ es una constante ("exponente de Lyapunow" o "valor propio"). Por ejemplo $f°^{0.5}(-0.25) = -0.476215460298 + 0.149536581699 î$ y al reinsertar este valor en la función de media iteración se obtiene $-0.575939419879$ que se acerca al valor real de $f(-0.25)$ por $1e-33$ y puede hacerse con una precisión arbitraria. Sin embargo, esto es diferente a su ansatz, así que ...