Première Partie. Livre HT
d'où l'on conclut, immédiatement, que <f) contient un terme sousélémentaire du second ordre et du type (B), terme qui devra être réuni aux autees de même espèce.
Mais à cette place, il me faut reproduire une remarque que j'ai faite déjà dans mon mémoire Dnouvelles recherches etc.D, § 5. La voici:
En abordant les approximations successives (pour obtenir les intégrales des équations semblables à celles que nous allons établir dans le livre suivant) par l'intégration d'une équation linéaire ou bien, ce qui revient au même, d'un système d'équations linéaires, on n'arrivera pas toujours à des résultats satisfaisants. Et même, si en partant d'un résultat obtenu par l'intégration d'un tel système, on continue, d'une manière conséquente, les approximations successives, on tombera tôt ou tard sur des développements divergents. Il en est autrement quand on commence par l'intégration d'un système d'équations, chacune du troisième degré: on pourra alors, sauf dans des cas exceptionnels, réduire de telles équations à des équations linéaires et horistiques, après quoi on arrivera, en les intégrant, à de véritables approximations. Ayant obtenu des résultats de cette qualité, on déduira de proche en proche les expressions des quantités cherchées avec une exactitude aussi grande qu'on voudra.
Voilà la raison pourquoi j'ai donné beaucoup de soins à mettre en évidence les termes du troisième degré: ils devront dès l'abord entrer dans les équations différentielles, et il importe de les avoir mis sous la forme la plus convenable.
Mais jusqu'à présent, je n'ai traité que les termes faisant partie des équations qui serviront à déterminer les fonctions (/>) et (/>'), termes que j'ai appelés, au n** 62, termes à caractère diastématique. Quant aux termes à caractère anastématique, c'est à dire les termes qui entreront dans les équations destinées à la détermination des fonctions (j) et (3'), on les déduira, en temps et lieu, très facilement des développements donnés dans le numéro cité.
109. Il convient d'ajouter quelques remarques relativement au nombre des arguments fondamentaux entrant dans le développement de la fonction perturbatrice, ce développement supposé mis sous la forme diastématique.
En exprimant les fonctions {p) et (/>') moyennant les arguments diastématiques, et côsfl" par la formule (15) du n** 53, les arguments entrant
Traité des orhites absohus. 63
498 , Traité des Orbites des Planètes.
dans la fonction perturbatrice seront, sauf ceux qiii pourront se trouver
dans les expressions de oy , oy' et sin-J', au nombre de quatre, savoir:
F , F', t; — I^et v' — 2", ou bien: F , F', rr et y, si Ton veut remplacer les angles v — I et v' — 2" par leur différence et leur somme. Mais ces ai^uments fondamentaux, étant transformés et combinés les uns avec les autres, de manières très différentes, on n a pas toujours eu soin de relever la propriété des inégalités planétaires d'être liées aux arguments se composant de quatre éléments. Mais à cette omission contribuent encore d'autres motifs.
Ayant remplacé les arguments F , F', t; et v' par les longitudes moyennes des planètes et dés périhélies, on a en effet mis en évidence six arguments distincts, qui se réduisent, toutefois, sur-le-champ à cinq, et qui doivent être calculés séparément C'est seulement M. Lindstedt qui, dans un mémoire ^ renommé, * a tenté d'exprimer, moyennant quatre arguments étant des fonctions linéaires du temps, sans intermédiaire des longitudes astronomiques, les distances mutuelles des trois corps, c'est à dire les quantités d'où dépend la fonction perturbatrice. Mais M. Poincaré, à diverses reprises, a montré que les séries résultant des procédés de M. Lindstedt ne sont pas convergentes dans le sens rigoureux du mot. Pour une solution absolue du problème des trois corps appliqué aux théories des planètes, la seule dont nous nous occupons dans l'ouvrage présent, la méthode de M. Lindstedt ne paraît donc pas convenir. Il semble au contraire presque prudent de ne pas sortir des notations usuelles, où sont mis en évidence les arguments astronomiques, notations qui d'ailleurs n'augmentent pas d'un seul le nombre des inégalités.
Cest M. Weiler qui, le premier je crois, a prononcé expressément la nature des arguments, entrant dans le développement envisagé, d'être composés de quatre éléments ou arguments fondamentaux.'
Si l'on passe à la forme diastématique, et que l'on compte les longitudes des noeuds sur un plan fixe dans l'espace, le nombre des arguments fondamentaux sera encore six, nombre qui is'abaisse sur le champ à cinq, et qui se réduit ultérieurement à quatre, si le plan invariable des trois corps
' Voir le mémoire de M. Lindôtedt inséré dans les astr. Nachr. T. 1071
' Voir les notes de M. Weiler inséré dans les astr. Nachr. N*' 25 15, 25 \6 et 2762.
I Première Partie, Livre III. 499
est pris pour plan fondamental. En inspectant les développements donnés dans le livre présent et dans celui qui précède, on trouvera en effet que les six arguments sont d'abord, v , v\ w y û>', # et d', au lieu desquels on a admis, toutefois, ceux-ci: v , v', fi) , fi)', ë et S', isocinétiques avec les premiers et ne différant d eux que . par les agrégats périodiques G et G\ en sorte qu'on a: v = t; — Gy etc.
Mais ces éléments, c est à dire, les v , v', . . . n'entrent dans les divers arguments que par leurs différences. En effet, chaque argument apparaissant dans le développement de la fonction perturbatrice, s'exprimera, on le voit facilement, par la formule
Arg. = s{Y — a))—s'Y + i{S) — ») + i'(fi)' — *') + ^ri{» — ^%
où Ton a désigné par 5 , 5', i , i' et m des entiers positifs ou négatifs, où V remplace la différence v' — a)\ et où finalement on a mis de côté les agrégats périodiques r — P, tt' — J", etc. Dans le cas de trois corps, la différence S — ^' devient égale à zéro ou plutôt à un agrégat périodique, si Ton choisit le plan invariable pour plan, fondamental, et on sera réduit à quatre arguments. Dans le cas de plusieurs corps, par contre, on ne saurait faire disparaître les différences ^ — y à Texception d*^une seule; mais cette simplification n'étant pas de grande importance, il convient mieux de fixer la position du plan fondamental par d'autres motifs que par la condition qu'une des différences & — tf' disparaisse. On pourra donc prendre l'écliptique fixe à une certaine époque pour plan fondamental, ce qui amènerait quelques avantages aux calculs astronomiques. Le nombre total des arguments fondamentaux d'où dépendent les inégalités des planètes principales, dues à leurs actions mutuelles, est donc égal à 3.8 = 24, ou bien, si Ion veut, égal à 3.8 — i = 23.
Le Verrier, dans les théories de Jupiter et de Saturne, a employé les arguments fondamentaux
v+ r—i , v\ (0 + r—i\ (o' et — 2r,
ou plutôt des arguments variant proportionellement au temps, mais isocinétiques avec ceux-là. Dans le cas de trois corps, le nombre des arguments fondamentaux n'excéderait pas celui qu'on aurait trouvé en employant les angles signalés précédemment. Mais déjà dans le cas du soleil et de trois planètes, le nombre des arguments fondamentaux de Le Verrier est
500 Traité des Orbites des Planètes. '
plus grand que celui des nôtres, et ce nombre croît avec celui des planètes. L'ensemble des arguments figurant dans les développements que j'ai exposés dans ce qui précède, paraît donc l'emporter sur le système employé par Le Verrier, du moins lorsqu'il s'agit des inégalités d'un ordre plus élevé que le premier. Voilà la raison pourquoi je compte les angles v , a> et #, ou bien v , a) et S, d'une direction légèrement variable et différente pour les diverses planètes.