Chapitre 3

Les espaces de Lebesgue L p

Soit X un ouvert de R n , S = B n ( X ) la restriction à X de la s-algèbre borélienne

et µ la mesure de Lebesgue.
Soit p 2 [1, +•[. On définit pour toute fonction mesurable f : X ! C sa "norme
p
L " par
✓Z ◆1/p
p
k f k p := | f | dµ
X

On note par L p ( X ) l’ensemble des fonctions mesurable à valeurs dans C pour

lesquelles k f k p < +•.
On notera que L p ( X ) est un espace vectoriel ; en effet, pour f , g 2 L p ( X ) et
l, b 2 C on a : |l f + bg| p  2 p max(|l|| f |, | b|| g|) p  2 p (|l| + |µ|) p max(| f | p , | g| p ) 
2 p (|l| + |µ|) p (| f | p + | g| p ). D’où l f + bg 2 L p ( X ).
kk p n’est pas une norme une L p ( X ), en effet
3.0.3 L EMME
Soit f : X ! C une fonction mesurable. k f k p = 0 si et seulement si f ( x ) = 0 p.p.
1
Démonstration: Pour n 1 on pose An = { x 2 X | | f ( x )| n }. Alors An ⇢ An+1 et
S
A = n 1 A n = { x 2 X | f ( x ) 6 = 0}.
R R 1 p
On a pour tout n 1, 0 = X | f | p dµ An
| f | p dµ n µ( An ), ainsi µ( An ) = 0 et
par suite µ( A) = limn µ( An ) = 0. La réciproque est évidente.

3.0.5 R EMARQUE
On a montrer qu’à l’inverse si f n’est pas identiquement nulle p.p. alors il existe
e > 0 tel que µ({ x 2 X | | f ( x )| > e}) > 0.

Il s’en suit que pour obtenir une norme il faudrait identifier les fonctions égales
p.p. i.e. f ⇠ g si et seulement si µ({ x 2 X | | f ( x ) 6= g( x )}) = 0.
On pose alors N ( X ) = { f 2 L p ( X ) | f ( x ) = 0 p.p. }.

3.0.6 Exercice N ( X ) est sous-espace vectoriel de l’espace des fonctions mesurables.

58
 3. Les espaces de Lebesgue L p : 59

Comme N ( X ) est un sous-espace vectoriel de L p ( X ), on peut définir l’espace vec-

toriel quotient, pour obtenir

3.0.7 D ÉFINITION
L p ( X ) = L p ( X )/N ( X )

Les éléments de L p ( X ) sont des classes d’équivalences de fonctions [ f ] , telle que

R 1/p
un représentant f : X ! C : est mesurable et X
| f | p dµ <•

3.0.8 R EMARQUE
Grâce au lemme précédent, k f k p = k gk p si f ⇠ g donc k f k p ne dépend pas du
représentant de la classe.

Pour le cas p = +•, si on considère l’espace des fonctions mesurable et bornées

sur X, B( X ), muni de la norme du sup et on veut identifier les fonctions égales
presque partout, la norme du sup n’est plus indépendante de la classe de fonctions,
pour éviter ce problème on définit le supremum essentiel par :

3.0.9 D ÉFINITION
Pour toute function mesurable f : X ! C son supremum essentiel (ou sa borne
supérieure essentielle) , noté k f k• , par

k f k• = inf {a > 0 | µ({ x 2 X || f ( x )| a}) = 0} .

On utilise parfois la notation esssup f ou supess f pour désigner k f k• .

On note par L• ( X ) l’ensemble des fonctions mesurable à valeurs dans C pour
lesquelles k f k• < +•.
et on définit :

3.0.10 D ÉFINITION
L• ( X ) = L• ( X )/N ( X )

Les éléments de L• ( X ) sont des classes d’équivalences de fonctions [ f ] (identifié

R 1/p
à f + N ( X )), telle que un représentant f : X ! C : mesurable et X
| f |• dµ <
•.

Par commodité, on continuera à considérer les éléments de L p ( X ) comme des

fonctions, en prenant un représentant de chaque classe d’équivalence.

3.0.11 T HÉORÈME
Soit p et q deux exposants conjugués ( 1p + 1
= 1), 1  p  •. Soit ( X, S, µ) un
q
espace mesuré. Soient f et g deux fonctions mesurables à valeurs dans C. Alors on
a les inégalités suivantes :
 3. Les espaces de Lebesgue L p : 60

(i) (l’inégalités de Hölder ).

Z ✓Z ◆1/p ✓Z ◆1/q
p q
| f g| dµ  | f | dµ | g| dµ .
X X X

(ii) (l’inégalité de Cauchy-Schwarz). le cas p = q = 2 dans l’inégalité de Hölder.

(iii) (l’inégalité de Minkowski).
✓Z ◆1/p ✓Z ◆1/p ✓Z ◆1/p
p p p
| f + g| dµ  | f | dµ + | g| dµ .
X X X

C’est l’inégalité triangulaire pour L p ( X ) : k f + gk p  k f k p + k gk p .

Par conséquent k.k p est une nome sur L p ( X ).

Démonstration: (i) on va utiliser le lemme suivant :

3.0.13 L EMME
Soit a, b 0, p, q 2 [1, +•] deux exposants conjugués alors

ap bq
ab  +
p q

Démonstration: Si ab = 0 il n’y a rien à montrer. On suppose donc que a, b > 0,

comme l’application t 7! et est convexe, on aura
✓ ◆
ln a p ln bq
ab = exp(ln ab) = exp(ln a + ln b) = exp +
p q

1 1 ap bq
 exp(ln a p ) + exp(ln bq )  + .
p q p q
⌅

1) Si k f k p = k gkq = 1, d’après l’inégalité de Young on a :

Z Z Z
| f |p
| g|q 1 p 1 q 1 1
k f g k1 = | f g| dµ  dµ = k f k p + k gkq = + = 1.
dµ +
X X X qp p q p q
R
2) Si k f k p = 0 ou k gkq = 0 alors | f g| = 0 p.p., d’où X | f g|dµ = 0 et l’égalité.
f g
3) Si k f k p > 0 ou k gkq > 0 on pose f 1 = k f kp
et g1 = k gkq
. Alors k f 1 k p =
k f g k1
k g1 kq = 1 et d’après 1) on a k f 1 g1 k1  1 i.e. k f k p k gkq
 1.
