g - iBrarian

ETUDE DE LA RIGIDITE DES FLOTS GEODESIQUES :
CAS DE LA SPHERE ET DU PLAN HYPERBOLIQUE
KALALA MUTOMBO Franck
Département de Mathématiques, Faculté des Sciences, Université de Lubumbashi
Résumé
Les géodésiques sont une généralisation de ce qu’une droite ou segment de droite sont dans
le plan. Etant donné deux points suffisamment proches l’un de l’autre, la géodésique est le
plus court chemin qui les relie. Les géodésiques sont pour les variétés riemanniennes ce que
sont les segments de droites pour les variétés affines. Dans le plan, les géodésiques sont des
droites tandis que sur la sphère, les géodésiques sont les grands cercles.
Les variétés riemanniennes offrent un cadre très général de la Mécanique hamiltonienne avec
les géodésiques comme trajectoires désirées. Dans ce cas, l’aspect intéressant est d’arriver à
caractériser le comportement des géodésiques pour tout intervalle de temps.
Cette perspective combinant la dynamique et la géométrie est très fructueuse et d’actualité.
Ceci peut être rendu possible en étudiant les géodésiques périodiques ou les flots géodésiques
sur une variété riemannienne.
Le flot géodésique sur une variété riemannienne M est un groupe à un paramètre des
difféomorphismes du fibré tangent TM à M. L’ensemble TM est l’espace des phases du flot et
est donc l’ensemble dont les éléments sont constitués des positions et de vitesses de tous les
points de la variété M.
Dans cet article nous examinerons la rigidité des flots géodésiques uniquement pour les cas de
la sphère et du plan hyperbolique. Le flot est rigide dans le cas de la sphère mais ne l’est pas
pour le plan hyperbolique.
1

I. Concepts de base
Définition I.1 : Courbes géodésiques
Soit une variété différentiables (M,
∇
) munie d’une connexion
Une courbe paramétrée γ : I → M est appelée une géodésique en un point
Ι∈
t
o
si
dt
d
dt
d
γ
γ
∇
=0 pour t = to (1.1)
Ou
γ
γ
.
.
∇
=0 (1.2)
La courbe γ est une géodésique sur I si elle est une géodésique pour tout point
Ι∈ t
.
En coordonnées locales (x1,…,xn ) , nous avons
γ (t)= (x1(t),…,xn(t))
x
xx
x
i
i
in
∂
∑
∂
==
..
.
.
),...,(
1
γ
(1.3)
Il vient alors
γ
γ
.
.
∇
=
∇
γ
.
(
x
x
i
i
i
∂
∑
∂
.
)
=
)()(
..
..
x
x
x
x
i
i
i
i
ii
∂
∇
∑
∂
∑∇
∂
+
∂
γγ
=
∑
i
(
)()(
.
..
.
x
x
x
x
ii
ii
∂
∇
∂
∂
+
∂
γ
γ
)
=
))((
.
..
x
x
x
x
ii
i
x
xj
ii
j
dt
d
∂
∇
∂
∑
∂
+
∂
∂
∂
γ
2

=
))((
.
..
x
x
x
x
x
i
j
i
i
x
j
ii
j
dt
d
∂
∇
∑
∂
∑
∂
+
∂
∂
∂
=
))()((
.
...
x
x
x
x
x
k
k
ij
j
i
i
j
ii
∂
∇
∑Γ ∑
∂
∑
∂
+
∂
Κ
=
x
x
xx
k
ji
k
ij
k
j
ii
∂
∑Γ ∑
∂
+ )(
.
.
,
..
(1.4)
La courbe γ est une géodésique si
γ
γ
.
.
∇
=0 i.e
0
,
2
2
=+
∑Γ
dt
d
dt
d
d
x
x
t
xd
j
i
n
ji
k
ij
k
k=1,..,n
(1.5)
Ce sont là les équations différentielles du second ordre d’une géodésique γ(t)= ((x1(t),…,xn(t))
d’une connexion dont les coefficients sont les symboles de Christoffel
Γ
Κ
ij
.
Introduisons maintenant une métrique riemannienne g sur (M,
∇
) qui soit compatible avec
∇
i.e Xg(Y, Z) =g (
Υ
∇
Χ
, Z) +g(Y,
Ζ
∇
Χ
)
Si γ : I→M est une géodésique alors
),(),(),(
.....
...
γγγγγ
γγγ
∇∇∇
+= ggg
=2g(
0),
.
.
=
∇
γ
γ
(
1.6)
Ainsi la longueur du vecteur vitesse
dt
d γ
est une constante par rapport au temps.
De même que l’accélération est toujours nulle sur une droite d’un espace euclidien, de même
la géodésique peut être aussi définie comme une courbe à accélération nulle.
Posons |
dt
d γ
| =cte=c et prenons to=0 l’origine des temps. Alors la longueur de l’arc
géodésique entre 0 et t est égale à :
3

(long
γ
) =
dt
dt
d
dt
d
g
b
a
∫
),(
2
1
γ
γ
=
∫
t
0
||
dt
d γ
|| dt =ct
(1.7)
s(t) =
∫
t
0
||
dt
d γ
|| dt =ct
(1.8)
Donc le paramètre d’une géodésique est proportionnel à la longueur de l’arc géodésique.
Définition I.2
On dit qu’une géodésique est paramétrée par la longueur d’arc ou par le paramètre naturel si
on a choisit
dt
d γ
=c= 1.
Il est naturel d’associer pour son traitement aux systèmes de n équations différentielles du
second ordre (1.1) un système de 2n équations différentielles de premier ordre. Pour obtenir
ce dernier système considérons le fibré tangent de la variété M.
Soit (U, x) un système de coordonnées de M. Alors TU =U
×
Rn i.e que le fibré peut s’écrire
localement comme une variété produit. (On dit qu’il est localement trivialisable).
Toute courbe γ : I→M détermine une courbe t→ (γ (t),
dt
d γ
) dans TM
Si
γ
est Une géodésique sur U, alors sur TU la courbe
t→(x1(t),…,xn(t),
))(),...,(
1
t
dt
d
t
dt
d
x
x
n
est une solution du système d’équations
y
x
dt
d
Κ
Κ=
(1.9)
yy
y
ji
ij
dt
d
∑Γ
Κ
Κ
−=
k=1,…,n
Ecrites dans les coordonnées (x1,…,xn ,y1,…,yn ) sur TU. Le système d’équations (1.5) est
équivalent au système (1.9) sur TU lorsque (1.5) est définit sur U.
4

Définition I.3 : Le flot géodésique
L’ensemble de tous les vecteurs unitaires tangents à une variété riemannienne M est appelé
fibré tangent unitaire et noté par UM. (Berger, 2002)
C’est un sous fibré du fibré tangent TM. La projection canonique est donnée par
p: UM→M
Le flot géodésique sur UM est le groupe à un paramètre Gt de difféomorphisme de UM définit
comme suit :
Gt(v)=
)(
'
t
v
γ
(1.10)
Le flot géodésique aussi noté (UM, Gt), est le couple formé par le fibré tangent unitaire et
d’un groupe à un paramètre de difféomorphismes de UM. La variété UM est appelée espace
des phases (ou des états) du flot. (Arnold 1974) En particulier le fibré a une forme volume
noté par ω qui est un invariante sous le flot géodésique. (Iglesias ,1998)
5