ANALISE TRANSCENDANTE.
Intégration, sous forme finie, de quelques fonctions
différentielles circulaires ;
Par M. du Bourguet, professeur de mathématiques
spéciales au lycée impérial.
≈≈≈≈≈≈≈≈≈
On rencontre souvent, en mécanique, des fonctions différentielles de la forme
![{\displaystyle z^{n}\mathrm {d} z\operatorname {Cos} .^{m}z,\qquad z^{n}\mathrm {d} z\operatorname {Sin} .^{m}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2b9252838453e57222dfbf1bf870c437fd4e365)
Aucun auteur, du moins que je sache, n’ayant donné les intégrales, sous forme finie, de ces deux formules, j’ai pensé que l’on ne serait pas fâché de les rencontrer ici.
L’intégration de ces deux formules pouvant toujours, comme nous le verrons tout à l’heure, être ramenée à celle des formules
![{\displaystyle (az)^{n}\mathrm {d} .\operatorname {Sin} .(az),\qquad (az)^{n}\mathrm {d} .\operatorname {Cos} .(az),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e356341b9deebb0eed60bf34786e4de1a7dfb0d4)
lesquelles reviennent à
![{\displaystyle x^{n}\mathrm {d} .\operatorname {Sin} .x,\qquad x^{n}\mathrm {d} .\operatorname {Cos} .x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e52de3ccfd8a082c5bbf64df73e498077ba1438d)
c’est par celles-ci que nous commencerons. À la vérité, nous pourrions en déduire les intégrales de notre équation générale (432) [Traité de calcul différentiel et de calcul intégral, tome II, page 236, art. 425], en y faisant
et
; mais nous croyons devoir, dans ce mémoire, les intégrer immédiatement.
Intégration de ![{\displaystyle x^{n}\mathrm {d} .\operatorname {Sin} .x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e1f1ad0f67c28c51358b43fb938e36f207a47a4)
On a
donc
![{\displaystyle \int x^{n}\operatorname {d} .\operatorname {Sin} .x=x^{n}\operatorname {Sin} .x+n\int x^{n-1}\operatorname {d} .\operatorname {Cos} .x\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/255826aa9f4a2c076bc42a67214ad267c9d690ea)
(a)
or,
![{\displaystyle \operatorname {d} \left(x^{n-1}\operatorname {Cos} .x\right)=x^{n-1}\operatorname {d} .\operatorname {Cos} .x+(n-1)x^{n-2}\operatorname {d} .\operatorname {Sin} .x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da40dc68cb883e06d105a543a4264f92d47bb914)
donc
![{\displaystyle \int x^{n-1}\operatorname {d} \operatorname {Cos} .x=x^{n-1}\operatorname {Cos} .x-(n-1)\int x^{n-2}\operatorname {d} .\operatorname {Sin} .x.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f96b6c0e34eb2d9fab767f222248528136a1a14c)
(b)
De ces équations (a) et (b), on conclura aisément les valeurs de
et, par des substitutions successives, à partir de l’équation (a), on parviendra au résultat que voici :
(1)![{\displaystyle \ \int x^{n}\operatorname {d} .\operatorname {Sin} .x=\left\{x^{n}-n(n-1)x^{n-2}+n(n-1)(n-2)(n-3)x^{n-4}-\ldots \right\}\operatorname {Sin} .x+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd0b37e3675da43e84c8deec502b92ae798ad0ff)
![{\displaystyle \left\{nx^{n-1}-n(n-1)(n-2)x^{n-3}+n(n-1)(n-2)(n-3)(n-4)x^{n-5}-\ldots \right\}\operatorname {Cos} .x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/468527919fe40c9df815c6f95fa38ab3aa0a36ac)
dont les séries, régies par une loi très-simple à apercevoir, sont finies, lorsque
est un nombre positif et entier. Il est d’ailleurs aisé de voir que le coefficient de
est égal à la différentielle de celui de
divisée par
Intégration de ![{\displaystyle x^{n}\operatorname {d} .\operatorname {Cos} .x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75cfbdd0f84f4c891848200b4c029ae471c17969)
Suivant la méthode des intégrations réciproques (Art. 217 de l’ouv. cité), on a
![{\displaystyle \int x^{n}\operatorname {d} .\operatorname {Cos} .x=x^{n}\operatorname {Cos} .x-n\int x^{n-1}\operatorname {d} .\operatorname {Sin} .x,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2686c69bafe95310df10408124a9cf4c8be78723)
(c)
![{\displaystyle \int x^{n-1}\operatorname {d} .\operatorname {Sin} .x=x^{n-1}\operatorname {Sin} .x+(n-1)\int x^{n-2}\operatorname {d} .\operatorname {Cos} .x.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b37547f0af2beb7be5f533f94b00d35e16ffe2)
(d)
Mettant successivement
dans les équations (c) et (d), on forme une suite d’équations qui ont chacune leur dernier terme affecté d’un facteur intégral qui est le premier membre de l’équation qui suit immédiatement ; donc, par une suite de substitutions successives, à partir de l’équation (c), on parvient aisément à celle
(2)![{\displaystyle \ \int x^{n}\operatorname {d} .\operatorname {Cos} .x=\left\{x^{n}-n(n-1)x^{n-2}+n(n-1)(n-2)(n-3)x^{n-4}-\ldots \right\}\operatorname {Cos} .x-}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1960bd63e44dee3999e74fa8c9076bbaf8845822)
![{\displaystyle \left\{nx^{n-1}-n(n-1)(n-2)x^{n-3}+n(n-1)(n-2)(n-3)(n-4)x^{n-5}-\ldots \right\}\operatorname {Sin} .x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af804588a0b94e8e22b559ddbefb75f058cf507d)
dont les séries sont les mêmes que dans l’équation (1).
Intégration de ![{\displaystyle z^{n}\operatorname {d} z.\operatorname {Cos} .^{m}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17da7b11788c7f04734cb66d6e9ebc8348e9d417)
Des équations, connues en trigonométrie, qui donnent respectivement les valeurs des puissances paires et impaires du cosinus d’un arc, en fonction des premières puissances des cosinus de ces arcs, et que j’ai rappelées, sous les lettres (a) et (b), à la page 411 du premier volume de mon Traité de calculs différentiel et intégral, on tire pour le cas de
nombre positif et pair,
![{\displaystyle \int z^{n}\operatorname {d} z.\operatorname {Cos} .^{m}z={\tfrac {1}{2^{m-1}}}\left\{\int z^{n}\operatorname {d} z.\operatorname {Cos} .mz+{\tfrac {m}{1}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .(m-2)z+\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebbb1ad1757598a425b26c40b6b4b9f79ddcf3f3)
![{\displaystyle \left.{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .(m-4)z+\ldots +{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+2}{{\tfrac {1}{2}}m-1}}\int z^{n}\operatorname {d} 2.\operatorname {Cos} .2z\right\}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a1834383eee154c3c2565c58270edc4bf99ea6c)
![{\displaystyle {\frac {1.3.5\ldots (m-1)}{2.4.6\ldots m(n+1)}}z^{n+1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1614bc06e8788a79321548a665a5c9105f83e80c)
et, pour le cas de
nombre positif et impair,
![{\displaystyle \int z^{n}\operatorname {d} z.\operatorname {Cos} .^{m}z={\tfrac {1}{2^{m-1}}}\left\{\int z^{n}\operatorname {d} .z.\operatorname {Cos} .mz+{\tfrac {m}{1}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .(m-2)z+\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b182cffe37911583a820ab63c6ad99f7ff4c1fd6)
![{\displaystyle {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .(m-4)z+\ldots +{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}(m+5)}{{\tfrac {1}{2}}(m+3}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .3z+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e48cae6099b509185372f94cc214cd5e263ed8e)
![{\displaystyle \left.{\frac {m}{1}}.{\frac {m-1}{2}}\ldots {\frac {{\tfrac {1}{2}}(m+3)}{{\tfrac {1}{2}}(m-1)}}\int z^{n}\operatorname {d} z\operatorname {Cos} .z\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa9361e02e6fb13b6f14876b7b72f9c1ce0a113c)
Multipliant et divisant, dans ces deux équations, chaque terme du second membre par la
puissance du coefficient de
sous le cosinus, en observant qu’en général
![{\displaystyle k\operatorname {d} z\operatorname {Cos} .kz=\operatorname {d} .\operatorname {Sin} .kz,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65fe975bd2a2a25f4bb089f10f938b1ed852e81d)
il viendra, pour le cas de
nombre positif et pair,
(3)
![{\displaystyle \quad \int z^{n}\operatorname {d} z\operatorname {Cos} .^{m}z={\tfrac {1}{2^{m-1}}}\left\{{\tfrac {1}{m^{n+1}}}\int (mz)^{n}\operatorname {d} .\operatorname {Sin} .(mz)\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e084507c67371970dbadf384baf23ec366e16a7)
![{\displaystyle +{\tfrac {m}{(m-2)^{n+1}}}\int \left[(m-2)z\right]^{n}\operatorname {d} .\operatorname {Sin} .\left[(m-2)z\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dbfd1c1eb2fffdd3d16b9bf869a96ef83194b58)
![{\displaystyle \left.+\ldots +{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+2}{{\tfrac {1}{2}}m-1}}{\tfrac {1}{2^{n+1}}}\int (2z)^{n}\operatorname {d} .\operatorname {Sin} .(2z)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ade209411f61c6b57d4df9b1bfaedcd70cfb732)
![{\displaystyle +{\tfrac {1}{2}}.{\tfrac {3}{4}}\ldots {\tfrac {m-1}{m}}.{\tfrac {1}{n+1}}z^{n+1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d957ed0a9e8a8f31c113582972c515cd1b8bab28)
et pour le cas de
nombre positif et impair,
(4)
![{\displaystyle \quad \int z^{n}\operatorname {d} z\operatorname {Cos} .^{m}z={\tfrac {1}{2^{m-1}}}\left\{{\tfrac {1}{m^{n+1}}}\int (mz)^{n}\operatorname {d} .\operatorname {Sin} .(mz)\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e084507c67371970dbadf384baf23ec366e16a7)
![{\displaystyle +{\tfrac {m}{(m-2)^{n+1}}}\int \left[(m-2)z\right]^{n}\operatorname {d} .\operatorname {Sin} .\left[(m-2)z\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dbfd1c1eb2fffdd3d16b9bf869a96ef83194b58)
![{\displaystyle +\ldots +{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+5}{{\tfrac {1}{2}}m+3}}{\tfrac {1}{3^{n+1}}}\int (3z)^{n}\operatorname {d} .\operatorname {Sin} .(3z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbb0cba7f59a217dff78ca63d6dd44da27c3968a)
![{\displaystyle \left.+{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+3}{{\tfrac {1}{2}}m-2}}\int z^{n}\operatorname {d} .\operatorname {Sin} .z\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/745b8bd5f4ff5d27aa050379aa656cc1c9606cf6)
Or, les valeurs de tous les termes intégraux des seconds membres de ces équations (3) et (4) sont données, sous forme finie, par l’équation (1), en y faisant successivement
donc on aura aussi, sous forme finie, les intégrales demandées.
Intégration de ![{\displaystyle z^{n}\operatorname {d} z.\operatorname {Sin} .^{m}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb9521df79468ce2d0453eaba124edf52c21959)
Des équations, connues en trigonométrie, qui donnent respectivement les valeurs des puissances paires et impaires du sinus d’un arc simple, en fonction des premières puissances des lignes trigonométriques, soit sinus soit cosinus, des multiples de l’arc simple, et que j’ai rappelées sous les lettres (a) et (b), à la page 407 du premier volume de mon Traité de calculs différentiel et intégral, on tire, pour le cas de
nombre positif et pair,
(e)
![{\displaystyle \ \int z^{n}\operatorname {d} z\operatorname {Sin} .^{m}z=\pm {\tfrac {1}{2^{m-1}}}\left\{\int z^{n}\operatorname {d} z.\operatorname {Cos} .mz-{\tfrac {m}{1}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .(m-2)z+\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f0d2f5e74b75ab9ffb19f44c7c0f804d06ab166)
![{\displaystyle {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .(m-4)z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf38077b9ac7f1c003f7faf65229ca2f827bad2)
![{\displaystyle \left.-\ldots \mp {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+2}{{\tfrac {1}{2}}m-1}}\int z^{n}\operatorname {d} z.\operatorname {Cos} .2z\right\}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84e05dffa72e4ce78965c9014beaa0120db2c9e3)
![{\displaystyle {\tfrac {1}{2}}.{\tfrac {3}{4}}\ldots {\tfrac {m-1}{m}}.{\tfrac {1}{n+1}}z^{n+1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faa8347a5e733971d898be295ab98cfaf8b7874b)
et, pour le cas de
nombre positif et impair,
(f)
![{\displaystyle \int z^{n}\operatorname {d} z\operatorname {Sin} .^{m}z={\tfrac {1}{2^{m-1}}}\left\{\int z^{n}\operatorname {d} z.\operatorname {Sin} .mz-{\tfrac {m}{1}}\int z^{n}\operatorname {d} z.\operatorname {Sin} .(m-2)z+\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce62ba949d5ac7384352db190e9fbecd631c8ae3)
![{\displaystyle {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\int z^{n}\operatorname {d} z.\operatorname {Sin} .(m-4)z-\ldots \mp {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+5}{{\tfrac {1}{2}}m-3}}\int z^{n}\operatorname {d} z.\operatorname {Sin} .3z\pm }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2b48c9878b5ef72c451c6d00889b33df216c426)
![{\displaystyle \left.{\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+3}{{\tfrac {1}{2}}m-1}}\int z^{n}\operatorname {d} z.\operatorname {Sin} .z\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bba4a014d5be830f9f4bfa5542544b33765d3e4)
Multipliant et divisant chacun des termes des seconds membres de ces deux équations affectés du signe d’intégration, par la
puissance du coefficient de
sous le signe de cosinus, équation (e), et sous celui de sinus, équation (f), en remarquant qu’en général ![{\displaystyle k\operatorname {d} z\operatorname {Cos} .kz=\operatorname {d} \operatorname {Sin} .kz,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03b2687ff8cac25b3f32e657f20b9d34a8e374bc)
on trouvera, pour le cas de
nombre positif et pair,
(5)
![{\displaystyle \quad \int z^{n}\operatorname {d} z\operatorname {Sin} .^{m}z=\pm {\tfrac {1}{2^{m-1}}}\left\{{\tfrac {1}{m^{n+1}}}\int (mz)^{n}\operatorname {d} .\operatorname {Sin} .(mz)\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e045a73ae2ad1cd87b9665231235aafaf8626035)
![{\displaystyle -{\tfrac {m}{(m-2)^{n+1}}}\int \left[(m-2)z\right]^{n}\operatorname {d} .\operatorname {Sin} .\left[(m-2)z\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcee10c4118c0cd195aa89300ef023f084c7f807)
![{\displaystyle +{\tfrac {m}{1}}.{\tfrac {m-1}{2}}.{\tfrac {1}{(m-4)^{n+1}}}\int \left[(m-4)z\right]^{n}\operatorname {d} .\operatorname {Sin} .\left[(m-4)z\right]\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9844b91bdf1497567d1ce0892352accf0668c09f)
![{\displaystyle \left.\mp {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+2}{{\tfrac {1}{2}}m-1}}.{\tfrac {1}{2^{n+1}}}\int (2z)^{n}\operatorname {d} .\operatorname {Sin} .(2z)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d54b3d7118e861f172434cf792738e8c6c8ac274)
![{\displaystyle +{\tfrac {1}{2}}.{\tfrac {3}{4}}\ldots {\tfrac {m}{m-1}}.{\tfrac {n+1}{1}}z^{n+1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e7c82bbfeda086061da7f1a3cf13e76f8e060e6)
les signes supérieurs devant être pris lorsque
est un nombre doublement pair et les inférieurs dans le cas contraire.
Et, pour le cas de
nombre positif et impair,
(6)
![{\displaystyle \quad \int z^{n}\operatorname {d} z\operatorname {Sin} .^{m}z=\mp {\tfrac {1}{2^{m-1}}}\left\{{\tfrac {1}{m^{n+1}}}\int (mz)^{n}\operatorname {d} .\operatorname {Cos} .(mz)\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cb743e913706d74419eb92e2022af657ae1e159)
![{\displaystyle -{\tfrac {m}{(m-2)^{n+1}}}\int \left[(m-2)z\right]^{n}\operatorname {d} .\operatorname {Cos} .\left[(m-2)z\right]+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81cbc8fbf9c2e41a34b157dedc1f26a5b72eb299)
![{\displaystyle {\tfrac {m}{1}}.{\tfrac {m-1}{2}}.{\tfrac {1}{(m-4)^{n+1}}}\int \left[(m-4)z\right]^{n}\operatorname {d} .\operatorname {Cos} .\left[(m-4)z\right]-\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a22b8d998c22702c29cfaf867001decf9ef3d56)
![{\displaystyle \mp {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+5}{{\tfrac {1}{2}}m-3}}.{\tfrac {1}{3^{n+1}}}\int (3z)^{n}\operatorname {d} .\operatorname {Cos} .(3z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ba2f0f6c95bc1ed61074ab7007e89241a57efbe)
![{\displaystyle \left.\pm {\tfrac {m}{1}}.{\tfrac {m-1}{2}}\ldots {\tfrac {{\tfrac {1}{2}}m+3}{{\tfrac {1}{2}}m-1}}\int z^{n}\operatorname {d} .\operatorname {Cos} .z\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eb722429755f129d0623504a9dfdbbcb20e3e17)
les signes supérieurs devant être pris lorsque
est un nombre doublement pair, et les signes inférieurs dans le cas contraire.
Or, les valeurs des termes du second membre de l’équation (5)
affectés du signe d’intégration, sont données, sous forme finie, par l’équation (1) ; et celles des termes du second membre de l’équation (6) sont également données, sous forme finie, par l’équation (2) ; donc, quelles que soient les valeurs entières et positives de
et
on a exactement, et sous forme finie, l’intégrale demandée de