3-13-1. Louis-Joseph-Auguste Commines de Marsilly à H. Poincaré

Auxerre le 4 juin 1885

Monsieur et cher Collègue,

Je vous remercie de votre complaisance à me répondre et, au risque d’en abuser, je viens vous donner quelques indications sur les nouvelles intégrales que j’espère obtenir dans le problème des trois corps. Je ne connais pas la solution de Bour; mais je vous en dirai assez pour que vous puissiez juger ma méthode et me dire si elle rentre dans celle de Bour.11endnote: 1 Edmond Bour publie en 1855, alors qu’il est élève-ingénieur à l’École des mines de Paris, un mémoire Sur l’intégration des équations différentielles de la Mécanique analytique (Bour 1855b), dans lequel il s’intéresse à certains cas particuliers de la théorie de Jacobi. La même année, il soutient sa thèse en proposant (comme première thèse) un mémoire sur le problème des trois corps (Bour 1855a), dans lequel il s’inspire comme dans son travail précédent des résultats de Joseph Bertrand sur les intégrales des équations différentielles de la mécanique. Dans sa thèse, Bour montre qu’à l’aide d’un changement de variables, on peut conserver aux équations de la théorie de Bertrand la forme habituelle des équations d’Hamilton. L’intérêt du travail de Bour est de montrer que le problème général des trois corps peut se résoudre en perturbant le cas où le mouvement est plan puisque l’hamiltonien obtenu par Bour se décompose en deux parties : l’hamiltonien du problème restreint au plan et une fonction perturbatrice “égale au produit d’une constante qui dépend des aires par la somme des moments d’inertie des corps autour d’un certain axe, divisé par le carré du triangle formé par les trois corps” (Bour 1855a, 25). À la différence du travail de Bour, les calculs de Commines de Marsilly n’emploient pas l’approche hamiltonienne, mais une forme synthétique des équations du mouvement.

Les neuf équations du mouvement des trois corps rapportées à un système fixe d’axes rectangulaires peuvent être représentées par le symbole

(9)d2u(i)dt2=m(j)fu(j)u(i)r(k)3+m(k)fu(k)u(i)r(j)3(9)\qquad\frac{d^{2}u^{(i)}}{dt^{2}}=m^{(j)}f\frac{u^{(j)}-u^{(i)}}{r^{(k)3}}+% m^{(k)}f\frac{u^{(k)}-u^{(i)}}{r^{(j)3}} (1)

où l’on désigne par u¯\underline{u} l’une quelconque des trois coordonnées xx, yy, zz, par rr la distance de deux points et par (i)(i), (j)(j), (k)(k) trois accents consécutifs pris à volonté dans la série \prime, \prime\prime, \prime\prime\prime, \prime, \prime\prime, …. Les sept intégrales premières connues des équations (1) peuvent être comprises sous les types symboliques suivants:

(3)mdudt+m′′du′′dt+m′′′du′′′dt=a,bouc(3)\qquad m^{\prime}\frac{du^{\prime}}{dt}+m^{\prime\prime}\frac{du^{\prime% \prime}}{dt}+m^{\prime\prime\prime}\frac{du^{\prime\prime\prime}}{dt}=a,b\;% \text{ou}\;c (2)
(3)m(vdudtudvdt)+m′′(v′′du′′dtu′′dv′′dt)+m′′′(v′′′du′′′dtu′′′dv′′′dt)=γ,αouβ,(3)\qquad m^{\prime}\left(v^{\prime}\frac{du^{\prime}}{dt}-u^{\prime}\frac{dv^% {\prime}}{dt}\right)+m^{\prime\prime}\left(v^{\prime\prime}\frac{du^{\prime% \prime}}{dt}-u^{\prime\prime}\frac{dv^{\prime\prime}}{dt}\right)+m^{\prime% \prime\prime}\left(v^{\prime\prime\prime}\frac{du^{\prime\prime\prime}}{dt}-u^% {\prime\prime\prime}\frac{dv^{\prime\prime\prime}}{dt}\right)\\ =\gamma,\alpha\;\text{ou}\;\beta, (1)

