Université Abdelmalek Essaadi Année Universitaire 2021/2022

Faculté Des Sciences & Techniques Filière : MI-Semestre 5

Al Hoceima Intégration

TD Série no 3

Exercice 1.
Montrer que
Z +∞
1 X 1
d(λ ⊗ λ)(x, y) = 2
,
[0,1[2 1 − xy n=1
n
où λ est la mesure de Lebesgue.

Exercice 2.
Soit la fonction f : [0, 1] × [0, +∞[→ R dénie par f (x, y) = e−y sin(2xy).
1) Montrer que f est λ ⊗ λ-intégrable.
2) En déduire que Z +∞ 2
−y sin y ln 5
e dy = .
0 y 4
Exercice 3.
Soient f : [−1, 1] → R une fonction et p ∈]1, +∞[. On suppose que f ∈ Lp (λ).
1) Montrer que f ∈ L1 (λ).
2) Pour tout n ∈ N∗ , on pose In = − n1 , n1 et γ = p−1
 
p
.
a) Montrer que lim
R
|f |p dλ = 0.
n→+∞ In
R  p1
2 γ
b) Montrer que
R
p
In
|f |dλ ≤ n In
|f | dλ .
c) En déduire que lim nγ
R
In
|f |dλ = 0.
n→+∞
 Correction TD Série no 3

Exercice 1. Pour tout x, y ∈ [0, 1[, on a

+∞
1 X
= (xy)n .
1 − xy n=0

Pour tout n ∈ N, la fonction (x, y) 7→ (xy)n est continue sur [0, 1[2 , donc mesurable. De
plus, elle est positive, appliquons le théorème de la convergence monotone (corollaire),
il vient que
+∞ Z
X Z +∞
X
n
(xy) d(λ ⊗ λ)(x, y) = (xy)n d(λ ⊗ λ)(x, y)
n=0 [0,1[2 [0,1[2 n=0
Z
1
= d(λ ⊗ λ)(x, y).
[0,1[2 1 − xy

Par le théorème de Fubini-Tonelli, on a

Z Z Z 
n
(xy) d(λ ⊗ λ)(x, y) = y dλ(y) xn dλ(x)
n
[0,1[2 [0,1[ [0,1[
Z Z 1  Z 1
n n 1
= y dy x dλ(x) = xn dx
[0,1[ 0 0 n+1
1
= .
(n + 1)2

Il en résulte que
Z +∞ +∞
1 X 1 X 1
d(λ ⊗ λ)(x, y) = 2
= 2
.
[0,1[2 1 − xy n=0
(n + 1) n=1
n

Exercice 2.
1) Montrons que f est λ ⊗ λ-intégrable. On a
Z Z
|f (x, y)|d(λ ⊗ λ)(x, y) ≤ e−y d(λ ⊗ λ)(x, y).
[0,1]×[0,+∞[ [0,1]×[0,+∞[

D'après le théorème de Fubini-Tonelli, on a

Z Z Z 
−y −y
e d(λ ⊗ λ)(x, y) = e dλ(y) dλ(x)
[0,1]×[0,+∞[ [0,1] [0,+∞[
Z  Z 
−y
= dλ e dλ(y)
[0,1] [0,+∞[
Z +∞
= e−y dy
0
= 1 < +∞,
donc f est λ ⊗ λ-intégrable.
2) Puisque f est λ ⊗ λ-intégrable, le théorème de Fubini entraîne
Z
I= f (x, y)d(λ ⊗ λ)(x, y)
[0,1]×[0,+∞[
Z Z 
−y
= e sin(2xy)dλ(y) dλ(x)
[0,1] [0,+∞[
Z Z 
−y
= e sin(2xy)dλ(x) dλ(y).
[0,+∞[ [0,1]

Pour tout y 6= 0, on a
Z Z 1
−y
e sin(2xy)dλ(x) = e−y sin(2xy)dx
[0,1] 0
−y
e e−y (1 − cos(2y))
= [− cos(2xy)]10 =
2y 2y
−y 2
e sin y
= ,
y
donc
+∞
e−y sin2 y e−y sin2 y
Z Z
I= dλ(y) = dy.
]0,+∞[ y 0 y

D'autre part, on a
Z Z +∞
−y
J= e sin(2xy)dλ(y) = e−y sin(2xy)dy
[0,+∞[ 0
Z +∞
−y
= [−e sin(2xy)]+∞
+ 2x 0 e−y cos(2xy)dy
0
 Z +∞ 
−y +∞ −y
= 2x [−e cos(2xy)]0 − 2x e sin(2xy)dy
0
2
= 2x − 4x J,

donc J = 2x
1+4x2
. Par conséquent
Z Z 1
2x 2x 1 2 1
 ln 5
I= dλ(x) = dx = ln(1 + 4x ) 0
= .
[0,1] 1 + 4x2 0 1 + 4x 2 4 4

On a donc nalement +∞
sin2 y
Z
ln 5
e−y dy = .
0 y 4
Exercice 3.
Soient f : [−1, 1] → R une fonction et p ∈]1, +∞[. On suppose que f ∈ Lp (λ).
1) Montrons que f ∈ L1 (λ). En utilisant l'inégalité de Hölder, on a
Z Z Z  p−1
p
Z  p1
p
p
|f |dλ = 1 × |f |dλ ≤ 1 p−1 dλ |f | dλ
[−1,1] [−1,1] [−1,1] [−1,1]
Z  p1
p−1
p
≤ λ([−1, 1]) p |f | dλ
[−1,1]
Z  p1
p−1
≤2 p p
|f | dλ < +∞ (car f ∈ Lp (λ)),
[−1,1]

donc f ∈ L1 (λ).
2) a) Pour tout n ∈ N∗ , on pose fn = χIn |f |p . Alors fn est mesurable et pour tout
x ∈ [−1, 1]\{0}, fn (x) → 0 (donc fn → 0 λ-p.p.), en fait il existe n0 ∈ N∗ tel que
1
n
≤ |x| pour tout n ≥ n0 , donc x 6∈ In ∀n ≥ n0 , et par suite χIn (x) = 0 ∀n ≥ n0 ,
d'où fn (x) → 0. De plus, on a |fn | ≤ |f |p , et puisque |f |p ∈ L1 (λ) (car f ∈ Lp (λ)), le
théorème de la convergence dominée s'applique,
Z Z Z Z
p p
lim |f | dλ = lim χIn |f | dλ = lim fn dλ = lim fn dλ = 0.
n→+∞ In n→+∞ [−1,1] n→+∞ [−1,1] [−1,1] n→+∞

b) En vertu de l'inégalité de Hölder, on a

Z Z  p−1
p
Z  p1
p
p
|f |dλ ≤ 1 p−1 dλ |f | dλ
In In In
Z  p1
p−1
p
≤ λ(In ) p |f | dλ
In
  p−1 Z  p1
2 p p
≤ |f | dλ ,
n In

d'où le résultat.
c) D'après b), on a
Z Z  p1
n γ
|f |dλ ≤ 2 γ p
|f | dλ pour tout n ∈ N∗ ,
In In

de a) on déduit alors Z
γ
lim n |f |dλ = 0.
n→+∞ In