Annales de mathématiques pures et appliquées/Tome 04/Analise transcendante, article 2
# Annales de mathématiques pures et appliquées/Tome 04/Analise transcendante, article 2

## ANALISE TRANSCENDANTE.

On rencontre souvent, en mécanique, des fonctions différentielles de la forme

zⁿdzCos.ᵐz, zⁿdzSin.ᵐz.

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

(az)ⁿd.Sin.(az), (az)ⁿd.Cos.(az),

lesquelles reviennent à

xⁿd.Sin.x, xⁿd.Cos.x,

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 X=xⁿ, a=0 et b=1 ; mais nous croyons devoir, dans ce mémoire, les intégrer immédiatement.

xⁿd.Sin.x.

On a

d(xⁿSin.x)=xⁿd.Sin.x−nxⁿ⁻¹d.Cos.x,

donc

∫xⁿd.Sin.x=xⁿSin.x+n∫xⁿ⁻¹d.Cos.x;

or,

d⁡(xⁿ⁻¹Cos.x)=xⁿ⁻¹d.Cos.x+(n−1)xⁿ⁻²d.Sin.x;

donc

∫xⁿ⁻¹d⁡Cos.x=xⁿ⁻¹Cos.x−(n−1)∫xⁿ⁻²d.Sin.x.

De ces équations (a) et (b), on conclura aisément les valeurs de ∫xⁿ⁻²d.Sin.x, ∫xⁿ⁻³d.Cos.x, ∫xⁿ⁻⁴d.Sin.x, … et, par des substitutions successives, à partir de l’équation (a), on parviendra au résultat que voici :

∫xⁿd.Sin.x={xⁿ−n(n−1)xⁿ⁻²+n(n−1)(n−2)(n−3)xⁿ⁻⁴−…}Sin.x+

{nxⁿ⁻¹−n(n−1)(n−2)xⁿ⁻³+n(n−1)(n−2)(n−3)(n−4)xⁿ⁻⁵−…}Cos.x;

dont les séries, régies par une loi très-simple à apercevoir, sont finies, lorsque n est un nombre positif et entier. Il est d’ailleurs aisé de voir que le coefficient de Cos.x est égal à la différentielle de celui de Sin.x, divisée par d⁡x.

xⁿd.Cos.x.

Suivant la méthode des intégrations réciproques (Art. 217 de l’ouv. cité), on a

∫xⁿd.Cos.x=xⁿCos.x−n∫xⁿ⁻¹d.Sin.x,

∫xⁿ⁻¹d.Sin.x=xⁿ⁻¹Sin.x+(n−1)∫xⁿ⁻²d.Cos.x.

Mettant successivement n−2, n−4, … 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

∫xⁿd.Cos.x={xⁿ−n(n−1)xⁿ⁻²+n(n−1)(n−2)(n−3)xⁿ⁻⁴−…}Cos.x−

{nxⁿ⁻¹−n(n−1)(n−2)xⁿ⁻³+n(n−1)(n−2)(n−3)(n−4)xⁿ⁻⁵−…}Sin.x;

dont les séries sont les mêmes que dans l’équation (1).

zⁿd⁡z.Cos.ᵐz.

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 m nombre positif et pair,

∫zⁿd⁡z.Cos.ᵐz=1/2ᵐ⁻¹ {∫zⁿd⁡z.Cos.mz+m/1 ∫zⁿd⁡z.Cos.(m−2)z+

m/1.m−1/2 ∫zⁿd⁡z.Cos.(m−4)z+…+m/1.m−1/2 … (1/2 m+2)/ 1/2 m−1 ∫zⁿd⁡2.Cos⁡.2z}+

1.3.5…(m−1)/(2.4.6…m(n+1)) zⁿ⁺¹;

et, pour le cas de m nombre positif et impair,

