En géométrie différentielle, la contrepartie de la notion de système d’équations différentielles autonomes :
(1)
est celle de champ de vecteurs : si les seconds membres du système (1) sont les composantes de l’expression locale d’un champ de vecteurs dans une carte d’une variété, alors une solution de (1) est l’expression locale dans cette carte d’une courbe intégrale de ce champ (c’est-à-dire une courbe le long de laquelle le champ coïncide avec son vecteur tangent).
Les équations (1) ne constituent qu’une description locale du champ de vecteurs et les propriétés de leurs solutions dépendent en partie de la carte choisie; elle peuvent être assez différentes d’une carte à l’autre et ne pas refléter pleinement celles des courbes intégrales maximales du champ. Par exemple sur une variété compacte, les courbes intégrales maximales des champs de vecteurs sont définies sur tout entier ce qui n’est pas nécessairement le cas des solutions maximales des systèmes d’équations qui les représentent dans les cartes de la variété.
Je vais illustrer ce phénomène à propos des équations de Riccati à coefficients constants
en montrant qu’elles sont les expressions locales d’une famille de champs de vecteurs de la droite projective réelle. Dans la foulée, nous obtiendrons ainsi aisément les solutions de ces équations. Nous utiliserons les notations introduites dans ce billet.
Les champs de la droite projective réelle
Le groupe des matrices carrées réelles de dimension 2 et de déterminant 1 opère à gauche de façon naturelle sur
privé de l’origine par
. Cette action se projette via
en une action différentiable sur la droite projective réelle. Nous la noterons
.
Considérons un élément de l’algèbre de Lie
du groupe.
Le champ fondamental qui lui est associé par la première action est le champ de vecteurs défini par
et son flot est l’application
Il est -lié au champ fondamental associé à
par la seconde action dont le flot est dès lors
Nous noterons ce champ de vecteurs.
Expression locale de dans les cartes canoniques
Commençons par exprimer localement l’action d’une matrice
dans la carte . Si la droite
admet le vecteur directeur
, alors
est un vecteur directeur de . Pour autant que cette dernière appartienne aussi à
(*), il vient ainsi
L’expression locale de l’action de dans la carte
est donc l’application homographique(**)
Soit à présent . Prenons pour
la matrice
. L’expression locale de
dans la carte
n’a qu’une composante. C’est la fonction
Compte tenu des propriétés de l’application exponentielle, elle est facile à calculer. Pour(***)
on trouve
Semblablement, l’expression locale de dans la seconde carte canonique a pour composante(****)
En choisissant convenablement , on peut donner des valeurs arbitraires aux coefficients de
. Idem pour
. Ainsi,
Les équations différentielles représentants les champs de vecteurs
dans les cartes canoniques sont les équations de Riccati à coefficients constants.
Solutions des équations de Riccati à coefficients constants
Les expressions locales des courbes intégrales de décrivent les solutions des équations qui lui sont associées dans les deux cartes. Par exemple, la solution de l’équation
passant par
en
est l’application
restreinte à la composante connexe de dans l’ensemble des
tels que
. Le fait que ce ne soit éventuellement pas
tout entier est donc lié à la possibilité pour les courbes intégrales maximales de
passant par les points de
de sortir de celui-ci et non au fait que ces courbes ne seraient pas partout définies . Pour résoudre effectivement l’équation considérée, il suffit donc de calculer l’exponentielle de la matrice
, ce qui est trivial, et de déterminer la composante connexe en question.
Considérons par exemple l’équation
(2)
Elle est l’expression locale dans la première carte canonique du champ fondamental de la matrice
On a
Donc, en notant la coordonnée locale de
, en dehors du cas trivial où
, la solution maximale de (2) passant par
en
est la fonction
restreinte à celui des intervalles qui contient
.
L’équation différentielle associée à dans la seconde carte canonique est
. Par contraste, ses solutions sont définies sur
tout entier. (Au passage, on notera que nous sommes en présence d’un bel exemple de champ de vecteurs redressé, i.e. auquel on a donné une expression locale constante dans une carte appropriée.)
On voit bien que les singularités des solutions de (2) sont des artéfacts créés par le passage en coordonnées locales, chose qu’on ne soupçonne pas lorsqu’on rencontre ce genre d’équations en première année à l’université, faute de disposer du langage de la géométrie différentielle.
Un exemple amusant pour conclure
Pour rappel, nous avons construit dans le billet mentionné plus haut un difféomorphisme canonique de
sur le cercle trigonométrique
. Par ailleurs, ce dernier possède un champ de vecteurs distingué
, celui qui au point
associe le vecteur tangent
.
Je vous propose de montrer que
où est la matrice
__________
(*) Cela signifie que .
(**) En exprimant qu’on a affaire à une action, on retrouve ainsi une jolie propriété des fonctions homographiques :
(***) L’algèbre est l’espace des matrices réelles carrées de dimension 2 dont la trace est nulle (muni du commutateur en guise de crochet de Lie).
(****) On peut déduire une expression de l’autre en utilisant la fonction de transition entre les deux cartes. En l’occurrence, on observe que
Pingback: Sur quelques vecteurs propres amusants | Blog de Pierre Lecomte
Pingback: Courbure et épaississement II | Blog de Pierre Lecomte
Pingback: Courbure et droite projective réelle I | Blog de Pierre Lecomte
Pingback: Courbure et droite projective réelle II | Blog de Pierre Lecomte