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

## ANALISE TRANSCENDANTE.

### Mémoire sur les intégrales définies, où l’on donne une formule générale de laquelle se déduisent les valeurs de la plupart des intégrales définies déjà connues et celles d’un grand nombre d’autres ;

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.ᵉ 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

∫_{−∞}^{+∞}f⁡(x)d⁡x,

lorsque la fonction f⁡(x+y√(−1)) s’évanouit 1.ᵒ pour x=±∞, quel que soit y; 2.ᵒ pour y=∞, quel que soit x et que d’ailleurs cette fonction conserve une valeur unique et déterminée, pour toutes les valeurs de x et de y renfermées entre les limites

x=−∞, x=+∞, y=0, x=∞.

Si, après avoir cherché les racines réelles ou imaginaires ds l’équation

1/f⁡(x)=0,

on désigne par x₁, x₂, x₃, … celles de ces racines dans lesquelles le coefficient des √(−1) est positif, et par f₁, f₂, f₃, … les valeurs que reçoivent les produits

εf⁡(x₁+ε), εf⁡(x₂+ε), εf⁡(x₃+ε), …

lorsque ε se réduit à zéro ; alors en posant

Δ=2ϖ(f₁, f₂, f₃, …)√(−1)

on trouvera

∫_{−∞}^{+∞}f⁡(x)d⁡x=Δ.

C’est ce que l’on démontre sans peine, à l’aide de la méthode que j’ai employée dans la 34.ᵐᵉ leçon du calcul infinitésimal.

Si l’équation (1) avait plusieurs racines égales à x₁; en désignant par m le nombre de ces racines, et par ε un nombre infiniment petit, il faudrait supposer, dans la formule (2) non plus

f₁=εf⁡(x₁+ε),

mais

f₁=1/1.2.3.….(m−1).(dᵐ⁻¹⁡[εᵐ.f⁡(x₁+ε)])/d⁡εᵐ⁻¹.

Enfin, si, dans la racine x₁, le coefficient de √(−1) se réduisait à la limite des quantités positives décroissantes, c’est-à-dire, à zéro, ou, en d’autres termes, si la racine x₁ devenait réelle, le terme f₁ 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

∫_{−∞}^{+∞}f⁡(x)d⁡x,

qui deviendrait indéterminée, mais sa valeur principale, c’est-à-dire, la limite vers laquelle convergerait la somme

∫_{−∞}ˣ¹⁻ᵋf⁡(x)d⁡x+∫_{x1+ε}^{+∞}f⁡(x)d⁡x

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

∫_{−∞}^{+∞}f⁡(x)d⁡x,

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 x.

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.

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 f⁡(x) une fonction telle que l’expression f⁡(x+y√(−1)) s’évanouisse 1.ᵒ pour x=±∞, quel que soit y; 2.ᵒ pour y=∞, quel que soit x, et demeure toujours finie et continue, entre les limites x=−∞, x=+∞, y=0, y=∞; et si, de plus, on nomme F la limite vers laquelle converge le produit xf⁡(x), tandis que la valeur numérique de x devient infiniment grande ; on aura

∫_{−∞}^{+∞}f⁡(x)d⁡x=−ϖF.√(−1).

Démonstration. Pour établir ce théorème, nous chercherons, d’abord la valeur de l’intégrale

∫_{−X}^{+X}f⁡(x)d⁡x.

Or, généralement,-

(d.f⁡(x+y√(−1)))/d⁡y=√(−1).(d.f⁡(x+y√(−1)))/d⁡x.

Si l’on intègre les deux membres de l’équation précédente, par rapport à x et à y, entre les limites x=−X, x=+X, y=0, y=∞, on en tirera

∫_{−X}^{+X}∫₀^{∞} (d.f⁡(x+y√(−1)))/d⁡y d⁡yd⁡x=

√(−1)∫₀^{∞}∫_{−X}^{+X} (d.f⁡(x+y√(−1)))/d⁡x d⁡xd⁡y;

puis, en ayant égard à la condition f⁡(x+∞√(−1))=0

∫_{−X}^{+X}f⁡(x)d⁡x=−√(−1)∫₀^{∞}[f⁡(X+y√(−1))−f⁡(−X+y√(−1))]d⁡y.

Si maintenant on attribue à la quantité X une valeur très-grande, on aura sensiblement

(X+y√(−1))f⁡(X+y√(−1))=(−X+y√(−1))f⁡(−X+y√(−1))=F,

et, par suite

f⁡(X+y√(−1))=F/(X+y√(−1)), f⁡(−X+y√(−1))=F/(−X+y√(−1)),

