ANALISE TRANSCENDANTE.
Intégration par approximation de toute équation
différentielle quelconque ;
Par
M. le professeur
Kramp, correspondant de l’académie
royale des sciences, doyen de la faculté des sciences de
Strasbourg, Chevalier de l’Ordre royal de la Légion d’honneur.
≈≈≈≈≈≈≈≈≈
I. Le mémoire actuel sera destiné à intégrer, par approximation, l’équation différentielle qui suit :
![{\displaystyle y+A{\frac {\operatorname {d} y}{\operatorname {d} t}}=T\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9c1155cd7a3e2404f85e6f702f08d840178a0cf)
dans laquelle la lettre
désigne un coefficient quelconque constant, et la lettre
une fonction quelconque de
L’approximation sera semblable à celle que nous avons employée pour intégrer la différentielle
dans divers mémoires déjà publiés dans ce recueil. Ainsi elle doit, dans les cas ordinaires, savoir, dans ceux qui sont sans asymptotes, sans points d’inflexion ni de rebroussement, faire connaître, dès le premier essai, l’intégrale demandée, jusqu’à cinq, et dès le second jusqu’à dix ou douze décimales. Il sera facile ensuite d’appliquer la méthode à des cas plus compliqués. Ainsi ; l’équation plus générale
![{\displaystyle y+A{\frac {\operatorname {d} y}{\operatorname {d} t}}+B{\frac {\operatorname {d} ^{2}y}{\operatorname {d} t^{2}}}+C{\frac {\operatorname {d} ^{3}y}{\operatorname {d} t^{3}}}+\ldots =T,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23ab13f2cb15d168b21ba8fbafd54e446f3f9fcf)
dans laquelle
sont des constantes, rentrera dans celle de l’équation qui va nous occuper, et s’exécutera par des moyens analogues.
2. Il est bon de remarquer que l’équation
![{\displaystyle y+A{\frac {\operatorname {d} y}{\operatorname {d} t}}=T,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4d88b9236b0e7b0f4abb418bc49f492d3937ace)
se réduit presque d’elle-même à
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=Q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8877e4c90ef97def69ec64edcfe39cdffc9951d0)
en posant simplement,
Si, au contraire, la proposée est
![{\displaystyle y-A{\frac {\operatorname {d} y}{\operatorname {d} t}}=T,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41be67c45ad6d0209cb4a7c53325287351e18352)
en posant également
elle deviendra
![{\displaystyle y-{\frac {\operatorname {d} y}{\operatorname {d} x}}=Q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c202eb03ff99fc717463ae005fb5487fcb7135ef)
étant, dans l’une et l’autre, une fonction connue de
Nous nous occuperons donc uniquement, dans tout ce qui va suivre, des deux équations
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=Q,\qquad y-{\frac {\operatorname {d} y}{\operatorname {d} x}}=Q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59296683891a3bac3333ee03b5320d358e8f9f4a)
ce qui introduira dans nos calculs des simplifications notables.
3. La valeur rigoureuse de
est
![{\displaystyle y=e^{-x}\int e^{x}Q\operatorname {d} x=e^{-x}(C+X)=Ce^{-x}+Xe^{-x}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac1458a29fb8d30a6b68b44bc28b4b09e6c62275)
en désignant par
une constante arbitraire, et par
une certaine fonction de
que le calcul nous fera connaître, et dont la détermination est précisément l’objet principal qui doit nous occuper. L’autre
partie
appartient généralement à toutes les équations différentielles de cette classe ; de sorte qu’après avoir trouvé l’intégrale
particulière
il ne s’agira, pour la rendre complète, que de
lui ajouter le terme
. La méthode que nous allons enseigner
suppose qu’avant tout on soit instruit des limites entre lesquelles
l’intégrale doit être prise. En supposant qu’il faille la prendre entre
et
il faudra partager l’intervalle entier
en un
certain nombre de parties égales. Le nombre en est arbitraire ; mais,
plus il sera grand, et plus on approchera de l’intégrale demandée.
Il faut cependant bien se garder de croire qu’en prenant les nombres arbitraires en progression arithmétique, et en supposant, par
exemple,
successivement égal
la suite des erreurs qui en résultent soit constamment décroissante :
la courbe qui aurait ces erreurs pour ordonnées irait en serpentant
des deux côtés de l’axe, mais en se rapprochant toujours de cet
axe, avec lequel elle coïnciderait à l’infini ; ce qui est conforme
à la nature de la chose, et ce que j’ai bien directement prouvé
d’ailleurs, par la table des erreurs de
(Annales, tom. VI, pag. 379, 887). Il faut savoir de plus qu’en excluant complètement les
asymptotes, les points d’inflexion et les points de rebroussement,
les résultats commencent à devenir incertains, lorsque les limites
sont trop voisines des points où ces circonstances se rencontrent ;
c’est ainsi, par exemple, qu’en appliquant les formules à la logistique ; et en employant les coordonnées ordinaires, on trouve
des erreurs assez considérables, mais qui disparaissent pourtant en
prenant d’autres coordonnées, plus éloignées de la direction de
l’asymptote. Les courbes qui s’intègrent le mieux par cette méthode, sont les courbes rentrantes sur elles-mêmes ; ce sont les
plus employées dans la pratique, et ce sont en même temps celles
auxquelles la nouvelle méthode est le plus applicable. Il est possible, au reste, que le mémoire actuel paraisse inutile à bien des
personnes ; attendu que, puisque nous avons ici
![{\displaystyle y=e^{-x}\int e^{x}Q\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/689bd1db8e5b31aed5eb5063390016b3ed51bdc7)
il s’ensuit que l’intégration à effectuer n’est autre que celle de la formule générale
dans laquelle
a pris la forme particulière
et qu’ainsi tout se réduit, pour avoir
à diviser par
cette même intégrale que nous avons déjà enseignée à déterminer dans nos précédens mémoires. Mais d’abord le produit
diffère considérablement de la simple fonction
et doit, par suite, introduire une différence notable dans l’intégrale. En outre, l’intégration de
est un passage nécessaire pour parvenir à l’intégration de l’équation
![{\displaystyle y+P{\frac {\operatorname {d} y}{\operatorname {d} x}}=Q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cafcfd8ccb399ab34e21c529a1523af9a482c2ff)
ainsi qu’à celles d’autres équations d’une forme plus compliquée.
4. Commençons par supposer le nombre arbitraire égal à cinq unités : ce qui donne
![{\displaystyle y=A+Bx+Cx^{2}+Dx^{3}+Ex^{4}+Fx^{5},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06d2babb72e1be8dcdb659a53f0b7fb287748e81)
d’où
![{\displaystyle {\frac {\operatorname {d} y}{\operatorname {d} x}}=B+2Cx+3Dx^{2}+4Ex^{3}+5Fx^{4}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a2467ff4a119a9a4971ec4e4730a1864e6eced4)
et par conséquent
![{\displaystyle Q=y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=(A+B)+(B+2C)x+(C+3D)x^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82614cc06b97d74dcbcc0338d11c335058efc52d)
![{\displaystyle +(D+4E)x^{3}+(E+5F)x^{4}+Fx^{5}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1242365525fb0e45220bbe9a8d21324a5b1e6ab9)
En supposant successivement ici à la variable
les valeurs entières et positives
et en désignant par
celles qui en résultent pour
nous aurons
![{\displaystyle {\begin{aligned}q_{0}&=A+B,\\q_{1}&=A+2B+\ \ 3C+\quad 4D+\quad \ \ 5E+\quad \ \ 6F,\\q_{2}&=A+3B+\ \ 8C+\ \ 20D+\quad 48E+\ \ 112F,\\q_{3}&=A+4B+15C+\ \ 54D+\ \ 189E+\ \ 648F,\\q_{4}&=A+5B+24C+112D+\ \ 512E+2304F,\\q_{5}&=A+6B+35C+200D+1125E+6250F.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/453ba6f2832750064aa67eb1a76eca1605a4f297)
En ôtant chacune de ces équations de celle qui la suit immédiatement et dénotant par
les différences qui en résultent, on aura
![{\displaystyle {\begin{aligned}\Delta q_{0}&=B+\ \ 3C+\ \ 4D+\quad 5E+\quad \ \ 6F,\\\Delta q_{1}&=B+\ \ 5C+16D+\ \ 43E+\ \ 106F,\\\Delta q_{2}&=B+\ \ 7C+34D+141E+\ \ 536F,\\\Delta q_{3}&=B+\ \ 9C+58D+323E+1656F,\\\Delta q_{4}&=B+11C+88D+613E+3946F,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1df81877e65e7cf4dc99d570c5d8fa614feed983)
Dénotant de même par
les différence. consécutives de celles-ci, divisées par deux, il viendra
![{\displaystyle {\begin{aligned}\Delta ^{2}q_{0}&=C+\ \ 6D+\ \ 19E+\quad 50F,\\\Delta ^{2}q_{1}&=C+\ \ 9D+\ \ 49E+\ \ 215F,\\\Delta ^{2}q_{2}&=C+12D+\ \ 91E+\ \ 560F,\\\Delta ^{2}q_{3}&=C+15D+145E+1145F.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/936dbab50ca23e947211c7bb2da8dcf1600a6912)
Dénotant en outre par
les différences consécutives de celles-ci, divisées par trois, nous aurons
![{\displaystyle {\begin{aligned}\Delta ^{3}q_{0}&=D+10E+\ \ 55F,\\\Delta ^{3}q_{1}&=D+14E+115F,\\\Delta ^{3}q_{2}&=D+18E+195F.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2a63833a13849339683a7c2116661c3a4839e22)
Dénotant encore par
les différences consécutives de ces dernières, divisées par quatre, il viendra
![{\displaystyle {\begin{aligned}\Delta ^{4}q_{0}&=E+15F,\\\Delta ^{4}q_{1}&=E+20F,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fcd53bbd9149c230e4ef95abe0d46128970e9e6)
Dénotant enfin par
la différence de ces deux-ci, divisées par cinq, on aura
![{\displaystyle \Delta ^{5}q_{0}=F.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b54e83df7a33af30fac37b1ee54ee0664c9ac2)
5. En prenant seulement la première équation de chaque série,
et supprimant les indices, désormais inutiles, nous aurons, pour
le diviseur cinq,
![{\displaystyle {\begin{aligned}\Delta ^{5}q&=F,\\\Delta ^{4}q&=E+15F,\\\Delta ^{3}q&=D+10E+55F,\\\Delta ^{2}q&=C+\ \ 6D+19E+50F,\\\Delta q&=B+\ \ 3C+\ \ 4D+\ \ 5E+6F,\\q&=A+B.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/755f4e8a71140ee647bd75372f6b45bae8ef0ae8)
Si, au lieu du nombre cinq, nous eussions pris tout autre nombre, le nombre douze, par exemple, nous aurions trouvé, par un semblable calcul,
![{\displaystyle {\begin{alignedat}{6}\Delta ^{12}q&=&N,&\\\Delta ^{11}q&=&M&+&78N,&\\\Delta ^{10}q&=&L&+&66M&+&2365N,&\\\Delta ^{9}q&=&K&+&55L&+&1650M&+&36135N,&\\\Delta ^{8}q&=&I&+&45K&+&1110L&+&20130M&+&301587N,&\\\Delta ^{7}q&=&H&+&36I&+&714K&+&10500L&+&12866M&+&1595240N,&\\\Delta ^{6}q&=&G&+&28H&+&434I&+&5040K&+&49287L&+&430584M\\&&&&&&&&&&&+&3477496N,&\\\Delta ^{5}q&=&F&+&21G&+&245H&+&2170I&+&16401K&+&112035L\\&&&&&&&&&+&764505M&+&4340160N,&\\\Delta ^{4}q&=&E&+&15F&+&125G&+&805H&+&4501I&+&25079K\\&&&&&&&+&111805L&+&520905M&+&2360501N,&\\\Delta ^{3}q&=&D&+&10E&+&55F&+&240G&+&931H&+&3374I\\&&&&&+&11719K&+&39580L&+&131131M&+&428538N,&\\\Delta ^{2}q&=&C&+&6D&+&19E&+&50F&+&121G&+&280H\\&&&+&631I&+&1398K&+&3061L&+&6644M&+&24323N,&\\\Delta ^{1}q&=&B&+&3C&+&4D&+&5E&+&6F&+&7G\\&+&8H&+&9I&+&10K&+&11L&+&12M&+&13N,&\\q&=&A&+&B.\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1859dec53d5c6010cd0673154ca22ac5a0d5c9ac)
Cette table n’est pas seulement applicable au nombre douze ; elle
l’est également à tous les diviseurs inférieurs, en s’arrètant dans
chacune des formules à la lettre qui marque la limite de la division ;
à la lettre
par exemple, si le diviseur est six ; à la lettre
si ce diviseur est huit ; et ainsi des autres.
6. Il reste donc à déterminer, à l’aide de ces équations, les
valeurs de
pour les substituer dans
celle de
afin de présenter cette intégrale sous la forme d’une
série disposée suivant les différences des différens ordres de la quantité
Comme le calcul est très-facile, il suffira d’en offrir ici les
résultats. Ces résultats sont
![{\displaystyle {\begin{alignedat}{5}N&=&\Delta ^{12}q,&\\M&=&\Delta ^{11}q&-&78\Delta ^{12}q,&\\L&=&\Delta ^{10}q&-&66\Delta ^{11}q&+&2783\Delta ^{12}q,&\\K&=&\Delta ^{9}\ q&-&55\Delta ^{10}q&+&1980\Delta ^{11}q&-&60500\Delta ^{12}q,&\\I&=&\Delta ^{8}\ q&-&45\Delta ^{9}q&+&1365\Delta ^{10}q&-&35970\Delta ^{11}q&+&901923\Delta ^{12}q,&\\H&=&\Delta ^{7}\ q&-&36\Delta ^{8}q&+&906\Delta ^{9}q&-&20370\Delta ^{10}q&+&445533\Delta ^{11}q\\&&&&&&&&&-&9852942\Delta ^{12}q,&\\G&=&\Delta ^{6}\ q&-&28\Delta ^{7}q&+&574\Delta ^{8}q&-&10878\Delta ^{9}q&+&205863\Delta ^{10}q\\&&&&&&&-&4020786\Delta ^{11}q&+&82310129\Delta ^{12}q,&\\F&=&\Delta ^{5}\ q&-&21\Delta ^{6}q&+&343\Delta ^{7}q&-&5404\Delta ^{8}q&+&87717\Delta ^{9}q\\&&&&&-&150450\Delta ^{10}q&+&27541646\Delta ^{11}q&-&539856504\Delta ^{12}q,&\\E&=&\Delta ^{4}\ q&-&15\Delta ^{5}q&+&190\Delta ^{6}q&-&2450\Delta ^{7}q&+&33789\Delta ^{8}q\\&&&-&505869\Delta ^{9}q&+&8246195\Delta ^{10}q&-&146117730\Delta ^{11}q&+&2804540596\Delta ^{12}q,&\\\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85dc8bab7908fc5cf3922561278e67778bf53159)
![{\displaystyle {\begin{array}{lrrrrr}D=&\Delta ^{3}q-&10\Delta ^{4}q+&95\Delta ^{5}q-&985\Delta ^{6}q\\&+&11424\Delta ^{7}q-&148288\Delta ^{8}q\\&+&2141600\Delta ^{9}q-&34157480\Delta ^{10}q+&597224496\Delta ^{11}q\\&-&11369080360\Delta ^{12}q,&\\C=&\Delta ^{2}q-&6\Delta ^{3}q+&41\Delta ^{4}q-&335\Delta ^{5}q\\&+&3229\Delta ^{6}q-&36036\Delta ^{7}q\\&+&457932\Delta ^{8}q-&6534384\Delta ^{9}q+&103499016\Delta ^{10}q\\&-&1802302128\Delta ^{11}q+&34227784920\Delta ^{12}q,&\\B=&\Delta q-&3\Delta ^{2}q+&14\Delta ^{3}q-&88\Delta ^{4}q\\&+&694\Delta ^{5}q-&6578\Delta ^{6}q\\&+&72792\Delta ^{7}q-&920904\Delta ^{8}q+&13109088\Delta ^{9}q\\&-&207360912\Delta ^{10}q+&3608233056\Delta ^{11}q-&68495486640\Delta ^{12}q,&\\A=&q-&\Delta q+&3\Delta ^{2}q-&14\Delta ^{3}q\\&+&88\Delta ^{4}q-&694\Delta ^{5}q\\&+&6578\Delta ^{6}q-&72792\Delta ^{7}q+&920904\Delta ^{8}q\\&-&13109088\Delta ^{9}q+&207360912\Delta ^{10}q\\&-&3608233056\Delta ^{11}q+&68495486640\Delta ^{12}q.&\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d09d8dd2c23a9f2aad5f681d4db1bc214a32632)
7. La loi que suivent les coefficiens de
de la table précédente est extrêmement remarquable ; et ils ont
avec ceux des facultés numériques, dont j’ai traité dans mon
Analise des réfractions (pag. 71) une analogie \operatorname{sin}gulière, dont
je n’ai pu encore me rendre compte. Voici en quoi cette analogie
consiste. Supposons, par exemple, que l’on demande les coefficiens
de
dans les valeurs de
On rassemblera les coefficiens de la faculté à exposant six, que l’on
trouvera être
on les multipliera
respectivement par lesfacultés
ou
ce qui donnera les produits
![{\displaystyle 720,1800,2040,1350,548s,120\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68738332b4a52242d8d5cc3ee8f1492d2474f8cf)
prenant successivement le premier seul, puis la somme deux premiers, puis celle des trois premiers, et ainsi de suite, jusqu’au dernier, on formera la nouvelle suite
![{\displaystyle 720,2520,4560,5910,6458,6578,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0654182df933936b919cb506bb7a58234a12fc80)
dont les termes, divisés respectivement par les mêmes facultés
donneront les quotiens
![{\displaystyle 1,21,190,985,3229,6078,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5edaa7bcaf81c1e2f0c220e91dbaac8bab56817)
qui sont précisément les coefficiens de ![{\displaystyle \Delta ^{6}q.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/706489ba0a80eaa2042673da94b3ea7357c8c8ec)
Supposons encore que l’on demande les coeffiens de
? Il
faudra d’abord écrire ceux de la faculté à exposant
; ce sont
![{\displaystyle {\begin{array}{rr}1\ldots &1,\\2\ldots &66,\\3\ldots &1925,\\4\ldots &32670,\\5\ldots &357423,\\6\ldots &2637558,\\7\ldots &13339535,\\8\ldots &45995730,\\9\ldots &105258076,\\10\ldots &150917976,\\11\ldots &120543840,\\12\ldots &39916800\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aec0a506804006a44349be3d20609d098cd2711)
on les multipliera respectivement par les facultés
![{\displaystyle {\begin{array}{rr}12!=&479001600,\\11!=&39916800,\\10!=&3628800,\\9!=&362880,\\8!=&40320,\\7!=&5040,\\6!=&720,\\5!=&120,\\4!=&24,\\3!=&6,\\2!=&2,\\1!=&1\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f8733b2379bd9ed1e5bb0f2712de2323ccdc7db)
ce qui donnera les produits
![{\displaystyle {\begin{array}{rr}1.^{\mathrm {er} }\,\ &479001600,\\2\ldots &2630508800,\\3\ldots &6980440000,\\4\ldots &11855289600,\\5\ldots &14411295360,\\6\ldots &13293292320,\\7\ldots &9604465200,\\8\ldots &5519487600,\\9\ldots &252619824,\\10\ldots &905807856,\\11\ldots &242087680,\\12\ldots &39916800,\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89fbc3b850bae51d139421f6acf514b446b92b23)
prenant ensuite le premier, puis la somme des deux premiers puis celle des trois premiers, et ainsi de suite, il viendra
![{\displaystyle {\begin{array}{rr}1.^{\mathrm {er} }\,\ &479001600,\\2\ldots &3113510400,\\3\ldots &10098950400,\\4\ldots &21954240000,\\5\ldots &36365535360,\\6\ldots &49658827680,\\7\ldots &59263292880,\\8\ldots &64782780480,\\9\ldots &67308974304,\\10\ldots &68214482160,\\11\ldots &68455569840,\\12\ldots &68495486640\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fee802d0b447c8ef47a762749f7218524ae3031)
divisant enfin ces sommes par les mêmes facultés qui avaient d’abord été employées comme multiplicateurs, on obtiendra, pour la série des coefficiens de
dans nos formules,
![{\displaystyle {\begin{array}{lcr}N,\ldots &\,&1,\\M,\ldots &&78,\\L,\ldots &&2783,\\K,\ldots &&60570,\\I,\ldots &&9019239,\\H,\ldots &&9852942,\\G,\ldots &&82310129,\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f45cce6d3597ed78569d313d8ac5e83bfe720267)
![{\displaystyle {\begin{array}{lr}F,\ldots &539856504,\\E,\ldots &2804540596,\\D,\ldots &11369080360,\\C,\ldots &34227784920,\\B,\ldots &68495486640.\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51ee97b731cbdc54e9cbcd1f35f9fe330da19d0d)
8. Un second théorème, qui n’est pas moins digne de remarque,
quoiqu’il n’ait point encore pour lui une démonstration rigoureuse,
mais qui est fondé sur une induction plus que suffisante, et duquel
d’ailleurs je me propose de m’occuper encore, c’est que toutes ces
séries de coefficiens qui multiplient les différences d’un même ordre
dans nos formules (6) jouissent sensiblement de la propriété de se
reproduire eux-mêmes en les divisant respectivement par les nombres
naturels
et se rapprochent en cela des termes
de la série hypergéométrique ordinaire
qui multiplient respectivement les termes
dans le développement de
et qui jouissent rigoureusement de
cette propriété.
Prenons, par exemple, du plus grand au plus petit, les coefficiens de
et divisons-les respectivement par
nous aurons
![{\displaystyle {\begin{array}{rr}{\frac {1}{1}}.72792=&72793,\\{\frac {1}{2}}.72792=&36396,\\{\frac {1}{3}}.36036=&12012,\\{\frac {1}{4}}.11424=&2856,\\{\frac {1}{5}}.\,\ 2450=&490,\\\ldots \ldots &\ldots \ldots \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6230989033396d939f49c564f629738a97c27b5)
qui sont à peu près ces mêmes coefficiens, le premier excepté.
En opérant de la même manière sur les coefficiens de
nous trouverons
![{\displaystyle {\begin{array}{rr}{\frac {1}{1}}.207360912=&207360912,\\{\frac {1}{2}}.207360912=&103680456,\\{\frac {1}{3}}.103499016=&34499672,\\{\frac {1}{4}}.\ 34107480=&8539370,\\{\frac {1}{5}}.\ \ \ 8246193=&1649239,\\\ldots \ldots &\ldots \ldots \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/992e2f52fd5d11d9a1bf20fde51a147a6be29b71)
qui sont à peu près ces mêmes coefficiens.
Enfin, en opérant encore ainsi sur les coefficiens de
nous aurons
![{\displaystyle {\begin{array}{rr}{\frac {1}{1}}.68495486640=&68495486640,\\{\frac {1}{2}}.68495486640=&34247743320,\\{\frac {1}{3}}.34227784920=&11409261640,\\{\frac {1}{4}}.11367080360=&2842270090,\\{\frac {1}{5}}.\ 2804540596=&560908119,\\{\frac {1}{6}}.\ \ \ 539806504=&89976084,\\\ldots \ldots &\ldots \ldots \,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca77140b8842bff03d74f00401e6547f0b1275bf)
où la même loi se manifeste également. La démonstration rigoureuse de ce théorème serait sans doute difficile ; mais en attendant, nous l’adopterons, avec d’autant plus de fondement qu’il nous conduira à des résultats exacts et décisifs.
9. L’intégration complète de l’équation
équation
dans laquelle la lettre
désigne une fonction quelconque de
suppose deux choses : d’abord la nouvelle fonction de
dont la
différentiation nous ramènera à l’équation proposée, et ensuite la
constante, multipliée par une certaine autre fonction de
Nous
avons vu que ce dernier produit restait le même quelle que pût
être la fonction
en conséquence, pour le déterminer, il n’y a
qu’à voir ce qu’il deviendra dans la supposition la plus simple qu’on
puisse adopter pour
qui est celle de
L’équation sera alors
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9acba6a316d08b7188040d9bf95430a516b34d0f)
puis donc que nous avons suppose
![{\displaystyle y=A+Bx+Cx^{2}+Dx^{3}+Ex^{4}+Fx^{5}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14debbae1e1cb53a3c04f2b25a0a97cc6ec2c1b6)
d’où
![{\displaystyle {\frac {\operatorname {d} y}{\operatorname {d} x}}=Bx+2Cx+3Dx^{2}+4Ex^{3}+5Fx^{4}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c908cb529dfc3887dba620ea530ee1160fb59b3)
Il faudra résoudre l’équation
![{\displaystyle 0=(A+B)+(B+2C)x+(C+3D)x^{2}+(D+4E)x^{3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e361184eb4ea28b749fcf42d607862293e5a8e3)
Cela conduira aux équations déjà trouvées (6) avec cette seule différence qu’ici
seront zéro.
Il en faudra seulement rejeter la première équation
qui
devenant, dans le cas actuel,
donnerait zéro pour valeur
de tous les autres coefficiens, tandis qu’il faut nécessairement laisser
du jeu à la constante qu’on se propose d’ajouter. Cette légère attention
nous met dans la position d’avoir cette constante, qu’il eût été
bien difficile de trouver d’une autre manière quelconque.
11. Avec cette attention, les équations trouvées (6) nous donneront
![{\displaystyle {\begin{array}{rr}M=&-78N,\\L=&+2783N,\\K=&-60500N,\\I=&+901923N,\\H=&-9852942N,\\G=&+82310129N,\\F=&-539856504N,\\E=&+2804540596N,\\D=&-11369080360N,\\C=&+34227784920N,\\B=&-68495486640N,\\A=&+68495486640N.\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4050d0038ad605b4306ecc3a2c512d1bf78d8f7a)
Il ne restera plus qu’à diviser la dernière de ces équations par chacune de celles qui la précèdent, pour avoir tous ces coefficiens l’un après l’autre. Le premier terme
sera arbitraire ; il formera la constante du problème ; et l’on aura pour les autres
![{\displaystyle {\begin{array}{rr}68495486640B=&-68495486640A,\\68495486640C=&+34227784920A,\\68495486640D=&-11369080360A,\\68495486640E=&+2804540596A,\\68495486640F=&-539856504A,\\68495486640G=&+82310129A,\\68495486640H=&-9852942A,\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b52c7e583657bbd5f605d8e6038d01ea7ad87b2)
![{\displaystyle {\begin{array}{lcr}&&\\68495486640I\ =&\quad \ &+901923A,\\68495486640K=&&-60500A,\\68495486640L\ =&&+2783A,\\68495486640M=&&-78A,\\68495486640N\ =&&+A.\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33e2579c793e4c27215b844a10f3abe3d6646c32)
En conséquence du théorème énoncé ci-dessus (8), on voit fort bien ce que ces rapports compliqués deviendraient dans l’infini ; on aurait alors
![{\displaystyle {\begin{aligned}B=&-A,\\2C=&+A,\\6D=&-A,\\24E=&+A,\\120F=&-A,\\\ldots &\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef51e58477e0c71be29ed503b5e9b54efa37a6ee)
ce qui donnerait
![{\displaystyle y=A\left(1-{\frac {x}{1}}+{\frac {x^{2}}{2}}-{\frac {x^{3}}{6}}+{\frac {x^{4}}{24}}-{\frac {x^{5}}{120}}+\ldots \right)=Ae^{-x},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cc3b8f7fc3e47e18f58f3b2810ad9f345877395)
conformément aux vrais principes du calcul intégral. On voit en même temps l’identité absolue entre le coefficient constant
et le premier terme de la série, qui répond à ![{\displaystyle x=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71320d636c7a43546bf4e94edb94649c5b2e82b9)
12. Reste donc à trouver l’autre fonction de
dont la différentiation nous conduit proprement à l’équation proposée
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=Q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8877e4c90ef97def69ec64edcfe39cdffc9951d0)
Comme on a supposé
![{\displaystyle y=A+Bx+Cx^{2}+Dx^{3}+Ex^{4}+Fx^{5}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14debbae1e1cb53a3c04f2b25a0a97cc6ec2c1b6)
on a, en mettant à la place de
les valeurs trouvées (6),
![{\displaystyle {\begin{aligned}y&=q\\&+(x-1)\Delta q\\&+\left(x^{2}-3x+3\right)\Delta ^{2}q\\&+\left(x^{3}-6x^{2}+14x-14\right)\Delta ^{3}q\\&+\left(x^{4}-10x^{3}+41x^{2}-88x+88\right)\Delta ^{4}q\\&+\left(x^{5}-15x^{4}+95x^{3}-335x^{2}+694x-694\right)\Delta ^{5}q\\&+\left(x^{6}-21x^{5}+190x^{4}-985x^{3}+3229x^{2}-6578x+6578\right)\Delta ^{6}q\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a0a2f36e514f8e0cfd91ec5b1d0feabb3b7db5a)
Mettant ici, à la place de
les valeurs successives
on aura
Pour
![{\displaystyle {\begin{alignedat}{2}x=&2,\ &y=&q+\ \ \Delta q+\quad \Delta ^{2}q,\\=&3,&y=&q+2\Delta q+\ \ 3\Delta ^{2}q+\quad \Delta ^{3}q,\\=&4,&y=&q+3\Delta q+\ \ 7\Delta ^{2}q+10\Delta ^{3}q+\quad 8\Delta ^{4}q,\\=&5,&y=&q+4\Delta q+13\Delta ^{2}q+31\Delta ^{3}q+\ \ 48\Delta ^{4}q+\ \ 26\Delta ^{5}q,\\=&6,&y=&q+5\Delta q+21\Delta ^{2}q+70\Delta ^{3}q+172\Delta ^{4}q+266\Delta ^{5}q+194\Delta ^{6}q,\\\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f45143be1dd3471114b2bc47af4b010a0576ee09)
![{\displaystyle {\begin{array}{rl}7,&y=q+6\Delta q+31\Delta ^{2}q+133\Delta ^{3}q+\ \ 452\Delta ^{4}q+1126\Delta ^{5}q\\&\quad \qquad +1790\Delta ^{6}q+\ \ 1142\Delta ^{7}q,\\8,&y=q+7\Delta q+43\Delta ^{2}q+226\Delta ^{3}q+\ \ 984\Delta ^{4}q+3386\Delta ^{5}q\\&\quad \qquad +8546\Delta ^{6}q+13672\Delta ^{7}q+\quad 9736\Delta ^{8}q,\\9,&y=q+8\Delta q+57\Delta ^{2}q+355\Delta ^{3}q+1888\Delta ^{4}q+8306\Delta ^{5}q\\&\quad \qquad +28862\Delta ^{6}q+73494\Delta ^{7}q+119112\Delta ^{8}q,\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f5a21bfb8a0dc3e898b3febdf499c36384d5843)
. . . . . . . . . . . . . . . . . . . . . . . . .
13. En mettant ici, à la place des différences successives de
leurs valeurs en
savoir ;
![{\displaystyle {\begin{array}{rl}\Delta q=&q_{1}-\ \ q_{0},\\2\Delta ^{2}q=&q_{2}-2q_{1}+\quad q_{0},\\6\Delta ^{2}q=&q_{3}-3q_{2}+\ \ 3q_{1}-\quad q_{0},\\24\Delta ^{2}q=&q_{4}-4q_{3}+\ \ 6q_{2}-\ \ 4q_{1}+\ \ q_{0},\\120\Delta ^{2}q=&q_{5}-5q_{4}+10q_{3}-10q_{2}+5q_{1}-q_{0},\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73ed5e3d2ba2b968599336d015c3fd03c3e8dbbb)
. . . . . . . . . . . . . . . . . . . . . . . . .
on trouvera
Pour
![{\displaystyle {\begin{alignedat}{2}x=&2\ldots &\quad 2y=&\quad q_{0}+\quad q_{2},\\3,&\ldots &\quad 2y=&\ \ 2q_{0}-\ \ 3q_{1}+\quad 6q_{2}+\quad q_{3},\\4,&\ldots &\quad 6y=&\quad q_{0}-\ \ 2q_{1}+\quad 3q_{2}+\ \ 2q_{3}+\ \ 2q_{4},\\5,&\ldots &\ \ 60y=&\ \ 7q_{0}-25q_{1}+\ \ 50q_{2}-40q_{3}+65q_{4}+\ \ 13q_{5},\\6,&\ldots &360y=&19q_{0}-72q_{1}+135q_{2}-80q_{3}+45q_{4}+216q_{5}+97q_{6}+\ldots \end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ece89f557147af175d0d5a87813a000c1eab0b5)
![{\displaystyle {\begin{array}{rl}7\ldots &\ \ 2520y=108q_{0}-\ \ 623q_{1}+1764q_{2}-\ \ 2835q_{3}+\ \ 3220q_{4}\\&\quad \qquad -1953q_{5}+\ \ 2268q_{6}+\ \ 5719q_{7},\\8\ldots &20160y=300q_{0}-1536q_{1}+3416q_{2}-\ \ 2688q_{3}-\ \ 1680q_{4}\\&\quad \qquad +8960q_{5}-72249q_{6}+15744q_{7}+48689q_{8},\\9\ldots &15120y=260q_{0}-2115q_{1}+8218q_{2}-19278q_{3}+30744q_{4}\\&\quad \qquad -34030q_{5}+28560q_{6}-14778q_{7}+14148q_{8}+3391q_{9},\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/982d16bf5ac4395bb26e4090f0ef384c0cb364a0)
. . . . . . . . . . . . . . . . . . . . . . . . .
Dans le cas parliculier où les quantités
seraient égales entre elles, on aurait, dans toutes ces équations,
ce qui pourra servir au besoin à vérifier l’exactitude de nos formules.
14. Exemple I. Soit l’équation
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/028d13740913a0a740fce7903c8eade617bb7281)
On aura, dans ce cas,
ainsi
sont ici tous égaux à
en conséquense, toutes les formules donnent pour intégrale complète
![{\displaystyle y=Ae^{-x}+a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4ae62beb21985ae55f38caf82a5bedcdba9a33a)
15. Exemple II. Soit l’équation
![{\displaystyle y={\frac {\operatorname {d} y}{\operatorname {d} x}}=x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44800f3d4b6b5009c05c7c1fc04e4e5f34dfdb46)
On aura
donc
et toutes les formules s’accordent également à donner
![{\displaystyle y=Ae^{-x}+x-1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8b6beec11995ef3183e46d2e4d67269c7a74d4c)
ce qui est rigoureusement conforme aux principes du calcul ; on tire, en effet,
![{\displaystyle {\begin{aligned}{\text{De }}x=2,&\ \ \ 2y=q_{0}+q_{2}=2\,;\\&\qquad \qquad {\text{donc }}y=1=2-1=x-1\,;\\{\text{De }}x=3,&\ \ \ 6y=2q_{0}-3q_{1}+6q_{2}+q_{3}=12\,;\\&\qquad \qquad {\text{donc }}y=2=3-1=x-1\,;\\{\text{De }}x=4,&\ \ \ 6y=q_{0}-2q_{1}+3q_{2}+2q_{3}+2q_{4}=18\,;\\&\qquad \qquad {\text{donc }}y=3=4-1=x-1\,;\\{\text{De }}x=5,&\ 60y=7q_{0}-25q_{1}+50q_{2}-40q_{3}+55q_{4}+13q_{5}=240\,;\\&\qquad \qquad {\text{donc }}y=4=5-1=x-1.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5064f88007990f3f8fdae5c750875c5f70ea4614)
il en sera de même des suivans, de sorte qu’on aura généralement et rigoureusement
![{\displaystyle y=Ae^{-x}+x-1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4731ae7fa875666403d11d66ee2d94f09c24c04)
16. Exemple III. Soit l’équation
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=x^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9af69872b7e1ada566527eef74e843c6a714335)
On aura
donc
![{\displaystyle q_{0}=0,\ q_{1}=1,\ q_{2}=4,\ q_{3}=9,\ q_{4}=16,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/16721c28a09b5305fc3ee0b962303ad82ac97892)
cela donne
![{\displaystyle {\begin{array}{rrr}{\text{Pour }}x=2,&2y=\quad \ \ 4,&{\text{donc }}y=2=x^{2}-2x+2,\\x=3,&6y=\quad 30,&5=x^{2}-2x+2,\\x=4,&6y=\quad 60,&10=x^{2}-2x+2,\\x=5,&60y=1020,&17=x^{2}-2x+2,\\x=6,&360y=9360,&26=x^{2}-2x+2,\\\ldots &\ldots \ldots \ldots &\ldots \ldots \ldots \ldots \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8ac41d08ccf671102cdd96403a3d7f5d7c3712e)
on aura donc généralement
![{\displaystyle y=Ae^{-x}+x^{2}-2x+2\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa883d6052cd47ab4d5289c4f2758d68229ba044)
valeur qui en effet est rigoureuse,
17. Exemple IV. Soit l’équation
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=x^{3}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23cdd503f680fabdbe55c8512b1d9e267a0028ca)
On aura ici
d’où
![{\displaystyle q_{0}=0,\ q_{1}=1,\ q_{2}=8,\ q_{3}=27,\ q_{4}=64,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bbcbaada0727f45a4c4783bb10b4d977522b775)
donc à commencer par la valeur ![{\displaystyle 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/991e33c6e207b12546f15bdfee8b5726eafbbb2f)
![{\displaystyle {\begin{array}{rr}{\text{Pour }}x=3,&y=12,\\4,&34,\\5,&74,\\6,&138,\\7,&362,\\\ldots &\ldots \ldots \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b360b3e251c549e86d1603c514e310ed0848ad5)
Ces nombres étant tous compris sous la formule
on aura généralement
![{\displaystyle y=Ae^{-x}+x^{3}-3x^{2}+6x-6,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/415ecb2ea1d4c3482eab43ded255b0bb480999f5)
intégrale qui, en effet, est rigoureusement exacte.
18. Exemple V. Soit l’équation
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=x^{4}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2068645e59ecb6c696219dadc86e72f22c85da7f)
Ayant ici
on aura
![{\displaystyle q_{0}=0,\ q_{1}=1,\ q_{2}=16,\ q_{3}=81,\ q_{4}=256,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bfa5e257000777a52290cbd4426e2725c5bd218)
donc, en commençant par la valeur ![{\displaystyle 4,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6dc0881187d7c549d76cf6e7274b30039a73853)
![{\displaystyle {\begin{array}{rr}{\text{Pour }}x=4,&y=120,\\5,&329,\\6,&744,\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff28d4f894c609e41c4d673d9ed9bfe896abd70d)
. . . . . . . . . . . . . . .
valeurs comprises dans la formule
en sorte qu’on aura
![{\displaystyle y=Ae^{-x}+x^{4}-4x^{3}+12x^{2}-24x+24\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d4a83d7423407e03d5cec8a3e39346aaca0e7ce)
ce qui est rigoureusement exact.
19. Soit plus généralement l’équation
![{\displaystyle y+{\frac {\operatorname {d} y}{\operatorname {d} x}}=a+bx+cx^{2}+dx^{3}+ex^{4}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4f0545cfb297ba9cf607c2c0d829ccfb03b7ed4)
on aura
![{\displaystyle Q=a+bx+cx^{2}+dx^{3}+ex^{4}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0f01b115df89ae9e636f7392895fb6790850b32)
d’où
![{\displaystyle {\begin{aligned}q_{0}=&a,\\q_{1}=&a+\ \ b+\quad c+\quad \ \ d+\quad \ \ e,\\q_{2}=&a+2b+\ \ 4c+\quad 8d+\ \ 16e,\\q_{3}=&a+3b+\ \ 9c+\ \ 27d+\ \ 81e,\\q_{4}=&a+4b+16c+\ \ 64d+256e,\\q_{5}=&a+5b+25c+125d+625e,\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4976ad33058058fde71a0078f1497471f55ccaa2)
. . . . . . . . . . . . . . . . . . . . . . . . .
donc, en partant de la valeur ![{\displaystyle 5,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b13068804ccdd036a5e780d3848bf98ed516a4d)
![{\displaystyle {\begin{array}{rr}{\text{Pour }}x=5,&y=a+4b+17c+\ \ 74d+\ \ 329e,\\6,&a+5b+26c+138d+\ \ 744e,\\7,&a+6b+37c+232d+1473e,\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bcd5958e1325d4b9cc56c9009662899ff9da87e)
. . . . . . . . . . . . . . . . . . . . . . . . .
résultats qui sont tous compris dans la formule générale
![{\displaystyle a+b(x-1)+c(x^{2}-2x+2)+d(x^{3}-3x^{2}+6x-6)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e0aca25a05b47d51e90f98d87ff47bd042b85e0)
![{\displaystyle +e(x^{4}-4x^{3}+12x^{2}-24x+24)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6de500eccafc0c709c172872a9a3851d61e9684)
de sorte qu’on doit avoir
![{\displaystyle {\begin{aligned}y=Ae^{-x}&+a\\&+b(x-1)\\&+c(x^{2}-2x+2)\\&+d(x^{3}-3x^{2}+6x-6)\\&+e(x^{4}-4x^{3}+12x^{2}-24x+24).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c8e287650d2e6543eb7b3f1cf0e340e24ce42e2)
20. Les résultats obtenus dans ce mémoire ont tous été exacts
et rigoureux ; et ils ont dû l’être à raison de ce que les exposans
de toutes les puissances dont se composait la quantité
étaient entiers
et positifs. Dans le mémoire qui suivra celui-ci, nous prendrons
pour
des fonctions quelconques de
nous leur appliquerons
la même méthode ; nous serons conduits à des résultats absolument neufs,
et nous aurons lieu d’être satisfaits de leur exactitude ;
conséquence nécessaire de l’approximation que nous avons employée.
La seule difficulté qui reste sera la détermination de la constante.
Dans le cas que nous venons d’exposer, savoir
cette
constante était
encore ne sommes-nous parvenus à ceci que
par une induction très permise : mais qui eut été difficile dans d’autres
cas quelconques.