Examen, 8 janvier 2007 Intgration et thorie de la mesure LM363 e e Dure 3 heures.

Documents interdits e Exercice 1 Soit f : [0, 1] [0, +[ borlienne et A R3 lensemble : e A := {(x, y, z) : 0 x 1, 1. Prouver que lapplication F : [0, 1] R R R, F (x, y, z) := y 2 + z 2 f (x) y 2 + z 2 f (x)}

est borlienne et en dduire que A B(R3 ). e e 2. Pour tout x [0, 1] dterminer la section Ax := {(y, z) : (x, y, z) A}. e Vrier que Ax B(R2 ) et calculer sa mesure de Lebesgue 2 (Ax ). e 3. Calculer le volume 3 (A) de A en fonction de f . 4. Vrier que 3 (A) = , si f (x) = x3 , x [0, 1]. e 4 Exercice 2 Soit f : R+ [0, 1] la fonction f (x) := ex , x 0. f s dx =
R+

1. Prouver que f est borlienne et que pour tout s > 0 : e En dduire que e 1 = 1+t etx f (x) dx,
R+

1 . s

t [0, +[.

e 2. Montrer par rcurrence (avec un argument complet) que dk 1 = (1)k dtk 1 + t xk etx f (x) dx,
R+

t [0, [, k N.

3. Calculer directement par rcurrence e

0

dk 1 et en dduire que e dtk 1 + t k N. (1)

xk ex dx = k!

4. Prouver que pour toute g : R+ R+ borlienne on a : e

0

g(ex ) ex dx =
0

g(y) dy.

(2)

5. En dduire que : e
1 0

| ln y|k dy = k!

k N.

(3)

Exercice 3 On consid`re ici lespace mesur ([0, 1], B([0, 1]), ). e e 1. Dire pour quels p [1, +] on a f Lp et pour quels p [1, +] on a f Lp dans les cas : / pour > 0, f (x) := x , x ]0, 1] f (x) := ln x, x ]0, 1] (on pourra utiliser la formule (3) ci-dessus). 2. Donner un exemple dune suite (gk )k telle que gk L1 pour tout k mais pour tout p > 1 il existe k tel que gk Lp . / 3. Construire, ` laide de la suite du point prcdent, un exemple dune a e e g L1 telle que g Lp pour tout p > 1. / Exercice 4 Soient fn , f fonctions mesurables positives sur un espace mesur (X, A, ) avec f L1 . On suppose que : e f lim inf fn
n

p.p.,

lim sup
n

fn d

f d.

1. Prouver que f d lim inf

n

fn d

et en dduire que e
n

lim

fn d =

f d.

2. Prouver que p.p. f = lim inf n fn . 3. Prouver que pour tous a, b R : |a b| = a + b 2 min{a, b} et en dduire que fn f dans L1 si n . e 4. Montrer que fn ne converge pas ncessairement vers f p.p. e