Ecuación de Schröder

La ecuación de Schröder, nombrada así en honor de Ernst Schröder, es una ecuación funcional con una variable independiente. Dada la función $h(x)$, la solución de la ecuación de Schröder es la función $\mathrm{\Psi }(x)$ que cumple:

La ecuación de Schröder es un problema de autovalores para el operador de composición Plantilla:Math, el cual devuelve, para una función Plantilla:Math, otra función Plantilla:Math.

Si Plantilla:Math es un punto fijo de Plantilla:Math (es decir, se cumple que $h(a)=a$), entonces se tienen 3 posibilidades: O Plantilla:Math, o Plantilla:Math o Plantilla:Math=1. Por tanto, dado que Plantilla:Math es finito y Plantilla:Math no se anula ni diverge, el autovalor Plantilla:Math está dado por Plantilla:Math.

Significado en teoría de funciones

Para Plantilla:Math, si Plantilla:Math es analítica en el disco unidad centrado en 0, y 0 < |Plantilla:Math| < 1, Koenigs demostró en 1884 que existe una solución analítica (no trivial) Plantilla:Math que satisface la ecuación de Schröder. Este fue uno de los primeros pasos de una larga línea fructífera de teoremas en torno a la comprensión del operador de composición en espacios de funciones analíticas. Véase por ejemplo: función de Koenigs.

Las ecuaciones del tipo de la de Schröder son útiles para describir la autosimilitud, y han sido extensivamente utilizadas en estudios de dinámica no lineal (coloquialmente teoría del caos). También ha sido utilizada en estudios de turbulencia, así como en el campo del grupo de renormalización.

Una ecuación equivalente a la ecuación de Schröder es la fórmula que cumple su inversa respecto a la composición $\mathrm{\Phi }(x)={\mathrm{\Psi }}^{-1}(x)$, que verifica

El cambio de variables Plantilla:Math transforma a la ecuación de Schröder en la ecuación de Abel Plantilla:Math.

Igualmente, el cambio de variables Plantilla:Math transforma a la ecuación de Schröder en la ecuación de Böttcher Plantilla:Math.

La n-ésima potencia de una solución de la ecuación de Schröder nos da otra solución de la ecuación de Schröder con autovalor Plantilla:Math. En la misma línea, dada una solución invertible Plantilla:Math de la ecuación de Schröder, la función (no invertible) Plantilla:Math es también solución de la misma ecuación para cualquier función periódica Plantilla:Math con periodo Plantilla:Math. Todas las soluciones de la ecuación de Schröder están relacionadas de esta manera.

Soluciones

La ecuación de Schröder fue resuelta analíticamente para todo punto fijo Plantilla:Math atractor (pero no superatractor), esto es, si se cumple que 0 < |Plantilla:Math| < 1 por Gabriel Koenigs (1884).

En el caso del punto fijo superatractor, |Plantilla:Math| = 0, la ecuación de Schröder es complicada de estudiar, y se ha visto que es mejor transformarla a la ecuación de Böttcher.

El mismo Schröder, en su artículo original de 1870, dio un buen número de soluciones particulares de la ecuación.

El desarrollo en serie en torno a un punto fijo, las propiedades de convergencia pertinentes de la solución para la órbita resultante y sus propiedades analiticidad fueron convincentemente explicadas por Szekeres. Una buena cantidad de las soluciones conocidas se han construido a partir de series asintóticas, véase matriz de Calerman.

Aplicaciones

Esta ecuación se ha usado para estudiar sistemas dinámicos discretos mediante la búsqueda de un nuevo sistema de coordenadas en el que el sistema (órbita) generado por h (x) sea más simple, una simple dilatación.

Más específicamente, en un sistema en el cual, en una unidad discreta de tiempo, x se transforma en h (x) (Plantilla:Math), se puede obtener su órbita (o flujo) suave a partir de la solución no de la ecuación de Schröder, si no de su ecuación conjugada.

Esta solución es:

En general, esta solución se puede iterar y así se puede obtener una solución (órbita en el lenguaje de sistemas dinámicos) válida para todo tiempo Plantilla:Math como:

para Plantilla:Math real, no necesariamente positivo o entero. Esto es, la solución forma un grupo continuo uniparamétrico completo bajo el parámetro Plantilla:Math. Véase función iterada.

El conjunto $\{h_n(x){\}}_{n=1}^{\mathrm{\infty }}$ de todas las iteraciones enteras de $h(x)$ (semigrupo) se denomina splinter (o secuencia de Picard) de $h(x)$.

Sin embargo, todas las iteraciones (fraccionarias, infinitesimales, o negativas) de Plantilla:Math están dadas del mismo modo a través de la función Plantilla:Math solución de la ecuación de Schröder. En se ha obtenido una interpolación continua de la recursividad discreta inicial Plantilla:Math, de hecho, para toda la órbita.

De hecho, la raíz cuadrada funcional es Plantilla:Math, por lo que Plantilla:Math, y así los demás casos.

Primeros 5 semiperiodos de la órbita en el espacio de fases del mapa logístico caótico Plantilla:Math para s=4, interpolado mediante la ecuación de Schröder.

Por ejemplo, algunos casos especiales de la ecuación logística como el caso caótico Plantilla:Math fueron estudiados ya por Schröder en su artículo original (cf. p. 306), Plantilla:Math, Plantilla:Math, y por tanto Plantilla:Math.

De hecho, se ve esta solución como resultado del movimiento dictado por una secuencia de potenciales de zigzag, Plantilla:Math, lo que es una característica genérica de las iteraciones continuas efectuadas por la ecuación de Schröder.

Como ejemplo de un caso no caótico también estudiado con su método tenemos, Plantilla:Math, devuelve Plantilla:Math y, por tanto Plantilla:Math.

Véase también

• Composición de funciones
• Ecuación de Abel
• Ecuación de Böttcher
• Raíz cuadrada funcional

Referencias

Plantilla:Control de autoridades