Mmoire de Master 2 : Systmes Hamiltoniens Intgrables

Wallez Thomas
sous la direction de M Popov Georgi
Juillet 2014

Table des matires

1 Introduction.

2 Prliminaires.
2.1 Rappels de gomtrie symplectique. . . . . . . . .
2.1.1 Le cas dun espace vectoriel symplectique
2.1.2 Le cas gnral dune varit symplectique.
2.2 Rappels de Mcanique Hamiltonienne. . . . . . .

.
.
.
.

6
6
6
7
8

3 Le thorme dArnold Liouville.

3.1 Systmes intgrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Premire partie du thorme dArnold Liouville . . . . . . . . . . . . . . . . . .
3.3 Seconde partie du thorme dArnold Liouville. . . . . . . . . . . . . . . . . . .

12
12
13
15

4 Flots Godsiques Intgrables

4.1 Rappel sur les godsiques . . . . . . . . . . . .
4.2 Principe de la transforme de Legendre . . . . .
4.3 Flots godsiques intgrables. . . . . . . . . . .
4.3.1 Un exemple de flot godsique intgrable
4.3.2 Le Thorme de Kolokoltsov . . . . . .

20
20
22
25
25
27

.
.
.
:
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

. . . . . . .
. . . . . . .
. . . . . . .
Les surfaces
. . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
de rvolution. .
. . . . . . . . .

.
.
.
.
.

Introduction.

Je voudrais dabord remercier M Popov Georgi davoir accept de faire ce mmoire avec
moi et davoir t prsent pour rpondre mes questions. Je voudrais aussi remercier mes
camarades de prpa agreg de 2013 ainsi que nos "parrains" du bureau 9 pour les moments
mathmatiques, et moins mathmatiques, passs avec eux jusqu maintenant et tout particulirement Victor et Julien avec qui jai pass la plupart de ces moments. Finalement, merci
Bertrand pour le caf.
La mcanique hamiltonienne a t introduite par Hamilton en 1833 et est une reformulation
de la mcanique classique. Il permet de dfinir un systme diffrentiel sur une varit laide
dune fonction relle.
Dans ce mmoire, nous allons dabord faire des rappels sur les notions basiques en mcanique hamiltonienne, ainsi que sur un outil essentiel cette mcanique : la gomtrie symplectique. Puis nous noncerons et dmontrerons en deux temps un thorme majeur sur les
systmes hamiltoniens : le thorme dArnold Liouville. Celui-ci va nous permettre de prendre
conscience de limportance de lexistence de plusieurs intgrale premire dans ce genre de systme. Finalement nous tudierons la transforme de Legendre qui est un outil qui permettra
de faire un lien entre ltude des godsiques et les systmes hamiltoniens. Nous finirons sur un
thorme sur les surfaces riemanniennes qui confirmera la difficult de trouver des intgrales
premires dans certains cas.
On supposera connues les bases de formes diffrentielles. Dans la suite toute les fonctions
seront supposes C 8 sauf cas de mention contraire.

Prliminaires.

Cette section a pour but de rappeler quelques notions de base en gomtrie symplectique
qui seront utiles pour la suite. Elle permettra aussi de mettre en place les conventions de
notation.

2.1
2.1.1

Rappels de gomtrie symplectique.

Le cas dun espace vectoriel symplectique

On dfinit la notion despace vectoriel symplectique comme cela :

Dfinition 2.1. Soit E un R-espace vectoriel. Une forme symplectique sur E est une forme
bilinaire alterne non dgnre.
Le couple pE, q est alors appel espace vectoriel symplectique.
Remarque : La non dgnrescence et lantilinarit de implique que la dimension de E
est paire (Puisque toute matrice antisymtrique en dimension impaire est de dterminant nul).
De plus on peut exhiber ,comme dans le cas dun produit scalaire, une bijection canonique
entre les vecteurs de E et le dual de E. En adaptant alors la dmonstration de lexistence
dune base orthonorme pour un espace euclidien on peut dmontrer quil existe une base
particulire pei , fi q ,dite base symplectique, qui vrifie :
#
pei , fj q ij
pei , ej q pfi , fj q 0
En particulier on observe que, quitte changer de base, il nexiste quune seule structure
symplectique possible.
Exemple fondamental de Rn Rn : On munit le produit Rn Rn de la forme symplectique suivante :
@
D @
D
ppq, pq; pq 1 , p1 qq p; q 1 p1 ; q .
o x; y dsigne le produit scalaire canonique sur Rn Rn .
La base canonique de Rn Rn est alors symplectique.
Voyons maintenant la notion de morphismes symplectiques. Plus exactement, nous nvoquerons que les symplectomorphismes qui correspondent des changements de variables respectant la structure symplectique.
Dfinition 2.2. Soient pE, q et pF, q deux espaces symplectiques. Un symplectomorphisme
entre E et F est un isomorphisme f vrifiant :
f .
o f est le pull-back de f .
6

En particulier si E F , alors la condition devient .

Avant de passer aux varits symplectiques dfinissons la notion dorthogonal symplectique
et despace isotrope.
Dfinition 2.3. Soit F un sous espace de E un espace symplectique. Lorthogonal symplectique
de F , not F , est dfinie par : F tx P E |@y P F, px, yq 0 u .
On a alors la relation dimpF q ` dimpF q dimpEq car F est isomorphe F K
t P E |@y P F, pyq 0 u .
dimpEq
En particulier un espace isotrope, i.e. qui vrifie F F est de dimension au plus
.
2
dimpEq
Dans le cas o F est un espace isotrope de dimension
on dit que F est un sous espace
2
lagrangien.
2.1.2

Le cas gnral dune varit symplectique.

Abordons maintenant le cas plus gnral dune varit symplectique.

Dfinition 2.4. Une varit symplectique est la donne dun couple pV, q, o V est une
varit diffrentiable de dimension paire et est une 2-forme diffrentielle ferme et non
dgnre.
Exemples :

Rn Rn (de coordonnes pq; pq) muni de la 2-forme diffrentielle dpi ^ dqi .

Le fibr cotangent dune varit diffrentielle peut tre muni de manire canonique
dune structure de varit symplectique.
On considre la projection canonique : T V V , qui une forme linaire sur lespace
tangent en un point x P V associe x. Cette application est diffrentiable. On dfinit
alors la forme de Liouville qui est une 1-forme diffrentielle sur T V par :
x, pXq pTpx,q pXqq,
T V

o, px, q P
, T dsigne la diffrentielle de et X P T pT V q.
Si on a pqi q comme systme de coordonnes sur la varit et ppi q les coordonnes canoniquement associes
sur le fibr cotangent, alors la structure canonique est donne par
la 2-forme d dpi ^ dqi .
i

Un rsultat majeur affirme que localement toutes les formes symplectiques sur une varit
diffrentiable sont isomorphes. Ce qui rappelle un rsultat quivalent dans le cas dun espace
vectoriel. On a en fait :
Thorme 2.5 (Darboux). Soient pV, q une varit symplectique et x P V . Alors
il existe
des coordonnes locales pq1 , . . . , qn , p1 , . . . , pn q centres en x dans lesquelles dpi ^ dqi .
7

Ce rsultat est donc trs utile puisquil permet de toujours se ramener localement au cas
canonique de Rn Rn quelque soit la varit symplectique considrer.

2.2

Rappels de Mcanique Hamiltonienne.

Nous rappelons maintenant quelques rudiments de mcanique hamiltonienne. On se place

dans le cas dune varit symplectique pV, q de dimension 2n.
On a vu prcdemment qu laide de on peut construire une bijection canonique entre
le plan tangent en un point de V et les formes linaires sur ce plan tangent. Cette bijection
permet la dfinition du champ hamiltonien associ une fonction.
Dfinition 2.6. Soit H une fonction relle C 8 sur V . On lui associe le champ de vecteurs
XH , dit champ de vecteurs de hamiltonien H, dfini par la relation :
@px, Y q P V Tx V, x pY, XH pxqq pdHqx pY q.
On appelle alors systme hamiltonien, tout systme dfini par une relation de la forme :
xptq
9
XH pxptqq
.
Expression
dans les coordonnes locales : En coordonnes locales pq, pq telles que

dpi ^ dqi , on a lexpression suivante :

BH
BH
BH
BH
XH pq, pq
,...,
,
,...,
Bp1
Bpn
Bq1
Bqn
Le systme hamiltonien associ sexprime donc sous la forme :
#
q9i ptq BH
Bpi
p9i ptq BH
Bqi
Exemples de systmes hamiltoniens :
Loscillateur harmonique : Dans R2 on prend pour hamiltonien la fonction : Hpq, pq
a2 q 2 `p2
.
2

