UFR Sciences exactes et naturelles Annee universitaire 2005-2006

Universite de Reims Session de juin 2006

Examen de Licence 3 de Mathematiques
enonce et corrige
Module: MA62 Integration
Duree : 3 heures
Le bareme est indicatif. La rigueur et largumentation seront prises en compte. Aucun docu-
ment nest autorise.
Cours. (2 points)
1) Soit (X, M, ) un espace mesure. Donner la denition des espaces L
1
() et L
1
().
2) Enoncer le Theor`eme de Fubini-Tonelli.
Exercice 1. (5 points)
Soient p et q [1, +] tels que q p et soit (X, M, ) un espace mesure o` u est une mesure
positive. Le but de lexercice est de comparer les deux espaces L
p
() et L
q
().
1) On suppose que la mesure de X est nie. Montrer que L
p
() L
q
() (Si p < , on
pourra utiliser linegalite de Holder).
2) Soit f une fonction bornee appartenant `a L
q
(). Montrer que f appartient aussi `a L
p
()
(Si p < , on pourra comparer (|f|/M)
p
`a (|f|/M)
q
, o` u M est un majorant de |f|.
3) Demontrer que lhypoth`ese de la premi`ere question est necessaire pour avoir L
p
() L
q
()
(on pourra considerer le cas o` u X = R et f =
11
I
x

o` u est un reel et I un intervalle bien choisis).

Faire de meme pour lhypoth`ese de la deuxi`eme question.
Exercice 2. (3 points)
Justier la derivation sous le signe integral
d
dt
_

0
e
x
x
t1
dx =
_

0
e
x
x
t1
ln(x)dx.
Exercice 3. (4 points)
Soit (X, M, ) un espace mesure, o` u est une mesure positive. Soient f et g deux fonctions
dans lespace L
2
(). On denit la fonction suivante :
h : X X C
(x
1
, x
2
) (f(x
1
)g(x
2
) f(x
2
)g(x
1
))
2
1
1) Montrer que h est mesurable sur la tribu produit MM.
2) Montrer que h appartient lespace L
1
( ).
3) En deduire linegalite de Cauchy-Schwartz
fg
L
1
()
f
L
2
()
g
L
2
()
.
Exercice 4. (4 points)
Soit U = [1, +[[0, +[ et f la fonction denie par
f : R
2
R
(x, y) e
xy
sin(2y).
1) Montrer que f est integrable sur U.
2) Calculer
_
U
f(x, y)dxdy en utilisant le Theor`eme de Fubini.
3) En deduire que
_
R
+
e
y
sin(2y)
y
dy = arctan(2).
Exercice 5. (2 points)
Soit f une fonction integrable sur R. Montrer que lim
n
_
|x|n
f(x)dx = 0.
Correction
Cours. Cest du cours!
Exercice 1.
1) On suppose dabord p < ( et donc q < ). Soit f L
p
(). Comme p/q 1, considerons son
exposant conjugue (p/q)

= p/(p q) (faire le calcul). On obtient alors par Holder

_
|f|
q
d =
_
|f|
q
1d
__
(|f|
q
)
p/q
d
_
1/(p/q)

__
(1)
(p/q)

d
_
1/(p/q)

__
|f|
p
d
_
q/p

__
1d
_
(pq)/p
=
__
|f|
p
d
_
q/p
((X))
(pq)/p
< ,
(1)
puisque f L
p
() et est de mesure nie. Dans le cas o` u p = , on consid`ere M > 0 tel que
{x X; |f(x)| > M} = 0. Alors
_
|f|
q
d
_
M
q
d = M
q
(X) < . Dans tout les cas on a
obtenu que f L
q
() ce qui montre linclusion demandee.
2) On suppose dabord p < (et donc q < de nouveau). Pour f L
q
() on a
_

f
M

p
d =
_

f
M

f
M

pq
. .
1
d
_

f
M

q
d <
(2)
car f L
q
(). Si p = , on nutilise pas lhypoth`ese sur q puisque {x X; |f(x)| > M} = 0 sut
pour dire que f L

().
3) Si X nest pas de mesure nie, on constate que f = 1 est dans L

() (p = ) mais pas dans

L
1
(). En ce qui concerne lhypoth`ese de la 2`eme question, on peut prendre
1

x
11
]0,1[
qui est dans
L
1
() mais pas dans L

().
2
Exercice 2. Verions les hypoth`eses du theor`eme de derivation sous le signe integral. On consid`ere
lespace dintegration R

+
muni des Boreliens et de la mesure de Lebesgue, et t le param`etre dans un
intervalle I = [a, b] R

+
. On remarque que
a) pour tout t I, lapplication x e
x
x
t1
est dans L
1
(R

+
) grace au crit`ere de Riemann en 0 et
lexponentielle en +.
b) Pour tout (et donc presque tout) x > 0, lapplication t e
x
x
t1
est derivable sur I, de derivee

