ANALISE TRANSCENDANTE.
Recherche sur la sommation des termes de la série
de Taylor et sur les intégrales définies ;
M. Hippolyte Vernier, docteur ès sciences,
professeur de mathématiques au collége royal de Caen.
≈≈≈≈≈≈≈≈≈
1. Toutes les fois que la série de Taylor n’est pas en défaut, en arrêtant son développement à un quelconque de ses termes, on peut assigner les limites de l’erreur que l’on commet en négligeant ceux qui le suivent. L’objet principal que nous nous proposons dans cet essai est de donner, sous forme d’intégrale définie, la somme exacte d’un nombre quelconque de termes de cette série. Cette somme résulte de l’addition de deux intégrales définies, dont l’une représente la somme des termes de rang pair de la série, et l’autre la somme des termes de rang impair, prolongées toutes deux jusqu’au terme de la série complète où l’un veut s’arrêter. Deux autres formules, que l’on peut considérer comme le complément des deux premières, donnent aussi, l’une la somme des termes de rang pair et l’autre la somme des termes de rang impair, prolongées toutes deux à l’infini, à partir d’un terme de rang quelconque.
Considérées sous un autre point de vue, ces formules donnent la valeur d’un grand nombre d’intégrales définies. M. Poisson, dans son quatrième mémoire sur ce sujet[1] ; a déjà donné des formules générales d’intégration, pour les limites
et
Ces formules renferment une fonction arbitraire, assujettie à quelques restrictions ; et, suivant les différentes formes que l’on donne à cette fonction, on obtient les valeurs d’autant d’intégrales définies. Ces formules donnent ainsi, à une branche d’analise qui, malgré son importance, n’avait guère offert jusqu’ici que des résultats épars, la plus grande généralité dont elle paraisse susceptible, dans l’état actuel de la science. Nous avons placé plusieurs formules du même genre à la suite de celles qui sont relatives à la sommation des termes de la série de Taylor. Indépendamment de leur fécondité, la manière dont elles s’obtiennent donne naissance à des développemens que nous croyons nouveaux, et qui ne paraîtront peut-être pas indignes de l’attention des géomètres.
2. Pour éviter au lecteur la peine de consulter d’autres ouvrages, nous allons d’abord nous occuper de la recherche de quelques résultats analitiques sur lesquels nous aurons à nous appuyer pour parvenir à notre but.
En représentant par
un nombre entier positif quelconque, on a, comme l’on sait,
![{\displaystyle \operatorname {Sin} .nx={\frac {e^{nx{\sqrt {-1}}}-e^{-nx{\sqrt {-1}}}}{2{\sqrt {-1}}}}={\frac {\left(e^{x{\sqrt {-1}}}\right)^{n}-\left(e^{-x{\sqrt {-1}}}\right)^{n}}{2{\sqrt {-1}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/380b824eb476da20900a4a904310f87d3c1bcb26)
d’où, en posant ![{\displaystyle n=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dba4db03e5186e479ecd9611484b8657140a7ff0)
![{\displaystyle \operatorname {Sin} .x={\frac {e^{x{\sqrt {-1}}}-e^{-x{\sqrt {-1}}}}{2{\sqrt {-1}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cde94202e5386ed85b05dbea1a9fee8142822bc3)
puis, en divisant la première formule par la seconde,
![{\displaystyle {\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}={\frac {\left(e^{x{\sqrt {-1}}}\right)^{n}-\left(e^{-x{\sqrt {-1}}}\right)^{n}}{e^{x{\sqrt {-1}}}-e^{-x{\sqrt {-1}}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f76d5f2e88aec241eccac9ab8a36271b700f069d)
Mais on sait que
![{\displaystyle {\frac {g^{n}-h^{n}}{g-h}}=g^{n-1}+g^{n-2}h+g^{n-3}h^{2}+\ldots g^{2}h^{n-3}+gh^{n-2}+h^{n-1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1aca35a5f73e8fb35a1855d69472b128cf569f9)
ou encore
![{\displaystyle {\frac {g^{n}-h^{n}}{g-h}}=\left(g^{n-1}+h^{n-1}\right)+gh\left(g^{n-3}+h^{n-3}\right)+g^{2}h^{2}\left(g^{n-5}+h^{n-5}\right)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/101e0ef922e776b8dd929f1d83c0d76fc930cff0)
Si
est nombre pair, ce développement, mis sous cette dernière forme ; se terminera par le terme
![{\displaystyle g^{\frac {n-2}{2}}h^{\frac {n-2}{2}}(g+h)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36ad27dc165ba366bfc703822e995c40a08ef2b3)
tandis que si
est impair ce dernier terme sera simplement
![{\displaystyle g^{\frac {n-1}{2}}h^{\frac {n-1}{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c1817809c0fe5f130a95b5f438adea3afc45012)
Or, si l’on fait
![{\displaystyle g=e^{x{\sqrt {-1}}},\qquad h=e^{-x{\sqrt {-1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff44ab4ef7fd80e02126f2807adf31592fbc397f)
on aura
![{\displaystyle gh,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/90fd51dd05f7b53cb98b54deade45cd6af092737)
et en général
![{\displaystyle \quad g^{k}h^{k}=1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15e055730f67d6c5e087392aa0db9ea9181225a9)
on aura de plus
![{\displaystyle g+h=e^{x{\sqrt {-1}}}+e^{-x{\sqrt {-1}}}=2\operatorname {Cos} .x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c35f5b7ec585e149635e3deafb61c2ed0f0081b)
![{\displaystyle g^{2}+h^{2}=e^{2x{\sqrt {-1}}}+e^{-2x{\sqrt {-1}}}=2\operatorname {Cos} .2x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef75015cb1d08c227c4569e727fb8da2b50e692f)
;
![{\displaystyle g^{n-1}+h^{n-1}=e^{(n-1)x{\sqrt {-1}}}+e^{-(n-1)x{\sqrt {-1}}}=2\operatorname {Cos} .(n-1)x{\sqrt {-1}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d3f8a57d5fcdc2d86342cccea12b1cceb47b67b)
substituant donc, et renversant le second membre, on trouvera
Pour
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
pair,
![{\displaystyle {\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}=2\left\{\operatorname {Cos} .x+\operatorname {Cos} .3x+\operatorname {Cos} .5x+\ldots \operatorname {Cos} .(n-1)x\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b5477b7b4915b3f3a83fbfecc5d5f1da6812290)
Pour
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
impair,
![{\displaystyle {\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}=1+2\left\{\operatorname {Cos} .2x+\operatorname {Cos} .4x+\operatorname {Cos} .6x+\ldots \operatorname {Cos} .(n-1)x\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bbc8e252952ed32a681399654ac01fc59ee75ca)
Si présentement on multiplie l’une et l’autre de ces deux équations par
et qu’indiquant ensuite l’intégration de leurs premiers membres, on exécute celles des seconds, on trouvera
Pour
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
pair,
![{\displaystyle \int {\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}=2\left\{{\frac {\operatorname {Sin} .x}{1}}+{\frac {\operatorname {Sin} .3x}{3}}+{\frac {\operatorname {Sin} .5x}{5}}+\ldots {\frac {\operatorname {Sin} .(n-1)x}{n-1}}\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b20de29cb7b20a4eb2a137b7dde5f9d0d4858506)
Pour
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
impair,
![{\displaystyle \int {\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}=x+2\left\{{\frac {\operatorname {Sin} .2x}{2}}+{\frac {\operatorname {Sin} .4x}{4}}+{\frac {\operatorname {Sin} .6x}{6}}+\ldots {\frac {\operatorname {Sin} .(n-1)x}{n-1}}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee865deced9f4275164f1b823ad959f14237faa6)
En prenant ces intégrales depuis
jusqu’à
on aura évidemment
Pour
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
pair,
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}\operatorname {d} x=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ec5818b60060687e71b1f1f3e114fd1674af618)
Pour
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
impair,
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .nx}{\operatorname {Sin} .x}}\operatorname {d} x=\varpi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de6c4e048a1430e7060236488ab66f3ddc8e3ac6)
Changeons tour-à-tour
en
et
et
étant tous deux des nombres entiers positifs, et
n’étant pas moindre que
Si
et
sont tous deux pairs ou tous deux impairs,
et
seront deux nombres positifs pairs, et ce sera la première des deux formules qu’il faudra employer. On aura donc
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p+q)x}{\operatorname {Sin} .x}}\operatorname {d} x=0,\quad \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p-q)x}{\operatorname {Sin} .x}}\operatorname {d} x=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b863d21b39be704db170ec40d4bbb95aba855722)
(1)
Si, au contraire, des deux nombres
et
l’un est pair et l’autre impair ;
et
étant alors deux nombres impairs, ce sera alors à la seconde formule qu’il faudra recourir, et l’on aura
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p+q)x}{\operatorname {Sin} .x}}\operatorname {d} x=\varpi ,\quad \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p-q)x}{\operatorname {Sin} .x}}\operatorname {d} x=\varpi .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/611a2a5c6ca7113b2b33d92d047d529805351e5d)
(2)
Si l’on prend tour-à-tour la différence des équations (1) et celle des équations (2), on trouvera également, en divisant par deux,
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p+q)x-\operatorname {Sin} .(p-q)x}{2\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e873af9605e3489325452eb097465d65b62ffbe9)
ou
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Cos} .px.\operatorname {Sin} .qx}{\operatorname {Sin} .x}}\operatorname {d} x=0\,;\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c7ced3b5b987590123cdda871938da326f06f44)
(3)
formule qui a lieu conséquemment de quelque nature que soient les nombres entiers positifs
et
pourvu qu’on n’ait pas ![{\displaystyle p<q.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d415f71428f6c4f15613c9230f8c2cbf8afaa8c)
Mais, si l’on avait
deviendrait négatif, ce qui ne changerait rien aux formules (1), de sorte que, pourvu que
et
fussent tous deux pairs ou tous deux impairs, la formule (3) aurait encore lieu.
Mais s’ils étaient l’un pair et l’autre impair, c’est-à-dire, si
était un nombre négatif impair, on aurait
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p+q)x}{\operatorname {Sin} .x}}\operatorname {d} x=\varpi ,\quad \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p-q)x}{\operatorname {Sin} .x}}\operatorname {d} x=-\varpi \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38f5fe033b9abecc56e9e3e7023c19ace0c81166)
d’où, en prenant la demi-différence,
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Sin} .(p+q)x-\operatorname {Sin} .(p-q)x}{2\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e873af9605e3489325452eb097465d65b62ffbe9)
ou
![{\displaystyle \int _{0}^{\varpi }{\frac {\operatorname {Cos} .px.\operatorname {Sin} .qx}{\operatorname {Sin} .x}}\operatorname {d} x=\varpi .\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab6069af96d43d33a400c82f2f2785782eb99997)
(4)
De là on peut conclure, en particulier, 1.o que, quel que soit le nombre entier positif
les intégrales, en nombre infini
![{\displaystyle \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\ \int {\frac {\operatorname {Cos} .(r+1)x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8b79d211873f0f8df8ad135065b42fa5f20c39a)
![{\displaystyle \int {\frac {\operatorname {Cos} .(r+2)x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ef05215ca606a8a1e9e6c45b35608b3f7dd8022)
ainsi que les intégrales, en nombre infini,
![{\displaystyle \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r+2)x}{\operatorname {Sin} .x}}\operatorname {d} x,\ \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r+4)x}{\operatorname {Sin} .x}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13bfaa18e3c818c5e8f990441f97e122910af917)
![{\displaystyle \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r+6)x}{\operatorname {Sin} .x}}\operatorname {d} x,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dc2fa83118a8012520fe4fafd8093c54abce4eb)
prises entre les limites
et
seront nulles ; et qu’il en sera encore de même des
intégrales
![{\displaystyle \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .x}{\operatorname {Sin} .x}}\operatorname {d} x,\ \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .2x}{\operatorname {Sin} .x}}\operatorname {d} x,\ldots \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r-1)x}{\operatorname {Sin} .x}}\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54fcd5f954437b8372cc2b697bb156d34968a451)
tandis que les intégrales, en nombre infini,
![{\displaystyle \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r+1)x}{\operatorname {Sin} .x}}\operatorname {d} x,\ \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r+3)x}{\operatorname {Sin} .x}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3602f2460e830c3fcbe057a25d36e85defaf13d)
![{\displaystyle \int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .(r+5)x}{\operatorname {Sin} .x}}\operatorname {d} x,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/82ca2dc4f4824bc0344ee8dceb9627f3a967e747)
prises entre les mêmes limites, seront toutes égales à ![{\displaystyle \varpi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708f6611303e54eefbedd289cd48ca2ed16af127)
2.o Que, si le nombre entier positif
est pair, les
intégrales
![{\displaystyle \int {\frac {\operatorname {Cos} .0x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\ \int {\frac {\operatorname {Cos} .2x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\ldots \int {\frac {\operatorname {Cos} .(r-2)x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fe31f3f2ff7c9a9f6cb4c39e3ef9db293d5c222)
prises toujours entre les limites
et
seront nulles, tandis que les
autres intégrales
![{\displaystyle \int {\frac {\operatorname {Cos} .x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\ \int {\frac {\operatorname {Cos} .3x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\ldots \int {\frac {\operatorname {Cos} .(r-1)x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f05550599dbe7c4d14fca06415b154b0f80a9498)
prises entre les mêmes limites, seront toutes égales à ![{\displaystyle \varpi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708f6611303e54eefbedd289cd48ca2ed16af127)
3.o Enfin, qu’il en ira à l’inverse, si le nombre entier positif
est impair ; c’est-à-dire qu’alors ce seront les intégrales de la dernière ligne qui seront nulles, tandis que celles de l’avant-dernière seront toutes égales à
Toutes ces remarques vont, dans un instant, recevoir leur application.
3. Soient présentement
et
deux constantes indéterminées, et soit
la caractéristique d’une fonction quelconque ; le théorème de Taylor donnera
![{\displaystyle \operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)=\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha ).e^{x{\sqrt {-1}}}+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).e^{2x{\sqrt {-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9da1d625b3d47e58a950ed405205b7662d27cf5b)
![{\displaystyle +{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha ).e^{3x{\sqrt {-1}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3237493eff69708c22e6ab27b03502c4834dc6f5)
puis, en changeant le signe de ![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
![{\displaystyle \operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)=\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha ).e^{-x{\sqrt {-1}}}+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).e^{-2x{\sqrt {-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af695ca7971d3e1da625ca546c72976781d6bf5c)
![{\displaystyle +{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha ).e^{-3x{\sqrt {-1}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5ecf10ac68c331dd8b7c4d179356cd42eed4851)
Prenant d’abord la demi-somme de ces équations, puis leur demi-différence divisée par
en se rappelant qu’en général
![{\displaystyle {\frac {e^{k{\sqrt {-1}}}+e^{-k{\sqrt {-1}}}}{2}}=\operatorname {Cos} .k,\qquad {\frac {e^{k{\sqrt {-1}}}-e^{-k{\sqrt {-1}}}}{2{\sqrt {-1}}}}=\operatorname {Sin} .k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8c3dd4e499b4910f9d0ed457921740406abee1e)
on aura ces deux nouvelles équations
![{\displaystyle {\frac {\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8504cbeb85de267c44149afb20df85c2433eb5a1)
![{\displaystyle =\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha ).\operatorname {Cos} .x+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).\operatorname {Cos} .2x+{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha ).\operatorname {Cos} .3x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/518432aff666c39258fa9c5888a9537aeae62152)
![{\displaystyle {\frac {\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)}{2{\sqrt {-1}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d29a0376f31affe503ef0c80c25cc36c461ec30)
![{\displaystyle ={\frac {p}{1}}\operatorname {F} '(\alpha ).\operatorname {Sin} .x+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).\operatorname {Sin} .2x+{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha ).\operatorname {Sin} .3x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/638d356a71baa87ad498242c4d884e92f7a667ed)
multipliant les deux membres de la première et ceux de la seconde respectivement par
![{\displaystyle {\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,\qquad {\frac {\operatorname {Cos} .rx}{\operatorname {Sin} .x}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5c75f38c621ac8d6a9614d1cb7afaec2c564ff8)
et indiquant les intégrations, il viendra
![{\displaystyle \int {\frac {\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}\operatorname {Sin} .rx}{2\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ed6ae5f1ef6b44ac1707291f3e2eedae384f666)
![{\displaystyle =\operatorname {F} (\alpha )\int {\frac {\operatorname {Cos} .0x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x+{\frac {p}{1}}\operatorname {F} '(\alpha )\int {\frac {\operatorname {Cos} .x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acaa8e7ec7e9dfd1d762378e4a6464cf509c7f69)
![{\displaystyle +{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha )\int {\frac {\operatorname {Cos} .2x.\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f0ac62c9663666649771985973fa7d1d868c34c)
![{\displaystyle \int {\frac {\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}\operatorname {Cos} .rx}{2{\sqrt {-1}}\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2e8429292618843c8238d117c8bb1f746d13824)
![{\displaystyle ={\frac {p}{1}}\operatorname {F} '(\alpha )\int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .x}{\operatorname {Sin} .x}}\operatorname {d} x+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha )\int {\frac {\operatorname {Cos} .rx.\operatorname {Sin} .2x}{\operatorname {Sin} .x}}\operatorname {d} x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/48daba88e6aaa5dbd5d1ca1ad2f76f3ef4c7714b)
Si présentement on prend les intégrales entre les limites
et
en ayant égard à ce qui a été dit ci-dessus, et en renversant le second membre de la première équation ; on trouvera, quel que soit d’ailleurs le nombre entier positif
en divisant par
(A)
![{\displaystyle \qquad {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}\operatorname {Sin} .rx}{2\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcfa3a2a13e602eb2bd330f46aeceb156c04d486)
![{\displaystyle ={\frac {p^{r-1}}{1.2\ldots (r-1)}}.\operatorname {F} ^{(r-1)}(\alpha )+{\frac {p^{r-3}}{1.2\ldots (r-3)}}.\operatorname {F} ^{(r-3)}(\alpha )+{\frac {p^{r-5}}{1.2\ldots (r-5)}}.\operatorname {F} ^{(r-5)}(\alpha )+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6fc83587e89913bdae351930ea1884f651955ff)
(B)
![{\displaystyle {\frac {1}{2\varpi {\sqrt {-1}}}}\int _{0}^{\varpi }{\frac {\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}\operatorname {Cos} .rx}{\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56af2234e786353019f2f98dfb55c03a689a17e1)
![{\displaystyle ={\frac {p^{r+1}}{1.2\ldots (r+1)}}.\operatorname {F} ^{(r+1)}(\alpha )+{\frac {p^{r+3}}{1.2\ldots (r+3)}}.\operatorname {F} ^{(r+3)}(\alpha )+{\frac {p^{r+5}}{1.2\ldots (r+5)}}.\operatorname {F} ^{(r+5)}(\alpha )+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8695bc6f8bd4b8315d71dc8029ca1f81d4b1fb23)
Si donc
est un nombre pair, la formule (A) donnera la somme des termes de degrés impairs de la série de Taylor, depuis le terme affecté de
jusqu’au terme affecté de
et la formule (B) donnera la somme de tous les autres termes de degrés impairs, à l’infini.
Si, au contraire,
est un nombre impair, la formule (A) donnera la somme des termes de degrés pairs de la série de Taylor, depuis le terme
jusqu’au terme affecté de
et la formule (B) donnera la somme de tous les autres termes de degrés pairs, à l’infini.
4. Cette même série de Taylor donne
![{\displaystyle \operatorname {F} (\alpha +p)=\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha )+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha )+{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha )+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f25d323707beeb60a82e784bcc8016335010127)
puis, en changeant le signe de ![{\displaystyle p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/393fcf18074cb42eafb26b76c515a1e93e17512c)
![{\displaystyle \operatorname {F} (\alpha -p)=\operatorname {F} (\alpha )-{\frac {p}{1}}\operatorname {F} '(\alpha )+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha )-{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha )+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f10ed48349c8a90aa0f328574d5a51d31d751328)
prenant tour-à-tour la demi-somme et la demi-différence de ces deux équations, il viendra
![{\displaystyle {\frac {\operatorname {F} (\alpha +p)+\operatorname {F} (\alpha -p)}{2}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21ec73e2b932d954fad95e136a4cced6434b63bf)
![{\displaystyle \operatorname {F} (\alpha )+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha )+{\frac {p^{4}}{1.2.3.4}}\operatorname {F} ''''(\alpha )+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4a90cc33866a9f73aa23a4763b2a41d9d7bc9b0)
(C)
![{\displaystyle {\frac {\operatorname {F} (\alpha +p)-\operatorname {F} (\alpha -p)}{2}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acf5d31a6624d61f9178eaada8de30e32425879d)
![{\displaystyle {\frac {p}{1}}\operatorname {F} '(\alpha )+{\frac {p^{3}}{1.2.3}}\operatorname {F} ''''(\alpha )+{\frac {p^{5}}{1.2.3.4.5}}\operatorname {F} ^{\scriptscriptstyle }{\mathrm {V} }(\alpha )+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b94e860e1809af4bf38d9a16bd131ba7cfb2eb66)
(D)
équations dont les seconds membres sont respectivement, comme l’on voit, les sommes de termes de degrés pairs et de degrés impairs de la série de Taylor.
En multipliant et divisant en même temps le premier membre de l’équation (A) par
elle prend cette forme
![{\displaystyle {\frac {1}{2\varpi {\sqrt {-1}}}}\int _{0}^{\varpi }{\frac {\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}{\sqrt {-1}}\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81fbd7f68d229d39a782c6d7d4917323597f9c15)
![{\displaystyle ={\frac {p^{r-1}}{1.2\ldots (r-1)}}.\operatorname {F} ^{(r-1)}(\alpha )+{\frac {p^{r-3}}{1.2\ldots (r-3)}}.\operatorname {F} ^{(r-3)}(\alpha )+{\frac {p^{r-5}}{1.2\ldots (r-5)}}.\operatorname {F} ^{(r-5)}(\alpha )+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6fc83587e89913bdae351930ea1884f651955ff)
Si l’on ajoute cette équation à l’équation (B) le second membre de leur somme sera, suivant que
sera pair ou impair, la somme de tous les termes de degré impair ou la somme de tous les termes de degré pair de la série de Taylor, c’est-à-dire que cette somme sera égale au second membre de l’équation (D) ou au second membre de l’équation (C).
Quant à la somme des premiers membres, elle sera
![{\displaystyle {\frac {1}{2\varpi {\sqrt {-1}}}}\int _{0}^{\varpi }{\frac {\begin{aligned}&\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}\operatorname {Cos} .rx\\+&\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}{\sqrt {-1}}\operatorname {Sin} .rx\end{aligned}}{\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/905fb4e06e785354c9c6f9c5d228d7df26a0c012)
ou, en développant,
![{\displaystyle {\frac {1}{2\varpi {\sqrt {-1}}}}\int _{0}^{\varpi }\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/db70ef2592e0f6a8aa8a17345c8af6e828f55baa)
![{\displaystyle {\frac {\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right).\left(\operatorname {Cos} .rx+{\sqrt {-1}}\operatorname {Sin} .rx\right)-\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right).\left(\operatorname {Cos} .rx-{\sqrt {-1}}\operatorname {Sin} .rx\right)}{\operatorname {Sin} .x}}\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d27f68ee44246ee5b8c37ea0a0711ffa2eb649f)
ou encore
![{\displaystyle {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {e^{rx{\sqrt {-1}}}.\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-e^{-rx{\sqrt {-1}}}.\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)}{{\sqrt {-1}}.\operatorname {Sin} .x}}\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72fd304119f40570aea74e343ed052caa6e5929f)
de sorte qu’on pourra écrire, si
est un nombre pair,
![{\displaystyle {\frac {1}{\varpi }}\int _{0}^{\varpi }{\frac {e^{rx{\sqrt {-1}}}.\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-e^{-rx{\sqrt {-1}}}.\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)}{{\sqrt {-1}}.\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e26ea921810b76d75b723bbc498ab39f59a2c1ca)
![{\displaystyle =\operatorname {F} (\alpha +p)-\operatorname {F} (\alpha -p)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2d41c46b6288e6bde2016c73ba0b663557d58ed)
(E)
et, si
est un nombre impair,
![{\displaystyle {\frac {1}{\varpi }}\int _{0}^{\varpi }{\frac {e^{rx{\sqrt {-1}}}.\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-e^{-rx{\sqrt {-1}}}.\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)}{{\sqrt {-1}}.\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e26ea921810b76d75b723bbc498ab39f59a2c1ca)
![{\displaystyle =\operatorname {F} (\alpha +p)+\operatorname {F} (\alpha -p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f92461ccc6d64a85449611d818f3fb41290ec97)
(F)
On remarquera que les seconds membres de ces équations sont indépendans de ![{\displaystyle r.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10110093812676dd04a92ce4c8b75940c366330a)
Si dans la formule (B), on fait tour-à-tour
et
elle donnera
![{\displaystyle {\frac {1}{\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)}{{\sqrt {-1}}.\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28201640a39d60a2e83a51e5869a508f92189864)
![{\displaystyle =\operatorname {F} (\alpha +p)-\operatorname {F} (\alpha -p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e7ee62e751a2390ae5c0d92563ce9313568ecec)
(G)
![{\displaystyle {\frac {1}{\varpi }}\int _{0}^{\varpi }{\frac {\left\{\operatorname {F} \left(\alpha +pe^{x{\sqrt {-1}}}\right)-\operatorname {F} \left(\alpha +pe^{-x{\sqrt {-1}}}\right)\right\}\operatorname {Cos} .x}{{\sqrt {-1}}.\operatorname {Sin} .x}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cffea855dfbe262252cadee990e67002fd353ad)
![{\displaystyle =\operatorname {F} (\alpha +p)+\operatorname {F} (\alpha -p)-2\operatorname {F} (\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e99ef3931a871295cfee228aa4b8ccb5aa6eee2a)
(H)
mais on ne pourrait obtenir des résultats analogues de la formule (A) qu’en y supposant
infini.
5. Les formules (A) et (B) servent à connaître les valeurs d’un grand nombre d’intégrales définies, par celles de la série finie qui en forme le second membre. La seule condition à laquelle doive être assujettie la fonction arbitraire
qui entre dans ces formules et les deux constantes
et
c’est que la série de Taylor soit applicable et que les développemens
![{\displaystyle {\begin{aligned}\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha ).\operatorname {Sin} .x+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).\operatorname {Sin} .2x+\ldots \\\\\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha ).\operatorname {Cos} .x+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).\operatorname {Cos} .2x+\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0b20de0c7a8499ab7cd149d0fc1924c800dab45)
soient convergens.
Ainsi, par exemple, on pourra supposer,
![{\displaystyle \operatorname {F} (\alpha )=\operatorname {Cos} .a\alpha ,\qquad \operatorname {F} (\alpha )=\operatorname {Sin} .a\alpha ,\qquad \operatorname {F} (\alpha )=e^{m\alpha },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4586b9f2b97243a1331e7a50e5bbdb1868e532d1)
les constantes
étant quelconques. Mais si l’on fait
![{\displaystyle \operatorname {F} (\alpha )=\alpha ^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eff5ca6c08f099e070fee28e95a138dba11e6669)
en supposant ensuite
il faudra que l’exposant
soit un nombre entier positif, autrement les termes de la série de Taylor deviendraient infinis. Si, au contraire, on suppose
le nombre
pourra recevoir toutes les valeurs positives possibles. On poura faire aussi
![{\displaystyle \operatorname {F} (\alpha )={\frac {\alpha ^{m}}{1+b\alpha ^{m}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b89a0e257bca23ee83a46e96f0c51333164dcc03)
et
étant des nombres entiers positifs, et
un nombre moindre que l’unité, pourvu que l’on fasse ensuite ![{\displaystyle \alpha =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccefb075eb872b58821421eb59741512b87f54f7)
Soit, par exemple,
, et qu’on doive ensuite poser
ce qui exigera que le nombre
soit entier ; posons de plus
le premier membre de l’équation (A) deviendra
![{\displaystyle {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\left(e^{me^{x{\sqrt {-1}}}}+e^{me^{-x{\sqrt {-1}}}}\right)\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/089ae740fa64815f3d1b262f94bb099e79d4b9d6)
ou bien
![{\displaystyle {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}\left\{e^{m\left(\operatorname {Cos} .x+{\sqrt {-1}}\operatorname {Sin} .x\right)}+e^{m\left(\operatorname {Cos} .x-{\sqrt {-1}}\operatorname {Sin} .x\right)}\right\}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f1fb6c0d1bc2fca301e55dec9b9844eace9b7b8)
ou encore
![{\displaystyle {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}.e^{m\operatorname {Cos} .x}.\left(e^{m\operatorname {Sin} .x{\sqrt {-1}}}+e^{-m\operatorname {Sin} .x{\sqrt {-1}}}\right)\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/698d736c013cc148bbd2aa3ebb2b88cc78794495)
ou enfin
![{\displaystyle {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}.e^{m\operatorname {Cos} .x}.\operatorname {Cos} .(m\operatorname {Sin} .x)\operatorname {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c3c355cb14edeb143cac44cc1b3ab2f088081b6)
On aura, en outre, en faisant toujours
après la différentiation,
![{\displaystyle \operatorname {F} (\alpha )=1,\quad \operatorname {F} '(\alpha )=m,\quad \operatorname {F} ''(\alpha )=m^{2},\ldots \operatorname {F} ^{(r-1)}(\alpha )=m^{r-1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c73ab5aad8e83ba1e61a139d5d72b04c56eb623e)
en conséquence l’équation (A) deviendra
![{\displaystyle {\frac {1}{2\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}.e^{m\operatorname {Cos} .x}.\operatorname {Cos} .(m\operatorname {Sin} .x)\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a11bcd3ea4c99af008641155b36a3c581c15ecfb)
![{\displaystyle ={\frac {m^{r-1}}{1.2\ldots (r-1)}}+{\frac {m^{r-3}}{1.2\ldots (r-3)}}+{\frac {m^{r-5}}{1.2\ldots (r-5)}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a6e543cbaa5f53a6796629c8dd8eaf99ea511b3)
c’est-à-dire, si
est un nombre pair,
![{\displaystyle {\frac {1}{\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}.e^{m\operatorname {Cos} .x}.\operatorname {Cos} .(m\operatorname {Sin} .x)\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d867bd8c79851ecc5a48288c72f04384c9f949c)
![{\displaystyle ={\frac {m}{1}}+{\frac {m^{3}}{1.2.3}}+{\frac {m^{5}}{1.2.3.4.5}}+\ldots {\frac {m^{r-1}}{1.2\ldots (r-1)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69e33935f79fe816a4dc68a3bec83ffc5531b27a)
et si
est un nombre impair,
![{\displaystyle {\frac {1}{\varpi }}\int _{0}^{\varpi }{\frac {\operatorname {Sin} .rx}{\operatorname {Sin} .x}}.e^{m\operatorname {Cos} .x}.\operatorname {Cos} .(m\operatorname {Sin} .x)\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d867bd8c79851ecc5a48288c72f04384c9f949c)
![{\displaystyle =1+{\frac {m^{2}}{1.2}}+{\frac {m^{4}}{1.2.3.4}}+\ldots {\frac {m^{r-1}}{1.2\ldots (r-1)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1964c3b83dbdaa726cdcb0c0239158b4cd22fce9)
6. Les formules (A) et (B) ont été construites pour les limites d’intégration
et
mais la considération de la série de Taylor en fournit encore deux autres, qui ont lieu entre les limites
et
et qui donnent, sous forme finie, un nombre illimité d’intégrales.
Pour les obtenir, rappelons d’abord ces deux formules connues
[2]
Remarquons en outre que, par la série de Taylor, on a
![{\displaystyle {\begin{aligned}&{\frac {\operatorname {F} \left(\alpha +pe^{qx{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-qx{\sqrt {-1}}}\right)}{2}}=\\&\qquad \qquad \qquad \operatorname {F} (\alpha )+{\frac {p}{1}}.\operatorname {F} '(\alpha ).\operatorname {Cos} .qx+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).\operatorname {Cos} .2qx+\ldots \\\\&{\frac {\operatorname {F} \left(\alpha +pe^{qx{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-qx{\sqrt {-1}}}\right)}{2{\sqrt {-1}}}}=\\&\qquad \qquad \qquad {\frac {p}{1}}.\operatorname {F} '(\alpha ).\operatorname {Sin} .qx+{\frac {p^{2}}{1.2}}.\operatorname {F} ''(\alpha ).\operatorname {Sin} .2qx+\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d01121a4a72e26ef647a408327a9d9b5ff5d59f7)
en multipliant les deux membres de l’une et de l’autre équations par
intégrant entre
et
et ayant égard aux deux formules ci-dessus, il viendra
![{\displaystyle \int _{0}^{\infty }{\frac {\operatorname {F} \left(\alpha +pe^{qx{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-qx{\sqrt {-1}}}\right)}{b^{2}+x^{2}}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efa64169f369097b3903fc4047ec0b813ae1c6e3)
![{\displaystyle ={\frac {\varpi }{b}}\left\{\operatorname {F} (\alpha )+{\frac {p}{1}}\operatorname {F} '(\alpha ).e^{-qb}+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).e^{-2qb}+{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha ).e^{-3qb}+\ldots \right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44c7a71d51b0afb77101c9a04c27d94982bfcc8e)
![{\displaystyle {\frac {1}{2{\sqrt {-1}}}}\int _{0}^{\infty }{\frac {\operatorname {F} \left(\alpha +pe^{qx{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-qx{\sqrt {-1}}}\right)}{b^{2}+x^{2}}}x\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af95289332964fce9d1fac194d3f5d65e53aac8b)
![{\displaystyle =\varpi \left\{{\frac {p}{1}}\operatorname {F} '(\alpha ).e^{-qb}+{\frac {p^{2}}{1.2}}\operatorname {F} ''(\alpha ).e^{-2qb}+{\frac {p^{3}}{1.2.3}}\operatorname {F} '''(\alpha ).e^{-3qb}+\ldots \right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/663202a849119a02f19724a22f916a42d054f130)
ou encore
![{\displaystyle \int _{0}^{\infty }{\frac {\operatorname {F} \left(\alpha +pe^{qx{\sqrt {-1}}}\right)+\operatorname {F} \left(\alpha +pe^{-qx{\sqrt {-1}}}\right)}{b^{2}+x^{2}}}\operatorname {d} x={\frac {\varpi }{b}}\operatorname {F} \left(\alpha +pe^{-qb}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bda4a0b7701b187d65a0e5f44ff818bb38b27459)
(M)
![{\displaystyle {\frac {1}{2{\sqrt {-1}}}}\int _{0}^{\infty }{\frac {\operatorname {F} \left(\alpha +pe^{qx{\sqrt {-1}}}\right)-\operatorname {F} \left(\alpha +pe^{-qx{\sqrt {-1}}}\right)}{b^{2}+x^{2}}}x\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0808ca29f02f05d638a4db6fa287b351927c70e8)
![{\displaystyle =\varpi \left\{\operatorname {F} \left(\alpha +pe^{-qb}\right)-\operatorname {F} (\alpha )\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4140c886dcc2ceb7159e54356d50e59dc631c5a1)
(N)
On peut faire, dans les formules (M) et (N), les mêmes suppositions que dans les formules (A) et (B), puisque, dans ces quatre formules, la fonction
est assujettie aux mêmes restrictions.
Soient, par exemple,
Le premier membre de l’équation (M) deviendra
![{\displaystyle \int _{0}^{\infty }{\frac {\operatorname {Sin} .ae^{qx{\sqrt {-1}}}+\operatorname {Sin} .ae^{-qx{\sqrt {-1}}}}{b^{2}+x^{2}}}\operatorname {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a02a2f7e6df3ab3fb4f85d8838c31edfebffff3)
En faisant disparaître les imaginaires et formant le second membre, on trouvera finalement
![{\displaystyle \int _{0}^{\infty }\operatorname {Sin} .(a\operatorname {Cos} .qx){\frac {e^{a\operatorname {Sin} .qx}+e^{-a\operatorname {Sin} .qx}}{b^{2}+x^{2}}}\operatorname {d} x={\frac {\varpi }{b}}\operatorname {Sin} .ae^{-qb}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17e22196b7f4578e30998997430572cba74749ab)
Il est inutile de multiplier les exemples pour faire comprendre que les formules (M) et (IN) peuvent donner une infinité d’intégrales différentes.
7. Un moyen fréquemment employé dans les intégrations consiste à substituer à la variable une nouvelle variable, dont les limites sont alors les valeurs correspondantes aux valeurs limites de la première variable. Cette transformation ne change rien à la valeur de l’intégrale définie, somme des élémens différentiels. Mais, si l’on vient à remplacer une variable, réelle dans toute l’étendue de l’intégration, par une fonction variable, composée d’une partie réelle et d’une partie imaginaire, il semble que la valeur de l’intégrale définie peut en être altérée, bien que la nouvelle fonction substituée varie dans les mêmes limites que la variable primitive, puisqu’on a remplacé une somme d’élémens réels par une somme d’élémens imaginaires.
Nous nous proposons ici de faire voir que néanmoins une substitution de ce genre, appliquée à une fonction réelle et finie, dans toute l’étendue de l’intégration, loin de conduire à des résultats absurdes, peut servir, au contraire, dans un grand nombre de cas, à découvrir de nouvelles formules générales d’intégration.
Soit
un différentielle que l’on doit intégrer depuis
jusqu’à
et qui demeure constamment réelle entre ces limites. Soit fait
les limites correspondantes de
seront respectivement
et
à cause de
On tire de cette relation
ce qui donne
![{\displaystyle \int _{-1}^{+1}\varphi (z).\operatorname {d} z=-{\sqrt {-1}}\int _{0}^{\varpi }e^{x{\sqrt {-1}}}\varphi \left(e^{x{\sqrt {-1}}}\right)\operatorname {d} x\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a1ccd64d847c707bc5f6352a78e4fbc244f39c0)
(P)
équation qui ne sera vraie qu’autant qu’après avoir séparé dans le second membre la partie réelle de la partie imaginaire, l’intégrale de la partie imaginaire sera nulle, et celle de la partie réelle égale au premier membre.
Mais l’équation (P), obtenue en faisant passer la variable
toujours réelle, par une série de valeurs imaginaires, ne serait pas suffisamment établie, s’il n’y avait, pour y parvenir, une marche où les imaginaires ne se montrassent qu’en apparence, et qui fît voir en outre à quelle restriction la fonction
doit être assujettie.
Supposons
développable suivant les puissances entières de
on aura, par la série de Taylor que nous supposons convergente,
![{\displaystyle e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)+e^{-x{\sqrt {-1}}}.\varphi \left(e^{-x{\sqrt {-1}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/446f58cfeb82debe16845c06003eb3e9738f4bc1)
![{\displaystyle =2\left\{\varphi (0).\operatorname {Cos} .x+{\frac {\varphi '(0).\operatorname {Cos} .2x}{1}}+{\frac {\varphi ''(0).\operatorname {Cos} .3x}{1.2}}+\ldots \right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e747155b75b559d4d061249d58acc0b6f6f63a2)
observant qu’en général, lorsque
est entier,
![{\displaystyle \int _{0}^{\varpi }\operatorname {Cos} .nx.\operatorname {d} x=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c7767940ce5669109360fd77c2a2deb2c819454)
multipliant par
et intégrant depuis
jusqu’à
il viendra
![{\displaystyle \int _{0}^{\varpi }\left\{e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)+e^{-x{\sqrt {-1}}}.\varphi \left(e^{-x{\sqrt {-1}}}\right)\right\}\operatorname {d} x=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/72ce64534e41092be591fd24e9f3ea13aa270c4d)
(1)
Cela posé, on a aussi
![{\displaystyle {\frac {e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)-e^{-x{\sqrt {-1}}}.\varphi \left(e^{-x{\sqrt {-1}}}\right)}{2{\sqrt {-1}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d98cc0dcd7e21310981881650a8b63f584038378)
![{\displaystyle =\varphi (0).\operatorname {Sin} .x+{\frac {\varphi '(0).\operatorname {Sin} .2x}{1}}+{\frac {\varphi ''(0).\operatorname {Sin} .3x}{1.2}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31338576a2403bc77029664d698a7e79d7ddf9cf)
observant que, lorsque
est entier, suivant que ce nombre est pair ou impair, on a
![{\displaystyle \int _{0}^{\varpi }\operatorname {Sin} .nx.\operatorname {d} x=0,\qquad \int _{0}^{\varpi }\operatorname {Sin} .nx.\operatorname {d} x={\frac {2}{n}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d383564b6ec02e4a452506ca03c3f39427d426bf)
multipliant par
et intégrant depuis
jusqu’à
on aura
![{\displaystyle \int _{0}^{\varpi }{\frac {e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)-e^{-x{\sqrt {-1}}}.\varphi \left(e^{-x{\sqrt {-1}}}\right)}{2{\sqrt {-1}}}}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1a5d6221d344abd95c9509fc9d65b738cc33e32)
![{\displaystyle =2\left\{\varphi (0)+{\frac {\varphi ''(0)}{1.2.3}}+{\frac {\varphi ^{\scriptscriptstyle {\mathrm {IV} }}(0)}{1.2.3.4.5}}+{\frac {\varphi ^{\scriptscriptstyle {\mathrm {VI} }}(0)}{1.2.3.4.5.6.7}}+\ldots \right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ae63118634f2e786bd269b99698ebdb7c26a705)
mais, on a aussi
![{\displaystyle \varphi (z)=\varphi (0)+{\frac {\varphi '(0).z}{1}}+{\frac {\varphi ''(0).z}{1.2}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9580fd769b022b36ad2c130b0aeb261b5383c0bc)
d’où
![{\displaystyle \int _{-1}^{+1}\varphi (z).\operatorname {d} z=2\left\{\varphi (0)+{\frac {\varphi ''(0)}{1.2.3}}+{\frac {\varphi ^{\scriptscriptstyle {\mathrm {IV} }}(0)}{1.2.3.4.5}}+\ldots \right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1bcdc17ca9698d126900d3c8f3b9d843f0e0b5c)
donc
![{\displaystyle \int _{0}^{\varpi }\left\{e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)-e^{-x{\sqrt {-1}}}.\varphi \left(e^{-x{\sqrt {-1}}}\right)\right\}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6928e3f34340d4c4bfff106c35c05e397f6add72)
![{\displaystyle =2{\sqrt {-1}}\int _{-1}^{+1}\varphi (z).\operatorname {d} z\,;\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e613b91890812347338b51ee13c69606bc93ad0a)
(2)
or, en ajoutant membre à membre les équations (1) et (2), on tombe précisément sur l’équation (P) qui se trouve ainsi complètement justifiée.
8. Pour déduire de cette équation la valeur d’un grand nombre d’intégrales définies, il reste à donner à la fonction
différentes formes. La seconde manière dont on est parvenu à l’équation (P) fait voir d’ailleurs que cette fonction n’est pas entièrement arbitraire, et qu’elle doit être développable en série convergente, procédant suivant les puissances entières de
Soit, pour en donner un exemple,
on aura
![{\displaystyle -{\sqrt {-1}}\int _{0}^{\varpi }e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)\operatorname {d} x=-{\sqrt {-1}}.\int _{0}^{\varpi }e^{2x{\sqrt {-1}}}.e^{ae^{x{\sqrt {-1}}}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f984cd1dbb92881b1864807b0aa3425f107f78f)
et, en séparant la partie imaginaire de la partie réelle,
![{\displaystyle -{\sqrt {-1}}\int _{0}^{\varpi }e^{x{\sqrt {-1}}}.\varphi \left(e^{x{\sqrt {-1}}}\right)\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aa853721c249b6aa7192d32967b0aab3ea9301b)
![{\displaystyle =e^{a\operatorname {Cos} .x}.\operatorname {Sin} .(2x+a\operatorname {Sin} .x)-{\sqrt {-1}}e^{a\operatorname {Cos} .x}.\operatorname {Cos} .(2x+a\operatorname {Sin} .x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c2114d68d3978cc69b0d44789531a9c5745a4e4)
de sorte qu’on aura, par l’équation (P),
![{\displaystyle \int _{-1}^{+1}ze^{az}\operatorname {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b95f1939bbdefa35e77321e8d2b4c6ca623d288)
![{\displaystyle =\int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Sin} .(2x+a\operatorname {Sin} .x)-{\sqrt {-1}}\int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Cos} .(2x+a\operatorname {Sin} .x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42676ea8241e74bb2806e08e621efb1873e65c04)
L’intégration par partie donne
![{\displaystyle \int _{-1}^{+1}ze^{az}\operatorname {d} z=e^{a}\left({\frac {1}{a}}-{\frac {1}{a^{2}}}\right)+e^{-a}\left({\frac {1}{a}}+{\frac {1}{a^{2}}}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e296d033b888864a1c74e82cc006b39f9bed0adc)
on a donc
![{\displaystyle \int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Sin} .(2x+a\operatorname {Sin} .x)\operatorname {d} x=e^{a}\left({\frac {1}{a}}-{\frac {1}{a^{2}}}\right)+e^{-a}\left({\frac {1}{a}}+{\frac {1}{a^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eec9dfb847a99205c8764a45701f188e0cae956)
![{\displaystyle \int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Cos} .(2x+a\operatorname {Sin} .x)\operatorname {d} x=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6b9c74f45b4d7bb1ca25d7a823a04b46502fced)
En faisant
étant un nombre entier quelconque, on obtiendrait les valeurs des intégrales
![{\displaystyle \int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Cos} .(nx+a\operatorname {Sin} .x)\operatorname {d} x,\ \int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Sin} .(nx+a\operatorname {Sin} .x)\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c79dc14fecd28b53ea074d5539a40775f5b959ef)
dont la première sera toujours nulle. L’équation
![{\displaystyle \int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Cos} .(nx+a\operatorname {Sin} .x)\operatorname {d} x=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea556690343573b2e8ba9cb89eeef1527fef7dff)
se vérifie d’ailleurs immédiatement par les équations
![{\displaystyle {\begin{aligned}&{\frac {2}{\varpi }}\int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Cos} .(a\operatorname {Sin} .x)\operatorname {Cos} .nx.\operatorname {d} x={\frac {a^{n}}{1.2\ldots n}},\\\\&{\frac {2}{\varpi }}\int _{0}^{\varpi }e^{a\operatorname {Cos} .x}.\operatorname {Sin} .(a\operatorname {Cos} .x)\operatorname {Sin} .nx.\operatorname {d} x={\frac {a^{n}}{1.2\ldots n}}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6cd4053f372532949b5c7ae8c100fa95e79b3ed)
données par M. Poisson dans son quatrième mémoire sur les intégrales définies[3].
9. Par une marche analogue à celle qui nous a conduit à l’équation (P), on peut obtenir une nouvelle formule, relative à des intégrales dont les limites sont
et
Soit
une différentielle qui doive être intégrée depuis
jusqu’à
Posons
![{\displaystyle z=e^{-x+x{\sqrt {-1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e0784d32063c7398efe9c115d4a6676cd809bb3)
Pour que
varie toujours depuis
jusqu’à
il faudra que
varie, depuis
jusqu’à
On tire de là
![{\displaystyle \operatorname {d} z=\left(-1+{\sqrt {-1}}\right)e^{-x+x{\sqrt {-1}}}\operatorname {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53f366dd833823483ce27b825d75f9a70fbb9b4c)
et par conséquent
![{\displaystyle \int _{0}^{1}\psi (z)\operatorname {d} z=\int _{0}^{\infty }\left(-1-{\sqrt {-1}}\right).{\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)\operatorname {d} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f23fb094e053b44e41b5e2abe0b0f63d69bc431)
ou bien
![{\displaystyle \int _{0}^{\infty }{\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)\operatorname {d} x={\frac {1}{2}}\int _{0}^{1}\psi (z)\operatorname {d} z+{\frac {\sqrt {-1}}{2}}\int _{0}^{1}\psi (z)\operatorname {d} z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90541d419abd945951f84f74b265f2e97b9b0376)
(Q)
et l’équation (Q) fournira, comme l’équation (P), les valeurs d’une infinité d’intégrales définies, en égalant respectivement, dans les deux membres, les parties réelles et les parties imaginaires. Mais l’équation (Q) a besoin, comme l’équation (P), d’être établie d’une manière plus rigoureuse.
Soit
une fonction développable en série convergente, procédant suivant les puissances entières de
et qui soit nulle en même temps que
on aura
![{\displaystyle \operatorname {F} \left(e^{-x+x{\sqrt {-1}}}\right)+\operatorname {F} \left(e^{-x-x{\sqrt {-1}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20fa0f504f8c7d3dc1d9b6a08d0d4e347c877fc9)
![{\displaystyle =2\left\{\operatorname {F} '(0){\frac {e^{-x}.\operatorname {Cos} .x}{1}}+\operatorname {F} ''(0){\frac {e^{-2x}.\operatorname {Cos} .2x}{1.2}}+\operatorname {F} '''(0){\frac {e^{-3x}.\operatorname {Cos} .3x}{1.2.3}}+\ldots \right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21a613001e9c062f7f6fd5566cf047373782d72b)
En observant que, par une formule connue
![{\displaystyle \int _{0}^{\varpi }e^{-nx}.\operatorname {Cos} .nx.\operatorname {d} x={\frac {1}{2n}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6deef0f3fd8f0c08111c9215966203ed928fb303)
multipliant par
et intégrant depuis
jusqu’à
on aura
![{\displaystyle \int _{0}^{\infty }\left\{\operatorname {F} \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)+\operatorname {F} \left({\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\right)\right\}\operatorname {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e683d4b27e087af5068789bfa604a1dc6d8aa4bf)
![{\displaystyle ={\frac {\operatorname {F} '(0)}{1}}+{\frac {\operatorname {F} ''(0)}{1.2^{2}}}+{\frac {\operatorname {F} '''(0)}{1.2.3^{2}}}+{\frac {\operatorname {F} ''''(0)}{1.2.3.4^{2}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d206a469cef6ffd151c55c852ff0f654ffdf83e)
Mais on a aussi
![{\displaystyle \operatorname {F} \left(e^{-x}\right)=\operatorname {F} '(0).{\frac {e^{-x}}{1}}+\operatorname {F} ''(0).{\frac {e^{-2x}}{1.2}}+\operatorname {F} '''(0).{\frac {e^{-3x}}{1.2.3}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb45b03cfee3a913c7cb57d56563a91f3297a937)
observant qu’en général
![{\displaystyle \int _{0}^{\varpi }e^{-nx}.\operatorname {d} x={\frac {1}{n}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2913140d72fbabe8867de978ecc49c6706541a3f)
multipliant par
et intégrant depuis
jusqu’à
on aura aussi
![{\displaystyle \int _{0}^{\varpi }\operatorname {F} \left(e^{-x}\right)\operatorname {d} x={\frac {\operatorname {F} '(0)}{1}}+{\frac {\operatorname {F} ''(0)}{1.2^{2}}}+{\frac {\operatorname {F} '''(0)}{1.2.3^{2}}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ec0deb46a7dff6b9dccc744ef2e6001edf0f316)
de sorte que
![{\displaystyle \int _{0}^{\infty }\left\{\operatorname {F} \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)+\operatorname {F} \left({\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\right)\right\}\operatorname {d} x=\int _{0}^{\infty }\operatorname {F} \left(e^{-x}\right)\operatorname {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/169d1aa92307ac111fdff5fe7961a47e365e53d6)
Cela posé, soit
il suffira que
ne soit pas infinie pour
et soit développable suivant les puissances entières de
L’équation précédente deviendra
![{\displaystyle \int _{0}^{\infty }\left\{{\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)+{\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\right)\right\}\operatorname {d} x=\int _{0}^{\infty }e^{-x}.\psi \left(e^{-x}\right)\operatorname {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d41cfab9c20a11aab45d3d9dcea834c957b8406)
Faisant ensuite
![{\displaystyle e^{-x}=z,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d6a579be394d372d3c61f8157939b5c0da3d35f)
d’où
![{\displaystyle \quad \int _{0}^{\infty }e^{-x}\psi \left(e^{-x}\right)\operatorname {d} x=\int _{0}^{1}\psi (z)\operatorname {d} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faa652c3b00de3b2c644ef5e4c9f0d6d45520b78)
on aura
![{\displaystyle \int _{0}^{\infty }\left\{{\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)+{\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\right)\right\}\operatorname {d} x=\int _{0}^{1}\psi (z)\operatorname {d} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2af439d3f0bb2d3450399727bd114dc0179da6cd)
(1)
Par une marche semblable, et en observant que
![{\displaystyle \int _{0}^{\varpi }e^{-nx}.\operatorname {Sin} .nx.\operatorname {d} x={\frac {1}{2n}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0567a328e6991acb58ec4a3ac341726af6acf898)
on trouvera
![{\displaystyle \int _{0}^{\infty }\left\{{\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)-{\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\psi \left({\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\right)\right\}\operatorname {d} x=x{\sqrt {-1}}\int _{0}^{1}\psi (z)\operatorname {d} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49fefac5adec7573577bb99fbc03c4bb75d9e80f)
(2)
En ajoutant membre à membre les équations (1) et (2), on retombe sur l’équation (Q), qui se trouve ainsi rigoureusement justifiée.
10. Pour donner une application de cette dernière équation, soit
![{\displaystyle \psi (z)={\frac {\operatorname {Log} .(1+z)}{z}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b33b0e744b1c7fea7736c37265cd30b08f92924)
fonction qui satisfait aux restrictions qui limitent la forme de la fonction
L’équation (1) devient
![{\displaystyle \int _{0}^{\infty }\left\{\operatorname {Log} .\left(1+{\frac {e^{x{\sqrt {-1}}}}{e^{x}}}\right)+\operatorname {Log} .\left(1+{\frac {e^{-x{\sqrt {-1}}}}{e^{x}}}\right)\right\}\operatorname {d} x=\int _{0}^{1}{\frac {\operatorname {Log} .(1+z)}{z}}\operatorname {d} z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/882f59ba8cdc48c0817dcf7faf997e9b3fe6660b)
ou
![{\displaystyle \int _{0}^{\infty }\operatorname {Log} .\left(1+2e^{-x}.\operatorname {Cos} .x+e^{-2x}\right)\operatorname {d} x=\int _{0}^{1}{\frac {\operatorname {Log} .(1+z)}{z}}\operatorname {d} z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e10ff9da55f20a837cb926ef1b8e7e20e20d996d)
or, on trouve
[4] ;
donc
![{\displaystyle \int _{0}^{\infty }\operatorname {Log} .\left(1+2e^{-x}.\operatorname {Cos} .x+e^{-2x}\right)\operatorname {d} x={\frac {\varpi ^{2}}{12}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09a2106fd4114cc2a1a525b5ea8dfedbbe73abac)