Le systme hamiltonien associ est alors :

#
9
qptq
p
9
pptq
a2 q

Ce systme se simplifie alors en q: ` a2 q 0 i.e. loscillateur harmonique. On peut

aussi crer des oscillateurs harmonique en plus grande dimension en prenant comme
1 2 2
hamiltonien la fonction H
a q ` p2i
2 i i i

 Le pendule simple : On considre cette fois lhamiltonien : Hpq, pq

systme hamiltonien associ est alors :
#
9
qptq
p

1 2
2p

cos q. Le

9
pptq
sinpqq
Ce systme tant alors quivalent q: sinpqq i.e. le pendule simple.
Une proprit fondamentale des solutions dun systme hamiltonien est la conservation de
la fonction H le long des trajectoires :
Proposition 2.7. Soit pq, pq : t pqptq, pptqq une solution du systme hamiltonien associ
H avec pqpt0 q, ppt0 qq pq0 , p0 q. Alors pour tout t dans lintervalle dexistence de la solution :
Hpqptq, pptqq Hpq0 , p0 q.
En particulier, les trajectoires du systme hamiltonien sont contenues dans les courbes de
niveaux de H.
Dmonstration. Il suffit en fait dobserver que la drive par rapport t la fonction est nulle.
En effet, en coordonnes locales on a la relation :
n dq BH

dpi BH
i
`
dt Bpi
i1 dt Bqi
n BH BH

BH BH

Bqi Bpi
i1 Bpi Bqi
0

d
Hpqptq, pptqq
dt

Cette proprit pourra linverse permettre de trouver une formulation hamiltonienne de

certains problme physique. Par exemple via la loi de conservation de lnergie en physique.
Enfin, un dernier outil important en mcanique hamiltonienne est le crochet de Poisson
qui deux fonctions relles sur une varit symplectique associe une troisime fonction relle.
Dfinition 2.8. Soient f, g deux fonctions sur une varit symplectique V valeurs relles.
Le crochet de Poisson du couple pf, gq ,not tf, gu est la fonction dfinie par :
tf, gu pXf , Xg q dgpXf q Xf g.
o, Xf est le champ hamiltonien associ f et dg est la diffrentielle de g.
De part sa dfinition, on peut interprter le crochet de Poisson comme tant la drive de
g le long du flot du champ Xf .

n Bf Bg

Bf Bg

.
Bp
Bq
Bq
i
i
i Bpi
i1
A laide de lexpression locale on dduit un certain nombre de proprits essentielles du
crochet de Poisson :

Expression dans les coordonnes locales : tf, gu

Proposition 2.9.
1. Antisymtrie tf, gu tg, f u .
2. Drivation tf, ghu tf, gu h ` g tf, hu .
3. Identit de Jacobi tf, tg, huu ` th, tf, guu ` tg, th, f uu 0.
4. Relations sur les coordonnes locales tqi , qj u tpi , pj u 0, tpi , qj u ij .
Lidentit de Jacobi permet de dmontrer un rsultat important pour ltude des systmes
hamiltoniens en donnant une condition ncessaire et suffisante pour que deux champs hamiltoniens commutent.
Proposition 2.10. Soit f, g deux hamiltoniens sur une varit symplectique pV, q. Alors on
a la relation :
rXf , Xg s Xtf,gu .
o r., .s dsigne le crochet de Lie entre deux champs de vecteur.
En admettant le rsultat classique que deux champs commutent si et seulement si leurs
crochet de Lie est nul (voir [2]) alors ceci peut tre reformul par le fait que deux champs
hamiltoniens commutent si et seulement si le crochet de Poisson des hamiltoniens est nul.
Dmonstration. Soit h un hamiltonien sur pV, q. On va montrer que rXf , Xg s h Xtf,gu h.
La fonction h tant quelconque on aura bien lgalit voulue.
rXf , Xg s h Xf pXg hq Xg pXf hq
Xf tg, hu Xg tf, hu
tf, tg, huu tg, tf, huu
tf, tg, huu ` tg, th, f uu
th, tf, guu
ttf, gu , hu
Xtf,gu h.
De plus la dernire proprit de la proposition 2.9 caractrise les coordonnes adaptes
la forme symplectique :
Proposition
2.11. Un systme de coordonnes px, q sur V sera dit symplectique si

di ^ dxi .
Ceci est quivalent aux relations :
txi , xj u ti , j u 0, ti , xj u ij .
10


Dmonstration. Il est immdiat que si di ^dxi alors on a les relations entre les crochets
de Poisson.
Si on a les relations entre les crochets de Poisson. La forme symplectique dans la base px, q
sera de la forme :

pij dxi ^ dxj ` ij di ^ dj q `

ij dxi ^ dj .

i,j

ij

On va montrer que cette expression se rduit lexpression voulue pour . Pour cela on
va valuer cette expression sur les couples des vecteurs Xxi et Xi .
Soient k l, on a dune part pXxk , Xxl q txk , xl u 0.
Dautre part,

dx pX q dx pX q
i
xk
j
xk

dxi ^ dxj pXxk , Xxl q

dxi pXxl q dxj pXxl q

tx , x u tx , x u
k j
k i

txl , xi u txl , xj u
0

De la mme faon on vrifie les relations di ^ dj pXxk , Xxl q ki lj kj li et dxi ^

dj pXxk , Xxl q 0.

Finalement 0 pXxk , Xxl q

ij pki lj kj li q kl . Cette galit tant vraie pour
ij

tout k l
De la mme faon on montre que kl 0 pour tout k l en valuant cette fois sur le
couple pXk , Xl q.
Finalement on value sur les couples de la forme pXxk , Xl q. On en dduit alors que kl kl
pour tout pk, lq.
Ainsi, di ^ dxi
i

Ajoutons maintenant un rsultat qui sera trs utile pour la suite. Ce rsultat permet davoir
une autre criture dun crochet de Poisson laide dun nouveau systme de coordonnes.
Proposition 2.12 (Changement de
variables). Soient f, g deux fonctions relles sur pV, q
une varit symplectique avec dpi ^ dqi . Soient pI, q un autre systme de coordonnes
locales. Alors :
tf, gu

n
n

Bg
Bg
Bf
Bf
tf, Ii u `
tf, i u
tIi , gu `
ti , gu .
BI
B
BI
B
i
i
i
i
i1
i1

11

Dmonstration. On passe en coordonnes locales, puis on utilise une formule de changement

de variables dans les drives partielles.
n Bf Bg

Bf Bg

.
Bp
Bq
Bq
i i
i Bpi
i1

n
n

Bf Bk Bg
Bf BIk
Bf Bk Bg
Bf BIk
`

