Jean-Yves CHEMIN
Laboratoire J.-L. Lions, Case 187
Universit Pierre et Marie CURIE, 4 Place Jussieu
75230 Paris Cedex 05, France
Tlcopie : 01 44 27 72 00, adresse lectronique : chemin@ann.jussieu.fr
30 novembre 2016
2
Sommaire
1 Espaces mtriques 7
1.1 Dfinition des espaces mtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Espaces complets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 La notion de compacit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4 Espaces de Hilbert 61
4.1 Le concept dorthogonalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2 Les proprits des espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3 Dualit des espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.4 Adjoint dun oprateur et oprateurs auto-adjoints . . . . . . . . . . . . . . . . 70
5 Espaces Lp 77
5.1 Rappel sur la thorie de la mesure et dfinition des espaces Lp . . . . . . . . . . 78
5.2 Les espaces Lp comme espaces de Banach . . . . . . . . . . . . . . . . . . . . . 80
5.3 Densit dans les espaces Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.4 Convolution et rgularisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
0
5.5 Dualit entre Lp et Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3
7 La transformation de Fourier 113
7.1 La transforme de Fourier sur L1 (Rd ) . . . . . . . . . . . . . . . . . . . . . . . . 113
7.2 La formule dinversion et le thorme de Fourier-Plancherel . . . . . . . . . . . 116
7.3 Dmonstration du thorme de Rellich . . . . . . . . . . . . . . . . . . . . . . . 118
4
Introduction
Tout dabord, quelques remarques gnrales pour utiliser ces notes. Tout dabord, il ne
sagit pas dun trait. Certains rsultats classiques sont absents comme le thorme de Cauchy-
Lipschitz parce quexposs dans dautres cours, ou bien traits dans un cas particulier comme
le thorme de Stone-Weierstrass. Il arrive que des dmonstrations faciles qui ne sont que
des applications simples des dfinitions soient esquisses et mme omises. Il est vident que
leur rdaction dtaille constitue un excellent exercice dapprentissage. Dune manire gn-
rale, le lecteur dsireux dacqurir de bonnes connaissances des concepts introduits devra se
rapproprier les dmonstrations du cours.
Des dmonstrations qui, soit ne sont pas considres comme centrales dans le cours soit
sont considres comme trop diciles, sont prsentes dans ces notes en petits caractres. Elles
ne sont pas traites en cours mais sont l pour satisfaire la curiosit dauditeurs motivs.
La structure de ces notes est la suivante : Dans le premier chapitre, sont exposes les
notions de base de la topologie des espaces mtriques avec notamment les notions despaces
complets et despaces compacts. Il sagit dun chapitre dont les rsultats doivent absolument
tre matriss.
Le deuxime chapitre est consacr ltude des espaces vectoriels norms. Lexemple fon-
damental des espaces de fonctions y est trait. Lun des points clefs est la comprhension du
changement induit sur la topologie par la dimension infinie (cas notamment des espaces de
fonctions). Le thorme dAscoli qui donne un critre de compacit pour les parties des es-
paces de fonctions continues est une illustration des dicults qui surgissent dans le cadre de
la dimension infinie.
Le troisime chapitre est consacr la notion de dualit. Bien que bref, il est fondamental.
La notion de dualit est la base de la thorie des distributions, qui a rvolutionn lanalyse
lore de la seconde moiti du XXime sicle. Cette thorie sera tudie aux chapitre 8 Outre
le concept dapplication linaire transpose, on explique dans ce chapitre la procdure dite
didentification du dual dun espace de Banach un autre espace de Banach ainsi quune
notion aaiblie de la convergence qui est dfinie dans le cadre du dual dun espace de Banach :
la convergence dite "faible toile".
Le quatrime chapitre est un classique : il est consacr ltude des espaces de Hilbert qui
sont une extension la dimension infinie des espaces euclidiens.
5
Le cinquime chapitre est consacr ltude des espaces de puissance p ime intgrale par
rapport une mesure. On rappelle sans dmonstration les rsultats fondamentaux de la thorie
de lintgration. La notion fondamentale de convolution des fonctions est dfinie et tudie,
puis applique la thorie de lapproximation.
Le sixime chapitre est consacr ltude du problme dit de Dirichlet dans un domaine
born. Lobjectif de ce chapitre est de dmontrer que pour toute fonction f de carr intgrable
sur un ouvert connexe born de Rd , il existe une unique solution u dans un espace fonctionnel
que lon dfinira (lespace dit H01 () et appel espace de Sobolev) telle que, en un sens largi,
on ait
Xd
@2u
=f
@xj 2
j=1
et tel que la fonction u soit nulle sur la frontire de louvert . On trouve la solution en
cherchant si la borne infrieure (sur lensemble des fonctions continment drivable sur et
support compact dans ) de la fonction
Z Xd Z
@u 2
u7 ! dx f (x)u(x)dx.
@xj
j=1
est atteinte. Nous verrons luvre beaucoup de concepts et de rsultats tablis prcdemment.
On y trouve en germe beaucoup des ides de la thorie des distributions tudie au chapitre 8
Le septime chapitre est consacr ltude de la transforme de Fourier sur lespace Rd
des fonctions intgrables et plusieurs de ces appications. Fondamental, ce chapitre est crucial
pour les deux suivants.
Le huitime chapitre est consacr la prsentation de la thorie des distributions dites
tempres. Le choix de ne prsenter que cette thorie et non la thorie gnrale des distributions
tient une volont de simplicit. Lide fondamentale est que lorsque lon sait dfinir une
opration sur les fonctions trs rgulires et trs dcroissantes (par exemple sur lespace de
Schwartz), on sait par dualit la dfinir sur lespace des distributions tempres qui gnralise
les fonctions et qui contient des objet trs singuliers. Ce chapitre est bien sr illustr dexemples
qui doivent tre connus et matriss sans quoi cette thorie ne peut tre ni comprise et ni
applique.
Le neuvime et dernier chapitre consiste en la prsentation de quelques applications des dis-
tributions tempres aux quations aux drives partielles, notamment le calcul de la solution
fondamentale du laplacien dans lespace R3 qui fournit une mthode explicite de rsolution de
lquation de Laplace dont tout lespace R3 cette fois et ltabissement de formule de rsolution
pour lquation de la chaleur et lquation des ondes. Ce chapitre ne donne bien sr quune
toute petite ide des applications de la thorie des distributions qui a rvolutionn ltude des
quations aux drives partielles lors de la seconde moiti du XXime sicle.
6
Chapitre 1
Espaces mtriques
Introduction
Ce chapitre condense des rsultats de base sur les espaces mtriques. La premire section
prsente la notion trs intuitive et naturelle de distance et montre comment elle permet une trs
grande gnralisation des notions (familires dans les cas rel ou complexe) de suite convergente
et de fonctions continues. Cette notion de distance permet aussi de dfinir les notions abstraites
douverts et de ferms qui sont utiliss constamment en analyse fonctionnelle.
Dans le deuxime section, on introduit la notion despace complet, espace dans lequel toute
suite de Caucy converge. Cette notion est fondamentale : ce sont dans ces espaces que lon
peut dmontrer que des suites convergent sans avoir a priori aucune ide sur la limite. Il sagit
l dun outil fondamental et dusage trs frquent en analyse pour dmontrer des thormes
dexistence. Le thorme de Cauchy-Lipschitz en est lune des illustrations.
Dans la troisime section, on introduit le concept despace compact. La pratique de lana-
lyse fonctionnelle ncessite de dpasser la reprsentation lmentaire des compacts dans les
espaces RN .
d(x, y) = 0 () x = y
d(x, y) = d(y, x)
d(x, y) d(x, z) + d(z, y)
Quelques exemples
Prenons X = R et d(x, y) = |x y|. Cela dfinit un espace mtrique.
7
Prenons X = RN et choisissons les direntes distances suivantes :
X
N 1
df 2
2
de (x, y) = (xj yj )
j=1
df
d1 (x, y) = max |xj yj |
1jN
N
X
df
d1 (x, y) = |xj yj |.
j=1
Plus gnralement, considrons une famille finie (Xj , dj )1jN despaces mtriques. On
YN
pose X = Xj . On dfinit
j=1
8
(
< X X
> ! R+
X X ! R+ N
D1 et D1 X (1.1)
(x, x0 ) 7 ! max dj (xj , yj ) 0 7 !
1jN : (x, x )
> dj (xj , yj )
j=1
Exercice 1.1.1. Soit (X, d) une espace mtrique et (an )n2N une suite de rels strictement
positifs telle que X
an < 1.
n2N
On considre lensemble XN
des suites dlments de X. On dfinit alors
8 N
< X XN ! R X
+
D 7 !
: (x, y) min an , d(x(n), y(n)) .
n2N
Dfinition 1.1.3 (convergence des suites). Soient (xn )n2N une suite dlments dun espace
mtrique (X, d) et ` un point de X. On dit que la suite (xn )n2N converge vers ` si et seulement si
8
Exercice 1.1.2. On considre un espace mtrique (X, d) et la distance Da dfinit sur X N
lexercice 1.1.1. Une suite (xp )p2N dlments de X N converge vers x au sens de Da si et
seulement si
8n 2 N , lim d(xp (n), x(n)) = 0.
p!1
Dfinition 1.1.4 (continuit des fonctions). Soient (X, d) et (Y, ) deux espaces mtriques.
On considre une fonction f de X dans Y et un point x0 de X. La fonction f est continue
en x0 si et seulement si
Proposition 1.1.1 (composition des fonctions continues). Soient (X, d), (Y, ) et (Z, ) trois
espaces mtriques, f et g deux fonctions respectivement de X dans Y et de Y dans Z. Soit x0
un point de X tel que f soit continue en x0 et g le soit en f (x0 ). Alors la fonction g f est
continue en x0 .
8" > 0 , 9 > 0 / (y, f (x0 )) < =) (g(y), (g f )(x0 )) < ".
Le rel tant ainsi choisi pour chaque ", on en dduit alors que
Proposition 1.1.2 (suite et fonctions continues). Soient (X, d) et (Y, ) deux espaces m-
triques, f une fonction de X dans Y et (xn )n2N une suite dlments de X. On suppose
que (xn )n2N converge vers ` et que la fonction f est continue en `. Alors la suite dlments
de Y dfinie par (f (xn ))n2N converge vers f (`).
Dfinition 1.1.5 (Intrieur et adhrence, ouvert et ferm). Soit (X, d) un espace mtrique
et A une partie quelconque de X.
On appelle intrieur de A et lon note A lensemble des points x de X tels quil existe
une boule ouverte B(x, ) (avec > 0) incluse dans A.
On appelle adhrence de A et lon note A lensemble des points x de X tels que, pour
toute boule ouverte B(x, ) (avec > 0), lintersection de B(x, ) avec A soit non vide.
On dit que A est dense dans X si et seulement si A = X.
On dit que A est ouvert si et seulement si A = A.
On dit que A est ferm si et seulement si A = A.
Exercice 1.1.3. Soit A une partie finie dun espace mtrique (X, d). Alors A = A.
9
Proposition 1.1.3. Lintrieur dune boule ouverte est elle-mme. Ladhrence dune boule
ferme est elle-mme.
Ainsi donc, pour tout strictement positif, d(x, y) < + et donc d(x, y) , ce qui achve
la dmonstration.
Remarques
La proposition ci-dessus dit exactement que les boules ouvertes sont des ouverts et que
les boules fermes sont des ferms (ce qui est rassurrant quant la cohrence de la
terminologie).
Lensemble X est la fois ouvert et ferm. On convient quil en est de mme pour
lensemble vide.
La dmonstration ci-dessus dmontre que ladhrence de la boule ouverte B(x0 , ) est
incluse dans la boule ferme Bf (x0 , ). Il est par contre faux en gnral que ladhrence
de la boule ouverte soit la boule ferme. Par exemple, en prenant sur un ensemble X
quelconque, la distance d dfinie par d(x, y) = 1 si x est dirent de y et d(x, x) = 0,
on a B(x0 , 1) = {x0 } qui est ferm donc gal son adhrence et Bf (x0 , 1) = X.
Proposition 1.1.4. Soit A une partie dun espace mtrique (X, d). On a
c
(A)c = Ac et A = (Ac ) .
8 > 0 , B(x, ) \ Ac 6= ;,
9 > 0 , B(x, ) \ A = ;,
Proposition 1.1.5. Soit A une partie dun espace mtrique (X, d). Un point x de X appar-
tient A si et seulement si il existe une suite (an )n2N dlments de A tellle que lim an = x.
n!1
10
Dmonstration. Supposons que x soit limite dune suite (an )n2N dlments de A. Pour tout rel
strictement positif , il existe un entier n0 tel que xn0 appartienne B(x, ) ce qui implique
que B(x, ) \ A 6= ;. Donc x 2 A.
Rciproquement, supposons que x 2 A. Alors, pour tout entier strictement positif n, il
existe un lment an de X tel que
1
an 2 A \ B(x, n )
Soit (an )n2N la suite ainsi dfinie. La suite (an )n2N vrifie
1
d(an , x)
n
La suite (an )n2N converge donc vers x et la proposition est dmontre.
Proposition 1.1.6. Toute runion douverts en est un. Toute intersection finie douverts en
est un. Toute intersection de ferms en est un. Toute runion finie de ferms en est un.
df [
Dmonstration. Soit (U ) 2 une famille quelconque douverts et x un point de U = U .
2
Soit 2 tel que x 2 U . Comme U est ouvert (ce qui signifie gal son intrieur),
9 > 0 / B(x, ) U U
N
\
et donc U est un ouvert. Soit U = o les Uj sont des ouverts. Pour tout j dans {1, N }, il
j=1
df
existe un rel strictement positif j tel que B(x, j ) Uj . Soit = min{j , j 2 {1, N }}.
Pour tout j, la boule ouverte B(x, ) est incluse dans Uj et donc dans lintersection U .
Remarque Pour un ensemble X, on considre une partie de P(X) lensemble des sous-
ensembles de X telle que :
Lensemble vide et X appartiennent ,
N
\
Si (Uj )1jN est une famille finie dlments de , alors Uj appartient ,
j=1
[
Si (U ) 2 est une famille quelconque dlments de , alors appartient .
2
Ceci dfinit ce que lon appelle une topologie sur X, les lments de tant par dfinition
les ouverts de X, les ferms tant par dfinition les complmentaires des ouverts. Comme
le montre la proposition suivante, les notions de suite convergente et dapplication continue
peuvent se dfinir en terme douverts.
Proposition 1.1.7. Soit (X, d) un espace mtrique. Soit (xn )n2N dlments de X et x un
lment de X. La suite (xn )n2N converge vers x si et seulement si pour tout ouvert U de X
contenant x, il existe n0 tel que
8n n0 , xn 2 U.
Soient (Y, ) un espace mtrique, f une fonction de X dans Y et x0 un lment de X. La
fonction f est continue en x0 si et seulement si pour tout ouvert V de Y contenant f (x0 ), il
existe un ouvert U de X contenant x0 tel que
f (U ) V.
11
La dmonstration de cette proposition est un exercice formateur vivement conseill.
Thorme 1.1.1 (Caractrisation des applications continues). Soit f une application entre
deux espaces mtriques (X, d) et (Y, ). Les trois assertions suivantes sont quivalentes.
Lapplication f est continue en tout point de X,
limage rciproque dun ouvert est un ouvert,
limage rciproque dun ferm est un ferm.
Ainsi donc
1 1 1
B(x, ) f f (B(x), ) f (B(f (x), "0 )) f (V ).
Rciproquement, soit x0 un point de X. Pour tout " > 0, la boule B(f (x0 ), ") est un ouvert
de (Y, ). Par hypothse, f 1 (B(f (x0 ), ")) est un ouvert de (X, d). Donc il existe strictement
positif tel que B(x0 , ) soit inclus dans f 1 (B(f (x0 ), ")) et donc que
f (B(x0 , )) f f 1 (B(f (x0 ), ")) B(f (x0 ), ").
Lquivalence entre les points deux et trois rsultent du fait que les complmentaires des ouverts
sont les ferms (et rciproquement) et que
1
f (V ) = {x 2 X / f (x) 2 V }
= {x 2 X / f (x) 2 V c }c
1
= (f (V c ))c .
Dfinition 1.1.6. Soit X un ensemble, on considre deux distances d et sur X. On dit que
les deux distances sont topologiquement quivalentes si et seulement si lapplication Id est
continue de (X, d) dans (X, ) et de (X, ) dans (X, d).
Remarque Les ouverts associs deux distances topologiquement quivalentes sont les
mmes ; ainsi donc les fonctions continues et les suites convergentes sont les mmes.
12
Dfinition 1.1.7. Soient A une partie dun espace mtrique (X, d) et x un point de X. On
appelle distance du point x lensemble A la quantit
df
d(x, A) = inf d(x, a).
a2A
Exercice 1.1.4. Dmontrez que A est lensemble des points x de X tels que d(x, A) = 0.
Proposition 1.1.9. Soit A une partie dun espace mtrique (X, d). La fonction
X ! R+
dA
x 7 ! d(x, A)
Proposition 1.1.10. Soit (X, d) un espace mtrique et A une partie de X. Alors une partie B
de A est un ouvert (resp. un ferm) de lespace mtrique (A, d|AA ) si et seulement si il existe
e de X tel que B = B
une partie ouverte (resp. ferme) B e \ A.
Dmonstration. Nous nallons traiter que le cas des ouverts, celui des ferms sen dduisant
par passage au complmentaire 1 . Soit B
e un ouvert de X, dmontrons que B e \ A est un ouvert
e \ A. Comme B
de (A, dAA ). Soit a0 un point de B e est un ouvert de X, il existe une boule
ouverte (pour lespace mtrique (X, d) tel que
e
B(a0 , ) B.
Par intersection, on en dduit que B(a0 , ) \ A est inclus dans B. Mais B(a0 , ) \ A est
exactement lensemble des a de A tels que d(a0 , a) < . Donc B est un ouvert de lespace
mtrique (A, d|AA ).
Rciproquement, soit B un ouvert de lespace mtrique (A, d|AA ). Pour tout a dans B, il
existe un rel strictement positif a tel que
13
[
e df
Posons B = BX (a, ) qui est un ouvert comme runion densemble ouverts. Vu que lon
a2A
e \ A = B et la proposition est dmontre.
a BA (a, ) = BX (a, ) \ A, on a B
Pour conclure cette section introductive sur les espaces mtriques, dfinissons la notion de
diamtre dans un espace mtrique.
Dfinition 1.1.8. Soit (X, d) un espace mtrique. On dit quune partie A de X est de diamtre
finie si et seulement si il exsiste un rel strictement positif C tel que
8(a, a0 ) 2 A2 , d(a, a0 ) C.
Lorsque A est de diamtre fini, on dfinit la diamtre comme tant la borne suprieure de
lensemble des quantits d(a, a0 ) lorsque (a, a0 ) parcourt lensemble A A.
Remarquons que si (xn )n2N est une suite dlments dun espace mtrique (X, d) qui
converge vers un lment ` de X, alors comme
cest une suite de Cauchy. Les espaces complets sont prcisment les espaces o la rciproque
est vraie. Plus prcisment on a la dfiniton suivante.
Dfinition 1.2.2. Soit (X, d) un espace mtrique, on dit que cet espace est complet si et
seulement si toute suite de Cauchy est convergente.
Proposition 1.2.1. Soit (X1 , d1 ), , (XN , dN ) une famille de N espaces mtriques complets.
Si lon pose
La dmonstration est laisse en exercice. Il en rsulte que lespace RN muni de lune des
distances de , d1 ou d1 est un espace complet.
Lexercice suivant fournit un exemple intressant despace complet.
Exercice 1.2.1. Soit (X, d) un espace mtrique complet. On considre sur X N la distance Da
de lexercice 1.1.1. Lespace mtrique (X N , Da ) est complet.
14
Proposition 1.2.2. Soit (X, d) un espace complet . On considre A une partie de X. Lespace
mtrique (A, d|AA ) est complet si et seulement si A est ferm.
Dmonstration. Supposons (A, d|AA ) complet. Soit (an )n2N une suite dlments de A qui
converge vers x dans X. La suite (an )n2N est une suite de Cauchy de X forme dlments
de A donc cest une suite de Cauchy de (A, d|AA ) qui est complet. Il existe donc a dans A
tel que la suite (an )n2N converge vers a au sens de (A, d|AA ) donc aussi au sens de (X, d).
Lunicit de la limite assure que a = x et donc que x appartient A.
Rciproquement supposons A ferm et considrons une suite (an )n2N de Cauchy de lespace
mtrique (A, d|AA ). Cest une suite de Cauchy de (X, d) qui est complet. Donc elle converge
vers un lment x de X. Le fait que A soit ferm implique x est dans A et donc (A, d|AA ) est
complet.
Lorsquun espace (X, d) est complet, cela permet de dmontrer lexistence de certains
objets. Le thorme suivant en est lillustration la plus spectaculaire.
Thorme 1.2.1 (de point fixe de Picard). Soit f une application dun espace mtrique
complet (X, d) dans lui-mme telle quil existe un rel k de lintervalle ]0, 1[ vrifiant
Dmonstration. tant donn un lment x0 de X, on considre la suite (xn )n2N dfinie par la
relation de rcurrence xn+1 = f (xn ). On peut crire que
d(xn+1 , xn ) k n d(x1 , x0 ).
m=1
kn
d(x1 , x0 ).
1 k
La suite (xn )n2N est donc de Cauchy. Soit z sa limite. Comme la fonction f est lipschitzienne,
donc continue, on obtient, en passant la limite dans la relation de dfinition de la suite (xn )n2N
que z = f (z).
Il nous reste dmontrer lunicit. Soient z1 et z2 deux solutions de z = f (z). On a, daprs
lhypothse faite sur f que
d(z1 , z2 ) kd(z1 , z2 ).
Le fait que k soit strictement infrieur 1 assure que d(z1 , z2 ) = 0, donc que z1 = z2 . Le
thorme est ainsi dmontr.
15
Remarques Ce thorme est la base dinnombrables thormes dexistence et dunicit.
Un exemple important est le thorme de Cauchy-Lipschitz dexistence et dunicit pour les
quations direntielles ordinaires.
Nous allons maintenant dmontrer le classique thorme de Baire qui a de nombreuses
applications en analyse fonctionnelle. Quelques exemples sont donns au chapitre 2.
Thorme 1.2.2 (de Baire). Soit (X, d) un\espace mtrique complet, on considre une
suite (Un )n2N douverts denses dans X. Alors Un est dense.
n2N
Dmonstration. Elle repose en grande partie sur le lemme suivant qui a son intrt propre.
Lemme 1.2.1. Soit (X, d) un espace mtrique complet et (Fn )n2N une suite dcroissante de
ferms non vides de X dont le diamtre tend vers 0. Il existe alors un lment x de X tel que
\
Fn = {x}.
n2N
Dmonstration. On considre une suite (xn )n2N dlments de X telle que pour tout entier xn ,
appartienne Fn . Comme la suite densemble (Fn )n2N est dcroissante (au sens de linclusion),
on a
8p 2 N , d(xn , xn+p ) (Fn ).
Le fait que le diamtre des fn tend vers 0 implique que la suite (xn )n2N est de Cauchy donc
converge vers xconverge. En faisant tendre p vers linfini dans lassertion ci-dessus, on trouve
que toute suite (xn )n2N telle xn appartienne Fn et vrifie d(xn , x) (Fn ). Ceci conclut la
dmonstration du lemme.
Retour la dmonstration
\ du thorme 1.2.2. Soit V un ouvert quelconque de X, nous allons
dmontrer que Un \ V 6= ;, ce qui assurera le thorme.
n
Louvert U0 est dense, donc U0 \V est un ouvert non vide. Donc il existe un rel strictement
positif 0 (que lon peut supposer infrieur 1) et un point x0 de X tels que
Bf (x0 , 0 ) U0 \ V. (1.2)
Louvert U1 est dense, donc lensemble U1 \ B(x0 , 0 ) est un ouvert non vide. Donc il existe
un rel strictement positif 1 (que lon peut supposer infrieur 1/2) et un point x1 de X tels
que
Bf (x1 , 1 ) U1 \ B(x0 , 0 ).
Nous allons procder par rcurrence et supposer construite une suite (xj )0jn dlments
de X et une suite (j )0jn telles que, pour tout j n, on ait
1
j et Bf (xj , j ) Uj \ B(xj 1 , j 1 ). (1.3)
j+1
Louvert Un+1 est dense, donc louvert Un+1 \ B(xn , n ) est non vide. Il existe donc un rel
strictement positif n+1 (que lon peut supposer infrieur 1/(n + 2)) et un point xn+1 de X
telles que
Bf (xn+1 , n+1 ) B(xn , n ) \ Un+1 .
Le lemme 1.2.1 applique la suite Fn = Bf (xn , n ) implique lexistence dun point x appar-
tenant lintersection des boules fermes Bf (xn , n ).. Vu les relations (1.2) et (1.3), on a
\
8n 2 N , x 2 V \ Uj .
jn
16
On utilise souvent lnonc suivant qui nest rien dautre que le thorme de Baire "pass
au complmentaire".
Thorme 1.2.3. Soit (X, d) un espace [mtrique complet, on considre une suite (Fn )n2N de
ferms dintrieur vide dans X. Alors Fn est dintrieur vide.
n2N
Le thorme de Baire est souvent utilis sous la forme de ce corollaire, dont la dmonstra-
tion, trs facile, est laisse en exercice.
Corollaire 1.2.1. Soit (Fn )n2N une suite de ferms dun espace mtrique complet (X, d) dont
la runion est X. Alors il existe un entier n0 tel que Fn0 6= ;.
Dit autrement, un espace mtrique complet nest pas runion dnombrable de ferms dint-
rieur vide, ce qui est le cas dun espace notoirement non complet, lespace Q.
Introduisons maintenant la notion de fonction uniformment continue.
Dfinition 1.2.3. Soient (X, d) et (Y, ) deux espaces mtriques ; on considre une fonction f
de X dans Y . On dit que la fonction f est uniformment continue si et seulement si
Thorme 1.2.4 (de prolongement des fonctions uniformment continues). Soient (X, d)
et (Y, ) deux espaces mtriques, A une partie dense de X, et f une application uniform-
ment continue de (A, d) dans (Y, ). Si Y est complet, alors il existe une unique application
uniformment continue fe de (X, d) dans (Y, ) telle que fe|A = f .
Mais la suite (an )n2N est de Cauchy car convergente. Donc il existe un entier n0 tel que
Donc la suite (f (an ))n2N est une suite de Cauchy de Y , donc elle converge vers une limite y.
Une premire chose vrifier : cette limite y est indpendante de la suite (an )n2N choisie. En
eet, soient (an )n2N et (bn )n2N deux suites convergeant vers x. Par un raisonnement analogue
au prcdent, luniforme continuit de la fonction f sur A assure que
Donc la limite y est bien indpendante du choix de la suite (an )n2N . On peut alors dfinir la
fonction fe par
17
Comme la fonction f est continue sur A, il est clair que fe|A = f . Vrifions maintenant que
la fonction fe est uniformment continue sur X. Le fait que la fonction f soit uniformment
continue sur A se traduit par
Considrons maintenant un couple (x, y) dlments de X tels que d(x, y) < . Il existe alors
deux suites (an )n2N et (bn )n2N dlments de A telles que
lim an = x et lim bn = y.
n!1 n!1
n n0 =) d(an , bn ) < .
Dfinition 1.3.1. Soit (xn )n2N une suite dlments dun espace mtrique (X, d). On dfinit
lensemble (ventuellement vide) des valeurs dadhrence de (xn )n2N que lon note Adh(xn )
par
df \ df
Adh(xn ) = An avec An = {xm , m n}.
n2N
Exemples Dans R muni de la distance |x y|, la suite (xn )n2N dfinie par xn = n est telle
que Adh(xn ) = ; et la suite (yn )n2N dfinie par yn = ( 1)n+1 est telle que Adh(xn ) = { 1, 1}.
Proposition 1.3.1. Soit (xn )n2N une suite dun espace mtrique (X, d) que lon suppose
convergeant vers un point ` de X. Alors Adh(xn ) = {`}.
Dmonstration. Par dfinition de la limite dune suite, pour tout " > 0, il existe n0 tel que
lensemble An0 de la dfinition ci-dessus soit inclus dans la boule ouverte B(`, "). Donc soit x
un point de X distinct de `, en prenant " strictement infrieur d(`, x), on trouve que x 62 An0
et donc que x 62 An pour tout n n0 . Do la proposition.
Remarque Il est possible quune suite (xn )n2N soit telle que Adh(xn ) = {`} et ne converge
pas. Considrons par exemple la suite de nombres rels dfinie par
1
x2n = 2n et x2n+1 =
2n + 1
Bien que cette suite ne converge pas, on a Adh(xn ) = {0}.
18
Proposition 1.3.2. Dans un espace mtrique (X, d), toute suite de Cauchy ayant une valeur
dadhrence ` converge vers `.
Dmonstration. Considrons une suite de Cauchy (xn )n2N et supposons quelle ait une valeur
dadhrence `. La suite tant de Cauchy, il existe un entier n0 tel que
"
8n n0 , 8m n0 , d(xn , xm )
2
La suite ayant ` pour valeur dadhrence, il existe un entier n1 n0 tel que
"
d(xn1 , `) <
2
On en dduit alors que, pour tout entier n n0 , on a
Do la proposition.
Proposition 1.3.3. Soit (xn )n2N une suite dlments dun espace mtrique (X, d). Un point `
de X appartient Adh(xn ) si et seulement si il existe une fonction strictement croissante
de N dans N telle que
lim x (n) = `.
n!1
8n 2 N , (n) n. (1.5)
Dmontrons cette proprit par rcurrence. Elle est bien sr vraie pour n = 0. Supposons la
ralise pour n. Comme est strictement croissante, on a (n + 1) > (n) n. Ceci implique
que (n + 1) n + 1. En particulier, la suite ( (n))n2N tend vers linfini avec n.
Revenons notre dmonstration. Si ` appartient Adh(xn ), on dfinit par rcurrence la
fonction de la manire suivante : on choisit (0) = 0 et puis, on dfinit (n+1) partir de (n)
comme n
df 1 o
(n + 1) = min m > (n) /d(xm , `) <
n+1
Par construction, la fonction est strictement croissante et nous avons, pour tout n 1,
1
d(x (n) , `) et donc lim x (n) = `.
n n!1
Rciproquement, sil existe une fonction strictement croissante telle que lim x (n) = `, pour
n!1
tout " > 0, il existe n0 tel que
19
Dfinition 1.3.2. On appelle fonction dextraction une fonction strictement croissante de N
dans N. Si (xn )n2N est une suite dlments dun ensemble X, on appelle suite extraite toute
suite du type (x (n) )n2N o est une fonction dextraction.
La notion despace compacts peut tre vue de deux faons direntes : lune avec les suites,
lautre avec des recouvrements par des boules. Lquivalence de deux points de vue est garanti
par le thorme suivant.
Thorme 1.3.1. Soit (X, d) un espace mtrique. Les deux conditions suivantes sont quiva-
lentes :
i) toute suite dlments de (X, d) admet une valeur dadhrence
ii) Lespace mtrique (X, d) est complet et
N
[
8" > 0 , 9(xj )1jN / X = B(xj , "). (1.6)
j=1
Dfinition 1.3.3. Soit (X, d) un espace mtrique. On dit que X est un espace compact si et
seulement si lune de deux conditions du thorme ci-dessus est satisfaite.
Donnons des exemples despaces mtriques compacts en commenant par remarquer que
tout espace mtrique fini est compact.
Thorme 1.3.2. Les espaces mtriques ([a, b], |x y|) sont des espaces mtriques compacts.
Dmonstration. Si lon utilise le point ii), ce que lon peut faire puisque lon sait que espace
mtrique ([a, b], |x y|) est complet, il sut dobserver que, pour tout " strictement positif,
N[
" 1
df b a
[a, b] = [a, a + "[[ ]a + (k 1)", a + (k + 1)"[ []b N" ", b] avec N" =
"
k=1
Lutilisation du critre i) demande un tout petit peu plus de travail. Soit (xn )n2N une suite de
df
lintervalle [a, b], on considre lensemble An = {xm , m n} qui est une partie majore de
rels qui admet donc une borne suprieure que lon note Mn . La suite (Mn )n2N est dcroissante
donc convergente. Le lecteur se convaincra aisment que la limite de la suite (Mn )n2N est une
valeur dadhrence (cest mme la plus grande).
Dmonstration du thorme 1.3.1. Daprs la proposition 1.3.2, pour dmontrer que i) im-
plique ii), il sut de dmontrer que i) implique lassertion (1.6). Nous allons procder par
contraposition. Supposons que lassertion (1.6) ne soit pas satisfaite. Ceci se traduit par lexis-
tence dun rel strictement positif tel que lon ne puisse recouvrir X par un nombre fini de
boules de rayon . Soit x0 un lment quelconque de X. Il existe un lment x1 de X nap-
partenant pas B(x0 , ). Soit (x0 , , xp ) un p-uplet dlments de X tel que, pour tout m
dirent de n, on ait d(xm , xn ) . Par hypothse,
p
[
B(xn , ) 6= X.
n=1
Donc, il existe un point xp+1 de X qui nappartient pas la runion de boules ci-dessus. Par
rcurrence, nous construisons ainsi une suite (xn )n2N telle que
m 6= n ) d(xm , xn ) .
20
Une telle suite na bien sr pas de valeur dadhrence. Nous avons donc dmontr que i)
implique ii).
Supposons maintenant ii) et considrons une suite infinie (xn )n2N dlments de X. Lhy-
pothse de recouvrement implique lexistence dun lment 0 de X tel que lensemble X0
dfini par
n 1 o
df df
X 0 = m / x m 2 F0 = B f 0 ,
2
soit infini. On pose alors
df
(0) = min X0 .
De mme, il existe un lment 1 de X tel que lensemble X1 dfinie par
n 1 o
df df
X1 = m 2 X0 / xm 2 F1 = F0 \ Bf 1 ,
4
soit infini. On pose alors
df
(1) = min m 2 X1 / m > (0) .
Supposons construit une suite de ferms (Fm )1mn de X, une suite strictement croisssante
dentiers ( (m))1mn tels que (Fm ) 2 m et telle que la suite (Xm )1mn de sous ensemble
de N dfinie par
df
Xm = {m0 2 Xm 1/ x m 0 2 Fm 1}
df
(n + 1) = min{m 2 Xn+1 / m > (n)}.
1
x (n) 2 Fn et (Fn )
2n
Daprs le lemme 1.2.1, il existe un point ` appartenant lintersection de tous les Fn . Par
dfinition du diamtre, on a
1
8n 2 N , d(x, x (n) ) n
2
Ceci conclut la dmonstration du thorme.
La proposition suivante permet de trouver beaucoup despaces compacts.
Proposition 1.3.4. Soit (X1 , d1 ), , (XN , dN ) une famille de N espaces mtriques compacts.
Posons
21
Dmonstration. Soit (xn )n2N une suite dlments de X. Par dfinition, il existe pour chaque j
une suite (xjn )n2N de Xj telle que xn = (x1n , , xN
n ). Par dfinition dun espace mtrique
compacte, il existe une fonction dextraction 1 et un point x1 de X1 tel que
lim x1 1 (n) = x1 .
lim x2 1 2 (n)
= x2 .
lim xj (n) = xj .
n!1
Par dfinition de la distance sur X, cela implique que la suite x (n) converge vers (x1 , , xN ).
Do le rsultat.
Dfinition 1.3.4. Soit (X, d) un espace mtrique. On dit que A est une partie compacte de X
si et seulement si lespace mtrique (A, d|A ) est compact.
Proposition 1.3.5. Soit A une partie dun espace mtrique (X, d). Si A est compacte, alors A
est ferme et de diamtre fini ce qui signifie que
df
(A) = sup d(a, a0 ) < 1.
(a,a0 )2A2
Dmonstration. Soit x un point de A. Daprs la proposition 1.1.5, il existe une suite (an )n2N
dlments de A qui converge vers x. Comme A est suppose compacte, il existe une fonction
dextraction et un point ` de A tel que lim a (n) = `. Comme la suite (a (n) )n2N converge
n!1
vers x, lunicit de la limite implique que ` = x et donc que x 2 A. Donc A est une partie
ferme de X.
Dmontrons maintenant quune partie compacte est de diamtre fini. Considrons (an )n2N
et (bn )n2N deux suites dlments de A telles que
Comme A est compact, il existe une fonction dextraction 0 et un point a de A tel que la
suite (a 0 (n) )n2N converge vers a. De mme, il existe une fonction dextraction 1 et un point b
de A tel que la suite (b 0 1 (n) )n2N converge vers b. Par passage la limite, on a
22
Dmonstration. Si A est compact, cest simplement la dfinition 1.3.3. Rciproquement, sup-
posons la proprit de recouvrement pour une partie A. Montrons alors quelle est vrai pour
so adhrence A.
Par hypothse, pour tout rel strictement positif ", il existe une suite fine (xj )1jN dl-
ments de X telle que
N
[ "
A B xj ,
2
j=1
Soit x un point de A. Par dfinition, il existe un point de A tel que d(x, A) soit strictement
infrieur "/2. Il existe donc un entier j dans {1, , N } tel que a apartienne B(xj , "/2).
Ainsi dont
d(x, xj ) d(x, a) + d(a, xj ) < "
et donc x appartient B(xj , ") ce qui assure la proprit de recouvrenemt pour A. Comme
lespace mtrique (X, d) est complet, il sut pour dmonter la compacit de A de dmontrer
que lon a la proprit de recouvrement avec des xj dans lensemble A. On sait que pour tout
rel strictement positif ", il existe une suite fine (xj )1jN dlments de X telle que
N
[ "
A B xj ,
2
j=1
On ne retient bien sr que les xj telle que la boule ouverte de centre xj et de rayon "/2
rencontre A Dsingons par aj un poir quelconque de cette intersection. Pour tout a dans A, il
existe j tel que
d(a, aj ) d(a, xj ) + d(xj , aj ) < "
ce qui achve la dmonstration.
Du thorme 1.3.2 et des propositions 1.3.4 et 1.3.5, on dduit le corollaire suivant.
Corollaire 1.3.1. Une partie ferme A de Rd est compacte si et seulement si
9r > 0 / A [ r, r]d .
Exercice 1.3.1. Soit A une partie dun espace mtrique (X, d). Le ferm A est compact si et
seulement si toute suite dlments de A possde une valeur dadhrence dans X.
Proposition 1.3.7. Soit A une partie compacte dun espace mtrique (X, d). Si B est un
ferm de X inclus dans A, alors B est aussi compact.
Dmonstration. Soit (bn )n2N une suite dlments de B. Comme B est inclus dans A qui
est compacte, il existe une fonction dextraction telle que (b (n) )n2N converge vers ` qui
appartient A. Comme B est un ferm de X, alors ` 2 B = B. Donc B est compacte.
Thorme 1.3.3 (de Heine). Soient (X, d) et (Y, ) deux espaces mtriques et f une appli-
cation continue de X dans Y . Alors, pour toute partie compacte A de X, f (A) est une partie
compacte de Y . De plus, si X est compact, alors f est une application uniformment continue
de X dans Y .
Dmonstration. Soit (yn )n2N une suite dlments de f (A), il existe une suite (an )n2N dl-
ments de A telle que yn = f (an ). Comme A est une partie compacte de X, il existe un point a0
de A et une fonction dextraction telle que
lim a (n) = a0
n!1
23
La fonction f tant continue, on a
ce qui implique que la fonction f nest pas continue en x daprs la proposition 1.1.2. Do le
thorme.
Corollaire 1.3.2. Soit f une fonction continue de (X, d) dans (R, |x y|). Si (X, d) est
compact, alors la fonction f admet un minimum et un maximum, cest--dire quil existe xm
et xM dans X tels que
8x 2 X , f (xm ) f (x) f (xM ).
Dmonstration. Daprs le thorme 1.3.3 de Heine, lensemble f (X) est un compact de R,
et donc est un ferm inclus dans un intervalle [a, b]. Donc cet ensemble admet une borne
infrieure et une borne suprieure qui sont des points de ladhrence du ferm f (X) donc qui
appartiennent f (X).
Nous allons maintenant donner une caractrisation de la compacit en terme de recouvre-
ments par des ouverts.
Thorme 1.3.4. Soit (X, d) un espace mtrique, les trois proprits suivantes sont qui-
valentes.
i) Pour toute famille (U ) 2 douverts de X recouvrant X, cest--dire telle que
[
X= U ,
2
on peut extraire un sous-recouvrement fini, cest--dire quil existe une famille finie ( j )1jN
telle que
[N
X= U j.
j=1
24
Dmonstration. Lquivalence entre les points i) et ii) se dmontrent par contraposition. En eet, par
contraposition le point ii) est quivalent :
Pour toute famille de ferms (F ) 2 ,
\ N
\
N
F = ; =) 9( 1 , N) 2 / F j = ;.
2 j=1
La suite An est une suite dcroissante de ferms non vides. Donc, daprs la proprite ii), lintersection
de tous les An (qui est lensemble des valeurs dadhrence) est non vide. Do le point iii).
Dmontrons maintenant que iii) implique i) ce qui constitue le point dlicat de la dmonstration.
Il sagit de dduire dune proprit sur les suites, une proprit sur les recouvrements douverts. Le
lemme suivant est crucial, et peut aussi tre utile utile pour dmontrer dautres proprits des espaces
compacts.
Lemme 1.3.1 (de Lebesgue). Soit (X, d) un espace mtrique compact. Pour toute famille dou-
verts (U ) 2 recouvrant X, il existe un nombre rel strictement positif tel que
8x 2 X , 9 2 / B(x, ) U .
Dmontrer que la fonction possde un minimum implique le lemme. Pour dmontrer cela, tablissons
tout dabord lassertion suivante.
Soient x un point de X et " un rel strictement positif infrieur (x). Supposons que y soit un point
de X tel que d(x, y) < "/2. Lingalit triangulaire implique alors que
et ce pour tout rel strictement positif ". Par dfinition de la borne infrieure, il en rsulte que (x1 ) =
inf (x) et donc que inf (x) est strictement positif. Ceci conclut la dmonstration du lemme.
x2X x2X
25
Conclusion de la dmonstration du thorme 1.3.4
Pour montrer que iii) implique i), nous supposons que X est compact (de toute suite on peut
extraire une suite convergente), et nous considrons une famille (U ) 2 douverts de X recouvrant X,
dont il sagit dextraire un sous-recouvrement fini. Soit > 0 donn par le lemme de Lebesgue. Daprs
la dfinition 1.3.3, il existe un nombre fini de boules B1 , . . . , BN de rayon qui recouvrent X. Daprs
la proprit de donne par le lemme de Lebesgue, chacune de ces boules Bj est incluse dans lun des
ouvert U j de la famille, et par consquent
N
[ N
[
X Bj U j.
j=1 j=1
Exercice 1.3.2. Soit (X, d) un espace mtrique. On considre lensemble X N des suites dl-
ments de X et la distance sur X N dfinie la proposition 1.1.1.
1) Dmontrer que la suite (xp )p2N est de Cauchy si et seulement si, pour tout entier n, la
suite (xp (n))p2N est une suite de Cauchy.
3) En dduire que si lespace mtrique (X, d) est complet, alors (X N , da ) aussi.
4) Dmontrez que si lespace mtrique (X, d) est compact, alors (X N , da ) aussi.
5) Dmontrez que U est un ouvert de (X N , dN ) si et seulement si pour tout x 2 U , il existe
une partie finie J de N et un rel strictement positif tel que
26
Chapitre 2
Ce chapitre est consacr ltude des espaces de Banach qui sont les espaces vectoriels
norms complets pour la distance associe la norme. Ce sont les objets de base de lana-
lyse fonctionnelle. Ce chapitre constitue la premire utilisation sur des exemples concrets des
concepts fondamentaux de la topologie mtrique introduits au chapitre prcdent.
Dans la premire section, la notion de norme et de distance associe est introduite et outre
les espaces RN , sont prsents et tudis les espaces de fonctions bornes et continues ainsi que
les espaces de suites de puissance pime intgrable. Ce sont des exemples lmentaires mais
importants que le lecteur devra garder lesprit comme modle despaces de Banach.
Dans la seconde section, nous tudions lespace des applications linaires continues entre
espaces de Banach. Il est important pour la suite de bien assimiler le critre de continuit
des applications linaires et la notion de norme dune applications linaire. Cette section se
conclut par un critre de continuit pour les applications multilinaires.
Dans la troisime section, nous tudions le cas des espaces vectoriels de dimension finie N
et dmontrons quils sont tous identifiables RN .
La quatrime section est consacre au thorme dAscoli qui fournit un critre de compacit
pour les parties de lespace des fonctions continues dun compact valeurs dans un espace de
Banach. Ce thorme permet de mesurer combien la compacit dans les espaces de fonctions
continues est loin dtre quivalente tre ferm et born comme dans le cas de la dimension
finie.
La cinquime section concerne des rsultats de densit toujours dans lespaces des fonctions
continues dun compact et cette fois valeurs dans R ou C. Cest alors loccasion dintroduire
la notion despace sparable qui jouera un rle au chapitre suivant.
Enfin, convenons que dans toute la suite du cours, K dsignera R ou C.
27
Dfinition 2.1.2. Soient E un espace vectoriel et N une norme sur E ; le couple (E, N ) est
appel un espace norm.
Dfinition 2.1.3. Soit N1 et N2 deux normes sur un espace vectoriel E. On dit que les deux
normes N1 et N2 sont quivalentes si et seulement si il existe une constante C telle que
1
8x 2 E , C N1 (x) N2 (x) CN1 (x).
Cest une norme sur KN et (KN , kk`p ) est un espace de Banach. De plus, on a, pour tout (p, q)
de [1, 1[2 tels que p q,
df 1 1
kxk`1 = sup |xj | kxk`q kxk`p N q kxk`q N sup kxk`1 . (2.1)
1jN 1jN
Dmonstration. Commenons par dmontrer lingalit dite de Hlder. Pour tout p dans lin-
tervalle [1, 1], on a, pour tout (a, b) dans KN KN ,
N
X 1 1
aj bj kak`p kbk`p0 avec + = 1. (2.2)
p p0
j=1
Pour dmontrer cette ingalit (qui est vidente si p = 1 ou p = 1), observons que la concavit
du logarithme implique que
a b1
a + (1 )b
28
ce qui est souvent utilis sous la forme quivalente pour dans lintervalle ]0, 1[,
1 1
ab a + (1 )b 1 . (2.3)
N
X N
X
a j bj |aj | |bj |
j=1 j=1
1X
N 1 p0
|aj |p + 1 |bj |
p p
j=1
1.
N
X N
X N
X
|xj + yj |p |xj | |xj + yj |p 1
+ +|yj | |xj + yj |p 1
Par simplification, on obtient le rsultat pour p dans lintervalle ]1, 1[, les deux cas p = 1
ou p = 1 tant vidents.
Dmontrons maintenant (2.1). Pour tout (p, q) de [1, 1]2 tel que p < q on a
xj
1.
kxk`q
Proposition 2.1.3. Soit X un ensemble et (E, kk) un espace de Banach, on considre B(X, E)
lensemble des fonctions f bornes de X dans E, cest--dire telles que
df
kf kB(X,E) = sup kf (x)k < 1.
x2X
Alors (B(X, E), kkB(X,E) ) est un espace de Banach. De plus si X est muni dune structure des-
pace mtrique par une distance d, on dfinit Cb (X, E) comme tant lensemble des fonctions f
de B(X, E) qui sont continues. Alors (Cb (X, E), k kB(X,E) ) est un espace de Banach.
29
Dmonstration. Soit (fn )n2N une suite de Cauchy de B(X, E). Par dfinition, on a
En particulier, pour tout x, la suite (fn (x))n2N est une suite de Cauchy de E. Comme cet
espace est complet, cette suite est convergente. Donc, pour tout x de X, il existe un lment
de E, not f (x), tel que lon ait
lim fn (x) = f (x).
n!1
Vrifions que f appartient B(X, Y ). Daprs lingalit (2.4) applique avec " = 1, on a
kf (x) f (x0 )k kf (x) fn0 (x)k + kfn0 (x) fn0 (x0 )k + kfn0 (x0 ) f (x0 )k
2 + kfn0 (x) fn0 (x0 )k.
Il faut maintenant vrifier que la suite (fn )n2N converge vers f dans lespace B(X, E). Pour
ce faire, passons la limite lorsque p tend vers linfini dans lingalit (2.4), ce qui donne
kf (x) f (x0 )k kf (x) fn0 (x)k + kfn0 (x) fn0 (x0 )k + kfn0 (x0 ) f (x0 )k
"
+ kfn0 (x) fn0 (x0 )k.
2
La fonction fn0 tant continue, pour tout x0 de X, il existe > 0 tel que
"
8x 2 X, d(x, x0 ) < =) kfn0 (x) fn0 (x0 )k <
2
On en dduit que
8x 2 X, d(x, x0 ) < =) kf (x) f (x0 )k < ",
ce qui achve la dmonstration du thorme.
30
Remarque Lorsque X = N et E = R ou C, on dsigne lespace B(N; E) par `1 (N; K). Il
arrive que lon omette de mentionner K lorsque le fait que les suites soient valeurs relles ou
complexes est sans importance.
Exercice 2.1.1. On dfinit Cu (X, E) comme tant lensemble des fonctions f de B(X, E) qui
sont uniformment continues. Dmontrer que (Cu (X, E), k kB(X,E) ) est un espace de Banach.
Thorme 2.1.1. Pour p dans lintervalle [1, 1[, on considre lespace `p (N) des suites x
valeurs dans K telles que X
|x(n)|p < 1.
n2N
On pose alors
X 1
df p
kxk`p = |x(n)|p .
n2N
Lespace (`p (N), k k`p ) est un espace de Banach. De plus, si p q, alors `p (N) est inclus
dans `q (N) et linclusion p
` (N) ! `q (N)
x 7 ! x
est une application linaire continue.
Dmonstration. Dmontrons tout dabord que `p (N) est un espace vectoriel. Considrons x
et y deux lments de `p (N). Pour tout entier N , on a, daprs la proposition 2.1.2,
N
X X
N 1 X
N 1 p
p p p p p
|x(j) + y(j)| |x(j)| + |y(j)|
j=0 j=0 j=0
p
kxk + kyk
`p `p .
Il en rsulte que la srie de terme gnral |x(j) + y(j)|p est convergente et que
X p
|x(j) + y(j)|p kxk`p + kyk`p .
j2N
ce qui assure que (`p (N), k k`p ) est un espace norm. Dmontrons quil est de Banach.
Soit (xq )q2N une suite de Cauchy de `p (N). Par dfinition
8" > 0 , 9q" / 8q 0 q" , 8q 0 q" , kxq xq0 k`p (N) < " . (2.6)
Comme |x(n)| kxk`p pour tout p, pour tout entier n la suite (xp (n))p2N est une suite de
Cauchy de K qui donc converge vers un lment x(n) de K. Montrons que x = (x(n))n2N
appartient `p (N) et que la suite (xp )p2N converge vers x dans `p (N).
Lassertion (2.6) applique avec " = 1 implique que
31
Par passage la limite lorsque q tend vers linfini, on trouve que
N
X p
8N 2 N , |x(n)|p 1 + kxq1 k`p
n=0
ce qui assure que x appartient `p (N). Pour dmontrer la convergence, remarquons que (2.6)
implique que
N
X
8" > 0 , 9q" / 8q q" , 8q 0 q" , 8N 2 N , |xq (n) xq0 (n)|p < "p .
n=0
Do la convergence.
Pour conclure, observons que, daprs (2.1), pour tout x de `p1 (N), tout p2 p1 et tout
entier positif N ,
N
|x(n)| p2 X |x(n)| p1
X N
1.
kxk`p1 kxk`p1
n=0 n=0
kxk`p2 kxk`p1 .
Exercice 2.1.2. Dmontrer que les suites qui nont quun nombre fini de termes non nuls sont
denses dans `p (N) pour p dans lintervalle [1, 1[.
Exercice 2.1.3. Dmontrer que la fonction x 7 ! kxkp`p est direntiable en tout point de x
de `p (N) lorsque p appartient ]1, 1[ et quelle est deux fois direntiable lorsque p appartient
[2, 1[.
Thorme 2.2.1. Soient E et F deux espaces vectoriels norms et ` une application linaire
de E dans F . Les trois conditions sont quivalentes :
lapplication ` est lipschitzienne,
lapplication ` est continue,
32
il existe un ouvert U de E tel que ` soit borne sur U cest--dire tel que
Dmonstration. Il est clair que la seule chose dmontrer est que la troisime condition im-
plique la premire. Considrons un ouvert U sur lequel lapplication linaire ` est borne.
Soit x0 appartenant U . Lensemble U x0 est un ouvert (exercice : dmontrez-le !) contenant
lorigine. Par dfinition dun ouvert, il existe une boule ouverte de centre 0 et de rayon
incluse dans U x0 . On peut alors crire
df
M = sup k`(x)k sup k`(x)k
x2B(0,) x2U x0
sup k`(y x0 )k
y2U
sup k`(y)k + k`(x0 )k.
y2U
Donc lapplication ` est borne sur une boule de centre 0 et de rayon . Pour tout y de E \ {0},
on a
y 2 B(0, ).
2kykE
On en dduit que
` y M.
2kykE
Par linarit de ` et homognit de la norme, on trouve que
2M
8y 2 E , k`(y)kF kykE .
Cette ingalit tant vraie pour y = x x0 , la dmonstration du thorme est acheve.
Proposition 2.2.1. Soient E et F deux espaces vectoriels norms ; on dsigne par L(E, F )
lensemble des applications linaires continues de E dans F . Lapplication dfinie par
df
kLkL(E,F ) = sup kL(x)kF
kxkE 1
est une norme sur L(E, F ). Si (F, k kF ) est un espace de Banach, alors (L(E, F ), k kL(E,F ) )
lest aussi.
Dmonstration. Il est trs facile de dmontrer que L(E, F ) est un espace vectoriel. Vrifions les
trois proprits dfinissant une norme. Supposons que kLkL(E,F ) = 0. Ceci implique que L(x)
vaut 0 pour tout x de la boule unit (cest ainsi que lon nomme usuellement la boule de
centre 0 et de rayon 1). Alors, pour tout x 6= 0,
x 1
L = L(x) = 0 .
2kxkE 2kxkE
33
Ainsi donc, pour tout x de E de norme infrieure 1, on a
k L(x)kF = | | kL(x)kF .
Do il rsulte que
sup k L(x)kF = | | sup kL(x)kF .
kxkE 1 kxkE 1
Lunicit de la limite assure trs facilement que L est une application linaire. Comme la
suite (Ln )n2N est de Cauchy, elle est borne. Il existe donc une constante C telle que
sup kL(x)kF C.
kxkE 1
Donc, lapplication linaire L est continue. Dmontrons la convergence de la suite (Ln )n2N
vers L dans L(E, F ). La suite (Ln )n2N tant de Cauchy, pour tout " strictement positif, il
existe un entier n0 tel que lon ait, pour tout entier n n0 ,
34
Proposition 2.2.2. Soient E, F et G trois espaces vectoriels norms et (L1 , L2 ) un lment
de L(E, F ) L(F, G). La compose L2 L1 appartient L(E, G) et
Dmonstration. La borne suprieure tant un majorant, on a, pour tout x dans la boule unit
de E,
Le fait que la borne suprieure soit le plus petit des majorants assure le rsultat.
Remarque Mme lorsque F = K (cest le cas des formes linaires), le supremum sur la boule
peut ne pas tre atteint comme le montre lexercice suivant quil est vivement conseill de
faire.
Exercice 2.2.1. Soit (an )n2N une suite dlments de lintervalle ]0, 1[. On suppose que la
suite (an )n2N tend vers 0. On dfinit alors la forme linaire `a sur `1 (N) par
df X
h`a , xi = (1 an )x(n).
n2N
Dmontrer que k`a k(`1 (N))0 = 1 et que pour tout x de la boule unit de `1 (N), |h`a , xi| est
strictement infrieur 1.
Lorsque E = F , on dsigne L(E, F ) par L(E). Nous allons tudier cet ensemble et en
particulier ces lments inversibles. Lun des rsultats de base sur les lments inversibles
de L(E) est le suivant.
Thorme 2.2.2. Soit (E, k k) un espace de Banach ; lensemble des lments de L(E) qui
sont distance strictement infrieure 1 de Id sont inversibles dans L(E). Dit autrement,
1 1 1
8A 2 BL(E) (Id, 1) , 9! A 2 L(E) / A A =A A = Id .
Proposition 2.2.3. Soit E est un espace de Banach et (xn )n2N une suite dlments de E
telle que X
kxn kE < 1.
n2N
N
X
df
Alors la suite SN = xn converge.
n=0
Dmonstration. Nous allons dmontrer que la suite (SN )N 2N est de Cauchy ce qui rsulte du
fait que
NX+P
kSN +P SN k kxn k.
n=N +1
35
Poursuite de la dmonstration du thorme 2.2.2. Un lment A de BL(E) (Id, 1) scrit A =
Id L avec kLkL(E) strictement infrieur 1. Posons
N
X
SN = Ln .
n=0
SN A = SN A = Id LN +1 .
kL0 1 k2L(E)
k=
1 0 kL0 1 kL(E)
36
Exercice 2.2.2. Dmontrer que lapplication Inv est une application de classe C 1 sur U (E).
Pour conclure cette section, nous allons donner une caractrisation des applications multi-
linaires continues. Le thorme suivant est lanalogue pour les applications multilinaires du
thorme 2.2.1 relatif la continuit des applications linaires.
Thorme 2.2.3. Soient ((Ej , kkj ))1jN une famille despaces vectoriels norms et (F, kk)
un espace vectoriel norm. On considre une application N -linaire de E1 EN dans F .
Cette application f est continue de E = E1 EN muni de la norme
X
k(x1 , xN )kE = kxj kEj
1jN
dans F si et seulement si
De plus, si f est continue de E1 EN dans F , alors elle est lipschitztienne sur les ensembles
borns de E1 EN .
Dmonstration. Si f est continue en 0 alors, il existe un rel strictement positif tel que
N
X
kxj kEj < =) kf (x1 , , xN )kF < 1.
j=1
jY1 Y
N
kf (x + hj ) f (x + hj 1 )kF C kxk + hk kEk khj kEj kxk kEk .
k=1 k=j+1
On peut supposer que khkE 1. Ainsi donc, on a, pour tout entier j compris entre 1 et N ,
kf (x + h) f (x)kF Cx khkE
37
2.3 Espaces de Banach, compacit et dimension finie
Le fait que la dimension de lespace soit finie ou non induit de grandes dirences sur la
topologie comme on peut le voir au travers de lnonc suivant.
Thorme 2.3.1. Soit E un espace vectoriel norm. Si la dimension de E est finie alors la
boule unit ferme est compacte et toutes les normes sur E sont quivalentes. Rcipoquement,
si la boule unit ferme est compacte, alors lespace vectoriel E est de dimension finie.
Dmonstration. Soit E un espace vectoriel norm de dimension finie N . Nous allons dmontrer
quil existe une bijection linaire continue dinverse continue de RN muni de la norme k k1
sur E. Considrons une base (! e j )1jN de E et lapplication linaire bijective I dfinie par
8
>
< RN ! E
XN
I
: x = (xj )1jN
> 7 ! xj !
e j.
j=1
Lapplication I(x) est une bijection linaire. Montrons quelle est continue. On a
N
X
kI(x)kE |xj | k!
e j kE
j=1
N
X
df
M kxk1 avec M = k!
e j kE .
j=1
Lapplication
x 7 ! kI(x)kE
est donc continue de RN dans R+ . Daprs le corollaire 1.3.1 page 23, la sphre SN 1 , (i.e.
lensemble des x de RN tels que kxk1 = 1) est compacte. De plus, I tant bijective, elle ne
sannule pas sur SN 1 . Daprs le corollaire 1.3.2 page 24, il existe un rel strictement positif m
tel que x
8x 2 RN \ {0} , m I M.
kxk1 E
Lapplication I tant linaire, on a
Donc I et I 1 sont des bijections linaires continues. Donc toutes les normes sur E sont
quivalentes. Donc les ouverts (resp. les ferms) (resp. les compacts) de E sont exactement les
images des ouverts (resp. des ferms) (resp. des compacts) de RN par I. Donc la boule unit
ferme de E est un compact car cest un ferm inclus dans limage par I dans la boule ferm
de centre 0 et de rayon m 1 . Donc la boule unit de E est compacte.
La rciproque est base sur le lemme gomtrique suivant.
38
Lemme 2.3.1. Soit (E, k k) un espace vectoriel norm. On supose quil existe un rel de
lintervalle ]0, 1[ et une famille finie (xj )1jN telle que
N
[
df
SE = {x 2 E , kxk = 1} B(x, ).
j=1
Dmonstration du lemme 2.3.1 Soit F le sous espace vectoriel de E engendr par la famille
des (xj )1jN . Cest un espace vectoriel de dimension finie donc daprs la partie directe du
thorme, lespace norm (F, k k) est complet. Donc cest un ferm de E.
Nous allons considrer un vecteur y de E \ {0} et dmontrer quil est dans ladhrence de F
ce qui assurera le lemme. Le point clef consiste tablir le fait suivant :
2
9y2 2 F / ky y1 y2 k ky y1 k kyk.
Par rcurrence, on construit ainsi une suite (yn )n2N dlments de F telle que
n
X
n
8n 2 N , y yj kyk.
j=1
ce qui implique que y appartient F car F est ferm et le lemme est ainsi dmontr.
Remarque Dans un espace vectoriel de dimension finie et seulement dans ce cas, les par-
ties compactes sont les parties fermes et bornes. Comme larme le thorme ci-dessus, ceci
est toujours faux dans les espaces vectoriels norms de dimension infinie. titre dillustration,
considrons, dans lespace E des fonctions continues de [0, 1] dans R muni de la norme de la
df
convergence uniforme, la suite (fn )n2N dfinie par fn (x) = xn . Tous les lments de cette
suite sont de norme 1 et cette suite na pas de valeur dadhrence dans lespace E car
39
2.4 Le thorme dAscoli
Lobjet de cette section est ltablissement dun critre de compacit pour les fonctions
continues dun espace mtrique compact valeurs dans un espace de Banach.
Thorme 2.4.1 (dAscoli). Soient (X, d) un espace mtrique compact et (E, kkE ) un espace
de Banach. On considre une partie A de C(X, E) qui vrifie les deux hypothses suivantes :
i) La partie A est uniformment quicontinue i.e.
8" > 0 , 9 > 0 / 8(x, x0 ) 2 X 2 , d(x, x0 ) < =) 8f 2 A , kf (x) f (x0 )kE < " ; (2.10)
Dmonstration. Pour dmontrer ce thorme, nous allons utiliser le critre donn par le tho-
rme 1.3.1 page 20. Soit " un rel strictement positif, dmontrons que lon peut recouvrir A par
un nombre fini de boules ouvertes de rayon " ce qui daprs le thrme 1.3.1 page 20 assurera
le rsultat.
Daprs lhypothse (2.10), il existe un rel strictement positif tel que
"
8(x, x0 ) 2 X 2 , d(x, x0 ) < =) 8f 2 A , kf (x) f (x0 )kE < (2.11)
3
La compacit de X assure lexistence dune suite finie (xj )1jN dlments de X tel que
N
[
X= B(xj , ).
j=1
df
Posons Aj = {f (xj ) , f 2 A}. Par hypothse, Aj ladhrence de Aj est un compact de E.
Daprs la proposition 1.3.4 page 21, le produit A1 AN est un compact de lespace de
Banach E N muni de la norme
df
k(yj )1jN k1 = max kyj kE .
1jN
est inclus dans le produit A1 AN et est donc dadhrence compacte lui aussi. Daprs
le thorme 1.3.1 page 20, il existe une suite finie (fk )1kM dlments de A telle que les
boules (au sens de la norme k k1 dfinie ci-dessus) de centre (fk (xj ))1jN et de rayon "/3
recouvre A ce qui signifie que
"
8f 2 A , 9k 2 {1, , M } / 8j 2 {1, , N } , kf (xj ) fk (xj )kE <
3
Nous allons dmontrer que les boules (dans (C(X, E)) de centre fk et de rayon " recouvre A.
Pour ce faire, considrons un lment f de A. Il existe un indice k de {1, , M } tel que
"
8j 2 {1, , N } , kf (xj ) fk (xj )kE <
3
40
Soit x un point quelconque de X. Il existe un indice J de {1, , N } tel que d(x, xj ) < . On
peut alors crire que
kf (x) fk (x)kE kf (x) f (xj )kE + kf (xj ) fk (xj )kE + kfk (xj ) fk (x)kE
< ".
Do le thorme.
Exercice 2.4.1. Dmontrez la rciproque du thorme dAscoli, savoir que si une partie A
de C(X, E) est compacte, alors elle vrifie les conditions i) et ii) de lnonc du thorme
dAscoli.
Exercice 2.4.2. Soient (X, d) un espace mtrique compact et Y une partie compacte dun
espace de Banach (E, k kE ) . Dmontrez que lensemble des fonctions k-lipschitziennes de X
dans Y est compact dans C(X, E).
Exercice 2.4.3. Exhiber une suite de fonctions (fn )n2N de [0, 1] dans R qui soit une suite
borne de lespace des fonctions Lipschitziennes, telle que la suite (fn )n2N tend vers 0 dans
lespace C([0, 1], R) mais (fn )n2N ne tende pas vers 0 dans lespace des fonctions lipschiztiennes
de [0, 1] dans R.
(o les Cnk reprsent les ccients binomiaux) converge uniformment vers f sur linter-
valle [0, 1].
Dmonstration. Remarquuons tout dabord que, comme pour tout x de lintervalle [0, 1] et
tout entier positif n, on a 1 = (x + 1 x)n , la formule du binme implique que
n
X
Cnk xk (1 x)n k
=1 (2.12)
k=0
Daprs la thorme de Heine 1.3.3 page 23, la fonction f est uniformment continue sur le
compact [0, 1]. Donc, si lon considre un rel strictement positif arbitraire ", il existe un rel
strictement positif " tel que
"
|x y| < " =) kf (x) f (y)kE <
2
41
On crit alors
n
X k
kf (x) Sn (f )(x)kE f (x) f xk (1 x)n k
n E
k=0
" X
+ 2 sup kf (x)kE Cnk xk (1 x)n k
.
2 x2[0,1] |k nx| n"
On peut calculer la somme intervenant dans le terme de droite. En drivant la relation (2.12)
et en la multipliant par x, on trouve que
n
X n
X1
kCnk xk (1 x)n k
nx Cnk 1x
k
(1 x)n 1 k
=0
k=0 k=0
42
Nous allons maintenant noncer un critre de densit pour les sous-algbres de C(X, K)
o (X, d) est un espace mtrique compact. Donnons tout dabord une dfinition.
Dfinition 2.5.1. Soient (X, d) un espace mtrique et A une partie de C(X, K). On dit que A
spare les points de X si et seulement si pour tout couple (x, y) dlments de X tel que x 6= y,
il existe une fonction f de A telle que f (x) 6= f (y).
Thorme 2.5.2 (de Stone-Weierstrass). Soient (X, d) une espace mtrique compact et A
une sous algbre de lespace C(X, R). Si A contient les fonctions constantes et si A spare les
points de X, alors A est dense dans C(X, R).
Thorme 2.5.3. Soient (X, d) une espace mtrique compact et A une sous-algbre de lespa-
ce C(X, C). Si A contient les fonctions constantes, si A spare les points de X et si A est stable
par conjugaison, (i.e. f 2 A ) f 2 A), alors A est dense dans C(X, C).
Corollaire 2.5.1. Si X est un espace compact, lespace de Banach C(X, K) est sparable,
cest--dire quil existe une suite de points de C(X, K) dense dans C(X, K).
Lemme 2.5.1. Soit A une sous-algbre de C(X; R). Pour toute fonction f de A, la fonction |f |
appartient A.
1 1
Remarque Comme max{f, g} = (f + g + |f g|) et min{f, g} = (f + g |f g|), si deux
2 2
fonctions f et g appartiennent A, alors leur minimum et leur maximum appartiennent A.
Retour la dmonstration du thorme 2.5.2 . Le fait que A est sparante implique que
Comme A est sparante, il existe une fonction g de A telle que g(x1 ) 6= g(x2 ). On pose alors
df g(z) g(x1 )
h(z) = 1 + (2 1 )
g(x2 ) g(x1 )
Considrons une fonction f de C(X; R). Soit x0 un point de X et " un rel strictement positif. Nous
allons dmontrer
En eet, daprs lassertion (S + ), pour tout y de X, il existe une fonction hx0 ,y de A telle que h
concide avec f aux points x0 et y. Les deux fonctions f et hx0 ,y sont continues. Il existe donc un rel
strictement positif x0 ,y tel que
43
Lespace (X, d) tant suppos compact, on peut le recouvrir avec un nombre fini de boules du type
ci-dessus, cest--dire quil existe une suite finie (yj )1jN telle que
N
[
X= B(yj , x0 ,yj ).
j=1
df
Posons hx0 = min hx0 ,yj . Daprs le lemme 2.5.1, la fonction hx0 appartient A et est telle que,
1jN
pour tout z dans X, on ait hx0 (z) < f (z) + ". Lassertion (2.15) est donc dmontre.
Pour tout x 2 X, il existe donc une fonction hx 2 A telle que
hx (x) = f (x) et 8y 2 X , hx (y) < f (y) + ".
Les fonctions hx et f tant continues, pour tout y 2 X, il existe un rel strictement positif x tel que
8z 2 B(x, x ) , hx (z) > f (z) ".
nouveau, on recouvre X par un nombre fini de telles boules, cest--dire quil existe une famille
finie (xj )1jN de points de X telle que
N
[
X= B(xj , xj ).
j=1
df
Posons h = max hxj . Daprs le lemme 2.5.1, la fonction h appartient A. De plus ; elle vrifie
1jN
La suite (fn )n2N est une suite dlments de Appuisque A est une algbre. Daprs lemme 2.5.2, la
suite de fonctions (fn )n2N converge vers kf k 1 f 2 = kf k 1 |f |. Donc |f | 2 A. Le thorme 2.5.2 est
dmontr pourvu que lon prouve le lemme 2.5.2.
Dmonstration du lemme 2.5.2 Dfinissons par rcurrence la suite de polynmes
1
Pn+1 (t) = Pn (t) + (t Pn2 (t)) et P0 = 0.
2
p
Montrons par rcurrence que, pour tout t 2 [0, 1], 0 Pn (t) t. Cest vrai pour n = 0. Supposons-le
pour Pn . Le polynme Pn+1 est positif sur [0, 1] comme somme de deux fonctions positives. De plus,
on a, comme Pn est positif sur [0, 1],
1 2
2
t Pn+1 (t) = t Pn (t) + (t Pn (t))2
2
t Pn2 (t)
0
44
Comme Pn+1 (t) Pn (t) = 1/2(t Pn2 (t)), pour toutp t 2 [0, 1], on a Pn+1 (t) Pn (t). Pour tout t 2 [0, 1],
la suite (Pn (t))n2N est croissante majore par t, donc elle converge. Soit `(t) la limite. Par passage
la limite dans la relation de rcurrence dfinissant la suite (Pn )n2N , on trouve que t `2 (t) = 0. Le
fait que la suite (Pn )n2N converge uniformment est assur par le thorme suivant.
Thorme 2.5.4 (de Dini). Soit (fn )n2N une suite dlments de C(X, R) telle que, pour tout x de X,
df
la suite (fn (x))n2N soit une suite croissante majore. Si g(x) = lim fn (x) est une fonction continue
n!1
sur X, alors la suite (fn )n2N converge vers g uniformment, cest--dire
Dmonstration. Pour tout x 2 X, la suite (fn (x))n2N est croissante majore ; pour tout " > 0, il existe
donc un entier nx tel que
"
g(x) < fnx (x).
2
Les deux fonctions g et fnx sont des fonctions continues sur le compact (X, d) ; elles sont donc unifor-
mment continues sur (X, d). Ainsi, il existe un rel strictement positif x tel que
"
d(y, y 0 ) < x =) |g(y) g(y 0 )| + |fnx (y) fnx (y 0 )| <
2
La famille (B(x, x ))x2X recouvre le compact (X, d). On peut donc en extraire un sous-recouvrement
fini, cest--dire quil existe une suite (xj )1jN telle que
N
[
X= B(xj , xj ).
j=1
df
Posons n0 = max nxj . La suite (fn (y))n2N tant une suite croissante, on a alors, pour tout j
1jN
dans {1, , N },
Remarquons que tout ensemble fini est dnombrable. De plus, on a la proposition suivante.
45
Proposition 2.6.1. Soit X un ensemble infini dnombrable. Alors il existe une bijection de X
sur N.
Dmonstration. Par hypothse, il existe une fonction injective de X dans N. Cest une
bijection de X sur Y = (X). Il sut donc de dmontrer quune partie infinie Y de N est en
bijection avec N. On dfinit par rcurrence
df
b(n) = min Y \ {b(0), , b(n 1)}
Lapplication b est strictement croissante donc injective. Elle est bijective car lon prend les
lments de Y par ordre croissant.
Proposition 2.6.2. Tout produit fini densembles dnombrables est dnombrable.
Dmonstration. Il sut de la dmontrer que le produit de deux ce qui daprs la proposition
prcdente, se ramne construire une injection de N N dans N. On dfinit
8
< N N =) N
(p + q + 1)(p + q + 2)
: (p, q) 7 ! p +
2
Dmontrons que est injective. Pour ce faire, commenons par observer que si (p, q) et (p0 , q 0 )
sont deux couples de N2 tels que p0 + q 0 est strictement suprieur p + q, alors (p0 , q 0 ) est
stritement suprieur (p, q). En eet, nous avons que p0 + q 0 est suprieur ou gal p + q + 1
et donc que
On en dduit que
(p0 , q 0 ) p0 + q + 2 + (p, q).
Ainsi donc si (p, q) = (p0 , q 0 ), alors p + q = p0 + q 0 ce qui implique immdiatement que p = p0
et donc que q = q 0 ce qui dmontre que lapplication est injective.
Corollaire 2.6.1. Les ensembles Z et Q sont dnombrables.
Corollaire 2.6.2. Une runion dnombrable disjointe densembles dnombrables est dnom-
brable. Plus prcisement, soit An une suite densembles dnombrables, on pose
A = {(n, a) avec a 2 An }.
Cette application est injective. En eet, si (a) = (b), ce qui signifie que (n, an ) = (m, bm )
et donc que n = m et an = bm . Soit maintenant lapplication de la proposition 2.6.1 ;
lapplication est une application injective de A dans N comme compose de deux fonctions
injectives.
Nous avons le rsultat ngatif suivant.
46
Thorme 2.6.1. Soit (X, d) un espace mtrique complet infini tel que tout point soit din-
trieur vide. Lensemble X nest pas dnombrable.
Dmonstration. Soit (xn )n2N une suite dlments de X (tout ensemble dnombrable peut tre
reprsent ainsi). Le thorme de Baire tel que traduit par le thorme 1.2.3 dit que lensemble
[
{xn }
n2N
Exemple. Lespace R muni de la distance d(x, y) = |x y| est sparable, car la suite des
rationnels est dense dans R.
Proposition 2.6.3. Soit (X1 , d1 ), , (XN , dN ) une famille de N espaces mtriques spa-
rables. Si lon pose
Par dfinition de la distance d, on a d(x, y) < ". La proposition est ainsi dmontre.
Proposition 2.6.4. Soient (X, d) un espace mtrique sparable et A une partie quelconque
de X. Lespace mtrique (A, d) est sparable.
Dmonstration. Pour dmontrer cette proposition, dsignons par D une partie dnombrable
dense de X. Pour tout entier n et tout x de D, on choisit un lment ax,n de B(x, n 1 ) \ A
si cet ensemble est non vide. Sil est vide, on prend un quelconque lment de A. On a ainsi
dfini une partie dnombrable D e df
= (ax,n )(x,n)2DN de A.
e
Dmontrons que D est dense dans A. Soit a un lment de A. Il existe un lment x de D
e llment ax,n appartient D
tel que d(x, a) < n 1 . Par dfinition de D, e \ B(x, n 1 ). Donc, il
en rsulte que
2,
d(a, ax,n ) d(a, x) + d(x, ax,n, ) <
n
do la proposition.
47
Thorme 2.6.2. Tout espace mtrique (X, d) qui est compact est sparable.
Dmonstration. Soit Bn lensemble des boules de rayon n 1 . Cet ensemble constitue bien
videmment un recouvrement ouvert de X. Lhypothse de compacit fait que, pour chaque
entier n, par (xj,n )1jJ(n) une suite telle que
J(n)
[
1
X= B(xj,n , n ).
j=1
48
Chapitre 3
Introduction
Ce court chapitre est trs important. Il tudie un type particulier despace de Banach : le
dual (appel parfois topologique) dun espace de Banach qui est lensemble des formes linaires
continues sur cet espace. Tout dabord, y est prsent le concept gnral de transpose dune
application linaire. Insistons sur le fait quen dimension infinie, nous sommes trs loin de la
transposition des matrices. Le fait radicalement nouveau que nous allons dcouvrir dans ce
chapitre est que le dual dun espace de Banach peut-tre trs dirent de lespace lui-mme.
Ceci nest bien sr pas le cas en dimension finie o le dual dun espace vectoriel de dimension
finie est un espace vectoriel de mme dimension.
Dans le deuxime section, nous donnerons un sens mathmatique prcis lexpression "le
dual dun espace E est lespace F ". Cette dfinition est fondamentale. Elle permet de construire
des isomorphismes entre le dual E 0 dun espace de Banach et un espace de Banach F ce qui
fournit une description de E 0 . Lexemple du dual des espaces de suite de puissance pime
intgrable est tudi en dtail.
La troisime section introduit un concept crucial qui est une notion aaiblie de la conver-
gence dune suite dlments du dual dun espace de Banach. Il sagit essentiellement du concept
de convergence dite faible ? qui est essentiellement la convergence simple. Cette notion permet
dextraire de toute suite borne du dual une sous suite qui converge en ce sens. Do limpor-
tance des thormes didentification de la section prcdente. Si un espace peut sidentifier
un dual, alors il jouira de cette proprit. Nous verrons ds le chapitre suivant une application
de ce rsultat lors de la dmonstration du thorme 4.4.2 page 72 relatif la structure des
oprateurs autoadjoints compacts.
La premire notion clef est celle de transpose dune application linaire. Considrons une ap-
plication linaire L de E dans E. On dfinit lapplication linaire transpose de E 0 (lensemble
49
des formes linaires sur E) dans E 0 par
! !
ht L(`), h i = h`, L h i.
Do le rsultat.
Dans le cas o lespace vectoriel E est de dimension finie, on peut alors choisir une
base (!e j )1jN de E. On dmontre facilement que la famille (e?j )1jN de formes linaires
dfinies par
he?j , !
e k i = j,k
forme une base de lespace vectoriel E 0 des formes linaires sur E appele base duale. De plus,
il est ais de dmontrer que si la matrice de L dans une base (! e j )1jN de E est (Lij )1i,jN
e i )1i,jN avec L
alors la matrice de t L dans la base (e?j )1jN est (L e i = Lj . Ainsi donc dans
j j i
le cas de la dimension finie, lensemble des formes linaires continues (elles le sont toujours)
est un espace vectoriel de mme dimension.
Nous tudierons dans ce chapitre le cas o E est un espace de Banach gnral.
Dfinition 3.1.1. On appelle dual topologique (ou simplement dual) dun K-espace vectoriel
norm (E, k k) et lon note E 0 lespace vectoriel des formes linaires continues sur E. On le
munit de la norme
df
k`kE 0 = sup |h`, xi|.
kxk1
50
Nous allons maintenant introduire la notion dapplication linaire transpose. Cette notion
jouera un rle crucial au chapitre 8
Dmonstration. On crit
Ainsi donc, on a
Do la proposition.
Dfinition 3.1.2. Lapplication linaire dfinie ci-dessus sappelle lapplication linaire trans-
pose.
De plus, si E = F alors on a
A 2 U (E) () t A 2 U (E 0 ) et (t A) 1
= t (A 1
).
Dmonstration. La premire relation est purement algbrique. En eet, pour toute forme li-
naire ` sur G et pour tout x de E, on a
ht A t
B(`), xi = ht B(`), Axi
= h`, B Axi
= ht (B A)(`), xi.
t t 1
A (A ) = t (A 1
) t
A = IdE 0 .
51
3.2 Identification dun espace norm avec un dual
Cette section est trs importante pour la suite du cours, notamment pour la thorie des
distributions. Il arrive frquemment de dire que tel espace "est le dual" de tel autre. Il sagit
de donner un sens prcis cette expression.
Proposition 3.2.1. Soient E et F deux espaces de Banach et B une forme bilinaire continue
sur F E. Lapplication B dfinie par
F ! E0
B (3.1)
y 7 ! B (y) : h B (y), xi = B(y, x)
k B (y)kE 0 CkykF ;
do la proposition.
Dfinition 3.2.1. Soient E et F deux espaces de Banach et B une forme bilinaire continue
sur F E. On dit que B identifie E 0 et F si et seulement si lapplication B dfinie par (3.1)
est un isomorphisme de F sur E 0 .
Dit autrement, cela signifie quil existe une constante C telle que, pour toute forme linaire
continue ` sur E, il existe un unique lment y de F tel que,
1
8x 2 E , h`, xi = B(x, y) et C kykF k`kE 0 CkykF .
0
Thorme 3.2.1. Soit p dans lintervalle [1, +1[ et F = `p (N) p0 = p/(p 1). On considre
la forme bilinaire B suivante
8 p0
< ` (N) `p (N) ! K
B df X
: (y, x) 7 ! B(y, x) = x(n)y(n).
n2N
0
La forme bilinaire B identifie (`p (N))0 et `p (N). De plus lapplication B dfinie la propo-
sition 3.2.1 est une isomtrie.
Dmonstration. Lingalit de Hlder dit que
Donc la forme bilinaire B est continue. Dmontrons que lapplication B est bijective. Soit T
0
une forme linaire sur `p (N), cherchons un lment y de `p (N) tel que
Si lidentit ci-dessus est vrifie, elle doit ltre en particulier pour x = en o en dsigne la
suite dont tous les termes sont nuls, lexception du nime qui vaut 1. Donc, ncessairement y
doit vrifier
y(n) = hT, en i. (3.4)
52
Lapplication B est donc injective. Il sagit maintenant de dmontrer que la suite y dfinie
0
par (3.4) est bien un lment de `p (N).
Supposons tout dabord que p vaille 1. Pour tout entier n, on a
Donc la suite y = (y(n))n2N appartient bien `1 (N) et lon a bien kyk`1 (N) kT k(`1 (N))0 .
Supposons maintenant p strictement suprieur 1. Considrons alors la suite (xr )r2N
dlments de `p (N) dfinie par
df X y(n) 1
xr = |y(n)| p 1 en .
|y(n)|
nr
r
X y(n) 1
B(y, xr ) = |y(n)| p 1 B(en , y)
|y(n)|
n=0
Xr
1
+1
= |y(n)| p 1
n=0
Xr
0
= |y(n)|p .
n=0
Do il vient que
X 0
1 1
p
|y(n)|p kT k(`p (N))0 .
nr
0
Cette ingalit tant vraie pour tout entier r, la suite y appartient bien `p (N) et lon a
53
De plus, pour toute combinaison linaire (ncessairement) finie x dlments de (en )n2N , on
a B (y)(x) = hT, xi. Mais on a suppos que p tait rel. Donc lensemble des suites x nulles
partir dun certain rang est dense dans `p (N) ; donc T = B (y). Enfin, daprs lingalit (3.5),
0
lapplication B est une surjection de `p (N) sur (`p (N))0 .
Dmontrez que c0 (N) est un sous-espace ferm de `1 (N). Puis en reprenant la dmonstration
du thorme ci-dessus, dmontrez que la forme bilinaire B identifie c0 (N)0 lespace `1 (N).
Remarque Au dbut de ce chapitre, nous avons remarqu quen dimension finie, le dual dun
espace vectoriel E tait un espace vectoriel de mme dimension, donc un espace isomorphe.
Rien de tel en dimension infinie. Le thorme prcdent nous dit que le dual de `1 (N) est
un espace isomtrique `1 (N). Donc lespace (`1 (N))0 a les mmes proprits topologiques
que lespace `1 (N). Mais cet espace nest pas sparable. Or, on sait daprs un exercice que
lespace `1 (N) lest. En eet, lespace vectoriel des suites nulles sauf un nombre fini de termes
est dense dans `1 (N), en fait dans tous les espaces `p (N) pour tout p dans [1, 1[. (exercice :
vrifiez-le !)
Exercice 3.2.2. Soit s un rel quelconque, on dfinit lespace `2,s (N) par
df s
`2,s (N) = u = (u(n))n2N / ((1 + n2 ) 2 u(n))n2N 2 `2 (N) .
et on le munit de la norme
!1
df X 2
1) Dmontrez que B1 identifie (`2,s (N))0 `2,s (N) et que B2 identifie (`2,s (N))0 `2, s (N).
2) Exhibez une isomtrie linaire surjective de `2,s (N) dans `2, s (N).
54
Remarquons tout dabord que la convergence faible ? est implique par la convergence en
norme. En eet, pourtout x de E, on a
h`n , xi = h`n `, xi
k`n `kE 0 kxkE .
Donnons maintenant un exemple dune suite (`n )n2N de E 0 qui converge ? faiblement et
qui ne converge pas au sens de la norme. Plaons nous dans lespace `1 (N) et considrons la
suite (`n )n2N de fonctions linaires continues dfinie par
df
h`n , xi = x(n).
Nous avons pour tout x de `1 (N), lim x(n) = 0. Ainsi donc la suite (`n )n2N de formes linaires
n!1
dfinies ci-dessus converge ?-faiblement vers 0. Comme k`n k(`1 (N))0 = 1, la suite (`n )n2N ne
converge pas en norme vers 0.
Nous allons maintenant tudier quelques proprits de la convergence ?-faible.
Thorme 3.3.1. Soient E un espace de Banach et (`n )n2N une suite dlments de E 0 .
Supposons que limf? `n = `. Alors la suite (`n )n2N est une suite borne de E 0 , ce qui implique
n!1
en particulier que ` appartient E 0 . De plus, on a
Dmonstration. Ce nest quune traduction dans le cadre des formes linaires dun thorme
classique : le thorme de Banach-Steinhaus dont voici lnonc et la dmonstration.
Thorme 3.3.2 (de Banach-Steinhaus). Soient E et F deux espaces norms et (Ln )n2N une
suite de L(E, F ). Supposons que E soit complet. Supposons que, pour tout x de E, la limite
de la suite (Ln (x))n2N existe ; dsignons la par L(x).
Alors la suite (Ln )n2N est une suite borne de L(E, F ), ce qui implique en particulier que L
appartient L(E, F ). De plus, on a
Lemme 3.3.1. Soient E et F deux espaces norms et (Ln )n2N une suite de L(E, F ). Supposons
que E soit complet. Supposons que, pour tout x de E, la suite (Ln (x))n2N soit une suite borne
de F .
Alors la suite (Ln )n2N est une suite borne de L(E, F ).
Ces ensembles Fn,p sont des ferms en tant quimage rciproque de ferms par une application
continue. Donc les ensembles Fp dfinis par
df \
Fp = Fn,p
n2N
55
sont des ensembles ferms car ce sont des intersections de ferms. De plus, soit x un lment
quelconque de E. La suite (Ln (x))n2N est suppose borne. Donc, il existe un entier p tel que x
appartienne Fp . Cela signifie que la runion de tous les Fp est lespace E tout entier. Daprs
le corollaire 1.2.1 du thorme 1.2.2 de Baire, il existe un entier p0 tel que F p0 6= ;. Donc, il
existe un point x0 et un rel strictement positif tel que B(x0 , ) soit inclus dans Fp0 . On a
donc
sup kLn (x)kF sup kLn (x + x0 )kF + kLn (x0 )kF
n2N n2N
kxk kxk
sup kLn (x)kF + kLn (x0 )kF
n2N
x2B(x0 ,)
2p0 .
Ainsi, pour tout x de E de norme plus petite que 1, on peut crire
kLn (x)kF 1 kLn (x)kF
2p0
Donc la suite (Ln )n2N est une suite borne de L(E, F ).
Retour la dmonstration du thorme 3.3.2. Par passage la limite, on obtient alors que,
8x 2 B(x0 , ) , kL(x)kF 2p0 .
Dmontrons maintenant la majoration de la norme de L. Soit x un lment de E de
norme 1. On peut alors crire
kL(x)kF = lim kLn (x)kF
n!1
= lim inf kLn (x)kF
n!1
lim inf kLn kL(E,F ) (car kxkE = 1).
n!1
Le thorme suivant, bien que de dmonstration trs simple, sera utile dans la suite.
Thorme 3.3.3. Soient E et F des espaces vectoriels norms, on considre un lment A
de L(E, F ), une suite (`n )n2N de F 0 et un lment ` de F 0 . On a
limf? `n = ` dans F 0 =) limf? t A`n = t A` dans E 0 .
n!1 n!1
56
Proposition 3.3.1. Soient (xn )n2N et (`n )n2N deux suites de E et de E 0 , E tant un espace
de Banach.
limf? `n = ` et lim kxn xk = 0 =) lim h`n , xn i = h`, xi.
n!1 n!1 n!1
Daprs le thorme 3.3.1 de Banach-Steinhaus, la suite (`n )n2N est borne. Donc, il existe un
rel M tel que lon ait
Soit " un rel strictement positif arbitraire. Il existe un entier n0 tel que
"
n n0 =) kxn xk <
2M + 1
Le point x tant fixe, il existe un entier n1 tel que lon ait
"
n n1 =) |h`n `, xi| <
2
Donc, on a
n max{n0 , n1 } =) |h`n , xn i h`, xi| < ".
Do la proposition.
Lorsque que lon a identifi un espace un dual, on peut dfinir une notion de convergence
faible ? sur cet espace de la manire suivante.
Dfinition 3.3.2. Soient E et F deux espaces de Banach, B une forme biliaire continue
sur F E qui identifie F E 0 . On dit (par abus de language) quune suite (yn )n2N converge ?-
faiblement vers un lment y de F si et seulement si la suite ( B (yn ))n2N converge ?- faiblement
vers B (y), ce qui signifie exactement que
Donnons un exemple de cette extension. tant donn q dans ]1, 1], on considre une
suite (yp )p2N dlments de `q (N). Daprs le thorme didentification 3.2.1, la convergence
de la suite (yp )p2N vers un lment y de `p (N) signifie exactement que
1
X
0
8x 2 `q (N) , lim yp (n)x(n) = 0.
p!1
n=0
Le thorme suivant est un rsultat fondamental qui peut tre compris comme un rsultat
de compacit faible ? pour la boule unit dun dual.
Thorme 3.3.4 (de compacit faible-?). Soit E un espace sparable, on considre une
suite (`n )n2N borne dans E 0 . Il existe un lment ` de E 0 et une fonction dextraction
de N dans N telle que lon ait
limf? ` (n) = `.
n!1
57
Dmonstration. Soit (ap )p2N une suite dense dans E. Nous allons tout dabord extraire de la
suite (ap )p2N une famille libre et travailler sur lespace vectoriel engendr. Plus prcisment,
on dfinit '(0) comme le plus petit entier p tel que ap soit non nul. Soit '(1) le plus petit des
entiers p tels que ap nappartienne pas Ka'(0) . Supposons construit ('(0), , '(p)) tels que
df
8p0 p , a'(p) 62 Vp0 = Vect{a'(0) , a'(p0 ) }.
Considrons '(p + 1) comme le plus petit des entiers tels que aq nappartienne pas Vp . On
dfinit [
V = Vp = Vect{a'(p) , p 2 N}.
p2N
La famille (a'(p) )p2N est une base (au sens de lalgbre linaire) de V . Dornavant, on omet
de moter lextraction et lon pose ap dsigne a'(p) .
Nous allons utiliser le procd diagonal de Cantor pour construire une fonction dextrac-
tion telle que
8j 2 N , lim h` (n) , aj i = j. (3.6)
n!1
La suite (h`n , x0 i)n2N est une suite borne de K donc il existe un lment 0 de K et une
fonction dextraction 0 de N dans N telle que lon ait
lim h` 0 (n)
, a0 i = 0.
n!1
La suite (h` 0 m (n) , am+1 i)n2N est une suite borne de K. Il existe donc une fonction stric-
tement croissante m+1 de N dans N et un lment m+1 de K tels que
8j m + 1 , lim h` 0 m+1 (n)
, aj i = j.
n!1
Posons (n) = 0 n (n). Cest une fonction strictement croissante de N dans N. En eet,
observons que toute fonction strictement croissante de N dans N vrifie (n) n. Donc,
si n < m, on a
(n) = '0 'n (n) < '0 'n 'n+1 'm (m) = (m).
Comme (ap )p2N est une base algbrique de V , considrons la forme linaire `e dfinie sur V par
e ap i =
h`, p.
Chaque lment x de V tant une combinaison linaire de vecteurs ap , on dduit de (3.6) que
8x 2 V, lim h` (n) , xi
e xi.
= h`, (3.7)
n!1
La suite (`n )n2N tant borne, on a Daprs le thorme 1.2.4 de prolongement des fonctions
e De plus, comme (`n )n2N
continues, il existe une application ` de E dans K telle que `|V = `.
est une suite borne de E , on a, pour tout (x, x ) de E V ,
0 0
58
Soit " un rel strictement positif arbitraire. Lapplication ` tant lipschitzienne, il existe un
rel strictement positif tel que
"
kx x0 kE < =) |`(x0 ) `(x)|
3
Lespace vectoriel V tant dense, il existe un lment x0 de E tel que
0 "
kx x kE min ,
3M + 1
0 e x0 i| + 2"
8n 2 N , |` (n) , xi `(x)| |h` (n) , x i h`,
3
Daprs (3.7), il existe un entier n0 tel que
"
n n0 =) |h` (n) , xp i h`, xp i| <
3
Finalement, nous avons dmontr que
Ce thorme est trs important. Il signifie que lorsquun espace F peut sidentifier un
dual, alors de toute suite borne, on peut en extraire une sous-suite qui converge au sens
aaibli de la dfinition 3.3.2. Ce fait est extrmement utilis. On verra un exemple important
dapplication au chapitre qui suit lorsque nous dmontrerons un thorme de diagonalisation
dans les espaces de Hilbert (le thorme 4.4.2 page 72).
59
60
Chapitre 4
Espaces de Hilbert
Introduction
Ce chapitre est consacr ltude des espaces dits de Hilbert qui sont des espaces de Banach
dont la norme est de type euclidienne cest--dire quelle est associ un produit scalaire. Ces
espaces sont la gnralisation la dimension infinie des espaces euclidiens de dimension finie.
Le point fondamendal est que lon peut y faire de la gomtrie. On sait par exemple ce que
signifie deux vecteurs (qui peuvent tre des fonctions) orthogonaux. Insistons sur lun des
points clefs de lanalyse fonctionnelle : un lment dun espace de Banach (trs souvent une
fonction) est vraiment vu comme un point (ou un vecteur) dun espace gomtrique.
La premire section prsente le concept despace de Hilbert notamment ce que signifie
prcisment quune norme est associe un produit scalaire.
La deuxime section illustre comment cette structure gnralise la dimension infinie la
notion despace euclidien. Deux exemples :
il existe une notion de projection orthogonale sur un ferm convexe;
il existe une notion de base hilbertienne qui gnralise la dimension infinie celle fami-
lire de base orthonorme dun espace euclidien de dimension finie.
Dans la troisime section, on montre que le dual dun espace de Hilbert H peut sidentifier
lespace H lui-mme. Nous verrons au chapitre 6 comment cette identification permet de
dmontrer de faon spectaculairement simple un thorme dexistence et dunicit de solutions
dune quation aux drives partielles. Notons enfin que le phnomme mis en vidence dans
la section 3.2 na pas lieu dans le cadre des espaces de Hilbert.
Dans la quatrime et dernire section de ce chapitre, on introduit la notion dadjoint dun
oprateur continue dun espace de Hilbert dans lui-mme ainsi que la notion plus dlicate
et nouvelle doprateur compact. Le rsultat important de cette section est la gnralisation
du thorme classique de diagonalisation des oprateurs symtriques en dimension finie. Ce
thorme sera appliqu au chapitre 6.
Dfinition 4.1.1. Soient E et F deux espaces vectoriels sur K. On appelle application anti-
linaire de E dans F toute application ` telle que, pour tout couple (x, y) de E E, et tout
61
scalaire de K, on ait
`( x + y) = `(x) + `(y).
Une application f de E E dans K est dite sesquilinaire 1 si elle est linaire par rapport
la premire variable et antilinaire par rapport la seconde. Autrement dit
Une application f de E E dans K est appele produit scalaire si et seulement si elle est
sesquilinaire et hermitienne dfinie positive, cest--dire vrifie
Do la proposition.
1. du latin "sesqui" qui signifie un demi en plus
62
Exercice 4.1.1. Soit (E, k k) un espace vectoriel norm sur K. Supposons que
2 2
x+y x y
8(x, y) 2 E 2 , kxk2 + kyk2 = 2 +2
2 2
Dmontrez quil existe une forme sesquilinaire telle que lon ait kxk2 = (x|x). Il est conseill
de distinguer le cas o K = R, plus facile, de celui o K = C.
Le produit scalaire permet de dfinir la notion dorthogonalit. Ce concept, familier dans
le plan ou dans lespace trois dimensions, se rvlera extrmement fcond dans les espaces
de dimension infinie, notamment dans les espaces de fonctions.
Dfinition 4.1.2. Soient E un espace vectoriel muni dun produit scalaire et x et y deux
lments de E. On dit que x et y sont orthogonaux (et lon note x ? y) si et seulement
si (x|y) = 0.
Rappelons pour mmoire la fameuse relation de Pythagore :
x ? y =) kx + yk2 = kxk2 + kyk2 .
Proposition 4.1.2. Soit E un espace vectoriel sur K muni dun produit scalaire et A une
partie de E. Soit
df
A? = {x 2 E/ 8a 2 A , x ? a}.
La partie A? est un sous-espace vectoriel ferm de E.
Dmonstration. Lapplication linaire La dfinie par x 7! (x|a) est une application linaire
continue de E dans K. Donc le noyau de La est un sous-espace vectoriel ferm de E. Il est
clair que \
A? = ker La .
a2A
63
X
Dmonstration. Posons Sq = xp . La relation de Pythagore dit que
pq
X
kxp k2 = kSq k2 . (4.1)
pq
q+q 0
X
2
kSq+q0 Sq k = kxp k2
q+1
X1
kxp k2 .
q+1
Beaucoup des proprits remarquables des espaces de Hilbert repose sur le thorme de
projection sur les convexes.
Thorme 4.2.2 (de projection sur un convexe ferm). Soit une partie convexe ferme dun
espace de Hilbert H. Pour tout point x de H, il existe un unique point de , not p (x) et
appel projection de x sur , tel que
kx p (x)k = inf kx gk.
g2
64
Ceci assure lunicit. Dmontrons maintenant lexistence. Par dfinition de la borne infrieure,
il existe une suite minimisante, cest--dire une suite ( n )n2N dlments de telle
df
lim kx nk = d = inf kx k.
n!1 2
On utilise nouveau la relation (4.2) pour dire que, pour tout couple dentiers (n, m), on a
2
1 2 2 2 n + m
k n mk = kx nk + kx mk 2 x
2 2
La partie tant convexe, le milieu de n et de m appartient aussi . Ainsi, lon a
1 2 2 2
k n mk kx nk + kx mk 2d2 .
2
Vu la dfinition de la suite ( n )n2N , ceci implique que cette suite est de Cauchy. Lespace H
tant de Hilbert, il est complet. Comme la partie est ferme, elle est complte et donc la
suite ( n )n2N converge dans , ce qui conclut la dmonstration de ce thorme.
Proposition 4.2.1. Soient une partie convexe ferme dun espace de Hilbert H et x un
point de H, on dsigne par p (x) lunique point de tel que d(x, ) = kx p (x)k. On a alors
Dmonstration. Pour dmontrer la premire ingalit, observons que, comme est convexe,
on a pour tout in [0, 1] et pour tout in ,
2 2
x (1 )p (x) + = x p (x) + (x p (x)) kx p (x)k2 .
ce qui assure la premire ingalit. Pour dmontrer la seconde, utilisons la premire avec
respectivement x et = p (x0 ) et x0 et = p (x). Ceci assure que
65
Dmonstration. Considrons un lment x quelconque de H. Pour tout point f de F , et pour
tout rel , on a
kx pF (x) + f k2 = 2
kf k2 + 2 <e(x pF (x)|f ) + kx pF (x)k2 .
kx pF (x) + f k2 kx pF (x)k2 .
<e(x pF (x)|f ) = 0.
x pF (x) 2 F ? .
Corollaire 4.2.2. Soit A une partie quelconque dun espace de Hilbert H. Cette partie A est
totale si et seulement si A? = {0}.
Dmonstration. Utilisons lexercice 4.1.2 qui dit que A? = (Vect(A))? . Si A? = {0}, cela
signifie, daprs le corollaire 4.2.1, que Vect(A) est gal H, ce qui signifie exactement que la
partie A est totale.
Rciproquement, si la partie A est totale, alors Vect(A) est gal H, do A? = {0}. Le
corollaire est donc dmontr.
Exercice 4.2.2. Soit A une partie quelconque dun espace de Hilbert H. Dmontrez que
(A? )? = Vect(A).
Dfinition 4.2.1. Soit H un espace de Hilbert sparable de dimension infinie. On appelle base
hilbertienne ou base orthonormale de H toute suite (en )n2N dlments de H qui est totale et
telle que
(en |em ) = n,m avec n,m = 1 si n = m et 0 sinon. (4.3)
Exercice 4.2.3. On considre lespace `2 (N) la suite (en )n2N dlments de `2 (N) dfinie par
en (k) = n,k .
Dmontrer que (en )n2N est une base hilbertienne de `2 (N). Quel est lespace vectoriel engendr
par les en ?
Thorme 4.2.3. Dans un espace de Hilbert sparable H, il existe des bases hilbertiennes.
Dmonstration. Considrons une partie dnombrable totale (an )n2N . On peut supposer, quitte
extraire une sous-suite, que la famille (an )n2N est libre (au sens de lalgbre linaire). En
eet, on dfinit la fonction dextraction suivante
66
Cest un exercice laiss au lecteur que de vrifier que lespace vectoriel engendr par a (n) est
gal celui engendr par les an . Nous allons maintenant utiliser le procc dorthogonalisation
de Schmidt. Rappelons ce procd. On pose
a1
e1 =
ka1 k
Supposons dfinis les termes (ej )1jn vrifiant la relation (4.3) et telle que
Vect{a1 , , an } = Vect{e1 , , en }.
Posons
n
X
fn+1
en+1 = avec fn+1 = an+1 (an+1 |ej )ej .
kfn+1 k
j=1
La vrification des relations (4.3) est immdiate. Le thorme est ainsi dmontr.
Thorme 4.2.4. Soit H un espace de Hilbert sparable et (en )n2N une base hilberitienne
de H. Lapplication I dfinie par
H ! `2 (N)
x 7 ! ((x|en ))n2N
est une bijection linaire isomtrique. Ceci contient en particulier les identits dites de Bessel
et Parseval X X
x= (x|en )en et kxk2 = |(x|en )|2 .
n2N n2N
Dmonstration. Son point principal est le fait que lapplication I envoie bien H dans `2 (N).
Pour le prouver, posons
df X
xq = (x|ep )ep .
pq
Lingalit de Cauchy-Schwarz arme que kxq k2 kxk kxq k. On en dduit que, pour tout
entier q, on a
Xq
|(x|ep )|2 kxk2 .
p=0
67
4.3 Dualit des espaces de Hilbert
Soit H un espace de Hilbert de dimension finie d, cest--dire un espace euclidien ou her-
mitien. On sait que lapplication dfinie par
H ! H0
x 7 ! (x) : h ! 7 (h|x)
est une bijection antilinaire et isomtrique de H sur H0 . Pour un espace de Hilbert de dimen-
sion infinie, la situation dire assez peu.
Dmonstration. Le fait que k (x)kH0 kxk (donc en particulier que est une forme linaire
continue) rsulte de lingalit de Cauchy-Schwarz. Le fait que est antilinaire est vident.
De plus,
x
h (x), i = kxk ;
kxk
donc est une isomtrie. Une isomtrie tant injective, il reste dmontrer la surjectivit
de . Pour ce faire, considrons un lment ` de H0 \ {0}. Son noyau est un sous-espace ferm
de H, distinct de H. Soit x un vecteur non nul de (ker `)? tel que h`, xi = kxk2 . Les deux
formes linaires ` et (x) ont mme noyau et il existe un h0 non nul tel que h`, h0 i = h (x), h0 i,
donc (x) = `. Le thorme est ainsi dmontr.
On peut en dduire les deux corollaires ci-dessous.
Dfinition 4.3.1. Soient (xn )n2N une suite dlments dun espace de Hilbert H et x un
lment de H. On dit que la suite (xn )n2N converge faiblement vers x et lon note limf xn = x
n!1
ou bien (xn )n2N * x si et seulement si
Le thorme suivant dit, entre autre chose, pourquoi cette convergence est dite faible.
Thorme 4.3.2. Soient (xn )n2N une suite dlments dun espace de Hilbert H et x un
lment de H. On a alors
68
Dmonstration. Le premier point du thorme rsulte simplement du fait que
|(h|xn ) (h|x)| khk kxn xk.
Quant au second point, il sut dcrire que
kxn xk2 = kxn k2 2 <e(x|xn ) + kxk2 ;
Comme la suite (xn )n2N tend faiblement vers x, on a
2 lim <e(x|xn ) = 2kxk2 .
n!1
Le deuxime point est ainsi dmontr. Le troisime point est un corollaire du thorme de
Banach-Steinhaus. En eet, lhypothse de convergence faible signifie que, pour tout y de H,
on a
lim (xn )(y) = lim (y|xn ) = (y|x).
n!1 n!1
Le thorme 3.3.2 de Banach-Steinhaus dit que la suite ( (xn ))n2N est une suite borne de H0 .
Daprs le thorme 4.3.1 de reprsentation de Riesz, ceci signifie que la suite (xn )n2N est
borne. Do le thorme.
Exemple Soit H un espace de Hilbert de dimension infinie et sparable. Considrons une base
hilbertienne (en )n2N de H. Daprs le thorme 4.3.1 de reprsentation de Riesz, pour tout x
de H, la suite ((x|en ))n2N appartient `2 (N). Donc elle tend vers 0. Voil donc un exemple
de suite faiblement convergente vers 0 qui ne converge pas au sens de la norme vers 0 puisque
chaque en est de norme 1.
Proposition 4.3.1. Soient (xn )n2N et (yn )n2N deux suites dlments de H telles que
lim xn = x et limf yn = y.
n!1 n!1
Exercice 4.3.2. Dmontrez que, dans un espace de Hilbert H, si une suite (xn )n2N tend
faiblement vers x, alors,
kxk lim inf kxn k
n!1
Le thorme suivant est une thorme de compacit faible de la boule unit dun espace de
Hilbert. Lorsque celui-ci nest pas de dimension finie, on sait, daprs le thorme 2.3.1 que la
boule unit nest pas compacte au sens de la topologie dfinie laide de la norme. Cependant,
on a le thorme ci-aprs qui nest quune traduction du thorme 3.3.4.
Thorme 4.3.3 (de compacit faible). Soit (xn )n2N une suite borne dun espace de Hilbert
sparable H, on peut en extraire une sous-suite faiblement convergente.
69
4.4 Adjoint dun oprateur et oprateurs auto-adjoints
La notion dadjoint est bien connue en dimension finie. tant donn un produit scalaire
sur un espace H de dimension finie d, ladjoint A? dun oprateur est dfini par la relation
Il est connu que, si (Ai,j )1i,jd est la matrice de A dans une base orthonorme, alors la matrice
de A? dans cette mme base est donne par A?i,j = Aj,i . De plus, cest un thorme classique
dalgbre linaire que si u est autoadjoint (i.e. A = A? ), loprateur A est diagonalisable dans
une base orthonorme.
Nous allons tudier une gnralisation de ces concepts et de ces rsultats au cas des espaces
de Hilbert de dimension infinie.
Thorme 4.4.1. Soit A un oprateur linaire continu sur un espace de Hilbert H. Il existe
un unique oprateur linaire A? continu sur H tel que
De plus, lapplication qui, loprateur A, associe A? , est une application antilinaire isom-
trique de L(H) dans lui-mme.
On dduit du thorme ci-dessus la dfinition suivante.
Dfinition 4.4.1. On appelle loprateur A? ci-dessus loprateur adjoint de A. On dit quun
lment A de L(H) est autoadjoint si et seulement si A = A? .
Dmonstration du thorme 4.4.1 Lunicit de loprateur A? rsulte immdiatement du fait
que H? = {0}. Soit LA lapplication dfinie par
H ! H0
LA
y 7 ! LA (y) : x 7 ! (Ax|y).
Il est visible que lapplication LA est une application antilinaire continue de H dans H0 .
df
Posons A? = 1 LA . Par dfinition de A? , on a
70
Proposition 4.4.1. Soit A une application linaire continue sur un espace de Hilbert H. On
a les proprits suivantes. Lopration ? est une involution, cest--dire que A = A? ? . On a
aussi
(ker A)? = Im A? et ker A = (Im A? )? . (4.6)
Enfin, si la suite (xn )n2N converge faiblement vers x, alors la suite (Axn )n2N converge faible-
ment vers Ax.
Dmonstration. Le premier point rsulte simplement du fait que si lon a (Ax|y) = (x|A? y),
alors (A? y|x) = (y|Ax). Pour dmontrer les relations (4.6), crivons que
8y 2 H , (Ax|y) = 0 () 8y 2 H , (x|A? y) = 0.
La traduction ensembliste de lquivalence ci-dessus est exactement lgalit entre les deux
ensembles ker A et (Im A? )? . Lautre relation sen dduit par passage lorthogonal.
Soit (xn )n2N une suite faiblement convergente vers x. Pour tout y de H, on a
La convergence faible de la suite (xn )n2N entrane celle de la suite (Axn )n2N .
Proposition 4.4.2. Soit A un oprateur autoadjoint de L(H). On a alors
df
Il est clair que M = supkuk=1 |(Au|u)| est infrieur ou gal kAkL(H) . Soient u et v deux
vecteurs de H de norme 1. On a
1
<e(Au|v) = (A(u + v)|u + v) (A(u v)|u v)
4
M
(ku + vk2 + ku vk2 ).
4
Comme ku + vk2 + ku vk2 = 2(kuk2 + kvk2 ) et comme les vecteurs u et v sont de norme plus
petite de 1, on trouve que
<e(Au|v) M
ce qui dmontre la proposition.
Nous souhaitons maintenant tudier une gnralisation du thorme de diagonalisation des
oprateurs auto-adjoints en dimension finie. notre niveau, ceci ncessite un hypothse sup-
plmentaire sur loprateur, celle de compacit. Introduisons la notion doprateurs compacts.
Cette notion peut tre dfinie pour une application linaire continue entre espaces de Banach.
Dfinition 4.4.2. Soient E et F deux espaces de Banach. Un lment u de L(E, F ) est dit
compact si et seulement si pour toute partie borne A, u(A) est dadhrence compacte.
Exemple Si u(E) est un espace vectoriel de dimension finie, alors loprateur u est compact.
En eet, si A est une partie borne de A, limage de A est une partie borne de lespace
vectorielde dimension finie u(E). Cest donc une partie dadhrence compacte.
71
Exercice 4.4.2. Soit E lespace vectoriel des fonctions f de [0, 1] valeurs dans R telles que
|f (x) f (x0 )|
sup 1 <1
x6=x0 |x x0 | 2
1) Dmontrer que
df |f (x) f (x0 )|
kf kE = |f (0)| + sup 1
x6=x0 |x x0 | 2
dfinit une norme sur E et que (E, k kE ) est un espace de Banach.
2) Dmontrer que lapplication
E ! C([0, 1], R)
f 7 ! f
est compacte.
X
Exercice 4.4.3. Soit (A(n, m))(n,m)2N2 une suite de rels telle que A2n,m soit finie.
(n,m)2N2
1) Dmontrer que
df X
(Ax)(n) = A(n, m)x(m)
m2N
X 1
2
dfinit un oprateur continu de `2 (N) dans lui-mme et que kAkL(`2 ) A2n,m .
(n,m)2N2
2) Soit AN loprateur dfini par (AN x)(n) = 1{0, ,N } (n)(Ax)(n). Dmontrer que
Avant de nous lancer dans la dmonstration de ce thorme, nous allons rappeler (et d-
montrer) le thorme de diagonalisation des ioprateurs auto-adjoints dans un espace euclidien
(ou hermitien) de dimension finie.
Thorme 4.4.3. Soit A un oprateur auto-adjoint dans un espace de Hilbert de dimension
finie N . Il existe une suite finie ( j )1jN et une base orthonorme (ej )1N telle que, pour
tout j, ej soit un vecteur propre associ la valeur propre j .
72
Dmonstration. Considrons la forme quadratique (ou hermitienne) associe A, cest--dire
H ! R
QA
x 7 ! (Ax|x)
Cest une fonction continue sur H. Dsignons par SH la sphre unit de H. Vu que nous sommes
en dimension finie, le corollaire 1.3.2 page 24 du thorme de Heine( voir le thorme 1.3.3
page 23) assure lexistence dun point xM de SH telle que
df
|(AxM |xM )| = M0 = sup |(Ax|x)| (4.7)
x2SH
73
Poursuite de la dmonstration du thorme 4.4.3 Dfinissons
df df
E0 = ker(A M0 Id) et H1 = (E0+ E0 )? = (E0+ )? \ (E0 )? . (4.9)
lim | j | kej k = 0.
j!1
De plus AxM = M0 xM .
Dmonstration. Si M0 = 0, daprs la proposition 4.4.2, A = 0 et il ny a rien dmontrer.
Supposons que M0 soit strictement positif. Comme (Ax|x) est rel, quitte changer A en A,
on peut supposer que
M0 = sup (Ax|x).
kxk=1
Par dfinition, il existe une suite (xn )n2N dlments de la boule unit B telle que
74
Loprateur A tant compact, on peut, quitte extraire une sous-suite, dire quil existe un y
dans H tel que
lim Axn = y.
n!1
nouveau aprs extraction, on peut supposer, daprs le thorme 4.3.3, quil existe un l-
ment x de H tel que
limf xn = x.
n!1
Il en rsulte que, pour tout z dans H, on a (y|z) = (Ax|z), ce qui implique que y = Ax. Mais,
daprs la proposition 4.3.1, on a
Le maximum M0 est donc atteint en un point x qui bien sr est dirent de 0 puisque M0 est
strictement positif. De plus, si lon avait kxk < 1, alors on aurait
x x M0
A = > M0 ,
kxk kxk kxk2
ce qui contredit la maximalit de M0 car M0 est strictement positif. Donc kxk = 1, ce qui
implique en particulier que la convergence de (xn )n2N vers x est forte.
On peut maintenant appliquer le lemme 4.4.3 et ainsi travailler dans lespace
?
df
H1 = ker(A M0 Id) + ker(A + M0 Id) = ker(A M0 Id)? \ ker(A + M0 Id)? .
Dmontrons que H1 est stable par A. Pour ce faire, il sut de dmontrer le lemme suivant.
Lemme 4.4.4. Soit B un lment de L(H). Alors B ? laisse stable (ker B)? .
(y|B ? x) = (By|x) = 0
75
et donc que AH1 H1 . tudions maintenant loprateur A restreint lespace de Hilbert H1 .
Cet oprateur A|H1 est un oprateur autoadjoint compact de H1 (Exercice : vrifiez-le). Posons
df
M1 = sup (Ax|x).
kxk=1
x2H1
Si Mj+1 = 0, la proposition 4.4.2 implique que Hj+1 = ker A et le processus sarrte. Si Mj+1
est srtictement positif, on poursuit lalgorithme.
Si la suite des (Mj )j2N est une suite de rels strictement positifs, on considre
\
E? = Hj .
j2N
Ainsi donc
8j 2 N , sup |(Au|u)| | j |
kuk=1
u2E ?
et donc
sup |(Au|u)| = 0
kuk=1
u2E ?
ce qui implique daprs la proposition 4.4.2 que A|E ? = 0. Le thorme 4.4.2 est compltement
dmontr.
76
Chapitre 5
Espaces Lp
Introduction
Ce chapitre est dvolu ltude des fonctions de puissance p ime intgrable dfinies sur
un sensemble X muni dune tribu B et dune mesure positive sur cette tribu. Deux exemples
fondamentaux sont tudis.
Tout dabord, le cas o X = N et o la tribu B est lensemble des parties de N et la
mesure de dcompte, cest--dire que la mesure dune partie de N est le nombre (fini ou infini)
dlments de cette partie. Les espaces de fonctions de puissance p ime intgrables sont alors
les espaces `p (N) tudis aux chapitres 2 et 3.
Lautre exemple important est le cas o X est lespace Rd ou une partie de lespace Rd
muni de la tribu borlienne et de la mesure de Lebesgue.
La premire section est constitue du rappel sans dmonstration dun certain nombre
dnoncs fondamentaux de la thorie de lintgration qui seront dusage constant dans ce
chapitre. Ces noncs doivent absolument tre connus.
Dans le deuxime section, on dmontre que les espaces (de classes de) fonctions de puis-
sance p ime intgrable sont des espaces de Banach. Le fait que les fonctions soient dfinies
modulo des ensembles ngligeables constitue une dicult supplmentaire par rapport au cas
des espaces `p (N) trait au chapitre 2 (voir le thorme 2.1.1 page 31 et sa dmonstration).
Lingalit de Hlder joue un rle important dans la dmonstration. Dans cette section, nous
verrons galement un critre dappartenance aux espaces de fonctions de puissance p ime in-
grable qui sexprime au travers dune ingalit sur une collection de moyenne pondres. Cest
le fondamental lemme 5.2.2. Cette ide quune collection de moyennes pondres caractrise
une fonction est la base de la notion de drive faible qui sera introduite au chapitre 6 et
plus gnralement de la notion de distributions (voir le chapitre 8).
La troisime section est consacre la dmonstration du thorme de densit des fonctions
continues support compact dans les espaces de fonctions de puissance p ime intgrable dans
le cas o X est un ouvert de Rd .
La quatrime section est consacre la dfinition du produit de convolution de deux fonc-
tions dfinies sur Rd . Cette opration est dun usage constant en analyse et fournit en particulier
des approximations "explicites" des fonctions de puissance p ime intgrable par des fonctions
indfiniment direntiables support compact.
La cinquime et dernire section de ce chapitre traite de lidentification du dual des fonc-
tions de puissance p ime intgrable avec les fonctions de puissance p0 intgrable lorsque p est
rel et p0 est lexposant conjug de p. Ceci a dj t tbli au chapitre 3 (voir le thorme 3.2.1
page 52). Nous ne le prsentons ici que dans le cas o p est dans lintervalle [1, 2].
77
5.1 Rappel sur la thorie de la mesure et dfinition des es-
paces Lp
Dans cette section, nous allons dfinir les espaces Lp et rappeler les principaux thormes
de base de la thorie de la mesure. Soit X muni dune tribu B et une mesure positive sur B.
On suppose, comme il est classique, que la mesure est -finie, cest--dire que X est une runion
dnombrable densembles de mesure finie.
Dfinition 5.1.1. Soit p dans lintervalle [1, +1[, on dsigne par Lp (X, d) lespace des
(classes dquivalence modulo la relation de concidence presque partout) des fonctions mesu-
rables telles que Z
|f (x)|p d < 1.
X
df
kf kL1 = sup / {x / |f (x)| > } > 0 = inf M / {x / |f (x)| > M } = 0.
Dmontrons lgalit entre les deux quantits qui dfinissent kf kL1 . Remarquons tout
dabord que pour tout couple ( , M ) tel que {x / |f (x)| > M } = 0 et {x / |f (x)| > } > 0
est tel que et strictement infrieur M . Ainsi donc
Soit M1 un nombre rel strictement suprieur sup / {x / |f (x)| > } > 0 . Par dfinition
de la borne suprieure, on a {x / |f (x)| > M1 } = 0. Ainsi donc
Nous commencerons par rappeler les principaux noncs qui fondent la thorie de la mesure.
Thorme 5.1.1 (de convergence monotone). Soit (fn )n2N une suite de fonctions mesurables
positives sur X. On suppose que, pour tout x, la suite (fn (x))n2N est croissante. Soit f la
fonction dfinie par (
X ! R+ [ {+1}
f x 7 ! lim fn (x).
n!1
Lemme 5.1.1 (de Fatou). Soit (fn )n2N une suite de fonctions mesurables de X dans [0, +1].
On a Z Z
(lim inf fn )d lim inf fn d.
X n!1 n!1
78
Thorme 5.1.2. Soit p un nombre rel suprieur ou gal 1, on considre une suite (fn )n2N
de Lp et une fonction f telles que
Z
lim |f (x fn (x)|p d(x) = 0.
n!1 X
et sil existe une fonction g de Lp (X, d) telle que, pour presque tout x de X, on ait
alors, on a
f 2 Lp et lim kfn f kLp = 0.
n!1
Thorme 5.1.4 (de drivation sous lintgrale). Soient (X, ) un espace mesur, un ouvert
de Rd et f une application mesurable de X dans K. Si, pour presque tout x de X, la fonction
z 7 ! f (z, x)
x 7 ! f (z, x) et x 7 ! Df (z, x)
alors lapplication Z
z7 ! f (z, x)d(x)
X
est direntiable sur et lon a
Z Z
D f (z, x)d(x) = Df (z, x)d(x).
X X
Thorme 5.1.5 (de Fubini). Soient (X1 , 1 ) et (X2 , 2 ) deux espaces mesurs et F une
fonction mesurable positive de X1 X2 dans [0, +1]. On a
Z Z Z
F (x1 , x2 )d1 (x1 ) d2 (x2 ) = d1 (x1 ) F (x1 , x2 )d2 (x2 )
X1 X2 X1 X2
Z Z
= d2 (x2 ) F (x1 , x2 )d1 (x1 ).
X2 X1
79
Exercice 5.1.1. Soit f une fonction mesurable sur un espace mesur (X, ). On a
Z Z +1
p p 1
|f (x)| d(x) = p (|f | > )d .
X 0
Thorme 5.1.6 (de Fubini-Tonelli). Soient (X1 , 1 ) et (X2 , 2 ) deux espaces mesurs et F
une fonction mesurable sur X1 X2 . Les deux assertions suivantes sont quivalentes.
i) La fonction F appartient L1 (X1 X2 , d1 d2 ),
ii) Pour presque tout point x1 de X1 , la fonction F (x1 , ) appartient L1 (X2 , d2 ), la
fonction Z
F (x1 , x2 )d2 (x2 ) 2 L1 (X1 , d1 ) et
X2
Z
F (x1 , x2 )d2 (x2 ) kF kL1 (X1 X2 ,d1 d2 ) .
X2 L1 (X1 ,d1 )
df p df df
Si p 2]1, 1[ , p0 = , si p = 1, p0 = +1, et si p = +1 , p0 = 1.
p 1
1
Les exposants p et p0 sont dits conjugus et, en convenant que = 0, on a
1
1 1
+ = 1.
p p0
Thorme 5.2.1. Pour tout p dans [1, 1], (Lp (X, d), k kLp ) est un espace de Banach.
Dmonstration. Commenons par traiter le cas o p est gal linfini. Tout dabord si lon
a kf kL1 = 0, cela signifie quil existe une suite de rels strictement positifs ( n )n2N tendant
vers 0 telle que, pour tout n, lensemble {x / |f (x)| > n } soit ngligeable. Une runion
dnombrable de ngligeables ltant aussi, lensemble des x tels que f (x) nest pas nulle est
80
ngligeable. Ainsi donc f = 0 dans L1 . La dmonstration de lhomognt est laisse en
exercice et repose sur le fait que
n Mo
{x / | f (x)| > M } = x / |f (x)| > .
| |
Considrons f et g deux (classes de) fonctions de L1 et considrons deux nombres rels stric-
tement positifs Mf et Mg tels que les deux ensembles {x / |f (x)| > Mf } et {x / |g(x)| > Mg }
soit de mesure nulle. Remarquons que
Lespace L1 est donc stable par somme. De plus, la borne infrieure tant un minorant,
on a kf + gkL1 Mf + Mg . La borne infrieure tant le plus grand des minorants, on a
donc kf + gkL1 kf kL1 + kgkL1 . Ainsi donc, (L1 (X, d), k kL1 ) est un espace vectoriel
norm.
Pour dmontrer que lespace (L1 , k kL1 ) est un espace de Banach nous allons nous
ramener la proposition 2.1.3 page 29. Pour ce faire, considrons une suite de Cauchy (fn )n2N
de (L1 , k kL1 ) et introduisons les ensembles Em,p,n dfinis par
n 1 o
df
Em,p,n = x 2 X / |fm (x) fm+p (x)| > .
n+1
Ici nous notons les classes de fonctions fn et lun de leur reprsantant de la mme manire.
Comme la suite (fn )n2N est de Cauchy, on peut dfinir la fonction de N dans N par
n 1 o
(n) = min m (n 1) + 1 / 8m0 m , 8p 0 , kfm0 fm0 +p kL1 <
n+1
Par dfinition de la borne suprieure essentielle, pour tout m (n), la mesure de Em,p,n est
nulle. Ainsi donc lensemble E dfini par
df [
E = Em,p,n
(n,p)2N2
m (n)
est de mesure nulle. On peut donc choisir de reprsenter les (classes de) fonctions fn par des
fonctions nulles sur lensemble ngligeable E (que lon persiste noter fn ). Ainsi donc on a
1
8n , 8m (n) , 8p , 8x 2 X , |fm (x) fm+p (x)| <
n+1
Ainsi donc, la suite (fn )n2N est de Cauchy dans B(X, K). La proposition 2.1.3 page 29 permet
de conclure que L1 (X, d) est complet.
tudions maintenant le cas o p est fini. La premire tape consiste dmontrer que
lespace (Lp (X, d), k kLp ) est un espace vectoriel norm avec
Z 1
df p
kf kLp = |f (x)|p d(x) .
X
Cest clair pour p = 1. Lorsque p appartient ]1, 1[, observons tout dabord que, comme
lespace Lp (X, d) est un espace vectoriel. Dmontrons que cest un espace norm. Ce fait
repose sur lingalit de Hlder nonc dans la proposition suivante.
81
Proposition 5.2.1 (Ingalit de Hlder). Soient (X, ) un espace mesur, f une fonction
0
de Lp (X, d) et g une fonction de Lp (X, d). Alors, le produit f g appartient L1 (X, d) et
Z
|f (x)g(x)|d(x) kf kLp kgkLp0 .
X
Ceci implique que lon a kf + gkLp kf kLp + kgkLp et donc que Lp (X, d) est un espace
norm.
Dmontrons maintenant la compltude de ces espaces. Cela repose sur le lemme suivant.
Lemme 5.2.1. Si E est un espace norm tel que pour toute suite (xn )n2N , on ait
X N
X
df
kxn kE < 1 =) SN = xn converge,
n2N n=0
82
Ainsi donc, on a, pour tout entier n,
1
ka (n+1) a (n) k
(1 + n)2
df
Posons xn = a (n+1) a (n) . On a
X X 1
kxn k < 1.
(1 + n)2
n2N n2N
N
X
Donc par hypothse, la suite xn = a (N ) a0 converge. Do le lemme.
n=0
Poursuite de la dmonstration du thorme 5.2.1 Soit (fn )n2N une suite dlments de Lp
telle que X
kfn kLp < 1.
n2N
Introduisons les fonctions
N
X N
X
+
SN (x) = fn (x) et SN (x) = |fn (x)|.
n=0 n=0
La fonction S + est finie presque partout et appartient Lp . Ainsi donc, pour presque tout x,
la srie de terme gnral fn (x) converge dans C. Dsignons par S sa somme. Cest un lment
de Lp . On a
XN Z XN
p p
S fn p = S(x) fn (x) d(x).
L X
n=0 n=0
On sait que
N
X
S(x) fn (x) 2S + (x).
n=0
Comme S+ est dans Lp , le thorme de convergence domine assure que
N
X p
lim S fn = 0.
N !1 Lp
n=0
83
Nous allons maintenant faire quelques remarques sur lingalit de Hlder. Donnons tout
dabord le corollaire suivant.
1 1
+ 1.
p q
Alors lapplication
Lp Lq ! Lr
(f, g) 7 ! f g
est une application bilinaire continue si
1 1 1
= +
r p q
Dmonstration. Comme la fonction 1 appartient visiblement lespace L1 (X, d)\L1 (X, d),
donc Lp (X, d) pour tout p. On a mme
1
8p 2 [1, 1] , k1kLp = (X) p .
Do le corollaire.
Lingalit de Hlder est fondamentale. Nous allons voir quelle est optimale au sens suivant.
Lemme 5.2.2. Soit (X, ) un espace mesur. Soit f une fonction mesurable et p un lment
de [1, +1]. On a alors la proprit suivante. Si
Z
sup |f (x)g(x)d(x) < +1,
kgk p0 1 X
L
g 0
alors, f appartient Lp et
Z
kf kLp = sup f (x)g(x)d(x) .
kgk 0 1 X
Lp
84
Dmonstration. Commenons par le cas o p = 1. En choissisant pour g la fonction constante 1.
La fonction g est borne de norme L1 gale 1. De plus,
Z Z
|f (x)|g(x)d(x) = |f (x)|d(x).
X X
Lhypothse assure que f appartient L1 (X, d). Considrons maintenant la fonction g dfinie
par
f (x)
g(x) = si f (x) 6= 0 et 0 sinon.
|f (x)|
La fonction g est borne de norme gale 1. De plus,
Z Z
f (x)g(x)d(x) = |f (x)|d(x).
X X
fn+ (x)p 1
fn+ (x) = 1Kn \(|f |n) |f | et gn (x) = p
0
kfn+ kLp p
Il est clair que la fonction fn est positive et appartient L1 \ L1 donc Lp pour tout p et
que lon a Z
p0 1 (p 1) p p 1
kgn kLp0 = + p fn+ (x) d(x) = 1.
kfn kLp X
La dfinition des fonctions fn et gn assure que
Z Z
|f (x)|1Kn \(f n) gn (x)d(x) = fn+ (x)gn (x)d(x)
X X
Z p
+ p 0
= fn (x) d(x) kfn kLpp
X
p p0
+
= kfn kLp p
= kfn+ kLp .
On a donc Z Z p
fn+ (x)p d(x) sup |f (x)|g(x)d(x) .
X kgk p0 1 X
L
g 0
f (x)|f (x)|p 1
g(x) = p
0
|f (x)| kf kLp p
85
on a
Z Z
0 1 (p 1) p p 1
kgkpLp0 = |f (x)| d(x) = 1 et kf kLp = f (x)g(x)d(x).
kf kpLp X X
Do le lemme pour p appartient [1, 1[. Dans le cas o p = +1, considrons un rel stric-
df
tement positif tel que (|f | ) soit strictement positif. On pose E = (|f | ). Soit g0
une fonction de L1 , positive, supporte dans E , et dintgrale 1. On pose
f (x)
g(x) = g0 .
|f (x)|
On a alors
Z Z Z
|f (x)g(x)|d(x) = |f (x)|g0 (x)d(x) g0 d(x) .
X X X
Pour dmontrer que A est compacte, il sut de dmontrer que A est une partie ferme de Rd .
Comme A est ferme dans , cela signifie quil existe un ferm B de Rd tel que A = B \ .
Soit /2 le ferm dfini par
df
/2 = {x / d(x, X \ ) /2}.
86
Le rsultat suivant nous sera galement utile
Thorme 5.3.2. Soit un ouvert de Rd , il existe une suite de compacts (Kn )n2N telle que
[
Kn = , Kn Kn+1 et 8K compact de , 9n / K Kn .
n2N
Dmonstration. Posons
df 1
Kn = B(0, n) \ x 2 Rd / d(x, Rd \ )
n
Comme est un ouvert, pour tout x de X, d(x, Rd \ ) est strictement positif. Donc, il existe
un entier n tel que x 2 Kn . De plus,
1
Kn B(0, n + 1) \ x 2 Rd / d(x, Rd \ ) > Kn+1 .
n
[
Do le premier point du thorme. Quant au second, il sut dobserver que Kn+1 =
n2N
Thorme 5.3.3. Soit p un lment de [1, +1[, lespace Cc () des fonctions continues
support compact dans est dense dans Lp (, d).
La dmonstration de ce thorme, longue et dlicate, est prsente ici titre culturel. Pour
dmontrer ce thorme, nous allons tout dabord dmontrer deux rsultats de densit valables pour les
fonctions dfinies sur un espace mesur quelconque. Dmontrons tout dabord la proposition suivante.
Proposition 5.3.1. Si p appartient [1, 1[, L1 (X, d) \ L1 (X, d) est dense dans Lp (X, d).
Dmonstration. Considrons une suite croissante (Kn )n2N densembles de mesure finie dont la runion
est lensemble X. Posons
fn = 1Kn \(|f |n) f.
Il est clair que, pour presque tout x, on a
Proposition 5.3.2. Si p appartient [1, 1[, alors lespace des fonctions tages intgrables (i.e.
ne prenant quun nombre fini de valeurs non nulles sur des ensembles de mesure finie) est dense
dans Lp (X, d).
87
Dmonstration. Nous allons utiliser le fait suivant dont la dmonstration est laisse en exercice au
lecteur : si (Y, d) est un espace mtrique, si A est dense dans Y et si tout lment de A est limlite
dune suite dlments de B alors B est aussi dense dans Y . Grce la proposition ci-dessus, il sut
de dmontrer que tout fonction de L1 (X, d) \ L1 (X, d) est limite dune suite de fonctions tages
intgrables. Pour ce faire, une fonction f de L1 (X, d) \ L1 (X, d) tant donne, considrons la suite
de fonctions (fn )n2N dfinie par
+1 1
df X j X j+1
fn = 1 1
([ j j+1
[) + 1 1 j
([ n+1 j+1
[) . (5.1)
j=0
n+1 f n+1 , n+1
j= 1
n +1 f , n+1
Dmonstration du thorme 5.3.3 Soit f une fonction de Lp (). Il sagit de dmontrer que, pour tout "
strictement positif, il existe une fonction g continue support compact telle que
kf gkLp < ". (5.3)
Daprs la proposition 5.3.1, il existe une fonction tage intgrable fe telle que
N
X
"
kf fekLp < avec fe = j 1Aj (5.4)
2 j=1
o les j sont des nombres rels et o les Aj sont des ensembles borliens de mesure finie. Admettons
un instant le lemme suivant.
Lemme 5.3.1. Pour tout p dans [1, 1[, pour tout borlien A de mesure finie, pour tout rel strictement
positif ", il existe une fonction h continue support compact telle que
kh 1A kLp < ".
Nous pouvons donc armer lexistence, pour tout j de {1, , N } lexistence dune fonction gj
continue support compact dans telle que
"
k1Aj gj kLp
2N |j |
N
def X
Dfinissons maintenant la fonction g par Soit g = j gj . Nous avons
j=1
N
X
kfe gkLp |j | k1Aj gj kLp
j=1
"
2
Le thorme 5.3.3 est alors dmontr, pourvu que lon dmontre le lemme 5.3.1.
88
Dmonstration du Lemme 5.3.1 Soit (Kn )n2N une suite exhaustive de compacts (voir Thorme 5.3.2
et Dfinition 5.3.1 page 87). Comme A est de mesure finie, la fonction caractristique de A appartient
Lp pour tout p. De plus, pour tout x de , on a
Thorme 5.3.4. Pour tout ensemble A appartenant la tribu borlienne complte B et de mesure
finie,
df d(x, U c )
h(x) =
d(x, U c ) + d(x, K)
h|X\U = 0 et h|K = 1.
|h 1A | 1U \K et donc que |h 1A |p 1U \K .
Do il vient que
"
kh 1A kLp <
2
Le lemme est ainsi dmontr puisque la fonction g est nulle en dehors de ladhrence de U , qui est
compacte.
Dmonstration du thorme 5.3.4 Elle est prsente ici titre culturel. La premire tape consiste
se ramener au cas o louvert est de mesure finie. Pour ce faire, supposons le thorme dmontr
dans ce cas. Considrons alors une partie A de la tribu complte de et de mesure finie. On dfinit
alors les suites
df df df
p = \ B(0, p) , Ap = A \ B(0, p) et B0 = A0 et Bp = Ap \ Ap 1 pour p 1.
89
Lassertion (5.6) implique alors que
8" > 0 , 8p , 9Kp," compact , 9Up," ouvert de / Kp," Ap Up," et (Up," \ Kp," ) < "2 p 2
.
Lassertion (5.7) implique que la srie de terme gnral ((Kp," ))p2N converge. Il existe donc un entier p"
tel que
1
X "
(Bp ) < (5.8)
p=p" +1
2
Posons alors
1 p"
df [ df [
U" = Up," et K" = Kp,"
p=0 p=0
On a
1
[ p"
[
A= Bp U " et K" Bp A.
p=0 p=0
De plus, U" est un ouvert de en tant que runion douverts et K" est un compact en tant que runion
finie de compacts. Enfin on a
1
[ [
p" c
U " \ K" = Up," \ Kp,"
p=0 p=0
1
[ p
\ "
c
Up," \ Kp,"
p=0 p=0
[1 1
\ 1
[
c
Up," \ Kp," [ Kp," .
p=0 p=0 p=p" +1
Comme lon a
1
[ 1
\ 1
[
c
Up," \ Kp," (Up," \ Kp," ),
p=0 p=0 p=0
on en dduit que
[
1 1
[
U " \ K" (Up," \ Kp," ) [ Kp," .
p=0 p=p" +1
Comme Kp," est inclus dans BP , lingalit (5.11) assure que lon a
1
X 1
X
(U" \ K" ) (Up," \ Kp," ) + (Kp,"
p=0 p=p" +1
X1
p 2 "
"2 +
p=0
2
".
Nous allons dmontrer ce thorme dans le cas o est de mesure finie. Dsignons par A lensemble
des parties de qui vrifie (5.6). Nous allons dmontrer tout dabord que les ouverts appartiennent
A puis que A est une tribu, ce qui assurera le rsultat.
Si A = U est un ouvert, alors la suite (croisssante) de compacts (Kn )n2N dfinie par
def
KN = x 2 U / kxk n et d(x, U c ) 2 n
90
Le thorme 5.1.1 de convergence monotone implique alors que
lim (U \ Kn ) = 0
n!1
ce qui assure que U vrifie appartient A. Considrons maintenant un lment A de A, " un rel
strictement positif, U un ouvert et K un compact tel que
"
(U \ K) <
2
Si C est inclus dans B, alors on a B \ C = B \ C c , et donc C c \ B c = B \ C. On a alors
"
U c Ac K c et (K c \ U c ) = (U \ K) <
2
Mais U c nest pas ncessairement compact. Pour contourner cette dicult, introduisons une suite de
compacts Kn donn par le thorme 5.3.2 page 87. Il est clair que
K 1 [ K 2 A1 [ A2 U 1 [ U 2 . (5.9)
Do il rsulte que
Avec (5.7), ceci assure que U1 [ U2 appartient A. Comme A est stable par complmentaire, si A1
et A2 appartiennent A, alors
A1 \ A2 = (Ac1 [ Ac2 )c 2 A.
Et donc A est stable par runion finie.
Soit maintenant une suite (An )n2N dlments de A. On suit une dmarche analogue celle utilise
pour la rduction au cas o est de mesure finie. Dfinissons
n k[1
df [
Bn = Ak \ Ak .
k=0 j=0
Les ensembles Bn sont deux deux disjoints et leur runion est gale celle des An et lon a
X [
(Bn ) = An < 1.
n2N n2N
91
Comme les ensembles Bn appartiennent A, il existe une suite (Un )n2N douverts et une suite (Kn )n2N
de compacts telles que
On pose alors
n"
df [ df [
U" = Un," et K" = Kn,"
n2N n=0
Lensemble U" est un ouvert en tant que runion douverts et K" est un compact en tant que runion
finie de compacts. Il est clair que
[
K" An U " . (5.12)
n2N
De plus, on a
[
n" c n"
\
K"c = Kn," = c
Kn," .
n=0 n=0
X 1
X
(U" \ K" ) (Un," \ Kn," ) + (Kn," )
n2N n=n" +1
X 1
X
n 2
" 2 + (Bn )
n2N n=n" +1
".
Do le thorme.
De ce thorme, que lon admettra, on dduit lnonc fondamental suivant.
Dmonstration. Soit (Kn )n2N une suite exaustive de compacts (voir la dfinition 5.3.1 page 87). Il
sut de trouver une partie dmonbrable A de Lp () telle que, pour toute fonction continue support
compact dans Kn , on ait
8" , 9g 2 A / kf g||L1 (Kn ) ". (5.13)
92
Soit ( n )n2N une suite de fonctions continues valant 1 prs de Kn et dont le support est inclus
dans K n+1 . On prend pour A lensemble des fonctions de type n P o P est un polynme d
indtermines coecients rationnels. Dmontrer que cet ensemble satisfait la proprit (5.13) est
un excellent exercice que le lecteur est fortement invit faire.
Exercice 5.3.1. Soient x 2 Rd et x lapplication dfinie par
p
L ! Lp
x
f 7 ! x (f ) : y 7! f (x y).
Lapplication x est une isomtrie de Lp dans Lp et, si p est rel, alors, on a
df
8f 2 Lp , lim kx f fkLp = 0 avec f(y) = f ( y).
x!0
Lexercice ci-aprs montre comment lon peut "rgulariser" linairement les fonctions de Lp .
Exercice 5.3.2. 1) Soit K une partie compacte de Rd , dmontrer que, pour tout " strictement positif,
il existe une famille finie (Ak," )k2N densembles disjoints, dadhrence compacte dont le diamtre est
infrieur " et telle que
[1
Ak," = K.
k=0
On considre lapplication Pn dfinie par
8 1
< L
> ! L1
1 Z
Pn df X 1
> f 7 ! P n (f ) = f (x)d(x) 1Aj, .
: (Aj, 1 ) Aj, 1
1
n+1
j=1 n+1
n+1
2) Dmontrez que Pn est une application linaire continue de L1 (K) dans L1 (K).
3) Dmontrez que, pour tout p, on a kPn kL(Lp ;Lp ) 1.
0
4) Dmontrez que, si f appartient Lp et g Lp , alors
Z Z
f (x)Pn g(x)d(x) = Pn f (x)g(x)d(x) .
K K
5) Dmontrez que
8f 2 Lp , lim kPn f f kLp = 0 .
n!1
93
Dmonstration. Comme les fonctions f et g sont supposes tre dans L1 , on a
Z
1 d d
|f (x y)| |g(y)| 2 L (R R ) et |f (x y)| |g(y)|dxdy = kf kL1 kgkL1 .
Rd Rd
y 7 ! f (x y)g(y)
est intgrable et Z
f (x y)g(y)dy kf kLp kgkLp0 .
K
Do le thorme.
Les deux thormes ci-dessus se gnralisent. On peut dfinir la convolution de deux fonc-
tions si elles appartiennent des espaces Lp convenables. Plus prcisment :
Thorme 5.4.3 (Ingalits de Young). Soit (p, q, r) un triplet de rels tel que
1 1 1
1+ = + (5.14)
r p q
Dmonstration. Cest un exemple dapplication du lemme 5.2.2. Supssons tout dabord que f
0
et g soient positives. Soit ' une fonction positive de Lr , nous allons majorer
Z
df
I(f, g, ') = f (x y)g(y)'(x)dxdy .
Rd Rd
94
appartient L1 (Rd Rd ). Le thorme de Fubini-Tonelli 5.1.5 assure que, pour presque tout x,
y 7 ! f (x y)g(y)
appartient L1 (Rd , dy). Ainsi donc f ? g est bien dfinie pour presque tout x de Rd . De plus,
le thorme de Fubini assure que
Z Z Z
f ? g(x) '(x)dx = f (x y)g(y)dy'(x)dx
Rd ZR ZR
d d
f (x y)g(y)dy '(x)dx
Rd Rd
I(f, g, ') .
Si les fonctions f et g sont de signe quelconque (ou valeurs complexes), il sut dappliquer
ce qui procde |f | et |g| et dobserver que
Z Z
f (x y)g(y)dy |f (x y)| |g(y)|dy.
Rd Rd
Dmontrons lingalit (5.15). Remarquons tout dabord que lon ne restreint pas la g-
nralit de la dmonstration en supposant que kf kLp = kgkLq = 1. Considrons et deux
rels de lintervalle ]0, 1[. On crit
Z
I(f, g, ') = f (x y)1 g(y)1 '(x) f (x y) g(y) dxdy .
Rd Rd
df 0
I (2) (f, g, ') = '(x)r f (x y) g(y) dxdy .
Rd Rd
Majorons I (1) (f, g, '). Le thorme de Fubini pour les fonctions positives et linvariance par
translation de la mesure de Lebesgue impliquent que
Z Z
(1) (1 )r+
I (f, g, ') = f (x) dx g(y)(1 )r+ dy
Rd Rd
95
Comme kf kLp = kgkLq = 1, on trouve que I (1) (f, g, ') = 1. Pour majorer I (2) (f, g), observons
que, par dfinition de et , on a
+ = 1.
p q
Lingalit de Hlder entrane alors que
Z Z Z
p q
p
q
f (x y) |g(y)| dy f (x y) dy g(y) dy
Rd Rd Rd
kf kLp kgkLq
1.
Do il rsulte que
I (2) (f, g, ') k'kLr0 .
Lingalit 5.15 et alors le thorme 5.4.3 sont dmontrs.
Alors, on a
Supp (f ? g) Adh (Supp f + Supp g).
Thorme 5.4.5. Soient ' une fonction de L1 (Rd ) dintgrale 1 et p un rel suprieur ou gal
1. Posons x
'" (x) = " d '
"
On a alors, pour toute fonction f appartenant Lp ,
96
Comme la fonction ', donc aussi la fonction '" , est dintgrale 1, on peut crire que
Z
'" ? f f = '" ? f '" (x)dx f
Rd Z
= '" ? (f g) '" (x)dx (f g)
Rd Z
+ ('" ") ? g ('" " )(x)dx g
Rd
Z
+ "?g " (x)dx g.
Rd
Z
k'" ? (f g)kLp < et '" (x)dx (f g) <
8 Rd Lp 8
Vu le choix de , on a
Z
k('" " ) ? gkLp < et ('" " )(x)dx g <
8 Rd Lp 8
Finalement, on a
Z
k'" ? f f kLp < + " ?g " (x)dx g .
2 Rd Lp
La fonction g est uniformment continue, donc, pour tout , il existe un strictement positif
tel que
|y y 0 | ) |g(y) g(y 0 )| < 1
2k kL1 | Supp g + B(0, "R)| p + 1
Posons
df
R = sup |z|.
z2Supp
On a alors
"< )k " ?g gkL1 1
R 2| Supp g + B(0, "R)| p
Do lon dduit que
k'" ? f f kLp < .
Le thorme est ainsi dmontr.
97
Remarque importante Comme le montre lexercice suivant, ce thorme ne sapplique pas
pour p vaut 1.
Comme nous allons le voir, ce thorme est extrmement important pour la rgularisation
des fonctions. En eet, le thorme de drivation sous lintgrale assure que si ' est une fonction
indfiniment diffrentiable support compact, alors la fonction '" ? f lest aussi. Ainsi lon
aura approxim toute fonction de Lp , pour p rel, par une fonction indfiniment diffrentiable
support compact. Lexistence de telles fonctions doit tre dmontre.
Corollaire 5.4.1. Soient un ouvert de Rd , on dsigne par D() lensemble des fonctions
indfiniment diffrentiables et support compact inclus dans . Lespace D() est dirent
de {0}.
Dmonstration. Il sut pour cela de considrer '(x) = f (|x|) o f est la fonction dfinie dans
la proposition 5.4.1 ci-dessus et de faire une translation et une homothtie.
Corollaire 5.4.2. Pour tout rel p 1, lespace D(Rd ) est dense dans Lp (Rd )
Dmonstration. Daprs le corollaire 5.4.1 il existe une fonction ' indfiniment diffrentiable
support compact dintgrale 1. Considrons la famille ('" )">0
x
'" (x) = " d '
"
Considrons alors une fonction f de Lp . On peut trouver une fonction g continue support
compact telle g soit arbitrairement proche de f dans Lp . posons
g" = '" ? g.
Daprs la proposition 5.4.4, la fonction g" est support compact. Comme la fonction ', donc
aussi la fonction '" est indfiniment diffrentiable, le thorme de drivation sous lintgrale
assure g" est indfiniment diffrentiable support compact. Do le corollaire.
Corollaire 5.4.3. Soit un ouvert de Rd et p un rel de lintervalle [1, 1[. Lespace D()
est dense dans Lp ().
98
Dmonstration. Soit (Kn )n2N une suite de exhaustive de compacts (voir la dfinition 5.3.1
df
page 87). On pose alors fn = 1Kn f . Daprs le thorme 5.1.3, on a
df
Posons alors fn," = '" ?fn . Cette fonction est indfiniment diffrentiable. De plus, son support
est le compact Kn + B(0, "), cest--dire lensemble des points distance au plus " de Kn .
Daprs la proposition 5.3.1 page 86, pour " "n , alors le compact Kn + B(0, ") est inclus
dans . Do le corollaire.
Corollaire 5.4.4. Soit K un compact dun ouvert de Rd ; il existe une fonction de D()
telle que vaille 1 au voisinage de K.
alors K2 soit inclus dans . (Un tel rel existe daprs le thorme 5.3.1 page 86). On considre
alors une approximation de lidentit ('" )" et lon pose
Z
def
" (x) = '" ? 1K (x) = '" (x y)dy .
K
Donc, si C" < , alors " 2 D() car K2 . Enfin, si x est dans K C" (qui est non vide
puisque < C"), alors, pour tout y 2 Bx,C" , y dans K . Ainsi donc
Z
'" ? 1K (x) = '" (x y)dy
K
Z
= '" (x y)dy
Rd
= 1.
Do le corollaire.
0
5.5 Dualit entre Lp et Lp
Le thorme principal de cette section est le thorme suivant, qui dit comment lon peut
reprsenter une forme linaire continue sur les espaces Lp lorque p est rel.
99
Avant de dmontrer ce thorme, nous allons en donner une importante consquence et
faire quelques commentaires autour de ce rsultat.
0
Corollaire 5.5.1. Soit p dans [1, 1[. On considre une suite (gn )n2N borne dans Lp . Il existe
0
une extraction et une fonction g dans Lp telles que
Z Z
p
8f 2 L , lim g (n) (x)f (x)d(x) = g(x)f (x)d(x). (5.16)
n!1 X X
Dmonstration. On applique le thorme 3.3.4 page 57 la suite de formes linaires (Ln )n2N
sur Lp dfinie par Z
df
hLn , f i = gn (x)f (x)d(x).
X
Ceci implique lexistence dune fonction dextraction et dune forme linaire L telle que
Z
p
8f 2 L , lim g (n) (x)f (x)d(x) = hL, f i.
n!1 X
0
Le thorme 5.5.1 ci-dessus assure alors lexistence dune fonction g de Lp telle que
Z
8f 2 Lp , lim g(x)f (x)d(x) = hL, f i.
n!1 X
Nous allons observer que cette proprit est fausse lorsque vaut 1 cest--dire lorsque pvaut
p0
linfini. En eet, soit une fonction de D(Rd ) dintgrale 1. Comme nous lavons montr dans
la dmonstration du thorme 5.4.5, si ("n )n2N est une suite de rels positifs, nous avons
Z
1 x
8 lim '(x)dx = '(0).
n!1 Rd "d n "n
Or, la forme linaire 0 dfinie sur Cc () par h 0 , 'i = '(0) correspond la mesure ponctuelle
unit place en 0. Ceci ne peut pas se reprsenter par une fonction g de L1 laide de la forme
bilinaire B car, si lon a Z
g(x)'(x)dx = '(0),
alors la fonction g est nulle sauf en 0, et donc nulle dx-presque partout.
Dmonstration du thorme 5.5.1 Nous ne traiterons que le cas o p est dans lintervalle ]1, 2].
Nous avons dj dmontr ce thorme dans le cas o p = 2 au chapitre 4 sur les espaces de
Hilbert. Lespace X est suppos tre runion dnombrable de parties Kn de mesure finie. On
peut sans perte de gnralit supposer la suite des Kn croissante au sens de linclusion. Soit
une forme linaire sur Lp (X, d) et K une partie quelconque de mesure finie de X, on dsigne
par K la restriction de K cest--dire la forme linaire
df
h K, fi = h , 1K f i.
100
Nous allons maintenant travailler dans lespace Lp (K, d). Considrons une forme linaire
sur Lp (K, d). Supposons dmontr quil existe une unique fonction gK sur K telle que lon ait
Z
p
8f 2 L (K, d) , h , f i = B(gK , f ) = gK (x)f (x)d(x) (5.18)
K
et telle que lon ait
kgK kLp0 = k K k(Lp )0 . (5.19)
On considre alors une suite croissante (Kn )n2N de parties de X de mesure finie telle que la
runion des Kn soit lensemble X tout entier. Il existe donc une suite de fonctions (gn )n2N
vrifiant
8f 2 Lp (Kn , d) , h Kn , f i = B(gn , f ).
Daprs le lemme 5.2.2, on sait que
0
g n 2 Lp et que kgn kLp0 = k Kn k(Lp )0 k k(Lp )0 .
De plus, lunicit de la fonction gn vrifiant (5.18) et (5.19) assure que si m n, alors
1Kn gm = gn
car la fonction 1Kn gm vrifie les relations (5.18) et (5.19) pour la forme linaire Kn . La
0
suite (|gn (x)|p )n2N est donc une suite croissante de fonctions telle que
Z
0 0
sup |gn (x)|p d(x) k kp(Lp )0 .
n
Le thorme de convergence monotone assure que la fonction
0
g(x) = lim gn (x) 2 Lp et que kgkLp0 k k(Lp )0 .
n!1
Le lemme 5.2.2 assure que kgkLp0 = k k(Lp )0 . De plus, pour toute fonction f de Lp et pour
tout entier n, on a Z
h , 1 Kn f i = g(x)1Kn f (x)d(x).
X
Le thorme de convergence domine assure alors la conclusion de la dmonstration. Mais il
nous reste dmontrer les relations (5.18) et (5.19). Daprs lingalit de Hlder, on sait que
Z 1
p
p
kf kLp = |f (x)| d(x)
K
Z p1
2 p p
p p2 1
(K) p ( )
1
|f (x)| d(x) 2
K
1 1
kf kL2 (K) p 2 .
Ainsi, la forme linaire apparat comme une forme linaire continue sur L2 . Il existe donc
une fonction g appartenant L2 telle que
Z
2
8f 2 L , h , f i = f (x)g(x)d(x).
X
On en dduit que, pour toute fonction f de L2 , on a
Z
|f (x)g(x)|d(x) k k(Lp )0 kf kLp .
K
Mais, daprs le corollaire 5.3.1, lespace L1 \ Lp est dense dans Lp . Comme ici p est compris
entre 1 et 2 et que K est compact, L2 est dense dans Lp . Daprs le lemme 5.2.2, on en dduit
que g appartient Lp et que kgkLp0 = k k(Lp )0 . Do les relations (5.18) et (5.19).
101
Il est possible dinterprter en terme de dualit les rsultats du thorme 5.4.5 sur les
familles dites dapproximation de lidentit : lespace L1 (, dx) ne sidentifie, par lapplication
bilinaire Z
B(f, g) = f (x)g(x)dx,
au dual dun espace norm de fonctions contenant les fonctions continues support compact
dans . En eet, soit ("n )n2N une suite de nombres rels positifs convergeant vers 0, on consi-
dre la suite ('"n )n2N dapproximation de lidentit dfinie dans lnonc du thorme 5.4.5.
On a, pour toute fonction g continue support compact,
Z
lim '"n (x)g(x)dx = g(0).
n!1
102
Chapitre 6
Le problme de Dirichlet
Introduction
Le but de ce chapitre est de rsoudre le problme de Dirichlet sur un domaine born de Rd .
Nous allons voir comment un problme qui se formule en terme de fonctions de classe C 1 va
naturellement conduire lintroduction du concept de drive faible (ou de quasi-drives). Ce
concept conduira celui plus gnral de drives au sens des distributions.
Pour formuler le problme de Dirichlet, nous allons tout dabord introduire les notations
suivantes. Soient un ouvert born de Rd , on dsigne par C01 () dsigne lensemble des
fonctions continment direntiables sur et support dans un compact dand . Pour tout x
de et toute fonction u de classe C 1 sur , on note
De plus on note
d
X Z d Z
X
2 2 def
|ru(x)| = |@j u(x)| et kruk2L2 () = 2
|ru(x)| dx = |@j u(x)|2 dx.
j=1 j=1
En labsence dambigit, on omet des noter la dpendance en dans les normes. et f une
fonction de L2 (), on considre la fonctionnelle
8 1
> C () ! R
< 0 Z d Z Z
F 1 1X
>
: u 7 ! kru(x)k2L2 f (x)u(x)dx = 2
|@j u(x)| dx f (x)u(x)dx
2 2
j=1
oOn cherche sil existe un minimum pour F cest--dire sil existe une fonction u de C01 ()
telle que
F (u) = inf F (v).
v2C01 ()
103
Ceci nous conduit introduire dans la deuxime section le concept de quasi-drive dune
fonction de L2 . Introduit par le mathmaticien franais Jean Leray en 1934 pour rsoudre
le problme de lexistence globale de solutions pour lquation rgissant les coulements des
fluides visqueux incompressibles. Il sagit de la premire sortie mathmatiquement fonde du
cadre classique des fonctions drivables au sens classique.
Ce concept permet de dfinir la troisime section lespace de Sobolev qui est un espace de
Hilbert adapt au problme. Une fois cet espace dfini, la rsolution du problme de Dirichlet
u = f et u "nulle au bord" est une simple application du thorme de Riesz (voir le
thorme 4.3.1 page 68). Ceci illustre la puissance de lanalyse fonctionnelle et aussi quel point
un problme semblant compliqu peut devenir simple et de rsolution lgante pour autant
que le cadre conceptuel soit bien choisi. Enfin, nous appliquons le thorme de diagonalisation
des oprateurs autoadjoints compacts (voir le thorme 4.4.2 page 72) pour construire une
"diagonalisation" de loprateur de Laplace .
104
Donc F (u) est minore. De plus, si A est un rel strictement positif, en posant
1
B = 2A + C 2 kf k2L2 2
+ Ckf k2L2 ,
Comme on cherche savoir si le minimum est atteint, on cherche une limite cette suite.
Lingalit (6.1) du corollaire 6.1.1 implique que la suite (krun kL2 )n2 N est borne. Lingalit
de Poincar implique que la suite (un )n2N est borne dans L2 (). Ainsi donc les suites (un )n2N
et (@j un )n2N sont des suites bornes de L2 . Le thorme du compacit faible 4.3.3 page 69
implique lexistence dune fonction u et de fonctions u(j) telle que, aprs extraction, on ait
Supposons un instant que u soit une fonction de C01 () et considrons une fonction ' de C01 ().
Par dfinition de la convergence faible dans un espace de Hilbert, on a
Z Z
(j)
u (x)'(x)dx = lim @j un (x)'(x)dx.
n!1
Les fonctions un et ' tant des fonctions de C01 (), on a, par intgration par parties,
Z Z
(j)
u (x)'(x)dx = lim un (x)@j '(x)dx.
n!1
Daprs le corollaire 5.4.3 page 98, on sait que C01 () est dense dans L2 (). Ainsi donc, nous
avons u(j) = @j u.
Il est malheureusement faux que u soit toujours de classe C 1 . Cependant, le calcul ci-
dessus met en lumire un lien entre les drives de u et les fonctions u(j) . Ce lien va tre fond
mathmatiquement par la section suivante.
Dfinition 6.2.1. Soit u une fonction de L2 (). On dit que u admet une quasi-drive partielle
dans la direction j si et seulement si il existe une constante C telle que
Z
1
8' 2 C0 () , u(x)@j '(x)dx Ck'kL2
105
Remarque fondamentale Daprs le thorme 5.3.1 page 87, lespace C01 () est dense
dans L2 (). Le thorme de prolongement 1.2.4 page 17 implique que lon peut prolonger la
forme linaire 8
< C01 () ! RZ
`j
: ' 7 ! u(x)@j '(x)dx.
lespace L2 () tout entier. Dsignons par `ej cette forme linaire. Le thorme 4.3.1 page 68
de reprsentation de Riesz assure lexistence dune fonction u(j) de L2 telle que
Z
2
8f 2 L () , u(j) (x)f (x)dx = h`ej , f i.
Comme est strictement suprieur 1/2, la fonction |x| 1 est de carr intgrable. On peut
donc passer la limite dans les intgrales ci-dessus ce qu donne
Z 1 Z 1
|x| '(x)dx = sg(x)|x| 1 '(x)dx.
1 1
La proposition est ainsi dmontre.
La proposition suivante montre que lon a bien gnralis le concept de drives tout au
moins en ce qui concerne la drivation des fonctions C 1 .
106
Proposition 6.2.2. Si u appartient C01 (), alors u admet des quasi-drives dans toutes les
directions et les quasi-drives concident avec les drives partielles.
Dmonstration. Par intgration par parties et en utilisant lingalit de Cauchy-Schwarz, on a
Z Z
u(x)@j '(x)dx = @j u(x)'(x)dx
k@j ukL2 k'kL2
Ck@j ukL1 k'kL2 .
Soit u(j) quasi-drive de u dans la jime direction. Par dfinition, cette fonction de L2 ()
vrifie Z Z
8' 2 C01 () , u(j) (x)'(x)dx = u(x)@j '(x)dx.
De plus, par intgration par parties, on a
Z Z
1
8' 2 C0 () , @j u(x)'(x)dx = u(x)@j '(x)dx.
Ceci implique alors que Z
@j u u(j) (x)'(x)dx = 0
Lespace C01 () tant dense dans L2 (), on en dduit que u(j) = @j u. Do la proposition.
Notation Dornavant, la quasi-drive de u dans la jime direction sera note @j u.
107
Proposition 6.3.2. Muni de la norme dfinie par
d
X 1
df 2
N (u) = kuk2L2 () + k@j uk2L2 () ,
j=1
est un exercice facile laiss au lecteur. Dmontrons que lespace H01 () est complet. Considrons
une suite de Cauchy (un )n2N dlments de H01 (). Lespace L2 () tant complet, il existe des
fonctions u et (u(j) )1jd telles que
Par dfinition de H01 (), pour tout n, il existe une fonction vn de C01 () telle que
1 1
kun vn kL2 () et k@j un @j vn kL2 ()
n n
Ainsi donc, il existe une suite (vn )n2N de C01 () telle que
lim N (un u) = 0.
n!1
X
d 1
df df 2
kuk2H 1 () = kruk2L2 () = k@j uk2L2 () ,
0
j=1
Dmonstration. Par rapport la proposition 6.3.2, la seule chose dmontrer est que k kH01 ()
est une norme et quelle est quivalente N . Il sut pour cela de dmontrer que, pour toute u
de H01 (), on a
kukL2 () CkrukL2 () .
Soit (un )n2N une suite de C01 () telle que
108
pour tout j appartenant {1, d}. Lingalit de Poincar implique que, pour tout n, on a
kun kL2 () Ckrun kL2 () .
Par passage la limite, on trouve que, pour toute fonction u de H01 (),
kukL2 () CkrukL2 () .
Nous avons la proposition suivante, dont la dmonstration est laisse en exercice.
Proposition 6.3.4. La fonctionnelle F se prolonge continment lespace H01 () tout entier
et lon a
m = inf F (v) = inf F (v)
v2C01 () v2H01 ()
Le problme de minimisation pos rentre alors dans le cadre abstrait suivant : soit H un
espace de Hilbert, ` une forme linaire continue sur H, peut-on trouver le minimum de F
dfinie par (
H ! R
F` 1
v 7 ! kvk2H h`, vi.
2
Pos ainsi, ce problme se rsout aisment comme lindique le thorme suivant.
Thorme 6.3.1. Soit F` la fonctionnelle dfinie ci-dessus. Il existe un unique u dans H tel
que F` (u) = m = inf F` (v). Cet lment u vrifie
v2H
Supposons que la solution u trouve soit en outre de classe C 2 sur . Alors, pour toute
fonction ' de classe C 2 et support compact dans , on a
d Z
X Z
@j u(x)@j '(x)dx = f (x)'(x)dx = (f |v)L2 .
j=1
109
Par intgration par parties, on trouve que
d Z
X Z Z
@j u(x)@j '(x)dx = f (x)'(x)dx = u(x)'(x)dx.
j=1
Lorsque u est seulement dans H01 (), nous dirons que u = f "au sens faible" ou "au sens
des distributions".
Le proprit de compacit suivante qui sera dmontre au chapitre suivant, est dterminante
pour dmontrer lexistence de la suite des valeurs propres.
Thorme 6.3.2 (de Rellich). Toute partie borne de H01 () est dadhrence compacte dans
lespace L2 ().
Nous allons maintenant donner un rsultat qui dcrit plus finement la structure du laplacien
et son action sur H01 ().
Thorme 6.3.3. Il existe une suite croissante ( j )j2N de nombres rels strictement positifs
qui tend vers linfini et une base hilbertienne de lespace L2 () note (ej )j2N telle que la
suite ( j 1 ej )j2N soit une base orthonorme de H01 () et telles que
2
ej = j ej "au sens faible".
tel que u soit la solution dans H01 () du problme de Dirichlet. Loprateur B est continu
de L2 () dans H01 (). Daprs le thorme 6.3.2 ci-dessus, loprateur B est un oprateur
compact de L2 () dans L2 (). Dmontrons que B est un oprateur autoadjoint. Daprs (6.4),
on a, pour tout f dans L2 ,
Loprateur B est donc autoadjoint. Dmontrons quil est injectif. Considrons une fonction f
de L2 telle que alors Bf = 0. Daprs la relation (6.4), ceci signifie que
Z
1
8v 2 H0 () , f (x)v(x)dx = 0.
Le corollaire (5.4.2) arme la densit de D(), donc de H01 () qui le contient, dans L2 ().
On en dduit que si Bf = 0, alors
Z
2
8g 2 L , f (x)v(x)dx = 0
ce qui implique que f = 0. Enfin observons que si est une valeur propre non nulle, elle est
positive. En eet, il existe alors une fonction f de L2 non nulle telle que
110
Le thorme 4.4.2 page 72 assure lexistence dune suite (j )j2N de rels dcroissante tendant
vers 0 et dune base hilbertienne (ej )j2N de L2 () telles que
Bej = 2j ej .
ej = Bej = 2j ( )ej ,
ce qui scrit
1
ej = ej .
2j
1
Pour dmontrer que la suite ( j ej )j2N est une base orthonorme de H01 (), il sut dobserver
que lon a
2
j (ej |ek )L2 = (ej |ek )H01 .
Le thorme 6.3.3 est dmontr.
111
112
Chapitre 7
La transformation de Fourier
Introduction
Bien que bref, ce chapitre est fondamentale. La transformation de Fourier est une opra-
tion trs gnrale des fonctions intgrable par rapport la mesure de Haar (cest--dire une
mesure invariante par translation) sur un groupe commutatif locallement compact G. Nous
nous contenterons ici dtudier le cas de lespace Rd muni de la mesure de Lebesgue.
Dans la premire section de ce chapitre, nous dfinissons la transformation de Fourier dune
fonction intgrable et tablissons les principales proprits de la transformation, savoir
elle transforme la drivation en multiplication et rciproquement,
elle transforme le produit de convolution en produit numrique
Outre ses proprits de base, nous prsentons quelques exemples de calcul de transformes
de Fourier en particulier lexemple fondamental de la transforme des gaussiennes.
Dans la seconde section, nous dmontrons le thorme dinversion de Fourier qui arme
que lorsque la transforme de Fourier dune fonction intgrable est intgrable, alors on peut
retrouver la fonction partir de sa transformation de Fourier. On dduit de ce thorme
le thorme de Fourier-Plancherel qui tablit que lon peut prolonger la transformation de
Fourier lespace des fonctions de carr intgrable ; ce prologement est, une constante prs,
une isomtrie de lespace de fonctions de carr intgrable.
La troisime section est une application de ces rsultats la dmonstration du thorme
de Rellich utitlis au chapitre prcdent (voir le thorme 6.3.2 page 110)
Un premier exemple de calcul de la transforme de Fourier est donn par lexercice suivant.
113
Remarquons que le thorme de continuit sous lintgrale implique que la transformation
de Fourier est une fonction continue (et bien sr borne) sur Rd .
Lune des caractristiques de la transformation de Fourier est, comme le montre le thorme
suivant, de transformer la multiplication en drivation et rciproquement.
Thorme 7.1.1. Soit f une fonction sur Rd telle que (1 + |x|)f (x) dfinisse une fonction
intgrable sur Rd . Alors la transforme de Fourier de f est une fonction de classe C 1 et
df
@j F(f ) = iF(Mj f ) avec (Mj f )(x) = xj f (x). (7.1)
Soit f une fonction de classe C 1 telle que f ainsi que ses drives partielles soient intgrables
sur Rd . Alors on a
Dans le premier cas, lhypothse et le thorme de drivation sous lintgrale assurent que f
admet des drives partielles ainsi que la relation (7.1). Le second ncessite une procdure dap-
proximation. Soient une fonction de classe C 1 support compact vaillant 1 en 0 et ("n )n2N
une suite de rels strictement positifs tendant vers 0. En utilisant (7.3), et en faisant une
intgration par parties, on trouve que
Z
j F( ("n )f )() = i @xj e ih,xi ("n x)f (x)dx
ZR
d
Nous allons maintenant tudier linfluence des transformations linaires sur la transforma-
tion de Fourier.
Proposition 7.1.1. Soient f une fonction de L1 (Rd ) et A une application linaire inversible
de Rd dans Rd . On a
F(f A)() = | det A| 1 fb t A 1 .
Dmonstration. Faisons le changement de variable y = Ax dans lintgrale dfinissant la trans-
formation de Fourier ; ceci donne
Z
1 1
F(f A)() = | det A| e ih,A xi f (x)dx.
Rd
114
Du thorme 7.1.1 et de la proposition 7.1.1 ci-dessus, nous allons dduire la proposition
suivante, qui explicite le calcul de la transforme de Fourier dune fonction gaussienne. Ce
rsultat jouera un rle crucial dans la dmonstration de la formule dinversion de Fourier.
Proposition 7.1.2. Soit a un rel strictement positif. On a alors
2
d ||2
2
F e a|| () = e 4a .
a
Dmonstration. Daprs la proposition 7.1.1 appliqu au cas o lapplication linaire A est une
p
homothtie de rapport a, il sut de traiter le cas o a = 1. Supposons tout dabord que la
dimension d vaille 1 et posons Z
df ix x2
g() = e e dx.
R
La relation (7.1) du thorme 7.1.1 implique que la fonction g est drivable et que lon peut
crire
Z
0 2
g () = ixe ix e x dx
ZR
1 2
= ie ix (e x )0 dx.
R 2
En appliquant la relation (7.2) du thorme 7.1.1 on trouve que
g 0 () = g().
2
2
Lquation direntielle est aise rsoudre. On a g() = g(0)e 4 . Il est classique que
Z
2 p
g(0) = e x dx = .
R
Le rsultat est dmontr en dimension 1. En dimension d quelconque, il sut dobserver que
d
Y
|x|2 x2j
e = e
j=1
115
La transformation de Fourier est symtrique au sens de la proposition suivante.
Proposition 7.1.4. Pour tout couple (f, g) de fonctions de L1 (Rd ), nous avons
Z Z
b
f (x)g(x)dx = f ()b
g ()d.
Rd Rd
Remarques
On peut crire ce rsultat sous la forme
df
F 2 f = (2)d f avec f(x) = f ( x). (7.6)
Ce thorme signifie quune fonction f dans S scrit comme une superposition doscil-
lations les fonctions ei(x|) , la transforme de Fourier apparaissant alors comme la
densit doscillations.
Dmonstration du thorme 7.2.1 Daprs la proposition 7.1.2, le thorme est dj dmontr
pour les fonctions gaussiennes. Nous allons bien sr utiliser ce rsultat. Posons
df d 2 1 x
G(x) = 2 e |x| et G" (x) = d G
" "
"2 ||2
La proposition 7.1.2 nous dit que G b " () = e 4 . Daprs le thorme de convergence domi-
ne, on dduit de lappartenance de fb L1 que
Z Z
d ih,xi b d b " ()fb()d.
(2) e f ()d = lim (2) eih,xi G (7.7)
Rd "!0 Rd
Comme la fonction f appartient L1 , on sait que Gb " f est une fonction de L1 (Rd Rd ).
Daprs le thorme de Fubini, on a
Z Z
(2) d
e ih,xi b b
G" ()f ()d = (2) d b " ()e ih,yi f (y)ddy.
eih,xi G
Rd Rd Rd
116
Ainsi donc on trouve que
Z
8" > 0 , (G" ? f )(x) = (2) d b " ()fb()d.
ei(x|) G
Rd
Le thorme 5.4.5 page 96 dit que si ("n )n2N est une suite de rels strictement positifs tendant
vers 0, alors lim kG"n ? f f kL1 (Rd ) = 0. Le thorme 5.1.2 page 79 assure que qu une
n!1
extraction prs que nous omettons de noter, pour presque tout x dans Rd ,
Le thorme de continuit sous lintgrale armant que le terme de droite de lgalit ci-dessus
est continue permet de conclure la dmonstration de (7.4) et du fait que la fonction f est alors
continue.
Pour dmontrer (7.5), observons tout dabord que le fait que f et fb soit dans L1 (Rd )
implique que f est une fonction borne et ainsi donc f et fb sont toutes deux de carr intgrable.
En remarquant que F(f ) = F(f) et en utilisant la proposition 7.1.4, on peut crire
Z
(2) d
kfbk2L2 = (2) d
(Ff )()(F(f)()d
Z Rd
d
= (2) (F 2 f )(x)f ( x)dx.
Rd
La formule dinversion de Fourier telle quexprime dans (7.6) assure alors que
Z
(2) d kfbk2L2 = f ( x)f ( x)dx = kf k2L2
Rd
Dmonstration. La transformation de Fourier est bien dfinie sur D(Rd ) qui daprs le co-
rollaire 5.4.2 page 98 est dense dans L2 (Rd ). Le corollaire 7.1.1 nous autorise appliquer la
relation de Fourier-Plancherel (7.5) aux fonctions de D(Rd ). Le thorme de prolongement 1.2.4
page 17 permet dtendre F en une application linaire continue de L2 (Rd ) dans lui-mme, la
relation de Fourier-Plancherel stendant bien sr tout lespace L2 . La seule chose restant
dmontrer que la surjectivit de F. La proposition 7.1.4 implique en particulier que
L2 (Rd ) .
8(f, g) 2 D(Rd ) , (Ff |g)L2 (Rd ) = (f |Fg) (7.8)
117
Pour dmontrer que F est surjective, nous allons tout dabord observer que lidentit de
Fourier-Plancherel implique que F(L2 ) est ferm, puis nous allons dmontrer que F(L2 ) est
dense en utilisant la critre 4.2.2 page 66 qui arme quil sut de dmontrer que F(L2 )? est
rduit la fonction nulle. En eet, si g est une fonction de L2 (Rd ) telle que
alors la relation (7.8) tendue tout L2 implique que Fg est nulle et donc aussi g puisque F
est injective.
Corollaire 7.2.2. Soient f et g deux fonctions de L1 (Rd ) dont la transforme de Fourier aussi
dans L1 (Rd ). On a
F(f g) = (2) d fb ? gb.
Dmonstration. Appliquons la proposition 7.1.3 fb et gb. Ceci donne
118
La proposition 7.1.1 et la relation de Fourier-Plancherel assurent alors lingalit (7.9). Nous
allons maintenant dmontrer que, pour tout " dans lintervalle ]0, 1[, lensemble
n 1 o
df
B" = ? a , a 2 B 1
H0 () (0, 1)
"d "
est une partie dadhrence compacte dans C(+B(0, 1)). Pour ce faire, observons tout dabord
que, daprs lingalit de Poincar, on a, pour tout x de + B(0, 1),
1 1
? a(x) kakL2
"d " "d " L2
C
d k kL2 krakL2 . (7.10)
"2
De plus, daprs lingalit des accroissements finis, on a
1 1 1
? a(x) ? a(x0 ) |x x0 | D ?a
"d " "d " "d " L1
d
|x x0 | " 2 k kL2 krakL2 .
Pour tout " de lintervalle ]0, 1[, lensemble B" est une partie quicontinue de C( + B(0, 1)).
Daprs lingalit (7.10) et le thorme dAscoli (voir le thorme 2.4.1 page 40), lensemble B"
est une partie relativement compacte de C( + B(0, 1)). Elle peut donc tre recouverte par une
famille finie de boules (pour la norme de la convergence uniforme sur + B(0, 1)) de rayon
1
( + B(0, 1)) 2
On a dmontr grce (7.9) que B" tait dadhrence compacte dans L2 ().
119
120
Chapitre 8
Introduction
Ce chapitre constitue lun des aboutissements de ce cours. Comme nous lavons vu au
chapitre 3, le fait de savoir si un espace de Banach pouvait tre identifi, via une forme bilinaire
continue, au dual dun autre (voir la dfinition 3.2.1 page 52) tait un point important. En
fait, ceci permettait dextraire de toute suite borne une suite convergeant en un sens aaibli :
la convergence dite faible?.
Lorsque au chapitre 5 nous avons tudi les espaces de fonctions de puissance p ime
intgrable, nous avons vu que la connaissance des familles de moyennes pondres
Z
f (x)'(x)dx
'2A
pour ' variant par exemple dans une partie dense A tait une information parfois plus parlante
et facile manier que la connaissance de toutes les valeurs ponctuelles de la fonction f .
Ainsi, les fonctions apparaissent comme des formes linaires continues sur certains espaces de
fonctions. Cest ainsi que nous allons gnraliser ici la notion de fonction. Le point de vue que
nous adaptons est celui des distributions tempres qui est un point de vue global sur tout
lespace R. Il est particulirement adapt la gnralisation de la tranformation de Fourier
une large classe de fonctions et pas seulement les fonctions L1 ou L2 comme au chapitre
prcdent. Pour ce premier contact avec les distributions tempres, nous avons, dans un souci
de simplicit, fait le choix de se restreindre la dimension 1.
Dans la premire section, nous allons dfinir le concept de distribution tempre et montrer
comment il gnralise celui de fonction localement intgrable (avec une petite condition
linfini prs). ce titre, le thorme 8.1.1 montre bien comment la connaissance de
Z
f (x)'(x)dx
'2E
pour un certaine espace vectoriel E quivaut la connaissance de la fonction (au sens usuel des
fonctions cest--dire au sens des valeurs ponctuelles). Ensuite, plusieurs exemples sont donnes
de distributions tempres qui ne sont pas des fonctions. Enfin, on montre comment la notion
de convergence faible? conduit rviser les notions de convergence (voir la proposition 8.1.4).
121
Dans la seconde section, nous dfinissons des oprations sur les distributions par transpo-
sition. Ceci introduit une nouveaut radicale : toutes les distributions admettent une drive !
et lon peut dfinir la transformation de Fourier de toute distribution tempre. La suite de la
section montre diverses formules qui peuvent parfois surprendre un peu.
Dans la troisime section, nous donnons deux applications de cette thorie ; lun un
problme de lanalyse classique dont la rsolution dans le cadre strict des fonctions est dicile
et qui ici ne prend que quelques lignes. Ensuite, nous tablirons une formule intgrale pour la
rsolution de lquation
u u00 = f
avec des conditions de nullit pour u en 1 et +1.
Les distributions tempres vont appatre comme des formes linaires (vrifiant une pro-
prit de "continuit") sur cet espace. Plus prcisment, on pose la dfinition suivante.
Dfinition 8.1.2. On appelle distribution tempre sur R une forme linaire dfinie sur les-
pace S(R) et qui vrifie
9n 2 N , 9C / 8' 2 S(R) , |hT, 'i| Ck'kn,S . (8.1)
On note S 0 (R) lensemble de ces formes linaires. De plus, soient une suite (Tn )n2N dlments
de S 0 (R) et T un lment de S(R). On dit que la suite (Tn )n2N converge vers T si et seulement si
8 2 S(R) , lim hTn , i = hT, i.
n!1
est une injection linaire. De plus, on a la proprit suivante. Soit N tel que (1 + |x|) N f (x)
122
Dmonstration. Soit f une fonction de L1M (R) telle que (f ) = 0. Nous allons dmontrer que,
pour tout couple de rels (a, b) tel que a soit strictement infrieur b, on a
Z b
|f (x)|dx = 0
a
ce qui assurera le thorme. On se donne une fonction de D([ 1, 1[) paire et dintgrale 1
et on considre lapproximation de lidentit associe, cest--dire la famille
x
df d
" (x) = "
"
On dfinit enfin la fonction g par
f (x)
g(x) = si f (x) 6= 0 et 0 sinon.
|f (x)|
df
'" = " ? (1[a,b] g)
est une fonction indfiniment direntiable support compact sur R, donc une fonction
de S(R). Par hypothse, on a
Z
df
I" = f (x)'" (x)dx = 0.
R
Le thorme de Fubini-Tonelli 5.1.6 page 80 joint la parit de la fonction assure alors que
Z
I" = " (x y)1[a,b] (y)g(y)f (x)dxdy
RR
Z
= " (x y)1[a,b] (y)g(y)1K+B(0, ) (x)f (x)dxdy
RR
Z Z
= " (y x)1 [a ,b+ ] (x)f (x)dx 1K (y)g(y)dy
R R
Z
= " ? (1[a ,b+ ]) f ) (y)1[a,b] (y)g(y)dy.
R
123
Comme g appartient L1 (), on a
0 = lim I"
"!0
Z
= 1[a ,b+ ]) (y)f (y)1[a,b] (y)g(y)dy
Z b
f (y)
= f (y) dy
a |f (y)|
Z b
= |f (y)|dy.
a
Do le thorme.
Remarque Toute fonction de L1M sidentifie ainsi une distribution tempre.
Ainsi donc,
'(x)
'( x)
8x 2 R / |x| 1, 2k'k1,S et
x
'(x) '( x) 2
8x 2 R / |x| 1, k'k1,S .
x |x|2
'(x) '( x)
La fonction x 7 ! est donc intgrable sur R et la forme linaire ainsi dfinie est
x
continue sur S.
(k) def
h a , i = ( 1)k (k)
(a)
124
Proposition 8.1.3. La forme linaire dfinie par
D 1 E 1Z 1
'(x) + '( x) 2'(0)
Pf 2 , ' = dx
x 2 1 x2
|x|2
'(x) + '( x) 2'(0) sup |'00 (x)|.
2 x2R
Ainsi donc on a
'(x) + '( x) 2'(0) n 1 o
min 1, 2 k'k2,S .
x2 |x|
1
Ceci assure que Pf est une distribution tempre.
x2
N
X
df
Proposition 8.1.4. La suite de fonctions SN (x) = sin(nx) converge dans S 0 (R).
n=1
Dmonstration. Il agit de trouver une distribtion tempre S telle que, pour toute fonction
de S, on ait
XN Z
lim sin(nx) (x)dx = hS, i.
N !1
n=1 R
En intgrant par parties deux fois, il vient, pour tout entier n suprieur ou gal 1
Z Z
1 00
sin(nx) (x)dx = sin(nx) (x)dx. (8.2)
R n2 R
Cest une fonction continue et borne sur R. On pose alors, pour dans S,
Z
def 00
hS, i = (x) (x)dx.
R
Ceci dfinit une distribution tempre. De plus pour tout fonction , daprs (8.2), on a
N Z
X Z
00
lim sin(nx) (x)dx = (x) (x)dx = hS, i.
N !1
n=1 R R
125
8.2 Oprations sur les distributions tempres.
Lide fondamentale est la suivante : comme nous venons de lesquisser au travers de
quelques exemples, lespace S 0 est beaucoup plus "gros" que lespace S ; sur cet espace S, on
peut dfinir beaucoup dopration, en particulier la drivation, la transformation de Fourier,
la convolution par une fonction dont la croissance est contrle. Pour cela, il importe de dfinir
une notion dapplication linaire continue de S dans S.
Dfinition 8.2.1. Une application linaire A de S dans lui-mme est dite continue si et
seulement si
On dsigne par L1S lespace des fonctions localement intgrables telles que, pour tout entier N ,
la fonction (1 + |x|)N f (x) soit dans L1 .
Les polynmes sont dexcellents exemples de fonctions de OM . Les fonctions localement
intgrables dcroissant linfini plus vite que toute puissance ngative de |x| sont dexcellents
exemples de fonctions de L1S .
Proposition 8.2.1. Les applications linaires suivantes sont continues de S dans S au sens
suivant :
df
lapplication 7! (x) = ( x) ;
lapplication 7! ( 1) (k) ;
k
Dmonstration. La premire continuit est vidente. Pour la seconde,observons que, par dfi-
nition des normes k kk,S , il est immdiat que
(`)
k kk,S Ck kk+`,S .
Pour la continuit de la multiplication, il sut dappliquer la formule de Leibnitz qui dit que
X
(f )(k) = Ck` f (k `) (`) .
`k
Comme la fonction f appartient OM , il existe un entier N tel que, pour tout entier ` plus
petit que k, on ait
8x 2 R , |f (`) (x)| C(1 + |x|)N .
On en dduit alors que
kf kk,S Cf k kk+N,S .
126
Dmontrons la continuit de la transformation de Fourier. Obervons que le thorme 7.1.1
page 114 implique que
M ( b)0 = IM F(M f ) = F (M )0 = b F(M 0 ).
Il en rsulte que
(1 + ||)| b()| 2k kL1 (R) + kM 0 kL1 (R) 2kf k3,S .
Nous amettons la dmonstration gnrale pour les semi-normes dindice k sur S(R).
tudions maintenant la convolution. Par drivation sous le signe somme, on a
Z
(k)
(f ? ) (x) = f (y) (k) (x y)dy.
R
Do le thorme.
127
Comme premire application de ce thorme, on peut dfinir tendre lopration aux
distributions tempres par la formule
df
8 2 S , hT, i = hT, i
Notons tout dabord que pour toute fonction f de classe C 1 support compact sur R,
on a, par intgration par parties,
Z Z
8 2 S(R) , f 0 (x) (x)dx = f (x) 0 (x)dx .
R R
Nous allons voir sur un exemple trs simple comment la drive au sens des distributions
prend mieux en compte les variations de la fonction que la notion classique de drive lorsque
les fonctions ne sont pas de classe C 1 , par exemple lorsque quune fonction est drivable sur R
sauf en un point. Nous avons la proposition suivante.
d
Proposition 8.2.2. On a 1 += 0.
dx R
Dmonstration. Il sagit de dtudier, pour dans S(R), lintgrale
Z
1R+ (x) (x)dx.
R
128
Nous allons maintenant titre dillustration calculer la drive de la fonction x 7! log |x|.
1
Proposition 8.2.3. Soit vp la distribution tempre dfinie la proposition 8.1.1. On a, au
x
sens des distributions,
d 1
log |x| = vp
dx x
Dmonstration. Il sagit dtudier, pour une fonction de S(R), lintgrale
Z
I( ) = log |x| 0 (x)dx.
R
Thorme 8.2.2. Soit T une distribution tempre telle que T 0 = 0. Alors T est une fonction
constante au sens o Z
hT, i = c (x)dx.
R
Lemme 8.2.1. Soit S0 (R) lensemble des fonctions de S(R) dintgrale nulle. Lapplication
8
< S0 (R) ! S(R)Z
x
P
: 7 ! x 7! (y)dy
1
est une application linaire continue de S0 (R) dans S(R) telle que pour tout de S0 (R),
on a (P )0 = .
129
Dmonstration. Si x est infrieur ou gal 1, alors on a
Z x
1
|(P )(x)| k kN +2,S N +2
dy
1 (1 + |y|)
Z 0
1
|x| N k kN +2,S 2
dy.
1 (1 + |y|)
Daprs le lemme 8.2.1, on a (P(p( ))0 = p( ). Comme on a suppos que T 0 tait nulle, on en
dduit que
Z +1
hT, p( )i = 0 = hT, i (y)dy hT, 1 i.
1
Do le thorme.
Nous allons maintenant appliquer ces ides la recherche de primitive de distributions en
dimension 1.
Proposition 8.2.4. Soit T une distribution tempre sur R. Il existe une distribution temp-
re S telle que S 0 = T et deux distributions tempres vrifiant cette proprit dirent dune
constante.
df
Dmonstration. Soit 1 une function de S(R) dintgrale 1. Montrons que S = t P T v-
rifie S 0 = T . Observons que, pour toute fonction dans S(R), 0 est dintgrale nulle et
donc que
d
P = IdS(R) .
dx
On en dduit par transposition que
d
t
P = IdS 0 (R) .
dx
130
Remarque Une dmonstration plus explicite peut tre faite en dfinissant simplement la
distribution tempre S par
Z x Z 1
def def
hS, i = hT, (P p) i avec (P p) (x) = (y) (y)dy 1 (y) dy
1 1
p x2 .
o 1 est une fonction de S(R) dintgrale 1, par exemple la fonction e
Le lien entre primitive et drive peut tre prcis de la manire suivante.
Thorme 8.2.3. Soit T une distribution tempre sur R. Si sa drive (au sens des distri-
butions) T 0 est une fonction L1M (R), alors T est une fonction continue et lon a
Z x
T (x) = T 0 (x)dx + C.
0
Dmonstration. Elle repose sur le lemme suivant que nous admettrons un court instant.
Lemme 8.2.2. Soit f une fonction de L1M (R). Alors
Z x
d
f (y)dy = f (x)
dx 0
au sens des distributions.
Z x
Posons F (x) = T 0 (y)dy. Daprs le lemme 8.2.2, on a F 0 = T 0 . Daprs la proposi-
a
tion 8.2.2, on a
T F = C.
Do le thorme, pourvu bien sr que nous dmontrions le lemme admis.
Dmonstration du lemme 8.2.2 Daprs la dfinition de la drivation au sens des distributions,
il sagit de dmontrer que, si Z x
df
F (x) = f (y)dy,
0
alors on a Z Z
0
8 2 S(R) , F (x) (x)dx = f (x) (x)dx.
R R
Observons que si
def def
I+ = (x, y) 2 R2 , 0 y x et I = (x, y) 2 R2 , x y 0 ,
les fonctions
1I + (x, y)f (y) 0 (x) et 1I (x, y)f (y) 0 (x)
sont intgrables sur R2 . En eet, par dfinition de L1M (R),
Z
def
I(f, ) = 1I + (x, y)|f (y)| | 0 (x)|dxdy
ZR
2
131
Le fait que 1I (x, y)f (y) 0 (x) se dmontre de manire strictement analogue. Observons que,
grce au thorme de Fubini, on peut crire que
Z Z Z 1
F (x) 0 (x)dx = 0
(x)dx 1[0,1[ (y)f (y)dy
R R y
Z Z y
0
+ (x)dx 1] 1,0] (y)f (y)dy
Z ZR 1
= (y)1[0,1[ (y)f (y)dy + (y)1] 1,0] (y)f (y)dy
Z R R
= (y)f (y)dy.
R
Dfinition 8.2.4. Soit une fonction de OM . La multiplication par sur S 0 est la transpose
de la multiplication par sur S, ce qui scrit pour T dans S 0 ,
def
hT, i = hT, i.
Il est clair que si T est une fonction de L1M , alors la multiplication ainsi dfinie concide
avec la multiplication usuelle des fonctions.
Nous allons maintenant dmontrer une gnralisation de la formule de Liebnitz.
h(T )0 , i = hT, 0
i
0
= hT, i.
hT 0 , i = hT, ( )0 i + hT, 0 i.
h(T )0 , i = hT 0 , i + hT, 0 i
= hT 0 + 0 T, i.
Do la proposition.
Dfinissons maintenant la convolution par une fonction de L1S .
Dfinition 8.2.5. Soit f une fonction de L1S . On dfinit la convolution par f sur les distri-
butions tempres comme la transpose de la convolution par f sur S, ce qui scrit
def
hf ? T, i = hT, f ? i.
132
Vrifions que lon a bien gnralis la convolution dfinie grce au thorme 5.4.1 page 93.
Soit g une fonction de L1 (R), on a
Z
h(g), f ? i = g(x)(f ? )(x)dx
Z R
Z
= g(x) f(x y) (y)dy dx.
R R
= (g ? f )(y) (y)dy.
R
Do le rsultat.
Les rapports entre convolution et drivation sont dcrits par la proposition suivante.
Proposition 8.2.6. Soit f dans L1S et T dans S 0 . Pour tout entier k, on a
(f ? T )(k) = f ? T (k) .
f ? (k)
= (f ? )(k) .
Do la proposition.
Un point fondamental de la thorie est lextension de la transformation de Fourier aux
distributions tempres. Au chapitre prcdent, nous avons vu que la transformation de Fourier
peut tre dfinie sur L1 (R) mais peut tre tendue L2 (R). Le fait que la transformation de
Fourier envoie continment S(R) dans S(R) (voir le thorme 7.2.1 page 116) autorise tendre
la transformation de Fourier S 0 (R).
Dfinition 8.2.6. On appelle transformation de Fourier sur S 0 la transpose de la transfor-
mation de Fourier sur S, ce qui scrit
133
Proposition 8.2.7. Pour tout fonction f de L1 (R), on a
FS 0 (f ) = (fb).
FS 0 (f ), i = h(f ), bi
Z
= f (x) b(x)dx.
R
Vu que la fonction
i(x|)
(x, y) 7 ! f (x)e ()
est intgrable sur R R, on en dduit que
Z
hFS 0 (f ), i = fb() ()d
R
= h(fb), i.
Do la proposition.
Nous allons maintenant gnraliser les formules de base sur la transformation de Fourier.
134
La seconde rsulte de la formule dinversion de Fourier sur S 0 qui donne ici
F2 0 = F(1) = 2 0 .
Tb = 2iH() + C
o C est un scalaire dterminer. Pour ce faire, observons que la valeur principale est une
distribution impaire, cest--dire que
1 1
vp = vp
x x
De plus, nous laissons au lecteur le soin de vrifier que la transforme de Fourier dune distri-
bution tempre impaire est une distribution tempre impaire. Ainsi donc la distribution Tb
doit tre impaire et donc C = i. Do le rsultat.
tudions maintenant les relations entre convolution, produit et transformation de Fourier.
Il sagit en fait de gnraliser (cest--dire transposer) la proposition 7.1.3 page 115 et le
corollaire 7.2.2 page 118.
Thorme 8.2.5. Soit une fonction de S et T une distribution tempre. On a
hF( ? T ), i = h ? T, bi
= hT, ? bi
= hTb, F 1
( ? b)i.
135
Daprs la formule dinversion de Fourier et la formule de calcul de la transforme de Fourier
pour la convolue des fonctions (voir Proposition 7.1.3 page 115), on a
F 1
( ? b)() = (2) F( ? b)( )
1
Z
= (2) 1
ei(x|) (y x)fb(y)dydx
ZRR
= (2) 1
e i(y x|) (y x)ei(y|) fb(y)dydx
RR
b
= ()F 1 b
( )()
b
= () ().
et F(T), ce
Do la premire formule. Pour tablir la seconde, appliquons la premire F()
qui donne
F F() ? F(T) = F 2 F
2 T = (2)2 T.
Thorme 8.3.1. Il existe une constante C telle que, pour toute fonction de S(R), on ait
1
? vp = k kL2 .
x L2
1 1
1
? vp = (2) 2 F ? vp
x L2 x L2
1
= (2) i b()2
L2
||
= k kL2 .
Do le thorme.
136
Donnons une application la rsolution explicite dune quation direntielle.
Thorme 8.3.2. Soit f une distribution tempre sur R, il existe une unique distribution
tempre u solution de
u u00 = f
dans lespace S 0 (R). Elle est donne par la formule
1 ||
u= e ? f.
2
Dmonstration. Pour dmontrer cela, utilisons le thorme 8.2.4 pour armer que
(Id u = fb.
)u = f () (1 + ||2 )b
1 + ||2
b =
u b
u
1 + ||2
1
= fb.
1 + ||2
137