3-9-2. Octave Callandreau to H. Poincaré

Paris, 26 février 1882

Mon cher ami,

Je n’ai pu dans ma première lettre te parler convenablement de la question de la stabilité; j’ai cru que tu désirais surtout savoir ce que M. Weierstrass avait fait.¹¹ 1 Le cours de Weierstrass auquel fait allusion Callandreau dans sa première lettre (§ 3-9-1) s’appuie sur l’article dans lequel Weierstrass montre le théorème spectral pour deux formes quadratiques réelles Weierstrass applique alors ce résultat à la théorie des petites oscillations pour corriger une erreur de Lagrange. En effet, Lagrange affirme que les valeurs propres du hessien du système différentiel décrivant le système légèrement perturbé sont positives et d’ordre 1 et donc qu’il n’apparaît pas de terme séculaire dans les développements : Comme la solution précédente est fondée sur la supposition que les variables $\xi$ , $\psi$ , $\varphi$ , etc., soient très petites, il faut, pour qu’elle soit légitime que cette supposition ait lieu en effet; ce qui demande que les racines $k^{\prime}$ , $k^{\prime\prime}$ , etc., soient toutes réelles, positives et inégales, afin que le temps $t$ , qui croît à l’infini, soit toujours renfermé sous les signes de sinus ou cosinus correspondants des exponentielles réelles [… ]; mais comme le développement de ces cas est inutile pour l’objet présent, nous ne nous y arrêterons point. (Lagrange 1853, 333) Weierstrass montre que le système d’équations du système décrit par Lagrange peut avoir des valeurs propres multiples et qu’il peut donc apparaître des termes séculaires dans les développements en série : Die irrige Ansicht Lagrange’s rührt daher, dass er bei den mit (1) bezeichneten Gleichungen nichts Anderes berücksichtigt, als dass sie lineare und mit constanten Coefficienten versehene Differentialgleichungen sind. In der That würden, wenn man den Coefficienten von $\Phi$ willkürliche Werthe beilegte, und die Gleichung $f(s)=0$ hätte eine $\lambda$ fache Wurzel, die jetzt mit $(-r)$ bezeichnet werden möge, in den Ausdrücken von $x_{1}x_{2}$ u.s.w. im allgemeinen Glieder vorkommen von der Form $F(t)\cos(\sqrt{r}.t)+F_{1}(t)\sin(\sqrt{r}.t),$ wo $F(t)$ , $F_{1}(t)$ ganze Functionen $(\lambda-1)$ ^ten Grades von $t$ bedeuten sollen. (Weierstrass 1858, 244) Sur la question des éléments séculaires des petites oscillations, voir F. Brechenmacher (2007a, 2007b).

Mais venons à ta lettre qui m’a uniquement occupé depuis que je l’ai reçu.

