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

## ANALISE TRANSCENDANTE.

### Note sur les équations différentielles partielles et sur les intégrales définies ;

L’on a beaucoup multiplié, dans ces derniers temps, l’application des intégrales définies à l’intégration des équations différentielles partielles ; mais personne, du moins que je sache, ne paraît avoir songé à renverser la question, je veux dire, à appliquer l’intégration des équations différentielles partielles à la recherche des intégrales définies. Cette manière de procéder peut pourtant conduire souvent au but d’une manière fort simple ; et c’est ce que je me propose de faire voir ici, par un exemple.

Soit la formule

y=∫e⁻ᵇˣXd⁡x.Cos.ax,

où X désigne une fonction quelconque de x, sans a ni b, et où les limites de l’intégrale, indépendantes des mêmes quantités, sont d’ailleurs supposées quelconques. En différentiant deux fois successivement par rapport à a et b, il viendra

d⁡y/d⁡a=−∫e⁻ᵇˣXxd⁡x.Sin.ax, d⁡y/d⁡b=−∫e⁻ᵇˣXxd⁡x.Cos.ax, d²⁡y/d⁡a²=−∫e⁻ᵇˣXx²d⁡x.Cos.ax, d²⁡y/d⁡b²=+∫e⁻ᵇˣXx²d⁡x.Cos.ax;

d’où

d²⁡y/d⁡a²+d²⁡y/d⁡b²=0;

équation dont l’intégrale est, en général,

y=ϕ(b+a√(−1))+ψ(b−a√(−1)),

ainsi qu’on peut s’en convaincre par la différentiation et l’élimination des fonctions arbitraires. De là on tire

d⁡y/d⁡a={ϕ′(b+a√(−1))−ψ′(b−a√(−1))};

valeur qui se réduit à

{ϕ′(b)−ψ′(b)}√(−1),

lorsqu’on suppose a=0; mais la valeur de d⁡y/d⁡a déterminée ci-dessus prouve que, dans la même circonstance, ce coefficient différentiel doit s’évanouir ; donc

ϕ′(b)=ψ′(b),

ϕ(b)=ψ(b),

et, par suite,

y=ϕ(b+a√(−1))+ϕ(b−a√(−1)).

En posant ici a=0, il vient

y=2ϕ(b);

et, d’un autre côté, on doit avoir, dans le même cas,

y=∫e⁻ᵇˣXd⁡x;

de sorte que, toutes les fois que l’on saura trouver cette dernière intégrale, on en déduira facilement la valeur complète de y.

Si, par exemple, on prend

X=xⁿ⁻¹,

on aura

y=∫e⁻ᵇˣxⁿ⁻¹d⁡x,

dont l’intégrale entre x=0 et x=∞ est

1/bⁿ ∫e⁻ˣxⁿ⁻¹d⁡x;

donc

2ϕ(b)=1/bⁿ ∫e⁻ˣxⁿ⁻¹d⁡x,

ϕ(b)=1/2 b⁻ⁿ∫e⁻ˣxⁿ⁻¹d⁡x;

et par conséquent

y={ 1/2 (b+a√(−1))⁻ⁿ+1/2 (b−a√(−1))⁻ⁿ}∫e⁻ˣxⁿ⁻¹d⁡x.

Si l’on fait ensuite

b=kCos.t, a=kSin.t,

on aura

y=∫e⁻ᵇˣxⁿ⁻¹d⁡xCos.ax=Cos.nt/kⁿ ∫e⁻ˣxⁿ⁻¹d⁡x.{x=0x=∞}

on trouverait semblablement

y=∫e⁻ᵇˣxⁿ⁻¹d⁡xSin.ax=Sin.nt/kⁿ ∫e⁻ˣxⁿ⁻¹d⁡x;{x=0x=∞}

k et t conservant les mêmes valeurs que dans la formule précédente.

La même marche peut conduire à un résultat que je me crois fondé à regarder comme intéressant. Soit

∫ϕ(x, b)d⁡x=ψ(b),

et

∫{ϕ(x, b+a√(−1))+ϕ(x, b−a√(−1))}d⁡x=y,

l’on en conclura, en général, comme ci-dessus,

d²⁡y/d⁡a²+d²⁡y/d⁡b²=0;

et par conséquent

y=F⁡(b+a√(−1))+Φ(b−a√(−1)),

F et Φ désignant des fonctions arbitraires quelconques ; mais, si l’on fait a=0, on devra avoir, en vertu de l’équation (1)

F⁡(b)+Φ(b)=2ψ(b);

d’où, en observant que a et d⁡y/d⁡a doivent être nuls en même temps, on conclura

F⁡(b)=Φ(b)=ψ(b),

et par conséquent

y=ψ(b+a√(−1))+ψ(b−a√(−1)).

On trouverait de même que, sous la même condition,

∫ (ϕ(x, b+a√(−1))−ϕ(x, b−a√(−1)))/√(−1) d⁡x=y,

donne

y=(ψ(b+a√(−1))−ψ(b−a√(−1)))/√(−1) ;

ce qui fait voir que l’emploi du passage du réel à l’imaginaire est permis, toutes les fois qu’il est permis de différentier sous le signe ∫ des fonctions que ce signe affecte, par rapport aux constantes que ces fonctions peuvent renfermer.

Les diverses formules qu’on avait obtenues, au moyen de ce passage, se trouvent, par ce qui précède, rigoureusement démontrées, et ce même passage cesse dès-lors d’être regardé comme le résultat d’une simple induction.

