Démonstration des lois de Kepler
Les lois de Kepler ont été découvertes à partir des observations de Tycho Brahe à la fin du XVIe siècle et de leur analyse poussée par Johannes Kepler dans les décennies qui ont suivi.
En 1687 dans les Philosophiae naturalis principia mathematica, Isaac Newton introduit la force de gravitation, qui se veut être à la fois une explication aux mouvements des planètes, et à la pesanteur sur Terre. Le problème exposé ici est de démontrer que la seule expression de la loi universelle de la gravitation, combinée au principe fondamental de la dynamique, fournit une justification des lois empiriques de Kepler. Il fut résolu par Newton[1].
Une autre démonstration géométrique a été donnée par Richard Feynman, durant ses cours. Il ne l'a pas publiée, mais Brian Beckman l'a fait en 2006 dans The Journal of Symbolic Geometry, volume 1. Une traduction française de la démonstration de Feynman, avec des explications détaillées, figure dans R. Feynman, D. et J. Goodstein, Le mouvement des planètes autour du Soleil : Le cours perdu de Feynman, Cassini, 2009 (trad. de David L. Goodstein et Judith R. Goodstein, Feynman’s lost lecture: The motion of planets around the Sun, Norton, 1996).
Conventions et notations pour les démonstrations qui vont suivre
modifierPour simplifier, prenons le Soleil comme origine du référentiel, l'axe z perpendiculaire à la droite passant par le Soleil et la planète et perpendiculaire à la direction de la vitesse de la planète au temps t = 0. L'axe x dans la direction correspondant à la distance la plus petite entre le Soleil et la planète. La distance la plus grande entre le Soleil et la planète sera dans la direction -x.
- : la masse du Soleil.
- : la masse de la planète.
- : la position du Soleil. C'est l'origine du référentiel.
- : la position de la planète.
- : l'instant où la planète se trouve le plus proche du Soleil.
- : la position de la planète au temps .
- Elle s'appelle le périhélie. C'est le point de la trajectoire près de Hélios; soit le plus proche du Soleil.
- : le vecteur allant du Soleil à la planète.
- = la distance du Soleil à la planète.
- : le vecteur allant du Soleil à la planète au temps .
- : la vitesse de la planète.
- : la vitesse de la planète au temps .
- : la force d'attraction de la planète par le Soleil.
- : le moment cinétique relativement à l'origine où se trouve le Soleil.
- C.f. le produit vectoriel " " pour des informations sur cet opérateur.
Première partie de la première loi (1609)
modifierDans un référentiel immobile par rapport au Soleil, la trajectoire d'une planète se trouve dans un plan.
- Démonstration :
- Cela résulte du fait que le Soleil attire la planète selon une force centrale. C'est-à-dire une force qui est toujours dirigée de la planète vers le Soleil.
- En effet, étant données une position et une vitesse initiales, cela définit un plan. Selon nos conventions ci-dessus, c'est le plan passant par l'origine O, contenant les axes x et y.
- Puisque la force est centrale, elle et l'accélération sont dans une direction se trouvant dans ce même plan. Donc les variations de vitesses et les variations de positions resteront dans ce même plan. En conclusion toute la trajectoire restera dans ce plan.
- La deuxième loi de Kepler donnera une deuxième démonstration de cette partie.
Deuxième loi, loi des aires (1609)
modifierSoit A(t) l'aire de la surface balayée par le rayon vecteur durant le mouvement, alors cette seconde loi indique que des aires égales sont balayées dans des temps égaux.
- Démonstration :
- En dérivant le moment cinétique par rapport au temps, on obtient :
- qui vaut 0.
- Donc le moment cinétique est un vecteur constant. Cela résulte du fait que la force est centrale (voir mouvement à force centrale)
- D'autre part : où et désigne l'angle entre et .
- En effet, durant , le double de l'aire du triangle délimité par et vaut .
- En conséquence : .
Autre démonstration purement mathématique:
En notant la position du point M à l'instant t, l'aire balayée par le rayon vecteur pendant le temps t est l'aire du domaine délimité par la trajectoire du point M pendant cette même durée, cette aire vaut d'après la formule de Green-Riemann, . (La contribution des autres courbes délimitant le domaine sont bien évidemment nulles, il s'agit d'un segment de l'axe (Ox) et d'une droite passant par l'origine.
En remarquant que: , il vient:
.
En posant: et , il vient :
.
Or, dans le cas d'un mouvement à force centrale: , d'où finalement: .
Deuxième partie de la première loi (1609)
modifierDans un référentiel immobile par rapport au Soleil, la trajectoire d'une planète est elliptique, un foyer étant le Soleil. Le Soleil n'est un des foyers qu'approximativement, du fait que sa masse M est très supérieure à celle de la masse m de la planète. Pour être exact, il faudrait se placer au centre de gravité du système Soleil-planète.
- Démonstration :
- Ce fait est directement lié au fait que l'hodographe est un cercle dans le cas de l'attraction universelle de Newton.
Le principe fondamental de la dynamique s'écrit :
- où .
- Par changement de variable, on a :
- .
- Rappelons l'expression de la loi des aires obtenue au paragraphe précédent : .
- Ainsi, l'aire balayée pendant un temps égale . Or cette aire vaut .
- Donc .
- En combinant ces deux relations, on obtient :
- D'où en intégrant par rapport à : car .
- = le vecteur unité perpendiculaire à dans le plan de la trajectoire, dirigé dans le sens le plus proche de celui de la vitesse.
- Ce résultat s'appelle : théorème de Hermann, Laplace, Runge, Lenz, Hamilton : cf. vecteur de Runge-Lenz.
- L'hodographe est un cercle excentré par rapport à l'origine des vitesses. Il en résulte que la trajectoire est une conique : si l'origine des vitesses est à l'intérieur du cercle, la conique est une ellipse ; si elle est à l'extérieur, c'est une hyperbole ; cas limite : une parabole. Ce théorème de cinématique est très vieux, mais on l'attribue à tort à Hamilton ; il était encore enseigné dans le cours de cosmographie de « math-élem » (terminale S actuelle) : cf. par exemple Lebossé, cours de mathématiques élémentaires. On va en donner la démonstration due à Edmund Landau, très algébrique :
Le théorème précédent se réécrit après multiplication vectorielle par et simplifications :
- .
- s'appelle le vecteur d'excentricité. Il est constant car est constant, tel que montré plus haut.
- Puis en effectuant le produit scalaire avec et en simplifiant :
- , avec ,
- soit ,
ce qui est la définition focale d'une conique en coordonnées polaires, d'excentricité et de paramètre , d'angle polaire ayant pour origine le périhélie, comme il est usuel de le faire.
Si l'on prend l'aphélie comme origine : .
Troisième loi (1618)
modifierLe carré de la période varie comme le cube du demi-grand axe :
s'appelle la constante gravitationnelle de Gauss : elle est connue avec une extraordinaire précision, dix chiffres significatifs et vaut rad/j (alors que G n'est connue qu'avec 5 chiffres significatifs).
Démonstration :
- En utilisant : et ,
- puis en éliminant entre ces égalités, on obtient le résultat annoncé.
Par conséquent, toutes les ellipses de même grand axe, quelle que soit leur excentricité , ont la même période de révolution jusqu'à la circulaire où .
Notes et références
modifier- Douglas C. Giancoli, Physique générale : Mécanique et thermodynamique, , 568 p. (ISBN 978-2-8041-1700-9, lire en ligne), p. 152.
Voir aussi
modifierArticles connexes
modifierLiens externes
modifier- Définition et démonstration des lois de Kepler, sur le site Astrophy (en français)
- Démonstration des trois lois de Kepler et propriétés d'une ellipse
- La démonstration de l'ellipticité des trajectoires, faite par Richard Feynman et publiée par Brian Beckman dans The Journal of Symbolic Geometry Volume 1 en 2006. La traduction française est publiée