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

## ANALISE TRANSCENDANTE.

Toutes les méthodes de différentiation, connues jusqu’à présent, supposent le développement des fonctions en séries ; et la chose parait même, en quelque sorte, inévitable, puisque les différentielles d’une fonction ne sont autre chose que les coefficiens des termes successifs du développement de ce que devient cette fonction, lorsque la variable reçoit un accroissement arbitraire. Il peut donc paraître assez intéressant de déterminer les différentielles d’une fonction, sans recourir à ce développement ; c’est l’objet de la méthode que je vais exposer. Elle ne suppose connues que la différentielle de la somme x+y, et celle du produit xy, et repose sur les deux lemmes suivans :

LEMME I. x et y étant deux variables entièrement indépendantes, et P, Q, R, S étant des fonctions quelconques de x et y ; si l’on a l’équation

Pd⁡x+Qd⁡y=Rd⁡x+Sd⁡y,

on en pourra conclure ces deux-ci

P=R, Q=S.

Démonstration. Si l’équation (P−R)d⁡x+(Q−S)d⁡y=0 n’était point identique, ce serait une équation différentielle en vertu de laquelle y se trouverait, contrairement à l’hypothèse, une certaine fonction de x ; on a donc nécessairement P−R=0 et Q−S=0 ; donc, etc.

LEMME II. X et Y étant deux fonctions composées de la même manière, la première en x et la seconde en y, variables indépendantes : si l’on a X=Y, on en pourra conclure X= constante.

Démonstration. D’après l’hypothèse, la fonction X doit devenir la fonction Y, si l’on y met y au lieu de x ; mais, à cause de X=Y, la fonction X ne doit pas changer de valeur, par l’effet de cette substitution ; donc, puisque y, indépendant de x, peut représenter des valeurs quelconques de x, la fonction X est tellement constituée, qu’elle conserve la même valeur, quelle que soit d’ailleurs la variation de x ; propriété qui caractérise les constantes ; donc, etc.

Cela posé, soit 1.ᵒ à différentier xᵐ ?

Soient x et y deux variables absolument indépendantes ; on aura

(xy)ᵐ=xᵐyᵐ.

Désignons la différentielle inconnue de xᵐ par φ(x)d⁡x ; nous aurons, en différentiant l’équation, (1)

φ(xy)(yd⁡x+xd⁡y)=yᵐφ(x)d⁡x+xᵐφ(y)d⁡y;

d’où nous tirerons, par le Lemme 1,

yφ(xy)=yᵐφ(x), xφ(xy)=xᵐφ(y);

ce qui donne, par l’élimination de \varphi(xy) et la suppression des facteurs communs,

yᵐ⁻¹φ(x)=xᵐ⁻¹φ(y),

φ(x)/xᵐ⁻¹=φ(y)/yᵐ⁻¹ ;

on a donc, par le Lemme II, +φ(x)/xᵐ⁻¹=C; donc φ(x)=Cxᵐ⁻¹ par conséquent,

d⁡xᵐ=Cxᵐ⁻¹⋅d⁡x

2.ᵒ Soit à différentier aˣ ?

En supposant encore y quelconque et indépendante de x,

on aura

aˣ⁺ʸ=aˣ.aʸ.

Soit φ(x)d⁡x la différentielle de aˣ ; il viendra, en différentiant l’équation (2),

φ(x+y)(d⁡x+d⁡y)=aʸφ(x)d⁡x+aˣφ(y)d⁡y

d’où nous tirerons, par le Lemme I,

φ(x+y)=aʸφ(x), φ(x+y)=aˣφ(y)

donc

aφ(x)=aˣφ(y), ou φ(x)/aˣ=φ(y)/aʸ ;

et, par le Lemme II, φ(x)/aˣ=C ; donc φ[x)=Caˣ, et par conséquent

d.aˣ=Caˣd⁡x.

3.ᵒ Soit à différentier Log.x, pour un système quelconque ?

On aura par la définition de la fonction proposée,

Log.(xy)=Log.x+Log.y.

Soit φ(x)d⁡x la différentielle de Log.x ; il viendra en différentiant l’équation (3)

φ(xy)(yd⁡x+xd⁡y)=φ(x)d⁡x+φ(y)d⁡y

donc (Lemme I)

yφ(xy)=φ(x), xφ(xy)=φ(y);

d’où

xφ(x)=yφ(y);

donc (Lemme II) xφ(x)=C, ou φ(x)=C/x et par conséquent

d.Log.x=Cd⁡x/x

4.ᵒ Soit à différentier Sin.x ?

Soit d.Sin.x=φ(x)d⁡x ; en différentiant l’équation Sin.²x+Cos.²x=1; il vient Sin.x.φ(x).d⁡x+Cos.x.d.Cos.x=0; d’où d.Cos.x=−Sin.x/Cos.x φ(x)d⁡x.

D’un autre côté on a, par la définition de la fonction proposée,

Sin.(x+y)=Sin.xCos.y+Cos.xSin.y;

d’où on conclura, par la différentiation,

