Théorème du redressement — Wikipédia https://fr.wikipedia.

org/wiki/Th%C3%A9or%C3%A8me_du_redressement

Basculer la table des matières

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 à une équation différentielle du
type p' =   X(p). Si X est localement lipschitzienne, alors il existe une fonction α(t,   p) telle que les
applications t ↦ α(t, p) soient 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 C1 de Ω dans E et
p0 un point de Ω tel que X(p0) 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 Ck, où k est un entier strictement positif ou l'infini, il existe
un Ck-difféomorphisme f d'un ouvert V contenant 0 dans un ouvert V' contenant p0, tel que
1
f(0) = p0 et f * X soit le champ constant égal à X(p0) .

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é 2 : Soit M une variété de
dimension n et de classe Ck, où k est un entier strictement positif ou l'infini, et X un champ de
vecteurs contenant un point p0 de M. Si X(p0) est un vecteur non nul, il existe une carte locale φ
définie sur un ouvert V de Rn tel que l'image de V par cette carte soit un ouvert U de M contenant p0
et tel que l'image du champ de vecteur X par φ sur Rn vérifie :

▪ Théorème des boites à flot 3 : Soit U un ouvert contenant p0 et inclus dans Ω. Il existe S une section
transverse à X en p0 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 :

1 sur 4 23/06/2023 20:17

Théorème du redressement — Wikipédia https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_du_redressement

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 :

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.
Note 1
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 Ck, alors le flot est aussi de
Note 2
classe Ck .

Un hyperplan Ha affine, de direction H contenant p0 est dit transverse à X en p0 si la somme directe de H

et de R.X(p0) est égal à E. Une section transverse à X est un ouvert S de H tel que l'hyperplan Ha soit
transverse à X en tout point p de S. Si Ha est transverse à X en p0, une section transverse contenant p0
existe toujours. En effet, la composée de la projection sur R.X(p0) parallèlement à H du champ X est non
nulle en p0 et est continue. Il existe un ouvert de p0 sur lequel cette projection est supérieur à un nombre
réel strictement positif. L'intersection de ce voisinage et de Ha, est une section transverse à X contenant p0.

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 C1 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 permet de
une boîte à flot. Dans le monde redressé, la boîte à flot ressemble à une contrôler le flux au voisinage
boîte de conserve contenant en son milieu le point p0. La base circulaire d'un point p0.
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 p0.

2 sur 4 23/06/2023 20:17

Théorème du redressement — Wikipédia https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_du_redressement

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 p0. Comme le champ X est de classe Ck et q infiniment différentiable, le nouveau flot est de
classe Ck-1 et le théorème d'inversion locale s'applique. Il existe un ouvert V contenant p0 tel que le flot soit
4
inversible. Ce flot permet la construction de la fonction f recherchée .
2
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(p0). On définit l'application

C'est un difféomorphisme affine, de différentielle constante, qui vérifie :

En notant Y le champ de vecteurs q* X, on en déduit :

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
Note 2
Ck, Y l'est aussi (q est infiniment différentiable) et le flot αY est de classe Ck–1 . On considère alors
l'application Ψ, qui à (t, x) associe Ψ(t, x) = αY(t, (0, x)). Cette application est de classe Ck–1 et est définie
sur un ouvert V1 contenant (0, 0).

Il est aisé de calculer les deux différentielles partielles :

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 V1 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) :

3 sur 4 23/06/2023 20:17

Théorème du redressement — Wikipédia https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_du_redressement

On en déduit l'égalité, en appliquant l'inverse de DΨ(t,x) à l'égalité précédente :

Calculons l'inverse de la différentielle de f au point (t, x) :

Notes et références

Notes
1. Voir l'article Théorème de Cauchy-Lipschitz.
2. Voir l'article Flot (mathématiques).

Références
1. Cet énoncé provient de F. Paulin, Topologie, analyse et calcul différentiel, École Normale Supérieure,
2008 (lire en ligne (http://www.math.u-psud.fr/~paulin/notescours/cours_analyseI.pdf)), p. 275.
2. D. Leborgne, Calcul différentiel et géométrie, Paris, PUF, 1982, 262 p. (ISBN 2-13-037495-6), p. 234.
3. S. Cantat, « Théorème de Poincaré-Bendixson » (http://math.univ-lyon1.fr/~benzoni/CantatJME3.pdf)
[PDF], Le Journal de maths des élèves, ENS Lyon, vol. 1, 1995, no 3, p. 140-145.
4. Cette méthode provient de Paulin 2008, p. 292, exercice E.112.

Voir aussi
(en)M. W. Hirsch et S. Smale, Differential Equations, Dynamical Systems, and an Introduction to Chaos,
Academic Press (2002) (ISBN 0123497035)

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Théorème_du_redressement&oldid=195598741 ».

Activer ou désactiver la limitation de largeur du contenu

4 sur 4 23/06/2023 20:17