Théorème de Floquet

L'analyse de Floquet s'applique aux systèmes dynamiques $\dot{x}(t)=A(t)x(t)$ lorsque la matrice d'avance d'état au point courant est périodique $A(t+T)=A(t)\mathrm{\forall }t.$ Elle permet de trouver une base de projection de la trajectoire dans laquelle chaque coordonnée est une trajectoire périodique amplifiée (ou atténuée) exponentiellement. Ceci permet de voir la trajectoire comme la superposition de modes (les vecteurs de Floquet) plus ou moins actifs selon la valeur du coefficient d'amplification (les multiplieurs de Floquet).

Une matrice solution $S(t)$ de l'équation $\dot{x}(t)=A(t)x(t)$, est une matrice dont les colonnes sont des solutions de cette équation d'où $\dot{S}(t)=A(t)S(t)$, une matrice fondamentale $X(t)$ de cette équation est une matrice solution dont les colonnes forment une base de l'espace vectoriel des solutions de cette équation. Toute solution de cette équation est donc de la forme $x(t)=X(t)c$

Le théorème démontré par Gaston Floquet dit que : si $A(t)$ est une matrice périodique de période minimale T et $X(t)$ une matrice fondamentale de l'équation $\dot{x}(t)=A(t)x(t)$ alors il existe une matrice périodique (de période minimale T) inversible $P(t)$ et une matrice constante $R$ telles que $X(t)=P(t)e^{Rt}\mathrm{\forall }t.$

Théorème de Floquet

Propriétés du propagateur

La définition et les propriétés du propagateur associé au système de Floquet sont classiquement obtenues en considérant une matrice fondamentale $X(t)$ de ce système.

On définit le propagateur du système par $\mathrm{\Phi }(t,s)=X(t)X^{-1}(s),$ qui définit à son tour une matrice fondamentale.

On a alors ${\partial }_t\mathrm{\Phi }(t+T,0)=A(t)\mathrm{\Phi }(t+T,0),$ qui prouve que la matrice $\mathrm{\Phi }(t+T,0)$ est une matrice solution du système, et peut donc s'exprimer à l'aide de la matrice fondamentale $\mathrm{\Phi }(t,0)$.

On a donc

$\mathrm{\Phi }(t+T,0)=\mathrm{\Phi }(t,0)\mathrm{\Phi }(T,0),$

où $\mathrm{\Phi }(T,0)$ est une matrice constante.

Construction des vecteurs de Floquet

Dans le cas où le propagateur en t=T est diagonalisable, on le diagonalise , ce qui permet de déterminer les valeurs propres de $\mathrm{\Phi }(T,0)$ que l'on écrit sous la forme ${\sigma }_i=e^{{\mathrm{\Lambda }}_{i}T}$. Ceci permet de définir les matrices $e^{\mathrm{\Lambda }T}$ et $Z$ telles que

$\mathrm{\Phi }(T,0)=Z{e}^{\mathrm{\Lambda }T}{Z}^{-1}=Z\mathrm{\Sigma }{Z}^{-1}$

On définit alors la matrice $Y(t)=\mathrm{\Phi }(t,0)Z$ telle que $Y(0)=Z$

La relation de Y(t) avec sa réplique à t+T est alors

$\begin{array}{c}Y(t+T)=\mathrm{\Phi }(t+T,0)Z=\mathrm{\Phi }(t+T,T)\mathrm{\Phi }(T,0)Z\\ =\mathrm{\Phi }(t,0)Z{e}^{\mathrm{\Lambda }T}=Y(t)e^{\mathrm{\Lambda }T}\end{array}$

On construit à partir des vecteurs colonne de Y d'autres vecteurs non amortis, ce sont les vecteurs de Floquet. On obtient une matrice ${\mathrm{\Psi }}^F$ que l'on définit en "dés-amortissant" $Y$ et dont les vecteurs colonne sont les vecteurs de Floquet.

${\mathrm{\Psi }}^F(t)=Y(t)e^{-\mathrm{\Lambda }t}$

${\mathrm{\Psi }}^F(0)=Z$

on obtient bien un vecteur périodique, car :

$\begin{array}{c}{\mathrm{\Psi }}^F(t+T)=Y(t+T)e^{-\mathrm{\Lambda }T}{e}^{-\mathrm{\Lambda }t}\\ =Y(t)e^{-\mathrm{\Lambda }t}={\mathrm{\Psi }}^F(t)\end{array}$

On a alors pour le propagateur :

