Vous êtes sur la page 1sur 4

c Christophe Bertault - MPSI

Intgrales doubles
Les rsultats de ce chapitre seront tous noncs sans dmonstration aucune. Les lettres a, b, c, d dsignent des rels tels que
a 6 b et c 6 d.

1 Intgrale double sur un rectangle



Thorme
Z Z (Intgrale
Z Z double sur un rectangle) On peut associer toute fonction f C [a, b] [c, d], R un rel not

f ou f (x, y) dx dy jouissant des proprits suivantes. Pour tous f, g C [a, b] [c, d], R :
[a,b][c,d] [a,b][c,d]
ZZ ZZ ZZ
Linarit : Pour tous , R : (f + g) = f + g.
[a,b][c,d] [a,b][c,d] [a,b][c,d]
ZZ ZZ ZZ
Positivit : Si f > 0, alors f > 0. Croissance : Si f 6 g, alors f6 g.
[a,b][c,d] [a,b][c,d] [a,b][c,d]
Z Z ZZ


Ingalit triangulaire : f 6 |f |.
[a,b][c,d] [a,b][c,d]
ZZ Z b Z d  Z d Z b 
Thorme de Fubini : f= f (x, y) dy dx = f (x, y) dx dy.
[a,b][c,d] a c c a

Additivit par rapport au domaine dintgration : Si u [a, b] et v [c, d] :


ZZ ZZ ZZ ZZ ZZ ZZ
f= f + f et f= f + f.
[a,b][c,d] [a,u][c,d] [u,b][c,d] [a,b][c,d] [a,b][c,v] [a,b][v,d]

   Explication
La proprit dadditivit par rapport au domaine dintgration est lanalogue deux variables de la relation de Chasles.
Z d Z b
Le thorme de Fubini sous-entend, pour avoir un sens, que les applications x 7 f (x, y) dy et y 7 f (x, y) dx
c a
dfinies sur [a, b] et [c, d] respectivement sont continues.

   En pratique La proprit la plus importante pour le calcul effectif des intgrales doubles est le thorme de Fubini
selon lequel toute intgrale double nest quun empilement de deux intgrales simples.

ZZ
Exemple (x + sin y) dx dy = .
[0,1][0,2]

En effet Calculons cette intgrale de deux faons pour illustrer la validit du thorme de Fubini.
ZZ Z 1 Z 2  Z 1 Z 1
Fubini  y=2
(x + sin y) dx dy = (x + sin y) dy dx = xy cos y y=0 dx = 2x dx =
[0,1][0,2] 0 0 0 0

ZZ Z 2 Z 1  Z 2  
Fubini 1
et (x + sin y) dx dy = (x + sin y) dx dy = + sin y dy = .
[0,1][0,2] 0 0 0 2

 
Exemple Soient C [a, b], R et C [c, d], R . On pose, pour tout (x, y) [a, b] [c, d] : f (x, y) = (x)(y). Nous
ZZ ZZ Z b  Z d 

savons que f C [a, b] [c, d], R . Alors : f= (x)(y) dx dy = .
[a,b][c,d] [a,b][c,d] a c
ZZ ZZ Z b Z d 
Fubini
En effet f= (x)(y) dx dy = (x)(y) dy dx
[a,b][c,d] [a,b][c,d] a c

Z b Z d  Z d Z b Z b  Z d 
= (x) (y) dy dx = (y) dy (x)dx = .
|a c
{z } | c
{z } a a c

(x) ne dpend pas de y scalaire

1
c Christophe Bertault - MPSI

Z 1
x1
Exemple dx = ln 2.
0 ln x
En effet
x1
La fonction x 7 est continue sur ]0, 1[, prolongeable par continuit en 0 par la valeur 0 car
ln x
x1
lim = 0 et prolongeable galement en 1 par la valeur 1 car ln x x 1. Ceci justifie lexistence de
x0 ln x x1
Z 1
x1
lintgrale dx.
0 ln x
Nous allons calculer cette intgrale au moyen dune intgrale double qui en apparence na aucun rapport.
Soit ]0, 1]. La fonction (x, y) 7 xy = ey ln x est clairement continue sur [, 1] [0, 1].
ZZ Z 1 Z 1  Z 1  y ln x y=1 Z 1
Fubini e x1
xy dx dy = ey ln x dy dx = dx = dx
[,1][0,1] 0 ln x y=0 ln x
Z 1 Z 1  Z 1  y+1 x=1 Z 1 Z 1 y+1
Fubini x dy
= xy dx dy = dy = dy
0 0 y + 1 x= 0 y+1 0 y +1
h iy=1 Z 1 y+1 Z 1 y+1

