Vous êtes sur la page 1sur 5

c Christophe Bertault - MPSI

Intgrales doubles
Les rsultats de ce chapitre seront tous noncs sans dmonstration aucune. La construction de lintgrale double notamment
sera admise.
Dans tout ce chapitre, a, b, c, d sont des rels tels que a

b et c

d.

Intgrale double sur un rectangle

La construction de lintgrale double sur un rectangle [a, b] [c, d] ressemble de prs la construction de lintgrale dune
fonction continue par morceaux sur un segment. Pour votre culture, signalons rapidement les tapes de cette construction.
On commence par dfinir la notion de fonction en escalier sur [a, b][c, d]. Un dcoupage de [a, b][c, d] en petits rectangles
disjoints de taille quelconque tant donn, une fonction en escalier sur [a, b] [c, d] est alors par dfinition constante sur
chaque petit rectangle ouvert.
z

Dcoupage de [a, b] [c, d]


en petits rectangles disjoints.
[a, b]
x

Fonction en escalier
sur [a, b] [c, d]
[c, d]
y

On dfinit alors la notion dintgrale dune fonction en escalier sur [a, b] [c, d] : au lieu de sommer des aires de petits
rectangles, on somme ici des volumes de petits paralllpipdes. On vrifie que lintgrale ainsi dfinie est linaire, positive. . .
Prcisment, lintgrale de la fonction constante gale 1 sur [a, b] [c, d] est par dfinition gale au volume du paralllpipde rectangle de base [a, b] [c, d] et de hauteur 1 :

[a,b][c,d]

dx dy = (b a)(d c).

Plus gnralement, les

intgrales doubles sinterprtent comme des volumes (algbriques).


On dfinit ensuite la notion de fonction continue par morceaux sur [a, b] [c, d]. Un dcoupage de [a, b] [c, d] en petits
rectangles disjoints de taille quelconque tant donn, une fonction continue par morceaux sur [a, b] [c, d] est alors par
dfinition continue sur chaque petit rectangle ouvert, prolongeable par continuit sur chaque petit rectangle ferm.
On montre alors quon peut approximer toute fonction continue par morceaux sur [a, b] [c, d] par des fonctions en escalier
aussi prcisment que ncessaire. Il faut ici utiliser un thorme de Heine pour les fonctions de deux variables, issu dun
thorme de Bolzano-Weierstrass pour les suites valeurs dans R2 .
Ce thorme dapproximation permet alors une dfinition complte de la notion dintgrale dune fonction continue par
morceaux sur [a, b] [c, d]. On montre galement que lintgrale ainsi dfinie est linaire, positive. . .
Cela dit, dans ce chapitre, nous nous contenterons dtudier les intgrales doubles de fonctions continues conformment
au programme.

c Christophe Bertault - MPSI

Thorme

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

[a,b][c,d]

[a,b][c,d]

f (x, y) dx dy jouissant des proprits suivantes ; pour toutes fonctions f, g C [a, b] [c, d], R :

Linarit : Pour tous , R :


Positivit : Si f

(f + g) =

f +

[a,b][c,d]

0, alors

g.

[a,b][c,d]

[a,b][c,d]

Croissance : Si f

0.

g, alors

[a,b][c,d]

Continuit :

f
[a,b][c,d]

[a,b][c,d]

f (x, y) dy dx =

f=
[a,b][c,d]

[a,b][c,d]

|f |.
b

Thorme de Fubini :

g.

[a,b][c,d]

f (x, y) dx dy.
a

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


f=

f +

[a,b][c,d]

et

[a,u][c,d]

f=

[u,b][c,d]

f.

f +

[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.
d

Le thorme de Fubini sous-entend, pour avoir un sens, que les applications x


dfinies sur [a, b] et [c, d] respectivement sont continues.

f (x, y) dy et y

f (x, y) dx
a

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.

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.
(x + sin y) dx dy

Fubini

[0,1][0,2]

et

(x + sin y) dy dx =

(x + sin y) dx dy

y=2
dx
y=0

Soient C [a, b], R et C [c, d], R . On pose, pour tout (x, y) [a, b] [c, d] :

En effet

[a,b][c,d]

(x)(y) dx dy

f=
[a,b][c,d]

(x)(y) dx dy =

f=
[a,b][c,d]

1
0

(x)dx =
a

(y) dy
c

c
(x) ne dpend pas de y

Exemple

(y) dy dx =

(x)

(x)(y) dy dx
a

[a,b][c,d]

Nous

Fubini

2x dx =
0

f (x, y) = (x)(y).

savons que f C [a, b] [c, d], R . Alors :

1
+ sin y dy = .
2

(x + sin y) dx dy =

[0,1][0,2]

Exemple

Fubini

xy cos y

scalaire

x1
dx = ln 2.
ln x

En effet
x1
est continue sur ]0, 1[, prolongeable par continuit en 0 par la valeur 0 car
La fonction x
ln x
x1
lim
= 0 et prolongeable galement en 1 par la valeur 1 car ln x (x 1). Ceci justifie lexisx0 ln x
x1
1
x1
tence de lintgrale
dx.
ln x
0

c Christophe Bertault - MPSI

Nous allons calculer cette intgrale au moyen dune intgrale double qui en apparence na aucun rapport
avec elle. Soit ]0, 1]. La fonction (x, y) xy = ey ln x est clairement continue sur [, 1] [0, 1].
xy dx dy