`
.

Bk Bpi Bq
BIk Bqi
Bk Bqi Bpi
i
i1 k1 BIk Bpi

n Bf
n BI Bg
n B Bg

BIk Bg
Bf
Bk Bg
k
k

Bqi Bpi
Bk i1 Bpi Bqi
Bqi Bpi
k1 BIk i1 Bpi Bqi
n Bf

Bf
tIk , gu `
tk , gu .

Bk
k1 BIk

tf, gu

Le thorme dArnold Liouville.

Abordons dsormais lun des premiers points important de ce mmoire de ce mmoire,

lnonc et la dmonstration du thorme dArnold Liouville qui en substance dcrit le comportement dune certaine classe de systme hamiltonien. Dfinissons dabord cette classe de
systme.
Dans la suite de cette section nous nous placerons dans le cas dune varit symplectique
pV, q de dimension 2n.

3.1

Systmes intgrables

La premire caractristique des systmes intgrables est lexistence dun certain nombre
dintgrales premires.
Dfinition 3.1. On dit que deux fonctions F et G sont en involution si tF, Gu 0.
Une intgrale premire dun systme hamiltonien engendr par H est une fonction F en
involution avec H.
Cette dfinition implique en particulier que la fonction F est constante le long des trajectoires de XH . Et donc que les solutions de ce systme sont contenues dans les courbes de
niveaux de la fonction F .
Par exemple, la fonction H est elle mme intgrale premire du systme hamiltonien quelle
dfinit.
Remarque : Si lon connait deux intgrales premires F et G du systme, alors la fonction
tF, Gu en est aussi une daprs lidentit de Jacobi. Ceci peut permettre dans certains cas de
trouver de nouvelles intgrales premires.
Enfin dfinissons ce quest un systme intgrable
12

