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

## ANALISE TRANSCENDANTE.

### Recherches sur les conditions d’intégrabilité des fonctions différentielles ;

La recherche des conditions d’intégrabilité des fonctions différentielles ; recherche qui a principalement occupé Euler et Condorcet, constitue une des branches les plus importantes de la haute analise. La méthode des variations conduit très-simplement à ces conditions ; mais, outre que l’emploi de cette méthode, dans des recherches de calcul intégral proprement dit, peut sembler indirecte, elle n’offre aucune ressource pour remonter de la différentielle à son intégrale, lorsque les conditions d’intégrabilité se trouvent remplies.

Euler et Condorcet ont bien prouvé, par leur analise, que les conditions qu’ils avaient obtenues sont nécessaires ; mais Lexell paraît être le premier qui ait tenté de démontrer, sans rien emprunter d’étranger au calcul intégral, que ces conditions sont aussi suffisantes ; c’est-à-dire qu’elles entraînent d’elles-mêmes la possibilité d’intégrer ; ce qui est le point important dans cette théorie. Malheureusement, comme l’observe Lagrange (Leçons sur les fonctions, leçon XXI), la démonstration de Lexell est si compliquée, qu’il est difficile de juger de sa justesse et de sa généralité.

En réfléchissant sur ce sujet, il nous a paru que les procédés du calcul différentiel, proprement dit, pouvaient, à eux seuls, conduire d’une manière assez simple aux conditions d’intégrabilité et à la démonstration de l’importante proposition de Lexell ; et c’est à le faire voir que nous destinons ce petit essai.

Dans tout ce qui va suivre, x et y seront des fonctions quelconques d’une troisième variable dont nous prenons la différentielle pour unité, et de tant de constantes qu’on voudra. Nous représenterons respectivement, pour abréger,

d⁡x, d²⁡x, d³⁡x, …

x₁, x₂, x₃, …

d⁡y, d²⁡y, d³⁡y, …

y₁, y₂, y₃, …

P₁, P₂, P₃, …, seront des fonctions quelconques de

x, x₁, x₂, x₃, …, xₘ₋₁,

y, y₁, y₂, y₃, …, yₙ₋₁,

dont les différentielles seront respectivement p, p₁, p₂, …

Cela posé, on a identiquement

p=d⁡P/d⁡x x₁+d⁡P/d⁡x₁ x₂+d⁡P/d⁡x₂ x₃+…+d⁡P/d⁡xₘ₋₁

+d⁡P/d⁡y y₁+d⁡P/d⁡y₁ y₂+d⁡P/d⁡y₂ y₃+…+d⁡P/d⁡yₙ₋₁ yₙ,

et, par suite,

d⁡p/d⁡x=d⁡ d⁡P/d⁡x, d⁡p/d⁡x₁=d⁡ d⁡P/d⁡x₁+d⁡P/d⁡x, d⁡p/d⁡x₂=d⁡ d⁡P/d⁡x₂+d⁡P/d⁡x₁, ……………… d⁡p/d⁡xₘ₋₁=d⁡ d⁡P/d⁡xₘ₋₁+d⁡P/d⁡xₘ₋₂, d⁡p/d⁡xₘ=d⁡P/d⁡xₘ₋₁.}(1) d⁡p/d⁡y=d⁡ d⁡P/d⁡y, d⁡p/d⁡y₁=d⁡ d⁡P/d⁡y₁+d⁡P/d⁡y, d⁡p/d⁡y₂=d⁡ d⁡P/d⁡y₂+d⁡P/d⁡y₁, ……………… d⁡p/d⁡yₙ₋₁=d⁡ d⁡P/d⁡yₙ₋₁+d⁡P/d⁡yₙ₋₂, d⁡p/d⁡yₙ=d⁡P/d⁡yₙ₋₁.}(2)

Du premier de ces deux systèmes d’équations on déduit, par l’élination successive des différentielles de d⁡P/d⁡xₘ₋₁, d⁡P/d⁡xₘ₋₂, … d⁡P/d⁡x₁, d⁡P/d⁡x,

d⁡P/d⁡xₘ₋₁=d⁡p/d⁡xₘ, d⁡P/d⁡xₘ₋₂=d⁡p/d⁡xₘ₋₁−d⁡ d⁡p/d⁡xₘ, d⁡P/d⁡xₘ₋₃=d⁡p/d⁡xₘ₋₂−d⁡ d⁡p/d⁡xₘ₋₁+d²⁡ d⁡p/d⁡xₘ, ……………… d⁡P/d⁡x=d⁡p/d⁡x₁−d⁡ d⁡p/d⁡x₂+d²⁡ d⁡p/d⁡x₃+…∓dᵐ⁻¹⁡ d⁡p/d⁡xₘ, 0=d⁡p/d⁡x−d⁡ d⁡p/d⁡x₁−d²⁡ d⁡p/d⁡x₂−…∓dᵐ⁻¹⁡ d⁡p/d⁡xₘ₋₁ ±dᵐ⁡ d⁡p/d⁡xₘ }(3)

