complementsmesure solutions

Intégration-2L3-Mathématiques

2011-2012

Pierre Puiseux4 mars 2014

E-mail address : [email protected]

3

Table des matières

Avertissement 5

Notations 7

Chapitre 1. Rappels, les espaces L1 et L1 91.1. Construction de l’intégrale de Lebesgue 101.1.1. Fonctions mesurables, fonctions étagées 101.1.2. Intégrale d’une fonction étagée positive 101.1.3. Intégrale d’une fonction mesurable positive 111.1.4. Intégrale d’une fonction mesurable 111.2. Les espaces L1 et L1 121.2.1. Propriétés vraies « presque partout » 121.2.2. L’espace L1 131.2.3. L’espace L1 141.3. Différents modes de convergence dans L1 161.4. Rappels de quelques résultats indispensables 161.4.1. Mesures produit 161.4.2. Changement de variable 181.4.3. Echange limite et intégrale 191.4.4. Mesures régulières 201.5. Théorèmes dans L1 21Exercices du chapitre 1 25Généralités et rappels 25Presque partout 28L’espace L1 28L’espace L1 28Théorèmes importants 30

Chapitre 2. Les espaces Lp 332.1. Définition, premières propriétés 342.1.1. Les espaces Lp, 1 ≤ p < +∞ 342.1.2. L’espace L∞ 392.2. Comparaison des espaces Lp 412.2.1. Inégalité de Hölder généralisée 422.2.2. Cas d’une mesure finie 422.2.3. Cas d’une mesure non finie 432.3. Quelques théorèmes de densité 442.4. Dualité dans les espaces Lp 462.5. Convolution dans Lp 482.5.1. Convolution dans ℓ1 (Z) 482.5.2. Convolution dans L1 492.5.3. Propriétés élémentaires de la convolution dans L1 51

Pierre Puiseux 2012

4 Chapitre 0. Table des matières

2.5.4. Convolution dans Lp 54Exercices sur le chapitre 2 55Espaces Lp 55Théorèmes de densité 61Dualité 62Convolution 64

Chapitre 3. Analyse hilbertienne et espace L2 693.1. Définitions et propriétés élémentaires 693.2. Dualité dans un espace de Hilbert 723.2.1. Projection sur un convexe fermé non vide, meilleure

approximation 723.2.2. Le théorème de représentation de Riesz 753.3. Bases hilbertiennes, séparabilité 763.4. Meilleure approximation dans un Hilbert 79Exercices sur le chapitre 3 79Dualité 83Bases hilbertiennes 84

Index 87

Bibliographie 89

Université de Pau L3-Mathématiquess Intégration-2

5

Avertissement

ce ne sont que des notes de cours, en perpétuelle évolution, dans lesquelles subsistent certainement denombreuses erreurs et approximations !Ce cours est enseigné au semestre 2 de la 3-ème année de Licence de Mathématiques, à l’Universitéde Pau, et fait suite à un cours de mesure et intégration enseigné au semestre précédent.La théorie de la mesure et de l’intégration est donc supposée connue, et les résultats en sont utilisésparfois sans préavis.Certains théorèmes importants sont rappelés au chapitre 1.

Pierre Puiseux 2012

7

Notations

Dans tout le cours,X désigne un espace topologique, T désigne une tribu et sauf précision contraire,il s’agira de la tribu B (X) des boréliens sur X (c’est à dire la tribu engendrée par les ouverts de X),et µ désigne une mesure positive sur T .Les espaces fonctionnels utilisés sont des espaces de fonctions de X à valeur dans R (et parfois C siprécisé), munis de la tribu des boréliens B

(R)(ou B

(C)) et de la mesure de Lebesgue.

R : R ∪ −∞,+∞C : C ∪ −∞,+∞K : R ou C et K : R ou C.(X, T , µ) : un espace mesuré, T tribu, µ mesure (positive).B (X) : tribu des boréliens sur X .λ : mesure de Lebesgue.

M,M (X) ouM (X, T , µ) : ensemble des fonctions mesurables de X dans K = R ou C.M+ : fonctions mesurables positives de X dans K = R ou C.E , E (X) : fonctions étagées de X dans K = R ou C.E+, E+ (X) : fonctions étagées positives de X dans K = R ou C.Lp,Lp (X),Lp (X, T , µ),LpK,L

pK (X),LpK (X, T , µ) : fonctions deX dansK = R ou C, de puissance

p-ième intégrable (1 ≤ p ≤ +∞).Lp, Lp(X), Lp (X, T , µ), LpK, L

pK(X), LpK (X, T , µ) : classe de fonctions de X dans K = R ou C,

égales presque partout, et de puissance p-ième intégrable (1 ≤ p ≤ +∞).ℓp, ℓp (X), ℓpK (X) : (X = N ou Z) suites (ou suites doubles) de K = R ou C, de puissance p-ièmesommable.χA : fonction caractéristique de l’ensemble A.L (E,F ) : applications linéaires de E dans F (E et F espaces vectoriels).Lc (E,F ) : applications linéaires continues de E dans F (E et F espaces vectoriels normés).|||Φ||| : norme de l’application linéaire Φ.(f |g) produit scalaire.A adhérence de A,

A∥.∥ l’adhérence de A pour la norme ∥.∥

P (f) : ensemble des x ∈ X vérifiant la propriété P (f (x)). Exemple :

|f | < +∞ = x ∈ X, |f (x)| < +∞ = f−1(R+)

C (A,B) = C0 (A,B) fonctions continues de A dans B.

Pierre Puiseux 2012

8 Chapitre 0. Notations

Cp : fonctions de classe Cp.Ckp : fonctions périodiques de classe Ck.Cc : fonctions continues à support compact.Ckc : fonctions à support compact et de classe Ck.C0 : fonctions continues nulles à l’infini.(u|v) : produit scalaire.cn (f) : n-ème coefficient de Fourier de f .δij : symbole de Kronecker. Vaut 0 si i = j et1 si i = j.Tn : polynômes trigonométriques de degré n.


9

CHAPITRE 1

Rappels, les espaces L1 et L1

On suppose connues les définitions et propriétés étudiée dans l’unité mesure et intégration, à savoir :

– tribus,– mesures,– fonctions mesurables,– intégrale de Lebesgue,– mesures produit et intégrales multiples.

Les deux derniers points font l’objet de quelques rappel de ce chapitre.

Dans tout ce qui suit, on intègre des fonctions de X dans Y , où (X, T , µ) est un espace mesuré et(Y,B (Y ) , λ) est un espace topologique muni de sa tribu borélienne (engendrée par les ouverts de Y )et de la mesure de Lebesgue.

En général, et sauf précision contraire, on a

– Y = R = R ∪ +∞,−∞ ;– µ est une mesure positive.

Le plus souvent, X est une partie de Rn ou de Cn.

On rappelle ici la construction de l’intégrale de Lebesgue, en trois temps :

– on définit l’intégrale des fonctions étagées positives ;– si f est une fonctionmesurable positive alors elle est la limite d’une suite (fn) de fonctions étagées,ce qui permet de définir l’intégrale de f :

∫fdµ = lim

n→∞

∫fndµ ;

– toute fonction mesurable peut s’écrire comme f = f+ − f− avec f+ = sup (f, 0) ≥ 0 et f− =sup (−f, 0) ≥ 0, ce qui permet de définir l’intégrale de f comme

∫f+dµ+

∫f−dµ.

On regroupe en classes d’équivalence les fonctions égales presque partout, dont l’intégrale est finie.L’ensemble de ces classes forme un espace de Banach, appelé L1, avec la norme ∥f∥1 =

∫|f | dµ.

On s’attarde enfin sur la formulation dans L1 de deux théorèmes fondamentaux :

– Le théorème de convergence monotone (Beppo-Lévi) indique que si (fn) est une suite de L1 quiconverge p.p. vers f en croissant p.p. alors elle converge vers f dansL1 c’est à dire ∥fn − f∥1 → 0et f ∈ L1.

– Le très puissant théorème de convergence dominée (Lebesgue) indique qu’une suite (fn) de L1

est convergente dans L1 dès qu’elle est dominée p.p. par une fonction F ∈ L1.

Pierre Puiseux 2012

10 Chapitre 1. Rappels, les espaces L1 et L1

1.1. Construction de l’intégrale de Lebesgue

L’intégrale de Lebesgue permet d’intégrer de la même manière des fonctions qui sont égales presquepartout, c’est à dire égales en tout point sauf peut-être sur un ensemble de mesure nulle. La classedes fonctions intégrable s’en trouve considérablement élargie, par rapport à l’intégrale de Riemann.Les théorèmes du type

∫f =

∫f où est un opérateur tel que dérivation, intégration, passage

à la limite, sont obtenus avec des hypothèses relativement simples, toujours par comparaison avecl’intégrale de Riemann. Rappelons tout d’abord les définitions suivantes :

1.1.1. Fonctions mesurables, fonctions étagées.

Définition 1.1. Une fonction f : X → Y est ditemesurable si et seulement si ∀B ∈ B (Y ) , f−1 (B) ∈TX . On note M l’ensemble des fonctions mesurables de X dans Y et M+ l’ensemble des fonctionsmesurables positives.

Exemple 1.1. f = χA est mesurable si et seulement si A ∈ TX .

Une fonction étagée est une fonction mesurable qui ne prend qu’un nombre fini de valeurs :

Définition 1.2. Une fonction f : X → Y est dite étagée si elle est mesurable et si f (X) est unepartie finie de Y . Lorsque Y = R, on note E l’ensemble des fonctions étagées et E+ l’ensemble desfonctions étagées positives.

Exemple 1.2. f = χA pour A ∈ TX est étagée.

Proposition 1.1. Une fonction étagée admet une unique décomposition de la forme

f =∑

1≤i≤n

aiχAi

avec– (ai)1≤i≤n ⊂ R, avec a1 < a2 < · · · < an ;– (Ai)1≤i≤n partition de X .

Démonstration. Les ai sont les éléments de f (X), que l’on a ordonné, et on définitAi = f−1 (ai),pour 1 ≤ i ≤ n.

Exemple 1.3. La fonction fn =∑

1≤k<n

knχ[ kn ,

k+1n ]

1.1.2. Intégrale d’une fonction étagée positive.

Définition 1.3. Soit f =∑

1≤i≤naiχAi une fonction étagée positive. On appelle intégrale de f le réel∫

X

fdµ =∑

1≤i≤n

aiµ (Ai)

Exemple 1.4.

(1) X = R, f = χQ est étagée positive, son intégrale est∫R χQdλ = 1λ (Q) + 0.λ (R −Q) = 0.


1.1 Construction de l’intégrale de Lebesgue 11

(2) X = [0, 1], pour n > 0, la fonction fn =∑

1≤k<n

knχ[ kn ,

k+1n ] a pour intégrale de Lebesgue∫

[0,1]

fndλ =∑

1≤k<n

k

nλ

([k

n,k + 1

n

])=

n− 1

2n

1.1.3. Intégrale d’une fonction mesurable positive. La proposition suivante exprime une pro-priété un peu plus faible que la densité de l’ensemble E+ des fonctions étagées positives dans l’en-sembleM+ des fonctions mesurables positives, pour la topologie de la convergence simple :

Proposition 1.2. f ∈ M+ si et seulement si il existe une suite (fn)n∈N ⊂ E+ qui converge ponctuel-lement en croissant vers f .