(ii) c’est seulement le cas p = q = 2
 3. Les espaces de Lebesgue L p : 61

(iii) Soient f et g deux fonctions mesurables. D’après l’inégalité de Hölder

Z Z Z
p p 1 p 1 1
kf + gk p = | f + g|| f + g| dµ  | f || f + g| dµ + | g|| f + g| p dµ
X X X

1 1 p 1
 k f k p k| f + g| p kq + k gk p k| f + g| p kq = k f k p + k gk p k f + gk p .
Ainsi, k f + gk p  k f k p + k gk p .

3.0.15 Exercice (inégalité de Hôlder généralisée) Soient p1 , . . . , pn , r 2 [1, +•] tels que
n
1 1
 pi = r .
i =1
Alors pour f 1 , . . . , f p : X ! C des fonctions mesurables on a :

n n
’ fi  ’ k f i k pi .
i =1 r i =1

(indication : utiliser l’inégalité de Hölder et une récurrence sur n).

3.0.16 T HÉORÈME (Q UELQUES PROPRIÉTÉS )

1. L p ( X ) est un espace complet (i.e. un espace de Banach) pour p 2 [1, +•].
2. Si 1  p < •, l’espace des fonctions simples à support fini est dense dans
L p ( X ).
3. Si 1  p < •, pour tout k 2 N [ {+•}, l’espace Cck ( X ) des fonctions de classe
C k à support compact, est dense dans L p ( X )
4. Si 1  p < • alors L p ( X ) est séparable.
5. Si X est un ouvert non vide, L• ( X ) n’est pas séparable et les espaces Cck ( X ),
k 2 N [ {+•}, ne sont pas denses dans L• ( X ).

Démonstration: Voir la suite ⌅

3.0.18 D ÉFINITION
On appelle support d’une fonction f : X ! C et on note supp( f ) le sous-ensemble
fermé de X, adhérence de l’ensemble des x 2 X tels que f ( x ) 6= 0 i.e.
supp( f ) = { x 2 X | f ( x ) 6= 0}.

3.0.19 T HÉORÈME (R IESZ -F ISCHER )

Soit p 2 [1, +•]. Alors L p ( X ) est un espace de Banach.
3. Les espaces de Lebesgue L p : 62

Démonstration: On va commencer par le cas 1  p < +•. Soit ( f n ) une suite de Cau-
chy dans L p ; remplaçant au besoin cette suite par une sous-suite on peut supposer
que
1
k f n +1 f n k p  n ;
2
•
posant g0 = f 0 et gn = f n f n 1 , pour n 1 et G = Â+ n =0 | gn | .
n p
Alors, la suite Gn = Âk=0 | gk | est dans L ( X ), en effet pour tout n, k Gn k p =
k Âk=0 | gk |k p  Ânk=0 k gk k p  Ânk=0 2k1 1 + k f 0 k p  1 2n1 1 + k f 0 k p  1 + k f 0 k p .
n

D’autre part, la suite Gn est positive, croissante et limn Gn ( x ) = G ( x ), d’après le

théorème de convergence monotone
Z Z
p
lim Gn dµ = G p dµ
n!+• X X
i.e. k G k p = limn!+• k Gn k p  1 + k f 0 k p . Ainsi, G 2 L p ( X ), en particulier, 0 
•
G ( x )  +• p.p. par suite la série et Â+ n=0 gn ( x ) est absolument convergente dans C,
+•
p.p. donc convergente p.p. i.e. Ân=0 gn ( x ) = limn!+• f n ( x ) existe p.p. on note par
f ( x ) cette limite quand elle existe et on pose f ( x ) = 0 si la limite n’existe pas. Alors
f ( x ) = limn!+• f n ( x ) p.p., donc f est mesurable, il reste à montrer que f 2 L p et
• +•
que limn!+• k f n f k p = 0. Comme f ( x ) = Â+ n=0 gn ( x ) p.p., | f ( x )|  Ân=1 | gn ( x )|
• p
p.p. d’où k f k p  Â+ n=0 k gn k p  + •. i.e. f 2 L . On a limn!+• | f n ( x ) f ( x )| p = 0
p p p p p 1
, | f n ( x ) f ( x )|  2 G ( x ) p.p. et 2 G 2 L ( X ), et d’après le théorème de conver-
gence dominée : Z
lim | f n (x) f ( x )| p dµ = 0;
n!+• X
on voit ainsi que f n converge vers f dans L p .

Le cas p = +•.
Soit  f n une série normalement convergente de L• ( X ) i.e.  k f n k• < •. On doit
n n
montrer que la série converge. Posons An = { x 2 X | | f n ( x )| > k f n k• }. Par défini-
•
tion de k.k• , An est de mesure nulle et par suite A = [+
n=0 An est de mesure nulle et
+•
pour tout x 2 X \ A ; Â | f n (x)| < •. Comme C est complet, pour tout x 2 X \ A ;
n =0
+•
 f n ( x ) converge, on note par f ( x ) cette somme et pose f ( x ) = 0 si x 2 A. Alors f
n =0
est mesurable comme somme d’une série de fonctions mesurables convergeant p.p.
+•
et | f ( x )|  Â k f n k• < • d’où f 2 L • ( X ).
n =0
N +•
D’autre part f ( x ) Â f n (x)  Â k f n k• pour tout x 2 X \ A ainsi
n =0 n = N +1

N +•
f  fn   k f n k• ! 0 lorsque N ! +•
n =0 • n = N +1
 3. Les espaces de Lebesgue L p : Approximation dans L p , (1  p < +•). 63

i.e. la série Ân f n converge dans L• ( X ).

3.0.21 C OROLLAIRE
Soit p 2 [1, +•]. Soit f n et f des fonctions de L p ( X ) telles que limn!+• k f n f kp =
0; il existe alors une sous-suite f nk qui converge presque partout vers f .
De plus, il existe une fonction g 2 L p telle que | f nk ( x )|  g( x ) p.p.

Démonstration: Cela résulte de la démonstration du théorème précédent. ⌅

3.1 Approximation dans L p , (1  p < +•).

On va montrer que l’espace des fonctions de classe C • à support compact est
dense dans L p ( X ). Soit E l’espace des fonctions simples g : X ! C telles que µ({ x 2
1
X | g( x ) 6= 0}) < •. Pour g = Âik=1 ai 1 Ai 2 E on a k gk p  Âik=1 |ai |µ( Ai ) p < +•
d’où E ⇢ L p ( X ).

3.1.1 T HÉORÈME
Si 1  p < +•, alors E est dense dans L p ( X ).

Démonstration: Soit f une fonction positive telle que f 2 L p . D’après 2.0.52, il existe
une suite croissante de fonctions simples positives Sn telle que Sn % f .
p
Alors µ({R x 2 X | Sn ( x )R 6= 0}) = µ({ x 2 X | Sn ( x ) mn }) = µ({ x 2 X | Sn ( x )
p p
mn })  m1p X Sn dµ  m1p X f p dµ < •. Ainsi Sn 2 E.
h h
D’autre part, 0  Sn  f entraîne 0  ( f Sn ) p  f p ; d’après le théorème de
convergence dominée limn!+• k f Sn k p = 0.
Le cas f à valeurs réelles se réduit au cas positive en écrivant f = f + f et
celui de f à valeurs complexes par la décomposition f = Re( f ) + iIm( f ). ⌅

3.1.3 C OROLLAIRE
Pour 1  p < +•, L p ( X ) est séparable.

Démonstration: L’ensemble des fonctions indicatrices 1 A avec A 2 S et µ( A) < +•

est une famille totale de L p ( X ) par construction de l’intégrale.
Soit A 2 S fixé avec µ( A) < +•. D’après la régularité de la mesure, il existe une
suite décroissante d’ouverts On telle que µ( A) = limn!+• µ(On ). Comme µ( A) <
+•, on peut supposer µ(On ) < +•, et donc µ(On \ A) = µ(On ) µ( A) ! 0. Une
application du théorème de convergence dominée nous donne k1 A 1On k p ! 0.
 3. Les espaces de Lebesgue L p : Approximation dans L p , (1  p < +•). 64

D’où l’ensemble des fonctions indicatrices 1O avec O ouvert et µ(O) < +• est une
famille totale de L p ( X ).
Soit B une base dénombrable de la topologie de X. Alors tout ouvert O s’écrit
O = [i+=•1 Õi avec Õi 2 B .
Posant D = {réunion finie d’éléments de B}. Alors D est dénombrable et tout
ouvert O est limite d’une suite croissante d’élément de D à savoir Un = [in=1 Õi .
Alors d’après le théorème de convergence dominée k1O 1Un k p ! 0 et ainsi D est
une famille totale. ⌅

3.1.5 D ÉFINITION
Le support d’une fonction f ,d’un espace topologique E à valeurs dans C est l’adhé-
rence de { x 2 E| f ( x ) 6= 0}, qu’on notera supp( f ).

3.1.6 T HÉORÈME
Soit 1  p < +•. Alors Cc ( X ), l’espace des fonctions continues de X ! C à support
compact, est dense dans L p ( X ) .

Démonstration: Comme dans la démonstration précédente, en utilisant la régularité

de la mesure, on montre que pour A 2 S fixé avec µ( A) < +•, il existe une suite
croissante de compacts Kn , telle que µ( A \ Kn ) = µ( A) µ(On ) ! 0. Ainsi, l’en-
semble des fonctions indicatrices 1K avec K compact est une famille totale de L p ( X ).
Il suffit donc de montrer que pour K compact de X, 1K peut être approchée à e
près par une fonction continue à support compact pour la norme de L p ( X ). Soit e >
0. La régularité de la mesure, il existe un ouverts Ocontenant K tel que µ(O \ K ) =
µ(O) µ(K ) < e.
Comme X est localement compact, on peut supposer, quitte à prendre un ouvert
plus petit, que O est compact. D’après le lemme d’Urysohn, il existe une fonction
continue f e : X ! [0, 1] telle que f e |K = 1 et f e | X \O = 0. Comme
Z Z
p
| fe 1K | dµ = | f e | p dµ  µ(O \ K ) < e.
X O\K

Ainsi k f e 1K k p ! 0, f e est continue et supp( f e ) ⇢ O est compact. ⌅

3.1.8 L EMME (U RYSOHN )

Soit F et G deux fermés disjoints d’un espace métrique E. Alors il existe g : E ! [0, 1]
continue telle que g| F = 1 et g| G = 0.

Démonstration: On note d( x, F ) la distance de x à F, de même, d( x, G ), est la distance

d( x, G )
de x à G. Alors la fonction g( x ) = convient. ⌅
d( x, F ) + d( x, G )
 3. Les espaces de Lebesgue L p : Approximation dans L p , (1  p < +•). 65

Approximation par des fonctions C •

Approximation de l’identité : On va commencer par construire une fonction f :
Rn ! [0, 1] de classe C • et à support( compact contenu dans la boule unité fermée.
exp( t 1 1 ) si t < 1
Soit h : R ! R telle que h(t) = .
0 si t 1
Alors, h est C • et supp(h) =] •, 1].
La fonction f : R n ! R + définie par f( x ) = h(k x k22 ) est C • et supp(f) = h 1 (] •, 1] =
R
B(0, 1). Enfin, f > 0 dans B(0, 1) d’où Rn f( x ) dx > 0.
f( x )
On pose : y( x ) := R et yk ( x ) = kn y(kx ) pour tout x 2 R n et k 2 N ⇤ .
R n f ( x ) dx
R
Alors, yk est de classe C • , positive, supp(yk ) = B(0, 1k ) et Rn yk ( x ) dx = 1.
Une telle famille de fonctions {yk }k2N⇤ est appelée une approximation de l’iden-
tité (ou encore une famille régularisante).
3.1.10 P ROPOSITION
Soit {yk }k 1 une approximation de l’identité. Alors pour toute fonction continue a
support Rcompact f : R n ! C, la fonction f k définie par
f k ( x ) = Rn yk ( x y) f (y) dy est de classe C • , à support compact et
limk!+• k f k f k• = 0.

Démonstration: Voir le paragraphe sur le produit de convolution. ⌅

3.1.12 T HÉORÈME
Soit 1  p < +•. Alors D( X ) = Cc• ( X ), l’espace des fonctions de classe C • de
X ! C à support compact, est dense dans L p ( X ).

Démonstration: Soit f 2 L p ( X ) et e > 0. Comme Cc ( X ) est dense dans L p ( X ), il

existe une fonction continue à support compact g telle que k f gk p  e. En po-
sant g( x ) = 0 si x 2 R n \ X, on peut supposer que g 2 Cc (R n ). D’après le lemme
précédent, il existe N (e) > 0 tel que pour k N (e), k f f k k•  e.
1
Comme supp( f f k ) ⇢ [k 1 supp( f ) B(0, k ) ⇢ K = { x 2 R n | D ( x, supp( f )) 
1},
K est compact et de mesure finie, on pose M = µ( F ) < +•.
1 1
Alors k f f k k p  M p .k f f k k•  M p .e.
1
Finalement, l’inégalité triangulaire nous donne pour k N ( e ), k f f k k p  e ( M p + 1 ) .⌅

3.1.14 R EMARQUE
1) L’ensemble des fonctions continues à support compact n’est pas dense dans L• ( X ),
si X est un ouvert dense.
Soit f = 31X . S’il existe une suite f n 2 Cc ( X ) telle que limn!+• k f n f kin f ty = 0.
Alors, il existe N > 0 tel que k f n f kin f ty  1 si n N.
 3. Les espaces de Lebesgue L p : Approximation dans L p , (1  p < +•). 66

Ainsi, 1 f N ( x )  f ( x )  1 + f N ( x ) p.p., comme supp( f N ) est compact, U =

x \ supp( f N ) est un ouvert non vide et
f = 1 p.p. sur U. Ceci contredit le fait que f = 3 p.p.
2) L• n’est pas séparable.
En effet, la famille { f r = 1B(0,r) }r2R+ est non-dénombrable, contenue dans L• et
k f r f s k• = k1B(0,r) 1B(0,s) k• = 1 si r 6= s.
S’il existe une suite ( gn ) dense dans L• , alors pour tout r > 0, il existe nr 2 N tel
que k gnr f r k• < 13 . Ceci entraîne que l’application R + ! N r ! nr est injective
i.e. le cardinal de N est supérieur ou égal à celui de R + ce qui est absurde. elle ne
pourra pas être approchée par un ensemble dénombrable.

3.1.15 Exercice Soit 0 < p < r < q. Montrer que si ( X, S, µ) est un espace mesuré, alors

Lr ( µ ) ✓ L p ( µ ) + L q ( µ ).

Solution: Soit f 2 Lr (µ). Alors | f |r 2 L1 (µ). Soit

A = { x 2 X : | f ( x )| > 1}

B = { x 2 X : | f ( x )|  1}.
On pose g = f 1 A et h = f 1B . Alors f = g + h et comme 0 < p < r < q, | g| p , | h|q 
| f |r sur X. Ainsi, f 2 Lr (µ) entraîne g 2 L p (µ) et h 2 Lq (µ). ⌅

⇣ ⌘p
k f kp
3.1.17 Exercice (inégalité de Markov) Soit f 2 L p . Alors µ({ x 2 X | | f ( x )| > t})  t .

Voici une justification de la notation k.k• .

3.1.18 Exercice Soit ( X, S, µ) un espace mesuré. Soit f 2 Lr ( X ), 0 < r < +•

Montrer que lim k f k p = k f k• .
p!•

Solution: Soit 0 < t < k f k• . Par définition de k f k• , l’ensemble A = { x 2 X | | f ( x )| >

⇣ ⌘p 1
k f kp
t} est de mesure > 0. Alors 0 < µ( A)  t , d’où k f k p tµ( A) p .
Si µ( A) = +• alors k f k p = +• alors k f k p k f k• .
1
Si µ( A) < +• alors limt!+• µ( A) = 1 d’où lim inf k f k p
p k f k• .
Dans tous les cas lim inf k f k p k f k• .
r r
1
Soit r < p < +•. Alors k f k p  (k f k• ) p (k f kr ) p .
R R R
En effet, X | f | p dµ = X | f | p r | f |r dµ  (k f k• ) p r X | f |r dµ = (k f k• ) p r (k f kr )r ,
en prenant la racine p-ieme des deux côtés on obtient le résultat.
r
Comme k f kr < +•, lim p!+• (k f kr ) p = 1, ainsi lim sup k f k p  k f k• .
Finalement, on obtient lim inf k f k p k f k• lim sup k f k p , d’où lim k f k p existe
et lim k f k p = k f k• . ⌅
 3. Les espaces de Lebesgue L p : Produit de convolution 67

Voici un exemple de fonction à valeurs finies presque partout, qui est dans L1
mais pas dans L2 .
1
3.1.20 Exercice Soit f ( x ) = p si 0 < x < 1 et f ( x ) = 0 pour x 2/ ]0, 1[. Soit {rn }•
n=1 une
x
•
f ( x rn )
suite de nombres rationnels. On pose pour x 2 R, g( x ) := Â .
n =1
2n
Montrer que g 2 L1 (R ) (et donc g( x ) < • p.p.) mais, que g 2/ L2 (R ).
R R1 R
Solution: On a , R f = 0 f = 2, alors que R f 2 = •. Ainsi, f 2 L1 (R ) mais pas
dans L2 (R ). D’après le corollaire du théorème de convergence monotone, on a
Z • Z
1
g( x ) dx = Â n f (x rn ) dx.
R n =1
2 R

Par invariance par translation de la mesure de Lebesgue, le membre de droite est

égale à k f k1 Â 2n1 1 , est donc fini, d’où g 2 L1 , et donc g( x ) < • p.p.
Comme g( x ) < • p.p., g2 ( x ) < • p.p. Mais, en élevant au carré et en ignorant
les termes produits on a
Z • Z
1
R
[ g( x )]2 dx  22n R
[ f (x rn )]2 dx.
n =1

/ L2 .
Maintenant le membre de droite est égal à +•, d’où, g 2 ⌅

3.2 Produit de convolution

Soient f : R n ! R et g : R n ! R deux fonctions mesurables.

3.2.1 D ÉFINITION (C ONVOLUTION )

Pour tout x 2 R n tel que la fonction y 7! f ( x y) g(y) soit intégrable on pose
Z
f ⇤ g( x ) = f (x y) g(y) dy.
Rn

On dit que le produit de convolution f ⇤ g de f par g existe (p.p.) si pour presque

tout x 2 R n , f ⇤ g( x ) existe.

3.2.2 P ROPOSITION
i) supp( f ⇤ g) ⇢ supp( f ) + supp( g).
ii) Le produit de convolution est commutatif :
pour tout f 2 L1 (R n ) et g 2 L1 (R n ) on a

