# Théorème du redressement

En mathématiques, le théorème du redressement d'un flot est un résultat de géométrie différentielle qui s'applique à un champ vectoriel. Il est l'un des théorèmes usuels en géométrie différentielle. Le théorème indique qu'un champ vectoriel suffisamment régulier se comporte localement comme un champ vectoriel constant.
Il est utilisé pour l'étude d'un système dynamique autonome, c'est-à-dire lié à une équation différentielle du type p' = X(p). Pour une telle équation si X est localement lipschitzienne, alors il existe une fonction α(t, p) telle que les applications t ↦ α(t, p) sont les solutions qui, en 0, valent p. L'application α est appelée flot, d'où le nom du théorème.
Ce résultat donne une information locale sur le flot. Il interdit même une certaine forme de chaos : localement, un flot ne bifurque pas et est homéomorphe à une fonction affine. En dimension deux, si une orbite se trouve dans un compact contenu dans l'ensemble de définition de X, toute forme de chaos est impossible. Ce résultat, connu sous le nom de théorème de Poincaré-Bendixson, se démontre à l'aide de ce théorème.

## Énoncés

Selon le contexte, le théorème prend une forme différente. Une première version se formalise de la manière suivante. Soit E un espace de Banach réel, Ω un ouvert de E, X une application de classe C$^1$ de Ω dans E et p$_0$ un point de Ω tel que X(p$_0$) ne soit pas le vecteur nul.
Théorème du redressement d'un champ de vecteurs dans un Banach — Si le champ de vecteurs X est de classe C$^k$, où k est un entier strictement positif ou l'infini, il existe un C$^k$-difféomorphisme f d'un ouvert V contenant 0 dans un ouvert V' contenant p$_0$, tel que f(0) = p$_0$ et f * X soit le champ constant égal à X(p$_0$).
Ce théorème possède un équivalent pour les variétés différentielles :
* Théorème du redressement d'un champ de vecteurs dans une variété : Soit M une variété de dimension n et de classe C$^k$, où k est un entier strictement positif ou l'infini, et X un champ de vecteurs contenant un point p$_0$ de M. Si X(p$_0$) est un vecteur non nul, il existe une carte locale φ définie sur un ouvert V de R$^n$ tel que l'image de V par cette carte soit un ouvert U de M contenant p$_0$ et tel que l'image du champ de vecteur X par φ sur R$^n$ vérifie :$\varphi _{*}X={\frac {\partial }{\partial x_{1}}};$
* Théorème des boites à flot : Soit U un ouvert contenant p$_0$ et inclus dans Ω. Il existe S une section transverse à X en p$_0$ inclus dans un hyperplan affine de direction H, un réel strictement positif σ et un difféomorphisme f défini sur un ouvert V, inclus dans U, et à valeurs dans S×]–σ, σ[, qui envoie S dans H×{0} et tel que le flot α(t, p) défini par X vérifie :$\forall (t,p)\in ]-\sigma ,\sigma [\times S\quad {\frac {\partial {f\circ \alpha }}{\partial t}}(t,p)=(0,1)\quad {\text{et}}\quad f\circ \alpha (0,p)=p.$

## Explications
### Vocabulaire

Quelques symboles et termes nécessitent une explication. Le premier énoncé utilise le signe * dans une composition d'une fonction f et d'un champ de vecteurs X. Ici f est une application de V dans un ouvert inclus dans Ω. L'application qui à x associe X(f(x)) est bien définie sur X. Comme l'application f est un difféomorphisme, elle admet une différentielle au point x et cette différentielle est inversible, ce qui donne un sens à la définition suivante :
$\forall x\in V\quad f^{*}X(x)=(Df_{x})^{-1}\cdot X(f(x)).$
Pour éviter une débauche de parenthèses, ici l'image d'un vecteur v par une application linéaire a est notée a.v.
L'équation différentielle x' = X(x) admet toujours une unique solution s vérifiant s(0) = p. La fonction qui à (t, p) associe α(t, p) définie comme la valeur de l'équation différentielle vérifiant la condition de Cauchy précédente est une fonction continue appelée flot. Si X est de classe C$^k$, alors le flot est aussi de classe C$^k$.
Un hyperplan H$_a$ affine, de direction H contenant p$_0$ est dit transverse à X en p$_0$ si la somme directe de H et de R.X(p$_0$) est égal à E. Une section transverse à X est un ouvert S de H tel que l'hyperplan H$_a$ soit transverse à X en tout point p de S. Si H$_a$ est transverse à X en p$_0$, une section transverse contenant p$_0$ existe toujours. En effet, la composée de la projection sur R.X(p$_0$) parallèlement à H du champ X est non nulle en p$_0$ et est continue. Il existe un ouvert de p$_0$ sur lequel cette projection est supérieur à un nombre réel strictement positif. L'intersection de ce voisinage et de H$_a$, est une section transverse à X contenant p$_0$.

### Interprétation

Ce théorème indique que localement et à un difféomorphisme près, on peut toujours considérer un champ de vecteurs comme constant. Le théorème redresse le champ à l'image de la figure de gauche. Un champ de classe C$^1$ est à l'image de la figure rouge et jaune, il est possible de lui appliquer un difféomorphisme à travers la loi de composition * qui lui donne l'apparence du champ bleu et jaune au-dessous.
Une autre forme indique la possibilité de construire une boîte à flot. Dans le monde redressé, la boîte à flot ressemble à une boîte de conserve contenant en son milieu le point p$_0$. La base circulaire correspond à la section et le flot traverse la boite de sa base à son sommet à travers les trajectoires rectilignes uniformes et verticales. Ainsi, le flot n'entre que par la base et ne sort que par le sommet, la paroi verticale est parallèle au flot et n'est pas traversée par lui. Dans le monde original, la boîte à flot est déformée par le difféomorphisme, mais garde cette propriété, la base reçoit le flot entrant, le sommet le flot sortant et la paroi reste parallèle au flot, à l'image de la figure de droite. Une telle boîte permet un contrôle du flux au voisinage de p$_0$.
Un exemple d'usage d'une boîte à flot est la démonstration du théorème de Poincaré-Bendixson. Une telle boîte permet le contrôle de la trajectoire aux alentours d'un point bien choisi. À l'aide du théorème de Jordan, elle permet d'établir l'impossibilité d'une configuration chaotique si E est un plan, si l'équation différentielle est autonome dans une zone compacte de Ω invariante par le flot.

## Démonstration

La démonstration se fonde essentiellement sur l'usage du théorème d'inversion locale et des propriétés d'un flot d'une équation différentielle. La démonstration se fait en deux temps. Tout d'abord, une fonction affine q est composée à X de manière que le champ de vecteurs q $^*$X ait pour différentielle l'identité au voisinage du vecteur p$_0$. Comme le champ X est de classe C$^k$ et q infiniment différentiable, le nouveau flot est de classe C$^{k-1}$ et le théorème d'inversion locale s'applique. Il existe un ouvert V contenant p$_0$ tel que le flot soit inversible. Ce flot permet la construction de la fonction f recherchée.
La démonstration sur un espace vectoriel permet d'en déduire immédiatement celle associée à une variété.

### Construction de f

Soit H un hyperplan fermé supplémentaire de RX(p$_0$). On définit l'application
$q:\mathbb {R} \times H\to E,\quad (l,h)\mapsto p_{0}+h+lX(p_{0}).$
C'est un difféomorphisme affine, de différentielle constante, qui vérifie :
$q(0,0)=p_{0}\quad {\text{et}}\quad \forall (l,h)\in \mathbb {R} \times H\quad Dq(l,h)=h+lX(p_{0}).$
En notant Y le champ de vecteurs q* X, on en déduit :
$Y(0,0)=\left(Dq\right)^{-1}\cdot X(p_{0})=(1,0).$
Soit α$_Y$ le flot associé à l'équation différentielle (τ, x)' = Y(τ, x). C'est l'application qui à (t, (τ, x)) associe α$_Y$(t, (τ, x)), l'image de t par la courbe intégrale s de condition initiale s(0) = (τ, x). Comme X est de classe C$^k$, Y l'est aussi (q est infiniment différentiable) et le flot α$_Y$ est de classe C$^{k–1}$. On considère alors l'application Ψ, qui à (t, x) associe Ψ(t, x) = α$_Y$(t, (0, x)). Cette application est de classe C$^{k–1}$ et est définie sur un ouvert V$_1$ contenant (0, 0).
Il est aisé de calculer les deux différentielles partielles :
$\forall (t,x)\in W_{1},\;\alpha _{Y}(0,(0,x))=(0,x),\quad D_{1}\Psi _{(0,0)}(t,x)=t\cdot Y(0,0)=(t,0)\;{\text{et}}\quad D_{2}\Psi _{(0,0)}(t,x)=(0,x).$
On en déduit que la différentielle de Ψ est égale à l'identité au point (0, 0), ce qui montre qu'il existe un ouvert V contenant (0, 0), inclus dans V$_1$ et tel que Ψ soit un difféomorphisme sur V, d'après le théorème d'inversion locale. On définit f comme la fonction définie sur V, égale à q∘Ψ.

### Propriété de la fonction f

Soit (t, x) un élément de V, Calculons la différentielle de DΨ$_{(t,x)}$ appliquée au vecteur (1, 0) :
$D\Psi _{(t,x)}(1,0)=D_{1}\Psi _{(t,x)}(1,0)={\frac {\partial \alpha _{Y}}{\partial t}}(t,(0,x))=Y\left(\Psi (t,x)\right)=(Dq)^{-1}\cdot X(q\circ \Psi (t,x)).$
On en déduit l'égalité, en appliquant l'inverse de DΨ$_{(t,x)}$ à l'égalité précédente :
$\forall (t,x)\in V\quad \left(D\Psi _{(t,x)}\right)^{-1}\circ (Dq)^{-1}\cdot X(q\circ \Psi (t,x))=(1,0).$
Calculons l'inverse de la différentielle de f au point (t, x) :
$Df_{(t,x)}=D(q\circ \psi )_{(t,x)}=Dq\circ D\Psi _{(t,x)},\;\left(Df_{(t,x)}\right)^{-1}=\left(D\Psi _{(t,x)}\right)^{-1}\circ (Dq)^{-1}\quad {\text{et}}\quad f^{*}X(t,x)=(1,0).$