Teoría de Floquet

La teoría de Floquet es una rama de las ecuaciones diferenciales ordinarias relacionada con las soluciones de las ecuaciones diferenciales lineales periódicas de la forma

$$\dot{x}=A(t)x,$$

donde $A(t)$ es una función continua a trozos periódica de periodo $T$ y que define la estabilidad de las soluciones.

El teorema de Floquet, el teorema principal de la teoría de Floquet, se debe a Gaston Floquet (1883) y da una forma canónica para cada matriz fundamental de soluciones del sistema lineal. Mediante un cambio de coordenadas $y=Q^{-1}(t)x$, con $Q(t+2T)=Q(t)$, se transforma el sistema periódico en un sistema lineal con coeficientes constantes reales.

Al aplicarse a sistemas físicos con potenciales periódicos, como los cristales en la física de la materia condensada, el resultado se conoce como teorema de Bloch.

Debe recordarse que:

• Las soluciones de la ecuación diferencial lineal forman un espacio vectorial.
• Una matriz $\varphi (t)$ se denomina matriz fundamental de soluciones si todas las columnas son soluciones linealmente independientes.
• Una matriz $\mathrm{\Phi }(t)$ se llama matriz fundamental principal de soluciones si todas las columnas son soluciones linealmente independientes y existe $t_0$ tal que $\mathrm{\Phi }(t_0)$ es la identidad. Una matriz fundamental principal se puede construir a partir de una matriz fundamental mediante la relación $\mathrm{\Phi }(t)=\varphi (t){\varphi }^{-1}(t_0)$.
• La solución de la ecuación diferencial lineal con la condición inicial $x(0)=x_0$ es $x(t)=\varphi (t){\varphi }^{-1}(0)x_0$ dónde $\varphi (t)$ es cualquier matriz fundamental de soluciones.

Teorema de Floquet

Sea $\dot{x}=A(t)x$ una ecuación diferencial lineal de primer orden, donde $x(t)$ es un vector columna de longitud $n$ y $A(t)$ una matriz real $n\times n$ periódica con período $T$ (es decir $A(t+T)=A(t)$ para todo $t$ real). Siendo $\varphi (t)$ una matriz fundamental de soluciones de esta ecuación diferencial (es decir, tal que tiene por columnas una base de soluciones de la ecuación), se tiene que para todo $t\in ℝ$ , $\varphi (t+T)=\varphi (t){\varphi }^{-1}(0)\varphi (T).$ En este contexto, ${\varphi }^{-1}(0)\varphi (T)$ se denomina matriz de monodromía.

Además, para cada matriz $B$ (posiblemente compleja) que cumpla $e^{TB}={\varphi }^{-1}(0)\varphi (T),$ existe una función matricial periódica $t\mapsto P(t)$ ($T$-periódica) tal que $\varphi (t)=P(t)e^{tB}$ para todo $t$ real.

Se pueden rebajar las condiciones de periodicidad para la función matricial para que sea real: existe una matriz $R$ y un función matricial real periódica $t\mapsto Q(t)$ ($2T$-periódica) tal que $\varphi (t)=Q(t)e^{tR}$ para todo $t$ real.

En lo anterior $B$, $P$, $Q$ y $R$ son matrices $n\times n$.

Consecuencias y aplicaciones

La matriz $Q(t)$ tal que $\varphi (t)=Q(t)e^{tR}$ es invertible porque tanto $\varphi (t)$ como $e^{tR}$ lo son. Por tanto, la aplicación da lugar a un cambio de coordenadas que depende del tiempo ($y=Q^{-1}(t)x$), bajo el cual el sistema original se convierte en un sistema lineal con coeficientes reales constantes $\dot{y}=Ry$.

Al ser $Q(t)$ continua y periódica, debe ser acotada. Por lo tanto, la estabilidad de la solución cero para $y(t)$ y $x(t)$ está determinada por los valores propios de $R$ .

La representación $\varphi (t)=P(t)e^{tB}$ se llama forma normal de Floquet para la matriz fundamental $\varphi (t)$ .

Los valores propios de $e^{TB}$ se denominan multiplicadores característicos del sistema. Estos son además los valores propios de las aplicaciones de Poincaré (lineales) $x(t)\to x(t+T)$ . Se conoce como exponente de Floquet (a veces llamado exponente característico), al valor complejo $\mu$ tal que $e^{\mu T}$ es multiplicador característico del sistema. Debe observarse que los exponentes de Floquet no son únicos, ya que $e^{(\mu +\frac{2\pi ik}{T})T}=e^{\mu T}$, dónde $k$ es un número entero. Las partes reales de los exponentes de Floquet se llaman exponentes de Lyapunov. La solución cero es asintóticamente estable si todos los exponentes de Lyapunov son negativos, Lyapunov estable si los exponentes de Lyapunov no son positivos e inestable en caso contrario.

• La teoría de Floquet es muy importante para el estudio de sistemas dinámicos, como por ejemplo la ecuación de Mathieu .
• La teoría de Floquet muestra la estabilidad en la ecuación diferencial de Hill (introducida por George William Hill ) que aproxima el movimiento de la luna como un oscilador armónico en un campo gravitatorio periódico.
• El ablandamiento y endurecimiento de enlaces en campos láser intensos se pueden describir en términos de soluciones obtenidas mediante el teorema de Floquet.

Bibliografía

• C. Chicone. Ordinary Differential Equations (en ingés). Springer-Verlag, Nueva York 1999.
• MSP Eastham, "The Spectral Theory of Periodic Differential Equations", Texts in Mathematics, Scottish Academic Press, Edimburgo, 1973.Plantilla:ISBN .
• Plantilla:Cite book
• Plantilla:Citation, Translation of Mathematical Monographs, 19, 294p.
• W. Magnus, S. Winkler. Ecuación de Hill, Ediciones Dover-Phoenix,Plantilla:ISBN .
• NW McLachlan, Teoría y aplicación de las funciones de Mathieu, Nueva York: Dover, 1964.
• Plantilla:Cite book 
• Plantilla:Springer