ANALISE TRANSCENDANTE.
Note sur les équations différentielles partielles
et sur les intégrales définies ;
Par
M. Frédéric Sarrus, docteur es sciences, professeur
de mathématiques au collége de Pézenas.
≈≈≈≈≈≈≈≈≈
L’on a beaucoup multiplié, dans ces derniers temps, l’application des intégrales définies à l’intégration des équations différentielles partielles ; mais personne, du moins que je sache, ne paraît avoir songé à renverser la question, je veux dire, à appliquer l’intégration des équations différentielles partielles à la recherche des intégrales définies. Cette manière de procéder peut pourtant conduire souvent au but d’une manière fort simple ; et c’est ce que je me propose de faire voir ici, par un exemple.
Soit la formule
![{\displaystyle y=\int e^{-b^{x}}X\operatorname {d} x.\operatorname {Cos} .ax,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce37d6232ecf33823a3f5c442f1e9ed3001b89ce)
où
désigne une fonction quelconque de
sans
ni
et où les limites de l’intégrale, indépendantes des mêmes quantités, sont d’ailleurs supposées quelconques. En différentiant deux fois successivement par rapport à
et
il viendra
![{\displaystyle {\begin{array}{rlrl}{\frac {\operatorname {d} y}{\operatorname {d} a}}&=-\int e^{-b^{x}}Xx\operatorname {d} x.\operatorname {Sin} .ax,&{\frac {\operatorname {d} y}{\operatorname {d} b}}&=-\int e^{-b^{x}}Xx\operatorname {d} x.\operatorname {Cos} .ax,\\\\{\frac {\operatorname {d} ^{2}y}{\operatorname {d} a^{2}}}&=-\int e^{-b^{x}}Xx^{2}\operatorname {d} x.\operatorname {Cos} .ax,&{\frac {\operatorname {d} ^{2}y}{\operatorname {d} b^{2}}}&=+\int e^{-b^{x}}Xx^{2}\operatorname {d} x.\operatorname {Cos} .ax\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f88124e38fd2786b55b7451be05cb12c502631d)
d’où
![{\displaystyle {\frac {\operatorname {d} ^{2}y}{\operatorname {d} a^{2}}}+{\frac {\operatorname {d} ^{2}y}{\operatorname {d} b^{2}}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10812115c4d8f107e1256fe5365a663289d554b2)
équation dont l’intégrale est, en général,
![{\displaystyle y=\phi \left(b+a{\sqrt {-1}}\right)+\psi \left(b-a{\sqrt {-1}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c87010a953e110e55faf2c1ddefc3e54995c500c)
ainsi qu’on peut s’en convaincre par la différentiation et l’élimination des fonctions arbitraires. De là on tire
![{\displaystyle {\frac {\operatorname {d} y}{\operatorname {d} a}}=\left\{\phi '\left(b+a{\sqrt {-1}}\right)-\psi '\left(b-a{\sqrt {-1}}\right)\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/221b7e530b168033064804225ccbfb261c29e385)
valeur qui se réduit à
![{\displaystyle \left\{\phi '(b)-\psi '(b)\right\}{\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fa9ba6304c43310f6979353c828139e209327e4)
lorsqu’on suppose
mais la valeur de
déterminée ci-dessus prouve que, dans la même circonstance, ce coefficient différentiel doit s’évanouir ; donc
![{\displaystyle \phi '(b)=\psi '(b),\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccc426d8706f3bdf018c45bb7d2f5239a23cb519)
d’où
![{\displaystyle \quad \phi (b)=\psi (b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e8d139a640baf446878b782a9ff87599b9eb92b)
et, par suite,
![{\displaystyle y=\phi \left(b+a{\sqrt {-1}}\right)+\phi \left(b-a{\sqrt {-1}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92cd3d9bc133d04dad37952aed9f6adacc9bbe24)
En posant ici
il vient
![{\displaystyle y=2\phi (b)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f91e5d577deedac0a6a6754df253f2ed9e5141fe)
et, d’un autre côté, on doit avoir, dans le même cas,
![{\displaystyle y=\int e^{-bx}X\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5515a24203cdf33a1d41d37295555be2b76d07bf)
de sorte que, toutes les fois que l’on saura trouver cette dernière intégrale, on en déduira facilement la valeur complète de ![{\displaystyle y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f72471aff7c6fbb27df0f971283a068efe091f)
Si, par exemple, on prend
![{\displaystyle X=x^{n-1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0509a9ad2b029ab5e8130ad79a0ddc9533688ac6)
on aura
![{\displaystyle y=\int e^{-bx}x^{n-1}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d06ed0d320d943190e03936d8df5b18ba874e2b7)
dont l’intégrale entre
et
est
![{\displaystyle {\frac {1}{b^{n}}}\int e^{-x}x^{n-1}\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09335a27e416f6af23d3c0a3a79be12480ca99de)
donc
![{\displaystyle 2\phi (b)={\frac {1}{b^{n}}}\int e^{-x}x^{n-1}\operatorname {d} x,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2189cdd88c9d1026b4e54eda1bb30dc3a4206435)
d’où
![{\displaystyle \quad \phi (b)={\frac {1}{2}}b^{-n}\int e^{-x}x^{n-1}\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17da3929d5f9b9fd1e5fa717ef04c48ce07ecabe)
et par conséquent
![{\displaystyle y=\left\{{\frac {1}{2}}\left(b+a{\sqrt {-1}}\right)^{-n}+{\frac {1}{2}}\left(b-a{\sqrt {-1}}\right)^{-n}\right\}\int e^{-x}x^{n-1}\operatorname {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/160dc17cc3bd58cca81a4f285ca17ed7d7e60c01)
Si l’on fait ensuite
![{\displaystyle b=k\operatorname {Cos} .t,\qquad a=k\operatorname {Sin} .t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f09645b40522c2276f84f35c577f7d711f2d701)
on aura
![{\displaystyle y=\int e^{-bx}x^{n-1}\operatorname {d} x\operatorname {Cos} .ax={\frac {\operatorname {Cos} .nt}{k^{n}}}\int e^{-x}x^{n-1}\operatorname {d} x.\qquad \left\{{\begin{aligned}&x=0\\&x=\infty \end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0dcf20c5c3494631c5e24c514b65baeeeb799ce)
on trouverait semblablement
![{\displaystyle y=\int e^{-bx}x^{n-1}\operatorname {d} x\operatorname {Sin} .ax={\frac {\operatorname {Sin} .nt}{k^{n}}}\int e^{-x}x^{n-1}\operatorname {d} x\,;\qquad \left\{{\begin{aligned}&x=0\\&x=\infty \end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc5a06baff876d47eb5803bd683b1e3e7c3a0ae1)
et
conservant les mêmes valeurs que dans la formule précédente.
La même marche peut conduire à un résultat que je me crois fondé à regarder comme intéressant. Soit
![{\displaystyle \int \phi (x,b)\operatorname {d} x=\psi (b),\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9d3ff5cae328d68d6cfe2d00f35902554063360)
(1)
et
![{\displaystyle \int \left\{\phi \left(x,b+a{\sqrt {-1}}\right)+\phi \left(x,b-a{\sqrt {-1}}\right)\right\}\operatorname {d} x=y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f26a2ce0ec6677942bfa0d2f9e342fd657b9932f)
l’on en conclura, en général, comme ci-dessus,
![{\displaystyle {\frac {\operatorname {d} ^{2}y}{\operatorname {d} a^{2}}}+{\frac {\operatorname {d} ^{2}y}{\operatorname {d} b^{2}}}=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5140a378ca4afd1d1a12e3af5d751bd5b86b3737)
(2)
et par conséquent
![{\displaystyle y=\operatorname {F} \left(b+a{\sqrt {-1}}\right)+\Phi \left(b-a{\sqrt {-1}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2c5aeda8e4a029d9dd194de20e78bf0aa8ae2bb)
et
désignant des fonctions arbitraires quelconques ; mais, si l’on fait
on devra avoir, en vertu de l’équation (1)
![{\displaystyle \operatorname {F} (b)+\Phi (b)=2\psi (b)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/531651c24f58de82342ca5122383898e71226ef1)
d’où, en observant que
et
doivent être nuls en même temps, on conclura
![{\displaystyle \operatorname {F} (b)=\Phi (b)=\psi (b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d44ac2fc4a15649458f9cc1522fd36c14bcc5be7)
et par conséquent
![{\displaystyle y=\psi \left(b+a{\sqrt {-1}}\right)+\psi \left(b-a{\sqrt {-1}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b654d84a2c8d58d20435ef7b6deff5a56ae3bf2)
On trouverait de même que, sous la même condition,
![{\displaystyle \int {\frac {\phi \left(x,b+a{\sqrt {-1}}\right)-\phi \left(x,b-a{\sqrt {-1}}\right)}{\sqrt {-1}}}\operatorname {d} x=y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/227af265a11f08d5ddd553482d2b0eddc04cdb23)
donne
![{\displaystyle y={\frac {\psi \left(b+a{\sqrt {-1}}\right)-\psi \left(b-a{\sqrt {-1}}\right)}{\sqrt {-1}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06dfdc6439ee5ecbbccac759571c84cab1644c37)
ce qui fait voir que l’emploi du passage du réel à l’imaginaire est permis, toutes les fois qu’il est permis de différentier sous le signe
des fonctions que ce signe affecte, par rapport aux constantes que ces fonctions peuvent renfermer.
Les diverses formules qu’on avait obtenues, au moyen de ce passage, se trouvent, par ce qui précède, rigoureusement démontrées, et ce même passage cesse dès-lors d’être regardé comme le résultat d’une simple induction.
Pézenas, le 8 janvier 1822.