$\mathrm{\Phi }(t,0)=Y(t)Z^{-1}={\mathrm{\Psi }}^F(t)e^{\mathrm{\Lambda }t}{Z}^{-1}$

$Y$ s'intègre comme le propagateur, car

${\partial }_{t}Y=A(t)\mathrm{\Phi }(t)Z=A(t)Y(t)$

ce qui donne

$\begin{array}{c}{\partial }_t{\mathrm{\Psi }}^F=A(t)Y{e}^{-\mathrm{\Lambda }t}-Y(t)\mathrm{\Lambda }{e}^{-\mathrm{\Lambda }t}\\ =A{\mathrm{\Psi }}^F(t)-{\mathrm{\Psi }}^F{e}^{\mathrm{\Lambda }t}\mathrm{\Lambda }{e}^{-\mathrm{\Lambda }t}\\ =A(t){\mathrm{\Psi }}^F(t)-{\mathrm{\Psi }}^F(t)\mathrm{\Lambda }\end{array}$

du fait de la diagonalité des trois matrices de droite.

Stabilité des systèmes de Floquet

Les vecteurs de Floquet étant périodiques, ils sont donc bornés. On peut donc caractériser la stabilité des systèmes de Floquet en calculant $\mathrm{\Lambda }=\frac{1}{T}\log \mathrm{\Sigma }$.

Les valeurs propres ${\sigma }_i$ sont appelées les multiplicateurs de Floquet et sont uniques. Les ${\lambda }_i$ sont les exposants de Floquet et ne sont pas uniques dans la décomposition de Floquet puisque si

$\begin{array}{ccc}{\sigma }_i& =& {\rho }_i{e}^{-i{\theta }_i}\\ {\lambda }_i& =& \frac{\ln ({\rho }_i)}{T}+i\frac{{\theta }_i+2k\pi }{T}\end{array}$

avec $k$ un entier quelconque. De plus ${\mathrm{\Psi }}^F$ et $\mathrm{\Lambda }$ sont en toute généralité imaginaires. La croissance de chaque vecteur de Floquet au cours du temps est déterminée par la partie réelle de l'exposant de Floquet correspondant, et la fréquence par la partie imaginaire.

Propriété du système linéaire tangent d'un système périodique

Prenons un système périodique régi par l'équation :

${\partial }_t\eta =g(\eta )$

Le système est périodique, on a donc par définition $\eta (t+T)=\eta (t)$.

Une perturbation sur la trajectoire de référence est régie par ${\partial }_t\delta \eta ={\partial }_{\eta }g\delta \eta$.

Avec $\delta \eta (t)=\mathrm{\Phi }(t,\tau )\delta \eta (\tau )$ où $\mathrm{\Phi }(t,\tau )$ est le propagateur de la trajectoire perturbée.

En posant $A={\partial }_{\eta }g(\eta )$ on a ${\partial }_t\mathrm{\Phi }(t,\tau )=A(t)\mathrm{\Phi }(t,\tau )$ où $A$ est elle-même périodique $(\mathrm{\forall }t,A(t+T)=A(t))$.

On considère alors le système de Floquet de période T. La "vitesse" du système est par définition $V(t)={\partial }_t\eta$ et la périodicité du système entraine $V(t+T)=V(t)$.

Comme par ailleurs

${\partial }_{t}V={\partial }_{t}g(\eta )={\partial }_{\eta }g(\eta ){\partial }_t\eta =A(t)V(t)$

on a que $V$ se propage de la même façon que $\delta \eta$. On peut déduire de cette particularité une propriété de la décomposition de Floquet du système linéaire tangent des systèmes périodiques, celle d'avoir un multiplieur de Floquet égal à 1. En effet, on a que $V(t)=\mathrm{\Phi }(t,0)V(0)$ est périodique de période T.

Or

$V(T)=\mathrm{\Phi }(T,0)V(0)=V(0)$

et donc $V(0)$ est vecteur propre de $\mathrm{\Phi }(T,0)$ avec la valeur propre 1. Cette propriété permet de vérifier qu'un système de Floquet est un système périodique de par l'existence d'un multiplieur de Floquet égal à 1.

Applications

Applications à la physique du solide

Dans le cadre du cristal parfait infini, les électrons sont soumis à un potentiel périodique ayant la symétrie de translation des atomes constituant le cristal. Les ondes de Bloch (d'après Felix Bloch) sont des fonctions d'ondes décrivant des états quantiques électroniques ayant la même symétrie que le cristal.

Références

• Gaston Floquet: Sur les équations différentielles linéaires à coefficients périodiques, Annales de l'École Normale Supérieure, volume 12 (1883), pages 47–88.