La dernière de ces équations est une équation de condition à laquelle doit satisfaire la différentielle p de la fonction P.

Les équations (2), traitées exactement de la même manière donnent

d⁡P/d⁡yₙ₋₁=d⁡p/d⁡yₘ, d⁡P/d⁡yₙ₋₂=d⁡p/d⁡yₙ₋₁−d⁡ d⁡p/d⁡yₘ, d⁡P/d⁡yₙ₋₃=d⁡p/d⁡yₙ₋₂−d⁡ d⁡p/d⁡yₙ₋₁+d²⁡ d⁡p/d⁡yₘ, ……………… d⁡P/d⁡y=d⁡p/d⁡y₁−d⁡ d⁡p/d⁡y₂+d²⁡ d⁡p/d⁡y₃+…∓dⁿ⁻¹⁡ d⁡p/d⁡yₘ, 0=d⁡p/d⁡y−d⁡ d⁡p/d⁡y₁−d²⁡ d⁡p/d⁡y₂−…∓dⁿ⁻¹⁡ d⁡p/d⁡yₙ₋₁ ±dᵐ⁡ d⁡p/d⁡yₘ }(4)

Équations dont la dernière est une nouvelle équation de condition à laquelle doit encore satisfaire la différentielle p de la fonction P.

Avant d’aller plus loin, remarquons que, si P est une fonction de

xᵢ, xᵢ₊₁, xᵢ₊₂, …, xₘ₋₁,

y, y₁, y₂, …, yᵢ, yᵢ₊₁, yᵢ₊₂, …, yₙ₋₁,

seulement, c’est-à-dire, si cette fonction ne contient aucune des quantités

x, x₁, x₂, …, xᵢ₋₁,

auquel cas on aura

d⁡P/d⁡x=0, d⁡P/d⁡x₁=0, d⁡P/d⁡x₂=0, … d⁡P/d⁡xᵢ₋₁=0,

d⁡p/d⁡x=0, d⁡p/d⁡x₁=0, d⁡p/d⁡x₂=0, … d⁡p/d⁡xᵢ₋₁=0;

l’application du même procédé nous conduira aux résultats

d⁡ d⁡P/d⁡xᵢ=d⁡ d⁡p/d⁡xᵢ,

0=d⁡p/d⁡xᵢ−d⁡ d⁡p/(d⁡xᵢ₊₁)+d²⁡ d⁡p/(d⁡xᵢ₊₂)−…±dᵐ⁻ⁱ⁡ d⁡p/d⁡xₘ.

Cette remarque nous sera utile dans la suite de ces recherches.

Lorsqu’on se sera assuré que p est une différentielle exacte, les équations (3) et (4) offriront le moyen le plus simple pour remonter à son intégrale P, par les quadratures seulement. Mais il nous reste à démontrer présentement que toute fonction différentielle qui satisfait identiquement aux dernières équations (3) et (4) est nécessairement par là même une différentielle exacte.

Premièrement, soit uᵢ, une fonction quelconque de

xᵢ, xᵢ₊₁, xᵢ₊₂, …, xₘ, y₁, y₂, …, yₙ,

assujettie à la seule condition de satisfaire à l’équation

Aᵢ=d⁡uᵢ/d⁡xᵢ−d.d⁡uᵢ/(d⁡xᵢ₊₁)+d²⁡ d⁡uᵢ/(d⁡xᵢ₊₂)−…±dᵐ⁻ⁱ⁡ d⁡uᵢ/d⁡xₘ.

dans laquelle Aᵢ est une quantité constante quelconque.

Cette équation peut se mettre sous la forme

d⁡uᵢ/d⁡xᵢ=Aᵢ+d⁡{ d⁡uᵢ/(d⁡xᵢ₊₁)−d⁡ d⁡uᵢ/(d⁡xᵢ₊₂)+d²⁡ d⁡uᵢ/(d⁡xᵢ₊₃)−…∓dᵐ⁻ⁱ⁻¹⁡ d⁡uᵢ/d⁡xₘ };

d’où l’on conclura que, comme le premier membre ne renferme pas de différentielles de x et y d’un ordre plus élevé que xₘ, yₙ, la partie du second membre comprise entre les crochets ne saurait renfermer de différentielles des mêmes variables d’un ordre supérieur à xₘ₋₁ et yₙ₋₁; et que, par conséquent, il est possible de trouver une fonction Pᵢ de xᵢ, xᵢ₊₁, …, xₘ₋₁, y, y₁, y₂, y₃, …, yₙ₋₁ qui satisfasse à l’équation

d⁡Pᵢ/d⁡xᵢ=d⁡uᵢ/(d⁡xᵢ₊₁)−d⁡ d⁡uᵢ/(d⁡xᵢ₊₂)+d²⁡ d⁡uᵢ/(d⁡xᵢ₊₃)−…∓dᵐ⁻ⁱ⁻¹⁡ d⁡uᵢ/d⁡xₘ,

au moyen de laquelle nous aurons, en ayant égard à l’équation (5),

d⁡uᵢ/d⁡xᵢ=Aᵢ+d⁡ d⁡Pᵢ/d⁡xᵢ=Aᵢ+d⁡pᵢ/d⁡xᵢ,