= ln(y + 1) dy = ln 2 dy.
y=0 0 y + 1 0 y +1
Z 1 Z 1 y+1
x1
Nous venons donc de montrer la formule : dx = ln 2 dy.
ln x 0 y+1
Z 1 y+1 Z 1 Z 1 y+1
dy
Or : 0 6 dy 6 = ln 2. Daprs le thorme dencadrement : lim dy = 0,
0 y+1 0 y+1 0 0 y + 1
ce qui nous donne aussitt le rsultat.

2 Intgrales doubles sur un domaine born


dfini par des conditions simples
Pour le moment, nous avons seulement dfini lintgrale double dune fonction de deux variables sur un rectangle. Mais en
ralit on peut intgrer une telle fonction sur bien dautres domaines : disques, ellipses, triangles, patates gentilles, etc. Notre
objectif nest pas ici de donner une dfinition prcise des domaines autoriss : la dfinition suivante, quoique restreinte, nous
fournira dj un lot suffisant dexercices.


Thorme (Intgrale double sur un domaine dfini par des conditions simples) Soient , C [a, b], R telles
n o
que 6 . On note D lensemble (x, y) R2 / a 6 x 6 b et (x) 6 y 6 (x) .
ZZ ZZ
On peut associer toute fonction f C(D, R) un rel not f ou f (x, y) dx dy jouissant des proprits
D D
suivantes. Pour tous f, g C(D, R) :
ZZ ZZ ZZ
Linarit : Pour tous , R : (f + g) = f + g.
D D D
ZZ ZZ ZZ
Positivit : Si f > 0, alors f > 0. Croissance : Si f 6 g, alors f6 g.
D D D
Z Z Z Z

Ingalit triangulaire :
f 6 |f |.
D D
ZZ Z Z !
b (x)
Thorme de Fubini : f= f (x, y) dy dx.
D a (x)

Additivit par rapport au domaine dintgration


ZZ : Z Si
Z D estZdcompos
Z en deux domaines disjoints E et F
sur lesquels lintgrale double de f est dfinie, alors :
f= f + f.
D E F


On
n dispose dune dfinition et de rsultats analogues
o dans le cas o , C [c, d], R avec 6 et o D est lensemble
(x, y) R2 / c 6 y 6 d et (y) 6 x 6 (y) .

   En pratique La proprit la plus importante pour le calcul effectif des intgrales doubles est le thorme de Fubini
selon lequel toute intgrale double nest quun empilement de deux intgrales simples.

2
c Christophe Bertault - MPSI
z=x z

n o
Exemple On pose D = (x, y) R2 / x2 + y 2 6 1 le disque trigonomtrique .
x z
ZZ D
Alors : x dx dy = 0.
D
Ce rsultat parat naturel sur la figure ci-contre car la portion positive du volume
considr est annule exactement par sa portion ngative . y

n p p o
En effet Tout dabord : D = (x, y) R2 / 1 6 y 6 1 et 1 y2 6 x 6 1 y2 . Du coup :

ZZ Z 1 Z 1y 2 ! Z 1
Fubini
x dx dy = x dx dy = 0 dx = 0 par imparit de la fonction x 7 x.
D 1 1y 2 1

n o ZZ z = x + 2y
1
Exemple On pose D = (x, y) R2 / 0 6 x 6 1 et 0 6 y 6 1x . Alors : (x+2y) dx dy = .
D 2 z
ZZ Z 1 Z 1x 
Fubini
En effet (x + 2y) dx dy = (x + 2y) dy dx y x
D 0 0

Z Z  x=1
1  y=1x 1
(1 x)2 1 D
= xy + y 2 dx = (1 x) dx = = .
0
y=0
0 2 x=0
2

