Ecuación de Schröder

La ecuación de Schröder,[1][2][3]​ nombrada así en honor de Ernst Schröder, es una ecuación funcional con una variable independiente. Dada la función , la solución de la ecuación de Schröder es la función que cumple:

La ecuación de Schröder es un problema de autovalores para el operador de composición Ch, el cual devuelve, para una función f(x), otra función f(h(x)).

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

Significado en teoría de funcionesEditar

Para a = 0, si h es analítica en el disco unidad centrado en 0, y 0 < |h′(0)| < 1, Koenigs demostró en 1884 que existe una solución analítica (no trivial) Ψ 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 autosimilaridad, 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.[4][5]

Una ecuación equivalente a la ecuación de Schröder es la fórmula que cumple su inversa respecto a la composición  , que verifica

 

El cambio de variables α(x)=log(Ψ(x))/log(s) transforma a la ecuación de Schröder en la ecuación de Abel α(h(x)) = α(x)+1.

Igualmente, el cambio de variables Ψ(x) = log(φ(x)) transforma a la ecuación de Schröder en la ecuación de Böttcher φ(h(x))=(φ(x))s.

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 sn. En la misma línea, dada una solución invertible Ψ(x) de la ecuación de Schröder, la función (no invertible) Ψ(x) k(logΨ(x)) es también solución de la misma ecuación para cualquier función periódica k(x) con periodo log(s). Todas las soluciones de la ecuación de Schröder están relacionadas de esta manera.

SolucionesEditar

La ecuación de Schröder fue resuelta analíticamente para todo punto fijo a atractor (pero no superatractor), esto es, si se cumple que 0 < |h'(a)| < 1 por Gabriel Koenigs (1884).[6][7]

En el caso del punto fijo superatractor, |h'(a)| = 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.[8]

El mismo Schröder, en su artículo original de 1870,[1]​ 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.[9]​ Una buena cantidad de las soluciones conocidas se han construido a partir de series asintóticas, véase matriz de Calerman.

AplicacionesEditar

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) (xh(x)), 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 t como:

 

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

El conjunto   de todas las iteraciones enteras de   (semigrupo) se denomina splinter (o secuencia de Picard) de  .

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

De hecho, la raíz cuadrada funcional es h½(x) = Ψ−1 (s1/2 Ψ(x) ), por lo que h½( h½(x) ) = h (x), y así los demás casos.

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

Por ejemplo,[11]​ algunos casos especiales de la ecuación logística como el caso caótico h(x)=4x(1−x) fueron estudiados ya por Schröder en su artículo original[1]​ (cf. p. 306), Ψ(x)=arcsin2(√x), s=4, y por tanto ht(x)=sin2(2t arcsin(√x)).

De hecho, se ve esta solución como resultado del movimiento dictado por una secuencia de potenciales de zigzag,[12]V(x) ∝ x(x−1) (+arcsin √x)2, 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, h(x)=2x(1−x), devuelve Ψ(x)=−½ln(1−2x) y, por tanto ht(x)=−½((1−2x)2t−1).

Véase tambiénEditar

ReferenciasEditar

  1. a b c Schröder, Ernst (1870). «Ueber iterirte Functionen». Math. Ann. 3 (2): 296-322. doi:10.1007/BF01443992. 
  2. Carleson, Lennart; Gamelin, Theodore W. (1993). Complex Dynamics. Textbook series: Universitext: Tracts in Mathematics. Nueva York: Springer-Verlag. ISBN 0-387-97942-5. 
  3. Kuczma, Marek (1968). Functional equations in a single variable. Monografie Matematyczne. Warszawa: PWN – Polish Scientific Publishers. 
  4. Gell-Mann, M.; Low, F.E. (1954). «Quantum Electrodynamics at Small Distances». Physical Review 95 (5): 1300-1312. Bibcode:1954PhRv...95.1300G. doi:10.1103/PhysRev.95.1300. 
  5. Curtright, T.L.; Zachos, C.K. (marzo de 2011). «Renormalization Group Functional Equations». Physical Review D 83 (6): 065019. Bibcode:2011PhRvD..83f5019C. arXiv:1010.5174. doi:10.1103/PhysRevD.83.065019. 
  6. Koenigs, G. (1884). «Recherches sur les intégrales de certaines équations fonctionelles». Annales Scientifiques de l'École Normale Supérieure 1 (3, Supplément): 3-41. Archivado desde el original el 4 de octubre de 2013. 
  7. Erdös, P.; Jabotinsky, E. (1960). «On Analytic Iteration». Journal d'Analyse Mathématique 8 (1): 361-376. doi:10.1007/BF02786856. 
  8. Böttcher, L. E. (1904). «The principal laws of convergence of iterates and their application to analysis». Izv. Kazan. Fiz.-Mat. Obshch. (Russian) 14: 155-234. 
  9. Szekeres, G. (1958). «Regular iteration of real and complex functions». Acta Mathematica 100 (3–4): 361-376. doi:10.1007/BF02559539.  [1]
  10. Curtright, T.L.; Zachos, C.K. (2009). «Evolution Profiles and Functional Equations». Journal of Physics A 42 (48): 485208. Bibcode:2009JPhA...42V5208C. arXiv:0909.2424. doi:10.1088/1751-8113/42/48/485208. 
  11. Curtright, T.L. Evolution surfaces and Schröder functional methods.
  12. Curtright, T.L.; Zachos, C.K. (2010). «Chaotic Maps, Hamiltonian Flows, and Holographic Methods». Journal of Physics A 43 (44): 445101. Bibcode:2010JPhA...43R5101C. arXiv:1002.0104. doi:10.1088/1751-8113/43/44/445101.