Fubini

[,1][0,1]

Fubini

ey ln x dy dx =
1

xy dx dy =
0

= ln(y + 1)

y=1
y=0

Nous venons donc de montrer la formule :

y=1

ey ln x
ln x

xy+1
y+1

y=0

x=1

dy =
0

x=
1

y+1
dy = ln 2
y+1

x1
dx = ln 2
ln x

dx =

1
0

x1
dx
ln x

dy

y+1

1
0

y+1
dy.
y+1

y+1
dy.
y+1

1
dy
y+1
dy
= ln 2. Daprs le thorme des gendarmes :
Or : 0
0 y+1
0 y+1
ce qui nous donne aussitt le rsultat souhait.

y+1
dy
y+1

lim

y+1
dy = 0,
y+1

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 que

. On note D lensemble

(x, y) R2 /

b et (x)

On peut associer toute fonction f C(D, R) un rel not

f ou

Positivit : Si f
Continuit :

0, alors

(f + g) =
D

f (x, y) dx dy jouissant des proprits suivantes ;

pour toutes fonctions f, g C(D, R) :


Linarit : Pour tous , R :

(x) .

f +
D

g.
D

Croissance : Si f

0.

g, alors

f
D

g.
D

|f |.
b

Thorme de Fubini :

f
D

(x)

f (x, y) dy

f=
D

dx.

(x)

Additivit par rapport au domaine dintgration : Si D est dcompos en deux domaines disjoints E et F sur

lesquels lintgrale double de f est dfinie :

f=

f.

f +

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

d et (y)

et o D est lensemble

(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.
Exemple

On pose D = (x, y) R2 /

Alors :

x2 + y 2

z=x
1

le disque trigonomtrique .

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 .

c Christophe Bertault - MPSI

En effet

D = (x, y) R2 /

Tout dabord :
x dx dy

Fubini

Exemple On pose D = (x, y) R /


En effet

1y 2

(x + 2y) dx dy
1
0

0 dx = 0

1 y2 .

Du coup :

par imparit de la fonction x x.

z = x + 2y

1
(x+2y) dx dy = .
2
D

1x . Alors :

1x

Fubini

(x + 2y) dy dx

xy + y 2

1 y2

1 et

1y 2

y=1x
dx
y=0

x dx dy =

1 et 0

1
0

(1 x) dx =

x=1

(1 x)2
2

=
x=0

1
.
2

Changement de variables

Il existe une formule gnrale du changement de variables pour les intgrales doubles, mais elle ne figure pas notre programme. Cela dit, pour vous aider comprendre les deux cas particuliers tudis ci-aprs, nonons sans ses hypothses prcises
cette formule :
f (x, y) dx dy =
f (u, v) J (u, v) du dv.
(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 R.
y y
u v
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 :
f (x, y) dx dy =
D

f (r cos , r sin ) r dr d,
E

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

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

ex dx =

(intgrale de Gauss).

En effet

e(x

Lastuce de cet exemple consiste tudier lintgrale

+y 2 )

[R,R]2

dx dy pour tout R R+ ,

puis faire tendre R vers .


e(x

Soit R R+ . Alors :

+y 2 )

[R,R]2

ex ey dx dy

dx dy =

Fubini

[R,R]2

ex dx

2
2
Or on a linclusion : BF (O, R) [R, R]2 BF O, R 2 . La fonction (x, y) e(x +y ) tant
positive, la proprit dadditivit par rapport au domaine dintgration nous donne alors lingalit :

R
O

e(x
BF (O,R)

+y 2 )

e(x

dx dy
[R,R]2

+y 2 )

dx dy
BF (O,R

e(x
2)

+y 2 )

dx dy

c Christophe Bertault - MPSI

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


Lapplication (r, ) (r cos , r sin ) transforme [0, R] [0, 2] en BF (O, R).
e(x

+y 2 )

er r dr d

dx dy =

BF (O,R)

Fubini

[0,R][0,2]

Par consquent :

e(x

lim

+y 2 )

dx dy = . De mme pour lim

BF (O,R)

En effet

0 et 1

lim

x2 + y 2

r=R

= 1er
r=0

e(x

+y 2 )

+y 2 )

ex dx

= .

4 . Alors :

(x + y) dx dy =

14
.
3

Notons E = [1, 2] [0, ]. Alors lapplication (r, ) (r cos , r sin ) est bijective de E sur D.
2

z =x+y

[1,2][0,]

(r cos + r sin ) r dr d =

r3
3

r=2
r=1

sin cos

=
=0

7
14
2 =
.
3
3

r 2 dr

(cos + sin ) d
0

dx dy.

dx dy = .

[0,R]2

(x + y) dx dy =

e(x

lim

er
2

BF (O,R 2)

Avec nous obtenons le rsultat voulu :

On pose D = (x, y) R2 /

= 2

Finalement, le thorme des gendarmes appliqu montre que :

Exemple

rer dr