Dfinition 3.2. Un systme intgrable sur pV, q est un systme hamiltonien ayant n intgrales premires indpendantes 1 en involution.
Dans le cas de notre varit V de dimension 2n, il ne peut y avoir au plus que n intgrales
premires indpendantes en involution. En effet, lespace engendr par les vecteurs des champs
hamiltoniens est alors un espace isotrope. Donc de dimension au plus n.
Exemples de systmes intgrales :
Lexemple dit canonique est celui dun systme dhamiltonien Hpq, pq Hpqq ne dpendant que des n premires variables. Dans ce cas, les fonctions des n dernires coordonnes seront des constantes de mouvements.
Le cas dun systme hamiltonien un degr de libert, i.e. sur une varit de dimension
2. En effet, dans ce cas la seule fonction hamiltonienne suffit. Par exemple loscillateur
q 2 ` p2
harmonique dfinit par lhamiltonien Hpq, pq
est un cas de systme un
2
degr de libert. De mme que le pendule dhamiltonien Hpq, pq 21 p2 cospqq.

3.2

Premire partie du thorme dArnold Liouville

Le thorme dArnold Liouville est en fait en deux partie. La premire partie stipule que
dans le cas dun systme intgrable les trajectoires senroulent sur des tores vitesse constante.
Thorme 3.3 (Thorme dArnold Liouville, partie 1). Soit pV, q une varit symplectique
de dimension 2n. Soit f1 une fonction relle sur M .
On suppose que le systme associ f1 est intgrable. On note pf2 , . . . , fn q une famille
dintgrales premires indpendantes et en involution.
De plus on suppose que les champs Xfi sont complets, i.e. les solutions sont dfinies pour
tout t P R.
Alors
1. f : m pfi pmqqi1,...,n est une submersion de V dans un ouvert de Rn
2. Pour tout vecteur a pai qi1,...,n , chaque composante connexe de Va f 1 paq est
diffomorphe Tk Rnk pour un certain 0 k n. On appelle ces composantes les
tores invariants ou tores lagrangiens lorsque k n.
3. Sur ces composantes ils existent des coordonnes 1 , . . . , k mod 2, y1 , . . . , ynk telles
que le systme hamiltonien associ fi scrive :
9m mi ,

y9s csi

o mi et csi sont des constantes.

Dmonstration. Le fait que f soit une submersion sur un ouvert de Rn , i.e. Df de rang n, est
une consquence directe de lindpendance des fonctions fi . Ainsi pour chaque a pai qi1,...,n ,
f 1 paq est soit une sous varit de V de dimension n note Va , soit lensemble vide.
1. Au sens o leurs diffrentielles sont des applications linaires indpendantes en chaque point.

13

Remarquons dabord que Va est invariante par le flot de chacun des fi . En effet, les pfi q
tant en involution deux deux, on a tfi , fj u 0. Or ceci reprsente justement la variation de
la fonction fj le long du flot de fi . Si celui ci est nulle, cest donc que fj est constante le long
du flot de fi . Or Va tant dfinie laide dintersection de lignes de niveaux de ces fonctions,
on en dduit quil est invariant par les flots. Soit a P Rn telle que Va ne soit pas lensemble
vide.

Les flots commutent entre eux : Xfi , Xfj 0 puisque les fi sont en involutions. Ainsi ces
flots dfinissent une action de groupe de Rn sur Va via :
: t pti qi1,...,n tnn . . . t11 .
o i est le flot associ au champ Xfi .
Cette action est bien dfinie puisque lon a suppos que les champs taient complets.
Soit m P V , et pmq son orbite sous laction . Montrons que pxq est ouvert et ferm.
Lorbite est ouverte daprs le thorme des fonctions implicites. En effet, en considrant
la fonction pt, xq ptqpxq. On observe que sa diffrentielle par rapport t est inversible
puisque les fi sont indpendants. Donc si lon considre un point y0 P pmq et t0 tels que
pt0 , y0 q m alors il existe un ouvert U de Rn Va qui contient pt0 , y0 q et une fonction
rgulire tels que :
@pt, yq P U, pt, yq x pyq t
Do, 1 ptq est un ouvert de Va contenant y0 et inclus dans pmq. Donc lorbite de m est
ouverte dans Va .
On peut adapter ce raisonnement au complmentaire de lorbite de m pour montrer quil
est ouvert et donc que lorbite de m est ferme dans Va . On en dduit donc que laction de
est transitive sur chaque composante connexe de Va .
Pour conclure que Va est diffomorphe Tk Rnk on va faire appel un lemme de
topologie algbrique que lon admettra (voir [8]) :
Lemme 3.4. Soit une action transitive dun groupe de Lie G sur une varit diffrentielle
E. Alors E est diffomorphe G{Sm o m P E et Sm tg P G |gpmq m u est le sous groupe
disotropie de laction.
Remarque : Laction tant transitive, les sous groupes disotropies sont isomorphes. On
peut donc choisir arbitrairement le point m.
Soit m P Va . Il faut donc dterminer le sous groupe Sm tt P Rn |pt, mq m u de Rn
correspondant. En fait, on sait que les sous groupes de R sont soit denses soit discrets. Montrons
quici S est discret. On utilise le thorme dinversion locale sur la fonction . En effet, les
fi tant indpendants on en dduit que lapplication |x : t pt, xq est localement un
diffomorphisme. Ainsi si lon considre t0 P Sm , il existe t aussi proche que lon veut de t0
tel que pt, mq m. Donc Sm est discret dans Rn . Les sous groupes discrets de Rn sont
14

des produits de Z. On en dduit ainsi que Rn {Sm Tk Rnk . Et finalement que chaque
composantes connexes de Va est diffomorphe Rn {Sm Tk Rnk .
Construisons maintenant les variables i vrifiants les proprits nonces dans le thorme.
Notons M la composante connexe de Va sur laquelle on se place pour la suite. Considrons
dabord la projection suivante :
p:

Rn

Tk Rnk

p1 . . . k , y1 , . . . , ynk q

p1 . . . k , y1 , . . . , ynk q .

o i i mod 2.
On note alors li , pour i allant de 1 k, le vecteur de Rn dfini par :
li p0, . . . ,

loo2
moon

, . . . , 0q.

i-me position

Ainsi ppli q 0.
Reconsidrons maintenant le sous groupe disotropie S prcdemment introduit. On a
montr quil tait isomorphe Zk . Notons pei qi1,...,k une famille gnratrice de S. On peut
alors considrer un automorphisme de Rn , A, vrifiant Apli q ei .
On est alors dans la situation suivante :
A

Rn p,yq

Rn ptq

Tk Rnk p,yq

La passage au quotient induit alors un diffomorphisme de Tk Rnk vers M o les

jouent le rle voulu.
En effet, on remarque la relation p, yq A1 t. Lvolution de ces coordonnes selon le
flot de f1 correspond driver par rapport t1 . Ainsi,

dp, yq
1
9 yq
9
p,
A
dt1

0
..
.

0
do le rsultat pour f1 . On fait le mme raisonnement pour les autres flots.

3.3

Seconde partie du thorme dArnold Liouville.

Pour la seconde partie dArnold Liouville, on se place dans le cas dun tore invariant.
La seconde partie du thorme stipule que au voisinage de celui ci, le systme a le mme
15

comportement. Et fournit lexistence de coordonnes symplectiques bien adapt ltude du

systme : les variables actions-angles. Plus prcisment :
Thorme 3.5 (Thorme dArnold Liouville, partie 2). On reprend les hypothses de la
premire partie du thorme dArnold Liouville. Et lon suppose de plus que la varit Va est
connexe compact. Alors :
1. Il existe un voisinage de Va dans M diffomorphe Rn Tn .
2. Sur ce voisinage, il existe un systme de coordonnes symplectique pI, q, dit actionsangles, tel que lesfonctions fi ne dpendent que de I. La structure symplectique devenant alors : dIi ^ di .
Remarque : Le thorme implique donc que lon peut se ramener au cas canonique dun
systme hamiltonien intgrable.
Dmonstration. Le premier point est encore une fois d lindpendance des fi . En effet, Va
tant connexe compact, il est diffomorphe un tore de dimension n. tant dfini comme une
ligne de niveau des fi , on en conclut laide du thorme des fonctions implicites quen prenant
les fi comme coordonnes alors on a un voisinage de Va dans V diffomorphe Rn Tn . On
cherche donc trouver des coordonnes pIi , i qi symplectiques. On a vu que ctait quivalent
demander que la matrice des crochets de Poisson soit de la forme suivante :

tIi , Ij u tIi , j u
0
ij

.
ti , Ij u ti , j u
ij 0
Pour le moment notons, Ii fi et prenons i les coordonnes dfinis prcdemment.
On a dj, par les hypothses du thorme, que tIi , Ij u 0 car les pfi q sont en involutions.
Notons aij tIi , j u et bij ti , j u. Tout le but de la dmonstration va alors consister
faire des changements de variables permettant de donner aij et bij la forme voulue.
Remarquons dabord que les aij ne dpendent que des pIi q. En effet il reprsente la drive
de j le long du champ hamiltonien engendr par Ii . Or daprs la premire partie du thorme
dArnold Liouville, on a vu que le long des lignes de champs de Ii , les j ont une drive
constante. Ainsi, les aij sont constants sur Va et donc ne dpendent que des pIi q.
En fait les bij aussi ne dpendent que des pIi q. En effet laide de lidentit de Jacobi on a
tIm , ti , j uu ` ti , tj , Im uu ` tj , tIm , i uu 0
Cest dire,
tIm , bij u ` ti , amj u ` tj , ami u 0
Or on peut montrer que ti , amj u et tj , ami u ne dpendent que des pIi q en utilisant la
proposition 2.12. Montrons le par exemple pour le second :
16

n Ba

mi
tj , Ik u
BI
k
k1
n
Bami

akj .
BIk
k1

tj , ami u

Or on a dj vu que les paij q ne dpendent que des pIi q donc cette expression ne dpend
aussi que des pIi q.
m tI , b u ne dpend que des pI q.
Ainsi le terme ij
m ij
i
n
n Bb

Bb
ij
ij
m
De plus ij
tIm , s u
ams .
s1 Bs
k1 Bs
Bbij
Montrons que la matrice des pams q est inversible. Ce qui permettra daffirmer que les
Bs
m et a , et donc quils ne dpendent que des pI q.
peuvent sexprimer en fonction des ij
ms
i
On crit la matrice de dans la base B pXI , X q. De par la dfinition du crochet de
Poisson on a :

0
paij q
MatB pq
.
t paij q pbij q
Or tant non dgnre, on sait que son dterminant est non nul. Ainsi, detpaij q 0 et
donc la matrice des paij q est inversible.
On en dduit donc que
bij ti , j u

hsij pIqs ` gij pIq.

s1

Or cette formule tant vraie sur un voisinage du tore, et les bij ntant pas multivaris, on
en dduit que les hsij pIq sont nuls. Finalement, bij ne dpend que des pIi q.
On souhaiterais maintenant faire un changement de variable Is Is pJ1, . . . , Jn q tel que
tJi , j u ij . Pour savoir si il existe un tel changement de variable, on va raisonner par
analyse synthse.
En effet, si un tel changement de variable existe alors par la proposition 2.12 :
aij

tIi , j u
n BI

i
tJs , j u

BJ
s
s1
n BI

sj
BJ
s
s1
BIi
.

BJj

17

On fait alors appel au thorme de Poincar, qui nous permet daffirmer quun tel changeBaij
Bais

.
ment de variable existe si et seulement si
BJs
BJj
n BI Ba
n BI Ba

ij
is
k
k
En fait cette condition est quivalente :

, cest dire :
k1 BJs BIk
k1 BJj BIk
n
n

Baij
Bais
aks

akj
BIk
BIk
k1
k1
Montrons que cette relation est vraie. Daprs lidentit de Jacobi appliqu Ii , j , k on
a:

tIi , tj , k uu ` tj , tk , Ii uu ` tk , tIi , j uu tIi , bjk u ` taik , j u ` tk , aij u 0

Or, le premier terme de la somme est nul. En effet tIi , bjk u

n Bb

ij
tIi , Is u 0.
BI
s
s1

Ainsi on a la relation :
n Ba

ik
tIs , j u
BI
s
s1
n
Baik

asj

s1 BIs

taik , j u taij , k u

n Ba

ij
tIs , k u
BI
s
s1
n
Baij
ask .
s1 BIs