f ⇤g = g⇤ f
 3. Les espaces de Lebesgue L p : Produit de convolution 68

iii) Le produit de convolution est associatif :

pour tout f 2 L1 (R n ) , g 2 L1 (R n ) et g 2 L1 (R n )

( f ⇤ g) ⇤ h = f ⇤ ( g ⇤ h)

Démonstration: i) Si x 62 supp( f ) + supp( g) alors, ( x supp( f )) \ supp( g) = ∆

ainsi f ( x y).g(y) = 0 pour presque tout y, d’où f ⇤ g( x ) = 0.
ii) Soit x 2 R n ,
Z Z
f ⇤ g( x ) = f (x y) g(y) dy = f (z) g( x z) dz = g ⇤ f ( x )
Rn Rn

on appliquant le changement de variables y 7! z = x y.

iii) ✓Z ◆
Z
( f ⇤ g) ⇤ h( x ) = f (x y) g(y z)h(z) dz dy
Rn Rn
Z ✓Z ◆ Z ✓ Z ◆
= f (t) g( x t z)h(z) dz dt = f (t) g(( x z) t)) dt h(z) dz
Rn Rn Rn Rn
Z
= ( f ⇤ g( x z)) h(z) dz = ( f ⇤ g) ⇤ h
Rn

3.2.4 E XEMPLE . 1. Soit 0 < b < a, f = 1[ b,b] , g = 1[ a,a]