φ(x+y)(d⁡x+d⁡y){Cos.y.φ(x)d⁡x−Sin.x⋅ Sin.y/Cos.y φ(y)d⁡y+Cos.x.φ(y)d⁡y−Sin.y⋅ Sin.x/Cos.x φ(x)d⁡x

ou

φ(x+y)(d⁡x+d⁡y)=(Cos.(x+y))/Cos.x φ(x)d⁡x+(Cos.(x+y))/Cos.y φ(y)d⁡y;

donc (Lemme I)

φ(x+y)=(Cos.(x+y))/Cos.x φ(x)=(Cos.(x+y))/Cos.y φ(y),

ou

φ(x)/Cos.x=φ(y)/Cos.y,

donc (Lemme II) φ(x)/Cos.x=C; donc φ(x)=Cd⁡x⋅Cos.x; donc enfin

d.Sin.x=Cd⁡x⋅Cos.x;

et, puisqu’on a

d.Cos.x=−Sin.x/Cos.x φ(x)d⁡x,

il viendra en outre

d.Cos.x=−Cd.Sin.x.

Il reste maintenant à déterminer les constantes qui entrent dans ces différentielles.

1.ᵒ Dans l’équation d.xᵐ=Cxᵐ⁻¹d⁡x, la constante C ne peut être qu’une fonction de m ; en la désignant par f(m), elle se changera en f(n), pour la différentielle de xⁿ, et en f(m+n) pour celle de xᵐ⁺ⁿ ; or on a

xᵐ⁺ⁿ=xᵐ⋅xⁿ,

d’où on conclura, par la différentiation,

f(m+n)xᵐ⁺ⁿ⁻¹d⁡x=f(m)xᵐ⁺ⁿ⁻¹d⁡x+f(n)xᵐ⁺ⁿ⁻¹d⁡x;

c’est-à-dire,

f(m+n)=f(m)+f(n).

Soit d.f(m)=ψ(m); en différentiant l’équation (5), il viendra

ψ(m+n)(d⁡m+d⁡n)=ψ(m)d⁡m+ψ(n)d⁡n;

donc (Lemme I)

ψ(m+n)=ψ(m)=ψ(n)

donc (Lemme II) ψ(m)=a, a étant une nouvelle constante ; on a donc d.f(m)=ad⁡m, d’où f(m)=am; nous n’ajoutons pas de nouvelle constante parce que f(m) doit être nulle en même temps que m.

On a donc

d.xᵐ=amxᵐ⁻¹d⁡x;

et, si l’on fait m=1, on en conclura d⁡x=ad⁡x; donc a=1 ; donc C=m ; donc enfin

d.xᵐ=maxᵐ⁻¹d⁡x.

2.ᵒ Dans la différentielle d.aˣ=Caˣd⁡x, la constante C ne peut être qu’une fonction de a qu’on appelle la base, et doit changer avec cette base. Appelons e la valeur de a pour laquelle C devient l’unité, nous aurons

d.eˣ=aˣd⁡x.

Faisons ensuite aˣ=eʸ; nous en conclurons, par la différentiation

Caˣd⁡x=eʸd⁡y, d’où C=d⁡y/d⁡x ;

or, si nous désignons par la caractéristique l les logarithmes qui répondent à la base e et qu’on appelle Logarithmes naturels, et par L ceux qui répondent à la base a, l’équation aˣ=eʸ donnera xl⁡a=y et x=yLe; donc

d⁡x=d⁡xl⁡a, d⁡x=d⁡yLe;

d’où

d⁡y/d⁡x=l⁡a=1/Le, d’où C=l⁡a=1/Le.

3.ᵒ La constante C, dans l’équation d.Lx=Cd⁡x/x, se détermine bien facilement par ce qui précède. En posant Lx=y, il vient Cd⁡x/x=d⁡y, d’où C=xd⁡y/d⁡x ; or de Lx=y résulte x=aʸ et conséquemment d⁡xl⁡a.aʸd⁡y=l⁡a.xd⁡y, ou bien d⁡x=aʸd⁡y/Le=xd⁡y/Le donc C=1/la =Le, et par conséquent

d.Lx=d⁡x/xla=d⁡xLe/x.

4.ᵒ Si, dans l’équation d.Sin.x=Cd⁡xCos.x, on suppose que l’arc x décroisse continuellement, jusqu’à devenir nul, on aura Sin.x=x et Cos.x=1, d’où d.Sin.x=Cd⁡x ou Sin.x=Cx, ce qui donne C=Sin.x/x ; mais, on démontre rigoureusement qu’à la limite Sin.x/x=1; donc C=1, et conséquemment

d.Sin.x=d⁡xCos.x, d.Cos.x=−d⁡xSin.x.

D’après cette détermination des constantes, les différentielles des fonctions xᵐ, aˣ, Log.x, Sin.x, Cos.x se trouvent ramenées à la forme connue. Et, comme ces fonctions sont les elemens de toutes les autres fonctions connues, on parviendra sans difficulté, par ce qui précède, aux différentielles de ces dernières.

On voit, par la manière dont nous avons déterminé la constante dans d.xᵐ, que notre méthode peut être employée à déterminer la forme d’une fonction inconnue qui doit satisfaire à une relation donnée.

* ↑ Ce mémoire a été communiqué aux Rédacteurs des Annales par M. J. Français, professeur à l’école de l’artillerie et du génie, frère de l’Auteur. Le même géomètre a aussi adressé aux Rédacteurs des Annales une démonstration du théorème énoncé à la page 96 de ce volume, qui leur est malheureusement parvenue trop tard pour qu’il ait pu en être fait mention à temps. Elle est, au surplus, semblable en tout à celle qui a été donnée par M. Tédenat à la page 182. (Note des éditeurs.)
* ↑ Voyez le Calcul des fonctions, leçon vᵉ.
