TIPE Sommations des Sries Divergentes et application la Mcanique cleste

Raliser par :

Hajar MAHIDI Sad ZERHOUNI

A Document raliser en LTEX

Remerciements
Nous tenons remercier dans un premier temps, toute l'quipe pdagogique de l'Ecole Nationale des Sciences Appliques de Kenitra (ENSA-Kenitra) et les intervenants professionnels responsables de la formation du cycle prparatoire, pour avoir assur l'encadrement de ces TIPE. Nous remercions galement Monsieur "My Taib Belghiti" pour l'aide et les conseils concernant les missions voques dans ce rapport, qu'il nous a apport lors des dirents suivis.

Table des matires

I Partie Mathmatique
1 Sries divergentes
1.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Histoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Thomas Joannes Stieltjes . . . . . . . . . . . . . . . . . . . . . . . 2.3 Thorie de Poincar . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 Principe . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.2 Dnition de la reprsentation asymptotique par Poincar 2.3.3 Les oprations simple eectues sur les fonctions . . . . . . 2.4 Exemple : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4.1 Premier exemple . . . . . . . . . . . . . . . . . . . . . . . 2.4.2 Dveloppement asymptotique de la fonction d'erreur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5
5 8
5 5

2 Dveloppement asymptotique

8 10 12 12 12 12 15 15 16

3 Les mthodes de sommations des sries divergentes

3.1 Sommation par la moyenne . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Sommation d'Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3 Sommation au plus petit terme . . . . . . . . . . . . . . . . . . . . . . . . . 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . 4.2 Un premier exemple lmentaire . . . . . . . . . . 4.2.1 Position du problme . . . . . . . . . . . . 4.2.2 Thorie des perturbations au premier ordre 4.2.3 Comparaison avec la solution exacte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17
17 18 19

4 Thorie de perturbation

20

20 20 20 20 21

II Partie physique
5 Prsentation du problme 6 Cas du problme 2 corps
6.1 Rappel des lois de Kepler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2 Le principe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.1 Un peu d'histoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2 La thorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

23
23 24
24 24

7 Cas du problme trois corps

27

27 27

7.2.1 7.2.2 8.1 8.2 8.3 8.4 8.5

Le problme 3 corps restreint . . . . . . . . . . . . . . . . . . . . . Les points de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27 28

8 Problme des N-corps

Les donnes . . . . . . . . . . . . . . . . Intgrales premires : . . . . . . . . . . . Rduction un problme de N 1 corps Potentiel . . . . . . . . . . . . . . . . . . Approches du problme des N-corps . . . 8.5.1 Sphre d'inuence . . . . . . . . . 8.5.2 Intgration numrique . . . . . . 8.5.3 Approche statistique . . . . . . .

31

31 31 33 34 35 36 39 47

III Partie Informatique

51

9 Implantation du dveloppement asymptotique des fonctions exp-log en Maple 51 10 Simulation de la solution du problme N-corps avec le langage C
10.1 Partie Algorithmique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10.2 Partie Graphique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10.3 le Programme main() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

52
53 56 57

11 Rfrences

59

Premire partie

Partie Mathmatique
1 Sries divergentes

1.1 Dnition
Une srie innie est dite divergente si la suite de ses sommes partielles n'est pas convergente. En ce qui concerne les sries de nombres rels, ou de nombres complexes, une condition ncessaire de convergence est que le terme gnral de la srie tende vers 0. Par contraposition, cela fournit de nombreux exemples de sries divergentes, par exemple celle dont tous les termes valent 1. Un exemple de srie divergente dont le terme gnral tend vers 0 est la srie harmonique :
1 1 1 1 1 + + + + + = 2 3 4 5
n=1

1 n

dont la divergence a t dmontre au Moyen ge par le mathmaticien Nicole Oresme. Dans certains cas, il est malgr tout possible d'attribuer une valeur nie la srie en usant d'une procdure dite de  sommation , ou de  sommabilit , dont il existe plusieurs variantes. Exemple : La srie de Grandi
S= (1)n = 1 1 + 1 1 + 1

se voit ainsi par exemple attribuer la valeur 1/2. Ce point de vue est fondamental en physique thorique, o, dans de nombreuses situations 1, on ne peut calculer des solutions qu'au moyen de la thorie des perturbations, qui fournit des rsultats sous la forme de sries qui sont le plus souvent divergentes.

1.2 Histoire
Pour expliquer sur quelques exemples l'intrt du sujet et dgager l'ecacit thorique et pratique de l'utilisation des sries divergentes, on va dcrire quelques tapes dterminantes chez : Leibniz, Euler, Cauchy, Stieltjes, Poincar, Borel, Hardy .

Sommation des sries divergentes :

Si l'on manipule des sries convergentes et leurs sommes c'est pour dmontrer des galits numriques ou fonctionnelles. Par exemple :

log 2 =
k=0

(1)k k+1

Et

1 log 2 = log = 2

k=1

1 k

1 2k

Il est intressant de disposer de plusieurs galits de ce type l'galit ci-dessus est videmment meilleure que la prcdente pour un calcul numrique approche de log (La vitesse de convergence est plus rapide). D'o l'intrt d'tendre les manipulations aux sries divergentes et leurs sommes ventuelles pour augmenter l'arsenal des identits disponibles. C'est dans cet esprit qu'ont travaill les mathmaticiens du XVIIIme sicle et en particulier L. Euler. Il est clair que pour fonder un tel calcul la sommation des sries divergentes doit respecter certaines rgles en gros on doit pouvoir remplacer dans les calculs utilisant les oprations usuelles une srie par sa somme sans contradiction. Soit :  D la C-algbre des sries numriques termes complexes (convergentes ou Non ).  Les oprations dnies sur D sont : l'addition, la multiplication par les scalaires et le produit de Cauchy.  C la sous algbre des sries absolument convergentes. On dnit un homomorphisme de C-algbre :
S:CC

=
n=0

an S()

On veut dnir un oprateur S1 de sommation pour des sries divergentes. Voici les premires rgles qui paraissent raisonnables pour S2 on peut donner les variantes sur les suites : R1 - Rgle de rgularit si : converge S() = S (), on dit que S prolonge S R2 - Rgle d'invariance par translation :

n=0

an

= a0 + S

n=1

an

R3 - S est C-linare R4 - S homomorphisme pour la multiplication.

Soit :

Exemples :

0 = 1 1 + 1 =
n=0

(1)n (1)n (n + 1)

1 = 1 2 + 3 4 =
n=0

On associe 0 S0 et1 S1 Et on a :
S0 = 1 S0

D'o
S0 =
1 2

Ainsi
S1 = 1 2 + 3 4 S1 = 0 + 1 2 + 3 4

D'o
2S1 = 1 1 + 1 = S0

Donc
S1 =

1 4

Ces deux exemples donnent naissance deux procds de sommation :  Sommation par moyenne.  Sommation d'Abel.

Dveloppement asymptotique

2.1 Dnition Pour une fonction non borne en un point :

Soient f une fonction numrique d'une variable relle dnie dans un voisinage V point enx0 , un rel, et n un entier relatif. On dit que f admet un dveloppement asymptotique au point x0 l'ordre n, au sens faible (respectivement au sens fort), s'il existe un entier relatif p(p n) et des nombres rels ap , ap+1 , , an et s'il existe une fonction numrique note , dnie sur le voisinage point V (respectivement, s'il existe une fonction numrique note B dnie borne sur le voisinage point V ) tels que, pour tout x de V , on ait :
n

f (x) =
i=P

ai (x x0 )i + (x)(x x0 )n lim (x) = 0

xx0

(respectivement : f (x) = n ai (c x0 )i + B(x)(x x0 )n+1 ) i=P Dans la pratique on cherchera un entier relatif q, pour lequel la fonction x (xx0 )q f (x) admet un dveloppement limit polynomial au point x0 . En fait, le calcul formel sur les fonctions polynmes permet de trouver de tel dveloppement. Bien entendu, les notations de Landau peuvent tre utilises
n

f (x) =
i=P

ai (c x0 )i + o((x x0 )n )
n

et
f (x) =

ai (c x0 )i + O((x x0 )n+1 )
i=P

Exemple :

Au voisinage de zro :
1 = sin x x = = = 1
x3 6

+
x2 6

x5 120

+ o(x6 )
x4 120

1 x 1 1 x + + o(x5 ) + x2 x4 6 120
2

1+

x2 x4 6 120

+ o(x5 )

x2 7x4 1 1+ + + o(x5 ) x 6 360 1 x 7x3 = + + + o(x4 ) x 6 360

Pour une fonction au voisinage de l'inni :

Soient f une fonction numrique d'une variable relle dnie au voisinage de l'inni, n et p deux entiers relatifs (n p). On dit que f admet un dveloppement asymptotique au voisinage de l'inni l'ordre n, de valuation p, au sens faible (respectivement au sens fort), 1 si la fonction)x f x Admet un dveloppement asymptotique au point x0 , l'ordre n. En d'autres termes, s'il existe des nombres rels ap , ap+1 , , an et s'il existe une fonction numrique note dnie au voisinage de l'inni (respectivement, s'il existe une fonction numrique note B dnie borne au voisinage de l'inni) tels que, pour tout x voisin de l'inni, on ait :
n

f (x) =
i=P

ai xi + (x)xn

Avec :
x

lim (x) = 0

(Respectivement : f (x) = n ai xi + B(x)xn+1 ) i=P Exemple : Au voisinage de l'inni :

1 1 = 1 x+1 x 1+ x 1 1 1 1 1 1 = 1 + 2 3 + 4 +o x x x x x x4 1 1 1 1 1 1 2 + 3 4 + 5 +o = x x x x x x5

: Il faut toujours ordonner le 'polynme gnralis' du plus fort monme au plus faible, au voisinage de l'inni.
NB

Figure 1

 mathmaticien nerlandais du XIX-me sicle, a travaill sur de nombreuses thories et thses notamment les quadratures de Gauss, les polynmes orthogonaux ou encore les fractions continues. Son travail sur les fractions continues, et plus prcisment les approximants lui valut le surnom de  pre de la thorie analytique des fractions continues . Cependant, sa sant trs fragile, ne lui permit pas de mener bien l'ensemble de ses travaux.

Les pionniers de la construction de la thorie gnral des sries asymptotique sont : 2.2 Thomas Joannes Stieltjes
Il appelle les sries divergente  des sries semi-convergentes . Il suppose que : Quand a augmente indniment C0 donne une approximation F (a) ie :
a+

lim F (a) = C0

avec a 0 ie :
(F (a) C0 ) a+ 0

mais il est possible d'avoir :

a+

lim a(F (a) C0 ) = C1 C1 a C1 a =0

ie :
a+

lim a F (a) C0

Aussi
a+

lim a2 F (a) C0

= C2

. . .

ce qui nous pousse crire :

F (a) = C0 + C1 C2 + 2 + a a

Ce dveloppement peut tre divergeant. 10

Donc le But est de calculer F (a) mme si le dveloppement soit divergeant

soit :

sries divergentes. Stieltjes a observ qu'il y a deux types de sries : - Sries de 1er espce (les signes des termes sont alterns) : Rn Est infrieure au dernier terme calcul ou au premier terme nglig .on peut calculer ces sries aussi loin qu'elles paraissent converger. - Sries de 2me espce (tous les termes de mme signe) :
1 1.2 1.2.3 (n + 1) 1 + 2 + 3 + + + Rn a a a an Si a est dtermin, ainsi que F (a), le reste Rn , quand i augmentera, sera d'abord positif, F (a) =

C1 C2 Cn + 2 + + n + Rn a a a Ce qui nous ramne tudier seulement Rn sans faire appel une tude consacr aux F (a) = C0 +

Exemple :

