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
b et c d.

Intgrale double sur un rectangle

Thorme

(Intgrale 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

[a,b][c,d]

jouissant des proprits suivantes. Pour tous f, g C [a, b] [c, d], R :

[a,b][c,d]

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]

Ingalit triangulaire :

f
[a,b][c,d]

[a,b][c,d]

f=

f (x, y) dy dx =

[a,b][c,d]

f (x, y) dx dy.

[a,b][c,d]

|f |.

Thorme de Fubini :

g.

[a,b][c,d]

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


f=

f +

[a,b][c,d]

[a,u][c,d]

et

f=

[u,b][c,d]

f +

[a,b][c,d]

f.

[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


dnies 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 eectif 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 eet

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 eet

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

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

(x)(y) dx dy

(x)(y) dy dx
a

d
c

c
(x) ne dpend pas de y

scalaire

(x)dx =
a

(y) dy

(y) dy dx =

(x)

Fubini

[a,b][c,d]

(x)(y) dx dy =
[a,b][c,d]

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

Nous

c Christophe Bertault - MPSI

Exemple
0

x1
dx = ln 2.
ln x

En eet
x1
La fonction x
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 justie lexistence de
x0 ln x
x1
1
x1
lintgrale
dx.
ln x
0
Nous allons calculer cette intgrale au moyen dune intgrale double qui en apparence na aucun rapport.
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]

xy dx dy =
0

y=1

= ln(y + 1)

y=0

Nous venons donc de montrer la formule :

y=1

ey ln x
ln x

Fubini

ey ln x dy dx =

y+1

x
y+1

x1
dx = ln 2
ln x

y=0

x=1

1
0

x=

1
0

1
0

x1
dx
ln x

dy

y+1

dy =

y+1
dy = ln 2
y+1

dx =

1
0

y+1
dy.
y+1

y+1

dy.
y+1

1
y+1
dy
dy
= ln 2. Daprs le thorme dencadrement :
0 y+1
0 y+1
ce qui nous donne aussitt le rsultat.

Or :

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 dni 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 dnition prcise des domaines autoriss : la dnition suivante, quoique restreinte, nous
fournira dj un lot susant dexercices.
Thorme
que

(Intgrale double sur un domaine dni par des conditions simples) Soient , C [a, b], R telles

. On note D lensemble

(x, y) R2 /

b et (x)

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

Positivit : Si f

0, alors

(f + g) =
D

(x) .

ou

f (x, y) dx dy

suivantes. Pour tous f, g C(D, R) :


Linarit : Pour tous , R :

f +
D

g.
D

Croissance : Si f

0.

g, alors

Ingalit triangulaire :

f
D
b

Thorme de Fubini :

f
D

(x)

f (x, y) dy
a

g.
D

|f |.

f=
D

jouissant des proprits

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 dnie, alors :

f=

f +

f.

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

d et (y)

(y) .

et o D est lensemble

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

z=x

c Christophe Bertault - MPSI

On pose D = (x, y) R2 /

Exemple
Alors :

x2 + y 2

le disque trigonomtrique .

x dx dy = 0.
D

Ce rsultat parat naturel sur la gure ci-contre car la portion positive du volume
considr est annule exactement par sa portion ngative .
En eet

D = (x, y) R2 /

Tout dabord :

x dx dy

Fubini

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


En eet

1y 2

1 et

1 y2

1 y2 .

1y 2

0 dx = 0

par imparit de la fonction x x.

1 et 0

1x . Alors :

(x+2y) dx dy =
D

(x + 2y) dx dy

Fubini

xy + y 2

z = x + 2y

1
.
2

1x

(x + 2y) dy dx
0

Du coup :

x dx dy =

y=1x
dx
y=0

1
0

(1 x) dx =

(1 x)2
2

x=1

=
x=0

1
.
2

Changement de variables

Il existe une formule gnrale du changement de variables pour les intgrales doubles, mais elle ne gure 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 dnition le jacobien J de est le dterminant : J =
. Enn, 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 dnie 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 :

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

c Christophe Bertault - MPSI

Exemple

ex dx =

Cette intgrale est appele lintgrale de Gauss.

En eet

e(x

Lastuce de cet exemple consiste tudier lintgrale

+y 2 )

dx dy pour tout R R+ ,

[R,R]2

puis faire tendre R vers .


e(x

Soit R R+ . Alors :

+y 2 )

ex ey dx dy

dx dy =

[R,R]2

Fubini

ex dx

[R,R]2

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

+y 2 )

e(x

dx dy

+y 2 )

dx dy

BF (O,R 2)

[R,R]2

BF (O,R)

e(x

+y 2 )

dx dy

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).
(x2 +y 2 )

r 2

dx dy =

BF (O,R)

r dr d

Fubini

[0,R][0,2]

Par consquent :

e(x

+y 2 )

En eet

0 et 1

lim

x2 + y 2

r=R

= 1er
r=0

e(x

+y 2 )

+y 2 )

= .

4 . Alors :

(x + y) dx dy =
D

(r cos + r sin ) r dr d =

14
.
3

[1,2][0,]

r3
3

r=2
r=1

sin cos

D
y

=
=0

7
14
2 =
.
3
3

r 2 dr

(cos + sin ) d
0

dx dy.

dx dy = .

[0,R]2

ex dx

e(x

lim

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

z = x+y

BF (O,R 2)

dr

dx dy = . De mme pour lim

BF (O,R)

Avec nous obtenons le rsultat voulu :

On pose D = (x, y) R2 /

er
= 2
2

Finalement, le thorme dencadrement appliqu montre que :

Exemple

r 2

re

lim