UNIVERSITE MOHAMMED I

Faculté des Sciences Module Integration Master

Département de Mathématiques [Link]

TD Integration Master 2018-2019 série no 2 : Solution

Intégrales multiples

Exercice 1 (Petit exercice) Soit A ⊂ R un ensemble non mesurable (A ∈/ L1 ). Montrer

que {0} × A est un ensemble négligeable de (R2 , L2 , m2 ). Conclure.
Solution :Il est evident que {0} × A ⊂ {0} × R et {0} × R est un borelien de mesure
0 × +∞ = 0. Or {0} × A ∈ L2 et {0} × A ∈
/ L1 ⊗ L1 sinon A = ({0} × A)0 ∈ L1 . Ou dire
que : [
{0} × A ⊂ ({0} × [−n, n])
n∈N

et la réunion est une réunion dénombrable d'ensembles de mesures nulles dans R2 .

Soit Φ une fonction continue sur [0, 1] et nulle ailleurs telle que Φ dm = 1.
R
Exercice 2
Soit :
f (x, y) = H(y) Φ(y − E(y)) (Φ(x − E(y)) − Φ(x − E(y) − 1))
avec H = χR+ est la fonction de Heaviside. Montrer que :
1. ( f dm(y)) dm(x) = 1.
R R

2. ( f dm(x)) dm(y) = 0.
R R

3. Conclure
Solution :
1. On va intégrer par rapport a y :
R R +∞
f dm(y) = 0
Φ(y − E(y)) (Φ(x − E(y)) − Φ(x − E(y) − 1))dy
+∞
P R n+1
= (Φ(x − n) − Φ(x − n − 1)) n Φ(y − n) dy
n=0
+∞
P
= (Φ(x − n) − Φ(x − n − 1))
n=0
= Φ(x)
car
R Φ(x − k) = 0 pour k > E(x) et la série est nie, d'où ( f dm(y)) dm(x) =
R R

Φ dm = 1.
2. On va intégrer par rapport a x, déjà f = 0 pour x < 0. :
R R +∞
f dm(x) = 0 Φ(y − E(y)) (Φ(x − E(y)) − Φ(x − E(y) − 1))dx
R +∞
= Φ(y − E(y)) 0 (Φ(x − E(y)) − Φ(x − E(y) − 1))dx
= 0
car Φ dm = Φ(.−k) dm pour tout entier naturel k . D'où ( f dm(x)) dm(y) =
R R R R

0.

1
 3. Les conditions de Fubini ne sont pas satisfaites.

Exercice 3 On considère les deux espaces mesurés (R, L1 , m1 ) et (R, P(R), Card). Soit
D = {(x, x) ∈ R2 / x ∈ R}.
1. Montrer que D ∈ L1 ⊗ P(R).
2. Calculer χD (x, y) dm1 (x) et χD (x, y) dCard(y).
R R

3. Conclure.
Solution :
1. Soit sur R2 l'application continue f (x, y) = y −x alors D = f (−1) ({0}) est un fermé
d'où D ∈ B(R) ⊗ B(R) ⊂ L1 ⊗ P(R)
2. On a pour y xé :
χD (., y) = χ{y}
d'où : Z Z
χD (x, y) dm1 (x) = χ{y} dm1 (x) = m({y}) = 0

et pour x xé , on a :
χD (x, .) = χ{x}
et Z Z
χD (x, y) dCard(y) = χD {x, } dCard(y) = Card({x}) = 1

3. On a : Z Z Z
( χD (x, y) dm1 (x))dCard(y) = 0 dCard(y) = 0

et Z Z Z
( χD (x, y) dCard(y))dm1 (x) = 1 dm1 (x) = 0

Tonnelli n'est pas vérié, ceci signie que l'une des mesures n'est pas σ -nie. (C'est
la mesure cardinale)

En utilisant pour x > 0 l'identité, e−tx dt. Montrer que :

1
R +∞
Exercice 4 x
= 0
Z A
sinx π
lim dx =
A→+∞ 0 x 2

Solution : Il sut de vérier qu'on a les conditions de Fubini pour la fonction mesurable
positive :
f (x, t) = |sin(x)|e−tx
sur [0, A] × R+ . (Intégrale généralisée), On applique Tonnelli :
A +∞ A
|sin(x)|
Z Z Z
−tx
|sin(x)|e dtdx = dx ≤ A < +∞
0 0 0 x