Donc il existe des fonctions Is Is pJ1 , . . . , Jn q telles que tJi , k u ik . Il faut maintenant
vrifier que lapplication dfini est bien un changement de variable, i.e. un diffomorphisme.
Mais on la dj vrifier avant puisque lon a vu que la matrice pakl q est inversible. Et donc
que lapplication Is Is pJq a pour matrice Jacobienne une matrice inversible.Cest donc que
cette application est un diffomorphisme. On a bien effectu un changement de variable.
Dans la suite, on notera Ji Ii les nouvelles coordonnes.
Finalement, pour que les coordonnes soient symplectiques il suffit davoir bij ti , j u
0. Si tel nest pas le cas, on fait un dcalage de coordonnes. On cherche lexistence de fonctions
phi q, dpendant seulement de I telles que i i ` hi pIq vrifient ti , j u 0.
Encore une fois on raisonne par analyse synthse puis par le thorme de Poincar pour
conclure. En effet si ces fonctions existent alors :
ti , j u 0

ti ` hi , j ` hj u 0

bij ` ti , hj u ` thi , j u ` thi , hj u 0

En rcrivant les crochets en fonction des variables pIi q, puisque les hi ne dpendent que
de ces variables, cette relation se rduit :
bij

Bhj
Bhi

.
BIi
BIj
18

Figure 1 Portrait de phase du pendule

Ainsi lexistence de ces fonctions hi sera quivalente la condition que la forme

bij dIi ^ dIj

i,j

soit ferme daprs le thorme de Poincar.

Comme dans la proposition 2.11 on crit dans la base pIi , i qi . Aprs calcul on a la
relation :

bij dIi ^ dIj `

ij

De l on dduit que

dIi ^ di .

bij dIi ^ dIj est une forme ferme comme somme de deux formes

ij

fermes.
Ceci conclut la dmonstration.

Une illustration de lexistence de ces variables actions-angles est clairement visible si lon
observe le portrait de phase dun pendule. Rappelons que ce systme est dtermin par lquation :
q: sinpqq.
Son portrait de phase a lallure suivante donne par limage 1.
Ainsi on observe bien sur ce portrait de phase lexistence des tores invariants. La variable
action permettant alors de prciser sur quel tore on se situe.
19

Calculs pratiques des coordonnes actions : Si le thorme nous vend lexistence des
variables actions angles, il reste encore le problme de calculer explicitement ces coordonnes.
Il existe une formule gnrale pour les variables dactions.

Remarquons dabord que la forme diffrentielle p

i dqi Ii di est
ferme. En effet, sa
diffrentielle est nulle puisque daprs le thorme dpi ^ dqi dIi ^ di . Le groupe
fondamentale du tore de dimension n est isomorphe au groupe Zn . Considrons un chemin
s lun des gnrateurs du groupe fondamentale qui correspondent une variation de 2 de
juste une des coordonnes dangles et qui dpendent continment des fi . Intgrons la forme
diffrentielle sur ce chemin :

0 0.
pi dqi Ii di
s

Or,

Tn zs

Ii di 2Is . On en dduit donc que dans ce cas :

1
Is
pi dqi .
2
s

En dimension deux on peux rinterprter cette formule. En effet dans ce cas la variable I
reprsente, une constante prs, laire dlimite par le tore de dimension 1.

Flots Godsiques Intgrables

Dans cette partie nous allons aborder la transforme de Legendre. Cet outil fait le lien
entre la mcanique lagrangienne et la mcanique hamiltonienne. Les problmes de godsiques
se ramneront alors des problmes de mcanique hamiltonienne. Faisons dabord quelques
rappels sur le problme des godsiques, voir [9] pour plus de prcision.

4.1

Rappel sur les godsiques

La dfinition des godsiques fait appel la dfinition de longueur. Ici nous nous placerons
toujours sur des varits riemannienne pour dfinir la notion de longueur.
Dfinition 4.1. Une varit riemannienne est la donne dun couple pM, gq o M est une
varit diffrentielle et g est une application qui a chaque point m de M associe une forme
bilinaire gm dfinie positive sur lespace tangent m.
On demande de plus que g soit rgulire au sens o pour tout champ de vecteurs pX, Y q
sur M , lapplication m gm pXm , Ym q soit de classe C k .
On dit que lon a munit M dune mtrique riemannienne.
Remarque : Les espaces tangents sont alors munis dune structure despace euclidien.
Exemples :
Rn muni du produit scalaire canonique est une varit riemannienne.
20

 S n muni de la mtrique induit par le produit scalaire sur Rn`1 .

Dune manire gnral, toute sous varit dune varit riemannienne peut tre muni
dune mtrique riemannienne induite par la varit ambiante.
`

criture en coordonnes locales : Si lon note x1 , . . . , xn un systme de coordonnes

locales sur une varit riemannienne pM, gq alors on note gij pmq la valeur de g en m sur le
couple de vecteur associ aux coordonnes pxi , xj q. Ceci permet davoir lcriture concise :

g
gij pxqdxi dxj .
La dfinition de la longueur dune courbe est alors relativement naturelle en sinspirant du
cas euclidien.
Dfinition 4.2. Soit : t ptq un chemin sur pM, gq une varit riemannienne. La longueur
de est alors :

lpq
o }v}

}ptq}
9
dt

a
gpv, vq

Remarque : La longueur dune courbe sur une varit dpend donc de la mtrique choisie.
Mais pas de la paramtrisation choisie pour la courbe.
Une question naturelle qui apparat maintenant est la question du plus court chemin entre
deux point. Les courbes rpondant cette question sont les godsiques.
Dfinition 4.3. On appelle godsique toute courbe sur M ralisant localement le plus court
chemin entre deux points.
Encore une fois, les godsiques dpendent de la mtrique choisie sur la varit.
Exemples classiques de godsiques :
Dans Rn muni de la structure riemannienne classique les godsiques sont les lignes
droites.
Sur la sphre unit S 2 de R3 munie de la mtrique induite, les godsiques sont les
grands cercles. Cest dire les cercles obtenus comme intersection de la sphre S 2 et
dun plan passant par le centre de la sphre.
Donnons quelques proprits classiques des godsiques :
Proposition 4.4.
1. Pour tout point m P M et pour tout vecteur tangent P Tm M , il
existe une unique godsique telle que p0q m et p0q
9
.
2. Si M est compact alors toute paramtrisation des godsiques peut tre prolonge afin
dtre dfinie sur tout R.
3. Si M est compact et connexe, tout couple de points peut tre reli par une godsique.
Il ny a ventuellement pas unicit de la godsique.
21

En fait, le problme des godsiques peut se ramener la rsolution dune quation diffrentielle :
`

Proposition 4.5. En coordonnes locales ptq x1 ptq, . . . , xn ptq , les godsiques sont exactement les solutions de lquation diffrentielle suivante :
d2 xi i dxj dxk
` jk
0,
dt2
dt
dt
j,k

1 is Bgsj
Bgks Bgkj
o

`
g

.
2 s
Bxj
Bxs
Bxk
Le terme g ij dsigne le coefficient la position pi, jq de la matrice inverse de pgkl q.
ijk pxq

En fait cette quation est obtenue dabord laide des quations dEuler Lagrange. Ces
quations montrent que les godsiques sont les trajectoires qui ont une acclration nulle par
rapport la varit. Cette quation est alors une rcriture de cette condition en coordonnes
locales. Pour plus de dtail voir [9]. En particulier on remarque quune godsique est parcourue
avec un vecteur vitesse de norme constante.

4.2

Principe de la transforme de Legendre

La transforme de Legendre va permettre dassocier toute varit riemannienne pM, gq,