∫zⁿd⁡z.Cos.ᵐz=1/2ᵐ⁻¹ {∫zⁿd.z.Cos.mz+m/1 ∫zⁿd⁡z.Cos.(m−2)z+

m/1.m−1/2 ∫zⁿd⁡z.Cos.(m−4)z+…+m/1.m−1/2 … (1/2 (m+5))/(1/2 (m+3) ∫zⁿd⁡z.Cos⁡.3z+

m/1.m−1/2 … (1/2 (m+3))/ 1/2 (m−1) ∫zⁿd⁡zCos.z}.

Multipliant et divisant, dans ces deux équations, chaque terme du second membre par la (n+1)ᵐᵉ puissance du coefficient de z sous le cosinus, en observant qu’en général

kd⁡zCos.kz=d.Sin.kz,

il viendra, pour le cas de m nombre positif et pair,

∫zⁿd⁡zCos.ᵐz=1/2ᵐ⁻¹ { 1/(mⁿ⁺¹) ∫(mz)ⁿd.Sin.(mz)

+m/((m−2)ⁿ⁺¹) ∫[(m−2)z]ⁿd.Sin.[(m−2)z]

+…+m/1.m−1/2 … (1/2 m+2)/ 1/2 m−1 1/(2ⁿ⁺¹) ∫(2z)ⁿd.Sin.(2z)}

+1/2.3/4 … m−1/m.1/(n+1) zⁿ⁺¹.

et pour le cas de m nombre positif et impair,

∫zⁿd⁡zCos.ᵐz=1/2ᵐ⁻¹ { 1/(mⁿ⁺¹) ∫(mz)ⁿd.Sin.(mz)

+m/((m−2)ⁿ⁺¹) ∫[(m−2)z]ⁿd.Sin.[(m−2)z]

+…+m/1.m−1/2 … (1/2 m+5)/(1/2 m+3) 1/(3ⁿ⁺¹) ∫(3z)ⁿd.Sin.(3z)

+m/1.m−1/2 … (1/2 m+3)/ 1/2 m−2 ∫zⁿd.Sin.z}.

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 x=mz, (m−2)z, …; donc on aura aussi, sous forme finie, les intégrales demandées.

zⁿd⁡z.Sin.ᵐz.

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 m nombre positif et pair,

∫zⁿd⁡zSin.ᵐz=± 1/2ᵐ⁻¹ {∫zⁿd⁡z.Cos.mz−m/1 ∫zⁿd⁡z.Cos.(m−2)z+

m/1.m−1/2 ∫zⁿd⁡z.Cos.(m−4)z

−…∓ m/1.m−1/2 … (1/2 m+2)/ 1/2 m−1 ∫zⁿd⁡z.Cos⁡.2z}+

1/2.3/4 … m−1/m.1/(n+1) zⁿ⁺¹;

et, pour le cas de m nombre positif et impair,

∫zⁿd⁡zSin.ᵐz=1/2ᵐ⁻¹ {∫zⁿd⁡z.Sin.mz−m/1 ∫zⁿd⁡z.Sin.(m−2)z+

m/1.m−1/2 ∫zⁿd⁡z.Sin.(m−4)z−…∓ m/1.m−1/2 … (1/2 m+5)/ 1/2 m−3 ∫zⁿd⁡z.Sin⁡.3z±

m/1.m−1/2 … (1/2 m+3)/ 1/2 m−1 ∫zⁿd⁡z.Sin.z}.

Multipliant et divisant chacun des termes des seconds membres de ces deux équations affectés du signe d’intégration, par la (n+1)ᵐᵉ puissance du coefficient de z sous le signe de cosinus, équation (e), et sous celui de sinus, équation (f), en remarquant qu’en général kd⁡zCos.kz=d⁡Sin.kz, kd⁡zSin.kz=−d⁡Cos.kz, on trouvera, pour le cas de m nombre positif et pair,

∫zⁿd⁡zSin.ᵐz=± 1/2ᵐ⁻¹ { 1/(mⁿ⁺¹) ∫(mz)ⁿd.Sin.(mz)

−m/((m−2)ⁿ⁺¹) ∫[(m−2)z]ⁿd.Sin.[(m−2)z]

+m/1.m−1/2.1/((m−4)ⁿ⁺¹) ∫[(m−4)z]ⁿd.Sin.[(m−4)z]…

∓ m/1.m−1/2 … (1/2 m+2)/ 1/2 m−1.1/(2ⁿ⁺¹) ∫(2z)ⁿd.Sin.(2z)}

+1/2.3/4 … m/m−1.(n+1)/1 zⁿ⁺¹;

les signes supérieurs devant être pris lorsque m est un nombre doublement pair et les inférieurs dans le cas contraire.

Et, pour le cas de m nombre positif et impair,

∫zⁿd⁡zSin.ᵐz=∓ 1/2ᵐ⁻¹ { 1/(mⁿ⁺¹) ∫(mz)ⁿd.Cos.(mz)

−m/((m−2)ⁿ⁺¹) ∫[(m−2)z]ⁿd.Cos.[(m−2)z]+

m/1.m−1/2.1/((m−4)ⁿ⁺¹) ∫[(m−4)z]ⁿd.Cos.[(m−4)z]−…

∓ m/1.m−1/2 … (1/2 m+5)/ 1/2 m−3.1/(3ⁿ⁺¹) ∫(3z)ⁿd.Cos.(3z)

± m/1.m−1/2 … (1/2 m+3)/ 1/2 m−1 ∫zⁿd.Cos.z};

les signes supérieurs devant être pris lorsque −1 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 m et n, on a exactement, et sous forme finie, l’intégrale demandée de zⁿd⁡z.Sin.ᵐz.

