FP PDF

Universit Joseph Fourier, Grenoble
Maths en Ligne
Fonctions de plusieurs variables

Bernard Ycart
Ce chapitre contient des techniques que vous utiliserez trs souvent en physique,
mais les justifications mathmatiques rigoureuses ne sont pas encore votre porte.
Vous allez donc devoir admettre que ce que vous savez faire pour les fonctions de R
dans R stend raisonnablement en dimension suprieure. condition bien sr que
vous sachiez dj le faire : avant de vous lancer, rvisez ce qui concerne la drivabilit
et le calcul de primitives pour les fonctions dune variable. Il nest pas exclu que vous
ayez aussi besoin dun petit rafrachissement sur les applications linaires, les matrices
et les dterminants.
Table des matires

1 Cours
1.1 Continuit . . . . . . . . .
1.2 Drives partielles . . . . .
1.3 Drives dordre suprieur
1.4 Extrema . . . . . . . . . .
1.5 Extrema lis . . . . . . . .
1.6 Diffomorphismes . . . . .
1.7 Intgrales multiples . . . .
1.8 Changement de variables .
2 Entranement
2.1 Vrai ou faux . . .
2.2 Exercices . . . . .
2.3 QCM . . . . . . .
2.4 Devoir . . . . . .
2.5 Corrig du devoir
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
4
9
12
16
18
21
24
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
34
40
42
44
3 Complments
3.1 Le palimpseste dArchimde . . .
3.2 Le principe de Cavalieri . . . . .
3.3 La roulette de Pascal . . . . . . .
3.4 Le parabolode hyperbolique . . .
3.5 Le tailleur de pierres de Mzires
3.6 Et ignem regunt numeri . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
50
50
52
53
55
57
59
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9 dcembre 2014
Maths en Ligne
1
1.1
UJF Grenoble
Cours
Continuit
Nous tudions dans ce chapitre des techniques de calcul pour des fonctions dfinies
sur un domaine D de Rn , donc dpendant de n variables relles, et valeurs dans Rm .
Nous nous limiterons souvent aux dimensions 2 et 3, la gnralisation aux dimensions
suprieures ne posant pas de problme particulier. Voici quelques exemples simples.
Surface dun rectangle en fonction de sa longueur et sa largeur :
R2 R
(x, y) 7 xy .
Surface dun paralllpipde en fonction de ses trois dimensions :
R3 R
(x, y, z) 7 2(xy + yz + xz) .
Surface et volume dun paralllpipde en fonction de ses trois dimensions :
2
R3 R

(x, y, z) 7 2(xy + yz + xz) , xyz .
Coordonnes polaires dun point du plan (figure 1) :