une fonction hamiltonienne H sur le fibr cotangent de M . Rappelons que ce fibr cotangent est
muni canoniquement dune structure de varit symplectique. Les godsiques pourront alors
tre interprtes comme tant les projections des solutions du systme hamiltonien engendr
par H sur la varit.
Dfinition 4.6. Soit pM, gq une varit riemannienne avec pxi q un systme de coordonnes
locales sur M et ppi q les coordonnes canoniquement associes sur le fibr cotangent. Lhamiltonien associ cette varit est la fonction :
Hpx, pq

1 ij
g pxqpi pj |p|2g
2 i,j

Cest en fait la forme biliniaire induite sur les vecteurs cotangents.

Thorme 4.7. Soit ptq pxptq, pptqq une trajectoire du systme hamiltonien sur T M
engendr par H. Alors la courbe xptq est une godsique, avec
dxi ptq ij

g pxqpj ptq.
dt
Inversement, si lon a une godsique xptq sur M , alors la courbe ptq pxptq, pptqq dfinie

dxj
par pi ptq gij pxq
est une trajectoire du systme hamiltonien engendr par H.
dt
22

Dmonstration. Considrons une solution pxptq, pptqq du systme hamiltonien engendr par
H :
$
ij
Bxi
BH

g pxqpj

& Bt Bp
i
j
.
Bpi
BH
1 Bg

p
p

% Bt
Bxi
2 , Bxi
Montrons que le terme xptq suit bien lquation diffrentielle des godsiques.

A laide de la mtrique riemannienne, on peut faire lidentification : pi gij x9 j .

j

En remplaant dans la seconde quation on a :

dpi d

dt
dt
s

dxs
1 Bg
dxk
dxj
gis

g
g
.
k
j
dt
2
Bxi
dt
dt

(1)

j, k
Montrons que

Bg
Bgjk dxk dxj
dxk
dxj
g
g

.
k
j
Bxi
dt
dt
Bxi dt dt
j,k

j, k

dxk dxj
B

Pour cela tudions le terme A

.
g gk gj
Bx
dt
dt
i
j,k
,

Dune part il est gale

A

Bgj dxk dxj

dxk dxj Bgk
dxk dxj
`
g
`
.
g
g
g
j
k
Bxi
dt dt
Bxi
dt dt
Bxi dt dt
,
,
,
j,k
j,k
j,k
looooooooooooomooooooooooooon
looooooooooooomooooooooooooon
looooooooooooomooooooooooooon
Bg

gk gj

Dautre part, A

jk

j
k

Bgkj dxk dxj

B
dx dx

g
.
k
j
Bxi
dt dt
Bxi dt dt
jk

En fait on montre aussi que A C D. On en dduit donc que :

A B

Bgjk dxk dxj

j,k

Bxi dt dt

Ainsi lquation (1) devient :

Bgik dxk dxj
jk

Bxj dt dt

`
s

gis

d2 xs
1 Bgkj dxk dxj

.
dt2
2 jk Bxi dt dt
23

(2)

Puis en utilisant la relation immdiate 2 :

Bgik dxk dxj
j,k

Bxj dt dt

1 Bgki
j,k

Bgij
` k
j
Bx
Bx

dxk dxj
.
dt dt

On remplace donc cette expression dans (2) pour finalement obtenir :

d2 xs 1
Bgkj dxk dxj
gij
Bgki
gis 2 `
j, k
` k
0.
dt
2
Bxj
Bxi
dt dt
Bx
s
Il suffit maintenant de considrer le vecteur X pX1 , . . . , Xn q P Rn dfini par :

d2 xs 1
Bgkj dxk dxj
gij
Bgki
j, k
` k
.
Xi
gis 2 `
dt
2
Bxj
Bxi
dt dt
Bx
s
Ainsi que la matrice G pg ij q. Alors Y GX 0 puisque chacune des coordonnes de X est
en fait nulle. Or justement les coordonnes de Y sont justement les quations des godsiques,
do :

d2 xi 1 is Bgsj
Bgks Bgkj dxj dxk
`
g
`

0,
@1 i n.
dt2
2 j,k,s
Bxj
Bxs
dt dt
Bxk

Si maintenant on considre une godsique xptq sur M , et pi ptq

gij pxq

dxj
. Montrons
xt

que pxptq, pptqq est une solution du systme hamiltonien engendr par H.
Il suffit donc de vrifier que :
$
i

& dx BH
dt
Bpi
.
dp
BH

i
%

dt
Bxi

dxj
BH
dxi
On vrifie immdiatement que

en remplaant pk par gkj

. Il suffit donc
Bpi
dt
dt
dpi
BH
que de vrifier que
` i 0. Mais en reprenant les calculs fait prcdemment on voit
dt
Bx
que cela est quivalent ce que xptq soit une godsique.
Ceci conclut la dmonstration.
On a donc dsormais un outil qui va nous permettre de faire un lien entre les calculs de
godsique et des problme de mcaniques hamiltoniennes.
2. Il suffit dobserver que les termes apparaissent deux fois dans la somme puisque la matrice pgij q est
symtrique

24

4.3

Flots godsiques intgrables.

A laide de cette transforme de Legendre, il devient naturelle de se poser la question de

lexistence de flot godsique intgrable.
Dfinition 4.8. Un flot godsique est intgrale si le systme hamiltonien correspondant via
la transforme de Legendre est intgrable.
Voyons dabord un exemple de varit riemannienne dont le flot godsique est intgrable.
4.3.1

Un exemple de flot godsique intgrable : Les surfaces de rvolution.

On se place dans R3 muni de sa structure riemannienne standard, i.e dx2 ` dy 2 ` dz 2 .

On se place en coordonnes cylindriques pr, , zq. Une surface de rvolution est donne par
une fonction relle positive r rpzq. La surface M correspondante est alors celle obtenue par
rotation autour de laxe pOzq. On prend
pz, q
comme coordonnes locales sur M . La mtrique
2
1
induite sur M est alors donne par 1 ` r dz 2 ` r2 pzqd2 . En effet :
dx2 ` dy 2 ` dz 2 d prpzq cos q2 ` d prpzq sin q ` dz 2
r1 2 cos2 dz 2 2rr1 cos sin dzd ` r2 sin2 d2
`r1 2 sin2 dz 2 ` 2rr1 cos sin dzd ` r2 cos2 d2 ` dz 2

1 ` r1 2 dz 2 ` r2 pzqd2 .

Soit donc r rpzq une fonction relle et M la surface de rvolution engendre.

Thorme 4.9 (Clairaut).
1. Le flot godsique sur M est intgrable. La fonction r cos
est une intgrale premire du systme, o dsigne langle entre la trajectoire et la
parallle 3 de la surface en ce point. On appelle cette intgrale : lintgrale de Clairaut.
2. Si lon paramtrise les godsiques en fonction de z alors elles sont rgies pas lquation
a
d
c 1 ` r1 2
?
,
dz
r r2 c2
o c est un constante telle que |c| supp|r|q.
Dmonstration. Tout dabord calculons lhamiltonien associ ce problme de godsique. On
se place donc dans les coordonnes locales pz, q et lon note ppz , p q les coordonnes associes
sur le fibr cotangent.
3. On appelle parallle les lignes de niveaux de r

25

La matrice de la mtrique riemannienne dans ces coordonnes est

1 ` r1 2 0
.
0
r2

2
p
1
1

Do lhamiltonien associ est Hpz, , pz , p q