D’abord, d’une manière générale, je puis te dire que les astronomes n’ont pas attribué à la question de [la] stabilité la portée que les géomètres lui ont donnée parfois: Ce qu’ils ont voulu, c’est représenter la marche des éléments du système solaire en tenant compte de l’incertitude des données empruntées à l’observation; de sorte qu’une intégration rigoureuse des équations différentielles voudrait, au point de vue astronomique et pratique, être accompagnée de la connaissance entièrement précise des arbitraires masses éléments … ²² 2 Callandreau poursuit la discussion sur la stabilité du système solaire et veut dire que les résultats obtenus par les astronomes sur cette question supposent en fait une connaissance absolue des masses des corps. La sensibilité des conclusions qualitatives aux données initiales (en particulier à la détermination des masses) du problème était déjà soulignée, comme le rappelle Tisserand, par Lagrange : Mais certaines des masses employées étaient entièrement hypothétiques. [… ] On pouvait donc se demander si, avec d’autres données notablement différentes, on trouverait encore seulement des racines réelles : “Il faudrait, disait Lagrange, pouvoir démontrer que, quelles que soient les valeurs des masses, pourvu qu’elles soient positives, les racines de l’équation dont il s’agit sont toujours nécessairement réelles et inégales, et il ne paraît pas impossible de parvenir, par quelque artifice particulier, à résoudre cette question d’une manière générale.” (Tisserand 1889b, 411) C’est ce qui explique comment les analyses de Laplace ou de Le Verrier paraissent peu concluantes au premier abord.³³ 3 Laplace a consacré de nombreux mémoires à la question des inégalités séculaires; voir Sec. perp. 1891, 325–366; 1891, 49–92; 1895, 295–306; 1799. Il s’intéresse en particulier au problème des valeurs propres du système d’équations en montrant que “quelles que soient les données numériques supposées pour les masses et les distances moyennes des planètes au Soleil, l’équation [caractéristique] $G=0$ a toujours toutes ses racines réelles, pourvu que les planètes tournent toutes dans le même sens” (Tisserand 1889a, 411). La démonstration de Laplace que les valeurs propres sont d’ordre 1 est moins satisfaisante puisqu’il prouve seulement qu’il n’y a pas de terme séculaire : Mais il n’en résulte pas nécessairement que l’équation $G=0$ ne puisse jamais avoir de racines égales, car on sait aujourd’hui qu’il peut arriver dans ce cas que les intégrales générales des équations ne renferment pas le temps en dehors des signes sinus et cosinus. (Tisserand 1889a, 413) Laplace déduit de son analyse un corollaire concernant la stabilité du système solaire : l’excentricité d’une planète dont la masse représente une part importante de la masse totale restera faible. De même, Laplace prouve des résultats sur l’inclinaison mais ces résultats dépendent fortement d’hypothèses empiriques. Le Verrier reprend la question de la détermination numérique des inégalités séculaires des sept grosses planètes mais pour Tisserand, les résultats obtenus restent en grande part douteux parce que les techniques analytiques utilisées sont trop sensibles par rapport à la valeur des paramètres : Il ne faut pas se faire d’illusion sur la généralité des conclusions énoncées ci-dessus relativement à la stabilité du système planétaire. En premier lieu, les équations différentielles ont été obtenues en négligeant, dans les parties séculaires des fonctions perturbatrices, les termes du quatrième ordre ; Le Verrier a cherché à tenir compte de ces termes en faisant varier les constantes arbitraires [… ]. L’une des conséquences auxquelles il est arrivé est qu’on ne peut obtenir, par la méthode des approximations successives, aucune conclusion sur la stabilité du système formé de Mercure, Vénus, la Terre et Mars, à cause des incertitudes qui règnent sur les valeurs des masses et peuvent modifier du tout au tout les petits diviseurs qui interviennent dans les formules. (Tisserand 1889a, 429)