3 Changement de variables
Il existe une formule gnrale du changement de variables pour les intgrales doubles, mais elle ne figure pas notre pro-
gramme. Cela dit, pour vous aider comprendre les deux cas particuliers tudis ci-aprs, nonons sans ses hypothses prcises
cette formule : ZZ ZZ

f (x, y) dx dy = f (u, v) J (u, v) du dv.
(D) D

Dans cette formule, D est une partie de R2 . Quant , cest une application de D dans R2 et si (u, v) = x(u, v), y(u, v) ,
x x


u v
alors par dfinition le jacobien J de est le dterminant : J = . Enfin, f est une application de (D) dans

y y

u v
R. Notez bien que, dans la formule du changement de variables, J est la valeur absolue du dterminant J et non ce
dterminant lui-mme.

Nous ne donnerons quun seul exemple explicite de changement de variables : celui consistant passer des coordonnes
cartsiennes aux coordonnes polaires.

Thorme (Changement de variables coordonnes cartsiennes/coordonnes polaires) Soient D une partie


borne de R2 dfinie par des conditions simples et f C(D, R). Alors :
ZZ ZZ
f (x, y) dx dy = f (r cos , r sin ) r dr d,
D E

o E est une partie de R+ R telle que lapplication (r, ) 7 (x, y) = (r cos , r sin ) soit bijective de E sur D.

   Explication Cest bien la formule


gnrale du changement de variables, avec : (r, ) 7 (r cos , r sin ). Pour tout
cos r sin
(r, ) E : J (r, ) = = r, de sorte que : J (r, ) = |r| = r car E R+ R.
sin r cos

3
c Christophe Bertault - MPSI

Z 2
Exemple ex dx = Cette intgrale est appele lintgrale de Gauss.

ZZ
2
+y 2 )
En effet Lastuce de cet exemple consiste tudier lintgrale e(x dx dy pour tout R R+ ,
[R,R]2
puis faire tendre R vers .
ZZ ZZ Z R 2
2
+y 2 ) 2 2 Fubini 2
Soit R R+ . Alors : e(x dx dy = ex ey dx dy = ex dx .
[R,R]2 [R,R]2 R
 2 2
Or on a linclusion : BF (O, R) [R, R]2 BF O, R 2 . La fonction (x, y) 7 e(x +y ) tant
positive, la proprit dadditivit par rapport au domaine dintgration nous donne alors lingalit :
R b
ZZ ZZ ZZ
O 2 2 2 2 2 2
e(x +y ) dx dy 6 e(x +y ) dx dy 6
e(x +y ) dx dy .
BF (O,R) [R,R]2 BF (O,R 2)

Utilisons prsent la formule de changement de variables coordonnes cartsiennes/coordonnes polaires.


Lapplication (r, ) 7 (r cos , r sin ) transforme [0, R] [0, 2] en BF (O, R).
ZZ ZZ Z  Z  " 2
#r=R
2 R
(x2 +y 2 ) r 2 Fubini r 2 er  2

e dx dy = e r dr d = d re dr = 2 = 1er .
BF (O,R) [0,R][0,2] 0 0 2
r=0
ZZ ZZ
2 2 2
+y ) +y 2 )
Par consquent : lim e(x dx dy = . De mme pour lim
e(x dx dy.
R BF (O,R) R BF (O,R 2)
ZZ
2
+y 2 )
Finalement, le thorme dencadrement appliqu montre que : lim e(x dx dy = .
R [0,R]2
Z R 2
2
Avec nous obtenons le rsultat voulu : lim ex dx = .
R R

n o ZZ
14
Exemple On pose D = (x, y) R2 / y > 0 et 1 6 x2 + y 2 6 4 . Alors : (x + y) dx dy = .
D 3
En effet Notons E = [1, 2] [0, ]. Alors lapplication (r, ) 7 (r cos , r sin ) est bijective de E sur D.
ZZ ZZ Z 2  Z 
z = x+y (x + y) dx dy = (r cos + r sin ) r dr d = r 2 dr (cos + sin ) d
D [1,2][0,] 1 0
z  r=2
x r3  = 7 14
= sin cos = 2 = .
3 r=1
=0 3 3