8
<2b
> si | x |  a b
Alors f ⇤ g( x ) = a + b | x | si a b  | x |  a + b
>
:
0 si | x | a b
2. Soit a 6= b, f = 1R+ , g = 1R+
8 ax bx
<e e
si | x 0
Alors f ⇤ g( x ) = b a
:
0 si x < 0
2 bx2
= e ax , g = e
3. Si 0 < a + b, f ( x )r
p ab 2
Alors f ⇤ g( x ) = e a+b x
a+b

3.2.5 C OROLLAIRE
( L1 (R n ), ⇤) est une algèbre de Banach (i.e. k f ⇤ gk1  k f k1 k gk1 ) (sans élément unité)

3.2.6 Exercice Montrer qu’il n’existe pas de f 2 L1 (R n ) tel que f ⇤ g = g pour tout g 2
L1 (R n ).
 3. Les espaces de Lebesgue L p : Produit de convolution 69

3.2.7 T HÉORÈME ( L’ INÉGALITÉ DE YOUNG )

Soit p, q et r 2 [1, +•] tels que, 1p + 1q = 1 + 1r .
Alors pour f et g des fonctions mesurables de R n ! C on a :

k f ⇤ g kr  k f k p k h k q

En particulier, si f 2 L p (R n ) et g 2 Lq (R n ) , alors f ⇤ g 2 Lr (R n ).