puis ngatif et dcrotra jusqu' . Ce qui est important, c'est la dtermination de la valeur de i pour laquelle Rn , se rapprochera le plus possible de zro. La srie prcdente se rencontre dans l'tude du logarithme intgral qui est dni par la formule :
x

li(x) =
0

dx log x

avec x ]0, 1[

Si x 1 on remplace l'intgrale par  la valeur principale  ( la valeur principale de Cauchy ) c'est--dire :

1 x 0

lim

+
0 1+

cette limite existe quand 0. On remplace maintenant x par ea dans li , on obtient donc :
li(ea ) = ea 1 1 1.2 1.2.3 (n 1) 2 + 3 + + + Rn a a a an

On peut obtenir aussi, pour le logarithme intgral, un dveloppement convergent. Mais Stieltjes a montr que le dveloppement divergent donne des rsultats bien meilleurs pour le calcul. Remarque : Dans le cas gnral On a :
b c b

f (x)dx =
a

0, 0

lim

f (x)dx +
a c+

f (x)dx

quand f (c) Cauchy prend = 11

cien et philosophe franais n le 29 avril 1854 Nancy et mort le 17 juillet 1912 Paris. Il a ralis des travaux d'importance majeure en optique et en calcul innitsimal. Ses avances sur le problme des trois corps en font un fondateur de l'tude qualitative des systmes d'quations direntielles et de la thorie du chaos ; il est aussi un prcurseur majeur de la thorie de la relativit restreinte. On le considre comme un des derniers grands savants universels, matrisant en particulier l'ensemble des branches des mathmatiques de son poque.

Figure 2  un mathmaticien, physi-

2.3 Thorie de Poincar

2.3.1 Principe
- Dnir une correspondance entre une fonction et une srie asymptotique - Cette correspondance se conserve dans la plupart des oprations simples

2.3.2 Dnition de la reprsentation asymptotique par Poincar

2 Soit : J(x) est le dveloppement C0 + C1 + C2 + (ce dveloppement peut tre divergent) x x On dit que ce dernier est le dveloppement asymptotique de J(x) si :

lim xn J(x) C0 +

Cn C1 + + n x x

= lim n = 0
x

sommes successives des termes de la srie, ces courbes seraient asymptotes la premire, et le contact l'inni deviendrait de plus en plus intime mesure que n contrait. D'aprs Stieltjes, si ce dveloppement existe donc il est unique.  L'inconvnient de la reprsentation : Mme srie peut reprsenter asymptotiquement plusieurs fonctions.

Cn1 Cn + n C1 + + n1 + x x xn Si l'on considrait la courbe y = J(x) et les courbes y = Sn (x) Obtenues en prenant les J(x) = C0 +

2.3.3 Les oprations simple eectues sur les fonctions  La reprsentation asymptotique conserve par l'addition et la soustraction :
12

Soit :

C n + n C1 + + ; n 0 x xn C C + J (x) = C0 + 1 + + n n n ; n 0 x x J(x) = C0 + C 1 + C1 (Cn + Cn ) + (n + n ) + + ; (n + n ) 0 x xn

Donc quand x crot indniment, on aura :

J(x) + J (x) = (C0 + C0 ) +

 la multiplication des deux fonctions J et J :

JJ = C0 C0 + C 0 C n + + C n C 0 C 0 n + C 0 n C0 C1 + C1 C0 + + + x xn xn C1 (Cn + n ) + C3 Cn1 + + (Cn + n )C1 (Cn + n )(Cn + n ) + + + n+1 x x2n

Ou
JJ = C0 C0 +

C0 C0 + C1 C0 C0 Cn + + Cn C0 + + + n x xn x

avec 0 quand x croit indniment.

Donc on peut multiplier deux sries asymptotiques.

 La division de deux sries asymptotiques : Soit :
1 = J(x) C0 1 + 1
C1 C0 x

C2 C 0 x2

le premier terme de la srie diviseur non nul (C0 = 0) Et on pose :

(x) =

C2 C1 + + ; C0 x C0 x 2

La srie converge pour < 1

1 1 = [1 + 2 3 + ] J(x) C0

13

 L'intgration d'une srie asymptotique : Soit :

J(x) = C0 +

et on aura de mme :

C1 C2 Cm + 2 + + m + x x x

J(x) C0
x

C2 C3 C1 Cm dx = + 2 + + + + x x 2x (m 1)xm1 C1 C2 C m + m + 2 + + m

on peut crire :
J( ) = C0 +

On fait passer les termes C0 et C1 vers la gauche an de ne pas introduire des intgrales x dpourvues de sens. En intgrant, on obtient :
X

J( ) C0
x

C1 d =

X x

C2 Cm + + m 2

d +
x

m d ; m 0 quand + m

Donc quand X croit indniment on a :

J( ) C0
x

C2 C3 Cm m C1 d = 2 + 2 + + + m1 ; m 0 quand x + m1 2x (m 1)x x
x

m < m m
[x,+[

d m

avec donc
x

= max (m )

m |m | m 1 d = m1 < m1 m x m1 x m = m avec || < 1; m1 J( ) C0 C1 d admet le dveloppement asymptotique

et on pose : donc m 0 alors l'intgrale qu'on a dj indiqu.

x

I =
x

J( ) C0

=
x0

C1 d C1 J( ) C0 d

J( ) C0
x0

C1 d

Qu'on peut crire sous forme :

I =C
x

J( )d C0 (x x0 ) C1 log
x0

x x0

14

d'o :
x x0

J( )d = C0 (x x0 ) C1 log

x +CI x0 C2 1 C3 = C0 x C1 log(x) + G 2 x 2 x

Ce qui montre bien qu'on peut intgrer une srie asymptotique. On dterminera G en donnant x une valeur particulire. Le dveloppement asymptotique ne commence pas ici par une constante, mais par deux termes qui augmentent indniment avec x
C0 x C1 log(x)
Conclusion :

Gnralisation de M. Poincar : On dit qu'on a asymptotiquement :

(x) = f (x) + g(x) C0 + C1 C2 + 2 + x x

i.e :

C1 C2 (x) f (x) = C0 + + 2 + g(x) x x

2.4 Exemple :
2.4.1 Premier exemple
considrons la fonction :
f (x) =
x

1 xt e dt t
x

Des intgrations par partie rptes nous permettent de transformer cette expression en :
f (x) = 1 1 1 (1)n1 (n 1)! 2 + 3 + + + (1)n n! x x x xn ext dt tn+1

ceci nous laisse supposer que la srie

1 1 1 1 2 + 3 4 + x x x x

pourrait reprsenter le dveloppement asymptotique de f . Pour le prouver, formons

f (x) Sn+1 = (1)n n!

x

ext dt tn+1

15

Dans l'intgrale, l'exponentielle est comprise entre 0 et 1, d'o la majoration

|f (x) Sn+1 | < n!

x

dt = (n 1)! n+1

1 xn

une quantit qui tend videment vers zro lorsque x crot, n constant. On crit souvent :
x

1 xt 1 1 1 e 2 + 3 . t x x x

2.4.2

Dveloppement asymptotique de la fonction d'erreur

2 erf (z) =
z 0

soit la fonction d'erreur :

et dt

Or si on suppose z rel positif, en intgrant plusieurs fois par parties l'intgrale :

I(z) =
z

ez

2 t2

dt

il vient :
1 1 13 1 3 5 (2n 3) 1 3 5 (2n 1) I(z) = 2 3 + 3 5 + +(1)n1 +(1)n n z 2n1 2z 2 z 2 z 2 2n
z

ez t dt t2n

la majoration :
1 3 5 (2n 1) 2n
z

1 3 5 (2n 1) ez t dt < 2n t 2n+1 z 2n+1

z

implique alors
z

lim z 2n1

1 3 5 (2n 1) 2n
0

ez t dt = 0 t2n

et compte tenu de la relation on obtient nalement :

2 2 erf (z) = 1 ez

t2

dt = 2

1 1 1.3 1.3.5 2 3 + 3 5 4 7 + 2z 2 z 2z 2z

qui est le dveloppement asymptotique cherch.

16

Les mthodes de sommations des sries divergentes

3.1 Sommation par la moyenne

- rpartir une  masse  ( k, n) > 0sur les n + 1 points k = 0, 1, 2, , n - passer la limite quand n +. sous rserve de convergence :
Tn = o,n s0 + 1,n s1 + + n,n sn n i=0 i,n

et S () = limn+ (Tn ) O sn est la somme partielle de la srie sommer .

Exemple :

1- Pour k,n = 1 on aura la moyenne arithmtique, et c'est la mthode de Cesaro Cd : pour la srie 0 (dj dnie au-dessus) on trouve bien S (0 ) = 1 , mais pour la srie 2 1 cela ne marche pas et il faut oprer deux fois. On prend la moyenne des Tn pour obtenir 1 attendu. On peut remarquer que la double mthode de CESARO, consiste 4 prendre des masses k,n direntes. (Lesquelles ?) 2- La transformation d'Euler : (Cette transformation a t introduite pour acclrer la convergence.) Cela consiste prendre des masses avec les coecients binomiaux :
k,n = n k

Au niveau des sries la transformation :

bn =
n

1 2n+1

k=0

n k

ak

k=0

n k

= 2n+1

Applique la srie Harmonique alterne :

(1)n 1 n = 1 n2n

Ce qui eectivement acclre le calcule de ln(2) On peut gnraliser cette mthode des moyennes en utilisant des sries de fonctions.

Exemple Fondamental :  densit de BOREL 

Pour Obtenir la somme S () o = Soit :
an

F (t) =
n=0

sn

tn n!

17

Et si la fonction F est dnie sur R+ alors et bien entendu sous rserve d'existence on prend :
S () = lim et F (t)
t+

Si on applique la srie de LEIBNIZ 0 =

(1)n on trouve encore : 1 2

S (0 ) = lim et F (t) =
t+

3.2 Sommation d'Abel

Si la srie = an est convergente alors :

S() =

lim t1 t<1

an t n
n=0

l'ide : prendre dans certains cas de srie divergente comme dnition de la somme cette limite
S () = lim t1 t<1 an tn
n=0

Sous rserve d'existence.  Application la srie 1 , on obtient :

S (1 ) =

lim t1 t<1

(1)n (n + 1)tn
n=0

1 lim 2 t 1 (1 + t) t<1 1 = 4

 Gnralisation : On pose t = ex alors tn = enx et par consquent on peut remplacer dans cet expression la suite (n)nN par une suite (n )nN de rels positifs strictement croissante tendant vers + ce qui (sous rserve d'existence) nous pousse prendre la fonction :

F (x) =
n=0

an en x

18

sous rserve d'existence, la somme sera dnie par :

S () = lim F (x) x0 x>0

Exemple :

LINDELOF : 0 = 0 et si n 1 n = n ln(n) HARDY : 0 = 0 si n 2 et n = n ln(n) ln (ln(n))

3.3 Sommation au plus petit terme

On prend l'exemple de la srie d'Euler : Soit l'quation d'Euler :
(E) : x2 y (x) + y(x) = x

la srie entire f (x) = (1)n n!xn+1 est une solution de (E) n=0 On peut crire f (x) sous une autre forme :
+

f (x) =
0

e x dt 1+t

On pose :
N

f (x) =
n=0

(1)n n!xn+1 + RN (x) = fN (x) + RN (x)

tel que : limN RN (x) = 0 Par consquent on aura l'encadrement pour tout entier p :
f2p (x) < f (x) < f2p+1 (x)

Cet encadrement ne permet d'obtenir un encadrement arbitrairement prcis de f (x) (ici le terme gnral tend rapidement vers +). Cependant on obtient un encadrement dont la qualit dpend de x. Et il se trouve qu'elle est  exponentiellement bonne  quand x est  petit . la meilleure approximation de f (x) par fn (x) s'obtient quand l'cart
|f2p+1 (x) f2p (x)| = (2p)!x2p

Est le plus petit possible, c'est dire quand le terme gnral de la srie d'Euler (1)n n! est le plus petit possible.

19

Thorie de perturbation

4.1 Introduction
D'un point de vue heuristique, la thorie des perturbations est une mthode mathmatique gnrale qui permet de trouver une solution approche d'une quation mathmatique(E ) dpendante d'un paramtre lorsque la solution de l'quation (E0 ), correspondant la valeur = 0 , est connue exactement. L'quation mathmatique (E ) peut tre une quation algbrique, une quation direntielle, une quation aux valeurs propres, ... La mthode consiste chercher la solution approche de l'quation (E) sous la forme d'un dveloppement en srie des puissances du paramtre , cette solution approche tant suppos tre une approximation d'autant meilleure de la solution exacte, mais inconnue, que la valeur absolue du paramtre est plus  petite . Ds le dbut du XVIIIme sicle, la thorie des perturbations a t utilise par les astronomes pour les besoins de la mcanique cleste : en eet, les quations direntielles dcrivant un systme de N corps en interaction gravitationnelle n'a pas de solution exacte gnrale pour N 3. Cet aspect de la thorie des perturbations a t synthtis la n du XIXme sicle dans les ouvrages classiques de Laplace, Tisserand et Poincar, avant de connaitre de nouveaux dveloppements dans la seconde moiti du XXme sicle avec l'avnement en 1954 de la  thorie KAM , du nom de ses trois concepteurs : Kolmogorov, Arnold et Moser.

4.2 Un premier exemple lmentaire

4.2.1 Position du problme
Considrons titre d'exemple l'quation direntielle du premier ordre suivante :
(E ) : 1 x2 (t) dx(t) + x(t) + = 0 dt L0

Dans cette quation, t reprsente le temps, un paramtre x homogne un temps, L0 un paramtre x homogne une longueur, et le paramtre de perturbation, sans dimensions. On cherche dterminer la fonction x(t) inconnue, homogne une longueur, et vriant la condition initiale : l'instant t = 0, on a : x(0) = X0 .

4.2.2 Thorie des perturbations au premier ordre

Le problme de dpart de la thorie des perturbations est l'quation direntielle (E0 ) correspondant la valeur = 0 :
(E0 ) : 1 dx(t) + x(t) = 0 dt

dont la solution analytique exacte est bien connue :

x0 (t) = A e t/

20

o A est une constante, pour l'instant inconnue. Illustrons la mthode de perturbations en nous limitant pour simplier au premier ordre dans le dveloppement en srie des puissances du paramtre ; on cherche donc la solution approche sous la forme :
x (t) = x0 (t) + x1 (t) + O(2 )

o x1 (t) est une fonction inconnue, dterminer. On injecte cette expression dans l'quation direntielle exacte (E ). En se limitant aux termes du premier ordre inclus et en utilisant le fait que x0 (t) est la solution exacte de (E0 ), on obtient la solution physique approche au premier ordre :
x (t) = X0 1 X0 L0 e t/ +
2 X0 2t/ e + O(2 ) L0

On injecte le dveloppement dans l'quation direntielle exacte (E ). En se limitant au termes du premier ordre inclus et en utilisant le fait que x0 (t) est la solution exacte de (E0 ), on obtient l'quation suivante pour la fonction x1 (t) :
1 dx1 (t) + x1 (t) dt + x2 (t) 0 = 0 L0

Dmonstration

On a omis le terme O(2 ) de reste de Landau pour simplier l'criture. Cette quation se rcrit explicitement :
1 A2 2t/ dx1 (t) + x1 (t) = e dt L0 x1 (t) = B e 2t/

Cette quation direntielle admet une solution analytique exacte de la forme :

o B est une constante, qu'on dtermine en introduisant l'expression de x1 (t) dans l'quation direntielle. On obtient explicitement :
B = A2 L0 = x1 (t) = A2 2t/ e L0

d'o la solution gnrale de (E ) approche au premier ordre.

4.2.3 Comparaison avec la solution exacte

on peut dmontrer ici que l'quation direntielle (E ) vriant la condition initiale : x(0) = X0 admet pour toutes les valeurs du paramtre la solution exacte suivante :
X0 e t/ x (t) = 0 1 + X0 ( 1 e t/ ) L

21

Un dveloppement limit de cette expression au premier ordre en donne explicitement la solution approche dtermine au paragraphe prcdent par la thorie des perturbations au premier ordre :
x (t) = X0 1 X0 L0 e t/ +
2 X0 2t/ e + O(2 ) L0

Pour visualiser l'cart entre la solution approche et la solution exacte, on trace ci-dessous les graphes des deux fonctions pour une srie de valeurs de allant de 0.1 0.5, en prenant :
X0 = L0 = 1m , = 1s

en bleu, la solution exacte. en rouge, la solution approche au premier ordre.

22

Deuxime partie

Partie physique
5 Prsentation du problme

Le "problme N corps" consiste dterminer le mouvement de N masses sous l'eet des forces d'attraction gravitationnelles entre elles. Pour N=2, Newton savait dj que les deux corps dcrivent des ellipses autour de leur centre de gravit commun. Pour N=3, Poincar avait dcouvert que les trajectoires des corps pouvaient tre "chaotiques" : une toute petite dirence dans les positions et vitesses initiales des corps pouvait causer de trs importantes dirences dans la trajectoire des corps. Pour plus de 3 corps, il n'est pas possible de dmontrer la stabilit d'un systme avec quelques corps, comme le Systme Solaire par exemple. Rien ne prouve que les plantes suivront toujours leurs orbites actuelles dans quelques centaines de millions d'annes.

Comme on connait avec une trs grande prcision la position, la vitesse et la masse des plantes et de leurs principaux satellites, on estime que l'on peut calculer leur position dans 5 millions d'annes 150m prs. Pour arriver cette prcision, mais aussi tout simplement pour raliser une simulation raliste, il faut tout particulirement veiller l'intgration utilise, pour garantir la conservation de l'nergie totale du systme. Selon cette tude, la mthode de Gauss-Hermite donne les meilleurs rsultats. D'autre part, pour chacun des N corps, il faut calculer les N-1 forces exerces par les autres corps. Au total, il faudra calculer N.(N 1) forces (le /2 vient du fait qu'il sut de ne 2 calculer qu'une fois la force entre deux corps FAB = FBA . On dit que la complexit est O(N 2 ) : il faut eectuer un nombre d'oprations proportionnel au carr de N. Pour quelques dizaines de corps, a ne pose aucun problme, mais si l'on veut simuler des galaxies ou mme la collision de galaxies avec N=1.000.000, on se retrouve avec mille milliards de forces valuer, ce qui ncessite beaucoup de temps de calcul. On pourrait se dire qu'une petite toile un bout de la galaxie n'attire pratiquement pas une autre petite toile trs distante, mais ngliger cette force n'est pas une bonne ide. D'une part, l'nergie totale du systme ne serait plus conserve, et d'autre part il faudrait trouver un critre permettant de savoir quelles forces sont ngligeables, sans les calculer. 23

En dehors de quelques cas rarissimes o une solution exacte est connue, il faut en gnral recourir des mthodes de rsolutions approches. Deux approches sont utilises :  la thorie des perturbations, qui permet de faire des calculs analytiques approchs sous la forme de dveloppements en srie ;  Dans l'analyse numrique, le problme de la simulation de N corps devrait tre thoriquement d'ordre N 2 , car toutes les interactions de corps deux deux devraient tre considres a priori ; des considrations de dcoupage spatial rcursif ( Simulation de Barnes-Hut) permettent cependant d'arriver de trs correctes approximations en un temps de l'ordre de N. log N seulement. Barnes et Hut ont propos en 1986 un algorithme dont la complexit est O(N.logN ) . Pour N = 1.000.000, il n'y a environ que 20.000.000 de forces valuer, ce qui rend le calcul possible. L'algorithme consiste diviser l'espace en une structure arborescente appele octree et y rpartir les corps. On ne calcule les forces qu'entre les corps situ dans la mme zone de l'octree, puis l'algorithme calcule les interactions entre les zones. Reste une dicult : en se dplaant, les corps changent de zone, et l'algorithme ncessite d'adapter l'octree la distribution des corps. Ds 1987, Leslie Greengard a dvelopp un algorithme baptis "Fast Multipole Method" (FMM), dont la complexit est O(N ) seulement, et qui ne ncessite pas d'adaptation de la division de l'espace utilise. Il est assez facile d'illustrer cette mthode en 2D, mais en 3D l'interaction entre zones est beaucoup plus complexe. La F M M est considre par certains comme l'un des algorithmes les plus importants du XX me sicle, car il peut tre appliqu des problmes beaucoup plus gnraux que les N corps, comme certains problmes de mcanique ou de simulation.
6 Cas du problme 2 corps

6.1 Rappel des lois de Kepler

les lois de Kepler nonces dans le cadre du problme des 2 corps M1 et M2 :  1re loi de Kepler : les 2 corps dcrivent des ellipses dont l'un des foyer est leur centre de masse C .  2me loi de Kepler ou loi des aires : le rayon vecteur qui joint le centre d'un corps au centre de masse C balaie des aires gales en des temps gaux  3me loi de Kepler : le carr de la dure de rvolution Tr est proportionnel au cube du 3 demi-grand axe a avec a = a1 + a2 , soit Tr = 2 2 a o = 1 + 2 = Gm1 + Gm2 , 1 et 2 tant les coecients gravitationnels respectifs des corps M1 et M2 .

6.2 Le principe
Soient deux points M1 = (x1 , y1 , z1 )et M2 = (x2 , y2 , z2 ) de masses respectives m1 et m2 . Ces deux particules matrielles s'attirent selon la loi de Newton : 24

 d2 OM1 m1 m2 M2 M1 m1 = K 2 dt2 r r d2 OM2 m1 m2 M1 M2 = K 2 dt2 r r

m2

o r = M1 M2 est la distance mutuelle et K la constante de gravitation universelle. On a maintenant un systme direntiel d'ordre 2 avec 6 degrs de libert(3 translation et 3 rotation). La rsolution de ce problme d'ordre 12 ncessite donc d'introduire 12 constantes d'intgration arbitraires.
= 0 . En introduisant le En ajoutant les deux quations,on obtient point G centre de gravit de M1 et M2 ,avec m1 + m2 = 0 , on obtient : d2 OG = 0 2 dt
d2 (m1 OM1 +m2 OM2 ) dt2

Le mouvement de G est donc rectiligne et uniforme. Sur les 12 constantes arbitraires, 6 dnissent ce mouvement (3 pour la position initiale de G, et 3 sa vitesse). Le point R du repre peut ainsi tre pris en G. En utilisant M2 M1 = m1+m2 GM1 et m2 m1+m2 M1 M2 = m1 GM2 , on a :
m2 3 GM1 d2 GM1 = K dt2 (m1 + m2 )2 (GM1 )3 d2 GM2 m1 3 GM2 = K dt2 (m1 + m2 )2 (GM2 )3

Il n'est ncessaire de rsoudre que l'une ou l'autre des deux quations car, par exemple, 1 le mouvement de M2 se dduit de celui de M1 par GM2 = m2 GM1 . m le problme des 2-corps est quivalent 2 problmes de 1-corps o le centre attractif m3 i serait G dont la masse M = (m1+m2)2 pour i = 1, 2. Le point G n'est pas un point physique dans le sens o il ne s'observe pas mais se calcule. C'est le mouvement relatif de M1 autour de M2 qui est observ ,on aura d'aprs ce qui prcde :
d2 M2 M1 M2 M1 = K(m1 + m2 ) dt2 (M2 M1 )3

m1 et m2 doit tre non nulle.

25

On dit qu'on a "jet"la plante dans le soleil si M1 est une plante et si M2 est le soleil ;on suppose que le soleil est xe de masse(m1 + m2 )et que la plante est de masse nulle ou plutt ngligeable puisqu'on a comme conditions m1 = 0et m2 = 0.Par consquent on est ramen au problme de 1-corps.

Le problme kplrien :
Quand on a :
d2 r dt2

r = r3 O = OM et > 0 r = r SA = KMs

Problme de 1 corps :

o : S :soleil de masse MS . S : astrode de masse ngligeable.

Problme des 2 corps :

= r GP 3 KMs = (MS + m)2 = r SP m + 1)KMS = K(MS + m) = ( MS

OU

Les deux intgrales fondamentales du mouvement en mcanique cleste :


Invariance de moment cintique :

2 On a la relation suivante qui est vraie pour toute force centrale : ddtr = 0 , r 2

en drivant, on obtient :

2 d( d dtr ) r = 0 dt r d = (cste) r G dt

i.e :

Les vecteurs et f racddt seront donc toujours orthogonaux G . Ce qui signie r r que, si G = 0 ,le mouvement se fait dans le plan passant par O et orthogonal G .
intgrale de l'nergie est :

Si h est ngatif alors r est born et le corps ne peut s'loigner l'inni. Inversement, si on suppose que le corps peut s'loigner l'inni (c'est dire si r , et dans ce cas h doit tre positif) alors 2h reprsente la vitesse l'inni.

1 2 v 2

= h (cte)

26

Cas du problme trois corps

7.1 Un peu d'histoire

C'est la n du XIX me sicle que le mathmaticien franais Henri Poincar (ci-contre) mit n un mythe acquis depuis Newton : celui d'un univers rgl et dterministe. Selon lui, la trajectoire des corps du systme solaire est instable et imprvisible sur une grande chelle de temps. La connaissance du prsent et des lois de Newton ne permet donc pas de prdire le futur ou de reconstruire le pass. Newton avait en eet nonc des lois dcrivant l'action de la force de gravitation sur les astres. Ces lois s'appliquent parfaitement dans le cas simple de 2 corps qui interagissent, et il est possible de connaitre leur trajectoire en fonction du temps. En revanche, lorsque l'on veut considrer le systme solaire, les quations se compliquent car nous devons prendre en compte 10 corps en interactions mutuelles (Le Soleil et les 9 plantes principales). Auparavant, les astronomes avaient essay de calculer des trajectoires se rapprochant de l'orbite exacte. Ce sont Laplace et Lagrange (ci-contre) qui les premiers ont fait avancer le problme, en ignorant dans un premier temps l'interaction des plantes entre elles et en ne considrant que le mouvement d'une plante isole autour du Soleil, ils taient parvenus obtenir une description assez dle des mouvements du systme solaire. En suivant cette dmarche, Poincar essaya de trouver une solution la plus proche possible de la solution exacte du problme des 3 corps en tudiant le problme 3 corps restreint, qui est une version "simplie" du strict problme trois corps. Les travaux de Poincar l'ont d'abord amen considrer 3 corps : les quations de Newton appliques ces trois corps conduisent une quation direntielle impossible rsoudre. En eet, il manque des intgrales premires, c'est dire des fonctions gardant une valeur constante le long de chaque trajectoire, et la seule connaissance de l'nergie, de la Quantit de mouvement, et du Moment cintique ne susent pas pour rsoudre l'quation : le problme n'a pas de solution exacte.

7.2 La thorie
7.2.1 Le problme 3 corps restreint
Le problme 3 corps restreint est donc une simplication du problme 3 corps, on nglige maintenant la masse de l'un des trois corps par rapport celle des deux autres astres. Ainsi, on suppose que le mouvement du petit corps (que l'on appellera "corps d'preuve", ou bien "troisime corps") n'aecte pas le mouvement des deux autres : les deux corps massifs voluent on aura alors un systme 2 corps. Les trajectoires de ces deux corps, de masse respective m1 et m2 (m1 > m2 ) sont donc circulaires autour de leur centre de gravit O, avec une vitesse angulaire constante.

27

soi L la distance entre M1 et M2 , et leur vitesse angulaire, avec = .t (t le temps). La loi des aires de Kepler permet d'crire : L3 2 = G(m1 + m2 ) Le troisime corps de petite masse est lui soumis au champ gravitationnel form par les deux autres. Nous calculons le Lagrangien puis l'Hamiltonien qui lui est associ : aprs d-dimensionnement du problme et passage dans le rfrentiel tournant (centr en O) par une transformation canonique, nous aboutissons l'Hamiltonien suivant :
H = p1 q1 + p2 q2 L = 1/2(p2 + p2 ) 1 2 1 + R1 R2

q1 et q2 sont les positions du troisime corps dans le rfrentiel tournant : q1 = x/L et q2 = y/L, p1 et p2 sont les moments conjugus correspondants R1 et R2 dsignent les distances respectives du corps d'preuve aux masses M1 et M2 est la masse rduite telle que : = m2 /(m1 + m2 ) Dans le rfrentiel tournant, M1 et M2 sont xes sur l'axe (Ox). La dure d'une rvolution est t = 2 .

7.2.2 Les points de Lagrange

A partir des quations du mouvement dduites du Hamiltonien, nous pouvons rechercher les points xes de ce systme, c'est dire les points o les forces engendres par les deux astres principaux s'quilibrent. Il en existe cinq, baptiss points de Lagrange, en l'honneur du mathmaticien franais Louis Lagrange. Les 3 premiers points L1 , L2 et L3 , situs sur l'axe passant par M1 et M2 , sont instables : un corps (sonde, satellite) plac sans vitesse initiale proximit de ces points aurait tendance

28

 s'en loigner. Leurs coordonnes sont les suivantes (Avec R :distance (M1 M2 )) :
L1 : R 1 3
1/3

,0

Exemple :

On considre un objet orbitant autour du Soleil, plus prs de celui-ci que la Terre mais sur une mme ligne. Cet objet subit une gravit solaire suprieure celle de la Terre, et tourne donc plus rapidement autour du Soleil que ne le fait la Terre. Mais la gravit terrestre contrecarre en partie celle du Soleil, ce qui le ralentit. Plus on rapproche l'objet de la Terre, plus cet eet est important. A un certain point, le point L1, la vitesse angulaire de l'objet devient exactement gale celle de la Terre.
L2 : R 1 3
1/3

,0

Exemple :

Le principe est similaire au cas prcdent, de l'autre ct de la Terre. L'objet devrait tourner moins vite que la Terre parce que la gravit solaire y est moindre, mais le champ gravitationnel supplmentaire d la Terre tend l'acclrer. Au point L2 , l'objet tourne exactement la mme vitesse que la Terre autour du Soleil.
L3 : R 1 + 5 12 ,0

De manire identique au point L2 , il existe un point situ un peu plus loin que l'oppos de la Terre par rapport au Soleil, o un objet de masse ngligeable serait en quilibre. Les 2 autres points L4 et L5 sont stables pour < 0, 038520897 Dans un tel cas, un corps plac sans vitesse initiale proximit de ces points serait attir par ces points et dcrirait un mouvement de libration autour d'eux. Les coordonnes deL4 et L5 dans le repre tournant sont les suivantes :
L4 : R 2 R 2 M1 M2 M1 + M2 M1 M2 M1 + M2 2 , 3R 2

Exemple :

L5 :

2 3R , 2

Exemple :

L4 est en avance sur la plus petite des masses, dans son orbite autour de la grande, et L5 est en retard. Ces points sont parfois appels points de Lagrange triangulaires ou points Troyens.

29

Fait remarquable, ces deux derniers points ne dpendent en rien des masses relatives des deux autres corps. Voici une reprsentation de l'emplacement des cinq points de Lagrange dans le repre tournant, pour une valeur de mu donne :

Ces points prsentent un grand intrt pour les missions scientiques qui ncessitent de se stabiliser autour d'un point d'observation xe dans le repre tournant. En plaant une sonde sur l'un de ces points, on minimise la consommation de carburant pour la stabiliser, ce qui permet d'accroitre la dure de vie de la mission. En outre, ces points prsentent plusieurs avantages par rapport des orbites terrestres classiques : Il sont plus loigns de la Terre (moins de perturbations dues l'environnement terrestre), peuvent prsenter des "points de vue" privilgis : vers le Soleil (pas d'clipse, observation continue possible depuis L1 ), ou bien dans la direction oppose au systme Soleil-Terre (cas de L2 ). Ainsi, le satellite d'observation solaire SOHO, plac autour du point L1 , ralise un survey continu du Soleil depuis 1996. Le point L2 quand lui devrait accueillir les futures missions MAP, PLANCK et NGST entre autre. Les points L4 et L5 du systme Soleil-Terre n'ont pas pour l'instant de projet d'instrument scientique associ ; en revanche, les points L4 et L5 du systme TerreLune ont connu des projets (non raliss) d'installation d'instruments. Ces points intressent en outre les plantologues puisqu'il est dmontr que de nombreux astrodes sont plac aux points L4 et L5 de nombreux astres du systme solaire. Pour les trois premiers points de Lagrange, la stabilit n'apparat que dans le plan perpendiculaire la ligne occupe par les deux masses. Par exemple, pour le point L1 , si on dplace un objet perpendiculairement la ligne entre les deux masses, les deux forces gravitationnelles vont jouer pour le ramener vers la position initiale. L'quilibre est stable. En revanche, si on le dplace vers une des deux masses, alors le champ de celle-ci va l'emporter sur l'autre et l'objet tendra se rapprocher encore plus. 30

Stabilit

L'quilibre est instable. Pour les points L4 et L5 , la stabilit est obtenue grce aux forces de Coriolis qui agissent sur les objets s'loignant du point.
8 Problme des N-corps

8.1 Les donnes

L'tude du mouvement de N masses ponctuelles mi repres par des points Pi et animes sous l'eet de leur attraction mutuelle. On peut aussi considrer que cela concerne les interactions gravitationnelles de N solides ayant leur masse rpartie avec une symtrie sphrique : On sait en eet que le champ de gravitation de chaque sphre est alors quivalent celui d'une masse ponctuelle, gale la masse totale de cette sphre et place en son centre. On pose N = n + 1, on numrote ces N corps de 0 n : Ainsi P1 , P2 , Pn auront pour masses respectives m0 , m1 , , mn . Soit un repre galilen Ro d'origine O. Sachant que Les N corps sont isols dans l'espace, alors les quations du mouvement s'crivent :
mk d2 OPk = dt2
k1

i=0

Kmi mk Kmi mk 3 Pk Pi + 3 Pk Pi k = 0, , n |Pk Pi | i=k+1 |Pk Pi |

(1)

Pour N = 2, ces quations s'intgrent, aboutissant au mouvement kplrien des 2 corps. En fait, pour N suprieur ou gal 3, ces quations n'ont pas de solution gnrale. On sait seulement construire certaines solutions particulires, ou des solutions approches, valables sur un intervalle de temps limit.

8.2 Intgrales premires :

Le problme des N corps est reprsent par N quations direntielles du second ordre. Donc c'est un systme d'quations scalaires d'ordre 6N . Montrons qu'il existe 10 intgrales premires scalaires, qui permettraient donc de le rduire un systme d'ordre 6N 10 . On a d'abord 6 intgrales premires qui proviennent du mouvement rectiligne et uniforme de G, centre de masse des N corps. le systme tant suppos isol, la somme de toutes les interactions mutuelles est nulle ; on a donc :
n

Barycentre

mk
k=0

d2 OG d2 OPk =M = 0 dt2 dt2

(2)

31

O M reprsente la masse totale des N corps. On a alors : OG = OG0 + VG t O OG0 et VG sont deux vecteurs constants reprsentant 6 constantes d'intgration scalaires. On pourrait rduire le problme celui de N 1 corps, dterminant le mouvement de P1 , P2 , Pn autour de G et dduisant celui de P0 de la relation :
m0 GP0 =
n

mi GPi

(3)

i=1

Moment cintique

On a ensuite 3 intgrales premires donnes par le thorme du moment dynamique appliqu un systme isol :
d d2 OPk = OPk mk dt2 k=0
n

n k=0 (OPk

mk dOPk ) dt

dt

= 0

Le moment cintique en O du systme des N corps est donc un vecteur constant. Le repre d'origine G en translation par rapport Ro tant aussi galilen, le moment cintique en G est aussi constant :
C = dGPk GPk mk dt k=0
n

(4)

Le plan orthogonal en G au vecteur C est appel plan invariable du systme des N corps. C'est dans ce plan xe que s'eectueraient le mouvement de tous les Pk si l'instant initial

les vecteurs positions GPk et vitesse et dGPk taient coplanaires, C tant alors orthogonal dt ce plan commun.

nergie

On a enn l'intgrale premire de l'nergie cintique :

1d dT = dt 2 dt d2 OPk dOPk mk = dt2 dt k=0
n n n

k=0

i=0 i=k
n

Kmi mk dOPk Pk Pi dt |Pk Pi |3 dOPk dOPi dt dt

Kmi mk = 3 Pk Pi k=0 i=k+1 |Pk Pi |

n1

avec

d(OPk OPi ) dt

k = d(PdtPi ) , on en dduit : d dt
n

k=0

1 mk 2

dOPk dt

d dt

n1

Kmi mk k=0 i=k+1 |Pk Pi |

(5)

32

soit, en notant T l'nergie cintique des N corps et U leur nergie potentielle : T + U = h avec :

U =

n1 k=0

n Kmi mk i=k+1 |Pk Pi |

La constante h : l'nergie totale du systme, qui est conserve au cours du temps. En tenant compte des constantes C et h, on pourrait rduire encore l'ordre du systme direntiel de 4 units (en exprimant 4 des variables de position ou de vitesse en fonction de ces 4 constantes scalaires). En fait on explicite rarement cette rduction d'ordre car cela dtruit les symtries prsentes initialement dans les quations. Remarque : Si l'on ne peut rsoudre analytiquement le problme des N corps, on peut toujours au moins, par l'intgration numrique, trouver une solution particulire discrte correspondant des conditions initiales donnes, et valable sur un intervalle de temps ni ; les intgrales premires peuvent alors servir pour contrler l'volution des erreurs numriques(de troncature et d'arrondi) qui se propagent lors des "pas" successifs de l'intgration : Les expressions (4) et l'encadr notamment doivent conserver une valeur constante tout le long de L'intgration numrique.

8.3 Rduction un problme de N 1 corps

On a dj voqu la possibilit de cette rduction, aprs avoir obtenu le mouvement rectiligne et uniforme du point G, centre de masse des N corps. En posant = GPk , la uk relation (3) devient :
n

= 0 u
k=1

mk uk m0

(6)

Comme le systme est isol, un repre en translation d'origine G est galilen, et l'on peut crire les quations(1) pour k = 1 n sous la forme :
0 u uk d2 uk = Km0 3 + 0 | 2 dt |u uk
n

i=1 i=k

i u uk Kmi 3 i | |u uk

(7)

On pourrait alors, dans le premier terme, remplacer u0 par son expression. Cependant, les n quations qu'on obtiendrait ainsi sont toutes moins simples que les quations initiales. On prfre le plus souvent tudier le mouvement relatif des points Pk par rapport l'un d'entre eux,d'autant plus que les seconds membres des quations initiales (1) ou (7) ne dpendent que des positions relatives des Pk . Choisissons P0 comme corps de rfrence et posons :
= 0 Pk = rk P uk u0

33

i avec Pk Pi = = ,on dduit alors des equations (8) : u uk i r rk 0 rk d2 uk u d2 d2 = = dt2 dt2 dt2
n

i=0 (i=k)

i r rk Kmi 3 i | |r rk

i=1

i r r0 Kmi 3 i | |r r0

Ces quations dcrivent le mouvement des Pk dans un repre de directions xes et d'origine P0 (ce repre est en translation non rectiligne et non uniforme, ce qui justie les termes i i en Kmi ||3 reprsentant l'acclration d'entranement de P0 due la prsence de Pi). r r Le choix de P0 comme rfrence pour le mouvement des Pk est arbitraire, mais on prend gnralement le corps ayant la masse la plus leve. en supposant qu'on puisse rsoudre ces n quations direntielles, on pourrait obtenir 0 0 ensuite le mouvement absolu des Pk autour de G,puisqu'on a = + et m0 = uk rk u u n ,dont en dduit : k=1 mk uk
= 0 u
n mk k=1 M rk

avec M =

n k=0

mk puis : = uk rk

n mi i=1 M ri

8.4 Potentiel
Les quations du mouvement des N corps peuvent s'crire l'aide de l'nergie potentiel U . En eet, en O = G on vrie que :
d2 GPk = Gradk U mk 2 dt

avec k = 0, , n En coordonnes cartsiennes, l'oprateur gradient de U au point Pk s'exprime

U U U Gradk U = ( , , ) xk yk zk

Les xk , yk et zk dsignent les coordonnes cartsiennes de Pk , ou ce qui est quivalent, les coordonnes cartsiennes de GPk L'avantage de cette expression est qu'elle utilise qu'une seule fonction (le potentiel U ) pour toutes les quations mme si, pour une quation d'indice k donn, seuls n termes parmi les n(n+1) qui dnissent la somme, interviennent dans le calcul 2 du gradient. Dans les quations du mouvement relatif, on peut aussi crire le second membre l'aide d'un gradient. On dnit l'oprateur gradient :
= rk , , Xk Yk Zk

Les Xk , Yk et Zk dsignent les coordonnes de . Les quations deviennent alors : rk d2 rk rk Vk = K(m0 + mk ) 3 + | 2 dt | rk rk

34

avec
Vk =

Kmi i=1 i=k

. i r rk 1 3 | i |r rk ri

8.5 Approches du problme des N-corps

Le problme des N-corps consiste trouver le mouvement de N points matriels qui s'attirent mutuellement suivant la loi de Newton. Nous l'avons formul dans le chapitre prcdent.  Si N=1 ou 2, on aboutit au problme kplrien qui est compltement intgrable.  Si N=3, il s'agit du problme des 3 corps dont Poincar disait qu'il .a une telle importance pour l'astronomie, et il est en mme temps si dicile, que tous les eorts des gomtres ont t depuis longtemps dirigs de ce ct. Une intgration complte et rigoureuse tant manifestement impossible, c'est aux procds d'approximation que l'on a d faire appel. (H. Poincar, .Les mthodes nouvelles de la Mcanique Cleste., 1892). C'est en eet lui qui a montr que ce problme n'est pas intgrable dans sa gnralit en ce sens qu'il n'existe pas d'intgrale premire du mouvement analytique et uniforme autre que celle de l'nergie et celle du moment cintique.  Si N est petit (disons de l'ordre de 10), on parle de Mcanique Cleste et les mmthodes sont identiques celles utilises dans le problme des 3 corps. .  Si N est grand (disons entre 103 et 1012), il s'agit de dynamique stellaire. Dans ce cas, N varie de quelques centaines pour des amas ouverts quelques centaines de milliers pour des amas globulaires jusqu' quelques centaines de milliards pour des galaxies. Le cas des anneaux plantaires peut tre vu comme intermdiaire ces deux derniers cas : La dynamique d'une particule autour d'une plante subissant son attraction gravitationnelle en mme temps que celles de quelques autres corps (satellites principaux, satellites bergers, ...) relve des mthodes de la mcanique cleste ; par contre l'eet collectif de toutes les particules des anneaux s'apparente la dynamique stellaire. Quatre approches sont utilises pour tudier ce type de systme : 1 l'approche analytique. 2 l'approche numrique : on rsout numriquement l'quation direntielle correspondante. 3 l'approche statistique : on considre le systme stellaire comme un uide d'toiles, le systme est dcrit par une fonction de distribution. 4 l'approche observationelle . On consacre cette partie l'tude des approches numrique et statistique,mais avant cela on va introduire la notion de sphre d'inuence qui nous est utile plusieurs endroits dans notre TIPE.

35

8.5.1 Sphre d'inuence

SOit = P0 Pk rk on a :

rk d2 rk = K(m0 + mk ) 3 + | 2 dt | rk

Kmi i=1 i=k

i i r r rk 3 |3 |i | i |r rk r

on reprend cette equation avec n = 2 et K = 1, 2 les equation obtenues sont donc une formulation du problme des 3 corps. Si par exemple m2 est ngligeable (exemple : Soleil+Jupiter+astrode), la premire quation est un problme kplrien et seule la deuxime quation mrite une tude particulire : C'est le problme restreint des 3 corps qu'on vient de voir. An de faciliter la discussion et surtout parceque nous nous intressons au cas du systme solaire, nous allons supposer dans la suite que m0 >> m1 et quem0 >> m2 . En xant les ides, P0 est le Soleil, P1 une plante (par exemple, la plus massive des plantes du systme solaire : Jupiter) et P2 un autre corps. Pour l'instant P2 peut tre une plante de masse du mme ordre de grandeur que celle de P1 ou un corps de masse ngligeable (ex : une sonde spatiale). vecteur jovicentrique du troisime corps P2 ,et on rappelle que :
= 2 P1 r1 P La gomtrie des 3 corps P0 , P1 et P2 On note : = = 1 P2 :Le rayon r2 r1 P

le rayon vecteur hliocentrique de Jupiter.

= 2 P1 r1 P

le rayon vecteur hliocentrique du troisime corps P2 . On aura : Le mouvement hliocentrique de P2 se rcrit :

d2 r2 r2 = K(m0 + m2 ) 3 Km1 | 2 dt | r2

d2 = K(m1 + m2 ) + Km0 3 dt2 | |

r1 r2 3 |3 | | | r1 r2 r1 3 + ||3 r1 | |

()

Les deux formes obtenues permettent de sparer,dans l'acclration de P2 , la partie kplrienne de la partie non kplrienne. La notion de sphre d'inuence que nous allons dnir permet de voir quand la partie kplrienne peut tre considre comme une perturbation

36

d'un problme kplrien. Plus prcisment, cette notion permet de dire quelle condition et quelle prcision, les deux derniers quations peuvent tre approches par :
r2 d2 r2 = K(m0 + m2 ) 3 | dt2 | r2

ou par :

d2 = K(m1 + m2 ) 3 2 dt | |

 Cas d'un mouvement hliocentrique l'quation peut tre vue comme un mouvement kplrien perturb quand on a :
r2 d2 r2 = K(m0 + m2 ) 3 + P erturbation | dt2 | r2

Comme m1 << m0 ; cela se produit que si n'est pas trop petit. On se demande alors quelle distance de P1 peut passer P2 pour que le rapport Rh en module de la partie perturbatrice sur la partie kplrienne soit infrieur un niveau de prcision donn :
Rh = m1 1 || 3 + r3 || r
1

m0 +m2 2 r2

<

Soit l'angle jovicentrique de la direction de P2 par rapport celle du Soleil, et posons u = r1 . Par des calculs de gomtrie lmentaire, on trouve :
Rh = m1 (1 2u cos + u2 ) 1 2u2 cos + u4 (m0 + m2 )u

Puisque P2 se rapproche de P1 (et puisque m1 << m0 ), on considre u petit devant m1 1,et on assimile Rh sa partie principale (m0 +m2 )u2 . Par consquent la condition est
m1 < u2 (m0 + m2 )

 cas d'un mouvement plantocentrique On aura un mouvement kplrien perturb quand :

d2 = K(m1 + m2 ) 3 + P erturbation dt2 On se demande alors quelle distance de P1 peut s'loigner de P2 pour que le rapport Rp en module de la partie perturbatrice sur la partie kplrienne soit infrieur un niveau de prcision donn 1 2 ||m0 ( r3 r3 )|| r1 r2 Rp = < m1 +m2
2

37

Avec les mmes notations que prcdemment, on trouve :

u2 m0 Rp = m1 + m2 1 + (1 2u cos + u2 ) 2(1 u cos ) 1 2u cos + u2 1 2u cos + u2

dont la partie principale est

Rp = m0 u3 m1 + m2 1 + 3 cos2

Donc la condition ncessaire est

u3 < m1 + m2 m0

 La sphere Les deux conditions que nous avons vu au dessus dnissent chacune une sphre de rayon respectif :
uh = m1 (m0 + m2) (m1 + m2) m0
1 2

et
up =

1 3

A l'extrieur de la sphre dnie par uh , prs, l'acclration est kplrienne hliocentrique. Tandis qu' l'intrieur de la sphre dnie par up, l'acclration, toujours prs,est kplrienne jovicentrique. Il est facile de tracer les courbes correspondantes Rh et Rp en fonction de u. Celles-ci se coupent en un point (u0 ; R0 ). Ce point dnit la sphre d'inuence proprement :
u0 = uh = up = ( m1 2 )5 m0 m1 1 )5 m0

R0 = Rh = Rp = (

Les expressions utilises ici de uh et up ne sont valables que si u est susamment petit. On retrouve bien que c'est le cas sim1 est un ordre de grandeur plus petit que m0 . Pour obtenir ces expressions, on a de plus supposer que m2 << m1 . Si nous n'avions pas fait de majoration sur ; nous aurions obtenu l'expression
u0 = (1 + 3 cos2 ) 10 (
1 1

m1 2 ) m0 5

Or la valeur numrique de (1 + 3 cos2 ) 10 varie entre 0, 87 et 1. Cela signie que la surface correspondante n'est pas trs loigne d'une sphre mais qu'elle est quand mme un peu allonge dans la direction perpendiculaire celle Soleil-Plante. 38

8.5.2 Intgration numrique

On a dj mentionn qu'on ne pouvait pas,en gnral, intgrer le problmes des N-corps. Toutefois, on peut, par intgration numrique, trouver une solution particulire. Il faut pour cela que des conditions initiales soient donnes et la solution est compose d'une srie discrtise de points de la trajectoire sur un intervalle de temps ni. Comme tout calcul numrique, elle est aecte d'erreurs (numriques) qui ici se propagent pas pas lors de l'intgration. Les intgrales premires peuvent alors servir contrler ces erreurs numriques puisqu'elles doivent rester constantes tout au long du calcul.  Le problme de Cauchy Soit [O; T ] un intervalle ferm de et f une application de d dans d . On considre alors le systme direntiel du premier ordre suivant avec une condition initiale :
dy(t) = f (t, y(t)) dt

avec
y(0) = y0

o y est une application direntiable sur [0; T ] dans .

Thorme

Si f est dnie et continue sur[O; T ]

et si L > 0 tel que

||f (t, y) f (t, z)|| <= L||y z||

c'est la condition de Lipschitz. pour touty et z appartenant d et tout t dans [0; T ]. || || dsigne une norme de alors le problme de Cauchy admet, quelque soit y0 , une solution unique sur [0; T ].

On travaille dans l'espace de Banach C1 [0; T ] des fonctions continues sur [0; T ] valeurs dans muni de la norme :
||g|| = maxu[0;T ] |g(u)|

Dmonstration on dmontra cette preuve que dans le cas d = 1.

La solution y du problme de Cauchy vrie, pour tout t dans [0; T ] :

t

y(t) = y0 +
0

f (u, yk (u))du

Existence

On considre la suite (yk ) des fonctions de C [0; T ] dnie par

39

y0 (t) = y0
t

yk+1 (t) = y0 +
0

f (u, yk (u))du

On a
yk+1 (t) yk (t) =
0

(f (u, yk (u)) f (u, yk1 (u)))du

Avec la condition de Lipschitz, on obtient

t

|yk+1 (t) yk (t)| <= L

0

|yk (u) yk1 (u)du|

En passant au max (pour u sur [0; t]) :

|yk+1 (t) yk (t)| <= Lt||yk yk1 ||

Cette ingalit est vraie pour tout t dans [0 ; T]. On peut donc crire :
t

|yk+1 (t) yk (t)| <= L2 ||yk1 yk2 ||

0

udu

la 2eme partie de l'ingalit est gal L2 t2 ||yk1 yk2 || On montre ainsi par rcurrence que
2

|yk+1 (t) yk (t)| <= Ln

tn ||yk+1n ykn || n!

Par consquent ,on obtient

|yk+1 (t) yk (t)| <= = Ln+1 Ln+1 ||ykn yk1n || n!
t

un du
0

tn+1 ||yk+1(n+1) yk(n+1) || (n + 1)!

l'ingalit quand vient de voir au dessus est donc vrai pour tout (n <= k), en particulier pour n = k :
|yk+1 (t) yk (t)| <= Lk tk ||y1 y0 || k!

Cette ingalit est vraie pour tout t dans [0; T ] et en passant encore au max, on obtient :
||yk+1 yk || <= Lk tk ||y1 y0 || k!

40

k i Soit maintenant un entier p >= 1. En remarquant que Ck+i = Ck+i = non nul donc >= 1, on a (k + i)! >= k!i! , et il vient : p1

(k+i)! k!i!

est un entier

||yk+p yk || <=
i=0

||yk+i+1 yk+i || <= Lk

Tk ||y1 y0 || k!

p1

Li
i=0

Ti i!

Et puiseque

p1

Li
i=0

Ti <= expLT i!

qu'il peut tre rendu aussi petit que l'on souhaite, il sut pour cela que k soit assez grand. Cela est vrai pour le premier membre. La suite (yk ) est donc une suite de Cauchy. L'espace C [0; T ]tant complet, il existe une fonction y de C [0; T ] vers laquelle converge (yk ). Par passage la limite cette fonction vrie :
t

Tk ||y1 y0 ||expLT k! Or le second membre de cette ingalit tend vers 0 quand k tend vers 1. Cela signie ||yk+p yk || <= Lk

y(t) = y0 +
0

f (u; y(u))du

Nous avons donc dmontr l'existence de la solution du problme de Cauchy.

Unicit

Supposons qu'il existe une deuxime solution z du problme de Cauchy. On peut crire :
t

y(t) z(t) =
0

(f (u; y(u)) f (u; z(u)))du

On peut reprendre le schma de la dmonstration de l'existence. Avec la condition de Lipschitz, on obtient :

t

|y(t) z(t)| <= L

0

|y(u) z(u)|du

En passant au max (pour u sur [0; t] inclus dans [0; T ]) :

|y(t) z(t)| <= Lt||y(u) z(u)||

Puis en reportant dans l'ingalit prcdente :

t

|y(t) z(t)| <= L2 ||y z||

0

t2 udu = L2 ||y z|| 2

Ainsi on montre encore par rcurrence que :

|y(t) z(t)| <= Ln tn ||y z|| n!

41

Cette ingalit est vraie pour tout t dans [0; T ] et en passant au max, on obtient :
||y z|| <= Ln tn ||y z|| n! tn ) <= 0 n!

ou encore :
||y z||(1 Ln

En faisant tendre n vers , on obtient que

||y z|| <= 0

Ce qui signie que y et z sont la mme solution et donc que la solution est unique.
Remarque

 Si la fonction f est direntiable par rapport la variable y .  Si cette direntielle est continue.  Si il existe M tel que || f || <= M , pour tout t dans [0; T ] et tout y dans y condition de Lipschitz est vrie. En eet, on sait qu'il existe yi tel que
f (t; y) f (t; z) = f (t, yi ) (y z) y

alors la

 Recherche d'une solution discrte approche Il s'agit de rechercher, en certain points tn de [0; T ], une approximation yn de la solution exacte y(tn ) . Dans cette section nous allons nous limiter aux mthodes pas constants et spars. Elles s'crivent sous la forme :
yn+1 = yn + h(tn ; yn ; h)

pour tout t dans [0; T ] et tout y et z dans d . Ainsi les conditions nonces ci-dessus susent pour pouvoir dire que le problme de Cauchy admet une solution unique.

en dmarrant avec la condition initiale :

y0 = y(0)

Les tn sont dnis par t0 = 0 et tn+1 = tn + h ie tn = nh est une application continue sur le compact [0; T ] d [0; T ] valeurs dans d Cette application caractrise la mthode d'intgration. Nous supposerons encore dans ce paragraphe que d = 1, ceci par souci de simplicit d'criture. La gnralisation d > 1 ne pose pas de problme.  La mthode d'Euler La mthode d'Euler consiste simplement prendre
(tn , yn , h) = f (t n; yn )

42

En eet, on sait que

y(t + h) y(t) dy (t) = lim dt h dy y(t + h) y(t) (t) dt h

La mthode d'Euler consiste donc identier

f (t, y(t)) =

aux points (tn ; yn )

On voit apparatre deux sortes d'erreur :  l'une due au fait qu' chaque pas dy (t) = y(t+h)y(t) dt h  l'autre qui se cumule, vient qu'on value y(tn+1 ) partir de yn et non partir de y(tn ) (dans le schma, n = 1) Ces erreurs sont d'autant plus petites que h est petit. C'est l'objet des sections suivantes de les tudier. La mthode d'Euler est la plus simple et la plus intuitive des mthodes d'intgration.  Consistance, stabilit et convergence Ces notions que nous allons introduire ici ne seront utilises ici que pour la mthode d'Euler mais elles s'appliquent bien-sur aux autres mthodes d'intgration numrique. Cette notion indique que la mthode d'intgration doit tre lie l'quation direntielle intgrer. On dit que la mthode d'intgration
yn+1 = yn + h(tn ; yn ; h)

Consistance

est consistante avec l'quation direntielle

dy(t) = f (t, y(t)) dt

,avec
y(0) = y0

si :
h0
Thorme

lim maxn |

(y(tn+1 ) y(tn )) (tn , y(tn ), h)| = 0 h

La mthode d'Euler est consistante 43

Preuve

On a :

(y(tn+1 ) y(tn )) f (tn , y(tn )) = h

tn+1 (f (t, y(t)) tn

f (tn , y(tn )))dt h

(On a tn+1 tn = h) On utilise la continuit uniforme de f sur (t, y(t)); t [0, T ] Avec
h0

lim (f (t, y(t)) f (tn , y(tn ))) = 0

car t tn , puisque t [tn , tn+1 ] , on a :

h0

lim maxn (f (t, y(t)) f (tn , y(tn ))) = 0

Cela entraine
lim maxn |
tn+1 (f (t, y(t)) tn

f (tn , y(tn )))dt h

Cette notion indique l'eet des petites perturbations numriques dues la troncature numrique qu'eectue la machine. Soient yn et zn dnies respectivement par :
yn+1 = yn + h(tn ; yn ; h) y0 quelconque et zn+1 = zn + h((tn ; zn ; h) + n ) avec z0 quelconque t0 = 0 et tn+1 = tn + h On dit que la mthode d'intgration yn+1 = yn + h(tn ; yn ; h) est stable s'il existe M1 et M2 indpendants de h tels que : maxn |yn zn | <= M1 |y0 z0 | + M2 maxn |n |

stabilit

h0

Cette notion ne dpends que de la mthode d'intgration et n'est pas du tout lie au systme direntielle tudie. Elle indique qu'une (petite) perturbation numrique sur la condition initiale et sur le calcul eectif de n'entraine qu'une perturbation du mme ordre de grandeur sur yn et ceci indpendamment de h.
Thorme

La mthode d'Euler est stable

preuve

On a :

|yn+1 zn+1 | <= |yn zn | + h|f (tn , yn ) f (tn , zn )| + h|n |

On va utiliser que f vrie la condition de Lipschitz. Notons M la constante correspondante. Montrons par rcurrence que :
|yn zn | <= (1 + hM )n |y0 z0 | + (1 + hM )n 1 maxn |n1 | M

44

Par consequent :
|yn+1 zn+1 | <= (1 + hM )|yn zn | + h|n |

d'o, avec l'hypothse de rcurrence :

n+1

|yn+1 zn+1 | <= (1+hM )

(1 + hM )n+1 (1 + hM )maxn |n1 | + hM |n | |y0 z0 |+ maxn |n1 |+ M M = (1 + hM )n+1 |y0 z0 | + A M

A = ((1 + hM )n+1 1 hM )maxn |n1 | + hM |n |

Il sut alors d'crire que

n+1

(1 + hM )

n+1

= 1 + (n + 1)hM +
p=2

p Cn+1 (hM )p

Donc
n+1

A = hM |n | + (nhM +
p=2

p Cn+1 (hM )p )maxn |n1 |

n+1

<= maxn |n |(hM + nhM +

p=2

p Cn+1 (hM )p )

= ((1 + hM )n+1 1)maxn |n |

Ce qui montre la relation de rcurrence. Or, on a pour tout x rel : 1 + x <= expx ; et comme nh <= T , on en dduit :
(1 + hM )n <= exp(nhM ) <= expT M

Cela permet de conclure que

|yn zn | = expT M |y0 z0 | + expT M 1 maxn |n1 | M

On a donc la stabilit, les constantes (indpendantes de h) sont :

M1 = expT M

et
M2 =

convergence

expT M 1 M

45

Cette notion exprime le fait que la solution approche doit tendre vers la solution exacte en tout point de [0, T ] lorsque le pas h tend vers 0. On dit que la mthode d'intgration est convergente avec l'quation direntielle. si :
h0
Thorme

lim maxn |yn y(tn )| = 0

La mthode d'Euler est convergente.

preuve

Elle dcoule directement de la consistante et de la stabilit. En eet, on peut crire :

y(tn+1 ) = y(tn ) + h(f (tn , y(tn )) + n )

et
y(0) = y0

Comme la mthode est consistante, on a :

h0

lim maxn |n | = 0

On utilise maintenant la stabilit en prenant zn = y(tn )(et z0 = y(0)) : il existe donc une constante M2 indpendante de h telle que :
maxn |yn y(tn )| <= M2 maxn |n |

En faisant tendre h vers 0, on a la convergence.

Mthode de de Runge-Kutta d'ordre 4

La convergence est indispensable une mthode d'intgration, mais elle n'indique pas la manire dont se fait cette convergence. En fait pour une mthode d'intgration donne, on cherche savoir quelle ordre p s'eectue cette convergence. C'est dire :
max |yn y(tn )| = O(hp )
n

On a vu que la mthode d'Euler est d'ordre 1. On pourrait chercher des mthodes d'ordre plus lev Ce n'est pas l'objet de ce cours d'aller plus loin dans l'tude des mthodes d'intgration numrique. Citons simplement la mthode de Runge-Kutta d'ordre 4. Cette mthode numrique classique utilise une technique calque sur la mthode d'Euler.Elle converge considrablement plus vite que cette dernire. Elle fut dveloppe la n du XIXe sicle par les mathmaticiens allemands C. Runge et W. Kutta.

46

Dans la mthode d'Euler, est simplement la pente f (t, y). Pour la mthode de RungeKutta d'ordre 4, on prend pour la fonction la moyenne pondre des valeurs de f en quatre points :
k1 = f (t, y) k2 = f k3 k4 k1 h t+ , y+h 2 2 h k2 = f t+ , y+h 2 1 = f (t + h, y + hk3 )

1 = (k1 + 2k2 + 2k3 + k4 ) 6 k1 est la pente au point de dpart. k2 est la pente au point milieu o l'on arrive en un demi pas par la mthode d'Euler. Si k2 est une bonne pente moyenne, le point milieu du segment [y(tn ) , y(tn + h)] doit tre le point (tn + h , y(tn ) + h k2 ).La pente en ce point est k3 . 2 2 Si k3 est une bonne pente moyenne sur [y(tn ), y(tn +h)], on doit arriver en (tn+h y(tn)+ hk3 ) aprs un pas entier et la pente en ce point doit tre k4 .

8.5.3 Approche statistique

Cette approche n'est intressante que si Nest grand. Quelques applications sont possibles dans le systme solaire mais l'essentiel de celles-ci se trouve dans la dynamique stellaire.

Thorme du viriel et la relation masse-priode-distance On dnit le moment

d'inertie du systme par rapport aux axes par
n

J=
k=0

2 mk OPk

Dans le cas des systmes stellaires, ceux-ci sont dans un tat stationnaire, c'est dire 2 qu'on peut considrer que J est constant en moyenne. Ainsi, en moyenne, d J = 0. Cela est dt2 d'autant mieux vri que le nombre N d'toiles est grand.
n dJ dOPk =2 mk OPk dt dt k=0 d2 J =2 mk dt2 k=0
n

dOPk dt

d2 OPk +2 mk OPk dt2 k=0

n

47

d2 J dt2

= 4T + 2
k=0

i=0 i=k
n

Kmi mk Pk Pi OPk Pk Pi3

n1

= 4T + 2
k=0 n1

Kmi mk Pk Pi (OPk OPi ) Pk Pi3 i=k+1 Kmi mk Pk Pi i=k+1

n

= 4T 2
k=0

On reconnait le potentiel U. On a donc :

d2 J = 4T + 2U dt2

Puisque

d2 J dt2

= 0, le thorme du Viriel s'crit donc : 2T + U = 0

Comme l'nrgie totale h = T + U , on obtien :

T = h et U = 2h

On suppose qu'il n'y a pas de corrlation entre les distances, les vitesses et les masses des toiles de l'amas stellaire. On s'autorise ainsi assimuler la moyenne d'un produit au produit des moyennes. L'nergie cintique :
1 T = 2
n 2 mk vk k=0

Relation masse-priode-distance

devient doncT =

N mv 2 2

De la mme manire, avec l'nergie potentielle :

U =
k=0

Kmi mk Pk Pi

N (N 1) mi mk K Esp 2 Pk Pi 2 N mm K 2 r r est le rayon moyen du systme et, si on note M la masse totale du systme (M = N m), =

on en dduit avec le thorme du viriel :

v2 =

KM 2r

Un exemple typique est un amas globulaire compos de 100 000 toiles dont la masse de chacune est en moyenne la moiti de celle du Soleil et dont le rayon moyen est de 5 parsecs (1pc=206 265 ua). On trouve alors que la dispersion des vitesses est de 22 ; 5 km/s. 48

Dynamique stellaire sans rencontre : quations de Boltzmann

A chaque instant donn t, chaque toile k est dnie par sa position = (xk , yk , zk ), rk = (uk , vk , wk ) et sa masse mk . Cette toile est donc reprsente par un point sa vitesse vk (xk , yk , zk , uk , vk , wk , mk ) dans l'espace des phases 7 dimensions. Un systme de N toiles est reprsente par un nuage de N points. On utilise la notion de densit dans l'espace des phases. Celle-ci remplace la notion de trajectoires dans l'espace 3 dimensions que l'on utilise en mcanique. On dnit alors la fonction de distribution (, , m, t) comme la densit r v des particules dans l'espace des phases. La densit dans l'espace physique 3 dimensions est
+ + +

(x, y, z, t) =
0

m dm

dudvdw

Remarque : la densit ainsi dnie est une densit "lisse" puisque la densit relle est nulle autour de chaque toile. Avec cette densit, on obtient le potentiel gravitationnel (liss) :
+ + +

U (X, Y, Z) = K

(x, y, z) (X x)2 + (Y y)2 + (Z z)2

dxdydz

Pour viter les singularits, on utilise gnralement l'quation de Poisson qui est obtenue en inversant l'quation prcdente :
4K =
2

En mcanique l'volution du systme est donne par les quations :

U d2 x = 2 dt x 2 U dy = 2 dt y 2 dz U = 2 dt z

Ici, dans l'esapce 7 dimensions, l'volution du systme est donne par :

dx =u dt dy =v dt dz =w dt du = U x dt = fx = fy = fz = fu

49

dv = U y dt dw = U z dt dm =0 dt

= fv = fw = fm

on remarque que :

div f = 0

En fait, tous les termes de cette divergence sont nuls. La divergence de f tant nulle, on peut appliquer les techniques de la mcanique des uides. Le uide, ici, est incompressible, c'est dire que les volumes se conservent dans l'espace des phases. A partir de l'quation de continuit :
+ div( f ) = 0 t

on obtient l'quation de Boltzmann-Liouville :

+u +v +w t x y z U U U =0 x u y v z w

50

Troisime partie

Partie Informatique
9 Implantation du dveloppement asymptotique des fonctions exp-log en Maple

La rsolution de la plupart des problmes physiques ncessite de pouvoir produire des approximations de prcision arbitraire. L'implantation de sries formelles uni varies ou multivaries dans les systmes de calcul formel ou numrique permet de traiter automatiquement le comportement de fonctions au voisinage de points o elles sont analytiques. Pour traiter les points singuliers, la premire dicult de l'automatisation du calcul est la dtermination de l'chelle asymptotique approprie chaque problme. La seconde est le problme des annulations perptuelles illustr par l'exemple du comportement l'inni de e1/x+ex e1/x : si l'on dveloppe chaque sommant en puissances de 1/x avant de soustraire, il est impossible de trouver un quivalent. De telles annulations se produisent par exemple systmatiquement dans les calculs de variance en thorie des probabilits. Mme en l'absence d'annulation, la connaissance des exponentiellement petits joue un rle important dans le traitement des sries divergentes. Contributions. on ralise le module Maple MultiSeries qui utilise une nouvelle structure de donnes dans Maple, les multisries, an de permettre le dveloppement asymptotique d'une trs large classe de fonctions dans des chelles asymptotiques exp log . Dans le cas le plus simple, une multisrie correspond un dveloppement de Taylor classique 1 > multiseries( 1+x , x) ;
1 x + x2 x3 + x4 x5 + O(x6 )

cette implantation permet donc de faire tous les calculs classiques dj implants dans Maple. Cependant, elle prsente ds ce stade des fonctionnalits nouvelles comme par exemple de prendre en compte des exposants non rationnels : > multiseries(exp(x + x 2 ), x, 7) ;

1+x

+ 1 x2 2

+ x + 1 x3 6

+ x+

1 4 2 x 24

+ O(x+2 2 )

Plus gnralement, une multisrie est dnie rcursivement par rapport une chelle asymptotique. Ce type d'chelle est constitu par un ensemble ni ordonn de k fonctions positives f1 , , fk tendant vers zro telles que fi+1 = o(fin ), pour tout entier n et pour i = 1, , k 1. Dans le cas d'un dveloppement de Taylor, l'chelle est rduite {x}. Un dveloppement F en multisries l'ordre p est de la forme
p ci fk i + O(fk p ) i=1

51

avec des exposants i rels et fk = o(|ci |j ) pour tout entiers i et j . Les coecients ci sont des fonctions qui peuvent dpendre des fonctions f1 , , fk . Ainsi, les multisries sont construites en exprimant rcursivement chaque coecient comme des multisries par rapport aux fonctions de l'chelle asymptotique. Notons que le dveloppement asymptotique d'une fonction g(x) lorsque x tends vers 0 par valeur positive est une multisrie F telle que g F = O(fk p ). Pour conclure cette rapide prsentation en exhibant deux exemples qui, ne pouvaient tre traits automatiquement auparavant. Le premier est un exemple d'annulation indnie : 1 1 > a := multiseries 1+x+exp( 1 ) 1+x , x, 2 :
x

> multiseries

1 1+x+exp( 1 ) x

1 , op(1, a), 4 1+x

; +
1+4x10x2 +20x3 +O(x4 ) exp(1+x)3

1+2x3x2 +4x3 +O(x4 ) exp(1+x)

13x+6x2 10x3 +O(x4 ) exp(1+x)2

O(1) exp(1+x)4

Le second est l'occasion de prciser que ce code peut grer la plupart des fonctions spciales classiques. Ainsi, on a par exemple : > multiseries(GAM M A(x + exp(x)), x = inf inity, 2) ;

1 1 + 2 x 12

1 x

3/2

+O

1 x

5/2

+O

ln(x) 2 ex

1 x

e(ln(x)1)x

10

Simulation de la solution du problme N-corps avec le langage C

L'apparition de l'outil informatique a permis une grande progression dans l'tude du problme N corps, et donc dans l'tude de la mcanique cleste. Le but de ce projet est de crer un programme capable de rsoudre de faon approche les quations direntielles non linaires couples du problme N corps, et de l'exploiter, pour l'tude de la mcanique cleste en particulier. ce programme utilisera une approche de la mthode d'Euler pour le problme des N corps. Ce problme sera trait suivant deux grandes parties :  Partie Algorithmique.  Partie Graphique. la Partie Graphique sera trait par des fonctions prdnies dans la librairie "SDL" du langage C et qui marche aussi avec C++ .

52

10.1 Partie Algorithmique

On doit tout d'abord dnir les constantes du programme en commencent par le nombre des corps, dans ce cas on prend l'exemple de 5 corps. #dene N 5 La constante universelle de gravitation : #dene G 6.67e-11 puis on passe crer la fonction du vecteur du plan : typedef struct _ vect { double x ; double y ; } vect ; vect vecteur_ nul = {0,0} ; aprs cela on aura besoin de dnir la structure du corps ainsi que la norme du vecteur : typedef struct _ corps { double m ; /* masse */ vect pos ; /* position */ vect v ; /* vitesse */ vect a ; /* acceleration */ } corps ; et la norme |||| = u x2 + y 2 qui se traduit : u double norme2(vect u) { return sqrt((u.x * u.x) + (u.y * u.y)) ; } puisque la majorit des calcules s'eectuent l'aide des vecteurs, on aura besoin donc de dnir quelque fonctions qui s'appliquent aux vecteurs : vect vect_add(vect u1, vect u2) { vect res ; res.x = u1.x + u2.x ; res.y = u1.y + u2.y ; return res ; } vect vect_sub(vect u1, vect u2) { vect res ; res.x = u1.x - u2.x ; res.y = u1.y - u2.y ;

La somme de deux vecteurs :

La soustraction de deux vecteurs :

53

return res ;

vect mul_scal(double a, vect u) { vect res ; res.x = a * u.x ; res.y = a * u.y ; return res ; } on sait que tout corps dans l'espace subit a une force de gravitation exerce par les autres corps voisins, cette force s'exprime :
FA/B = G. ma mb d2

La multiplication d'un vecteur par un scalaire :

avec d la distance entre les deux corps. Donc on doit dnir la fonction qui permet de calculer cette force entre chaque deux corps p1 et p2 . vect force_ grav(corps p1, corps p2) { double d ; vect u ; /* vecteur unitaire dirig de p2 vers p1 */ d = norme2(vect_sub(p1.pos, p2.pos)) ; u = mul_scal((1 / d),vect_sub(p1.pos,p2.pos)) ; return mul_scal(G * (p1.m * p2.m) * (1/(d*d)), u) ; } La fonction suivante permet d'appliquer le principe fondamental de la dynamique au point p, d'index i dans un tableau de taille p : void pfd(corps *tab, int i, int n) { int k ; vect f = vecteur_nul ; /* vecteur force */ corps p = tab[i] ; for(k=0 ;k<n ;k++) { if(k != i) f = vect_add(f, force_grav(tab[k], p)) ; } tab[i].a = mul_scal((1 / p.m),f) ; } Pour simplier les calcules on sait que FA/B = FB/A donc on doit apporter une optimisation au programme an d'viter la moiti des calcules. 54

application du Principe Fondamentale de la Dynamique :

void pfd2(corps *tab, int i,int n)

int k ; corps p = tab[i] ; vect v = vecteur_nul ; /* premier corps : on rinitialise l'acclration de tous les corps */ if(i==0) for(k=0 ; k<n ; k++) tab[k].a = vecteur_nul ; /* Dernier corps : toutes les contributions ont dj t calcule */ if(i==(n-1)) return ; for(k=i+1 ; k<n ; k++) { v = force_grav(tab[k],p) ; tab[i].a = vect_add(tab[i].a , mul_scal((1/p.m) , v)) ; tab[k].a = vect_add(tab[k].a , mul_scal((-1/tab[k].m) , v)) ; } } On a : dv = a et dx = v dt dt donc : dv = a dt et dx = v dt On applique ce rsultat pour modi la position d'un corps (on considre que l'acclration a t dj calcule) void change_pos(corps *tab, int i, double dt) { tab[i].v = vect_add(tab[i].v , mul_scal(dt,tab[i].a)) ; tab[i].pos = vect_add(tab[i].pos , mul_scal(dt,tab[i].v)) ; } et nalement pour terminer la partie algorithmique on doit actualiser le tableau du corps pour toute instant dt : void maj(corps *tab, int n, double dt) { int i ; for(i=0 ;i<n ;i++) /* on change les acclrations des corps */ { pfd2(tab,i,n) ; } for(i=0 ;i<n ;i++) /* puis on actualise les positions */ { change_pos(tab,i,dt) ; } }

55

10.2 Partie Graphique

cette partie sera traiter par la librairie SDL de C, qui facilite la manipulation graphique des programmes. On utilisera dans cette partie principalement la fonction P utP ixel qui se charge d'acher un pixel en prenant soin du format de la surface de destination et de l'ordre des octets de la machine. on dnit cette fonction comme suit : void PutPixel(SDL_Surface *surface, Uint16 x, Uint16 y, Uint32 color) { Uint8 bpp = surface->format->BytesPerPixel ; Uint8 *p = ((Uint8 *) surface->pixels) + y * surface->pitch + x * bpp ; switch(bpp) { case 1 : *p = (Uint8) color ; break ; case 2 : *(Uint16 *)p = (Uint16) color ; break ; case 3 : if(SDL_BYTEORDER == SDL_BIG_ENDIAN) { *(Uint16 *)p = ((color  8) & 0x00) | ((color  8) & 0x) ; *(p+2) = color & 0x ; } else { *(Uint16 *)p = color & 0x ; *(p+2) = (color  16) & 0x ; } break ; case 4 : *(Uint32 *)p = color ; break ; } } et puisqu'il s'agit d'une interface graphique donc on doit dnir les couleurs utilises : #dene NBR_COLOR 5 #dene XRES 1024 #dene YRES 768 Uint32 color[NBR_COLOR] = {0x000000, 0x000000, 0x000000, 0x0000, 0x0000} ; On a maintenant qu' animer les corps sur l'cran avec une fonction qu'on appellera "animer" : 56

void animer(corps *tab, int n, double dt, SDL_Surface *screen) { int i ; int need_update = 0 ; while(1) { maj(tab,n,dt) ; for(i=0 ;i<n ;i++) { Uint16 new_x = (Uint16)tab[i].pos.x ; Uint16 new_y = (Uint16)tab[i].pos.y ; if((new_x <= 0) || (new_x >= XRES) ||(new_y <= 0) || (new_y >= YRES)) { printf("Un corps a quitt l'cran. Fin du programme \n ") ; return ; } mais on ne change l'achage que si le corps a eectivement bouger donc on doit ajouter la condition suivante : if((new_x != old_pos_x[i]) || (new_y != old_pos_y[i])) { old_pos_x[i] = new_x ; old_pos_y[i] = new_y ; SDL_LockSurface(screen) ; PutPixel(screen,new_x, new_y, color[i % NB_COLOR]) ; SDL_UnlockSurface(screen) ; need_update++ ; }

10.3 le Programme main()

dans les deux parties prcdentes on a prpar l'environnement physique et graphique du programme, il nous reste maintenant qu' regrouper les fonctions dj dni dans le programme principal main(). dans notre cas on a trait 5 corps dans ce programme (le soleil et 4 autre plante) ce qui nous donne : int main(int argc, char **argv) SDL_Surface *screen ; corps tab[]= { {1000000000 ,{512,384}, vecteur_nul ,vecteur_nul}, /* le "soleil" */ {1000000 ,{350,384}, {0,0.01} ,vecteur_nul}, /* les planetes */ {3000000 ,{512,450}, {0.02,0} ,vecteur_nul}, {1000500 ,{300,300}, {0.007,-0.001} ,vecteur_nul}, {2000000 ,{650,450}, {-0.003,0.003} ,vecteur_nul}} ; if(SDL_Init(SDL_INIT_VIDEO) == -1) { printf("Initialisation de SDL impossible : %s\n",SDL_GetError()) ; return -1 ; 57

} screen = SDL_SetVideoMode(XRES,YRES,24,SDL_VIDEO_FLAGS) ; SDL_FillRect(screen, NULL, SDL_MapRGB(screen->format, 0x00,0x00,0x00)) ; // cran noir SDL_ShowCursor(SDL_DISABLE) ; SDL_Flip(screen) ; animer(tab,N,1,screen) ; SDL_Quit() ; return 0 ; } voici un aperue du programme :

NB : un CD est joint avec ce TIPE qui contient le code source du programme.

58

11

Rfrences

Livres :
Borel : LEONS sur Les SRIES DIVERGENTES. Christiane ROUSSEAU : Divergent sries : past, present, future . Fruchard et R. Schfke : Dveloppements asymptotiques combins et Points tournants

d'quations direntielles Singulirement perturbes, 4 mars 2010 Farid Mita : Dveloppement limit polynomial et asymptotique d'une fonction numrique d'une variable relle. Jean MARTINET : LE PROBLME DES TROIS CORPS : UN CAS SIMPLE ! Journes X-UPS : Sries divergentes et procds de resommation. Jean LEFORT : LES SRIES DIVERGENTES CHEZ EULER. Notes de cours MIAS1,H. Le Ferrand : Dveloppements asymptotiques. Applications. H.Poincar : Les mthodes nouvelles de la mcanique cleste V. S. VARADARAJAN,For the 300th anniversary of Leonhard Euler's birth : EULER AND HIS WORK ON INFINITE SERIES. Zarc Zamansky : La sommation des sries divergentes.

Internet :
http ://drgoulu.com/2008/11/16/le-probleme-a-n-corps/ http ://ressources.univ-lemans.fr/AccesLibre/UM/Pedago/physique/02/divers/troiscorps.html http ://aristote.obspm.fr/phynum/TPs/TP_3C_c/doc/cours/cours/cours.html http ://www.aucoeurdelaplanete.com/Termes-Astronomie/Point-de-Lagrange.html http ://luciole.ca/gilles/mat265/chap1/s1-numeriques.html http ://www.cppfrance.com/codes/PROBLEME-CORPS-GRAVITATION_32715.aspx

59