MESURE PRODUIT

December 30, 2024

Bakiri Hichem et Lethied Ahmed Djaber

December 30, 2024

1
Contents
1 PRODUIT D’ESPACES MESURABLES 3

2 MESURE PRODUIT 4

3 CONVOLUTION DE MESURES FINIES 6

4 THÉORÈME DE FUBINI 7
4.1 théorème de Fubini-Tonelli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.2 théorème de [Link] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.3 Discussions sur les théorème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

5 LA MESURE PRODUIT EN APPLICATION 9

2
1 PRODUIT D’ESPACES MESURABLES
Etant donné deux espaces mesurables, on veut définir une tribu sur le produit cartésien de ces espaces.
Soient (X1 ,M1 ) et (X2 ,M2 ) deux espaces mesurables. On munit le produit X1 × X2 de la tribu produit M1 ⊗ M2
définie par :

M1 ⊗ M2 = σ (A1 × A2 | A1 ∈ M1 , A2 ∈ M2 )

A1 × A2 , A1 ∈ M1 , A2 ∈ M2 est appelé un rectangle mesurable, et l’ensemble des rectangles mesurables n’est pas
une tribu en général.
Montrons quelques propriétés de la tribu produit :
1) La tribu M1 ⊗ M2 est la plus petite tribu sur X1 × X2 qui rende mesurable les deux projections canoniques
π1 : X1 × X2 → X1 et π2 : X1 × X2 → X2 .
En effet, si M est une tribu sur X1 × X2 qui rend π1 et π2 mesurables, alors
∀A1 ∈ M1 , ∀A2 ∈ M2 , π1−1 (A1 ) = A1 × X2 ∈ M, π2−1 (A2 ) = X1 × A2 ∈ M.
Donc A1 × A2 = (A1 × X2 ) ∩ (X1 × A2 ) ∈ M , donc M1 ⊗ M2 ⊂ M .
2) Soit (X, M ) un autre espace mesurable, et soit f = (f1 , f2 ) une application de X dans X1 × X2 . Alors f : (X, M ) →
(X1 × X2 , M1 ⊗ M2 ) est mesurable si et seulement si fi : (X, M ) → (Xi , Mi ) est mesurable pour i = 1, 2.
En effet, si f est mesurable, alors f1 = π1 ◦f et f2 = π2 ◦f le sont aussi comme composition de fonctions mesurables.
Inversement, si f1 et f2 sont mesurables, alors pour tout A1 ∈ M1 , A2 ∈ M2 , on a
f −1 (A1 × A2 ) = f1−1 (A1 ) ∩ f2−1 (A2 ) ∈ M,
donc f est mesurable.
On étend facilement la définition de la tribu produit pour un nombre fini d’espaces mesurables (X1 , M1 ), . . . , (Xn , Mn )
en posant
M1 ⊗ M2 ⊗ · · · ⊗ Mn = σ (A1 × A2 × · · · × An | Ai ∈ Mi , ∀i ∈ {1, 2, . . . , n}) ,
et on a la propriété d’"associativité" suivante :

Lemme : (M1 ⊗ M2 ) ⊗ M3 = M1 ⊗ (M2 ⊗ M3 ) = M1 ⊗ M2 ⊗ M3

Rappel : Soient (X1 , T1 ), (X2 , T2 ) deux espaces topologiques. On munit X1 × X2 de la topologie produit T1 ⊗ T2
engendrée par les rectangles ouverts U1 × U2 , avec U1 ∈ T1 et U2 ∈ T2 . Les éléments de T1 ⊗ T2 sont donc les unions de
rectangles ouverts. La topologie T1 ⊗ T2 est la topologie la moins fine sur X1 × X2 qui rende continues les projections
canoniques π1 et π2 . On veut maintenant comparer les tribus produit des tribus de Borel sur des espaces topologiques.
Pour cela, on a la proposition suivante :

Propsition 1. Soient X1 et X2 deux espaces topologiques, munis de leur tribu borélienne. Alors
i. B(X1 × X2 ) ⊃ B(X1 ) ⊗ B(X2 ).
ii. Si X1 et X2 sont des espaces métriques séparables, alors on a :
B(X1 × X2 ) = B(X1 ) ⊗ B(X2 ).

