IUFM du Limousin 2009-10

PLC1 Mathmatiques
S. Vinatier Rappels de cours

Fonctions de plusieurs variables, intgrales multiples,

et intgrales dpendant dun paramtre

1 Fonctions de plusieurs variables

On rappelle ici quelques proprits des fonctions de plusieurs variables, cest--dire dfinies sur
une partie de Rn et valeurs dans Rm , o n et m sont deux entiers naturels. Pour la prsentation de la
plupart des notions, on se restreint au cas o n = 2, les autres cas tant parfaitement similaires. Noter
de plus que, au besoin, une fonction valeurs dans Rm se dcompose naturellement en m fonctions
valeurs relles, qui sont ses composantes dans la base canonique de Rm .
Pour p N et u = (u1 , . . . , up ) Rp , on note ||u|| lune des trois normes quivalentes (cest--dire
quelles engendrent la mme topologie) :
p p !1/2
X X
||u|| = sup |ui | , ||u||1 = |ui | , ||u||2 = u2i .
1ip i=1 i=1

La limite en un point se dfinit de faon similaire au cas des fonctions dune variable.

Dfinition 1 Soient A R2 , f : A Rm , (x0 , y0 ) A et ` Rm , alors f a pour limite ` quand

(x, y) tend vers (x0 , y0 ) si


> 0, > 0, |x x0 | < et |y y0 | < ||f (x, y) `|| < .
On peut aussi exprimer limplication de la manire suivante :
(x, y) B (x0 , y0 ), ) f (x, y) B(`, ) ,
o B(u, r) dsigne la boule (ouverte) de centre u et de rayon r (pour la norme choisie), dans R2 dun
ct, dans Rm de lautre.
partir de l on dfinit la notion de continuit comme dans le cas des fonctions dune variable. On
dispose de fonctions de rfrence (polynmes, fractions rationnelles, racine carre,...) et de thormes
gnraux (somme, produit, inverse, compose de fonctions... ). Si f est valeurs relles, on peut
dfinir de manire analogue la notion de limite infinie.
Exercice 1
Soit h la fonction dfinie de R2 dans R par h(0, 0) = 0 et, si (x, y) 6= (0, 0),
xy
h(x, y) = .
x2 + y2
Vrifier que h est continue en tout point (x, y) 6= (0, 0). Calculer h(x, x) pour x R ; la fonction h
est-elle continue en (0, 0) ?

1
 tant donn (x0 , y0 ) A, on dfinit les deux applications partielles associes f en ce point par :

f1 : x 7 f (x, y0 ) et f2 : y 7 f (x0 , y) .

On appelle aussi f1 et f2 les fonctions directionnelles associes f , de direction x pour la premire,

y pour la seconde. Ce sont des fonctions dune variable, que lon sait donc ventuellement driver, ce
qui permet de dfinir le cas chant les drives partielles de f .

Dfinition 2 f admet une drive partielle par rapport x (resp. y) au point (x0 , y0 ) si f1 (resp.
f2 ) est drivable en x0 (resp. en y0 ). Dans ce cas on note :

f f
(x0 , y0 ) = f10 (x0 ) (resp. (x0 , y0 ) = f20 (y0 ) ) .
x y

Si par exemple f2 est drivable sur Ax0 = {y R, (x0 , y) A}, on obtient ainsi une nouvelle fonction
de deux variables, f
y , dfinie sur Ax0 . Attention lventuelle confusion provenant du fait quon omet
souvent de noter le couple de variables (x0 , y0 ), ou quon le note plus simplement (x, y), cest--dire
quon crit souvent f f
y ou y (x, y).

Exercice 2
Montrer que la fonction h de lexercice prcdent est drivable par rapport x et par rapport y en
tout point de R2 et calculer ses drives partielles. Sont-elles continues en (0, 0) ?
Si les drives partielles de f existent et sont continues sur un ouvert U A de R2 , alors f est dite
continment diffrentiable, en abrg C 1 , sur U . Lintrt de cette notion est encore plus frappant que
pour les fonctions dune variable. En effet, la continuit des applications partielles f1 et f2 nentrane
pas celle de f , comme on la vu dans lexercice ci-dessus, qui montre aussi que lexistence des drives
partielles ne suffit pas plus garantir la continuit de f . Par contre on a la proprit :