x
: t (ln(x))e
x
x
t1
dans L
1
(R

+
).
c) Enn pour tout t I, x R

+
, on a |
x
(t)| | ln(x)|e
x
max(x
a1
, x
b1
), et la fonction `a droite
est clairement dans L
1
(R

+
).
Toutes les hypoth`eses du theor`eme de derivation sous les signe integral sont veriees, ce qui justie
linterversion.
Exercice 3.
1) Pour tout (x
1
, x
2
) X X, on a f(x
1
)g(x
2
) = f g(x
1
, x
2
) = f
1
(x
1
, x
2
) g
2
(x
1
, x
2
)
o` u les
j
sont les applications projections (x
1
, x
2
) x
j
lorsque j {1, 2}. Ces applications sont
mesurables dapr`es le cours, donc h lest comme produit et compose dapplications mesurables.
2) On ecrit alors que |f(x
1
)g(x
2
) f(x
2
)g(x
1
)|
2
2f
2
(x
1
)g
2
(x
2
) + 2f
2
(x
2
)g
2
(x
1
). On utilise alors
Fubini-Tonelli, qui donne
__
f
2
(x
1
)g
2
(x
2
)d
1
d
2
=
_ __
f
2
(x
1
)g
2
(x
2
)d
2
_
d
1
=
_
f
2
(x
1
)
__
g
2
(x
2
)d
2
_
d
1
=
_
f
2
(x
1
)d
1

_
g
2
(x
2
)d
2
< .
(3)
On en deduit que (x
1
, x
2
) f
2
(x
1
)g
2
(x
2
) est dans L
1
(d
1

2
) et que son symetrique (x
1
, x
2
)
f
2
(x
2
)g
2
(x
1
) egalement. Linegalite du debut donne alors le resultat.
3) En developpant lexpression |f(x
1
)g(x
2
) f(x
2
)g(x
1
)|
2
on obtient donc que le terme croise
(x
1
, x
2
) f(x
1
)f(x
2
)g(x
1
)g(x
2
) est egalement dans L
1
(d
1

2
) (ou bien : le faire directement), ce
qui permet decrire en utilisant Fubini pour separer les integrales que
0
__
hd
1

2

_
f
2
(x
1
)d
1

_
g
2
(x
2
)d
2
+
_
g
2
(x
1
)d
1

_
f
2
(x
2
)d
2
2
_
f(x
1
)g(x
1
)d
1

_
f(x
2
)g(x
2
)d
2
,
(4)
ce qui donne
_
f(x)g(x)d
_
_
f(x)
2
d
_
_
g(x)
2
d.
Exercice 4. Soit U = [1, +[[0, +[ et f : (x, y) e
xy
sin(2y).
1) On ecrit que
_

0
__

1

e
xy
sin(2y)

dx
_
dy =
_

0
_

1
y
e
xy
| sin(2y)|
_

x=1
dy =
_

0
1
y
e
y
| sin(2y)|dy. (5)
Comme cette derni`ere integrale converge, le theor`eme de Fubini-Tonelli implique que f est dans
L
1
(U).
2) Calculons cette integrale. Dapr`es le theor`eme de Fubini, on a alors
__
e
xy
sin(2y)dxdy
Fub.
=
_

1
__

0
e
xy
sin(2y)dy
_
dx =
_

1
m
__

0
e
xy
e
2iy
dy
_
dx
=
_

1
m
_
1
2i x
_

y=0
dx =
_

1
m
dx
2i x
=
_

1
m
2i + x
4 + x
2
dx
=
_

1
2dx
4 + x
2
= [arctan(x/2)]

1
= /2 arctan(1/2) = arctan(2).
(6)
3
On notera quevidemment toutes les integrales ont un sens, en particulier
_

0
e
xy
e
2iy
dy lorsque x
1.
3) Appliquons une nouvelle fois le theor`eme de Fubini mais en intervertissant lordre dintegration.
On obtient
arctan(2)
qst. 2
=
__
e
xy
sin(2y)dxdy
Fub.
=
_

0
__

1
e
xy
sin(2y)dx
_
dy =
_

0
1
y
e
y
sin(2y)dy.
Cest le resultat cherche.
Exercice 5. Cest une application directe du theor`eme de convergence dominee. On pose pour
tout n N et x R, f
n
(x) = f(x) 11
{],n][n,[}
(x). Alors pour tout n N on a |f
n
| |f| L
1
(domination) et pour tout x R on a lim
n
f
n
(x) = 0 (convergence simple). On en deduit que
linterversion est possible,i.e.
lim
n
_
f
n
(x)dx =
_
lim
n
f
n
(x)dx = 0.
cest le resultat cherche.
4