DIFFÉRENTIELLE TOTALE EXACTE

OLIVIER CASTÉRA

Résumé. Définition et conditions d’obtention d’une différentielle

totale exacte.

Table des matières

1. Différentielle d’une fonction d’une variable 1
2. Différentielle d’une fonction de deux variables 2
3. Conditions d’obtention d’une différentielle 2
3.1. Cas des fonctions de deux variables 2
3.2. Cas des fonctions de trois variables 5
3.3. Facteur intégrant 6

1. Différentielle d’une fonction d’une variable

Définition 1.1. Dérivée
La dérivée au point (f (a), a) de la fonction f (x) est définie par :
f (a + h) − f (a)
f ′ (a) = lim
h→0 h
La dérivée en un point d’une fonction est un nombre. C’est le rapport
de la hauteur f (a + h) − f (a) sur la largeur h. C’est donc la tangente
de l’angle que fait la tangente à la fonction f (x) au point (f (a), a) avec
l’horizontale.
Définition 1.2. Différentielle
La différentielle au point (f (a), a) de la fonction f est définie par :
df (a) = f ′ (a) dx
où la notation ≪ d ≫ de Leibniz signifie différentielle ou petite dif-
férence. En physique, l’expression ≪ différentielle totale exacte ≫ n’est
autre que la différentielle que l’on rencontre en mathématiques.
La différence de valeur d’une fonction passant du point a au point in-
finiment proche a+h n’est pas égale à la différentielle de cette fonction.
Il faut ajouter les termes infinitésimaux d’ordre supérieur :
f (a + h) − f (a) = f ′ (a) · h + hǫ(h)

Date: 25 juin 2013.

1
2 OLIVIER CASTÉRA
Y

f (x + dx)
df

f (x)

O x x + dx X

Figure 1. Différentielle d’une fonction

On vérifie que l’on a bien,

df
f ′ (x) =
dx
mais que,
f (x + dx) − f (x) 6= df

2. Différentielle d’une fonction de deux variables

Soit f (x, y) une fonction des deux variables indépendantes x et y,
alors :
f (x + h, y + h) − f (x, y)
df (x, y) = lim
h→0 h
f (x + h, y + h) − f (x, y + h) + f (x, y + h) − f (x, y)
= lim
h→0 h
f (x + h, y + h)−f (x, y + h) f (x, y + h)−f (x, y)
= lim + lim
h→0 h h→0 h
∂f ∂f
= dx + dy
∂x ∂y
−−→
où ∂f
∂x
et ∂f
∂y
sont les composantes du champ de vecteur gradient grad f .

3. Conditions d’obtention d’une différentielle

3.1. Cas des fonctions de deux variables.
Soit V(x, y) un champ de vecteur. On peut lui associer la forme diffé-
rentielle suivante :
Vx (x, y)dx + Vy (x, y)dy
 DIFFÉRENTIELLE TOTALE EXACTE 3

Cette forme différentielle est dite totale, car pour chacune des vari-
ables x et y de V apparaı̂t l’élément différentiel correspondant, dx et
dy. Cette forme différentielle est-elle exacte, autrement dit, est-elle la
différentielle d’une fonction 1 ?
Soit g(x, y) cette fonction, alors il faut et il suffit que :
∂g(x, y)
Vx (x, y) =
∂x
∂g(x, y)
Vy (x, y) =
∂y
Par conséquent, il faut et il suffit que le champ de vecteur V(x, y) soit
le gradient de la fonction g(x, y) :
−−→
V(x, y) = grad g(x, y)
Si c’est effectivement le cas, alors la forme différentielle constitue une
différentielle (dite totale exacte en thermodynamique), et,
Vx (x, y)dx + Vy (x, y)dy = dg(x, y)
Théorème 3.1. Condition de Schwarz
Une condition nécessaire et suffisante pour que la forme différentielle
Vx (x, y)dx + Vy (x, y)dy soit une différentielle (totale exacte) est :
∂Vx (x, y) ∂Vy (x, y)
− =0
∂y ∂x
Démonstration. Soit dg(x, y) la différentielle (totale exacte) cherchée,
montrons dans un premier temps que :
∂Vx (x, y) ∂Vy (x, y)
Vx (x, y)dx + Vy (x, y)dy = dg(x, y) ⇒ − =0
∂y ∂x
Nous avons,
∂g(x, y) ∂g(x, y)
dg(x, y) = dx + dy
∂x ∂y
= Vx (x, y)dx + Vy (x, y)dy
Les variables x et y étant indépendantes, on peut égaler les coefficients
respectifs qui sont devant les différentielles dx et dy,
∂g(x, y)
Vx (x, y) =
∂x
∂g(x, y)
Vy (x, y) =
∂y