f continment diffrentiable sur U f continue sur U .

Pour calculer les drives partielles dune fonction compose de manire agrable, on introduit la
notion de matrice jacobienne. Plaons-nous dans le cadre le plus gnral f : U Rn Rm , o U est
un ouvert, et f admet des drives partielles par rapport toutes les variables en un point u U . La
matrice jacobienne de f en u est la matrice m lignes et n colonnes gale :
!
fi
Jf (u) = (u) .
xj 1im
1jn

Lorsque n = m, on nomme jacobien de f le dterminant de la matrice jacobienne.

Proposition 1 Soient f et g deux applications dfinies respectivement de U Rn dans Rm et de

V Rm dans Rp , avec f (U ) V . On suppose quelles sont continment drivables respectivement
aux points u U et v = f (u). Alors on a lgalit des matrices :

Jgf (u) = Jg (v)Jf (u) .

Exercice 3
f f
Retrouver les formules donnant et lorsque f (x, y) = F (u, v), o u = u(x, y), v = v(x, y).
x y

2
 Revenons au cas f : U R2 Rm de classe C 1 . Les drives partielles tant des fonctions de
deux variables, on peut considrer leurs drives partielles, nouveau par rapport x et par rapport
y, si elles existent. On obtient ainsi les drives partielles secondes de f , qui sont au nombre de 3
puisque le thorme de Schwarz stipule que lordre dans lequel sont prises les drives partielles par
rapport diffrentes variables nimporte pas, en clair :

2f f f 2f
= = = .
xy x y y x yx

La fonction f est dite de classe C k sur U si toutes ses drives partielles lordre k existent et sont
continues. (Question : combien y en a-t-il ?)
Celles dordre 2 sont particulirement importantes pour dterminer les extrema des fonctions
valeurs relles. Supposons donc f : U R2 R de classe C 2 et (x0 , y0 ) U . On pose :

f f 2f 2f 2f
p= (x0 , y0 ) , q= (x0 , y0 ) , r= (x0 , y0 ) , s= (x0 , y0 ) , t= (x0 , y0 )
x y x2 xy y 2

et on appelle rs st la matrice hessienne de f . On dit que f admet un extremum local en (x0 , y0 )

appartenant U si f (x, y) f (x0 , y0 ) garde un signe constant au voisinage de (x0 , y0 ). Il sagit dun
maximum local si ce signe est ngatif, dun minimum local sinon.

Thorme 2 Pour que f admette un extremum local en (x0 , y0 ), il est ncessaire que p = q = 0.
Pour que f admette un extremum local en (x0 , y0 ), il suffit que la condition prcdente soit remplie
(on parle alors de point critique) et que s2 rt < 0. Dans ce cas, on aura un minimum local si r > 0,
un maximum local si r < 0.
Noter que r 6= 0, et que t est du mme signe que r, si s2 rt < 0. On peut montrer de plus quon
obtient un point col si s2 rt > 0 ; si s2 rt = 0, on ne peut rien dire. En fait, on a le dveloppement
de Taylor-Young suivant pour f au voisinage du point (x0 , y0 ) :
1
f (x0 + h, y0 + k) = f (x0 , y0 ) + (ph + qk) + (rh2 + 2shk + tk 2 ) + (h2 + k 2 )(h, k) ,
2
o (h, k) tend vers 0 quand (h, k) tend vers 0. Donc, si p = q = 0, f (x0 + h, y0 + k) f (x0 , y0 ) est
pour (h, k) au voisinage de (0, 0) de mme signe que limage de (h, k) par la forme quadratique de
matrice la hessienne de f .

Exercice 4
On revient la fonction h du premier exercice.
h h
a) Montrer que, pour (x, y) 6= (0, 0), x (x, y) = y (x, y) = 0 si et seulement si x = y.
b) Montrer que, pour tout (x, y) R2 , 12 h(x, y) 12 ; quen dduit-on pour les points de
coordonnes (x, x) avec x 6= 0 ?
c) Calculer les drives secondes de h en (x, y) 6= (0, 0). Quels renseignements donne la matrice
hessienne de h aux points de coordonnes (x, x) avec x 6= 0 ?