(uu, vv représentant deux coordonnées consécutives dans la série xx, yy, zz, xx, …)

(1)12m(i)(dx(i)2dt2+dy(i)2dt2+dz(i)2dt2)=mm′′fr′′′+m′′m′′′fr+m′′′mfr′′+k.(1)\qquad\frac{1}{2}\sum m^{(i)}\left(\frac{dx^{(i)2}}{dt^{2}}+\frac{dy^{(i)2}% }{dt^{2}}+\frac{dz^{(i)2}}{dt^{2}}\right)=\frac{m^{\prime}m^{\prime\prime}f}{r% ^{\prime\prime\prime}}+\frac{m^{\prime\prime}m^{\prime\prime\prime}f}{r^{% \prime}}+\frac{m^{\prime\prime\prime}m^{\prime}f}{r^{\prime\prime}}+k. (4)

Il faut y ajouter trois intégrales secondes représentées par le symbole

(3)mu+m′′u′′+m′′′u′′′=at+aoubt+bouct+c.(3)\qquad m^{\prime}u^{\prime}+m^{\prime\prime}u^{\prime\prime}+m^{\prime% \prime\prime}u^{\prime\prime\prime}=at+a^{\prime}\;\text{ou}\;bt+b^{\prime}\;% \text{ou}\;ct+c^{\prime}. (5)

Voici l’idée qui s’est présentée à mon esprit.

Changeons de coordonnées, et, recourant à un système polaire connu, posons

x(i)\displaystyle x^{(i)} =R(i)sinφ(i)cosψ(i),\displaystyle=R^{(i)}\sin\varphi^{(i)}\cos\psi^{(i)}, (6)
y(i)\displaystyle y^{(i)} =R(i)sinφ(i)sinψ(i),\displaystyle=R^{(i)}\sin\varphi^{(i)}\sin\psi^{(i)},
z(i)\displaystyle z^{(i)} =R(i)cosφ(i).\displaystyle=R^{(i)}\cos\varphi^{(i)}.

La substitution de ces valeurs dans les trois équations (5) nous donnera RR^{\prime}, R′′R^{\prime\prime}, R′′′R^{\prime\prime\prime} en fonction de φ(i)\varphi^{(i)}, ψ(i)\psi^{(i)}. En posant

