DIFFERENTIELLES TOTALES EXACTES

OLIVIER CASTERA Rsum. Dnition et conditions dobtention dune direntielle e e e e totale exacte.

` Table des matieres 1. Direntielle dune fonction dune variable e 2. Direntielle dune fonction de deux variables e 3. Conditions dobtention dune direntielle (totale exacte) e 3.1. Cas des fonctions de deux variables 3.2. Cas des fonctions de trois variables 3.3. Facteur intgrant e 1 3 4 4 6 7

1. Diffrentielle dune fonction dune variable e Dnition 1.1. Direntielle e e La direntielle au point (f (a), a) de la fonction f est dnie par : e e df (a) = lim f (a + h) f (a)
h0

o` la notation d de Leibniz signie direntielle ou petite difu e frence. En physique, lexpression direntielle totale exacte nest e e autre que la direntielle que lon rencontre en mathmatiques. e e Dnition 1.2. Drive e e e La drive au point (f (a), a) de la fonction f est dnie par : e e e f (a) = lim f (a + h) f (a) h0 h

La drive en un point dune fonction est un nombre. Cest le rapport e e de la hauteur f (a + h) f (a) sur la largeur h. Cest donc la tangente de langle que fait la tangente ` la fonction f au point (f (a), a) avec a lhorizontale. Cherchons lexpression de la direntielle de la fonction f au point e
Date: 19 novembre 2010.
1

OLIVIER CASTERA

(f (a), a), en fonction de f (a). Nous avons, f (a + h) f (a) h h f (a + h) f (a) lim [f (a + h) f (a)] = lim h h0 h0 h f (a + h) f (a) = Or, la limite du produit ntant pas gale au produit des limites, e e
h0

lim [f (a + h) f (a)] = lim

f (a + h) f (a) lim h h0 h0 h = f (a) lim h

h0

Pour valuer la direntielle de f nous devons employer la formule de e e Taylor. Thor`me 1.1. Si f est de classe C n+1 au voisinage dun point a R, e e alors, quand h tend vers 0, hn f (a + h) = f (a) + f (a)h + + f (n) (a) + O h(n+1) n! Dmonstration. e
a+h

f (a + h) f (a) =
a

f (t)dt

On int`gre par parties, en posant : e u =1 u=t f (a + h) = f (a) + [tf (t)]a

a+h

v = f (t) v = f (t)
a+h

tf (t)dt
a+h

= f (a) + (a + h)f (a + h) af (a)

a

tf (t)dt
a+h

= f (a) + af (a + h) + hf (a + h) af (a)
a

tf (t)dt

Or,
h0

lim f (a + h) = f (a)

Donc, quand h tend vers 0,

a+h

f (a + h) = f (a) + hf (a)
a

tf (t)dt

On poursuit le dveloppement en intgrant par parties lintgrale du e e e membre de droite. Si la suite converge, cest ` dire si la derni`re intgrale a e e obtenue tend vers 0 quand h tend vers 0, alors on obtient la formule de Taylor.

 DIFFERENTIELLES TOTALES EXACTES

En utilisant la formule de Taylor ` lordre un (n = 1), nous obtenons a lexpression approche de la direntielle : e e
a+h h0

lim f (a + h) f (a) = lim hf (a)

h0 a

tf (t)dt
a+h

= lim hf (a) lim

h0

h0

tf (t)dt
a

lim hf (a)
h0

et, en utilisant la notation de Leibniz, nous avons : df (a) f (a)dx 2. Differentielle dune fonction de deux variables Soit f (x, y) une fonction des deux variables indpendantes x et y, e alors : f (x + h, y + h) f (x, y) df (x, y) = lim h0 h f (x + h, y + h) f (x, y + h) + f (x, y + h) f (x, y) = lim h0 h f (x + h, y + h)f (x, y + h) f (x, y + h)f (x, y) = lim + lim h0 h0 h h f f dx + dy = x y o` f et f sont les composantes du champ de vecteur gradient grad f . u x y Rciproquement, supposons donn un champ de vecteur V(x, y), on e e peut lui associer la forme direntielle suivante : e Vx (x, y)dx + Vy (x, y)dy Cette forme direntielle est dite totale, car pour chacune des vae riables x et y de V appara llment direntiel correspondant, dx t e e e et dy. Cette forme direntielle est-elle exacte, autrement dit, est-elle e la direntielle dune fonction ? e Soit g(x, y) cette fonction, alors il faut et il sut que : Vx (x, y) = g(x, y) x g(x, y) Vy (x, y) = y

par consquent, il faut et il sut que le champ de vecteur V(x, y) soit e le gradient de la fonction g(x, y) : V(x, y) = grad g(x, y)

OLIVIER CASTERA

Si cest eectivement le cas, alors la forme direntielle constitue une e direntielle (dite totale exacte en thermodynamique), et, e Vx (x, y)dx + Vy (x, y)dy = dg(x, y) 3. Conditions dobtention dune diffrentielle (totale e exacte) 3.1. Cas des fonctions de deux variables. Thor`me 3.1. Thor`me de Green. Si D est un domaine ferm du e e e e e plan xy limit par une courbe simple ferme C, et si M et N sont des e e fonctions continues de x et y ayant des drives continues dans D, e e alors, (Mdx + Ndy) =
C D

N M x y

dxdy

o` C est parcourue dans le sens trigonomtrique. u e Le thor`me de Green nest pas dmontr. Il nous sert pour dmone e e e e trer le thor`me suivant. e e Thor`me 3.2. Une condition ncessaire et susante pour que la e e e forme direntielle Vx (x, y)dx+Vy (x, y)dy soit une direntielle (totale e e exacte) est : Vx (x, y) Vy (x, y) =0 y x Cette condition est appele condition de Schwarz. e Dmonstration. Soit dg(x, y) la direntielle (totale exacte) cherche, e e e montrons dans un premier temps que : Vx (x, y)dx + Vy (x, y)dy = dg(x, y) Nous avons, dg(x, y) = g(x, y) g(x, y) dx + dy x y = Vx (x, y)dx + Vy (x, y)dy Vx (x, y) Vy (x, y) =0 y x

Les variables x et y tant indpendantes, on peut galer les coecients e e e respectifs qui sont devant les direntielles dx et dy, e Vx (x, y) = g(x, y) x g(x, y) Vy (x, y) = y

 DIFFERENTIELLES TOTALES EXACTES

Par consquent, e Vx (x, y) 2 g(x, y) = y xy 2 Vy (x, y) g(x, y) = x yx Si les drives partielles du second ordre de g(x, y) sont continues, alors e e lordre de drivation nimporte pas, et, e Vy (x, y) Vx (x, y) = 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 :
(x,y)

g(x, y) g(x1 , y1 ) =
(x1 ,y1 )

[Vx (x, y)dx + Vy (x, y)dy]

Si Vx (x, y)/y = Vy (x, y)/x alors lintgrale ne dpend pas du chee e min suivi. En eet, en notant Vx = M et Vy = N, en appliquant le thor`me de Green, e e (Mdx + Ndy) = 0
C