R+ [0, 2[ R2
(r, ) 7 (x, y)
x = r cos , y = r sin .
Coordonnes cylindriques dun point de lespace (figure 2) :
R+ [0, 2[R R3
(r, , z) 7 (x, y, z)
Coordonnes sphriques dun point de lespace (figure 3) :
R+ [0, 2[[ 2 , 2 ] R3
(r, , ) 7 (x, y, z)
x = r sin cos , y = r sin sin , z = r cos .
Reprsenter graphiquement une fonction de plusieurs variables nest possible que pour
les fonctions de R2 dans R. La fonction f : (x, y) 7 f (x, y) est reprsente en dimension
3 par la surface dquation z = f (x, y). La figure 4 montre une reprsentation de la
surface dquation z = sin(xy).
1
Maths en Ligne
UJF Grenoble
y
r
Figure 1 Coordonnes polaires dun point du plan.
Figure 2 Coordonnes cylindriques dun point de lespace.

Pour ne pas compliquer les notations dans les dfinitions qui viennent, nous prendrons lexemple dune application de R3 dans R2 :
R3 R2
(x, y, z) 7 (f (x, y, z), g(x, y, z)) .
Les applications f et g, de R3 dans R, sont les applications coordonnes. Si on fixe un
point (a, b, c) dans lespace de dpart, on dfinit 3 applications partielles pour chaque
application coordonne.
x
7 f (x, b, c) , x 7 g(x, b, c)
y
7 f (a, y, c) , y 7 g(a, y, c)
z
7 f (a, b, z) , z
7 g(a, b, z)
Avant de pouvoir parler de continuit et de drivabilit, nous devons dfinir la notion
de limite dans lespace Rn .
Maths en Ligne
UJF Grenoble
r
y
Figure 3 Coordonnes sphriques dun point de lespace.
Z
1
0
-1
-3.1
-3.1
0.0
0.0
3.1
3.1
Figure 4 Surface dquation z = sin(xy).

Dfinition 1. On dit quune suite de points converge dans Rn vers un point x si pour
tout i, la suite des i-imes coordonnes converge dans R vers la i-ime coordonne de
x.
Dans R3 , la suite ((xn , yn , zn ))nN converge si et seulement si les trois suites (xn )nN ,
(yn )nN , (zn )nN convergent dans R. Par exemple, la suite (2n , 21/n , 2 + 1/n) converge
dans R3 vers (0, 1, 2).
Dfinition 2. On dit quune application de Rn dans Rm est continue en un point
x de Rn si limage par de toute suite de points de Rn qui converge vers x, converge
3
Maths en Ligne
UJF Grenoble
vers (x) dans Rm .

Comme cas particulier, lapplication qui (x1 , . . . , xn ) associe la coordonne xi
est continue. Daprs la dfinition de la convergence, lapplication est continue si et
seulement si ses applications coordonnes le sont. Il suffit donc dexaminer la continuit
des applications de Rn dans R.
Si est continue, alors ses applications partielles le sont aussi. Malheureusement,
il peut se faire que les applications partielles soient continues sans que lapplication
le soit. Nous naborderons pas ce cas pathologique. Toutes les applications que nous
rencontrerons seront continues sur leur domaine de dfinition. Pour le vrifier, il suffira
en gnral dinvoquer le thorme suivant.
Thorme 1.
1. La somme et le produit de deux applications continues de Rn dans R sont continues.
2. La compose dune application continue de Rn dans R par une application continue de R dans R est continue.
Comme premier exemple, considrons n applications continues de R dans R, f1 , . . . , fn .
Pour tout i = 1, . . . , n, lapplication (x1 , . . . , xn ) 7 fi (xi ) est continue de Rn dans R,
comme compose de fi et de la i-ime application coordonne.
Leur somme (x1 , . . . , xn ) 7 f1 (x1 ) + + fn (xn ) et leur produit (x1 , . . . , xn ) 7
f1 (x1 ) fn (xn ) sont aussi continues.
Vrifions maintenant que lapplication suivante est continue en tout point de R3
exp(xy) sin(z + ln(1 + y 2 ))

,
(x, y, z) 7
1 + x2 + y 2
2 cos2 (x + y)
.
1 + z4
Il suffit de montrer que les deux applications coordonnes sont continues. Lapplication
qui (x, y, z) associe xy est continue comme produit de deux applications coordonnes
(point 1 ). Sa compose par exp lest daprs le point 2. Lapplication qui (x, y, z)
associe z + ln(1 + y 2 ) est continue daprs le point 1 et la compose par sin lest daprs
2. Lapplication qui (x, y, z) associe 1 + x2 + y 2 est continue daprs 1, linverse
daprs 2 (car le dnominateur ne sannule pas). Finalement le produit de trois applications continues est continu daprs 1. On procde de mme pour lautre application
coordonne.
1.2
Drives partielles
Les dfinitions et rsultats de cette section sont noncs pour la dimension 3, afin de
ne pas compliquer les notations. Ils se gnralisent facilement en dimension quelconque.
Maths en Ligne
UJF Grenoble
Soit f : (x, y, z) 7 f (x, y, z) une application de R3 dans R. Etant donn un point

de coordonnes (a, b, c) dans R3 , on dfinit 3 applications partielles en (a, b, c).
x
7 f (x, b, c)
y 7 f (a, y, c)
z 7 f (a, b, z)
Nous souhaitons driver ces trois applications. Or on ne peut driver une fonction de R
dans R que si elle est dfinie au voisinage du point o on souhaite la driver, cest--dire
sur un intervalle ouvert contenant ce point. Ceci nous amne introduire la dfinition
suivante.
Dfinition 3. Soit D un sous-ensemble de R3 . On dit que D est un domaine ouvert
de R3 si pour tout point (x, y, z) de D, il existe > 0 tel que D contient le cube de ct
2 et de centre (x, y, z).
]x , x + []y , y + []z , z + [ D .
Le cube de centre (x, y, z) et de ct 2 doit tre vu comme un voisinage de (x, y, z).
Dornavant les fonctions que nous considrons sont dfinies sur un domaine ouvert D
inclus dans R3 . Si les applications partielles sont drivables, leurs drives sappellent
les drives partielles de f en (a, b, c).
df (x, b, c)
f
(a, b, c) =
(a)
x
dx
f
df (a, y, c)
(a, b, c) =
(b)
y
dy
df (a, b, z)
f
(a, b, c) =
(c)
z
dz
Pour calculer la drive partielle par rapport x, il suffit de driver en x lexpression
de f , en traitant les autres variables comme des constantes paramtriques.
Supposons par exemple que f soit lapplication qui (x, y, z) associe la surface du
paralllpipde dont les longueurs dartes sont x, y, z.
R3 R
(x, y, z) 7 2(xy + yz + xz)
Voici ses trois drives partielles.
f
(a, b, c) = 2(b + c)
x
f
(a, b, c) = 2(a + c)
y
f
(a, b, c) = 2(a + b)
z
5
Maths en Ligne
UJF Grenoble
Nous viterons systmatiquement les cas pathologiques en supposant que les drives
partielles sont des fonctions continues.
Dfinition 4. Soit f une application dfinie sur un domaine ouvert D de R3 , valeurs
,
dans R. On dit que f est continment diffrentiable sur D si les drives partielles f
x
f
f
3
,
et
,
vues
comme
des
fonctions
de
R
dans
R
sont
continues
en
tout
point
de
D.
y
z
Si elles sont continues, les drives partielles permettent dapprocher la fonction
par une application linaire au voisinage dun point. Le rsultat qui suit est lanalogue
pour les fonctions de deux variables dun dveloppement limit dordre 1.
Thorme 2. Soit D un domaine ouvert de R2 , f : (x, y) 7 f (x, y) une application
continment diffrentiable de D dans R et (a, b) un point de D. Notons o(x, y) la
fonction dfinie par :
f (x, y) = f (a, b) + (x a)
Alors :
f
f
(a, b) + (y b) (a, b) + o(x, y) .
x
y
o(x, y)
=0.
(x,y)(a,b) max{|x a|, |y b|}
lim
Ce thorme dit que les variations de la fonction f autour du point (a, b) peuvent
tre approches par une application linaire, la diffrentielle de f .
Dfinition 5. On appelle diffrentielle de f au point (a, b) lapplication linaire de R2
dans R qui (hx , hy ) associe :
hx
f
f
(a, b) + hy (a, b) .
x
y
La diffrentielle peut tre vue comme lapplication qui un vecteur associe son
produit scalaire par le vecteur des drives partielles, quon appelle le gradient de f au
point (a, b), et que lon note f (a, b) (prononcez : nabla ). En physique, on interprte
hx et hy comme de petites variations des variables x et y, et on les note plutt dx et
dy. Si on note df la diffrentielle de f , ceci justifie lcriture abrge suivante.
df =
f
f
dx +
dy .
x
y
Le thorme 2 donne une approximation de f (x, y) sous la forme :

f (x, y) ' f (a, b) + (x a)
f
f
(a, b) + (y b) (a, b) .
x
y
La surface dquation z = f (a, b) + (x a) f

(a, b) + (y b) f
(a, b) est celle du plan
x
y
tangent la surface z = f (x, y) au point (a, b, f (a, b)) (cf. figure 5). Pour rappeler
6
Maths en Ligne
UJF Grenoble
z
f(a,b)
(a,b)
x
Figure 5 Plan tangent une surface en un point.

cette interprtation gomtrique, la diffrentielle de f au point (a, b) porte aussi le
nom dapplication linaire tangente.
Une application de Rn dans Rm est continment diffrentiable si ses m applications
coordonnes le sont, au sens de la dfinition 4. La diffrentielle en un point de Rn est
une application linaire de Rn dans Rm . Sa matrice est la matrice jacobienne. Ici encore
nous donnons la dfinition en dimension rduite pour des raisons de clart.
Dfinition 6. Soit D un domaine ouvert de R3 et une application de D dans R2 .
:
D R2
(x, y, z) 7 (f (x, y, z), g(x, y, z)) .
Soit (a, b, c) un point de D. On appelle matrice jacobienne de au point (a, b, c), la

matrice des drives partielles de f et g :
M J()(a, b, c) =
f
x
g
x
f
y
g
y
f
z
g
z
(a, b, c)
On appelle diffrentielle de au point (a, b, c) lapplication linaire de R3 dans R2 dont

la matrice dans les bases canoniques de R3 et R2 est la matrice jacobienne.
On ne distinguera pas en gnral la matrice jacobienne au point (x, y, z) de lapplication de R3 dans lensemble des matrices qui (x, y, z) associe cette matrice jacobienne. Nous reprenons les exemples de la section prcdente, en donnant pour chacun
la matrice jacobienne.
Surface dun rectangle en fonction de sa longueur et sa largeur :
R2 R
(x, y) 7 xy
MJ =
7
y x
Maths en Ligne
UJF Grenoble
Surface dun paralllpipde en fonction de ses trois dimensions :

R3 R
(x, y, z) 7 2(xy + yz + xz)
MJ =
2(y + z) 2(x + z) 2(x + y)
Surface et volume dun paralllpipde en fonction de ses trois dimensions :

2
R3 R

(x, y, z) 7 2(xy + yz + xz) , xyz
MJ =
2(y + z) 2(x + z) 2(x + y)

yz
xz
xy
Coordonnes polaires dun point du plan :

R+ ]0, 2[ R2
(r, ) 7 (x, y)
x = r cos , y = r sin
MJ =
cos r sin
sin
r cos
Coordonnes cylindriques dun point de lespace :

R+ ]0, 2[R R3
(r, , z) 7 (x, y, z)
cos r sin
r cos
MJ =
sin
0
0
0
0
.
1
Coordonnes sphriques dun point de lespace :

R+ ]0, 2[] 2 , 2 [ R3
(r, , ) 7 (x, y, z)
x = r cos cos , y = r cos sin , z = r sin
cos cos r cos sin r sin cos
r cos cos r sin sin

M J = cos sin
.
sin
0
r cos
Pour le calcul des diffrentielles, on est souvent amen utiliser la rgle de drivation
selon laquelle la diffrentielle dune fonction compose est la compose des diffrentielles.
Thorme 3. Soit f une application de Rn dans Rm , diffrentiable au point x de Rn .
Soit g une application de Rm dans Rk , diffrentiable au point y = f (x) de Rm . La
diffrentielle de la compose g f au point x est la compose des diffrentielles de g
au point f (x) et de f au point x. La matrice jacobienne est le produit des matrices
jacobiennes de g au point f (x) et de f au point x.
M J(g f )(x) = M J(g)(f (x))M J(f )(x) .
Maths en Ligne
UJF Grenoble
Voici un exemple. Considrons lapplication f , de R2 dans R2 , qui aux coordonnes

polaires dun point du plan associe ses coordonnes cartsiennes.
R+ ]0, 2[ R2
(r, ) 7 (x, y)
f :
cos r sin
sin
r cos
M J(f ) =
Considrons maintenant la fonction g, de R2 dans R qui (x, y) associe x2 + y 2 .

(
g :
R2 R
(x, y) 7 x2 + y 2
M J(g) =
2x 2y
La matrice jacobienne de g au point f (r cos , r sin ) est donc

produit des deux est :

2r cos 2r sin
cos r sin
sin
r cos
.

2r cos 2r sin . Le
2r 0
Effectivement, la compose g f est la fonction de R2 dans R qui (r, ) associe r2 .

En pratique, on calcule rarement les diffrentielles sous forme matricielle. On crira
plutt :
g x g y
g
=
+
.
r
x r y r
1.3
Drives dordre suprieur
Soit f : (x, y, z) 7 f (x, y, z) une application dun domaine D de R3 dans R,

, f et f
sont encore
continment diffrentiable sur D. Les trois drives partielles f
x y
z
des applications de D dans R. Si elles-mmes sont continment diffrentiables, on dit
que f est deux fois continment diffrentiable . Leurs drives partielles, au nombre
de 9, sont les drives partielles secondes de f . Nous admettrons que le rsultat ne
dpend pas de lordre dans lequel on effectue les drivations ; cest le thorme de
Schwarz.
Thorme 4. Soit f une application deux fois continment diffrentiable sur un domaine ouvert de Rn , valeurs dans R. Pour tout i, j = 1, . . . , n, on a :
xi
f
xj
=
xj
f
xi
2f
. Leur maxi xj
trice est la matrice hessienne de f , qui est symtrique daprs le thorme de Schwarz.
La notation pour la drive partielle seconde par rapport xi et xj est
Maths en Ligne
UJF Grenoble
Ainsi, pour une application de R3 dans R, la matrice hessienne a 3 lignes et 3 colonnes.
H(f ) =
2f
x2
2f
xy
2f
xz
2f
xz
2f
yz
2f
z 2
2f
xy
2f
y 2
2f
yz
Reprenons lexemple de la surface dun paralllpipde en fonction de ses trois dimensions.

R3 R
(x, y, z) 7 2(xy + yz + xz)
MJ =
2(y + z) 2(x + z) 2(x + y)
La matrice hessienne sobtient en drivant chacune des drives partielles dordre 1,

par rapport aux trois variables.
H=
0 2 2
2 0 2
2 2 0
Si les drives partielles secondes sont elles-mmes diffrentiables, on peut dfinir les
drives partielles troisimes, et en itrant le procd, des drives partielles de tous
ordres.
Les quations aux drives partielles, qui sont aux fonctions plusieurs variables ce
que les quations diffrentielles sont aux fonctions dune variable, sont omniprsentes
en physique. Elles relient en gnral entre elles les drives partielles dordre 1 et 2, et
font intervenir des combinaisons de drives partielles comme le gradient, la divergence,
le rotationnel, ou le laplacien.
Dfinition 7.
1. Soit f : (x, y, z) 7 f (x, y, z) une application deux fois continment diffrentiable
de R3 dans R. On appelle :
(a) Gradient de f le vecteur, not f :
f =
f
x
f
y
f
z
(b) Laplacien de f le rel, not f :

f =
2f
2f
2f
+
+
.
x2
y 2
z 2
10
Maths en Ligne
UJF Grenoble
2. Soit F : (x, y, z) 7 (f (x, y, z), g(x, y, z), h(x, y, z)) une application deux fois
continment diffrentiable de R3 dans R3 . On appelle :
(a) Rotationnel de F le vecteur, not rot(F ) :
rot(F ) =
h
y
f
z
g
x
g
z
h
x
f
y
(b) Divergence de F le rel, not div(F ) :

div(F ) =
f
g h
+
+
.
x y z
Le lecteur vrifiera les relations classiques suivantes, partir des dfinitions prcdentes et du thorme de Schwarz 4.
div(f ) = f
div(rot(F )) = 0 ,
rot(f ) = 0 .
titre dexemple, voici la plus clbre des quations aux drives partielles, lquation
de la chaleur. Considrons un corps homogne dans lespace, et notons f (t, x, y, z) la
temprature au temps t du point de coordonnes (x, y, z). Des considrations physiques
amnent montrer que lapplication f doit tre solution de lquation aux drives
partielles suivante :
f
=
t
Cp
2f
2f
2f
+
+
x2
y 2
z 2
(xyz f ) ,
Cp
o est la conductivit thermique, la masse volumique et Cp la chaleur spcifique.

Lapplication suivante porte le nom de noyau de la chaleur car elle est solution de
lquation de la chaleur, ce que nous allons vrifier.

c 2
1
2
2
exp (x + y + z ) ,
f (t, x, y, z) =
t
t t
o c est une constante.
!

f
3
x2 + y 2 + z 2
c 2
2
2
= 2
+c
exp (x + y + z )
t
t
2t t
t3 t
!

f
2cx
c
= 2 exp (x2 + y 2 + z 2 )
x
t
t t
!

2
2
2c
x
c 2
f
2
2
2
= 2 + 4c 3 exp (x + y + z )
x2
t
t t
t t
Les drives partielles par rapport y et z sobtiennent en permutant les 3 variables,
qui jouent des rles symtriques. On obtient :
xyz f =
Pour c =
Cp
,
4
2f
2f
2f
f
+
+
= 4c
.
2
2
2
x
y
z
t
f est donc une solution particulire de lquation de la chaleur.

11
Maths en Ligne
1.4
UJF Grenoble
Extrema
Le but de cette section est dtudier les variations dune fonction f de Rn dans R,
et en particulier de dterminer les points de lespace o elle atteint son maximum et
son minimum. Afin de mieux visualiser les notions introduites, nous nous plaons en
dimension 2. La fonction f : (x, y) 7 f (x, y) se reprsente par la surface dquation
z = f (x, y) dans lespace. Nous commenons par la notion de drive directionnelle.
Dfinition 8. Soit D un domaine ouvert de R2 et f une fonction continment diffrentiable sur D. Soit (a, b) un point de D et (u, v) un vecteur non nul de R2 . On
appelle drive directionnelle de f en (a, b) dans la direction de (u, v) la quantit :
f
f
(a, b) u +
(a, b) v .
x
y
Pour comprendre cette dfinition, considrons la fonction g de R dans R, qui t
associe :
g(t) = f (a + tu, b + tv) .
Elle dfinit une courbe sur la surface dquation z = f (x, y), au-dessus de la droite
{(a + tu, b + tv) , t R} (voir figure 6). On drive cette fonction par rapport t comme
une fonction compose :
d
f (a + tu, b + tv)
dt
f
d(a + tu) f
d(b + tv)
=
(a + tu, b + tv)
+
(a + tu, b + tv)
.
x
dt
y
dt
g 0 (t) =
Soit en t = 0 :
g 0 (0) =
f
f
(a, b) u +
(a, b) v .
x
y
La drive directionnelle dcrit les variations de f (a + tu, b + tv) autour de (a, b), dans
la direction du vecteur (u, v).
La direction selon laquelle la croissance de la surface est la plus forte est celle du
gradient de la fonction. titre dexemple, nous avons reprsent sur la figure 7 quelques
valeurs du gradient de la fonction sin(xy). Pour comparaison, nous avons mis ct
une reprsentation de la fonction par niveaux de gris : au lieu de la surface z = sin(xy)
(figure 4), les valeurs de la fonction sont symbolises par des niveaux de gris, dautant
plus clairs que les valeurs sont plus fortes. Les points blancs sont des maxima de la
fonction, et les points noirs des minima. On constate que le gradient, sil est non nul,
est toujours orient vers le haut, dans la direction de la ligne de plus grande pente .
Sur la figure 7, on observe que le gradient est nul pour les maxima et les minima.
Dfinissons dabord la notion de maximum et minimum local.
12
Maths en Ligne
UJF Grenoble
z
f(a,b)
y
(u,v)
(a,b)
x
Figure 6 Drive directionnelle.

4
-1
-2
-3
3
4
4
-4
-4
-3
-2
-1
Figure 7 Reprsentation par niveaux de gris de z = sin(xy) et champ de gradient

correspondant.
Dfinition 9. Soit D un domaine ouvert de R2 , f une fonction dfinie sur D, et (a, b)
un point de D. On dit que f admet un maximum (respectivement un minimum) local
en (a, b), sil existe > 0 tel que f (a, b) > f (x, y) (respectivement f (a, b) 6 f (x, y)),
pour tout (x, y) tel que |x a| < et |y b| < .
Thorme 5. Soit D un domaine ouvert de R2 et f une fonction continment diffrentiable sur D. Soit (a, b) un point de D. Si f admet un maximum local ou un minimum
local en (a, b) alors le gradient de f au point (a, b) est nul :
f
f
(a, b) =
(a, b) = 0 .
x
y
Dmonstration : Si f admet un extremum (maximum ou minimum) local en (a, b)
alors il en est de mme si on restreint f la direction (u, v) autour de (a, b). La drive
de la fonction (de t) f (a + tu, b + tv) doit donc tre nulle en t = 0. Donc :
d
f
f
f (a, b) =
(a, b) u +
(a, b) v = 0 .
dt
x
y
13
Maths en Ligne
UJF Grenoble
Mais les drives directionnelles ne peuvent tre nulles dans toutes les directions que
si le gradient lui mme est nul.

Les points du plan o le gradient de f sannule sont les points critiques de f . La
nullit du gradient nest quune condition ncessaire pour quun point soit un extremum. Rappelons tout dabord quelle est la situation pour les fonctions dune variable,
deux fois continment drivable. Si la fonction t 7 g(t) admet un maximum ou un
minimum local en t = 0 alors g 0 (0) = 0. Rciproquement :
Si g 0 (0) = 0 et si g 00 (0) < 0, alors 0 est un maximum local pour g.
Si g 0 (0) = 0 et si g 00 (0) > 0, alors 0 est un minimum local pour g.
Revenons alors une fonction de 2 variables, que nous supposons deux fois continment
diffrentiable. Examinons cette fonction dans la direction (u, v) autour de (a, b).
g(t) = f (a + tu, b + tv) .
Le point (a, b) sera un maximum de f si 0 est un maximum pour g, quelle que soit la
direction (u, v). Calculons la drive seconde de g :
!
d
f
f
d2
f
(a
+
tu,
b
+
tv)
=
u
(a
+
tu,
b
+
tv)
+
v
(a + tu, b + tv)
dt2
dt
x
y
2f
2f
2
(a
+
tu,
b
+
tv)
u
+
2
(a + tu, b + tv) uv
=
x2
xy
2f
+ 2 (a + tu, b + tv) v 2 .
y
Donc en t = 0 :
g 00 (0) =
2f
2f
2f
2
(a,
b)
u
+
2
(a,
b)
uv
+
(a, b) v 2 .
2
2
x
xy
y
Cette expression peut scrire sous la forme matricielle suivante, qui fait intervenir la
matrice hessienne de f .
(u, v)
2f
(a, b)
x2
2f
(a, b)
xy
2f
(a, b)
xy
2f
(a, b)
y 2
= (u, v)H
Il se trouve que, comme pour toute matrice symtrique relle, il existe une matrice
orthogonale P M2,2 (R) (vrifiant P 1 = t P ) et deux rels et tels que :
H=P
P 1
0
Les rels et sont les valeurs propres de la matrice hessienne. Pour les calculer, il
suffit de connatre leur somme, qui est la trace de la matrice hessienne, et leur produit,
14
Maths en Ligne
UJF Grenoble
qui est son dterminant.

!2
2f
2f
+=
(a,
b)
+
(a, b) et =
x2
y 2
2f
2f
2f
(a, b)
(a,
b)
(a,
b)
x2
y 2
xy
On rsoud alors lquation du second degr dont et sont solution.

Posons :
= tP
(u , v ) = (u, v)P .
La drive seconde de g en 0 scrit :
g 00 (0) = (u , v )
= u2 + v2 .
Le signe de g 00 (0) dpend donc des signes de et .

Si < 0 et < 0, alors g 00 (0) < 0 quelle que soit la direction (u, v), donc le point
(a, b) est un maximum local pour f .
Si > 0 et > 0, alors g 00 (0) > 0 quelle que soit la direction (u, v), donc le point
(a, b) est un minimum local pour f .
Si > 0 et < 0, alors g 00 (0) < 0 dans la direction (u , 0)P , et g 00 (0) > 0 dans la
direction (0, v )P . Dans ce cas on dit que le point (a, b) est un point selle pour f .
Les trois cas sont illustrs sur la figure 8.
z
(a,b)
x
(a,b)
(a,b)
Figure 8 Maximum, minimum et point selle pour une fonction de R2 dans R.

Voici un exemple.
f (x, y) = x3 + 3xy 2 15x 12y .
Le gradient et la matrice hessienne au point (x, y) sont :
=
3x2 + 3y 2 15
6xy 12
15
H=
6x 6y
6y 6x
Maths en Ligne
UJF Grenoble
Le gradient sannule en 4 points dans le plan. Nous les donnons avec les valeurs propres
de la matrice hessienne et la nature du point.
(2, 1)
(2, 1)
(1, 2)
(1, 2)
= 6 , = 18
= 6 , = 18
= 6 , = 18
= 6 , = 18
minimum
maximum
point selle
point selle
Ltude prcdente se gnralise aux fonctions de Rn dans R.

Thorme 6. Soit D un domaine ouvert de Rn , f une fonction deux fois continment
diffrentiable sur D et (a, b) un point de D. Notons le gradient et H la matrice
hessienne de f au point (a, b).
1. Si = 0 et si H a toutes ses valeurs propres strictement ngatives, alors (a, b)
est un maximum local pour f .
2. Si = 0 et si H a toutes ses valeurs propres strictement positives, alors (a, b)
est un minimum local pour f .
Les valeurs propres de H sont les racines du polynme (x), o (x) est le dterminant de la matrice H xI, I tant la matrice indentit de taille n n.
1.5
Extrema lis
Nous passons maintenant un problme un peu diffrent : la recherche dextrema

lis, aussi appels extrema sous contrainte. Commenons par un exemple simple. Parmi
les paralllpipdes de surface S fixe, lesquels ont un volume maximal ? Si x, y, z
dsignent les longueurs des cts du paralllpipde, la surface est 2(xy + yz + xz)
et le volume xyz. Le problme est de trouver le maximum atteint par le volume xyz,
non pas parmi tous les points de R3 , mais seulement parmi ceux vrifiant la contrainte
2(xy + yz + xz) = S, o S est fix. Bien sr, on peut utiliser la contrainte pour calculer
une des variables en fonction des deux autres. Par exemple pour z :
2(xy + yz + xz) = S = z =
S
2
xy
.
x+y
En reportant cette valeur de z dans lexpression du volume, on obtient :

VS (x, y) = xy
S
2
xy
.
x+y
On peut calculer le maximum de cette fonction avec la technique du gradient. Le lecteur

vrifiera que le maximum de VS (x, y) est atteint pour :
s
x=y=
16
S
,
6
Maths en Ligne
UJF Grenoble
ce qui entrane aussi z = S6 : surface fixe, le paralllpipde de volume maximal

est le cube.
Il est rare que lon puisse effectivement appliquer cette technique de substitution,
surtout sil y a plusieurs contraintes. On utilise alors le thorme des multiplicateurs
de Lagrange, qui dit que si un problme doptimisation sous contrainte a une solution
en un point, alors les gradients de la fonction et des contraintes sont des vecteurs
linairement dpendants.
Thorme 7. Soit D un domaine ouvert de Rn et f, g1 , . . . , gk des applications continment diffrentiables de D dans R. Notons :
A = {x D , g1 (x) = = gk (x) = 0} .
Si la restriction de f A prsente un extremum au point a de A, et si les vecteurs
g1 (a), . . . , gk (a) sont linairement indpendants, alors il existe k rels 1 , . . . , k
tels que :
f (a) = 1 g1 (a) + + k gk (a) .
Dans ce thorme, f est la fonction dont on cherche un maximum ou un minimum,
et g1 , . . . , gk sont les contraintes. Remarquons quil y a au plus n contraintes, car leurs
gradients doivent tre linairement indpendants. En fait pour que le thorme ait un
intrt, il ne peut pas y avoir plus de n 1 contraintes. Les coefficients 1 , . . . , k sont
les multiplicateurs de Lagrange. Appliquons ce thorme au problme du volume sous
contrainte de surface.
f (x, y, z) = xyz
g1 (x, y, z) = 2(xy + yz + xz) S .
yz
xz
f =
xy
2(y + z)
2(x
+ z)
g1 =
.
2(x + y)
Si un point (x, y, z) est solution, alors il existe un multiplicateur 1 tel que f = 1 g1 .

On doit donc avoir :
yz = 21 (y + z)
xz = 21 (x + z)
xy = 21 (x + y)
En soustrayant ces quations deux deux, on obtient :
(x y)z = 21 (x y)
(y z)x = 21 (y z)
(z x)y = 21 (z x)
qui implique que x = y = z. On retrouve donc la solution prcdente.
Voici maintenant un exemple similaire, mais avec deux contraintes.
f (x, y, z) = xyz , g1 (x, y, z) = x2 + y 2 + z 2 1 , g2 (x, y, z) = x + y + z 1 .
17
Maths en Ligne
UJF Grenoble
yz
2x
1
f = xz , g1 = 2y , g1 = 1 .
xy
2z
1
La contrainte g1 (x, y, z) = 0 est lquation de la sphre de centre (0, 0, 0) et de rayon 1 ;
la contrainte g2 (x, y, z) = 0 est lquation dun plan. On cherche donc les extrema de f
sur lintersection de la sphre unit et dun plan, savoir sur un cercle dans lespace.
Si un point (x, y, z) est solution, alors il existe deux multiplicateurs 1 , 2 tels que
f = 1 g1 + 2 g2 . On doit donc avoir :
yz = 21 x + 2
xz = 21 y + 2
xy = 21 z + 2
On obtient donc un systme de 5 quations (les 3 prcdentes et les 2 contraintes), et

5 inconnues : x, y, z, 1 , 2 . Ltude de ce systme montre quil a 6 solutions, donnes
dans le tableau ci-dessous.
x
1
y
0
z
0
13
2
3
31
2
3
2
3
2
3
13
13
2
9
2
9
2
9
2
3
2
3
1 2
0 0
13
13
Observons que ces points ont t obtenus par une condition ncessaire. Rien dans le
thorme 7 ne permet de savoir si ce sont des maxima, des minima ou ni lun ni lautre.
1.6
Diffomorphismes
Les applications de Rn dans Rn qui sont bijectives, et continment diffrentiables

ainsi que leur rciproque, sont utilises comme changements de variables. On les appelle
des diffomorphismes.
Dfinition 10. Soient D et deux domaines ouverts de Rn . Soit une application
de D dans . On dit que est un diffomorphisme si :
1. est une bijection de D sur ,
2. ainsi que sa rciproque 1 sont continment diffrentiables.
Les diffrentielles de et 1 sont elles aussi rciproques lune de lautre. Les
matrices jacobiennes, qui sont des matrices carres n n, sont inverses lune de lautre.
Ceci dcoule du thorme de composition des diffrentielles 3.
18
Maths en Ligne
UJF Grenoble
Proposition 1. Soit un diffomorphisme de D sur , a un point de D et b un

point de . Alors :
1
1
d( (b)) = d (b)
d ((a)) = d(a)
1
M J( )((a)) = M J()(a)
M J()( (b)) = M J( )(b)
1
Pour un diffomorphisme, le dterminant de la matrice jacobienne joue un rle

particulier.
Dfinition 11. Soient D et deux domaines ouverts de Rn . Soit une application
continment diffrentiable de D dans . On appelle dterminant jacobien de , ou
simplement jacobien, le dterminant de la matrice jacobienne.
J() = Det(M J()) .
Comme consquence de la proposition 1, le jacobien dun diffomorphisme ne sannule pas, puisque la matrice jacobienne est inversible. De plus, le jacobien de et le
jacobien de 1 sont inverses lun de lautre.
J(1 )((a)) =
1
J()(a)
J()(1 (b)) =
1
J(1 )(b)
Les changements de variables en coordonnes polaires, cylindriques ou sphriques,

sont trs souvent utiliss. Nous dtaillons le premier, qui consiste remplacer les coordonnes cartsiennes (x, y) dun point du plan, par le module r et largument du
point dans le plan complexe (figure 1).
(
D = R2 \ R+ {0} =]0, +[]0, 2[

(x, y)
7
(r, )
Le module r scrit r = x2 + y 2 . Par contre il nest pas facile de donner une expression
explicite de en fonction de x et y, cause des problmes de signe. On utilise plutt
lexpression de la rciproque 1 , que nous avons dj donne en exemple.
1
=]0, +[]0, 2[ D = R2 \ (R+ {0})

(r, ) 7 (x, y)
:
La matrice jacobienne de 1 au point (r, ) est :
M J(1 )(r, ) =
x
r
y
r
19
cos r sin
sin
r cos
Maths en Ligne
UJF Grenoble
Remarquons que le dterminant jacobien de 1 , qui vaut r, ne sannule pas sur le

domaine . La matrice jacobienne est donc bien inversible en tout point de . Voici
son inverse :

1
cos
sin
.
= 1
M J(1 )(r, )
r sin 1r cos
Pour obtenir la matrice jacobienne de en un point (x, y) de D, il suffit de remplacer
cos , sin et r par leurs expressions en fonction de x et y :
M J()(x, y) =
x
x2 +y 2
y
x2 +y
2
y
x2 +y 2
x
x2 +y 2
r
x
r
y
Observons quon a bien la relation attendue entre les jacobiens.

J()(x, y) =
1
1
1
=
=
.
r
J(1 )(r, )
x2 + y 2
Considrons maintenant une application f : (x, y) 7 f (x, y), de D dans R. Pour

utiliser le changement de variables , on doit remplacer les anciennes coordonnes
(x, y), par les nouvelles coordonnes (r, ), et donc considrer la fonction g, de dans
R, qui (r, ) associe :
g(r, ) = f (1 (r, )) = f (x(r, ), y(r, )) .
On est alors amen utiliser le thorme 3 pour calculer les drives partielles successives de g en fonction de celles de f , et rciproquement. titre dexemple, voici le
calcul classique du laplacien de f (suppose deux fois continment diffrentiable) en
fonction des drives partielles de g.
f
x
f
y
2f
x2
2f
y 2
g r g
g sin g
+
= cos
,
r x x
r
r
g r g
g cos g
=
+
= sin
+
,
r y y
r
r
!
!
g sin g r
g sin g
=
cos
+
cos
,
r
r
r x
r
r x
!
!
g cos g r
g cos g
=
sin
+
+
sin
+
.
r
r
r y
r
r y
=
Aprs simplifications, on trouve :

2f
2f
2 g 1 g
1 2g
+
=
+
+
.
x2
y 2
r2 r r r2 2
20
Maths en Ligne
1.7
UJF Grenoble
Intgrales multiples
Il nest pas question de dvelopper ici une thorie gnrale de lintgrale dune fonction de n variables sur un domaine de Rn . Nous nous limiterons des domaines ouverts
particuliers en dimension 2, ceux dont on peut dlimiter la frontire verticalement par
deux fonctions continues dans le plan.
D = { (x, y) R2 , a < x < b , (x) < y < (x) } ,
o et sont deux fonctions continues de ]a, b[ dans R. En gnral, ce mme domaine
pourra tre dlimit horizontalement par deux autres fonctions (figure 9).
D = { (x, y) R2 , (y) < x < (y) , c < y < d } ,
o et sont deux fonctions continues de ]c, d[ dans R.
y
(x)
y
d
D
D
y
(x)
c
a
(y)
(y)
Figure 9 Domaine du plan dlimit par deux fonctions, verticalement et horizontalement.

Soit f une fonction continue sur le domaine D. Pour x fix dans lintervalle ]a, b[,
lapplication partielle y 7 f (x, y), dfinie sur ](x), (x)[ est continue, donc intgrable.
La fonction qui x ]a, b[ associe :
Z (x)
f (x, y) dy ,
(x)
est continue sur ]a, b[. Il est logique de dfinir lintgrale de f sur D comme son intgrale.
Encore faut-il sassurer que le rsultat aurait t le mme si on avait intgr dabord
par rapport x, ensuite par rapport y : le thorme de Fubini lassure, et nous
ladmettrons.
Thorme 8. Avec les hypothses prcdentes, lgalit suivante est vrifie.
Z b
Z (x)
(x)
f (x, y) dy
dx =
Z d
Z (y)
(y)
21
f (x, y) dx dy .
Maths en Ligne
UJF Grenoble
Dfinition 12. On appelle intgrale de f sur D, la valeur commune des deux expressions :
Z
f (x, y) dxdy =
Z b
Z (x)
(x)
f (x, y) dy
dx =
Z d
Z (y)
(y)
f (x, y) dx dy .
Voici un premier exemple, dans le cas particulier o D est un rectangle :

D =]a, b[]c, d[ .
La fonction intgrer est f : (x, y) 7 x3 y 2 .
!
#d
"
y3
x y dy dx =
x
f (x, y) dxdy =
dx
3 c
c
a
D
a
d3 c3 b4 a4
d 3 c3 Z b 3
x dx =
=
.
3
3
4
a
Z b
Z d
Z b
3 2
En fait si f (x, y) = g(x)h(y), alors lintgrale de f sur D =]a, b[]c, d[ est le produit
des intgrales de g sur ]a, b[ et de h sur ]c, d[.
Voici lintgrale de la mme fonction f sur un domaine triangulaire (figure 10) :
D = { (x, y) R2 , 0 < x < 1 , 0 < y < x } .
1
x
y
0
Figure 10 Domaine triangulaire.

Z
f (x, y) dxdy =
Z 1 Z x
0
Z 1
0
3 2
x y dy dx =
Z 1
0
"
x6
x7
dx =
3
21
22
#1
=
0
1
.
21
"
y3
3
#x
dx
0
Maths en Ligne
UJF Grenoble
Si on commence par la variable x, on obtient :

Z
f (x, y) dxdy =
Z 1 Z 1
x y dx dy =
"
"
Z 1 2
y
0
Z 1
3 2
y6
y3
y7
dy =
4
4
12 28
x4
4
#1
=
0
#1
dy
y
1
.
21
Cette mthode de calcul stend aux intgrales triples, et plus gnralement aux intgrales sur un domaine de Rn dune fonction de Rn dans R. Voici un exemple. Notons
D le domaine de R3 dfini par :
D = { (x, y, z) R3 , 0 < x < y < z < 1 } .
Soit f la fonction de R3 dans R, qui (x, y, z) associe xyz. Calculons lintgrale de f
sur D.
Z
f (x, y, z) dxdydz =
Z 1 Z 1 Z 1
x
Z 1
0
Z 1
x
xyz dz dy dx
"
z2
xy
2
#1
dy dx
Z 1 Z 1
xy
=
(1 y 2 ) dy dx
x 2
0
"
#
Z 1
2
4 1
y
y
x
dx
=
4
8 x
0
x x3 x5
=
+
dx
4
8
0 8
"
#1
x2 x4 x6
=
+
16 16 48 0
1
=
.
48
Z 1
23
Maths en Ligne
UJF Grenoble
Voici un autre calcul, conduisant au mme rsultat.

Z
f (x, y, z) dxdydz =
Z 1 Z z Z y
=
=
Z 1
Z z
Z 1
Z 1 5
z
0
"
"
x2
yz
2
#y !
dy
dz
zy 3
dy dz
2
0
" #z !
y4
z
dz
8 0
Z z
Z 1
0
xyz dx dy dz
dz
#1
z6
=
48
1
=
.
48
Les intgrales doubles et triples permettent de rsoudre les problmes de calcul daires,
volumes, centres de gravit, moments dinertie etc. de la mcanique du solide. Si D est
un domaine du plan, son aire est lintgrale sur D de la fonction constante gale 1.
Son centre de gravit a pour coordonnes :
Z
x dxdy
xG = ZD
dxdy
y dxdy
et yG = ZD
.
dxdy
La dtermination du volume et du centre de gravit dun solide dans lespace seffectue

de faon analogue.
1.8
Changement de variables
Les intgrations successives peuvent conduire des calculs fastidieux si la fonction

ou le domaine sont compliqus. La technique du changement de variables permet de
les simplifier.
Thorme 9. Soient D et deux domaines ouverts de R2 , et un diffomorphisme
de D sur .
(x, y) 7 (x, y) = (u, v)

:
u = u(x, y) , v = v(x, y)
Soit f : (x, y) 7 f (x, y) une fonction continue sur D.
Z
D
f (x, y) dxdy =
f (1 (u, v)) |J(1 )(u, v)| dudv ,
24
Maths en Ligne
UJF Grenoble
o J(1 )(u, v) est le dterminant jacobien de 1 au point (u, v) de .

Pour comprendre ce rsultat, nous devonsR donner une interprtation gomtrique
de lintgrale et du jacobien. Dans lcriture D f (x, y) dxdy, il faut voir dxdy comme
la surface dun petit rectangle de largeur dx et de longueur dy autour du point (x, y).
Le produit f (x, y) dxdy est le volume dun petit paralllpipde dont la base est ce
rectangle et la hauteur f (x, y). Lintgrale est la somme de ces petits lments de
volume (figure 11).
z
f(x,y)
dy
x
D
dx
Figure 11 Interprtation gomtrique dune intgrale double.

Appliquer le diffomorphisme au domaine D revient le dformer, comme si
ctait une plaque de caoutchouc. Le petit rectangle de largeur dx et de longueur dy
autour du point (x, y) est lui aussi dform en une petite surface, autour de (u, v) =
(x, y). En premire approximation, cette petite surface peut tre vue comme un paralllogramme, dont laire est |J1 (u, v)| dudv : rappelons que le dterminant de deux
vecteurs dans le plan est au signe prs laire du paralllogramme quils dlimitent (cf.
figure 12).
R
Soit calculer D (x + y) dxdy, o le domaine D est dlimit par deux paraboles et
deux hyperboles (figure 13).
(
D=
x2
1
1
(x, y) R2 ,
< y < x2 ,
<y<
2
2x
x
On pourrait calculer directement cette intgrale de la faon suivante.

Z
D
(x + y) dxdy =
Z 1
21/3
Z x2
1
2x
(x + y) dy
dx +
Z 21/3
1
25
1
x
x2
2
(x + y) dy
dx .
Maths en Ligne
UJF Grenoble
dy
D
x
dx
Figure 12 Interprtation gomtrique du terme |J(1 )(u, v)| dudv dans un changement de variables.
v
y
x
x /2
1/2
1/x
1/2x
1/3
1/3
1/2
Figure 13 Exemple de changement de variables.

Nous proposons le changement de variables suivant.
D
(x, y) 7 (x, y) = (u, v)
:
u = xy2 , v = xy .
La premire tape consiste dterminer 1 , en rsolvant en x et y le systme :
u = y
x = u1/3 v 1/3
x2
y = u1/3 v 2/3 .
v = xy
Ceci fournit lexpression explicite de 1 .
1 :
D
(u, v) 7 1 (u, v) = (x, y)
x = u1/3 v 1/3 , y = u1/3 v 2/3 .
La seconde tape consiste dterminer , qui est limage par de D. Pour cela, on
remplace x et y par leurs expressions en fonction de u et v dans les ingalits dfinissant
26
Maths en Ligne
UJF Grenoble
D.
(u1/3 v 1/3 )2
< u1/3 v 2/3 < (u1/3 v 1/3 )2 ,
2

1
1
1/3 2/3
<
u
v
<
2u1/3 v 1/3
u1/3 v 1/3

1
1
=
(u, v) , < u < 1 , < v < 1 .
2
2
La troisime tape consiste calculer le dterminant jacobien de 1 . Pour cela, il faut
dabord crire la matrice jacobienne, en drivant les expressions de x et y en fonction
de u et v.

(u, v) ,
J1 (u, v) =

x
u

y

u
x
v
y
v
31 u4/3 v 1/3
1 2/3 2/3
u
v
3
1 1/3 2/3
u
v
3
2 1/3 1/3
u v
3
1
.
3u
La quatrime tape consiste appliquer le thorme 9. Pour cela, on remplace x et

y par leurs expressions en fonction de u et v dans la fonction, et on multiplie par la
valeur absolue du jacobien. Il ne reste plus qu calculer cette nouvelle intgrale.
Z
(x + y) dxdy =
(u1/3 v 1/3 + u1/3 v 2/3 )
1
dudv
3u
!
1 Z 1 Z 1 4/3 1/3
=
u
v + u2/3 v 2/3 du dv
1
3 12
2
! Z
!
! Z
!
1
1
1 Z 1 2/3
1 Z 1 4/3
1/3
2/3
u
du
v dv +
u
du
v dv
=
1
1
3 12
3 12
2
2

3
3
=
1 + 21/3 1 24/3 +
1 21/3 1 25/3 .
4
5
Le changement de variables en coordonnes
polaires simpose quand le domaine D est
R
un disque centr en 0. Soit calculer DR f (x, y) dxdy, o :
DR = { (x, y) , x2 + y 2 < R2 } .
Le changement en coordonnes polaires envoie le disque DR , priv du segment joignant
lorigine (0, R), sur un domaine rectangulaire :
R = { (r, ) , 0 < r < R , 0 < < 2 } .
Le jacobien de 1 , dj calcul, vaut r. On a donc :
Z
f (x, y) dxdy =
DR
Z 2
Z R
f (r cos , r sin ) r dr
d .
Calculons le volume de la boule de rayon R, laide du changement de variables en

coordonnes sphriques.
n
BR = (x, y, z) R3 , x2 + y 2 + z 2 < R
27
Maths en Ligne
UJF Grenoble
Le diffomorphisme 1 est :
]0, R[]0, 2[] 2 , 2 [ BR \ {(x, y, z) , y = 0, x > 0}
(r, , ) 7 (x, y, z)
x = r cos cos , y = r cos sin , z = r sin
Nous avons dj crit sa matrice jacobienne, et nous laissons au lecteur le calcul de son
dterminant : J(1 ) = r2 cos .
Le volume de la boule BR est :
Z
BR
dxdydz =
Z +
2
Z 2
Z R
28
!
2
r cos dr
d =
4 3
R
3
Maths en Ligne
UJF Grenoble
Entranement
2.1
Vrai ou faux
Vrai-Faux 1. On considre lapplication f de R3 dans R qui (x, y, z) associe

f (x, y, z) = sin(xyz). Parmi les affirmations suivantes lesquelles sont vraies, lesquelles
sont fausses, et pourquoi ?
1. Lapplication f est continment diffrentiable sur R3 .
2. La diffrentielle de f est une application linaire de R3 dans R3 .
3. Le gradient de f est une application linaire de R3 dans R3 .
4. Le gradient de f au point ( 2 , 0, 0) est nul.
5. Le gradient de f au point ( 2 , 1, 1) est nul.
6. La matrice jacobienne de f au point (x, y, z) est une matrice relle 3 3.
7. La matrice hessienne de f au point (x, y, z) est une matrice relle 3 3.
8. La matrice hessienne de f au point (0, 0, 0) est la matrice nulle.
9. La matrice hessienne de f au point ( 2 , 0, 0) est la matrice nulle.
10. La matrice hessienne de f au point ( 2 , 0, 0) a toutes ses valeurs propres strictement ngatives.
11. La matrice hessienne de f au point ( 2 , 0, 0) a pour valeurs propres 0,
et 2 .
12. Le point ( 2 , 0, 0) est un maximum local de f .

13. La matrice hessienne de f au point ( 2 , 1, 1) a tous ses coefficients strictement
ngatifs.
2
14. La matrice hessienne de f au point ( 2 , 1, 1) a pour valeurs propres 0 et 2 1.

15. f atteint son maximum au point ( 2 , 1, 1).
Vrai-Faux 2. Soit f une application deux fois continment diffrentiable de R2 dans R
et (a, b) un point de R2 . Parmi les affirmations suivantes lesquelles sont vraies, lesquelles
sont fausses, et pourquoi ?
1. Si le gradient de f au point (a, b) est nul, alors f atteint son maximum en
(a, b).
2. Si le gradient de f au point (a, b) est nul, et si la matrice hessienne de f en
(a, b) a deux valeurs propres strictement ngatives, alors f atteint son maximum
en (a, b).
3. Si le gradient de f au point (a, b) est nul, et si sa matrice hessienne a deux
valeurs propres strictement ngatives, alors (a, b) est un maximum local pour f .
4. Si la matrice hessienne de f au point (a, b) a deux valeurs propres strictement
positives alors (a, b) est un minimum local pour f .
29
Maths en Ligne
UJF Grenoble
5. Si la matrice hessienne de f au point (a, b) a un dterminant strictement

ngatif, alors (a, b) est un point selle pour f .
6. Si le gradient et la matrice hessienne de f au point (a, b) sont nuls, alors (a, b)
ne peut pas tre un maximum local pour f .
7. Si le gradient de f est nul et si le dterminant de sa matrice hessienne au point
(a, b) est nul, alors (a, b) ne peut pas tre un maximum local pour f .
8. Si le gradient de f est nul, si le dterminant de la matrice hessienne de f au
point (a, b) est strictement positif et sa trace ngative, alors (a, b) est un maximum
local pour f .
Vrai-Faux 3. Soient f et g deux applications continment diffrentiables de R2 dans
R, A = {(x, y) , g(x, y) = 0} et (a, b) un point de A. On note f et g les gradients
de f et g au point (a, b), et on suppose que g est non nul. Parmi les affirmations
suivantes lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1. Si f = 2g alors f atteint forcment son maximum au point (a, b).
2. Si f atteint son maximum sur A au point (a, b), alors f et g sont proportionnels.
3. Si f atteint son maximum sur R2 au point (a, b), alors f peut tre gal
2g .
4. Si f = 2g , alors (a, b) nest pas un maximum local pour f sur R2 .
5. Si f = 2g, alors f atteint au point (a, b), soit son maximum sur A, soit son
minimum sur A.
Vrai-Faux 4. Soient f et g les applications de R2 dans R dfinies par f (x, y) = x4 +
y 4 xy et g(x, y) = x2 y. On note A = {(x, y) , g(x, y) = 0}. Parmi les affirmations
1. Si le gradient de f au point (a, b) est nul, alors a = b = 0.
2. Les points de R2 o le gradient de f sannule sont (0, 0), ( 21 , 12 ) et ( 12 , 12 ).
3. Les trois points (0, 0), ( 12 , 21 ) et ( 21 , 21 ) sont des minima locaux de f .
4. Le point (0, 0) est un point selle.
5. Les points (0, 0) et ( 12 , 12 ) sont des points de A.
6. Le seul point de A o la restriction de f A peut atteindre son minimum est
(0, 0).
7. On ne peut pas savoir si la restriction de f A atteint son minimum en (0, 0).
8. Le point (0, 0) nest pas un minimum pour la restriction de f A.
9. La restriction de f A atteint son minimum en un point dont labscisse est
comprise entre 0.59 et 0.6.
30
Maths en Ligne
UJF Grenoble
Vrai-Faux 5. On considre lapplication de R2 dans R2 qui (x, y) associe

(x, y) = (u, v), avec u = x2 +y 2 , v = x2 y 2 . Parmi les affirmations suivantes lesquelles
sont vraies, lesquelles sont fausses, et pourquoi ?
1. est continment diffrentiable sur R2 .
2. si (u, v) = (x, y), alors u 6 v 6 u.
3. est un diffomorphisme de R2 sur lui mme.
4. est un diffomorphisme de ]0, +[2 sur lui mme.
5. est un diffomorphisme de ]0, +[2 sur son image.
6. est un diffomorphisme de ]0, +[2 sur {(u, v) , u < v < u}.
7. est un diffomorphisme de ]0, 1[2 sur {(u, v) , 0 < u + v < 1 , 0 < u v < 1}.
8. est un diffomorphisme de ]0, 1[2 sur {(u, v) , u < v < u , u 2 < v <
2 u}.
9. est un diffomorphisme de ]1, 0[2 sur {(u, v) , u < v < u , u2 < v < 2u}.
10. Si D = {(x, y) , 0 < y < x , x2 + y 2 < 1}, alors est un diffomorphisme de
D sur son image .
11. Si D = {(x, y) , 0 < y < x , x2 + y 2 < 1}, alors (D) = D.
12. Si D = {(x, y) , 0 < y < x , x2 + y 2 < 1}, alors (D) = {(u, v) , 0 < u <
1 , 0 < v < u}.
13. La matrice jacobienne de au point (x, y) est inversible si et seulement si
x 6= 0 et y 6= 0.
14. Si x > 0 et y > 0, alors le dterminant jacobien de au point (x, y) est
strictement positif.
(x, y) = (u, v), avec u = x2 + y 2 , v = x2 y 2 . On pose f (x, y) = sin(x4 y 4 ) et
g(u, v) = sin(uv). Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. M J(f )(1, 0) = M J(g)(1, 0) M J()(1, 0).
2. M J(f )(1, 0) = M J(g)(1, 1) M J()(1, 0).
3. M J(g)(1, 1) = M J(f )(1, 0) M J(1 )(1, 1).
g g
f
=
+
.
4.
x
u v
f
g u g v
5.
=
+
.
x
u x v x
6. g(u, v) = (u2 + v 2 ) sin(uv).
7. f (x, y) = 12(x2 y 2 ) cos(x4 y 4 ) + 16(x6 + y 6 ) sin(x4 y 4 ).
31
Maths en Ligne
UJF Grenoble

(x, y) = (u, v), avec u = x2 + y 2 , v = x2 y 2 . On pose D = {(x, y) , 0 < y <
x , x2 + y 2 < 1} et = {(u, v) , 0 < u < 1 , 0 < v < u}. Parmi les affirmations
1.
2.
dxdy =
dudv.
8xy dxdy =
1
xy dxdy = .
2
D
Z
1
4.
xy dxdy = .
16
D
Z
Z
3.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
dudv.
x3 y dxdy =
x y dxdy =
x3 y dxdy =
x3 y dxdy =
x3 y dxdy =
xy 3 dxdy =
xy 3 dxdy =
xy 3 dxdy =
xy 3 dxdy =
Z
D
(u + v) dudv.
xy 3 dxdy =
1
1 Z1
(u + v) du dv.
16 0
0
Z

u
1 Z1
(u + v) dv du.
16 0
0

Z 1
1 Z1
(u + v) du dv.
16 0
v
1
.
32
1 Z
(u + v) dudv.
16
Z v

1 Z1
(u v) dv du.
16 0
0
Z u

1 Z1
(u v) dv du.
16 0
0

Z 1 Z 1
1
(u v) du dv.
16 0
v
1
.
96
Z
Vrai-Faux 8. On pose D = {(x, y) , 0 < x < 4 , 0 < y < 4 }. Parmi les affirmations
1.
2.
3.
cos(xy) dxdy =
cos(x) dx
cos(x + y) dxdy =
!2
!2
cos(x) dx
cos(x + y) dxdy =
Z
0
Z
0
sin
+ y dy.
2

32
!2
sin(x) dx
Maths en Ligne
4.
5.
cos(x + y) dxdy =
Z
ZD
UJF Grenoble
(cos(y) + sin(y)) dy.
cos(x + y) dxdy =
(cos(y) sin(y)) dy.
2 + 1.
ZD
7.
cos(x + y) dxdy = 2 1.
6.
cos(x + y) dxdy =
8.
cos(x + y) dxdy = 2
Z x
cos(x + y) dy dx.
0
Vrai-Faux 9. On pose D = {(x, y) , 0 < x < 4 , 0 < y < x}. Parmi les affirmations
Z
21
1.
sin(x + y) dxdy =
.
2
D
Z
2
(4 ).
2.
sin(x) dxdy =
8
D
Z
2
3.
cos(x) dxdy =
(4 + ).
8
D
Z
1
4.
sin(2x) dxdy = .
4
D
Z
1
cos(2x) dxdy = .
5.
4
D
Z
2
1
sin2 (x) dxdy =
6.
+ .
64 16 8
D
Z
2
1
cos2 (x) dxdy =
7.
+
+ .
64 16 8
ZD
8.
9.
8xy cos(x2 + y 2 ) dxdy = 2 cos( 2 /16) cos( 2 /8) 1.
8xy sin(x2 + y 2 ) dxdy = 2 sin( 2 /16) sin( 2 /8) 1.
Vrai-Faux 10. On pose D = {(x, y) , x2 + y 2 < 1}. Parmi les affirmations suivantes
lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1.
2.
3.
(x2 + y 2 )1/2 dxdy = .
Z
ZD
ZD
x dxdy = 0.
(x + y) dxdy = 1.
.
2
D
Z
(x + y)2
2
5.
dxdy = .
2
3
x +y
D
4.
(x + y)2 dxdy =
33
Maths en Ligne
6.
7.
8.
2.2
(x + y)2 x2 + y 2 dxdy =
UJF Grenoble
2
.
5
(x2 + y 2 ) cos(x2 + y 2 ) dxdy = (cos(1) + sin(1) 1).
(x + y)2 cos(x2 + y 2 ) dxdy = (cos(1) + sin(1)).
Exercices
Exercice 1. Pour chacune des applications f suivantes.

(
R2
R
(x, y) 7 x2 + y 2 xy ;
R2
R
(x, y) 7 x2 y 2 xy ;
f :
f :
(
f :
(
f :
R2
R
(x, y) 7 x3 + y 3 x2 y 2 ;
R2
R
(x, y) 7 4x2 + 4y 2 (x + y)4 ;
1. Calculer le gradient de f .
2. Donner lquation du plan tangent la surface dquation z = f (x, y), aux points
(1, 1), (1, 2), (2, 1).
3. Dterminer les points critiques de f .
4. Calculer la matrice hessienne de f .
5. Soit g lapplication de R dans R qui x associe ex . Calculer directement, puis
en utilisant les drives partielles de f , la drive de lapplication de R dans R
qui x associe f (x, g(x)).
6. Pour chacun des points critiques de f , donner les conclusions tires de lexamen
de la matrice hessienne.
7. Pour chacun des points critiques de f , dire sil sagit ou non dun extremum
global de f .
Exercice 2. Pour chacune des applications f suivantes.
(
R3
R
(x, y, z) 7 x2 + 2y 2 + 3z 2 ;
R3
R
(x, y, z) 7 x2 + 2y 2 3z 2 ;
f :
f :
34
Maths en Ligne
(
f :
(
f :
UJF Grenoble
R3
R
(x, y, z) 7 x4 + y 2 + z 2 4x 2y 2z + 4 ;
R3
R
(x, y, z) 7 x4 2x2 y + 2y 2 + 2z 2 + 2yz 2y 2z + 2 ;
(
R3
R
(x, y, z) 7 3(x2 + y 2 + z 2 ) 2(x + y + z)4 ;
R3
R
(x, y, z) 7 3(x2 + y 2 + z 2 ) 2(x + y + z)3 .
f :
f :
1.
2.
3.
4.
5.
6.
Calculer le gradient de f .
Dterminer lensemble des points critiques de f .
Calculer la matrice hessienne de f .
Calculer le laplacien de f .
Vrifier que rot(f ) = 0.
Pour chacun des points critiques de f , donner les conclusions tires de lexamen
de la matrice hessienne.
7. Pour chacun des points critiques de f , dire sil sagit ou non dun extremum
global de f .
Exercice 3. Donner une valeur approche des quantits suivantes, pour x = 3.04 et
y = 2.05.
1. xy
2. x2 y 3
1 1
3. +
x y
x+y
4.
xy
ln(x + y)
5.
xy
Exercice 4. Soit f lapplication de D = R+ R dans R qui (x, y) associe y 3 ln(x).
Vrifier que partout sur D :
1.
f
y
!!!
35
=
y
=
y
=
y
!!!
f
x y y
!!!
f
y x y
!!!
f
y y x
Maths en Ligne
UJF Grenoble
2.
f
y
!!!
f
=
x y x y
!!!
=
y x y x
!!!
=
y y x x
!!!
f
y
!!!
=
x x y
=
x y x
=
y x x
3.
!!!
f
x
!!!
f
x
!!!
f
x
Exercice 5. Soit f lapplication de R3 dans R2 qui (x, y, z) associe (x + y 2 , xy 2 z).

Soit g lapplication de R2 dans R3 qui (u, v) associe (u2 + v, uv, ev ).
1. crire la matrice jacobienne de f au point (x, y, z).
2. crire la matrice jacobienne de g au point (u, v).
3. crire la matrice jacobienne de f g au point (u, v).
4. crire la matrice jacobienne de g f au point (x, y, z).
Exercice 6. On note C le cercle unit de R2 :
C = { (x, y) R2 , x2 + y 2 = 1 } .
On considre les fonctions de R2 dans R dfinies comme suit.
f (x, y) = x + y ;
f (x, y) = x2 + y 2 xy ;
f (x, y) = x + y xy ;
f (x, y) = x2 + y 2 x2 y 2 .
Pour chacune de ces fonctions :

1. Utiliser le thorme des multiplicateurs de Lagrange pour dterminer quels points
de C sont des extrema possibles pour la restriction de f C.
2. Pour chacun de ces points, dire sil sagit ou non dun extremum pour la restriction
de f C.
Exercice 7. tant donn le domaine D du plan, et la fonction f , calculer lintgrale
double de f sur D, dans les cas suivants.
36
Maths en Ligne
UJF Grenoble
1. D = { (x, y) , 0 < x < y , 0 < y < 1 } ,
f (x, y) = x2 + y .
2. D = { (x, y) , 0 < x < 1 , 0 < y < 1 } ,
f (x, y) = x sin(xy) .
3. D = { (x, y) , 0 < x < 1 , 0 < y < x } ,
f (x, y) = x2 sin(xy) .
4. D = { (x, y) , 0 < x < 1 , 0 < y < 1 x } ,
f (x, y) = x(1 2x) sin(xy) .
5. D = { (x, y) , 1 < x < 3 , 1 < y < 4 x } ,
f (x, y) = (x + y)4 .
6. D = { (x, y) , 1 < x < 1 , 0 < y < 2 } ,
f (x, y) =
|y x2 | .
Exercice 8. tant donn le domaine D de lespace, et la fonction f , calculer lintgrale

triple de f sur D, dans les cas suivants.
1. D = { (x, y, z) , 0 < x < 1 , 0 < y < z < 1 } ,
2. D = { (x, y, z) , 0 < x < y < z < 1 } ,
f (x, y, z) = xyz .
f (x, y, z) = x + y + z .
3. D = { (x, y, z) , 0 < x < 1 , 0 < y < x , 0 < z < xy } ,
f (x, y, z) = x3 y 2 z .
4. D = { (x, y, z) , 0 < x , 0 < y , 0 < z , x + y + z < 1 } ,
f (x, y, z) = z .
Exercice 9. On note D le domaine du plan dfini comme suit.

D = { (x, y) , 1 x < y < 1 x , x 1 < y < x + 1 } .
Soit lapplication de R2 dans R2 dfinie par :
(x, y) = (u, v) :
u = x+y
v = xy .
1. Calculer lexpression de 1 .
2. Dterminer le domaine , image de D par .
3. Reprsenter graphiquement les domaines D et .
4. Vrifier que est une bijection de D sur .
5. Calculer la matrice jacobienne de au point (x, y) et la matrice jacobienne de
1 au point (u, v). Vrifier quelles sont inverses lune de lautre.
6. Calculer le dterminant jacobien de au point (x, y) et le dterminant jacobien
de 1 au point (u, v).
7. Utiliser le changement de variable pour calculer les intgrales suivantes.
Z
x2 y 2 dxdy ;
(x2 y 2 )2 dxdy ;
|x2 y 2 |
dxdy ;
Z
D
37
cos(x) cos(y) dxdy .
Maths en Ligne
UJF Grenoble

D = { (x, y) , x > 0 , y > 0 , x2 + y 2 < 1 } .
x2
x2 + y 2
(x, y) = (u, v) :
v = x2 + y 2 .
u =
Z
x dxdy ;
xy dxdy ;
x2 y dxdy ;
x2 y 2 dxdy .

(
D=
1
1
(x, y) , 0 < x <
, 0<y<
1 + 2y
1 + 2x
x(1 + y)
1 xy
(x, y) = (u, v) :
y(1 + x)
.
v =
1 xy
u =
38
Maths en Ligne
UJF Grenoble

Z
D
Z
1 xy
(1 + x)(1 + y)
dxdy ;
dxdy ;
3
(1 xy)
D (1 + x)(1 + y)
Z
Z
1
1
dxdy ;
dxdy .
D 1 xy
D (1 xy)2
Exercice 12. Soit D le disque ouvert de centre (0, 0) et de rayon 1 :

D = { (x, y) , x2 + y 2 < 1 } .
En utilisant le changement de variables en coordonnes polaires, calculer les intgrales
suivantes.
Z
1
dxdy .
1.
D 1 + x2 + y 2
Z
(x2 + y 2 )1/4 dxdy .
2.
3.
4.
ZD
ZD
x2 dxdy .
x2 (x2 + y 2 ) dxdy .
Exercice 13. Soit a un rel strictement compris entre 0 et 1. On considre les domaines
D du plan dfinis par :
D
D
D
D
=
=
=
=
{ (x, y) R2 ,
{ (x, y) R2 ,
{ (x, y) R2 ,
{ (x, y) R2 ,
x2 + y 2 < 1 , x > a } ;
x2 < y < a } ;
1/x < y < x + 1/a } ;
0 < y < x2 + a } .
Pour chacun de ces domaines, calculer en fonction de a :

1. laire de D,
2. les coordonnes du centre de gravit de D.
Exercice 14. Soit a un rel strictement compris entre 0 et 1. On considre les domaines
D de lespace dfinis par :
D = { (x, y, z) R3 , x2 + y 2 + z 2 < 1 , z > a } ;
D = { (x, y, z) R3 ,
x2 + y 2 < 1 z , 0 < z < a } ;
D = { (x, y, z) R3 , x2 + y 2 < z < a } ;

D = { (x, y, z) R3 , x2 + y 2 + z 2 < 1 , x2 + y 2 < a , z > 0 } .
Pour chacun de ces domaines, calculer en fonction de a :
39
Maths en Ligne
UJF Grenoble
1. laire de D,
2. les coordonnes du centre de gravit de D.
2.3
QCM
Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont

indpendantes. Pour chaque question 5 affirmations sont proposes, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont coches
rapporte 2 points.
Question 1. On considre lapplication f de R2 dans R qui (x, y) associe 1/(xy).
A Lapplication f est dfinie sur R2 .
B Lapplication f est continue sur R2 \ {(0, 0)}.
C Lapplication f est continue sur R+ R+ .
D Lapplication f est continment diffrentiable sur R R.
E Lapplication f est continment diffrentiable sur R R .
Question 2. On considre lapplication f de R2 dans R qui (x, y, z) associe x + y + z.
A La divergence de f est nulle.
B Le gradient de f est constant.
C Le laplacien de f est nul.
D Le rotationnel de f est constant.
E Lapplication f admet un extremum local.
Question 3. On considre lapplication de R3 dans R2 qui (x, y, z) associe (x + y +
z, xyz).
A Lapplication est deux fois continment diffrentiable sur R3 .
B La divergence de est nulle.
C La matrice jacobienne de a deux lignes et trois colonnes.
D La premire colonne de la matrice jacobienne de est constante.
E Lapplication est un diffomorphisme de R3 dans R2 .
Question 4. On considre lapplication f de R2 dans R qui (x, y) associe x2 + y 2 .
A Le gradient de f sannule au point (1, 1).
B La matrice hessienne de f au point (1, 1) a deux valeurs propres positives.
C Lapplication f admet un minimum local au point (1, 1).
D Lapplication f admet un minimum global au point (0, 0).
E Le point (0, 0) est un point selle pour lapplication f .
Question 5. On considre lapplication f de R2 dans R qui (x, y) associe xy, ainsi
que lensemble A = { (x, y) R2 , 2x + y = 4 }.
40
Maths en Ligne
A
B
C
D
E
UJF Grenoble
Lapplication f admet un maximum global en (1, 2).

Le gradient de f au point (1, 2) est (2, 1).
La restriction de f A admet un minimum local en (1, 2).
Le point (1, 2) est un maximum global pour la restriction de f A.
La restriction de f A admet un maximum local au point (2, 4).
Question 6. On considre lapplication de R2 dans R2 qui (x, y) associe (x+y , xy).

A La matrice jacobienne de au point (1, 1) est une matrice carre
B La matrice jacobienne de au point (1, 1) est inversible.
C La matrice jacobienne de au point (0, 0) a une ligne nulle
D Lapplication est un diffomorphisme de R+ R+ sur son image.
E Lapplication rciproque de est dfinie sur R2 .
Question 7. On considre lapplication qui (x, y) associe (x + y, x y).
A Lapplication est une bijection du disque unit de R2 sur lui-mme.
B Limage par dun disque centr en 0 est un disque centr en 0.
C Limage par du carr [0, 1]2 a pour aire 1/2.
D Lapplication est un diffomorphisme de la droite dquation x = y sur laxe
des abscisses.
E Limage par dun domaine D du plan a pour aire le double de laire de D.
Question 8. On considre le domaine D du plan dfini par D = { (x, y) , x > 0 , y >
0 , x + yZ < 1 }, et la fonction
f de R2 dans
R qui
(x, y) associe xy.
Z 1
Z 1

1
f (x, y) dxdy =
A
x dx
y dy .
2 0
0

Z
Z
ZD
1x
1
y dy .
x dx
B
f (x, y) dxdy =
C
D
E
ZD
f (x, y) dxdy =
ZD
ZD
f (x, y) dxdy =
f (x, y) dxdy =
Z 10
Z 1x 0
Z0 1
Z01
y dy dx .
Z 01
x dx dy .
Z 1y
1y
x dx dy .
Question
9. La pyramide de base [1, 1]2 et de sommet (0, 0, 1) a pour volume :
Z Z Z
1
Z 01
A
B
C
dx) dy dz .
Z0
0
4
D
.
3
8
E
.
3
4(1 z)2 dz .
Z 1z Z 1z
dx) dy dz .
0
41
Maths en Ligne
UJF Grenoble
Question 10. On considre le domaine D du plan dfini par D = { (x, y) , x > 0 , y >
0 , x2 + y 2 < 1 }, et la fonction f de R2 dans R qui (x, y) associe xy.
A
f (x, y) dxdy =
ZD
Z 1
sin cos
f (x, y) dxdy =
Z /2
Z 1
0
f (x, y) dxdy =
Z /2
0
r3 dr d .
Z /2
r cos sin dr
d .
Z 1
r dr d .
sin cos

40 1
r
cos 2
.
4
4 1
D
0
4 1

/2
Z
r
cos 2
.
E
f (x, y) dxdy =
4
4 0
D
0
D
f (x, y) dxdy =
Rponses : 1CE 2BC 3AC 4BD 5BD 6AC 7BE 8CE 9BD 10AE
2.4
Devoir
Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours : On considre une application f dfinie sur R2 , valeurs dans
R, continment diffrentiable. On note (a, b) un point de R2 , (u, v) un vecteur non nul
deux dimensions, et A la droite passant par (a, b) de vecteur directeur (u, v), donc
dquation (x a)u = (y b)v. On note g lapplication de R dans R qui t associe
f (a + tu, b + tv).
1. noncer la dfinition de la drive directionnelle de f au point (a, b) dans la
direction (u, v), et reliez cette dfinition la drive de g et au gradient de f .
2. En appliquant le thorme des multiplicateurs de Lagrange, montrer quune
condition ncessaire pour que la restriction de f la droite A admette un extremum local en (a, b), est que la drive directionnelle de f au point (a, b) dans la
direction (u, v) sannule.
3. Exprimer la drive seconde de g en 0, en fonction du vecteur (u, v) et de la
matrice hessienne de f au point (a, b).
4. On fait dsormais lhypothse que pour tout (u, v), la restriction de f A admet
un minimum. Montrer que le gradient de f est nul.
5. Montrer que le dterminant et la trace de la matrice hessienne sont positifs ou
nuls.
Exercice 1 : On considre lapplication de R2 dans R qui (x, y) associe x3 + y 3 + 3xy.
1. Calculer le gradient de f et sa matrice hessienne.
2. Utiliser le gradient de f pour calculer la drive de lapplication x 7 f (x, ex ).
42
Maths en Ligne
UJF Grenoble
3. Donner lquation du plan tangent la surface dquation z = f (x, y) au point

(1, 1, 5).
4. Dterminer les points critiques de f .
5. Utiliser la matrice hessienne de f pour dterminer la nature de ces points critiques.
6. En considrant lapplication x 7 f (x, x), montrer que f na pas de maximum
global, ni de minimum global sur R2 .
Exercice 2 : Soit lapplication de R2 dans R2 qui (x, y) associe :
(x, y) = (u, v) :
u = x+y
v = xy .
1. Calculer lexpression de lapplication rciproque 1 , et vrifier que est une

bijection de R2 dans R2 .
2
4. On considre lapplication f de R2 dans R qui (x, y) associe ex y . Soit g

lapplication compose qui (u, v) associe g(u, v) = f (1 (u, v)). Calculer les
drives partielles de g par rapport u et v et retrouver le rsultat partir des
drives partielles de f et de la matrice jacobienne de 1 .
5. On note D le domaine du plan dfini comme suit.
D = { (x, y) , x > 0 , x 1 < y < 1 x } .
Dterminer le domaine , image de D par .
6. Utiliser le changement de variable pour calculer lintgrale de lapplication f
sur le domaine D.
Exercice 3 : On considre le domaine D du plan, dfini par D = { (x, y) R2 , 0 <
x , 0 < y < x , x2 + y 2 < 1R} , et lapplication f dfinie sur D valeurs dans R, qui
(x, y) associe xy. Calculer D f (x, y) dxdy :
1. en intgrant dabord par rapport x puis par rapport y,
2. en intgrant dabord par rapport y puis par rapport x,
3. en utilisant le changement de variables en coordonnes polaires.
43
Maths en Ligne
2.5
UJF Grenoble
Corrig du devoir
Questions de cours :
1. On appelle drive directionnelle de f en (a, b) dans la direction de (u, v) la
quantit :
f
f
(a, b) u +
(a, b) v .
x
y
Cest le produit scalaire de f par le vecteur (u, v). Cest aussi la drive en 0
de lapplication t 7 g(t).
d
f
d(a + tu)
f
d(b + tv)
f (a + tu, b + tv)(0) =
(a, b)
(0) +
(a, b)
(0)
dt
x
dt
y
dt
f
f
=
(a, b) u +
(a, b) v .
x
y
2. La droite A a pour quation h(x, y) = 0, o :
h(x, y) = (x a)v (y b)u .
Daprs le thorme des multiplicateurs de Lagrange, si la restriction de f A
admet un extremum au point (a, b), alors les gradients de f et h en ce point
doivent tre proportionnels :
f (a, b) =
f
f
(a, b),
(a, b) v
x
y
et h(a, b) = (v, u) .
Si ces deux vecteurs sont proportionnels, alors leur dterminant est nul, soit :
f
f
(a, b) u +
(a, b) v = 0 .
x
y
3.
!
d2
d
f
f
f (a + tu, b + tv) =
u
(a + tu, b + tv) + v
(a + tu, b + tv)
2
dt
dt
x
y
2f
2f
2
=
(a
+
tu,
b
+
tv)
u
+
(a + tu, b + tv) vu
x2
yx
2f
2f
+
(a + tu, b + tv) uv + 2 (a + tu, b + tv) v 2 .
xy
y
En utilisant le thorme de Schwarz et en prenant la valeur en t = 0, on obtient
la drive seconde de g en 0.
d2 g
2f
2f
2f
2
(0)
=
(a,
b)
u
+
2
(a,
b)
uv
+
(a, b) v 2 .
dt2
x2
xy
y 2
44
Maths en Ligne
UJF Grenoble
Cette expression peut scrire sous la forme matricielle suivante, qui fait intervenir
la matrice hessienne de f .
(u, v)
2f
(a, b)
x2
2f
(a, b)
xy
2f
(a, b)
xy
2f
(a, b)
y 2
4. Si la restriction de f A admet un minimum, alors la drive directionnelle de

f en (a, b) dans la direction (u, v) est nulle :
f
f
(a, b) u +
(a, b) v = 0
x
y
Si ceci a lieu en particulier pour (u, v) = (1, 0) et (u, v) = (0, 1) :
f
(a, b) = 0 et
x
f
(a, b) = 0
y
Donc le gradient de f est nul.

5. Si la restriction de f A admet un minimum, alors la drive seconde de g en 0
est positive ou nulle, soit :
2f
2f
2f
2
(a,
b)
u
+
2
(a,
b)
uv
+
(a, b) v 2 > 0 .
2
2
x
xy
y
Si ceci a lieu pour tous (u, v), alors les deux valeurs propres de la matrice hessienne
sont positives ou nulles. Il en est de mme de leur somme (la trace) et de leur
produit (le dterminant).
Exercice 1 :
1. Les drives partielles de f sont :
f
= 3x2 + 3y
x
et
f
= 3y 2 + 3x .
y
Le gradient en (x, y) est le vecteur (3x2 + 3y, 3y 2 + 3x).

Les drives partielles secondes de f sont :
2f
= 6x ,
x2
2f
=3,
xy
2f
= 6y .
y 2
La matrice hessienne en (x, y) est la matrice :

6x 3
3 6y
45
Maths en Ligne
UJF Grenoble
2. Le plan tangent la surface dquation z = f (x, y) au point de coordonnes

(1, 1, f (1, 1)) a pour quation :
z = f (1, 1) + (x 1)
f
f
(1, 1) + (y 1) (1, 1) = 5 + 6(x 1) + 6(y 1) .
x
y
3.
df (x, ex )
f dx f dex
=
+
dx
x dx y dx
= (3x2 + 3ex ) + (3e2x + 3x)ex .
4. Le gradient sannule pour toute solution du systme dquations
(
3x2 + 3y = 0
.
3y 2 + 3x = 0
En reportant y = x2 dans la seconde quation, on obtient x4 +x = 0, qui a pour

seules solutions relles x = 0 et x = 1. On trouve donc deux points critiques
(0, 0) et (1, 1).
5. Les matrices hessiennes aux points (0, 0) et (1, 1) valent respectivement :
0 3
3 0
et
6
3
3 6
Les valeurs propres de la premire matrice sont +3 et 3. Donc le point (0, 0)

est un point selle pour la surface dquation z = f (x, y).
Les valeurs propres de la seconde matrice sont 9 et 3. Donc le point (1, 1)
est un maximum pour la surface dquation z = f (x, y).
6. Lapplication x 7 f (x, x) = 2x3 +3x2 tend vers quand x tend vers , donc
aucun point de R2 ne peut tre un minimum global. Elle tend vers + quand x
tend vers +, donc aucun point de R2 ne peut tre un maximum global.
Exercice 2 :
1.
u = x+y
v = xy .
u+v
2
y =
.
2
x =
tout couple (u, v) R2 correspond un unique couple (x, y) tel que (x, y) =
(u, v). Donc est une bijection et lapplication rciproque 1 est dfinie pour
tout (u, v) dans R2 par :
1 (u, v) =
46
u+v uv
,
2
2
Maths en Ligne
2.
UJF Grenoble
1 1 1
M J() =
et M J( ) =
2 1 1
Le produit des deux matrices est gal la matrice identit.
3. Les dterminants jacobiens sont constants et valent :
1 1
1 1
J() = 2 et J(1 ) =
1
.
2
4.
g(u, v) = f (1 (u, v)) = euv .
On a donc :
g
= veuv
u
Mais aussi :
g
= ueuv .
u
et
f x f y
g
=
+
u
x u y u
1
1
2
2
2
2
2xex y 2yex y
=
2
2
x2 y 2
= (x + y)e
= ueuv ,
et,
g
f x f y
=
+
v
x v
y v
1
1
2
2
2
2
=
2xex y 2yex y
2
2
x2 y 2
= (x y)e
= veuv ,
5. Les trois ingalits qui dfinissent D se traduisent ainsi.
(a) x > 0 u + v > 0
(b) x 1 < y v < 1
(c) y < 1 x u < 1
Le domaine est le triangle limit par les droites v = u, u = 1, v = 1.
= { (u, v) , v > u , u < 1 , v < 1 } .
6.
ex
2 y 2
dxdy =
1
euv dudv
2
Z 1 Z 1
1
Z 1
e
1
Z 1
1
47
uv
e dv du
u
uv 1
2u
du
u
u2
eu e
+
du
2
2u
Maths en Ligne
Posons :
UJF Grenoble
Z 1 u
e
eu
du et I2 =
du .
1 2u
1 2
Dans I2 , la fonction intgrer est impaire, donc lintgrale est nulle. Lintgrale
cherche vaut donc :
I1 =
ex
Z 1
2 y 2
dxdy = I1 =
e1 e1
= sinh(1) .
2
Exercice 3 : Le domaine D est la portion du disque unit compris entre laxe des x
et la premire bissectrice.
1. En intgrant dabord par rapport x puis par rapport y,

Z
Z
Z
1y 2
2/2
f (x, y) dxdy =
xy dx dy
Z 2/2 " 2 #
xy
Z 2/2
"
1y 2
dy
(1 y 2 )y y 3
dy
2
2
4
y
y
4
4
#2/2
0
1
.
16
2. En intgrant dabord par rapport y puis par rapport x, on doit dcomposer

le domaine en deux parties, une limite par la droite y = x, lautre par le cercle
unit.
Z
f (x, y) dxdy =
Z 2/2 Z x
0
x4
8
xy dy dx +
Z 2/2
"
2/2
Z 1x2
0
Z 1
x3
x(1 x2 )
dx +
dx
2
2
2/2
#2/2
0
Z 1
"
x2 x4
+
4
8
1
.
16
48
#1
2/2
xy dy
dx
Maths en Ligne
UJF Grenoble
3. En utilisant le changement de variables en coordonnes polaires :

Z
f (x, y) dxdy =
Z /4
Z 1
r4
4
#1
1
.
16
49
r cos sin d
"
!
3
"
cos 2
4
0
#/4
0
dr
Maths en Ligne
3
3.1
UJF Grenoble
Complments
Le palimpseste dArchimde
Daprs Pline lAncien, le roi de Pergame aurait introduit lemploi du parchemin

au iie sicle av. J.C. la suite dune interdiction des exportations de papyrus dcrte
par les gyptiens, qui craignaient que la bibliothque de Pergame ne concurrence celle
dAlexandrie. Fabriqu partir de peaux animales, racles, ponces, traites la chaux
puis la craie, le parchemin tait long produire, plutt rare en regard des besoins
en criture, et donc cher. On avait pris lhabitude de recycler les parchemins dont
les crits taient considrs comme obsoltes et de peu de valeur : gratts la pierre
ponce, reblanchis la chaux, les parchemins pouvaient resservir : un parchemin ainsi
recycl sappelle un palimpseste. Cest ce que fit un prtre grec vers le xiiie sicle
quand il se mit en devoir de copier un livre de prires. On ignore sil eut la curiosit
de lire avant ce quil effaait : rien moins quune copie des uvres mathmatiques
dArchimde ! Heureusement, le prtre ntait pas trs soigneux. Il se contenta dun
grattage superficiel, suffisant pour crire perpendiculairement au texte originel, qui
resta en grande partie visible. Les ultraviolets et les rayons X firent le reste. Dcouvert
en 1906, le Palimpseste dArchimde est la plus ancienne copie connue de ses uvres.
Elle contient deux mmoires que lon croyait perdus et dont il nexiste quun seul
exemplaire. Le plus remarquable est un trait intitul La mthode . Il permet de
comprendre comment procdait Archimde pour dterminer des mesures daires ou
de volume. On y trouve le volume de la sphre, le calcul du centre de gravit dune
demi-sphre et celui dun tronc de parabolode.
Bien avant Archimde, les Grecs calculaient des aires ou des volumes par la mthode dexhaustion. Elle consiste tablir lgalit de deux aires ou deux volumes en
montrant par labsurde quaucun nest suprieur lautre. Les raisonnements reposent
gnralement sur des encadrements de la figure par des figures quarrables de plus en
plus prcises. La mthode ncessite cependant de connatre a priori le rsultat final,
dautant quil nest pas exprim par un nombre, mais comme un rapport : on ne calcule pas le volume de la sphre ; on prouve que ce volume est le quadruple du volume
dun cne de base gale un grand cercle de la sphre et de hauteur gale au rayon.
Comment Archimde procdait-il pour deviner quels taient les rapports tablir ?
Il explique dans la mthode quil utilise des mthodes mcaniques par peses, en
dcoupant en tranches les surfaces ou les volumes considrs.
Sa mthode, Archimde la exerce principalement partir des cylindres, des cnes
et des sphres. Ses rsultats figurent dans le trait de la sphre et du cylindre . Il
commence ainsi.
Archimde, Dosithe, salut
Je tavais dj envoy, avec leurs dmonstrations, les thormes que mes
rflexions mavaient fait dcouvrir ; le suivant tait au nombre de ces thormes :
50
Maths en Ligne
UJF Grenoble
Tout segment compris entre une droite et la section du cne rectangle, est
gal quatre fois le tiers dun triangle qui a la mme base et la mme
hauteur que le segment.
Jai termin aujourdhui les dmonstrations de plusieurs thormes qui se
sont prsents ; et parmi ces thormes, on distingue ceux qui suivent.
La surface de la sphre est quadruple dun de ses grands cercles.
La surface dun segment sphrique est gale un cercle ayant un rayon gal
la droite mene du sommet du segment la circonfrence du cercle qui
est la base du segment.
Un cylindre qui a une base gale un grand cercle de la sphre, et une
hauteur gale au diamtre de cette mme sphre, est gal trois fois la
moiti de la sphre.
La surface du cylindre est aussi gale trois fois la moiti de la surface de
la sphre.
Quoique ces proprits existassent essentiellement dans les figures dont nous
venons de parler, elles navaient point t remarques par ceux qui ont
cultiv la gomtrie avant nous ; cependant il sera facile de connatre la
vrit de nos thormes, ceux qui liront attentivement les dmonstrations que nous en avons donnes. Il en a t de mme de plusieurs choses
quEudoxe a considres dans les solides, et qui ont t admises, comme les
thormes suivants :
Une pyramide est le tiers dun prisme qui a la mme base et la mme
hauteur que la pyramide.
Un cne est le tiers dun cylindre qui a la mme base et la mme hauteur
que le cne.
Ces proprits existaient essentiellement dans ces figures, et quoiquavant
Eudoxe, il et paru plusieurs gomtres qui ntaient point mpriser,
cependant ces proprits leur taient inconnues, et ne furent dcouvertes
par aucun deux.
Au reste, il sera permis, ceux qui le pourront, dexaminer ce que je viens de
dire. Il et t dsirer que mes dcouvertes eussent t publies du vivant
de Conon ; car je pense quil tait trs capable den prendre connaissance
et den porter un juste jugement. Quoi quil en soit, ayant pens quil tait
bon de les faire connatre ceux qui cultivent les mathmatiques, je te les
envoie appuyes de leurs dmonstrations : les personnes verses dans cette
science pourront les examiner loisir.
Porte-toi bien.
On dit quArchimde tait si fier davoir trouv le rapport entre le volume de la sphre
et celui du cylindre qui la contient (2/3), quil demanda que la figure soit grave sur
sa tombe. Quelque 140 ans plus tard, le jeune Cicron, rcemment nomm en Sicile,
retrouve la tombe grce cette indication.
51
Maths en Ligne
UJF Grenoble
Quand jtais questeur, jai dcouvert son tombeau que les Syracusains ignoraient ; ils affirmaient mme quil nexistait point. Je lai dcouvert entour
et recouvert entirement de ronces et de buissons. Je connaissais quelques
petits vers dont javais appris quils taient inscrits sur sa tombe. Ceux-ci
faisaient connatre quen haut du monument il y avait une sphre avec un
cylindre. Or, en parcourant des yeux toutes les tombes, qui sont trs nombreuses la sortie dAgrigente, japerus une petite colonne qui mergeait
peine des buissons, sur laquelle se trouvaient les figures dune sphre et dun
cylindre. Aussitt je dis aux notables syracusains qui se trouvaient mes
cts qu mon avis ctait l prcisment la tombe que je cherchais. Plusieurs hommes, venus avec des faux, dbroussaillrent lendroit. Une fois le
lieu dgag, nous nous approchmes du soubassement qui nous faisait face.
Lpigramme apparut avec la fin des vers ronge presqu moiti. Cest ainsi
que la plus illustre cit de la Grande Grce, jadis mme la plus savante, aurait ignor le tombeau de son concitoyen le plus intelligent si un homme
dArpinum ne le leur avait pas rvl.
Archimde aurait sans doute aim lire la phrase suivante de Paul Czanne, souvent
rpte pour justifier les thories cubistes :
Traitez la nature par le cylindre, la sphre, le cne, le tout mis en perspective, soit que chaque ct dun objet, dun plan, se dirige vers un point
central.
Elle date de 1904, soit deux ans avant que le Palimpeste dArchimde ait t retrouv,
mais tout de mme plus de 2000 ans aprs quil ait t crit.
3.2
Le principe de Cavalieri
Le volume dun prisme, quil soit droit ou oblique, ne dpend que de sa base et et de
sa hauteur : imaginez le prisme comme une pile de tranches fines identiques qui peuvent
glisser les unes par rapport aux autres : une pile de pices de monnaie par exemple.
Vous pouvez modifier la forme de la pile, mais tant quelle contient les mmes pices, ni
sa hauteur ni son volume ne changent. La mme chose vaut par exemple pour un cne.
Bonaventura Cavalieri (15981647) est habituellement crdit de cette observation,
quil exprime en dimension deux : si deux figures planes, comprises entre deux droites
parallles sont telles que les intersections avec les deux figures des parallles aux droites
sont toujours de mmes longueurs, alors les deux surfaces sont gales. Plus de dix sicles
avant Cavalieri, les chinois avaient dj fait la remarque pour la dimension trois. Voici
comment Zu Gengzhi 1 (ve sicle) exprime cela : Si des surfaces sont empiles pour
former des volumes, et si les aires correspondantes sont gales, alors les volumes ne
peuvent pas tre diffrents
1. D.B. Wagner : Liu Hui and Zu Genzhi on the volume of a sphere, Chinese Science, 3, p. 5979
(1978)
52
Maths en Ligne
UJF Grenoble
En 263, Liu Hui 2 dite et commente les Neuf Chapitres sur lArt du Calcul ,
le texte fondateur des mathmatiques chinoises. Mme sil ne lexprime pas aussi clairement que son successeur Zu Genzhi, il est parfaitement conscient du principe de
Cavalieri, et lutilise pour dterminer certains volumes dans sa qute de la dtermination du volume de la sphre. Mais il choue, et reconnat honntement :
Je souhaite exposer mes humbles rflexions, mais je crains de manquer le
principe correct. Jose laisser les points douteux en ltat, en attendant
quun autre les rsolve.
Deux sicles plus tard, Zu Genzhi russit et ne boude pas son triomphe.
Les proportions sont extrmement prcises et mon cur brille. Zhang Heng
avait copi les anciens, souriant la postrit. Liu Hui avait suivi les anciens,
mais navait pas eu le temps de les corriger. Mais quy a-t-il de difficile
cela ? Il suffit de rflchir.
Il y avait beaucoup plus chez Liu Hui et Zu Genzhi quun principe de comparaison
de volumes. Comme Archimde et sa mthode dexhaustion, comme Cavalieri et sa
gomtrie des indivisibles, comme Thabit Ibn Qurra, Roberval, Pascal et bien dautres,
il cherchaient tous par leurs dcoupages de surfaces ou de volumes, matriser cette
notion dintgrale qui a mis si longtemps merger.
3.3
La roulette de Pascal
Voici comment Pascal dfinit la roulette.

La Roulette est une ligne si commune, quaprs la droite et la circonfrence, il ny en a point de si frquente ; et elle se dcrit si souvent aux yeux
de tout le monde quil y a lieu de stonner quelle nait pas t considre
par les anciens, dans lesquels on nen trouve rien : car ce nest autre chose
que le chemin que fait en lair le clou dune roue, quand elle roule de son
mouvement ordinaire, depuis que le clou commence slever de terre, jusqu ce que le roulement continu de la roue lait rapport terre, aprs un
tour entier achev : supposant que la roue soit un cercle parfait, le clou un
point dans sa circonfrence, et la terre parfaitement plane.
Il suffit de suivre la description pour en crire la dfinition paramtrique : Si R dsigne
le rayon de la roue, langle du rayon menant au point avec la verticale, le point du
cercle en mouvement a pour coordonnes :
(
x = R( sin())
y = R(1 cos()) .
2. K. Chemla : Rsonances entre dmonstration et procdure. Remarques sur le commentaire de

Liu Hui (IIIe sicle) aux Neuf Chapitres sur les Procdures Mathmatiques (Ier sicle), Extrme-Orient
Extrme-Occident, 14, p. 91-129 (1992)
53
Maths en Ligne
UJF Grenoble
De nos jours, on appelle plutt cette courbe une cyclode. Elle avait t propose par
Mersenne Roberval qui avait dtermin laire sous une des arches : trois fois laire du
cercle qui lengendre. Mais Pascal se pose bien dautres questions que celle de laire sous
la courbe : surface, volume et centre de gravit des solides engendrs par la rotation
de la courbe autour des axes, surface et volume de parties tronques, etc. Selon lusage
de lpoque, il propose un dfi aux savants europens.
La connaissance de la roulette ayant t jusque l porte par M. de Roberval, la chose tait demeure en cet tat depuis 14 ans, lorsquune occasion
imprvue mayant fait penser la gomtrie que javais quitte il y a longtemps, je me formai des mthodes pour la dimension et les centres de gravit
des solides, des surfaces planes et courbes, et des lignes courbes, auxquelles
il me sembla que peu de choses pourraient chapper : et pour en faire lessai
sur un sujet des plus difficiles, je me proposai ce qui restait connatre de
la nature de cette ligne ; savoir les centres de gravit de ses solides et les
solides de ses parties ; la dimension et les centres de gravit des surfaces de
tous ces solides ; la dimension et les centres de gravit de la courbe mme
de la Roulette et de ses parties.
Je commenai par les centres de gravit des solides et des demi-solides, que
je trouvai par ma mthode, et qui me parurent si difficiles par toute autre
voie, que, pour savoir sils ltaient en effet autant que je me ltais imagin,
je me rsolus den proposer la recherche tous les gomtres, et mme avec
des prix. Ce fut alors que je fis mes crits latins, lesquels ont t envoys
partout. Et pendant quon cherchait ces problmes touchant les solides, jai
rsolu tous les autres, comme on verra la fin de ce discours, quand jaurai
parl des rponses quon a reues des gomtres sur le sujet de mes crits.
Elles sont de deux sortes. Les uns prtendent davoir rsolu les problmes
poss, et ainsi avoir droit aux prix ; et les crits de ceux-l seront vus dans
lexamen rgulier qui doit sen faire. Les autres nont point voulu prtendre
ces solutions, et se sont contents de donner leurs premires penses sur
cette ligne.
Jai trouv de belles choses dans leurs lettres, et des manires fort subtiles
de mesurer le plan de la Roulette, et entre autres dans celles de M. Sluze,
chanoine de la cathdrale de Lige, de M. Richi, Romain, de M. Huygens,
Hollandais, qui a le premier produit que la portion de la Roulette retranche
par lordonne de laxe, mene du premier quart de laxe du ct du sommet,
est gale un espace rectiligne donn. Et jai trouv la mme chose dans
une lettre de M. Wren, Anglais, crite presque en mme temps.
Il ny a pas que de belles choses dans les lettres reues : Pascal snerve.
Et cest pourquoi je ne puis assez admirer la vaine imagination de quelques
autres, qui ont cru quil leur suffirait denvoyer un calcul faux et fabriqu au
hasard pour prendre date du jour quils lauraient donn, sans avoir produit
54
Maths en Ligne
UJF Grenoble
autre marque qui fasse connatre quils ont rsolu les problmes : ce qui est
une imagination si ridicule que jai honte de mamuser la rfuter.
Quelles sont donc ces mthodes pour la dimension et les centres de gravit des solides,
des surfaces planes et courbes, et des lignes courbes ? Une volution de la mthode
des indivisibles de ses prdcesseurs Roberval et Cavalieri, le rapport entre les touchantes (tangentes) et les quadratures (intgrales), bref, presque une thorie du
calcul diffrentiel. Leibniz a soigneusement tudi le Trait du triangle arithmtique ,
dans lequel Pascal montre comment calculer les aires sous les courbes de fonctions puissance, et ce Trait de la roulette . Il reconnat dailleurs volontiers ce que sa thorie
du calcul intgral doit Pascal et sen tonne mme : il avait tout en main mais il est
rest aveugle . Peut-tre pas, mais en 1658 les mathmatiques ne sont plus le centre
dintrt principal de Pascal. Dans les 4 ans qui lui restent vivre, il profite des rpits
de plus en plus rares que lui laissent sa maladie pour commencer un grand ouvrage sur
la vrit de la religion chrtienne , et mettre en ordre ses Penses .
Au fait, dans sa prsentation, Pascal parle d une occasion imprvue qui lui a
fait repenser la gomtrie : quelle est cette occasion ? Sa sur nous en dit plus.
Ce renouvellement des maux de mon frre commena par le mal de dents
qui lui ta absolument le sommeil. Mais quel moyen a un esprit comme le
sien dtre veill et de ne penser rien ? Cest pourquoi dans les insomnies
mmes, qui sont dailleurs si frquentes et si fatiguantes, il lui vint une nuit
dans lesprit quelques penses sur la roulette.
Au fond, penser la roulette quand on a mal aux dents : quoi de plus naturel ?
3.4
Le parabolode hyperbolique
La zoologie des surfaces est un sujet quelque peu dsuet, mme si on trouve sur
le web de nombreux sites qui permettent de se faire une ide de sa beaut et de sa
posie : visitez au moins http://www.mathcurve.com/. Nous allons essayer de vous
donner envie den savoir plus, en partant de lquation la plus simple possible : z = xy.
Pour imaginer la surface dquation z = xy, examinons dabord quelques unes de
ses sections planes. Nous notons S la surface et nous considrons son intersection avec
le plan P dont(nous donnons lquation, en fonction dun paramtre rel a.
y = ax
SP :
: S contient une famille de paraboles.
z = ax2
(
z = a
SP :
: S contient aussi une famille dhyperboles (do le nom
xy = a
de parabolode
hyperbolique).
(
x = a
SP :
: S contient une famille de droites.
z = ay
(
y = a
SP :
: S contient une autre famille de droites.
z = ax
55
Maths en Ligne
UJF Grenoble
y = x+a
: S contient une autre famille de paraboles dans des
z = x2 + ax
plans parallles
;
(
y = x + a
SP :
: encore une autre famille de paraboles, orientes
z = x2 + ax
vers le bas, dans des plans orthogonaux aux prcdents.
Une surface engendre par une famille de droites est dite rgle. Celle-ci lest doublement, puisquelle contient deux familles de droites. Pour vous en faire une ide,
imaginez un cadre rectangulaire, form de quatre tiges rigides articules entre elles.
Des lastiques sont tendus dune tige son oppose, dans les deux sens (comme un
sommier de sangles). Imaginez maintenant que vous tordiez le cadre, de sorte que les
tiges opposes ne soient plus parallles. Les lastiques restent tendus, matrialisant
une surface qui est doublement rgle. Une autre manire de visualiser le parabolode
hyperbolique est dimaginer une parabole glissant le long dune autre parabole, en sens
inverse : on obtient une sorte de selle de cheval (figure 14).
SP :
Figure 14 Parabolode hyperbolique

Les surfaces doublement rgles font le bonheur des architectes : on peut couler
dimmenses dalles de bton en les armant selon une des deux familles de droites, tout
en coffrant le long lautre famille, ce qui confre la structure dexcellentes proprits
mcaniques : le toit de la cathdrale de la Sagrada Familia Barcelone celui du muse
ocanographique de Valence, sont des portions de parabolode hyperbolique. Au fait,
vous tes-vous demand pourquoi les biscuits dapritif de la marque Pringles ont cette
forme en selle de cheval plutt que dtre plats ?
Lhyperbolode de rvolution est un autre exemple de surface doublement rgle.
Pour vous en faire une ide, prenez un paquet de tiges rigides (baguettes de mikado,
pailles . . . ) que vous maintenez en son milieu par un lastique. largissez ensuite le
paquet par en haut et par en bas en penchant les baguettes dun mme angle : vous
56
Maths en Ligne
UJF Grenoble
venez de matrialiser un hyperbolode de rvolution (figure 15). Il est aussi trs utilis
en architecture : chteaux deau, chemines de centrale nuclaire. . .
Figure 15 Hyperbolode de rvolution
3.5
Le tailleur de pierres de Mzires
Femme desprit et de caractre, Mme Roland avait exerc une influence importante
au dbut de la Rvolution. Rsolument engage du ct des Girondins, elle fut une des
victimes de la Terreur en 1793. En attendant son procs en prison, elle se venge par la
plume de ceux qui vont lenvoyer la guillotine.
Bonhomme, pais et pasquin, Monge, autrefois tailleur de pierres Mzires, o labb Bossut lui trouvant quelques dispositions, linitia aux mathmatiques et lencouragea de six livres par semaine, avait fait son chemin
en travaillant, mais sans revoir son bienfaiteur depuis quil tait devenu son
gal. Habitu calculer avec des lments inaltrables, Monge nentendait
rien aux hommes ni aux affaires dadministration : lourd et mauvais plaisant
il ma toujours rappel, quand il voulait faire lagrable, un ours que la ville
de Berne fait nourrir dans ses fosss, et dont les gentillesses, appropries
leurs formes grossires, amusent les passants.
Le nouveau ministre plaa dans les bureaux des hommes aussi peu capables
dagir que lui ltait de les juger : il se donnait beaucoup de mal sans rien
faire ; et avec la meilleure volont du monde, il laissa dsorganiser la marine
dans le temps o il tait le plus important de lentretenir et de la remonter. Il faut rendre justice sa bonne foi ; il fut effray du fardeau et dsira
57
Maths en Ligne
UJF Grenoble
sen dcharger ; mais lembarras de trouver mieux le fit inviter demeurer.

Insensiblement sa situation lui parut douce, et il simaginait en remplir les
devoirs aussi bien quet fait personne autre. Mais sil fut mauvais administrateur, il tait encore pire conseiller, et na jamais occup que sa chaise
dans les dlibrations du pouvoir excutif, se rangeant constamment lavis
le plus timide, parce que, nen ayant point lui, il ne pouvait adopter que
le plus convenable aux vues dun esprit born.
Lorsque Pache devint ministre, il fut le rgulateur de Monge, son admirateur
et son ami, qui neut plus dopinion que la sienne et la recevait comme
linspiration divine ; cest ainsi quil sest maratis, et que cet homme qui
et d avoir son genre de bont, sest rendu fauteur de la doctrine la plus
sanguinaire et la plus atroce.
Comment Gaspard Monge (17461818), un savant renomm, stait-il retrouv dans le
camp des extrmistes, ainsi maratis ? Mme Roland na pas tort : probablement
plus par faiblesse et par amiti pour Pache que par conviction profonde. Tout lourd et
mauvais plaisant quil ait pu tre jug, il aura au moins eu le mrite dans une poque
trouble de surnager aux vagues des rgimes successifs. Lors du Consulat, il est envoy
en Italie, puis en gypte au gr des campagnes de Napolon. Aprs le coup dtat du
18 Brumaire, il est nomm membre du Snat conservateur , charg de veiller sur les
constitutions successives du Consulat puis de lEmpire.
Quel rapport entre cette brillante carrire politique et les mathmatiques ? Mme sil
na pas t un administrateur exceptionnel, Monge aura pes de tout son poids politique
dans la rforme du systme ducatif : cole Normale Suprieure, cole Polytechnique,
cole des Ponts et Chausses, cole des Arts et Mtiers. . . , on doit Monge (et aussi
Laplace et Lagrange) le systme si typiquement franais des Grandes coles. Ils ne
se contentrent pas den dfinir les programmes et le niveau dexigence ; ils en furent
les premiers professeurs, et se dvourent leur enseignement au point de laisser une
empreinte pdagogique qui devait leur survivre au-del du xixe sicle.
peine finies ses tudes au Collge de la Trinit de Lyon, Monge avait t engag
19 ans lcole royale du gnie de Mzires, non pas comme tailleur de pierres, mais
comme dessinateur, et ds lanne suivante avait eu dessiner des plans de fortifications. Cette exprience devait influencer durablement ses travaux de gomtrie, et par
suite lenseignement des futurs cadres de la nation. Quand il rdige les notes de son
cours Application de lAnalyse la Gomtrie, lusage de lcole Impriale Polytechnique , il consacre une monumentale seconde partie (415 pages) la Thorie
des surfaces courbes et des courbes double courbure . Voici ce quil crit la fin du
chapitre Ellipsodes .
Sil tait question de voter un espace circonscrit en projection horizontale
par une ellipse, on ne pourrait pas donner la vote une surface plus
convenable que celle de la moiti dune ellipsode dont une des ellipses
principales conciderait avec lellipse de la naissance ; et en supposant que
58
Maths en Ligne
UJF Grenoble
cette vote dt tre excute en pierres de taille, il faudrait que la division

en voussoirs ft opre au moyen des lignes de courbure dont nous avons
donn la construction, et que les joints fussent les surfaces dveloppables
normales la vote.
Cest ainsi que jusquaux annes 1970, des gnrations dtudiants en mathmatiques
devront au tailleur de pierres de Mzires davoir t forms la gomtrie cote,
aux projections frontales et horizontales, et autres surfaces dveloppables.
3.6
Et ignem regunt numeri
Mme le feu est rgi par les nombres : cest la citation attribue Platon que
porte en exergue la Thorie Analytique de la chaleur de Joseph Fourier (17681830).
Quel est le problme ?
Lorsque la chaleur est ingalement distribue entre les diffrents points
dune masse solide, elle tend se mettre en quilibre, et passe lentement
des parties les plus chauffes dans celles qui le sont moins ; en mme temps
elle se dissipe par la surface, et se perd dans le milieu ou dans le vide.
Cette tendance une distribution uniforme, et cette mission spontane
qui sopre la surface des corps, changent continuellement la temprature
des diffrents points. La question de la propagation de la chaleur consiste
dterminer quelle est la temprature de chaque point dun corps un
instant donn, en supposant que les tempratures initiales sont connues.
Cette question de la propagation de la chaleur , Fourier estime lavoir rsolue ds
1807. Si v(t, x, y, z) dsigne la temprature dun corps au point de coordonnes (x, y, z)
et au temps t, alors lintrieur du corps :
K
d2 v d2 v d2 v
dv
=
.
+
+
dt
C.D dx2 dy 2 dz 2
o K est la conductibilit interne, D la densit et C la chaleur spcifique. Les conditions

aux bords, la manire de rsoudre numriquement les quations diffrentielles avec des
sries trigonomtriques, tout avait t tabli, et soigneusement valid par de nombreuses
expriences sur des corps de diffrentes formes. Alors pourquoi son premier mmoire
de 1807 na-t-il pas t considr ? Pourquoi sa nouvelle soumission en 1812 a-t-elle t
prime, mais curieusement non publie ?
Cette pice renferme les vritables quations diffrentielles de transmission
de la chaleur, soit lintrieur des corps, soit leur surface ; et la nouveaut
du sujet, jointe son importance, a dtermin la Classe couronner cet
ouvrage, en observant cependant que la manire dont lauteur parvient
ses quations nest pas exempte de difficults, et que son analyse, pour
les intgrer, laisse encore quelque choses dsirer, soit relativement la
gnralit, soit mme du ct de la rigueur.
59
Maths en Ligne
UJF Grenoble
Une premire lection lAcadmie des Sciences est rcuse par Louis xviii (sous la
Restauration, ceux qui staient trop marqus du ct de Napolon ntaient pas en
odeur de saintet). Candidat nouveau dans la section de Physique gnrale, il est rlu
et enfin nomm en mai 1817. Cest la conscration ; il runit ses diffrents travaux, et la
publication en 1822 de la Thorie Analytique de la Chaleur marque son triomphe : 660
pages, dont 21 de discours prliminaire, o profitant de son autorit enfin reconnue, il
nonce sa philosophie de la science, au risque de pontifier un tantinet.
Les quations du mouvement de la chaleur, comme celles qui expriment les
vibrations des corps sonores, ou les dernires oscillations des liquides, appartiennent une des branches de la science du calcul les plus rcemment
dcouvertes, et quil importait beaucoup de perfectionner. Aprs avoir tabli ces quations diffrentielles, il fallait en tablir les intgrales ; ce qui
consiste passer dune expression commune une solution propre assujettie toutes les conditions donnes. Cette recherche difficile exigeait une
analyse spciale, fonde sur des thormes nouveaux dont nous ne pourrions ici faire connatre lobjet. La mthode qui en drive ne laisse rien
de vague, ni dindtermin dans les solutions ; elle les conduit jusquaux
dernires applications numriques, condition ncessaire de toute recherche,
sans lesquelles on narriverait qu des transformations inutiles.
[. . . ]
Ltude de la nature est la source la plus fconde des dcouvertes mathmatiques. Non seulement cette tude, en offrant aux recherches un but
dtermin, a lavantage dexclure les questions vagues et les calculs sans issue ; elle est encore un moyen assur de former lanalyse elle-mme, et den
dcouvrir les lments quil nous importe le plus de connatre, et que cette
science doit toujours conserver : ces lments fondamentaux sont ceux qui
se reproduisent dans tous les effets naturels.
Les quations analytiques, ignores des anciens gomtres, que Descartes
a introduites le premier dans ltude des courbes et des surfaces, ne sont
pas restreintes aux proprits des figures, et celles qui sont lobjet de la
mcanique rationnelle : elles stendent tous les phnomnes gnraux. Il
ne peut y avoir de langage universel et plus simple, plus exempt derreurs
et dobscurits, cest--dire plus digne dexprimer les rapports invariables
des tres naturels.
Considre sous ce point de vue, lanalyse mathmatique est aussi tendue
que la nature elle-mme ; elle dfinit tous les rapports sensibles, mesure
les temps, les espaces, les forces, les tempratures ; cette science difficile se
forme avec lenteur, mais elle conserve tous les principes quelle a une fois
acquis ; elle saccrot et saffermit sans cesse au milien de tant de variations
et derreurs de lesprit humain.
Son attribut principal est la clart. Elle na point de signes pour exprimer
les notions confuses. Elle rapproche les phnomnes les plus divers, et d60
Maths en Ligne
UJF Grenoble
couvre les analogies secrtes qui les unissent. Si la matire nous chappe
comme celle de lair et de la lumire par son extrme tnuit, si les corps
sont placs loin de nous, dans limmensit de lespace, si lhomme veut
connatre le spectacle des cieux pour des poques successives que spare
un grand nombre de sicles, si les actions de la gravit et de la chaleur
sexercent dans lintrieur du globe solide des profondeurs qui seront toujours inaccessibles, lanalyse mathmatique peut encore saisir les lois de ces
phnomnes. Elle nous les rend prsents et mesurables, et semble tre une
facult de la raison humaine, destine suppler la brivet de la vie et
limperfection des sens ; et ce qui est plus remarquable encore, elle suit la
mme marche dans ltude de tous les phnomnes ; elle les interprte dans
le mme langage, comme pour attester lunit et la simplicit du plan de
lunivers, et rendre encore plus manifeste cet ordre immuable qui prside
toutes les causes naturelles.
[. . . ]
Les thories nouvelles, expliques dans notre ouvrage sont runies pour
toujours aux sciences mathmatiques, et reposent comme elles sur des fondements invariables ; elles conserveront tous les lments quelles possdent
aujourdhui, et elles acquerront continuellement plus dtendue. On perfectionnera les instruments et lon multipliera les expriences. Lanalyse que
nous avons forme sera dduite de mthodes plus gnrales, cest--dire plus
simples et plus fcondes, communes plusieurs stances solides ou liquides,
pour les vapeurs et pour les gaz permanents, toutes les qualits spcifiques
relatives la chaleur, et les variations des coefficients qui les expriment. On
observera, dans divers lieux du globe, les tempratures du sol diverses
profondeurs, lintensit de la chaleur solaire, et ses effets, ou constants ou
variables, dans latmosphre, dans lOcan et les lacs ; et lon connatra cette
temprature constante du Ciel, qui est propre aux rgions plantaires. La
thorie elle-mme dirigera toutes ces mesures, et en assignera la prcision.
Elle ne peut faire dsormais aucun progrs considrable qui ne soit fond sur
ces expriences ; car lanalyse mathmatique peut dduire des phnomnes
gnraux et simples lexpression des lois de la nature ; mais lapplication
spciale de ces lois des effets trs composs exige une longue suite dobservations exactes.
Fourier revendique hautement l tude de la Nature , jusquaux applications numriques, condition ncessaire de toute recherche . Dj lpoque, ce ntait pas le
point de vue unanime. Voici ce que le jeune Jacobi crit Legendre peu aprs la mort
de Fourier :
Il est vrai que M. Fourier avait lopinion que le but principal des mathmatiques tait lutilit publique et lexplication des phnomnes naturels ; mais
un philosophe comme lui aurait d saisir que le but unique de la science,
cest lhonneur de lesprit humain, et que sous ce titre, une question de
61
Maths en Ligne
UJF Grenoble
nombres vaut autant quune question de systme du monde.

Aprs 1822, Fourier crit encore plusieurs articles sur la chaleur, dont deux consacrs
la temprature du globe terrestre, dans lesquels la mode actuelle veut voir lanticipation
de leffet de serre et du rchauffement climatique. Lavnement de lordinateur avait
dj fait de la transforme de Fourier un nom commun, le voici promu fer de lance du
sauvetage plantaire : quelle revanche !
62

FP PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

FP PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Universit Joseph Fourier, Grenoble

Fonctions de plusieurs variables

Table des matires

Fonctions de plusieurs variables

Coordonnes polaires dun point du plan (figure 1) :

Fonctions de plusieurs variables

Figure 1 Coordonnes polaires dun point du plan.

Figure 2 Coordonnes cylindriques dun point de lespace.

Fonctions de plusieurs variables

Figure 3 Coordonnes sphriques dun point de lespace.

Figure 4 Surface dquation z = sin(xy).

Fonctions de plusieurs variables

vers (x) dans Rm .

exp(xy) sin(z + ln(1 + y 2 ))

Fonctions de plusieurs variables

Soit f : (x, y, z) 7 f (x, y, z) une application de R3 dans R. Etant donn un point

Fonctions de plusieurs variables

Le thorme 2 donne une approximation de f (x, y) sous la forme :

La surface dquation z = f (a, b) + (x a) f

Fonctions de plusieurs variables

Figure 5 Plan tangent une surface en un point.

Soit (a, b, c) un point de D. On appelle matrice jacobienne de au point (a, b, c), la

On appelle diffrentielle de au point (a, b, c) lapplication linaire de R3 dans R2 dont

Fonctions de plusieurs variables

Surface dun paralllpipde en fonction de ses trois dimensions :

2(y + z) 2(x + z) 2(x + y)

Surface et volume dun paralllpipde en fonction de ses trois dimensions :

2(y + z) 2(x + z) 2(x + y)

Coordonnes polaires dun point du plan :

Coordonnes cylindriques dun point de lespace :

Coordonnes sphriques dun point de lespace :

cos cos r cos sin r sin cos

r cos cos r sin sin

Fonctions de plusieurs variables

Voici un exemple. Considrons lapplication f , de R2 dans R2 , qui aux coordonnes

Considrons maintenant la fonction g, de R2 dans R qui (x, y) associe x2 + y 2 .

La matrice jacobienne de g au point f (r cos , r sin ) est donc

Effectivement, la compose g f est la fonction de R2 dans R qui (r, ) associe r2 .

Drives dordre suprieur

Soit f : (x, y, z) 7 f (x, y, z) une application dun domaine D de R3 dans R,

Fonctions de plusieurs variables

Ainsi, pour une application de R3 dans R, la matrice hessienne a 3 lignes et 3 colonnes.

Reprenons lexemple de la surface dun paralllpipde en fonction de ses trois dimensions.

2(y + z) 2(x + z) 2(x + y)

La matrice hessienne sobtient en drivant chacune des drives partielles dordre 1,

(b) Laplacien de f le rel, not f :

Fonctions de plusieurs variables

(b) Divergence de F le rel, not div(F ) :

o est la conductivit thermique, la masse volumique et Cp la chaleur spcifique.

f est donc une solution particulire de lquation de la chaleur.

Fonctions de plusieurs variables

Fonctions de plusieurs variables

Figure 6 Drive directionnelle.

Figure 7 Reprsentation par niveaux de gris de z = sin(xy) et champ de gradient

Fonctions de plusieurs variables

Fonctions de plusieurs variables

qui est son dterminant.

On rsoud alors lquation du second degr dont et sont solution.

La drive seconde de g en 0 scrit :

Le signe de g 00 (0) dpend donc des signes de et .

Figure 8 Maximum, minimum et point selle pour une fonction de R2 dans R.

Fonctions de plusieurs variables

Ltude prcdente se gnralise aux fonctions de Rn dans R.