Proof. i. On munit X1 × X2 de la topologie produit. Alors les projections π1 et π2 sont continues, donc mesurables
pour les tribus boréliennes. Par la propriété 1) des tribus produit, on a
B(X1 × X2 ) ⊃ B(X1 ) ⊗ B(X2 ).

ii. On suppose que X1 et X2 sont des espaces métriques séparables. Alors, X1 et X2 contiennent des bases
dénombrables d’ouverts U = {Un }n∈N et V = {Vm }m∈N (par exemple, si on prend une suite (xk )k∈N dense
dans X1 , on peut prendre pour U l’ensemble des boules ouvertes de rayon rationnel centrées sur l’un des xk ).
Il s’ensuit que la famille W = {Un × Vm | n, m ∈ N} est une base dénombrable de X1 × X2 (en effet, si
O ⊂ X1 × X2 est ouvert, et si z = (x, y) ∈ O, alors il existe (O1 , O2 ) ∈ X1 × X2 un couple d’ouverts avec
z ∈ O1 × O2 tel que O1 × O2 ⊂ O). Ainsi, chaque ouvert de X1 × X2 appartient à la tribu B(X1 ) ⊗ B(X2 ) et
on a B(X1 × X2 ) ⊂ B(X1 ) ⊗ B(X2 ). Le a) permet de conclure. v

3
 Introduisons les notations suivantes. Si (X, M ) et (Y, N ) sont deux espaces mesurables quelconques et si E ⊂ X ×Y ,
on note :
Ex = {y ∈ Y | (x, y) ∈ E} pour x ∈ X,
Ey = {x ∈ X | (x, y) ∈ E} pour y ∈ Y.
Et si f : X × Y → Z (espace quelconque), on définit :

fx : Y → Z par fx (y) = f (x, y) pour x ∈ X,

fy : X → Z par fy (x) = f (x, y) pour y ∈ Y.

Propsition 2. Soient (X, M ) et (Y, N ) deux espaces mesurables.

i. Si E ∈ M ⊗ N , alors Ex ∈ N , ∀x ∈ X et Ey ∈ M , ∀y ∈ Y .

ii. Si f : X × Y → Z (espace mesurable quelconque) est mesurable pour la tribu produit M ⊗ N , alors

∀x ∈ X, fx : Y → Z est mesurable,

∀y ∈ Y, fy : X → Z est mesurable.

Proof. i. Pour x ∈ X, notons Nx = {E ∈ M ⊗ N | Ex ∈ N }. Alors, Nx contient les rectangles mesurables : si