Parlons maintenant des beaux résultats auxquels tu es arrivé, indépendamment à coup sûr de ta connaissance des conclusions pratiques formulées par Le Verrier, Hansen, Laplace d’abord.⁴⁴ 4 Poincaré a dû soumettre à Callandreau le texte préliminaire de sa note sur les séries trigonométriques (Poincaré 1882b). Cette note sera publiée dans les Comptes rendus de la séance de l’Académie du 30 octobre 1882. Poincaré fait allusion aux applications de ces résultats à la mécanique céleste (voir note suivante) mais il ne cite pas les noms évoqués par Callandreau, ni d’ailleurs d’aucun astronome. Il en est presque de même dans la note plus étendue publiée en 1884 dans le Bulletin astronomique dans laquelle sont cités les noms de Tchebichef, Callandreau et Lindstedt. Tous tes résultats concordent avec les conclusions auxquelles je fais allusion. Cependant tu apportes cette remarque que $R_{i}$ peut être divergente même si le rapport $n/n^{\prime}$ est incomm[ensurable].⁵⁵ 5 Poincaré (1882b) étudie dans la note sur les séries trigonométriques la notion de convergence d’une série de fonctions ; il prend pour exemple la série $\varphi(t)=\sum{A_{p}}\sin\alpha_{p}t,$ (1) en supposant que $1/A_{p}$ et $\alpha_{p}$ sont positifs et tendent vers zéro quand $p$ tend vers l’infini. Si la série $\sum A_{p}\alpha_{p}$ est convergente, la série est simplement convergente. La question posée par Poincaré est de montrer que le module de $\varphi(t)$ peut “devenir plus grand […] que toute quantité donnée.” Ce résultat peut se généraliser au cas où $A_{p}$ et $\alpha_{p}$ ne seraient plus astreint à être positifs ou encore à la série $\qquad\sum A_{p}(1-\cos\alpha_{p})$ (2) lorsque la série $\sum|A_{p}|\alpha^{2}_{p}$ est convergente. Poincaré déduit de ces résultats quelques conséquences en mécanique céleste : Voici comment cela peut s’appliquer aux séries que l’on a à envisager en Mécanique celeste. On sait que, si $t$ est le temps et $a$ le grand axe, par exemple, on a pour la dérivée de grand axe une expression de la forme $\frac{da}{dt}=\sum A_{p}\sin\alpha_{p}t+\sum B_{p}\cos\beta_{p}t,$ les deux séries $\sum modA_{p}$ et $\sum modB_{p}$ étant convergentes. En négligeant les carrés des masses, on en conclut, pour la variation $\delta a$ du grand axe, l’expression $\delta a=\sum\frac{A_{p}}{\alpha_{p}}(1-\cos\alpha_{p}t)+\sum\frac{B_{p}}{% \beta_{p}}\sin\beta_{p}t.$ (3)
On serait tenté de conclure que $\delta a$ reste toujours compris entre certaines limites. Cela a lieu en fait pour certaines valeurs incommensurables du rapport des moyens mouvements. mais il est d’autres valeurs également incommensurables de ce même rapport pour lesquelles les séries du second membre de l’équation (3) se comportent comme les séries (1) et (2), et peuvent croître indéfiniment.
Cela n’a pas d’importance au point de vue pratique du calcul des perturbations, puisque le rapport des moyens mouvements ne peut être connu qu’approximativement et que nous ne pouvons reconnaître par conséquent si les séries (3) restent finies ou croissent indéfiniment ; puisque d’ailleurs l’équation (3) ne représente la variation du grand axe que si l’on néglige les termes d’ordre supérieur par rapport aux masses, et que nous ignorons si ces termes ne peuvent pas eux-mêmes croître au-delà de toute limite.
Néanmoins, il y a peut-être quelque intérêt à signaler ce fait, car il montre qu’il est impossible d’accepter certaines conséquences théoriques qu’on serait tenté de tirer de l’expression (3). (Poincaré 1882b, 768) Tu veux dire sans doute que le rapport incommensurable ne doit pas être représenté, avec une approximation indéfinie, par le rapport de deux entiers. S’il n’y a pas quelque chose comme ça, ta conclusion est tout à fait nouvelle et inattendue.

Que la série (1) cesse d’être convergente pour les grandes valeurs de $t$ , telle est aussi la conclusion de Laplace, conclusion plutôt que démonstration précise, comme je le disais dans ma lettre. Mais si tu assignes les valeurs que $t$ ne saurait franchir, c’est une conclusion nouvelle et de haute valeur.

À l’occasion des anciens procédés, je t’ai soumis une question sur la convergence des développements ordonnés suivant les puissances des masses; plusieurs autres se posent encore pour l’application des anciens procédés.

Maintenant le résultat auquel tu arrives pour le calcul numérique des fonctions définies par une éq. différentielle est d’une singulière étendue. Seulement, pour ce qui concerne les perturbations, il faut compter que les circonstances arithmétiques qui se présentent dans l’application des anciens procédés se présenteront aussi. Sans doute les petits diviseurs sont un inconvenient, mais ils ont été la source de beaucoup de découvertes astronomiques.⁶⁶ 6 Callandreau fait allusion au travail de Poincaré sur l’intégration des équations différentielles (Poincaré 1882a), paru dans les Comptes rendus de la séance du 27 février 1882.

