Intgration TD1

Intgrale de Lebesgue : thormes de convergence

Prparation lagrgation de mathmatiques, ENS Cachan.
e-mail : ayman@crans.org

On dsigne par (X, A , ) un espace mesur.

L 1 () dsigne lensemble des fonctions mesurables complexes f dfinies sur X vrifiant :
Z
|f |d <
X

noncs :

Thorme de convergence monotone : (ou Beppo-Levi) [2], p.117

Soit (fn )n1 une suite croissante de fonctions mesurables de X dans R+ .
Alors la fonction f := lim fn est dfinie sur X, valeurs dans R+ et mesurable.
n
Z
Z
f d, la convergence ayant ventuellement lieu dans R+ .
fn d
De plus :
X

Attention !
Lappellation thorme de convergence monotone peut laisser penser que le thorme sapplique pour
les suites dcroissantes mais, comme on va le voir en exercice, ce nest pas le cas !
Lemme de Fatou : [2], p.132
Soit (fn )n1 une suite de fonctions mesurables positives, alors :
Z
Z
0
lim fn d lim
fn d +
X

Thorme de convergence domine : [1], p.24

Soit (fn )n0 une suite de fonctions complexes mesurables sur X. On suppose que :
1. fn (x) converge presque partout vers une limite : f (x).
2. Il existe g L 1 () telle que, pour tout n N on ait : |fn (x)| |g(x)| presque partout en x.
Alors f L 1 () et la suite (fn )n0 converge vers f dans cet espace :
Z
|fn f |d 0
n

Exercices :

Exercice 1 : [1], p.30

1. Soit E une partie de X et E c son complmentaire. Vrifier que lingalit de Fatou peut-tre stricte
grce la suite suivante : fn := 1E si n pair, fn := 1E c si n impair.
2. Justifier que la domination est indispensable dans le thorme de convergence domine.
Z
f = c R+ . Soit a R+ . Montrer que :
3. Soit f : R R+ mesurable et telle que
R

n ln 1 +

lim

f (x)
n

a 

si 0 < a < 1,
c si a = 1,
dx =

0 si 1 < a,

4. Exhiber un contre-exemple justifiant quune hypothse de monotonie serait insuffisante dans le

thorme de convergence monotone.
5. noncer (et dmontrer) un thorme de convergence dcroissante valable.
Exercice 2 : Le cas des sries
Soit (fn )n1 une suite de L 1 (). On suppose que
Z
X
n=1

|fn |d <

1. [1], p.27 : Montrer que la srie

fn (x)

n=1

converge presque partout et, un ensemble ngligeable prs, dfinit un lment de L 1 () : f ,

vrifiant :
Z
Z
X
f d =
fn d
X

n=1

2. Calculer :
Z

ln(x)
dx
1x

Exercice 3 : [2], p.137-138

1. Lemme de Borel-Cantelli. Soit (An )n1 une suite dlments de A . Montrer que si :
X
(An ) < ,
n1

alors presque aucun point de X nappartient une infinit de An .

2. En utilisant le lemme prcdent, vrifier la continuit de lintgrale par rapport la mesure : soit
f L 1 (), alors :
Z
> 0 > 0 : A A , (A)
|f |d
A

Indication :On pourra crire la ngation de la phrase logique prcdente.

Exercice 6 :
1. Calculer les limites suivantes, pour n + (si la suite explose, on donnera un quivalent) :
Z
An :=

x n
dx, Bn :=
n

Z
0

X
nex
n
dx, Cn :=
2
nx + 1
nk + k + 1
k=1

2. [2], p.147 : Montrer que

Z
0

X 1
sin(x)
dx =
x
e 1
n2 + 1
n1

Exercice 7 :
Soit (ai )iN une famille sommable de nombres complexes.
Soit In une suite de P(N).
On pose
\ [
J :=
Ip
k0 pk

Montrer que si la suite de sommes partielles

ai converge vers un nombre complexe x, alors il en de

iIn

mme de la suite

ai .

iIn J

Exercice 8 : Mthode de Laplace [3], p.339

Soit [a, b[ un intervalle rel, born ou non, C 2 ([a, b[, R+ ) et f : [a, b[ C telles que et0 (x) f (x) L 1 ([a, b[)
pour un certain t0 . On suppose f continue en a et non nulle en ce point.
Le but de cet exercice est de trouver un quivalent, quand t +, de lintgrale :
Z
F (t) :=

et(x) f (x)dx

1. On suppose a = 0 et (x) = x. Montrer que :

F (t)

f (0)
t+ t

Indication : On pourra dabord dcouper lintgrale en deux morceaux [0, b[= [0, [[, b[ et tudier
le premier par convergence domine.
2. On suppose que 0 > 0 sur [a, b[. Montrer que :
F (t)

t+

1 f (a) t(a)
e
0 (a) t

Indication : Effectuer le changement de variable y = (x) (a) pour se ramener au cas prcdent.
3. On suppose a = 0 et (x) = x2 . Montrer que :

F (t)

t+

f (0)

2
t

.
4. On suppose que 0 > 0 sur ]a, b[, 0 (a) = 0 et 00 (a) > 0. Montrer que :
r
f (a) t(a)
e
F (t)
t+
200 (a) t
Indication : Effectuer le changement de variable y 2 = (x) (a) pour se ramener au cas prcdent.
5. Donner un quivalent de la fonction , pour t + :
Z
(t + 1) :=
ex xt dx
0

Indication : On effectuera le changement de variable x = t(u + 1) et on dcoupera lintgrale en deux

bouts pour appliquer les rsultats prcdents.

Rfrences
[1] W. Rudin. Analyse relle et complexe (3ime dition).
[2] Marc Briane, Gilles Pags. Thorie de lintgration (4ime dition).
[3] F. Rouvire. Petit guide de calcul diffrentiel (deuxime dition).