1. Michel Hulin, Thermodynamique, édition Dunod 1994.

4 OLIVIER CASTÉRA

Par conséquent,
∂Vx (x, y) ∂ 2 g(x, y)
=
∂y ∂x∂y
2
∂Vy (x, y) ∂ g(x, y)
=
∂x ∂y∂x
Si les dérivées partielles du second ordre de g(x, y) sont continues, alors
l’ordre de dérivation n’importe pas :
∂ 2 g(x, y) ∂ 2 g(x, y)
=
∂x∂y ∂y∂x
∂Vx (x, y) ∂Vy (x, y)
= (1)
∂y ∂x
Montrons maintenant que,
∂Vx (x, y) ∂Vy (x, y)
− = 0 ⇒ Vx (x, y)dx + Vy (x, y)dy = dg(x, y)
∂y ∂x
Posons :
Z (x,y)
g(x, y) − g(x1 , y1 ) = dg(x, y)
(x1 ,y1 )
Z (x,y)
= [Vx (x, y)dx + Vy (x, y)dy]
(x1 ,y1 )

Si la condition (1) est vérifiée, alors l’intégrale ne dépend pas du chemin

suivi. Pour le démontrer, nous avons besoin du théorème de Green :
Théorème 3.2. Théorème de Green
Si D est un domaine fermé du plan xy limité par une courbe simple
fermée C, et si M(x, y) et N(x, y) sont des fonctions continues de x
et y ayant des dérivées continues dans D, alors,
ZZ  
∂N ∂M
I
(Mdx + Ndy) = − dxdy
C D ∂x ∂y
où C est parcourue dans le sens trigonométrique.
Le théorème de Green ne sera pas démontré. En appliquant ce thé-
orème à Vx = M et Vy = N, nous avons :
ZZ  
∂N ∂M
I
(Mdx + Ndy) = − dxdy
C D ∂x ∂y
I
(Mdx + Ndy) = 0
ABCDA
Z Z
(Mdx + Ndy) + (Mdx + Ndy) = 0
ABC
ZCDA Z
(Mdx + Ndy) = (Mdx + Ndy)
ABC ADC
 DIFFÉRENTIELLE TOTALE EXACTE 5

l’intégrale pour aller de A à C est donc indépendante du chemin suivi.

Par conséquent,
Z (x,y1 )
g(x, y) − g(x1 , y1 ) = [Vx (x, y)dx + Vy (x, y)dy]
(x1 ,y1 )
Z (x,y)
+ [Vx (x, y)dx + Vy (x, y)dy]
(x,y1 )
Z x Z y
= Vx (x, y1 )dx + Vy (x, y)dy
x1 y1

d’où,
Z x Z y 
∂g(x, y) ∂
= Vx (x, y1 )dx + Vy (x, y)dy
∂y ∂y x1 y1
= Vy (x, y)
et,
Z x y 
∂g(x, y) ∂
Z
= Vx (x, y1 )dx + Vy (x, y)dy
∂x ∂x x1 y1
Z y
∂Vy (x, y)
= Vx (x, y1 ) + dy
y1 ∂x
Z y
∂Vx (x, y)
= Vx (x, y1 ) + dy
y1 ∂y
= Vx (x, y1 ) + Vx (x, y) − Vx (x, y1 )
= Vx (x, y)
La forme différentielle est donc une différentielle totale :
∂g(x, y) ∂g(x, y)
Vx (x, y)dx + Vy (x, y)dy = dx + dy
∂x ∂y
= dg(x, y)