et par suite

uᵢ=Aᵢxᵢ+pᵢ+uᵢ₊₁,

en désignant par uᵢ₊₁, une fonction de xᵢ₊₁, xᵢ₊₂, …, xₘ, y, y₁, y₂, …, yₙ qu’il faudra déterminer d’une manière convenable.

Substituant cette valeur de uᵢ dans l’équation (7) et observant, équation (6), que, puisque pᵢ est une différentielle exacte, on doit avoir identiquement,

0=d⁡pᵢ/d⁡xᵢ−d.d⁡pᵢ/(d⁡xᵢ₊₁)+d²⁡ d⁡pᵢ/(d⁡xᵢ₊₂)−…±dᵐ⁻ⁱ⁡ d⁡pᵢ/d⁡xₘ,

nous trouverons, réductions faites,

0=d.(d⁡uᵢ₊₁)/(d⁡xᵢ₊₁)−d²⁡ (d⁡uᵢ₊₁)/(d⁡xᵢ₊₂)+d³⁡ (d⁡uᵢ₊₁)/(d⁡xᵢ₊₃)−…∓dᵐ⁻ⁱ⁡ (d⁡uᵢ₊₁)/d⁡xₘ,

ou, en intégrant

Aᵢ₊₁=(d⁡uᵢ₊₁)/(d⁡xᵢ₊₁)−d⁡ (d⁡uᵢ₊₁)/(d⁡xᵢ₊₂)+d²⁡ (d⁡uᵢ₊₁)/(d⁡xᵢ₊₃)−…∓dᵐ⁻ⁱ⁻¹⁡ (d⁡uᵢ₊₁)/d⁡xₘ ;

ce qui fait voir que uᵢ₊₁ est entièrement de même nature que uᵢ.

Cela posé, si u est une fonction de x, x₁, x₂, …, xₘ, y, y₁, y₂, …, yₙ, qui satisfasse à la condition

0=d⁡u/d⁡x−d⁡ d⁡u/d⁡x₁+d²⁡ d⁡u/d⁡x₂−…±dᵐ⁡ d⁡u/d⁡xₘ,

nous en tirerons, par des opérations analogues à celles qui viennent de nous conduire à l’équation (8)

u=p+u₁, u₁=A₁x₁+p₁+u₂, u₂=A₂x₂+p₂+u₃, u₃=A₃x₃+p₃+u₄, …………uₘ₋₁=Aₘ₋₁xₘ₋₁+pₘ₋₁+uₘ, uₘ=Aₘxₘ+pₘ+Y;

Y étant, dans la dernière, une fonction de y, y₁, y₂, …, yₙ seulement.

Ajoutant ces diverses équations, et faisant, pour abréger,

q=A₁x₁+A₂x₂+A₃x₃+…+Aₘxₘ

+p₁+p₂+p₃+…+pₘ,

nous trouverons enfin

u=q+Y,

dans laquelle q est évidemment une différentielle exacte, puisque chacun des termes dont cette fonction se compose est une semblable différentielle.

Si u ne renfermait ni y ni ses dérivées y₁, y₂, y₃, …yₙ, la fonction que nous avons représentée par Y serait constante et par conséquent nulle, sans quoi u serait composée de termes hétérogènes, ce qui ne peut jamais avoir lieu, ainsi u serait alors une différentielle exacte.

Si, au contraire, u renfermait y et ses dérivées y₁, y₂, y₃, …yₙ, mais qu’elle rendît identique l’équation

0=d⁡u/d⁡y−d⁡ d⁡u/d⁡y₁+d²⁡ d⁡u/d⁡y₂−…±dⁿ⁡ d⁡u/d⁡yₙ,

la fonction Y pourrait ne pas être nulle ; mais, en substituant dans cette équation la valeur de u que nous venons de donner, et observant que, puisque q est une différentielle exacte, l’on a

0=d⁡q/d⁡y−d⁡ d⁡q/d⁡y₁+d²⁡ d⁡q/d⁡y₂−…±dⁿ⁡ d⁡q/d⁡yₙ,

nous trouverions, réductions faites,

0=d⁡Y/d⁡y−d⁡ d⁡Y/d⁡y₁+d²⁡ d⁡Y/d⁡y₂−…±dⁿ⁡ d⁡Y/d⁡yₙ ;

et de là on conclut, comme ci-dessus, que, puisque Y ne renferme que y et ses dérivées y₁, y₂, y₃, …yₙ, cette fonction Y est nécessairement une différentielle exacte, de sorte que, dans ce cas comme dans le précédent, u est encore une différentielle exacte.

Pour simplifier la question, nous avons supposé que toutes ces fonctions ne renfermaient que deux variables x et y et leurs dérivées ; mais il est facile de voir qu’elle ne se compliquerait pas beaucoup, si l’on voulait considérer une fonction d’un plus grand nombre de variables, et que de plus, les conclusions seraient absolument les mêmes.

* ↑ Voyez le tome XV des Novi Commentarii de Pétersbourg.
