Exercices - Espaces L

p
: corrig
Exercice 1 - Pour bien dmarrer - L3/M1 -
On va appliquer lingalit de Hlder avec les exposants p = 3 et q = 3/2, qui sont bien des
exposants conjugus. On a alors
_
R
|f
2
(x)| |g(x)|dx
__
R
|f|
2
3
2
_
2/3

__
R
|g|
3
_
1/3
< +.
Ceci prouve bien que f
2
g est intgrable.
Exercice 2 - Gnralits - L3/M1 -
1. L
p
(N, P(N),
d
) est lespace des suites (u
n
) telles que

n1
|u
n
|
p
< +. Si p < q, et
(u
n
)
p
, alors |u
n
| 1 pour n assez grand et on a |u
n
|
q
= |u
n
|
p
|u
n
|
qp
|u
n
|
p
, et donc
la srie

n
|u
n
|
q
est elle aussi convergente. Dautre part, on a u
n
=
1
n

p
p > 1.
Si on choisit donc tel que q > 1 et p 1, alors (u
n
)
q
\
p
.
2. On va utiliser lingalit de Hlder. Prenons f L
p
(). On a :
_

|f|
p
d =
_

|f|
q
1d.
Soit r tel que rp = q, ie r = q/p [1, +[, dexposant conjugu r

. Lingalit de Hlder
donne
_

|f|
p
d
__

|f|
q
d
_
1/r
__

1
r

d
_
1/r

()
1/r

f
1/r
q
.
Dautre part, la fonction f(x) = 1/x

est dans L
p
([0, 1]) si et seulement si p < 1. Prenant
tel que p < 1 et q > 1 on voit que linclusion est stricte dans ce cas.
3. Supposons par exemple p = q. Il sut de prendre les fonctions f dnies par f(x) = 1/x

si x ]0, 1[, f = 0 ailleurs, et g(x) = 1/x

pour x dans [1, +[, g = 0 ailleurs. En

raisonnant comme ci-dessus, on prouve que pour p < 1 et q > 1, on a f L
p
mais pas
dans L
q
. Le contraire se produit avec g (pour les mmes valeurs de ).
4. La fonction f(x) = 1/ ln(x) est dans tous les espaces L
p
([0, 1]), car |f|
p
1/

x pour x
assez petit. Elle nest pas borne donc pas dans L

([0, 1]).
Exercice 3 - Dpendance en p - L3/M1 -
1. On distingue deux cas : si |f(x)| 1, alors on a |f(x)|
p
|f(x)|

. Si |f(x)| 1, alors
|f(x)|
p
|f(x)|

. Dans tous les cas, lingalit demande est satisfaite et ainsi, si f

L

(R) L

(R) on obtient f L
p
(R). {p [1, +[} = I est donc un intervalle, car pour
tout < I, le segment [, ] est inclus dans I.
2. Il sagit simplement dune application du thorme de continuit sous le signe intgrale,
car, en posant F(p, x) = |f(x)|
p
, alors :
x |f(x)|
p
est mesurable pour tout p.
p |f(x)|
p
est continue pour tout x.
|F(p, x)| |f(x)|

+|f(x)|

, fonction intgrable qui ne dpend pas de p.

http://www.bibmath.net 1
Exercices - Espaces L
p
: corrig
Donc p
_
R
|f(x)|
p
dx est continue.
Exercice 4 - Dualit - L3/M1 -
1. Il sagit simplement dune reformulation de lingalit de Hlder.
2. Calculons dabord f
p
:
f
p
p
=
_
R
|g(x)|
p+pq2p
dx = g
q
q
.
Dautre part,
T(f) =
_
R
|g|
q
= g
q
q
.
On en dduit
T
|Tf|
f
p
= g
qq/p
q
= g
q
.
Exercice 5 - Comportement des intgrales partielles - L3/M1 -
1. Il sut simplement dutiliser lingalit de Cauchy-Schwarz :
|F(x)|
2

_
[0,x]
|f|
2
d
_
[0,x]
1
2
d = x
_
[0,x]
|f|
2
d.
Cela donne le rsultat, puisque quand x 0,
_
[0,x]
|f|
2
d tend vers 0.
2. Cest un peu plus dur, puisque si on applique de but en blanc lingalit de Cauchy-
Schwarz sur [0, x[, on obtient simplement que
|G(x)|

x
M pour une certaine constante
M. En fait, on va appliquer lingalit sur un intervalle [a, x]. Pour cela, xons > 0 et
remarquons que
|G(x)|
_
a
0
|g|d +
_
x
a
|g|d

_
a
0
|g|d +

x a
__
x
a
|g|
2
d
_
,
o la dernire ingalit vient de lingalit de Cauchy-Schwartz sur [a, x]. On en dduit
|G(x)|

x

C

x
+

x a
x
_
_
[a,x]
|g|
2
d
_
1/2
.
En choisissant a > 0 de sorte que
_
+
a
|g|
2
d < , on voit que pour x assez grand, on a
|G(x)|

x
,
ce qui est lingalit dsire.
Exercice 6 - tude dune fonction - L3/M1 -
http://www.bibmath.net 2
Exercices - Espaces L
p
: corrig
1. Comme on peut sen doute, tout dmarre dune bonne utilisation de lingalit de Cauchy-
Schwarz. Le problme est de savoir comment lappliquer, et ici cest le rsultat de la
question qui nous guide. Clairement, on doit crire f(t) = g(t)h(t) de sorte que h(t)
2
=

t|f(t)|
2
. On a donc
_
x
0
f(t)dt =
_
x
0
t
1/4
t
1/4
f(t)dt

__
x
0
t
1/2
_
1/2
__
x
0
t
1/2
|f(t)|
2
dt
_
1/2

2x
1/4
__
x
0
t
1/2
|f(t)|
2
dt
_
1/2
,
ce qui est exactement le rsultat voulu.
2. On va calculer lintgrale de |F(x)|
2
en appliquant le thorme de Fubini-Tonelli. On a
_
+
0
|F(t)|
2
dt =
_
+
0
__
x
0
f(t)dt
_
2
dx
x
2
2
_
+
0
1
x
3/2
_
x
0

t|f(t)|
2
dtdx
On applique alors le thorme de Fubini-Tonelli. La condition x 0 et t [0, x] se
retraduit en t 0 et x [0, t], et on trouve
_
+
0
|F(t)|
2
dt 2
_
+
0

t|f(t)|
2
_
+
t
1
x
3/2
dxdt
2
_
+
0

t|f(t)|
2

t
dt
4
_
+
0
|f(t)|
2
dt.
On en dduit que F L
2
([0, +[) et que F
2
f
2
.
Exercice 7 - Plusieurs variables - L3/M1 -
Il sut dappliquer lingalit de Cauchy-Schwarz plusieurs fois. On crit dabord
f
1
=
_
R
2
|f
3
(x
1
, x
2
)|
__
R
|f
1
(x
2
, x
3
)| |f
2
(x
1
, x
3
)|dx
3
_
dx
1
dx
2
.
On applique lingalit de Cauchy-Schwarz dans la parenthse :
f
1

_
R
2
|f
3
(x
1
, x
2
)| |g
2
(x
1
)| |g
1
(x
2
)|dx
1
dx
2
o g
2
(x
1
) =
__
R
|f
2
(x
1
, x
3
)|
2
dx
3
_
1/2
et g
1
(x
2
) =
__
R
|f
1
(x
2
, x
3
)|
2
dx
3
_
1/2
. On rapplique linga-
lit de Cauchy-Schwarz, par exemple par rapport la mesure dx
2
et on trouve
f
1

_
R
g
2
(x
1
)
__
R
|g
1
(x
2
)|
2
dx
3
_
1/2
g
3
(x
1
)dx
1
http://www.bibmath.net 3
Exercices - Espaces L
p
: corrig
o g
3
(x
1
) =
__
R
|f
3
(x
1
, x
2
)|
2
_
1/2
. On remarque alors que, daprs le thorme de Fubini,
__
R
|g
1
(x
2
)|
2
dx
3
_
1/2
= f
1

2
et donc
f
1
f
1

2

_
R
g
2
(x
1
)g
3
(x
1
)dx
1
Il sut dappliquer une dernire fois lingalit de Cauchy-Schwarz par rapport la mesure dx
1
en remarquant que
__
R
|g
2
(x
1
)|
2
dx
1
_
1/2
= f
2

2
__
R
|g
3
(x
1
)|
2
dx
1
_
1/2
= f
3

2
.
Exercice 8 - Translation - L3/M1 -
Comme suggr, supposons dabord que f est une fonction continue support compact, et
on suppose donc que son support est inclus dans un segment [A, A]. Daprs le thorme de
Heine, f est en fait uniformment continue, et donc, > 0, > 0 tel que |x y| < =
|f(x) f(y)| < . Or, si |a| < et x R, |(x a) x| < . En outre, f(x) et f(x a) sont
tous les deux nuls si x et xa sont tous les deux hors de [A, A]. En particulier, si on suppose
|a| < 1, |f(x) f(x a)| = 0 si x / [A1, A + 1].

a
(f) f
p
p
=
_
R
|f(x a) f(x)|
p
dx
=
_
A+1
A1
|f(x a) f(x)|
p
dx
=
_
A+1
A1

p
dx
= (2A + 1)
p
.
Ceci prouve bien le rsultat si f est continue support compact. Prenons maintenant f quel-
conque dans L
p
(R) et xons > 0. Par densit des fonctions continues support compact
dans L
p
(R), il existe g C
c
(R) tel que f g
p
< . Par changement de variables, on a aussi

a
(f)
a
(g)
p
= f g
p
< . Maintenant, daprs le premier point, il existe > 0 tel que
si |a| < , alors
a
(g) g
p
< . On conclut en crivant :
f
a
(f)
p
f g
p
+g
a
(g)
p
+
a
(g)
a
(f)
p
< 3.
Exercice 9 - Produit de convolution - L3/M1 -
1. Il sagit simplement dune application de lingalit de Hlder : si on pose, pour x R
x, h(y) = f(x y), alors h L
p
(R) avec h
p
= f
p
. On en dduit que hg L
1
(R) et
lestimation :
|f g(x)|
_
R
|h(y)g(y)|dy h
p
g
q
= f
p
g
q
.
http://www.bibmath.net 4
Exercices - Espaces L
p
: corrig
2. Nous allons appliquer le thorme de Fubini. Montrons en eet que (x, y) f(xy)g(y)
est dans L
1
(R
2
). On a en eet, daprs le thorme de Fubini-Tonelli,
_
R
2
|f(x y)g(y)|dy =
_
R
|g(y)|
__
R
|f(x y)|dx
_
dy
=
_
R
|g(y)|f
1
dy changement de variables
= f
1
g
1
.
Daprs le thorme de Fubini, on en dduit que, pour presque tout x R, f g(x) =
_
R
f(xy)g(y)dy est dni, que cette fonction est intgrale et satisfait f g
1
f
1
g
1
.
3. Ecrivons ce qui est indiqu, et remarquons que, pour tout x, la fonction y |f(xy)|
1/q
est dans L
q
(R). Dautre part, daprs la question prcdente, pour presque tout x R,
la fonction y (|f(x y)|
1/p
|g(y)|)
p
est intgrable sur R, ie y |f(x y)|
1/p
|g(y)| est
dans L
p
(R). Daprs lingalit de Hlder, on obtient, pour presque tout x de R, que la
fonction y |f(x y)||g(y)| est intgrable, et que
_
R
|f(x y)||g(y)|dy
__
R
|f(x y)||g(y)|
p
dy
_
1/p
f
1/q
1
.
En passant la puissance p, ceci devient :
|f g(x)|
p
(|f| |g|
p
)(x)f
1
.
On applique maintenant le rsultat de la question prcdente |f| |g|
p
, et on obtient
f g L
p
avec lestimation
f g
p
p
f
1
g
p
p
f
p/q
1
= f
p
1
||g
p
p
.
http://www.bibmath.net 5