Si tu veux me renseigner sur tes recherches surtout celles qui peuvent avoir trait au calcul numérique des fonctions, je t’en serai très reconnaissant; je voudrais n’être pas complètement ignorant sur l’étude des équations différentielles.⁷⁷ 7 Dans ce travail, Poincaré pose la question d’obtenir des développements en séries des solutions d’une équation différentielle “qui restent convergentes pour toutes les valeurs réelles de la variable” (Poincaré 1882a, 578). En écrivant les systèmes d’équations différentielles sous la forme $\frac{dx_{1}}{X_{1}}=\frac{dx_{2}}{X_{2}}=\ldots=\frac{dx_{n}}{X_{n}}$ où les $X_{i}$ sont des polynomes en $x_{1}$ , $x_{2}$ , … , $x_{n}$ , Poincaré “démontre qu’on peut toujours trouver un nombre $\alpha$ tel que $x_{1}$ , $x_{2}$ , … , $x_{n}$ puissent s’exprimer par des séries ordonnées suivant les puissances de $\frac{e^{\alpha s}-1}{e^{\alpha s}+1}$ et convergentes pour toutes les valeurs réelles de $s$ ” (Poincaré 1882a, 578). Il termine sa note en soulignant que si l’on appliquait ce genre de techniques aux équations de la mécanique céleste, les séries resteraient convergentes pour toutes les valeurs du temps et en précisant que l’exemple qu’il vient de donner n’est pas obligatoirement le meilleur. Voir aussi la correspondance avec Mittag-Leffler (§§1-1-28, 1-1-29). Tu pourras me trouver R. Jean Bart 9, hôtel Jean Bart, dans un domicile modeste que mon état de célibataire ne m’a pas interdit de conserver; je ne sors pas dans la matinée et rarement dans l’après-midi.⁸⁸ 8 Callandreau épouse le 7 juillet 1883, Sophie de Luynes, une des filles de Victor de Luynes (1828–1904) qui était professeur au Conservatoire des arts et métiers (chaire de chimie appliquée aux industries de teinture, céramique et verrerie).

Tout à toi,

Octave Callandreau

ALS 3p. Collection particulière, Paris 75017.

Time-stamp: " 3.05.2016 01:41"

Références

F. Brechenmacher (2007a) L’identité algébrique d’une pratique portée par la discussion sur l’équation à l’aide de laquelle on détermine les inégalités séculaires des planètes (1766–1874). Sciences et techniques en perspective, pp. 5–85. Cited by: footnote 1.
F. Brechenmacher (2007b) La controverse de 1874 entre Camille Jordan et Leopold Kronecker. Revue d’histoire des mathématiques 13 (2), pp. 187–257. External Links: Link Cited by: footnote 1.
J. L. Lagrange (1853) Mécanique analytique, Volume 1. Mallet-Bachelier, Paris. External Links: Link Cited by: footnote 1.
P. S. d. Laplace (1799) Traité de mécanique céleste. Duprat, Paris. External Links: Link Cited by: footnote 3.
H. Poincaré (1882a) Sur l’intégration des équations différentielles par les séries. Comptes rendus hebdomadaires des séances de l’Académie des sciences de Paris 94, pp. 577–578. External Links: Link Cited by: footnote 6, footnote 7.
H. Poincaré (1882b) Sur les séries trigonométriques. Comptes rendus hebdomadaires des séances de l’Académie des sciences de Paris 95, pp. 766–768. External Links: Link Cited by: footnote 4, footnote 5.
Secrétaires perpétuels de l’Académie des sciences (Ed.) (1891) Œuvres complètes de Laplace, Volume 8. Gauthier-Villars, Paris. External Links: Link Cited by: footnote 3.
Secrétaires perpétuels de l’Académie des sciences (Ed.) (1895) Œuvres complètes de Laplace, Volume 11. Gauthier-Villars, Paris. External Links: Link Cited by: footnote 3.
F. Tisserand (1889a) Traité de mécanique céleste, Volume 1. Gauthier-Villars, Paris. External Links: Link Cited by: footnote 3.
F. Tisserand (1889b) Traité de mécanique céleste. Gauthier-Villars, Paris. External Links: Link Cited by: footnote 2.
K. Weierstrass (1858) Über ein die homogenen Functionen zweiten Grades betreffendes Theorem, nebst Awendung desselben auf die Theorie der kleinen Schwingungen. Monatsberichte der Akademie der Wissenschaften zu Berlin, pp. 207–220. Cited by: footnote 1.