p2 `
. La fonction r ne
2 1 ` r1 2 z r2
dpendant que de z on remarque que H ne dpend pas de . Ainsi la fonction p est une
intgrale premire du systme.
Or ici on est justement dans le cas dune varit de dimension 2, le fibr cotangent est donc
de dimension 4. En particulier il suffit de 2 intgrales premires du systme indpendantes et
en involution pour que celui ci soit intgrable. H et p tant indpendantes on en dduit que
le systme est intgrable. Donc le flot godsique est intgrable.

laide de la mtrique riemannienne on effectue les identifications : pz 1 ` r1 2 z9 et

9 Soit pe q p0, 1q un vecteur tangent une parallle sur M . Soit ptq une godsique
p r2 .
9 On a donc la relation :
sur M . On a dfinit comme tant langle entre e et .
x;
9 e y
r2 9
cos a
.

r }}
9
x;
9 y
9 xe ; e y
Lidentification permet dcrire cos

p
. Finalement
r }}
9

r cos

p
.
}}
9

Or les godsiques tant parcourue vitesse constante, on en dduit que r cos est une
intgrale premire du systme en tant que fonction dintgrales premires.
Notons c r cos . Cest donc une intgrale premire du systme vrifiant |c| sup |r|.
Ainsi
r2 9
c b
.
p1 ` r1 2 qz9 2 ` r2 9 2
Supposons que lon puisse, au moins localement, paramtriser la courbe par z. Alors
r2
c c

d
z9
dz

d 2 2
z9
p1 ` r qz9 2 ` r2
dz
12

Ce qui aprs simplification donne :

26

a
d
c 1 ` r1 2
?
.
dz
r r2 c2

Application de ce thorme :
1. Remarquons que si lon prend la constante c gale 0, et que lon suppose que rpzq

nest pas nulle alors cos 0 i.e. prs. En rinterprtant gomtriquement

2
ce rsultat on observe que pour toute surface de rvolution, les mridiens 4 sont des
godsiques.
2. On peut donc redmontrer que les godsiques dune sphre sont les grands cercles
laide des symtries de la sphre et de la remarque prcdente.
3. Les godsiques dun cylindre sont ses parallles, ses mridiens et les trajectoires en
hlices, i.e. dquation pzq z ` p0q.
4. Les parallles qui sont des godsiques sont celles o le rayon est un extremum local.
Nous avons donc vu quil existe des flots godsiques intgrables, puisque les surfaces de
rvolutions offrent ce type de comportement. Nous allons aborder la question dans lautre
sens : Quelles sont les obstructions pour quun flot godsique soit intgrable ?
Nous allons voir quil existe des obstructions topologiques.
4.3.2

Le Thorme de Kolokoltsov

La question tant encore ouverte dans le cas gnral nous allons prciser notre question.
Nous restons dans le cas de surface riemannienne pM, gq. Comme vu prcdemment, lhamiltonien H associ tant une intgrale premire du systme il suffit de trouver une deuxime
intgrale premire pour en dduire que le flot godsique est intgrable. Cest sur la nature de
cette seconde intgrale premire possible que nous allons faire des hypothses supplmentaires.
Dfinition 4.10. Une fonction sera considre comme polynme en les moments si elle est
combinaison linaire de terme de la forme :
i pq1 , q2 qpj1 pk2 .
o pl est le moment conjugu de ql .
On dira quun flot godsique est polynomialement intgrable si il admet un polynme en
les moments indpendant de H comme intgrale premire.
4. Les lignes de niveaux de .

27

Il est naturelle de vouloir poser ce genre de restriction afin de faciliter la recherche de la

seconde intgrale premire.
La thorme que nous allons nonc affirme que dans le cas gnral, il est impossible de
trouver une intgrale premire qui soit un polynme.
Thorme 4.11 (Kolokoltsov). On suppose que la surface M est compact et orientable. Si
elle est de genre strictement plus grand que 1, alors elle nest pas polynomialement intgrable.
Rappelons que le genre dune surface orientable est le nombre de trous dans celle ci. Cest
dire le nombre de hanse rajouter la sphre pour obtenir une surface diffomorphe M .
Ainsi, les hypothses du thorme stipulent que lon ne se situe pas sur une surface diffomorphe la sphre ou au tore de dimension 2.
La preuve fournie ici est issue de [10].
Dmonstration. Supposons que M est de genre strictement plus grand que 1.
Considrons des coordonnes isothermales 5 sur M , i.e. des coordonnes q1 , q2 telles que la
forme quadratique associe g soit de la forme : pq1 , q2 qpdq12 ` dq22 q.
On note pp1 , p2 q les coordonnes canoniquement associes pq1 , q2 q. On peut alors calculer
p2 ` p22
1
H dans ces coordonnes, savoir : H 1
. Pour plus de clart on note .
2

Montrons dabord quil suffit de montrer quil nexiste pas dintgrale premire qui soit des
polynmes homognes en les moments indpendantes de H.
En effet, soit P pq, pq un polynme en les moments qui soit une intgrale premire. Remarquons que H est un polynme de degr 2 en les moments. Le crochet de Poisson tP, Hu est
aussi un polynme en les moments. De plus il est identiquement nul. Par linarit on en dduit
que les crochets de Poisson de H avec les composantes homognes de P sont nuls. Et donc
que les composantes homognes de P sont des intgrales premires.
Ceci permet donc de restreindre notre tude lexistence dintgrale premire indpendant
de H qui sont des polynmes homognes en les moments.
Supposons lexistence dune intgrale premire polynomiale de la forme :
Fn pq, pq

bk pq1 , q2 qpnk
pk2 .
1

k0

Lemme 4.12. La fonction complexe Rn pzq

ik bk , o z q1 ` iq2 , est holomorphe.

k0

Remarquons que lon peut rcrire Rn sous la forme Fn pq1 , q2 , 1, iq pb0 b2 ` b4 . . . q `

ipb1 b3 ` . . . q.
5. Pour lexistence de ces coordonnes, voir : [4]

28

Dmonstration. Il suffit de montrer que Rn vrifie les quations de Cauchy-Riemann, i.e.

BRn
BRn
`i
0.
Bq1
Bq2
Pour cela on calcul le crochet de Poisson entre Fn et H :
BFn BH
BFn BH
BFn BH
BFn BH

Bp1 Bq1
Bq1 Bp1
Bp2Bq2
Bq2 Bp2

B
n

Bbk nk k
nk1 k
2
2
pn kqbk p1
p2

pp ` p q
p
p pp1 q
2Bq1 1 2
Bq1 1 2
k0

B 2
Bbk nk k
kbk pnk
`
pk1
pp1 ` p22 q
p
p2 pp2 q
1
2
2Bq2
Bq2 1
k0

Bbk nk`1 k Bbk nk k`1

p
p2 `
p
p2

Bq1 1
Bq2 1
k0

B
n

nk1 k
2
2
`
pp ` p q
pn kqbk p1
p2
2Bq1 1 2
k0

B 2
pp1 ` p22 q .
`
kbk pnk
pk1
1
2
2Bq
2
k0

tFn , Hu

Ce crochet est nul puisque lon a suppos que Fn tait une intgrale premire du systme.
De plus si lon prend p1 1 et p2 i dans cette expression et en remarquant que est
toujours diffrent de 0 on a :
0

k0

ik

Bbk
Bbk
` ik`1
.
Bq1
Bq2

Ce qui correspond exactement aux quations de Cauchy-Riemann pour Rn .

