Vous êtes sur la page 1sur 89

Intgration-2

L3-Mathmatiques
2011-2012
Pierre Puiseux
4 mars 2014
E-mail address : pierre.puiseux@univ-pau.fr

Table des matires


Avertissement

Notations

Chapitre 1. Rappels, les espaces L1 et L1


1.1. Construction de lintgrale de Lebesgue
1.1.1. Fonctions mesurables, fonctions tages
1.1.2. Intgrale dune fonction tage positive
1.1.3. Intgrale dune fonction mesurable positive
1.1.4. Intgrale dune fonction mesurable
1.2. Les espaces L1 et L1
1.2.1. Proprits vraies presque partout
1.2.2. Lespace L1
1.2.3. Lespace L1
1.3. Diffrents modes de convergence dans L1
1.4. Rappels de quelques rsultats indispensables
1.4.1. Mesures produit
1.4.2. Changement de variable
1.4.3. Echange limite et intgrale
1.4.4. Mesures rgulires
1.5. Thormes dans L1
Exercices du chapitre 1
Gnralits et rappels
Presque partout
Lespace L1
Lespace L1
Thormes importants

9
10
10
10
11
11
12
12
13
14
16
16
16
18
19
20
21
25
25
28
28
28
30

Chapitre 2. Les espaces Lp


2.1. Dfinition, premires proprits
2.1.1. Les espaces Lp , 1 p < +
2.1.2. Lespace L
2.2. Comparaison des espaces Lp
2.2.1. Ingalit de Hlder gnralise
2.2.2. Cas dune mesure finie
2.2.3. Cas dune mesure non finie
2.3. Quelques thormes de densit
2.4. Dualit dans les espaces Lp
2.5. Convolution dans Lp
2.5.1. Convolution dans 1 (Z)
2.5.2. Convolution dans L1
2.5.3. Proprits lmentaires de la convolution dans L1

33
34
34
39
41
42
42
43
44
46
48
48
49
51

Pierre Puiseux

2012

Chapitre 0. Table des matires


2.5.4. Convolution dans Lp
Exercices sur le chapitre 2
Espaces Lp
Thormes de densit
Dualit
Convolution

54
55
55
61
62
64

Chapitre 3. Analyse hilbertienne et espace L2


3.1. Dfinitions et proprits lmentaires
3.2. Dualit dans un espace de Hilbert
3.2.1. Projection sur un convexe ferm non vide, meilleure
approximation
3.2.2. Le thorme de reprsentation de Riesz
3.3. Bases hilbertiennes, sparabilit
3.4. Meilleure approximation dans un Hilbert
Exercices sur le chapitre 3
Dualit
Bases hilbertiennes

69
69
72

Index

87

Bibliographie

89

Universit de Pau

L3-Mathmatiquess

72
75
76
79
79
83
84

Intgration-2

Avertissement
ce ne sont que des notes de cours, en perptuelle volution, dans lesquelles subsistent certainement de
nombreuses erreurs et approximations !
Ce cours est enseign au semestre 2 de la 3-me anne de Licence de Mathmatiques, lUniversit
de Pau, et fait suite un cours de mesure et intgration enseign au semestre prcdent.
La thorie de la mesure et de lintgration est donc suppose connue, et les rsultats en sont utiliss
parfois sans pravis.
Certains thormes importants sont rappels au chapitre 1.

Pierre Puiseux

2012