2
d'où, par Fubini : Z A Z +∞ Z A
sinx
dx = ( sin(x)e−tx dx)dt
0 x 0 0
On a, par intégration par parties deux fois :
RA
I(t, A) = 0 sin(x)e−tx dx
RA
= [−cos(x)e−tx ]A
0 − t 0 cos(x)e
−tx
dx
−tA −tx A
= −cos(A)e + 1 − t([sin(x)e ]0 + tI(t, A))
Ainsi :
−cos(A)e−tA + 1 − tsin(A)e−tA
I(t, A) =
1 + t2
Pour A > 1, on a :
M
|I(t, A)| ≤
1 + t2
où M = 2 + sup te−t et I(t, A) converge simplement vers 1
1+t2
. Ainsi théorème de conver-
t>0
gence dominée implique :
Z A Z +∞ Z +∞
sinx 1 π π
lim dx = lim I(t, A)dt = dt = [Arctg(t)]0
2
=
A→+∞ 0 x A→+∞ 0 0 1 + t2 2
Changement de variable

Exercice 5 Soit la fonction :

x2 − y 2
g(x, y) = 0 < x, y < 1
(x2 + y 2 )2
Montrer de deux façons diérentes que g n'est pas Lebesgue intégrable sur le domaine
0 < x, y < 1.
1. Méthode I : On a :
−x 0 x2 − y 2
( ) =
x2 + y 2 x (x2 + y 2 )2
ainsi
x2 − y 2 −x 1 −1
Z
2 2 2
dx = [ 2 2
]0 =
(x + y ) x +y 1 + y2
et 1 1 1
−1 −π
Z Z Z
( g(x, y)dx)dy = 2
dy =
0 0 0 1+y 4
de même , on a :
Z 1 Z 1 Z 1
1 π
( g(x, y)dy)dx = 2
dy =
0 0 0 1+x 4
Fubini n'est pas vérié et les deux mesures sont σ -nies (c'est la même mesure de
Lebesgue sur [0, 1]), d'où g n'est pas intégrable sur 0 < x, y < 1.

3
 2. On va intégrer|g(x, y)| sur A le quard du disque de centre (0, 0) et θ ∈ [0, π2 ], A ⊂
[0, 1] × [0, 1]. On a, en utilisant le changement de variable (coordonnées polaires) :
π Z π
Z Z 1 Z Z 1
2 1 1 2
|g(x, y)|dx ⊗ dy = ( |cos(2θ)|dθ) dr = ( dr)( |cos(2θ)|dθ) = +∞
A 0 0 r 0 r 0

car : π
Z 1 Z
1 2
dr = +∞ et |cos(2θ)|dθ > 0
0 r 0
ainsi g n'est pas intégrable sur A qui est une partie de l'ensemble 0 < x, y < 1.

Exercice 6 Etudier selon les paramètres α et β , la convergence des intégrales :

Z Z
1 1
dmn et dmn
(1 + kxk)α kxk≤1 kxkβ

Solution :
1. On utilise le changement de variable sphérique ainsi Jφ (r, θ1 , . . . , θn−1 ) = rn−1 ψ(θ1 , . . . , θn−1 )
, où ψ est une fonction continue et positive non identiquement nulle sur U =
[0, 2π] × [0, π]n−2 . On a :
Z +∞
rn−1
Z Z
1
dmn = dr ψ((θ1 , . . . , θn−1 ))dθ1 , . . . , dθn−1
(1 + kxk)α 0 (1 + r)α U

Comme U ψ((θ1 , . . . , θn−1 ))dθ1 > 0 et est nie alors notre intégrale converge au
R

voisinage de +∞ si et seulement si α − n + 1 > 1, i.e α > n.

2. On a :
1
rn−1
Z Z Z
1
dmn = dr ψ((θ1 , . . . , θn−1 ))dθ1 , . . . , dθn−1
kxk≤1 kxkβ 0 rβ U

cet intégrale converge au voisinage de 0 si et seulement si β − n + 1 < 1, i.e β < n.

Espaces Lp