3.2. Cas des fonctions de trois variables.

Pour que la forme différentielle Vx (x,y,z)dx + Vy (x,y,z)dy + Vz (x,y,z)dz
soit une d.t.e., il faut et il suffit que :
∂h(x, y, z)
Vx (x, y, z) =
∂x
∂h(x, y, z)
Vy (x, y, z) =
∂y
∂h(x, y, z)
Vz (x, y, z) =
∂z
6 OLIVIER CASTÉRA

autrement dit, il faut et il suffit que le vecteur V(x, y, z) soit le gradient

de la fonction h(x, y, z) :
−−→
V(x, y, z) = grad h(x, y, z)
Théorème 3.3. Condition de Schwarz
Une condition nécessaire et suffisante pour que la forme différentielle
Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz soit une différentielle (totale
exacte) est :
∂Vz (x, y, z) ∂Vy (x, y, z)
− =0
∂y ∂z
∂Vx (x, y, z) ∂Vz (x, y, z)
− =0
∂z ∂x
∂Vy (x, y, z) ∂Vx (x, y, z)
− =0
∂x ∂y
On écrit que le rotationnel de V(x, y, z) est nul :
−→
rot V(x, y, z) = 0
Ce théorème permet de comprendre pourquoi le champ de vecteur
V(x, y, z) ayant trois coordonnées peut s’écrire à l’aide du gradient
d’un unique scalaire h. Il faut que ses trois coordonnées soient reliées
entre elles par les trois relations précédentes. C’est cette dépendance
des coordonnées qui est utilisée pour écrire V(x, y, z) sous la forme
d’un gradient.

3.3. Facteur intégrant.

−→
Soit un champ de vecteurs V(x, y, z) tel que rot V(x, y, z) 6= 0. La
forme différentielle qui lui est associée,
Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz
n’est donc pas une différentielle (totale exacte).
Existe-t-il une fonction scalaire µ(x, y, z) telle que V/µ soit le gradient
d’une fonction, et telle que par conséquent,
Vx Vy Vz
dx + dy + dz
µ µ µ
soit une d.t.e. ?
Si tel est le cas, on dit que µ est un facteur intégrant pour la forme
différentielle initiale.
V/µ est le gradient d’une fonction ssi son rotationnel est nul :
 
−→V 1−→ −−→ 1
rot = rot V + grad ×V
µ µ µ
=0
 DIFFÉRENTIELLE TOTALE EXACTE 7

d’où,
 
−→ −−→ 1
rot V = −µ grad ×V
µ
−→
ce qui implique que rot V est perpendiculaire à V :
−→
V · rot V = 0
Cette relation constitue une condition nécessaire et suffisante à l’exis-
tence d’une fonction qui soit un facteur intégrant.
3.3.1. Remarque 1.
Pour les champs de vecteurs V(x, y) à deux dimensions, nous avons :
0
   
Vx (x, y)
−→ 0
V Vy (x, y) · rot V  =0
∂Vy (x,y) ∂Vx (x,y)
0 ∂x
− ∂y
Par conséquent, il existe toujours un facteur intégrant pour les champs
de vecteurs à deux dimensions.
3.3.2. Remarque 2.
Soit un champ de vecteur V(x, y, z) tel que sa forme différentielle,
Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz
ne soit pas une différentielle (totale exacte). Si l’on a pu lui associer un
facteur intégrant µ, nous avons :
V −−→
= grad f (x, y, z)
µ
soit encore,
Vx Vy Vz
df = dx + dx + dz
µ µ µ
Soit g(x, y, z) une fonction de la fonction f (x, y, z) :
g = F (f )
dg
= F′
df
dg = F ′ df
Vx F ′ Vy F ′ Vz F ′
= dx + dx + dz
µ µ µ
A partir du facteur intégrant µ on trouve la d.t.e. df , puis à partir de
celle-ci on trouve f . On contruit une fonction F de f , que l’on dérive.
On obtient ainsi une famille de facteurs intégrants µ/F ′ , de la forme
différentielle de départ.
E-mail address: [email protected]
URL: http://o.castera.free.fr/