2 Intgrales multiples
Maintenant que lon connat les fonctions de plusieurs variables, comment les intgrer ? Nous
allons dessiner les contours de la construction de lintgrale de Riemann de ces fonctions, dont on

3
verra quils rappellent fortement ce quon fait pour les fonctions dune variable. On traite le cas des
fonctions valeurs relles, tant entendu que le cas des fonctions valeurs dans Rm sen dduit en
les traitant composante par composante. On donnera ensuite deux procds permettant de calculer
les intgrales multiples dans un certain nombre de cas.

2.1 Construction de lintgrale

Plaons-nous dans Rn pour un entier n 2. On appelle pav de Rn le produit cartsien =
I1 In de n intervalles I1 , . . . , In de R. Le pav est born (resp. compact) si tous les Ik le
sont ; la mesure de est le produit () des longueurs des Ik ; deux pavs sont quasi-disjoints si la
mesure de leur intersection (qui est un pav) est nulle. Si est un pav compact, P = (1 , . . . , r )
est un pavage de si les k sont deux deux quasi-disjoints, dunion gale . On vrifie alors que
la mesure de est gale la somme des mesure des k . On peut aussi dfinir la notion de pavage
plus fin que deux pavages donns P et P 0 de .
Soit un pav. Une fonction : R est en escalier sil existe un pavage P de tel que, pour
tout P P, |P est constante ; P est alors dit adapt . En notant P la fonction indicatrice dun
pav P , on voit quil existe des rels P pour P P tels que
X
= P P
P P

et on peut dfinir lintgrale de en posant :

X
I() = P (P ) ,
P P

en vrifiant que ceci ne dpend pas du pavage adapt choisi (grce la notion de pavage plus fin).
Notons E le R-espace vectoriel des fonctions en escalier dfinies sur . Pour f : R borne, on
peut alors dfinir

I (f ) = sup{I() : f, E} , I (f ) = inf{I() : f, E} ,

et dcider (avec Riemann) que f est intgrable si I (f ) = I (f ), auquel cas on note cette valeur :
Z Z Z
f= f (x1 , . . . , xn ) dx1 . . . dxn .

Enfin, une partie borne A de Rn est dite mesurable si sa fonction indicatrice A est intgrable sur
un pav contenant A. Si tel est le cas, et si f : A R est borne, alors f est intgrable sur A si
f A est intgrable sur un pav contenant A, auquel cas on pose :
Z Z
f= f A .
A

On montre en particulier que toute fonction continue sur une partie mesurable A est intgrable sur
cette partie.

2.2 Thorme de Fubini

On voit maintenant un thorme essentiel pour le calcul des intgrales multiples, puisquil permet
de dcouper celui-ci en plusieurs calculs dintgrales de fonctions dune variable. Sa preuve suit le
cheminement effectu ci-dessus pour la construction de lintgrale (pour les fonctions en escalier, puis
pour les fonctions intgrables).

4
Thorme 3 Soit A une partie mesurable de Rp Rq et f : A R une fonction intgrable. On
suppose que, pour tout x Rp :
Ax = {y Rq | (x, y) A} est mesurable ;
y 7 f (x, y) est intgrable sur Ax .
f (x, y)dy est intgrable sur Rp . Alors on a lgalit :
R
On suppose de plus que x 7 Ax
Z Z Z 
f (x, y)dxdy = f (x, y)dy dx .
A Rp Ax

Exercice 5 ZZ q
En dduire la valeur de xy x2 + y 2 dxdy, o A = {(x, y) R2 : x 0 , y 0 , x2 + 2y 2 1}.
A
On pourra commencer par reprsenter la partie A.
Il est parfois plus pratique dutiliser ce rsultat sous la forme suivante.

Corollaire 4 En supposant de plus, pour tout y Rq :

A0y = {x Rp | (x, y) A} est mesurable ;
x 7 f (x, y) est intgrable sur A0y ;
f (x, y)dx est intgrable sur Rq , on a lgalit :
R
et y 7 A0y

Z Z  Z Z !
f (x, y)dy dx = f (x, y)dx dy .
Rp Ax Rq A0y

