Annales de mathématiques pures et appliquées/Tome 12/Géométrie transcendante, article 2
# Annales de mathématiques pures et appliquées/Tome 12/Géométrie transcendante, article 2

## ANALISE TRANSCENDANTE.

### Éclaircissemens sur la théorie de l’intégrale ∫ d⁡x/Log.x, prise depuis x=0;

I. On doit à M. Bessel une théorie fort remarquable de l’intégrale ∫ d⁡x/Log.x, dans laquelle sont exposées des séries propres à en fournir la valeur numérique, pour une valeur quelconque de x. Suivant cette théorie, on obtient toujours une valeur réelle pour cette intégrale ; ce qui semblerait n’être pas d’accord avec la doctrine récemment exposée par M. Poisson, sur les intégrales dont les élémens passent par l’infini, comme cela a lieu relativement au cas dont il est ici question, toutes les fois que l’on prend pour x une valeur plus grande que l’unité. Mais, tout en admettant la théorie de M. Poisson, il est facile de faire disparaître la contradiction qui se présente ici, à l’aide d’une distinction entre l’intégrale arithmétique et l’intégrale analitique.

Imaginons, pour un instant, l’existence d’une fonction finie de x qui, étant différentiée, donne d⁡x/Log.x, et soit F⁡(x) cette fonction ; alors, l’intégrale que j’appelle analitique sera donnée par l’équation

∫ d⁡x/Log.x=F⁡(x)−F⁡(0);

celle-ci sera toujours imaginaire, lorsqu’on donnera à x une valeur plus grande que l’unité, ainsi que nous le ferons voir.

Maintenant, si l’on construit sur le même axe et avec la même origine, 1.ᵒ la courbe ayant pour ordonnée

y=1/Log.x′,

x′=0

x′=1;

2.ᵒ la courbe ayant pour ordonnée

y=1/(Log.(1+x)),

x=0

x=∞;

j’entends par intégrale arithmétique de d⁡x′/Log.x′ une fonction de x propre à donner la mesure de l’aire terminée par l’une ou l’autre de ces courbes ; ou bien la mesure de la différence des aires formées par une portion quelconque de la seconde courbe et la totalité de la première. Ainsi, en désignant par ψ(x′) la fonction de l’abscisse qui donne l’aire négative terminée par la première courbe, on aura

∫ d⁡x′/Log.x′=ψ(x′),

pour l’intégrale arithmétique de d⁡x/Log.x, depuis x=0 jusqu’à x=1; et, en désignant par ϕ(x)−ϕ(0) l’aire positive terminée par la seconde courbe, on aura

∫ d⁡x/(Log.(1+x))=ϕ(x)−ϕ(0),

pour l’intégrale arithmétique de d⁡x/Log.x depuis x=1 jusqu’à x=x.

L’aire totale de la première courbe étant exprimée négativement par ψ(1), il est évident que

ϕ(x)−ϕ(0)+ψ(1),

sera la mesure de la différence entre l’aire partielle de la seconde courbe, et l’aire totale de la première ; de sorte que nous ayons

∫ d⁡x/Log.x=ϕ(x)−ϕ(0)+ψ(1),

pour l’intégrale arithmétique de d⁡x/Log.x, correspondant à une valeur quelconque de x plus grande que l’unité. Les formules données par M. Bessel fournissent la valeur de cette dernière fonction avec toute la précision désirable. Mais on conçoit bien que, en considérant ainsi l’intégrale en question, rien n’établit l’identité entre l’intégrale arithmétique représentée par ϕ(x)−ϕ(0)+ψ(1) et l’intégrale analitique représentée par F⁡(x)=F⁡(0).

Il est vrai que cette identité a lieu, généralement parlant ; mais elle ne saurait, avoir lieu dans les cas particuliers où il n’y a pas une continuité physique entre les différentes parties de la courbe qui a pour ordonnée le coefficient de d⁡x. Alors l’analise pure met, pour ainsi dire, en évidence l’impossibilité d’une continuité physique dans la surface terminée par la courbe et l’axe des abscisses, en présentant, par l’intégration directe, un résultat en partie réel et en partie imaginaire. Plusieurs exemples démontrent que, en pareil cas, il suffit de supprimer la partie imaginaire du résultat ainsi trouvé, pour obtenir l’intégrale arithmétique ; mais je n’ose croire qu’un tel moyen puisse, dans tous les cas, être employé avec sûreté. Toutefois, je vais faire voir que du moins il est légitime, relativement à l’intégrale ∫ d⁡x/Log.x.

II. En intégrant depuis n=0 jusqu’à n=1, il est clair que l’on a

∫₀¹aⁿd⁡n=a−1/Log.a ;

donc, en changeant successivement a en 1+α et 1−α, nous aurons.

∫₀¹(1+α)ⁿd⁡n=(+α)/(Log.(1+α)),

∫₀¹(1−α)ⁿd⁡n=−α/Log.(1−α) ;

de là on conclura, en développant le binôme (1−α)ⁿ,

−α/Log.(1−α)=∫₀¹d⁡n−α∫₀¹ n/1 d⁡n+α²∫₀¹ n/1.n−1/2 d⁡n