Z
Démonstration: On a | f ⇤ g( x )|  | f | ⇤ | g|( x ) = | f (x y)|| g(y)| dy
Rn
Z
1
p( 1p 1 1 1
= (| f ( x y)| p | g(y)|q ) r | f ( x y)| r) | g(y)||q( q r) dy
Rn

Comme 1 = ( 1p 1 1
r) + (q
1 1
r)+ r , l’inégalité de Hölder généralisée 3.0.15 nous
donne :

1
p( 1p 1
q( 1q 1
| f ⇤ g( x )|  k (| f | p ( x .)| g|q ) r kr .k| f | r) (x .)k pr .k| g| r) k qr
r p r q

d’où
1 p( 1p 1
r) q( 1q 1
r)
| f ⇤ g( x )|  (| f | p ⇤ | g|q ( x )) r k f k p k gkq .
Alors
Z ✓Z ◆
r p q r p r q
| f ⇤ g( x )| dx  | f | ⇤ | g| ( x ) dx k f k p k gkq
Rn Rn

r p r q p r p r q
 (k| f | p k1 k| g|q k1 ) k f k p k gkq = k f k p k gkq k f k p k gkq
finalement, k f ⇤ gkr  k f k p k gkq ⌅

3.2.9 R EMARQUE
On a les cas particuliers de l’inégalité de Young.
1. Si p = q = 1, alors r = 1 et si f 2 L1 (R n ) et g 2 L1 (R n ) , alors f ⇤ g 2 L1 (R n )
et k f ⇤ gk1  k f k1 k gk1 .
2. Si p 2 [1, +•] et q son exposant conjugué i.e. 1p + 1q = 1, alors r = +•. Si
f 2 L p et g 2 Lq , alors f ⇤ g 2 L• et k f ⇤ gk•  k f k p k gkq .
3. Si p 2 [1, +•] et q = 1 alors , r = p et si f 2 L p (R n ) et g 2 L1 (R n ) , alors
f ⇤ g 2 L p (R n ) et k f ⇤ gk p  k f k p k gk1 .

