ANALISE TRANSCENDANTE.
Par
M. Cauchy, de l’Académie royale des sciences, etc.
≈≈≈≈≈≈≈≈≈
J’ai montré, dans plusieurs mémoires, dont l’un a été présenté à l’institut le 7 novembre 1814, les avantages que pouvait offrir la considération des intégrales définies singulières, c’est-à-dire, prises entre des limites infiniment rapprochées de certaines valeurs attribuées aux variables qu’elles renferment. On peut consulter à ce sujet l’analise des travaux de l’institut, pendant l’année 1814, où se trouve imprimée une partie du rapport de M. Legendre, sur le mémoire que j’avais présenté dans la même année. On peut également consulter un article inséré dans le Bulletin de la société philomatique pour 1822, le résumé des leçons que j’ai données à l’école polytechnique, le XIX.e Cahier du journal de cette école, les notes ajoutées au mémoire sur la théorie des ondes, inséré dans le recueil des pièces couronnées par l’institut, enfin un nouveau mémoire sur les intégrales définies, prises entre des limites imaginaires, et un extrait de ce mémoire inséré dans le Bulletin des sciences, d’avril 1825.
Parmi les formules générales que j’ai données dans ces mémoires, l’une des plus remarquables est celle qui fournit la valeur de l’intégrale
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de7bddb0469a5ec93c7d9a3da27722a14e33028d)
lorsque la fonction
s’évanouit 1.o pour
quel que soit
2.o pour
quel que soit
et que d’ailleurs cette fonction conserve une valeur unique et déterminée, pour toutes les valeurs de
et de
renfermées entre les limites
![{\displaystyle x=-\infty ,\quad x=+\infty ,\quad y=0,\quad x=\infty .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65236cc555dcc8d3cd99fd61ca20472a124fc22a)
Si, après avoir cherché les racines réelles ou imaginaires ds l’équation
(1)
![{\displaystyle \qquad \qquad {\frac {1}{\operatorname {f} (x)}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84f4615a1a807d0ccd9a59b19c11b09849985cfd)
on désigne par
celles de ces racines dans lesquelles le coefficient des
est positif, et par
les valeurs que reçoivent les produits
![{\displaystyle \varepsilon \operatorname {f} (x_{1}+\varepsilon ),\qquad \varepsilon \operatorname {f} (x_{2}+\varepsilon ),\qquad \varepsilon \operatorname {f} (x_{3}+\varepsilon ),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad5c338d17b8cd125046593ee5a44fcae2126a01)
lorsque
se réduit à zéro ; alors en posant
(2)
[1]
on trouvera
(3)
[2] C’est ce que l’on démontre sans peine, à l’aide de la méthode que j’ai employée dans la 34.me leçon du calcul infinitésimal.
Si l’équation (1) avait plusieurs racines égales à
en désignant par
le nombre de ces racines, et par
un nombre infiniment petit, il faudrait supposer, dans la formule (2) non plus
![{\displaystyle \operatorname {f} _{1}=\varepsilon \operatorname {f} (x_{1}+\varepsilon ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f5b1a42f9ab52ec2bdd65178059f0e4bacdd120)
mais
[3]
Enfin, si, dans la racine
le coefficient de
se réduisait à la limite des quantités positives décroissantes, c’est-à-dire, à zéro, ou, en d’autres termes, si la racine
devenait réelle, le terme
correspondant à cette racine, devrait être réduit à moitié. Dans la même hypothèse, l’équation (3) fournirait, non plus la valeur générale de l’intégrale
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de7bddb0469a5ec93c7d9a3da27722a14e33028d)
qui deviendrait indéterminée, mais sa valeur principale, c’est-à-dire, la limite vers laquelle convergerait la somme
![{\displaystyle \int _{-\infty }^{x_{1}-\varepsilon }\operatorname {f} (x)\operatorname {d} x+\int _{x_{1}+\varepsilon }^{+\infty }\operatorname {f} (x)\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/312eb305b5c4b941adddbaae864ad00ed7aab6d3)
tandis que
s’approcherait indéfiniment de zéro. Des remarques doivent être faites à l’égard de toutes les racines de semblables doivent être faites l’équation (1).
Ajoutons que, dans le cas où l’équation (1) a des racines réelles, il est facile de transformer la valeur principale de l’intégrale
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de7bddb0469a5ec93c7d9a3da27722a14e33028d)
qui compose le premier membre de la formule (3), en une intégrale définie, dans laquelle la fonction sous le signe
cesse de devenir infiniment grande, pour des valeurs réelles de la variable ![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
Comme la formule (3) fournit les valeurs d’une multitude d’intégrales définies, il ne sera pas inutile d’en donner une démonstration directe. La démonstration dont il s’agit sera l’objet de la première partie de ce mémoire. Dans la seconde j’indiquerai les applications les plus remarquables de cette formule.
Première Partie.
La formule (3) se déduit très-facilement d’un théorème que nous allons établir en peu de mots.
THÉORÈME. Si l’on désigne par
une fonction telle que l’expression
s’évanouisse 1.o pour
quel que soit
2.o pour
quel que soit
et demeure toujours finie et continue, entre les limites
et si, de plus, on nomme
la limite vers laquelle converge le produit
tandis que la valeur numérique de
devient infiniment grande ; on aura
(1)
![{\displaystyle \qquad \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=-\varpi \mathrm {F} .{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b700ed85eb5617bdf836cc8fdee5e88a2817c8c3)
Démonstration. Pour établir ce théorème, nous chercherons, d’abord la valeur de l’intégrale
(2)
![{\displaystyle \qquad \qquad \int _{-X}^{+X}\operatorname {f} (x)\operatorname {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6652d631ec822393fc7fae8704524c84f4420b1e)
Or, généralement,-
(3)
![{\displaystyle \qquad {\frac {\operatorname {d} .\operatorname {f} \left(x+y{\sqrt {-1}}\right)}{\operatorname {d} y}}={\sqrt {-1}}.{\frac {\operatorname {d} .\operatorname {f} \left(x+y{\sqrt {-1}}\right)}{\operatorname {d} x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/883aab221e28ebdaaef74ad5a82c14900fffa31b)
Si l’on intègre les deux membres de l’équation précédente, par rapport à
et à
entre les limites
on en tirera
![{\displaystyle \int _{-X}^{+X}\int _{0}^{\infty }{\frac {\operatorname {d} .\operatorname {f} \left(x+y{\sqrt {-1}}\right)}{\operatorname {d} y}}\operatorname {d} y\operatorname {d} x=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/137b4059a09cc90ea8595886170738a2bdaa5be1)
![{\displaystyle {\sqrt {-1}}\int _{0}^{\infty }\int _{-X}^{+X}{\frac {\operatorname {d} .\operatorname {f} \left(x+y{\sqrt {-1}}\right)}{\operatorname {d} x}}\operatorname {d} x\operatorname {d} y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/325288f52732a3af56d625c166d3790e614f9904)
puis, en ayant égard à la condition ![{\displaystyle \operatorname {f} \left(x+\infty {\sqrt {-1}}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/579dd8404ec3c297267789c3c91131425e977081)
(4)
![{\displaystyle \int _{-X}^{+X}\operatorname {f} (x)\operatorname {d} x=-{\sqrt {-1}}\int _{0}^{\infty }\left[\operatorname {f} \left(X+y{\sqrt {-1}}\right)-\operatorname {f} \left(-X+y{\sqrt {-1}}\right)\right]\operatorname {d} y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2355427567cbbb0a34351aa8b4cefee09d47a2c0)
Si maintenant on attribue à la quantité
une valeur très-grande, on aura sensiblement
![{\displaystyle \left(X+y{\sqrt {-1}}\right)\operatorname {f} \left(X+y{\sqrt {-1}}\right)=\left(-X+y{\sqrt {-1}}\right)\operatorname {f} \left(-X+y{\sqrt {-1}}\right)=\mathrm {F} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b26a5017d21b158abb494a07805c3fa1eed71b5)
et, par suite
![{\displaystyle \operatorname {f} \left(X+y{\sqrt {-1}}\right)={\frac {\mathrm {F} }{X+y{\sqrt {-1}}}},\qquad \operatorname {f} \left(-X+y{\sqrt {-1}}\right)={\frac {\mathrm {F} }{-X+y{\sqrt {-1}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e122785ebb239e599aafc360d7da0f10d8123a7)
d’où
(5)
![{\displaystyle \quad \int _{-X}^{+X}\operatorname {f} (x)\operatorname {d} x=-\mathrm {F} {\sqrt {-1}}\int _{0}^{\infty }\left\{{\frac {1}{X+y{\sqrt {-1}}}}+{\frac {1}{X-y{\sqrt {-1}}}}\right\}\operatorname {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/104957b7d06b96b4e3e8e336bce4e34489b41624)
![{\displaystyle =-\mathrm {F} {\sqrt {-1}}\int _{0}^{\infty }{\frac {2X\operatorname {d} y}{X^{2}+y^{2}}}=-\varpi \mathrm {F} {\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5d699524f8a2b2139d9e17246329df2327c5e98)
Cette dernière équation deviendra rigoureuse, si l’on pose
et se réduira dès lors à la formule (1).
Observons toutefois que, si l’intégrale définie
(6)
![{\displaystyle \qquad \qquad \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6b315f2ca8ee5fb08ba4d620bba45e2ab7a41fa)
est du nombre de celles dont les valeurs générales sont indéterminées, la formule (1) fournira seulement une valeur particulière de l’intégrale (6) ; savoir, celle qui sert de limite à l’intégrale (2) et que nous avons nommée valeur principale.
Corollaire I. Lorsque la quantité désignée par
s’évanouit, l’intégrale (6) n’admet qu’une seule valeur, qui se réduit à zéro, en sorte qu’on a
(7)
![{\displaystyle \qquad \qquad \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed02d9b50b526d208137d5ed596b93af3389261b)
Ainsi, par exemple, si l’on prend
![{\displaystyle \operatorname {f} (x)={\frac {e^{ax{\sqrt {-1}}}-e^{-a}}{1+x^{2}}}={\frac {\operatorname {Cos} .ax+{\sqrt {-1}}\operatorname {Sin} .ax}{1+x^{2}}}-{\frac {e^{-a}}{1+x^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30e701f876bcf90ad050626ac3a439b9b41682ed)
on trouvera
![{\displaystyle \int _{-\infty }^{+\infty }{\frac {\operatorname {Cos} .ax+{\sqrt {-1}}\operatorname {Sin} .ax}{1+x^{2}}}\operatorname {d} x-e^{-a}\int _{-\infty }^{+\infty }{\frac {\operatorname {d} x}{1+x^{2}}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b1c2ead920b361b864717757095961115493492)
et, par suite
(8)
![{\displaystyle \int _{-\infty }^{+\infty }{\frac {\operatorname {Cos} .ax}{1+x^{2}}}\operatorname {d} x=e^{-a}\int _{-\infty }^{+\infty }{\frac {\operatorname {d} x}{1+x^{2}}}\operatorname {d} x=\varpi e^{-a},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6569bba45aa5e4bd04b5959000f42d2b97f69f27)
(9)
[4]
Corollaire II. Si l’on désigne par
et
deux fonctions qui, considérées isolément, ne vérifient pas les conditions énoncées dans le théorème ; mais dont la différence
![{\displaystyle \operatorname {f} (x)-\varphi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8413bc196e36dc4f21142527ee7250ef3c32d3b)
satisfasse aux conditions dont il s’agit ; alors en représentant par
![{\displaystyle \mathrm {F} \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f5c780d15e8ea4030ca34623b4a94c2736a8993)
et
![{\displaystyle \qquad \Phi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/165d187319bcd182d08e63075ebfacc06f38c7f3)
les limites vers lesquelles convergent les produits
![{\displaystyle x\operatorname {f} (x)\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e62d5c7ec9a5ca0d6d61773c741868129fc231)
et
![{\displaystyle \qquad x\varphi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33fe4f32831602c8d72e0e166ad310c98de7c5c2)
tandis que la valeur numérique de la variable
croît de plus en plus ; on aura évidemment
![{\displaystyle \int _{-\infty }^{+\infty }\left[\operatorname {f} (x)-\varphi (x)\right]\operatorname {d} x=\varpi (\Phi -\mathrm {F} ){\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/978c9c7131ea29c8b18dd1603b4b4264df4eb7fb)
et, par suite
(10)
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=\int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x+\varpi (\Phi -\mathrm {F} ){\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be4c7e8c3d4ef39995e8b5a47ee58c6da8f91dc7)
Les intégrales comprises dans cette dernière formule doivent encore être réduites à leurs valeurs principales.
Si la quantité
s’évanouit, on aura simplement
(11)
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=\int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x+\varpi \Phi .{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbbc20ed2aba9d449bd6804ed2859b6da83ab697)
Corollaire III. Supposons que l’expression
![{\displaystyle \operatorname {f} (x+y{\sqrt {-1}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4beb11118bb8b6702f49097fc7be55b4e60a595f)
s’évanouisse 1.o pour
quel que soit
2.o pour
quel que soit
mais devienne infinie pour un ou plusieurs systèmes de valeurs positives ou négatives de
et de valeurs nulles ou positives de
Alors, pour déterminer l’intégrale
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de7bddb0469a5ec93c7d9a3da27722a14e33028d)
à l’aide de la formule (10) ou (11), il suffira de trouver une fonction rationnelle de
telle que la différence
![{\displaystyle \operatorname {f} (x)-\varphi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8413bc196e36dc4f21142527ee7250ef3c32d3b)
remplisse les conditions énoncées dans le théorème. En cherchant cette fonction rationnelle, et supposant de plus
on se trouvera conduit à la formule (3). C’est ce que l’on reconnaît sans peine, en suivant la méthode que nous allons indiquer.
Considérons d’abord le cas où l’expression (10) devient infinie pour
et
représentant une quantité positive ou nulle. Faisons, pour abréger,
et désignons par
la limite vers laquelle converge le produit
tandis que le facteur
converge vers zéro la différence
![{\displaystyle \operatorname {f} (x)-{\frac {\operatorname {f} _{1}}{x-x_{1}}}={\frac {(x-x_{1})\operatorname {f} (x)-\operatorname {f} _{1}}{(x-x_{1})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9c3fbca4072f2945f4d6217fc53ea6bae70f0d6)
obtiendra, en général, une valeur finie pour
et si, entre les racines de l’équation
(12)
![{\displaystyle \qquad \qquad {\frac {\operatorname {f} }{\operatorname {f} (x)}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/291b22a993fc78542fcc55b8f66158fed9035aca)
la racine
est la seule dans laquelle le coefficient de
soit positif, cette différence remplira les conditions énoncées dans le théorème. On pourra donc prendre
(13)
![{\displaystyle \qquad \varphi (x)={\frac {\operatorname {f} _{1}}{x-x_{1}}}={\frac {\operatorname {f} _{1}}{x-a-b{\sqrt {-1}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6fab0cb2f0a8c5fa014489d6d50ee37221cf0e3)
Cela posé, on trouve 1.o
(14)
![{\displaystyle \qquad \qquad \Phi =\operatorname {f} _{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e208eff39014b3180e76ad7e8b950c931c870ab)
2.o si
est nul
(15)
![{\displaystyle \int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x=\operatorname {f} _{1}\operatorname {Sin} .\int _{-X}^{+X}{\frac {\operatorname {f} _{1}.\operatorname {d} x}{x-a}}=\operatorname {f} _{1}.\operatorname {Sin} .{\frac {1}{2}}l\left({\frac {X-a}{X+a}}\right)^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb6b724d268fbaadbd09e9defaa9f0b7e4c00de2)
et, si
est positif
(16)
![{\displaystyle \int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x=\operatorname {Sin} .\int _{-X}^{+X}{\frac {\operatorname {f} _{1}.\operatorname {d} x}{x-a-b{\sqrt {-1}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/024b572774c3fca1835c741d723cc8bffe71150e)
![{\displaystyle =\operatorname {f} _{1}\int _{-\infty }^{+\infty }{\frac {b{\sqrt {-1}}.\operatorname {d} x}{(x-a)^{2}+b^{2}}}=\varpi \operatorname {f} _{1}{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3af389a27680a4ff0201a244057bd4780887a199)
Par suite, l’équation (10) donnera, si
est nul,
(17)
![{\displaystyle \qquad \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=\varpi \operatorname {f} _{1}.{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1a09afe82606dc39bdc27a4d9d20cb802240b8a)
et, si
est positif
(18)
![{\displaystyle \qquad \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=2\varpi \operatorname {f} _{1}.{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e05d6f0de34dcf51b53a6c62ad2da0faf4b38a2)
Si
devenait négatif, on devrait prendre
et l’on aurait, en conséquence,
![{\displaystyle \int _{-\infty }^{+\infty }\operatorname {f} (x)\operatorname {d} x=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e3377e6603f6c03bf133b4011bcfca85d4f2286)
Pour établir les formules (17) et (18), nous avons supposé que le produit
(20)
![{\displaystyle \qquad \qquad \left(x-x_{1}\right)\operatorname {f} (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dd491d5590e45cf9d9c0d7f289ba17228194d31)
convergeait vers une limite finie
tandis que le facteur
s’approchait indéfiniment de zéro. Supposons maintenant que le produit (20) ait une limite infinie, et que, dans la suite
![{\displaystyle \left(x-x_{1}\right)\operatorname {f} (x),\quad \left(x-x_{1}\right)^{2}\operatorname {f} (x),\quad \left(x-x_{1}\right)^{3}\operatorname {f} (x),\ldots \left(x-x_{1}\right)^{m}\operatorname {f} (x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/283e1509dc2e4dd6fb15768aa0a4e97adb2c3ebf)
le terme
(21)
![{\displaystyle \qquad \qquad \left(x-x_{1}\right)^{m}\operatorname {f} (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/737864753b1dce5fd24c2cf5306e817d6f7a5879)
soit le premier qui ait une limite finie. Alors, si l’on pose
(22)
![{\displaystyle \qquad \left(x-x_{1}\right)^{m}\operatorname {f} (x)=f(x)=f\left(x_{1}\right)+{\frac {x-x_{1}}{1}}f'\left(x_{1}\right)+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a364fd8567d8265e244eca495b84f5dc87fe557f)
![{\displaystyle \ldots +{\frac {\left(x-x_{1}\right)^{m-1}}{12.\ldots (m-1)}}f^{(m-1)}\left(x_{1}\right)+\left(x-x_{1}\right)^{m}\psi (x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8c1d7bf868b9efcc9390134b93a4789c574b122)
la fonction
conservera, en général, une valeur finie pour
et remplira la condition énoncée dans le théorème. Comme on aura d’ailleurs
![{\displaystyle \psi (x)=\operatorname {f} (x)-{\frac {f'\left(x_{1}\right)}{1}}{\frac {1}{\left(x-x_{1}\right)^{m-1}}}-{\frac {f''\left(x_{1}\right)}{1.2}}{\frac {1}{\left(x-x_{1}\right)^{m-2}}}-}](https://wikimedia.org/api/rest_v1/media/math/render/svg/404a74ce3e9a29144fd207a0bd97a332fdb3cafb)
![{\displaystyle \ldots -{\frac {f^{(m-1)}\left(x_{1}\right)}{1.2.\ldots (m-1)}}.{\frac {1}{x-x_{1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6983f21906f25f71900376f917968ef97e56556)
il est clair qu’on pourra prendre
(23)
![{\displaystyle \varphi (x)={\frac {f'\left(x_{1}\right)}{1}}.{\frac {1}{\left(x-x_{1}\right)^{m-1}}}+{\frac {f''\left(x_{1}\right)}{1.2}}.{\frac {1}{\left(x-x_{1}\right)^{m-2}}}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70db7c7ae044efdc603570c8652a1afe8c4792e4)
![{\displaystyle \ldots +{\frac {f^{(m-1)}\left(x_{1}\right)}{1.2.\ldots (m-1)}}.{\frac {1}{x-x_{1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4ed6339a1b27ec8bd3a3168732f2e294c3c996)
En adoptant cette valeur de
on trouvera
![{\displaystyle \Phi ={\frac {f^{(m-1)}\left(x_{1}\right)}{1.2.3\ldots (m-1)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1a247125dd3c84884d7069ab27336d4a335dc08)
et par conséquent l’équation (14) continuera de subsister, pourvu que l’on suppose
(24)
![{\displaystyle \qquad f_{1}={\frac {f^{(m-1)}\left(x_{1}\right)}{1.2.3\ldots (m-1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a24374c4f035d8e52fc0df9977996812f7ef5ab9)
![{\displaystyle =\operatorname {Sin} .{\frac {1}{1.2.3\ldots (m-1)}}{\frac {\operatorname {d} ^{m-1}\left[\left(x-x_{1}\right)^{m}\operatorname {f} (x)\right]}{\operatorname {d} x^{m-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f6ad129e2efd2afc596ca84c2ded9f5af47b26c)
On trouvera encore, dans cette hypothèse, 1.o lorsque
étant nul, les expressions
![{\displaystyle f^{(m-2)}\left(x_{1}\right),\ f^{(m-4)}\left(x_{1}\right),\ f^{(m-6)}\left(x_{1}\right),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c8def2e17dc138396203ac5a2019963e96086fb)
se réduiront toutes à zéro,
(25)
![{\displaystyle \qquad \int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a6987bfa62f1c6db5ee9586e61eef07cee4e93b)
2.o lorsque,
étant nul, quelques-unes des mêmes expressions obtiendront des valeurs différentes de zéro
(26)
![{\displaystyle \qquad \int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x=\pm \infty \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5070b32732ac28c0f61906a4506c87b6cc15c9db)
3.o lorsque
sera positif
![{\displaystyle \int _{-\infty }^{+\infty }\varphi (x)\operatorname {d} x=\operatorname {F} f_{1}.{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5f84f6c73239e72f4ca7a52e77c90faa6be5926)
Par suite, les formules (17) et (18) subsisteront encore, si la racine de l’équation (12) désignée par
est une racine imaginaire, dans laquelle le coefficient de
soit positif, ou une racine réelle pour laquelle les expressions
![{\displaystyle f^{(m-2)}\left(x_{1}\right),\ f^{(m-4)}\left(x_{1}\right),\ f^{(m-6)}\left(x_{1}\right),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c8def2e17dc138396203ac5a2019963e96086fb)
s’évanouissent.
Si, dans la racine
le coefficient de
était négatif, on retrouverait la formule (19).
Si l’équation (12) admettait plusieurs racines
alors, pour obtenir une valeur de
propre à remplir les conditions prescrites, il suffirait d’ajouter les valeurs de
fournies par des équations semblables à la formule (13) ou (23), et correspondant aux diverses racines. En opérant ainsi, on se trouverait évidemment ramené à la formule (3).
Dans la seconde partie, je développerai les nombreuses conséquences qui peuvent être déduites de la formule (3).