d’où

∫_{−X}^{+X}f⁡(x)d⁡x=−F√(−1)∫₀^{∞}{ 1/(X+y√(−1))+1/X−y√(−1) }d⁡y

=−F√(−1)∫₀^{∞} 2Xd⁡y/(X²+y²)=−ϖF√(−1).

Cette dernière équation deviendra rigoureuse, si l’on pose X=∞, et se réduira dès lors à la formule (1).

Observons toutefois que, si l’intégrale définie

∫_{−∞}^{+∞}f⁡(x)d⁡x

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 F s’évanouit, l’intégrale (6) n’admet qu’une seule valeur, qui se réduit à zéro, en sorte qu’on a

∫_{−∞}^{+∞}f⁡(x)d⁡x=0.

Ainsi, par exemple, si l’on prend

f⁡(x)=e^{ax√(−1)}−e⁻ᵃ/(1+x²)=(Cos.ax+√(−1)Sin.ax)/(1+x²)−e⁻ᵃ/(1+x²) ;

on trouvera

∫_{−∞}^{+∞} (Cos.ax+√(−1)Sin.ax)/(1+x²) d⁡x−e⁻ᵃ∫_{−∞}^{+∞} d⁡x/(1+x²)=0;

et, par suite

∫_{−∞}^{+∞} Cos.ax/(1+x²) d⁡x=e⁻ᵃ∫_{−∞}^{+∞} d⁡x/(1+x²) d⁡x=ϖe⁻ᵃ,

∫_{−∞}^{+∞} Sin.ax/(1+x²) d⁡x=0.

Corollaire II. Si l’on désigne par f⁡(x) et φ(x) 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

f⁡(x)−φ(x)

satisfasse aux conditions dont il s’agit ; alors en représentant par

F

Φ

les limites vers lesquelles convergent les produits

xf⁡(x)

xφ(x)

tandis que la valeur numérique de la variable x croît de plus en plus ; on aura évidemment

∫_{−∞}^{+∞}[f⁡(x)−φ(x)]d⁡x=ϖ(Φ−F)√(−1),

et, par suite

∫_{−∞}^{+∞}f⁡(x)d⁡x=∫_{−∞}^{+∞}φ(x)d⁡x+ϖ(Φ−F)√(−1).

Les intégrales comprises dans cette dernière formule doivent encore être réduites à leurs valeurs principales.

Si la quantité F s’évanouit, on aura simplement

∫_{−∞}^{+∞}f⁡(x)d⁡x=∫_{−∞}^{+∞}φ(x)d⁡x+ϖΦ.√(−1).

Corollaire III. Supposons que l’expression

f⁡(x+y√(−1))

s’évanouisse 1.ᵒ pour x=±∞, quel que soit y; 2.ᵒ pour y=∞ quel que soit x, mais devienne infinie pour un ou plusieurs systèmes de valeurs positives ou négatives de x, et de valeurs nulles ou positives de y. Alors, pour déterminer l’intégrale

∫_{−∞}^{+∞}f⁡(x)d⁡x,

à l’aide de la formule (10) ou (11), il suffira de trouver une fonction rationnelle de x telle que la différence

f⁡(x)−φ(x)

remplisse les conditions énoncées dans le théorème. En cherchant cette fonction rationnelle, et supposant de plus F=0, 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 x=a et y=b, b représentant une quantité positive ou nulle. Faisons, pour abréger, a+b√(−1)=x₁, et désignons par f₁ la limite vers laquelle converge le produit (x−x₁)f⁡(x), tandis que le facteur x−x₁ converge vers zéro la différence

f⁡(x)−f₁/x−x₁=(x−x₁)f⁡(x)−f₁/(x−x₁)

obtiendra, en général, une valeur finie pour x=x₁; et si, entre les racines de l’équation

f/f⁡(x)=0,

la racine x₁ est la seule dans laquelle le coefficient de √(−1) soit positif, cette différence remplira les conditions énoncées dans le théorème. On pourra donc prendre

φ(x)=f₁/x−x₁=f₁/x−a−b√(−1).

Cela posé, on trouve 1.ᵒ

Φ=f₁.

2.ᵒ si b est nul

∫_{−∞}^{+∞}φ(x)d⁡x=f₁⁡Sin.∫_{−X}^{+X} f₁.d⁡x/x−a=f₁.Sin.1/2 l(X−a/(X+a))²=0,

et, si b est positif

∫_{−∞}^{+∞}φ(x)d⁡x=Sin.∫_{−X}^{+X} f₁.d⁡x/x−a−b√(−1)