3.2.10 P ROPOSITION ( CONTINUITÉ DE LA TRANSLATION )

Pour h 2 R n , on définit la translation th par th f ( x ) = f ( x h ).
Soit p 2 [1, +•[ alors :
1. th : L p (R n ) ! L p (R n ) est une application unitaire.
 3. Les espaces de Lebesgue L p : Produit de convolution 70

2. Pour tout f 2 L p (R n ) on a limh!0 kth f f k p = 0.

Démonstration: 1. D’après l’invariance par translation de l’intégrale de Lebesgue

on a
Z Z
p p
kth f k p = | f (x h)| p dx = | f ( x )| p dx = k f k p .
Rn Rn

2. Soit f 2 L p et e > 0. Par densité, il existe f e 2 Cc (R n ) telle que k f f e k p  e.

Alors, kth f f k p  kth f th f e k p + kth f e f e k p + k f e f k p Comme kth f th f e k p =
k f e f k p  e, d’où kth f f k p  2e + kth f e f e k p .
Maintenant, f e est continue à support compact, elle est donc uniformément
continue, i.e. il existe d > 0 tel que | f e ( x h) f e ( x )|  e pour tout x 2 R n et
1 1
|h| < d, alors, kth f e f e k p  µ(K ) p kth f e f e k• = µ(K ) p e.
1
Finalement, si | h| < d , on aura kth f f k p  e (2 + µ ( K ) p )
i.e. limh!0 kth f f k p = 0.

3.2.12 P ROPOSITION
1 1
Soit p 2 [1, +•[ et q son exposant conjugué i.e. p + q = 1. Soit f 2 L p et g 2 Lq ,
alors f ⇤ g est uniformément continue et bornée.

Démonstration: D’après l’inégalité de Hölder | f ⇤ g( x )|  k f k p k gkq d’où f ⇤ g est

bornée. D’autre part
Z Z
| f ⇤ g( x ) f ⇤ g(z)| = ( f (x y) f (z y)) g(y) dy = (tx f tz f ) g(y) dy
Rn Rn

 ktx zf f k p .k g k q
Comme p 2 [1, +•[, d’après la proposition précédente, pour tout e > 0, il existe
d > 0 tel que k hk  d
entraîne kth f f kp  e
Donc | f ⇤ g( x ) f ⇤ g(z)|  ek gkq dès que k x zk  d, i.e. x 7! f ⇤ g( x ) est
uniformément continue.

3.2.1 Dérivation d’un produit de convolution

Une des propriété importante du produit de convolutionest que la fonction f ⇤ g
est au moins aussi régulière que f ou g.
Soit a = (a1 , . . . , an ) 2 N n un multi-indice, on on désigne par ∂a f la dérivée partielle

∂|a| f
Da f :=
∂x1a1 . . . ∂xnan
n
où |a| = Â ai est la longueur du multi-indice a.
i =1
 3. Les espaces de Lebesgue L p : Produit de convolution 71

3.2.14 R EMARQUE
La formule de Leibnitz nous donne pour f et g 2 C |a| (R n , C ) :

a! b g
D a ( f .g) = Â b!g!
∂ f .∂ g
b,g2N n
b+g=a

où a! = a1 ! . . . an !, b! = b 1 ! . . . b n ! et g! = g1 ! . . . gn !.

3.2.15 T HÉORÈME
Soit k 2 N. Soit f 2 Cc (R n ) et g 2 Cck (R n ) alors f ⇤ g 2 Cck (R n ) et pour tout a 2 N n
tel que |a|  k on a

Da ( f ⇤ g) = f ⇤ Da g

Démonstration: Comme supp( f ⇤ g) ⇢ supp( f ) + supp( g), est supp( f ⇤ g) est com-
pact comme sous-ensemble fermé d’un compact. Pour montrer D a ( f ⇤ g) = f ⇤ D a g
on utilise le théorème de dérivation sous le signe intégral. Pour tout y 2 R n , la fonc-
tion x 7! f (y) D a g( x y) est continue. Soit x0 2 R n et B( x0 , r ) une boule fermée
centrée en x0 . Pour tout x 2 B( x0 , r ) on a
! 0 1

| f (y) Da g( x y)|  sup | Da g( x y)| | f (y)|  @ sup | D a g(y)|A | f (y)|.

y2supp( f ) y2 B( x0 ,r ) supp( f )

Comme g 2 Cck (R n ), sup | D a g(y)| est borné d’où la fonction y 7!

y2 B( x0 ,r ) supp( f )
f (y) D a g( x y) est dominée par une fonction intégrable dépendant pas de x. Ainsi
d’après le théorème Rde dérivation sous le signe
R intégral
D ( f ⇤ g)( x ) = D
a a
Rn
f (y) g( x y) dy = Rn f (y)da g( x y) dy = f ⇤ D a g( x )

3.2.17 T HÉORÈME
Soit {yk }k 1 une approximation de l’identité de classe C • (voir 3.1.10 pour la construc-
tion).

Soit f 2 Cc (R n ), on pose f k := yk ⇤ f . Alors f k 2 Cc• (R n ) et converge uniformé-

ment vers f .
Soit p 2 [1, +•], si f 2 L p (R n ), f k converge vers f dans L p .
 3. Les espaces de Lebesgue L p : Annexe 72

Démonstration: D’après le théorème précédent f k 2 Cc• (R n ). Comme supp(yk ) =

R
B(0, 1k ) et Rn
yk ( x ) dx = 1 on aura

Z Z
| f k (x) f ( x )| = ( f (x y) f ( x ))yk (y) dy = ( f (x y) f ( x ))yk (y) dy
Rn B(0, 1k )

 sup | f ( z1 ) f (z2 )| ! 0
|z1 z2 | 1k

lorsque k ! +• d’où limk!+• k f k f k• = 0.

Pour le deuxième point, en utilise la densité de Cc (R n ) dans L p . (voir 3.1.12) ⌅

3.3 Annexe
3.3.1 Dualité
Soit p 2 [1, +•[ et q son exposant conjugué, ( 1p + 1q = 1).
Soit g 2 Lq ( X ), alors l’inégalité de Hölder, kRf gk1  k f k p k gkq , permet de définir
une forme linéaire l g : L p ( X ) ! C par l g ( f ) := X f g dµ.

3.3.1 T HÉORÈME
1
Soit 1  p < +•, et q son exposant conjugué i.e. + 1q = 1. Alors l’application
p
f : Lq ( X ) ! ( L p ( X ))0 telle que g 7! f( g) := l g est une application unitaire, ainsi le
dual topologique de L p ( X ), ( L p ( X ))0 , est identifié à Lq ( X ).

Démonstration: On va commencer par montrer que f est une isométrie. Soit g 2 Lq ( X )

d’après l’inégalité de Hölder on a kf( g)( f )k1  k f k p k gkq pour tout f 2 L p ( X ); d’où
kf( g)k  k gkq .
Pour l’inégalité inverse, on va considérer le cas 1 < p < +•, puis le cas p = 1.
Soit 1 < p < +•. Si k gkq = 0, alors g = 0 p.p. et donc f( g) est la forme nulle.
Si k gkq 6= 0, on pose f 0 = sgn( g).| g|q 1 où la fonction "signe de g", est définie
par
(
0 si g( x ) = 0
sng( g)( x ) = g( x)
| g( x )|
si g( x ) 6= 0
q

Alors, | f 0 | p = | g| p(q 1)
= | g|q , d’où k f 0 k p = k gkqp . Ainsi, f 0 2 L p ( X ) et k f 0 k p > 0.
R R
|f( g)( f )| |f( g)( f 0 )| f 0 g dµ g 6 =0
| g|q dµ
X
On en déduit, kf( g)k = sup = = q
k f kp k f0 k p k f0 k p
f 6 =0 k gkqp
q
k gkq
d’où kf( g)k q = k gkq .

k gkqp
 3. Les espaces de Lebesgue L p : Annexe 73

Maintenant on va traiter le cas p = 1. Soit g 2 L• ( X ). Si k gk• = 0 il est clair

que f( g) = 0. Supposons que k gk• > 0, alors pour tout 0 < e < k gk• , on pose
Xe = { x 2 X | k gk• e  | g( x )|  k gk• }.
Par définition du supremum essentiel µ( Xe ) > 0, il existe alors Ye ⇢ Xe tel que
1Ye
0 < µ(Ye ) < +•. On pose f e = sng( g). Alors, k f e k1 = 1 et
µ(Ye )
Z Z
|f( g)( f )| |f( g)( f e )| 1
kf( g)k = sup = f e g dµ = | g| dµ k gk• e.
f 6 =0 k f k1 k f e k1 X µ(Ye ) Ye
En faisant tendre e vers 0, on obtient kf( g)k k gk• . On a ainsi montrer, que si
1  p < +•, l’application f est une isométrie, donc injective, il reste à montrer
qu’elle est surjective.
Ceci est une conséquence, d’un résultat sur la théorie de la mesure à valeurs
complexes, connu sous le nom du Théorème de Radon-Nikodym.

3.3.3 T HÉORÈME (R ADON -N YKODYM )

Soit ( X, S, µ) un espace mesuré et soit n une mesure à valeurs complexes, qui est
absolument continue par rapport à µ i.e. si pour A 2 S, µ( A) = 0 entraîne n( A) = 0.
Alors il existe une unique fonction f 2 L1 ( X, µ) telle que pour tout A 2 S on a :
Z
n( A) = f dµ
A

3.3.4 R EMARQUE
En général, ( L• )0 contient strictement L1 , car L• n’est pas séparable.