CPA Marrakech 2020-2021

Devoir Libre :
-Les espaces Lp -
1 Construction et complétude :
Soit pX, µq un espace mesuré, et f : X Ñ C mesurable. Pour 1 ¤ p   8, on définit :
»
1

}f }p : |f | dµ }f }8 : inf tM ¡ 0; |f | ¤ Mp  pu
p
p
,
X

en convenant que p 8q  8 et inf H  8. On définit

1
p

L p pµq : tf : X Ñ C mesurable ; }f }p   8u , L 8 pµq : tf : X Ñ C mesurable ; }f }8   8u

Exercice 1 Soit p P r1, 8s, pour quelles valeurs de a, b P R a-t-on

fa,b pxq : 1re, 8r pxq P L p pRq?

1
xa lnpxq b

On traitera les différents cas qui se présentent, et on pourra utiliser pour certains d’entre eux


ln1
β t
d
1
β
 1
,
d
plnpln tqq 
1
dt t lnβ t dt t ln t

Remarque : Dans le cas d’une intégration sur s0, 1r, on se ramène au cas précédent par inversion
de la variable.
Théorème 1 : (Inégalité de Hölder) Soient f, g : X Ñ R mesurables, et p, q ¥ 1 tels que
1
p
1
q
 1. Alors : }f g}1 ¤ }f }p}g}q .
Si ces quantités sont finies, il y a égalité si et seulement si |f |p λ|g|q pour un certain λ P R .

Exercice 2 Inégalité d’interpolation Soit 1 ¤ p   q   8 et f P L p pµq X L q pµq

1. Montrer que, pour tout r Psp, q r

f P L r pµq et }f }r ¤ }f }θp }f }q1
θ

Où θ Ps0, 1 r est défini par 1r  pθ 1
q θ .

2. Soit f : R Ñ R mesurable. Que peut-on dire de la nature géométrique et topologique de
l’ensemble : tp P r1, 8 r; f P L p pRqu?

Théorème 2 : (Inégalité de Minkowski)

Soit p P r1, 8 r, f, g P L p pµq. Alors
1. f g P L ppµq et }f g }p ¤ }f }p }g}p.
2. De plus :

si p ¡ 1, il y a égalité si et seulement si g  0µ
p.p. ou f  λg pour un certain λ P R

si p  1, il y a égalité si et seulement si f ḡ ¥ 0 µ
p.p.
L’inégalité de Minkowski prouve (entre autre !) que L p pµq est un espace vectoriel. Il faut
travailler encore un peu plus pour obtenir la structure d’EVN :

1
CPA Marrakech 2020-2021

}  }p n’est pas une norme sur L ppµq.

On définit donc une relation d’équivalence sur L p :

f  g ðñ f  g µ
p  p
Cette relation est compatible avec l’addition et la multiplication par un scalaire, on peut donc
munir l’ensemble des classes d’équivalence :

Lp pµq : L p pµq{ 

d’une structure de C-espace vectoriel. Comme f  g ñ }f }p  }g }p , on peut définir }  }p sur

Lp pµq, et cela en fait un espace vectoriel normé.
Théorème 3 : (Riesz-Fisher) Soit 1 ¤ p ¤ 8. pLp pµq, }  }p q est un espace de Banach.

Exercice 3 Le but de cet exercice est de démontrer le théorème de Riesz-Fischer.

1. Traiter le cas p  8.
2. Soit 1 ¤ p   8 et pfn qnPN une suite de Cauchy de Lp pµq.
(a) Justifier l’existence d’une sous-suite pfnk qkPN telle que pour tout k PN:
  1
fn
fn p ¤ k
k 1 k
2
°  
(b) On pose gk pxq : ki1 fn pxq
fn pxq . Montrer que pgk pxqqkPN converge presque
surement vers une limite finie g pxq et montrer que la fonction g ainsi définie presque
i 1 i

partout appartient à Lp pµq.

(c) En déduire que pfn pxqqk converge presque surement vers une limite f pxq, que celle-ci
définit un élément de Lp pµq, limite de pfn qn dans cet espace.
k

Au cours de la preuve on a établi le théorème suivant :

Théorème 4 : (Réciproque partielle du théorème de convergence dominée)

Soit 1 ¤ p ¤ 8 et pfn qnPN une suite de Lp pµq qui admet une limite f dans ce même espace.
Alors il existe g P Lp pµq et une sous-suite pfnk qkPN telle que :

fnk ÝÑ
kÑ8
f µ
p.p.