=f₁⁡∫_{−∞}^{+∞} b√(−1).d⁡x/((x−a)²+b²)=ϖf₁⁡√(−1).

Par suite, l’équation (10) donnera, si b est nul,

∫_{−∞}^{+∞}f⁡(x)d⁡x=ϖf₁.√(−1).

et, si b est positif

∫_{−∞}^{+∞}f⁡(x)d⁡x=2ϖf₁.√(−1).

Si b devenait négatif, on devrait prendre φ(x)=0, et l’on aurait, en conséquence,

∫_{−∞}^{+∞}f⁡(x)d⁡x=0.

Pour établir les formules (17) et (18), nous avons supposé que le produit

(x−x₁)f⁡(x)

convergeait vers une limite finie f₁, tandis que le facteur x−x₁ s’approchait indéfiniment de zéro. Supposons maintenant que le produit (20) ait une limite infinie, et que, dans la suite

(x−x₁)f⁡(x), (x−x₁)²f⁡(x), (x−x₁)³f⁡(x), …(x−x₁)ᵐf⁡(x),

le terme

(x−x₁)ᵐf⁡(x)

soit le premier qui ait une limite finie. Alors, si l’on pose

(x−x₁)ᵐf⁡(x)=f(x)=f(x₁)+x−x₁/1 f′(x₁)+

…+(x−x₁)ᵐ⁻¹/12.…(m−1) f⁽ᵐ⁻¹⁾(x₁)+(x−x₁)ᵐψ(x),

la fonction ψ(x) conservera, en général, une valeur finie pour x=x₁, et remplira la condition énoncée dans le théorème. Comme on aura d’ailleurs

ψ(x)=f⁡(x)−f′(x₁)/1 1/(x−x₁)ᵐ⁻¹−f″(x₁)/1.2 1/(x−x₁)ᵐ⁻²−

…−f⁽ᵐ⁻¹⁾(x₁)/1.2.…(m−1).1/x−x₁,

il est clair qu’on pourra prendre

φ(x)=f′(x₁)/1.1/(x−x₁)ᵐ⁻¹+f″(x₁)/1.2.1/(x−x₁)ᵐ⁻²+

…+f⁽ᵐ⁻¹⁾(x₁)/1.2.…(m−1).1/x−x₁.

En adoptant cette valeur de φ(⁾, on trouvera

Φ=f⁽ᵐ⁻¹⁾(x₁)/1.2.3…(m−1) ;

et par conséquent l’équation (14) continuera de subsister, pourvu que l’on suppose

f₁=f⁽ᵐ⁻¹⁾(x₁)/1.2.3…(m−1)

=Sin.1/1.2.3…(m−1) dᵐ⁻¹⁡[(x−x₁)ᵐf⁡(x)]/d⁡xᵐ⁻¹

On trouvera encore, dans cette hypothèse, 1.ᵒ lorsque b étant nul, les expressions

f⁽ᵐ⁻²⁾(x₁), f⁽ᵐ⁻⁴⁾(x₁), f⁽ᵐ⁻⁶⁾(x₁), …

se réduiront toutes à zéro,

∫_{−∞}^{+∞}φ(x)d⁡x=0;

2.ᵒ lorsque, b étant nul, quelques-unes des mêmes expressions obtiendront des valeurs différentes de zéro

∫_{−∞}^{+∞}φ(x)d⁡x=±∞;

3.ᵒ lorsque b sera positif

∫_{−∞}^{+∞}φ(x)d⁡x=F⁡f₁.√(−1).

Par suite, les formules (17) et (18) subsisteront encore, si la racine de l’équation (12) désignée par x₁ est une racine imaginaire, dans laquelle le coefficient de √(−1) soit positif, ou une racine réelle pour laquelle les expressions

f⁽ᵐ⁻²⁾(x₁), f⁽ᵐ⁻⁴⁾(x₁), f⁽ᵐ⁻⁶⁾(x₁), …

s’évanouissent.

Si, dans la racine x₁, le coefficient de √(−1) était négatif, on retrouverait la formule (19).

Si l’équation (12) admettait plusieurs racines x₁, x₂, x₃, …; alors, pour obtenir une valeur de φ(x) propre à remplir les conditions prescrites, il suffirait d’ajouter les valeurs de φ(x) 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).

* ↑ Résumé, pag. 135, formule (13).
* ↑ Résumé, pag. 136, formule (14).
* ↑ Mémoire sur les intégrales prises entre des limites imaginaires.
* ↑ La formule (8) a été donnée par M. Laplace. La formule (9) est évidente.