Démonstration. Voir cours de mesure. Exemple 1.5. La fonction f (x) = x surX = [0, 1[ est limite simple de la suite croissante de fonctionsfn =

∑1≤k<2n

k−12nχ[ k−1

2n, k2n [

. Voir l’exercice 1.3 page 26.

Définition 1.4. Soit f ∈ M+. On définit l’intégrale de f par∫fdµ = sup

∫φdµ, φ ∈ E+, φ ≤ f

et on dit que f est intégrable si et seulement si

∫fdµ < +∞.

Exemple 1.6. X = [0, 1], l’intégrale de la fonction f = Id n’est pas simple à calculer d’après cettedéfinition. Est-elle intégrable ? La réponse est donnée par le théorème de convergence monotone quidonne un critère de la mesurabilité de la limite simple d’une suite de fonctions mesurables : il suffitque la suite soit croissante (et mesurable). On peut alors permuter limite et intégrale :

Théorème 1.1. (Théorème de Beppo-Levi ou de convergence monotone dans M+) Soit (fn)n∈N unesuite croissante de M+ et soit f = lim

n→∞fn (limite ponctuelle).

Alors f ∈ M+ et∫fdµ = lim

n→∞

∫fndµ.

Démonstration. Voir cours de mesure. Exemple 1.7. X = [0, 1[, la fonction f = IdX est limite simple de la suite croissante fn =

∑1≤k<2n

k2nχ[ k2n ,

k+12n [

avec∫Xfndλ = 1

2

(1− 1

2n

). Donc

∫Xfdλ = lim

n→∞

∫Xfndλ = 1

2. Voir l’exercice 1.3 page 26.

1.1.4. Intégrale d’une fonction mesurable.

Définition 1.5. Pour f ∈ M on définit f+ = sup (f, 0) et f− = sup (−f, 0).

Proposition 1.3. Pour f ∈ M on a :(1) f+ ∈ M+ et f− ∈ M+

(2) f = f+ − f−

(3) |f | = f+ + f− ∈ M+

Exemple 1.8. X = [−1, 1] , f (x) = x, f+ = xχ[0,1] et f− = −xχ[−1,0]

Démonstration. Voir cours de mesure.

Pierre Puiseux 2012


Définition 1.6. Une fonction f : X → R est intégrable si(1) f ∈ M(2)

∫f+dµ < +∞

(3)∫f−dµ < +∞

On définit dans ce cas l’intégrale de f par∫fdµ =

∫f+dµ−

∫f−dµ

Théorème 1.2. Si f ∈ M alors : f est intégrable ⇐⇒ |f | est intégrable ⇐⇒ f+ et f− sontintégrables.

Démonstration. Voir cours de mesure. Exemple 1.9. X = [−1, 1] , f (x) = x, f+ = xχ[0,1] et f− = −xχ[−1,0]

∫Xf+dλ = 1

2et∫Xf−dλ = 1

2

donc∫Xfdλ = 1

2− 1

2= 0.

Définition 1.7. On note L1Y (X, T , µ) ou L1

Y (X) ou simplement L1 l’ensemble des fonctions inté-grables de X dans Y .

1.2. Les espaces L1 et L1

1.2.1. Propriétés vraies « presque partout ».

Définition 1.8. (X, T , µ) étant un espace mesuré,

(1) on appelle négligeable tout sous ensembleA deX tel qu’il existe un mesurableB ∈ T , de mesurenulle, et contenant A. Autrement dit un négligeable est une partie deX incluse dans une partie demesure nulle.

(2) On dit d’un prédicatP (x) qu’il est vrai « pourµ-presque tout x ∈ X » si et seulement si l’ensembleA = x ∈ X,¬P (x) (c’est à dire l’ensemble des x ∈ X pour lesquels P (x) est faux) estnégligeable. Lorsqu’il n’y a pas d’ambiguité sur X et µ, on dit que P (x) est vraie « presquepartout », ou « µ-presque partout ».

Par exemple on notera f =p.p.

g la propriété f (x) = g (x) presque partout.

Voici une caractérisation utile de l’égalité presque partout :

Théorème 1.3. Deux fonctions f, g : X → Y sont égales presque partout si et seulement si il existeun négligeable A tel que :

fχX\A = gχX\A

Précisons la définition de la « convergence presque partout » :

Définition 1.9. (X, T , µ) étant un espace mesuré, on dit qu’une suite de fonction (fn) converge (sim-plement) presque partout vers une fonction f si et seulement si il existe un négligeableA ⊂ X tel quefnχX\A converge (simplement) vers fχX\A.On note alors fn →

p.p.f ou bien lim

p.p.fn = f .

Précisons la définition de la « croissance presque partout » :

Définition 1.10. (X, T , µ) étant un espace mesuré, on dit qu’une suite de fonction (fn) est croissantepresque partout(1) si et seulement si il existe un négligeable A ⊂ X tel que gn = fnχX\A est une suite croissante ;(2) si et seulement si ∀n ∈ N il existe un négligeable An tel que fnχX\An ≤ fn+1χX\An


1.2 Les espaces L1 et L1 13

Remarque. Dans cette définition, les deux conditions 1. et 2. sont bien équivalentes :

(1) ⇒ 2., il suffit de prendre pour tout n, An = A.(2) ⇒ 1., il suffit de prendre A =

∪n∈N

An qui est négligeable comme réunion de négligeables.

Exemple 1.10. X = [0, 1], la suite de fonctions fn =∑

1≤k<2n

k2nχ[ k2n ,

k+12n ]

(notez que les intervalles

sont fermés, au contraire de ceux de l’exemple 1.7 page 11) est presque partout croissante et convergepresque partout vers la fonction f (x) = x. Pour le démontrer, il suffit de travailler sur gn = fnχX\Q,sachant que Q est négligeable, et de reproduire, en l’adaptant, le raisonnement de l’exercice 1.3page 26.

La propriété suivante est essentielle :

Théorème 1.4. Soit deux fonctions f, g ∈ M telles que f =p.p.

g. Alors∫fdµ =

∫gdµ

Démonstration. Voir exercice 1.10 page 28.

Définition 1.11. Le théorème précédent permet d’étendre la définition de l’intégrale d’une fonctionmesurable de la manière suivante : si f est une fonction égale presque partout à une fonction mesurableg, alors on pose

∫fdµ =

∫gdµ.

Le théorème de convergence monotone 1.1 page 11 reste vrai avec des hypothèses affaiblies « presquepartout ».

Théorème 1.5. (Convergence monotone presque partout) Soit (fn)n∈N ⊂ M+ une suite croissantep.p. de M+ et soit f = lim

p.p.fn. Alors f ∈ M+ et

∫fdµ = lim

n→∞

∫fndµ.

Démonstration. Voir exercice 1.17 page 30. Remarque. Le résultat précédent contient les trois cas :

– fn converge ponctuellement vers f en croissant-presque-partout,– fn converge ponctuellement-presque-partout vers f en croissant,– fn converge ponctuellement-presque-partout vers f en croissant-presque-partout.

1.2.2. L’espace L1.

Définition 1.12. On note L1R (X, T , µ) ou simplement L1 l’ensemble des fonctions intégrables de X

dans R.

Proposition 1.4. (Propriétés élémentaires de L1)(1) (L1,+, .) est un espace vectoriel sur R ;(2) f 7→

∫fdµ est une forme linéaire sur L1 ;

(3) pour toutes fonctions f et g de L1, on a : f ≤ g ⇒∫fdµ ≤

∫gdµ ;

(4) pour toute fonction f ∈ L1 :∣∣∫ fdµ∣∣ ≤ ∫ |f | dµ.

Démonstration. Voir l’exercice 1.11 page 28 et le cours de mesure.

Pierre Puiseux 2012


Proposition 1.5. L’applicationN1 : L1 → R+

f 7→∫

|f | dµ

est une semi-norme (mais pas une norme) c’est à dire :(1) homogénéité : ∀λ ∈ R, ∀f ∈ L1, N1 (λf) = |λ|N1 (f) ;(2) inégalité triangulaire : ∀f, g ∈ L1, N1 (f + g) ≤ N1 (f) +N1 (g).


Remarque. On notera que f = 0L1 ⇒ N1 (f) = 0 et que la réciproque est fausse.

Le théorème de Lebesgue a été vu en cours de mesure :

Théorème 1.6. (Théorème de convergence dominée, ou théorème de Lebesgue) Soit (fn)n∈N une suitede M et f : X → R telles que :(1) fn →

p.p.f ;

(2) il existe une fonction g ∈ L1 telle que |fn| ≤p.p.

g.

Alors (fn)n∈N ⊂ L1, f ∈ L1 et limn→∞

∫|fn − f | dµ = 0.


1.2.3. L’espace L1.

Définition 1.13. La relation =p.p.

est une relation d’équivalence surM et sur L1.

On appelle L1 l’espace quotient : L1 = L1/R.Autrement dit, l’espace L1 est l’ensemble des classes d’équivalence de L1 pour la relationR.

Remarque. Un élément F de L1 est donc une partie de L1, si f ∈ F alors F = g ∈ L1, fRg. Pourf ∈ L1, on notera parfois f sa classe d’équivalence.

Proposition 1.6. Sur M, la relation =p.p.

est compatible avec l’addition, la multiplication, le produit

par un scalaire et avec l’ordre partiel≤, c’est à dire : ∀α ∈ R, ∀f, f ′ ∈ M et ∀g, g′ ∈ M, si f =p.p.

f ′

et g =p.p.

g′, alors :

(1) (f + g) =p.p.

(f ′ + g′)

(2) (fg) =p.p.

(f ′g′)

(3) αf =p.p.

αf ′

(4) f ≤p.p.

g ⇒ f ′ ≤p.p.

g′

Démonstration. En exercice, voir les exercices 1.12 page 28 et 1.14 page 29.


1.2 Les espaces L1 et L1 15

Cette compatibilité (voir cours d’algèbre) permet de définir l’addition quotient, le produit quotient etle produit par un scalaire quotient sur l’ensemble quotient L1, ainsi que la relation d’ordre (partiel)≤p.p.

:

Définition 1.14. (Opérations sur L1). Pour f et g dans L1, et pour α ∈ R, les lois de composition-quotient et relation d’ordre-quotient sont :(1) l’addition : f ⊕ g :=

u+ v, u ∈ f, v ∈ g

= f + g ;

(2) la multiplication : f ⊗ g =uv, u ∈ f, v ∈ g

= fg ;

(3) le produit par un scalaire : α⊙ f =αu, u ∈ f

= αf ;

(4) la relation d’ordre f ≤p.p.

g si et seulement si f ≤p.p.

g , si et seulement si ∀ (u, v) ∈ f × g, u ≤p.p.

v.

On définit également les quantités suivantes :(5) l’intégrale :

∫fdµ =

∫fdµ ;

(6) la norme :∥∥f∥∥

1= N1 (f) ;

Remarque. Dans toute la suite, on identifie systématiquement un élément f ∈ L1 avec sa classed’équivalence f ∈ L1 et par abus de langage, on parlera de la « fonction » f ∈ L1. L’addition et lamultiplication des classes d’équivalence de L1 seront notées de manière usuelle+ et× (ou . ou encorerien) plutôt que ⊕ et ⊗. De même pour le produit par un scalaire ⊙ noté « . » (ou rien).

Théorème 1.7. L’espace (L1,⊕,⊙) est un espace vectoriel sur R et l’application ∥.∥1 est une normesur L1.

Démonstration. L1 est un espace vectoriel est démontré à l’exercice 1.12 page 28. Pour montrerque ∥.∥1 est une norme il suffit de montrer que ∥F∥1 = 0 ⇒ F = 0L1 . Soit f est un représentant deF alors

∫|f | dµ = 0 donc f =

p.p.0 , donc f ∈ 0L1 puis F = 0L1 .

Définition 1.15. Soit(fn)n∈N une suite deL

1 on dit que fn converge presque partout (ponctuellement)vers f dans L1, et on note fn →

p.p.f si et seulement si fn →

p.p.f .

Proposition 1.7. fn →p.p.

f dans L1 si et seulement si un →p.p.

u pour toute suite (un)n∈N constituée de

représentants de fn et pour tout représentant u ∈ f .

Démonstration.

– Si toute suite (un)n∈N constituée de représentants de fn converge presque partout vers n’importequel représentant u de f , alors la suite fn →

p.p.f donc fn →

p.p.f .

– Réciproquement, supposons que fn →p.p.

f . Choisissons pour tout n ∈ N, un représantant un ∈ fn

ainsi qu’un représentant u ∈ f . Il existe un négligeable A tel que fnχX\A → fχX\A ; il existe un négligeable B tel que uχX\B = fχX\B ; pour tout n ∈ N, il existe un négligeable An tel que unχX\An = fnχX\An .

En prenantC = A∪B∪( ∪n∈N

An

), négligeable, on a donc unχX\C = fnχX\C −→

n→∞fχX\C =

uχX\C , ce qui prouve le résultat.

Pierre Puiseux 2012


Remarque. Pour démontrer la convergence ponctuelle presque partout d’une suite(fn)n∈N vers f , la

dernière proposition nous autorise à choisir n’importe quel représentant des classes fn et f .

1.3. Différents modes de convergence dans L1

Définition 1.16. (Différents modes de convergence) Soit(fn)n∈N une suite de L

1 et f ∈ L1.

(1) Convergence (ponctuelle ou simple) « presque partout » : fn →p.p.

f si fn →p.p.

f ;

(2) on dit que limn→∞

fn = f « en mesure » si ∀ε > 0, limn→∞

[µ (x ∈ X, |fn (x)− f (x)| > ε)] = 0 ;

(3) on dit que limn→∞

fn = f « en norme » (ou « dans L1 ») si limn→∞

∥fn − f∥1 = 0.

Remarque. Sans hypothèse supplémentaire, il n’y a pas d’équivalence ni d’implication entre les di-vers modes de convergence. Voir les exercices 1.15 page 30 et 2.17 page 61.

On peut démontrer les résultats suivants :

Théorème 1.8. Si la suite (fn)n∈N converge en mesure vers f , alors il existe une sous-suite (fnk)k∈Nqui converge p.p. vers f .Si (fn)n∈N converge p.p. vers f et si la mesure est finie, alors (fn)n∈N converge en mesure vers f .

Démonstration. Voir [Genet] p.223.

1.4. Rappels de quelques résultats indispensables

1.4.1. Mesures produit. Les intégrales multiples peuvent être calculées grâce aux théorème deTonelli-Fubini. Le premier traite seulement des fonctions mesurables, sans se préoccuper de leur inté-grabilité, le second traite des fonctions intégrables. Dans les deux cas, pour pouvoir les appliquer, il estessentiel de vérifier la mesurabilité (intégrabilité) de la fonction f (x, y) sur l’espace mesuré produit.

Théorème 1.9. (Tonnelli, fonctions mesurables) Soient (X,U , µ) et (Y,V , ν) deux espaces mesurés σ-finisa. On note (Z,W , ξ) = (X × Y,U ⊗ V , µ⊗ ν) l’espace produit. Soit f : (x, y) ∈ Z 7→ f (x, y) ∈R, une fonction mesurable sur (Z,W , ξ) à valeurs dans R. Alors(1) l’application

φ : x 7→∫Y

f (x, y) dνy

est définie p.p. sur X à valeurs dans R et φ est mesurable sur (X,U , µ).(2) l’application

ψ : y 7→∫X

f (x, y) dµx

est définie p.p. sur Y à valeurs dans R et ψ est mesurable sur (Y,V , ν).De plus on a

∫Zfdξ =

∫Xφdµ =

∫Yψdν. En d’autres termes :∫

Z

f (x, y) dξ =

∫Y

(∫X

f (x, y) dµx

)dνy

=

∫X

(∫Y

f (x, y) dνy

)dµx

aUn espace mesure (X, T , µ) est σ-fini s’il existe un recouvrement dénombrable de X par des parties de mesure finie.C’est le cas de

(Rd,B

(Rd), λ).


1.4 Rappels de quelques résultats indispensables 17

Théorème 1.10. (Fubini, fonctions intégrables) Soient (X,U , µ) et (Y,V, ν) deux espaces mesurés σ-finisa. On note (Z,W , ξ) = (X × Y,U ⊗ V , µ⊗ ν) l’espace produit. Soit f : (x, y) ∈ Z 7→ f (x, y) ∈R, une fonction de L1

R (Z,W , ξ). Alors(1) l’application

φ : x 7→∫Y

f (x, y) dνy

est définie p.p. sur X et φ ∈ L1R (X,U , µ).

(2) l’application

ψ : y 7→∫X

f (x, y) dµx

est définie p.p. sur Y et ψ ∈ L1R (Y,V, ν).

De plus on a∫Zfdξ =

∫Xφdµ =

∫Yψdν. En d’autres termes :∫

Z

f (x, y) dξ =

∫Y

(∫X

f (x, y) dµx

)dνy

=

∫X

(∫Y

f (x, y) dνy

)dµx

aUn espace mesure (X, T , µ) est σ-fini s’il existe un recouvrement dénombrable de X par des parties de mesure finie.C’est le cas de

(Rd,B

(Rd), λ).


Un produit tensoriel sur le produit cartésien de deux espaces est simple à calculer :

Théorème 1.11. sous les hypothèses du théorème précédent, si f (x, y) = g (x)h (y) avec g ∈L1

R (X,U , µ) et h ∈ L1R (Y,V , ν) alors∫

X×Yfdµ⊗ ν =

∫X

gdµ

∫Y

hdν


Exemple. f (x, y) = x3y2

(1) Pour D = ]0, 1[2, calculons

I =

∫D

x3y2dxdy

=

∫ 1

0

(∫ 1

0

x3y2dy

)dx

=

(∫ 1

0

x3dx

)(∫ 1

0

y2dy

)=

1

4× 1

3=

1

12

Pierre Puiseux 2012


(2) Lorsque le domaine est un triangle D = (x, y) ∈ R2, 0 < x < 1, 0 < y < x, les chose se com-pliquent un peu, D n’est pas un produit cartésien.

I =

∫D

x3y2dxdy =

∫ 1

0

(∫ x

0

x3y2dy

)dx

=

∫ 1

0

x3[y3

3

]x0

dx =1

3

∫ 1

0

x6dx =1

21

Remarque. Attention, il faut bien vérifier la sommabilité de f .

Exemple 1.11. f (x, y) = x2−y2(x2+y2)2

sur [0, 1]2 on trouve∫[0,1]

(∫[0,1]

f (x, y) dλx

)dλy =

∫[0,1]

[− x

x2 + y2

]10

dλy

= −∫[0,1]

1

1 + y2dλy

=−π4

tandis que ∫[0,1]

(∫[0,1]

f (x, y) dλy

)dλx =

π

4

ce résultat semble contredire le théorème de Fubini. Il n’en est rien, c’est simplement l’hypothèsef ∈ L1

([0, 1]2

)qui n’est pas satisfaite.

1.4.2. Changement de variable. Utile pour calculer effectivement des intégrales simples oumul-tiples.

Théorème 1.12. (Changement de variable y = φ (x) dans Rn) Soient D et ∆ deux ouverts de Rn etφ un C1−difféomorphisme de D sur ∆. Alors, pour toute fonction f : D → R, λ−intégrable sur D,on a ∫

D

f (x) dλx =

∫φ(D)

(f φ−1

)(y)∣∣det (J (φ−1

)(y))∣∣ dλ (y)

où J (φ−1) (y) =

(∂(φ−1)

i

∂xj(y)

)1≤i≤n,1≤j≤n

désigne la matrice jacobienne de φ−1 en y.

On peut écrire ce théorème sous la forme suivante :

Théorème 1.13. (Changement de variable x = φ (y) dans Rn) Soient D et ∆ deux ouverts de Rn etφ un C1−difféomorphisme de ∆ sur D. Alors, pour toute fonction f : D → R, λ−intégrable sur D,on a ∫

D

f (x) dλx =

∫φ−1(D)

(f φ) (y) |det (J (φ) (y))| dλy

où J (φ) (y) =(∂φi∂xj

(y))1≤i≤n,1≤j≤n

désigne la matrice jacobienne de φ en y.

Exemple. Calculons l’intégrale I =∫Df (x, y) dxdy pour D =

(x, y) ∈ R2

, x2 + y2 < Ret

f (x, y) = 11+x2+y2

à l’aide du changement de variables polaire (x, y) = φ (r, t) = (r cos t, r sin t)


1.4 Rappels de quelques résultats indispensables 19

– ∆ = φ−1 (D) = ]0, R[× ]0, 2π[

– La jacobienne : φ′ (r, t) =

(cos t −r sin tsin t r cos t

)et son déterminant : |det (φ′ (r, t))| = r

– La formule de changement de variables :∫D

f (x, y) dxdy =

∫∆

f (r cos t, r sin t) .r.drdt =∫ 2π

0

∫ R

0

r

1 + r2drdt

=

(∫ R

0

r

1 + r2dr

)(∫ 2π

0

dt

)= 2π ln

(1 +R2

)1.4.3. Echange limite et intégrale. Soient (X, T , µ) est un espace mesuré, Y est un intervalle

non vide de R, et y0 ∈ Y .

Soit f : X × Y → R une application vérifiant : pour tout y ∈ Y , la fonction f (•, y) : x ∈ X 7→f (x, y) ∈ R est dans L1 (X) et on pose

φ (y) =

∫X

f (x, y) dµx

Théorème 1.14. (Continuité sous le signe∫) L’applicationφ est continue en y0 si il existe un voisinage

V0 de y0 tel que :(1) f (•, y) est dominée sur V0 (p.p. en x ∈ X) par une fonction G ∈ L1 (X)(2) f (x, •) est continue en y0, p.p. en x ∈ X ;

Démonstration. Voir le cours de mesure.

Théorème 1.15. (Dérivation sous le signe∫) L’application φ est dérivable en y0 et

φ′ (y0) =

∫X

∂f

∂yf (x, y0) dµx

si il existe un voisinage V0 de y0 tel que :(1) ∂f

∂y(•, y) est dominée sur V0 (p.p. en x ∈ X) par G ∈ L1 (X) ;

(2) f (x, •) est continuement dérivable sur V0 (p.p. en x ∈ X) ;

Démonstration. Voir le cours de mesure.

Exemple 1.12.

– X = [0, 1], la suite fn = nχ]0, 1n ]converge presque partout vers f = 0, mais la convergence n’est

pas dominée. Il n’y a pas convergence en norme L1 puisque ∥fn − 0∥1 = 1– X = R+, la suite fn (x) = e−xχ[n,+∞[ converge presque partout vers x 7→ e−x, la convergenceest dominée par g (x) = e−x qui est une fonction de L1 (X) car

∫Xgdµ = 1.

Remarque. On retiendra que les hypothèses sont dans les deux cas : ∀p.p.x ∈ X , ∀y ∈ V0

(1) Domination de f (•, y) ou ∂f∂y

(•, y)(2) continuité ou dérivabilité... de f (x, •)

Pierre Puiseux 2012


Exemple 1.13. Transformée de Fourier d’une fonction ψ ∈ L1 (R) :

ψ (y) =

∫Rψ (x) e−ixydλx

ψ est définie pour tout y ∈ R car f (x, y) = ψ (x) e−ixy est mesurable et |f (x, y)| ≤ |ψ (x)|

(1) Continuité en y0 ∈ R : soit V0 = R(a) pour tout y ∈ V0, f (•, y) est dominée (p.p. en x ∈ R) par |ψ| qui est L1 (R) .(b) f (x, •) est continue en y0 (p.p. en x ∈ R)

Donc ψ est continue en y0. La transformée de Fourier d’une fonction L1 (R) est continue.(2) Dérivabilité en y0 ∈ R : soit V0 = R

(a) pour y ∈ V0, la dérivée partielle est ∂f∂y (x, y) = −ixψ (x) e−ixy donc∣∣∣∂f∂y (x, y)∣∣∣ est dominée

par |xψ (x)|. Si on impose à x 7→ xψ (x) d’être dans L1 (R) alors la première hypothèse duthéorème de dérivation est assurée.

(b) f (x, •) est C1 (V0) p.p. en x ∈ RDonc si x 7→ xψ (x) est dans L1 (R), alors ψ est dérivable en tout point y ∈ R et ψ′ (y) =∫

R −ixψ (x) e−ixydλx = −ixψ (x) (y)

1.4.4. Mesures régulières.

Théorème 1.16. Soit une mesure µ sur B (R) finie sur les compacts (c’est à dire : pour tout compactK de R, µ (K) <∞). Alors pour tout A ∈ B (R) et pour tout ε > 0, il existe un ouvertO et un ferméF tels que F ⊂ A ⊂ O et µ (O \ F) < ε. On a donc µ (A) = inf µ (O) ,O ouvert contenant A etµ (A) = sup µ (K) , K compact contenu dans A.

Démonstration. Cf cours de mesure.

On déduit de ce théorème la propriété suivante, utilisée dans la première partie de la démonstration 1.19page 23 :

Proposition 1.8. Soit A ∈ B (R), de mesure finie, et ε > 0. Il existe une fonction φ ∈ Cc (R,R)(espace des fonctions continues à support compact) qui approche χA à ε près, en normeL1. Autrementdit φ vérifie ∥χA − φ∥1 < ε

Démonstration. Soient donc ε > 0 et A ∈ B (R) de mesure finie et f = χA. Par le théorème surles mesures régulières ( 1.16), on peut trouver un ouvert O et un fermé F tels que F ⊂ A ⊂ O etλ (O \ F ) ≤ ε

2.

– On commence par remplacerF par un compactK vérifiant la même propriété queF . LemesurableFn = F ∩ [−n, n] est compact (fermé borné) et F =

∪n∈N

Fn. La suite (Fn)n∈N est croissante, donc

λ (Fn) ↑ λ (F ) ≤ λ (A) < ∞ donc λ (F \ Fn) = λ (F )− λ (Fn) → 0 quand n → +∞. Il existedonc n0 ∈ N tel que λ (F \ Fn0) <

ε2. PosonsK = Fn0 , c’est un compact qui vérifieK ⊂ A ⊂ O

et λ (O \K) < ε.– On construit maintenant la fonction :

γ : R → [0, 1]

x 7→ γ (x) =d (x,R \O)

d (x,R \O) + d (x,K)(1.4.1)


1.5 Théorèmes dans L1 21

qui est définie sur R car le dénominateur ne s’annule pas puisque les deux fermés R \O etK sontdisjoints1. Elle est à valeur dans [0, 1] et continue car x 7→ d (x,E) est continue pour tout E ∈B (R). Donc γ ∈ C∩L1 car elle est bornée. De plusR est partitionné enR = (R \O)∪(O \K)∪Kavec f − γ = 0 sur (R \O) ∪K et |f − γ| ≤ 1 sur O \K. On a donc

∥f − γ∥1 =

∫R|f − γ| dλ

=

∫O\K

|f − γ| dλ

≤ 2λ (O \K)

< ε

1.5. Théorèmes dans L1

Le théorème de convergence dominée, version L1, est une extension du théorème de Lebesgue 1.6page 14. Il s’écrit :

Théorème 1.17. (Théorème de convergence dominée version L1) Soit(fn)n∈N une suite de L1 et

f : X → R telles que :(1) fn →

p.p.f ;

(2) il existe g ∈ L1 qui « domine » fn c’est à dire telle que ∀n ∈ N,∣∣fn∣∣ ≤

p.p.g.

Alors f ∈ L1 et limn→∞

fn = f dans L1 (donc en norme).

Démonstration. Les fonctions fn et g vérifient les hypothèses du théorème de Lebesgue 1.6 page 14 :

– (fn)n∈N ⊂ L1 ⊂ M ;– fn →

p.p.f ;

– g ∈ L1 et pour n ∈ N, |fn| ≤p.p.

g.

On en déduit que f ∈ L1 donc f ∈ L1, et que limn→∞

∫|fn − f | dµ = 0 donc lim

n→∞

∫ ∣∣fn − f∣∣ dµ =

limn→∞

∥∥fn − f∥∥1= 0 c’est à dire lim

n→∞fn = f .

Le théorème suivant est fondamental, il indique que dans L1, toute suite de Cauchy converge.

Théorème 1.18. (L1, ∥.∥1) est un espace de Banach.

1On note d (x,B) = infy∈B

|x− y| ≥ 0. Si d (x,R \O) + d (x,K) = 0 alors d (x,R \O) = 0 et d (x,K) = 0 donc il

existe (xn)n∈N ⊂ R \ O et (x′n)n∈N ⊂ K qui convergent vers x. Comme R \ O et K sont fermés, x ∈ (R \O) ∩K cequi est impossible puisque ces deux fermés sont disjoints.

Pierre Puiseux 2012


Démonstration. Pour montrer que L1 est complet pour la norme ∥.∥1, il suffit de montrer que toutesérie normalement convergente est convergente2. Soit donc

∑n∈N fnune série NCV dans L1, c’est à

dire telle que ∀n ∈ N, fn ∈ L1 et ∑n∈N

∥∥fn∥∥1 < +∞(1.5.1)

Nous allons utiliser successivement le théorème de Beppo-Lévi, la complétude deR, puis le théorèmede convergence dominée.

(1) On définit la fonction G sur X par G (x) =∑n∈N

|fn (x)| ∈ R. Montrons que la classe de G est

dans L1 : pour n ∈ N, on pose Gn =∑

0≤k≤n|fn| ∈ L1 ⊂ M+. C’est une suite positive, croissante

(partout) et qui converge ponctuellement (partout) vers G. Le théorème Beppo-Lévi 1.5 page 13permet alors de conclure que :– G est dansM+ ;–∫Gdµ = lim

n→∞

∫Gndµ =

∑n∈N

∥fn∥1 qui est fini par hypothèse.

donc G ∈ L1, donc G ∈ L1.(2) On se ramène à la complétude deR : pour tout x ∈ X , la série numérique

∑n∈N

|fn (x)| = limn→∞

Gn (x) =

G (x) converge dans R (série numérique à termes positifs) et comme G ∈ L1 on a G (x) < +∞sauf sur un négligeable A (voir exercice 1.1 page 25). Donc pour tout x ∈ X \ A, fixé, la sérienumérique

∑n∈N

fn (x) est absolument convergente dans R qui est complet. Elle est donc conver-

gente. Soit Fn (x) =∑

0≤k≤nfk (x) sa somme partielle et F (x) = lim

n→∞Fn (x) =

∑n∈N

fn (x) < +∞sa somme.

(3) Montrons que la série∑n∈N

fn est convergente vers F dans L1 :

–(Fn)n∈N ⊂ L1 comme somme de fonctions de L1 ;

– Fn →p.p.

F ;

– pour tout n ∈ N on a∣∣Fn∣∣ ≤

p.p.F .

En utilisant le théorème de convergence dominée 1.17 page précédente on en déduit que f ∈ L1

et limn→∞

sn = f dans L1.

Corollaire 1.1. (Séries normalement convergentes dans L1.) Dans L1 toute série normalementconvergente est(1) convergente en norme ∥.∥1 ;(2) convergente presque partout.

C’est exactement ce qui a été démontré au théorème 1.18 page précédente

Le théorème suivant est un théorème de densité, qui précise que toute fonction de L1 peut être appro-chée d’aussi près que l’on veut (au sens L1) par une fonction continue à support compact. Autrementdit, toute fonction λ-intégrable de R dans R est la limite dans L1, d’une suite de fonctions continuesà support compact.

2Soit (E, ∥.∥) un espace vectoriel normé. Une suite (xn)n∈N ⊂ E converge vers x ∈ E si et seulement silimn→+∞ ∥xn − x∥ = 0


1.5 Théorèmes dans L1 23

Théorème 1.19. L’ensemble C0c (R,R) des (classes de) fonctions continues à support compact de R

dans R est dense dans l’ensemble L1R (R,B (R) , λ), c’est à dire :

∀f ∈ L1,∀ε > 0,∃φ ∈ C0c : ∥f − φ∥1 ≤ ε

Remarque. En réalité, on considère non pas C0c mais l’espace C0

c des classes (pour la relation =p.p.) de

fonctions mesurables, qui admettent un représentant continu à support compact.

Démonstration. Tout d’abord il faut montrer que C0c ⊂ L1 : si φ ∈ C0

c alors elle est nulle en dehorsd’un intervalle [a, b], mesurable et bornée car continue. Donc∫

R|φ| dλ =

∫[a,b]

|φ| dλ ≤ (b− a) sup |φ| <∞

ce qui montre que φ ∈ L1.

On se donne maintenant ε > 0 et on raisonne en plusieurs étapes :

– onmontre que toute fonction caractéristiqueχA ∈ L1, peut être approchée à ε près par une fonctionφ ∈ C0

c ;– on montre que toute fonction étagée f ∈ E+ ∩ L1 peut être approchée à ε près par une fonctionφ ∈ C0

c ;– onmontre que toute fonctionmesurable f ∈ M+∩L1 peut être approchée à ε près par une fonctionφ ∈ C0

c ;– on montre que toute fonction intégrable f ∈ L1 peut être approchée à ε près par une fonctionφ ∈ C0

c .

(1) Si f = χA, avec A ∈ B (R) et λ (A) < +∞, alors il existe une fonction φ ∈ C0c qui approche f à

ε près, c’est à dire vérifiant ∥f − φ∥1 < ε. Voir 1.8 page 20.(2) Si f ∈ E+ ∩L1, alors soit f =

∑0≤k≤p

αkχAk la décomposition canonique de f , où 0 ≤ α0 < α1 <

· · · < αp, et (Ak)0≤k≤p ⊂ B (R) forme une partition de R. Comme f ∈ L1 on a nécessairementα0 = 0, les Ak sont de mesure finie sauf A0, et f =

∑1≤k≤p

αkχAk . D’après ce qui précède, il

existe des fonctions φk, 1 ≤ k ≤ p de C0c telles que ∥φk − χAk∥1 < ε∑

1≤k≤pαk

donc en posant

φ =∑

1≤k≤pαkφk on obtient ∥f − φ∥1 < ε.

(3) Si f ∈ M+ ∩ L1, on sait que f est limite ponctuelle p.p. d’une suite croissante de fonctionsétagées positives (fn)n∈N. Par le théorème de convergence dominée, puisque (fn)n∈N est dominéep.p. par f ∈ L1, la convergence p.p. implique la convergence dans L1. Donc il existe une fonction,fn0 ∈ E+ ∩ L1, telle que 0 ≤ fn0 ≤ f et ∥f − fn0∥1 ≤

ε2et d’après ce qui précède, fn0 peut être

approché à ε2par une fonction φ ∈ Cc : ∥fn0 − φ∥1 <

ε2. On a donc ∥f − φ∥1 ≤ ∥f − fn0∥1 +

∥fn0 − φ∥1 < ε.(4) Finalement, si f ∈ L1 alors f = f+ − f−, où f+ ∈ M+ ∩ L1 et f− ∈ M+ ∩ L1 peuvent être

approchées à ε2près par des fonctions φ+, φ− ∈ C0

c et en posant φ = φ+ − φ−, on a ∥f − φ∥1 =∥(f+ − φ+)− (f− − φ−)∥1 ≤ ∥f+ − φ+∥1 + ∥f− − φ−∥1 ≤ ε d’où le résultat.

Pierre Puiseux 2012


Théorème 1.20. (Riemann-Lebesgue dans [a, b]) Pour toute fonction f ∈ L1 ([a, b]) on a∫[a,b]

f (t) eitxdt −−−−→|x|→∞

0

en particulier ∫[a,b]

f (t) cos (tx) dt −−−−→|x|→∞

0

et ∫[a,b]

f (t) sin (tx) dt −−−−→|x|→∞

0

Démonstration. Par densité de l’ensemble des fonctions en escalier Esc ([a, b]) dans (C0 ([a, b]) , ∥.∥∞)(voirexercice 1.19 page 31), puis densité de C0 ([a, b]) dans (L1, ∥.∥1) : soit ε > 0

(1) si f ∈ Esc ([a, b]) alors f =∑

1≤k≤nciχ]ai−1,ai[ avec a0 < a1 < · · · < an donc∣∣∣∣∫

[a,b]

f (t) eitxdt

∣∣∣∣ ≤∑

1≤i≤n

|ci|∣∣∣∣∫

[ai−1,ai]

eitxdt

∣∣∣∣≤

( ∑1≤i≤n

|ci|

)2

|x|

qui tend vers 0 quand |x| → ∞.(2) Si f ∈ C0 ([a, b]) il existe une fonction φ, en escalier sur [a, b], telle que ∥f − φ∥∞ ≤ ε

2(b−a) et on

peut trouver A tel que pour |x| > A,∣∣∣∫[a,b] φ (t) eitxdt

∣∣∣ < ε2. Alors∣∣∣∣∫

[a,b]

f (t) eitxdt

∣∣∣∣ =

∣∣∣∣∫[a,b]

(f − φ) (t) eitxdt+

∫[a,b]

φ (t) eitxdt

∣∣∣∣≤

∣∣∣∣∫[a,b]

(f − φ) (t) eitxdt

∣∣∣∣+ ∣∣∣∣∫[a,b]

φ (t) eitxdt

∣∣∣∣≤ (b− a) ∥f − φ∥∞ +

∣∣∣∣∫[a,b]

φ (t) eitxdt

∣∣∣∣≤ ε

2+ε

2

d’où le résultat pour les fonctions de C0 ([a, b]).(3) Si f ∈ L1 ([a, b]) il existe φ ∈ C0 ([a, b]) telle que ∥f − φ∥1 <

ε2et d’après le point précédent, il

existe A > 0 tel que pour tout |x| > A,∣∣∣∫[a,b] φ (t) eitxdt

∣∣∣ < ε2∣∣∣∣∫

[a,b]

f (t) eitxdt

∣∣∣∣ =

∣∣∣∣∫[a,b]

(f − φ) (t) eitxdt+

∫[a,b]

φ (t) eitxdt

∣∣∣∣≤

∫|f − φ| (t) dt+

∣∣∣∣∫[a,b]

φ (t) eitxdt

∣∣∣∣≤ ∥f − φ∥1 +

∣∣∣∣∫[a,b]

φ (t) eitxdt

∣∣∣∣≤ ε

2+ε

2


1.5 Exercices du chapitre 1 25

d’où le résultat.

Exercices du chapitre 1

Généralités et rappels.

Exercice 1.1. Soit f ∈ M+. Montrer que si∫fdµ < +∞ alors f < +∞ p.p.. On pourra raisonner

par l’absurde.

Correction

Soit A = f−1 (+∞). Alors ∀x ∈ A, ∀n ∈ N, f (x) > n donc f ≥ fχA > nχA et en intégrantcette relation : on obtient

∫fdµ ≥

∫fχAdµ > nµ (A). On fait tendre n vers +∞, et si µ (A) > 0,

on obtient une contradiction.

Exercice 1.2. Autour de l’inégalité de Markov. Soit (X, T , µ) un espace mesuré. On rappelle le ré-sultat suivant, vu au semestre 1 :

– si (An)n∈N ⊂ T est une suite croissante de mesurables alors µ( ∪n∈N

An

)= lim

n→∞µ (An).

– si (Bn)n∈N ⊂ T est une suite décroissante de mesurables alors µ( ∩n∈N

Bn

)= lim

n→∞µ (Bn).

Soit f ∈ L1 (X, T , µ) une fonction à valeurs dans R, et f un représentant de f .

(1) Démontrer l’inégalité de Markov : pour tout t > 0,

(1.5.2) µ (|f | > t) < 1

t∥f∥1

(2) On suppose que ∥f∥1 = 0. Pour n ∈ N∗ on pose An =|f | > 1

n

et A = |f | > 0.

(a) Établir que An est négligeable.(b) Montrer que (An)n∈N est une suite croissante (pour l’inclusion) et que

∪n∈N

An = |f | > 0.

(c) En déduire que µ (|f | > 0) = 0, puis que f = 0 p.p..(d) Étendre le résultat à f .

(3) Montrer que |f | <∞ p.p. On pourra considérer Bn = |f | ≥ n, l’intersection des Bn et utiliserl’inégalité de Markov (1.5.2). Étendre le résultat à f .

Correction

(1) |f | ≥ t = |f |−1 ([t,+∞[) est mesurable et ∀t > 0, on peut écrire∫|f | dµ ≥

∫|f |>t

fdµ ≥∫|f |>t

tdµ = tµ (|f | > t)

d’où le résultat.(2)

(a) D’après Markov, µ (An) ≤ n ∥f∥1 = 0.(b) Si x ∈ An alors |f (x)| > 1

n> 1

n+1donc x ∈ An+1 don An ⊂ An+1. Si x ∈

∪n∈N

An alors il

existe p ∈ N tel que x ∈ Ap donc |f (x)| > 1p> 0 donc x ∈ |f | > 0 et réciproquement

si x ∈ |f | > 0 alors |f (x)| > 0 donc il existe p ∈ N tel que |f (x)| > 1pdonc x ∈ Ap ⊂∪

An.

Pierre Puiseux 2012


(c) µ (|f | > 0) = limn→∞

µ (An) = lim 0 = 0. Ce qui est la définition même de f = 0 p.p..(d) On peut appliquer le résultat à n’importe quel représentant u de f , on obtient u = 0 p.p..

(3) Bn = |f | > n est une suite décroissante de mesurables etB =∩n∈N

Bn = |f | = ∞. L’inégali-

té deMarkov s’écrit µ (Bn) <1n∥f∥1 et en faisant tendre n vers∞, on obtient µ (|f | = ∞) ≤ 0.

Exercice 1.3. Soit X = [0, 1[ et la suite de fonctions définies sur X par fn =∑

0≤k<2n

k2nχ[ k2n ,

k+12n [

(1) Etablir que fn ∈ E+ et que fn est donnée sous sa forme canonique ;(2) calculer

∫Xfndλ ;

(3) montrer que (fn)n∈N est une suite croissante ;(4) calculer la limite simple de (fn)n∈N ;(5) en déduire la valeur de

∫Xxdλ.

Correction

(1) Pour n ∈ N, fn est mesurable car constante par intervalles, et ne prend que 2n valeurs, toutespositives : ak = k

2n, 0 ≤ k < 2n donc fn ∈ E+ est étagée et positive. Les intervalles An,k =[

k2n, k+1

2n

[, 0 ≤ k < n sont des boréliens et constituent une partition de X , et les coefficients sont

ordonnés a0 < a1 < · · · < an , la fonction fn est donc donnée sous fome canonique.(2) ∫

X

fndλ =∑

0≤k<2n

k

2nλ

([k

2n,k + 1

2n

[)=

∑0≤k<2n

k

2n1

2n

=1

22n

∑0≤k<2n

k

=1

22n1

22n (2n − 1)

=1

2

(1− 1

2n

)(3) Soit n ∈ N et x ∈ X . Alors il existe k, 0 ≤ k < 2n tel que x ∈ An,k et fn (x) = k

2n. Comme

An,k = An+1,2k ∪ An+1,2k+1, on a– soit x ∈ An+1,2k et dans ce cas fn+1 (x) = fn (x)– soit x ∈ An+1,2k+1 auquel cas fn+1 (x) =

2k+12n+1 > fn (x).

on a bien fn+1 ≥ fn.(4) Soit x ∈ X . Pour tout n ∈ N, on peut trouver k = k (n, x) tel que x ∈ An,k et on a fn (x) ≤ x <

12n

+ fn (x) d’où on déduit que

x− 1

2n< fn (x) ≤ x

en faisant tendre n vers l’infini, on obtient limn→∞

fn (x) = x, c’est à dire limn→∞

fn = IX la fonctionidentité sur X .

(5) On a donc par le théorème de convergence monotone :∫Xxdλ = lim

n→∞

∫Xfndλ = 1

2.

Exercice 1.4.



(1) Établir qu’il existe une suite croissante de fonctions étagées qui converge vers la fonction cos,définie sur R.

(2) Construction d’une telle suite :(a) Construire une suite (gn)n∈N croissante qui converge vers cos sur [−π, 0] ;(b) construire une suite (hn)n∈N croissante qui converge vers cos sur [0, π] ;(c) construire une suite (fn)n∈N croissante qui converge vers TODO

Correction A corriger

(1) La fonction f (x) = 1+ sinx est dansM+ car elle est continue. On applique alors le théorème : ilexiste une suite (fn)n∈N ⊂ E+ qui converge en croissant vers f . En posant gn = fn−1, on obtientune suite (gn)n∈N croissante de fonctions étagées qui converge vers la fonction sin.

(2) On construit une suite croissante (gn)n∈N sur I = [0, π[ qui converge vers sin+. puis pour x ∈ R,on sait qu’il existe un unique intervalle Ik = [(2k − 1) π, (2k + 1) π[ qui contient x.On pose alors gn (x) = gn (x− 2kπ). Pour n ∈ N, on pose ank = −π + 2kπ

2n, 0 ≤ k ≤ 2n et

In,k = [ank, an,k+1[ de sorte que les In,k, 0 ≤ k < 2n forment une partition de I .fn =

∑2n

k=0 sin (ank)χIn,k et voila... Reste à montrer que fnest une suite croissante, ce qui provientde l’inclusion des segments In+1,2k dans In,k.

Exercice 1.5. On considère un espace mesuré (X, T , µ) où µ est une mesure finie. Trouver une fonc-tion f : X → R qui soit NON mesurable et telle que |f | soit mesurable.

Correction

f = χB − χB où B /∈ T , car |f | = 1.

Exercice 1.6. Dans cet exercice, l’espace mesuré est X = [0, 1] muni de la tribu des boréliens sur[0, 1] et de la mesure de Lebesgue.

(1) Trouver deux fonctions f ∈ L1 et g ∈ L1 et fg /∈ L1.(2) Soit δ0 la mesure de Dirac en 0. Soit f ∈ M+. Calculer

∫fdδ0

Correction

(1) f (x) = g (x) = 1√x

(2) µ = δ0 et f =p.p.

fχ0 donc∫fdµ =

∫χ0fdµ = µ (0) f (0) = f (0)

Exercice 1.7. Trouver une fonction f ∈ L1 non nulle, telle que N1 (f) = 0

Correction

1− χQ

Exercice 1.8. Montrer que si f est mesurable alors limµ(E)→0

∫Efdµ = 0, c’est à dire :

∀ε > 0,∃η > 0,∀E ∈ T , |µ (E)| < η ⇒∣∣∣∣∫E

fdµ

∣∣∣∣ < ε

On pourra utiliser la suite de fonction n ∈ N, fn (x) = max (n, f (x)) et un théorème de convergencemonotone.

Pierre Puiseux 2012


CorrectionLa suite (fn)n∈N est monotone et vérifie (fn)n∈N ⊂ L1. Donc elle converge dans L1 vers f : x 7→f (x) = lim

n→∞fn (x) ∈ R. Donc pour tout E ∈ T , la suite fnχE converge dans L1 vers fχE . On a∣∣∣∣∫

E

fdµ

∣∣∣∣ ≤∫E

|f − fn| dµ+

∫E

|fn| dµ

≤∫E

|f − fn| dµ+ nµ (E)

Pour ε > 0 il existe n0 tel que n > n0 ⇒∫E|f − fn| dµ < ε

2et si µ (E) < η := ε

2nalors

∣∣∫Efdµ

∣∣ <ε2+ ε

2= ε

Presque partout.

Exercice 1.9. X = [0, 1], Montrer que la suite de fonctions fn =∑

1≤k<2n

k2nχ[ k2n ,

k+12n ]

converge presque

partout vers la fonction f (x) = x.

CorrectionL’ensembleA =

k2n, n ∈ N, 0 ≤ k < 2n

⊂ Q estλ-négligeable, et =

p.p.fngn où gn =

∑1≤k<2n

k2nχ[ k2n ,

k+12n [

,

qui a été étudiée à l’exercice 1.3 page 26, converge simplement vers l’identité.

Exercice 1.10. Soit deux fonctions f, g ∈ M telles que f =p.p. g. Montrer que∫fdµ =

∫gdµ

Correctionon pose h = f−g qui est nulle surX \A tel que µ (A) = 0. On a donc

∫hdµ =

∫X\A hdµ+

∫Ahdµ =

0 + 0.

L’espace L1.

Exercice 1.11. Établir que L1 est un espace vectoriel.

CorrectionSoient (f, g) ∈ L1 et α ∈ R.

(1) αf ∈ M et∫|αf | dµ = |α|

∫|f | dµ < +∞ donc αf ∈ L1.

(2) f + g ∈ M et∫|f + g| dµ ≤

∫(|f |+ |g|) dµ =

∫|f | dµ+

∫|g| dµ < +∞ donc f + g ∈ L1.

L’espace L1.

Exercice 1.12. Soient f et g dans L1. On rappelle que l’addition de f et g est définie par f ⊕ g :=u+ v, u ∈ f, v ∈ g

.

(1) Montrer que f ⊕ g = f + g, en déduire que ⊕ est une loi de composition interne dans L1.(2) Existe-t-il un élément neutre pour ⊕ ?(3) En déduire que L1 est un espace vectoriel.

Correction

(1) Par double inclusion :



(a) soit u ∈ f + g alors il existe un négligeable A tel que u = f + g sur X \ A donc uχX\A =

(f + g)χX\A et on peut écrireu = uχA+uχX\A =(uχA + fχX\A

)+gχX\A avec

(uχA + fχX\A

)∈

f et gχX\A ∈ g donc u ∈ f ⊕ g.(b) Soit w ∈ f ⊕ g =

u+ v, u ∈ f, v ∈ g

alors w = u + v, u ∈ f et v ∈ g donc il existe

A et B deux négligeables tels que w = f sur X \ A et v = g sur X \ B. Alors A ∪ B estnégligeable et

w.χX\A∪B = w.χX\A.χX\B

= u.χX\A∪B + v.χX\A∪B

= f.χX\A∪B + g.χX\A∪B

ce qui montre que w ∈ f + g.(2) OL1 = f ∈ L1, f = 0 p.p. est élément neutre.(3) Soient F ∈ L1 et a ∈ R, alors aF ∈ L1

Exercice 1.13. On sait que toute fonction de f ∈ M+ est limite simple d’une suite croissante de(fn)n∈N ⊂ E+. Montrer que fn converge vers f en norme dans L1.

Correction

Appliquer le théorème de convergence monotone.

Exercice 1.14. Soient f et g deux éléments de L1. On définit sur L1 la relation f 4 g si et seulementsi il existe u0 ∈ f et v0 ∈ g tels que u0 ≤p.p. v0.

(1) Montrer que f 4 g si et seulement si ∀ (u, v) ∈ f × g, u ≤p.p. v ;(2) montrez que 4 est une relation d’ordre sur L1.

Correction

Dans cet exercice, on note A = X \ A le complémentaire de A dans X .

(1) Il est clair que si ∀ (u, v) ∈ f×g, u ≤p.p. v alors f 4 g. Réciproquement si f 4 g, notons f et g lesfonctions de f et g vérifiant f ≤p.p. g. Il existe donc un négligeable N ⊂ X tel que fχN ≤ gχN .Soient u ∈ f et v ∈ g, il existe deux négligeables U ⊂ X et V ⊂ X tels que uχU = fχU etvχV = gχV . L’ensemble A = U ∪ V ∪N est négligeable et vérifie : uχA = fχA ≤ gχA = vχAdonc u ≤p.p. v.

(2) 4 est réflexive : f 4 f car f ≤p.p. f ;(3) 4 est anti-symétrique : si f 4 g et g 4 f alors il existe u, v ∈ f × g et u′, v′ ∈ f × g tels que

u ≤p.p. v et v′ ≤p.p. u′ ce qui peut se traduire en terme de fonctions caractéristiques : il existe

A,B,C et C ′, quatre négligeables, tels que(a) uχA = u′χA(b) vχB = v′χB(c) uχC ≤ vχC(d) v′χC′ ≤ u′χC′

Donc en posant D = A ∪ B ∪ C ∪ C ′ négligeable, a. et c. impliquent uχD ≤ vχD et b. et d.impliquent vχD ≤ uχD. Donc uχD = vχD donc u =p.p. v.

(4) 4 est transitive : si f 4 g et g 4 h alors par définition il existe u, v ∈ f × g et v1, w ∈ g × htels que u ≤ v p.p. et v1 ≤ w p.p. donc il existe 3 négligeables A,B et C tels que uχA ≤ vχA,v′χB ≤ wχB et vχC = v′χC , donc u (χAχBχC) ≤ v (χAχBχC) c’est à dire, en posant D =A∪B ∪C, négligeable : uχD ≤ vχD. De même vχD = v′χD et v′χD ≤ wχD. On en déduit doncuχD ≤ vχD = v1χD ≤ wχD ce qui montre que u ≤ w sur X \D donc u = f 4 g = w.

Pierre Puiseux 2012


(5) Soient f 4 g et (u, v) ∈ f × g. Alors il existe (u0, v0) ∈ f × g tels que u0 ≤p.p. v0 donc il existedes négligeables A,B et C tels que u0χA ≤ v0χA et u0χB = uχB et v0χC = vχC . Donc pourD = A ∪B ∪ C on a uχD = u0χD ≤ v0χD = vχD, donc u ≤p.p. v.

Théorèmes importants.

Exercice 1.15. Différents modes de convergence.

(1) Montrer que la convergence presque partout n’entraîne pas la convergenceL1 en considérant fn =nχ]0, 1n ]

(2) Montrer que la convergence en norme L1 n’entraîne pas la convergence presque partout en consi-dérant la suite (dite « bosse glissante ») : pour p ∈ N∗ fixé, on pose l (p) = p(p−1)

2, et on définit les p

fonctions fn pour n allant de n = l (p)+1 jusqu’à n = l (p)+p = l (p+ 1), par fl(p)+k = χ] k−1p, kp ],

1 ≤ k ≤ p. On posera Tp = ]]l (p) + 1, l (p) + p]] = ]]l (p) + 1, l (p+ 1)]] et on remarquera que(Tp)p∈N est une partition de N.

Correction

(1) fn → 0 quand n→ +∞ mais ∥fn − 0∥1 = 1 → 0 quand n→ +∞.(2) n étant donné, il existe un seul d’entier pn tel que l’intervalle ]l (pn) + 1, l (pn) + pn] contient n.

Lorsque n → ∞, on a aussi pn → ∞. On calcule ∥fn∥1 = 1pn

→ 0 quand n → +∞. Donc fnconverge vers 0 dans L1. Mais fn ne converge pas p.p. vers 0 car pour tout négligeable A, pourtout x ∈ X \ A, pour tout N ∈ N il existe n ≥ N tel que fn (x) = 1 donc fn (x) → 0 doncfn → 0 p.p..

Exercice 1.16. Étudiez la convergence de la suite fn : x ∈ R+ 7→ fn (x) = e−xχ[n,+∞[ :

(1) presque partout(2) en norme L1

(3) en mesure

Correctionhttp://www.canal-u.tv/producteurs/les_amphis_de_france_5/dossier_programmes/mathematiques/mathematiques_licence/les_differents_types_de_convergence

(1) fn → 0 p.p.(2) |fn (x)| ≤ e−xχR+ ∈ L1 donc cv dans L1

(3) ∀ε > 0, µ(e−xχ[n,+∞[ > ε

)→ 0 car lim

x→∞e−x = 0 donc e−x < ε si x assez grand.

Exercice 1.17. Extension p.p. du théorème de convergence monotone 1.1 page 11.Soit (fn)n∈N une suite de fonctions deM+, croissante-p.p.

(1) Justifier que f =p.p.

limn→+∞

fn existe.

(2) Montrer que∫fdµ = limn

∫fndµ.

Correction

(1) La suite (fn) est croissante p.p. c’est à dire qu’il existe unmesurableA ∈ T tel que(gn = fnχX\A

)n∈N

est une suite croissante. Pour x ∈ X , la suite gn (x) est une suite réelle croissante (ou station-naire égale à 0). Donc si elle est bornée, elle converge vers un réel g (x), sinon, elle tend versg (x) = +∞. Toute fonction f =

p.p.g est donc la limite p.p. de fn.


http://www.canal-u.tv/producteurs/les_amphis_de_france_5/dossier_programmes/mathematiques/mathematiques_licence/les_differents_types_de_convergence

http://www.canal-u.tv/producteurs/les_amphis_de_france_5/dossier_programmes/mathematiques/mathematiques_licence/les_differents_types_de_convergence


(2) On peut appliquer à (gn)n∈N le théorème de convergence monotone et on en déduit : g ∈ M+ et∫gdµ = limn

∫gndµ = limn

∫fndµ.

Exercice 1.18. Extension du théorème de Beppo-Lévi 1.5 page 13. Soit (fn)n∈N ⊂ L1 et f : X → Rvérifiant :

– fn → f p.p. pour n→ ∞– la suite fn est monotone croissante c’est à dire fn+1 ≥ fn p.p., pour tout n ∈ N

(1) Construire une suite (gn)n∈N de L1 et g ∈ M telles que– fn = gn p.p. et– f = g p.p. et– gn+1 ≥ gn pour tout n ∈ N– gn (x) → g (x) pour tout x ∈ X

(2) Montrer que f ∈ L1 ⇔ limn→∞∫fndµ ∈ R (Appliquer le théorème de convergence monotone à

la suite (gn − g0)n∈N)(3) On suppose que f ∈ L1, montrer que fn → f dans L1, lorsque n→ ∞.

Correction

(1) Pour n ∈ N, on choisit un représentant de fn, noté fn, et un représentant de f , noté f . Alorsil existe un négligeable A tel que fn+1 ≥ fn sur X \ A et il existe un négligeable A′ tel quelimn fn (x) = f (x) , ∀x ∈ X \ A′. L’ensemble B = A ∪ A′ est un négligeable, et en posantgn = fnχX\B, la suite (gn)n∈N converge ponctuellement vers la fonction g = fχX\B. De plusg ∈ M comme limite ponctuelle de fonctions mesurables et enfin on a gn ∈ L1 car fn ∈ L1.

(2) Afin d’éviter les problèmes comme ∞ − ∞, définissons Bn = g−1n (+∞). C’est un négligeable

(pourquoi ? cf exo 1.1 page 25), ainsi que B =∪n∈NBn. Dans la construction précédente, on

remplace gn par fnχX\(A∪B) de sorte que gn ne prend jamais la valeur+∞. La fonction hn = gn−g0 est alors bien définie surX et (hn)n∈N est une suite croissante de fonctions deM+ qui convergeponctuellement vers h = g−g0. Le théorème de convergence monotone nous dit qu’alors h ∈ M+

et∫hdµ = limn

∫hndµ. Donc

∫fdµ =

∫gdµ = limn

∫gndµ = limn

∫fndµ (car f et g sont

égales p.p., ainsi que fn et gn. La fonction f est donc intégrable si et seulement si limn

∫fndµ ∈ R.

Mais f intégrable si et seulement si |f | est intégrable. donc f ∈ L1 ⇐⇒ limn→∞

∫fndµ ∈ R

(3) Puisque gn est une suite croissante, on a g − gn ≥ 0 et g − gn = f − fn p.p., de sorte que

∥f − fn∥1 =

∫|f − fn| dµ

=

∫|g − gn| dµ

=

∫(g − gn) dµ

=

∫gdµ−

∫gndµ

et lorsque n→ ∞, on obtient ∥f − fn∥1 → 0 ce qui démontre le résultat.

Exercice 1.19. Soit I = [a, b] un intervalle de R. Montrer que l’ensemble des fonctions en escalierEsc (I) est dense dans l’ensemble des fonctions continues (C0 (I) , ∥.∥∞).

CorrectionSoient f ∈ C0 (I) et ε > 0. Comme [a, b] est compact, f est uniformément continue sur I donc il existeη > 0 tel que |x− y| < η ⇒ |f (x)− f (y)| < ε. Choisissons une subdivision a = a0 < a1 < · · · <

Pierre Puiseux 2012


an = b de pas sup ai − ai−1, 1 ≤ i ≤ n < η et définissons la fonction en escalier φ (a) = f (a) etφ (x) = f (ai) si ai−1 < x ≤ ai, pour 1 ≤ i ≤ n. On a ∥f − φ∥∞ < ε.

Exercice 1.20. Transformée de Fourier. Dans cet exercice, on prend (X, T , µ) = (R,B (R) , λ).

Soit f ∈ L1. La transformée de Fourier de f est définie pour tout t ∈ R par f (t) =∫f (x) e−iβtxdµx

oùβ ∈ R .

(1) Montrer que f est définie, bornée,(2) Montrer que f est continue sur R. Pour cela, montrer que si (tn) est une suite réelle qui converge

vers t ∈ R, alors f (tn) → f (t), en appliquant le théorème de convergence dominée à la suitegn (x) = f (x) e−iβtnx.

(3) Généraliser à (X, T , µ) =(Rd,B

(Rd), λ).

(1) pour tout t ∈ R , x 7→ f (x) e−iβtx est mesurable et∫ ∣∣f (x) e−iβtx∣∣ dµx ≤ ∥f∥1 <∞.

(2) Soit t ∈ R, et (tn)n∈N une suite qui converge vers t dans R, soit la suite de fonctions définiespour tout x ∈ R par gn (x) = f (x) e−iβtnx et soit g : x ∈ R 7→ g (x) = f (x) e−iβtx. Alors leshypothèses du théorème de convergence dominée sont satisfaites :– |gn| ≤ |f | ∈ L1 p.p. en x– gn → g p.p. en xdonc

∫gndµ→

∫gdµ c’est à dire f (tn) → f (t) quand n→ +∞ ce qui prouve le continuité

def en t.(3) Généralisation : il suffit de remplacer t ∈ R par t = (t1, t2, . . . , td) ∈ Rd , x ∈ R par x =

(x1, x2, . . . , xd) ∈ Rd et tx par le produit scalaire∑

1≤i≤dtixi.


33

CHAPITRE 2

Les espaces Lp

Dans tout ce chapitre, on considère un espace mesuré (X, T , µ). On désigne par M l’ensemble desfonction mesurables de X dans R. Toutes les applications considérées dans ce chapitre vont de Xdans R ou C = C ∪ +∞. Sauf en cas de besoin, on considèrera que ces applications sont à valeurdans R, l’extension des propriétés et définitions, aux fonctions à valeur dans C est en général sansdifficulté.

On y étudie les espaces Lp et Lp de fonctions de puissance p-ième intégrable, de manière semblableà l’étude des espaces L1 et L1. Une part importante du travail consiste à démontrer que f 7→ ∥f∥p =(∫

|f |p dµ) 1p est une norme sur Lp (pour 1 ≤ p < +∞).

Le cas de L∞ est singulier et traité à part avec sa norme f 7→ ∥f∥∞ = infC ∈ R, |f | ≤

p.p.C

Tous les Lp sont des espaces de Banach (i.e. de espaces vectoriels normés complets), un théorème deconvergence dominée y est valide sauf dans L∞.

Dans le cas où la mesure est finie (par exemple, lorsque X est un intervalle borné de R et µ est lamesure de Lebesgue), on peut comparer les espaces Lp au sens de l’inclusion, et on montre que

– pour p > q > 1 on a Lp ⊂ Lq (p 7→ Lp est décroissante)– et l’application (injection canonique) f ∈ Lp 7→ f ∈ Lq est continue, ce que l’on note L∞ →Lp → Lq → L1

Un contre exemple est donné lorsque la mesure n’est pas finie.

On y démontre quelques théorèmes de densité. PourX ouvert deRn, et la mesure de Lebesgue, lorsquep < +∞ , de nombreux espaces sont denses dans Lp, pour 1 ≤ p < ∞. (Attention, les propriétéssuivantes sont toutes fausses pour p = +∞ ) :

– l’ensemble Lp ∩ Lq est dense dans chacun des Lp et Lq ;– l’ensemble Cc (Ω) des fonctions continues à support compact est dense dansLp. Le résultat suivantest plus fort (et sa démonstration beaucoup plus difficile) :

– l’ensemble D (Ω) des fonctions de classe C∞ à support compact est dense dans Lp ; à noter queD (Ω) est un ensemble très « petit » mais non dénombrable. Le résultat suivant est encore plusfort :

– Lp est séparable (contient un sous ensemble dénombrable et dense).

On y étudie le dual topologique de Lp (i.e. l’ensemble, noté (Lp)′, des formes linéaires continuessur Lp). On admet le théorème (fondamental) de représentation de Riesz qui assure que (Lp)′ estisométriquement isomorphe àLq (avec 1

p+ 1q= 1) et que l’on peut ainsi identifier les deux : (Lp)′ ≡ Lq.

Sauf, une fois encore, pour p = +∞.

Pierre Puiseux 2012

34 Chapitre 2. Les espaces Lp

2.1. Définition, premières propriétés

2.1.1. Les espaces Lp, 1 ≤ p < +∞. Si f ∈ M, on note que |f |p = φ f où φ : s ∈ R 7→φ (s) = |s|p est continue donc mesurable. Par conséquent,

∫|f |p dµ est bien définie.

Définition 2.1. (Espaces Lp.) Soient f ∈ M et 1 ≤ p < +∞.pour f ∈ M, on pose

∥f∥p =

(∫|f |p dµ

) 1p

et on définit l’espaceLp =

f ∈ M, ∥f∥p < +∞

On notera que ∥f∥p peut être infinie. L’idée de cette définition est de donner une estimation de l’inté-grabilité des fonctions. En élevant une fonction |f | à la puissance p ≥ 1 on amplifie ses grandes valeurset l’appartenance de f à Lp signifie que ces grandes valeurs ne pèsent pas trop lourd relativement à lamesure µ.

Exemple.

(1) SiX = N, T = P (N) et µ est la mesure de comptage sur N, on retrouve l’espace bien connu dessuites de puissance p-ième absolument sommable :

lpR =

(an)n∈N ⊂ R,

∑n∈N

|an|p < +∞

(2) Si X = [0, 1], T = B ([0, 1]) et µ = λ mesure de Lebesgue, f : x → 1√

x∈ R, on voit facilement

que f ∈ L1 mais f /∈ L2.

Proposition 2.1. (Lp,+, .) est un espace vectoriel sur R.

Démonstration. Soient α ∈ R et f ∈ Lp et g ∈ Lp. On note tout d’abord que f + g est mesurablecomme somme de deux fonctions mesurables.

– On a αf ∈ M et∫|αf |p dµ = |α|p

∫|f |p dµ < +∞ donc αf ∈ Lp.

– Pour montrer que f + g ∈ Lp, voici une première majoration grossière de ∥f + g∥p (Nous ver-rons plus loin que ∥.∥p est une norme, ce qui résulte d’une majoration plus fine) : comme p > 1,la fonction ψ : s 7→ |s|p est convexe (voir l’exercice 2.1 page 55)1. Donc ∀a, b ∈ R,

∣∣a+b2

∣∣p ≤12(|a|p + |b|p). En particulier on en déduit que∀x ∈ X, |f (x) + g (x)|p ≤ 2p−1 (|f (x)|p + |g (x)|p)

donc∫|f + g|p dµ ≤ 2p−1

(∫|f |p dµ+

∫|g|p dµ

)< +∞ donc f + g ∈ Lp.

-2 -1,5 -1 -0,5 0 0,5 1 1,5 2

0,25

0,5

0,75

1

1,25

p=1/2

p=1

p=1,5

p=2

Fig. 2.1.1. fonctions s 7→ |s|p , p ∈

12, 1, 3

2, 2

1Donc ∀a, b ∈ R, ∀ω ∈ [0, 1] on a ψ (ωa+ (1− ω) b) ≤ ωψ (a) + (1− ω)ψ (b)


2.1 Définition, premières propriétés 35

La restriction à Lp de la relation =p.p.

(définie surM au chapitre précédent, voir 1.13 page 14) est une

relation d’équivalence sur Lp. On peut donc poser de manière analogue à ce que nous avons fait pourL1 au chapitre précédent :

Définition 2.2. (Espaces Lp, 1 ≤ p < +∞)

(1) L’espace Lp est l’espace quotient Lp/(=p.p.

). C’est l’ensemble des classes d’équivalence pour la

relation =p.p.

restreinte à Lp.

(2) Pour f ∈ Lp∥∥f∥∥

p= ∥f∥p (qui ne dépend pas du représentant f ∈ f choisi.)

On définit dans Lp les opérations ⊕,⊗,⊙ exactement comme dans L1 et on a la propriété :

Proposition 2.2. (Lp,⊕,⊙) et est un espace vectoriel sur R, ≤p.p.

est un ordre partiel sur Lp.

Voir exercice 2.2 page 55.

Remarque. Comme dans le cas de L1, on adoptera les notations standard +,×,≤ etc. pour les diffé-rentes opérations dans Lp évoquées ci-dessus. Par abus de langage, on assimilera une fonction de Lp àsa classe dans Lp, et on parlera souvent de fonction Lp plutôt que de classe. Lorsque l’on parle d’uneclasse f ∈ Lp, on sous entend que la fonction f est dansLp et f est sa classe d’équivalence. Lorsqu’onparlera d’une classe de Lp sans qu’il soit nécessaire d’en choisir un représentant d’une classe, on lanotera f ∈ Lp plutôt que f .

Montrons maintenant que ∥.∥p est une semi-norme sur Lp et une norme sur Lp. Pour cela on a besoinde quelques lemmes.

Définition 2.3. Soint p et q deux réels de [1,+∞]. On dit que p et q sont conjugués si1

p+

1

q= 1

Remarque.

(1) 1 et +∞ sont conjugués.(2) On peut dire indifférement p est le conjugué de q, q est le conjugué de p ou bien p et q sont

conjugués.(3) Le conjugué de p est p

p−1.

Lemme 2.1. (Inégalité de Young.) Soient p, q ∈ ]1,+∞[ tels que 1p+ 1

q= 1. Alors ∀a, b ∈ R+ :

ab ≤ ap

p+bq

q

Démonstration. Si ab = 0 l’inégalité est évidente,

si ab = 0 on applique la convexité de la fonction exponentielle exp (ωs+ (1− ω) t) ≤ ω exp (s) +(1− ω) exp (t) à ω = 1

p, s = p ln a et t = q ln b.

Remarque. On a égalité si et seulement si s = t c’est à dire ap = bq

Pierre Puiseux 2012


Lemme 2.2. (Inégalité de Hölder dans Lp et dans Lp.) Soient p, q ∈ ]1,+∞[ tels que 1p+ 1

q= 1, et

soient f ∈ Lp et g ∈ Lq. Alors fg ∈ L1 et∥fg∥1 ≤ ∥f∥p ∥g∥q

Le résultat subsiste si l’on remplace L par L.

Démonstration. fg est mesurable comme produit de fonctions mesurables. Pour tout x ∈ X onpeut écrire : |f (x) g (x)| ≤ |f(x)|p

p+ |g(x)|q

qet en intégrant cette relation :

(2.1.1) ∥fg∥1 ≤1

p∥f∥pp +

1

q∥g∥qq

de là, on distingue trois cas :

(1) si ∥f∥p = 0 ou ∥g∥q = 0 alors fg =p.p.

0, l’inégalité de Hölder est vraie ;

(2) si ∥f∥p = ∥g∥q = 1 alors l’inégalité 2.1.1 fournit le résultat puisque 1p+ 1

q= 1 ;

(3) si ∥f∥p > 0 et ∥g∥q > 0 alors on pose u = f∥f∥p

et v = g∥g∥q

et en appliquant le point 2., on obtient∥uv∥1 ≤ 1 ce qui fournit l’inégalité cherchée.

Remarque. Les cas d’égalité : |f |p =

p.p.|g|q ?? TODO

Lemme 2.3. (Inégalité de Minkowski.) Soient p ∈ [1,+∞[, f et g deux fonctions de Lp. Alors f+g ∈Lp et l’inégalité triangulaire est vérifiée :(2.1.2) ∥f + g∥p ≤ ∥f∥p + ∥g∥pLe résultat subsiste si l’on remplace L par L.

Démonstration. Le cas p = 1 est traité au chapitre précédent. Soient f, g ∈ Lp .Si ∥f + g∥p = 0, l’inégalité est vraie.

Sinon, on écrit l’inégalité p.p. :

|f + g|p ≤ (|f |+ |g|) |f + g|p−1

On pose h = |f + g|p−1 et on intègre :

∥f + g∥pp ≤ ∥fh∥1 + ∥gh∥1q étant le conjugué de p, on vérifie que h ∈ Lq et on utilise l’inégalité de Hölder, on obtient alors :

∥f + g∥pp ≤ ∥f∥p ∥h∥q + ∥f∥p ∥h∥qOn calcule ensuite

∥h∥q =(∫

|f + g|p dµ)1− 1

p

= ∥f + g∥p−1p

ce qui donne le résultat avec l’inégalité précédente.

Proposition 2.3. Pour 1 ≤ p < +∞ :(1) l’application f 7→ ∥f∥p est une semi-norme sur Lp ;(2) l’application f 7→ ∥f∥p est une norme sur Lp.



Démonstration. L’inégalité triangulaire n’est autre que l’inégalité de Minkowski, les autres pro-priétés seront démontrées à titre d’exercice.

On peut formuler un théorème de convergence dominée dans Lp :

Théorème 2.1. (Convergence dominée dans Lp.) Soit 1 ≤ p < +∞ et (fn)n∈N une suite de Lp telleque :(1) fn →

p.p.f ;

(2) il existe g ∈ LP telle que pour tout entier n, |fn| ≤p.p.

g.

Alors f ∈ Lp et limn→∞

fn = f dans Lp (c’est à dire limn→∞

∥fn − f∥p = 0 ).

Démonstration. Tout d’abord f est mesurable comme limite simple de fonctions mesurables.

De plus |f | ≤p.p.

g donc |f (x)|p ≤p.p.

g (x)p donc ∥f∥p ≤ ∥g∥p ce qui montre que f est dans Lp.

Pour démontrer que limn→∞

∥fn − f∥p = 0, on se ramène au cas p = 1 en posant hn = |fn − f |p quivérifie les hypothèses du théorème de convergence dominée dans L1 : pour tout n ∈ N, l’inégalité

hn ≤ (|fn|+ |f |)p

≤p.p.

2pgp

montre que :

(1) hn ∈ L1 car elle est mesurable et majorée par 2pgp ∈ L1 ;(2) hn →

p.p.0 ;

(3) hn ≤p.p.

2pgp, avec 2pgp ∈ L1

grâce au théorème de convergence dominée dans L1, on en conclut que limn→∞

hn = 0 dans L1, puis quelimn→∞

fn = f dans Lp.

Théorème 2.2. Pour 1 ≤ p < +∞,(Lp, ∥.∥p

)est un espace de Banach.

Démonstration. Directement dans Lp : comme dans le cas de L1, pour montrer que Lp est com-plet pour la norme ∥.∥p, il suffit de montrer que toute série normalement convergente est simplementconvergente2. Soit donc

∑n∈N

fn une série NCV dans Lp, c’est à dire telle que ∀n ∈ N, fn ∈ Lp et∑n∈N

∥fn∥p = A < +∞(2.1.3)

Nous allons utiliser successivement le théorème de convergence monotone qui va nous donner unefonction « dominatrice » G, puis la complétude de R qui va nous donner une fonction F =

∑n∈N

fn

définie sur X et dont on espère qu’elle sera la somme de la série, puis pour conclure, le théorème deconvergence dominée dans Lp.

2Soit (E, ∥.∥) un espace vectoriel normé. Une suite (xn)n∈N ⊂ E converge (simplement) vers x dans E si et seulementsi x ∈ E et limn→+∞ ∥xn − x∥ = 0

Pierre Puiseux 2012


(1) On définit la fonction G sur X de la manière suivante : Gn (x) =∑

0≤k≤n|fk (x)| ∈ R. La suite

(Gn)n∈N est une suite croissante de fonctions mesurables positives, de même que (Gpn)n∈N. Sa

limite ponctuelle est donc mesurable et le théorème de convergence monotone 1.5 page 13 nousindique que

limn→∞

∫Gpndµ =

∫Gpdµ(2.1.4)

Comme de plus ∥Gn∥p ≤∑

0≤k≤n∥fn∥p ≤

∑n∈N

∥fn∥p ≤ A, en passant à la limite on obtient∫Gpdµ ≤ Ap < +∞. Donc

G ∈ Lp

et en particulierG <

p.p.+∞

(2) On se ramène à la complétude de R : la série numérique∑n∈N

fn (x) est (p.p.) absolument conver-

gente dans R qui est complet. Elle est donc (p.p.) convergente. Soit sa somme partielle :

Fn (x) =∑

0≤k≤n

fk (x)

et soit F (x) sa somme. DoncFn →

p.p.F

On à la majoration presque partout :|Fn| ≤

p.p.Gn ≤

p.p.G

(3) La fonction F ainsi définie, vérifie– Fn →

p.p.F

– |Fn| ≤p.p.

G ∈ Lp.

Grâce au théorème de convergence dominée dans Lp 2.1 page précédente on en déduit queF ∈ Lp et lim

n→∞Fn = F dans Lp.

Proposition 2.4. (Séries normalement convergentes dans Lp) Soit 1 ≤ p <∞ et (fn)n∈N une série deLP normalement convergente.a Alors la série

∑n∈N

fn converge la fonction f (x) =∑n∈N

fn (x) < +∞

définie p.p. et la série∑n∈N

fn converge vers f dans Lp.

ac’est à dire∑n∈N

∥fn∥p < +∞.

Démonstration. Ce résultat est démontré dans la preuve du théorème (2.2).

Pour finir cette section, citons deux théorèmes de convergence parfois utile :

Théorème 2.3. Soit 1 ≤ p <∞. Si la suite (fn)n∈N ⊂ Lp converge vers f dansLp alors elle convergevers f en mesure.

Démonstration. Voir [Genet] p.223.



Théorème 2.4. Soit 1 ≤ p <∞. Si la suite (fn)n∈N ⊂ Lp converge vers f dans Lp alors il existe unesous-suite (fkn)n∈N qui converge vers f p.p..

Démonstration. En utilisant le théorème (2.3) et le théorème 1.8 page 16.

Théorème 2.5. Pour 1 ≤ p <∞, l’espace Lp (R) est séparable.

Démonstration. Voir [Gallouet-Herbin]p.486

2.1.2. L’espace L∞.

Définition 2.4. Soit f : X → R une fonction mesurable.(1) On dit que C ∈ R est un majorant essentiel de f si |f | ≤

p.p.Ca, on noteMess (f) l’ensemble des

majorants essentiels de f ;(2) on dit que f est essentiellement bornée si elle admet un majorant essentiel C < +∞ ;(3) on note L∞ l’ensemble des fonctions mesurables, essentiellement bornées de X dans R ;(4) si f ∈ L∞, on pose

∥f∥∞ = infMess (f)

aAutrement dit C est majorant essentiel si et seulement si µ |f | > C = 0)

Proposition 2.5. Pour toute fonction mesurable f , on a ∥f∥∞ = minMess (f). Autrement dit, laborne inférieure est atteinte.

Démonstration. D’une partMess (f) est un intervalle de la forme (m0,+∞] car si m ∈ Mess (f)alors toutm′ > m est dansMess (f).

D’autre partm0 ∈Mess (f) car |f | > m0 =∪n≥1

|f | > m0 +

1n

est de mesure nulle.

Dans le cas des fonctions continues surR, la normeL∞ a une caractérisation plus facile à appréhender :la norme infinie de la fonction n’est autre que la norme de la convergence uniforme.

Proposition 2.6. PourX ⊂ R, T = B (X) et µ = λmesure de Lebesgue, si f : X → R est continue,alors∥f∥∞ = sup

x∈X|f (x)|.

Démonstration. Si f est continue sur X alors elle est λ-mesurable.

(1) supX |f | ∈Mess (|f |) est un majorant essentiel. Donc ∥f∥∞ ≤ sup |f |.(2) Réciproquement :

(a) si f est non bornée, alors sup |f | = +∞. Soit a > 0 quelconque, il existe x0 ∈ R tel que|f (x0)| > a et par continuité de f on peut trouver B (x0, ε) = Bε telle que |f | > a surBε. Donc λ (|f | > a) ≥ λ (Bε) = 2ε. Donc a n’est pas majorant essentiel de |f |donc∥f∥∞ = +∞.

(b) Si sup |f | < +∞ alorsO = |f | > ∥f∥∞

est ouvert (car O = f−1 (]∥f∥∞ ,+∞[) et |f | est continue) et négligeable. Il est donc vide(la mesure de Lebesgue d’un ouvert non vide est strictement positive) donc ∀x ∈ X, f (x) ≤∥f∥∞ (et non pas seulement p.p.) on en déduit que sup |f | ≤ ∥f∥∞.

Pierre Puiseux 2012


Définition 2.5. (Espace L∞.)(1) On définit L∞ comme l’ensemble des classes d’équivalence pour la relationR restreinte à L∞.(2) Pour F ∈ L∞, on pose ∥F∥∞ = ∥f∥∞ où f est un représentant quelconque de F . (Cette définition

est cohérente car ∥f∥∞ ne dépend pas du choix de f dans F .)

Proposition 2.7. (semi-norme et norme)(1) L∞ est un espace vectoriel sur R et f 7→ ∥f∥∞ est une semi-norme sur L∞ ;(2) (L∞, ∥.∥∞) est un espace vectoriel normé.

Démonstration.

(1) Soient a ∈ R et f, g ∈ L∞.– On a bien af ∈ L∞ et ∥af∥∞ = |a| ∥f∥∞.– On a |f + g| ≤ |f | + |g| ≤

p.p.∥f∥∞ + ∥g∥∞ donc f + g ∈ L∞ ce qui montre que L∞ est un

espace vectoriel.(2) On procède demanière analogue. Le fait que ∥.∥∞ soit une norme découle de ∥f∥∞ = 0 ⇒ f =

p.p.0.

Théorème 2.6. (L∞, ∥.∥∞) est un espace de Banach.

Démonstration. Nous allons démontrer ce résultat en utilisant les suites de Cauchy. Il suffit doncde montrer que toute suite de Cauchy dansL∞ est convergente. Soit donc (fn)n∈N une suite de Cauchyde L∞.

(1) Construisons une (classe de) fonction(s) f candidate à être la limite de fn dans L∞. On a

∀ε > 0,∃N (ε) , ∀k, l ≥ N (ε) , ∥fk − fl∥∞ < ε

donc3 :

(2.1.6) ∀ε > 0,∃N (ε) , ∀k, l ≥ N (ε) , |fk − fl| <p.p.

ε

Donc pour presque tout x ∈ X , (fn (x))n∈N est une suite de Cauchy dans R complet, donc fn (x)est convergente. Soit f = lim

n→∞fn la limite ponctuelle p.p. de (fn)n∈N. La limite ponctuelle p.p.

d’une suite de fonctions mesurables est mesurable donc f ∈ M.

3Pour être précis, on devrait prendre une famille dénombrable de εi = 2−i et écrire :

∀i ∈ N, ∃Ni, ∀k, l ≥ Ni, ∃Bi,k,l ⊂ X négligeable, ∀x ∈ X \Bi,k,l, |fk (x)− fl (x)| < 2−i

prenant alors la réunion dénombrable B =∪i,k,l

Bi,k,l négligeable de X , on obtient

∀i ∈ N, ∃Ni,∀k, l ≥ Ni, ∀x ∈ X \B, |fk (x)− fl (x)| < 2−i

et utilisant la notation p.p. :

(2.1.5) ∀i,∃Ni tel que k, l ≥ Ni ⇒ |fk − fl| <p.p.

2−i

relation qui devrait remplacer 2.1.6.


2.2 Comparaison des espaces Lp 41

(2) Montrons que (fn)n∈N converge vers f dans L∞ : faisant tendre l vers∞ dans (2.1.6), on obtient :

(2.1.7) ∀ε > 0, ∃Nε, k > Nε ⇒ |fk − f | <p.p.

ε

donc ε est majorant essentiel de |fk − f | , il vient :

∀ε,∃Nε,∈ N tel que k ≥ Nε ⇒ ∥fk − f∥∞ < ε

de cette inégalité on déduit :(a) l’appartenance def à L∞ (prendre ε = 1, k = N1 et ∥f∥∞ ≤ ∥fN1 − f∥∞ + ∥fN1∥∞ ≤

1 + ∥fN1∥∞)(b) la convergence de (fn)n∈N vers f dans L

∞.

Corollaire 2.1. (Séries absolument convergentes dans L∞.) Soit∑n∈N

fn une série normalement

convergente de L∞, c’est à dire telle que ∀n ∈ N, fn ∈ L∞ et∑n∈N

∥fn∥∞ < +∞. Alors elle est

convergente dans L∞ vers une classe f de L∞.

Démonstration. L∞ étant un espace de Banach, toute série normalement convergente est simple-ment convergente, c’est à dire converge en norme ∥.∥∞, et sa limite est dans L∞.

Attention, le théorème de convergence dominée est FAUX dans L∞.

Voici un contre-exemple.

Exemple 2.1. On considère l’espace mesuré (X, T , µ) = ([0, 1] ,B ([0, 1]) , λ) et la suite de fonctionfn = χ[0, 1n ]

. Cette suite vérifie les hypothèses du théorème de convergence dominé :

(1) fn ∈ L∞ car ∥fn∥∞ = 1 ;

(2) fn →p.p.

0 car limn→∞

fn (x) =

0 si x = 0

1 si x = 0;

(3) (fn)n∈N est dominée p.p. par χ[0,1] ∈ L∞ ;

pourtant limn→∞

fn = 0 dans L∞ car ∥fn − 0∥∞ = 1 .

2.2. Comparaison des espaces Lp

On rappelle (cf cours de topologie) qu’étant donnés deux espaces vectoriels normés (E, ∥.∥E) et(F, ∥.∥F ), une application linéaire u de E dans F est continue sur E si et seulement si il existe uneconstante C telle que

∀x ∈ E, ∥u (x)∥F ≤ C ∥x∥ESi u est continue l’application

u 7→ |||u||| = inf C, ∥u (x)∥F ≤ C ∥x∥E ,∀x ∈ E

est une norme sur Lc (E,F ) et de plus

|||u||| = supx∈E\0

∥u (x)∥F∥x∥E

= sup∥x∥E=1

∥u (x)∥F

Pierre Puiseux 2012


Définition 2.6. (Inclusion topologique.) Soient (E, ∥.∥E) et (F, ∥.∥F ) deux espaces vectoriels normés.On dit que E est topologiquement inclus dans F si(1) E ⊂ F ;(2) l’application (injection canonique)

J : E → F

x 7→ x

est continue (relativement aux topologies sur E et F ).Cette deuxième condition équivaut à l’existence d’une constante C ∈ R telle que

∀x ∈ E, ∥x∥F ≤ C ∥x∥ESi E est topologiquement inclus dans F , on note :

E → F

2.2.1. Inégalité de Hölder généralisée. La propriété suivante qui généralise l’inégalité de Höl-der 2.2 page 36, est souvent utile lorsque l’on manipule les espaces Lp.

Proposition 2.8. (Inégalité de Hölder généralisée.) Soient p, q, r ∈ [1,+∞] trois réels vérifiant 1r=

1p+ 1

q. Soient f ∈ Lp et g ∈ Lq. Alors fg ∈ Lr et

∥fg∥r ≤ ∥f∥p ∥g∥q

Démonstration. On remarque tout d’abord que fg ∈ M et que 1p/r

+ 1q/r

= 1

(1) Cas p, q, r < +∞. On applique le lemme de Hölder 2.2 page 36 avec f r, gr et pret q

rce qui donne

directement le résultat.(2) Cas où q = ∞, r = p <∞ : l’inégalité |fg|p ≤ |f |p ∥g∥∞ p.p. fournit le résultat après intégration.(3) Cas où p = q = r = ∞ : résulte de |fg| ≤ ∥f∥∞ ∥g∥∞ p.p..

Remarque. Cette inégalité de Hölder généralisée est valide pour les cas limites 1 ∈ p, q, r ou∞ ∈ p, q, r.

2.2.2. Cas d’une mesure finie. En rajoutant l’hypothèse d’une mesure finie (µ (X) < ∞), onobtient des propriétés d’inclusion et même d’injection continue.

Théorème 2.7. (comparaison des Lp.) Si µ est une mesure finie, on a pour 1 ≤ p < q ≤ +∞ lesinclusions topologiques

L∞ → Lq → Lp → L1

Démonstration. Tout d’abord, on observe que l’application J : f ∈ Lp 7→ f ∈ Lq est évidemmentlinéaire. Pour montrer qu’elle est continue, il suffit de trouver une constante C telle que ∥f∥q ≤C ∥f∥p. Pour démontrer le théorème, il suffit de démontrer les deux premières inclusions :

(1) L∞ → Lq. Soit f ∈ L∞ alors |f |q ≤p.p.

∥f∥q∞ et en intégrant on obtient ∥f∥q ≤ ∥f∥∞ µ (X)1q . Le

fait que la mesure µ est finie permet de conclure.(2) p < q ⇒ Lq → Lp. Soit f ∈ Lq.


2.2 Comparaison des espaces Lp 43

(a) Montrons que f ∈ Lp : on a|f |p ≤ |f |q + 1

car pour tout x ∈ X :– si |f (x)| ≥ 1 alors |f (x)|p ≤ |f (x)q| ≤ |f (x)q|+ 1 ;– si |f (x)| ≤ 1 alors |f (x)|p ≤ 1 ≤ |f (x)q|+ 1.

On en déduit en intégrant :

∥f∥pp ≤ ∥f∥qq + µ (X) <∞(2.2.1)

donc f ∈ Lp ce qui montre que Lq ⊂ Lp.(b) Pour trouver une constante C (ne dépendant pas de f ) telle que pour tout f ∈ Lq on ait

(2.2.2) ∥f∥p ≤ C ∥f∥qon distingue trois cas :(i) si ∥f∥q = 0, alors en utilisant (2.2.1), on obtient (2.2.2) avec C = (1 + µ (X))

1p .

(ii) si ∥f∥q = 1 alors en utilisant (2.2.1), on obtient (2.2.2) avec la même constante.(iii) si ∥f∥q > 0, on pose u = f

∥f∥qet comme ∥u∥q = 1, on peut appliquer le point ii. à u.

On obtient∥∥∥ f∥f∥q

∥∥∥p= ∥u∥p ≤ C ce qui permet de conclure.

Dans le cas 1 ≤ p < q = ∞, une autre démonstration de ce résultat, avec une constante plus serrée,est proposée ci-dessous

Démonstration. Soient f ∈ Lq, et F = |f |p, et G = 1. Soient a = qp> 1 et b son conjugué.

On calcule ∥F∥a = ∥f∥pq et ∥G∥b = µ (X)1b ce qui montre que F ∈ La, et G ∈ Lb. On peut alors

appliquer l’inégalité de Hölder à FG :

∥FG∥1 ≤ ∥F∥a ∥G∥bcomme ∥FG∥1 = ∥f∥pp, on obtient

∥f∥p ≤ ∥f∥q µ (X)1p− 1q

qui permet de conclure.

2.2.3. Cas d’une mesure non finie. Il n’y a pas de relation d’inclusion entre les espaces Lp sansl’hypothèse de mesure finie, dans le cas général.

Pour s’en convaincre, examinons les deux fonctions définies surR par f (x) = 1√xχ[0,1] (x) et g (x) =

1xχ[1,∞[ (x). On voit sans difficulté que f ∈ L1 et f /∈ L2 donc L1 ⊂ L2 et d’autre part g ∈ L2, etg /∈ L1 donc L2 ⊂ L1.

Cependant, pour la mesure du comptage, on a la propriété d’inclusion suivante (dans l’ordre inversede celui du paragraphe précédent) :

Théorème 2.8. (comparaison des ℓp (N).) Pour 1 ≤ p < q ≤ +∞, on a les inclusionsℓ1 → ℓp → ℓq → ℓ∞

avec les inégalités : ∀x ∈ RN

∥x∥∞ ≤ ∥x∥q ≤ ∥x∥p ≤ ∥x∥1

Pierre Puiseux 2012


Démonstration. Soient 1 ≤ p < q et x ∈ ℓp, montrons que

∥x∥q ≤ ∥x∥pce qui établira l’inclusion

ℓp → ℓq

(1) si q = +∞. Pour tout entier∀k ∈ N, |xk|p ≤

∑i∈N

|xi|p

donc

|xk| ≤

(∑i∈N

|xi|p) 1

p

= ∥x∥p

et en passant au sup sur k on obtient

∥x∥∞ ≤ ∥x∥p(2) Sinon q < +∞

(a) Si x = 0 l’inégalité ∥x∥q ≤ ∥x∥p est évidente.(b) Si ∥x∥p = 1 alors

∑|xi|p = 1 donc ∀k, |xk|p < 1 puis |xk| < 1. L’application p 7→ αp est

décroissante pour α ∈ [0, 1] on a donc puisque p < q :

∀k ∈ N : |xk|q < |xk|p

en sommant, il vient ∥x∥qq < ∥x∥pp = 1 d’où ∥x∥q < 1 = ∥x∥p.(c) Si ∥x∥p = 1, on applique ce qui précède à y = x

∥x∥pdonc ∥y∥q < 1 ce qui donne

∥x∥q < ∥x∥p

Remarque. On a établi le théorème précédent pour les suites de RN. On a le même résultat pourl’espace CN de suites à valeurs dans C, mais également pour les espaces RZ et CZ des suites doublesà valeurs dans R ou C.

2.3. Quelques théorèmes de densité

Soit E un espace topologique. On rappelle qu’un espace topologique F ⊂ E est dense dans E si etseulement si l’adhérence de F dans E est E.

Lorsque E est un espace métrique (ce qui est le cas d’un espace vectoriel normé), une partie F ⊂ Eest dense dans E si et seulement si tout élément de E est la limite d’une suite de F .

La densité de F dans E est une propriété intéressante car elle permet de prolonger certaines propriétéde F à E de manière naturelle. Par exemple si une application continue ϕ est définie seulement surQ, comme Q est dense dans R, une manière naturelle de prolonger ϕ à x ∈ R est de trouver une suite(xn) de Q, qui converge vers x et de poser ϕ (x) = lim

n→∞ϕ (xn). On parle de prolongement de ϕ « par

continuité ».

Notation : à l’instar des probabilistes, pour simplifier les notations, étant donnée une propriétéP (f (x))concernant f (x) on notera

P (f) au lieu de x ∈ X,P (f (x))Par exemple

f = 0 = x ∈ X, f (x) = 0


2.3 Quelques théorèmes de densité 45

Lemme 2.4. Pour 1 ≤ p <∞, l’ensemble E = f ∈ E , µ (f = 0) < +∞ est dense dans Lp.

Démonstration. E est un sous espace vectoriel de Lp.

(1) Soit f ∈ Lp, f ≥p.p.

0. D’après 1.2 page 11, il existe une suite croissante de fonctions étagées

positives (hn)n∈N ⊂ E+ qui converge ponctuellement vers f . On a donc pour tout n ∈ N : 0 ≤hn ≤ f ce qui implique l’appartenance de hn à Lp. Soit n ∈ N. Montrons que hn ∈ E : la fonctionhpn est dans E+ et sa décomposition canonique s’écrit : hpn =

∑0≤i≤m

aiχAi avec a0 = 0 < a1 <

a2 · · · < am et (Ai)0≤i≤m partition de X (éventuellement A0 = ∅). On a donc∫hpndµ =

∑1≤i≤m

aiµ (Ai)

> a1∑

1≤i≤m

µ (Ai)

= a1µ (hpn = 0)

donc

µ (hn = 0) ≤ 1

a1

∫hpndµ

≤ 1

a1

∫fpdµ

< +∞

ce qui montre que hn ∈ E . (On peut aussi, plus simplement, utiliser le lemme de Markov 1page 25).

(2) On applique le théorème de convergence dominée à la suite hn et f : limn→∞

hn = f dans Lp. Toute

classe positive de LP est donc limite d’une suite de E .(3) Pour une fonction f ∈ Lp quelconque, on écrit f = f+ − f−, avec f+ et f− positives et dans Lp.

Donc il existe deux suites (pn) et (mn) de E qui convergent vers f+ et f−. Donc fn = pn −mn

converge vers f dans Lp.

Lemme 2.5. Pour p, q ∈ [1,∞[ , l’ensemble Lp ∩Lq est dense dans Lp et dans Lq (munis des normescorrespondantes).

Démonstration. Soit f ∈ Lp. Alors elle est limite (au sens Lp) d’une suite (fn) ⊂ E . Or E ⊂Lp ∩ Lq donc (fn) est une suite de Lp ∩ Lq dont la limite est f dans Lp.

Théorème 2.9. On suppose queX est un espace métrique, et µ une mesure finie sur (X,B (X)). Pour1 ≤ p <∞, l’ensemble Cb (X) des fonctions continues et bornées de X dans R est dense dans Lp.

Admis, voir [Suquet].

Définition 2.7. Soit E un espace topologique et une fonction f : E → K. On dit que f est à supportcompact s’il existe un compactK ⊂ E tel que f = 0 sur E \K.

Pierre Puiseux 2012


Théorème 2.10. On suppose que X = Ω est un ouvert de Rd et µ la mesure de Lebesgue sur B (Ω).Pour 1 ≤ p <∞,(1) l’ensemble Cc (Ω) des fonctions de Ω dans R, continues, à support compact, est dense dans Lp ;(2) l’ensemble D (Ω) des fonctions de Ω dans R, de classe C∞ et à support compact, est dense dans

Lp.

Démonstration. Admis, voir [Gallouet-Herbin, Suquet]. La démonstration du point 1. est pro-posée à l’exercice 2.21 page 62 dans le cas particulier Ω = R. Remarque. On déduit en particulier de ce dernier théorème

– que tous les espaces Ck ([a, b]) , k ≥ 0 sont dense dans Lp ([a, b]).– Mais aussi Ckc (R) , k ≥ 0 est dense dans Lp (R)

2.4. Dualité dans les espaces Lp

Rappelons que le dual topologique d’un espace vectoriel normé E est l’espace des formes linéairescontinues sur cet espace. En dimension infinie, une forme linéaire n’est pas automatiquement continueet il convient donc de distinguer dual topologique E ′ et dual algébrique E∗. En dimension infinie, ona donc E ′ ⊂ E∗, avec une inclusion stricte. Dans cette section, la mesure µ est supposée σ-finie, c’està dire : il existe un recouvrement dénombrable deX par des sous-ensembles de mesure finie. C’est lecas de la mesure de Lebesgue sur un ouvert de Rd.

Théorème 2.11. On suppose la mesure σ-finie. Soit 1 ≤ p < +∞ et q = pp−1

son conjugué. Soitg ∈ Lq. Alors l’application

Φg : Lp → R

f 7→∫fgdµ

est une forme linéaire continue surLp et la norme deΦg (dans l’espaceLc (Lp,R) des formes linéairescontinues sur Lp) est :

|||Φg||| = ∥g∥q

Démonstration. On utilise la fonction f = σg |g|q−1 où σg est la fonction « signe de g ». Voirexercice 2.23 page 62. Voir également [Genet]. Remarque. À un élément g ∈ Lq on a associé une forme linéaire Φg ∈ (Lp)′. Cette applicationpossède la propriété suivante :

Corollaire 2.2. L’application,Ψ : Lq → (Lp)′(2.4.1)

g 7→ Φg

où Φg est définie à la proposition (2.11), est un isomorphisme isométriquea (donc |||Ψ ||| = 1).Ce qui permet d’identifier (Lp)′, le dual topologique de Lp, à l’espaceLq.aSoient E et F deux espaces vectoriels normés. Une application f : X ⊂ E → F est isométrique si et seulement si∀x ∈ X, ∥f (x)∥F = ∥x∥E

Démonstration.


2.4 Dualité dans les espaces Lp 47

– On vérifie facilement que Ψ est linéaire (Voir exercice 2.23 page 62).– La proposition (2.11) montre que pour tout g ∈ Lq on a |||Ψ(g)|||

∥g∥q= 1 donc Ψ est une isométrie et

|||Ψ ||| = 1– Le théorème de représentation de Riesz qui suit assure que l’application Ψ est surjective et injec-tive.

Le théorème qui suit est une réciproque du théorème (2.11), que nous admettrons :

Théorème 2.12. (de représentation de Riesz.) On suppose que µ est une mesure σ-finie, alors lafonction Ψ définie par (2.4.1) et surjective. En d’autres termes pour toute forme linéaire φ continuesur Lp, il existe un unique g ∈ Lq tel que ∀f ∈ Lp, φ (f) =

∫fgdµ.

Démonstration. Admis. Voir [Genet, Rudin]. Le théorème sera démontré plus loin ?? page ??,dans le cas particulier p = q = 2.

Remarque. C’est un théorème de « représentation » car une forme linéaire φ continue sur Lp peutêtre « représentée » par une classe g ∈ Lq. On identifie (presque) systématiquement φ avec g.

Attention : le théorème est FAUX pour p = ∞, le dual de L∞ contient strictement L1. C’est l’espacedes mesures de Radon. cf [Genet] p.189 et [Brezis] pp. 63-65.

La notion d’espace dual est très riche et abondamment utilisée en mathématiques. Plus un espace est« petit », moins il contient de fonctions, plus il y aura de formes linéaires continues, donc plus le dualsera « grand ». Ainsi, pour X ouvert borné de Rd, on a les inclusions

L∞ ⊂ Lp ⊂ L2 =(L2)′ ⊂ (Lp)′ ⊂ (L∞)′

Lorsque p = q = 2, l’équilibre est réalisé, en ce sens que L2 = (L2)′.

En poursuivant dans la même logique, on a par exemple pour une topologie adaptée :

C∞c ⊂ C1

c ⊂ L∞ ⊂ . . . L1 ⊂(C1c

)′ ⊂ (C∞c )′

Quels sont ces espaces (C1c )

′ et (C∞c )′ ? Ce sont des espaces, de « distributions » qui généralisent la

notion de fonction, qui seront vues ultérieurement enMaster. L’invention de ces espaces de distributionpar Laurent Schwartz lui a valu la médaille Fields en 1950.

Les divers théorèmes de densité permettent de prolonger par continuité les opérations, formes linéaires,opérateurs définis sur les « petits » espaces (appelés espace des « fonctions test ») aux « grands »espaces.

Théorème 2.13. Pour 1 < p < ∞, l’espace Lp est réflexif. Autrement dit, le bidual de Lp peut êtreidentifié à Lp via la bijection bicontinue « naturelle » J : Lp → (Lp)′′ définie pour f ∈ Lp, ϕ ∈(Lp)′ = Lq par la relation J (f) (ϕ) = ϕ (f).

Démonstration. (Lp)′′ = (Lq)′ = Lp

Remarque. Attention, ni L1, ni L∞ ne sont réfléxifs.

Pierre Puiseux 2012


2.5. Convolution dans Lp

2.5.1. Convolution dans ℓ1 (Z). On rappelle que

ℓ1 (Z) =

u : Z → R,

∑p∈Z

|up| <∞

ce qui s’interpréte au sens de la théorie de la mesure et de l’intégration, comme :

ℓ1 (Z) =

u : Z → R,

∫|u| dµ <∞

à condition de prendre (X, T , µ) = (Z,P (Z) , ν), où ν est la mesure du comptage.

On étend facilement cette notion à l’espace X = Zd.

Définition 2.8. Pour u, v ∈ ℓ1 (Z), on pose

(u ∗ v) (n) =∑p∈Z

upvn−p(2.5.1)

Lorsque cette série double est convergente pour tout n ∈ Z, la suite double ((u ∗ v)n)n∈Nest appeléeconvolué de u et v.Cette définition à un sens si cette série double définissant u ∗ v est absolument convergente. C’est lecas par exemple

– si l’une des fonctions u ou v est à support fini.– si les deux fonctions u et v ont un support borné à gauche, ou à droite.

Exemple 2.2.

(1) Calculer u ∗ u pour un =

1n

si n > 0

0 si n 6 0. On voit facilement que pour n > 0, upun−p =

1p

1n−p si 0 < p < n

0 sinon

(u ∗ u) (n) =∑

0<p<n

1

p (n− p)

=1

n

∑0<p<n

(1

p+

1

n− p

)=

1

n

∑0<p<n

1

p+

1

n

∑0<p<n

1

n− p

=2

n

∑0<p<n

1

p

(2) Pour δ = (δ0,n)n∈Z et u ∈ ℓ (Z) on a

u ∗ δ = u

(3) On pose τ = (δ−1,n)n∈Z alors τ 2 = (δ−2,n)n∈Z. Plus généralement pour p ∈ Z, on a τ p =(δ−p,n)n∈Z à condition de poser τ

0 = δ(4) Déterminer τ ∗ u puis τ p ∗ u, pour u ∈ ℓ (Z)


2.5 Convolution dans Lp 49

La propriété suivante donne un autre cas où la définition (2.5.1) a un sens :

Proposition 2.9. Pour u, v ∈ ℓ1 (Z),∥u ∗ v∥1 ≤ ∥u∥1 ∥v∥1

autrement dit ∗ est une loi de composition interne dans ℓ1.

Démonstration. Pour P et Q fixés dans N on a :∑P≤p≤Q

|up| |vn−p| ≤∑

P≤p≤Q

|up| ∥v∥∞

≤ ∥u∥1 ∥v∥∞ce qui montre que ∀n ∈ N, la série numérique double définissant (u ∗ v) (n) est absolument conver-gente dans R elle est donc convergente, et (u ∗ v) (n) ∈ R est bien défini. De plus pour N et Pfixés,

∑|n|≤N

∣∣∣∣∣∣∑|p|≤P

upvn−p

∣∣∣∣∣∣ ≤∑|n|≤N

∑|p|≤P

|up| |vn−p|

=∑|p|≤P

∑|n|≤N

|up| |vn−p|

=∑|p|≤P

|up|∑|n|≤N

|vn−p|

≤ ∥u∥1 ∥v∥1

en faisant tendre P vers ∞ puis N vers ∞, cette inégalité établit l’appartenance de u ∗ v à ℓ1. Danscette série d’inégalités, on a re-démontré le théorème de Fubini appliqué à notre cas particulier, quiautorise à permuter les deux sommations.

2.5.2. Convolution dans L1. Dans cette section, on prend (X, T , µ) =(Rd,B

(Rd), λ)ou(

Zd,P(Zd), ν).

On souhaite définir la convolution de deux fonctions de L1(Rd)de manière analogue à la convolution

dans ℓ1(Zd). Pour cela, il faut pouvoir écrire :

(f ∗ g) (x) =

∫f (y) g (x− y) dλy

il faut donc que la fonction y 7→ f (y) g (x− y) soit intégrable, pour tout x fixé, ou au moins pourpresque tout x. Ce qui n’est pas évident car le produit de deux fonctions intégrables n’est pas néces-sairement intégrable (penser à x 7→ 1√

xχ[0,1] (x)). C’est le théorème de Tonnelli-Fubini qui va nous

donner la réponse et même mieux que cela :

Lemme 2.6. Soient f et g deux fonctions de L1 et soit la fonctionH : (x, y) 7→ f (y) g (x− y)

Alors H est dans L1 (R2,B (R2) , λ⊗ λ) et plus précisément∥H∥1 ≤ ∥f∥1 ∥g∥1

Pierre Puiseux 2012


Démonstration. On donne la démonstration pour d = 1, X = R. Tout d’abord H est mesurablecomme composée et produit de fonctions mesurables. On peut donc appliquer le théorème de Tonnelli,et l’intégrabilité, quand à elle, provient des inégalités (avec le changement de variable z = x− y) :∫

|H| d (λ⊗ λ) =

∫ (∫|H (x, y)| dλx

)dλy

=

∫ (∫|f (y) g (x− y)| dλx

)dλy(2.5.2)

=

∫|f (y)|

(∫|g (x− y)| dλx

)dλy

=

∫|f (y)|

(∫|g (z)| dλz

)dλy

=

(∫|f (y)| dλy

)(∫|g (z)| dλz

)= ∥f∥1 ∥g∥1 <∞(2.5.3)

Théorème 2.14. (Convolution dans L1.) Soient f et g ∈ L1. Alors le produit de convolution

(f ∗ g) (x) =


est défini p.p. dans X .De plus, f ∗ g ∈ L1 et on a l’inégalité

∥f ∗ g∥1 ≤ ∥f∥1 ∥g∥1

Démonstration. Le lemme précédent permet d’appliquer le théorème de Fubini :

(1) la fonction x 7→∫H (x, y) dλy = (f ∗ g) (x) est définie p.p. en x ∈ X

(2) elle est dans L1 (X, T , µ)(3) enfin on a la majoration

∥f ∗ g∥1 =

∫ ∣∣∣∣∫ H (x, y) dλx

∣∣∣∣ dλy≤

∫ ∫|H (x, y)| dλxdλy

et l’inégalité précédente (2.5.3) permet de conclure

Remarque. On a démontré au passage que la fonction y 7→ f (y) g (x− y) est intégrable pour presquetout x.

Exemple. f = g = χ[0,1] on calcule

(f ∗ g) (y) =

∫Rf (x) g (y − x) dµx

=

0 si y /∈ [0, 2]

y si y ∈ [0, 1]

1− y si y ∈ [1, 2]



2.5.3. Propriétés élémentaires de la convolution dans L1.

Proposition 2.10. Le produit de convolution est une loi interne, associative, commutative et distribu-tive sur l’addition dans L1.

Démonstration. Soient u, v, w ∈ L1

Interne. : C’est le théorème (2.14)Commutativité. : Soit x ∈ R on utilise un changement de variable z = x− y de jacobien 1 :

(u ∗ v) (x) =

∫u (y) v (x− y) dλy

=

∫u (x− z) v (z)× 1dλz

= (v ∗ u) (x)

Associativité. : Soit x ∈ R. On utilise un changement de variable t = y+ z et le théorème de Fubini

((u ∗ v) ∗ w) (x) =

∫(u ∗ v) (x− y)w (y) dλy

=

∫ (∫u (x− y − z) v (z) dλz

)w (y) dλy

=

∫ (∫u (x− t) v (t− y) dλt

)w (y) dλy

=

∫u (x− t)

(∫v (t− y)w (y) dλy

)dλt

= (u ∗ (v ∗ w)) (x)

Distributivité. : Soit x ∈ R

(u ∗ (v + w)) (x) =

∫u (y) (v (y − x) + w (y − x)) dλy

=

∫u (y) v (y − x) dλy +

∫u (y)w (y − x) dλy

= (u ∗ v) (x) + (u ∗ w) (x)

La convolution possède également des propriétés de parité :

Proposition 2.11. (convolution et parité) Si u et v sont paires ou impaires , u (−x) = (−1)p u (x) etv (−x) = (−1)q v (x) alors (u ∗ v) (−x) = (−1)p+q (u ∗ v) (x).

En exercice.

Proposition 2.12.∫u ∗ v =

∫u×

∫v

On utilise

– le fait que H : (x, y) 7→ u (y) v (y − x) est intégrable (cf. lemme 2.6 page 49), pour appliquer lethéorème de Fubini

Pierre Puiseux 2012


– et l’invariance par translation∫R v (y − x) dλx =

∫R v (t) dλt :∫

R(u ∗ v) (x) dλx =

∫R

(∫Ru (y) v (y − x) dλy

)dλx

=

∫R

∫Ru (y) v (y − x) dλxdλy

=

∫Ru (y)

(∫Rv (y − x) dλx

)dλy

=

∫Ru (y)

(∫Rv (t) dλt

)dλy

=

(∫Ru (y) dλy

)(∫Rv (t) dλt

)Proposition 2.13. (Convolution, translation et dérivation.) Soient u, v ∈ L1, h un réel et l’opérateurτh défini sur L1 par : ∀x ∈ R

τhu (x) = u (x− h)

Alorsτh (u ∗ v) = (τhu) ∗ v

Si de plus u ∈ C1 (R) et u′ ∈ L1 ∩ L∞, alors :(u ∗ v)′ = u′ ∗ v

Démonstration. La preuve est analogue pour les deux propriétés.

(1) Translation :

τh (u ∗ v) (x) = (u ∗ v) (x− h)

=

∫u ((x− h)− y) v (y) dλy

=

∫(τhu) (x− y) v (y) dλy

= ((τhu) ∗ v) (x)

(2) Dérivation : soit x0 ∈ R. On voudrait écrire :

(u ∗ v)′ (x0) =d

dx

∫u (x0 − y) v (y) dλy

=

∫du

dx(x0 − y) v (y) dλy

= (u′ ∗ v) (x0)

Pour cela, vérifions que l’on peut appliquer le théorème 1.15 page 19 de dérivation dans l’intégrale :soit V0 = R et

H : R2 → R(x, y) 7→ u (x− y) v (y)

– l’application partielle x 7→ H (x, y) est de classe C1 (V0) (p.p. en y ∈ R) et



– sur V0, l’application partielle y 7→ ∂H∂x

(x, y) = u′ (x− y) v (y) est dominée (p.p. en y ∈ R) parune fonction de L1 car u′ est bornée donc∣∣∣∣∂H∂x (x, y)

∣∣∣∣ ≤ ∥u′∥∞ |v (y)|

avec ∥u′∥∞ |v| ∈ L1.

Remarque. On a vu précédemment que (ℓ1Z (R) , ∗) admet un élément neutre δ = (δ0,n)n∈Z. On peutse demander s’il en est de même pour (L1

R (R) , ∗). La réponse est négative. La mesure δ0 de Dirac en0 est élément neutre pour la convolution, car

(u ∗ δ0) (x) =

∫u (x− y) dδ0 (y)

= u (x)

mais δ0 /∈ L1.

Proposition 2.14. (Convolution et continuité.) Si u ∈ L1, et v est continue et bornée sur R alors u∗ vest bien définie, continue et bornée sur R. De plus

∥u ∗ v∥∞ ≤ ∥u∥1 ∥v∥∞

Démonstration.

(1) Pour tout x ∈ R on a

|(u ∗ v) (x)| ≤∫

|u (x− y)| |v (y)| dλy

≤∫

|u (x− y)| ∥v∥∞ dλy

= ∥u∥1 ∥v∥∞(2) Soit x ∈ R et (xn)n∈N une suite qui tend vers x. On va montrer que

limn→∞

(u ∗ v) (xn) = (u ∗ v) (x)

en appliquant le théorème de convergence dominée à la suite de fonctions

wn (y) = u (y) v (xn − y)

– wn (y) converge vers u (y) v (x− y) (p.p. en y)– |wn| ≤ |u| ∥v∥∞ qui appartient à L1

Démonstration. Ce qui montre que

limn→∞

∫u (y) v (xn − y) dλy =

∫u (y) v (x− y) dλy

Pierre Puiseux 2012


2.5.4. Convolution dans Lp.

Théorème 2.15. (Convolution dans Lp.) Soient p ∈ [1,∞], f ∈ Lp et g ∈ L1. Alors le produit deconvolution

(f ∗ g) (x) =


est défini p.p. dans X . De plus, f ∗ g ∈ Lp et on a l’inégalité∥f ∗ g∥p ≤ ∥f∥p ∥g∥1

Démonstration. Il faut distinguer les cas p = 1, p = ∞ et 1 < p <∞.

(1) Le cas p = 1 a été traité au théorème 2.14 page 50.(2) Le cas p = ∞ a été traité au théorème 2.14 page précédente.(3) Cas 1 < p < ∞. Soit q = p

p−1le conjugué de p. On écrit |f (y) g (x− y)| comme un produit de(

|f (y)| |g (x− y)|1p

)×(|g (x− y)|

1q

)et on utilise l’inégalité de Hölder après avoir vérifié que

y 7→ |f (y)| |g (x− y)|1p ∈ Lp et y 7→ |g (x− y)|

1q ∈ Lq :∫

|f (y) g (x− y)| dλy =

∫ (|f (y)| |g (x− y)|

1p

)(|g (x− y)|

1q

)dλy et Hölder ⇒

≤(∫

|f (y)|p |g (x− y)| dλy) 1

p(∫

|g (x− y)| dλy) 1

q

≤(∫

|f (y)|p |g (x− y)| dλy) 1

p

∥g∥1q

1(2.5.4)

Supposons que x 7→∫|f (y) g (x− y)| dλy et x 7→

∫f (y) g (x− y) dλy soient mesurables.∫

|f ∗ g|p dλ =

∫ ∣∣∣∣∫ f (y) g (x− y) dλy

∣∣∣∣p dλx≤

∫ (∫|f (y) g (x− y)| dλy

)pdλx

que l’on combine avec l’inégalité (2.5.4) :∫|f ∗ g|p dλ ≤

∫ (∫|f (y)|p |g (x− y)| dλy

)dλx ∥g∥

pq

1

=

∫|f |p ∗ |g| dλx ∥g∥

pq

1

= ∥|f |p ∗ |g|∥1 ∥g∥pq

1

et en utilisant le théorème (2.14) on trouve finalement ∥f ∗ g∥pp ≤ ∥f∥pp ∥g∥1+ p

q

1 qui donne l’inéga-lité cherchée. Reste àmontrer que les fonctionsx 7→

∫|f (y) g (x− y)| dλy etx 7→


sont mesurables. Elle le sont car composées et produits (grâce au théorème 1.11 page 17) d’appli-cations mesurables f, g, x 7→ |x| et y 7→ x− y.

On retiendra les résultats sous la forme suivante :


2.0 Espaces Lp 55

pour p ∈ [1,∞] : Lp ∗ L1 ⊂ Lp

Exercices sur le chapitre 2

Espaces Lp

Exercice 2.1. Pour 1 ≤ p < +∞, démontrer que φ : s 7→ |s|p est une fonction convexe sur R.

Correction

σ est la fonction signeσ (s) =

0 si s = 0|s|s

sinon

– Pour p = 1, soient α ∈ [0, 1] et s, t ∈ R. Alors l’inégalité triangulaire |αs+ (1− α) t| ≤ α |s| +(1− α) |t| montre la convexité de φ.

– Si p > 1, φ est de classe C1 avec φ′ (s) = pσ (s) |s|p−1 (vérifiez en 0) 4. Il suffit donc de mon-trer que φ′ est croissante. Ce qui est le cas puisque la dérivée seconde est positive : φ′′ (s) =p (p− 1) |s|p−2 ≥ 0 sur R (avec éventuellement φ′′ (0) = +∞ lorsque 1 < p < 2). Ce qui prouveque φ est convexe sur R.

Exercice 2.2. Pour 1 ≤ p < +∞, démontrer que (Lp,⊕,⊙) est un espace vectoriel, et que 4 est unordre sur Lp.

Correction

Il faut montrer que la loi⊕ est interne : on procède comme dans L1 en démontrant que pour f, g ∈ Lp,on a f ⊕ g = f + g. (Voir exercice 1.11 page 28.)

Pour la relation d’ordre, on procède comme dans L1. (Voir l’exercice 1.14 page 29.)

Exercice 2.3. Soit X = [0, 1] et f (x) = 2 (n− n2x)+.

(1) Montrer que la suite (fn)n∈N est bornée dans L1 ;

(2) Montrer que la suite (fn)n∈N n’est pas bornée dans Lp pour 1 < p ≤ +∞ ;

(3) Etudier la convergence de (fn)n∈N simple, presque partout, dans Lp, en mesure.

(4) Montrer que pour toute fonction φ ∈ C ([0, 1] ,R),∫fnφdλ −→ φ (0) (utiliser un théorème de la

moyenne)

Correction

On calcule effectivement la norme de fn :

∥fn∥p =

1 si p = 1

2[np−1

p+1

(1− (1− n)p+1)] 1

p si 1 < p <∞2n si p = +∞

(1) Donc ∥fn∥1 = 1(2) et ∥f∥p → ∞ pour p > 1

(3) Convergence de (fn)n∈N :

4on pourra aussi vérifier, mais ça n’est pas utile pour notre démonstration, qu’elle n’est de classe C2 que si p > 2

Pierre Puiseux 2012


(a) simplement vers f (x) =

∞ si x = 0

0 sinon(b) presque partout vers 0(c) ne converge pas dans L1 car si fn → f dans L1 alors, ∥fn∥1 → ∥f∥1 par continuité de la

fonction ∥.∥1.(d) ne converge pas dans Lp si p > 1 : supposons que fn → f dans Lp alors ∥fn∥p → ∥f∥p donc

∥f∥p = ∞ ce qui contredit f ∈ Lp.

(e) pour ε > 0 donné et n > ε, on a λ fn > ε = λ([

0, n−ε/2n2

[)= n−ε/2

n2 −→n→∞

0 donc (fn)n∈Nconverge en mesure.

(4) On se souvient du théorème de la moyenne : si f et g sont continues sur un intervalle [a, b] et sig est de signe constant, alors il existe c ∈ [a, b] tel que

∫[a,b]

fgdλ = f (c)∫[a,b]

gdλ. On appliquece théorème à [a, b] =

[0, 1

n

], f = φ et g = fn et on obtient

∫φfndλ = φ (ξn)

∫fndλ avec

ξn ∈[0, 1

n

]. Le résultat s’ensuit par continuité de φ.

Exercice 2.4. (Inégalité de Young généralisée.) Soient (pk)1≤k≤m, m réels de l’intervalle ]1,+∞[

vérifiant∑m

k=11pk

= 1 et (uk)1≤k≤m,m réels positifs. Montrer que∏m

k=1 uk ≤∑m

k=11pkupkk .

Correction

Sim∏k=1

uk = 0 alors l’inégalité est évidente, sinon on applique la convexité de la fonction exponentielle :

exp

( ∑1≤k≤m

ωkss

)≤

∑1≤k≤m

ωk exp sk à ωk = 1pk, sk = pk lnuk.

Exercice 2.5. (Inégalité de Hölder généralisée.) Soient (pk)1≤k≤m m réels de l’intervalle ]1,+∞[

vérifiant∑m

k=11pk

= 1. Soient (fk)1≤k≤m, m fonctions telles que fk ∈ Lpk et f =∏m

k=1 fk. Montrerque f ∈ L1 et que ∥f∥1 ≤

∏mk=1 ∥fk∥pk . (Appliquer une méthode analogue à celle du cours). Étendre

ce résultat à fk ∈ Lpk et f ∈ L1.

CorrectionLa démonstration du cours (en distinguant les 3 cas f = 0, ∀k, ∥fk∥pk = 1 et ∀k, ∥fk∥pk > 1) s’étendsans difficulté en utilisant l’inégalité de Young généralisée 2.4.

Exercice 2.6. (Inégalité de Minkowski dénombrable .) Soit 1 ≤ p < ∞ et (fn)n∈N une suite defonctions mesurables de X dans [0,+∞]. Montrer que∥∥∥∥∥∑

n∈N

fn

∥∥∥∥∥p

≤∑n∈N

∥fn∥p

CorrectionConvergence monotone sur gn = (f0 + f1 + . . . fn)

p et continuité de x 7→ x1p

Exercice 2.7. X = R. Montrer que pour f ∈ Lp, la suite fχ[−n,n] converge vers f dans Lp quandn→ ∞.

Correction

Exercice 2.8. (X, T , µ) = (R,B (R) , λ). Soit (fn)n∈N une suite bornée de fonctions de Lp, 1 6 p 6

∞. On suppose que fn →p.p.

f .


2.0 Espaces Lp 57

(1) Montrer que f ∈ Lp ;(2) a-t-on convergence de fn vers f dans Lp ?(3) On suppose maintenant que (fn)n∈N converge vers g ∈ Lp. Quelle relation y a-t-il entre f et g ?

Correction

TODO

(1) ∥fn∥p 6M . Lemme de Fatou :∫|f |p dλ =

∫lim inf |fn|p dλ

6 lim inf∫

|fn|p dλ

= Mp

(2) fn = χ[n,n+1]

(3) Convergence dans Lp donc il existe une sous suite qui converge p.p. vers f .

Exercice 2.9. Soient 1 ≤ p ≤ ∞ et q tel que 1p+ 1

q= 1. Soient (fn)n∈N une suite de L

p qui convergevers f dans Lp et (gn)n∈N une suite de L

q qui converge vers g dans Lq. Etablir que limn→∞

∫fngndµ =∫

fgdµ.

Correction

L’inégalité de Hölder 2.2 page 36 montre que fngn ∈ L1 et fg ∈ L1. On majore ensuite en utilisantla même inégalité :∣∣∣∣∫ fngndµ−

∫fgdµ

∣∣∣∣ =

∣∣∣∣∫ fn (g − gn) dµ−∫

(f − fn) gdµ

∣∣∣∣≤

∣∣∣∣∫ fn (g − gn) dµ

∣∣∣∣+ ∣∣∣∣∫ (f − fn) gdµ

∣∣∣∣≤

∫|fn (g − gn)| dµ+

∫|(f − fn) g| dµ

≤ ∥fn∥p ∥g − gn∥q + ∥f − fn∥p ∥g∥q

On a ∥f − fn∥p → 0 et ∥g − gn∥q → 0 quand n → +∞ et ∥fn∥p → ∥f∥p quand n → +∞. D’où lerésultat.

Exercice 2.10. Démontrer que l’application (f, g) ∈ L2 7→∫Xfgdµ est un produit scalaire.5

(1) (|) est un produit scalaire se vérifie sans difficulté, le seul point délicat est : soit u ∈ L2, u = 0.Alors (u|u) =

∫u2dµ > 0

(2) La norme associée à ce produit scalaire est la norme ∥.∥2 de L2. On sait que c’est un espacecomplet.

5

Définition 2.9. SoitH un espace vectoriel surC. On appelle produit scalaire surH toute application, notée (.|.)H ou bien(.|.) : H2 → C vérifiant les propriétés suivantes :

(1) ∀u ∈ H,u = 0 ⇒ (u|u) ∈ ]0,+∞[ ;(a) ∀u, v ∈ H, (u|v) = (v|u) ;(b) (.|.) est bilinéaire, c’est à dire l’application u 7→ (u|v) est linéaire pour tout v ∈ H .

Pierre Puiseux 2012


Exercice 2.11. Démontrer que si f ∈ L∞ alors |f | ≤p.p.

∥f∥∞.

En déduire que dans la définition de ∥f∥∞ = inf C ∈ R, |f | ≤ C p.p., le inf est atteint, c’est doncun min.

Correction

Si ∥f∥∞ = ∞ c’est évident. Sinon, par définition de la borne inférieure, il existe une suite (Cn)n∈N ⊂C ∈ R, |f | ≤ C p.p. qui converge en décroissant vers ∥f∥∞. Pour tout n ∈ N il existe donc unnégligeable An tel que |f | ≤ Cn sur X \ An. L’ensemble A =

∪n∈N

An, est donc négligeable et

∀n ∈ N, |f | ≤ Cn sur X \ A. En passant à la limite quand n → +∞, on obtient |f | ≤ ∥f∥∞ surX \ A ce qui démontre le résultat.

Exercice 2.12. On suppose que µ est une mesure finie, et soient 1 ≤ p ≤ q <∞, soit f ∈ Lp ∩Lq etsoit r ∈ [p, q].

(1) Montrer qu’il existe h ∈ Lp et g ∈ Lq, h, g ≥ 0, telles que ∀r ∈ [p, q] , |f |r ≤ hp + gq ;(2) montrer que lim

r→r|f |r = |f |r p.p. ;

(3) déduire de 1. et 2. que∫|f |r dµ→

∫|f |r dµ quand r → r ;

(4) en déduire que l’application r 7→ ∥f∥r est continue sur [p, q].

Correction

(1) prendre g = h = |f |. En posant A = |f | ≥ 1 et B = X \ A, comme p ≤ r ≤ q, on a|f |r ≤ |f |q sur A|f |r ≤ |f |p sur B

donc |f |r ≤ g + h.

(2) C’est la continuité de la fonction r 7→ yr (y ≥ 0). Mieux que p.p., on a l’égalité partout sur X .(3) Soit rn une suite de [p, q] qui tend vers r, et gn = |f |rn . Le théorème de convergence dominée,

appliqué à la suite (gn) ⊂ L1 et la fonction dominanteF = hp+gq ∈ L1, montre que∫|f |rn dµ→∫

|f |r dµ. (R est un espace métrique donc la convergence séquentielle entraîne la convergence)

Etablir que∩p≥1

Lp = L∞

Correction

(1)(2) Si f /∈ L∞ alors pour tout m > 0, a (m) = µ (|f | > m) > 0 = µ (|f |p > mp) > 0. Or

(inégalité de Markov)

µ (|f |p > mp) ≤ 1

mp

∫|f |p dµ

donc mµ (|f | > m)1p ≤ ∥f∥p. Comme µ (|f | > m)

1p −→

p→∞1, on peut trouver p0 tel que

12< µ (|f | > m)

1p donc m

2< ∥f∥p0 , ceci pour tout m > 0, ce qui prouve que ∥f∥p0 = +∞

donc f /∈∩p≥1

Lp.

Exercice 2.13. Soit 1 ≤ p < +∞ et A ∈ T . On pose F = f ∈ Lp, f = 0 p.p. sur A et on veutmontrer que F est fermé dans Lp. Pour cela on démontre que F contient les limites de ses suitesconvergentes. Soit (fn) est une suite de F qui converge dans Lp vers une fonction f et soit q tel que1p+ 1

q= 1.


2.0 Espaces Lp 59

(1) Soit g ∈ Lq. Majorez la quantité∣∣∫Afngdµ−

∫Afgdµ

∣∣ en utilisant l’inégalité de Hölder pourétablir que

∫Afgdµ = 0

(2) Cas p = 1 : à l’aide de fonctions caractéristiques, exprimer une fonction g1 ∈ L∞ telle quefg1 = |f | sur X . Déduire de la question 1 que f ∈ F .

(3) Cas p > 1 : exprimer une fonction gp ∈ Lq telle que fgp = |f |p et conclure.

Correction

(1) L’inégalité de Hölder permet d’obtenir la majoration :∣∣∣∣∫A

fngdµ−∫A

fgdµ

∣∣∣∣ =

∣∣∣∣∫ fngχAdµ−∫fgχAdµ

∣∣∣∣∫|fn − f | |gχA| dµ

≤ ∥fn − f∥p ∥gχA∥qcomme fn ∈ F et lim

n→∞fn = f dans Lp, on en déduit que 0 = lim

n→∞

∫Afngdµ =

∫Afgdµ

(2) g1 = χf>0 − χf<0 est dans L∞ et fg1 = |f |. Comme fng1 ∈ F , on a donc∫A|f | dµ = 0 ce

qui prouve que f = 0 p.p. sur A.(3) g = |f |p−1 g1 vérifie fg = |f |p et

∫|g|q dµ =

∫|f |p |g1|q dµ ≤ ∥f p∥1 ∥g

q1∥∞ < +∞ donc g ∈ Lq.

Comme de plus fng ∈ F , on en déduit∫A|f | dµ = 0 donc f ∈ F .

Exercice 2.14. Dans cet exercice, (X, T , µ) = (R,B (R) , λ). SoitCp := f ∈ Lp, f ≥ 0 p.p. et soitf ∈ C1.

(1) Montrer qu’il existe n ∈ N tel que µ (0 ≤ f ≤ n) = 0. On pose A = 0 ≤ f ≤ n ∈ T .(2) Soitm > n+1

εun entier. Montrer qu’il existe B ∈ T , 0 < µ (B) ≤ 1

met B ⊂ A.

(3) On pose g = fχX\B − χB. Etablir que ∥f − g∥1 < ε.(4) En déduire que C1 est d’intérieur vide dans L1.(5) Démontrer que Cp, 1 ≤ p < +∞ est d’intérieur vide. (Il suffit de modifier l’inégalité qui définit

m)(6) Etablir que C∞ est d’intérieur non vide. (On pourra montrer que x 7→ 1 ∈ Int (C∞).)

Correction

(1) Supposons que ∀n ∈ N, µ (0 ≤ f ≤ n) = 0. Alors µ (0 ≤ f ≤ 1) = 0 donc f > 1 p.p. donc∫fdµ > µ (X) = +∞ ce qui est impossible car f ∈ L1..

(2) En posant Bk = A ∩[km, k+1m

[, la famille (Bk)k∈Z ⊂ T est une partition de A donc µ (A) =∑

n∈Zµ (Bk) > 0 donc il existe un k ∈ Z tel que 0 < µ (Bk). De plus µ (Bk) ≤ 1

m< ε

n+1. On pose

B = Bk

(3) Comme 0 ≤ f + 1 ≤ n+ 1 p.p. sur B ⊂ A, on peut écrire :∫|f − g| dµ =

∫B

|f − g| dµ+

∫X\B

|f − g| dµ

=

∫B

(f + 1) dµ

≤ (n+ 1)µ (B)

≤ ε

(4) On en déduit que pour tout élément f ∈ C1, pour tout ε > 0, la boule ∥f − g∥1 < ε rencontreL1 \ C1, ce qui prouve que l’intérieur de C1 est vide au sens de la norme ∥.∥1

Pierre Puiseux 2012


(5) Prendrem >(m+1ε

)p.(6) La fonction f = x 7→ 1 est dans L∞, et la boule B = g ∈ L∞, ∥f − g∥∞ < 1 est incluse dans

L∞. En effet, soit g ∈ B, alors |1− g| = |f − g| ≤ ∥f − g∥∞ < 1 p.p.. Donc g ≥ 0 p.p. ce quimontre que g ∈ C∞.

Exercice 2.15. Dans cet exercice, X = R, T = B (R) et µ = λ. Soit f ∈ L1, telle que f ≥p.p.

0

(1) Montrer qu’il existe n ∈ N tel que µ (0 ≤ f ≤ n) = 0. On pose A = 0 ≤ f ≤ n ∈ T .(2) Soitm > n+1

εun entier. Montrer qu’il existe B ∈ T , 0 < µ (B) ≤ 1

met B ⊂ A.

(3) On pose g = fχX\B − χB. Etablir que ∥f − g∥1 < ε.

(4) En déduire que C :=

f ∈ L1, f ≥

p.p.0

est d’intérieur vide dans L1.

(5) Montrer que C est d’intérieur vide pour p < +∞ et d’intérieur non vide pour p = +∞.

Correction

(1) En posant An = 0 ≤ f ≤ n, qui est une suite croissante de T , on a limn→∞

µ (An) = +∞ puisquef ≥ 0 p.p. Donc il existe un n ∈ N tel que µ (An) = 0 et on pose A = An.

(2) En posant Bk = A ∩[km, k+1m

[, la famille (Bk)k∈Z ⊂ T est une partition de A donc µ (A) =∑

n∈Zµ (Bk) > 0 donc il existe un k ∈ Z tel que 0 < µ (Bk). De plus µ (Bk) ≤ 1

m< ε

n+1. On pose

B = Bk

(3) Comme 0 ≤ f + 1 ≤ n+ 1 p.p. sur B ⊂ A, on peut écrire :∫|f − g| dµ =

∫B

|f − g| dµ+

∫X\B

|f − g| dµ

=

∫B

(f + 1) dµ

≤ (n+ 1)µ (B)

≤ ε

(4) On en déduit que pour tout élément f ∈ C, pour tout ε > 0, la boule ∥f − g∥1 < ε rencontreL1 \ C, ce qui prouve que l’intérieur de C est vide.

Exercice 2.16. On se propose d’étudier les espaces Lp dans le cas 0 < p < 1. Soit q le conjugué de p.

(1) On veut démontrer l’inégalité suivante pour f ∈ Lp, et g ∈ Lq deux fonctions positives :∫fgdµ ≥

(∫f pdµ

) 1p(∫

gqdµ

) 1q

(2.0.5)

(a) Montrer que l’inégalité (2.0.5) est vraie si∫gqdµ = 0.

(b) Montrer que l’inégalité (2.0.5) est vraie lorsque fg /∈ L1

(c) On suppose que fg ∈ L1 et∫gqdµ = 0. Montrer que l’inégalité (2.0.5) est vraie. On pourra

poser F = (fg)p et G = g−p, et appliquer l’inégalité de Hölder à∫FGdµ, ∥F∥a et ∥G∥b

avec a = 1pet b bien choisi.

(2) On veut montrer l’inégalité de Minkowski pour f, g ∈ Lp deux fonctions positives :(∫(f + g)p dµ

) 1p

≥(∫

f pdµ

) 1p

+

(∫gpdµ

) 1p

(2.0.6)

établir (2.0.6) dans les cas suivants :(a)(∫

f pdµ) 1p = ∞ ou bien

(∫gpdµ

) 1p = ∞ ;


2.0 Théorèmes de densité 61

(b)(∫

(f + g)p dµ) 1p = 0 ;

(c) autre cas (utiliser (2.0.5)).

Correction

(1) On remarque tout d’abord que q < 0.(a)∫gqdµ = 0 et g ≥ 0 p.p. donc gq = O p.p. et q < 0 ⇒ g = +∞ p.p.. Si f = 0 p.p. alors

fg = 0 p.p. et (2.0.5) est vraie, sinon∫fgdµ = ∞ et l’inégalité est également vérifiée.

(b) si fg /∈ L1 alors∫fgdµ = +∞ l’inégalité est vérifiée.

(c) On choisit a = 1p> 1, et b = a

a−1> 1 son conjugué. On peut appliquer l’inégalité de Hölder

à FG :∥FG∥1 ≤ ∥F∥a ∥G∥b

On calcule FG = f p, F a = fg et Gb = gq. L’inégalité élevée à la puissance a devient(∫f pdµ

) 1p ≤

∫fgdµ

(∫gqdµ

)ab et le résultat s’en déduit sans difficulté.

(2) PosonsNp (u) =(∫

updµ) 1p et h = (f + g)p−1 on écrit (f + g)p = fh+gh avec h = (f + g)p−1.

On vérifie que h ∈ Lq et on applique l’inégalité (2.0.5) à fh et gh :∫(f + g)p dµ =

∫fhdµ+

∫ghdµ

≥ Nq (h) (Np (f) +Np (g))

qui conduit au résultat après quelques manipulations.

Exercice 2.17. Une suite (fn)n∈N converge enmesure vers une fonction f ∈ M si et seulement si ∀ε >0, lim

n→∞µ (|fn − f | ≥ ε) = 0. Établir que :

(1) si (fn)n∈N converge en mesure vers f , alors cette limite est unique presque partout ;(2) la convergence uniforme entraîne le convergence en mesure ;(3) la convergence presque partout n’entraîne pas la convergence en mesure : considérer la suite de

fonctions fn = χ[n,n+1] ;(4) la convergence enmesure n’entraîne pas la convergence presque partout : considérerfn = χ[ j2k ,

j+12k ]

avec n = j + 2k et j = 0, 1, . . . , 2k − 1, k ∈ N ;(5) la convergence dans Lp, 1 ≤ p <∞ entraîne la convergence en mesure ;(6) la convergence dominée dans Lp entraîne la convergence en mesure ;(7) la convergence en mesure n’entraîne pas la convergence faible : considérer fn = nχ[0, 1n ]

;(8) la convergence dominée en mesure entraîne la convergence faible.

Correction

TODO

Théorèmes de densité

Exercice 2.18. Lamesure µ est supposée finie. Soient p < q deux réels de [1,+∞] conjugués (1p+ 1

q=

1). Montrer que Lq est dense dans Lp.

Correction

TODO

Pierre Puiseux 2012


Exercice 2.19. La mesure µ est supposée finie. Montrer que si f est une fonction mesurable, alorslimp→∞

∥f∥p = ∥f∥∞

Correction

TODO

Exercice 2.20. La mesure µ est supposée finie. Montrer que∩p≥1

Lp = L∞. On admettra que si f est

une fonction mesurable, alors limp→∞

∥f∥p = ∥f∥∞

Correction

– f ∈ L∞ ⇒ |f |p ∈ L∞ et∫|f |p dµ ≤ ∥f∥p∞ µ (X)

–

Exercice 2.21. (X, T , µ) = (R,B (R) , λ). Soit 1 ≤ p <∞.

(1) Montrer que Cc (R,R) (fonctions continues à support compact) est dense dans Lp ;(2) pour tout f ∈ Lp, montrer que lim

h→0∥f − f (.+ h)∥p = 0 ;

(3) pour p = ∞ : soit f = χ]0,1[ et φ ∈ Cc.(a) Montrez que ∥f − φ∥∞ ≥ 1

2et en déduire que Cc n’est pas dense dans L∞ ;

(b) calculer ∥f − f (.+ h)∥p.

Correction

(1) On procède par étapes : fonctions indicatrices, E+,M+, Lp puis Lp, le tout en norme Lp(2) ...(3) ...

(a) ...(b) ...

Exercice 2.22. Quelle est l’erreur dans le raisonnement suivant ?

Pour p ∈ [1,∞[ , l’ensemble Cb est dense dans Lp car pour f ∈ Lp et ε > 0 :

(1) par densité de Lp ∩ L1 dans Lp, on peut trouver φ ∈ L1 ∩ Lp qui approche f à ε2près ;

(2) par densité de Cb dans L1, on peut trouver ψ ∈ Cb qui approche φ à ε2près ;

(3) la fonction ψ approche donc f à ε2+ ε

2= ε près.

Correction

(1) Par densité de Lp ∩ L1 dans Lp, on peut trouver φ ∈ L1 ∩ Lp telle que ∥f − φ∥p <ε2

(2) Par densité de Cb dans L1, on peut trouver ψ ∈ Cb telle que ∥φ− ψ∥1 ≤ε2

(3) On a donc ∥f − ψ∥p ≤ ∥f − φ∥p+∥φ− ψ∥p ≤ ε ce qui est faux car ∥φ− ψ∥p n’est pas inférieurà ε

2.

Dualité

Exercice 2.23. Démontrer la linéarité de l’application Ψ dans ?? page ??.

Correction

TODO


2.0 Dualité 63

Exercice 2.24. Le but de cet exercice est de démontrer le théorème 2.11 page 46. Soient p et q deuxréels de [1,+∞] conjugués (1

p+ 1

q= 1). Soit g ∈ Lq et la fonction

ϕ : Lp → R

f 7→∫fgdµ

(1) vérifier que ϕ est bien une forme linéaire sur Lp ; on note |||ϕ||| sa norme ;(2) en utilisant l’inégalité de Hölder, montrer que ϕ est continue sur Lp et que |||ϕ||| ≤ ∥g∥q ;(3) Cas 1 < p <∞ :

(a) soit la fonction f = σg |g|q−1 oùσg est la fonction « signe de g » : σg (x) =

g|g| (x) si g (x) = 0

0 si g (x) = 0.

Montrer que f ∈ Lp, et calculer |ϕ(f)|∥f∥p

en fonction de ∥g∥q. En déduire que |||ϕ||| ≥ ∥g∥q ;(b) conclure.

(4) Cas p = 1 (etµ est unemesure σ-finie) : soient ε > 0 etAε = x ∈ X, ∥g∥∞ − ε ≤ |g (x)| ≤ ∥g∥∞.(a) Montrer queµ (Aε) > 0 et qu’il existeBε ⊂ Aε tel que 0 < µ (Bε) <∞. (Utiliser l’hypothèse

que µ est une mesure σ-finie).(b) Montrer que f =

χBεµ(Bε)

σg est dans L1 et Φ(f)∥f∥1≥ ∥g∥∞ − ε. Conclure.

Correction

(1) pour toutα, β ∈ R et pour tout u, v ∈ Lp on vérifie facilement queϕ (αu+ βv) = αϕ (u)+βϕ (v).(2) Pour toute fonction f ∈ Lp, l’inégalité de Hölder appliquée à ϕ (f) donne

∣∣∫ fgdµ∣∣ ≤ ∫ |fg| dµ ≤

∥f∥p ∥g∥q ce qui montre que ϕ est continue et |||ϕ||| = supu∈Lp

|∫ ugdµ|∥u∥p

≤ ∥g∥q.

(3) Cas 1 < p <∞ :(a) Minoration de |||ϕ||| : f appartient à Lp car6 |f |p = |g|p(q−1) = |g|q et g ∈ Lq. Donc |ϕ(f)|

∥f∥p=

∥g∥qq

∥g∥1pq

= ∥g∥q d’où l’on déduit |||ϕ||| = supu∈Lp

|ϕ(u)|∥u∥p

≥ |ϕ(f)|∥f∥p

= ∥g∥q(b) Les inégalités établies en 2. et 3. montrent que |||ϕ||| = ∥g∥q.

(4) Cas p = 1 (et µ est une mesure σ-finie) :(a) si µ (Aε) était nul, on aurait |g (x)| <

p.p.∥g∥∞ − ε ou |g (x)| >

p.p.∥g∥∞ ce qui est impossible

par définition de ∥g∥∞. Si (Bi)i∈I est un recouvrement dénombrable de X avec µ (Bi) <∞

alors 0 < µ (Aε) = µ

(∪i∈I

(Aε ∩Bi)

). Il existe donc un i ∈ I tel que Bε = Aε ∩ Bi ⊂ Aε

est de mesure 0 < µ (Bε) <∞.(b) f estmesurable et

∫|f | dµ =

∫ χBεµ(Bε)

dµ = 1 donc ∥f∥1 = ∞. De plusΦ (f) =∫|g| χBε

µ(Bε)dµ ≥

∥g∥∞ − ε. Ainsi, pour tout ε > 0, |||Φ||| ≥ |Φ(f)|∥f∥1

≥ ∥g∥∞ − ε donc |||Φ||| ≥ ∥g∥∞ ce quipermet de conclure avec 2. que |||ϕ||| = ∥g∥q.

Exercice 2.25. Soient p et q ∈ [1,+∞[ conjugués (1p+ 1

q= 1). On dit que la suite (fn)n∈N ⊂ Lp

converge faiblement vers la fonction f ∈ Lp (et on trouve aussi la notation fn f ) si et seulement si

(2.0.7) ∀g ∈ Lq, limn→∞

∫fngdµ =

∫fgdµ

Par opposition, la convergence de (fn)n∈N dans Lp est dite convergence forte.

6σg =(1− χg=0

) (χg>0 − χg<0

)est mesurable.

Pierre Puiseux 2012


(1) Justifier que fn converge faiblement vers f si et seulement si pour toute forme linéaire φ continuesur Lp, on a φ (fn) → φ (f) (dans R) quand n→ +∞ ;

(2) montrer que la convergence forte entraîne la convergence faible ;(3) pour la réciproque, examiner le contre-exemple suivant : Lp = L2 ([0, 2π] ,B ([0, 2π] , λ)), λ me-

sure de Lebesgue et la suite fn : x 7→ fn (x) = sin (nx).(4) Dans le cas p = 2, établir que si les deux conditions suivantes sont réalisées, alors (fn)n∈N converge

fortement vers f :(a) fn f ;(b) ∥fn∥2 → ∥f∥2 dans R.

Correction

(1) Utiliser le théorème de représentation de Riesz.(2) L’inégalité de Hölder donne :∣∣∣∣∫ fngdµ−

∫fgdµ

∣∣∣∣ ≤∫

|(fn − f) g| dµ

≤ ∥fn − f∥p ∥g∥qqui montre le résultat.

(3) Le théorème de Riemann-Lebesgue (séries de Fourier) montre que si g ∈ L2 ([0, 2π]), alorsbn =

∫ 2π

0sin (nx) g (x) dx → 0 lorsque n → +∞. Donc fn → f faiblement. D’autre part

∥fn − fm∥22 =∫ 2π

0(sin (nx)− sin (mx))2 dx = 2π donc la suite (fn)n∈N n’est pas de Cauchy

dans L2.(4) On développe : ∫

(fn − f)2 dλ =

∫f 2ndλ− 2

∫ffndλ+

∫f 2ndλ

= ∥fn∥22 − 2

∫ffndλ+ ∥f∥22

on utilise ∥fn∥22 → ∥f∥22, et∫ffndλ→

∫f 2dλ = ∥f∥22 car f ∈ L2.

Exercice 2.26. X = [0, 1]. Soit

un =∑

0≤k<n

χ] 2k2n ,2k+12n [ − χ] 2k+1

2n, 2k+2

2n [

(1) Montrer que∫unϕdλ −→

n→∞0 ;

(2) utiliser la densité de C dans L1 pour établir que un 0 (convergence faible)(3) montrer que un ne tend pas vers 0 dans L1

Correction

Convolution

Exercice 2.27. Montrer que T = τ p, p ∈ Z muni de la convolution est un groupe

Exercice 2.28. Calculer, après avoir justifié de leur existence, les produits de convolution suivant :

(1) f ∗ g avec f = χ[−a,a] et g = χ[−b,b], a > b > 0 ;(2) f ∗ f , puis f ∗ f ∗ f avec f = χ[0,1] ;(3) ga ∗ ga avec ga (x) = e−a|x|, a > 0 ;(4) fa ∗ fb avec fa (x) = 1

x−ia , a > 0 ;


2.0 Convolution 65

Correction

(1) f ∗ g est paire car f et g le sont. f ∗ g (x) =

2b si x ∈ [0, a− b]

a+ b− x si x ∈ [a− b, a+ b]

0 si x ∈ [a+ b,+∞]

(2) (a) f ∗ f (x) =

0 si x ≤ 0

x si 0 ≤ x ≤ 1

2− x si 1 ≤ x ≤ 2

0 si 2 ≤ x

(b) Pour f ∗3 := f ∗ f ∗ f on utilise le changement de variable z = x− y :

f ∗ f ∗ f (x) =

∫f ∗ f (y)χ[0,1] (x− y) dy

=

∫ 1

0

yχ[0,1] (x− y) dy +

∫ 2

1

(2− y)χ[0,1] (x− y) dy

=

∫ x

x−1

(x− z)χ[0,1] (z) dz︸︷︷︸I1(x)

+

∫ x−1

x−2

(2− x+ z)χ[0,1] (z) dz︸︷︷︸I2(x)

On distingue quatre cas :– si x ≤ 0 ou x ≥ 3 alors f ∗3 (x) = 0

– 0 ≤ x ≤ 1 alors I2 = 0 et f ∗3 (x) = I1 (x) =∫ x0(x− z) dz = x2

2

– 1 ≤ x ≤ 2 alors I1 (x) =∫ 1

x−1(x− z) dz = − (x−2)x

2et I2 (x) =

∫ x−1

0(2− x+ z) dz =

−x2−4x+32

d’où f ∗3 (x) = −2x2−6x+32

– 2 ≤ x ≤ 3 alors I1 = 0 et f ∗3 (x) = I2 (x) =∫ 1

x−1(2− x+ z) dz = −x2−4x+3

2

(3) ga est paire donc ga ∗ ga l’est également. On suppose donc x ≥ 0 et on calcule l’intégrale endistinguant les cas t ≤ 0, t ∈ [0, x] et t ≥ x

ga ∗ ga (x) =

∫Re−a|t|e−a|x−t|dt

=

∫t≤0

e−a|t|e−a|x−t|dt+

∫t∈[0,x]

e−a|t|e−a|x−t|dt+

∫t≥x

e−a|t|e−a|x−t|dt

=

∫t≤0

eate−a(x−t)dt+

∫t∈[0,x]

e−ate−a(x−t)dt+

∫t≥x

e−atea(x−t)dt

= e−ax∫t≤0

e2atdt+ e−ax∫t∈[0,x]

dt+ eax∫t≥x

e−2atdt

= e−ax1

2a+ xe−ax + eax

1

2ae−2ax

= e−ax(1

a+ x

)finalement : ga ∗ ga (x) = e−a|x|

(1a+ |x|

)Exercice 2.29. Soit un = nχ[0, 1n ]

. Calculer, après avoir justifié de leur existence, les produits deconvolution un ∗ f et un ∗ un ∗ f dans les cas suivants :

(1) f = χ[−a,a] ;(2) f (x) = e−a|x|, a > 0 ;

Pierre Puiseux 2012


(3) Observez la régularité de chacune des fonctions. Que constate-t-on ?

Correction

Exercice 2.30. On considère l’espace mesuré (R,B (R) , λ) où λ est la mesure de Lebesgue.

On note Cc l’ensemble des fonctions continues à support compact de R dans R ou C.

On appelle approximation de l’unité toute suite de (ρn)n∈N ⊂ L1 (R) de fonctions vérifiant7 :

(1) pour tout n ∈ N, ρn est à support dans In = [−tn, tn] où tn > 0 et limn→∞

tn = 0 ;(2) il existe une constante 0 ≤M <∞ telle que pour tout n ∈ N, ∥ρn∥1 ≤M ;(3)

∫ρn = 1 pour tout n ∈ N.

Le but de cet exercice est de montrer que si g ∈ Lp (R), alors

(2.0.8) limn→∞

ρn ∗ g = g

dans Lp (R) , 1 ≤ p ≤ ∞

(1) Donner un exemple d’approximation de l’unité.(2) Soit g ∈ Cc. Justifier que g est uniformément continue. On pose τn = sup

|x−y|<tn|g (x)− g (y)|

montrer que

(2.0.9) τn = sup|x−y|<tn

|g (x)− g (y)| −−−−→n→+∞

0

(3) Soit x ∈ R. Montrer que

(2.0.10) |(ρn ∗ g) (x)− g (x)| ≤Mτn

(4) Montrer qu’il existe A > 0, indépendant de n, tel que le support de ρn ∗ g − g soit inclus dans[−A,A]. Pour cela :(a) Justifier que I =

∪n∈N

In est un intervalle du type I = [−T, T ].

(b) SoitK = [−R,R] tel que g est nulle en dehors deK et soit t /∈ I +K. Établir que pour toutn ∈ N et pour presque tout y ∈ R, ρn (y) g (t− y) = 0, en déduire que (ρn ∗ g) (t) = 0.

(c) Conclure.(5) Déduire des questions précédentes que ρn ∗ g converge vers g dans Lp (R) :

(a) dans le cas p = ∞ (utiliser (2.0.9) et (2.0.10))(b) dans le cas 1 ≤ p <∞ (utiliser également (4))

(6) On suppose maintenant que g ∈ Lp (R). Démontrer que ∥ρn ∗ g − g∥p → 0 quand n → +∞.Indication : en utilisant la densité de l’ensemble Cc dans Lp (R), écrire ρn ∗g−g comme la sommede trois termes : (ρn ∗ g − ρn ∗ h)+(ρn ∗ h− h)+(h− g) où h est une fonction bien choisie. Onrappelle enfin que pour u ∈ L1 (R) et v ∈ Lp (R), on a ∥u ∗ v∥p ≤ ∥u∥1 ∥v∥p.

Correction

(1) Exemplefn = 2nχ[− 1n, 1n ],

(a) suppfn = [−tn, tn] avec tn = 1n→ 0 quand n→ +∞

(b) ∥fn∥1 = 1,M = 1(c)∫fn = ∥fn∥1 = 1

7Définition plus restrictive que celle donnée en cours.


2.0 Convolution 67

(2) g est uniformément continue car elle est continue sur un compact. Soit ε > 0. Par l’uniformecontinuité de g, ∃η > 0, sup

|x−y|<η|g (x)− g (y)| < ε. Comme tn → 0 pour η, on peut trouverN ∈ N

tel que si n > N alors 0 ≤ tn ≤ η. Donc pour n > N on a donc τn = sup|x−y|<tn

|g (x)− g (y)| ≤

sup|x−y|<η

|g (x)− g (y)| < ε ce qui montre le résultat.

(3) Pour n ∈ N, on a :

|(fn ∗ g) (x)− g (x)| =

∣∣∣∣∫ fn (y) g (x− y) dy − g (x)

∫fn (y) dy

∣∣∣∣=

∣∣∣∣∫ fn (y) (g (x− y)− g (x)) dy

∣∣∣∣≤

∫|fn (y)| |g (x− y)− g (x)| dy

≤ supy∈In

|g (x− y)− g (x)|∫y∈In

|fn (y)| dy

≤ sup|z−x|≤tn

|g (z)− g (x)|M

= Mτn

(4)(a) La suite (tn)n∈N est convergente donc il existe un rang N , tel que 0 ≤ tn ≤ t0 pour tout

n ≥ N . En posant T = supn∈N

tn = max0≤n≤N

tn, on obtient I = [−T, T ].

(b) Soit y ∈ R. Si y ∈ I alors t − y /∈ K, donc g (t− y) = 0 donc ρn (y) g (t− y) = 0. Siy /∈ I alors ρn (y) = 0 donc ρn (y) g (t− y) = 0, cette dernière assertion est vraie seulementpresque partout.

(c) En posant A = T +R, on a I +K = [−A,A]. D’après la question précédente, ρn ∗ g est nulen dehors de I +K et par hypothèse il en est de même pour g.

(5) Convergence de ρn ∗ g vers g dans Lp (R) :(a) p = ∞ : dans l’inégalité (2.0.10) on passe au sup pour x ∈ R dans le membre de gauche, et

on obtient ∥ρn ∗ g − g∥∞ ≤Mτn puis on fait tendre n vers∞ en utilisant (2.0.9).(b) 1 ≤ p <∞ : en utilisant successivement (4) et (2.0.10) et il vient :

∥(fn ∗ g)− g∥pp =

∫|(fn ∗ g)− g|p

=

∫[−A,A]

|(fn ∗ g)− g|p

≤ 2A (Mτn)p

qui tend vers 0 quand n→ +∞ grâce à (2.0.9).(6) Soit ε > 0. Par densité de Cc dans Lp (R), il existe une fonction h ∈ Lp (R) telle que ∥g − h∥p ≤

ε2(M+1)

. On a alors

∥ρn ∗ g − g∥p ≤ ∥ρn ∗ (g − h) + (ρn ∗ h− h) + (h− g)∥p≤ ∥ρn ∗ (g − h)∥p + ∥ρn ∗ h− h∥p + ∥h− g∥p≤ ∥ρn∥1 ∥g − h∥p + ∥ρn ∗ h− h∥p + ∥g − h∥p≤ (M + 1) ∥g − h∥p + ∥ρn ∗ h− h∥p≤ ε

2+ ∥ρn ∗ h− h∥p

Pierre Puiseux 2012


On conclut en utilisant la question (5) et le fait que h ∈ Cc.

Voir [Marco] p. 302.


3.1 Définitions et propriétés élémentaires 69

CHAPITRE 3

Analyse hilbertienne et espace L2

Dans ce chapitre,H désigne un espace de Hilbert sur C, comme défini plus bas, en 3.2 page suivante.

(1) On suppose connues certaines définitions et propriétés élémentaires des espaces de Hilbert, quel’on rappelle succinctement dans une première partie. On démontre que l’espace L2

C (X, T , µ) =f : X → C,

∫|f |2 dµ < +∞

est un espace deHilbert muni du produit scalaire (f |g) =

∫fgdµ.

(2) On s’attarde dans une deuxième partie, sur une caractéristique plaisante des espaces de Hilbert :H ′ = H (H ′ dual topologique de H). Ce résultat est obtenu en montrant que toute forme linéaireφ continue sur H est de la forme φ (u) = (u|v) où v ∈ H . Il s’agit là d’une forme particulière duthéorème de représentation de Riesz.

(3) (hors programmeL3)On développe ensuite la notion de base hilbertienne, qui peut être vue commeune extension de la notion de base orthonormée dans un espace vectoriel. Une base hilbertienneest une base orthonormée comprenant un nombre infini de vecteurs. Lorsque H est séparable, laplupart des propriétés des bases orthonormées (finies) subsistent :– siH est séparable, alors il existe une base hilbertienne dénombrable (en)n∈N, et comme dansle cas fini, tout élément u de H peut s’exprimer sur cette base, comme somme d’une série

u =∑n∈N

unen

où les coefficients un (les coordonnées) ont une expression simple : un = (u|en).– Cette série possède en outre la propriété remarquable de convergence commutative : si φ :N → I est une numérotation (i.e. une bijection) alors

∑n∈N

unen =∑n∈N

uφ(n)eφ(n) =∑i∈Iuiei on

peut sommer dans n’importe quel ordre.– Comme dans le cas fini le carré de la norme d’un vecteur est la somme (infinie) des carrés deses coordonnées (identité de Bessel), et

– le produit scalaire de deux vecteurs est la somme (infinie) des produits de leurs coordonnées(identité de Parseval).

(4) Dans la section suivante, sur les séries de Fourier, on applique les résultats qui précèdent à l’espaceH = L2

C (]0, 2π[ ,B (]0, 2π[) , λ) : c’est un espace de Hilbert car p = 12est son propre conjugué

1p+ 1

p= 1 et l’inégalité de Hölder devient la précieuse inégalité de Cauchy-Schwartz :

∫|fg| dµ ≤

∥f∥2 ∥g∥2. On y démontre quex 7→ 1√

2πexp (inx) , n ∈ Z

est une base hilbertienne deH et on

exploite cette propriété pour étudier la convergence des séries de Fourier.

3.1. Définitions et propriétés élémentaires

Un point sur la terminologie (p.s.= muni d’un produit scalaire) :EVN complet p.s. p.s.+dimension finie p.s.+complet

sur R / sur C Banach pré-hilbertien euclidien / hermitien Hilbert

Pour les propriétés qui ne sont pas démontrées ici, on renvoie au cours « Algèbre bilinéaire, espaceseuclidiens ».

Pierre Puiseux 2012

70 Chapitre 3. Analyse hilbertienne et espace L2

Dans ce paragraphe, on se focalise sur le produit scalaire à valeur dans C. Le produit scalaire à va-leurs dans R possède des propriétés très voisines, qui se démontrent de manière analogue à ce qui estprésenté ici.

Définition 3.1. (Produit scalaire) SoitH un espace vectoriel sur C. On appelle produit scalaire surHtoute application, notée (.|.)H ou bien (.|.) : H2 → C vérifiant les propriétés suivantes :(1) ∀u ∈ H, u = 0 ⇒ (u|u) ∈ ]0,+∞[ ;(2) ∀u, v ∈ H, (u|v) = (v|u) ;(3) (.|.) est sesquilinéaire, c’est à dire l’application ψv : u 7→ (u|v) est linéaire pour tout v ∈ H .Un espace vectoriel muni d’un produit scalaire à valeurs complexes est dit pré-hilbertien (et hermitiens’il est de dimension finie).

Proposition 3.1. La fonction u ∈ H 7→ ∥u∥H = (u|u)12

– vérifie l’inégalité de Cauchy-Schwartz : ∀u, v ∈ H, |(u|v)| ≤ ∥u∥H ∥v∥H , avec égalité si etseulement si u = 0 ou v = 0 ou u = kv, k ∈ C.

– est une norme sur H ;– vérifie l’égalité du parallélogramme : ∀u, v ∈ H, ∥u+ v∥2H + ∥u− v∥2H = 2 ∥u∥2H + 2 ∥v∥2H .– vérifie l’égalité : ∀u, v ∈ H,∥u+ v∥2H = ∥u∥2H + ∥v∥2H + 2ℜ (u|v)

Démonstration. La démonstration des résultats est exactement la même que celle du cours « Al-gèbre bilinéaire, espaces euclidiens » (dimension finie, espace hermitien) :

– Cauchy-Schwartz : si u = 0 ou v = 0, l’inégalité est vérifiée (on a même égalité). Sinon, u = 0et v = 0, on écrit pour λ ∈ C, 0 ≤ P (λ) = ∥u+ λv∥2H . En prenant λ = α (u|v) , α ∈ R, onobtient après quelques calculs élémentaires : 0 ≤ α2 ∥v∥2H + 2α |(u|v)|+ ∥u∥2H ce qui impose undiscriminant ∆ ≤ 0 c’est à dire l’inégalité recherchée. On a égalité si et seulement si ∆ = 0. Si∆ = 0 alors il existe λ0 ∈ C qui annule P (λ) donc u = −λ0v. Réciproquement si u = kv, k ∈ Calors |(u|v)| = |k| ∥v∥2H = ∥u∥2 ∥v∥2.

– On en déduit l’inégalité triangulaire par ∥u+ v∥2H ≤ ∥u∥2E + 2 |(u|v)| + ∥v∥2E ≤ ∥u∥2E +

2 ∥u∥E ∥v∥E + ∥v∥2E ce qui montre que ∥.∥H est une norme.– Un simple développement des produits scalaires donne le résultat.

Définition 3.2. Un espace de Hilbert est un espace pré-hilbertien complet pour la norme induite parle produit scalaire. Autrement dit, c’est un espace de Banach dont la norme provient d’un produitscalaire.

Proposition 3.2. Soit (X, T , µ) un espace mesuré et L2C =

f : X → C,

∫|f |2 dµ < +∞

. Alors

(1) l’application (f, g) ∈ L2C × L2

C 7→∫fgdµ est un produit scalaire et la norme ∥f∥2 =

∫|f |2 dµ

provient de ce produit scalaire ;(2) L2

C (muni de cette norme) est un espace de Hilbert. L’inégalité de Cauchy-Schwartz et l’inégalitéde Hölder ne font qu’une.

Démonstration. Voir exercice 2.10 page 57


3.1 Définitions et propriétés élémentaires 71

Exemple. Pour (X, T , µ) = (N,P (N) ,m) oùm est la mesure du comptage, l’espace L2C est l’espace

ℓ2C (N) des suites complexes x = (xn)n∈N telles que ∥x∥22 =

∑n∈N

|xn|2 <∞. C’est un espace de Hilbert

pour le produit scalaire (x|y) =∑n∈N

xnyn.

Proposition 3.3. (Continuité du produit scalaire.)(1) L’application (u, v) ∈ H2 7→ (u|v)H ∈ C est continue.(2) Pour tout u ∈ H , l’application

Φu : H → Cv 7→ (u|v)

est une forme linéaire continue sur H donc Φu ∈ H ′ et |||Φu||| = ∥u∥H .

Démonstration.

(1) Il suffit de montrer1 que si (un, vn)n∈N est une suite de H2 convergeant vers (u, v) dans H2,alors (un|vn) → (u|v). Pour cela on écrit |(un|vn)− (u|v)| = |(un|vn − v)− (v|un − u)| puison utilise deux fois l’inégalité de Cauchy-Schwartz : |(un|vn)− (u|v)| ≤ ∥un∥H ∥vn − v∥H +∥v∥H ∥un − u∥H d’où l’on déduit le résultat pour n → +∞, car (un, vn) → (u, v) dans H2 im-plique un → u et vn → v dans H quand n→ +∞.

(2) La continuité de Φu est une conséquence directe de la continuité de (u, v) 7→ (u|v)H .Calculons la norme de Φu : pour tout v ∈ H ,|Φu (v)| ≤ ∥u∥H ∥v∥H donc |||Φu||| ≤ ∥u∥H d’autrepart |Φu (u)| = ∥u∥2H donc |||Φu||| ≥ ∥u∥H .

Définition 3.3. (Orthogonal) Soient u ∈ H et A ⊂ H ;(1) on dit que v ∈ H est orthogonal à u et on note u ⊥ v si et seulement si (u|v)H = 0 ;(2) on appelle orthogonal de A et on note A⊥ l’ensemble des éléments de H orthogonaux à tous les

éléments de A :A⊥ = v ∈ H, ∀a ∈ A, (a|v) = 0

Proposition 3.4. Soit A ⊂ H . Alors(1) A⊥ est un sous espace vectoriel fermé dans H ;(2) A⊥ =

(A)⊥ ;

(3) A ⊂(A⊥)⊥ ;

Démonstration. (1) On vérifiera à titre d’exercice queA⊥ est bien un espace vectoriel. Il est fermécomme intersection de fermés A⊥ =

∩a∈A

a⊥ où a⊥ = φ−1a (0) est fermé car φa : y 7→ (a|y) est

continue.(2) A ⊂ A ⇒ A

⊥ ⊂ A⊥ (pourquoi ?). Réciproquement soit x ∈ A⊥, soit y ∈ A alors y est limited’une suite (yn)n∈N ⊂ A donc ∀n ∈ N, (x|yn) = 0 et par continuité de y 7→ (x|y) on obtientlim (x|yn) = 0 = (x|y) donc x ∈

(A)⊥.

(3) soit x ∈ A alors soit y ∈ A⊥ donc (x|y) = 0 donc x ∈(A⊥)⊥.

1Dans un espace métrique, (en particulier dans un espace vectoriel normé), la continuité séquentielle équivaut à la conti-nuité.

Pierre Puiseux 2012


Proposition 3.5. (Pythagore) Soit une famille finie (ui)1≤i≤n ⊂ H de vecteurs deux à deux orthogo-

naux (i = j ⇒ (ui|uj) = 0). Alors∥∥∥∥ ∑1≤i≤n

ui

∥∥∥∥2H

=∑

1≤i≤n∥ui∥2H .

Démonstration. Voir cours Algèbre bilinéaire, espaces euclidiens. (Par récurrence).

3.2. Dualité dans un espace de Hilbert

Dans cette section, on démontre le théorème de représentation de Riesz enoncé dans le cadre desespaces Lp, 1 ≤ p < ∞ (voir 2.12 page 47), mais dans le cas d’un espace de Hilbert. Le théorèmecentral de cette section s’énonce ainsi :Théorème 3.1. Un espace de Hilbert H est isométriquement isomorphe à son dual topologique H ′.

Remarque. On fera souvent mais pas toujours l’identification entre H et H ′.

3.2.1. Projection sur un convexe fermé non vide, meilleure approximation.

Proposition 3.6. Soit C ⊂ H est un convexe, fermé, non vide et a ∈ H . Alors il existe un uniqueélément de C, appelé projection de a sur C, ou bien la meilleure approximation de a dans C, notéPC (a) ou PCa, ou encore Pa et qui vérifie :

∥a− PCa∥H = min ∥a− v∥H , v ∈ Cet ce minimum est appelé la distance de a à C et noté d (a, C).

Démonstration. en deux temps : existence et unicité.

(1) Posons d := d (a, C) = inf ∥a− v∥H , v ∈ C. Comme d est une borne inférieure dans R, ilexiste une suite (vn)n∈N ⊂ C telle que ∥a− vn∥H → d quand n→ +∞. Montrons que cette suiteest de Cauchy dans H , en utilisant l’identité du parallélogramme :

∥vn − vm∥2H = ∥(a− vm)− (a− vn)∥2H= −∥(a− vm) + (a− vn)∥2H + 2 ∥a− vm∥2H + 2 ∥a− vn∥2H

= −4

∥∥∥∥a− vm + vn2

∥∥∥∥2H

+ 2 ∥a− vm∥2H + 2 ∥a− vn∥2H

d’une part C est convexe donc vm+vn2

∈ C donc∥∥a− vm+vn

2

∥∥H≥ d, d’autre part ∥a− vm∥H → d

lorsquem→ ∞ et ∥a− vn∥H → d quand n→ +∞. Pour ε > 0 donné, on peut donc trouver unN tel que si m,n > N alors ∥vn − vm∥2H < −4d2 +

(2d2 + ε

2

)+(2d2 + ε

2

)= ε ce qui montre

que (vn) est de Cauchy dans H . La suite (vn) est donc convergente, puisque H est complet et salimite v est dans C puisque C est fermé. Enfin, par continuité de la norme, ∥a− v∥H = d ce quiachève cette partie de la démonstration.

(2) L’unicité de v = PCa est obtenue en supposant que w ∈ C vérifie ∥a− w∥H = ∥a− v∥H . Enutilisant encore l’identité du parallélogramme, on écrit :

∥v − w∥2H = ∥(a− w)− (a− v)∥2H

= −4

∥∥∥∥a+ v + w

2

∥∥∥∥2H

+ 4d2

et comme v+w2

∈ C, on a∥∥a+ v+w

2

∥∥2H≥ d2 donc ∥v − w∥2H ≤ −4d2 + 4d2 = 0. Si l’on suppose

v = w, c’est impossible.


3.2 Dualité dans un espace de Hilbert 73

C

Pa

v

a

Fig. 3.2.1. Projection sur un convexe fermé

Proposition 3.7. (caractérisation de la projection) Soit C ⊂ H est un convexe, fermé, non vide eta ∈ H . Soit a0 ∈ C. Alors

a0 = PCa ⇐⇒ ∀v ∈ C,R (a− a0|v − a0) ≤ 0

Démonstration. (⇐) Soit a0 vérifiant ∀v ∈ C,R (a− a0|v − a0) ≤ 0. On veut montrer que a0vérifie ∀v ∈ C, ∥a− a0∥2H ≤ ∥a− v∥2H , or

∥a− v∥2H = ∥(a− a0)− (v − a0)∥2H= ∥a− a0∥2H + ∥v − a0∥2H − 2R (a− a0|v − a0)

≥ ∥a− a0∥2H(⇒) Supposons maintenant que a0 = PCa ∈ C. On veut montrer que ∀v ∈ C,R (a− a0|v − a0) ≤ 0.Soit donc v ∈ C. Comme C est convexe pour t ∈ ]0, 1], w = tv + (1− t) a0 est aussi dans C donc

∥a− a0∥2H ≤ ∥a− w∥2H≤ ∥a− (tv + (1− t) a0)∥2H≤ ∥a− a0 − t (v − a0)∥2H≤ ∥a− a0∥2H + t2 ∥v − a0∥2H − 2tR (a− a0|v − a0)

on en déduit que t2 ∥v − a0∥2H − 2tℜ (a− a0|v − a0) ≥ 0 puis en faisant tendre t vers 0 on obtient lerésultat.

Remarque.

(1) Si H est un Banach, le résultat est faux. En exercice, on étudiera un exemple.(2) Si C n’est pas convexe, c’est l’unicité qui est prise en défaut (penser à une couronne dans le plan

C = D (0, 2) \D (0, 1), la projection de (0, 0) sur C n’est pas unique).(3) SiC n’est pas fermé le résultat est également faux (penser à la projection orthogonale sur le disque

ouvert D (0, 1) dans R2).

Pierre Puiseux 2012


(4) Intuitivement, le produit scalaire négatif s’interprète comme deux vecteurs qui pointent vers deuxdirections (plus ou moins) opposées.

Proposition 3.8. Soit C ⊂ H un convexe, fermé, non vide. Alors l’applicationPC : H → C

a 7→ PCa

est contractante.

Démonstration. Pour u, v ∈ H , on décompose u − v = (u− Pu+ Pv − v) + (Pu− Pv) et onobtient :∥u− v∥2H = ∥u− Pu+ Pv − v∥2H + ∥Pu− Pv∥2H + 2ℜ (u− Pu|Pu− Pv) + 2ℜ (Pv − v|Pu− Pv)

≥ ∥Pu− Pv∥2Hen utilisant deux fois la caractérisation 3.7 page précédente.

Dans le cas ouC est un sous espace vectoriel fermé deH , on a une caractérisation commode du projetéde a sur C, donnée par la proposition suivante :

Proposition 3.9. Soit F un sous espace vectoriel fermé de H , a ∈ H . Alors

a0 = PFa ⇐⇒

a− a0 ∈ F⊥ eta0 ∈ F

Démonstration.

– (⇐) Si a− a0 ∈ F⊥ et a0 ∈ F alors ∀f ∈ F,R (a− a0|f − a0) = 0 ≤ 0 car f − a0 ∈ F ce quiprouve que a0 = PFa en utilisant 3.7 page précédente.

– (⇒) Si a0 = Pa on veut montrer que a − a0 ∈ F⊥. Soit f ∈ F . On applique la caractérisation(3.7) au vecteur v = a0+αf (α ∈ C sera choisi plus loin) pour obtenir :R (a− a0|αf) ≤ 0 doncR (α (a− a0|f)) ≤ 0 on peut maintenant choisir α = (a− a0|f) et on obtient |(a− a0|f)|2 ≤ 0ce qui montre que a− a0 ∈ F⊥.

Définition 3.4. Soit F un sous espace vectoriel fermé de H ;(1) pour u ∈ H , le vecteur PFu est appelé « projection orthogonale de u sur F ».(2) l’opérateur PF : H → F est appelé « projecteur orthogonal sur F » ;

Proposition 3.10. Soit F un sous espace vectoriel fermé de H . Alors(1) H = F ⊕ F⊥ ;(2) PF est le projecteur (algébrique) associé à cette somme directea ;(3) F = F⊥⊥.aRappelons qu’étant donné E un espace vectoriel, l’écriture E = F ⊕G signifie que F etG sont deux sous espaces de Eet tout élément u ∈ E admet une décomposition unique u = x+ y, où (x, y) ∈ F ×G. Les applications PF : u 7→ x etPG : u 7→ y sont appelées projecteurs algébriques sur F et G.

Démonstration. Soit u ∈ H , alors u peut s’écrireu = (u− PFu) + PFu

avec u− PFu ∈ F⊥ et PFu ∈ F


3.2 Dualité dans un espace de Hilbert 75

(1) on en déduit que H = F + F⊥. Si u ∈ F ∩ F⊥ alors (u|u) = 0 donc u = 0 donc la somme estdirecte.

(2) La décomposition de u ∈ H écrite ci-dessus montre que PF et IH − PF sont les deux projecteursalgébriques sur F et F⊥.

(3) On sait que F ⊂(F⊥)⊥ (pourquoi ?). Montrons que

(F⊥)⊥ ⊂ F . Soit u ∈

(F⊥)⊥. Écrivons

la décomposition de u sur F ⊕ F⊥ : u = (u− PFu) + PFu avec u − PFu ∈ F⊥. D’autre partu− PFu ∈

(F⊥)⊥ car u ∈

(F⊥)⊥ et PFu ∈ F ⊂

(F⊥)⊥. Donc u− PFu ∈ F⊥ ∩

(F⊥)⊥ = 0

donc u = Pu ∈ F .

Corollaire 3.1. Soit F un sous espace vectoriel deH . Alors F est dense dansH si et seulement si F⊥

est réduit à 0.F = H ⇐⇒ F⊥ = 0

F est un sous espace vectoriel fermé deH doncH = F ⊕(F)⊥ mais

(F)⊥

= F⊥ doncH = F ⊕F⊥

d’où on déduit facilement le résultat.

Résumons les propriétés d’orthogonalité des sous espaces vectoriels établies dans ce paragraphe :

Proposition 3.11.

– Soit A ⊂ H , une partie quelconque. Alors(1) A⊥ est un sous espace vectoriel fermé dans H ;(2) A⊥ =

(A)⊥ ;

(3) A ⊂(A⊥)⊥ ;

– Soit F un sous espace vectoriel fermé de H . Alors(1) H = F ⊕ F⊥ ;(2) PF est le projecteur (algébrique) associé à cette somme directe ;(3) F = F⊥⊥.

– Soit F un sous espace vectoriel quelconque de H . Alors(3.2.1) F = H ⇐⇒ F⊥ = 0

3.2.2. Le théorème de représentation de Riesz. On rapelle que si E est un espace vectoriel, unhyperplan est un sous espace vectoriel de codimension 1. On démontre que F est un hyperplan si etseulement si il existe une forme linéaire dont F est le noyau.

Théorème 3.2. (Théorème de représentation de Riesz dans un Hilbert.)Pour toute forme linéaire continue φ ∈ H ′ il existe un unique vφ ∈ H tel que ∀u ∈ H

φ (u) = (u|vφ)H(3.2.2)On a plus précisément :– kerφ est un hyperplan, c’est à dire dim (kerφ)⊥ = 1

– vφ = φ(a0)(a0|a0)a0 ∈ (kerφ)⊥ où a0 = 0 est un vecteur quelconque de (kerφ)⊥.

Démonstration.

(1) On vérifie l’existence :– si φ = 0, alors u = 0 vérifie (3.2.2) ;

Pierre Puiseux 2012


– sinon (kerφ)⊥ = 0. En effet, si on suppose (kerφ)⊥ = 0, alors en vertu de 3.2.1 pageprécédente (que l’on peut appliquer à kerφ qui est fermé), on obtient kerφ = kerφ = H ,c’est à dire φ = 0. On choisit donc un a0 = 0 dans (kerφ)⊥

Pour u ∈ H , on remarque que sa décomposition sur H = kerφ⊕ (kerφ)⊥ s’écrit

u = u− φ (u)

φ (a0)a0︸︷︷︸

u1∈kerφ

+φ (u)

φ (a0)a0︸︷︷︸

u2∈(kerφ)⊥

(vérifiez !).Comme (u1|a0)H = 0 on obtient φ (u) = φ(a0)

(a0|a0) (u|a0)H on pose alors vφ = φ(a0)(a0|a0)a0 qui est

le vecteur cherché.(2) Vérifions l’unicité : si v et v′ vérifient ∀u ∈ H,φ (u) = (u|v) = (u|v′) alors en prenant u = v−v′

on obtient ∥v − v′∥H = 0.(3) La dimension de kerφ est 1 car si on choisit un autre vecteur b0 = 0 dans (kerφ)⊥ alors, vφ =

φ(b0)(b0|b0)H

b0 mais en vertu de l’unicité de vφ, on a aussi vφ = φ(a0)(a0|a0)H

a0 donc φ(b0)(b0|b0)b0 =

φ(a0)(a0|a0)a0 = 0,

donc u0 et v0 sont dépendants.

Exemple 3.1. Dans H = R3, les formes linéaires sont toutes continues et de la forme : ∀u =(x, y, z) ∈ H , φ (u) = ax + by + cz, c’est à dire φ (u) = (u|vφ)H avec vφ = (a, b, c). Dans cecas particulier, on lit directement le vecteur vφ = (a, b, c) dans l’expression analytique de la formelinéaire. Il s’agit bien du vecteur vφ construit dans la démonstration ci-dessus. En effet : le noyau deφ est l’hyperplan d’équation ax+ by+ cz = 0, et son orthogonal (kerφ)⊥ est la droite engendrée parvφ, et pour tout u ∈ H on a φ (u) = (u|vφ)H .

Corollaire 3.2. L’applicationΨ : H → H ′

v 7→ Φv

où Φv (u) = (u|v)H est un isomorphisme isométrique d’espace vectoriels.

Démonstration.

(1) On vérifie facilement que Ψ est linéaire.(2) Le théorème de Riesz montre qu’elle est bijective.(3) La norme de Ψ vaut 1 car pour tout v ∈ H , la propriété 3.3 page 71 nous donne |||Φv||| = ∥v∥H .

3.3. Bases hilbertiennes, séparabilité

Hors programme de L3


3.3 Bases hilbertiennes, séparabilité 77

Définition 3.5. Base algébrique, base orthonormée, base hilbertienne. Soit E un espace vectoriel etB = (ei)i∈I ⊂ E une famille (finie, infinie dénombrable ou non dénombrable).(1) On note VectB l’ensemble des combinaisons linéaires finies d’éléments de B.(2) La famille B est une base algébrique de l’espace vectoriel E si elle est :

– libre : pour toute famille finie J ⊂ I ,∑j∈J

αiei = 0 ⇒ ∀j ∈ J, αj = 0 ;

– génératrice : VectB = E.(3) Lorsque E est un espace pré-hilbertien (c’est à dire muni d’un produit scalaire à valeurs réelles ou

complexes), la famille B est orthonormée si ∀ (i, j) ∈ I2, (ei|ej) = δij(4) Lorsque E = H est un espace de Hilbert, la famille B est une base hilbertienne de H si elle

vérifie :(a) B est orthonormée ;(b) B est une partie totale de H c’est à dire VectB est dense dans H : VectB = H .

Proposition 3.12. Si H est séparablea, alors H admet une base hilbertienne dénombrable B =ei, i ∈ N.aUn espace topologique est séparable s’il contient une partie dénombrable et dense. Les espaces Lp (R) sont séparablespour 1 ≤ p <∞ mais L∞ (R) ne l’est pas.

Démonstration. Par le procédé d’orthogonalisation de Graham-Schmidt. TODO Remarque. Soit H un espace de Hilbert sur K. On démontre que :

– si H est de dimension finie, alors H admet une base hilbertienne finie ;– siH est de dimension infinie etH est séparable alorsH admet une base hilbertienne dénombrable ;– si H est de dimension infinie et H non séparable alors alors H admet une base hilbertienne nondénombrable. 2

Théorème 3.3. Soit B = ei, i ∈ I une base hilbertienne de H . Alors(1) (identité de Bessel) Pour tout u ∈ H, ∥u∥2H =

∑i∈I

|(u|ei)|2, et la série est commutativementa

convergente dans R ;(2) pour tout u ∈ H, u =

∑i∈I

(u|ei) ei, et la série est commutativement convergente au sens de la

norme ∥.∥H ;(3) réciproquement, si u ∈ H vérifie u =

∑i∈Iαiei et si la série est commutativement convergente,

alors αi = (u|ei) pour tout i ∈ I ;(4) (identité de Parseval) pour tout u, v ∈ H, (u|v) =

∑i∈I

(u|ei) (v|ei), et la série est commutativementconvergente.

aSoit I dénombrable. Une série∑i∈I

un , d’un espace vectoriel normé E est commutativement convergente

si et seulement si– elle est convergente vers un vecteur u ∈ E et– pour toute numérotation φ : N → I , la série

∑n∈N

uφ(n) converge vers u

Démonstration. Dans un premier temps, on suppose que I = N et on démontre les propriétés 1. à4. sans l’adverbe « commutativement ».2Mais dans ce cas, on démontre que tout élément u deH s’exprime comme une somme où l’ensemble des termes non nulsest dénombrable.

Pierre Puiseux 2012


(1) (Bessel) Soit u ∈ H .(a) (Bessel en dimension finie) On pose Fn = vect ei, 0 ≤ i ≤ n et F =

∪n∈N

Fn. F est l’en-

semble des combinaisons linéaires finies d’éléments deB. Pour tout élément v =∑

1≤i≤nαiei ∈

Fn, le calcul du produit scalaire (v|ej) donne (v|ej) = αj . Ce qui montre que ∀v ∈ Fn

v =∑

1≤i≤n

(v|ei) ei

et par le théorème de Pythagore ( 3.5 page 72), on obtient ∀v ∈ Fn :

∥v∥2H =∑

1≤i≤n

|(v|ei)|2(3.3.1)

(b) La suite réelle d (u, Fn) est décroissante (car Fn ⊂ Fn+1) minorée par 0 donc convergentedans R+. Comme de plus F est dense dans H , pour ε > 0, on peut trouver un élément dev ∈

∪n∈N

Fn tel que ∥v − u∥H < ε. Il existe donc n ∈ N tel que v ∈ Fn, on en déduit que

d (u, Fn) ≤ ∥u− v∥H < ε ce qui montre que d (u, Fn) → 0.(c) Le théorème de projection 3.9 page 74 nous indique qu’il existe un unique un = PFnu ∈ Fn

tel que d (u, Fn) = ∥u− un∥H avec u − un ∈ F⊥n . Le théorème de Pythagore donne alors

∥u∥2H = ∥u− un∥2H + ∥un∥2H = d2 (u, Fn) + ∥un∥2H et en faisant n→ ∞ on obtient

limn→∞

∥un∥2H = ∥u∥2H(3.3.2)

(d) On remarque que u−un ∈ F⊥ donc pour i ≤ n, (un|ei) = (u|ei). L’équation (3.3.1) appliquéeà v = un ∈ Fn, combinée avec l’équation (3.3.2) donne l’identité de Bessel.

(2) La série u =∑n∈N

(u|en) en est convergente car ∥un − u∥H = d (u, Fn) → 0 quand n→ +∞.

(3) Soit (αn)n∈N une suite vérifiant u = limn→∞

∑0≤i≤n

αiei. Soit j ∈ N, alors en faisant le produit scalaire

par ej , on obtient pour tout n ≥ j :( ∑

0≤i≤nαiei|ej

)= αj et par continuité de x 7→ (x|ej) il vient

(u|ej) = αj .(4) (u|v) = (limn un|v) en utilisant la continuité de x 7→ (x|v) on obtient (u|v) = limn (un|v) avec

un =∑i≤n

(u|ei) ei et finalement : (u|v) = limn

∑i≤n

(u|ei) (ei|v) =∑n∈N

(u|en) (v|en).

(5) La convergence commutative est obtenu en remarquant que si φ : N → I est une bijection, alors(en = eφ(n)

)n∈N est une base hilbertienne, et on applique le théorème que l’on vient de démon-

trer : pour u ∈ H on a ∥u∥2H =∑n∈N

|(u|en)|2 puis u =∑n∈N

(u|en) en puis pour v ∈ H, (u|v) =∑n∈N

(u|en) (v|en). Les séries invoquées sont toutes convergentes, indépendemment de la bijection

φ, c’est pourquoi il est légitime de les noter u =∑i∈I

(u|ei) ei, etc...

Proposition 3.13. (Caractérisation des bases hilbertiennes) La famille orthonormée B = ei, i ∈ Iest une base hilbertienne si et seulement si elle vérifie ∀u ∈ H :(3.3.3) (∀i ∈ I, (u|ei) = 0) ⇒ u = 0

Démonstration. (⇒) Soit u ∈ H tel que (u|ei) = 0,∀i ∈ I . Si B est une base hilbertienne, alorsu =

∑i∈I

(u|ei) ei = 0.


3.4 Exercices sur le chapitre 3 79

(⇐) Supposons (3.3.3) et posons F = vectB. On sait que H = vectB ⊕ vectB⊥ donc H = vectBéquivaut à vectB⊥

= 0. Or on a déja vu ( 3.4 page 71) que F⊥= F⊥ donc H = vectB équivaut à

vectB⊥ = 0. Pour montrer que B est une base hilbertienne, il suffit de montrer que vectB⊥ = 0.Soit un élément v de vectB⊥ ; il orthogonal à tous les ei : ∀i ∈ I, (v|ei) = 0 donc v = 0.

Proposition 3.14. Tout espace de Hilbert H de dimension infinie, séparable est isométriquementisomorphe à ℓ2 (N).

Démonstration. voir exercice 3.16 page 85

3.4. Meilleure approximation dans un Hilbert

Proposition 3.15. Soit H un espace de Hilbert, B = en, n ∈ N une base hilbertienne de H , Fn =vect ek, 0 ≤ k ≤ n. Alors pour tout u =

∑n∈N

unen ∈ H la meilleure approximation de u dans Fn est

Pnu =∑

0≤k≤nukek.

Démonstration. Voir l’exercice 3.15 page 84.

Exercices sur le chapitre 3

Exercice 3.1. SoientH un espace de Hilbert complexe,A ∈ Lc (H) une application linéaire continuede H dans lui-même et y ∈ H . On rappelle que l’application φy : x ∈ H 7→ (x|y) est dans H ′ et|||φy||| = ∥y∥H .

(1) Appliquer le théorème de représentation de Riesz à φy A pour montrer qu’il existe un uniquey∗ ∈ H tel que pour tout x ∈ H, (Ax|y) = (x|y∗). On appelle adjoint de A, et on note A∗,l’application y 7→ y∗.

(2) Montrer que A∗ ∈ Lc (H) et |||A∗||| ≤ |||A|||.(3) Montrer que (A∗)∗ = A et en déduire que |||A||| = |||A∗|||.

Correction

(1) Rappelons que la norme de la composée de deux applications linéairesA etB vérifie |||A B||| ≤|||A||| |||B|||. Pour tout y ∈ H , comme φy A ∈ H ′, le théorème de Riesz nous assure de l’exis-tence de y∗ ∈ H tel que φy A = (.|y∗) qui vérifie de surcroît : ∥y∗∥H = |||φy A|||. L’opérateurA∗est donc caractérisé par ∀ (x, y) ∈ H2

(3.0.1) (Ax|y) = (x|A∗y)

(2) Pour tout y ∈ H , on a

|||A∗||| ≤ ∥A∗y∥H∥y∥H

=∥y∗∥H∥y∥H

Or

∥y∗∥H = |||φy A|||≤ |||φy||| × |||A|||= ∥y∥H × |||A|||

Donc ∀y ∈ H,∥y∗∥H∥y∥H

≤ |||A||| d’où le résultat.

Pierre Puiseux 2012


(3) L’opérateur A∗∗ est caractérisé par ∀ (x, y) ∈ H2, (A∗x|y) = (x|A∗∗y) mais

(A∗x|y) = (y|A∗x)

= (Ay|x)= (x|Ay)

ce qui montre que A∗∗ = A donc |||A||| ≤ |||A∗∗||| ≤ |||A∗|||.

Exercice 3.2. Soient (H, ∥.∥H) un espace de Banach complexe.

(1) Supposant que c’est un Hilbert, donner une expression du produit scalaire (en fonction de ∥.∥H).(2) Supposons que l’identité du parallélogramme est vérifiée. Montrer que c’est un Hilbert pour un

produit scalaire que l’on déterminera.(3) En déduire que (H, ∥∥H) estun Hilbert si et seulement si l’identité du parallélogramme est vérifiée.

Correction

(1) 12

(∥a+ b∥2H − ∥a− b∥2H

)= (a|b)

Exercice 3.3. Soient g = 0 ∈ H = L2 et φg : f ∈ L2 7→ (f |g). On définit l’ensemble S =f ∈ L2, φg (f) = |||φg|||2

.

(1) Montrer que S =f ∈ L2, φg (f) = ∥g∥22

.

(2) Montrer que g est un élément de norme minimale dans S.(3) Montrer que tout autre élément de norme minimale est égal à g p.p..

Correction

(1) On sait que |||φg||| = ∥g∥2 (voir la proposition 3.3 page 71).(2) Si f ∈ S alors (f |g) = ∥g∥22 ≤ ∥f∥2 ∥g∥2 donc ∥g∥2 ≤ ∥f∥2 ce qui montre que g est de norme

minimum.(3) Soit f ∈ S telle que ∥f∥2 = ∥g∥2 alors on est dans les cas d’égalité dans l’inégalité de CS, donc

f = λg au sens L2 donc |λ| = 1 donc λ = eiα, α ∈ R. Dans ce cas, (f |g) = ∥g∥22 = eiα (g|g) =eiα ∥g∥22 donc α = 0 et f = g dans L2.

Exercice 3.4. Soit (fn)n∈N une suite de L2R d’éléments deux à deux orthogonaux. Montrer que

∑n∈N

fn

converge dans L2 si et seulement si∑n∈N

∥fn∥22 converge. (Exprimer que la série∑n∈N

fn converge dans

L2 si et seulement si elle est de Cauchy)

Correction

La série∑n∈N

fn converge dans L2 si et seulement si(∑n∈N

fn

)2

converge, si et seulement si elle est

de Cauchy. On pose sn =

(∑k≤n

fk

)2

et σn =∑k≤n

∥fk∥22. La série(∑

fn

)2

converge, si et seulement

si pour tout ε > 0 il existe Nε ∈ N tel que si m ≥ n > Nε alors ∥sm − sn∥2H < ε, c’est à dire, en

utilisant le théorème de Pythagore :

∥∥∥∥∥ ∑n<k≤m

fk

∥∥∥∥∥2

2

=∑

n<k≤m∥fk∥2H < ε. Donc

∑fn est convergente si

et seulement si elle est normalement convergente.


3.4 Exercices sur le chapitre 3 81

Exercice 3.5. Considérer les fonctions f = χ[0,1] et g = χ[1,2] pour établir que Lp n’est pas un espacede Hilbert si p = 2.

CorrectionUtiliser l’identité du parallélogramme

Exercice 3.6. Distance à un sous-espace. Soit H un espace de Hilbert et V un sous ev fermé decodimension 1 (c’est à dire tel que dimV ⊥ = 1). Soient a ∈ V ⊥, a = 0, u ∈ H et Pu le projetéorthogonal de u sur V .

(1) Établir que Pu est de la forme Pu = u− αa.(2) Calculer α en exprimant que Pu est orthonal à a.(3) Montrer que la distance d (u, V ) est donnée par d (u, V ) = α ∥a∥H .

CorrectionNotons P est la projection orthogonale sur V (convexe fermé). Pour u ∈ H , u = Pu+ (u− Pu) est

la décomposition de u surH = V ⊕V ⊥ c’est à dire

u− Pu = αa ∈ V ⊥

Pu ∈ Vdonc Pu = u−αa ∈ V .

De la relation d’orthogonalité (u− αa|a) = 0, on en déduit la valeur de α = (u|a)∥a∥2H

puis la distance de

u à V , qui est la norme de u− Pu : d (u, V ) = |(u|a)|∥a∥H

.

Exercice 3.7. Exemple de projection. (Utiliser l’exercice (3.6)). On noteH = L2 ([0, 1]) et on définit

φ :

H → Kf 7→

∫fdµ

(1) Montrer que V =f ∈ H :

∫[0,1]

fdλ = 0est un hyperplan fermé de H ;

(2) déterminer le vecteur aφ associé à φ par le théorème de Riesz ;(3) en déduire V ⊥ ;(4) déterminer le projeté sur V de la fonction f : x 7→ x2 ;(5) calculer la distance de f à V ;

Correction

(1) V est le noyau de φ ∈ H ′ c’est donc un hyperplan. Il est fermé car V = φ−1 0 et φ est continue.(2) aφ = 1(3) V ⊥ = Vect (aφ)(4) D’après l’exercice (3.6), on a PV f = f − αaφ avec α = (f |aφ)

∥aφ∥22= 1

3donc PV f (x) = x2 − 1

3.

(5) d (f, V ) = α ∥aφ∥2 =13

Exercice 3.8. Exemple de projection orthogonale. On note H = L2R ([−1, 1]).

(1) Montrer que W =f ∈ H :

∫[−1,0]

fdλ =∫[0,1]

fdλest le noyau d’une forme linéaire ψ que

l’on déterminera ;(2) déterminer le vecteur aψ associé à ψ par le théorème de Riesz ;(3) déterminerW⊥ ;(4) déterminer la distance de la fonction f (x) = x2 àW et le projeté de f surW .(5) déterminer la distance de u àW , et tracer u et PWu dans les cas suivants :

(a) u (x) =√

|x|x

Pierre Puiseux 2012


(b) u (x) = x2

(c) u (x) = x

Correction

(1) La forme linéaire ψ est donnée par

ψ (f) =

∫[−1,0]

fdλ−∫[0,1]

fdλ∫[−1,0]

f(χ[−1,0] − χ[0,1]

)dλ

(2) aψ = χ[−1,0] − χ[0,1] et ∥aψ∥2 =√2

(3) W⊥ = Vect (aψ)

(4) PWf = f − αaψ avec α =(f |aψ)∥aψ∥2

2

= −23et d (f,W ) = −2

√2

3=

Exercice 3.9. Quelle est la distance dans ℓ2 dex = (1, 0, . . . , 0, . . . ) au sous espaceVn =

y ∈ ℓ2 :

∑1≤k≤n

yk = 0

?

Correction

Exercice 3.10. Espace ℓ2. On note ℓ2 l’espace des suites L2R (N,P (N) ,m) où m est la mesure du

comptage. Pour a ∈ ℓ2 on note an au lieu de a (n) l’image de l’entier n.

(1) Établir que pour a ∈ ℓ2,∫a2dm =

∑n∈N

a2n.

(2) Montrer que chaque classe de ℓ2 contient un seul élément, de sorte que L2R (N,P (N) ,m) =

L2R (N,P (N) ,m).

(3) Soient a ∈ ℓ2 et b ∈ ℓ2 deux suites à termes positifs, montrer que :(∑n∈N

anbn

)2

≤∑n∈N

a2n∑n∈N

b2n

(4) Soit φ une numérotation de N∗. On veut montrer que∑n∈N∗

φ(n)n2 = ∞, on pose an =

√φ(n)

net

bn = 1√φ(n)

(a) Démontrer que∑p≤n

bp ≤∑p≤n

1p

(b) Conclure en utilisant la question 3.

Correction

(1)(2)(3) Inégalité de Cauchy-Schwartz(4)

(a) pourn fixé, on peut ordonné l’ensemble (fini) φ (p) , 1 ≤ p ≤ n en 1 ≤ k1 < k2 < · · · < knet on obtient facilement par récurrence p ≤ kp donc

∑p≤n

1φ(p)

=∑p≤n

1kp

≤∑p≤n

1p


3.0 Dualité 83

(b) On fixe n et on utilise 3 avec a = aχ1,...,n et b = bχ1,...,n( ∑1≤p≤n

1

p

)2

≤∑

1≤p≤n

φ (p)

p2

∑1≤p≤n

1

φ (p)

≤∑

1≤p≤n

φ (p)

p2

∑1≤p≤n

1

p

d’où on déduit que pour tout entier n ≥ 1 :∑

1≤p≤n

1p≤

∑1≤p≤n

φ(p)p2

et en faisant tendre n vers

∞, on obtient le résultat puisque∑p∈N∗

1p= ∞

Dualité

Exercice 3.11. Le théorème de projection n’est pas valide dans un Banach. Soient E = C ([0, 1] ,R),∥f∥E = sup

[0,1]

|f |, F =f ∈ E, f (0) = 0,

∫ 1

0f (x) dx = 0

, g = Id[0,1].

(1) Montrer que (E, ∥.∥E) est un Banach ;(2) montrer que F est fermé ;(3) soit f ∈ F , montrer que ∥g − f∥E ≥ 1

2. (On pourra remarquer que

∫ 1

0|g − f | (x) dx ≥

∫ 1

0(g − f) (x) dx =

12).

(4) Montrer qu’il n’existe pas d’élément f ∈ F tel que ∥g − f∥E = 12

(5) Montrer que d (g, F ) = 12. On pourra considérer la suite fn (x) =

−βnx si x ∈

[0, 1

n

]x− 1

n− βn

nsi x ∈

[1n, 1] et

βn bien choisi, et montrer que ∥g − fn∥E → 12quand n→ +∞.

Correction

Exercice 3.12. On considère l’espace mesuré (X, T , µ) = ([0, 1] ,B ([0, 1]) , λ) où λ est la mesurede Lebesgue et B ([0, 1]) est l’ensemble des boréliens sur [0, 1] et L2 = L2

R (X, T , µ) l’ensemble desclasses de fonctions à valeurs dansR, de carré intégrable. Soit F l’ensemble des (classes de) fonctions

égales presque partout à une fonction affine F =

f =p.p.

(x 7→ ax+ b) , a, b ∈ R.

(1) Etablir que F est un sous espace vectoriel de L2. Quelle est sa dimension ? Montrez que F estfermé.

(2) Pour f ∈ L2, justifier de l’existence d’un élément u ∈ F qui minimise la distance de f à F .(3) Soit f : x ∈ [0, 1] 7→ x2. Utiliser la caractérisation par produit scalaire du projeté de f sur F pour

établir que PFf est la fonction x 7→ x− 16.

(4) Calculez la distance d (f, F ) de f au sous espace F

Correction

(1)

Pierre Puiseux 2012


Bases hilbertiennes

Exercice 3.13. Tout Hilbert séparable de dimension infinie est isomorphe à ℓ2. Soit H un espace deHilbert séparable, de dimension infinie, et soit B = en, n ∈ N une base hilbertienne de H . Pouru ∈ H , on considère la suite au définie par (au)n = (u|en).

(1) Montrer que au ∈ ℓ2.(2) Montrer que u 7→ au est une isométrie linéaire et bijective de H dans H .

Correction

(1) L’égalité de Bessel donne ∥au∥ℓ2 = ∥u∥H(2) φ est linéaire, isométrique a cause de 1. injective car φ (u) = 0 ⇒ au = 0ℓ2 donc 0 = ∥au∥ℓ2 =

∥u∥H donc u = 0. Elle est surjective car pour a ∈ ℓ2, on pose fn =∑k≤n

akek. C’est une suite de

Cauchy car pourm > n ∥fm − fn∥2H =∑

n<k≤ma2k ≤

∑k>n

a2k qui tend vers 0 quand n→ +∞. Donc

u := limn→∞

fn ∈ H . Le théorème 3.3 page 77 (item 3) montre que a = au.

Exercice 3.14. Dans un espace de Hilbert, la convergence faible équivaut à la convergence ? .

(1) Démontrer qu’une suite (un)n∈N faiblement convergente3 vers u dans un Hilbert converge ssilim

n→+∞∥un∥H = ∥u∥H

(2) Trouver un contre exemple de suite qui converge faiblement vers 0 mais qui ne converge pas vers0 dans H . Considérer pour cela la suite un = χ[n,n+1].

Correction

(1) Soit (un)n∈N ⊂ H une suite faiblement convergente vers u ∈ H .(a) Si un → u alors ∥un∥H → ∥u∥H quand n→ +∞, par simple continuité de ∥∥H .(b) Réciproquement, si ∥un∥H → ∥u∥H alors ∥un − u∥2H = ∥un∥2H − 2ℜ (un|u) + ∥u∥2H tend

vers ∥u∥2H − 2ℜ (u|u) + ∥u∥2H = 0.(2) il suffit de trouver une suite (un)n∈N telle que pour tout v ∈ H,

∫unvdµ→ 0 et ∥un∥2 → 0. Pour

H = L2 (R), un = χ[n,n+1] :(a)∫unvdµ =

∫[n,n+1]

vdµ → 0 quand n → +∞ : en effet v ∈ L2 (R) et R =∪n∈Z

[n, n+ 1],

uniondénombrable d’intervalles disjoints. Donc∫R v

2dλ =∑n∈Z

∫[n,n+1]

v2dλ, cette dernière

série est (absolument) convergente, donc∫[n,n+1]

v2 → 0 quand n → +∞ donc il existeN ∈ N tel que v2 < 1 p.p. sur [n, n+ 1] pour tout n > N . Donc v2 < |v| < 1 p.p. sur[n, n+ 1] donc 0 ≤

∫[n,n+1]

|v| dλ <∫[n,n+1]

v2 → 0 quand n→ +∞.(b) et 1 = ∥un∥2 → 0

Exercice 3.15. SoitH un espace de Hilbert, etB = en, n ∈ N une base hilbertienne deH . On poseBn = ek, k ≤ n

(1) Justifier que Vn = vectBn est un sous espace vectoriel fermé de H ;(2) Soit a =

∑n∈N

unen ∈ H . Déterminer la meilleure approximation de a par un élément de Vn.

Correction

(1) dimension finie3On rapelle que (un)n∈N converge faiblement vers 0 dansH ssi ∀v ∈ H, (un|v) → (u|v)


3.0 Bases hilbertiennes 85

(2) On vérifie que a0 =∑k≤n

ukek ∈ Vn et a− a0 ∈ V ⊥n donc (voir propriété 3.9 page 74) a0 = Pa, et

par définition, c’est la mailleure approximation de a par un élément de Vn.

Exercice 3.16. Montrer que tout espace de HilbertH de dimension infinie, séparable est isométrique-ment isomorphe à ℓ2 (N).

CorrectionH = ℓ2 est muni du produit scalaire (x|y) =

∑n∈N

xnyn et de la norme ∥x∥ℓ2 =∑n∈N

|xn|2. H posède

une base hilbertienne que l’on peut numéroter : B = en, n ∈ N. Pour u ∈ H on pose un = (u|en)et on définit la fonction

Φ : H → ℓ2 (N)u 7→ u = (un)n∈N

L’identité de Bessel qui s’écrit∥Φ (u)∥ℓ2 = ∥u∥H

montre que u est bien dans ℓ2 (N) et queΦ est une isométrie puisque L’applicationΦ étant linéaire, il enrésulte que Φ est injective et continue. Reste à montrer la surjectivité de Φ : soit a = (an)n∈N ∈ ℓ2 (N)et u =

∑n∈N

anen. On vérifie facilement que la suite Sn =∑k≤n

akek est de Cauchy : pour tout ε >

0,∃Nε ∈ N tel que n > m > Nε ⇒ ∥Sn − Sm∥H =

∥∥∥∥∥ ∑m<k≤n

akek

∥∥∥∥∥H

=∑

m<k≤n|ak|2 < ε. On a utilisé

le théorème de Pythagore. Alors le point 3. du théorème 3.3 page 77 montre que an = (u|en) = undonc a = Φ (u).

Pierre Puiseux 2012

87

Index

Aétagée, 10

Bbase algébrique, 77base hilbertienne, 77Beppo-Levi, 11Bessel, 77

Cconjugués, 35convergence (simple) presque partout, 12convergence dominée, 14, 21convergence faible, 84convergence monotone, 11Convergence monotone presque partout, 13croissance presque partout, 12

Eessentiellement bornée, 39

Ffaiblement, 84fonction étagée, 10

Iidentité de Bessel, 77identité de Parseval, 77intégrable, 11intégrale, 10

LLebesgue, 14

Mmajorant essentiel, 39Markov, 25mesurable, 10

Nnégligeable, 12

OOrthogonal, 71

PParseval, 77presque partout, 12

Tthéorème de convergence monotone, 11

Pierre Puiseux 2012

89

Bibliographie

[Gallouet-Herbin] T. Gallouët & R. Herbin, Mesure, Intégration, Probabilites, 17 octobre 2011 http://www.cmi.

univ-mrs.fr/~gallouet/licence.d/int-poly.pdf 39, 46[Goudon] T. Goudon, Intégration, (intégrale de Lebesgue et introduction à l’analyse fonctionnelle), Ed. Ellipses, 2011,

ISBN 978-2-7298-70416.[Genet] J. Genet, Mesure et Intégration, Théorie Élémentaire, Maîtrise de Mathématiques, Éd.Vuibert Université,

1976. ISBN 2 7117-2204-X. 16, 38, 46, 47[Genet-Delode-Arino] J. Genet,Mesure et Intégration, Exercices et problèmes avec solutions,Maîtrise deMathématiques,

Éd.Vuibert Université, 1976. ISBN 2-7117-2203-1.[Brezis] H. Brezis, Analyse Fonctionnelle, Théorie at applications, Éd Masson, 1983, ISBN 2-225-771981 7. 47[Rudin] W. Rudin, Analyse réelle et complexe, Éd. Masson, 1986, ISBN 2-225-48400-7. 47[Suquet] Charles SUQUET, Intégration, Analyse de Fourier, Probabilités, http://math.univ-lille1.fr/

~suquet/Polys/IFP.pdf. 45, 46[Jean] R. Jean, Mesure et intégration, Éd. les Presses de l’Université du Québec, 1975.[George] C. George, Exercices et problèmes d’intégration, Éd.Gauthier-Villars, 1980, ISBN 2-04-011246-4.[El Kacimi Alaoui] A. El Kacimi Alaoui, éléments d’intégration et d’analyse fonctionnelle, Éd. Ellipses, collection Ma-

thématiques pour le deuxième cycle, 1999, ISBN 2-7298-4918-1.[wikipedia] http://fr.wikipedia.org/wiki.[Gasquet-Witomski] G. Gasquet, P. Witomski, Analyse de Fourier et applications, Éd. Masson, 1990, ISBN 2-225-82018-

X.[Gallagher] I. Gallagher, cours de Master-1, Université Paris 7, Institut de Mathématiques de Jussieu, http://www.

math.jussieu.fr/~gallagher/M1Analyse09.html.[Marco] J.P. Marco (sous la direction de), Mathématiques L3, Analyse, Éd. Pearson Education, Juin 2009, ISBN

978-2-7440-7350-2.

68

Pierre Puiseux 2012

http://www.cmi.univ-mrs.fr/~gallouet/licence.d/int-poly.pdf

http://www.cmi.univ-mrs.fr/~gallouet/licence.d/int-poly.pdf

http://math.univ-lille1.fr/~suquet/Polys/IFP.pdf

http://math.univ-lille1.fr/~suquet/Polys/IFP.pdf

http://fr.wikipedia.org/wiki

http://www.math.jussieu.fr/~gallagher/M1Analyse09.html

http://www.math.jussieu.fr/~gallagher/M1Analyse09.html

complementsmesure solutions

Documents