@k P N |fn | ¤ |g|
k
µ
p.p.

Exercice 4 La convergence presque partout n’est pas in topologisable

1. Construire une suite pfn qnPN de L1 ps0, 1rq qui converge dans cet espace, mais pas presque
partout.
2. En déduire qu’il n’existe pas de topologie sur l’espace des fonctions telle que la convergence
au sens de cette topologie coincide avec la convergence presque partout.
2 Quels liens entre les espaces Lp ?
Exercice 5 Inclusions
Démontrer que si µpXq   8 alors les espaces Lp pµq s’injectent continument par ordre décroissant
d’exposant.

2
CPA Marrakech 2020-2021

Pour p  q P r1, 8s, démontrer que LppRq € Lq pRq n’est jamais vrai. Que dire dans le cas des
`p pNq?

Exercice 6 Topologie
Constuire une suite de de L1 pRq X L2 pRq, convergente dans L1 pRq et pas dans L2 pRq, une autre
convergente dans L2 pRq et pas dans L1 pRq.
Remarque : De manière plus générale, pour p   q, les deux normes }  }p et }  }q ne définissent
jamais la même topologie sur Lp pRq X Lq pRq.

Exercice 7 Pourquoi la notation L8 ?

Soit Ω un ouvert borné de Rn .
1. Soit f P L8pΩq X LppΩq, pour tout p ¥ 1. montrer que :
}f }8  plim }f }
Ñ8 p
Remarque : Ce résultat s’étend bien sur au cas d’une mesure finie quelconque.
2. Montrer que si il existe C tel que }f }p ¤ C pour tout p P r1, 8 r , alors f P L8.
3. En utilisant la fonction ln sur s0, 1r, montrer que le résultat précédent n’est plus vrai si
l’on suppose simplement que f P Lp pΩq pour tout p P r1, 8r.

3 Sous-espaces denses dans les Lp pΩq :

On rappelle le :
Lemme 1 : Lemme fondamental d’approximation :
Soit f : pX, A q Ñ R, R ou C, mesurable. Il existe une suite pfn qn¥1 de fonctions étagées, telle
que, pour tout x P X, limnÑ 8 fn pxq  f pxq. En outre,
1. Si f ¥ 0, on peut choisir la suite pfnqn¥1 croissante et positive.
2. Si f est bornée, on peut choisir la suite pfn qn¥1 de sorte qu’il y est convergence uniforme
sur X.
Remarque : L ’essentiel de la démonstration repose sur l’approximation d’une fonction mesu-
rable positive par les sommes :
¸

n2n 1
k 1 pxq n1tf pxq¥nu pxq
k
2n t 2n ¤f pxq  2n u
1 k

k 0

Exercice 8 (Densité des fonctions en escaliers et des fonctions continues) Soit p P r1, 8r .
1. Vérifier que l’ensemble des fonctions étagées de Lp pRq est dense dans Lp pRq.
2. On souhaite prouver la densité des fonctions en escaliers (combinaisons linéaires finies
d’indicatrices d’intervalles).
(a) Prouver qu’il suffit d’approcher les indicatrices 1A , avec A mesurable de mesure finie.
(b) Soit 1A une telle indicatrice, en utilisant la régularité extérieure de la mesure de
Lebesgue, approcher 1A par une suite p1On qnPN d’indicatrices d’ouverts bornés. Ap-
procher ensuite celles-ci par des indicatrices d’intervalles (penser aux composantes
connexes.) et conclure.
3. En déduire que l’ensemble des fonctions continues à support compact est également dense
dans Lp pRq

3
CPA Marrakech 2020-2021

Remarque 1 : On peut obtenir les mêmes résultats dans Rd . D’autre part, on peut démontrer
directement la densité des fonctions Lipschiztiennes.

Remarque 2 : En réalité il existe un résultat de densité beaucoup plus puissant : Cc8 pΩq,
l’ensemble des fonctions infiniment dérivables et à support compact dans un ouvert Ω € Rd ,
est non vide (ce qui n’est trivial a priori !) et dense dans tous les Lp pΩq, pour p   8.
L’outil fondamental permettant d’aboutir à ces résultats est la convolution.

Exercice 9 Applications
1. Soit f P Lp fixée. Montrer que }τy f
f }p ÝÑ
y Ñ0
0, où τy f pxq  f px
y q.

2. Soit f P L1 pRq, et fˆ sa transformée de Fourier. Montrer que :

lim fˆpξ q  0
|ξ|Ñ8