Ainsi nous avons une faon dassocier chaque polynme une fonction holomorphe.
Observons maintenant le comportement de la fonction Rn lors dun changement de variable
holomorphe.
Lemme 4.13. Soit z zpwq un changement de coordonnes holomorphe. Alors si lon note
n pwq la fonction obtenue dans les nouvelles coordonnes w, alors on a la relation :
R
1

Rn pzq Rpwpzqqpw
pzqqn .

Dmonstration. Notons w Q1 ` iQ2 et P1 , P2 les coordonnes canoniquement associes.

Lexpression de la forme de Liouville tant indpendante du choix de coordonnes on a lgalit :
p1 dq1 ` p2 dq2 P1 dQ1 ` P2 dQ2 .
29

BQ1
BQ1
BQ2
BQ2
dq1 `
dq2 et dQ2
dq1 `
dq2 . Donc par identification et
Bq1
Bq2
Bq1
Bq2
laide des quations de Cauchy -Riemann appliques w :
$
BQ1
BQ2

& p1 P1
` P2
Bq1
Bq1
BQ2
BQ1 .

% p2 P1
` P2
Bq1
Bq1
Or dQ1

Ainsi, si lon rcrit Fn pq, pq dans les coordonnes pQ, P q on obtient :

Fn pQ, P q

BQ1
BQ2
bk pzpwqq P1
` P2
Bq1
Bq1
k0

nk

BQ2
BQ1 k
P1
` P2
.
Bq1
Bq1

Puis en prenant P1 1 et P2 i, on obtient finalement :

BQ2
BQ1
BQ2 nk
BQ1 k

`i
`i
Bq
Bq1
Bq
Bq1
k0
1
nk 1

BQ1
BQ2
BQ2 BQ1 k
k
bk pzpwqq
`i
i i
`

Bq1
Bq1
Bq1
Bq1
k0

n
n

BQ
BQ
1
2

bk pzpwqqik
`i
Bq1
Bq1
k0
Bw n
Rn pzpwqqp
q .
Bq1

n pwq
R

bk pzpwqq

Bw
w1 pzq.
Bq1
n pwpzqqpw1 pzqqn .
On conclut ainsi que Rn pzq R
La fonction wpzq tant holomorphe,

Ce lemme va nous permettre de conclure que Rn est nulle.

Lemme 4.14. Si n 1, alors Rn 0.
Dmonstration. Par labsurde, supposons Rn pzq nest pas nulle. Alors on peut considrer lapplication :
pdzqn
.
Rn pzq
A laide du lemme prcdent, on observe que cette application est invariante par changement de variable holomorphe. En effet, pdwqn pw1 pzqdzqn donc :
pdwqn
pdzqn
pw1 pzqdzqn

.
n pwq
Rn pzqw1 pzqn
Rn pzq
R
Une telle application est appel une n-diffrentielle. Un rsultat classique de gomtrie
riemannienne est que pour une telle application, la diffrence entre le nombre de zros et le

30

nombre de ples de la fonction mromorphe

1
en facteur est gale 2npg 1q avec g le genre
Rn

de la surface riemannienne. Voir [7]

Or on a suppos que le genre de M tait strictement plus grand que 1 et que n tait non
nul. On a aussi fait lhypothse que Rn tait holomorphe non nulle. En particulier la forme
diffrentielle na pas de zro. Ceci impliquerait donc que le nombre de ple serait strictement
ngatif, ce qui est impossible.
Finalement Rn 0.
Tout ceci tant tabli nous allons pouvoir montrer que finalement Fn nest pas indpendant
de H. En effet on le lemme suivant :
Lemme 4.15. Si n 1 et Rn 0, alors Fn HFn2 o Fn2 est un polynme en les
moments homogne de degr n 2.
Remarquons qua priori Fn et Fn2 nont pas de lien direct sinon dtre des polynmes
homognes de degr n et n 2 respectivement.
Dmonstration. On note Fn2

n2

k0

ak p1n2k pk2 . Calculons le terme Fn2 H dans ce cas, puis

observons dans quel cas il est gale Fn .

HFn2

n2

` 2
p1 ` p22
ak p1nk pk2
2
k0

n2
nk k
nk k
ak p1 p2 `
ak2 p1 p2
2 k0
k2

n2

n1
n
n1
nk
k
n
a0 p1 ` a1 p1
p2 `
pak ` ak2 qp1
p2 ` an3 p1 p2 ` an2 p2 .
2
k2

Quitte changer ak en ak 6 , on
2
$
a0

a1

&
ak ` ak2

an3

%
an2

en dduit que Fn HFn2 si :

b0
b1
bk

pour 2 k n 2 .

bn1
bn

Cest un systme surdtermin. Et lon peut montrer quil admet des solutions si et seulement si
b0 b2 ` b4 0, et b1 b3 ` b5 0.
Ce qui correspond exactement la condition que Rn 0. Do le rsultat.
6. Rappelons que nest pas nulle

31

On conclut alors par rcurrence pour dmontrer le thorme de Kolokoltsov. En effet,

n

bk pq1 , q2 qpnk
pk2 une intgrale premire du systme qui soit un
supposons que lon ai Fn
1
k0

polynme homogne de degr n en les moments.

Si n 0, alors F0 est une constante. En effet, tF0 , Hu

Bb0
Bb0
p1 `
p2 0. Cette relation
Bq1
Bq2

Bb0
Bb0

0. Donc que b0 est une constante,

Bq1
Bq2
et finalement que F0 est une constante. Si n 1, alors R1 tant nulle et gale b0 ` ib1 on en
dduit quen fait F1 0.
tant vraie pour tout p1 , p2 on en deduit que

Puis par rcurrence, on en dduit que si n est impair alors Fn est nul. Si n est pair alors
Fn est proportionnel H n{2 .
Ce qui conclut la dmonstration.
En fait, il existe un rsultat encore plus fort que celui-ci. Ce thorme carte une classe
encore plus grande de fonction pour tre candidate tre une intgrale premire indpendante
de H.
Thorme 4.16 (Kozlov). Si M est de genre strictement plus grande que 1, alors le flot
godsique nadmet pas dintgrale premire indpendante de H qui soit une fonction relle
analytique.
Pour une dmonstration de ce rsultat on pourra consulter [6].

Rfrences
[1] Kozlov & Neishtadt Arnold. Mathematical Aspects of Classical and Celestial Mechanics.
Encyclopaedia of Mathematical Sciences, 2006.
[2] Vladimir Arnold. Mthodes Mathmatiques de la Mcanique Classique. Mir, 1976.
[3] Michle Audin. Les systmes hamiltoniens et leurs intgrabilit. SMF, EDP Sciences,
2001.
[4] A.T. Fomenko B.A. Dubrovin, S.P. Novikov. Modern Geometry. Methods and applications.
Springer, 1984.
[5] Duistermaat. Fourier Integral Operators. Birkhauser, 1996.
[6] Bolsinov & Fomenko. Integrable Hamiltonian Systems. Taylor & Francis, 2004.
[7] H.M. Farkas & I.Kra. Riemann Surfaces. Springer, 1991.
[8] J.Lafontaine. Introduction aux Varits Diffrentielles. Grenoble Sciences, 1996.
[9] S.Gallot, D.Hulin, and J.Lafontaine. Riemannian Geometry. Springer, 2004.
[10] V.Kozlov. Symmetries,Topology and Resonances in Hamiltonian Mechanics. Springer,
1996.
32