E = A × B, avec A ∈ M , B ∈ N , alors
(
B si x ∈ A,
(A × B)x =
∅ sinon.

Par ailleurs, on vérifie aisément que Nx est une tribu. Ainsi, Nx = M ⊗ N . On fait de même pour y ∈ Y .

ii. Soit f : X × Y → Z mesurable pour la tribu produit M ⊗ N . Alors si E ⊂ Z est mesurable, on a pour tout
x∈X :
fx−1 (E) = {y ∈ Y | f (x, y) ∈ E} = {y ∈ Y | (x, y) ∈ f −1 (E)} = (f −1 (E))x ∈ M ⊗ N.
Par conséquent, fx est mesurable pour tout x ∈ X. On fait de même avec y ∈ Y .

2 MESURE PRODUIT
On veut maintenant construire une mesure sur l’espace produit X × Y , où X et Y sont des espaces mesurés.

Définition 1. On dit qu’un espace mesuré (X, M, µ) est σ-fini s’il existe une suite croissante de parties mesurables
En telle que [
X= En et µ(En ) < ∞ pour tout n ∈ N.
n∈N

Théorème 2.1. Soient (X, M, µ) et (Y, N, ν) deux espaces mesurés σ-finis. Alors :

(i) Il existe une unique mesure m sur (X × Y, M ⊗ N ) telle que

m(A × B) = µ(A)ν(B) ∀A ∈ M, ∀B ∈ N (1.1)

(ii) Pour tout E ∈ M ⊗ N , on a : Z Z

m(E) = ν(Ex ) dµx = µ(Ey ) dνy
X Y

4
 S S
Proof. i. Unicité. Par hypothèse, il existe {An }n∈N et {Bn }n∈N telles que X = n∈N An , Y = n∈N BnSet pour
tout n ∈ N, An ∈ M , Bn ∈ N , An ⊂ An+1 , Bn ⊂ Bn+1 , µ(An ) < ∞ et ν(Bn ) < ∞. Alors, X × Y = n∈N En
avec En = An × Bn pour tout n ∈ N.
Soient m1 , m2 deux mesures sur (X × Y, M ⊗ N ) qui vérifient (1.1). Alors,

• m1 et m2 coïncident sur la famille des rectangles mesurables, qui est stable par intersection finie et engendre
la tribu M ⊗ N .
• m1 (En ) = µ(An )ν(Bn ) = m2 (En ) < ∞ pour tout n ∈ N.
Par le lemme des classes monotones, on a m1 = m2 . Cet argument montre que toute mesure m vérifiant (1.1)
est σ-finie.
ii. Existence. L’idée est de définir m par la formule
Z
m(E) = ν(Ex ) dµx pour E ∈ M ⊗ N (1.2)
X

De même, on peut utiliser Z

me (E) = µ(Ey ) dνy
Y
et l’unicité montrera que m = me .
Remarquons que ν(Ex ) est bien définie pour tout x ∈ E d’après la proposition 1.3 précédente. Pour vérifier
que la formule (1.2) a bien un sens, il faut vérifier que pour tout E ∈ M ⊗ N , l’application x 7→ ν(Ex ) est
M -mesurable.
a) Supposons tout d’abord que ν est une mesure finie. Notons

M = {E ∈ M ⊗ N | x 7→ ν(Ex ) est M -mesurable} ⊂ M ⊗ N.

Alors,
• M contient les rectangles mesurables : si E = A × B, A ∈ M , B ∈ N , on a ν(Ex ) = 1A (x)ν(B). De plus,
la classe des rectangles mesurables est stable par intersections finies.
• On vérifie aisément que M est une classe monotone :
– X × Y ∈ M car ν((X × Y )x ) = 1X (x)ν(Y ) = ν(Y ).
– Si E, F ∈ M et E ⊂ F , on a :

ν((F \ E)x ) = ν(Fx \ Ex ) = ν(Fx ) − ν(Ex ),

qui est une fonction mesurable, donc F \ E ∈ M .

– Si {En }n∈N est une famille croissante d’éléments de M , alors :
! !
[ [
ν En =ν (En )x = lim ν ((En )x )
n→∞
n∈N x n∈N
S
qui est la limite de fonctions mesurables, donc mesurable, et n∈N En ∈ M .
Par le lemme des classes monotones, on a M = M ⊗ N . Ainsi, x 7→ ν(Ex ) est mesurable pour tout
E ∈ M ⊗ N.
S
b) Si ν est seulement σ-finie, on écrit comme avant que Y = n∈N Bn , et on applique le résultat de α à la
mesure νn définie par νn (B) = ν(B ∩ Bn ) pour tout B ∈ N . Comme ν(Ex ) = limn→∞ νn (Ex ), on en déduit que
x 7→ ν(Ex ) est mesurable pour tout E ∈ M ⊗ N .
On peut donc définir Z
m(E) = ν(Ex ) dµ(x) ∀E ∈ M ⊗ N
X

5
 Reste à vérifier que m est bien une mesure. Par construction, m(∅) = 0, et m(A × B) = µ(A)ν(B) pour tout
A ∈ M et B ∈ N . Si {En }n∈N est une famille disjointe de M ⊗ N , les {(En )x }n∈N sont aussi disjoints pour tout
x ∈ X, et on a
! Z
[ X
m En = ν ((En )x ) dµ(x)
n∈N X n∈N
Z !
[
= ν (En )x dµ(x)
X n∈N
XZ
= ν ((En )x ) dµ(x)
n∈N X
X
= m(En )
n∈N

Remarque.
1) Par le même procédé, on peut définir le produit de n mesures σ-finies µ1 , . . . , µn en posant par exemple

µ1 ⊗ · · · ⊗ µn = µ1 ⊗ (µ2 ⊗ (· · · ⊗ µn ))

L’ordre des parenthèses n’a pas d’importance, car la mesure produit est entièrement définie par sa valeur sur les pavés
mesurables :
(µ1 ⊗ · · · ⊗ µn )(A1 × · · · × An ) = µ1 (A1 ) · · · µn (An )
2) Si (X, M, µ) = (Y, N, ν) = (R, B(R), λ), alors X ×Y = R2 , M ⊗N = B(R2 ) et µ⊗ν = λ2 , la mesure de Lebesgue sur
R2 . En effet, la dernière égalité provient du fait que les mesures prennent les mêmes valeurs sur les pavés mesurables.
De même, λd = λ1 ⊗ · · · ⊗ λ1 (d fois). Ainsi, on aurait pu se contenter de montrer l’existence de la mesure de Lebesgue
sur R et généraliser sur Rd avec cette remarque.
3) L’hypothèse de σ-finitude est nécessaire. En effet, soit (X, M ) = (Y, N ) = (R, B(R)), µ = λ la mesure de Lebesgue
et ν la mesure de comptage (non σ-finie). Soit E = {(x, y) ∈ R2 | x = y} ∈ M ⊗ N = B(R2 ). On a ν(Ex ) = 1,
∀x ∈ X et µ(Ey ) = 0, ∀y ∈ Y . Or,
Z Z
∞= ν(Ex )dµ(x) ̸= µ(Ey )dν(y) = 0
X Y

3 CONVOLUTION DE MESURES FINIES

Définition 2. Soient µ1 et µ2 deux mesures finies sur R. On appelle produit de convolution de µ1 et µ2 la mesure
finie définie sur R par
µ1 ⋆ µ2 (A) = µ1 ⊗ µ2 ({(x, y) | x + y ∈ A}) .

Propriétés :
- Pour toute fonction mesurable f : R → R,
Z Z
f (x) d(µ1 ⋆ µ2 ) = f (x + y) dµ1 (x) dµ2 (y)
R R2

- dès que l’une des deux expressions a un sens.

- Le produit de convolution est associatif, commutatif.

- La masse de Dirac en 0 est l’élément neutre du produit de convolution.
- Si a, b ∈ R, alors
δa ⋆ δb = δa+b .

- Si dµ1 = f (x) dx et dµ2 = g(x) dx sont deux mesures à densité, alors

d(µ1 ⋆ µ2 ) = (f ⋆ g) dx.

Autrement dit, le produit de convolution des mesures étend le produit de convolution des fonctions.

6
4 THÉORÈME DE FUBINI
4.1 théorème de Fubini-Tonelli
Théorème 4.1 ((Fubini-Tonelli)). Soient (X, M, µ) deux espaces mesurès σ-finis, et soit f : X × Y → [0, +∞] une
fonction M ⊗ N -[Link] :

(X, M) → R [0, +∞[ et (Y, N ) → R [0, +∞[

i. les fonction sont mesurable.
x 7→ Y
f (x, y)dνy y 7 → X
f (x, y)dµx
ii. ROn a les ègalitè suivantes
R R : R R
X×Y
f d(µ ⊗ ν) = ( f (x, y)dνy )dµx = Y ( X f (x, y)dµx )dνy
X Y
∈ [0, +∞]
De même que pour le théorème de Beppo-Levi, quand on a des fonctions mesurables positives, il n’y a aucune
précaution à prendre. Ici, on peut échanger les deux intégrales sans problème.

Proof. Soit E ∈ M ⊗ N , et soit f = 1E . Alors,

Z Z
f (x, y)dνy = ν(Ex ), f (x, y)dµx = µ(E y )
Y X

donc les conclusions de i) et ii) ont été établies au paragraphe précédent, lors de la démonstration du théorème
[mesure produit]. Par linéarité, le résultat reste vrai si f : X × Y → [0, +∞] est une fonction étagée mesurable. Enfin,
si f : X × Y → [0, +∞] est mesurable, il existe une suite croissante (fn )n∈N de fonction étagées positives telles que
fn (x, y) → f (x, y) pour tout x ∈ X et y ∈ Y . Par le théorème de la convergence monotone, on a par exemple :
n→∞
Z Z
f (x, y)dνy = lim fn (x, y)dνy
Y n→∞ Y

donc i) est vrai. Par ailleurs, l’égalité ii) est vraie pour fn , donc pour f par passage à la limite croissante en appliquant
deux fois le théorème de la convergence monotone.
On passe maintenant au cas de fonctions réelles ou complexes.

4.2 théorème de [Link]

Théorème 4.2 ((Fubini-Lebesgue)). Soient (X, M, µ) et (Y, N , ν) deux espaces mesurés σ-finis, et soit f : X × Y →
Rou C une fonction intégrable, [Link] ∈ L1 (X × Y, M ⊗ N , µ ⊗ ν).Alors:
i. Pour presque tout x ∈ X,la fonction y 7→ f (x, y) est dans L1 (Y, N , ν).
Pour presque tout y ∈ Y , la fonction x 7→ f (x, y) est dans L1 (X, M, µ).

ii. La fonction x 7→ R Y f (x, y)dνy (définie µ-presque partout)est dans L1 (X, M, µ).
R

La fonction y 7→ X f (x, y)dµx (définie ν-presque partout) est dans L1 (Y, N , ν).
iii. On a les égalités suivantes :
Z Z Z Z Z
f d(µ ⊗ ν) = ( f (x, y)dνy )dµx = ( f (x, y)dµx )dνy
X×Y X Y Y X

Proof. Il suffit de considérer le cas où f est à valeur réelles.

i. On a déjà montré que pour tout x ∈ X, la fonction y 7→ f (x, y) est N -mesurable. En appliquant le théorème de
Fubini-Tonelli à la fonction |f |, on trouve que :
Z Z Z
( |f (x, y)|dνy )dµx = |f |d(µ ⊗ ν) < ∞
X Y X×Y
R
Donc, Y
|f (x, y)|dνy < ∞ pour presque tout x ∈ X.

7
 ii. Ecrivons f = f+ − f− ,et définissons
(R R R
Y
f+ (x, y)dνy − Y f− (x, y)dνy si Y |f (x, y)|dνy < ∞
g(x) =
0 sinon
Alors, g est mesurable (par Fubini-Tonelli appliqué à f+ et f− ),et
Z Z Z
|g|dµ ≤ ( |f (x, y)|dνy )dµx < ∞
X X Y

et on en déduit que g ∈ L1 (X, M, µ).

iii. Enfin, toujours par Fubini-Tonelli,
Z Z Z 
f+ d(µ ⊗ ν) = f+ (x, y)dνy dµx
X×Y X Y

et Z Z Z 
f− d(µ ⊗ ν) = f− (x, y)dνy dµx
X×Y X Y
En faisant la défférence de ces intégrales, on trouve le résultat.

Si f vérifie hypothèses du théorème de Fubini-Tonelli, ou de Fubini-Lebesgue, et si f (x, y) = g(x)h(y) (f se

factorise),alors on a : Z Z  Z 
f+ d(µ ⊗ ν) = gdµ hdν
X×Y X Y

4.3 Discussions sur les théorème

Nous allons voir un exemple pourquoi il est nécessaire d’avoir deux théorèmes de Fubini, et l’importance de l’hypothèse
d’intégrabilité de la fonction que l’on veut intégrer dans le théorème de Fubini-Lebesgue.
Exemple 1. Soit X =]0, +∞[, muni de la tribu de Borel et de la mesure de lebesgue, notée dx. Soit f : X × X → R
la fonction définie par
e−y si sin(xy)
f (x, y) = √ ∀x, y > 0
x 1 + x2
Montrer que f intégrable et calculer son intégrale.
Solution: f est continue, donc mesurable. On se trouve face à une fonction pouvant prendre des valeurs négatives,
on va donc devoir utiliser le théorème de Fubini-Lebesgue. Cepandant, il est nécessaire pour l’appliquer de montrer
l’intégrabilité de la fonction : pour cela, on utilisele théorème de Fubini-Tonelli sur |f |!
1) On rappelle que ∀x ∈ R, |sin(x)| ⩽ min(|x|, 1).
− Si 0 < x ⩽ 1, on écrit:
e−y xy ye−y
|f (x, y)| ⩽ √ =√
x 1 + x2 1 + x2
Et ainsi, Z ∞
1
|f (x, y)|dy ⩽ √
0 1 + x2
− Si x ⩾ 1, on écrit
e−y
|f (x, y)| ⩽ √
x 1 + x2
Et ainsi, Z ∞
1
|f (x, y)|dy ⩽ √
0 x 1 + x2
On a finalement Z ∞
1 1
|f (x, y)|dy ⩽ 1]0,1[ (x) √ + 1[1,+∞[ (x) √
1+x 2 x 1 + x2
0
d’où Z ∞ Z ∞  Z 1 Z ∞
1
|f (x, y)|dy dx ⩽ dx + dx = 2 < ∞
0 0 0 1 x2
R
Ainsi, f est intégrable, et |f |dxdy ⩽ 2.

8
2) On applique donc le théorème de Fubini-Lebesgue, et on a
Z ∞ Z ∞ 
−y −y ixy
e sin(xy)dy = I e e dy
0
 0 
1 x
=I =
1 − ix 1 + x2
Donc
Z Z ∞  
x 1
f dxdy = × √ dx
X×Y 0 1 + x2 x 1 + x2
Z
a
= 0∞ 3 dx
(1 + x2 ) 2
Z ∞
x=sh(t) 1
= 3 ch(t)dt
0 (1 + sh2 ) 2
Z ∞
1
= 2
dt
0 ch(t)
t=∞
= [th(t)]t=0
= 1

Exemple 2 (REMARQUE!). il est indispensable lors de l’appliquation du théorème de Fubini-Lebesgue de vérifier

l’intégrabilité avant de calculer les itérées!
2 2
−y
Exemple 3. Soit X =]0, 1[, et f : X × X → R définie par f (x, y) = (xx2 +y 2 )2 .

Pour 0 < x < 1, on a :

Z 1 y=1
x2 − y 2

y 1
2 + y 2 )2
dy = 2 2
=
0 (x x + y y=0 1 + x2
On en déduit que Z 1 Z 1  Z 1
1 π
f (x, y)dy dx = dx = [arctan(x)]x=1
x=0 =
0 0 0 1 + x2 4
Or, x et y jouent un rôle antisymétrique, donc
Z 1 Z 1 
π
f (x, y)dx dy = −
0 0 4

En fait, f n’est pas intégrable sur ]0, 1[2 , En effet

Z 1 Z x Z 1 y=x Z 1
x2 − y 2
Z 
y 1
f+ dxdy = 2 2 2
dy dx = 2 2
dx = dx = +∞
]0,1[2 0 0 (x + y ) 0 x + y y=0 0 2x

Exemple 4 (REMARQUE!). Il est possible que les intégrales itéré donnent les même valeurs, mais que la fonction
ne soit pas non plus intégrable.
En pratique, il faut donc se souvenir que l’appliquation du théorème de Fubini-Lebesgue est toujours justifiée pour
les fonction mesurables positives et que le cas des fonctions à valeurs dans R ou C, il faut s’assurer que
Z
|f |d(µ ⊗ ν) < ∞

ce que l’on fait le plus souvant en appliquant le théorème de Fubini-Tonelli à propos des fonctions positives.

5 LA MESURE PRODUIT EN APPLICATION

Exemple 5 (Normalisation de la gaussienne). On se propose de montrer que
Z ∞ r
2 π
I= e−x /2 dx = .
0 2

9
On définit f sur R2+ par f (x, y) = y exp(y 2 (1 + x2 )/2). La fonction f est continue donc mesurable, de plus, elle est
positive sur R2+ donc le théorème de Tonelli s’applique. Or, d’une part,
∞
exp(−y 2 (1 + x2 )/2)
Z 
1
f (x, y)dy = =
R+ 1 + x2 0 1 + x2

Donc Z Z ! Z
1 π
f (x, y)dy dx = 2
= .
R+ R+ R+ 1+x 2
D’autre part, pour y> 0, à l’aide du changement de variable u = xy
Z Z Z
2 2 2 2 2
f (x, y)dx = e−y /2 e−(xy) /2 ydx = e−y /2 e−u /2
du = Ie−y /2
.
R+ R+ R+

En intégrant par rapport à la variable y, on obtient

Z Z !
f (x, y)dx dy = I 2 .
R+ R+

pπ
Le théorème de Tonelli implique I 2 = π/2 et par positivité de l’intégrale I = 2 on obtient le résultat.
Remarque. Dans le calcule, nous avons supposé, pour le changement de variable soit inversible, que y > 0. Il n’est
pas nécessaire de considérer le cas y = 0 puisque
Z Z
f (x, y)dx1R+ (y) = f (x, y)dx1R∗+ (y), p.p..
R+ R+

Si dans l’exemple ci-dessus, on a profité de la positivité de la fonction f pour appliquer le théorème de Tonelli. on
considère ci-dessous un exemple de fonction à intégrer qui n’est pas de signe constant.
Dans ce cas, on commance par étudier l’intégrabilité de la valeur absolue de la fonction Ĺa inégrer en utilisant le
théorème de Tonelli. Une fois l’intégrabilitéassuré, on applique le théorème de Fubini.
Exemple 6. On veut calculer Z
sin(xy) exp {−(x + y)} dxdy.
R2+

On trouve facilement une majoration de la valeur absolue

Z Z
|sin(xy)| exp {−(x + y)} dxdy ≤ exp {−(x + y)} dxdy
R2+ R2+

Dans l’intégrale de droite, on peut appliquer le théorème de Tonelli, d’où

Z Z ! Z !
−x −y
exp {−(x + y)} dxdy = e dx e dy = 1.
R2+ R+ R+

On en déduit l’intégrabilité de la fonction de départ. Par le théorème de Fubini, on obtient (c’est un exemple, on peut
bien sûr intervertir le rôle de x et y si le calcule est facile)
Z Z "Z #
sin(xy) exp {−(x + y)} dxdy = sin(xy) exp {−(x + y)} dx dy
R2+ R+ R+

En intégrant par parties deux fois (on intègre l’exponentielle), on montre que
Z
y
J(y) = sin(xy)e−x dx = .
R+ 1 + y2

Ainsi, on obtient finalement

ye−y
Z Z
sin(xy) exp {−(x + y)} dxdy = dy.
R2+ R+ 1 + y2

10
Exemple 7. On veut calculer Z
sin(y) exp {−(x + y)} dxdy.
R2+

On trouve facilement une majoration de la valeur absolue

Z Z
|sin(y)| exp {−(x + y)} dxdy ≤ exp {−(x + y)} dxdy.
R2+ R2+

Dans l’intégrale de droite, on peut appliquer le théorème de Tonelli, d’où

Z Z ! Z !
−x −y
exp {−(x + y)} dxdy = e dx e dy = 1.
R2+ R+ R+

On en déduit l’intégrabilité de la fonction de départ. Par le théorème de Fubini, on obtient

Z Z ! Z !
sin(y) exp {−(x + y)} dxdy = sin(y)e−y dy e−x dx .
R2+ R+ R+

De plus, en intégrant par partie deux fois, on obtient

Z Z
−y 1
sin(y)e dy = 1 − sin(y)e−y dy = .
R+ R+ 2

L’intégrale voulue initialement vaut donc 1/2

Exemple 8. Soit f (x, y) = xy 2 et ∆ le domaine intérieur au triangle ABC avec A = (0, 1), B = (1, 3) et C = (0, 1).
La fonction f est continue sur δ compact donc f est bornée disons par M ≥ 0. On voit facilement par croissance de
l’intégrale Z
|f (x, y)|dxdy ≤ M λ(∆) < ∞.
∆
On peut donc appliquer le théorème de Fubini. Un calcul simple donne

Z Z Z 1 Z 3 (x+1)
1∆ f (x, y)dxdy = 1[−1,1] (x)1[0, 23 (x+1)] (y)f (x, y)dxdy = x 2 y 2 dydx
R2 R2 −1 0

Ainsi,
1
x5 x4 x2
Z Z  
9 27
1∆ f (x, y)dxdy = + 3 + x3 + dx = .
R2 8 −1 5 4 2 10

11