Etude d'une solution de la theorie litterale du probleme principal du mouvement de la Lune convergence formelle

Résumé

Dans l'exposé qui va suivre, nous rappelons d'abord le système d'équations et le mode d'intégration que nous avons utilisés pour construire une théorie littérale du problème principal du mouvement de la Lune. En particulier, puisque, du fait de la présence des petits diviseurs, nous avons à effectuer plusieurs itérations à un ordre donné, pour obtenir tous les termes correspondant à cet ordre, nous allons étudier un système d'équations réduit qui se substitue au système complet, après la première intégration à un ordre donné. Ce système permet d'alléger au maximum les calculs.

Nous étudions alors la convergence formelle de la solution littérale obtenue. Cette démonstration est faite par récurrence. Au cours de celle-ci, nous avons utilisé les propriétés du système d'équations réduit (C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, et C12), système dont nous donnons dans les tableaux I à IV, les coefficients et les arguments. L'étude de l'ordre des termes engendrés par ce système nous permet de conclure que, si l'on connaît tous les termes d'ordren−1 alors on peut déterminer tous les termes d'ordren.

Enfin, nous indiquons les résultats que nous avons actuellement obtenus par cette méthode.

Abstract

In this paper, we first recall the set of equations and the method of integration for a literal solution of the main problem of the lunar theory. As, owing to small divisors, we have to make many iterations at a given order to obtain all the corresponding terms, we study a restricted set of equations which replaces the complete system after the first integration at a given order. This set helps to make the calculations less bulky.

Then we study the formal convergence of the literal solution thus obtained. The demonstration uses a recurrent process in which we made use of the properties of the restricted system of equations (C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11 and C12), the coefficients and arguments of which are given in Tables I to IV.

The study of the order of magnitude of the terms formed by this system leads to the conclusion that if then−1 order terms are known, all then-order terms may be determined.

In the end, we show the results obtained so far with this method.