−α³∫₀¹ n/1.n−1/2.n−2/3 d⁡n+…;

ainsi, en posant, pour plus de simplicité,

−α/Log.(1−α)=1+B₁α+B₂α²+B₃α³+B₄α⁴+…,

on aura

B₁=−∫₀¹ n/1 d⁡n=−1/2 B₂=+∫₀¹ n/1.n−1/2 d⁡n=−1/12 B₃=−∫₀¹ n/1.n−1/2.n−2/3 d⁡n=−1/24 B₄= ∫₀¹ n/1.n−1/2.n−2/3.n−3/4 d⁡n=−19/720 B₅= ∫₀¹ n/1.n−1/2.n−2/3.n−3/4.n−4/5 d⁡n=−3/160

et il est clair que les mêmes coefficiens donnent

α/(Log.(1+x))=1−B₁α+B₂α²−B₃α³+B₄α⁴−…

Cela posé, si l’on écrit Log.[1−(1−x)] au lieu de Log.x, on obtiendra, à l’aide de la formule (1),

∫ d⁡x/Log.x=∫−d⁡x/1−x−∫d⁡x[B₁+B₂(1−x)+B₃(1−x)²+…];

ou bien, en exécutant l’intégration

∫ d⁡x/Log.x=Const.+Log.(1−x)−B₁x+1/2 B₂(1−x)²

+1/3 B₃(1−x)³+…

En déterminant la constante arbitraire de manière que l’intégrale soit nulle lorsque x=0, il viendra

∫ d⁡x/Log.x=Log.(1−x)+B₁[(1−x)−1]+1/2 B₂[(x−1)²−1]

+1/3 B₃[(1−x)³−1]+…;

donc, en désignant par C la valeur numérique de la série infinie et convergente

C=−(B₁+1/2 B₂+1/3 B₃+1/4 B₄+…);(a)

on aura

∫ d⁡x/Log.x=C+Log.(1−x)+B₁(1−x)+1/2 B₂(x−1)²

+1/3 B₃(1−x)³+…

La valeur de la constante C pourrait être trouvée avec toute la précision que l’on désirerait, en sommant un nombre suffisant de termes du second membre de l’équation (a); mais ce moyen n’est pas le plus expéditif. Il y en a d’autres plus rapides, à l’aide desquels on a calculé ce nombre avec 32 chiffres décimaux, dont les premiers donnent C=0, 5772156…

Le second membre de l’équation (3), formé d’après les principes directs du calcul intégral, doit être regardé comme un véritable développement de l’intégrale analitique représentée plus haut par F⁡(x)−F⁡(0).

Ce développement est évidemment réel et négatif pour toute valeur de x positive et moindre que l’unité ; il augmente toujours dans le même sens, à mesure que x approche de l’unité, et finit par devenir infiniment grand et négatif, lorsque x=1. À ce point, l’équation (3) donne

∫ d⁡x/Log.x=C+Log⁡.0.

Lorsque x surpasse l’unité, le terme Log.(1−x) est absolument imaginaire, il est même indéterminé, eu égard à la multiplicité des valeurs de Log.(−1) ; mais avant de tirer de là la conséquence que le second membre de l’équation (3) est effectivement imaginaire, il faut démontrer que la série affectée des coefficiens B₁, B₂, B₃, … ne peut pas être elle-même le développement d’une fonction qui devienne imaginaire lorsqu’on a x>1 ; car autrement on pourrait objecter qu’il y aura destruction entre les parties imaginaires.

À cet effet, remarquons que, si dans l’équation (3), on remplace Log.(x−1) par ∫−d⁡x/Log.(1−x), on obtient

∫d⁡x{ 1/1−x+1/Log.x }=C+B₁(1−x)+1/2 B₂(1−x)²+…

Or, il est facile de voir que la valeur de cette série infinie est toujours assignable par une quantité réelle, en appliquant convenablement la méthode des quadratures à l’intégrale qui forme le premier membre de l’équation (4), et dont les élémens ne deviennent jamais infinis ; car, en suivant la marche de la courbe dont l’équation est

y=1/1−x+1/Log.x,

* ↑ Voyez le recueil périodique intitulé : Konigsberger Archiv Naturwissenchaft und Mathematik (janvier 1811) ; ou bien le Traité des différences et des séries de M. Lacroix, deuxième édition, chap. VI, pag. 525, n.ᵒ 1231. J. D. G.
* ↑ Pour bien suivre tout ceci, il faut avoir bien présente à l’esprit la nature de la courbe exprimée par l’équation y=1/Log.x, laquelle est composée de deux parties distinctes, la première, entièrement située au-dessous de l’axe des x, et comprise entre l’axe des y et une parallèle menée à cet axe à la distance +1, a cette parallèle pour asymptote et va se terminer brusquement à l’origine ; la seconde, entièremeat située au-dessus de l’axe des x et à droite de la parallèle dont il vient d’être question, est inscrite dans l’angle de ces deux droites qui en sont les asymptotes ; de sorte qu’elle a deux branches infinies, à la manière des hyperboles, et que la parallèle à l’axe des y est asymptote commune des deux courbes.J. D. G.