Notations
Dans tout le cours, X dsigne un espace topologique, T dsigne une tribu et sauf prcision contraire,
il sagira de la tribu B (X) des borliens sur X (cest dire la tribu engendre par les ouverts de X),
et dsigne une mesure positive sur T .
Les espaces fonctionnels utiliss sont des espaces
de X valeur dans R (et parfois C si
( ) de fonctions
( )
prcis), munis de la tribu des borliens 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 borliens sur X.
: mesure de Lebesgue.
M, M (X) ou M (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 tages de X dans K = R ou C.
E + , E + (X) : fonctions tages positives de X dans K = R ou C.
Lp , Lp (X), Lp (X, T , ), LpK , LpK (X), LpK (X, T , ) : fonctions de X dans K = R ou C, de puissance
p-ime intgrable (1 p +).
Lp , Lp (X), Lp (X, T , ), LpK , LpK (X), LpK (X, T , ) : classe de fonctions de X dans K = R ou C,
gales presque partout, et de puissance p-ime intgrable (1 p +).
p , p (X), pK (X) : (X = N ou Z) suites (ou suites doubles) de K = R ou C, de puissance p-ime
sommable.
A : fonction caractristique de lensemble A.
L (E, F ) : applications linaires de E dans F (E et F espaces vectoriels).
Lc (E, F ) : applications linaires continues de E dans F (E et F espaces vectoriels norms).
|||||| : norme de lapplication linaire .
(f |g) produit scalaire.
A adhrence de A,
A

ladhrence de A pour la norme .

{P (f )} : ensemble des x X vrifiant la proprit P (f (x)). Exemple :


( )
{|f | < +} = {x X, |f (x)| < +} = f 1 R+
C (A, B) = C 0 (A, B) fonctions continues de A dans B.
Pierre Puiseux

2012

Chapitre 0. Notations

C p : fonctions de classe C p .
Cpk : fonctions priodiques de classe C k .
Cc : fonctions continues support compact.
Cck : fonctions support compact et de classe C k .
C0 : fonctions continues nulles linfini.
(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 : polynmes trigonomtriques de degr n.

Universit de Pau

L3-Mathmatiquess

Intgration-2

CHAPITRE 1

Rappels, les espaces L1 et L1


On suppose connues les dfinitions et proprits tudie dans lunit mesure et intgration, savoir :

tribus,
mesures,
fonctions mesurables,
intgrale de Lebesgue,
mesures produit et intgrales multiples.

Les deux derniers points font lobjet de quelques rappel de ce chapitre.


Dans tout ce qui suit, on intgre 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 borlienne (engendre par les ouverts de Y )
et de la mesure de Lebesgue.
En gnral, et sauf prcision 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 lintgrale de Lebesgue, en trois temps :
on dfinit lintgrale des fonctions tages positives ;
si f est une fonction mesurable positive alors
elle est la limite
dune suite (fn ) de fonctions tages,
ce qui permet de dfinir lintgrale de f : f d = lim fn d ;
n

toute fonction mesurable peut scrire comme f = f + f avecf + = sup(f, 0) 0 et f =


sup (f, 0) 0, ce qui permet de dfinir lintgrale de f comme f + d + f d.
On regroupe en classes dquivalence les fonctions gales presque partout, dont lintgrale
est finie.
1
Lensemble de ces classes forme un espace de Banach, appel L , avec la norme f 1 = |f | d.
On sattarde enfin sur la formulation dans L1 de deux thormes fondamentaux :
Le thorme de convergence monotone (Beppo-Lvi) indique que si (fn ) est une suite de L1 qui
converge p.p. vers f en croissant p.p. alors elle converge vers f dans L1 cest dire fn f 1 0
et f L1 .
Le trs puissant thorme de convergence domine (Lebesgue) indique quune suite (fn ) de L1
est convergente dans L1 ds quelle est domine p.p. par une fonction F L1 .
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

10

1.1. Construction de lintgrale de Lebesgue


Lintgrale de Lebesgue permet dintgrer de la mme manire des fonctions qui sont gales presque
partout, cest dire gales en tout point sauf peut-tre sur un ensemble de mesure nulle. La classe
des fonctions intgrable sen
trouve
considrablement largie, par rapport lintgrale de Riemann.
Les thormes du type f = f o est un oprateur tel que drivation, intgration, passage
la limite, sont obtenus avec des hypothses relativement simples, toujours par comparaison avec
lintgrale de Riemann. Rappelons tout dabord les dfinitions suivantes :
1.1.1. Fonctions mesurables, fonctions tages.
Dfinition 1.1. Une fonction f : X Y est dite mesurable si et seulement si B B (Y ) , f 1 (B)
TX . On note M lensemble des fonctions mesurables de X dans Y et M+ lensemble des fonctions
mesurables positives.
Exemple 1.1. f = A est mesurable si et seulement si A TX .
Une fonction tage est une fonction mesurable qui ne prend quun nombre fini de valeurs :
Dfinition 1.2. Une fonction f : X Y est dite tage si elle est mesurable et si f (X) est une
partie finie de Y . Lorsque Y = R, on note E lensemble des fonctions tages et E + lensemble des
fonctions tages positives.
Exemple 1.2. f = A pour A TX est tage.
Proposition 1.1. Une fonction tage admet une unique dcomposition de la forme

f=
ai Ai
1in

avec
(ai )1in R, avec a1 < a2 < < an ;
(Ai )1in partition de X.
Dmonstration. Les ai sont les lments de f (X), que lon a ordonn, et on dfinit Ai = f 1 ({ai }),
pour 1 i n.

k
Exemple 1.3. La fonction fn =
k , k+1 ]
n [n
n
1k<n
1.1.2. Intgrale dune fonction tage positive.

Dfinition 1.3. Soit f =


ai Ai une fonction tage positive. On appelle intgrale de f le rel
1in

f d =
X

ai (Ai )

1in

Exemple 1.4.
(1) X = R, f = Q est tage positive, son intgrale est
Universit de Pau

Q d = 1 (Q) + 0. (R Q) = 0.

L3-Mathmatiquess

Intgration-2

1.1 Construction de lintgrale de Lebesgue


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

11

1k<n

k
k , k+1 ]
n [n
n

a pour intgrale de Lebesgue

k ([ k k + 1 ])
fn d =

,
n
n
n
[0,1]
1k<n

n1
2n

1.1.3. Intgrale dune fonction mesurable positive. La proposition suivante exprime une proprit un peu plus faible que la densit de lensemble E + des fonctions tages positives dans lensemble M+ 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 )nN E + qui converge ponctuellement en croissant vers f .


Dmonstration. Voir cours de mesure.

Exemple
La fonction f (x) = x sur X = [0, 1[ est limite simple de la suite croissante de fonctions
1.5.k1
fn =
[ k1
k . Voir lexercice 1.3 page 26.
2n
n , n[
1k<2n

{
}

Dfinition 1.4. Soit f M+ . On dfinit lintgrale


de f par f d = sup
d, E + , f

et on dit que f est intgrable si et seulement si f d < +.


Exemple 1.6. X = [0, 1], lintgrale de la fonction f = Id nest pas simple calculer daprs cette
dfinition. Est-elle intgrable ? La rponse est donne par le thorme de convergence monotone qui
donne un critre de la mesurabilit de la limite simple dune suite de fonctions mesurables : il suffit
que la suite soit croissante (et mesurable). On peut alors permuter limite et intgrale :
Thorme 1.1. (Thorme de Beppo-Levi ou de convergence monotone dans M+ ) Soit (fn )nN une
suite croissante de M+ et soit f = lim fn (limite ponctuelle).

n
Alors f M+ et f d = lim fn d.
n

Dmonstration. Voir cours de mesure.

Exemple 1.7. X = [0, 1[, la fonction f = IdX est limite simple de la suite croissante fn =
1k<2n
(
)

1
1
1
avec X fn d = 2 1 2n . Donc X f d = lim X fn d = 2 . Voir lexercice 1.3 page 26.


k

2n [ 2kn , k+1
2n [

1.1.4. Intgrale dune fonction mesurable.


Dfinition 1.5. Pour f M on dfinit 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]
Dmonstration. Voir cours de mesure.
Pierre Puiseux


2012

Chapitre 1. Rappels, les espaces L1 et L1

12

Dfinition 1.6. Une fonction f : X R est intgrable si


(1) f M
(2) f + d < +
(3) f d < +

On dfinit dans ce cas lintgrale de f par f d = f + d f d


Thorme 1.2. Si f M alors : f est intgrable |f | est intgrable f + et f sont
intgrables.
Dmonstration. Voir cours de mesure.
Exemple
1] , f (x) = x, f + = x[0,1] et f = x[1,0]
1.9. X1= [1,
donc X f d = 2 12 = 0.

f + d =

1
2

et


f d =

1
2

Dfinition 1.7. On note L1Y (X, T , ) ou L1Y (X) ou simplement L1 lensemble des fonctions intgrables de X dans Y .
1.2. Les espaces L1 et L1
1.2.1. Proprits vraies presque partout .
Dfinition 1.8. (X, T , ) tant un espace mesur,
(1) on appelle ngligeable tout sous ensemble A de X tel quil existe un mesurable B T , de mesure
nulle, et contenant A. Autrement dit un ngligeable est une partie de X incluse dans une partie de
mesure nulle.
(2) On dit dun prdicat P (x) quil est vrai pour -presque tout x X si et seulement si lensemble
A = {x X, P (x)} (cest dire lensemble des x X pour lesquels P (x) est faux) est
ngligeable. Lorsquil ny a pas dambiguit sur X et , on dit que P (x) est vraie presque
partout , ou -presque partout .
Par exemple on notera f = g la proprit f (x) = g (x) presque partout.
p.p.

Voici une caractrisation utile de lgalit presque partout :


Thorme 1.3. Deux fonctions f, g : X Y sont gales presque partout si et seulement si il existe
un ngligeable A tel que :
f X\A = gX\A
Prcisons la dfinition de la convergence presque partout :
Dfinition 1.9. (X, T , ) tant un espace mesur, on dit quune suite de fonction (fn ) converge (simplement) presque partout vers une fonction f si et seulement si il existe un ngligeable A X tel que
fn X\A converge (simplement) vers f X\A .
On note alors fn f ou bien limfn = f .
p.p.

p.p.

Prcisons la dfinition de la croissance presque partout :


Dfinition 1.10. (X, T , ) tant un espace mesur, on dit quune suite de fonction (fn ) est croissante
presque partout
(1) si et seulement si il existe un ngligeable A X tel que gn = fn X\A est une suite croissante ;
(2) si et seulement si n N il existe un ngligeable An tel que fn X\An fn+1 X\An
Universit de Pau

L3-Mathmatiquess

Intgration-2

1.2 Les espaces L1 et L1

13

Remarque. Dans cette dfinition, 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 =
An qui est ngligeable comme runion de ngligeables.
nN

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

1k<2n

2n [ 2kn , k+1
2n ]

(notez que les intervalles

sont ferms, au contraire de ceux de lexemple 1.7 page 11) est presque partout croissante et converge
presque partout vers la fonction f (x) = x. Pour le dmontrer, il suffit de travailler sur gn = fn X\Q ,
sachant que Q est ngligeable, et de reproduire, en ladaptant, le raisonnement de lexercice 1.3
page 26.
La proprit suivante est essentielle :
Thorme 1.4. Soit deux fonctions f, g M telles que f = g. Alors
p.p.

f d = gd


Dmonstration. Voir exercice 1.10 page 28.

Dfinition 1.11. Le thorme prcdent permet dtendre la dfinition de lintgrale dune fonction
mesurable de la manire
suivante
: si f est une fonction gale presque partout une fonction mesurable

g, alors on pose f d = gd.


Le thorme de convergence monotone 1.1 page 11 reste vrai avec des hypothses affaiblies presque
partout .
Thorme 1.5. (Convergence monotone presque partout) Soit (fn )nN M+ une suite croissante
p.p. de M+ et soit f = limfn . Alors f M+ et f d = lim fn d.
p.p.

Dmonstration. Voir exercice 1.17 page 30.

Remarque. Le rsultat prcdent 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. Lespace L1 .
Dfinition 1.12. On note L1R (X, T , ) ou simplement L1 lensemble des fonctions intgrables de X
dans R.
Proposition 1.4. (Proprits lmentaires de L1 )
(1) (L1 , +,
.) est un espace vectoriel sur R ;
(2) f 7 f d est une forme linaire sur L1 ;

1
(3) pour toutes fonctions f et g de
L
,
on
a
:
f

f
d

gd ;


1

(4) pour toute fonction f L : f d |f | d.
Dmonstration. Voir lexercice 1.11 page 28 et le cours de mesure.
Pierre Puiseux


2012

Chapitre 1. Rappels, les espaces L1 et L1

14
Proposition 1.5. Lapplication

N1 : L1 R+

f 7
|f | d
est une semi-norme (mais pas une norme) cest dire :
(1) homognit : R, f L1 , N1 (f ) = || N1 (f ) ;
(2) ingalit triangulaire : f, g L1 , N1 (f + g) N1 (f ) + N1 (g).


Dmonstration. Voir cours de mesure.


Remarque. On notera que f = 0L1 N1 (f ) = 0 et que la rciproque est fausse.
Le thorme de Lebesgue a t vu en cours de mesure :

Thorme 1.6. (Thorme de convergence domine, ou thorme de Lebesgue) Soit (fn )nN une suite
de M et f : X R telles que :
(1) fn f ;
p.p.

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


p.p.

1
1
Alors (fn )nN L , f L et lim |fn f | d = 0.
n

Dmonstration. Voir cours de mesure.


1.2.3. Lespace L1 .
Dfinition 1.13. La relation = est une relation dquivalence sur M et sur L1 .
p.p.

On appelle L1 lespace quotient : L1 = L1 /R.


Autrement dit, lespace L1 est lensemble des classes dquivalence de L1 pour la relation R.
Remarque. Un lment F de L1 est donc une partie de L1 , si f F alors F = {g L1 , f Rg}. Pour
f L1 , on notera parfois f sa classe dquivalence.
Proposition 1.6. Sur M, la relation = est compatible avec laddition, la multiplication, le produit
p.p.

par un scalaire et avec lordre partiel , cest dire : R, f, f M et g, g M, si f = f


p.p.

et g = g , alors :
p.p.

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

(2) (f g) = (f g )
p.p.

(3) f = f
p.p.

(4) f g f g
p.p.

p.p.

Dmonstration. En exercice, voir les exercices 1.12 page 28 et 1.14 page 29.
Universit de Pau

L3-Mathmatiquess


Intgration-2

1.2 Les espaces L1 et L1

15

Cette compatibilit (voir cours dalgbre) permet de dfinir laddition quotient, le produit quotient et
le produit par un scalaire quotient sur lensemble quotient L1 , ainsi que la relation dordre (partiel)
:

p.p.

Dfinition 1.14. (Oprations sur L1 ). Pour f et g dans L1 , et pour R, les lois de compositionquotient et relation dordre-quotient sont :
{
}
(1) laddition : f g := u + v, u f , v g = f + g ;
{
}
(2) la multiplication : f g = uv, u f , v g = f g ;
{
}
(3) le produit par un scalaire : f = u, u f = f ;
(4) la relation dordre f g si et seulement si f g , si et seulement si (u, v) f g, u v.
p.p.

p.p.

p.p.

On dfinit
galement
les quantits suivantes :
(5) lintgrale
: f d = f d ;
(6) la norme : f 1 = N1 (f ) ;
Remarque. Dans toute la suite, on identifie systmatiquement un lment f L1 avec sa classe
dquivalence f L1 et par abus de langage, on parlera de la fonction f L1 . Laddition et la
multiplication des classes dquivalence de L1 seront notes de manire usuelle + et (ou . ou encore
rien) plutt que et . De mme pour le produit par un scalaire not . (ou rien).
Thorme 1.7. Lespace (L1 , , ) est un espace vectoriel sur R et lapplication .1 est une norme
sur L1 .
Dmonstration. L1 est un espace vectoriel est dmontr lexercice 1.12 page 28. Pour montrer
que .1est une norme il suffit de montrer que F 1 = 0 F = 0L1 . Soit f est un reprsentant de
F alors |f | d = 0 donc f = 0 , donc f 0L1 puis F = 0L1 .

p.p.

( )
Dfinition 1.15. Soit fn nN une suite de L1 on dit que fn converge presque partout (ponctuellement)
vers f dans L1 , et on note fn f si et seulement si fn f .
p.p.

p.p.

Proposition 1.7. fn f dans L1 si et seulement si un u pour toute suite (un )nN constitue de
p.p.

p.p.

reprsentants de fn et pour tout reprsentant u f .




Dmonstration.

Si toute suite (un )nN constitue de reprsentants de fn converge presque partout vers nimporte
quel reprsentant u de f , alors la suite fn f donc fn f .
p.p.

p.p.

Rciproquement, supposons que fn f . Choisissons pour tout n N, un reprsantant un fn


p.p.

ainsi quun reprsentant u f .


Il existe un ngligeable A tel que fn X\A f X\A ;
il existe un ngligeable B tel que uX\B = f X\B ;
pour tout n N, il existe
An tel que un X\An = fn X\An .
)
( un ngligeable

An , ngligeable, on a donc un X\C = fn X\C f X\C =


En prenant C = AB
nN

uX\C , ce qui prouve le rsultat.


Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

16

( )
Remarque. Pour dmontrer la convergence ponctuelle presque partout dune suite fn nN vers f , la
dernire proposition nous autorise choisir nimporte quel reprsentant des classes fn et f .
1.3. Diffrents modes de convergence dans L1
( )
Dfinition 1.16. (Diffrents modes de convergence) Soit fn nN une suite de L1 et f L1 .
(1) Convergence (ponctuelle ou simple) presque partout : fn f si fn f ;
p.p.

p.p.

(2) on dit que lim fn = f en mesure si > 0, lim [ ({x X, |fn (x) f (x)| > })] = 0 ;
n

(3) on dit que lim fn = f en norme (ou dans L1 ) si lim fn f 1 = 0.


n

Remarque. Sans hypothse supplmentaire, il ny a pas dquivalence ni dimplication entre les divers modes de convergence. Voir les exercices 1.15 page 30 et 2.17 page 61.
On peut dmontrer les rsultats suivants :
Thorme 1.8. Si la suite (fn )nN converge en mesure vers f , alors il existe une sous-suite (fnk )kN
qui converge p.p. vers f .
Si (fn )nN converge p.p. vers f et si la mesure est finie, alors (fn )nN converge en mesure vers f .


Dmonstration. Voir [Genet] p.223.


1.4. Rappels de quelques rsultats indispensables

1.4.1. Mesures produit. Les intgrales multiples peuvent tre calcules grce aux thorme de
Tonelli-Fubini. Le premier traite seulement des fonctions mesurables, sans se proccuper de leur intgrabilit, le second traite des fonctions intgrables. Dans les deux cas, pour pouvoir les appliquer, il est
essentiel de vrifier la mesurabilit (intgrabilit) de la fonction f (x, y) sur lespace mesur produit.
Thorme 1.9. (Tonnelli, fonctions mesurables) Soient (X, U, ) et (Y, V, ) deux espaces mesurs finisa. On note (Z, W, ) = (X Y, U V, ) lespace produit. Soit f : (x, y) Z 7 f (x, y)
R, une fonction mesurable sur (Z, W, ) valeurs dans R. Alors
(1) lapplication

: x 7

f (x, y) dy
Y

est dfinie p.p. sur X valeurs dans R et est mesurable sur (X, U, ).
(2) lapplication

: y 7

f (x, y) dx
X

est dfinie p.p. sur Y valeurs dans R et est mesurable sur (Y, V, ).

De plus on a Z f d = X d = Y d. En dautres termes :


)

(
f (x, y) d =
f (x, y) dx dy
Z
Y
X
)
(
=
f (x, y) dy dx
X

Un espace mesure
(X,
(
( T ,)) )est -fini sil existe un recouvrement dnombrable de X par des parties de mesure finie.
Cest le cas de Rd , B Rd , .

Universit de Pau

L3-Mathmatiquess

Intgration-2

1.4 Rappels de quelques rsultats indispensables

17

Thorme 1.10. (Fubini, fonctions intgrables) Soient (X, U, ) et (Y, V, ) deux espaces mesurs finisa. On note (Z, W, ) = (X Y, U V, ) lespace produit. Soit f : (x, y) Z 7 f (x, y)
R, une fonction de L1R (Z, W, ). Alors
(1) lapplication

: x 7

f (x, y) dy
Y

est dfinie p.p. sur X et L1R (X, U, ).


(2) lapplication

: y 7
f (x, y) dx
X

est dfinie p.p. sur Y et L1R (Y, V, ).

De plus on a Z f d = X d = Y d. En dautres termes :


)

(
f (x, y) d =
f (x, y) dx dy
Y
X
Z
)
(
f (x, y) dy dx
=
X

Un espace mesure
(X,
(
( T ,)) )est -fini sil existe un recouvrement dnombrable de X par des parties de mesure finie.
Cest le cas de Rd , B Rd , .

Dmonstration. Voir cours de mesure.


Un produit tensoriel sur le produit cartsien de deux espaces est simple calculer :

Thorme 1.11. sous les hypothses du thorme prcdent, si f (x, y) = g (x) h (y) avec g
L1R (X, U, ) et h L1R (Y, V, ) alors

f d =
gd hd
XY

Dmonstration. Voir cours de mesure.


Exemple. f (x, y) = x3 y 2
(1) Pour D = ]0, 1[2 , calculons

x3 y 2 dxdy
D
)
1 ( 1
3 2
=
x y dy dx
0
0
( 1
) ( 1
)
3
2
=
x dx
y dy

I =

1
1 1
=
=
4 3
12
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

18

(2) Lorsque le domaine est un triangle D = {(x, y) R2 , 0 < x < 1, 0 < y < x}, les chose se compliquent un peu, D nest pas un produit cartsien.
)

1 ( x
3 2
3 2
x y dy dx
I =
x y dxdy =
0
D
0
1 [ 3 ]x

1 1 6
1
3 y
=
x
dx =
x dx =
3 0
3 0
21
0
Remarque. Attention, il faut bien vrifier la sommabilit de f .
2
y
Exemple 1.11. f (x, y) = (xx2 +y
2 )2 sur [0, 1] on trouve
(
)

f (x, y) dx dy =
2

[0,1]

]1
x
2
dy
x + y2 0
[0,1]

1
dy
=
2
[0,1] 1 + y

=
4

[0,1]

tandis que

)
f (x, y) dy dx =

[0,1]

[0,1]

ce rsultat
contredire le thorme de Fubini. Il nen est rien, cest simplement lhypothse
( semble
2)
1
f L [0, 1] qui nest pas satisfaite.
1.4.2. Changement de variable. Utile pour calculer effectivement des intgrales simples ou multiples.
Thorme 1.12. (Changement de variable y = (x) dans Rn ) Soient D et deux ouverts de Rn et
un C 1 diffomorphisme de D sur . Alors, pour toute fonction f : D R, intgrable sur D,
on a

( (
(
)
) )
f (x) dx =
f 1 (y) det J 1 (y) d (y)
D

(
o J (1 ) (y) =

(1 )

xj

(D)

dsigne la matrice jacobienne de 1 en y.

(y)
1in,1jn

On peut crire ce thorme sous la forme suivante :


Thorme 1.13. (Changement de variable x = (y) dans Rn ) Soient D et deux ouverts de Rn et
un C 1 diffomorphisme de sur D. Alors, pour toute fonction f : D R, intgrable sur D,
on a

f (x) dx =
(f ) (y) |det (J () (y))| dy
(
o J () (y) =

1 (D)

i
xj

)
(y)

dsigne la matrice jacobienne de en y.


1in,1jn

Exemple. Calculons lintgrale I =


f (x, y) =

1
1+x2 +y 2

Universit de Pau

f (x, y) dxdy pour D =


D

{
}
2
(x, y) R , x2 + y 2 < R et

laide du changement de variables polaire (x, y) = (r, t) = (r cos t, r sin t)


L3-Mathmatiquess

Intgration-2

1.4 Rappels de quelques rsultats indispensables

19

= 1 (D) = ]0, R[ ]0,


(2[
)
cos t r sin t

La jacobienne : (r, t) =
et son dterminant : |det ( (r, t))| = r
sin t r cos t
La formule de changement de variables :

2 R
r
f (x, y) dxdy =
f (r cos t, r sin t) .r.drdt =
drdt
2
D

0
0 1+r
( R
) ( 2 )
(
)
r
2
=
dr
dt
=
2
ln
1
+
R
2
0 1+r
0
1.4.3. Echange limite et intgrale. 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 vrifiant : pour tout y Y , la fonction f (, y) : x X 7
f (x, y) R est dans L1 (X) et on pose

(y) =
f (x, y) dx
X

Thorme 1.14. (Continuit sous le signe ) Lapplication est continue en y0 si il existe un voisinage
V0 de y0 tel que :
(1) f (, y) est domine 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 ;


Dmonstration. Voir le cours de mesure.

Thorme 1.15. (Drivation sous le signe ) Lapplication est drivable en y0 et

(y0 ) =
f (x, y0 ) dx
X y
si il existe un voisinage V0 de y0 tel que :
(1) f
(, y) est domine sur V0 (p.p. en x X) par G L1 (X) ;
y
(2) f (x, ) est continuement drivable sur V0 (p.p. en x X) ;

Dmonstration. Voir le cours de mesure.


Exemple 1.12.

X = [0, 1], la suite fn = n]0, 1 ] converge presque partout vers f = 0, mais la convergence nest
n

pas domine. Il ny a pas convergence en norme L1 puisque fn 01 = 1


X = R+ , la suite fn (x) = ex [n,+[ converge presque partout
vers x 7 ex , la convergence

est domine par g (x) = ex qui est une fonction de L1 (X) car X gd = 1.
Remarque. On retiendra que les hypothses sont dans les deux cas : x X, y V0
p.p.

(1) Domination de f (, y) ou f
(, y)
y
(2) continuit ou drivabilit... de f (x, )
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

20

Exemple 1.13. Transforme de Fourier dune fonction L1 (R) :

(y) =
(x) eixy dx
R

est dfinie pour tout y R car f (x, y) = (x) eixy est mesurable et |f (x, y)| | (x)|
(1) Continuit en y0 R : soit V0 = R
(a) pour tout y V0 , f (, y) est domine (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 transforme de Fourier dune fonction L1 (R) est continue.
(2) Drivabilit en y0 R : soit V0 = R


f

f
ixy
(a) pour y V0 , la drive partielle est y (x, y) = ix (x) e
donc y (x, y) est domine
par |x (x)|. Si on impose x 7 x (x) dtre dans L1 (R) alors la premire hypothse du
thorme de drivation est assure.
(b) f (x, ) est C 1 (V0 ) p.p. en x R
Donc si x 7 x (x) est dans L1 (R), alors est drivable en tout point y R et (y) =

\
ix (x) eixy dx = ix
(x) (y)
R
1.4.4. Mesures rgulires.
Thorme 1.16. Soit une mesure sur B (R) finie sur les compacts (cest dire : pour tout compact
K de R, (K) < ). Alors pour tout A B (R) et pour tout > 0, il existe un ouvert O 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}.


Dmonstration. Cf cours de mesure.

On dduit de ce thorme la proprit suivante, utilise dans la premire partie de la dmonstration 1.19
page 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 prs, en norme L1 . Autrement
dit vrifie A 1 <
Dmonstration. Soient donc > 0 et A B (R) de mesure finie et f = A . Par le thorme sur
les mesures rgulires ( 1.16), on peut trouver un ouvert O et un ferm F tels que F A O et
(O \ F ) 2 .
On commence par remplacer F par un compact K vrifiant
la mme proprit que F . Le mesurable
Fn . La suite (Fn )nN est croissante, donc
Fn = F [n, n] est compact (ferm born) et F =
nN

(Fn ) (F ) (A) < donc (F \ Fn ) = (F ) (Fn ) 0 quand n +. Il existe


donc n0 N tel que (F \ Fn0 ) < 2 . Posons K = Fn0 , cest un compact qui vrifie K A O
et (O \ K) < .
On construit maintenant la fonction :
: R [0, 1]
(1.4.1)
Universit de Pau

x 7 (x) =

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

L3-Mathmatiquess

Intgration-2

1.5 Thormes dans L1

21

qui est dfinie sur R car le dnominateur ne sannule pas puisque les deux ferms R \ O et K sont
disjoints1. Elle est valeur dans [0, 1] et continue car x 7 d (x, E) est continue pour tout E
B (R). Donc CL1 car elle est borne. De plus R est partitionn en R = (R \ O)(O \ K)K
avec f = 0 sur (R \ O) K et |f | 1 sur O \ K. On a donc

f 1 =
|f | d
R

=
|f | d
O\K

2 (O \ K)
<


1.5. Thormes dans L1


Le thorme de convergence domine, version L1 , est une extension du thorme de Lebesgue 1.6
page 14. Il scrit :
( )
Thorme 1.17. (Thorme de convergence domine version L1 ) Soit fn nN une suite de L1 et
f : X R telles que :
(1) fn f ;
p.p.

(2) il existe g L1 qui domine fn cest dire telle que n N, fn g.
p.p.

Alors f L et lim fn = f dans L (donc en norme).


1

Dmonstration. Les fonctions fn et g vrifient les hypothses du thorme de Lebesgue 1.6 page 14 :
(fn )nN L1 M ;
fn f ;
p.p.

g L1 et pour n N, |fn | g.
p.p.

On en dduit que f L1 donc f L1 , et que lim


n


lim fn f 1 = 0 cest dire lim fn = f .
n

|fn f | d = 0 donc lim



fn f d =

Le thorme suivant est fondamental, il indique que dans L1 , toute suite de Cauchy converge.
Thorme 1.18. (L1 , .1 ) est un espace de Banach.
1

On note d (x, B) = inf |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


yB

existe (xn )nN R \ O et (xn )nN K qui convergent vers x. Comme R \ O et K sont ferms, x (R \ O) K ce
qui est impossible puisque ces deux ferms sont disjoints.

Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

22

Dmonstration. Pour montrer que L1 est complet pour la norme .1 , il suffit de montrer que toute

srie normalement convergente est convergente2. Soit donc nN f n une srie NCV dans L1 , cest
dire telle que n N, f n L1 et

fn < +
(1.5.1)
1
nN

Nous allons utiliser successivement le thorme de Beppo-Lvi, la compltude de R, puis le thorme


de convergence domine.

(1) On dfinit la fonction G sur X par G (x) =


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

dans L1 : pour n N, on pose Gn =


|fn | L1 M+ . Cest une suite positive, croissante
0kn

(partout) et qui converge ponctuellement (partout) vers G. Le thorme Beppo-Lvi 1.5 page 13
permet alors de conclure que :
+
G
est dans M ;

fn 1 qui est fini par hypothse.


Gd = lim Gn d =
n

nN

donc G L1 , donc G L1 .

|fn (x)| = lim Gn (x) =


(2) On se ramne la compltude de R : pour tout x X, la srie numrique
n

nN

G (x) converge dans R (srie numrique termes positifs) et comme G L on a G (x) < +
sauf sur un
ngligeable A (voir exercice 1.1 page 25). Donc pour tout x X \ A, fix, la srie
fn (x) est absolument convergente dans R qui est complet. Elle est donc convernumrique
nN

gente. Soit Fn (x) =


fk (x) sa somme partielle et F (x) = lim Fn (x) =
fn (x) < +
1

0kn

sa somme.

(3) Montrons que la srie


fn est convergente vers F dans L1 :
nN
( )
Fn nN L1 comme somme de fonctions de L1 ;
Fn F ;
p.p.

pour tout n N on a Fn F .

nN

p.p.

En utilisant le thorme de convergence domine 1.17 page prcdente on en dduit que f L1


et lim sn = f dans L1 .
n


Corollaire 1.1. (Sries normalement convergentes dans L1 .) Dans L1 toute srie normalement
convergente est
(1) convergente en norme .1 ;
(2) convergente presque partout.
Cest exactement ce qui a t dmontr au thorme 1.18 page prcdente
Le thorme suivant est un thorme de densit, qui prcise que toute fonction de L1 peut tre approche daussi prs que lon veut (au sens L1 ) par une fonction continue support compact. Autrement
dit, toute fonction -intgrable de R dans R est la limite dans L1 , dune suite de fonctions continues
support compact.
2

Soit (E, .) un espace vectoriel norm. Une suite (xn )nN E converge vers x E si et seulement si
limn+ xn x = 0

Universit de Pau

L3-Mathmatiquess

Intgration-2

1.5 Thormes dans L1

23

Thorme 1.19. Lensemble Cc0 (R, R) des (classes de) fonctions continues support compact de R
dans R est dense dans lensemble L1R (R, B (R) , ), cest dire :
f L1 , > 0, Cc0 : f 1
Remarque. En ralit, on considre non pas Cc0 mais lespace Cec0 des classes (pour la relation = ) de
p.p.

fonctions mesurables, qui admettent un reprsentant continu support compact.


Dmonstration. Tout dabord il faut montrer que Cc0 L1 : si Cc0 alors elle est nulle en dehors
dun intervalle [a, b], mesurable et borne car continue. Donc

|| d =
|| d (b a) sup || <
R

[a,b]

ce qui montre que L1 .


On se donne maintenant > 0 et on raisonne en plusieurs tapes :
on montre que toute fonction caractristique A L1 , peut tre approche prs par une fonction
Cc0 ;
on montre que toute fonction tage f E + L1 peut tre approche prs par une fonction
Cc0 ;
on montre que toute fonction mesurable f M+ L1 peut tre approche prs par une fonction
Cc0 ;
on montre que toute fonction intgrable f L1 peut tre approche prs par une fonction
Cc0 .
(1) Si f = A , avec A B (R) et (A) < +, alors il existe une fonction Cc0 qui approche f
prs, cest dire vrifiant f
1 < . Voir 1.8 page 20.
+
1
(2) Si f E L , alors soit f =
k Ak la dcomposition canonique de f , o 0 0 < 1 <
0kp

< p , et (Ak )0kp B (R) forme une partition de R. Comme f L1 on a ncessairement

0 = 0, les Ak sont de mesure finie sauf A0 , et f =


k Ak . Daprs ce qui prcde, il
1kp

existe des fonctions k , 1 k p de Cc0 telles que k Ak 1 <

=
k k on obtient f 1 < .

donc en posant

1kp

1kp

(3) Si f M+ L1 , on sait que f est limite ponctuelle p.p. dune suite croissante de fonctions
tages positives (fn )nN . Par le thorme de convergence domine, puisque (fn )nN est domine
p.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 2 et daprs ce qui prcde, fn0 peut tre
approch 2 par 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
approches 2 prs par des fonctions + , Cc0 et en posant = + , on a f 1 =
(f + + ) (f )1 f + + 1 + f 1 do le rsultat.

Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

24

Thorme 1.20. (Riemann-Lebesgue dans [a, b]) Pour toute fonction f L1 ([a, b]) on a

f (t) eitx dt 0
|x|

[a,b]

en particulier

f (t) cos (tx) dt 0


|x|

[a,b]

et

f (t) sin (tx) dt 0


|x|

[a,b]

Dmonstration. Par densit de lensemble des fonctions en escalier Esc ([a, b]) dans (C 0 ([a, b]) , . )(voir
exercice 1.19 page 31), puis densit de C 0 ([a, b]) dans (L1 , .1 ) : soit > 0

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


ci ]ai1 ,ai [ avec a0 < a1 < < an donc



[a,b]

1kn



f (t) e dt
itx





itx
|ci |
e dt
[ai1 ,ai ]
1in
(
)

|ci |
|x|
1in

qui tend vers 0 quand |x| .


(2) Si f C 0 ([a, b]) il existe une fonction , en escalier sur [a, b], telle que f



itx
peut trouver A tel que pour |x| > A, [a,b] (t) e dt < 2 . Alors







itx
itx
itx

f (t) e dt =
(f ) (t) e dt +
(t) e dt

[a,b]
[a,b]
[a,b]







itx
itx



(f ) (t) e dt +
(t) e dt
[a,b]
[a,b]




itx
(b a) f +
(t) e dt

2(ba)

et on

[a,b]

2 2
do le rsultat pour les fonctions de C 0 ([a, b]).
(3) Si f L1 ([a, b]) il existe C 0 ([a, b]) telle que f 1 < 2 et daprs le point prcdent, il


existe A > 0 tel que pour tout |x| > A, [a,b] (t) eitx dt < 2







itx
itx
itx


(f ) (t) e dt +
(t) e dt
f (t) e dt =

[a,b]
[a,b]
[a,b]



(t) eitx dt

|f | (t) dt +
[a,b]




itx
(t) e dt
f 1 +
[a,b]

+
2 2
Universit de Pau

L3-Mathmatiquess

Intgration-2

1.5 Exercices du chapitre 1

25

do le rsultat.

Exercices du chapitre 1
Gnralits et rappels.
Exercice 1.1. Soit f M+ . Montrer que si
par labsurde.

f d < + alors f < + p.p.. On pourra raisonner

Correction
Soit A = f 1 ({+}). Alors
x A, n N, f (x) > n donc f f A > nA et en intgrant

cette relation : on obtient f d f A d > n (A). On fait tendre n vers +, et si (A) > 0,
on obtient une contradiction.
Exercice 1.2. Autour de lingalit de Markov. Soit (X, T , ) un espace mesur. On rappelle le rsultat suivant, vu au semestre 1 :
)
(

An = lim (An ).
si (An )nN T est une suite croissante de mesurables alors
n
nN
(
)

Bn = lim (Bn ).
si (Bn )nN T est une suite dcroissante de mesurables alors
n

nN

Soit f L1 (X, T , ) une fonction valeurs dans R, et f un reprsentant de f .


(1) Dmontrer lingalit de Markov : pour tout t > 0,
1
f 1
t
{
}
(2) On suppose que f 1 = 0. Pour n N on pose An = |f | > n1 et A = {|f | > 0}.
(a) tablir que An est ngligeable.

An = {|f | > 0}.


(b) Montrer que (An )nN est une suite croissante (pour linclusion) et que
({|f | > t}) <

(1.5.2)

nN

(c) En dduire que ({|f | > 0}) = 0, puis que f = 0 p.p..


(d) tendre le rsultat f .
(3) Montrer que |f | < p.p. On pourra considrer Bn = {|f | n}, lintersection des Bn et utiliser
lingalit de Markov (1.5.2). tendre le rsultat f .
Correction
(1) {|f | t} = |f |1 ([t, +[) est mesurable et t > 0, on peut crire

|f | d
f d
td = t ({|f | > t})
{|f |>t}

{|f |>t}

do le rsultat.
(2)
(a) Daprs Markov, (An ) n f 1 = 0.

1
(b) Si x An alors |f (x)| > n1 > n+1
An alors il
donc x An+1 don An An+1 . Si x
nN

existe p N tel que x Ap donc |f (x)| > p1 > 0 donc x {|f | > 0} et rciproquement
si x {|f | > 0} alors |f (x)| > 0 donc il existe p N tel que |f (x)| > p1 donc x Ap

An .
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

26

(c) ({|f | > 0}) = lim (An ) = lim 0 = 0. Ce qui est la dfinition mme de f = 0 p.p..
n
(d) On peut appliquer le rsultat nimporte quel reprsentant u
de f , on obtient u = 0 p.p..
(3) Bn = {|f | > n} est une suite dcroissante de mesurables et B =
Bn = {|f | = }. LingalinN

f 1 et en faisant tendre n vers , on obtient ({|f | = }) 0.


k
Exercice 1.3. Soit X = [0, 1[ et la suite de fonctions dfinies sur X par fn =

2n [ 2kn , k+1
2n [
0k<2n
t de Markov scrit (Bn ) <

(1)
(2)
(3)
(4)
(5)

1
n

+
Etablir que
fn E et que fn est donne sous sa forme canonique ;
calculer X fn d ;
montrer que (fn )nN est une suite croissante ;
calculer la limite simple de (fn )nN ;
en dduire la valeur de X xd.

Correction
(1) Pour n N, fn est mesurable car constante par intervalles, et ne prend que 2n valeurs, toutes
: ak = 2kn , 0 k < 2n donc fn E + est tage et positive. Les intervalles An,k =
[positives
[
k k+1
,
, 0 k < n sont des borliens et constituent une partition de X, et les coefficients sont
2n 2n
ordonns a0 < a1 < < an , la fonction fn est donc donne sous fome canonique.
(2)

k ([ k k + 1 [)
fn d =

, n
n
n
2
2
2
X
n
0k<2

k 1
2n 2n
0k<2n
1
= 2n
k
2 0k<2n
=

1 1 n n
2 (2 1)
22n
(2
)
1
1
=
1 n
2
2
=

(3) Soit n N et x X. Alors il existe k, 0 k < 2n tel que x An,k et fn (x) = 2kn . 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+1
> fn (x).
2n+1
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 <
1
+ fn (x) do on dduit que
2n
1
< fn (x) x
2n
en faisant tendre n vers linfini, on obtient lim fn (x) = x, cest dire lim fn = IX la fonction
n
n
identit sur X.

(5) On a donc par le thorme de convergence monotone : X xd = lim X fn d = 12 .


x

Exercice 1.4.
Universit de Pau

L3-Mathmatiquess

Intgration-2

1.5 Exercices du chapitre 1

27

(1) tablir quil existe une suite croissante de fonctions tages qui converge vers la fonction cos,
dfinie sur R.
(2) Construction dune telle suite :
(a) Construire une suite (gn )nN croissante qui converge vers cos sur [, 0] ;
(b) construire une suite (hn )nN croissante qui converge vers cos sur [0, ] ;
(c) construire une suite (fn )nN croissante qui converge vers TODO
Correction

A corriger

(1) La fonction f (x) = 1 + sin x est dans M+ car elle est continue. On applique alors le thorme : il
existe une suite (fn )nN E + qui converge en croissant vers f . En posant gn = fn 1, on obtient
une suite (gn )nN croissante de fonctions tages qui converge vers la fonction sin.
(2) On construit une suite croissante (gn )nN sur I = [0, [ qui converge vers sin+ . puis pour x R,
on sait quil 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
, 0 k 2n et
2n
In,k = [ank , an,k+1 [ de sorte que les In,k , 0 k < 2n forment une partition de I.
n
fn = 2k=0 sin (ank ) In,k et voila... Reste montrer que fn est une suite croissante, ce qui provient
de linclusion des segments In+1,2k dans In,k .
Exercice 1.5. On considre un espace mesur (X, T , ) o est une mesure finie. Trouver une fonction 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, lespace mesur est X = [0, 1] muni de la tribu des borliens sur
[0, 1] et de la mesure de Lebesgue.
(1) Trouver deux fonctions f L1 et g L1 et f g
/ L1 .
(2) Soit 0 la mesure de Dirac en 0. Soit f M+ . Calculer f d0
Correction
(1) f (x) = g (x) = 1x

(2) = 0 et f = f {0} donc f d = {0} f d = ({0}) f (0) = f (0)


p.p.

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 E

f d = 0, cest dire :






> 0, > 0, E T , | (E)| < f d <
E

On pourra utiliser la suite de fonction n N, fn (x) = max (n, f (x)) et un thorme de convergence
monotone.
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

28
Correction

La suite (fn )nN est monotone et vrifie (fn )nN L1 . Donc elle converge dans L1 vers f : x 7
f (x) = lim fn (x) R. Donc pour tout E T , la suite fn E converge dans L1 vers f E . On a
n



f d
|f fn | d +
|fn | d


E
E
E

|f fn | d + n (E)
E

alors E f d <
Pour > 0 il existe n0 tel que n > n0 E |f fn | d < 2 et si (E) < := 2n

+ 2 =
2
Presque partout.
Exercice 1.9. X = [0, 1], Montrer que la suite de fonctions fn =

1k<2n

2n [ 2kn , k+1
2n ]

converge presque

partout vers la fonction f (x) = x.


Correction
{
}
Lensemble A = 2kn , n N, 0 k < 2n Q est -ngligeable, et = fn gn o gn =
p.p.

1k<2n

,
2n [ 2kn , k+1
2n [

qui a t tudie lexercice 1.3 page 26, converge simplement vers lidentit.
Exercice 1.10. Soit deux fonctions f, g M telles que f =p.p. g. Montrer que

f d = gd
Correction
on pose h = f g qui est nulle sur X \A tel que (A) = 0. On a donc
0 + 0.

hd =

hd+
X\A

hd =

Lespace L1 .
Exercice 1.11. tablir que L1 est un espace vectoriel.
Correction
Soient (f, g) L1 et R.

1
(1) f M et |f
|
d
=
||

|f | d < + doncf L .
(2) f + g M et |f + g| d (|f | + |g|) d = |f | d + |g| d < + donc f + g L1 .
Lespace L1 .
1
Exercice
1.12. Soient
{
} f et g dans L . On rappelle que laddition de f et g est dfinie par f g :=
u + v, u f , v g .

(1) Montrer que f g = f + g, en dduire que est une loi de composition interne dans L1 .
(2) Existe-t-il un lment neutre pour ?
(3) En dduire que L1 est un espace vectoriel.
Correction
(1) Par double inclusion :
Universit de Pau

L3-Mathmatiquess

Intgration-2

1.5 Exercices du chapitre 1

29

(a) soit u f + g alors il existe un ngligeable A tel que


( u = f + g sur
) X \ A donc( uX\A =
)
(f + g) X\A et on peut crire u = uA +uX\A = uA + f X\A +gX\A avec uA + f X\A
f et gX\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 ngligeables tels que w = f sur X \ A et v = g sur X \ B. Alors A B est
ngligeable et
w.X\AB = w.X\A .X\B
= u.X\AB + v.X\AB
= f.X\AB + g.X\AB
ce qui montre que w f + g.
(2) OL1 = {f L1 , f = 0 p.p.} est lment 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 dune suite croissante de
(fn )nN E + . Montrer que fn converge vers f en norme dans L1 .
Correction
Appliquer le thorme de convergence monotone.
Exercice 1.14. Soient f et g deux lments de L1 . On dfinit sur L1 la relation f 4 g si et seulement
si 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 dordre sur L1 .
Correction
Dans cet exercice, on note A = X \ A le complmentaire de A dans X.
(1) Il est clair que si (u, v) f g, u p.p. v alors f 4 g. Rciproquement si f 4 g, notons f et g les
fonctions de f et g vrifiant f p.p. g. Il existe donc un ngligeable N X tel que f N gN .
Soient u f et v g, il existe deux ngligeables U X et V X tels que uU = f U et
vV = gV . Lensemble A = U V N est ngligeable et vrifie : uA = f A gA = vA
donc u p.p. v.
(2) 4 est rflexive : f 4 f car f p.p. f ;
(3) 4 est anti-symtrique : 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 caractristiques : il existe
A, B, C et C , quatre ngligeables, tels que
(a) uA = u A
(b) vB = v B
(c) uC vC
(d) v C u C
Donc en posant D = A B C C ngligeable, a. et c. impliquent uD vD et b. et d.
impliquent vD uD . Donc uD = vD donc u =p.p. v.
(4) 4 est transitive : si f 4 g et g 4 h alors par dfinition il existe u, v f g et v1 , w g h
tels que u v p.p. et v1 w p.p. donc il existe 3 ngligeables A, B et C tels que uA vA ,
v B wB et vC = v C , donc u (A B C ) v (A B C ) cest dire, en posant D =
A B C, ngligeable : uD vD . De mme vD = v D et v D wD . On en dduit donc
uD vD = v1 D wD ce qui montre que u w sur X \ D donc u = f 4 g = w.
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

30

(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 existe
des ngligeables A, B et C tels que u0 A v0 A et u0 B = uB et v0 C = vC . Donc pour
D = A B C on a uD = u0 D v0 D = vD , donc u p.p. v.
Thormes importants.
Exercice 1.15. Diffrents modes de convergence.
(1) Montrer que la convergence presque partout nentrane pas la convergence L1 en considrant fn =
n]0, 1 ]
n

(2) Montrer que la convergence en norme L1 nentrane pas la convergence presque partout en considrant la suite (dite bosse glissante ) : pour p N fix, on pose l (p) = p(p1)
, et on dfinit les p
2
fonctions fn pour n allant de n = l (p)+1 jusqu n = l (p)+p = l (p + 1), par fl(p)+k = ] k1 , k ] ,
p

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

(1) fn 0 quand n + mais fn 01 = 1 0 quand n +.


(2) n tant donn, il existe un seul dentier pn tel que lintervalle ]l (pn ) + 1, l (pn ) + pn ] contient n.
Lorsque n , on a aussi pn . On calcule fn 1 = p1n 0 quand n +. Donc fn
converge vers 0 dans L1 . Mais fn ne converge pas p.p. vers 0 car pour tout ngligeable A, pour
tout x X \ A, pour tout N N il existe n N tel que fn (x) = 1 donc fn (x) 0 donc
fn 0 p.p..
Exercice 1.16. tudiez la convergence de la suite fn : x R+ 7 fn (x) = ex [n,+[ :
(1) presque partout
(2) en norme L1
(3) en mesure
Correction

http://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.
1
(2) |fn (x)| ({
ex R+ L1 donc
})cv dans L
x
(3) > 0, e [n,+[ > 0 car lim ex = 0 donc ex < si x assez grand.
x

Exercice 1.17. Extension p.p. du thorme de convergence monotone 1.1 page 11.
Soit (fn )nN une suite de fonctions de M+ , croissante-p.p.
(1) Justifier que f = lim fn existe.
p.p. n+
(2) Montrer que f d = limn fn d.
Correction

(
)
(1) La suite (fn ) est croissante p.p. cest dire quil existe un mesurable A T tel que gn = fn X\A nN
est une suite croissante. Pour x X, la suite gn (x) est une suite relle croissante (ou stationnaire gale 0). Donc si elle est borne, elle converge vers un rel g (x), sinon, elle tend vers
g (x) = +. Toute fonction f = g est donc la limite p.p. de fn .
p.p.

Universit de Pau

L3-Mathmatiquess

Intgration-2

1.5 Exercices du chapitre 1

31

+
(2) On
peut appliquer
(gn )nN le thorme de convergence monotone et on en dduit : g M et
gd = limn gn d = limn fn d.

Exercice 1.18. Extension du thorme de Beppo-Lvi 1.5 page 13. Soit (fn )nN L1 et f : X R
vrifiant :
fn f p.p. pour n
la suite fn est monotone croissante cest dire fn+1 fn p.p., pour tout n N
(1) Construire une suite (gn )nN 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 fn d R (Appliquer le thorme de convergence monotone
la suite (gn g0 )nN )
(3) On suppose que f L1 , montrer que fn f dans L1 , lorsque n .
Correction
(1) Pour n N, on choisit un reprsentant de fn , not fn , et un reprsentant de f , not f . Alors
il existe un ngligeable A tel que fn+1 fn sur X \ A et il existe un ngligeable A tel que
limn fn (x) = f (x) , x X \ A . Lensemble B = A A est un ngligeable, et en posant
gn = fn X\B , la suite (gn )nN converge ponctuellement vers la fonction g = f X\B . De plus
g M comme limite ponctuelle de fonctions mesurables et enfin on a gn L1 car fn L1 .
(2) Afin dviter les problmes comme , dfinissons
Bn = gn1 (+). Cest un ngligeable

(pourquoi ? cf exo 1.1 page 25), ainsi que B = nN Bn . Dans la construction prcdente, on
remplace gn par fn X\(AB) de sorte que gn ne prend jamais la valeur +. La fonction hn = gn
g0 est alors bien dfinie sur X et (hn )nN est une suite croissante de fonctions de M+ qui converge
+
ponctuellement
vers

h = gg0 . Le
thorme
de convergence
monotone nous
dit qualors h M
et hd = limn hn d. Donc f d = gd = limn gn d = limn fn d (car f et g sont
gales p.p., ainsi que fn et gn . La fonction f est donc intgrable si et seulement si lim
n fn d R.
1
Mais f intgrable si et seulement si |f | est intgrable. donc f L lim fn d R
n
(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 gn d
et lorsque n , on obtient f fn 1 0 ce qui dmontre le rsultat.
Exercice 1.19. Soit I = [a, b] un intervalle de R. Montrer que lensemble des fonctions en escalier
Esc (I) est dense dans lensemble des fonctions continues (C 0 (I) , . ).
Correction
Soient f C 0 (I) et > 0. Comme [a, b] est compact, f est uniformment continue sur I donc il existe
> 0 tel que |x y| < |f (x) f (y)| < . Choisissons une subdivision a = a0 < a1 < <
Pierre Puiseux

2012

Chapitre 1. Rappels, les espaces L1 et L1

32

an = b de pas sup {ai ai1 , 1 i n} < et dfinissons la fonction en escalier (a) = f (a) et
(x) = f (ai ) si ai1 < x ai , pour 1 i n. On a f < .
Exercice 1.20. Transforme de Fourier. Dans cet exercice, on prend (X, T , ) = (R, B (R) , ).

Soit f L1 . La transforme de Fourier de f est dfinie pour tout t R par f (t) = f (x) eitx dx
o R .
(1) Montrer que f est dfinie, borne,
(2) Montrer que f est continue sur R. Pour cela, montrer que si (tn ) est une suite relle qui converge
vers t R, alors f (tn ) f (t), en appliquant le thorme de convergence domine la suite
gn (x) = f (x) eitn x .
(
( ) )
(3) Gnraliser (X, T , ) = Rd , B Rd , .


(1) pour tout t R , x 7 f (x) eitx est mesurable et f (x) eitx dx f 1 < .
(2) Soit t R, et (tn )nN une suite qui converge vers t dans R, soit la suite de fonctions dfinies
pour tout x R par gn (x) = f (x) eitn x et soit g : x R 7 g (x) = f (x) eitx . Alors les
hypothses du thorme de convergence domine sont satisfaites :
|gn | |f | L1 p.p. en x
gn g p.p. en x

donc gn d gd cest dire f (tn ) f (t) quand n + ce qui prouve le continuit


def en t.
(3) Gnralisation : il suffit de remplacer t R par
t = (t1 , t2 , . . . , td ) Rd , x R par x =
d
(x1 , x2 , . . . , xd ) R et tx par le produit scalaire
ti xi .
1id

Universit de Pau

L3-Mathmatiquess

Intgration-2

33

CHAPITRE 2

Les espaces Lp
Dans tout ce chapitre, on considre un espace mesur (X, T , ). On dsigne par M lensemble des
fonction mesurables de X dans R. Toutes les applications considres dans ce chapitre vont de X
dans R ou C = C {+}. Sauf en cas de besoin, on considrera que ces applications sont valeur
dans R, lextension des proprits et dfinitions, aux fonctions valeur dans C est en gnral sans
difficult.
On y tudie les espaces Lp et Lp de fonctions de puissance p-ime intgrable, de manire semblable
ltude des espaces L1 et L1 . Une part importante du travail consiste dmontrer que f 7 f p =
(
)1
|f |p d p est une norme sur Lp (pour 1 p < +).
{
}

Le cas de L est singulier et trait part avec sa norme f 7 f = inf C R, |f | C


p.p.

Tous les Lp sont des espaces de Banach (i.e. de espaces vectoriels norms complets), un thorme de
convergence domine 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 la
mesure de Lebesgue), on peut comparer les espaces Lp au sens de linclusion, et on montre que
pour p > q > 1 on a Lp Lq (p 7 Lp est dcroissante)
et lapplication (injection canonique) f Lp 7 f Lq est continue, ce que lon note L ,
Lp , Lq , L1
Un contre exemple est donn lorsque la mesure nest pas finie.
On y dmontre quelques thormes de densit. Pour X ouvert de Rn , et la mesure de Lebesgue, lorsque
p < + , de nombreux espaces sont denses dans Lp , pour 1 p < . (Attention, les proprits
suivantes sont toutes fausses pour p = + ) :
lensemble Lp Lq est dense dans chacun des Lp et Lq ;
lensemble Cc () des fonctions continues support compact est dense dans Lp . Le rsultat suivant
est plus fort (et sa dmonstration beaucoup plus difficile) :
lensemble D () des fonctions de classe C support compact est dense dans Lp ; noter que
D () est un ensemble trs petit mais non dnombrable. Le rsultat suivant est encore plus
fort :
Lp est sparable (contient un sous ensemble dnombrable et dense).
On y tudie le dual topologique de Lp (i.e. lensemble, not (Lp ) , des formes linaires continues
sur Lp ). On admet le thorme (fondamental) de reprsentation de Riesz qui assure que (Lp ) est
isomtriquement isomorphe Lq (avec p1 + 1q = 1) et que lon peut ainsi identifier les deux : (Lp ) Lq .
Sauf, une fois encore, pour p = +.
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

34
2.1. Dfinition, premires proprits

2.1.1. Les espaces Lp , 1 p < +. Si f M, onnote que |f |p = f o : s R 7


(s) = |s|p est continue donc mesurable. Par consquent, |f |p d est bien dfinie.
Dfinition 2.1. (Espaces Lp .) Soient f M et 1 p < +.
pour f M, on pose
(
) p1
p
f p =
|f | d
et on dfinit lespace

{
}
L = f M, f p < +
p

On notera que f p peut tre infinie. Lide de cette dfinition est de donner une estimation de lintgrabilit des fonctions. En levant une fonction |f | la puissance p 1 on amplifie ses grandes valeurs
et lappartenance de f Lp signifie que ces grandes valeurs ne psent pas trop lourd relativement la
mesure .
Exemple.
(1) Si X = N, T = P (N) et est la mesure de comptage sur N, on retrouve lespace bien connu des
suites de puissance p-ime absolument sommable :
{
}

p
p
(an )nN R,
|an | < +
lR =
nN

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


que f L1 mais f
/ L2 .

1
x

R, on voit facilement

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


Dmonstration. Soient R et f Lp et g Lp . On note tout dabord que f + g est mesurable
comme 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 premire majoration grossire de f + gp (Nous verrons plus loin que .p est une norme, ce qui rsulte dune majoration plus fine) : comme p > 1,
p

la fonction : s 7 |s|p est convexe (voir lexercice 2.1 page 55)1. Donc a, b R, a+b
2
p
p
p
p
1
p1
(|a| + |b| ). En particulier(on en dduitque x ) X, |f (x) + g (x)| 2 (|f (x)| + |g (x)|p )
2
|f |p d + |g|p d < + donc f + g Lp .
donc |f + g|p d 2p1
1,25

0,75

p=1/2
p=1
p=1,5

0,5

p=2
0,25

-2

-1,5

-1

-0,5

0,5

1,5

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


1

{1
2

}
, 1, 23 , 2

Donc a, b R, [0, 1] on a (a + (1 ) b) (a) + (1 ) (b)

Universit de Pau

L3-Mathmatiquess

Intgration-2

2.1 Dfinition, premires proprits

35


La restriction Lp de la relation = (dfinie sur M au chapitre prcdent, voir 1.13 page 14) est une
p.p.

relation dquivalence sur Lp . On peut donc poser de manire analogue ce que nous avons fait pour
L1 au chapitre prcdent :
Dfinition 2.2. (Espaces Lp , 1 p < +)
( )
p
p
(1) Lespace L est lespace quotient L / = . Cest lensemble des classes dquivalence pour la
p.p.

relation = restreinte Lp .
p.p.

(2) Pour f Lp f p = f p (qui ne dpend pas du reprsentant f f choisi.)
On dfinit dans Lp les oprations , , exactement comme dans L1 et on a la proprit :
Proposition 2.2. (Lp , , ) et est un espace vectoriel sur R, est un ordre partiel sur Lp .
p.p.

Voir exercice 2.2 page 55.


Remarque. Comme dans le cas de L1 , on adoptera les notations standard +, , etc. pour les diffrentes oprations dans Lp voques ci-dessus. Par abus de langage, on assimilera une fonction de Lp
sa classe dans Lp , et on parlera souvent de fonction Lp plutt que de classe. Lorsque lon parle dune
classe f Lp , on sous entend que la fonction f est dans Lp et f est sa classe dquivalence. Lorsquon
parlera dune classe de Lp sans quil soit ncessaire den choisir un reprsentant dune classe, on la
notera f Lp plutt que f .
Montrons maintenant que .p est une semi-norme sur Lp et une norme sur Lp . Pour cela on a besoin
de quelques lemmes.
Dfinition 2.3. Soint p et q deux rels de [1, +]. On dit que p et q sont conjugus si
1 1
+ =1
p q
Remarque.
(1) 1 et + sont conjugus.
(2) On peut dire indiffrement p est le conjugu de q, q est le conjugu de p ou bien p et q sont
conjugus.
p
(3) Le conjugu de p est p1
.
Lemme 2.1. (Ingalit de Young.) Soient p, q ]1, +[ tels que
ab

1
p

1
q

= 1. Alors a, b R+ :

ap bq
+
p
q

Dmonstration. Si ab = 0 lingalit est vidente,


si ab = 0 on applique la convexit de la fonction exponentielle exp (s + (1 ) t) exp (s) +
(1 ) exp (t) = p1 , s = p ln a et t = q ln b.

Remarque. On a galit si et seulement si s = t cest dire ap = bq
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

36

Lemme 2.2. (Ingalit de Hlder dans Lp et dans Lp .) Soient p, q ]1, +[ tels que
soient f Lp et g Lq . Alors f g L1 et

1
p

1
q

= 1, et

f g1 f p gq
Le rsultat subsiste si lon remplace L par L.
Dmonstration. f g est mesurable comme produit de fonctions mesurables. Pour tout x X on
p
|g(x)|q
peut crire : |f (x) g (x)| |f (x)|
+
et en intgrant cette relation :
p
q
f g1

(2.1.1)

1
1
f pp + gqq
p
q

de l, on distingue trois cas :


(1) si f p = 0 ou gq = 0 alors f g = 0, lingalit de Hlder est vraie ;
p.p.

(2) si f p = gq = 1 alors lingalit 2.1.1 fournit le rsultat puisque p1 + 1q = 1 ;


g
(3) si f p > 0 et gq > 0 alors on pose u = ff et v = g
et en appliquant le point 2., on obtient
p
q
uv1 1 ce qui fournit lingalit cherche.

Remarque. Les cas dgalit : |f |p = |g|q ?? TODO
p.p.

Lemme 2.3. (Ingalit de Minkowski.) Soient p [1, +[, f et g deux fonctions de Lp . Alors f + g
Lp et lingalit triangulaire est vrifie :
f + gp f p + gp

(2.1.2)

Le rsultat subsiste si lon remplace L par L.


Dmonstration. Le cas p = 1 est trait au chapitre prcdent. Soient f, g Lp .
Si f + gp = 0, lingalit est vraie.
Sinon, on crit lingalit p.p. :
|f + g|p (|f | + |g|) |f + g|p1
On pose h = |f + g|p1 et on intgre :
f + gpp f h1 + gh1
q tant le conjugu de p, on vrifie que h Lq et on utilise lingalit de Hlder, on obtient alors :
f + gpp f p hq + f p hq
On calcule ensuite

(
hq =

|f + g| d
p

)1 p1

= f + gpp1

ce qui donne le rsultat avec lingalit prcdente.

Proposition 2.3. Pour 1 p < + :


(1) lapplication f 7 f p est une semi-norme sur Lp ;
(2) lapplication f 7 f p est une norme sur Lp .
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.1 Dfinition, premires proprits

37

Dmonstration. Lingalit triangulaire nest autre que lingalit de Minkowski, les autres proprits seront dmontres titre dexercice.

On peut formuler un thorme de convergence domine dans Lp :
Thorme 2.1. (Convergence domine dans Lp .) Soit 1 p < + et (fn )nN une suite de Lp telle
que :
(1) fn f ;
p.p.

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


p.p.

Alors f L et lim fn = f dans L (cest dire lim fn f p = 0 ).


p

Dmonstration. Tout dabord f est mesurable comme limite simple de fonctions mesurables.
De plus |f | g donc |f (x)|p g (x)p donc f p gp ce qui montre que f est dans Lp .
p.p.

p.p.

Pour dmontrer que lim fn f p = 0, on se ramne au cas p = 1 en posant hn = |fn f |p qui


n

vrifie les hypothses du thorme de convergence domine dans L1 : pour tout n N, lingalit
hn

(|fn | + |f |)p
2p g p

p.p.

montre que :
(1) hn L1 car elle est mesurable et majore par 2p g p L1 ;
(2) hn 0 ;
p.p.

(3) hn 2p g p , avec 2p g p L1
p.p.

grce au thorme de convergence domine dans L1 , on en conclut que lim hn = 0 dans L1 , puis que
n
lim fn = f dans Lp .


(
)
Thorme 2.2. Pour 1 p < +, Lp , .p est un espace de Banach.
Dmonstration. Directement dans Lp : comme dans le cas de L1 , pour montrer que Lp est complet pour la norme .p , il suffit de montrer que toute srie normalement convergente est simplement

fn une srie NCV dans Lp , cest dire telle que n N, fn Lp et


convergente2. Soit donc
nN

(2.1.3)

fn p = A < +

nN

Nous allons utiliser successivement le thorme de convergence monotone qui va nous donner
une
fn
fonction dominatrice G, puis la compltude de R qui va nous donner une fonction F =
nN

dfinie sur X et dont on espre quelle sera la somme de la srie, puis pour conclure, le thorme de
convergence domine dans Lp .
2

Soit (E, .) un espace vectoriel norm. Une suite (xn )nN E converge (simplement) vers x dans E si et seulement
si x E et limn+ xn x = 0

Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

38
(1) On dfinit la fonction G sur X de la manire suivante : Gn (x) =

|fk (x)| R. La suite

0kn

(Gn )nN est une suite croissante de fonctions mesurables positives, de mme que (Gpn )nN . Sa
limite ponctuelle est donc mesurable et le thorme de convergence monotone 1.5 page 13 nous
indique que

p
(2.1.4)
lim
Gn d =
Gp d
n

fn p
Comme de plus Gn p
fn p A, en passant la limite on obtient
nN
0kn
p
G d Ap < +. Donc
G Lp
et en particulier
G < +
p.p.

(2) On se ramne la compltude de R : la srie numrique


fn (x) est (p.p.) absolument convernN

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

fk (x)
Fn (x) =
0kn

et soit F (x) sa somme. Donc


Fn F
p.p.

On la majoration presque partout :


|Fn | Gn G
p.p.

p.p.

(3) La fonction F ainsi dfinie, vrifie


Fn F
p.p.

|Fn | G Lp .
p.p.

Grce au thorme de convergence domine dans Lp 2.1 page prcdente on en dduit que
F Lp et lim Fn = F dans Lp .
n


Proposition 2.4. (Sries normalement convergentes
dans Lp ) Soit 1 p < et (fn
)nN une srie de

a
P
fn (x) < +
L normalement convergente. Alors la srie
fn converge la fonction f (x) =
nN
nN

dfinie p.p. et la srie


fn converge vers f dans Lp .
nN
a

cest dire

nN

fn p < +.

Dmonstration. Ce rsultat est dmontr dans la preuve du thorme (2.2).

Pour finir cette section, citons deux thormes de convergence parfois utile :
Thorme 2.3. Soit 1 p < . Si la suite (fn )nN Lp converge vers f dans Lp alors elle converge
vers f en mesure.


Dmonstration. Voir [Genet] p.223.


Universit de Pau

L3-Mathmatiquess

Intgration-2

2.1 Dfinition, premires proprits

39

Thorme 2.4. Soit 1 p < . Si la suite (fn )nN Lp converge vers f dans Lp alors il existe une
sous-suite (fkn )nN qui converge vers f p.p..
Dmonstration. En utilisant le thorme (2.3) et le thorme 1.8 page 16.

Thorme 2.5. Pour 1 p < , lespace Lp (R) est sparable.




Dmonstration. Voir [Gallouet-Herbin]p.486


2.1.2. Lespace L .

Dfinition 2.4. Soit f : X R une fonction mesurable.


(1) On dit que C R est un majorant essentiel de f si |f | C a, on note Mess (f ) lensemble des
p.p.

majorants essentiels de f ;
(2) on dit que f est essentiellement borne si elle admet un majorant essentiel C < + ;
(3) on note L lensemble des fonctions mesurables, essentiellement bornes de X dans R ;
(4) si f L , on pose
f = inf Mess (f )
a

Autrement dit C est majorant essentiel si et seulement si {|f | > C} = 0)

Proposition 2.5. Pour toute fonction mesurable f , on a f = min Mess (f ). Autrement dit, la
borne infrieure est atteinte.
Dmonstration. Dune part Mess (f ) est un intervalle de la forme (m0 , +] car si m Mess (f )
alors tout m > m est dans Mess (f ).
}
{
|f | > m0 + n1 est de mesure nulle.
Dautre part m0 Mess (f ) car {|f | > m0 } =

n1

Dans le cas des fonctions continues sur R, la norme L a une caractrisation plus facile apprhender :
la norme infinie de la fonction nest autre que la norme de la convergence uniforme.
Proposition 2.6. Pour X R, T = B (X) et = mesure de Lebesgue, si f : X R est continue,
alorsf = sup |f (x)|.
xX

Dmonstration. Si f est continue sur X alors elle est -mesurable.


(1) supX |f | Mess (|f |) est un majorant essentiel. Donc f sup |f |.
(2) Rciproquement :
(a) si f est non borne, 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 sur
B . Donc ({|f | > a}) (B ) = 2. Donc a nest pas majorant essentiel de |f |donc
f = +.
(b) Si sup |f | < + alors
O = {|f | > f }
1
est ouvert (car O = f (]f , +[) et |f | est continue) et ngligeable. Il est donc vide
(la mesure de Lebesgue dun ouvert non vide est strictement positive) donc x X, f (x)
f (et non pas seulement p.p.) on en dduit que sup |f | f .
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

40


Dfinition 2.5. (Espace L .)
(1) On dfinit L comme lensemble des classes dquivalence pour la relation R restreinte L .
(2) Pour F L , on pose F = f o f est un reprsentant quelconque de F . (Cette dfinition
est cohrente car f ne dpend 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.
Dmonstration.
(1) Soient a R et f, g L .
On a bien af L et af = |a| f .
On a |f + g| |f | + |g| f + g donc f + g L ce qui montre que L est un
p.p.

espace vectoriel.
(2) On procde de manire analogue. Le fait que . soit une norme dcoule de f = 0 f = 0.
p.p.


Thorme 2.6. (L , . ) est un espace de Banach.
Dmonstration. Nous allons dmontrer ce rsultat en utilisant les suites de Cauchy. Il suffit donc
de montrer que toute suite de Cauchy dans L est convergente. Soit donc (fn )nN une suite de Cauchy
de 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))nN est une suite de Cauchy dans R complet, donc fn (x)
est convergente. Soit f = lim fn la limite ponctuelle p.p. de (fn )nN . La limite ponctuelle p.p.
n
dune suite de fonctions mesurables est mesurable donc f M.
3

Pour tre prcis, on devrait prendre une famille dnombrable de i = 2i et crire :

i N, Ni , k, l Ni , Bi,k,l X ngligeable, x X \ Bi,k,l , |fk (x) fl (x)| < 2i

prenant alors la runion dnombrable B =


Bi,k,l ngligeable de X, on obtient
i,k,l

i N, Ni , k, l Ni , x X \ B, |fk (x) fl (x)| < 2i


et utilisant la notation p.p. :
(2.1.5)

i, Ni tel que k, l Ni |fk fl | < 2i


p.p.

relation qui devrait remplacer 2.1.6.

Universit de Pau

L3-Mathmatiquess

Intgration-2

2.2 Comparaison des espaces Lp

41

(2) Montrons que (fn )nN converge vers f dans L : faisant tendre l vers dans (2.1.6), on obtient :
> 0, N , k > N |fk f | <

(2.1.7)

p.p.

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


, N , N tel que k N fk f <
de cette ingalit on dduit :
(a) lappartenance def L (prendre = 1, k = N1 et f fN1 f + fN1
1 + fN1 )
(b) la convergence de (fn )nN vers f dans L .


Corollaire 2.1. (Sries absolument convergentes dans L .) Soit


fn une srie normalement
nN

convergente de L , cest dire telle que n N, fn L et


fn < +. Alors elle est
convergente dans L vers une classe f de L .

nN

Dmonstration. L tant un espace de Banach, toute srie normalement convergente est simplement convergente, cest dire converge en norme . , et sa limite est dans L .

Attention, le thorme de convergence domine est FAUX dans L .
Voici un contre-exemple.
Exemple 2.1. On considre lespace mesur (X, T , ) = ([0, 1] , B ([0, 1]) , ) et la suite de fonction
fn = [0, 1 ] . Cette suite vrifie les hypothses du thorme de convergence domin :
n

(1) fn L car fn = 1 ; {
0 si x = 0
(2) fn 0 car lim fn (x) =
;
p.p.
n
1 si x = 0
(3) (fn )nN est domine p.p. par [0,1] L ;
pourtant lim fn = 0 dans L car fn 0 = 1 .
n

2.2. Comparaison des espaces Lp


On rappelle (cf cours de topologie) qutant donns deux espaces vectoriels norms (E, .E ) et
(F, .F ), une application linaire u de E dans F est continue sur E si et seulement si il existe une
constante C telle que
x E, u (x)F C xE
Si u est continue lapplication
u 7 |||u||| = inf {C, u (x)F C xE , x E}
est une norme sur Lc (E, F ) et de plus
|||u||| =
Pierre Puiseux

u (x)F
= sup u (x)F
xE
xE =1
xE\{0}
sup

2012

Chapitre 2. Les espaces Lp

42

Dfinition 2.6. (Inclusion topologique.) Soient (E, .E ) et (F, .F ) deux espaces vectoriels norms.
On dit que E est topologiquement inclus dans F si
(1) E F ;
(2) lapplication (injection canonique)
J :E F
x 7 x
est continue (relativement aux topologies sur E et F ).
Cette deuxime condition quivaut lexistence dune constante C R telle que
x E, xF C xE
Si E est topologiquement inclus dans F , on note :
E , F
2.2.1. Ingalit de Hlder gnralise. La proprit suivante qui gnralise lingalit de Hlder 2.2 page 36, est souvent utile lorsque lon manipule les espaces Lp .
Proposition 2.8. (Ingalit de Hlder gnralise.) Soient p, q, r [1, +] trois rels vrifiant
1
+ 1q . Soient f Lp et g Lq . Alors f g Lr et
p

1
r

f gr f p gq
Dmonstration. On remarque tout dabord que f g M et que

1
p/r

1
q/r

=1

(1) Cas p, q, r < +. On applique le lemme de Hlder 2.2 page 36 avec f r , g r et pr et qr ce qui donne
directement le rsultat.
(2) Cas o q = , r = p < : lingalit |f g|p |f |p g p.p. fournit le rsultat aprs intgration.
(3) Cas o p = q = r = : rsulte de |f g| f g p.p..

Remarque. Cette ingalit de Hlder gnralise est valide pour les cas limites 1 {p, q, r} ou
{p, q, r}.
2.2.2. Cas dune mesure finie. En rajoutant lhypothse dune mesure finie ( (X) < ), on
obtient des proprits dinclusion et mme dinjection continue.
Thorme 2.7. (comparaison des Lp .) Si est une mesure finie, on a pour 1 p < q + les
inclusions topologiques
L , Lq , Lp , L1
Dmonstration. Tout dabord, on observe que lapplication J : f Lp 7 f Lq est videmment
linaire. Pour montrer quelle est continue, il suffit de trouver une constante C telle que f q
C f p . Pour dmontrer le thorme, il suffit de dmontrer les deux premires inclusions :
1

(1) L , Lq . Soit f L alors |f |q f q et en intgrant on obtient f q f (X) q . Le


p.p.

fait que la mesure est finie permet de conclure.


(2) p < q Lq , Lp . Soit f Lq .
Universit de Pau

L3-Mathmatiquess

Intgration-2

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 dduit en intgrant :
f pp f qq + (X) <

(2.2.1)

donc f Lp ce qui montre que Lq Lp .


(b) Pour trouver une constante C (ne dpendant pas de f ) telle que pour tout f Lq on ait
f p C f q

(2.2.2)

on distingue trois cas :


1
(i) si f q = 0, alors en utilisant (2.2.1), on obtient (2.2.2) avec C = (1 + (X)) p .
(ii) si f q = 1 alors en utilisant (2.2.1), on obtient (2.2.2) avec la mme constante.
(iii) si f q > 0, on pose u = ff et comme uq = 1, on peut appliquer le point ii. u.
q


f
On obtient f = up C ce qui permet de conclure.
q


Dans le cas 1 p < q = , une autre dmonstration de ce rsultat, avec une constante plus serre,
est propose ci-dessous
Dmonstration. Soient f Lq , et F = |f |p , et G = 1. Soient a =
f pq

q
p

> 1 et b son conjugu.

1
b

On calcule F a =
et Gb = (X) ce qui montre que F La , et G Lb . On peut alors
appliquer lingalit de Hlder F G :
F G1 F a Gb
comme F G1 =

f pp ,

on obtient
f p f q (X) p q
1

qui permet de conclure.

2.2.3. Cas dune mesure non finie. Il ny a pas de relation dinclusion entre les espaces Lp sans
lhypothse de mesure finie, dans le cas gnral.
Pour sen convaincre, examinons les deux fonctions dfinies sur R par f (x) = 1x [0,1] (x) et g (x) =
1

(x). On voit sans difficult que f L1 et f


/ L2 donc L1 L2 et dautre part g L2 , et
x [1,[
g
/ L1 donc L2 L1 .
Cependant, pour la mesure du comptage, on a la proprit dinclusion suivante (dans lordre inverse
de celui du paragraphe prcdent) :
Thorme 2.8. (comparaison des p (N).) Pour 1 p < q +, on a les inclusions
1 , p , q ,
avec les ingalits : x RN

Pierre Puiseux

x xq xp x1
2012

Chapitre 2. Les espaces Lp

44
Dmonstration. Soient 1 p < q et x p , montrons que
xq xp
ce qui tablira linclusion
p , q
(1) si q = +. Pour tout entier
k N, |xk |p

|xi |p

iN

donc
|xk |

) p1
|xi |p

= xp

iN

et en passant au sup sur k on obtient


x xp
(2) Sinon q < +
(a) Si x = 0 lingalit xq xp est vidente.

(b) Si xp = 1 alors
|xi |p = 1 donc k, |xk |p < 1 puis |xk | < 1. Lapplication p 7 p est
dcroissante pour [0, 1] on a donc puisque p < q :
k N : |xk |q < |xk |p
en sommant, il vient xqq < xpp = 1 do xq < 1 = xp .
x
(c) Si xp = 1, on applique ce qui prcde y = x
donc yq < 1 ce qui donne
p

xq < xp

Remarque. On a tabli le thorme prcdent pour les suites de RN . On a le mme rsultat pour
lespace 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 thormes de densit
Soit E un espace topologique. On rappelle quun espace topologique F E est dense dans E si et
seulement si ladhrence de F dans E est E.
Lorsque E est un espace mtrique (ce qui est le cas dun espace vectoriel norm), une partie F E
est dense dans E si et seulement si tout lment de E est la limite dune suite de F .
La densit de F dans E est une proprit intressante car elle permet de prolonger certaines proprit
de F E de manire naturelle. Par exemple si une application continue est dfinie seulement sur
Q, comme Q est dense dans R, une manire naturelle de prolonger x R est de trouver une suite
(xn ) de Q, qui converge vers x et de poser (x) = lim (xn ). On parle de prolongement de par
n
continuit .
Notation : linstar des probabilistes, pour simplifier les notations, tant donne une proprit 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}
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.3 Quelques thormes de densit

45

Lemme 2.4. Pour 1 p < , lensemble E = {f E, ({f = 0}) < +} est dense dans Lp .
Dmonstration. E est un sous espace vectoriel de Lp .
(1) Soit f Lp , f 0. Daprs 1.2 page 11, il existe une suite croissante de fonctions tages
p.p.

positives (hn )nN E + qui converge ponctuellement vers f . On a donc pour tout n N : 0
hn f ce qui implique lappartenance de hn Lp . Soit n N. Montrons
que hn E : la fonction

p
+
p
hn est dans E et sa dcomposition canonique scrit : hn =
ai Ai avec a0 = 0 < a1 <
0im

a2 < am et (Ai )0im partition de X (ventuellement A0 = ). On a donc

ai (Ai )
hpn d =
1im

> a1
=
donc

1im
a1 ({hpn

(Ai )
= 0})

1
({hn =
0})
hpn d
a1

f p d
a1
< +

(On peut aussi, plus simplement, utiliser le lemme de Markov 1


ce qui montre que hn E.
page 25).
(2) On applique le thorme de convergence domine la suite hn et f : lim hn = f dans Lp . Toute
n
P

classe positive de L est donc limite dune 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, [ , lensemble Lp Lq est dense dans Lp et dans Lq (munis des normes
correspondantes).
Or E
Dmonstration. Soit f Lp . Alors elle est limite (au sens Lp ) dune suite (fn ) E.
q
p
q
p
L L donc (fn ) est une suite de L L dont la limite est f dans L .

p

Thorme 2.9. On suppose que X est un espace mtrique, et une mesure finie sur (X, B (X)). Pour
1 p < , lensemble Cb (X) des fonctions continues et bornes de X dans R est dense dans Lp .
Admis, voir [Suquet].
Dfinition 2.7. Soit E un espace topologique et une fonction f : E K. On dit que f est support
compact sil existe un compact K E tel que f = 0 sur E \ K.
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

46

Thorme 2.10. On suppose que X = est un ouvert de Rd et la mesure de Lebesgue sur B ().
Pour 1 p < ,
(1) lensemble Cc () des fonctions de dans R, continues, support compact, est dense dans Lp ;
(2) lensemble D () des fonctions de dans R, de classe C et support compact, est dense dans
Lp .
Dmonstration. Admis, voir [Gallouet-Herbin, Suquet]. La dmonstration du point 1. est propose lexercice 2.21 page 62 dans le cas particulier = R.

Remarque. On dduit en particulier de ce dernier thorme
que tous les espaces C k ([a, b]) , k 0 sont dense dans Lp ([a, b]).
Mais aussi Cck (R) , k 0 est dense dans Lp (R)
2.4. Dualit dans les espaces Lp
Rappelons que le dual topologique dun espace vectoriel norm E est lespace des formes linaires
continues sur cet espace. En dimension infinie, une forme linaire nest pas automatiquement continue
et il convient donc de distinguer dual topologique E et dual algbrique E . En dimension infinie, on
a donc E E , avec une inclusion stricte. Dans cette section, la mesure est suppose -finie, cest
dire : il existe un recouvrement dnombrable de X par des sous-ensembles de mesure finie. Cest le
cas de la mesure de Lebesgue sur un ouvert de Rd .
Thorme 2.11. On suppose la mesure -finie. Soit 1 p < + et q =
g Lq . Alors lapplication

p
p1

son conjugu. Soit

g : Lp R

f 7
f gd
est une forme linaire continue sur Lp et la norme de g (dans lespace Lc (Lp , R) des formes linaires
continues sur Lp ) est :
|||g ||| = gq
Dmonstration. On utilise la fonction f = g |g|q1 o g est la fonction signe de g . Voir
exercice 2.23 page 62. Voir galement [Genet].

Remarque. un lment g Lq on a associ une forme linaire g (Lp ) . Cette application
possde la proprit suivante :
Corollaire 2.2. Lapplication,
(2.4.1)

: Lq (Lp )
g 7 g

o g est dfinie la proposition (2.11), est un isomorphisme isomtriquea (donc ||| ||| = 1).
Ce qui permet didentifier (Lp ) , le dual topologique de Lp , lespaceLq .
a

Soient E et F deux espaces vectoriels norms. Une application f : X E F est isomtrique si et seulement si
x X, f (x)F = xE

Dmonstration.
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.4 Dualit dans les espaces Lp

47

On vrifie facilement que est linaire (Voir exercice 2.23 page 62).
(g)|||
La proposition (2.11) montre que pour tout g Lq on a |||g
= 1 donc est une isomtrie et
q
||| ||| = 1
Le thorme de reprsentation de Riesz qui suit assure que lapplication est surjective et injective.
Le thorme qui suit est une rciproque du thorme (2.11), que nous admettrons :
Thorme 2.12. (de reprsentation de Riesz.) On suppose que est une mesure -finie, alors la
fonction dfinie par (2.4.1) et surjective. En dautres termes
pour toute forme linaire continue
sur Lp , il existe un unique g Lq tel que f Lp , (f ) = f gd.
Dmonstration. Admis. Voir [Genet, Rudin]. Le thorme sera dmontr plus loin ?? page ??,
dans le cas particulier p = q = 2.

Remarque. Cest un thorme de reprsentation car une forme linaire continue sur Lp peut
tre reprsente par une classe g Lq . On identifie (presque) systmatiquement avec g.
Attention : le thorme est FAUX pour p = , le dual de L contient strictement L1 . Cest lespace
des mesures de Radon. cf [Genet] p.189 et [Brezis] pp. 63-65.
La notion despace dual est trs riche et abondamment utilise en mathmatiques. Plus un espace est
petit , moins il contient de fonctions, plus il y aura de formes linaires continues, donc plus le dual
sera grand . Ainsi, pour X ouvert born de Rd , on a les inclusions
( )
L Lp L2 = L2 (Lp ) (L )

Lorsque p = q = 2, lquilibre est ralis, en ce sens que L2 = (L2 ) .


En poursuivant dans la mme logique, on a par exemple pour une topologie adapte :
( )
Cc Cc1 L . . . L1 Cc1 (Cc )

Quels sont ces espaces (Cc1 ) et (Cc ) ? Ce sont des espaces, de distributions qui gnralisent la
notion de fonction, qui seront vues ultrieurement en Master. Linvention de ces espaces de distribution
par Laurent Schwartz lui a valu la mdaille Fields en 1950.
Les divers thormes de densit permettent de prolonger par continuit les oprations, formes linaires,
oprateurs dfinis sur les petits espaces (appels espace des fonctions test ) aux grands
espaces.
Thorme 2.13. Pour 1 < p < , lespace Lp est rflexif. Autrement dit, le bidual de Lp peut tre
identifi Lp via la bijection bicontinue naturelle J : Lp (Lp ) dfinie pour f Lp ,
(Lp ) = Lq par la relation J (f ) () = (f ).
Dmonstration. (Lp ) = (Lq ) = Lp

Remarque. Attention, ni L1 , ni L ne sont rflxifs.


Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

48
2.5. Convolution dans Lp
2.5.1. Convolution dans 1 (Z). On rappelle que
{
u : Z R,

1 (Z) =

}
|up | <

pZ

ce qui sinterprte au sens de la thorie de la mesure et de lintgration, 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 lespace X = Zd .
Dfinition 2.8. Pour u, v 1 (Z), on pose
(u v) (n) =

(2.5.1)

up vnp

pZ

Lorsque cette srie double est convergente pour tout n Z, la suite double ((u v)n )nN est appele
convolu de u et v.
Cette dfinition un sens si cette srie double dfinissant u v est absolument convergente. Cest le
cas par exemple
si lune 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 =


{
1 1
si 0 < p < n
p np
0
sinon

1
n

si n > 0
. On voit facilement que pour n > 0, up unp =
si n 6 0

1
p (n p)
0<p<n
(
)
1 1
1
=
+
n 0<p<n p n p
1 1 1
1
+
=
n 0<p<n p n 0<p<n n p
2 1
=
n 0<p<n p

(u u) (n) =

(2) Pour = (0,n )nZ et u (Z) on a


u = u
(3) On pose = (1,n )nZ alors 2 = (2,n )nZ . Plus gnralement pour p Z, on a p =
(p,n )nZ condition de poser 0 =
(4) Dterminer u puis p u, pour u (Z)
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.5 Convolution dans Lp

49

La proprit suivante donne un autre cas o la dfinition (2.5.1) a un sens :


Proposition 2.9. Pour u, v 1 (Z),
u v1 u1 v1
autrement dit est une loi de composition interne dans 1 .
Dmonstration. Pour P et Q fixs dans N on a :

|up | |vnp |
P pQ

|up | v

P pQ

u1 v
ce qui montre que n N, la srie numrique double dfinissant (u v) (n) est absolument convergente dans R elle est donc convergente, et (u v) (n) R est bien dfini. De plus pour N et P
fixs,








up vnp
|up | |vnp |



|n|N |p|P
|n|N |p|P

|up | |vnp |
=
|p|P |n|N

|up |

|p|P

|vnp |

|n|N

u1 v1
en faisant tendre P vers puis N vers , cette ingalit tablit lappartenance de u v 1 . Dans
cette srie dingalits, on a re-dmontr le thorme de Fubini appliqu notre cas particulier, qui
autorise permuter les deux sommations.

( d ( d) )
1
2.5.2.
Convolution
dans
L
.
Dans
cette
section,
on
prend
(X,
T
,
)
=
R , B R , ou
( d ( d) )
Z ,P Z , .
( )
On souhaite
dfinir la convolution de deux fonctions de L1 Rd de manire analogue la convolution
(
)
dans 1 Zd . Pour cela, il faut pouvoir crire :

(f g) (x) =
f (y) g (x y) dy
il faut donc que la fonction y 7 f (y) g (x y) soit intgrable, pour tout x fix, ou au moins pour
presque tout x. Ce qui nest pas vident car le produit de deux fonctions intgrables nest pas ncessairement intgrable (penser x 7 1x [0,1] (x)). Cest le thorme de Tonnelli-Fubini qui va nous
donner la rponse et mme mieux que cela :
Lemme 2.6. Soient f et g deux fonctions de L1 et soit la fonction
H : (x, y) 7 f (y) g (x y)
Alors H est dans L1 (R2 , B (R2 ) , ) et plus prcisment
H1 f 1 g1
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

50

Dmonstration. On donne la dmonstration pour d = 1, X = R. Tout dabord H est mesurable


comme compose et produit de fonctions mesurables. On peut donc appliquer le thorme de Tonnelli,
et lintgrabilit, quand elle, provient des ingalits (avec le changement de variable z = x y) :
)

(
|H| d ( ) =
|H (x, y)| dx dy
)
(
(2.5.2)
=
|f (y) g (x y)| dx dy
(
)

=
|f (y)|
|g (x y)| dx dy
(
)

=
|f (y)|
|g (z)| dz dy
(
) (
)
=
|f (y)| dy
|g (z)| dz
= f 1 g1 <

(2.5.3)


Thorme 2.14. (Convolution dans L1 .) Soient f et g L1 . Alors le produit de convolution

(f g) (x) =
f (y) g (x y) dy
est dfini p.p. dans X.
De plus, f g L1 et on a lingalit
f g1 f 1 g1
Dmonstration. Le lemme prcdent permet dappliquer le thorme de Fubini :

(1) la fonction x 7 H (x, y) dy = (f g) (x) est dfinie p.p. en x X


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





dy
f g1 =
H
(x,
y)
d
x


|H (x, y)| dx dy


et lingalit prcdente (2.5.3) permet de conclure

Remarque. On a dmontr au passage que la fonction y 7 f (y) g (x y) est intgrable pour presque
tout x.
Exemple. f = g = [0,1] on calcule

(f g) (y) =

f (x) g (y x) dx

0
=
y

1 y

Universit de Pau

si y
/ [0, 2]
si y [0, 1]
si y [1, 2]

L3-Mathmatiquess

Intgration-2

2.5 Convolution dans Lp

51

2.5.3. Proprits lmentaires de la convolution dans L1 .


Proposition 2.10. Le produit de convolution est une loi interne, associative, commutative et distributive sur laddition dans L1 .
Dmonstration. Soient u, v, w L1
Interne. : Cest le thorme (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) dy

=
u (x z) v (z) 1dz
= (v u) (x)
Associativit. : Soit x R. On utilise un changement de variable t = y + z et le thorme de Fubini

((u v) w) (x) =
(u v) (x y) w (y) dy
)
(
=
u (x y z) v (z) dz w (y) dy
)
(
=
u (x t) v (t y) dt w (y) dy
(
)

v (t y) w (y) dy dt
=
u (x t)
= (u (v w)) (x)
Distributivit. : Soit x R

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

u (y) (v (y x) + w (y x)) dy

=
u (y) v (y x) dy + u (y) w (y x) dy
= (u v) (x) + (u w) (x)


La convolution possde galement des proprits de parit :


Proposition 2.11. (convolution et parit) Si u et v sont paires ou impaires , u (x) = (1)p u (x) et
v (x) = (1)q v (x) alors (u v) (x) = (1)p+q (u v) (x).
En exercice.
Proposition 2.12.

uv =

On utilise
le fait que H : (x, y) 7 u (y) v (y x) est intgrable (cf. lemme 2.6 page 49), pour appliquer le
thorme de Fubini
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

52

et linvariance par translation R v (y x) dx = R v (t) dt :


)
(

(u v) (x) dx =
u (y) v (y x) dy dx
R
R
R

=
u (y) v (y x) dx dy
R R
(
)

=
u (y)
v (y x) dx dy
R
R
(
)

=
u (y)
v (t) dt dy
R
R
(
) (
)
=
u (y) dy
v (t) dt
R

Proposition 2.13. (Convolution, translation et drivation.) Soient u, v L1 , h un rel et loprateur


h dfini sur L1 par : x R
h u (x) = u (x h)
Alors
h (u v) = (h u) v
1

Si de plus u C (R) et u L L , alors :


(u v) = u v
Dmonstration. La preuve est analogue pour les deux proprits.
(1) Translation :
h (u v) (x) = (u v) (x h)

=
u ((x h) y) v (y) dy

=
(h u) (x y) v (y) dy
= ((h u) v) (x)
(2) Drivation : soit x0 R. On voudrait crire :

d
u (x0 y) v (y) dy
(u v) (x0 ) =
dx

du
=
(x0 y) v (y) dy
dx
= (u v) (x0 )

Pour cela, vrifions que lon peut appliquer le thorme 1.15 page 19 de drivation dans lintgrale :
soit V0 = R et
H : R2 R
(x, y) 7 u (x y) v (y)
lapplication partielle x 7 H (x, y) est de classe C 1 (V0 ) (p.p. en y R) et
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.5 Convolution dans Lp

53

sur V0 , lapplication partielle y 7 H


(x, y) = u (x y) v (y) est domine (p.p. en y R) par
x
1

une fonction de L car u est borne donc





H



x (x, y) u |v (y)|
avec u |v| L1 .

Remarque. On a vu prcdemment que (1Z (R) , ) admet un lment neutre = (0,n )nZ . On peut
se demander sil en est de mme pour (L1R (R) , ). La rponse est ngative. La mesure 0 de Dirac en
0 est lment neutre pour la convolution, car

(u 0 ) (x) =
u (x y) d0 (y)
= u (x)
mais 0
/ L1 .
Proposition 2.14. (Convolution et continuit.) Si u L1 , et v est continue et borne sur R alors u v
est bien dfinie, continue et borne sur R. De plus
u v u1 v


Dmonstration.
(1) Pour tout x R on a

|(u v) (x)|

|u (x y)| |v (y)| dy
|u (x y)| v dy

= u1 v
(2) Soit x R et (xn )nN une suite qui tend vers x. On va montrer que
lim (u v) (xn ) = (u v) (x)

en appliquant le thorme de convergence domine 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
Dmonstration. Ce qui montre que

u (y) v (xn y) dy = u (y) v (x y) dy


lim
n


Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

54
2.5.4. Convolution dans Lp .

Thorme 2.15. (Convolution dans Lp .) Soient p [1, ], f Lp et g L1 . Alors le produit de


convolution

(f g) (x) =

f (y) g (x y) dy

est dfini p.p. dans X. De plus, f g Lp et on a lingalit


f gp f p g1
Dmonstration. Il faut distinguer les cas p = 1, p = et 1 < p < .
(1) Le cas p = 1 a t trait au thorme 2.14 page 50.
(2) Le cas p = a t trait au thorme 2.14 page prcdente.
p
(3) Cas 1 < p < . Soit q = p1
le conjugu de p. On crit |f (y) g (x y)| comme un produit de
)
(
)
(
1
1
p
q
|f (y)| |g (x y)| |g (x y)| et on utilise lingalit de Hlder aprs avoir vrifi que
1

y 7 |f (y)| |g (x y)| p Lp et y
7 |g (x y)| q Lq :

(
)(
)
1
1
|f (y) g (x y)| dy =
|f (y)| |g (x y)| p
|g (x y)| q dy et Hlder
(
|f (y)| |g (x y)| dy

(
(2.5.4)

|f (y)| |g (x y)| dy
p

) p1 (
) p1

|g (x y)| dy

) 1q

g1q

Supposons que x 7 |f (y) g (x y)| dy et x 7 f (y) g (x y) dy soient mesurables.


p




p
f (y) g (x y) dy dx
|f g| d =


)p
(

|f (y) g (x y)| dy dx
que lon combine avec lingalit (2.5.4) :
)

(
p
p
p
|f g| d
|f (y)| |g (x y)| dy dx g1q

p
=
|f |p |g| dx g1q
p

= |f |p |g|1 g1q

1+ p

et en utilisant le thorme (2.14) on trouve finalement f gpp f pp g1 q qui donne linga

lit cherche. Reste montrer que les fonctions x 7 |f (y) g (x y)| dy et x 7 f (y) g (x y) dy
sont mesurables. Elle le sont car composes et produits (grce au thorme 1.11 page 17) dapplications mesurables f, g, x 7 |x| et y 7 x y.

On retiendra les rsultats sous la forme suivante :
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.0 Espaces Lp

55
pour p [1, ] : Lp L1 Lp
Exercices sur le chapitre 2
Espaces Lp

Exercice 2.1. Pour 1 p < +, dmontrer que : s 7 |s|p est une fonction convexe sur R.
Correction
est la fonction signe (s) =

0
|s|
s

si s = 0
sinon

Pour p = 1, soient [0, 1] et s, t R. Alors lingalit triangulaire |s + (1 ) t| |s| +


(1 ) |t| montre la convexit de .
Si p > 1, est de classe C 1 avec (s) = p (s) |s|p1 (vrifiez en 0) 4. Il suffit donc de montrer que est croissante. Ce qui est le cas puisque la drive seconde est positive : (s) =
p (p 1) |s|p2 0 sur R (avec ventuellement (0) = + lorsque 1 < p < 2). Ce qui prouve
que est convexe sur R.
Exercice 2.2. Pour 1 p < +, dmontrer que (Lp , , ) est un espace vectoriel, et que 4 est un
ordre sur Lp .
Correction
Il faut montrer que la loi est interne : on procde comme dans L1 en dmontrant que pour f , g Lp ,
on a f g = f + g. (Voir exercice 1.11 page 28.)
Pour la relation dordre, on procde comme dans L1 . (Voir lexercice 1.14 page 29.)
+

Exercice 2.3. Soit X = [0, 1] et f (x) = 2 (n n2 x) .


(1)
(2)
(3)
(4)

Montrer que la suite (fn )nN est borne dans L1 ;


Montrer que la suite (fn )nN nest pas borne dans Lp pour 1 < p + ;
Etudier la convergence de (fn )nN simple, presque partout, dans Lp , en mesure.
Montrer que pour toute fonction C ([0, 1] , R), fn d (0) (utiliser un thorme de la
moyenne)
Correction

On calcule effectivement la norme de fn :

[
]1
(
p+1 ) p
np1
fn p =
2
1

(1

n)
p+1

2n

si p = 1
si 1 < p <
si p = +

(1) Donc fn 1 = 1
(2) et f p pour p > 1
(3) Convergence de (fn )nN :
4

on pourra aussi vrifier, mais a nest pas utile pour notre dmonstration, quelle nest de classe C 2 que si p > 2

Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

56

{
si x = 0
(a) simplement vers f (x) =
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 .
([
[)
n/2
0 donc (fn )nN
(e) pour > 0 donn et n > , on a {fn > } = 0, n2
= n/2
n2
n
converge en mesure.
(4) On se souvient du thorme de la moyenne : si f et g sont
continues sur un
intervalle [a, b] et si
g est de signe constant, alors il existe c [a, b] tel que [a,b] f gd = f (c) [a,b] gd. On applique
[ 1]

ce thorme
[ 1 ] [a, b] = 0, n , f = et g = fn et on obtient fn d = (n ) fn d avec
n 0, n . Le rsultat sensuit par continuit de .
Exercice 2.4. (Ingalit de Young gnralise.) Soient (pk )1km , m rels de lintervalle ]1, +[

m
m 1 p k
1
vrifiant m
k=1 pk = 1 et (uk )1km , m rels positifs. Montrer que
k=1 uk
k=1 pk uk .

Si

Correction

k=1
(

exp

uk = 0 alors lingalit est vidente, sinon on applique la convexit de la fonction exponentielle :


)

k s s
k exp sk k = p1k , sk = pk ln uk .

1km

1km

Exercice 2.5. (Ingalit de Hlder gnralise.) Soient (pk )1km m rels de lintervalle ]1, +[

m
1
pk
vrifiant m
=
1.
Soient
(f
)
,
m
fonctions
telles
que
f

L
et
f
=
k
k
k=1 pk
1km
k=1 fk . Montrer
m
1
que f L et que f 1 k=1 fk pk . (Appliquer une mthode analogue celle du cours). tendre
ce rsultat fk Lpk et f L1 .
Correction
La dmonstration du cours (en distinguant les 3 cas f = 0, k, fk pk = 1 et k, fk pk > 1) stend
sans difficult en utilisant lingalit de Young gnralise 2.4.
Exercice 2.6. (Ingalit de Minkowski dnombrable .) Soit 1 p < et (fn )nN une suite de
fonctions mesurables de X dans [0,+]. Montrer que




fn p
fn



nN

nN

Correction
1

Convergence monotone sur gn = (f0 + f1 + . . . fn )p et continuit de x 7 x p


Exercice 2.7. X = R. Montrer que pour f Lp , la suite f [n,n] converge vers f dans Lp quand
n .
Correction
Exercice 2.8. (X, T , ) = (R, B (R) , ). Soit (fn )nN une suite borne de fonctions de Lp , 1 6 p 6
. On suppose que fn f .
p.p.

Universit de Pau

L3-Mathmatiquess

Intgration-2

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 )nN converge vers g Lp . Quelle relation y a-t-il entre f et g ?
Correction
TODO
(1) fn p 6 M . Lemme de Fatou :

|f | d =
p

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 p1 + 1q = 1. Soient (fn )nN une suite de Lp qui converge

vers f dans Lp et (gn )nN une suite de Lq qui converge vers g dans Lq . Etablir que lim fn gn d =
n

f gd.
Correction
Lingalit de Hlder 2.2 page 36 montre que fn gn L1 et f g L1 . On majore ensuite en utilisant
la mme ingalit :







fn gn d f gd = 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 gq
On a f fn p 0 et g gn q 0 quand n + et fn p f p quand n +. Do le
rsultat.

Exercice 2.10. Dmontrer que lapplication (f, g) L2 7 X f gd est un produit scalaire.5


(1) (|) est un produit
se vrifie sans difficult, le seul point dlicat est : soit u L2 , u = 0.
scalaire
2
Alors (u|u) = u d > 0
(2) La norme associe ce produit scalaire est la norme .2 de L2 . On sait que cest un espace
complet.
5

Dfinition 2.9. Soit H un espace vectoriel sur C. On appelle produit scalaire sur H toute application, note (.|.)H ou bien
(.|.) : H 2 C vrifiant les proprits suivantes :
(1) u H, u = 0 (u|u) ]0, +[ ;
(a) u, v H, (u|v) = (v|u) ;
(b) (.|.) est bilinaire, cest dire lapplication u 7 (u|v) est linaire pour tout v H.

Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

58
Exercice 2.11. Dmontrer que si f L alors |f | f .
p.p.

En dduire que dans la dfinition de f = inf {C R, |f | C p.p.}, le inf est atteint, cest donc
un min.
Correction
Si f = cest vident. Sinon, par dfinition de la borne infrieure, il existe une suite (Cn )nN
{C R, |f | C p.p.} qui converge en dcroissant vers f . Pourtout n N il existe donc un
ngligeable An tel que |f | Cn sur X \ An . Lensemble A =
An , est donc ngligeable et
nN

n N, |f | Cn sur X \ A. En passant la limite quand n +, on obtient |f | f sur


X \ A ce qui dmontre le rsultat.
Exercice 2.12. On suppose que est une mesure finie, et soient 1 p q < , soit f Lp Lq et
soit r [p, q].
(1) Montrer quil existe h Lp et g Lq , h, g 0, telles que r [p, q] , |f |r hp + g q ;
(2) montrer que lim |f |r = |f |r p.p. ;
rr

(3) dduire de 1. et 2. que |f |r d |f |r d quand r r ;


(4) en dduire que lapplication 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
donc |f |r g + h.
r
p
|f | |f |
sur B
(2) Cest la continuit de la fonction r 7 y r (y 0). Mieux que p.p., on a lgalit partout sur X.
(3) Soit rn une suite de [p, q] qui tend vers r, et gn = |f |rn . Le thorme de convergence
domine,
1
p
q
1
appliqu la suite (gn ) L et la fonction dominante F = h +g L , montre que |f |rn d

|f |r d. (R est un espace mtrique donc la convergence squentielle entrane la convergence)


p
Etablir que
L = L
p1

Correction
(1)
(2) Si f
/ L alors pour tout m > 0, a (m) = ({|f | > m}) > 0 = ({|f |p > mp }) > 0. Or
(ingalit de Markov)

1
p
p
({|f | > m })
|f |p d
p
m
1

donc m ({|f | > m}) p f p . Comme ({|f | > m}) p 1, on peut trouver p0 tel que
p

< ({|f | > m})


p
donc f
/
L.
1
2

1
p

donc

m
2

< f p0 , ceci pour tout m > 0, ce qui prouve que f p0 = +

p1

Exercice 2.13. Soit 1 p < + et A T . On pose F = {f Lp , f = 0 p.p. sur A} et on veut


montrer que F est ferm dans Lp . Pour cela on dmontre que F contient les limites de ses suites
convergentes. Soit (fn ) est une suite de F qui converge dans Lp vers une fonction f et soit q tel que
1
+ 1q = 1.
p
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.0 Espaces Lp

59

(1) Soit g Lq . Majorez la quantit A fn gd A f gd en utilisant lingalit de Hlder pour


tablir que A f gd = 0
(2) Cas p = 1 : laide de fonctions caractristiques, exprimer une fonction g1 L telle que
f g1 = |f | sur X. Dduire de la question 1 que f F .
(3) Cas p > 1 : exprimer une fonction gp Lq telle que f gp = |f |p et conclure.
Correction
(1) Lingalit de Hlder permet dobtenir la majoration :









fn gd
f gd = fn gA d f gA d

A
A

|fn f | |gA | d
fn f p gA q
comme fn F et lim fn = f dans Lp , on en dduit que 0 = lim

n A

fn gd =

f gd

(2) g1 = {f >0} {f <0} est dans L et f g1 = |f |. Comme fn g1 F , on a donc A |f | d = 0 ce


qui prouve que f = 0 p.p. sur A.

(3) g = |f |p1 g1 vrifie f g = |f |p et |g|q d = |f |p |g1 |q d f p 1 g1q < + donc g Lq .


Comme de plus fn g F , on en dduit A |f | d = 0 donc f F .
Exercice 2.14. Dans cet exercice, (X, T , ) = (R, B (R) , ). Soit Cp := {f Lp , f 0 p.p.} et soit
f C1 .
Montrer quil existe n N tel que ({0 f n}) = 0. On pose A = {0 f n} T .
Soit m > n+1
un entier. Montrer quil existe B T , 0 < (B) m1 et B A.

On pose g = f X\B B . Etablir que f g1 < .


En dduire que C1 est dintrieur vide dans L1 .
Dmontrer que Cp , 1 p < + est dintrieur vide. (Il suffit de modifier lingalit qui dfinit
m)
(6) Etablir que C est dintrieur non vide. (On pourra montrer que x 7 1 Int (C ).)
(1)
(2)
(3)
(4)
(5)

Correction
(1) Supposons
que n N, ({0 f n}) = 0. Alors ({0 f 1}) = 0 donc f > 1 p.p. donc

f d > (X) = +[ce qui est


impossible car f L1 ..
[
k k+1
(2) En posant Bk = A m
, m , la famille (Bk )kZ T est une partition de A donc (A) =

(Bk ) > 0 donc il existe un k Z tel que 0 < (Bk ). De plus (Bk ) m1 < n+1
. On pose
nZ

B = Bk
(3) Comme 0 f + 1 n + 1 p.p. sur B A, on peut crire :

|f g| d =
|f g| d +
|f g| d
B
X\B

=
(f + 1) d
B

(n + 1) (B)

(4) On en dduit que pour tout lment f C1 , pour tout > 0, la boule f g1 < rencontre
L1 \ C1 , ce qui prouve que lintrieur de C1 est vide au sens de la norme .1
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

60

(
)p
(5) Prendre m > m+1
.

(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 qui
montre que g C .
Exercice 2.15. Dans cet exercice, X = R, T = B (R) et = . Soit f L1 , telle que f 0
p.p.

(1) Montrer quil existe n N tel que ({0 f n}) = 0. On pose A = {0 f n} T .


(2) Soit m > n+1
un entier. Montrer quil existe B T , 0 < (B) m1 et B A.

(3) On pose g = f X\B


{B . Etablir que}f g1 < .
(4) En dduire que C :=

f L1 , f 0

est dintrieur vide dans L1 .

p.p.

(5) Montrer que C est dintrieur vide pour p < + et dintrieur non vide pour p = +.
Correction
(1) En posant An = {0 f n}, qui est une suite croissante de T , on a lim (An ) = + puisque
n

f 0 p.p. Donc il existe


n
[ kunk+1
[ N tel que (An ) = 0 et on pose A = An .
(2) En posant Bk = A m , m , la famille (Bk )kZ T est une partition de A donc (A) =

(Bk ) > 0 donc il existe un k Z tel que 0 < (Bk ). De plus (Bk ) m1 < n+1
. On pose
nZ

B = Bk
(3) Comme 0 f + 1 n + 1 p.p. sur B A, on peut crire :

|f g| d =
|f g| d +
|f g| d
B
X\B

=
(f + 1) d
B

(n + 1) (B)

(4) On en dduit que pour tout lment f C, pour tout > 0, la boule f g1 < rencontre
L1 \ C, ce qui prouve que lintrieur de C est vide.
Exercice 2.16. On se propose dtudier les espaces Lp dans le cas 0 < p < 1. Soit q le conjugu de p.
(1) On veut dmontrer lingalit suivante pour f Lp , et g Lq deux fonctions positives :
) 1q
(
) p1 (

q
p
(2.0.5)
g d
f gd
f d

(a) Montrer que lingalit (2.0.5) est vraie si g q d = 0.


(b) Montrer que lingalit (2.0.5)
est vraie lorsque f g
/ L1

(c) On suppose que f g L1 et g q d = 0. Montrer que lingalit (2.0.5)


est vraie. On pourra
poser F = (f g)p et G = g p , et appliquer lingalit de Hlder F Gd, F a et Gb
avec a = p1 et b bien choisi.
(2) On veut montrer lingalit de Minkowski pour f, g Lp deux fonctions positives :
(
) p1 (
) p1
(
) p1
p
p
p
(2.0.6)

f d
+
g d
(f + g) d
tablir (2.0.6) dans les cas suivants :
( p ) p1
( p ) p1
(a)
f d = ou bien
g d = ;
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.0 Thormes de densit

61

(
)1
(b)
(f + g)p d p = 0 ;
(c) autre cas (utiliser (2.0.5)).
Correction
(1) On remarque
tout dabord que q < 0.
q
(a) g d = 0 et g 0 p.p. donc g q = O p.p. et q < 0 g = + p.p.. Si f = 0 p.p. alors
f g = 0 p.p. et (2.0.5)
est vraie, sinon f gd = et lingalit est galement vrifie.

(b) si f g
/ L1 alors f gd = + lingalit est vrifie.
a
(c) On choisit a = p1 > 1, et b = a1
> 1 son conjugu. On peut appliquer lingalit de Hlder
FG :
F G1 F a Gb
On calcule F G = f p , F a = f g et Gb = g q . Lingalit leve la puissance a devient
( p ) p1
(
)a
f d f gd g q d b et le rsultat sen dduit sans difficult.
( p ) p1
(2) Posons Np (u) =
u d et h = (f + g)p1 on crit (f + g)p = f h+gh avec h = (f + g)p1 .
On vrifie que h Lq et on applique lingalit (2.0.5) f h et gh :

p
(f + g) d =
f hd + ghd
Nq (h) (Np (f ) + Np (g))
qui conduit au rsultat aprs quelques manipulations.
Exercice 2.17. Une suite (fn )nN converge en mesure vers une fonction f M si et seulement si >
0, lim ({|fn f | }) = 0. tablir que :
n

(1) si (fn )nN converge en mesure vers f , alors cette limite est unique presque partout ;
(2) la convergence uniforme entrane le convergence en mesure ;
(3) la convergence presque partout nentrane pas la convergence en mesure : considrer la suite de
fonctions fn = [n,n+1] ;
(4) la convergence en mesure nentrane pas la convergence presque partout : considrerfn = [ j , j+1 ]
(5)
(6)
(7)
(8)

avec n = j + 2k et j = 0, 1, . . . , 2k 1, k N ;
la convergence dans Lp , 1 p < entrane la convergence en mesure ;
la convergence domine dans Lp entrane la convergence en mesure ;
la convergence en mesure nentrane pas la convergence faible : considrer fn = n[0, 1 ] ;
n
la convergence domine en mesure entrane la convergence faible.

2k

2k

Correction
TODO
Thormes de densit
Exercice 2.18. La mesure est suppose finie. Soient p < q deux rels de [1, +] conjugus ( p1 + 1q =
1). Montrer que Lq est dense dans Lp .
Correction
TODO
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

62

Exercice 2.19. La mesure est suppose finie. Montrer que si f est une fonction mesurable, alors
lim f p = f
p

Correction
TODO
Exercice 2.20. La mesure est suppose finie. Montrer que
une fonction mesurable, alors lim f p = f

Lp = L . On admettra que si f est

p1

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 f f (. + h)p = 0 ;
h0

(3) pour p = : soit f = ]0,1[ et Cc .


(a) Montrez que f 12 et en dduire que Cc nest pas dense dans L ;
(b) calculer f f (. + h)p .
Correction
(1) On procde par tapes : fonctions indicatrices, E + , M+ , Lp puis Lp , le tout en norme Lp
(2) ...
(3) ...
(a) ...
(b) ...
Exercice 2.22. Quelle est lerreur dans le raisonnement suivant ?
Pour p [1, [ , lensemble 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
(2) par densit de Cb dans L1 , on peut trouver Cb qui approche 2 prs ;
(3) la fonction approche donc f 2 + 2 = prs.

prs ;

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 nest pas infrieur
2 .
Dualit
Exercice 2.23. Dmontrer la linarit de lapplication dans ?? page ??.
Correction
TODO
Universit de Pau

L3-Mathmatiquess

Intgration-2

2.0 Dualit

63

Exercice 2.24. Le but de cet exercice est de dmontrer le thorme 2.11 page 46. Soient p et q deux
rels de [1, +] conjugus ( p1 + 1q = 1). Soit g Lq et la fonction
: Lp R

f 7
f gd
(1) vrifier que est bien une forme linaire sur Lp ; on note |||||| sa norme ;
(2) en utilisant lingalit de Hlder, montrer que est continue sur Lp et que |||||| gq ;
(3) Cas 1 < p < :
{
g
(x) si g (x) = 0
q1
|g|
(a) soit la fonction f = g |g| o g est la fonction signe de g : g (x) =
.
0
si g (x) = 0
)|
Montrer que f Lp , et calculer |(f
en fonction de gq . En dduire que |||||| gq ;
f p
(b) conclure.
(4) Cas p = 1 (et est une mesure -finie) : soient > 0 et A = {x X, g |g (x)| g }.
(a) Montrer que (A ) > 0 et quil existe B A tel que 0 < (B ) < . (Utiliser lhypothse
que est une mesure -finie).
B
(f )
(b) Montrer que f = (B
g est dans L1 et f
g . Conclure.

)
1

Correction
(1) pour tout , R et pour tout u, v Lp on vrifie facilement que (u + v) = (u)+
(v).

(2) Pour toute fonction f Lp , lingalit de Hlder applique (f ) donne f gd |f g| d

| ugd|
f p gq ce qui montre que est continue et |||||| = sup u gq .
uLp

(3) Cas 1 < p < :


(a) Minoration de |||||| : f appartient Lp car6 |f |p = |g|p(q1) = |g|q et g Lq . Donc
gqq
1
gqp

= gq do lon dduit |||||| = sup

uLp

|(u)|
up

|(f )|
f p

|(f )|
f p

= gq

(b) Les ingalits tablies en 2. et 3. montrent que |||||| = gq .


(4) Cas p = 1 (et est une mesure -finie) :
(a) si (A ) tait nul, on aurait |g (x)| < g ou |g (x)| > g ce qui est impossible
p.p.

p.p.

par dfinition de g(
. Si (Bi )iI est)un recouvrement dnombrable de X avec (Bi ) <

(A Bi ) . Il existe donc un i I tel que B = A Bi A


alors 0 < (A ) =
iI

est de mesure 0 < (B ) < .


B

B
(b) f est mesurable et |f | d = (B
d
=
1
donc
f

=
.
De
plus

(f
)
=
|g| (B
d
1
)
)
)|
g . Ainsi, pour tout > 0, |||||| |(f
g donc |||||| g ce qui
f 1
permet de conclure avec 2. que |||||| = gq .

Exercice 2.25. Soient p et q [1, +[ conjugus ( p1 + 1q = 1). On dit que la suite (fn )nN Lp
converge faiblement vers la fonction f Lp (et on trouve aussi la notation fn f ) si et seulement si

q
(2.0.7)
fn gd = f gd
g L , lim
n

Par opposition, la convergence de (fn )nN dans Lp est dite convergence forte.
6

(
)(
)
g = 1 {g=0} {g>0} {g<0} est mesurable.

Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

64

(1) Justifier que fn converge faiblement vers f si et seulement si pour toute forme linaire continue
sur Lp , on a (fn ) (f ) (dans R) quand n + ;
(2) montrer que la convergence forte entrane la convergence faible ;
(3) pour la rciproque, examiner le contre-exemple suivant : Lp = L2 ([0, 2] , B ([0, 2] , )), mesure 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 ralises, alors (fn )nN converge
fortement vers f :
(a) fn f ;
(b) fn 2 f 2 dans R.
Correction
(1) Utiliser le thorme de reprsentation de Riesz.
(2) Lingalit de Hlder donne :



fn gd f gd
|(fn f ) g| d


fn f p gq
qui montre le rsultat.
2
(3) Le thorme
2 de Riemann-Lebesgue (sries de Fourier) montre que si g L ([0, 2]), alors
bn = 0 sin (nx) g (x) dx 0 lorsque n +. Donc fn f faiblement. Dautre part
2
fn fm 22 = 0 (sin (nx) sin (mx))2 dx = 2 donc la suite (fn )nN nest pas de Cauchy
dans L2 .
(4) On dveloppe :

2
2
(fn f ) d =
fn d 2 f fn d + fn2 d

2
= fn 2 2 f fn d + f 22

on utilise fn 22 f 22 , et f fn d f 2 d = f 22 car f L2 .
Exercice 2.26. X = [0, 1]. Soit
un =
(1) Montrer que

] 2k , 2k+1 [ ] 2k+1 , 2k+2 [


2n

2n

2n

2n

0k<n

un d 0 ;
n

(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, aprs avoir justifi de leur existence, les produits de convolution suivant :
(1)
(2)
(3)
(4)

f g avec f = [a,a] et g = [b,b] , a > b > 0 ;


f f , puis f f f avec f = [0,1] ;
ga ga avec ga (x) = ea|x| , a > 0 ;
1
fa fb avec fa (x) = xia
, a > 0;

Universit de Pau

L3-Mathmatiquess

Intgration-2

2.0 Convolution

65

Correction

si x [0, a b]
2b
(1) f g est paire car f et g le sont. f g (x) = a + b x si x [a b, a + b]

0
si x [a + b, +]

0
si x 0

x
si 0 x 1
(2) (a) f f (x) =

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
2
=
y[0,1] (x y) dy +
(2 y) [0,1] (x y) dy
0
1
x1
x
=
(x z) [0,1] (z) dz +
(2 x + z) [0,1] (z) dz
x2
x1
{z
} |
{z
}
|
I1 (x)

I2 (x)

On distingue quatre cas :


si x 0 ou x 3 alors f 3 (x) = 0
x
2
0 x 1 alors I2 = 0 et f 3 (x) = I1 (x) = 0 (x z) dz = x2
x1
1
et I2 (x) = 0 (2 x + z) dz =
1 x 2 alors I1 (x) = x1 (x z) dz = (x2)x
2
2
2
x 4x+3
do f 3 (x) = 2x 6x+3
2
2
1
2
3
2 x 3 alors I1 = 0 et f (x) = I2 (x) = x1 (2 x + z) dz = x 4x+3
2
(3) ga est paire donc ga ga lest galement. On suppose donc x 0 et on calcule lintgrale en
distinguant les cas t 0, t [0, x] et t x

ga ga (x) =
ea|t| ea|xt| dt
R

a|t| a|xt|
a|t| a|xt|
=
e
e
dt +
e
e
dt +
ea|t| ea|xt| dt
t0
t[0,x]
tx

=
eat ea(xt) dt +
eat ea(xt) dt +
eat ea(xt) dt
t0
t[0,x]
tx

= eax
e2at dt + eax
dt + eax
e2at dt
t0

t[0,x]

tx

1
1
+ xeax + eax e2ax
2a
2a
)
(
1
+x
= eax
a
(
)
finalement : ga ga (x) = ea|x| a1 + |x|
= eax

Exercice 2.29. Soit un = n[0, 1 ] . Calculer, aprs avoir justifi de leur existence, les produits de
n
convolution un f et un un f dans les cas suivants :
(1) f = [a,a] ;
(2) f (x) = ea|x| , a > 0 ;
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

66
(3) Observez la rgularit de chacune des fonctions. Que constate-t-on ?
Correction

Exercice 2.30. On considre lespace mesur (R, B (R) , ) o est la mesure de Lebesgue.
On note Cc lensemble des fonctions continues support compact de R dans R ou C.
On appelle approximation de lunit toute suite de (n )nN L1 (R) de fonctions vrifiant7 :
(1) pour tout n N, n est support dans In = [tn , tn ] o tn > 0 et lim tn = 0 ;
n

(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
lim n g = g

(2.0.8)

dans Lp (R) , 1 p
(1) Donner un exemple dapproximation de lunit.
(2) Soit g Cc . Justifier que g est uniformment continue. On pose n =
montrer que
n =

(2.0.9)

sup |g (x) g (y)|

|xy|<tn

sup |g (x) g (y)| 0

|xy|<tn

n+

(3) Soit x R. Montrer que


|(n g) (x) g (x)| M n

(2.0.10)

(4) Montrer quil existe A > 0, indpendant de n, tel que le support de n g g soit inclus dans
[A, A]. Pour cela :
(a) Justifier que I =
In est un intervalle du type I = [T, T ].
nN

(b) Soit K = [R, R] tel que g est nulle en dehors de K et soit t


/ I + K. tablir que pour tout
n N et pour presque tout y R, n (y) g (t y) = 0, en dduire que (n g) (t) = 0.
(c) Conclure.
(5) Dduire des questions prcdentes 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). Dmontrer que n g gp 0 quand n +.
Indication : en utilisant la densit de lensemble Cc dans Lp (R), crire n g g comme la somme
de trois termes : (n g n h) + (n h h) + (h g) o h est une fonction bien choisie. On
rappelle enfin que pour u L1 (R) et v Lp (R), on a u vp u1 vp .
Correction
(1) Exemplefn = 2n[ 1 , 1 ] ,
n n

(a) suppfn = [tn , tn ] avec tn =


(b) f
n 1 = 1, M = 1
(c) fn = fn 1 = 1
7

1
n

0 quand n +

Dfinition plus restrictive que celle donne en cours.

Universit de Pau

L3-Mathmatiquess

Intgration-2

2.0 Convolution

67

(2) g est uniformment continue car elle est continue sur un compact. Soit > 0. Par luniforme
continuit de g, > 0, sup |g (x) g (y)| < . Comme tn 0 pour , on peut trouver N N
|xy|<

tel que si n > N alors 0 tn . Donc pour n > N on a donc n =


sup |g (x) g (y)| < ce qui montre le rsultat.

sup |g (x) g (y)|

|xy|<tn

|xy|<

(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

sup |g (x y) g (x)|
|fn (y)| dy
yIn

yIn

sup |g (z) g (x)| M

|zx|tn

= M n
(4)
(a) La suite (tn )nN est convergente donc il existe un rang N , tel que 0 tn t0 pour tout
n N . En posant T = sup tn = max tn , on obtient I = [T, T ].
nN

0nN

(b) Soit y R. Si y I alors t y


/ K, donc g (t y) = 0 donc n (y) g (t y) = 0. Si
y
/ I alors n (y) = 0 donc n (y) g (t y) = 0, cette dernire assertion est vraie seulement
presque partout.
(c) En posant A = T + R, on a I + K = [A, A]. Daprs la question prcdente, n g est nul
en dehors de I + K et par hypothse il en est de mme pour g.
(5) Convergence de n g vers g dans Lp (R) :
(a) p = : dans lingalit (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 :

p
(fn g) gp =
|(fn g) g|p

=
|(fn g) g|p
[A,A]

2A (M n )p
qui tend vers 0 quand n + grce (2.0.9).
(6) Soit > 0. Par densit de Cc dans Lp (R), il existe une fonction h Lp (R) telle que g hp

. On a alors
2(M +1)
n g gp n (g h) + (n h h) + (h g)p
n (g h)p + n h hp + h gp
n 1 g hp + n h hp + g hp
(M + 1) g hp + n h hp

+ n h hp
2
Pierre Puiseux

2012

Chapitre 2. Les espaces Lp

68
On conclut en utilisant la question (5) et le fait que h Cc .
Voir [Marco] p. 302.

Universit de Pau

L3-Mathmatiquess

Intgration-2

3.1 Dfinitions et proprits lmentaires

69

CHAPITRE 3

Analyse hilbertienne et espace L2


Dans ce chapitre, H dsigne un espace de Hilbert sur C, comme dfini plus bas, en 3.2 page suivante.
(1) On suppose connues certaines dfinitions et proprits lmentaires des espaces de Hilbert, que
lon
dans
une premire partie. On dmontre que lespace L2C (X, T
{ rappelle succinctement
}

, ) =
f : X C, |f |2 d < + est un espace de Hilbert muni du produit scalaire (f |g) = f gd.
(2) On sattarde dans une deuxime partie, sur une caractristique plaisante des espaces de Hilbert :
H = H (H dual topologique de H). Ce rsultat est obtenu en montrant que toute forme linaire
continue sur H est de la forme (u) = (u|v) o v H. Il sagit l dune forme particulire du
thorme de reprsentation de Riesz.
(3) (hors programme L3) On dveloppe ensuite la notion de base hilbertienne, qui peut tre vue comme
une extension de la notion de base orthonorme dans un espace vectoriel. Une base hilbertienne
est une base orthonorme comprenant un nombre infini de vecteurs. Lorsque H est sparable, la
plupart des proprits des bases orthonormes (finies) subsistent :
si H est sparable, alors il existe une base hilbertienne dnombrable (en )nN , et comme dans
le cas fini, tout lment u de H peut sexprimer sur cette base, comme somme dune srie

u =
u n en
nN

o les coefficients un (les coordonnes) ont une expression simple : un = (u|en ).


Cette srie possde en outre la proprit remarquable
de convergence
commutative
: si :
N I est une numrotation (i.e. une bijection) alors
un en =
u(n) e(n) =
ui ei on
nN

nN

iI

peut sommer dans nimporte quel ordre.


Comme dans le cas fini le carr de la norme dun vecteur est la somme (infinie) des carrs de
ses coordonnes (identit de Bessel), et
le produit scalaire de deux vecteurs est la somme (infinie) des produits de leurs coordonnes
(identit de Parseval).
(4) Dans la section suivante, sur les sries de Fourier, on applique les rsultats qui prcdent lespace
H = L2C (]0, 2[ , B (]0, 2[) , ) : cest un espace de Hilbert car p = 12 est son propre
conjugu
1
1
+
=
1
|f g| d
et
lingalit
de
Hlder
devient
la
prcieuse
ingalit
de
Cauchy-Schwartz
:
p
p
{
}
f 2 g2 . On y dmontre que x 7 12 exp (inx) , n Z est une base hilbertienne de H et on
exploite cette proprit pour tudier la convergence des sries de Fourier.
3.1. Dfinitions et proprits lmentaires
Un point sur la terminologie (p.s.= muni dun produit scalaire) :
EVN
sur R / sur C

complet
p.s.
p.s.+dimension finie p.s.+complet
Banach pr-hilbertien euclidien / hermitien
Hilbert

Pour les proprits qui ne sont pas dmontres ici, on renvoie au cours Algbre bilinaire, espaces
euclidiens .
Pierre Puiseux

2012

Chapitre 3. Analyse hilbertienne et espace L2

70

Dans ce paragraphe, on se focalise sur le produit scalaire valeur dans C. Le produit scalaire valeurs dans R possde des proprits trs voisines, qui se dmontrent de manire analogue ce qui est
prsent ici.
Dfinition 3.1. (Produit scalaire) Soit H un espace vectoriel sur C. On appelle produit scalaire sur H
toute application, note (.|.)H ou bien (.|.) : H 2 C vrifiant les proprits suivantes :
(1) u H, u = 0 (u|u) ]0, +[ ;
(2) u, v H, (u|v) = (v|u) ;
(3) (.|.) est sesquilinaire, cest dire lapplication v : u 7 (u|v) est linaire pour tout v H.
Un espace vectoriel muni dun produit scalaire valeurs complexes est dit pr-hilbertien (et hermitien
sil est de dimension finie).
1

Proposition 3.1. La fonction u H 7 uH = (u|u) 2


vrifie lingalit de Cauchy-Schwartz : u, v H, |(u|v)| uH vH , avec galit si et
seulement si u = 0 ou v = 0 ou u = kv, k C.
est une norme sur H ;
vrifie lgalit du paralllogramme : u, v H, u + v2H + u v2H = 2 u2H + 2 v2H .
vrifie lgalit : u, v H,u + v2H = u2H + v2H + 2 (u|v)
Dmonstration. La dmonstration des rsultats est exactement la mme que celle du cours Algbre bilinaire, espaces euclidiens (dimension finie, espace hermitien) :
Cauchy-Schwartz : si u = 0 ou v = 0, lingalit est vrifie (on a mme galit). Sinon, u = 0
et v = 0, on crit pour C, 0 P () = u + v2H . En prenant = (u|v) , R, on
obtient aprs quelques calculs lmentaires : 0 2 v2H + 2 |(u|v)| + u2H ce qui impose un
discriminant 0 cest dire lingalit recherche. On a galit si et seulement si = 0. Si
= 0 alors il existe 0 C qui annule P () donc u = 0 v. Rciproquement si u = kv, k C
alors |(u|v)| = |k| v2H = u2 v2 .
On en dduit lingalit triangulaire par u + v2H u2E + 2 |(u|v)| + v2E u2E +
2 uE vE + v2E ce qui montre que .H est une norme.
Un simple dveloppement des produits scalaires donne le rsultat.


Dfinition 3.2. Un espace de Hilbert est un espace pr-hilbertien complet pour la norme induite par
le produit scalaire. Autrement dit, cest un espace de Banach dont la norme provient dun produit
scalaire.
{
}

Proposition 3.2. Soit (X, T , ) un espace mesur et L2C = f : X C, |f |2 d < + . Alors

(1) lapplication (f, g) L2C L2C 7 f gd est un produit scalaire et la norme f 2 = |f |2 d


provient de ce produit scalaire ;
(2) L2C (muni de cette norme) est un espace de Hilbert. Lingalit de Cauchy-Schwartz et lingalit
de Hlder ne font quune.
Dmonstration. Voir exercice 2.10 page 57
Universit de Pau

L3-Mathmatiquess


Intgration-2

3.1 Dfinitions et proprits lmentaires

71

Exemple. Pour (X, T , ) = (N, P (N) , m) o m est la mesure du comptage, lespace L2C est lespace

2C (N) des suites complexes x = (xn )nN telles que x22 =


|xn |2 < . Cest un espace de Hilbert
nN

pour le produit scalaire (x|y) =


xn yn .
nN

Proposition 3.3. (Continuit du produit scalaire.)


(1) Lapplication (u, v) H 2 7 (u|v)H C est continue.
(2) Pour tout u H, lapplication
u : H C
v 7 (u|v)
est une forme linaire continue sur H donc u H et |||u ||| = uH .


Dmonstration.

(1) Il suffit de montrer1 que si (un , vn )nN est une suite de H 2 convergeant vers (u, v) dans H 2 ,
alors (un |vn ) (u|v). Pour cela on crit |(un |vn ) (u|v)| = |(un |vn v) (v|un u)| puis
on utilise deux fois lingalit de Cauchy-Schwartz : |(un |vn ) (u|v)| un H vn vH +
vH un uH do lon dduit le rsultat pour n +, car (un , vn ) (u, v) dans H 2 implique un u et vn v dans H quand n +.
(2) La continuit de u est une consquence directe de la continuit de (u, v) 7 (u|v)H .
Calculons la norme de u : pour tout v H,|u (v)| uH vH donc |||u ||| uH dautre
part |u (u)| = u2H donc |||u ||| uH .
Dfinition 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 lensemble des lments de H orthogonaux tous les
lments 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 ;
Dmonstration. (1) On vrifiera titre
dexercice que A est bien un espace vectoriel. Il est ferm
comme intersection de ferms A =
a o a = 1
a ({0}) est ferm car a : y 7 (a|y) est
aA

continue.

(2) A A A A (pourquoi ?). Rciproquement soit x A , soit y A alors y est limite


dune suite (yn )nN A donc n N, (x|yn ) = 0 et par continuit de y
7 (x|y) on obtient
( )
lim (x|yn ) = 0 = (x|y) donc x A .
( )
(3) soit x A alors soit y A donc (x|y) = 0 donc x A .

1

Dans un espace mtrique, (en particulier dans un espace vectoriel norm), la continuit squentielle quivaut la continuit.

Pierre Puiseux

2012

Chapitre 3. Analyse hilbertienne et espace L2

72

Proposition 3.5. (Pythagore) Soit une famille finie (ui )1in H de vecteurs deux deux orthogo 2


ui 2H .
naux (i = j (ui |uj ) = 0). Alors
ui

=
1in

1in

Dmonstration. Voir cours Algbre bilinaire, espaces euclidiens. (Par rcurrence).

3.2. Dualit dans un espace de Hilbert


Dans cette section, on dmontre le thorme de reprsentation de Riesz enonc dans le cadre des
espaces Lp , 1 p < (voir 2.12 page 47), mais dans le cas dun espace de Hilbert. Le thorme
central de cette section snonce ainsi :
Thorme 3.1. Un espace de Hilbert H est isomtriquement isomorphe son dual topologique H .
Remarque. On fera souvent mais pas toujours lidentification 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
lment de C, appel projection de a sur C, ou bien la meilleure approximation de a dans C, not
PC (a) ou PC a, ou encore P a et qui vrifie :
a PC aH = min {a vH , v C}
et ce minimum est appel la distance de a C et not d (a, C).
Dmonstration. en deux temps : existence et unicit.
(1) Posons d := d (a, C) = inf {a vH , v C}. Comme d est une borne infrieure dans R, il
existe une suite (vn )nN C telle que a vn H d quand n +. Montrons que cette suite
est de Cauchy dans H, en utilisant lidentit du paralllogramme :
vn vm 2H = (a vm ) (a vn )2H
= (a vm ) + (a vn )2H + 2 a vm 2H + 2 a vn 2H

2


v
+
v
m
n
+ 2 a vm 2 + 2 a vn 2
= 4
a

H
H


2
H


n
n
C donc a vm +v
dune part C est convexe donc vm +v
d, dautre part a vm H d
2
2
H
lorsque m et a vn H d quand n +. Pour
( 2 > )0 donn,
( 2 onpeut
) donc trouver un
2
2
N tel que si m, n > N alors vn vm H < 4d + 2d + 2 + 2d + 2 = ce qui montre
que (vn ) est de Cauchy dans H. La suite (vn ) est donc convergente, puisque H est complet et sa
limite v est dans C puisque C est ferm. Enfin, par continuit de la norme, a vH = d ce qui
achve cette partie de la dmonstration.
(2) Lunicit de v = PC a est obtenue en supposant que w C vrifie a wH = a vH . En
utilisant encore lidentit du paralllogramme, on crit :
v w2H = (a w) (a v)2H

2

v + w

+ 4d2
= 4 a +
2 H


a + v+w 2 d2 donc v w2 4d2 + 4d2 = 0. Si lon suppose
et comme v+w

C,
on
a
H
2
2
H
v = w, cest impossible.
Universit de Pau

L3-Mathmatiquess

Intgration-2

3.2 Dualit dans un espace de Hilbert

73

Pa

Fig. 3.2.1. Projection sur un convexe ferm



Proposition 3.7. (caractrisation de la projection) Soit C H est un convexe, ferm, non vide et
a H. Soit a0 C. Alors
a0 = PC a

v C, R (a a0 |v a0 ) 0

Dmonstration. () Soit a0 vrifiant v C, R (a a0 |v a0 ) 0. On veut montrer que a0


vrifie v C, a a0 2H a v2H , or
a v2H = (a a0 ) (v a0 )2H
= a a0 2H + v a0 2H 2R (a a0 |v a0 )
a a0 2H
() Supposons maintenant que a0 = PC a 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 w2H
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 dduit que t2 v a0 2H 2t (a a0 |v a0 ) 0 puis en faisant tendre t vers 0 on obtient le
rsultat.

Remarque.
(1) Si H est un Banach, le rsultat est faux. En exercice, on tudiera un exemple.
(2) Si C nest pas convexe, cest lunicit qui est prise en dfaut (penser une couronne dans le plan
C = D (0, 2) \ D (0, 1), la projection de (0, 0) sur C nest pas unique).
(3) Si C nest pas ferm le rsultat est galement faux (penser la projection orthogonale sur le disque
ouvert D (0, 1) dans R2 ).
Pierre Puiseux

2012

Chapitre 3. Analyse hilbertienne et espace L2

74

(4) Intuitivement, le produit scalaire ngatif sinterprte comme deux vecteurs qui pointent vers deux
directions (plus ou moins) opposes.
Proposition 3.8. Soit C H un convexe, ferm, non vide. Alors lapplication
PC : H C
a 7 PC a
est contractante.
Dmonstration. Pour u, v H, on dcompose u v = (u P u + P v v) + (P u P v) et on
obtient :
u v2H = u P u + P v v2H + P u P v2H + 2 (u P u|P u P v) + 2 (P v v|P u P v)
P u P v2H
en utilisant deux fois la caractrisation 3.7 page prcdente.

Dans le cas ou C est un sous espace vectoriel ferm de H, on a une caractrisation commode du projet
de a sur C, donne par la proposition suivante :
Proposition 3.9. Soit F un sous espace vectoriel ferm de H, a H. Alors
{
a a0 F et
a0 = PF a

a0 F
Dmonstration.
() Si a a0 F et a0 F alors f F, R (a a0 |f a0 ) = 0 0 car f a0 F ce qui
prouve que a0 = PF a en utilisant 3.7 page prcdente.
() Si a0 = P a on veut montrer que a a0 F . Soit f F . On applique la caractrisation
(3.7) au vecteur v = a0 + f ( C sera choisi plus loin) pour obtenir : R (a a0 |f ) 0 donc
R ( (a a0 |f )) 0 on peut maintenant choisir = (a a0 |f ) et on obtient |(a a0 |f )|2 0
ce qui montre que a a0 F .

Dfinition 3.4. Soit F un sous espace vectoriel ferm de H ;
(1) pour u H, le vecteur PF u est appel projection orthogonale de u sur F .
(2) loprateur 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 (algbrique) associ cette somme directea ;
(3) F = F .
a

Rappelons qutant donn E un espace vectoriel, lcriture E = F G signifie que F et G sont deux sous espaces de E
et tout lment u E admet une dcomposition unique u = x + y, o (x, y) F G. Les applications PF : u 7 x et
PG : u 7 y sont appeles projecteurs algbriques sur F et G.

Dmonstration. Soit u H, alors u peut scrire


u = (u PF u) + PF u
avec u PF u F et PF u F
Universit de Pau

L3-Mathmatiquess

Intgration-2

3.2 Dualit dans un espace de Hilbert

75

(1) on en dduit que H = F + F . Si u F F alors (u|u) = 0 donc u = 0 donc la somme est


directe.
(2) La dcomposition de u H crite ci-dessus montre que PF et IH PF sont les deux projecteurs
algbriques sur F et F .
( )
( )
( )
(3) On sait que F F (pourquoi ?). Montrons que F
F . Soit u F . crivons
la dcomposition de u sur F F : u = (u PF u) + PF u avec u PF u F . Dautre part
( )
( )
( )
( )
u PF u F car u F et PF u F F . Donc u PF u F F = {0}
donc u = P u F .

Corollaire 3.1. Soit F un sous espace vectoriel de H. Alors F est dense dans H si et seulement si F
est rduit {0}.
F = {0}
( )
( )
F est un sous espace vectoriel ferm de H donc H = F F mais F = F donc H = F F
do on dduit facilement le rsultat.
F =H

Rsumons les proprits dorthogonalit 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 (algbrique) associ cette somme directe ;
(3) F = F .
Soit F un sous espace vectoriel quelconque de H. Alors
F = H F = {0}

(3.2.1)

3.2.2. Le thorme de reprsentation de Riesz. On rapelle que si E est un espace vectoriel, un


hyperplan est un sous espace vectoriel de codimension 1. On dmontre que F est un hyperplan si et
seulement si il existe une forme linaire dont F est le noyau.
Thorme 3.2. (Thorme de reprsentation de Riesz dans un Hilbert.)
Pour toute forme linaire continue H il existe un unique v H tel que u H
(u) = (u|v )H

(3.2.2)

On a plus prcisment :
ker est un hyperplan, cest dire dim (ker ) = 1
v =

(a0 )
a
(a0 |a0 ) 0

(ker ) o a0 = 0 est un vecteur quelconque de (ker ) .

Dmonstration.
(1) On vrifie lexistence :
si = 0, alors u = 0 vrifie (3.2.2) ;
Pierre Puiseux

2012

Chapitre 3. Analyse hilbertienne et espace L2

76

sinon (ker ) = {0}. En effet, si on suppose (ker ) = {0}, alors en vertu de 3.2.1 page
prcdente (que lon peut appliquer ker qui est ferm), on obtient ker = ker = H,
cest dire = 0. On choisit donc un a0 = 0 dans (ker )
Pour u H, on remarque que sa dcomposition sur H = ker (ker ) scrit
(u)
(u)
u = u
a0 +
a0
(a0 )
(a0 )
|
{z
} | {z }
u1 ker

u2 (ker )

(vrifiez !).
0)
0)
(u|a0 )H on pose alors v = (a(a
a0 qui est
Comme (u1 |a0 )H = 0 on obtient (u) = (a(a
0 |a0 )
0 |a0 )
le vecteur cherch.
(2) Vrifions lunicit : si v et v vrifient 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 )
b
(b0 |b0 )H 0

mais en vertu de lunicit de v , on a aussi v =


donc u0 et v0 sont dpendants.

(a0 )
a
(a0 |a0 )H 0

0)
donc (b(b
b0 =
0 |b0 )

(a0 )
a
(a0 |a0 ) 0

= 0,


Exemple 3.1. Dans H = R3 , les formes linaires sont toutes continues et de la forme : u =
(x, y, z) H, (u) = ax + by + cz, cest dire (u) = (u|v )H avec v = (a, b, c). Dans ce
cas particulier, on lit directement le vecteur v = (a, b, c) dans lexpression analytique de la forme
linaire. Il sagit bien du vecteur v construit dans la dmonstration ci-dessus. En effet : le noyau de
est lhyperplan dquation ax + by + cz = 0, et son orthogonal (ker ) est la droite engendre par
v , et pour tout u H on a (u) = (u|v )H .
Corollaire 3.2. Lapplication
: H H
v 7 v
o v (u) = (u|v)H est un isomorphisme isomtrique despace vectoriels.

Dmonstration.
(1) On vrifie facilement que est linaire.
(2) Le thorme de Riesz montre quelle est bijective.
(3) La norme de vaut 1 car pour tout v H, la proprit 3.3 page 71 nous donne |||v ||| = vH .


3.3. Bases hilbertiennes, sparabilit


Hors programme de L3
Universit de Pau

L3-Mathmatiquess

Intgration-2

3.3 Bases hilbertiennes, sparabilit

77

Dfinition 3.5. Base algbrique, base orthonorme, base hilbertienne. Soit E un espace vectoriel et
B = (ei )iI E une famille (finie, infinie dnombrable ou non dnombrable).
(1) On note VectB lensemble des combinaisons linaires finies dlments de B.
(2) La famille B est une base algbrique de lespace
vectoriel E si elle est :

libre : pour toute famille finie J I,


i ei = 0 j J, j = 0 ;
jJ

gnratrice : VectB = E.
(3) Lorsque E est un espace pr-hilbertien (cest dire muni dun produit scalaire valeurs relles ou
complexes), la famille B est orthonorme si (i, j) I 2 , (ei |ej ) = ij
(4) Lorsque E = H est un espace de Hilbert, la famille B est une base hilbertienne de H si elle
vrifie :
(a) B est orthonorme ;
(b) B est une partie totale de H cest dire VectB est dense dans H : VectB = H.
Proposition 3.12. Si H est sparablea, alors H admet une base hilbertienne dnombrable B =
{ei , i N}.
a

Un espace topologique est sparable sil contient une partie dnombrable et dense. Les espaces Lp (R) sont sparables
pour 1 p < mais L (R) ne lest pas.

Dmonstration. Par le procd dorthogonalisation de Graham-Schmidt. TODO

Remarque. Soit H un espace de Hilbert sur K. On dmontre que :


si H est de dimension finie, alors H admet une base hilbertienne finie ;
si H est de dimension infinie et H est sparable alors H admet une base hilbertienne dnombrable ;
si H est de dimension infinie et H non sparable alors alors H admet une base hilbertienne non
dnombrable. 2
Thorme 3.3. Soit B = {ei , i I} une base hilbertienne de H. Alors

|(u|ei )|2 , et la srie est commutativementa


(1) (identit de Bessel) Pour tout u H, u2H =
iI

convergente dans R ;
(2) pour tout u H, u =
(u|ei ) ei , et la srie est commutativement convergente au sens de la
iI

norme .H ;

(3) rciproquement, si u H vrifie u =


i ei et si la srie est commutativement convergente,
iI

alors i = (u|ei ) pour tout i I ;

(4) (identit de Parseval) pour tout u, v H, (u|v) =


(u|ei ) (v|ei ), et la srie est commutativement
iI

convergente.
a

Soit I dnombrable. Une srie

un , dun

espace vectoriel norm E est commutativement convergente

iI

si et seulement si
elle est convergente vers un vecteur u E et
u(n) converge vers u
pour toute numrotation : N I, la srie
nN

Dmonstration. Dans un premier temps, on suppose que I = N et on dmontre les proprits 1.


4. sans ladverbe commutativement .
2

Mais dans ce cas, on dmontre que tout lment u de H sexprime comme une somme o lensemble des termes non nuls
est dnombrable.

Pierre Puiseux

2012

Chapitre 3. Analyse hilbertienne et espace L2

78

(1) (Bessel) Soit u H.

(a) (Bessel en dimension finie) On pose Fn = vect {ei , 0 i n} et F =


Fn . F est lennN

semble des combinaisons linaires finies dlments de B. Pour tout lment v =


i ei
1in

Fn , le calcul du produit scalaire (v|ej ) donne (v|ej ) = j . Ce qui montre que v Fn

(v|ei ) ei
v =
1in

et par le thorme de Pythagore ( 3.5 page 72), on obtient v Fn :

|(v|ei )|2
(3.3.1)
v2H =
1in

(b) La suite relle d (u, Fn ) est dcroissante (car Fn Fn+1 ) minore par 0 donc convergente
+
dans R
. Comme de plus F est dense dans H, pour > 0, on peut trouver un lment de
v
Fn tel que v uH < . Il existe donc n N tel que v Fn , on en dduit que
nN

d (u, Fn ) u vH < ce qui montre que d (u, Fn ) 0.


(c) Le thorme de projection 3.9 page 74 nous indique quil existe un unique un = PFn u Fn
tel que d (u, Fn ) = u un H avec u un Fn . Le thorme de Pythagore donne alors
u2H = u un 2H + un 2H = d2 (u, Fn ) + un 2H et en faisant n on obtient
lim un 2H = u2H

(3.3.2)

(d) On remarque que uun F donc pour i n, (un |ei ) = (u|ei ). Lquation (3.3.1) applique
v = un
Fn , combine avec lquation (3.3.2) donne lidentit de Bessel.
(u|en ) en est convergente car un uH = d (u, Fn ) 0 quand n +.
(2) La srie u =
nN

(3) Soit (n )nN une suite vrifiant u = lim


i ei . Soit j N, alors en faisant le produit scalaire
n 0in
(
)

i ei |ej = j et par continuit de x 7 (x|ej ) il vient


par ej , on obtient pour tout n j :
0in

(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 =
(u|ei ) ei et finalement : (u|v) = limn
(u|ei ) (ei |v) =
(u|en ) (v|en ).
in

in

nN

(5) La
commutative est obtenu en remarquant que si : N I est une bijection, alors
( convergence
)
een = e(n) nN est une base hilbertienne, et on applique le thorme que lon vient de dmon

trer : pour u H on a u2H =


|(u|en )|2 puis u =
(u|en ) en puis pour v H, (u|v) =
nN
nN

(u|en ) (v|en ). Les sries invoques sont toutes convergentes, indpendemment de la bijection
nN

, cest pourquoi il est lgitime de les noter u =


(u|ei ) ei , etc...
iI


Proposition 3.13. (Caractrisation des bases hilbertiennes) La famille orthonorme B = {ei , i I}
est une base hilbertienne si et seulement si elle vrifie u H :
(3.3.3)

(i I, (u|ei ) = 0) u = 0

Dmonstration.
() Soit u H tel que (u|ei ) = 0, i I. Si B est une base hilbertienne, alors

u=
(u|ei ) ei = 0.
iI

Universit de Pau

L3-Mathmatiquess

Intgration-2

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 dja 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 lment 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, sparable est isomtriquement
isomorphe 2 (N).
Dmonstration. 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 =
un en H la meilleure approximation de u dans Fn est
nN

uk ek .
Pn u =
0kn

Dmonstration. Voir lexercice 3.15 page 84.

Exercices sur le chapitre 3


Exercice 3.1. Soient H un espace de Hilbert complexe, A Lc (H) une application linaire continue
de H dans lui-mme et y H. On rappelle que lapplication y : x H 7 (x|y) est dans H et
|||y ||| = yH .
(1) Appliquer le thorme de reprsentation de Riesz y A pour montrer quil existe un unique
y H tel que pour tout x H, (Ax|y) = (x|y ). On appelle adjoint de A, et on note A ,
lapplication y 7 y .
(2) Montrer que A Lc (H) et |||A ||| |||A|||.
(3) Montrer que (A ) = A et en dduire que |||A||| = |||A |||.
Correction
(1) Rappelons que la norme de la compose de deux applications linaires A et B vrifie |||A B|||
|||A||| |||B|||. Pour tout y H, comme y A H , le thorme de Riesz nous assure de lexistence de y H tel que y A = (.|y ) qui vrifie de surcrot : y H = |||y A|||. Loprateur
A est donc caractris par (x, y) H 2
(Ax|y) = (x|A y)

(3.0.1)
(2) Pour tout y H, on a

|||A |||

A yH
y H
=
yH
yH

Or
y H = |||y A|||
|||y ||| |||A|||
= yH |||A|||
Donc y H,
Pierre Puiseux

y H
yH

|||A||| do le rsultat.
2012

Chapitre 3. Analyse hilbertienne et espace L2

80

(3) Loprateur A est caractris par (x, y) H 2 , (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 cest un Hilbert, donner une expression du produit scalaire (en fonction de .H ).
(2) Supposons que lidentit du paralllogramme est vrifie. Montrer que cest un Hilbert pour un
produit scalaire que lon dterminera.
(3) En dduire que (H, H ) estun Hilbert si et seulement si lidentit du paralllogramme est vrifie.
Correction
(1)

(
1
2

)
a + b2H a b2H = (a|b)

Exercice 3.3. Soient g = }0 H = L2 et g : f L2 7 (f |g). On dfinit lensemble S =


{
f L2 , g (f ) = |||g |||2 .
{
}
(1) Montrer que S = f L2 , g (f ) = g22 .
(2) Montrer que g est un lment de norme minimale dans S.
(3) Montrer que tout autre lment de norme minimale est gal g p.p..
Correction
(1) On sait que |||g ||| = g2 (voir la proposition 3.3 page 71).
(2) Si f S alors (f |g) = g22 f 2 g2 donc g2 f 2 ce qui montre que g est de norme
minimum.
(3) Soit f S telle que f 2 = g2 alors on est dans les cas dgalit dans lingalit de CS, donc
f = g au sens L2 donc || = 1 donc = ei , R. Dans ce cas, (f |g) = g22 = ei (g|g) =
ei g22 donc = 0 et f = g dans L2 .

fn
Exercice 3.4. Soit (fn )nN une suite de L2R dlments deux deux orthogonaux. Montrer que
nN

fn converge dans
fn 22 converge. (Exprimer que la srie
converge dans L2 si et seulement si
nN

nN

L2 si et seulement si elle est de Cauchy)


Correction

)2

fn converge dans L si et seulement si


fn converge, si et seulement si elle est
nN
(
)2
(
)2

2
fk 2 . La srie
fn converge, si et seulement
de Cauchy. On pose sn =
fk et n =
La srie

nN

kn

kn

si pour tout > 0 il existe N N tel que si m n > N alors sm sn 2H < , cest dire, en
2




fk 2H < . Donc fn est convergente si
fk =
utilisant le thorme de Pythagore :
n<km
n<km
2
et seulement si elle est normalement convergente.
Universit de Pau

L3-Mathmatiquess

Intgration-2

3.4 Exercices sur le chapitre 3

81

Exercice 3.5. Considrer les fonctions f = [0,1] et g = [1,2] pour tablir que Lp nest pas un espace
de Hilbert si p = 2.
Correction
Utiliser lidentit du paralllogramme
Exercice 3.6. Distance un sous-espace. Soit H un espace de Hilbert et V un sous ev ferm de
codimension 1 (cest dire tel que dim V = 1). Soient a V , a = 0, u H et P u le projet
orthogonal de u sur V .
(1) tablir que P u est de la forme P u = u a.
(2) Calculer en exprimant que P u est orthonal a.
(3) Montrer que la distance d (u, V ) est donne par d (u, V ) = aH .
Correction
Notons P est la projection orthogonale sur V (convexe
{ ferm). Pour u H, u = P u + (u P u) est
u P u = a V
la dcomposition de u sur H = V V cest dire
donc P u = ua V .
Pu V
De la relation dorthogonalit (u a|a) = 0, on en dduit la valeur de =
u V , qui est la norme de u P u : d (u, V ) =

|(u|a)|
.
aH

(u|a)
a2H

puis la distance de

Exercice
3.7. Exemple de projection. (Utiliser lexercice (3.6)). On note H = L2 ([0, 1]) et on dfinit
{
HK

:
f 7 f d
{
}

(1) Montrer que V = f H : [0,1] f d = 0 est un hyperplan ferm de H ;


(2) dterminer le vecteur a associ par le thorme de Riesz ;
(3) en dduire V ;
(4) dterminer le projet sur V de la fonction f : x 7 x2 ;
(5) calculer la distance de f V ;
Correction
(1)
(2)
(3)
(4)

V est le noyau de H cest donc un hyperplan. Il est ferm car V = 1 {0} et est continue.
a = 1
V = Vect (a )
|a )
Daprs lexercice (3.6), on a PV f = f a avec = (f
= 31 donc PV f (x) = x2 13 .
a 2

(5) d (f, V ) = a 2 =

1
3

Exercice 3.8. Exemple de projection orthogonale. On note H = L2R ([1, 1]).


{
}

(1) Montrer que W = f H : [1,0] f d = [0,1] f d est le noyau dune forme linaire que
lon dterminera ;
(2) dterminer le vecteur a associ par le thorme de Riesz ;
(3) dterminer W ;
(4) dterminer la distance de la fonction f (x) = x2 W et le projet de f sur W .
(5) dterminer la
distance de u W , et tracer u et PW u dans les cas suivants :
(a) u (x) =
Pierre Puiseux

|x|
x

2012

Chapitre 3. Analyse hilbertienne et espace L2

82
(b) u (x) = x2
(c) u (x) = x
Correction
(1) La forme linaire est donne par

f d

(f ) =
[1,0]

f d
[0,1]

(
)
f [1,0] [0,1] d

[1,0]

(2) a = [1,0] [0,1] et a 2 = 2


(3) W = Vect (a )

(f |a )
2 2
2
(4) PW f = f a avec =
=
2 = 3 et d (f, W ) = 3
a 2

Exercice 3.9. Quelle est la distance dans 2 de x = (1, 0, . . . , 0, . . . ) au sous espace Vn =

y 2 :

1kn

Correction
Exercice 3.10. Espace 2 . On note 2 lespace 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) limage de lentier n.

2
(1) tablir que pour a 2 , a2 dm =
an .
nN

(2) Montrer que chaque classe de 2 contient un seul lment, 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 :
(
)2


a n bn

a2n
b2n
nN

nN

(4) Soit une numrotation de N . On veut montrer que


bn = 1

(n)

(a) Dmontrer que

pn

bp

pn

nN

nN

(n)
n2

= , on pose an =

(n)
n

et

1
p

(b) Conclure en utilisant la question 3.


Correction
(1)
(2)
(3) Ingalit de Cauchy-Schwartz
(4)
(a) pour n fix, on peut ordonn lensemble (fini) { (p) ,
1 p n}
1 < k2 < < kn
en11 k
1
1
et on obtient facilement par rcurrence p kp donc
=

(p)
kp
p
pn

Universit de Pau

L3-Mathmatiquess

pn

pn

Intgration-2

}
yk = 0

3.0 Dualit

83

(b) On fixe n et on utilise 3 avec a


= a{1,...,n} et b = b{1,...,n}
(
)2
1
(p) 1

p
p2 1pn (p)
1pn
1pn

(p) 1
p2 1pn p
1pn

1
(p)
do on dduit que pour tout entier n 1 :

et en faisant tendre n vers


p
p2
1pn
1pn
1
, on obtient le rsultat puisque
=
p
pN

Dualit
Exercice 3.11. Le thorme
de projection nest pas valide}dans un Banach. Soient E = C ([0, 1] , R),
{
1
f E = sup |f |, F = f E, f (0) = 0, 0 f (x) dx = 0 , g = Id[0,1] .
[0,1]

(1) Montrer que (E, .E ) est un Banach ;


(2) montrer que F est ferm ;
1
1
(3) soit f F , montrer que g f E 21 . (On pourra remarquer que 0 |g f | (x) dx 0 (g f ) (x) dx =
1
).
2
(4) Montrer quil nexiste pas dlment f F tel que g f E = 12{
[
]
n x
si x 0, n1
1
[
] et
(5) Montrer que d (g, F ) = 2 . On pourra considrer la suite fn (x) =
x n1 nn si x n1 , 1
n bien choisi, et montrer que g fn E 12 quand n +.
Correction
Exercice 3.12. On considre lespace mesur (X, T , ) = ([0, 1] , B ([0, 1]) , ) o est la mesure
de Lebesgue et B ([0, 1]) est lensemble des borliens sur [0, 1] et L2 = L2R (X, T , ) lensemble des
classes de fonctions valeurs dans R, de carr intgrable.
Soit F lensemble des (classes
de) fonctions
{
}
gales presque partout une fonction affine F =

f = (x 7 ax + b) , a, b R .
p.p.

(1) Etablir que F est un sous espace vectoriel de L2 . Quelle est sa dimension ? Montrez que F est
ferm.
(2) Pour f L2 , justifier de lexistence dun lment u F qui minimise la distance de f F .
(3) Soit f : x [0, 1] 7 x2 . Utiliser la caractrisation par produit scalaire du projet de f sur F pour
tablir que PF f 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

Chapitre 3. Analyse hilbertienne et espace L2

84

Bases hilbertiennes
Exercice 3.13. Tout Hilbert sparable de dimension infinie est isomorphe 2 . Soit H un espace de
Hilbert sparable, de dimension infinie, et soit B = {en , n N} une base hilbertienne de H. Pour
u H, on considre la suite au dfinie par (au )n = (u|en ).
(1) Montrer que au 2 .
(2) Montrer que u 7 au est une isomtrie linaire et bijective de H dans H.
Correction
(1) Lgalit de Bessel donne au 2 = uH
(2) est linaire, isomtrique a cause de 1. injective car (u) = 0 au= 02 donc 0 = au 2 =
uH donc u = 0. Elle est surjective car pour a 2 , on pose fn =
ak ek . Cest une suite de
kn
2
2
Cauchy car pour m > n fm fn 2H =
ak
ak qui tend vers 0 quand n +. Donc
n<km

k>n

u := lim fn H. Le thorme 3.3 page 77 (item 3) montre que a = au .


n

Exercice 3.14. Dans un espace de Hilbert, la convergence faible quivaut la convergence ? .


(1) Dmontrer quune suite (un )nN faiblement convergente3 vers u dans un Hilbert converge ssi
lim un H = uH
n+

(2) Trouver un contre exemple de suite qui converge faiblement vers 0 mais qui ne converge pas vers
0 dans H. Considrer pour cela la suite un = [n,n+1] .
Correction
(1) Soit (un )nN H une suite faiblement convergente vers u H.
(a) Si un u alors un H uH quand n +, par simple continuit de H .
(b) Rciproquement, si un H uH alors un u2H = un 2H 2 (un |u) + u2H tend
vers u2H 2 (u|u) + u2H = 0.

(2) il suffit de trouver une suite (un )nN telle que pour tout v H, un vd 0 et un 2 0. Pour
H =L2 (R), un =
[n,n+1] :

(a) un vd = [n,n+1] vd 0 quand n + : en effet v L2 (R) et R =


[n, n + 1],
nZ
2

uniondnombrable dintervalles disjoints. Donc R v d =


v 2 d, cette dernire
[n,n+1]
nZ

srie est (absolument) convergente, donc [n,n+1] v 2 0 quand n + donc il existe


N N tel que v 2 <
tout n > N . Donc v 2 < |v| < 1 p.p. sur
1 p.p. sur [n, n + 1] pour
[n, n + 1] donc 0 [n,n+1] |v| d < [n,n+1] v 2 0 quand n +.
(b) et 1 = un 2 0
Exercice 3.15. Soit H un espace de Hilbert, et B = {en , n N} une base hilbertienne de H. On pose
Bn = {ek , k n}
(1) Justifier que
Vn = vectBn est un sous espace vectoriel ferm de H ;
(2) Soit a =
un en H. Dterminer la meilleure approximation de a par un lment de Vn .
nN

Correction
(1) dimension finie
3

On rapelle que (un )nN converge faiblement vers 0 dans H ssi v H, (un |v) (u|v)

Universit de Pau

L3-Mathmatiquess

Intgration-2

3.0 Bases hilbertiennes


(2) On vrifie que a0 =

85

uk ek Vn et a a0 Vn donc (voir proprit 3.9 page 74) a0 = P a, et

kn

par dfinition, cest la mailleure approximation de a par un lment de Vn .


Exercice 3.16. Montrer que tout espace de Hilbert H de dimension infinie, sparable est isomtriquement isomorphe 2 (N).
Correction
H = 2 est muni du produit scalaire (x|y) =

nN

xn yn et de la norme x2 =

|xn |2 . H posde

nN

une base hilbertienne que lon peut numroter : B = {en , n N}. Pour u H on pose un = (u|en )
et on dfinit la fonction
: H 2 (N)
u 7 u = (
un )nN
Lidentit de Bessel qui scrit
(u)2 = uH
montre que u est bien dans (N) et que est une isomtrie puisque Lapplication tant linaire, il en
rsulte que
de : soit a = (an )nN 2 (N)

est injective et continue. Reste montrer la surjectivit


an en . On vrifie facilement que la suite Sn =
ak ek est de Cauchy : pour tout >
et u =
nN
kn




0, N N tel que n > m > N Sn Sm H =
ak ek =
|ak |2 < . On a utilis
m<kn

m<kn
H
le thorme de Pythagore. Alors le point 3. du thorme 3.3 page 77 montre que an = (u|en ) = un
donc a = (u).
2

Pierre Puiseux

2012

87

Index

A
tage, 10

T
thorme de convergence monotone, 11

B
base algbrique, 77
base hilbertienne, 77
Beppo-Levi, 11
Bessel, 77
C
conjugus, 35
convergence (simple) presque partout, 12
convergence domine, 14, 21
convergence faible, 84
convergence monotone, 11
Convergence monotone presque partout, 13
croissance presque partout, 12
E
essentiellement borne, 39
F
faiblement, 84
fonction tage, 10
I
identit de Bessel, 77
identit de Parseval, 77
intgrable, 11
intgrale, 10
L
Lebesgue, 14
M
majorant essentiel, 39
Markov, 25
mesurable, 10
N
ngligeable, 12
O
Orthogonal, 71
P
Parseval, 77
presque partout, 12

Pierre Puiseux

2012

89

Bibliographie
[Gallouet-Herbin] T. Gallout & R. Herbin, Mesure, Intgration, Probabilites, 17 octobre 2011 http://www.cmi.
univ-mrs.fr/~gallouet/licence.d/int-poly.pdf 39, 46
[Goudon]
T. Goudon, Intgration, (intgrale de Lebesgue et introduction lanalyse fonctionnelle), Ed. Ellipses, 2011,
ISBN 978-2-7298-70416.
[Genet]
J. Genet, Mesure et Intgration, Thorie lmentaire, Matrise de Mathmatiques, d.Vuibert Universit,
1976. ISBN 2 7117-2204-X. 16, 38, 46, 47
[Genet-Delode-Arino] J. Genet, Mesure et Intgration, Exercices et problmes avec solutions, Matrise de Mathmatiques,
d.Vuibert Universit, 1976. ISBN 2-7117-2203-1.
[Brezis]
H. Brezis, Analyse Fonctionnelle, Thorie at applications, d Masson, 1983, ISBN 2-225-771981 7. 47
[Rudin]
W. Rudin, Analyse relle et complexe, d. Masson, 1986, ISBN 2-225-48400-7. 47
[Suquet]
Charles SUQUET, Intgration, Analyse de Fourier, Probabilits, http://math.univ-lille1.fr/
~suquet/Polys/IFP.pdf. 45, 46
[Jean]
R. Jean, Mesure et intgration, d. les Presses de lUniversit du Qubec, 1975.
[George]
C. George, Exercices et problmes dintgration, d.Gauthier-Villars, 1980, ISBN 2-04-011246-4.
[El Kacimi Alaoui] A. El Kacimi Alaoui, lments dintgration et danalyse fonctionnelle, d. Ellipses, collection Mathmatiques pour le deuxime 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-82018X.
[Gallagher] I. Gallagher, cours de Master-1, Universit Paris 7, Institut de Mathmatiques de Jussieu, http://www.
math.jussieu.fr/~gallagher/M1Analyse09.html.
[Marco]
J.P. Marco (sous la direction de), Mathmatiques L3, Analyse, d. Pearson Education, Juin 2009, ISBN
978-2-7440-7350-2.

68

Pierre Puiseux

2012