LES MÉTHODES NOUVELLES
DE LA
MÉCANIQUE CÉLESTE
TOME II.
Divers sens du mot convergence.
118.Il y a entre les géomètres et les astronomes une sorte de
malentendu au sujet de la signification du mot convergence. Les
géomètres, préoccupés de la parfaite rigueur et souvent trop
indifférents à la longueur de calculs inextricables dont ils conçoivent
la possibilité, sans songer à les entreprendre effectivement,
disent qu’une série est convergente quand la somme des termes
tend vers une limite déterminée, quand même les premiers termes
diminueraient très lentement. Les astronomes, au contraire, ont
coutume de dire qu’une série converge quand les vingt premiers
termes, par exemple, diminuent très rapidement, quand même les
termes suivants devraient croître indéfiniment.
Ainsi, pour prendre un exemple simple, considérons les deux
séries qui ont pour terme général
![{\displaystyle {\frac {1000^{n}}{1.2.3\dots n}}\;\;\mathrm {et} \;\;{\frac {1.2.3\dots n}{1000^{n}}}\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fcad0d7f570fc54aa473cff4e1f88e41f2f543f)
Les géomètres diront que la première série converge, et même qu’elle converge rapidement, parce que le millionième terme .est
beaucoup plus petit que le 999 999e ; mais ils regarderont la
seconde comme divergente, parce que le terme général peut
croître au delà de toute limite.
Les astronomes, au contraire, regarderont la première série
comme divergente, parce que les 1 000 premiers termes vont en
croissant ; et la seconde comme convergente, parce que les 1000
premiers termes vont en décroissant et que cette décroissance est
d’abord très rapide.
Les deux règles sont légitimes : la première, dans les recherches
théoriques ; la seconde, dans les applications numériques. Toutes
deux doivent régner, mais dans deux domaines séparés et dont il
importe de bien connaître les frontières.
Les astronomes ne les connaissent pas toujours d’une façon bien
précise, mais ils les franchissent rarement ; l’approximation dont
ils se contentent les maintient d’ordinaire beaucoup en deçà ;
d’ailleurs leur instinct les guide et, s’il les trompait, le contrôle
de l’observation les avertirait promptement de leur erreur.
Je crois néanmoins qu’il y a lieu d’apporter dans cette question
un peu plus de précision, et c’est ce que je vais essayer de faire,
bien que par sa nature même elle ne s’y prête pas beaucoup. Je
commence par dire, afin d’éviter toute confusion, que j’emploierai
toujours désormais, sauf avis contraire, le mot convergence dans
le sens des géomètres.
Séries analogues à celles de Stirling.
119.Le premier exemple qui a montré clairement la légitimité
de certains développements divergents est l’exemple classique de
la série de Stirling. Cauchy a montré que les termes de cette série
vont d’abord en décroissant, puis en croissant, de sorte que la
série diverge ; mais si l’on s’arrête au terme le plus petit, on
représente la fonction eulérienne avec une approximation d’autant
plus grande que l’argument est plus grand.
Depuis, des faits analogues très nombreux ont été mis en évidence,
et j’ai moi-même étudié dans les Acta mathematica,
Tome viii, une classe importante de séries qui jouissent des
mêmes propriétés que celle de Stirling.
Qu’on me permette d’en citer ici encore un autre exemple qui
présente quelques particularités intéressantes et qui nous sera
peut-être utile dans la suite.
Soit
un nombre positif plus petit que 1.
La série
(1)
|
|
|
converge pour toutes les valeurs de
et de
telles que
![{\displaystyle |w|<w_{0},\qquad \mu \geq 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc6b579f29cffe547bcd9f23b20b3103d9568646)
De plus la convergence est absolue et uniforme.
Nous avons, d’autre part,
![{\displaystyle {\frac {w^{n}}{1+n\mu }}=\textstyle \sum _{p}w^{n}(-1)^{p}n^{p}\mu ^{p}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01a3182792041773b88d7f232876d9716c2850e0)
on peut donc être tenté d’égaler
à la série à double entrée
![{\displaystyle \textstyle \sum _{n}\sum _{p}w^{n}(-1)^{p}n^{p}\mu ^{p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb6e81c50f153689470e7d95d2427607372e6e05)
Mais cette série ne converge pas absolument.
Ordonnons-en toutefois les termes suivant les puissances croissantes
de
il viendra
(2)
|
|
|
où
![{\displaystyle {\begin{aligned}\mathrm {A} _{0}&=\sum w^{n}\ &\mathrm {A} _{1}&=\textstyle \sum nw^{n}\ &\mathrm {A} _{2}&=\textstyle \sum n^{2}w^{n}\ &\mathrm {A} _{3}&=\textstyle \sum n^{3}w^{n}\ &\dots &\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e717643cbd907a85f645068015c14abb9152731)
La série (2), ordonnée suivant les puissances croissantes de
diverge. On a, en supposant
réel positif pour fixer les idées,
![{\displaystyle k^{k}w^{k}<\mathrm {A} _{k}<{\frac {k!}{(1-w)^{k}}}\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee1b2e15fbd5ab84c4bbba4d62a7c4817a292a57)
Il est clair que la série
![{\displaystyle \sum (-k\,w\,\mu )^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3db356641ab3cee13bc8fdbe1f885e8c3abeb5e7)
diverge et qu’il en est de même a fortiori de la série (2). Mais
si l’on envisage la série
![{\displaystyle \sum {\frac {(-\mu )^{k}k!}{(1-w)^{k}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c95e5e89627e993850ea9029252a4c356f6c5e6)
on voit que, si
est très petit, les premiers termes décroissent
très rapidement, bien que les suivants croissent au delà de toute
limite.
Cette série (2) représente-t-elle approximativement la fonction
Pour nous en rendre compte, posons
![{\displaystyle \varphi _{p}(w,\mu )=\mathrm {A} _{0}-\mathrm {A} _{1}\mu +\mathrm {A} _{2}\mu ^{2}-\dots +\mathrm {A} _{p}\mu ^{p}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a67cf6f67bb22de466970a8a298f317e5a71431)
je dis que
![{\displaystyle \lim {\frac {\varphi -\varphi _{p}}{\mu ^{p}}}=0,\quad \mathrm {pour} \quad \mu =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b9798021f0c92ac21a71e0af6204026fb5db336)
On trouve, en effet,
![{\displaystyle {\frac {\varphi -\varphi _{p}}{\mu ^{p}}}=(-1)^{p+1}\mu \sum {\frac {n^{p+1}w^{n}}{1+n\mu }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/974ba5100904a6d53e0ba587595cb0dfdbc57d59)
il est aisé de voir que la série
![{\displaystyle \sum {\frac {n^{p+1}w^{n}}{1+n\mu }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0894f5c74c9d7fa1c8417f2459a5b8422fcbb7)
converge uniformément ; on a donc pour ![{\displaystyle \mu =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3753282c0ad2ea1e7d63f39425efd13c37da3169)
![{\displaystyle \lim \sum {\frac {n^{p+1}w^{n}}{1+n\mu }}=\textstyle \sum n^{p+1}w^{n}={}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a910ab4b9730c0fe6f08774109765ef0047d5538)
quantité finie,
et, par conséquent,
C.Q.F.D.
Calcul de ces séries.
120.Nous sommes donc conduit à envisager une relation d’une
nature nouvelle qui peut exister entre une fonction de
et de
que nous appellerons
et une série divergente ordonnée
suivant les puissances de
(1)
|
|
|
où les coefficients
peuvent être des fonctions de
seulement indépendantes de
(c’est ce qui arrivait dans l’exemple
qui précède) ou bien dépendre à la fois de
et de ![{\displaystyle \mu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ef6db045c1f6193799bd25a4b68ba9f78646d2)
Posons
![{\displaystyle \varphi _{p}=f_{0}+\mu f_{1}+\mu ^{2}f_{2}+\dots +\mu ^{p}f_{p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dd2efc0dfce95f8b47f882b97ce32d0d780a066)
Si l’on a
![{\displaystyle \lim {\frac {\varphi -\varphi _{p}}{\mu ^{p}}}=0,\quad \mathrm {pour} \quad \mu =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afbd21c6ae7e5532a71c4d510fe181ab0210dddd)
je dirai que la série (1) représente asymptotiquement la fonction
et j’écrirai
(2)
|
|
|
j’appellerai les relations de la forme (2) égalités asymptotiques.
Il est clair que, si
est très petit, la différence
sera aussi
très petite et, bien que la série (2) soit divergente, la somme de
ses
premiers termes représente très approximativement la
fonction
Les astronomes diraient que cette série est convergente et
représente la fonction
Les astronomes ont continué de rechercher des séries qui satisfont
formellement aux équations différentielles proposées, sans se
préoccuper de leur convergence. Cette manière de faire semble
d’abord tout à fait illégitime et pourtant elle les conduit souvent
au but.
Pour s’expliquer ce fait, il est nécessaire d’examiner la question
de plus près et c’est ce que je me propose de faire.
Introduisons quelques définitions nouvelles.
Considérons un système d’équations différentielles
(3)
|
|
|
Je suppose que
soit une fonction uniforme de
de
et d’un paramètre
et soit développable suivant les
puissances croissantes de
Considérons maintenant
séries divergentes que j’écrirai
![{\displaystyle {\begin{array}{l}{\begin{alignedat}{4}\mathrm {S} _{1}&=f_{0,1}&{}+{}&\mu f_{1,1}&{}+{}&\mu ^{2}f_{2,1}&{}+{}&\dots ,\\\mathrm {S} _{2}&=f_{0,2}&{}+{}&\mu f_{1,2}&{}+{}&\mu ^{2}f_{2,2}&{}+{}&\dots ,\end{alignedat}}\\.\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots ,\\{\begin{alignedat}{4}\mathrm {S} _{n}&=f_{0,n}&{}+{}&\mu f_{1,n}&{}+{}&\mu ^{2}f_{2,n}&{}+{}&\dots .\end{alignedat}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94dd71752b70f044eecd4789b22edc4daabeb959)
Je suppose que les
soient des fonctions connues de
et de
et de plus que ces fonctions soient développables en séries convergentes
suivant les puissances croissantes de ![{\displaystyle \mu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ef6db045c1f6193799bd25a4b68ba9f78646d2)
Soit
la somme des
premiers termes de la série
Je
dirai que les séries
satisfont formellement aux
équations différentielles (3), si, quand on substitue
![{\displaystyle \varphi _{p,1},\quad \varphi _{p,2},\quad \ldots ,\quad \varphi _{p,n},\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3924426c2fb002184e9cd94ab8c9adaf0b5edae)
à la place de
![{\displaystyle x_{1},\quad x_{2},\quad \ldots ,\quad x_{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1784d2a0758f83e0aceabead075d44d16c342437)
la différence
devient divisible par ![{\displaystyle \mu ^{p+1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68271d08fdde676ea8f2581373a3dd102750f039)
Cette définition posée, voici ce que je me propose d’établir :
considérons une solution particulière des équations (3), à savoir
celle qui est telle que
![{\displaystyle x_{1}=x_{2}=\ldots =x_{n}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f430c93c24d917025573dca5d66497b71b763017)
pour ![{\displaystyle t=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9248d91021260015d75d2b7540612616bbb36b88)
Soit
![{\displaystyle {\begin{aligned}x_{1}&=\theta _{1}(t,\mu ),&x_{2}&=\theta _{2}(t,\mu ),&&\ldots ,&x_{n}&=\theta _{n}(t,\mu ).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/700ec2572ca668adcb98a22badeeec707f711fbc)
Je suppose que les fonctions
s’annulent toutes pour ![{\displaystyle t=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9248d91021260015d75d2b7540612616bbb36b88)
Je dis que l’on aura les égalités asymptotiques suivantes
(4)
|
|
|
En effet, posons
![{\displaystyle {\begin{aligned}x_{1}&=\varphi _{p,1}+\mu ^{p+1}\xi _{1},&x_{2}&=\varphi _{p,2}+\mu ^{p+1}\xi _{2},&&\ldots ,&x_{n}&=\varphi _{p,n}+\mu ^{p+1}\xi _{n}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbcd407ff34879a63cb04bb766e9266c839d1ff2)
Substituons ces valeurs des
dans les équations (3), ces équations
deviendront
![{\displaystyle \mu ^{p+1}{\frac {d\xi _{i}}{dt}}=\mathrm {X} _{i}-{\frac {d\varphi _{p,i}}{dt}}\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/614532f9f84145f71cf26c968e670f50228fb187)
Après la substitution,
deviendra développable suivant les puissances
croissantes de
de
![{\displaystyle \mu ^{p+1}\xi _{1},\quad \mu ^{p+1}\xi _{2},\quad \cdots ,\quad \mu ^{p+1}\xi _{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5068c33420c6de4b6b618a09fed992a46bb60614)
les coefficients du développement étant des fonctions connues du temps.
Il n’y aurait d’exception que si la solution particulière
![{\displaystyle {\begin{aligned}x_{1}&=\theta _{1}(t,0),&x_{2}&=\theta _{2}(t,0),&&\dots ,&x_{n}&=\theta _{n}(t,0),&\mu =0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab6f9189929e05203a47699dc4403c4660ffe236)
allait, pour l’une des valeurs de
que l’on a à considérer, passer
par un des points singuliers de l’équation différentielle (j’appelle
ainsi, comme dans le Chap. II, no 27, les systèmes de valeurs de
et
pour lesquels
les
cessent d’être des fonctions holomorphes).
On pourra donc, ainsi que nous l’avons vu au no 27, trouver
deux nombres positifs
et
tels que
![{\displaystyle \mathrm {X} _{i}-{\frac {d\varphi _{p,i}}{dt}}\ll {\frac {\mathrm {M} }{1-\alpha (\mu +\mu ^{p+1}\xi _{1}+\dots +\mu ^{p+1}\xi _{n})}}\arg(\mu ,\xi _{k}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b75f6263055b27cce5e4c645180db8fc02a9fac1)
Mais par hypothèse les séries
satisfont formellement
aux équations (3). Cela veut dire que si l’on fait
![{\displaystyle \xi _{1}=\xi _{2}=\dots =\xi _{n}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6786bad40340407246b8b780dec614ddaea4c331)
d’où
![{\displaystyle x_{i}=\varphi _{p,i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd9c5f5359f99c6b793d17533aa97aed5c6c2a00)
les différences
deviendront divisibles par
Nous
avons donc
(5)
|
|
|
Si nous appelons pour abréger
le second membre de
l’inégalité (5), et que nous posions
![{\displaystyle \mathrm {X} _{i}-{\frac {d\varphi _{p,i}}{dt}}=\mu ^{p+1}\mathrm {Y} _{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4523f59361a6cf1e7f619a5d781b46bf8147e44)
les équations (3) deviendront
(6)
|
|
|
avec la condition
![{\displaystyle \mathrm {Y} _{i}\ll \mathrm {Z} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/715dbd21b474cd1205bd09462bad69122b605ec9)
Considérons la solution particulière des équations (6) qui est telle que
![{\displaystyle \xi _{1}=\xi _{2}=\dots =\xi _{n}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be1e7b8b5fd206c852b9de4a308e5009e36ad225)
pour
Cette solution peut s’écrire
![{\displaystyle \xi _{i}={\frac {\theta _{i}(t,\mu )-\varphi _{p,i}}{\mu ^{p+1}}}\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc64432b9ba6a36051eea9732421f03022922b2d)
Pour démontrer les égalités asymptotiques (4), il me suffit donc
d’établir que
est fini ; et pour cela il me suffit de comparer les
équations (6) aux équations
(6 bis)
|
|
|
Tant que la solution de (6 bis) sera finie, il en sera de même de
celle de (6). Or les équations (6 bis) sont faciles à intégrer. Car
si l’on pose
![{\displaystyle \xi _{1}+\xi _{2}+\dots +\xi _{n}=\sigma ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6747946d889749d6c85e063b531385a537709a4a)
il vient, pour la solution particulière que nous considérons
![{\displaystyle \xi _{1}=\xi _{2}=\dots =\xi _{n}={\frac {\sigma }{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e88e833f230b118c1d3649d404d50eb432703db8)
et
![{\displaystyle {\frac {d\sigma }{dt}}={\frac {\mathrm {M} \alpha (\alpha ^{p}+\sigma )}{1-\alpha \mu -\sigma \mu ^{p+1}}}\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ff11ecf9bdf79c068dd62926f84bc3754e9bb2b)
Il est facile d’intégrer cette dernière équation et de constater que
est fini, et que
tend vers une limite finie quand
tend vers 0.
Il en est donc de même des
C.Q.F.D.
Ce théorème justifie la manière de faire des astronomes pourvu
que
soit suffisamment petit. Peut-être aurait-il pu être établi plus
simplement ; mais la démonstration qui précède peut donner un
moyen simple de trouver une limite supérieure de l’erreur commise.
121.Dans quelle mesure les règles ordinaires du calcul sont-elles
applicables au calcul formel, c’est ce qu’il nous reste à voir :
Pour cela, considérons deux équations simultanées
(1)
|
|
|
et
étant des fonctions uniformes de
et
développables suivant les puissances de ![{\displaystyle \mu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ef6db045c1f6193799bd25a4b68ba9f78646d2)
Changeons de variables en posant
![{\displaystyle {\begin{aligned}x&=\psi _{1}(\xi ,\eta ),\\y&=\psi _{2}(\xi ,\eta ),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca4afff4705fa5abdaaec964f9f382edcf51f5f0)
et
étant des fonctions de
et ![{\displaystyle \mu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ef6db045c1f6193799bd25a4b68ba9f78646d2)
Les équations différentielles deviendront
(2)
|
|
|
où
![{\displaystyle {\begin{aligned}\mathrm {X} &={\frac {dx}{d\xi }}\,\mathrm {X} '+{\frac {dx}{d\eta }}\,\mathrm {Y} ',\\\mathrm {Y} &={\frac {dy}{d\xi }}\,\mathrm {X} '+{\frac {dy}{d\eta }}\,\mathrm {Y} ',\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad75a6aad8f135cc62dd84880964c2f112e23471)
et
seront développables suivant les puissances croissantes
de
à moins que
ne soit divisible par
ce que
nous ne supposerons pas.
Cela posé, soient
![{\displaystyle {\begin{aligned}\mathrm {S} &=f_{0}+\mu f_{1}+\mu ^{2}f_{2}+\dots ,\\\mathrm {S} '&=f'_{0}+\mu f'_{1}+\mu ^{2}f'_{2}+\dots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/053276752938705b98d5f6434c38a56ff744e448)
deux séries divergentes, les
et les
étant des fonctions de
et
de
développables en séries convergentes suivant les puissances
croissantes de ![{\displaystyle \mu '.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8cc619dfccdb610f9f606c257cecdee47148390)
Je suppose que ces séries
et
satisfassent formellement aux
équations (2) quand on les substitue à la place de
et de
et qu’on
y fait
Substituons maintenant dans les deux équations
![{\displaystyle {\begin{aligned}x&=\psi _{1}(\xi ,\eta ),&y&=\psi _{2}(\xi ,\eta ),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/037025cc96d3da08e454ec9f9c8f19da93e1b697)
et
à la place de
et
et développons ensuite
![{\displaystyle \psi _{1}(S,\mathrm {S} '),\quad \psi _{2}(S,\mathrm {S} ')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feed7fb21d1e370914b4877627a6b38166900ab7)
suivant les puissances croissantes de
Bien que les séries
et
soient supposées divergentes, le développement se fera par les
règles ordinaires du calcul. Voici ce que j’entends par là.
Soient
et
la somme des
premiers termes de
et
de
Supposons que l’on veuille calculer les
premiers
termes du développement de
et de
Il faut prendre pour ces
premiers termes les
premiers
termes du développement de
![{\displaystyle \psi _{1}(\mathrm {S} _{p},\mathrm {S} '_{p})\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/84158a90be99b0756111fb96c1c96aa0fc53f55e)
et
![{\displaystyle \quad \psi _{2}(\mathrm {S} _{p},\mathrm {S} '_{p})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01b3daebee08f6d2d25d7aa5b5d2c4a55a265b72)
Nous obtiendrons ainsi deux séries divergentes que je puis écrire
(3)
|
|
|
et ces séries sont de même forme que les séries
et ![{\displaystyle \mathrm {S} '.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d6a5d478b50df35bcd429ce34c722483a603b4e)
Je dis que ces deux séries satisferont formellement aux équations (1),
quand on les substituera à la place de
et de
et qu’on
fera ensuite
En effet, si l’on fait
![{\displaystyle {\begin{aligned}x&=\psi _{1}(\mathrm {S} _{p},\mathrm {S} '_{p}),&y&=\psi _{2}(\mathrm {S} _{p},\mathrm {S} '_{p}),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c607963d24fb6e822d9665a6240ada49f928eda8)
la différence des deux membres des équations (1) devient divisible
par ![{\displaystyle \mu ^{p+1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68271d08fdde676ea8f2581373a3dd102750f039)
D’autre part, si l’on appelle
et
la somme des
premiers termes des séries (3), les différences
![{\displaystyle \Sigma _{p}-\psi _{1}(\mathrm {S} _{p},\mathrm {S} '_{p}),\quad \Sigma '_{p}-\psi _{2}(\mathrm {S} _{p},\mathrm {S} '_{p}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b6b5ed08b1c532c2eed1175ef6728c346c7f32e)
seront divisibles par ![{\displaystyle \mu ^{p+1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68271d08fdde676ea8f2581373a3dd102750f039)
Il est facile d’en conclure que si l’on fait
![{\displaystyle x=\Sigma _{p},\quad y=\Sigma '_{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bcc515dfd32eaea167ab0490c671d73073b59c7)
la différence des deux membres des équations (1) deviendra divisible
par
C.Q.F.D.
Soit maintenant une équation unique
(4)
|
|
|
étant fonction de
de
et de ![{\displaystyle \mu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ef6db045c1f6193799bd25a4b68ba9f78646d2)
Posons
![{\displaystyle {\frac {dx}{dt}}=y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/603c2ec5a06a18878d1e46f9a38e474097638ba7)
il viendra
(5)
|
|
|
Soit une série divergente
![{\displaystyle \mathrm {S} =f_{0}+\mu f_{1}+\mu ^{2}f_{2}+\dots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7a4422529f3a19d669b48350a6a20bdc252f070)
qui satisfasse formellement à l’équation (4).
Formons la série
![{\displaystyle \mathrm {S} '=f'_{0}+\mu f'_{1}+\mu ^{2}f'_{2}+\dots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/000929a991ac405bf43e1536d971a1c9910ad392)
obtenue en différentiant chaque terme par rapport à ![{\displaystyle t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e6cc375ac6123d2342be53eba87b92fbbacf07)
Je dis que les deux séries
et
satisferont formellement aux
deux équations (4) et (5).
Soit, en effet,
et
la somme des
premiers termes de
et de
on aura
![{\displaystyle \mathrm {S} '_{p}={\frac {d\mathrm {S} _{p}}{dt}}\cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/766310c6c0259ced53f513fc627e29a5ea7986f6)
Posons
![{\displaystyle \mathrm {X} =\mathrm {X} (x,t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86717fa81a0f76a739ec789ad9e8297d9d12b801)
![{\displaystyle {\frac {d\mathrm {X} }{dt}}+y\,{\frac {d\mathrm {X} }{dx}}=\mathrm {Y} (x,y,t).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/903c43343970063de73c9584ed45c7f5c9fa699e)
Je dis que la différence
![{\displaystyle \mathrm {Y} (\mathrm {S} _{p},\mathrm {S} '_{p},t)-{\frac {d\mathrm {S} '_{p}}{dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ce0fd7203c425de8c0d7a368ce02540a3fabb00)
est divisible par ![{\displaystyle \mu ^{p+1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68271d08fdde676ea8f2581373a3dd102750f039)
En effet, par hypothèse, la différence
![{\displaystyle \mathrm {U} =\mathrm {X} (\mathrm {S} _{p},t)-{\frac {d\mathrm {S} _{p}}{dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30186b556efe14d5db111145ffa3d10a6af4abc5)
est divisible par
il doit donc en être de même de sa dérivée
C.Q.F.D.
Ainsi les règles ordinaires du calcul sont applicables au calcul
formel.
La question la plus intéressante pour ce qui va suivre est de
savoir si les théorèmes de Jacobi exposés aux nos 3 et 4 sont applicables
au calcul formel.
La réponse à cette question doit être affirmative ; nous le démontrerons
plus loin au no 125 sur un exemple particulier, mais la
démonstration peut s’étendre sans changement au cas général.
122.Dans le Tome VIII des Acta mathematica, page 290, j’ai
démontré certaines propriétés des égalités asymptotiques.
On peut additionner deux égalités asymptotiques ; on peut également
les multiplier l’une par l’autre.
Soit maintenant
![{\displaystyle \mathrm {S} =f_{0}+\mu f_{1}+\mu ^{2}f_{2}+\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/eec7c8fd2c3bb0d63d740097fa60628dbeb346a2)
une série divergente, les
étant fonctions de ![{\displaystyle t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e6cc375ac6123d2342be53eba87b92fbbacf07)
Soit
![{\displaystyle \varphi (t,\mu )\equiv \mathrm {S} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5130794e728a2f561579b90a5baf570cbb048d0b)
une égalité asymptotique.
Supposons que
de sorte que, pour
on ait
![{\displaystyle \mathrm {S} =0,\qquad \varphi (t,0)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44462c2eef68693124f4f53ef9868de6aa19980d)
Soit maintenant une fonction de
holomorphe pour
Substituons
à la place de
dans
et développons
suivant les puissances de
par les règles ordinaires du calcul,
ainsi qu’il a été expliqué au numéro précédent. On aura l’égalité
asymptotique
![{\displaystyle \mathrm {F} [\varphi (t,\mu )]\equiv \mathrm {F} (\mathrm {S} ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb417964dcfa5eeeebb7d7abd37cdb79d0128a99)
Il est inutile de reproduire ici les démonstrations ; le lecteur
pourra les retrouver dans le Mémoire cité ; mais je l’engage à n’en
pas prendre la peine ; car elles sont si faciles qu’il aura plus vite
fait de les reconstruire lui-même.
Soit maintenant une égalité asymptotique
![{\displaystyle \varphi (t,\mu )\equiv f_{0}+\mu f_{1}+\mu ^{2}f_{2}+\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4bc740301cde7df077fff01ab3b3cc6e5d7b656)
les
dépendant de
et de
Je suppose que cette égalité ait lieu
uniformément. Je veux dire que l’expression
![{\displaystyle {\frac {\varphi -\varphi _{p}}{\mu ^{p}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6afa45b37b58bf959bd1a936a4eda48689117b8c)
où
désigne la somme des
premiers termes de la série,
tend uniformément vers 0 quel que soit
quand
tend vers 0 ;
c’est-à-dire qu’on peut trouver un nombre
indépendant de
dépendant seulement de
et s’annulant avec
tel que
![{\displaystyle |\varphi -\varphi _{p}|<\mu ^{p}\varepsilon .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/307cb9901ddb52172f2fd81f7afb6baa77c045a3)
On aura alors
![{\displaystyle \left|\int _{t_{0}}^{t_{1}}(\varphi -\varphi _{p})\,dt\right|<\mu ^{p}\varepsilon (t_{1}-t_{0}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f7cf54b8c3e1e7cfdaf02204a7cedc4cb99cf4c)
ce qui montre qu’on aura l’égalité asymptotique
![{\displaystyle \int \varphi \,dt\equiv \int f_{0}\,dt+\mu \int f_{1}\,dt+\mu ^{2}\int f_{2}\,dt+\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cb47d2fd6b04fdf1b33090cc65ee1581e042f5f)
On a donc le droit d’intégrer une égalité asymptotique. Au
contraire, on n’aurait pas en général le droit de la différentier. Il
est cependant un cas où les principes qui précèdent nous permettent
de le faire.
Soit
une solution d’une équation différentielle et
une
série qui satisfait formellement à cette équation.
On aura asymptotiquement
![{\displaystyle \varphi (t,\mu )\equiv \mathrm {S} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c39b6d33ef7bc1d8a075bc7ff4de32c7be81bf3)
Soit
la série obtenue en différentiant chaque terme de
D’après le numéro précédent, cette série satisfait formellement
à l’équation différentielle à laquelle satisfait effectivement la
dérivée
On aura donc l’égalité asymptotique
![{\displaystyle {\frac {d\varphi }{dt}}\equiv \mathrm {S} '.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cd39c814a14df77f941f78fed3bea4e9098bca4)
Je demande pardon au lecteur d’avoir tant insisté sur des points
aussi simples, mais je tenais à bien faire comprendre la nature du
malentendu dont j’ai parlé plus haut. Je voulais également, avant
d’aborder l’étude des méthodes d’approximations successives employées
en Mécanique céleste, méthodes qui sont divergentes
au point de vue des géomètres, expliquer pourquoi leur emploi a
pu rendre des services aux astronomes.