D\displaystyle D =cosφsinφ′′sinφ′′′sin(ψ′′ψ′′′)\displaystyle=-\cos\varphi^{\prime}\sin\varphi^{\prime\prime}\sin\varphi^{% \prime\prime\prime}\sin(\psi^{\prime\prime}-\psi^{\prime\prime\prime}) (7)
cosφ′′sinφ′′′sinφsin(ψ′′′ψ)\displaystyle\quad-\cos\varphi^{\prime\prime}\sin\varphi^{\prime\prime\prime}% \sin\varphi^{\prime}\sin(\psi^{\prime\prime\prime}-\psi^{\prime})
cosφ′′′sinφsinφ′′sin(ψψ′′),\displaystyle\quad-\cos\varphi^{\prime\prime\prime}\sin\varphi^{\prime}\sin% \varphi^{\prime\prime}\sin(\psi^{\prime}-\psi^{\prime\prime}),
N\displaystyle N^{\prime} =(at+a)(sinφ′′sinψ′′cosφ′′′sinφ′′′sinψ′′′cosφ′′)\displaystyle=(at+a^{\prime})(\sin\varphi^{\prime\prime}\sin\psi^{\prime\prime% }\cos\varphi^{\prime\prime\prime}-\sin\varphi^{\prime\prime\prime}\sin\psi^{% \prime\prime\prime}\cos\varphi^{\prime\prime})
+(bt+b)(cosφ′′sinφ′′′cosψ′′′cosφ′′′sinφ′′cosψ′′)\displaystyle\quad+(bt+b^{\prime})(\cos\varphi^{\prime\prime}\sin\varphi^{% \prime\prime\prime}\cos\psi^{\prime\prime\prime}-\cos\varphi^{\prime\prime% \prime}\sin\varphi^{\prime\prime}\cos\psi^{\prime\prime})
+(ct+c)sinφ′′sinφ′′′sin(ψ′′′ψ′′),\displaystyle\quad+(ct+c^{\prime})\sin\varphi^{\prime\prime}\sin\varphi^{% \prime\prime\prime}\sin(\psi^{\prime\prime\prime}-\psi^{\prime\prime}),
N′′\displaystyle N^{\prime\prime} =(at+a)(sinφ′′′sinψ′′′cosφsinφsinψcosφ′′′)\displaystyle=(at+a^{\prime})(\sin\varphi^{\prime\prime\prime}\sin\psi^{\prime% \prime\prime}\cos\varphi^{\prime}-\sin\varphi^{\prime}\sin\psi^{\prime}\cos% \varphi^{\prime\prime\prime})
+(bt+b)(cosφ′′′sinφcosψcosφsinφ′′′cosψ′′′)\displaystyle\quad+(bt+b^{\prime})(\cos\varphi^{\prime\prime\prime}\sin\varphi% ^{\prime}\cos\psi^{\prime}-\cos\varphi^{\prime}\sin\varphi^{\prime\prime\prime% }\cos\psi^{\prime\prime\prime})
+(ct+c)sinφ′′′sinφsin(ψψ′′′),\displaystyle\quad+(ct+c^{\prime})\sin\varphi^{\prime\prime\prime}\sin\varphi^% {\prime}\sin(\psi^{\prime}-\psi^{\prime\prime\prime}),
N′′′\displaystyle N^{\prime\prime\prime} =(at+a)(sinφsinψcosφ′′sinφ′′sinψ′′cosφ)\displaystyle=(at+a^{\prime})(\sin\varphi^{\prime}\sin\psi^{\prime}\cos\varphi% ^{\prime\prime}-\sin\varphi^{\prime\prime}\sin\psi^{\prime\prime}\cos\varphi^{% \prime})
+(bt+b)(cosφsinφ′′cosψ′′cosφ′′sinφcosψ)\displaystyle\quad+(bt+b^{\prime})(\cos\varphi^{\prime}\sin\varphi^{\prime% \prime}\cos\psi^{\prime\prime}-\cos\varphi^{\prime\prime}\sin\varphi^{\prime}% \cos\psi^{\prime})
+(ct+c)sinφsinφ′′sin(ψ′′ψ),\displaystyle\quad+(ct+c^{\prime})\sin\varphi^{\prime}\sin\varphi^{\prime% \prime}\sin(\psi^{\prime\prime}-\psi^{\prime}),

et

M=m+m′′+m′′′,M=m^{\prime}+m^{\prime\prime}+m^{\prime\prime\prime}, (8)

on aura

R=MNmD,R′′=MN′′m′′D,R′′′=MN′′′m′′′D.\begin{array}[]{ccc}\displaystyle R^{\prime}=\frac{MN^{\prime}}{m^{\prime}D},&% \displaystyle R^{\prime\prime}=\frac{MN^{\prime\prime}}{m^{\prime\prime}D},&% \displaystyle R^{\prime\prime\prime}=\frac{MN^{\prime\prime\prime}}{m^{\prime% \prime\prime}D}.\end{array} (9)

Si on remplace ces valeurs dans (6), puis les nouvelles valeurs de x(i)x^{(i)}, y(i)y^{(i)}, z(i)z^{(i)} dans (1), on aura neuf équations ne contenant plus que les six variables φ(i)\varphi^{(i)}, ψ(i)\psi^{(i)}, ainsi que leurs dérivées premières et secondes. En outre ces équations seront linéaires par rapport aux six dérivées secondes d2φ/dt2d^{2}\varphi^{\prime}/dt^{2}, d2ψ/dt2d^{2}\psi/dt^{2}, d2φ′′/dt2d^{2}\varphi^{\prime\prime}/dt^{2}, etc. On peut donc éliminer ces dernières et l’on trouvera trois équations entre les φ(i)\varphi^{(i)}, ψ(i)\psi^{(i)}, dφ(i)/dtd\varphi^{(i)}/dt, dψ(i)/dtd\psi^{(i)}/dt, lesquelles contiendront les constantes aa^{\prime}, bb^{\prime}, cc^{\prime} étrangères aux sept intégrales premières déjà trouvées; ce seront donc trois intégrales premières distinctes.

