Академический Документы
Профессиональный Документы
Культура Документы
L3-Mathmatiques
2011-2012
Pierre Puiseux
4 mars 2014
E-mail address : pierre.puiseux@univ-pau.fr
Notations
9
10
10
10
11
11
12
12
13
14
16
16
16
18
19
20
21
25
25
28
28
28
30
33
34
34
39
41
42
42
43
44
46
48
48
49
51
Pierre Puiseux
2012
54
55
55
61
62
64
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
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
tribus,
mesures,
fonctions mesurables,
intgrale de Lebesgue,
mesures produit et intgrales multiples.
2012
10
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.
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
11
1k<n
k
k , k+1 ]
n [n
n
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 .
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
{
}
n
Alors f M+ et f d = lim fn d.
n
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 [
2012
12
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.
p.p.
L3-Mathmatiquess
Intgration-2
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
1k<2n
2n [ 2kn , k+1
2n ]
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
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
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
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).
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.
1
1
Alors (fn )nN L , f L et lim |fn f | d = 0.
n
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
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.
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.
2012
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
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 .
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, ).
(
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
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
: y 7
f (x, y) dx
X
(
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 , .
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
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
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)
(y)
1in,1jn
f (x) dx =
(f ) (y) |det (J () (y))| dy
(
o J () (y) =
1 (D)
i
xj
)
(y)
1
1+x2 +y 2
Universit de Pau
{
}
2
(x, y) R , x2 + y 2 < R et
Intgration-2
19
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 ;
(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) ;
X = [0, 1], la suite fn = n]0, 1 ] converge presque partout vers f = 0, mais la convergence nest
n
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
20
(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}.
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
x 7 (x) =
d (x, R \ O)
d (x, R \ O) + d (x, K)
L3-Mathmatiquess
Intgration-2
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)
<
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.
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
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
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
(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 ;
nN
donc G L1 , donc G L1 .
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
0kn
sa somme.
nN
p.p.
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
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.
|| d =
|| d (b a) sup || <
R
[a,b]
=
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
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
[a,b]
et
[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
[a,b]
1kn
f (t) e dt
itx
itx
|ci |
e dt
[ai1 ,ai ]
1in
(
)
|ci |
|x|
1in
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
25
do le rsultat.
Exercices du chapitre 1
Gnralits et rappels.
Exercice 1.1. Soit f M+ . Montrer que si
par labsurde.
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
(1.5.2)
nN
|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
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
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.
Exercice 1.4.
Universit de Pau
L3-Mathmatiquess
Intgration-2
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
(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
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
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
29
2012
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
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
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
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
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 < +).
{
}
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
34
2.1. Dfinition, premires proprits
{
}
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
1
x
R, on voit facilement
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
{1
2
}
, 1, 23 , 2
Universit de Pau
L3-Mathmatiquess
Intgration-2
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.
1
p
1
q
= 1. Alors a, b R+ :
ap bq
+
p
q
2012
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
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)
(
hq =
|f + g| d
p
)1 p1
= f + gpp1
L3-Mathmatiquess
Intgration-2
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.
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.
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
(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
38
(1) On dfinit la fonction G sur X de la manire suivante : Gn (x) =
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.
gente dans R qui est complet. Elle est donc (p.p.) convergente. Soit sa somme partielle :
fk (x)
Fn (x) =
0kn
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
cest dire
nN
fn p < +.
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.
L3-Mathmatiquess
Intgration-2
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.
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
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
2012
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)
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
Universit de Pau
L3-Mathmatiquess
Intgration-2
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.
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
u (x)F
= sup u (x)F
xE
xE =1
xE\{0}
sup
2012
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
L3-Mathmatiquess
Intgration-2
43
|f |p |f |q + 1
(2.2.1)
(2.2.2)
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
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
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
Pierre Puiseux
x xq xp x1
2012
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
(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
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
ai (Ai )
hpn d =
1im
> a1
=
donc
1im
a1 ({hpn
(Ai )
= 0})
1
({hn =
0})
hpn d
a1
f p d
a1
< +
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
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
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
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 )
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
2012
48
2.5. Convolution dans Lp
2.5.1. Convolution dans 1 (Z). On rappelle que
{
u : Z R,
1 (Z) =
}
|up | <
pZ
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
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) =
L3-Mathmatiquess
Intgration-2
49
|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
50
(
|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 :
|H (x, y)| dx dy
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
51
(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)
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
52
(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
=
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
53
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)
Pierre Puiseux
2012
54
2.5.4. Convolution dans Lp .
(f g) (x) =
f (y) g (x y) dy
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
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
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
[
]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
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
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
Universit de Pau
L3-Mathmatiquess
Intgration-2
2.0 Espaces Lp
57
|f | d =
p
(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.
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
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
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
1
p
donc
m
2
p1
L3-Mathmatiquess
Intgration-2
2.0 Espaces Lp
59
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
Correction
(1) Supposons
que n N, ({0 f n}) = 0. Alors ({0 f 1}) = 0 donc f > 1 p.p. donc
(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
60
(
)p
(5) Prendre m > m+1
.
f L1 , f 0
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
(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
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
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
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
p1
Correction
f L |f |p L et
|f |p d f p (X)
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).
| ugd|
f p gq ce qui montre que est continue et |||||| = sup u gq .
uLp
uLp
|(u)|
up
|(f )|
f p
|(f )|
f p
= gq
p.p.
par dfinition de g(
. Si (Bi )iI est)un recouvrement dnombrable de X avec (Bi ) <
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
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
2n
2n
2n
0k<n
un d 0 ;
n
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)
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
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)
|xy|<tn
|xy|<tn
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
1
n
0 quand n +
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|<
|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
sup |g (x y) g (x)|
|fn (y)| dy
yIn
yIn
|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
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
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
69
CHAPITRE 3
, ) =
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
nN
iI
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
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
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.
{
}
L3-Mathmatiquess
Intgration-2
71
Exemple. Pour (X, T , ) = (N, P (N) , m) o m est la mesure du comptage, lespace L2C est lespace
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.
Dans un espace mtrique, (en particulier dans un espace vectoriel norm), la continuit squentielle quivaut la continuit.
Pierre Puiseux
2012
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
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
73
Pa
v C, R (a a0 |v a0 ) 0
2012
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.
L3-Mathmatiquess
Intgration-2
75
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)
On a plus prcisment :
ker est un hyperplan, cest dire dim (ker ) = 1
v =
(a0 )
a
(a0 |a0 ) 0
Dmonstration.
(1) On vrifie lexistence :
si = 0, alors u = 0 vrifie (3.2.2) ;
Pierre Puiseux
2012
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
(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 .
L3-Mathmatiquess
Intgration-2
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 :
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.
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 ;
convergente.
a
un , dun
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
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
78
(v|ei ) ei
v =
1in
|(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
(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
(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
(u|en ) (v|en ). Les sries invoques sont toutes convergentes, indpendemment de la bijection
nN
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
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
uk ek .
Pn u =
0kn
(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
80
(
1
2
)
a + b2H a b2H = (a|b)
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
)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
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
{
}
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
(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
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]
(f |a )
2 2
2
(4) PW f = f a avec =
=
2 = 3 et d (f, W ) = 3
a 2
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
(n)
pn
bp
pn
nN
nN
(n)
n2
= , on pose an =
(n)
n
et
1
p
(p)
kp
p
pn
Universit de Pau
L3-Mathmatiquess
pn
pn
Intgration-2
}
yk = 0
3.0 Dualit
83
p
p2 1pn (p)
1pn
1pn
(p) 1
p2 1pn p
1pn
1
(p)
do on dduit que pour tout entier n 1 :
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]
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
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
(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] :
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
85
kn
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)
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