Exercice 7 Soient (X, T , µ) un espace mesuré, (p, q, r) ∈ [1, +∞[3 tels que p1 + 1q = 1r ,
f ∈ Lp (X) et g ∈ Lq (X).
1. Montrer que |f |r ∈ L r (X) et |g|r ∈ L r (X).
p q

2. Déduire que : kf gkr ≤ kf kp kgkq .

C'est l'inégalité de Hölder généralisée, qui reste vraie pour (p, q, r) ∈ [1, +∞]3 tels que
1
p
+ 1q = 1r .

Solution :

4
 1. On a : Z Z
p
r
(|f | ) dµ =
r |f |p dµ < +∞

et Z Z
q
r
(|g| ) dµ =
r |g|q dµ < +∞

d'où |f |r ∈ L r (X) et |g|r ∈ L r (X).

p q

2. On a en appliquant Hölder aux fonctions |f |r et |g|r :

Z
kf gkrr = |f |r |g|r dµ ≤ k|f |r k pr k|g|r k rq = kf krp kgkrq

d'où :
kf gkr ≤ kf kp kgkq

Exercice 8 Soient (X, T , µ) un espace mesuré de mesure nie et 1 ≤ p < q < +∞.
1. Soit f ∈ Lq (X)
(a) Montrer que ∀x ∈ X , |f (x)|p ≤ 1 + |f (x)|q .
(b) Déduire que |f |p dµ ≤ µ(X) + |f |q dµ.
R R

2. On veut établir qu'il existe C > 0 tel que :

(∀f ∈ Lq (X)) kf kp ≤ Ckf kq

On considère f ∈ Lq (X) :
(a) Montrer que si kf kq = 0 alors kf kp = 0.
(b) Montrer qu'il existe une constante C > 0 telle que pour kf kq 6= 0, on a kf1 kp ≤
C , où f1 = kffkq
(c) Déduire l'inégalité cherchée.
3. Traiter le cas q = +∞.
Solution :
1. Soit f ∈ Lq (X)
(a) On a deucx cas. Si |f (x)| ≤ 1 alors |f (x)|p ≤ 1 ≤ 1 + |f (x)|q et si |f (x)| > 1
alors |f (x)|p ≤ |f (x)|q ≤ 1 + |f (x)|q . D'où l'inégalité.
(b) On a alors :
Z Z Z
p q
|f | dµ ≤ (1 + |f | ) dµ ≤ µ(X) + |f |q dµ

.
2. (a) Si kf kq = 0 alors f = 0 p.p, d'où kf kp = 0 , car p et q sont nis.

5
 (b) Appliquons 1.(b) à f1 alors :
Z Z
p
|f1 | dµ ≤ µ(X) + |f |q dµ = µ(X) + 1 = C p
.
(c) Si kf kq 6= 0 alors, en remplacant f1 , on a :
Z
|f |p dµC p kf kpq

. d'où :
kf kp ≤ Ckf kq
si kf kq = 0, cette inégalité reste vraie.
3. On a tous simplement : Z
|f |p dµ ≤ kf kp∞ µ(X)
1
d'où C = µ(X) p .
Exercice 9 ( (Inégalité de Jensen)
1. Soient ϕ une fonction convexe sur I =]a, b[ (i.e dénie de I vers I ) avec a < b
deux nombres reels et t un nombre xé tel que a < t < b.
(a) Montre que pour a < s < t < u < b, on a ϕ(t)−ϕ(s)t−s
≤ ϕ(u)−ϕ(t)
u−t
.
(b) Déduire qu'il existe β , tel que sur ]a, b[, on a ϕ(s) ≥ ϕ(t) + β (s − t).
2. Soient (X, TR, µ) un espace mesuré de mesure totale 1 et f : X →]a, b[ mesurable.
On pose t = f dµ.
(a) Montrer que a < t < b et déduire qu'on a :
Z Z
ϕ( f dµ) ≤ ϕof dµ

(b) Traiter le cas où a = −∞ ou b = +∞ et f intégrable.

Solution :
1. (a) On a t = αs + (1 − α)u avec α ∈]0, 1[. D'où :
u−t
α=
u−s
et
ϕ(t) ≤ αϕ(s) + (1 − α)ϕ(u)
ainsi :
α(ϕ(t) − ϕ(s)) ≤ (1 − α)(ϕ(u) − ϕ(t))
D'où :
ϕ(t) − ϕ(s) ϕ(u) − ϕ(t)
≤
t−s u−t

6
 (b) Soit :
ϕ(t) − ϕ(s)
β = sup
s<t t−s
soit u > t, on a par passage au sup sur s < t :
ϕ(u) − ϕ(t)
β≤ < +∞
u−t
d'où β ∈ R. On a pour s < t :
ϕ(t) − ϕ(s)
≤β
t−s
ainsi :
ϕ(t) ≤ ϕ(s) + β((t − s)
car t − s > 0. Si s > t alors on remplace u par s, d'où :
ϕ(s) − ϕ(t)
β≤
s−t
d'où aussi pour s > t :
ϕ(t) ≤ ϕ(s) + β((t − s)
2. (a) Sia = t alors (f − a)dµ = 0 et f − a est mesurable positive d'où f = a p.p
R

impossible. De même t 6= b , déjá a ≤ t ≤ b car :

Z
a<f <b⇒a≤ f dµ ≤ b

car µ(X) = 1. Dans 1.(b) on remplace s par f (x) et t = f dµ, d'où :

R

ϕ(t) ≤ ϕ(f (x)) + β(t − f (x))

on intégre et on obtient :
Z Z
ϕ( f dµ) ≤ ϕof dµ

car ϕof est mesurable bornée ( ϕ est continue) et µ est une mesure nie.
(b) Si a = −∞ et b = +∞ avec f et ϕof intégrables, on remplace f par f χXn
avec Xn = f (−1) ([−n, n]) et on applique le théorème de convergence dominée .
Ainsi ϕ(fn (x)) = ϕ(f (x)) ou ϕ(0). On prend g = max(|ϕ(f (x))|, |ϕ(0)|). ( Si a
est nie on remplace [−n, n] par [a, n].)