Voilà l’idée; elle n’aboutirait pas, si la substitution rendait les trois équations résultantes identiquement nulles, alors même qu’aux neuf équations (1), on en substituerait six (1) en trois différentielles de (3). Je ne crois cependant pas qu’il en soit ainsi, quoique je n’ai pas encore achevé tous les calculs relatifs à l’élimination, parce que les facteurs arbitraires dont je me sers pour opérer cette élimination et que j’ai déjà obtenus sont variables, et différents de mm^{\prime}, m′′m^{\prime\prime}, m′′′m^{\prime\prime\prime}. Toutefois, je ne pourrai me prononcer en connaissance exacte de cause qu’après avoir entièrement achevé et vérifié des calculs fort longs par eux-mêmes.

Il y aurait encore une autre remarque à faire. Si les trois équations résultantes sont distinctes les unes des autres, on aurait en tout dix intégrales premières et neuf dérivées dφ(i)/dtd\varphi^{(i)}/dt, dψ(i)/dtd\psi^{(i)}/dt. On pourrait donc éliminer celles-ci et obtenir une équation résultante entre les φ(i)\varphi^{(i)}, ψ(i)\psi^{(i)}, laquelle serait une quatrième intégrale seconde. Mais on aurait à opérer d’énormes calculs, et il me semble que cela n’est point possible, parce que le nombre des constantes serait insuffisant.

Pour le moment, je calcule les facteurs propres à l’élimination des dérivées secondes, et j’en ai déjà trois. Si j’échoue, j’aurais fait au moins un exercice bien sérieux sur le calcul des déterminants que j’ai appris tard, et, par suite, ne manie pas facilement.

Agréez, Monsieur et cher Collègue, l’assurance de ma considération la plus distinguée.

de Marsilly

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

Time-stamp: " 4.05.2019 00:12"

Notes

  • 1 Edmond Bour publie en 1855, alors qu’il est élève-ingénieur à l’École des mines de Paris, un mémoire Sur l’intégration des équations différentielles de la Mécanique analytique (Bour 1855b), dans lequel il s’intéresse à certains cas particuliers de la théorie de Jacobi. La même année, il soutient sa thèse en proposant (comme première thèse) un mémoire sur le problème des trois corps (Bour 1855a), dans lequel il s’inspire comme dans son travail précédent des résultats de Joseph Bertrand sur les intégrales des équations différentielles de la mécanique. Dans sa thèse, Bour montre qu’à l’aide d’un changement de variables, on peut conserver aux équations de la théorie de Bertrand la forme habituelle des équations d’Hamilton. L’intérêt du travail de Bour est de montrer que le problème général des trois corps peut se résoudre en perturbant le cas où le mouvement est plan puisque l’hamiltonien obtenu par Bour se décompose en deux parties : l’hamiltonien du problème restreint au plan et une fonction perturbatrice “égale au produit d’une constante qui dépend des aires par la somme des moments d’inertie des corps autour d’un certain axe, divisé par le carré du triangle formé par les trois corps” (Bour 1855a, 25). À la différence du travail de Bour, les calculs de Commines de Marsilly n’emploient pas l’approche hamiltonienne, mais une forme synthétique des équations du mouvement.

Références

  • E. Bour (1855a) Mémoire sur le problème des trois corps. Mallet-Bachelier, Paris. link1 Cited by: endnote 1.
  • E. Bour (1855b) Sur l’intégration des équations différentielles de la mécanique analytique. Journal de mathématiques pures et appliquées 20, pp. 185–200. link1 Cited by: endnote 1.