(Mdx + Ndy) = 0
ADBEA

(Mdx + Ndy) +
ADB BEA

(Mdx + Ndy) = 0 (Mdx + Ndy) =

ADB AEB

(Mdx + Ndy)

lintgrale pour aller de A a B est donc indpendante du chemin suivi. e ` e Par consquent, e
(x,y1 )

g(x, y) g(x1 , y1 ) =
(x1 ,y1 )

[Vx (x, y)dx + Vy (x, y)dy]

(x,y)

+
(x,y1 ) x

[Vx (x, y)dx + Vy (x, y)dy]

y

=
x1

Vx (x, y1 )dx +
y1 y

Vy (x, y)dy

do` , u
x g(x, y) Vx (x, y1 )dx + = y y x1 = Vy (x, y)

Vy (x, y)dy
y1

OLIVIER CASTERA

et, g(x, y) = x x
x y

Vx (x, y1 )dx +
x1 y y1

Vy (x, y)dy

Vy (x, y) dy x y1 y Vx (x, y) dy = Vx (x, y1 ) + y y1 = Vx (x, y1 ) + Vx (x, y) Vx (x, y1 ) = Vx (x, y1 ) + = Vx (x, y) Par consquent, e Vx (x, y)dx + Vy (x, y)dy = g(x, y) g(x, y) dx + dy x y = dg(x, y)

3.2. Cas des fonctions de trois variables. Pour que la forme diffrentielle Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz soit une d.t.e., il e faut et il sut que : h(x, y, z) x h(x, y, z) Vy (x, y, z) = y h(x, y, z) Vz (x, y, z) = z autrement dit, il faut et il sut que V(x, y, z) soit le gradient de h(x, y, z) : V(x, y, z) = grad h(x, y, z) Vx (x, y, z) = Thor`me 3.3. Une condition ncessaire et susante pour que la e e e forme diffrentielle Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz soit une e direntielle (totale exacte) est : e 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 En abrg on crit que le rotationnel de V(x, y, z) est nul : e e e rot V(x, y, z) = 0

 DIFFERENTIELLES TOTALES EXACTES

Ce thor`me permet de comprendre pourquoi le champ de vecteur e e V(x, y, z) ayant trois coordonnes peut scrire ` laide du gradient e e a dun unique scalaire h. Il faut que ses trois coordonnes soient relies e e entre elles par les trois relations prcdentes. Cest cette dpendance e e e des coordonnes qui est utilis pour crire V(x, y, z) sous la forme dun e e e gradient. 3.3. Facteur intgrant. Soit un champ de vecteurs V(x, y, z) tel que e rot V(x, y, z) = 0. La forme direntielle qui lui est associe, e e Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz nest donc pas une direntielle (totale exacte). e Existe-t-il une fonction scalaire (x, y, z) telle que V/ soit le gradient dune fonction, et telle que par consquent, e Vx Vy Vz dx + dy + dz soit une d.t.e. ? Si tel est le cas, on dit que est un facteur intgrant pour la forme e direntielle initiale. e V/ est le gradient dune fonction ssi son rotationnel est nul : 1 1 V rot = rot V + grad =0 do` , u rot V = grad 1 V V

ce qui implique que rot V est perpendiculaire ` V : a V rot V = 0 Cette relation constitue une condition ncessaire et susante a lexise ` tence dune fonction qui soit un facteur intgrant. e 3.3.1. Remarque 1. Pour les champs de vecteurs V(x, y) a deux dimen` sions, nous avons : 0 Vx (x, y) =0 0 V Vy (x, y) .rot V Vy (x,y) Vx (x,y) 0 y x Par consquent, il existe toujours un facteur intgrant pour les champs e e de vecteurs ` deux dimensions. a

OLIVIER CASTERA

3.3.2. Remarque 2. Soit un champ de vecteur V(x, y, z) tel que sa forme direntielle, e Vx (x, y, z)dx + Vy (x, y, z)dy + Vz (x, y, z)dz ne soit pas une direntielle (totale exacte). Si lon a pu lui associer un e facteur intgrant , nous avons : e 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 intgrant on trouve la d.t.e. df , puis a partir de e ` celle-ci on trouve f . On contruit une fonction F de f , que lon drive. e On obtient ainsi une famille de facteurs intgrants /F , de la forme e direntielle de dpart. e e
E-mail address: olivier.castera@gmail.com URL: http://o.castera.free.fr/