2.3 Changement de variable

Le thorme de changement de variables classique, pour les fonctions de la variable relle, se
gnralise aux intgrales multiples.

Thorme 5 Si : U V est un C 1 -diffomorphisme mesurable entre deux ouverts U
et V de Rn ,

dont on note le jacobien, et f : V R une fonction intgrable, alors x 7 f (x) | (x)| est
intgrable sur U et Z Z


f (y)dy = f (x) | (x)|dx .
V U

Un exemple dapplication trs utile de ce rsultat est le passage des coordonnes cartsiennes
 aux
1 + 2
polaires, donn par le C -diffomorphisme : R ] , [ R \ ] , 0[{0} tel que

(, ) = ( cos , sin ) .

Exercice 6
1. Dterminer la matrice jacobienne de . En dduire, pour f : R2 R intgrable,
Z Z
f (x, y)dxdy = f ( cos , sin ) d d .
R2 R+[,]

2. tablir lgalit Z
2 +y 2 )
e(x dxdy = .
R2

5
 Z +
2
3. En dduire la valeur de ex dx laide du thorme de Fubini.
0

Dans le mme genre dide, on pourra calculer laire de la portion de plan D = {(x, y) [0, 1]2 , x2 +
y2 1}, aprs lavoir reprsente, en utilisant la symtrie de cet ensemble par rapport la diagonale.
Il y a bien sr dautres changements de variables possibles, adapter selon les circonstances, par
lexemple dans lexercice suivant.

Exercice 7
Soit f la fonction dfinie de C = [0, 1]2 dans R par
xy
(
x+y si (x, y) 6= (0, 0)
f (x, y) =
0 sinon.

a) Montrer que f (x, y) x pour tout (x, y) [0, 1]2 . En dduire que f est continue et intgrable.
R R
b) Montrer que I = C f (x, y)dxdy = 2 T f (x, y)dxdy, o T = {(x, y) C, y x}.
c) On note T0 = {(x, y) ]0, 1[2 ,
y < x} lintrieur de T . Montrer que lapplication : C C,
(u, v) 7 (u, uv), dfinit un C -diffomorphisme de ]0, 1[2 dans T 0 , de jacobien (u, v) = u.

d) En dduire, laide du thorme de changement de variable, que I = 32 (1 ln 2).

3 Intgrales dpendant dun paramtre

En guise dillustration de la thorie des fonctions de plusieurs variables, voici deux thormes
extrmement utiles en analyse, et connatre parfaitement pour pouvoir en vrifier les hypothses
avant de les appliquer.

Thorme 6 Soient I un intervalle de R, a b deux nombres rels et KR une fonction numrique

dfinie et continue sur I [a, b]. Alors la fonction f dfinie sur I par f (x) = ab K(x, t) dt est continue.
Noter que cest la continuit de K en tant que fonction de deux variables qui doit tre satisfaite.

Thorme 7 On conserve les hypothses du thorme prcdent et on suppose de plus que la drive
partielle de RK par rapport x existe et est continue sur I [a, b]. Alors la fonction f dfinie sur I
par f (x) = ab K(x, t) dt est de classe C 1 et pour tout x I :
Z b
K
f 0 (x) = (x, t) dt .
a x
Ces thormes ne stendent pas aux intgrales gnralises. Ainsi on montre, par des changements
R + sin(xt)
de variables adquats, que 0 t dt vaut 2 pour x > 0 et 2 pour x < 0, donc nest pas continue
sin(xt)
en 0, bien que K(x, t) = t si t > 0, x si t = 0, soit continue sur R [0, +[ .

Exercice 8 2 2
1 e(1+t )x
Z
On considre la fonction f (x) = dt.
0 1 + t2
R x t2
1. Justifier que f est dfinie drivable sur R et exprimer sa drive laide de g(x) = 0 e dt (
laquelle on pourra appliquer le changement de variable u = xt lorsque x 6= 0).

6

2. En dduire que f (x) = 4 g 2 (x) pour tout x R.
2 )x2
3. tablir que pour t [0, 1] et x assez grand, e(1+t 1
x2
; en dduire que lim f (x) = 0.
x+
4. Montrer la formule : Z +
t2
e dt = .
0 2