Analyse Nonlinéaire

ANALYSE NON LIN
EAIRE
Raphael Danchin et Isabelle Gallagher
12 juillet 2007
2
Table des matières
0.1 Presentation du système de Navier Stokes . . . . . . . . . . . . . . . . . . . . . 5
0.2 Le theorème de Cauchy-Lipschitz . . . . . . . . . . . . . . . . . . . . . . . . . . 6
0.3 Un critère dexplosion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
0.4 Le theorème de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
0.5 Exercice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1 Analyse fonctionnelle 13
1.1 Compacite dans les espaces de Banach . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.1 Operateurs compacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.2 Le theorème dAscoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2 Les espaces L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3 La convergence faible dans les espaces de Hilbert . . . . . . . . . . . . . . . . . 21
1.4 Les operateurs autoadjoints compacts . . . . . . . . . . . . . . . . . . . . . . . 23
1.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2 Transformee de Fourier et espaces de Sobolev 29
2.1 Denition des espaces de Sobolev sur R
d
. . . . . . . . . . . . . . . . . . . . . . 29
2.2 Lespace de H
1
0
() et les espaces H
1
() . . . . . . . . . . . . . . . . . . . . . 32
2.3 Inclusions de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.4 Compacite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3 Le problème de Stokes 41
3.1 Le problème de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2 Le problème de Stokes stationnaire . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2.1 Proprietes de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2.2 Proprietes spectrales de loperateur de Stokes . . . . . . . . . . . . . . . 46
3.3 Le problème de Stokes dependant du temps . . . . . . . . . . . . . . . . . . . . 49
3.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4 Existence globale de solutions faibles 53
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2 Demonstration du theorème de Leray . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2.1 Construction des solutions approchees . . . . . . . . . . . . . . . . . . . 54
4.2.2 Estimations sur les solutions approchees et compacite . . . . . . . . . . 55
4.2.3 Conclusion de la demonstration du theorème 4.1.1 . . . . . . . . . . . . 57
4.3 Le cas de la dimension deux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3
5 Solutions fortes des equations de Navier-Stokes en dimension trois 63
5.1 Un resultat de stabilite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.2 Le theorème de Fujita-Kato . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
5.2.1 Espaces intermediaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
5.2.2 Un resultat dexistence globale . . . . . . . . . . . . . . . . . . . . . . . 68
5.2.3 Quelques remarques sur ces solutions stables . . . . . . . . . . . . . . . 72
5.3 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6 Theorie de Littlewood-Paley 75
6.1 Decoupage dyadique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.2 Espaces de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.3 Espaces de Holder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6.4 Calcul paradierentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
6.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
Bibliographie 91
4
Introduction
La plupart des systèmes physiques se modelisent par des equations aux derivees par-
tielles non lineaires. Lobjectif de ce cours est dintroduire des techniques danalyse permettant
detudier et de resoudre de telles equations.
An de mettre en application ces techniques sur un système issu de la physique, nous
avons choisi detudier de manière detaillee les equations de Navier-Stokes incompressibles.
Ces equations secrivent
(NS
)
_
_
_
t
v +v v v = p dans R
+
div v = 0
v
[
= 0
o` u est un ouvert de R
2
ou de R
3
(ou plus generalement de R
d
) simplement connexe et
xe une fois pour toutes. Ici, =
d
j=1
2
x
j
, v =
d
j=1
v
j
x
j
et div v =
d
j=1
x
j
v
j
. On doit
interpreter v = (v
1
, . . . , v
d
) comme le champ des vitesses et p comme la pression. Le paramètre
reel strictement positif est la viscosite du uide.
Le système (NS
) est une equation devolution, cest-à-dire quune variable (à savoir t le

temps) y joue un role particulier. Pour esperer pouvoir resoudre ce système, il faut de plus se
donner un champ de vitesses initial v
0
et lon se limitera à la recherche des solutions v de
(NS
) telles que v
[t=0
= v
0
.
Comme premier modèle de telles equations, nous allons revoir brièvement la theorie des
equations dierentielles ordinaires.
Les deux chapitres suivants presentent des outils fondamentaux pour la resolution dEDP
(lineaires et non lineaires) : compacite, notions de convergence, transformee de Fourier, ainsi
que des espaces fonctionnels classiques tels que les espaces de Lebesgue ou de Sobolev.
Les trois chapitres suivants sont devolus à letude specique des equations de Navier-Stokes.
Les techniques employees pour ce système sont bien entendu transposables à de nombreux
autres modèles de la physique.
Le dernier chapitre enn concerne un outil fondamental de lanalyse non lineaire : la theorie
de Littlewood-Paley et le calcul paradierentiel.
0.1 Presentation du système de Navier Stokes
Ce paragraphe est une brève presentation des equations de Navier Stokes. Pour plus de
details, le lecteur est renvoye aux cours de mecanique des milieux continus et de mecanique
des uides (voir par exemple [10]).
5
Les equations de Navier Stokes incompressibles decrivent levolution temporelle dun uide
incompressible dans un domaine xe de R
d
. Ce uide peut etre de leau, ou de lair (si
la vitesse de lecoulement reste petite devant la vitesse du son). Diverses variantes de ces
equations se retrouvent en meteorologie, oceanographie, magnetohydrodynamique ...
Decrivons maintenant ces equations. La densite du uide est supposee etre une constante
independante du temps et de lespace. La vitesse de lecoulement est donnee par le champ de
vecteurs v(t, x) qui depend du temps et de lespace, et qui prend ses valeurs dans R
2
ou R
3
suivant que lon etudie un ecoulement bidimensionnel ou tridimensionnel.
Comme la densite du uide est constante, la divergence du champ de vitesse est nulle, ce
qui conduit à
div v = 0.
Dautre part une particule de uide subit :
une force de frottement due à la viscosite du uide, modelisee dans notre cas par
v
o` u est la viscosite du uide considere,
une force de pression, qui secrit
p
o` u p(t, x) est la pression qui règne dans le uide.
Lacceleration de la particule de uide consideree est alors
Dv
Dt
= v p
o` u Dv/Dt est la derivee particulaire, ce qui donne
t
v +v v v = p.
`
A noter quil nexiste pas dexpression simple et utilisable de
t
p. La pression est en quelque
sorte denie implicitement par la contrainte div v = 0 et sadapte pour que lon ait en
permanence div v = 0. En particulier la pression est une inconnue du système au meme titre
que v.
Ces equations doivent etre completees par
une donnee initiale : valeur de v à t = 0,
une donnee au bord : valeur de v sur le bord de . Ici on supposera que le uide adhère
à la paroi. Par consequent v = 0 sur le bord de .
Malgre la simplicite apparente de ces equations, leur etude mathematique est loin detre
totalement achevee. Si en dimension 2 on dispose dune bonne theorie dexistence et dunicite
de solutions regulières, le cas de la dimension 3 reste essentiellement ouvert, et de nombreuses
choses restent à comprendre !
0.2 Le theorème de Cauchy-Lipschitz
En guise dechauement, nous presentons un premier resultat relatif aux equations diffe-
rentielles ordinaires : le theorème de Cauchy-Lipschitz. Comme nous allons le voir, sa preuve
repose sur le theorème de point xe de Picard.
6
Theorème 0.2.1 (Cauchy-Lipschitz). Soient un ouvert dun espace de Banach E et I
un intervalle de R. On considère une fonction F mesurable de I dans E telle que
x , |F(t, x)| L
1
loc
(I)
et telle que
(x, y)
2
, |F(t, x) F(t, y)| L(t)|x y| avec L L
1
loc
(I).
Alors, pour tout point (t
0
, x
0
) de I , il existe un intervalle ouvert J contenant t
0
et une
unique fonction x (
b
(J; ) telle que
(EDO) x(t) = x
0
+
_
t
t
0
F(t
t
, x(t
t
))dt
t
.
Preuve : Soient
0
un reel strictement positif tel que B(x
0
,
0
) et J un intervalle
ouvert contenant t
0
tel que
_
J
|F(t, x
0
)|dt <

0
2
et
_
J
L(t)dt <
1
2
On considère une fonction x ((J; B(x

0
,
0
)). Alors
_
_
_
J E
t x
0
+
_
t
t
0
F(t
t
, x(t
t
))dt
t
est une fonction de ((J; B(x
0
,
0
)). En eet, on a, pour tout t dans J ,
|x(t) x
0
|
_
J
|F(t, x(t))|dt
_
J
|F(t, x(t)) F(t, x
0
)|dt +
_
J
|F(t, x
0
)|dt

0
_
J
L(t)dt +
_
J
|F(t, x
0
)|dt

0
.
Il en resulte que lon peut denir la suite (x
n
)
nN
delements de ((J; B(x
0
,
0
)) par
x
0
(t) x
0
et x
n+1
(t) = x
0
+
_
t
t
0
F(t
t
, x
n
(t
t
))dt
t
. (1)
Demontrons que la suite (x
n
)
nN
est une suite de Cauchy de ((J; B(x
0
,
0
)). Pour cela,
on ecrit que si
n
def
= sup
t
J, pN
|x
n+p
(t
t
) x
n
(t
t
)|,
alors on a
n+1
sup
pN
_
J
|F(t, x
n+p
(t)) F(t, x
n
(t))|dt
sup
pN
_
J
L(t)|x
n+p
(t) x
n
(t)|dt

n
_
J
L(t)dt
1
2

n
.
7
Ainsi donc la suite (
n
)
nN
tend vers 0. La suite (x
n
)
nN
est donc de Cauchy dans
lespace complet ((J; B(x
0
,
0
)). Soit x la limite. Par passage à la limite dans (1), on
trouve que x est solution de (EDO).
Reste à prouver lunicite. Considerons donc deux fonctions x et y continues sur J et
solutions de (EDO). On a pour tout (t, t
1
) J
2
,
y(t) x(t) =
_
t
t
1
_
F(, x()) F(, y())
_
d. (2)
Si J verie
_
J
L(t) < 1, une adaptation immediate de la preuve de la convergence de la
suite (x
n
)
nN
permet dobtenir y x. Mais on peut en fait fort bien se passer de cette
condition sur J.
En eet, soit K =
_
t J [ x(t) = y(t)
_
. Lensemble K est ferme et non vide (car
contient t
0
). Soit t
1
K et > 0 tel que
]t
1
, t
1
+[ J et
_
t
1
+
t
1
L(t) dt
1
2
.
De (2), on tire
sup
[tt
1
[<
|y(t) x(t)|
1
2
sup
[tt
1
[<
|y(t) x(t)|
Donc ]t
1
, t
1
+ [ K. Lensemble K est donc ouvert. Par connexite de J, on peut
alors conclure que K = J.
Pour des complements, notamment sur la notion de ot, nous renvoyons à [3].
0.3 Un critère dexplosion
Le theorème precedent dexistence et dunicite pour les equations dierentielles ordinaires
est un theorème local. Nous allons voir une condition necessaire pour que la solution cesse
detre denie. Ces theorèmes seront dune grande importance lorsque nous etudierons le com-
portement des solutions du système de Navier-Stokes en dimension trois.
Proposition 0.3.1. Soit F une fonction de R E dans E satisfaisant les hypothèses du
theorème 0.2.1 au voisinage de tout point de R E. On suppose en outre quil existe une
fonction localement bornee M de R
+
dans R
+
et une fonction localement integrable de R
+
dans R
+
telles que
|F(t, u)| (t)M(|u|).
Alors, si lintervalle maximal de denition de x est ]T
, T
[ , on a :
T
> =limsup
t
>
T
|x(t)| = et T
< +=limsup
t
<
T
|x(t)| = .
Preuve : Il sut dobserver que, si |x(t)| est borne sur [T
0
, T[ , alors on peut prolonger
la solution sur un intervalle [T
0
, T
1
] avec T
1
> T . Comme la fonction x est supposee
bornee sur lintervalle [T
0
, T[ , on deduit de lhypothèse sur F que, pour tout t de
lintervalle [T
0
, T[ , on a
|F(t, x(t))| C(t).
8
La fonction etant integrable sur lintervalle [T
0
, T] , on en deduit que, pour tout
strictement positif, il existe un reel tel que, pour tout t, t
t
< T tel que T t <
et T t
t
< , on ait
|x(t) x(t
t
)| < .
Lespace E etant complet, il existe un x
dans E tel que

lim
t
<
T
x(t) = x
.
En appliquant le theorème 0.2.1, on construit une solution de (EDO) sur un inter-
valle [T, T
1
] de longueur non nulle, et la fonction continue denie par prolongement est
solution de lequation (EDO) sur lintervalle [T
0
, T
1
] .
Corollaire 0.3.1. Sous les hypothèses de la proposition 0.3.1, si lon a de plus
|F(t, u)| M|u|
2
,
alors si lintervalle maximal de denition est ]T
, T
[ et T
0
]T
, T
[, on a
T
> =
_
T
0
T
|x(t)| dt = + et T
< +=
_
T
T
0
|x(t)| dt = +.
Preuve : La solution verie
|x(t)| |x
0
| +M
_
t
0
|x(t
t
)|
2
dt
t
.
Le lemme de Gronwall (voir exercice 0.1 page 11) implique que
|x(t)| |x
0
| exp
_
M
_
t
0
|x(t
t
)| dt
t
_
.
et la proposition 0.3.1 permet donc de conclure au resultat voulu.
0.4 Le theorème de Peano
Contrairement au theorème de Cauchy-Lipschitz, le theorème que nous allons enoncer
est un resultat dexistence pour (EDO) sans unicite. Sa preuve repose sur un argument de
compacite.
Theorème 0.4.1 (Peano). Soit I un intervalle ouvert de R, on considère une fonction f
de I R
d
dans R
d
telle que
Pour tout compact K de R
d
, la fonction t |f(t)|
L
(K)
est localement integrable,
Pour tout t de I , la fonction x f(t, x) est continue sur R
d
.
Alors, pour tout point (t
0
, x
0
) de I R
d
, il existe un intervalle ouvert J I contenant x
0
et une fonction continue x de J à valeurs dans R
d
telle que
(EDO) x(t) = x
0
+
_
t
t
0
f(t
t
, x(t
t
))dt
t
.
Preuve : La structure de la demonstration est au moins aussi interessante que le resultat.
Elle servira de modèle à la demonstration du theorème dexistence de solutions faibles
pour lequation de Navier-Stokes. On procède en trois etapes :
9
on regularise la fonction f et lon applique le theorème de Cauchy-Lipschitz à la
suite de fonctions regularisees et la Proposition 0.3.1 qui assure que les solutions du
problème regularise ont un intervalle commun de denition,
puis on demontre que la suite de solutions ainsi construite est dadherence compacte
dans un espace du type ((J, R
d
),
enn, on passe à la limite.
Procedons à la regularisation. Soit une fonction positive = (x) de T, supportee dans
B(0, 1) et dintegrale 1. Soit
n
(x)
def
= n
d
(nx) et f
n
(t) =
n
f(t). On a
|f
n
(t)|
L
(K)
|f(t)|
L
(K+B(0,n
1
))
.
De plus, on a
|
j
f
n
(t)|
L
(K)
C(n + 1)|f(t)|
L
(K+B(0,n
1
))
.
On peut donc appliquer le theorème de Cauchy-Lipschitz à la fonction f
n
. Soit J
n
lintervalle de denition maximal de x
n
. Soit J un intervalle ouvert contenant t
0
et tel
que
_
J
|f(t)|
L
(B(x
0
,2)
dt 1.
Soit
n
def
= sup
_
t [t
0
, [J J
n
/ t
t
t , x
n
(t
t
) B(x
0
, 1)
_
. Pour tout t
n
, on a
|x
n
(t) x
0
|
_
J
|f
n
(t)|
L
(B(x
0
,1))
dt
_
J
|f(t)|
L
(B(x
0
,2))
dt
1.
Ainsi donc
n
sup J J
n
. En procedant de meme pour les t t
0
, on trouve, en
utilisant la Proposition 0.3.1 que, pour tout n on a J J
n
. Ceci achève preuve de la
première partie de la demonstration.
Nous avons que
t J , X(t)
def
= x
n
(t), n N B(x
0
, 1).
Donc, parce ce que nous sommes en dimension nie, X(t) est dadherence compacte. De
plus, nous avons
|x
n
(t) x
n
(t
t
)|
_
t
t
|f
n
(t
tt
)|
L
(B(x
0
,1))
dt
tt
_
t
t
|f(t
tt
)|
L
(B(x
0
,2))
dt
tt
.
Donc, pour tout strictement positif, il existe un strictement positif tel que
n N, (t, t
t
) J
2
, [t t
t
[ < =|x
n
(t) x
n
(t
t
)| < .
Les hypothèses du theorème dAscoli 1.1.2 qui est enonce et demontre page 15 assurent
que lensemble de fonctions x
n
est dadherence compacte dans ((J; R
d
). On peut donc
en extraire une sous suite qui converge (au sens de la norme uniforme) vers une fonction x
de ((J; R
d
). On omet de noter lextraction.
10
Il nous reste maintenant à passer à la limite. Pour tout t de J , on a
|f
n
(t, x
n
(t)) f(t, x(t))| |f
n
(t) f(t)|
L
(B(x
0
,1))
+|f(t, x
n
(t)) f(t, x(t))|.
Donc pour tout t de J , on a
lim
n
f
n
(t, x
n
(t)) = f(t, x(t)).
De plus, |f
n
(t, x
n
(t)| |f(t)|
L
(B(x
0
,2))
. Le theorème de convergence dominee assure
que, pour tout t, on a
lim
n
_
t
t
0
f
n
(t
t
, x
n
(t
t
))dt
t
=
_
t
t
0
f(t
t
, x(t
t
))dt
t
.
Le theorème est demontre.
0.5 Exercice
Exercice 0.1 (Lemme de Gronwall). Soit I un intervalle de R, x
0
R
+
et f, x, a trois
fonctions mesurables de I dans R
+
. On suppose quil existe t
0
I tel que pour tout t I,
on ait
x(t) x
0
+
_
t
t
0
f() d
_
t
t
0
a()x() d
.
Montrer que lon a
t I, x(t) x
0
e
[
R
t
t
0
a() d[
+
_
t
t
0
e
[
R
t
s
a() d[
f(s) ds
.
11
12
Chapitre 1
Analyse fonctionnelle
Pour les denitions et notions de base, nous renvoyons le lecteur au texte aux cours [2],
[3] et [7]. Le lecteur desireux dapprofondir ses connaissances en analyse fonctionnelle pourra
par exemple consulter [4] ou [11].
1.1 Compacite dans les espaces de Banach
Avant toute chose, rappelons que la compacite dans les espaces normes qui ne sont pas de
dimension nie, cest-à-dire pour nous les espaces de fonctions est beaucoup plus delicate à
obtenir que dans les espaces de dimension nie. Plus precisement, on a le theorème suivant.
Theorème (de Riesz). Soit E un espace vectoriel norme ; la dimension de E est nie si et
seulement si la boule unite fermee de E est compacte.
1.1.1 Operateurs compacts
On appellera operateur toute application lineaire continue entre deux espaces vectoriels
normes. En dimension innie, la notion doperateur compact que nous denissons ci-dessous
est fondamentale.
Denition 1.1.1. Soient E et F deux espaces de Banach. Un element u de lensemble
L(E, F) des applications lineaires continues est dit compact si limage par u de la boule unite
de E est dadherence compacte dans F.
Il est bien s ur equivalent de demander à u(A) detre dadherence compacte pour toute
partie bornee A de E.
Un premier exemple doperateurs compacts est donne par les operateurs de rang ni,
cest-à-dire les applications lineaires continues dont limage est un espace vectoriel de dimen-
sion nie. Nous verrons quil en existe beaucoup dautres.
On peut caracteriser les operateurs compacts à laide de suites :
Theorème 1.1.1. Soient E et F deux espaces de Banach. Un element u de L(E, F) est com-
pact si et seulement si pour toute suite bornee (x
n
)
nN
delements de E, la suite (u(x
n
))
nN
possède une valeur dadherence.
Preuve : Supposons que u soit compact et considerons une quelconque suite bornee
(x
n
)
nN
. Si M
def
= sup
n
|x
n
|
E
, la suite (u(x
n
))
nN
est incluse dans u(B
E
(0, M)) dont
13
ladherence est compacte. On peut donc extraire de la suite (u(x
n
))
nN
une sous suite
convergente.
Reciproquement, soient A une partie bornee de E et (y
n
)
nN
une suite delements de
ladherence de u(A). Il existe une suite (z
n
)
nN
delements de u(A) telle que
d(y
n
, z
n
)
1
n
Par hypothèse, la suite (z

n
)
nN
admet une valeur dadherence, donc la suite (y
n
)
nN
aussi.
Theorème 1.1.2. Soient E, F et G trois espaces de Banach.
Lensemble des elements de L(E, F) qui sont compacts est un sous-espace vectoriel
ferme de L(E, F).
Soient u L(E, F) et v L(F, G) ; alors loperateur u v est compact dès que u ou v
lest.
Preuve : Soient u et v deux operateurs compacts de E dans F et un scalaire. Considerons
une suite bornee (x
n
)
nN
de E. Comme u est compact, il existe une fonction dextrac-
tion telle que (u(x
(n)
))
nN
converge. Comme v est compact, il existe une fonction
dextraction telle que (v(x
(n)
))
nN
converge. La suite ((u + v)(x
(n)
))
nN
est
convergente et donc loperateur u +v est compact.
Demontrons maintenant que ce sous-espace vectoriel est ferme. Soit u un element de
ladherence des operateurs compacts. Daprès lexercice 1.1, il sut de demontrer que,
pour tout reel strictement positif , on peut recouvrir u(B(0, 1)) par un nombre ni de
boules de rayon . Soit un reel strictement positif, il existe un operateur compact v
tel que
|u v|
/(E,F)
<

3
.
Comme v est compact, il existe une famille nie (x
j
)
1jN
delements de B(0, 1) telle
que
v(B(0, 1))
N
_
j=1
B(v(x
j
), /3).
Ainsi donc, pour tout x de B(0, 1), il existe un indice j tel que
|u(x) u(x
j
)|
F
|u(x) v(x)|
F
+|v(x) v(x
j
)|
F
+|v(x
j
) u(x
j
)|
F

3
+

3
+

3
= .
En consequence, u est bien un operateur compact.
Demontrons maintenant la deuxième partie du theorème. Supposons u compact et
considerons une suite (x
n
)
nN
de E. Comme v est continue, la suite (v(x
n
))
nN
est
bornee et, comme u est supposee compacte, on peut trouver une fonction dextraction
telle que ((u v)(x
(n)
))
nN
converge. Donc u v est compact.
Supposons maintenant v compact et considerons une suite (x
n
)
nN
de E. On peut
trouver une fonction dextraction telle que (v(x
(n)
))
nN
converge. Comme u est
continue, la suite ((u v)(x
(n)
))
nN
converge. Donc u v est compact.
14
1.1.2 Le theorème dAscoli
Dans toute cette partie, (X, d) et (Y, ) designent deux espaces metriques. Nous souhaitons
donner quelques proprietes topologiques fondamentales de lensemble ((X; Y ) des fonctions
continues de X dans Y. Rappelons tout dabord le resultat suivant (dont la demonstration
est laissee au lecteur).
Theorème 1.1.3. Supposons (X, d) compact. Alors
D(f, g)
def
= sup
xX
(f(x), g(x))
est une distance sur ((X; Y ).
Si de plus (Y, ) est complet alors ((X; Y ) est un espace metrique complet.
Le theorème dAscoli que nous enon cons ci-dessous est un theorème de compacite dans
lensemble ((X; Y ). Nous verrons quil joue un role essentiel dans la resolution du problème
de Cauchy pour le système de Navier-Stokes.
Theorème (dAscoli). Soit (X, d) un espace metrique compact et (Y, ) un espace metrique
complet. Soit / une partie de ((X; Y ) veriant les deux hypothèses suivantes :
(i) la partie / est equicontinue i.e.
x X , > 0 , > 0 / d(x, x
t
) < f /, (f(x), f(x
t
)) < ;
(ii) pour tout x X, lensemble f(x) , f / est dadherence compacte.
Alors / est dadherence compacte.
Observons tout dabord que la première hypothèse se traduit par
> 0 , > 0 / x X , f /, d(x, x
t
) < (f(x), f(x
t
)) < . (1.1)
La demonstration de cette assertion à partir de lhypothèse i) est analogue à la demonstration
du fait quune fonction continue sur un compact est uniformement continue.
Enon cons maintenant un lemme montrant que les parties / qui sont uniformement equi-
continues (cest-à-dire qui verient lassertion (1.1) ci-dessus) ont une propriete très speciale
vis-à-vis de la convergence.
Lemme. Soient / une partie uniformement equicontinue de ((X; Y ) et (f
n
)
nN
une suite
de fonctions de /. On a lequivalence suivante :
(f
n
)
nN
converge simplement vers f (f
n
)
nN
converge uniformement vers f.
Preuve : Il sut de justier limplication directe. Soit un reel strictement positif arbi-
traire. Par hypothèse, il existe un reel strictement positif tel que pour tout n N, on
ait
d(x, x
t
) < = (f
n
(x), f
n
(x
t
)) <

4
Par passage à la limite, on constate que la fonction f est uniformement continue de X

dans Y . On recouvre le compact X par une famille nie de boules (B(x
j
, ))
1jN
.
Ainsi donc, on a en choisissant x
j
tel que d(x, x
j
) < ,
(f
n
(x), f(x)) (f
n
(x), f
n
(x
j
)) +(f
n
(x
j
), f(x
j
)) +(f(x
j
), f(x))

2
+ max
1kN
(f
n
(x
k
), f(x
k
)).
15
Par hypothèse, il existe n
0
tel que
n n
0
, max
1kN
(f
n
(x
k
), f(x
k
)) <

2
Do` u le lemme.
Preuve du theorème dAscoli : Soit (f
n
)
nN
une suite delements de /. Nous allons
en extraire une sous-suite convergente. Daprès lexercice 1.1, il existe une suite (x
p
)
pN
dense dans X. Par hypothèse, lensemble
f(x
0
) , f /
est dadherence compacte. Donc il existe une fonction
0
strictement croissante de N
dans N et un element g(x
0
) de Y tels que
lim
n
f
0
(n)
(x
0
) = g(x
0
).
De meme, il existe un point g(x
1
) de Y et une fonction
1
strictement croissante de N
dans N telle que
lim
n
f
1
(n)
(x
1
) = g(x
1
).
On denit ainsi par recurrence une suite (
p
)
pN
de fonctions strictement croissantes
de N dans N telle que
p N, k p , lim
n
f
p
(n)
(x
k
) = g(x
k
).
On denit alors la fonction de N dans N par
(n) =
0

n
(n).
Cest une fonction strictement croissante de N dans N. En eet, observons tout dabord
que toute fonction strictement croissante de N dans N verie (n) n. Donc, si
n < m, on a
(n) =
0

n
(n) <
0

n

n+1

m
(m) = (m).
Par construction, la suite extraite (f
(n)
)
nN
verie
p N, lim
n
f
(n)
(x
p
) = g(x
p
). (1.2)
Demontrons maintenant que la fonction g est uniformement continue sur X. Soit
un reel strictement positif, on considère un reel veriant lassertion (1.1). Pour tout
couple dentiers (p, q) tel que d(x
p
, x
q
) < , on a
_
g(x
p
), g(x
q
)
_

_
g(x
p
), f
(n)
(x
p
)
_
+
_
f
(n)
(x
p
), f
(n)
(x
q
)
_
+
_
f
(n)
(x
q
), g(x
q
)
_
,
+
_
g(x
p
), f
(n)
(x
p
)
_
+
_
f
(n)
(x
q
), g(x
q
)
_
.
Linegalite ci-dessus etant vraie pour tout n, on obtient, en passant à la limite n ,
d(x
p
, x
q
) <
_
g(x
p
), g(x
q
)
_
.
16
La fonction g etant uniformement continue sur une partie dense de X et lespace Y
etant complet, daprès lexercice 1.4, on peut prolonger g en une fonction uniformement
continue sur X tout entier. Cette fonction est denie par
g(x) = lim
p
g(y
p
) , (y
p
)
pN
X
N
/ lim
p
y
p
= x. (1.3)
Pour conclure la preuve du theorème dAscoli, il sut de demontrer que
x X , lim
n
f
(n)
(x) = g(x).
La reunion de / et de g est naturellement une partie uniformement equicontinue.
Soit un reel strictement positif arbitraire et x un element de X. Il existe un reel
strictement positif tel que
n N, d(x, x
t
) < sup
nN
_
f
(n)
(x), f
(n)
(x
t
)
_
+(g(x), g(x
t
)) <

2
Il existe un entier p tel que

d(x, x
p
) < .
Il en resulte que
_
f
(n)
(x), g(x)
_

_
f
(n)
(x), f
(n)
(x
p
)
_
+
_
f
(n)
(x
p
), g(x
p
)
_
+
_
g(x
p
), g(x)
_
,

2
+
_
f
(n)
(x
p
), g(x
p
)
_
.
La relation (1.2) permet de conclure à la convergence simple de la suite (f
(n)
)
nN
vers g.
On obtient alors la convergence uniforme à laide du lemme de la page 15.
1.2 Les espaces L
p
Ces espaces sont importants dès que lon aborde des problèmes non lineaires. Ils joueront
un role decisif en particulier dans les demonstrations du chapitre 4 relatif aux equations de
Navier-Stokes. Le cas particulier des espaces L
1
et L
2
a ete etudie dans [2].
Denition 1.2.1. Soient une mesure borelienne sur un ouvert de R
d
et p [1, ] .
Si p < , lespace L
p
(d) designe les classes dequivalence (modulo la relation degalite
presque partout) de fonctions boreliennes f sur telles que [f[
p
soit sommable. On pose
|f|
L
p
def
=
__
[f(x)[
p
d(x)
_1
p
.
Si p = , on denit lespace L
(d) comme etant les classes dequivalence (modulo la

relation degalite presque partout) de fonctions boreliennes f sur telles que lensemble
des reels positifs tels que
_
x / [f(x)[ >
_
> 0 soit majore. On pose
|f|
L
def
= sup
_
> 0 /
_
x / [f(x)[ >
_
> 0
_
.
Le theorème suivant est clairement fondamental.
Theorème 1.2.1. Lespace L
p
(d) muni de la norme | |
L
p est un espace de Banach.
17
La demonstration de ce theorème est non immediate. Lorsque p = 1, p = 2 ou p = ,
elle gure dans [2]. On se restreindra ici au cas o` u p ]1, [ . Le fait que L
p
soit un espace
vectoriel resulte simplement du fait que
[f(x) +g(x)[
p
2
p
([f(x)[
p
+[g(x)[
p
).
Tout le reste repose sur linegalite suivante.
Lemme (Inegalite de Holder). Soit p [1, +] . On pose p
t
def
=
p
p 1
lexposant dit
conjugue de p (avec la règle que 1/0 = ). Soient f dans L
p
et g dans L
p
, alors fg L
1
et
|fg|
L
1 |f|
L
p|g|
L
p
.
Preuve : Linegalite est evidente si p vaut 1 ou . Dans les autres cas, la demonstration
repose sur la concavite de la fonction logarithme qui dit que si (a, b) est un couple de
reels strictement positifs et un reel de lintervalle [0, 1] , alors
log a + (1 ) log b log(a + (1 )b).
En appliquant lexponentielle à cette inegalite, on obtient
a
b
1
a + (1 )b. (1.4)
Quitte à multiplier f et g par une constante, on peut supposer que |f|
L
p = |g|
L
p
= 1.
On deduit de linegalite ci-dessus que
[f(x)[ [g(x)[ = ([f(x)[
p
)
1
p
[g(x)[
p
)
1
p
1
p
[f(x)[
p
+
_
1
1
p
_
[g(x)[
p
.
Lintegration de cette inegalite par rapport à la mesure d conclut la demonstration.
Revenons à la demonstration du theorème.

Ecrivons que
[f(x) +g(x)[
p
= [f(x) +g(x)[ [f(x) +g(x)[
p1
[f(x)[ [f(x) +g(x)[
p1
+[g(x)[ [f(x) +g(x)[
p1
.
Comme f +g appartient à L
p
, [f +g[
p1
appartient à L
p
. Daprès linegalite de Holder, on a

_
[f(x) +g(x)[
p
d(x) (|f|
L
p +|g|
L
p)
_
_
[f(x) +g(x)[
p
d(x)
_
1
1
p
.
Il en resulte que | |
L
p est une norme. La demonstration du fait que (L
p
, | |
L
p) est complet
est très analogue à celle des theorèmes 3.2.4 page 81 et 3.3.2 page 87 de [2].
Enon cons un corollaire de linegalite de Holder.

Corollaire 1.2.1. Soit (p, q) [1, +]
2
tel que
1
p
+
1
q
1. Pour tout couple (f, g) de L
p
L
q
,
on a
fg L
r
et |fg|
L
r |f|
L
p|g|
L
q avec
1
r
=
1
p
+
1
q

La demonstration de ce corollaire consiste simplement à appliquer linegalite de Holder
aux fonctions [f[
p
r
et [g[
q
r
.
18
Nous allons maintenant demontrer que linegalite de Holder est essentiellement optimale
par le biais du lemme suivant.
Lemme 1.2.1. Soit (X, ) un espace mesure, f une fonction mesurable et p un element de
[1, +] . Alors f appartient à L
p
si et seulement si
sup
|g|
L
p
1
_
X
[f(x)g(x)[d(x) < .
Si de plus la fonction f appartient à L
p
, alors
|f|
L
p = sup
|g|
L
p
1
_
X
f(x)g(x)d(x)
.
Preuve : Dans toute la demonstration, nous supposons la fonction f non nulle (sinon le
resultat est evident).
Commencons par considerer le cas o` u p = +. Soit un reel strictement positif tel
que
_
[f[
_
> 0.
On pose E
def
=
_
[f[
_
. Soit g
0
une fonction de L
1
, positive, supportee dans E
,
et dintegrale 1. On pose
g(x) =
f(x)
[f(x)[
g
0
si f(x) ,= 0, et g(x) = 0 sinon.
On a alors
_
X
f(x)g(x) d(x) =
_
X
[f(x)[g
0
(x) d(x)

_
X
g
0
d (x)
.
Do` u le lemme dans ce cas.
Supposons maintenant que p soit reel et considerons alors une suite croissante den-
sembles de mesure nie (E
n
)
nN
dont la reunion est X. Posons
f
n
= 1
E
n
[f[n
f, g
n
(x) =
f
n
(x)[f
n
(x)[
p1
[f
n
(x)[ |f
n
|
p
p
L
p
si f
n
(x) ,= 0 et g
n
(x) = 0 sinon.
Il est clair que la fonction f
n
appartient à L
1
L
donc à L
p
pour tout p et que lon a
|g
n
|
p
L
p
=
1
|f
n
|
p
L
p
_
X
[f
n
(x)[
(p1)
p
p1
d(x) = 1.
La denition des fonctions f
n
et g
n
assure que
_
X
f(x)1
E
n
([f[n)
g
n
(x)d(x) =
_
X
f
n
(x)g
n
(x)d(x),
=
__
X
[f
n
(x)[
p
d(x)
_
|f
n
|
p
p
L
p
,
= |f
n
|
L
p.
19
On a donc
_
X
[f
n
(x)[
p
d(x)
_
sup
|g|
L
p
1
_
X
[f(x)g(x)[d(x)
_
p
.
Si le terme de droite est ni, le theorème de convergence monotone applique à la suite
croissante ([f
n
[
p
)
nN
implique immediatement que
f L
p
et |f|
L
p sup
|g|
L
p
1
_
X
[f(x)g(x)[d(x).
Mais, si f appartient à lespace L
p
, alors en posant g(x) =
f(x)[f(x)[
p1
[f(x)[ |f|
p
p
L
p
, on a
|g|
p
L
p
=
1
|f|
p
L
p
_
X
[f(x)[
(p1)
p
p1
d(x) = 1 et |f|
L
p =
_
X
f(x)g(x)d(x).
Do` u le lemme.
Linegalite suivante sur la convolution est egalement une consequence de linegalite de Holder.
Lemme (Inegalite de Young). Soit une mesure positive sur R
d
et (p, q, r) [1, ]
3
tels
que
1
p
+
1
q
= 1 +
1
r
(1.5)
On a alors, pour tout couple (f, g) L
p
L
q
,
f g L
r
et |f g|
L
r |f|
L
p|g|
L
q .
Preuve : Pour demontrer cela, observons tout dabord que si r = , cest exactement
linegalite de Holder. De plus, on peut aussi supposer que |f|
L
p = |g|
L
q = 1. Si r < ,
ecrivons que, pour f et g positives, on a, pour tout dans ]0, 1[ ,
(f g)(x) =
_
R
d
f
(x y)g
1
(y)f
1
(x y)g
(y) d(y).
Linegalite de Holder implique que, pour tout reel s 1, et tout ]0, 1[ , on a
(f g)
r
(x) =
__
R
d
f
s
(x y)g
(1)s
(y) d(y)
_r
s
__
R
d
f
(1)s
(x y)g
s
(y) d(y)
_ r
s
.
On choisit et s tels que s = p et s
t
= q. En utilisant (1.5), on trouve que
=
r
r + 1
,
s =
p(r + 1)
r
et s
t
=
q(r + 1)
r
(1.6)
On en deduit que
(f g)
r
(x)
__
R
d
f
p
(x y)g
p
r
(y) d(y)
_r
s
__
R
d
f
q
r
(x y)g
q
(y) d(y)
_ r
s
.
Posons
=
qr
p
et =
pr
q

20
Remarquons que, comme r maxp, q, les reels et sont superieurs ou egaux
à 1. En appliquant linegalite de Holder, avec (resp. ) et la mesure f(x y)
p
d(y)
(resp. g(y)
q
d(y), ) on trouve que
(f g)
r
(x)
__
R
d
f
p
(x y)g
q
(y) d(y)
_
r
1
s
+
1
s
.
Par denition de , s, et , nous avons
r
_
1
s
+
1
s
t
_
= r
_
rp
p(r + 1)qr
+
rq
q(r + 1)pr
_
=
r
r + 1
_
1
q
+
1
p
_
= 1.
Do` u il vient
(f g)
r
(x) (f
p
g
q
)(x).
Le theorème vient par integration.
1.3 La convergence faible dans les espaces de Hilbert
Pour les denitions et proprietes de base des espaces de Hilbert, nous renvoyons au cha-
pitre 4 de [2]. Precisons que tous les espaces de Hilbert que nous considèrerons seront separables
donc ils admettront en particulier une base hilbertienne denombrable que lon notera très sou-
vent (e
j
)
jN
.
Lun des problèmes de base que lon rencontre dans les espaces de Hilbert de dimension
innie comme lespace L
2
des fonctions de carre sommable est que les ensembles bornes sont
très loin detre dadherence compacte.
`
A titre dexemple, considerons la boule unite dun
espace de Hilbert de dimension innie H. Soit (e
j
)
jN
une base hilbertienne de H. Pour
tout element x de H, on a daprès la formule de Parseval que la suite (x[e
j
)
jN
est de carre
sommable. Donc son terme general tend vers 0. Donc si la suite (e
j
)
jN
admet une valeur
dadherence, ce ne peut etre que 0. Or |e
j
| = 1 pour tout j . Donc 0 ne saurait etre valeur
dadherence dune telle suite. Cette constatation motive la denition suivante.
Denition. Soient (x
n
)
nN
une suite delements dun espace de Hilbert H et x un element
de H. On dit que la suite (x
n
)
nN
converge faiblement vers x et lon note limf
n
x
n
= x ou
bien x
n
x si
h H, lim
n
(h[x
n
) = (h[x).
Dans le theorème suivant, on donne quelques consequences de la propriete de convergence
faible.
Theorème 1.3.1. Soient (x
n
)
nN
une suite delements dun espace de Hilbert H et x un
element de H. On a alors :
limf
n
x
n
= x = (x
n
)
nN
est bornee et |x| liminf |x
n
| ; (1.7)
lim
n
|x
n
x| = 0 = limf
n
x
n
= x; (1.8)
limf
n
x
n
= x et lim
n
|x
n
| = |x| = lim
n
|x
n
x| = 0. (1.9)
21
Preuve : La preuve du premier point du theorème decoule dun resultat celèbre danalyse
fonctionnelle : le theorème de Banach-Steinhaus et sera repris dans lexercice 1.11.
Le deuxième point resulte simplement du fait que
[(h[x
n
) (h[x)[ |h| |x
n
x|.
Pour le dernier point, il sut decrire que
|x
n
x|
2
= |x
n
|
2
2 'e(x[x
n
) +|x|
2
.
Comme la suite (x
n
)
nN
tend faiblement vers x, on a
2 lim
n
'e(x[x
n
) = 2|x|
2
.
Le dernier point est ainsi demontre.
Proposition 1.3.1. Soient (x
n
)
nN
et (y
n
)
nN
deux suites delements de H telles que
lim
n
x
n
= x et limf
n
y
n
= y.
Alors, on a lim
n
(x
n
[y
n
) = (x[y).
Preuve : La demonstration est très simple. Il sut decrire que
[(x
n
[y
n
) (x[y)[ [(x
n
x[y
n
)[ +[(x[y
n
y)[
|x
n
x| |y
n
| +[(x[y
n
y)[.
Le theorème 1.3.1 arme que la suite (y
n
)
nN
est bornee. Donc, on a
[(x
n
[y
n
) (x[y)[ C|x
n
x| +[(x[y
n
y)[.
Do` u la proposition.
Le theorème suivant est fondamental.
Theorème (de compacite faible). De toute suite bornee dun espace de Hilbert separable,
on peut extraire une sous-suite faiblement convergente.
Preuve : Fixons une base hilbertienne (e
j
)
jN
de H. Nous allons utiliser le procede classique
dextraction diagonal, dit de Cantor. La suite (x
n
[e
0
)
nN
est une suite bornee de K. Il
existe donc un element
0
de K et une extraction
0
de N dans N tels que lon ait
lim
n
(x
0
(n)
[e
0
) =
0
.
Supposons construites une suite nie (
j
)
0jm
de fonctions strictement croissantes
de N dans N et une suite nie (
j
)
1jm
de scalaires telles que, pour tout j m, on
ait
lim
n
(x
j
(n)
[e
j
) =
j
.
La suite (x
m
(n)
[e
m+1
)
nN
est une suite bornee de K. Il existe donc une fonction
strictement croissante
m+1
de N dans N et un element
m+1
de K tels que
j m+ 1 , lim
n
(x
m+1
(n)
[e
j
) =
j
.
22
Posons (n) =
0

n
(n). Nous avons dejà etabli dans la demonstration du theorème
dAscoli que etait une fonction strictement croissante de N dans N.
Soit V le sous-espace vectoriel engendre par les (e
j
)
jN
, cest-à-dire lensemble des
combinaisons lineaires (nies) de e
j
. Daprès le theorème 4.4.4 page 107 de [2], V est
dense dans H. Considerons lapplication lineaire L denie par
L :
_
V K
y lim
n
(x
(n)
[y).
Notons que la denition de L ne pose pas de problème puisque tout element de V est
combinaison lineaire nie des e
j
et que la suite (x
(n)
[ e
j
) converge pour chaque j N.
De plus, L est continue car, pour tout y de V , nous avons
[L, y)[ (sup
nN
|x
n
|)|y|.
Nous allons prolonger la forme lineaire L à lespace H tout entier. Soit y un element
de H. Le sous espace V etant dense dans H, considerons une suite (y
p
)
pN
delements
de V tendant vers y. Comme lon a
[L, y
p+q
) L, y
p
)[ C|y
p+q
y
p
|,
la suite (L, y
p
))
pN
est une suite de Cauchy de K. Soit L
y
sa limite. Remarquons que
si (y
t
p
)
pN
est une autre suite delements de V tendant vers y alors on a
[L, y
t
p
) L, y
p
)[ C|y
p
y
p
|.
La limite L
y
ne depend donc pas de la suite (y
p
)
pN
choisie. Cest un exercice facile
laisse au lecteur que de verier que lapplication
L :
_
H K
y L
y
est lineaire continue. Daprès le theorème de Riesz, il existe donc un element x de H tel
que
y H,
L, y) = (x[y).
Ainsi nous avons en particulier que
y V, lim
n
(x
(n)
[y) = (x[y).
Lenonce de lexercice 1.13 permet alors de conclure la demonstration.
1.4 Les operateurs autoadjoints compacts
Rappelons tout dabord la denition de loperateur adjoint (voir [7] pour plus de details).
Theorème 1.4.1. Soit T un operateur borne entre deux espaces de Hilbert H
1
et H
2
. Il
existe un et un seul operateur borne T
de H
2
dans H
1
veriant
(f, g) H
1
H
2
, (T(f) [ g)
H
2
= (f [ T
(g))
H
1
.
Loperateur T
est appele operateur adjoint de T, et verie |T|

/(H
1
;H
2
)
= |T
|
/(H
2
;H
1
)
.
23
On dit quun operateur T dun espace de Hilbert H dans lui-meme est auto-adjoint si
T
= T, i.e.
(x, y) H
2
, (T(x) [ y) = (x [ T(y)).
Le theorème suivant est la generalisation naturelle du theorème de diagonalisation des endo-
morphismes symetriques dans les espaces euclidiens.
Theorème 1.4.2. Soit A un operateur compact autoadjoint sur un espace de Hilbert H
separable de dimension innie. On a les proprietes suivantes.
(i) Le spectre de A est la reunion de 0 et dune suite (
j
)
jN
de valeurs propres reelles
tendant vers 0 (eventuellement nulle à partir dun certain rang).
(ii) Lespace vectoriel ker(A
j
Id) est de dimension nie si
j
est non nul.
(iii) On a |A|
/(1)
= max
jN
[
j
[ .
(iv) Il existe une base hilbertienne de H constituee de vecteurs propres de A.
Preuve : Demontrons tout dabord le deuxième point du theorème. Posons E
j
= ker(A
j
Id). Soit (x
n
)
nN
une suite bornee de E
j
. Loperateur A etant compact, on peut
en extraire une sous-suite (x
(n)
)
nN
telle que la suite (Ax
(n)
)
nN
converge. Mais
Ax
(n)
=
j
x
(n)
et
j
est non nulle. La boule unite de E
j
est donc compacte et le
theorème de Riesz permet de conclure que la dimension de E
j
est nie.
Demontrons le premier point. Soit
M
0
def
= sup
|x|=1
[(Ax[x)[.
Si M
0
= 0, on a alors (Ax[x) = 0 pour tout element x de H. Or, loperateur A etant
autoadjoint, on a
'e(Ax[y) =
1
2
_
(A(x +y)[x +y) (Ax[x) (Ay[y)
_
.
Donc, si M
0
= 0, on a 'e(Ax[y) = 0 pour tout couple (x, y) delements de H. Mais
comme 'e(Ax[iy) = m(Ax[y), on a en fait (Ax[y) = 0 pour tout couple (x, y)
delements de H ce qui implique que A = 0.
Comme A est autoadjoint, (Ax[x) est reel, donc quitte à changer A en A, on peut
supposer que
M
0
= sup
|x|=1
(Ax[x).
Supposons dorenavant que M
0
> 0. Par denition, il existe une suite (x
n
)
nN
delements
de la sphère unite telle que
lim
n
(Ax
n
[x
n
) = M
0
.
Loperateur A etant compact, on peut, quitte à extraire une sous-suite, dire quil existe
un y dans H tel que
lim
n
Ax
n
= y.
`
A nouveau après extraction, on peut supposer, daprès le theorème de compacite faible,
quil existe un element x de H tel que
limf
n
x
n
= x.
24
Demontrons que Ax = y. Loperateur A etant autoadjoint, on a, pour tout z apparte-
nant à H,
lim
n
(x
n
[Az) = (x[Az) = (Ax[z).
De plus, il est clair que
lim
n
(Ax
n
[z) = (y[z).
Il en resulte que, pour tout z dans H, on a (y[z) = (Ax[z), ce qui implique que y = Ax.
Mais, daprès la proposition 1.3.1, on a
lim
n
(Ax
n
[x
n
) = (Ax[x).
Le maximum M
0
est donc atteint en un point x qui bien s ur est dierent de 0 puisque
M
0
est strictement positif. De plus, si lon avait |x| < 1, alors on aurait
_
A
x
|x|
x
|x|
_
=
M
0
|x|
2
> M
0
,
ce qui contredit la maximalite de M
0
car M
0
est strictement positif. Donc x appartient
à la sphère unite
1
. Un argument dhomogeneite permet darmer que
z H, F(z)
def
= M
0
|z|
2
(Az[z) 0.
Comme nous venons de voir que F(x) = 0, le point x est donc un minimum de la
fonction F . Donc la dierentielle de F sannule au point x. Mais
h H, DF(x)h = 2M
0
'e(x[h) 2 'e(Ax[h),
ce qui entrane
2
que Ax = M
0
x. Nous avons vu que x etait non nul. Donc M
0
est valeur
propre de A.
Nous allons maintenant travailler dans lespace
H
1
def
=
_
ker(AM
0
Id) ker(A+M
0
Id)
_
.
Demontrons que H
1
est stable par A. Pour ce faire, il sut de demontrer que
C L(H) , C
(ker(C Id)
) ker(C Id)
. (1.10)
En eet, soit x un element de ker(CId)
. On a, pour tout y appartenant à ker(C

Id), que (x[y) = 0. Ceci entrane que (x[y) = 0. Comme y appartient au noyau
de C Id, on a (x[y) = (x[Cy) = 0. Ainsi donc, pour tout y de ker(C Id), on a
(C
x[y) = 0. Do` u la relation (1.10).
Etudions maintenant loperateur A restreint à lespace de Hilbert H

1
. Daprès la rela-
tion (1.10), A
[1
1
L(H). Posons
M
1
def
= sup
x1
1
|x|=1
(Ax[x).
1
ce qui implique en particulier que la convergence de (x
n
)
nN
vers x est forte.
2
Utiliser à nouveau le fait que (y|iz) = m(y|z).
25
Daprès letude precedente, si M
1
,= 0, le maximum est atteint en au moins un point
de norme 1 qui est un vecteur propre de A pour la valeur propre M
1
. Comme x
1

H
1
, on doit avoir M
1
< M
0
. En iterant le procede, on construit ainsi une suite de
valeurs propres reelles de valeur absolue strictement decroissante. Supposons cette suite
innie et designons-la par (
j
)
jN
. Soit (e
j
)
jN
une suite orthonormale de vecteurs
propres associes à la valeur propre
j
. Daprès legalite de Parseval, la suite (e
j
)
jN
tend faiblement vers 0. Quitte à extraire, on peut supposer que la suite (Ae
j
)
jN
tend
fortement vers 0. Mais comme Ae
j
=
j
e
j
, on en deduit que
lim
j
[
j
[ |e
j
| = 0.
Les vecteurs e
j
etant de norme 1, la suite (
j
)
jN
tend vers 0. Le theorème 1.4.2 est
complètement demontre.
Enn, notons que le noyau ker A de A est un espace hilbertien separable car est un
sous-espace ferme de H. En adjoignant une base hilbertienne de ker A à la suite (e
j
)
jN
on obtient donc une base hilbertienne de H constituee de vecteurs propres de A.
1.5 Exercices
Exercice 1.1. Soit (X, d) un espace metrique complet.
1) Montrer quune partie A de X est dadherence compacte si et seulement si
> 0, N N
, (x
j
)
1jN
A
N
/ A
N
_
j=1
B(x
j
, ).
2) En deduire que si (X, d) est un espace metrique compact, alors il existe une suite
delements (x
n
)
nN
dense dans X, cest-à-dire que
> 0 , x X , n N/ x
n
B(x, ).
Exercice 1.2. Montrer que la limite dune suite doperateurs de rang ni, est compacte.
Exercice 1.3. Demontrer le theorème 15.
Exercice 1.4. 1) Soient (X, d) et (Y, ) deux espaces metriques, A une partie dense de X, et
f une application uniformement continue de (A, d) dans (Y, ). Montrer que si Y est complet,
alors il existe une unique application uniformement continue

f de (X, d) dans (Y, ) telle que
f
[A
= f .
2) Soient E et F deux espaces normes, V un sous espace vectoriel de E dense dans E et L
une application lineaire continue de V dans F . Montrer que si f est un espace de Banach,
alors il existe une unique application lineaire continue

L de E dans F telle que

L
[V
= L.
Exercice 1.5. Demontrez la reciproque du theorème dAscoli, à savoir que si une partie A
de ((X, Y ) est compacte, alors elle verie les conditions i) et ii) de lenonce du theorème
dAscoli.
Exercice 1.6. Soient (X, d) et (Y, ) deux espaces metriques compacts. Demontrez que len-
semble des fonctions k-lipschitziennes de (X, d) dans (Y, ) est compact dans ((X, Y ).
26
Exercice 1.7. Soit (X, d) un espace metrique compact. On considère sur lespace C
(X, K)
des fonctions holderiennes dindice ]0, 1] de X dans K, la norme
|f|
= sup
xX
[f(x)[ + sup
(x,y)X
2
x,=y
[f(x) f(y)[
d(x, y)

1) Demontrez que cette norme munit C
(X, K) dune structure despace de Banach.

2) Demontrez que, pour tout , linclusion de C
(X, K) dans lespace de Banach des

fonctions continues de X dans K est compacte.
Exercice 1.8. Soit p [1, +[ et une mesure borelienne. Demontrer que, pour toute
fonction borelienne f , on a
|f|
p
L
p
= p
_

0
p1
([f[ > )d.
Exercice 1.9. Soit H un espace de Hilbert separable de dimension innie. Trouvez deux
suites (x
n
)
nN
et (y
n
)
nN
delements de H telles que
limf
n
x
n
= x, limf
n
y
n
= y et lim
n
(x
n
[y
n
) ,= (x[y).
Exercice 1.10. Demontrez quen dimension nie convergence forte et convergence faible
concident.
Exercice 1.11 (Theorèmes de Baire et de Banach-Steinhaus).
(i) Demontrez le theorème de Baire : soit (X, d) un espace metrique complet. Alors pour
toute suite (
n
)
nN
douverts denses de X, lensemble
nN

n
est dense dans X.
(ii) En deduire que pour toute suite (F
n
)
nN
de fermes de X dinterieur vide, lensemble
nN
F
n
est aussi dinterieur vide.
(iii) Demontrez le theorème de Banach-Steinhaus : soit E et F deux espaces de Banach
et (T
i
)
iI
une famille doperateurs de E dans F. On suppose de plus que pour tout
x E, lensemble T
i
(x) / i I est borne.
En considerant les ensembles A
n
= x E / sup
iI
|T
i
(x)|
F
n, montrez que
sup
iI
|T
i
|
/(E;F)
< .
(iv) En deduire que, dans un espace de Hilbert H, si une suite (x
n
)
nN
tend faiblement
vers x, alors elle est bornee et
|x| liminf
n
|x
n
|.
Exercice 1.12. Soit H et H
t
deux espaces de Hilbert, et T : H H
t
un operateur compact.
Montrer que
x
n
x entrane T(x
n
) T(x).
Exercice 1.13. Soient (x
n
)
nN
une suite bornee de H, x un element de H et V un sous
espace vectoriel dense de H. Demontrer que limf
n
x
n
= x si et seulement si
y V , lim
n
(x
n
[y) = (x[y).
27
Exercice 1.14. Soit H un espace de Hilbert quelconque. Montrer que toute suite bornee de
H admet une sous-suite convergente.
Exercice 1.15. Soit H un espace de Hilbert separable et A une partie convexe fermee non
vide de H. Soit : A R une fonction convexe tendant vers linni à linni. Montrer que
est minoree et atteint son minimum absolu.
Exercice 1.16. Soit H un espace de Hilbert et (x
n
)
nN
une suite delements de H telle que
nN
|x
n
|
2
< .
On suppose que si [n m[ 2, alors (x
n
[x
m
) = 0. Demontrer qualors la suite (S
N
)
NN
denie par S
N
def
=
N
n=0
x
n
converge dans H et que sa limite S satisfait |S|
2
_
nN
|x
n
|
2
_1
2
.
Exercice 1.17 (Lemme de Schur). Soit K un reel positif et k : R
d
R
d
R une fonction
localement integrable telle que pour presque tout x R
d
et y R
d
, on ait
_
R
d
[k(x, y
t
)[ dy
t
K et
_
R
d
[k(x
t
, y)[ dx
t
K.
Pour toute fonction f integrable sur R
d
, on pose Tf(x) =
_
R
d
k(x, y)f(y) dy.
(i) Montrer que lapplication T est lineaire continue de L
1
(R
d
) dans L
1
(R
d
).
(ii) Soit p [1, +]. Montrer que T se prolonge de facon unique en une application lineaire
continue de L
p
(R
d
) dans L
p
(R
d
) (encore notee T ) et que lon a
f L
p
(R
d
), |Tf|
L
p K|f|
L
p.
On pourra sinspirer de la preuve des inegalites de Young.
Exercice 1.18. Soit H un espace de Hilbert et (x
n
)
nN
telle que
nN
|x
n
|
2
< .
On suppose quil existe K 0 tel que (avec la convention 0/0 = 0)
n N,
mN
[(x
n
[x
m
)[
|x
n
| |x
m
|
K.
Montrer que la suite S
N
:=
N
n=0
x
n
converge dans H et que sa limite S satisfait
|S|
K
_
nN
|x
n
|
2
_1
2
.
On pourra raisonner par analogie avec lexercice precedent dans le cas p = 2.
28
Chapitre 2
Transformee de Fourier et espaces
de Sobolev
Pour la denition et les proprietes de base de la transformee de Fourier sur o
t
, nous
renvoyons le lecteur à [3]. Les espaces de Sobolev sont egalement presentes dans [1].
2.1 Denition des espaces de Sobolev sur R
d
Denition. Soit s un reel, on dit quune distribution temperee u appartient à lespace de
Sobolev dindice s, note H
s
(R
d
), ou simplement H
s
en labsence dambigute, si et seulement
si
u L
2
loc
(R
d
) et u() L
2
(R
d
; (1 +[[
2
)
s
d).
On note alors
|u|
H
s =
_
R
d
(1 +[[
2
)
s
[ u()[
2
d.
Proposition 2.1.1. Pour tout s reel, lespace H
s
, muni de la norme | |
H
s , est un espace
de Hilbert.
Preuve : Le fait que la norme | |
H
s provienne du produit scalaire
(u[v)
H
s
def
=
_
R
d
(1 +[[
2
)
s
u() v() d
est evident. Demontrons que cest un espace complet. Soit (u
n
)
nN
une suite de Cauchy
de H
s
. Par denition de la norme, la suite ( u
n
)
nN
est une suite de Cauchy de lespace
L
2
(R
d
; (1 +[[
2
)
s
d). Donc, il existe une fonction u appartenant à lespace L
2
(R
d
; (1 +
[[
2
)
s
d) telle que
lim
n
| u
n
u|
L
2
(R
d
;(1+[[
2
)
s
d)
= 0. (2.1)
En particulier, la suite ( u
n
)
nN
tend vers u dans lespace o
t
des distributions temperees.
Soit u = T
1
u. Comme la transformee de Fourier est un isomorphisme de o
t
dans lui-
meme, la suite (u
n
)
nN
tend vers u dans lespace o
t
, mais aussi dans H
s
daprès (2.1).
Remarque. Dit sèchement, ce qui precède nest rien dautre que le fait que la transformee de
Fourier est un isomorphisme isometrique de H
s
sur L
2
(R
d
; (1 +[[
2
)
s
d).
29
Proposition 2.1.2. Soit m un entier positif. Lespace H
m
(R
d
) est lespace des fonctions u
de L
2
dont toutes les derivees dordre inferieur ou egal à m sont des distributions appartenant
à L
2
. De plus, la norme
|u|
H
m
def
=

[[m
|
u|
2
L
2
munit lespace H
m
dune structure despace de Hilbert et cette norme est equivalente à la
norme | |
H
s .
Preuve : Le fait que
|u|
2
H
m =
(u[u)
H
m avec

(u[v)
H
m
def
=
[[m
_
R
d
u(x)
v(x)dx
assure que la norme

| |
H
m provient dun produit scalaire. De plus, il existe une
constante C telle que
R
d
, C
1
[[m
[[
2[[
(1 +[[
2
)
m
C
[[m
[[
2[[
. (2.2)
Comme la transformee de Fourier est, à une constante près, une isometrie de L
2
sur L
2
,
alors on a
u L
2
u L
2
.
Donc, on en deduit que
u H
m
/ [[ m,
u L
2
.
Enn, linegalite (2.2) assure lequivalence des normes grace au fait que la transformation
de Fourier est une isometrie à une constante près. Do` u la proposition.
Theorème 2.1.1. Soit s un reel quelconque.
(i) Lespace T(R
d
) est dense dans H
s
(R
d
).
(ii) La multiplication par une fonction de o est une fonction continue de H
s
dans lui-meme.
Preuve : Pour demontrer le premier point de ce theorème, considerons une distribution u
de H
s
telle que, pour toute fonction test , on ait ([u)
H
s = 0. Ceci signie que, pour
toute fonction test , on a
_
R
d
()(1 +[[
2
)
s
u() d = 0.
Vu que o est contin ument inclus dans H
s
(cf exercice 2.1, que T est dense dans o,
et que la transformee de Fourier est un isomorphisme de o dans lui-meme, on a, pour
toute fonction f de o,
_
R
d
f()(1 +[[
2
)
s
u() d = 0.
Comme la multiplication par (1 + [[
2
)
s
envoie contin ument o dans o (exercice :
veriez-le), ceci entrane que
o , u, ) = 0
donc u = 0 et donc u = 0.
30
Demontrons maintenant le second point du theorème. Cette demonstration est presentee
ici à titre culturel. Daprès le theorème VI. 3.28 page 103 de [3] et la formule dinversion
de Fourier, on sait que
u = (2)
d
u.
Il sagit de majorer la norme L
2
de la fonction denie par
U() = (1 +[
2
[)
s
2
_
R
d
[ ( )[ [ u()[d.
Posons I
1
() = / 2[ [ [[ et I
2
() = / 2[ [ [[. Il est clair que lon a
U() = U
1
() +U
2
() avec
U
j
() = (1 +[[
2
)
s
2
_
I
j
()
[ ( )[ [ u()[d.
Tout dabord, observons que si I
1
() ,alors on a
1
2
[[ [[
3
2
[[.
On en deduit que, pour tout reel s, il existe une constante C telle que, pour tout couple
(, ) tel que appartienne à I
1
(), on ait
(1 +[[
2
)
s
C(1 +[[
2
)
s
.
Do` u il vient que
U
1
() C
_
R
d
[ ( )[(1 +[[
2
)
s
2
[ u()[d.
Comme appartient à o, en particulier appartient à L
1
. Daprès les inegalites de
Young,
|U
1
|
L
2 C| |
L
1|u|
H
s.
Reste à traiter U
2
. Pour I
2
(), on a [[ 2[ [. Donc on peut ecrire
U
2
() (1 +[[
2
)
|s|
2
_
I
2
()
[ ( )[(1 +[[
2
)
|s|
2
(1 +[[
2
)
s
2
[ u()[d
C
_
R
d
[ ( )[(1 +[ [
2
)
[s[
(1 +[[
2
)
s
2
[ u()[d.
On sait que appartient à o. Il existe donc une constante C telle que
[ ()[ C(1 +[[
2
)
d+1
2
[s[
.
Do` u lon obtient que
U() C
_
R
d
(1 +[ [
2
)
d+1
2
(1 +[[
2
)
s
2
[ u()[d.
Do` u |U
2
|
L
2 C|u|
H
s ; la demonstration du theorème est ainsi achevee.
31
2.2 Lespace de H
1
0
() et les espaces H
1
()
Dans cette partie, et sauf mention expresse du contraire, designera un domaine borne
de R
d
.
Denition 2.2.1. Soit un domaine borne de R
d
. Lespace H
1
0
() est, par denition ladhe-
rence de T() au sens de la norme H
1
(R
d
). Lespace H
1
() est lensemble des distribu-
tions u sur telles que
|u|
H
1
()
def
= sup
T()
||
H
1
0
()
1
[u, )[ < .
Remarque 2.2.1. De part sa denition, lensemble H
1
0
() peut etre identie au sous-espace
vectoriel ferme constitue par lensemble des distributions de H
1
(R
d
) supportees dans . On
dispose donc de la decomposition
H
1
(R
d
) = H
1
0
() (H
1
0
())
.
Proposition 2.2.1. Lespace H
1
0
() est un espace de Hilbert muni de la norme
_
|u|
2
L
2
()
+
1jd
|
j
u|
2
L
2
()
_1
2
.
La demonstration est un exercice facile laisse au lecteur. Le theorème suivant est très
important.
Theorème (Inegalite de Poincare). Soit un ouvert borne de R
d
. Il existe une constante
C telle que
H
1
0
() , ||
L
2 C
_
d
j=1
|
j
|
2
L
2
_1
2
.
Preuve : Fixons R > 0 tel que louvert borne soit inclus dans ] R, R[R
d1
. On a
alors, pour toute fonction test supportee dans ,
(x
1
, , x
d
) =
_
x
1
R
y
1
(y
1
, x
2
, , x
d
)dy
1
.
Linegalite de Schwarz implique que
[(x
1
, , x
d
)[
2
2R
_
R
R
y
1
(y
1
, x
2
, , x
d
)
2
dy
1
.
Compte de Supp ] R, R[R
d1
, on trouve donc après integration en x
1
,
_
R
[(x
1
, , x
d
)[
2
dx
1
4R
2
_
R
R
y
1
(y
1
, x
2
, , x
d
)
2
dy
1
.
Puis, en integrant par rapport aux d 1 variables restantes,
_
R
d
[(x
1
, , x
d
)[
2
dx 4R
2
_
y
1
(y
1
, x
2
, , x
d
)
2
dy
1
dx
2
dx
d
4R
2
|
1
|
2
L
2
.
Comme T() est dense dans H
1
0
(), le theorème est demontre. Il implique de manière
evidente le corollaire suivant.
32
Corollaire 2.2.1. Lapplication
u
_

1jd
|
j
u|
2
L
2
_1
2
munit lespace H
1
0
() dune structure despace de Hilbert equivalente à la structure denie
ci-dessus.
Lespace H
1
() sidentie naturellement au dual de H
1
0
() grace au theorème suivant.
Theorème 2.2.1. Lapplication bilineaire denie par
B :
_
H
1
() T() C
(u, ) u, )
se prolonge en une application bilineaire continue de H
1
() H
1
0
() dans C, toujours
notee B. De plus, lapplication
B
denie par
B
:
_
H
1
() (H
1
0
())
t
u
B
(u) : B(u, )
est un isomorphisme lineaire isometrique, cest-à-dire que la forme bilineaire B identie les-
pace H
1
() au dual de H
1
0
().
Preuve : Le fait que lapplication bilineaire B se prolonge nest rien dautre que la tra-
duction dans la presente situation de lexercice 1.4. Soit une forme lineaire continue
sur H
1
0
(). Sa restriction à T() est une distribution u sur telle que
T() , u, ) = , ).
Do` u le theorème par denition de la norme sur (H
1
0
())
t
.
Le theorème ci-dessous decrit quelques proprietes de lespace H
1
().
Theorème 2.2.2. Lespace H
1
() est lensemble des restrictions à des elements
de H
1
(R
d
),
La norme | |
H
1
()
denie ci-dessus est une norme hilbertienne, cest-à-dire quil existe
une forme sesquilineaire ([)
H
1
()
telle que lon ait, pour tout u H
1
(),
|u|
2
H
1
()
= (u[u)
H
1
()
.
Lespace T() est dense dans lespace H
1
().
La demonstration de ce theorème repose sur la construction des applications pr et r
denies comme suit :
pr est la projection orthogonale sur H
1
0
() (dont la denition est justiee par la re-
marque 2.2.1),
lapplication r est la restriction (au sens des distributions) sur .
Nous allons demontrer le petit lemme suivant.
Lemme. Lapplication pr est isometrique de H
1
() dans H
1
(R
d
) et lapplication r est
lineaire continue de H
1
(R
d
) dans H
1
(). De plus, on a
r pr = Id
H
1
()
.
33
Preuve : Daprès lexercice 2.6, on sait que
|pr(u)|
H
1
(R
d
)
= sup
||
H
1
(R
d
)
1
[pr(u), )[.
La projection orthogonale sur un sous-espace ferme dun espace de Hilbert etant une
application lineaire de norme 1, on peut ecrire, vu la denition de pr,
|pr(u)|
H
1
(R
d
)
= sup
||
H
1
(R
d
)
1
[pr(u), )[
= sup
||
H
1
0
()
1
[u, )[
= |u|
H
1
()
. (2.3)
De plus, lespace T() etant par denition dense dans H
1
0
(), on a, pour toute distri-
bution v de H
1
(R
d
),
sup
||
H
1
0
()
1
[r(v), )[ = sup
||
H
1
0
()
1
T()
[v, )[
sup
||
H
1
0
()
1
T(R
d
)
[v, )[
|v|
H
1
(R
d
)
.
Lapplication r est donc continue de H
1
(R
d
) dans H
1
(). De plus, il est clair que
lon a, pour toute fonction H
1
0
(),
r pr(u), ) = pr(u), )
= u, ).
Do` u le lemme.
Revenons à la demonstration du theorème. Le premier point est clairement assure par le
lemme. Quant au deuxième point, vu legalite (2.3), il sut de poser
(u[v)
H
1
()
def
= (pr(u)[pr(v))
H
1
(R
d
)
pour le demontrer.
Demontrons maintenant que T() est dense dans H
1
(). Pour ce faire, considerons une
distribution u dans H
1
(). Le theorème 2.1.1 dit en particulier que T(R
d
) est dense dans
H
1
(R
d
). Il existe donc une suite (
n
)
nN
delements de T(R
d
) telle que
lim
n
n
= pr(u) dans H
1
(R
d
).
Daprès le lemme precedent, ceci implique que
lim
n
r(
n
) = u dans H
1
().
Mais, la restriction dune fonction L
2
etant une fonction L
2
, et T() etant dense dans L
2
(),
il existe une suite de fonctions (
n
)
nN
de T() telle que, pour tout entier n, on ait
|r(
n
)
n
|
L
2
()
2
n
Comme la norme L
2
() est plus grande que la norme H
1
(), il est clair que lon a
lim
n
n
= u dans H
1
().
34
2.3 Inclusions de Sobolev
Le but de cette section est detudier les proprietes dinclusion des espaces H
s
(R
d
) dans
les espaces L
p
. Nous allons demontrer le theorème suivant.
Theorème 2.3.1. Si s est strictement superieur à d/2, alors lespace H
s
est contin ument
inclus dans lespace des fonctions continues nulles à linni. Si s est un reel positif strictement
inferieur à d/2, alors lespace H
s
est contin ument inclus dans L
2d
d2s
.
Preuve : Le premier point du theorème est très facile à demontrer. On utilise le fait que
|u|
L
(2)
d
| u|
L
1 (2.4)
Ensuite, on ecrit que pour toute fonction regulière u, on a
[ u()[ (1 +[[
2
)
s/2
(1 +[[
2
)
s/2
[ u()[. (2.5)
Le fait que s soit strictement superieur à d/2 implique que la fonction
(1 +[[
2
)
s/2
appartient à L
2
. Donc, daprès linegalite de Cauchy-Schwarz, on a
| u|
L
1
__
(1 +[[
2
)
s
d
_1
2
|u|
H
s.
On conclut alors aisement en invoquant la densite de T dans H
s
.
La demonstration du second point est plus delicate. Lindice p = 2d/(d 2s) peut
etre devine grace à un argument dhomogeneite. En eet, soit v une fonction sur R
d
,
designons par v
la fonction v
(x) = v(x). On a
|v
|
L
p =
d
p
|v|
L
p.
De plus, on a
_
[[
2s
[ v
()[
2
d =
2d
_
[[
2s
[ v(
1
)[
2
d
=
d+2s
|v|
2
H
s
,
en posant
|v|
H
s
def
=
_
R
d
[[
2s
[ v()[
2
d.
Les deux quantites | |
L
p et | |
H
s
ont donc la meme homogeneite, cest-à-dire quelles
se comporte de la meme manière par changement dunite de longueur. Il est donc de
bon go ut de les comparer. On peut supposer aussi que |f|
H
s
= 1. Après ces remarques
preliminaires, on utilise le resultat de lexercice 1.8 : pour tout p de lintervalle ]1, +[
et toute fonction mesurable f , on a
|f|
p
L
p
= p
_

0
p1
m([f[ > )d.
35
Nous allons decomposer f de manière à faire apparatre des normes de type L
2
. Pour
ce faire, decoupons f en basses et hautes frequences en posant
f = f
1,A
+f
2,A
avec f
1,A
= T
1
(1
B(0,A)
f) et f
2,A
= T
1
(1
c
B(0,A)
f). (2.6)
Comme le support de la transformee de Fourier de f
1,A
est compact, la fonction f
1,A
est bornee et plus precisement,
|f
1,A
|
L
(2)
d
|
f
1,A
|
L
1
(2)
d
_
B(0,A)
[[
s
[[
s
[
f()[ d
(2)
d
__
B(0,A)
[[
2s
d
_1
2
C
s
A
d
2
s
|f|
H
s
. (2.7)
Or, daprès linegalite triangulaire, on a, pour tout reel strictement positif A,
[f[ > [f
1,A
[ >

2
([f
2,A
[ >

2
).
Daprès linegalite (2.7) ci-dessus, on a
A = A
def
=
_

4C
s
_
p
d
=m
__
[f
1,A
[ >

2
__
= 0.
On en deduit donc que
|f|
p
L
p
= p
_

0
p1
m
__
[f
2,A
[ >

2
__
d.
Il est bien connu (cest linegalite de Bienaime-Tchebychev) que
m
__
[f
2,A
[ >

2
__
=
_
([f
2,A
[>
2
)
dx
_
([f
2,A
[>
2
)
4[f
2,A
(x)[
2
2
dx
4
|f
2,A
|
2
L
2
2

Il en resulte donc que lon a
|f|
p
L
p
4p
_

0
p3
|f
2,A
|
2
L
2
d. (2.8)
Mais, on sait que la transformee de Fourier est (à une constante près) une isometrie
de L
2
; on a donc
|f
2,A
|
2
L
2
= (2)
d
_
([[A
)
[
f()[
2
d.
Daprès linegalite (2.8), il vient
|f|
p
L
p
4p(2)
d
_
R
+
R
d
p3
1
(,) / [[A
(, )[
f()[
2
dd.
36
Or, par denition de A
, on a
[[ A
def
= 4C
s
[[
d
p
.
Daprès le theorème de Fubini, on a pour p > 2,
|f|
p
L
p
4p(2)
d
_
R
d
__
C
p3
d
_
[
f()[
2
d
4
p(2)
d
p 2
(4C
s
)
p2
_
R
d
[[
d(p2)
p
[
f()[
2
d.
Comme 2s =
d(p 2)
p
, on a bien p > 2. Ceci achève la preuve du theorème.
Par interpolation (voir exercice 2.5), on peut en deduire les inegalites suivantes, qui sont un
cas particulier dinegalite dite de Gagliardo-Nirenberg.
Corollaire 2.3.1. Si d 2 et si p [2, ) est tel que 1/p > 1/2 1/d, il existe alors une
constante C tel que, pour toute fonction u H
1
(R
d
),
|u|
L
p C|u|
1
L
2
|u|
L
2
avec =
d(p 2)
2p
(2.9)
2.4 Compacite
Nous allons dans cette section demontrer le theorème suivant.
Theorème 2.4.1. Soit un ouvert borne de R
d
. Linclusion de H
1
0
() dans L
2
() est
compacte.
Preuve : La demonstration repose sur la transformee de Fourier des fonctions periodiques.
Sans perte de generalite, on peut supposer que Q
def
=]0, 2[
d
. Denissons pour u
H
1
0
() la fonction 2Z
d
periodique u par
x R
d
, u(x) =
jZ
d
u(x 2j).
Denissons les coecients de Fourier pour k Z
d
par
u
k
def
=
_
Q
e
i(k[x)
u(x)
dx
(2)
d

Par integration par parties, on obtient, grace à linegalite de Bessel,
(2)
d
kZ
[k[
2
[ u
k
[
2
|u|
2
L
2
(Q)
.
Denissons la suite (T
N
)
NN
dapplications lineaires
T
N
_
_
_
H
1
0
() L
2
(Q)
u
[k[N
u
k
e
i(k[x)
37
o` u L
2
(Q) est identie aux fonctions localement L
2
qui sont 2Z
d
periodiques. De
manière evidente, limage de T
N
est de dimension nie. De plus, on a
|u (T
N
u)
[
|
2
L
2
()
| u T
N
u|
2
L
2
(Q)
_
_
_
[k[>N
u
k
e
i(k[x)
_
_
_
2
L
2
(Q)
1
(2)
d
N
2
|u|
2
L
2
()
.
Il en resulte que
| Id T
N[
|
/(H
1
0
();L
2
())

1
(2)
d/2
N

Linjection de H
1
0
() dans L
2
() est donc limite dune suite doperateurs de rang ni. Le
resultat de lexercice 1.2, permet alors de conclure à la compacite de linclusion de H
1
0
()
dans L
2
().
2.5 Exercices
Exercice 2.1. Demontrez que lespace o est contin ument inclus dans lespace H
s
, et ce pour
tout reel s.
Exercice 2.2. Demontrer que la masse de Dirac
0
appartient à lespace H
d
2
pour tout
reel strictement positif , mais que
0
nappartient pas à lespace H
d
2
.
Exercice 2.3. Demontrez que, pour toute distribution à support compact u, il existe un
reel s tel que u appartienne à lespace de Sobolev H
s
.
Exercice 2.4. Demontrer que la constante 1 nappartient à H
s
pour aucun reel s.
Exercice 2.5. Soit (s, t) un couple de reels tels que s < t. Montrer que pour tout u H
t
et
[0, 1], on a
|u|
H
s+(1)t |u|
H
s|u|
1
H
t
.
Exercice 2.6. Soit s R et p ]1, 2].
(i) Demontrer que
|f|
H
s = (2)
d
sup
S||
H
s1
f, ) = (2)
d
sup
H
s
||
H
s1
f, ).
(ii) En deduire lexistence dun isomorphisme isometrique de H
s
dans (H
s
)
t
.
(iii) En deduire que L
p
(R
d
) sinjecte contin ument dans H
s
(R
d
) avec s = d/pd/2. Est-ce
encore vrai pour p = 1 ?
Exercice 2.7. Soit un ouvert borne de R
d
et s ]0, d/2[. Montrer que linclusion de H
1
0
()
dans L
p
() est compacte pour tout p < 2d/(d 2s).
Exercice 2.8. Soit r un reel de lintervalle ]0, 1[. Demontrer que lespace H
d
2
+r
est inclus
dans lespace de Holder C
r
(voir la denition 6.3.1 page 80).
38
Exercice 2.9. Soit s un reel de lintervalle ]0, 1[ .
`
A laide de legalite de Fourier-Plancherel,
demontrez que H
s
est lespace des fonctions u de L
2
telles que
_
R
d
R
d
[u(x +y) u(x)[
2
[y[
d+2s
dxdy <
et quil existe une constante C telle que, pour toute fonction u de H
s
, on ait
C
1
|u|
2
H
s |u|
2
L
2
+
_
R
d
R
d
[u(x +y) u(x)[
2
[y[
d+2s
dxdy C|u|
2
H
s.
Exercice 2.10. Soit TL
1
= u o
t
/ u L
1
. Demontrez que, pour tout reel positif s, le
produit est une application bilineaire continue de
_
TL
1
H
s
_
_
TL
1
H
s
_
. Quen deduire
lorsque s est strictement superieur à d/2 ?
Exercice 2.11. Dans tout lexercice u et v designent deux elements de o(R
d
).
(i) Exprimer |uv|
2
H
s+t
d
2
en fonction de u et v.
Dans la suite de lexercice, on pose
J
1
=
_
< >
2s+2td
_
2[[[[
u( ) v() d
2
d,
J
2
=
_
< >
2s+2td
_
||
2
[[[[
u( ) v() d
2
d
avec < >:=
_
1 +[[
2
.
(ii) On suppose que s <
d
2
.
(a) Montrer quil existe une constante C (ne dependant que de s et d) telle que
R
d
,
_
2[[[[
u( )
d C|u|
H
s < >
d
2
s
,
R
d
,
_
2[[[[
u( )
d C|u|
H
s < >
d
2
s
.
(b) En deduire lexistence dune constante C
t
(ne dependant que de s et de d) telle
que
J
1
C
t
|u|
2
H
s|v|
2
H
t .
(iii) Dans cette question, on suppose que (s, t) R
2
verie s + t > 0. Montrer quil existe
une constante C
tt
(ne dependant que de d et de s +t) telle que
J
2
C
tt
|u|
2
H
s|v|
2
H
t .
(iv) On suppose que s <
d
2
, t <
d
2
et s +t > 0.
Montrer que loperateur de multiplication (u, v) uv se prolonge en un operateur
bilineaire continu de H
s
H
t
dans H
s+t
d
2
.
Exercice 2.12. Soit s un reel strictement superieur à 1/2. Demontrez que lapplication
restriction denie par
:
_
T(R
d
) T(R
d1
)
() : (x
2
, , x
d
) (0, x
2
, , x
d
)
se prolonge en une application continue de H
s
(R
d
) dans H
s
1
2
(R
d1
).
Indication :

Ecrire que
T
R
d1(0,
2
, ,
d
) = (2)
1
_
R
(
1
,
2
, ,
d
) d
1
.
39
40
Chapitre 3
Le problème de Stokes
Dans tout ce chapitre, designe un domaine borne de R
d
. Avant daborder le problème
de Stokes, nous allons resoudre un problème plus simple, le problème de Dirichlet.
3.1 Le problème de Dirichlet
Il sagit de resoudre le problème suivant : etant donnee une distribution f de H
1
(),
trouver u dans H
1
0
() telle que u = f (au sens des distributions). Le theorème de Dirichlet
est le suivant :
Theorème 3.1.1.

Etant donne f dans H
1
(), il existe une unique solution u dans H
1
0
()
de u = f au sens des distributions dans . De plus, lapplication B qui à f associe u est
une isometrie surjective de H
1
() sur H
1
0
().
Preuve : Le point clef de la demonstration est le theorème de representation de Riesz.
Daprès ce theorème, la forme lineaire continue sur H
1
0
() associee à f peut se repre-
senter comme le produit scalaire par une fonction de H
1
0
(). Plus precisement, il existe
une unique fonction u de H
1
0
() telle que
h H
1
0
() , (u[h)
H
1
0
= f, h).
Par denition du produit scalaire sur H
1
0
on a (u[h)
H
1
0
= u, h). Do` u
h H
1
0
() , u, h) = f, h). (3.1)
Le theorème est ainsi demontre.
Nous allons maintenant enoncer un resultat classique sur la structure spectrale du Laplacien
dans un domaine borne.
Theorème 3.1.2. Il existe une suite croissante (
k
)
kN
de reels strictement positifs tendant
vers linni et une base hilbertienne de L
2
() note (e
k
)
kN
telle que la suite (
1
k
e
k
)
kN
soit
une base hilbertienne de H
1
0
(), la suite (
k
e
k
)
kN
soit une base hilbertienne de H
1
() et
telle que
e
k
=
2
k
e
k
.
Nous demontrerons ce theorème dans le cadre legerement plus delicat du problème de
Stokes. Aussi, nous ladmettons pour le moment.
41
3.2 Le problème de Stokes stationnaire
Il sagit de lanalogue du theorème de Dirichlet sur les ensembles des champs de vecteurs
de divergence nulle. Denissons les espaces avec lesquels nous allons travailler.
Denition. Soit un domaine borne de R
d
. On designe par 1() lespace des champs de
vecteurs dont les composantes appartiennent à H
1
0
(). On designe par 1
() lespace des
champs de vecteurs de 1() à divergence nulle. On designe par H() ladherence de 1
()
dans L
2
(). On designe par 1
t
() lespace des champs de vecteurs dont les composantes
sont H
1
().
Si E est un sous-espace de 1(), le polaire de E note E
est lespace des champs de

vecteurs f dans 1
t
() tels que, pour tout v E,
f, v)
1
1
def
=
d
j=1
f
j
, v
j
)
H
1
H
1
0
= 0.
Si F est un sous espace de 1
t
(), le polaire F
est lespace des champs de vecteurs v 1()

tels que pour tout f F , on ait f, v)
1
1
= 0.
An dalleger lecriture, nous omettrons de mentionner louvert borne dans les notations.
3.2.1 Proprietes de base
Enon cons lanalogue du theorème de Dirichlet dans ce cadre.

Theorème 3.2.1. Soit f un champ de vecteurs dont les composantes sont dans H
1
. Il
existe une unique solution u dans 1
de
u f 1
ce qui signie que, pour tout champ de vecteurs v de 1
, on a
u, v)
1
1
= f, v)
1
1
. (3.2)
Preuve : On associe à f une forme lineaire sur 1
, qui à tout v 1
associe f, v). Par

le theorème de Riesz il existe un unique u 1
tel que
v 1
, (u[v)
1
= f, v)
1
1
,
do` u le resultat.
Remarques
Le fait quun champ de vecteurs g de H
1
appartienne au polaire de 1
implique en
particulier que pour toute fonction de T, on a
g
i
,
j
) +g
j
,
i
) = 0.
Cela entrane que
j
g
i
i
g
j
= 0, cest-à-dire que g est de rotationnel nul.
On peut trouver des domaines très simples pour lesquels il existe des champs de vecteurs
de H
1
qui sont de rotationnel nul mais qui ne sont pas des gradients.
En eet : placons-nous sur le domaine du plan
def
= x R
2
/ 0 < R
1
< [x[ < R
2
et
considerons le champ de vecteurs f deni par (
2
log [x[,
1
log [x[). Nous avons alors le
lemme suivant.
42
Proposition. Le champ de vecteurs f est de divergence et de rotationnel nuls, mais nest
pas un gradient.
Preuve : Le fait que f soit de divergence nulle est immediat et quil soit de rotationnel nul
resulte du fait que la fonction x log [x[ est harmonique sur .
Supposons par labsurde que f est un gradient. Comme f est une fonction C
, ce ne
peut etre le gradient que dune fonction C
. Soit p cette fonction. Considerons le ot

de f = p. Par denition de f , ses trajectoires (que lon peut calculer explicitement)
sont periodiques. Considerons une trajectoire quelconque. On a alors
d
dt
(p )(t) =
_
d
dt
p((t))
_
R
2
= [p((t))[
2
.
La fonction p est donc decroissante. Par periodicite, on en deduit quelle est constante
et lon a donc p((t)) = 0 pour tout t R. Cette propriete etant vrai pour toute
trajectoire, on conclut que f = 0, ce qui est visiblement contraire aux hypothèses.
Comme le montre la proposition suivante, la condition dappartenance à 1
est plus forte que

la condition de rotationnel nul.
Theorème 3.2.2. On suppose que le bord du domaine est une hypersurface de classe C
1
.
Soit f un element de 1
. Alors il existe p dans L

2
tel que f = p.
Remarque Cette demonstration est presentee ici à titre culturel et ne fait pas partie du
programme strict du cours.
Designons par L
2
lensemble des champs de vecteurs f à coecients H
1
tels quil existe
une fonction p de L
2
lon ait f = p. Soit v un champ de vecteurs dans H
1
0
appartenant
à (L
2
)
, cest-à-dire un champ de vecteurs de H

1
0
tel que
f L
2
, v, f) = 0.
On a donc pour toute fonction p de L
2
,
v, p) = div v, p)
=
_
div v(x)p(x)dx
= 0.
Ainsi donc div v = 0 et donc (L
2
)
. Il en resulte donc que

(1
((L
2
)
= L
2
H
1
. (3.3)
Ceci signie que si f appartient à 1
, alors il existe une suite (p

n
)
nN
de fonctions de L
2
telle que la suite (p
n
)
nN
converge vers f dans H
1
. Demontrer le theorème 3.2.2 ci-dessus
revient donc à demontrer que limage de
_
L
2
H
1
p p
est fermee. Cest ici, et uniquement ici, que va intervenir la regularite du bord. Supposons
demontre le lemme suivant.
43
Lemme 3.2.1. Une distribution p de H
1
appartient à L
2
si et seulement si ses derivees
partielles premières appartiennent aussi à H
1
. De plus, il existe une constante C telle que
|p|
2
L
2
C(|p|
2
H
1
+|p|
2
H
1
). (3.4)
On en tire alors le corollaire suivant
Corollaire 3.2.1. Supposons linegalite (3.4) vraie sur . Alors il existe une constante C
telle que, pour toute fonction p appartenant à
L
2
0
def
=
_
p L
2
/
_
p(x)dx = 0
_
,
on ait
|p|
L
2 C|p|
H
1.
Preuve : Linegalite implique evidemment que L
2
est ferme et donc le theorème 3.2.2.
Pour demontrer ce corollaire, procedons par labsurde en considerant une suite (p
n
)
nN
de fonctions de L
2
0
de norme 1 telle que la suite (p
n
)
nN
tende fortement vers 0
dans H
1
. Linclusion de L
2
dans H
1
etant compacte (exercice : demontrez-le), il
existe une fonction p de L
2
et une fonction dextraction telles que la suite (p
(n)
)
nN
converge fortement vers p dans H
1
. En particulier, la suite (p
(n)
)
nN
converge
vers p au sens des distributions. Donc p = 0 et donc p = 0 car la fonction p
est supposee de moyenne nulle sur . Le passage à la limite dans linegalite (3.4) est
contradictoire avec le fait que la suite (p
n
)
nN
est supposee de norme 1 dans L
2
.
Demontrons maintenant que le lemme 3.2.1 est vrai si le domaine est de classe C
1
, cest-
à-dire si le bord du domaine est une hypersurface de classe C
1
. Sous cette hypothèse, il existe
une famille nie (U
j
)
1jN
douverts de R
d
qui recouvre le bord de et telle que, pour
tout j , il existe un C
1
-dieomorphisme
j
de U
j
sur V
j
tel que
j
(U
j
) = V
j
R
d
+
avec R
d
+
def
= x = (x
1
, , x
d
) = (x
t
, x
d
) / x
d
0.
Il existe de plus un ouvert U
0
dont ladherence est inclue dans et tel que la famille (U
j
)
0jN
recouvre . On considère alors une partition de lunite (
j
)
0jN
de classe C
subordonnee
à la famille (U
j
)
0jN
. Soit p une distribution de H
1
; on ecrit
p =
N
j=0
p
j
avec p
j
def
=
j
p.
Il est clair que |p
j
|
H
1 C|p|
H
1 . De plus, si p appartient à H
1
, alors, comme on
a p
j
= p
j
+
j
p, il en resulte que
|p
j
|
H
1 C|p|
H
1 +C|p|
H
1.
Il sut maintenant de demontrer linegalite (3.4) pour chaque p
j
. Comme la distribution p
0
est à support compact inclus dans , la propriete est evidente pour p
0
car p
0
et ses derivees
premières appartiennent à H
1
(R
d
) et la propriete est evidente par passage à la transformee
de Fourier. Lorsque j 1, nous allons utiliser les redressements du bord. Il est clair que,
comme
j
est un dieomorphisme de classe C
1
, lapplication v v
1
j
est continue de
44
H
1
0
(V
j
R
d
+
) dans H
1
0
(U
j
). Par dualite et changement de variable, on en deduit la continuite
de lapplication
j
:
_
H
1
(U
j
) H
1
(V
j
R
d
+
)
f v f, J
j

1
j
v
1
j
).
On est alors ramene à demontrer la propriete sur R
d
+
. Pour cela, on denit les applications Q
et R par
Q :
_
_
_
H
1
(R
d
) H
1
0
(R
d
+
)
u (Qu)(x) =
_
0 si x
d
< 0,
u(x) + 3(u(x
t
, x
d
) 4u(x
t
, 2x
d
) si x
d
0
et
R :
_
_
_
H
1
(R
d
) H
1
0
(R
d
+
)
u (Ru)(x) =
_
0 si x
d
< 0
u(x) 3u(x
t
, x
d
) + 2u(x
t
, 2x
d
) si x
d
0.
Le fait que les operateurs Q et R envoient contin ument H
1
(R
d
) dans H
1
0
(R
d
+
) et L
2
(R
d
)
dans L
2
(R
d
+
) est un exercice facile. De plus, on a
x
j
Q = Q

x
j
si j ,= d et

x
d
R = Q

x
d
(3.5)
On considère les applications transposees sur H
1
, cest-à-dire que lon pose
t
Q :
_
H
1
(R
d
+
) H
1
(R
d
)
f
t
Qf /
t
Qf, v)
def
= f, Qv)
et de meme pour R. On a bien s ur les formules suivantes daprès la composition des applica-
tions transposees et les relations (3.5) :
x
j
t
Q =
t
Q

x
j
si j ,= d et

x
d
t
Q =
t
R

x
d
(3.6)
En appliquant ces relations à la distribution p
j
def
=
j
p
j
de H
1
(R
d
+
), on trouve que
t
Q p
j
H
1
(R
d
) et

x
j
(
t
Q p
j
) H
1
(R
d
).
En lisant cette propriete en terme de transformation de Fourier, on a immediatement que p
j
est une fonction de L
2
(R
d
) et lon a
|
t
Q p
j
|
2
L
2
(R
d
)
C(|
t
Q p
j
|
2
H
1
(R
d
)
+|
t
Q p
j
|
2
H
1
(R
d
)
).
comme Q est lidentite sur les fonctions à support dans R
d
+
, la restriction de
t
Q p
j
à R
d
+
est p
j
. On a donc
| p
j
|
2
L
2
(R
d
+
)
C(| p
j
|
2
H
1
(R
d
+
)
+| p
j
|
2
H
1
(R
d
+
)
).
Donc les p
j
sont dans L
2
et lon a
|p
j
|
2
L
2
C(|p|
2
H
1
+|p|
2
H
1
(
).
Le theorème 3.2.2 est demontre.
45
Remarque 3.2.1. Pour un ouvert quelconque on peut en fait demontrer lexistence dune
fonction p de L
2
loc
telle que, si f appartient à 1
, alors f = p.
Le problème de Stokes peut se voir comme un problème pose dans lespace des formes
lineaires continues sur 1
, que nous noterons 1

t
. Cest un sous-ensemble de lespace des

formes lineaires sur 1 que nous allons decrire ci-dessous, après avoir etudie les proprietes
spectrales de loperateur de Stokes. Le paragraphe suivant est fondamental pour letude des
equations de Navier-Stokes car il va presenter precisement le cadre fonctionnel dans lequel
nous resoudrons ces equations, tout en fournissant un mode dapproximation des solutions.
3.2.2 Proprietes spectrales de loperateur de Stokes
Comme dans le cas du problème de Dirichlet, nous allons appliquer un resultat de theorie
spectrale sur les operateurs audoadjoints compacts pour obtenir le theorème suivant.
Theorème 3.2.3. Soit un domaine borne de R
d
. Il existe une base hilbertienne (e
k
)
kN
de H et une suite croissante (
2
k
)
kN
tendant vers linni telles que
e
k
+
k
=
2
k
e
k
,
o` u
k
est dans L
2
loc
() pour tout k. De plus, (
1
k
e
k
)
kN
est une base hilbertienne de 1
muni du produit scalaire H

1
0
.
Pour demontrer ce theorème, introduisons loperateur B suivant :
B :
_
H 1
f u/ u f 1
.
Cet operateur satisfait à la propriete suivante.
Proposition 3.2.1. Loperateur B appartient à L(H), est autoadjoint positif, injectif et
dimage dense dans H.
Preuve : Considerons un couple (f, g) de H
2
. Soit u = Bf et v = Bg. Par denition de B,
on a
(Bf[g)
L
2 = v, u)
1
1
,
= (u[v)
L
2,
= u, v)
1
1
= (f[Bg)
L
2.
Donc loperateur B est bien autoadjoint,
Le fait que B soit borne et positif est d u au calcul suivant : soit f un champ de vecteurs
dans H et notons u = Bf . Alors, en vertu de linegalite de Poincare, on a
(Bf[f)
L
2 = u, u) = |u|
2
L
2
C|u|
2
L
2
= C|Bf|
2
L
2
.
Pour demontrer que B est injectif, observons que le noyau de B est egal à 1
H , qui
est exactement 1
au sens du produit scalaire L

2
. Par denition de H, on a 1
= 0.
Comme ladherence de limage de B est egale à lorthogonal du noyau de B, limage
de B est dense dans H.
Retournons à la preuve du theorème 3.2.3. Nous allons demontrer le lemme suivant.
46
Lemme. Loperateur B est un operateur compact de H dans H.
Preuve : Par denition de B, nous avons
|Bf|
2
H
1
0
= Bf, Bf)
= f, Bf)
C|f|
2
1
.
Donc limage de la boule unite de H est un ensemble borne de 1
. Le theorème 2.4.1
implique que cet ensemble est dadherence compacte. Do` u le lemme.
Revenons à la demonstration du theorème 3.2.3. Comme loperateur B est dimage dense, on
peut dores et dejà armer quil nest pas de rang ni. Le theorème spectral 1.4.2 implique donc
lexistence dune base hilbertienne (e
k
)
kN
de H et dune suite croissante (
2
k
)
kN
tendant
vers linni telles que Be
k
=
2
k
e
k
. Par denition de B et grace à la remarque 3.2.1 cela
implique quil existe une fonction
k
de L
2
loc
() telle que
e
k
= Be
k
+
k
=
2
k
e
k
+
k
.
En posant
k
=
2
k

k
, il est alors clair que
(e
k
[e
k
)
1
= e
k
, e
k
)
1
1
=
k
+
2
k
e
k
, e
k
)
1
1
=
2
k
(e
k
[e
k
)
1
=
2
k
k,k
.
Ceci, grace à la proposition 3.2.1, demontre que (
1
k
e
k
)
kN
est une base hilbertienne de 1
muni du produit scalaire H

1
0
. Le theorème est demontre.
Revenons maintenant à lespace 1
t
: rappelons que cest la restriction des formes lineaires

sur 1 aux elements de 1
, et on peut le decrire de la manière suivante. Denissons

1
1
def
= f 1
t
/
jN
f, e
j
)
2
1
1

2
j
< +.
On a alors le resultat suivant.
Proposition 3.2.2. La restriction de 1
1
aux elements de 1
concide avec lespace 1

t
et
il y a equivalence des normes.
Preuve : Si f 1
1
[1
alors en particulier f est une forme lineaire sur 1
donc il est
evident quon a linclusion 1
1
[1
1
t
. Inversement soit f 1
t
, et montrons que
jN
f, e
j
)
2
1
1

2
j
< +.
Soit donc v 1
. Comme v =
jN
e
j
, v)
1
1
e
j
on peut ecrire que
f, v)
1
1
=
jN
f, e
j
)
1
1
e
j
, v)
1
1
47
et par denition on sait que
[f, v)
1
1
[ |f|
1
|v|
1
.
Mais comme v 1
on a que e
j
, v)
1
1
=
2
j
e
j
, v)
1
1
=
2
j
(e
j
[v)
L
2 . Le
resultat suit du fait que la suite
1
j
(e
j
[v)
L
2 est de carre sommable pour tout v et de
norme |v|
1
. La suite
1
j
f, e
j
)
1
1
est donc aussi de carre sommable, de norme |f|
1
.
Denition. Denissons
P
k
:
_
_
_
1
t
1
jk
f, e
j
)
1
1
e
j
et P :
_
_
_
L
2
H
f
jN
f, e
j
)
1
1
e
j
.
Remarque. Les operateurs P
k
sont les projecteurs spectraux du problème Stokes et P est le
projecteur de Leray sur les champs de vecteurs de divergence nulle.
Proposition 3.2.3. Linclusion de H dans 1
t
est compacte.
Preuve : Pour tout u dans H, nous avons
|P
k
u u|
2
(1
)
=
j>k
2
j
(u, e
j
)
1
1
)
2

2
k
j>k
(u, e
j
)
1
1
)
2

2
k
|u|
2
L
2
.
donc linclusion de H dans 1
t
est la limite dans L(H; 1

t
) de la projection P
k
, dont
limage est bien evidemment de dimension nie. Lexercice 1.2 assure alors le resultat
souhaite.
Retenons le resultat suivant qui nous sera fort utile au chapitre 4.
Proposition 3.2.4. Loperateur P peut etre prolonge en une application lineaire continue
de 1
t
dans 1
t
. De plus on a
|P
k
|
/(1
;1
)
1 et f 1
t
, lim
k
|P
k
f Pf|
1
= 0.
Preuve : La seule chose à verier est que
2
j
(f, e
j
)
1
1
)
2
|f|
2
1
.
Nous avons
1
j
f, e
j
)
1
1
=
1
j
Bf, e
j
)
1
1
= (Bf[
1
j
e
j
)
H
1
0
.
Le theorème 3.2.3 implique le resultat.
48
3.3 Le problème de Stokes dependant du temps
Le problème devolution associe à loperateur de Stokes est le suivant :
(ES
)
_
t
u u = f p,
div u = 0,
u
[
= 0,
u
[t=0
= u
0
H.
Denissons ce que nous entendons par solution du problème.
Denition 3.3.1. Soient u
0
H et f L
2
loc
(R
+
; (1
)
t
). Nous dirons que u est solution
de (ES
) avec donnee initiale u

0
et force exterieure f si et seulement si u appartient à
lespace ((R
+
; 1
t
) L
1
loc
(R
+
; 1
) et satisfait, pour tout (

1
(R
+
; 1
),
u(t), (t))
1
1
+
_
[0,t]
_
u : u
t
_
(t
t
, x) dxdt
t
=
_
u
0
(x) (0, x) dx +
_
t
0
f(t
t
), (t
t
))
1
1
dt
t
.
Nous avons le theorème suivant.
Theorème 3.3.1. Le système (ES
) admet une unique solution u qui, de plus, appartient

à ((R
+
; H). Cette solution est donnee par
u =
j
U
j
(t)e
j
avec U
j
(t) = (u
0
[e
j
)
L
2e
2
j
t
+
_
t
0
e
2
j
(tt
)
f(t
t
), e
j
)
1
1
dt
t
,
et satisfait legalite denergie
1
2
|u(t)|
2
L
2
+
_
t
0
|u(t
t
)|
2
L
2
dt
t
=
1
2
|u
0
|
2
L
2
+
_
t
0
f(t
t
), u(t
t
))
1
1
dt
t
.
Preuve : Pour demontrer lunicite, considerons une fonction u de ((R
+
; 1
t
) L
1
loc
(R
+
; 1
)
telle que, pour tout (
1
(R
+
; 1
),
u(t), (t))
1
1
+
_
[0,t]
_
u : u
t
_
(t
t
, x) dxdt
t
= 0.
Cette egalite est en particulier vraie pour (t) = e
j
. Grace au theorème 3.2.3, nous
avons
u(t), e
j
)
1
1
+
2
j
_
t
0
u(t
t
), e
j
)
1
1
dt
t
= 0.
Cela implique directement que u(t), e
j
)
1
1
= 0, puis que u 0.
Pour demontrer lexistence, supposons tout dabord que la force exterieure f
k
ap-
partienne à lespace ((R
+
; ImP
k
) et la condition initiale u
0
, à P
k
H. En vertu du
theorème 3.2.3, (ES
) se reduit alors à une equation dierentielle ordinaire dont lunique

solution est
u
k
(t) =
jk
(P
k
u
0
[e
j
)
L
2e
2
j
t
e
j
+
_
t
0
e
2
j
(tt
)
f
k
(t
t
), e
j
)
1
1
e
j
dt
t
. (3.7)
49
Daprès le theorème de convergence dominee de Lebesgue, nous avons, pour tout T
strictement positif,
lim
k
_
T
0
|P
k
f(t) f(t)|
2
(1
)
dt = 0.
Par ailleurs, lensemble des fonctions continues sur [0, T] à valeurs dans ImP
k
est dense
dans L
2
loc
(0, T; ImP
k
). Donc pour toute force exterieure f de L
2
loc
(R
+
; 1
t
), il existe une
suite (f
k
)
kN
de fonctions appartenant à ((R
+
; 1
t
) telle que, pour tout k, la fonction f

k
soit à valeurs dans ImP
k
et telle que, pour tout T strictement positif, on ait
lim
k
_
T
0
|f
k
(t) f(t)|
2
(1
)
dt = 0.
La suite (u
k
)
kN
denie par (3.7) satisfait
|u
k
(t)u
k+
(t)|
2
L
2
2|P
k
u
0
P
k+
u
0
|
2
L
2
+2
jk+
__
t
0
e
2
j
(tt
)
[f
k
(t
t
)f
k+
(t
t
), e
j
)[ dt
t
_
2
.
Daprès linegalite de Young (voir le Lemme 1.2 page 20), on a
|u
k
(t)u
k+
(t)|
2
L
2
2|P
k
u
0
P
k+
u
0
|
2
L
2
+ 2
jk+
_
t
0
1
2
j
[f
k
(t
t
) f
k+
(t
t
), e
j
)[
2
dt
t
2|P
k
u
0
P
k+
u
0
|
2
L
2
+
2
_
t
0
|f
k
(t
t
) f
k+
(t
t
)|
2
(1
)
dt
t
,
o` u lon a utilise la proposition 3.2.2. Daprès linegalite de Young encore, nous avons
_
t
0
|(u
k
u
k+
)(t
t
)|
2
L
2
dt
t
2|P
k
u
0
P
k+
u
0
|
2
L
2
+ 2
jk+
_
t
0
1
2
j
[f
k
(t
t
) f
k+
(t
t
), e
j
)[
2
dt
t
2|P
k
u
0
P
k+
u
0
|
2
L
2
+
2
_
t
0
|f
k
(t
t
) f
k+
(t
t
)|
2
(1
)
dt
t
.
Cela implique que la suite (u
k
)
kN
est de Cauchy dans L
loc
(R
+
; H) L
2
loc
(R
+
; 1
).
Designons par u sa limite. Par denition de u
k
, nous avons, pour tout C
1
(R
+
; 1
),
d
dt
u
k
(t), (t)) = u
k
(t), (t)) +u
k
(t),

(t))
= P
k
u
k
(t), (t)) +f
k
(t), (t)) +u
k
(t),

(t))
=
_
_
u
k
: u
k

t
_
(t, x) dx +f
k
(t), (t)).
Par integration en temps, ceci donne
_
u
k
(t, x) (t, x)dx +
_
[0,t]
_
u
k
: u
k

t
_
(t
t
, x) dxdt
t
=
_
P
k
u
0
(x) (0, x) dx +
_
t
0
f
k
(t
t
), (t
t
))
1
1
dt
t
.
Vu que la suite (u
k
)
kN
tend vers u dans L
loc
(R
+
; H) L
2
loc
(R
+
; 1
) et (f
k
)
kN
tend
vers f dans L
2
loc
(R
+
; 1
t
), on conclut que u est solution de (ES
).
Pour demontrer que u verie bien legalite denergie, on applique legalite ci-dessus à
= u
k
, puis on fait tendre k vers +.
50
3.4 Exercices
Exercice 3.1 (Valeurs propres du Laplacien). Dans tout lexercice, designe un ouvert
borne de R
d
. On note
_
2
k
()
_
kN
la suite des valeurs propres associees au Laplacien de
Dirichlet dans , rangees dans lordre croissant et comptees avec leur multiplicite.
(i)

Etablir le principe du minimax de Courant-Fischer :
2
k
() = max
dimS=k
min
uS
|u|
L
2
=1
|u|
2
L
2
.
(ii) En deduire que si
t
alors
k
(
t
)
k
().
(iii) Determiner les
k
dans le cas =]0, [.
(iv) Generaliser au cas =]a
1
, b
1
[ ]a
d
, b
d
[.
(v) En deduire que pour tendant vers +, le nombre de
k
() compris entre /2 et
est de lordre de
d
.
Exercice 3.2 (Formulation variationnelle du problème de Dirichlet).
Soit F :
_
H
1
0
() R
u
1
2
|u|
2
L
2
f, u),
o` u f H
1
(), avec un domaine borne.
(i) Demontrer que la fonctionnelle F est minoree.
(ii) Soit une suite (u
n
)
nN
telle que lim
n
F(u
n
) = m la borne inferieure de F . Demontrer
lexistence dune fonction u de H
1
0
et dune suite extraite de (u
n
)
nN
telles que cette
suite extraite converge fortement dans H
1
0
vers u.
(iii) Demontrer que u est (lunique) solution de u = f .
Exercice 3.3 (Formulation variationnelle du problème de Stokes).
Soit F
:
_
1
R
u
1
2
|u|
2
L
2
f, u).
(i) Demontrer que la fonctionnelle F
est minoree.
(ii) Soit une suite (u
n
)
nN
telle que lim
n
F(u
n
) = m la borne inferieure de F . Demontrer
lexistence dune fonction u de H
1
0
et dune suite extraite de (u
n
)
nN
telles que cette
suite extraite converge fortement dans H
1
0
vers u.
(iii) Demontrer que u est (lunique) solution de u f 1
.
Exercice 3.4. On se place dans un domaine borne de R
3
. Le but de cet exercice est de
demontrer quetant donnee une fonction f de H
1
, il existe une fonction u dans H
1
0
telle
que
u +u
3
= f.
Pour ce faire, on introduit la fonctionnelle F :
F
_
_
_
H
1
0
R
u
1
2
|u|
2
L
2
+
1
4
_
u
4
(x) dx
_
f(x)u(x) dx.
51
(i) Demontrer que la fonctionnelle F denie ci-dessus est une application dierentiable
de H
1
0
dans R.
(ii) Demontrer que F est minoree.
(iii) Soit m la borne inferieure de F , on considère une suite (u
n
)
nN
de H
1
0
telle que
lim
n
F(u
n
) = m.
Demontrer que cette suite (u
n
)
nN
est une suite bornee dans H
1
0
.
(iv) En deduire lexistence dune fonction u de H
1
0
et dune sous-suite (que, par abus, on
persiste à noter (u
n
)
nN
) telle que
la suite (u
n
)
nN
tend faiblement vers u dans H
1
0
,
la suite (u
n
)
nN
tend fortement vers u dans L
4
,
la suite ((f[u
n
)
L
2)
nN
converge vers (f[u).
(v) En deduire que la suite (F(u
n
))
nN
tend vers m et que la suite (u
n
)
nN
tend fortement
vers u dans H
1
0
.
(vi) Conclure.
(vii) Que se passe-t-il si lon essaie de faire le meme chose pour lequation u + u
5
= f
dans un ouvert borne de R
3
, ou pour u +u
3
= f dans un ouvert borne de R
4
?
(viii) Et pour u +u
7
= f dans un ouvert borne de R
3
?
(ix) Adapter lexercice au cas du problème de Stokes en etudiant la fonctionnelle
F
:
_
_
_
1
R
u
1
2
|u|
2
L
2
+
1
4
_
[u[
4
(x) dx
_
f(x) u(x) dx.

!
Exercice 3.5 (Système de Navier-Stokes stationnaire). Soit un ouvert borne de R
2
.
On souhaite resoudre le système de Navier-Stokes stationnaire :
(NSS)
_
div (u u) u +p = f,
div u = 0,
o` u f 1
t
est un champ de forces exterieures donne.

(i) On note
0
la première valeur propre de loperateur de Stokes associe à (i.e. e
0
+
0
=
2
0
e
0
). Montrer que lon a
|u|
1

0
|u|
1
pour tout u 1
.
(ii) On denit par recurrence une suite (u
n
)
nN
de 1
par son premier terme u

0
= 0, et
la relation de recurrence : u
n+1
est lunique solution dans 1
du problème de Stokes
u
n+1
+ div (u
n
u
n
) f 1
.
Verier que la suite (u
n
)
nN
est bien denie puis quil existe une constante c ne
dependant que du domaine et telle que si
|f|
1
c
0
(3.8)
alors la suite (u
n
)
nN
est bornee dans 1
par 2|f|
1
.
(iii) Sous la condition (3.8), en deduire que la suite (u
n
)
nN
converge à extraction près vers
une solution u 1
de (NSS).
(iv) Sous la condition (3.8), montrer lunicite de la solution de (NSS) dans 1
.
(v) Que peut-on generaliser à la dimension d 3 ?
52
Chapitre 4
Existence globale de solutions
faibles
4.1 Introduction
Dans tout ce chapitre, designe un domaine borne de R
d
avec d = 2 ou 3. Nous
allons commencer par denir ce que nous entendons par solution du problème de Navier-
Stokes (NS
).
Denition 4.1.1. Nous dirons que u est une solution de Leray de (NS
) avec une donnee

initiale u
0
H et une force exterieure f L
2
loc
(R
+
; 1
t
) si u appartient à L
loc
(R
+
; H)
L
2
loc
(R
+
; 1
) ((R
+
; 1
t
) et pour toute fonction appartenant à (
1
(R
+
; 1
), on a
_
u(t, x) (t, x) dx +
_
[0,t]
_
u : u u : u
t
_
(t, x) dxdt
=
_
u
0
(x) (0, x) dx +
_
t
0
f(t
t
), (t
t
))
1
1
dt
t
.
Enon cons le theorème de Leray.

Theorème 4.1.1. Soient u
0
H et f L
2
loc
(R
+
; 1
t
). Il existe une solution u de (NS
) au
sens de la denition 4.1.1 avec donnee initiale u
0
et force exterieure f . De plus, cette solution
satisfait linegalite denergie
1
2
_
[u(t, x)[
2
dx +
_
t
0
_
[u(t
t
, x)[
2
dxdt
t
1
2
_
[u
0
(x)[
2
dx +
_
t
0
f(t
t
, ), u(t
t
, ))
1
1
dt
t
.
Le plan de ce chapitre est le suivant :
construire une suite de problèmes approches à laide de la structure spectrale de lope-
rateur de Stokes,
etablir un resultat de compacite,
passer à la limite dans les termes non lineaires.
53
4.2 Demonstration du theorème de Leray
4.2.1 Construction des solutions approchees
On procède de manière analogue à celle utilisee pour demontrer le theorème 3.3.1. Po-
sons H
k
def
= P
k
H. Cest un espace vectoriel de dimension k + 1. Comme nous lavons vu à la
page 50, on peut trouver une suite (f
k
)
kN
de fonctions de ((R
+
; 1
t
) telle que, pour tout k,

la fonction f
k
soit à valeurs dans ImP
k
et telle que, pour tout T strictement positif, on ait
lim
k
_
T
0
|f
k
(t) f(t)|
2
1
dt = 0.
Pour construire des solutions approchees, nous avons besoin detablir quelques proprietes sur
le terme non lineaire.
Denition. Soit lapplication bilineaire Q denie par
Q :
_
1 1 1
t
(u, v) div(u v).
Comme loperateur div envoie contin ument L
2
() dans H
1
()
1
, linclusion de Sobolev
etablie par le theorème 2.3.1 assure que Q est continue. Dans la suite, le lemme suivant sera
fort utile.
Lemme 4.2.1. On a, pour d = 2 ou 3,
|Q(u, v)|
1
C|u|
d
4
H
1
0
|v|
d
4
H
1
0
|u|
1
d
4
L
2
|v|
1
d
4
L
2
.
En outre pour tout u dans 1
et tout v dans 1,
Q(u, v), v)
1
1
= 0. (4.1)
De plus,
[Q(u, u) Q(v, v), u v)[ C|u v|
1+
d
4
H
1
0
|u v|
1
d
4
L
2
min
_
|u|
d
4
H
1
0
|u|
1
d
4
L
2
, |v|
d
4
H
1
0
|v|
1
d
4
L
2
_
.
Preuve : La première inegalite resulte directement du corollaire 2.3.1 page 37. Pour
demontrer (4.1), supposons que u et v aient leurs composantes dans T(). En integrant
par parties, on a
Q(u, v), v)
1
1
=
_
(div(u v) v)(x)dx
=
d
,m=1
_

m
(u
m
(x)v
(x))v
(x) dx
=
d
,m=1
_
u
m
(x)v
(x)
m
v
(x) dx
=
1
2
_
[v(x)[
2
div u(x) dx.
1
Raisonner composante par composante et utiliser la denition 2.2.1 pour le voir.
54
Observons que la dernière ligne est nulle puisque u 1
. Comme le membre de gauche

de la première ligne, et le membre de droite de la dernière ligne sont continus sur 1 et
que, par denition, T est dense dans 1, la formule reste vraie dans 1.
La dernière inegalite resulte des calculs algebriques suivants. Grace à (4.1), nous avons
Q(u, u) Q(v, v), u v) = Q(u v, u), u v) +Q(v, u v), u v)
= Q(u v, u), u v).
Ainsi nous avons
[Q(u, u) Q(v, v), u v)[ |Q(u v, u)|
1
|u v|
H
1
0
.
Les deux premières inegalites du lemme impliquent le resultat.
Introduisons la famille dequations dierentielles ordinaires suivantes
(NS
,k
)
_
d
dt
u
k
= P
k
u
k
F
k
(u
k
) +f
k
u
k
(0) = P
k
u
0
,
avec F
k
(u)
def
= P
k
Q(u, u).
Vu que P
k
est une application lineaire de H
k
dans lui-meme, elle est continue car H
k
est
de dimension nie. Il resulte alors des proprietes de continuite de Q et P
k
que lapplication
z P
k
z F
k
(z) +f
k
est egalement continue de H
k
dans H
k
.
On peut donc appliquer le theorème de Cauchy-Lipschitz. Ceci implique lexistence dune
suite (T
k
)
kN
de reels strictement positifs et dune suite (u
k
)
kN
de solutions maximales
de (NS
,k
) appartenant à (
1
([0, T
k
[; H
k
).
4.2.2 Estimations sur les solutions approchees et compacite
Nous allons estimer |u
k
(t)|
2
L
2
. En prenant le produit scalaire L
2
de (NS
,k
) avec u
k
(t),
on obtient
1
2
d
dt
|u
k
(t)|
2
L
2
= (u
k
(t)[u
k
(t)
L
2 (F
k
(u
k
(t))[u
k
(t))
L
2 + (f
k
(t)[u
k
(t))
L
2.
Par denition de F
k
et comme P
2
k
= P
k
=
t
P
k
, le lemme 4.2.1 implique que
(F
k
(u
k
(t))[u
k
(t))
L
2 = Q(u
k
(t), u
k
(t)), u
k
)
1
1
= 0.
On en deduit que
1
2
d
dt
|u
k
(t)|
2
L
2
+(u
k
[u
k
(t))
L
2 = f
k
(t)[u
k
(t))
1
1
. (4.2)
Par integration en temps, on obtient lestimation denergie suivante pour le système Navier-
Stokes approche :
t [0, T
k
[,
1
2
|u
k
(t)|
2
1
+
_
t
0
|u
k
(t
t
)|
2
L
2
dt
t
=
1
2
|u
k
(0)|
2
L
2
+
_
t
0
f
k
(t
t
)[u
k
(t
t
))
1
1
dt
t
. (4.3)
En utilisant linegalite bien connue 2ab a
2
+b
2
, on obtient
|u
k
(t)|
2
L
2
+
_
t
0
|u
k
(t
t
)|
2
L
2
dt
t
|u
k
(0)|
2
L
2
+
1
_
t
0
|f
k
(t
t
)|
2
1
dt
t
. (4.4)
Ceci signie que u
k
reste borne pour tout temps dans H
k
, et donc que T
k
= +. De plus,
la majoration en norme L
loc
(R
+
; H) L
2
loc
(R
+
; 1
) de (u
k
)
kN
est uniforme en k.
55
Pour passer à la limite dans (NS
,k
), nous avons besoin dun peu de compacite. Elle nous
sera fournie par la proposition suivante.
Lemme. Si d = 2 (resp. d = 3), la suite (u
k
)
kN
est bornee dans C
1
2
loc
(R
+
; 1
t
) (resp.
dans C
1
4
loc
(R
+
; 1
t
)).
Preuve : Vu que (u
k
)
kN
est bornee dans L
2
loc
(R
+
; 1
), la suite (u
k
)
kN
est bornee
dans lespace L
2
loc
(R
+
; 1
t
). Le fait que la suite (f
k
)
kN
soit bornee dans L
2
loc
(R
+
; 1
t
)
decoule de sa denition. Daprès le lemme 4.2.1, on obtient que
|F
k
(u
k
(t))|
1
C|u
k
|
d
2
L
2
|u
k
|
2
d
2
L
2
.
Grace à lestimation denergie (4.3), on en deduit que la suite ( u
k
)
kN
est bornee dans
lespace L
4
d
(R
+
; 1
t
). Ainsi donc
|u
k
(t) u
k
(t
t
)|
1
[t t
t
[
1
d
4
| u
k
|
L
4
d ([t,t
];1
)
.
La proposition est demontree.
De cette proposition, nous allons deduire le corollaire suivant.
Corollaire 4.2.1. Il existe un champ de vitesses u ((R
+
; 1
t
) L
2
loc
(R
+
; 1
) tel que, à
extraction près, la suite (u
k
)
kN
converge vers u :
fortement dans L
loc
(R
+
; 1
t
),
faiblement dans L
2
(0, T; 1
) pour tout T > 0.

De plus, u L
loc
(R
+
; H) et, pour tout t R
+
, la suite (u
k
(t))
kN
converge faiblement vers
u(t) dans H. Enn, u verie linegalite denergie pour tout t et, pour tout p [2, +[ et
T > 0, on a
lim
k
|u
k
u|
L
p
([0,T];L
2
)
= 0. (4.5)
Preuve : Fixons dabord un entier strictement positif N. Daprès le lemme precedent, la
suite (u
k
)
kN
est uniformement continue sur [0, N] et à valeurs dans 1
t
. Dautre part,
cette suite est egalement uniformement bornee dans (([0, N]; H). Or, daprès le lemme
3.2.3, linclusion de H dans (1
)
t
est compacte. Le theorème dAscoli page 15 assure
donc quil existe u (([0, N]; 1
t
) tel quà une extraction près, la suite (u

k
)
kN
tende
vers u dans lespace (([0, N]; 1
t
).
On remarque par ailleurs que lensemble L
2
(0, N; 1
) est un espace de Hilbert separable.

Quitte à extraire encore, on peut donc exiger en sus que la suite converge faiblement
vers u dans L
2
(0, N; 1
).
Ensuite, en faisant tendre N vers linni et en reprenant le procede dextraction dia-
gonal utilise dans la preuve du theorème dAscoli, on obtient nalement un champ
u ((R
+
; 1
t
) L
2
loc
(R
+
; 1
) tel quune sous-suite de (u

k
)
kN
(que lon continuera à
noter (u
k
)
kN
) tende fortement vers u dans ((R
+
; 1
t
) et faiblement dans L
2
loc
(R
+
; 1
).
Pour prouver le resultat de convergence faible dans H à t xe, on utilise le fait que
(u
k
(t))
kN
est bornee dans lespace de Hilbert separable H. En vertu du theorème de
compacite faible, il existe donc un element u(t) de H tel quune sous-suite de (u
k
(t))
kN
converge faiblement vers u(t). Mais linclusion de H dans 1
t
etant compacte, cette

meme sous-suite converge fortement vers u(t) dans 1
t
. Par unicite de la limite, on a

donc u(t) = u(t) et on peut alors conclure que (u
k
(t))
kN
converge faiblement vers u(t)
pour tout t R
+
.
56
Les resultats de convergence faible obtenus nous permettent dappliquer la propriete
(1.7). On en deduit que pour tout t R
+
, on a
|u(t)|
2
L
2
liminf
k
|u
k
(t)|
2
L
2
et
_
t
0
|u(t)|
2
L
2
dt liminf
k
_
t
0
|u
k
(t)|
2
L
2
dt.
En passant à la limite dans legalite denergie (4.3), on trouve linegalite voulue car la
vitesse initiale u
k
(0) = P
k
u
0
converge fortement vers u
0
dans H et la suite de forces
exterieures (f
k
)
kN
converge vers f dans L
2
loc
(R
+
; 1
t
).
Finalement, on a
|u
k
(t) u(t)|
2
1
= u
k
(t) u(t), u
k
(t) u(t))
1
1
|u
k
(t) u(t)|
1
(|u
k
|
L
2 +|u(t)|
L
2).
Comme la suite (u
k
)
kN
est bornee dans L
2
loc
(R
+
; 1) et, pour tout T > 0,
lim
k
|u
k
u|
L
([0,T];1
)
= 0,
une integration integration en temps sur [0, T] combinee à lutilisation de linegalite de
Cauchy-Schwarz permet dobtenir la convergence (forte) vers u de la suite (u
k
)
kN
dans
lespace L
2
loc
(R
+
; H). La convergence dans L
p
loc
(R
+
; H) pour tout p [2, +[ sobtient
à laide de linegalite de Holder, du cas p = 2 et des bornes uniformes dans L
loc
(R
+
; H)
pour u et (u
k
)
kN
.
4.2.3 Conclusion de la demonstration du theorème 4.1.1
La convergence demontree par le corollaire 4.2.1 est cruciale pour passer à la limite dans
(NS
,k
). Daprès la section precedente, nous savons que la suite (u
k
)
kN
tend vers u fortement
dans L
p
loc
(R
+
; L
2
) et faiblement dans L
loc
(R
+
; L
2
) L
2
loc
(R
+
; 1). Daprès la denition de la
notion de solution de (NS
), considerons une fonction dans (

1
(R
+
; 1
). Comme u
k
est
une solution de (NS
,k
), nous avons
2
d
dt
u
k
(t), (t)) = u
k
(t), (t)) +u
k
(t),

(t))
= P
k
u
k
(t), (t)) +P
k
Q(u
k
(t), u
k
(t)), (t))
+f
k
(t), (t)) +u
k
(t),

(t)).
Comme il est maintenant habituel, nous ecrivons que
P
k
u
k
(t), (t)) =
_
u
k
(t, x) : P
k
(t, x)dx,
P
k
Q(u
k
(t), u
k
(t)), (t)) =
_
u
k
(t, x) u
k
(t, x) : P
k
(t, x)dx,
u
k
(t),

(t)) =
_
u
k
(t, x)
t
(t, x) dx.
Par integration en temps entre 0 et t, nous en deduisons que
_
u
k
(t, x)(t, x)dx +
_
[0,t]
_
u
k
: P
k
u
k
u
k
: P
k
u
k

t
_
(t, x) dxdt
=
_
u
k
(0, x) (0, x) dx +
_
t
0
f
k
(t
t
), (t
t
)) dt
t
.
2
en ecrivant desormais , au lieu de ,
V
V
pour alleger les notations.
57
Il sagit maintenant de passer à la limite. Par le theorème de Lebesgue, la suite (P
k
)
kN
tend fortement vers dans L
2
(R
+
; L
2
). La convergence faible de u
k
dans L
2
loc
(R
+
; 1)
assure que
lim
k
_
[0,t]
_
u
k
: P
k
u
k

t
_
(t, x) dxdt
=
_
[0,t]
_
u : u
t
_
(t, x) dxdt.
Le fait que la suite (u
k
)
kN
converge dans ((R
+
; 1
t
) implique que, pour tout reel positif t,
lim
k
_
u
k
(t, x)(t, x)dx = lim
k
u
k
(t), (t)) = u(t), (t)).
Comme u(t) appartient à L
2
pour tout t R
+
, on a donc
lim
k
_
u
k
(t, x)(t, x)dx = u(t), (t)) =
_
u(t, x)(t, x)dx.

Les deux termes associes à la donnee initiale et la force exterieure convergent de par la construc-
tion des f
k
et par le fait que P
k
u
0
tend vers u
0
dans L
2
.
Pour passer à la limite dans le terme non lineaire, nous allons utiliser la convergence
forte enoncee au corollaire 4.2.1. En particulier, par linegalite de Gagliardo-Nirenberg, la
suite (u
k
)
kN
tend fortement vers u dans L
2
loc
(R
+
; L
4
). Comme la suite (P
k
)
kN
tend
fortement vers dans L
2
(R
+
; L
2
) on en deduit daprès linegalite de Holder que
lim
k
_
[0,t]
(u
k
u
k
: P
k
)(t, x) dxdt =
_
[0,t]
(u u : )(t, x) dxdt.
Nous avons demontre que u est solution de (NS
) au sens de la denition 4.1.1. Cela conclut

la demonstration du theorème 4.1.1.
4.3 Le cas de la dimension deux
Dans le cas de la dimension deux, les solutions de Leray sont uniques et meme stables.
Plus precisement, nous avons le theorème suivant.
Theorème 4.3.1. Pour toute donnee u
0
dans H et f dans L
2
loc
(R
+
; 1
t
), la solution de Leray
est unique, continue en temps à valeurs dans H, et satisfait, pour tout (s, t) tel que 0 s t,
1
2
|u(t)|
2
L
2
+
_
t
s
|u(t
t
)|
2
L
2
dt
t
=
1
2
|u(s)|
2
L
2
+
_
t
s
f(t
t
), u(t
t
))dt
t
.
De plus, les solutions de Leray sont stables au sens suivant. Soit u (resp. v) une solution de
Leray associee à u
0
(resp. v
0
) dans H et f (resp. g) dans L
2
loc
(R
+
; 1
t
) alors,
|(u v)(t)|
2
L
2
+
_
t
0
|(u v)(t
t
)|
2
L
2
dt
t
_
|u
0
v
0
|
2
L
2
+
2
_
t
0
|(f g)(t
t
)|
2
1
_
exp
_
CE
2
(t)
4
_
avec
E(t)
def
= min
_
|u
0
|
2
L
2
+
1
_
t
0
|f(t
t
)|
2
1
dt
t
, |v
0
|
2
L
2
+
1
_
t
0
|g(t
t
)|
2
1
dt
t
_
.
58
Le point clef de la preuve est le lemme dapproximation suivant.
Lemme 4.3.1. Soit u une solution de Leray associee à u
0
dans H et f dans L
2
loc
(R
+
; 1
t
).
Soit (u
k
)
kN
la suite de solutions de (NS
,k
). Alors pour tout reel strictement positif T , on a
lim
k
_
sup
t[0,T]
|u
k
(t) u(t)|
2
L
2
+
_
T
0
|(u
k
u)(t)|
2
L
2
dt
_
= 0.
Admettons ce lemme un instant. Il implique immediatement que la suite (u
k
)
kN
converge
vers u dans L
loc
(R
+
; H). Par unicite de la limite et du fait que chaque u
k
est continue en
temps à valeurs dans H, on en deduit que u est lunique solution de Leray et quelle appartient
à ((R
+
; H). Par ailleurs, par integration de (4.2) entre s et t, on obtient
1
2
|u
k
(t)|
2
L
2
+
_
t
s
|u
k
(t
t
)|
2
L
2
dt
t
=
1
2
|u
k
(s)|
2
L
2
+
_
t
s
f
k
(t
t
), u
k
(t
t
))dt
t
.
En passant à la limite lorsque k tend vers linni, on trouve legalite denergie.
Pour demontrer la stabilite, estimons de w
k
def
= u
k
v
k
dans lespace denergie. Daprès le
theorème 3.3.1, on obtient
1
2
|w
k
(t)|
2
L
2
+
_
t
0
|w
k
|
2
L
2
d =
1
2
|w
k
(0)|
2
L
2
+
_
t
0
_
f
k
g
k
, w
k
) +Q(u
k
, u
k
)Q(v
k
, v
k
), w
k
)
_
d,
1
2
|w
k
(0)|
2
L
2
+
_
t
0
_
4
|w
k
(t)|
2
L
2
+
1
|(f
k
g
k
)(t)|
2
1
+Q(u
k
, u
k
)Q(v
k
, v
k
), w
k
)
_
d.
Daprès le lemme 4.2.1 et linegalite de convexite
]0, 1[ , ab (1 )a
1
1
+b
1
, (4.6)
on obtient
Q(u
k
, u
k
) Q(v
k
, v
k
), w
k
)
C|w
k
(t)|
3
2
L
2
|w
k
|
1
2
L
2
B
k
(t)

4
|w
k
(t)|
2
L
2
+
C
3
B
4
k
(t)|w
k
(t)|
2
L
2
avec B
k
(t)
def
= min
_
|u
k
(t)|
1
2
L
2
|u
k
(t)|
1
2
L
2
, |v
k
(t)|
1
2
L
2
|v
k
(t)|
1
2
L
2
_
.
Le lemme de Gronwall implique alors que
|w
k
(t)|
2
L
2
+
_
t
0
|w
k
(t
t
)|
2
L
2
dt
t

_
|(u
k
v
k
)(0)|
2
L
2
+
2
_
t
0
|(f
k
g
k
)(t
t
)|
2
1
dt
t
_
exp
_
C
3
_
t
0
B
4
k
(t
t
)dt
t
_
.
En utilisant le fait que u
k
(resp. v
k
) tend vers u (resp. v) dans L
loc
(R
+
; L
2
) L
2
loc
(R
+
; H
1
0
),
on trouve que
|(u v)(t)|
2
L
2
+
_
t
0
|(u v)(t
t
)|
2
L
2
dt
t
_
|u
0
v
0
|
2
L
2
+
2
_
t
0
|(f g)(t
t
)|
2
1
_
exp
_
C
3
_
t
0
B
2
(t
t
)dt
t
_
59
avec
B(t) = min
_
|u(t)|
1
2
L
2
|u(t)|
1
2
L
2
, |v(t)|
1
2
L
2
|v(t)|
1
2
L
2
_
.
Linegalite denergie implique que
_
t
0
B
4
(t
t
)dt
t

1
E
2
(t),
ce qui achève la preuve du theorème 4.3.1 modulo la justication du lemme 4.3.1.
Demonstration du lemme 4.3.1 : Posons
k
def
= u
k
u. Grace à linegalite de Gagliardo-
Nirenberg (voir le corollaire 2.3.1) et à la continuite de loperateur de Leray de 1
t
dans 1
t
(cf proposition 3.2.4), la fonction

h
k
def
= P
k
Q(u
k
, u
k
) PQ(u, u)
appartient à L
2
loc
(R
+
, 1
t
). Alors, en utilisant le theorème 3.3.1, il apparat que

k
est
la solution de (ES
) avec donnee initiale P

k
u
0
u
0
et force exterieure f
k
f +h
k
. On
en deduit que
|
k
(t)|
2
L
2
+
_
t
0
|
k
(t
t
)|
2
L
2
dt
t
|P
k
u
0
u
0
|
2
L
2
+
1
_
t
0
_
|f
k
f|
2
1
+|h
k
(t
t
)|
2
1
_
dt
t
.
Estimons |h
k
(t)|
1
. Pour cela, ecrivons que
h
k
(t) = P
k
Q(u
k
, u
k
) P
k
Q(u, u) + (P
k
P)Q(u, u).
Comme Q(u, u) appartient à L
2
loc
(R
+
; 1
t
), on en deduit, en utilisant la proposition 3.2.4,

que, pour presque tout t,
lim
k
|(P
k
P)Q(u(t), u(t))|
1
= 0.
Ensuite, le theorème de Lebesgue joint au fait que loperateur P
k
est un projecteur
orthogonal dans 1
t
, implique que, pour tout reel strictement positif t,

|h
k
|
2
L
2
([0,T];1
)
|Q(u
k
, u
k
) Q(u, u)|
2
L
2
([0,T];(1
)
+o
k
(1) avec lim
k
o
k
(1) = 0.
En utilisant encore linegalite de Gagliardo-Nirenberg, on trouve que
_
t
0
|h
k
(t
t
)|
2
1
dt
t

_
t
0
|
k
(t
t
)|
L
2|
k
(t
t
)|
L
2
_
|u
k
(t
t
)|
L
2 +|u(t
t
)|
L
2
_
_
|u
k
(t
t
)|
L
2 +|u(t
t
)|
L
2
_
dt
t
+o
k
(1),
puis que
_
t
0
|h
k
(t
t
)|
2
1
dt
t

2
_
t
0
|
k
(t
t
)|
2
L
2
dt
t
+
C
_
t
0
A
k
(t
t
)|
k
(t
t
)|
2
L
2
dt +o
k
(1)
avec A
k
(t)
def
=
_
|u
k
(t)|
2
L
2
+|u(t)|
2
L
2
__
|u
k
(t)|
2
L
2
+|u(t)|
2
L
2
_
.
Nous avons donc à o
k
(1) près,
|
k
(t)|
2
L
2
+
2
_
t
0
|
k
(t
t
)|
2
L
2
dt
t
|P
k
u
0
u
0
|
2
L
2
+
C
_
t
0
_
|f
k
f|
2
1
+A
k
(t
t
)|
k
(t
t
)|
2
L
2
_
dt
t
.
60
Le lemme de Gronwall implique que
sup
t[0,T]
|
k
(t)|
2
L
2
+
_
T
0
|
k
(t)|
2
L
2
dt
C
_
|P
k
u
0
u
0
|
2
L
2
+
_
t
0
|f
k
f|
2
1
dt +o
k
(1)
_
exp
_
C
_
T
0
A
k
(t)dt
_
.
Grace à lestimation denergie du theorème 4.1.1, il existe une constante C telle que
k N,
_
T
0
A
k
(t) dt C.
Le lemme 4.3.1 est donc demontre.
4.4 Exercices
Exercice 4.1. Dans tout cet exercice, designe un ouvert borne de R
d
avec d = 2, 3. On
note (e
k
)
kN
une base hilbertienne de L
2
() constituee par des vecteurs propres associes au
problème de Dirichlet. Soit P
k
le projecteur orthogonal sur Vect(e
0
, , e
k
).
On cherche à resoudre lEDP suivante :
(E)
_

t
u u +u
3
= 0,
u
[t=0
= u
0
, u
[
= 0,
o` u u
0
L
2
(R
d
) est une fonction donnee.
(i) Montrer que si u (
1
(R
+
; H
1
0
()) est solution de (E) alors on a
t R
+
, |u(t)|
2
L
2
+ 2
_
t
0
|u()|
2
L
2
d + 2
_
t
0
|u()|
4
L
4
d = |u
0
|
2
L
2
. (4.7)
(ii) Montrer que lequation
(E
k
)
_

t
v P
k
v +P
k
(v
3
) = 0,
v
[t=0
= P
k
u
0
, u
[
= 0,
admet une unique solution u
k
dans (
1
(R
+
; H
1
0
()) qui verie
t R
+
, |u
k
(t)|
2
L
2
+ 2
_
t
0
|u
k
()|
2
L
2
d + 2
_
t
0
|u
k
()|
4
L
4
d = |P
k
u
0
|
2
L
2
.
(iii) Dans cette question, on suppose que d = 2.
(a) Montrer que la suite (u
k
)
kN
tend (à extraction près et en un sens que lon precisera)
vers une solution u L
(R
+
; L
2
) L
2
(R
+
; H
1
0
) de (E).
(b) Montrer que la convergence a lieu dans ((R
+
; L
2
) L
2
(R
+
; H
1
0
). En deduire que
(E) admet une solution u dans ((R
+
; L
2
) L
2
(R
+
; H
1
0
) qui verie (4.7).
(c) Cette solution est-elle unique dans ((R
+
; L
2
) L
2
(R
+
; H
1
0
) ?
Exercice 4.2 (Convergence vers lequilibre). Soit un ouvert borne de R
2
et f 1
t
un champ stationnaire de forces exterieures donne. On note u 1
la solution du système
de Navier-Stokes stationnaire construite dans lexercice 3.5. Soit u la solution de Leray avec
donnee initialeu
0
H et terme de force f.
61
(i) Soit w = u u. En reprenant les notations du cours, demontrer que
t R
+
, |w(t)|
2
1
+ 2
_
t
0
|w()|
2
1
d |w(0)|
2
1
+ 2
_
t
0
Q(w(), u), w())
1
1
d.
(ii) En deduire que si (3.8) est veriee (quitte à diminuer c si necessaire), on a
t R
+
, |w(t)|
2
L
2
e
2
0
t
|w(0)|
2
L
2
.
(iii) Peut-on generaliser ce resultat à la dimension d 3 ?
62
Chapitre 5
Solutions fortes des equations de
Navier-Stokes en dimension trois
Dans ce chapitre, nous cherchons à etablir des resultats dexistence et dunicite pour les
equations de Navier-Stokes en dimension trois. Cela sera possible à condition de renforcer les
hypothèses de regularite. De plus, les resultats seront locaux en temps si les donnees sont
quelconques, et globaux si les donnees verient une condition de petitesse.
5.1 Un resultat de stabilite
Lenonce ci-dessous est une generalisation du theorème 4.3.1 au cas de la dimension 3.
Theorème 5.1.1. Soit u une solution de Leray associee à u
0
dans H et f dans L
2
loc
(R
+
; 1
t
).
On suppose que u est dans L
4
([0, T]; 1
) pour un certain T > 0. Alors u est unique sur [0, T] ,

appartient à (([0, T]; H) et verie, pour tous les (s, t) tels que 0 s t T ,
1
2
|u(t)|
2
L
2
+
_
t
s
|u(t
t
)|
2
L
2
dt
t
=
1
2
|u(s)|
2
L
2
+
_
t
s
f(t
t
), u(t
t
))dt
t
. (5.1)
De plus, pour toute solution de Leray v associee aux donnees v
0
dans H et g dans L
2
loc
(R
+
; 1
t
)
alors on a linegalite suivante pour tout tdans [0, T] :
|(u v)(t)|
2
L
2
+
_
t
0
|(u v)(t
t
)|
2
L
2
dt
t
_
|u
0
v
0
|
2
L
2
+
2
_
t
0
|(f g)(t
t
)|
2
1
_
exp
_
C
3
_
t
0
|u(t
t
)|
4
L
2
dt
t
_
.
Tout dabord, il est clair que le dernier point du theorème entrane lunicite de u.
On constate ensuite que u est solution du problème de Stokes dependant du temps avec
donnee initiale u
0
H et terme de force f Q(u, u).
On sait que f est dans L
2
([0, T]; 1
t
). Comme par hypothèse u est dans L

4
([0, T]; 1
),
on etablit facilement que Q(u, u) L
2
([0, T]; 1
t
). Le theorème 3.3.1 assure alors que u est

continue sur [0, T] à valeurs dans H.
Les autres points du theorème vont resulter du lemme dapproximation suivant, que nous
admettons pour le moment.
Lemme 5.1.1. Soit u une solution de Leray appartenant à L
4
([0, T]; 1
). Il existe une suite

( u
k
)
kN
dans (
1
(R
+
; 1
) telle que
63
la suite ( u
k
)
kN
tend vers u dans L
4
([0, T]; 1
) L
([0, T]; H),

pour tout k, on a
t
u
k
u
k
= f Q( u
k
, u
k
) +R
k
avec lim
k
|R
k
|
L
2
([0,T];1
)
= 0. (5.2)
Pour etablir legalite denergie, on prend le crochet de dualite de (5.2) avec u, on intègre
en temps sur lintervalle [s, t] puis on passe à la limite k +.
Reste à etablir le dernier point du theorème. Pour cela, on utilise le fait que, comme u
et v sont deux solutions de Leray, on peut ecrire
(t) = |(u v)(t)|

2
L
2
+ 2
_
t
0
|(u v)(t
t
)|
2
L
2
dt
t
= |u(t)|
2
L
2
+ 2
_
t
0
|u(t
t
)|
2
L
2
dt
t
+|v(t)|
2
L
2
+ 2
_
t
0
|v(t
t
)|
2
L
2
dt
t
2(u(t)[v(t))
L
2 4
_
t
0
(u(t
t
)[v(t
t
))
2
L
2
dt
t
|u
0
|
2
L
2
+ 2
_
t
0
f(t
t
), u(t
t
))dt
t
+|v
0
|
2
L
2
+ 2
_
t
0
g(t
t
), v(t
t
))dt
t
(5.3)
2(u(t)[v(t))
L
2 4
_
t
0
(u(t
t
)[v(t
t
))
2
L
2
dt
t
La fonction u
k
appartient à (
1
(R
+
; 1
), donc elle peut etre utilisee comme fonction test

dans la denition 4.1.1. Comme v est une solution de Leray, on a
B
k
(t)
def
= ( u
k
(t)[v(t))
L
2
= ( u
k
(0)[v(0))
L
2
_
t
0
( u
k
(t
t
)[v(t
t
))
L
2 dt
t
+
_
t
0
g(t
t
), u
k
(t
t
)) dt
t
+
_
t
0
(v(t
t
) v(t
t
)[ u
k
(t
t
))
L
2 dt
t
+
_
t
0
t
u
k
(t
t
), v(t
t
)) dt
t
.
Grace à (5.2), on obtient
B
k
(t) = ( u
k
(0)[v(0))
L
2 2
_
t
0
( u
k
(t
t
)[v(t
t
))
L
2 dt
t
+
_
t
0
g(t
t
), u
k
(t
t
)) dt
t
+
_
t
0
f(t
t
), v(t
t
)) dt
t
+
_
t
0
(v(t
t
)v(t
t
)[ u
k
(t
t
))
L
2 dt
t
_
t
0
Q( u
k
(t
t
), u
k
(t
t
)), v(t
t
)) dt
t
+
_
t
0
R
k
(t
t
), v(t
t
)) dt
t
.
Le lemme 5.1.1 implique que lim
k
B
k
(t) = (u(t)[v(t))
L
2 et que
lim
k
_
( u
k
(0)[v(0))
L
2 2
_
t
0
( u
k
(t
t
)[v(t
t
))
L
2 dt
t
+
_
t
0
R
k
(t
t
), v(t
t
)) dt
t
+
_
t
0
g(t
t
), u
k
(t
t
)) dt
t
_
= (u(0)[v(0))
L
2 2
_
t
0
(u(t
t
)[v(t
t
))
L
2dt
t
+
_
t
0
g(t
t
), u(t
t
)) dt
t
.
Donc en denissant
k
(t)
def
=
_
t
0
(v(t
t
) v(t
t
)[ u
k
(t
t
))
L
2dt
t
_
t
0
Q( u
k
(t
t
), u
k
(t
t
)), v(t
t
)) dt
t
,
64
on en deduit que lim
k
(t) existe et que
(u(t)[v(t))
L
2 = (u(0)[v(0))
L
2 2
_
t
0
(u(t
t
)[v(t
t
))
L
2dt
t
+
_
t
0
g(t
t
), u(t
t
))dt
t
+
_
t
0
f(t
t
), v(t
t
))dt
t
+ lim
k
k
(t).
En injectant dans (5.3), on trouve
(t) |u
0
v
0
|
2
L
2
+ 2
_
t
0
(f g)(t
t
), (u v)(t
t
))dt
t
2 lim
k
k
(t). (5.4)
Etudions maintenant
k
(t). Pour cela lon observe que pour tous champs de vecteurs a et b
dans 1
, on a (b b[a)
L
2 = Q(b, b), a) et donc
(b b[a)
L
2 Q(a, a), b) = Q(b, b), a) Q(a, a), b).
En utilisant (4.1), on peut ecrire
Q(b, b), a) +Q(a, a), b) = Q(b, b), a b) +Q(a, a), b a)
= Q(b, b), a b) +Q(a, b), b a).
On trouve donc
Q(b, b), a) +Q(a, a), b) = Q(a b, b), b a)
=
_
(a b) b[(b a)
_
L
2
.
En combinant linegalite de Holder et linegalite de Gagliardo-Nirenberg (voir page 37), on
trouve que pour tout (a, b, c) dans 1
3
, on a
[(a b[c)
L
2[ C|a|
L
6|b|
L
3|c|
L
2
C|a|
L
2|b|
1
2
L
2
|b|
1
2
L
2
|c|
1
. (5.5)
On peut donc conclure que pour tout b L
([0, T]; H) L
2
([0, T]; 1
), la fonction
Q
b
: a Q(a, b)(t)
def
=
_
t
0
(b(t
t
) b(t
t
)[a(t
t
))
L
2 dt
t
_
t
0
Q(a(t
t
), a(t
t
)), b(t
t
)) dt
t
.
est continue de L
4
([0, T]; 1
) dans (([0, T]; R). Il sensuit que pour tout t dans [0, T] , on a
lim
k
k
(t) =
_
t
0
((u v)(t
t
) u(t
t
)[(u v)(t
t
))
L
2 dt
t
.
De (5.5) et (5.4) on deduit que
(t) |u
0
v
0
|
2
L
2
+ 2
_
t
0
|(f g)(t
t
)|
1
|(u v)(t
t
)|
2
1
dt
t
+C
_
t
0
|u(t
t
)|
L
2|(u v)(t
t
)|
3
2
L
2
|(u v)(t
t
)|
1
2
L
2
dt
t
.
65
Par une inegalite de convexite on trouve
|(u v)(t)|
2
L
2
+
_
t
0
|(u v)(t
t
)|
2
L
2
dt
t
|u
0
v
0
|
2
L
2
+
2
_
t
0
|(f g)(t
t
)|
2
1
dt
t
+
C
3
_
t
0
|u(t
t
)|
4
L
2
|(u v)(t
t
)|
2
L
2
dt
t
.
Le lemme de Gronwall permet de conclure la demonstration de la dernière partie du theorème.
Reste à prouver le lemme 5.1.1. Pour cela, observons que, comme le domaine est borne,
et par linclusion de Sobolev du theorème 2.3.1 page 35, on trouve
|u v|
L
2
([0,T])
|u|
L
4
([0,T])
|v|
L
4
([0,T])
|u|
L
4
([0,T];L
6
())
|v|
L
4
([0,T];L
6
())
|u|
L
4
([0,T];1
)
|v|
L
4
([0,T];1
)
. (5.6)
Donc si u est dans L
4
([0, T]; 1
), alors Q(u, u) appartient à L

2
([0, T]; 1
t
). Comme u
L
2
([0, T]; 1
t
, cela implique que

t
u aussi. Donc le theorème de Lebesgue donne
lim
k
|P
k
u u|
L
4
([0,T];1
)
= lim
k
|P
k
t
u
t
u|
L
2
([0,T];1
)
= 0.
Par denition de P
k
, on a
P
k
u =
k
j=0
j
(t)e
j
avec
t
j
L
2
([0; T]).
Soit
j
une fonction de T(R) telle que
j
(0) =
j
(0) et
j
(T) =
j
(T). La fonction
j
denie par
j
en dehors de [0, T] et
j
dans [0, T] appartient à H
1
(R) et est à support
compact. Soit une fonction de T(R) dintegrale egale à 1. Alors
1
(
1
)
j
tend
vers
j
dans H
1
(R). En choisissant convenablement , on denit une suite ( u
k
)
kN
telle que
pour tout k, la fonction u
k
soit à valeurs dans P
k
(1
t
), verie
t
u
k
L
2
([0, T]; 1
t
) et
lim
k
| u
k
u|
L
4
([0,T];1
)
= lim
k
|
t
u
k

t
u|
L
2
([0,T];1
)
= 0.
On a donc aussi lim
k
| u
k
u|
L
2
([0,T];1
)
= 0. De plus, linegalite (5.6) implique que
lim
k
|Q( u
k
, u
k
) Q(u, u)|
L
2
([0,T];1
)
= 0.
Ceci achève la demonstration du lemme 5.1.1.
5.2 Le theorème de Fujita-Kato
Le but de cette section est de demontrer lexistence de solutions à (NS
) qui sont L
4
en
temps à valeurs dans 1
. Pour pouvoir enoncer le theorème, nous allons introduire des espaces

intermediaires entre 1
t
et 1
. Ensuite nous demontrerons un theorème dexistence globale

pour donnees petites, et un theorème local pour donnees grandes.
66
5.2.1 Espaces intermediaires
Denition. Soit s dans [1, 1] . On note 1
s
lespace des champs de vecteurs u dans 1

t
tels
que
|u|
2
1
s
def
=
2s
j
u, e
j
)
2
< +.
Il est evident que 1
s
muni de la norme | |
1
s
est un espace de Hilbert. Le theorème 3.2.3

implique que 1
0
= H, 1
1
= 1
et que 1
1
= 1
t
.
La proposition suivante sera importante dans les paragraphes suivants.
Proposition 5.2.1. Lespace 1
1
2
sinjecte contin ument dans L

3
et lespace L
3
2
1
t
sinjecte
contin ument dans 1
1
2
.
Preuve : Cette proposition peut se demontrer en utilisant de linterpolation abstraite.
Nous preferons ici donner une demonstration auto-contenue dans lesprit de celle du
theorème 2.3.1 page 35. Supposons que |a|
1
1
2
1. Pour tout > 0, on denit

a
def
=
j/
j
<
a, e
j
)e
j
et b
def
= a a
.
En utilisant le fait que
_
[a[ >
_
_
[a
[ >

2
_
_
[b
[ >

2
_
,
on peut ecrire, en vertu de lexercice 1.8,
|a|
3
L
3
3
3
_

2
_
[a
[ >

2
_
d + 3
3
_

2
_
[b
[ >

2
_
d
3
3
2
6
_

4
|a
|
6
L
6
d + 4 3
3
_
|b
|
2
L
2
d . (5.7)
Daprès le theorème 2.3.1 et la denition de la norme | |
1
s
, on a
|a
|
2
L
6
C|a
|
2
1
j/
j
<
2
j
a, e
j
)
2
C|a|
2
1
1
2
.
Sachant que |a|
1
1
2
1, on peut donc ecrire en utilisant une nouvelle fois linjection de

1
dans L
6
,
|a
|
6
L
6
C
2
|a
|
2
1
.
En inserant cette inegalite dans (5.7), on obtient donc nalement
|a|
3
L
3
C
_

2
|a
|
2
1
d +C
_
|b
|
2
L
2
d
j
_

2
2
j
a, e
j
)
2
1
>
j
d +C
j
_
a, e
j
)
2
1
j
d
C
j
a, e
j
)
2
C.
67
Cela demontre la première partie de la proposition. La seconde partie sobtient par un
argument de dualite. Par denition on a, pour tout a dans 1
,
|a|
1
1
2
= |(
1
2
j
a, e
j
))
jN
|
2
= sup
|(
j
)|
2
=1
1
2
j
a, e
j
)
j
. (5.8)
Lapplication L denie par
L :
_
2
1
1
2
(
j
)
1
2
j
e
j
est une isometrie. Par (5.8), on a
|a|
1
1
2
= sup
||
V
1
2
j
(L
1
)
j
1
2
j
a, e
j
).
Pour tout dans 1
, on a
j
(L
1
)
j
1
2
j
a, e
j
) = a, ).
Si lon suppose que a est dans L
3
2
, comme L
6
, on obtient que
a, ) =
_
a(x)(x)dx.
Par linegalite de Holder et la proposition 5.2.1 on trouve que
[a, )[ |a|
L
3
2
||
L
3 C|a|
L
3
2
||
1
1
2
.
On a donc
sup
1
, ||
V
1
2
j
(L
1
)
j
1
2
j
a, e
j
)|a|
1
1
2
C|a|
L
3
2
.
Enn, en revenant à la denition des espaces intermediaires, on verie facilement la
densite de 1
dans 1
1
2
, do` u le resultat.
5.2.2 Un resultat dexistence globale
Lobjectif de ce paragraphe est de montrer un theorème dexistence globale à donnees
petites dans 1
1
2
: le theorème de Fujita-Kato.
Theorème 5.2.1. Si la donnee initiale u
0
appartient à 1
1
2
et si f L
2
loc
(R
+
; 1
1
2
) alors il
existe un temps strictement positif T tel que la solution u de (NS
) existe dans L
4
([0, T]; 1
).
Cette solution est unique et appartient à (([0, T]; 1
1
2
). En outre il existe une constante c

(qui peut etre choisie independante du domaine ) telle que, si
|v
0
|
1
1
2
+
1
|f|
L
2
(R
+
;1
1
2
)
c,
alors la solution est globale.
68
Preuve : Pour simplier, nous allons ignorer la force exterieure dans la demonstration.
Considerons la suite (u
k
)
kN
utilisee dans la demonstration du theorème de Leray. Il
sagit de demontrer que cette suite est bornee dans L
4
([0, T]; 1
) pour un T > 0.
Le theorème 3.3.1 implique que u
k
=
k
j=0
U
j,k
(t)e
j
avec, pour tout j 0, , k,
U
j,k
(t)
def
= (u
0
[e
j
)
L
2e
2
j
t
+
_
t
0
e
2
j
(tt
)
Q(u
k
(t
t
), u
k
(t
t
)), e
j
)dt
t
. (5.9)
En utilisant la proposition 5.2.1 on a que pour tous champs de vecteurs a et b dans 1
,
| div(a b)|
1
1
2
= |(a b)|
1
1
2
C|a b|
L
3
2
C|a|
L
6|b|
L
2.
Par les injections de Sobolev et les proprietes de continuite de loperateur P
k
, on obtient
donc que
| div(a b)|
1
1
2
C|a|
1
|b|
1
, (5.10)
|P
k
div(a b)|
1
1
2
C|a|
1
|b|
1
. (5.11)
Par denition de la norme de 1
1
2
, on en deduit quil existe une suite (c

j,k
)
jN
telle que
t R
+
, [Q(u
k
(t), u
k
(t)), e
j
)[ Cc
j,k
(t)
1
2
j
|u
k
(t)|
2
1
avec
j
c
2
j,k
(t) = 1. (5.12)
En injectant cette inegalite dans (5.9), on obtient pour tout t > 0,
[U
j,k
(t)[ [(u
0
[e
j
)[e
2
j
t
+C
1
2
j
_
t
0
e
2
j
(tt
)
c
j,k
(t
t
)|u
k
(t
t
)|
2
1
dt
t
. (5.13)
Linegalite de Young |f g|
L
4 |f|
L
4
3
|g|
L
2 implique donc que pour tout T > 0,
|U
j,k
|
L
4
([0,T])
[(u
0
[e
j
)[
1
2
j
_
1 e
4
2
j
T
4
_1
4
+
C
3
4
1
j
__
T
0
c
2
j,k
(t)|u
k
(t)|
4
1
dt
_
1
2
.
En multipliant par
j
et en prenant la norme
2
on trouve
_
2
j
|U
j,k
|
2
L
4
([0,T])
_1
2
j
(u
0
[e
j
)
2
_
1e
4
2
j
T
4
_1
2
_1
2
+
C
3
4
_
j
_
T
0
c
2
j,k
(t)|u
k
(t)|
4
1
dt
_1
2
.
Par (5.12), comme

j
c
2
j,k
1, on a
_
2
j
|U
j,k
|
2
L
4
([0,T])
_1
2
j
(u
0
[e
j
)
2
_
1 e
4
2
j
T
4
_1
2
_1
2
+
C
3
4
|u
k
|
2
L
4
([0,T];1
)
.
69
Notons a
j
def
=
j
|U
j,k
|
L
4
([0,T])
. Par linegalite de Cauchy-Schwarz, on a
_
T
0
|a
j
(t)|
4
2
(N)
dt =
_
T
0
_
j
a
2
j
(t)
_
2
dt
=
j,k
_
T
0
a
j
(t)
2
a
k
(t)
2
dt
j,k
|a
j
|
2
L
4
([0,T])
|a
k
|
2
L
4
([0,T])
_
_
_(|a
j
|
L
4
([0,T])
)
_
_
_
4
2
.
On obtient donc que
|u
k
|
L
4
([0,T];1
)

_
j
(u
0
[e
j
)
2
_
1 e
4
2
j
T
4
_1
2
_1
2
+
C
3
4
|u
k
|
2
L
4
([0,T];1
)
.
Denissons
T
k
def
= sup
_
T > 0 / |u
k
|
L
4
([0,T];1
)

3
4
2C
_
.
Comme u
k
appartient à (
1
(R
+
; H
k
), on a T
k
> 0. De linegalite precedente, on tire
alors
T [0, T
k
] , |u
k
|
L
4
([0,T];1
)
2
_
j
(u
0
[e
j
)
2
_
1 e
4
2
j
T
4
_1
2
_1
2
. (5.14)
Remarquons que pour tout T > 0, on a
_
j
(u
0
[e
j
)
2
_
1 e
4
2
j
T
4
_1
2
_1
2
1
4
|u
0
|
1
1
2
.
Donc si |u
0
|
1
1
2
<

4C
2
, on a, pour tout T < T
k
,
|u
k
|
L
4
([0,T];1
)
<

3
4
2C
Cela implique que T

k
= + et que pour tout T > 0,
|u
k
|
L
4
([0,T];1
)

2C
1
4
|u
0
|
1
1
2
.
Dans le cas de grandes donnees, denissons le plus petit entier j
0
tel que
_
j>j
0
j
(u
0
[e
j
)
2
_1
2
<

8C
2
(5.15)
Alors en utilisant le fait que 1 e
x
x pour tout x 0, on a pour tout T < T
k
,
_
j
(u
0
[e
j
)
2
_
1 e
4
2
j
T
4
_1
2
_1
2

8C
2
+
_
jj
0
j
(u
0
[e
j
)
2
_
1 e
4
2
j
T
4
_1
2
_1
2

8C
2
+
j
0
T
1
4
|u
0
|
L
2.
70
En denissant
T
u
0
def
=
_

8C
2
j
0
|u
0
|
L
2
_
4
,
on obtient pour tout T > 0 plus petit que minT
k
; T
u
0
,
|u
k
|
L
4
([0,T);1
)
<

3
4
2C
On en deduit que pour tout k, on a T T

u
0
. Cela implique que (u
k
)
kN
est une
suite bornee de L
4
([0, T]; 1
). Comme de plus (u
k
)
kN
tend vers la solution de Leray u
de (NS
) dans lespace L
([0, T]; 1
t
), on en conclut que u est dans L

4
([0, T]; 1
).
Par le theorème 5.1.1, cette solution est unique sur [0, T] , continue de [0, T] dans H et
verie legalite denergie sur [0, T] .
Le seul point à demontrer maintenant est la continuite de u de [0, T] dans 1
1
2
. Comme u
appartient à L
4
([0, T]; 1
), on trouve par (5.10) que Q(u, u) est dans L

2
([0, T]; 1
1
2
).
Par le theorème 3.3.1, on obtient
(u(t)[e
j
) = (u
0
[e
j
)e
2
j
t
+
_
t
0
e
2
j
(tt
)
Q(u(t
t
), u(t
t
)), e
j
) dt
t
.
En utilisant encore (5.10), par denition de la norme dans 1
1
2
, on trouve que
[(u(t)[e
j
)[ [(u
0
[e
j
)[e
2
j
t
+C
1
2
j
_
t
0
c
j
(t
t
)e
2
j
(tt
)
|(u(t
t
)|
2
1
dt
t
avec
j
c
2
j
(t) = 1. (5.16)
Par linegalite de Cauchy-Schwarz, on a
|(u(t)[e
j
)|
L
([0,T])
[(u
0
[e
j
)[ +
C
1
2
1
2
j
__
T
0
c
2
j
(t)|u(t)|
4
1
dt
_1
2
.
En multipliant par
1
2
j
et en prenant la norme
2
on trouve
_
j
|(u(t)[e
j
)|
2
L
([0,T])
_1
2
|u
0
|
1
1
2
+
C
1
2
_
j
_
T
0
c
2
j
(t)|u(t)|
4
1
_1
2
|u
0
|
1
1
2
+
C
1
2
|u|
2
L
4
([0,T];1
)
.
Cela donne clairement que u est dans L
([0, T]; 1
1
2
). En fait cela va impliquer la conti-

nuite en utilisant largument suivant. Soit un nombre strictement positif. Il existe un
entier j
0
tel que
_
j>j
0
j
|(u(t)[e
j
)|
2
L
([0,T])
_1
2
<

4
Mais
|u(t) u(t
t
)|
1
1
2
2
_
j>j
0
j
|(u(t)[e
j
)|
2
L
([0,T])
_1
2
+
_
jj
0
j
(u(t) u(t
t
)[e
j
)
2
_1
2

2
+
1
2
j
0
|u(t) u(t
t
)|
L
2.
Le theorème 3.3.1 dit que u est continue de [0, T] dans H. Cela termine la demonstration
du theorème 5.2.1.
71
5.2.3 Quelques remarques sur ces solutions stables
Dans ce paragraphe, nous allons supposer que la force f est identiquement nulle. Nous
allons montrer des resultats sur le temps maximal dexistence de la solution construite au
paragraphe precedent.
Proposition 5.2.2. Supposons que la donnee initiale u
0
appartienne à 1
. Alors le temps
maximal dexistence T
de la solution u dans (([0, T
[; 1
1
2
) L
4
loc
([0, T
[; 1
) verie
T
c
3
|u
0
|
4
L
2
(5.17)
Preuve : Par (5.14), il existe une constante c > 0 telle que T
soit minore par tout reel T

tel que
j
(u
0
[e
j
)
2
_
1 e
2
j
T
_1
2
c
1
2
3
2
. (5.18)
Comme 1 e
2
j
T

2
j
T , on en deduit que
j
(u
0
[e
j
)
2
_
1 e
2
j
T
_1
2
T
1
2
2
j
(u
0
[e
j
)
2
T
1
2
|u
0
|
2
1
.
Quitte à diminuer c, on peut donc conclure que linegalite (5.18) est assuree dès que
T
c
3
|u
0
|
4
L
2
De cette proposition on deduit le corollaire suivant.

Corollaire 5.2.1. Si le temps maximal dexistence T
dune solution u de (NS
) dans
([0, T
[; 1
1
2
) L
4
loc
([0, T
[; 1
)) est ni alors
_
T
0
|u(t)|
4
L
2
dt = + et T
5
|u
0
|
4
L
2
.
Preuve : Pour presque tout t, le champ u(t) appartient à 1
. Donc par la proposition

precedente, le temps maximal dexistence de la solution commencant au temps t, qui
est, par unicite de la solution, egal à T
t, verie
T
t
c
3
|u(t)|
4
L
2
Cela peut secrire

|u(t)|
4
L
2

c
3
T
Cela donne la première partie du corollaire. En prenant la racine carree de cette inegalite
puis en integrant sur [0, T
[, on trouve, par lestimation denergie,

c
_
T
0
1
(T
t)
1
2
dt

5
2
2
|u
0
|
2
L
2
.
Le corollaire est demontre.
72
5.3 Exercices
Exercice 5.1. On reprend les notations de lexercice 4.1. On suppose desormais que d = 3
et lon note 1 := H
1
0
(). On suppose que u
0
appartient à lespace 1
1
2
deni par
1
1
2
:=
_
v 1 [ |v|
1
1
2
:=
_
kN
k
[(v [ e
k
)[
2
_1
2
<
_
.
1) Montrer quil existe T > 0 tel que la suite (u
k
)
kN
soit uniformement bornee dans
L
4
(0, T; 1) (([0, T]; 1
1
2
).
2) Montrer que (u
k
)
kN
converge vers u dans L
4
(0, T; 1) (([0, T]; 1
1
2
). En deduire que
(E) a une solution u L
4
(0, T; 1) (([0, T]; 1
1
2
) qui verie (4.7).
3) Cette solution est-elle unique ?
4) Que dire si |u
0
|
1
1
2
est très petit ?
Exercice 5.2. Dans tout cet exercice, est un ouvert borne de R
3
et p [2, +[. On se
donne une solution de Leray u associee à u
0
dans H et f dans L
2
loc
(R
+
; 1
t
).
1) Verier quil existe une constante C telle que pour tout (v, w) 1
2
on ait
div (w v), w)
C|w|
L
2|w|
L
6p
p+4
|v|
L
3p
p2
.
2) En deduire que si de plus u est dans L
p
([0, T]; L
3p
p2
) alors u est lunique solution de
Leray sur [0, T] et verie legalite denergie ainsi quune inegalite de stabilite que lon
enoncera.
73
74
Chapitre 6
Theorie de Littlewood-Paley
6.1 Decoupage dyadique
Lidee de base consiste à echantillonner les frequences à laide dun decoupage de leur
espace en couronnes de taille 2
q
, o` u q decrit lensemble des entiers naturels. Linteret de cette
technique reside dans le comportement vis-à-vis de la derivation des distributions temperees
dont la transformee de Fourier est à support compact. Si le support de u est inclus dans
une boule de centre 0 et de rayon , alors une derivation co ute au plus ; si le support
de u est inclus dans une couronne de centre 0, de petit rayon r
1
et de grand rayon r
2
,
notee ((0, r
1
, r
2
), alors une derivation co ute exactement . Plus precisement, on a le lemme
suivant :
Lemme (Inegalites de Bernstein). Soit (r
1
, r
2
) un couple de reels strictement positifs tels
que r
1
< r
2
. Il existe une constante C telle que, pour tout entier k, tout couple de reels (a, b)
tel que b a 1 et toute fonction u de L
a
, on ait
Supp u B(0, r
1
) sup
[[=k
|
u|
L
b C
k
k+d(
1
a
1
b
)
|u|
L
a ;
Supp u ((0, r
1
, r
2
) C
k
k
|u|
L
a sup
[[=k
|
u|
L
a C
k
k
|u|
L
a.
Preuve : Par un argument dechelle, on peut supposer que = 1. Soit une fonction
de T(R
d
) valant 1 près de la boule de centre 0 et de rayon r
1
, designons par g sa
transformee de Fourier inverse. Il est clair que u() = () u(). On en deduit alors que
u(x) =
_
g(y)u(x y)dy.
Par derivation, il vient, pour tout multi-entier ,
u(x) =
_
(
g)(y)u(x y)dy.
On utilise alors linegalite de Young (voir page 20) et il vient
|
u|
L
b |
g|
L
c|u|
L
a avec
1
c
= 1 +
1
b

1
a
75
Or, on a les majorations suivantes :
|
g|
L
c |
g|
L
+|
g|
L
1
|(1 +[ [
2
)
d
g|
L
|(Id )
d
_
()
)|
L
1
C
k
.
Do` u le premier point du lemme. Pour demontrer le second, considerons une fonction

de T, à support compact ne contenant pas lorigine, et valant 1 près de ((0, r

1
, r
2
).
Pour tout multi-index de longueur k, posons
g
def
= T
1
h
avec h
()
def
= (i)
[[
2k
().
En utilisant lidentite algebrique
[[=k
(i)
(i)
= [[
2k
, (6.1)
et le fait que u =

u, on peut ecrire que
u() =
[[=k
g
() (i)
u().
Ceci implique que
u =
[[=k
g
u.
Do` u le resultat à nouveau daprès les inegalites de Young.
Après avoir justie son introduction, denissons une partition de lunite dyadique. Nous luti-
liserons dans toute la suite de ces notes.
Proposition 6.1.1. Designons par ( la couronne de centre 0, de petit rayon 3/4 et de grand
rayon 8/3. Il existe alors deux fonctions positives radiales et appartenant respectivement
à T(B(0, 4/3)) et à T(() telles que :
() +
q0
(2
q
) = 1, (6.2)
[p q[ 2 Supp (2
q
) Supp (2
p
) = , (6.3)
q 1 Supp Supp (2
q
) = , (6.4)
si

( = B(0, 2/3) +(, alors

( est une couronne et lon a
[p q[ 5 2
p
( 2
q
( = , (6.5)
1
2

2
() +
q0
2
(2
q
) 1. (6.6)
76
Preuve : Fixons un reel dans lintervalle ]1, 4/3[ et notons (
t
la couronne de centre 0,
de petit rayon
1
et de grand rayon 2. On choisit alors une fonction , radiale, à
valeurs dans lintervalle [0, 1] , indeniment dierentiable, supportee dans ( et valant 1
près de (
t
.
Le point important est le suivant. Pour tout couple dentiers (p, q) on a
[p q[ 2 2
q
( 2
p
( = . (6.7)
En eet, supposons que 2
p
( 2
q
( ,= , et que p q. Il en resulte que 2
p
3/4
4 2
q+1
/3, ce qui oblige p q à etre inferieur ou egal à 1. Posons maintenant
S() =
qZ
(2
q
).
Daprès (6.7), cette somme est localement nie sur lespace R
d
0. La fonction S est
donc de classe C
sur cet espace. Le reel etant strictement superieur à 1,

_
qZ
2
q
(
t
= R
d
0.
Comme est positive et vaut 1 près de (
t
, il resulte de la propriete de recouvrement
ci-dessus que la fonction S est strictement positive. On pose alors
=

S
(6.8)
Verions que convient. Il est evident que C
0
((). La fonction 1
q0
(2
q
)
est, daprès (6.7), de classe C
. Or, vu le support de , on a
[[
4
3

q0
(2
q
) = 1. (6.9)
Do` u les identites (6.2) et (6.3) en posant
() = 1
q0
(2
q
). (6.10)
Lidentite (6.4) est une consequence immediate de (6.7) et de (6.9). Demontrons main-
tenant lidentite (6.5), qui nous sera utile dans la section 6.4. Il est clair que la couronne
( est la couronne de centre 0, de petit rayon 1/12 et de grand rayon 10/3. Alors, il
vient
2
p
( 2
q
( ,=
_
3
4
2
q
2
p
10
3
ou
1
12
2
p
2
q
8
3
_
Do` u la relation (6.5).

Demontrons maintenant les inegalites (6.6). Comme et prennent leurs valeurs dans
lintervalle [0, 1] , il est clair que
2
() +
q0
2
(2
q
) 1. (6.11)
Minorons les sommes de carres. On a (
0
() +
1
())
2
= 1 avec
0
() =
q pair
(2
q
) et
1
() = () +
q impair
(2
q
).
77
Il en resulte que 1 2(
2
0
() +
2
1
()). Or, daprès (6.7), il vient
2
0
() =
q pair
2
(2
q
) et
2
1
() =
2
() +
q impair
2
(2
q
)
do` u la proposition.
Nous allons maintenant xer les notations qui nous serviront dans toute la suite de ce cours.
On choisit une fois pour toutes deux fonctions et satisfaisant les proprietes (6.2)(6.6).
Notations. Posons h = T
1
et

h = T
1
. On denit alors
q
u = 0 si q 2, et
1
u = (D)u = T
1
(() u()),
si q 0,
q
u(x) = (2
q
D)u(x) = 2
qd
_
h(2
q
y)u(x y)dy,
S
q
u =
pq1
p
u.
Remarquons que lon a () = (2) () pour tout R
d
. En consequence,
S
q
u(x) = (2
q
D)u(x) = 2
qd
_

h(2
q
y)u(x y)dy si q 0.
Maintenant, nous allons faire operer ce decoupage sur les distributions temperees, cest-à-dire
voir en quel sens on peut ecrire
Id =
q
.
Proposition 6.1.2. Soit u o
t
(R
d
). On a alors, au sens de la convergence dans lespace
o
t
(R
d
),
u = lim
q+
S
q
u.
Preuve : Soit f o(R
d
). On a < uS
q
u, f >=< u, f S
q
f >. Il sut donc de demontrer
que lon a, dans lespace o(R
d
),
f = lim
q
S
q
f,
ou encore, en travaillant cote Fourier,
f = lim
q
S
q
f.
La topologie usuelle de lespace o(R
d
) peut etre denie par les semi-normes
N
n,
(g) = sup
R
d
(1 +[[)
n
[
g()[.
Daprès la formule de Leibniz, il vient
N
n,
(
f

S
q
f) sup
R
d
_
(1 +[[)
n
_
[1 (2
q
)[ [
f()[)
+
0<
_
_
2
q[[
[(
)(2
q
)[ [
f()[
_
_
.
Comme vaut identiquement 1 près de lorigine, il en resulte que
N
n,
(f S
q
f) C
2
q
sup
[[[[
N
n+1,
(f).
78
6.2 Espaces de Sobolev
Lappartenance aux espaces de Sobolev va se traduire par des proprietes de decroissance
en q de la norme L
2
de
q
u. Denissons maintenant une norme equivalente à la norme | |
H
s
en terme de decomposition dyadique. Comme le support de la transformee de Fourier de
q
u
est inclus dans la couronne 2
q
(, il est clair, daprès la denition de la norme sur H
s
que lon a
1
C
[s[+1
2
qs
|
q
u|
L
2 |
q
u|
H
s C
[s[+1
2
qs
|
q
u|
L
2. (6.12)
Daprès la relation (6.11), il vient
1
2
|u|
2
H
s
_

2
()(1 +[[
2
)
s
[ u()[
2
d +
q0
_

2
(2
q
)(1 +[[
2
)
s
[ u()[
2
d |u|
2
H
s.
Grace à (6.12), on a demontre la proposition suivante :
Proposition 6.2.1. Il existe une constante C telle que lon ait, pour tout reel s,
1
C
[s[+1
|u|
2
H
s
q
2
2qs
|
q
u|
2
L
2
C
[s[+1
|u|
2
H
s.
Dans toute la suite, on notera
[u[
s
= (
q
2
2qs
|
q
u|
2
L
2
)
1/2
.
Le resultat suivant nous sera fort utile.
Proposition 6.2.2. Soit

( une couronne. Il existe une constante C telle que lon ait, pour
tout reel s la propriete suivante : soit (u
q
)
qN
une suite de o
t
(R
d
) telle que Supp u
q
2
q
(.
Si la serie (2
qs
|u
q
|
L
2)
qN
est de carre sommable, alors
u =
q
u
q
H
s
et [u[
2
s
C
2[s[+2
q
2
2qs
|u
q
|
2
L
2
.
Soit B une boule de centre 0. Il existe une constante C telle que lon ait pour tout s > 0
la propriete suivante : soit (u
q
)
qN
une suite de o
t
(R
d
) telle que Supp u
q
2
q
B. Si la serie
(2
qs
|u
q
|
L
2)
qN
est de carre sommable alors
u H
s
et [u[
2
s

C
2s+2
s
2
q
2
2qs
|u
q
|
2
L
2
.
Preuve : Il existe un entier N tel que lon ait
[p q[ > N 2
p
( 2
q
( = .
Do` u il vient que
q
u =
[pq[N
q
u
p
.
Linegalite triangulaire et le fait que |
q
u
p
|
L
2 |u
p
|
L
2 assurent que
|
q
u|
L
2
[pq[N
|u
p
|
L
2.
79
On en deduit que
q0
2
2qs
|
q
u|
2
L
2

[pq[N
2
2(qp)s
2
2ps
|u
p
|
2
L
2
_
_
p0
2
2ps
|u
p
|
2
L
2
_
_
_
N
r=N
2
2rs
_
.
Lapplication de la proposition 6.2.1 conclut alors la demonstration du premier point.
Pour demontrer le second point, notons demblee que la serie (u
q
)
qN
est une serie
absolument convergente dans lespace L
2
. De plus, le support de la transformee de
Fourier de u
q
etant inclus dans 2
q
B, il existe un entier N tel que
q
u =
pqN
q
u
p
.
Il vient alors
2
qs
|
q
u|
L
2
pqN
2
qs
|u
p
|
L
2
pqN
2
(qp)s
2
ps
|u
p
|
L
2.
Le reel s etant strictement positif, on a :
_
q
2
2qs
|
q
u|
2
L
2
_1
2
2
Ns
1 2
s
_
p
2
2ps
|u
p
|
2
L
2
_1
2
,
ce qui conclut la demonstration de la proposition.
6.3 Espaces de H older
Avant toute chose, nous allons rappeler la denition classique des espaces de Holder.
Denition 6.3.1. Soit r un reel strictement positif non entier.
Si r appartient à lintervalle ]0, 1[ , on designe par C
r
(R
d
), ou bien par C
r
en labsence
dambigute, lespace des fonctions u bornees sur R
d
telles quil existe une constante C
veriant, pour tout x et y de R
d
,
[u(x) u(y)[ C[x y[
r
.
Si r > 1, on designe par C
r
(R
d
), ou bien par C
r
en labsence dambigute, lespace des
fonctions u telles que, pour tout multi-entier de longueur plus petite que la partie entière
de r, notee [r] , on ait
u C
r[r]
.
Il est clair que la norme
|u|
r
=
/[[[r]
_
|
u|
L
+ sup
x,=y
[
u(x)
u(y)[
[x y[
r[r]
_
munit lespace C
r
dune structure despace de Banach.
80
`
A linstar des espaces de Sobolev, les espaces de Holder peuvent etre denis à laide de la
decomposition de Littlewood-Paley. Plus precisement, nous avons le resultat suivant.
Proposition 6.3.1. Il existe une constante C telle que, pour tout reel strictement positif
non entier r et toute fonction u appartenant à C
r
, on ait
sup
q
2
qr
|
q
u|
L

C
r+1
[r]!
|u|
r
.
Soit B une boule de R
d
. Il existe alors une constante C telle que, pour tout reel r stric-
tement positif non entier, on ait la propriete suivante :
Considerons une distribution temperee u telle que
u =
q0
u
q
avec Supp u
q
2
q
B.
Si la suite (2
qr
|u
q
|
L
)
qN
est bornee, alors
|u|
r
C
_
1
r [r]
+
1
[r] + 1 r
_
sup
q0
2
qr
|u
q
|
L
.
Preuve : Pour demontrer le premier point, on commence par ecrire loperateur
q
sous
forme integrale, ce qui donne pour q N,
q
u(x) = 2
qd
_
h(2
q
(x y))u(y)dy.
Le fait que la fonction soit identiquement nulle au voisinage de lorigine entrane, par
denition de h, que tous les moments de cette fonction sont nuls, cest-à-dire que, pour
tout multi-entier ,
_
x
h(x)dx = 0.
Do` u il vient
q
u(x) = 2
qd
_
h(2
q
(x y))
_
u(y)
[r]
k=0
1
k!
D
k
u(x)(y x)
(k)
_
dy. (6.13)
La formule de Taylor à lordre [r] entrane que
u(y)
[r]
k=0
1
k!
D
k
u(x)(y x)
(k)
dy
=
_
1
0
(1 t)
[r]1
[r 1]!
_
D
[r]
u(x +t(y x)) D
[r]
u(x)
_
(y x)
([r])
dt.
Le fait que les fonctions
u soient dans lespace C

r[r]
assure que lon a
u(y)
[r]
k=1
1
k!
D
k
u(x)(y x)
(k)
dy

C
[r]!
[y x[
r
|u|
r
.
Il resulte alors de (6.13) que
2
qr
[
q
u(x)[
C
[r]!
2
qd
|u|
r
_
_
2
q
[x y[
_
r
[h(2
q
(x y))[dy.
Enn, il est clair que |
1
u|
L
|
h|
L
1|u|
L
, ce qui achève la preuve du premier
point de la proposition.
81
Le second point est une generalisation de la reciproque du premier. Remarquons tout
dabord que |u
q
|
L
C2
qr
pour tout q N. Ceci entrane, daprès les inegalites de
Bernstein que la serie

q

u
q
est normalement convergente dans lespace L
, et ce
pour tout multi-entier de longueur plus petite que [r] . On a donc
u L
et |
u|
L
C sup
q0
2
qr
|u
q
|
L
. (6.14)
Il nous reste donc à etudier le cas des derivees partielles dordre [r] . Pour ce faire, on
ecrit
[
u(x)
u(y)[
N1
q=0
[
u
q
(x)
u
q
(y)[ +
qN
[
u
q
(x)
u
q
(y)[ ;
lentier N sera choisi judicieusement plus tard. On majore le premier terme de la somme
en appliquant linegalite des accroissements nis :
[
u
q
(x)
u
q
(y)[ [x y[ sup
[[=[r]+1
|
u
q
|
L
.
Daprès les inegalites de Bernstein, on a
[
u
q
(x)
u
q
(y)[ C[x y[2
q(r[r]1)
sup
q0
2
qr
|u
q
|
L
. (6.15)
Les termes de la seconde somme sestiment brutalement, cest-à-dire que lon ecrit
[
u
q
(x)
u
q
(y)[ 2
1qr
sup
q0
2
qr
|
u
q
|
L
.
Il vient alors, en utilisant (6.15),
[
u(x)
u(y)[ C
_
sup
q0
2
qr
|u
q
|
L
_
_
N
q=0
2
q(r[r]1)
[x y[ +
qN+1
2
q(r[r])
_
.
Daprès (6.14), on peut supposer que [x y[ 1. En posant
N = [log
2
[x y[] + 1,
linegalite ci-dessus conclut la demonstration de la proposition.
Comme nous le verrons dans la suite, il nest pas sans interet de considerer des espaces de
Holder dindice reel quelconque. On pose donc la denition suivante.
Denition 6.3.2. Soit r un reel positif. On designe par C
r
lensemble des distributions
temperees qui verient
|u|
r
= sup
q
2
qr
|
q
u|
L
< .
Il est tout à fait clair que ces espaces forment une chane decroissante despaces conti-
n ument inclus les uns dans les autres. De plus, la proposition 6.3.1 assure que, lorsque r est
un reel positif non entier, cette denition concide avec la denition 6.3.1. En revanche, on
prendra garde au fait que dans le cas r N, lespace obtenu nest pas celui des fonctions
bornees dont les derivees dordre inferieur ou egal à r sont bornees (lespace obtenu est en
82
fait strictement plus grand). Pour cette raison, on notera parfois C
r
lespace deni ci-dessus

dans le cas r N.
Cest un exercice très facile laisse au lecteur que de demontrer que la norme | |
r
munit
lespace C
r
dune structure despace de Banach.
La proposition suivante complète lanalogie avec les espaces de Sobolev etudies dans la
section precedente.
Proposition 6.3.2. Soit

( une couronne de R
d
. Il existe alors une constante C telle quetant
donnes un reel r et une serie
u
q
, convergente vers u dans o
t
(R
d
) et veriant Supp u
q

2
q
(, on ait
sup
q0
2
qr
|u
q
|
L
< =u C
r
et |u|
r
C
[r[+1
sup
q
2
qr
|u
q
|
L
.
Preuve : Il faut majorer |
p
u|
L
. Vu les hypothèses sur le support de la transformee de
Fourier de u
q
, il existe un entier N tel que
p
u =
q/[pq[N
p
u
q
.
Comme |
p
u
q
|
L
C|u
q
|
L
, il vient
|
p
u|
L
C
q/[pq[N
|u
q
|
L
.
De plus, le fait que [p q[ N entrane que 2
q
C2
p
. Do` u la proposition.
Remarque. La proposition ci-dessus permet en outre de verier que lespace C
r
de la denition
6.3.2 ne depend pas de la decomposition de Littlewood-Paley choisie.
Etudions un peu plus precisement lespace C

1
.
Proposition 6.3.3. Lespace C
1
est lespace des fonctions bornees u telles quil existe une

constante C qui verie, pour tout x et y dans R
d
,
[u(x +y) +u(x y) 2u(x)[ C[y[.
Preuve : Supposons que la fonction u appartienne à C
1
. Considerons alors un point y de

la boule unite de R
d
. En utilisant la decomposition dyadique de lespace des frequences
et linegalite de Taylor à lordre 2 entre y et 0, il vient,
[u(x +y) +u(x y) 2u(x)[ [y[
2
qN
|D
2
q
u|
L
+ 4
q>N
|
q
u|
L
.
Le fait que u appartienne à C
1
joint à lapplication des inegalites de Bernstein, assure

que
[u(x +y) +u(x y) 2u(x)[ C|u|
1
_
_
[y[
2
qN
2
q
+ 4
q>N
2
q
_
_
.
Donc, à nouveau en choisissant N = [log
2
y] + 1, on obtient
[u(x +y) +u(x y) 2u(x)[ C|u|
1
[y[.
83
Reciproquement, choisissons une fonction bornee u telle que, pour tout y dans R
d
, on
ait [u(x + y) + u(x y) 2u(x)[ C[y[ . Il sagit de majorer |
q
u|
L
. On a bien s ur
|
1
u|
L
C|u|
L
. Le fait que la fonction soit radiale, donc paire, entrane que
q N, 2
qd
(h(2
q
) u)(x) = 2
qd
_
h(2
q
y)u(x +y)dy.
Le fait que soit nulle près de lorigine assure que h est dintegrale nulle. Donc on a
2
qd
(h(2
q
) u)(x) = 2
qd1
_
h(2
q
y)
_
u(x +y) +u(x y) 2u(x)
_
dy.
Comme la fonction z [z[h(z) est integrable, on a
|
q
u|
L
C2
q
sup
yR
d
[u(x +y) +u(x y) 2u(x)[
[y[

Proposition 6.3.4. Il existe une constante C telle que, pour toute fonction u de C
1
et pour
tout x et y de R
d
tels que [x y[ 1, on ait
[u(x) u(y)[ C|u|
1
[x y[(1 log [x y[).
Preuve : La demonstration est très semblable à celles qui precèdent. On ecrit pour [xy[
1,
[u(x) u(y)[ C[x y[
q<N
2
q
|
q
u|
L
+C
qN
|
q
u|
L
.
Il vient alors, par denition de C
1
,
[u(x) u(y)[ C|u|
1
((N + 1)[x y[ + 2
N
).
En prenant, comme precedemment, N = [log
2
[xy[] +1, on conclut la demonstration
de la proposition.
Enoncons maintenant les inclusions de Sobolev.

Proposition 6.3.5. Pour tout reel s superieur ou egal à d/2, lespace H
s
est contin ument
inclus dans lespace C
sd/2
.
Preuve : Demontrer cet enonce est très simple. Comme le support de la transformee de
Fourier de
q
u est inclus dans la couronne 2
q
( si q 0 et dans B(0,
4
3
) sinon, il vient,
daprès les inegalites de Bernstein,
|
q
u|
L
C2
qd/2
|
q
u|
L
2.
Il sut de remarquer que la norme
2
dune serie est plus grande que sa norme
pour
achever la demonstration.
Le cas des indices entiers sort quelque peu du cadre de ces notes. La n de cette section 6.3 est
presentee ici à titre culturel et nest pas necessaire à la comprehension de la suite du chapitre.
Lespace C
1
nest pas inclus dans lespace des fonctions lipschitziennes et donc C

0
nest
pas inclus dans L
. Cependant, cette non-inclusion est relativement douce au sens suivant.

84
Proposition 6.3.6. Il existe une constante C telle que, etant donnes un reel de linter-
valle ]0, 1[ et une fonction f appartenant à lespace de Holder C
, on ait
|f|
L

C
|f|
0
log
_
e +
|f|
|f|
0
_
Pour demontrer cette proposition, on ecrit f comme somme des

q
f . Do` u la majoration
suivante :
|f|
L

qN1
|
q
f|
L
+
qN
|
q
f|
L
.
En utilisant la denition des normes holderiennes, il vient, pour tout entier strictement posi-
tif N,
|f|
L
(N + 1)|f|
0
+
2
(N1)
2
1
|f|
.
En choisissant
N = 1 +
_
1
log
2
|f|
|f|
0
_
,
il vient
|f|
L

C
|f|
0
_
1 + log
|f|
|f|
0
_
6.4 Calcul paradierentiel
Dans cette section, on va sinteresser à la fa con dont opère le produit dans les espaces de
Sobolev et de Holder. Pour cela, nous allons utiliser le decoupage dyadique de lespace des
frequences ainsi que les caracterisations des espaces de Sobolev et de Holder exposees dans les
sections precedentes.
La facon de les utiliser est la suivante.

Etant donnees deux distributions temperees u et
v, on ecrit
u =
p
u et v =
q
v.
De manière formelle, le produit, lorsquil existe, va secrire
uv =
p,q
p
u
q
v.
On va maintenant introduire la decomposition de Bony, decomposition qui reconnat trois
parties dans le produit uv ; la première relative aux termes o` u les frequences de u sont grandes
devant celles de v, la deuxième relative aux termes o` u les frequences de v sont grandes devant
celles de u et enn la troisième relative aux termes o` u les frequences de u et de v sont de
taille comparable. Cela conduit à la denition suivante.
Denition. On appelle paraproduit de v par u et on note T
u
v loperateur bilineaire sui-
vant :
T
u
v =
pq2
p
u
q
v =
q
S
q1
u
q
v.
85
On appelle reste du produit uv et on note R(u, v) loperateur bilineaire symetrique suivant :
R(u, v) =
[pq[1
p
u
q
v.
Il est immediat, par denition des operateurs de paraproduit et de reste, que lon a
uv = T
u
v +T
v
u +R(u, v). (6.16)
De letude precise de la fa con dont paraproduit et reste opèrent dans les espaces de Sobolev
et de Holder, va se degager quelques principes generaux facilement enon cables :
Le paraproduit est toujours deni pour deux distributions à support compact et la
regularite de T
u
v est principalement determinee par celle de v.
Le reste par contre nest pas toujours deni, mais lorsquil lest, les regularites de u et
de v sajoutent pour determiner la sienne.
Passons maintenant aux enonces precis.
Theorème 6.4.1. Il existe une constante C ne dependant que de la dimension et telle que
les operateurs T et R precedemment denis verient les proprietes suivantes :
s R, |T
u
v|
C
s C
[s[+1
|u|
L
|v|
C
s,
s R, |T
u
v|
H
s C
[s[+1
|u|
L
|v|
H
s,
(s, t) R] , 0[, |T
u
v|
H
s+t
C
[s+t[+1
t
|u|
C
t |v|
H
s,
(s, t) R] , 0[, |T
u
v|
C
s+t
C
[s+t[+1
t
|u|
C
t |v|
C
s,
(s, t) R
2
/s +t > 0, |R(u, v)|
C
s+t
C
[s+t[+1
s +t
|u|
C
s|v|
C
t
,
(s, t) R
2
/s +t > 0, |R(u, v)|
H
s+t
C
[s+t[+1
s +t
|u|
C
s|v|
H
t
,
(s, t) R
2
/s +t > 0, |R(u, v)|
H
s+t
d
2
C
[s+t[+1
s +t
|u|
H
s|v|
H
t
,
(s, ) R]0, [, |R(u, v)|
H
d
2
|u|
H
s|v|
H
s
Preuve : Daprès la relation (6.5), la transformee de Fourier du terme general du parapro-
duit est supportee dans 2
q
(
t
, o` u (
t
est une couronne xe. En vertu des propositions 6.2.2
et 6.3.2, il sut alors de majorer convenablement les normes L
2
ou L
de S
q1
u
q
v
pour demontrer les proprietes doperance du paraproduit. Daprès les inegalites de Bern-
stein, on a
|S
q1
u|
L
C|u|
L
,
donc, en prenant p 2, +, il vient
2
qs
|S
q1
u
q
v|
L
p C|u|
L
2
qs
|
q
v|
L
p,
do` u les deux premiers resultats de continuite.
Si t < 0, on ecrit S
q1
u =
pq2
p
u, et donc, par denition de la norme | |
t
,
|S
q1
u|
L
|u|
t
pq2
2
pt
C
t
2
qt
|u|
t
, (6.17)
ce qui donne clairement les deux inegalites suivantes.
86
Etudions maintenant loperateur de reste. On peut ecrire

R(u, v) =
q
R
q
avec R
q
=
1
i=1
qi
u
q
v.
Par denition de
q
, le support de la transformee de Fourier de R
q
est inclus dans
2
q
B(0, 24). Grace à la deuxième partie des propositions 6.2.2 et 6.3.1, il sut donc de
majorer les normes L
ou L
2
de R
q
. Par exemple, comme
|R
q
|
L
2 |
q
v|
L
2
1
i=1
|
qi
u|
L
,
il vient
|R
q
|
L
2 |
q
v|
L
2
1
i=1
2
(qi)t
|u|
t
.
Donc, on a
|R
q
|
L
2 C2
qt
|u|
t
|
q
v|
L
2.
La demonstration dans le cas des produits despaces de Holder est strictement similaire et
le resultat dans le cas des produits despaces de Sobolev se deduit immediatement du cas
des produits dun espace de Sobolev et dun espace de Holder daprès la proposition 2.3.
Les deux derniers points sont un peu plus delicats. Les methodes precedentes ne sauraient
fonctionner car elles sont limitees au cas o` u lindice de lespace est strictement positif.
Cette diculte impose de reutiliser le decoupage dyadique de lespace des frequences.
Il sagit de majorer convenablement |
p
R
q
|
L
2 . Pour cela, on revient à la denition de
p
par convolution.
|
p
R
q
|
L
2 2
pd
1
i=1
|h(2
p
) (
qi
u
q
v)|
L
2
2
pd
|h(2
p
)|
L
2
1
i=1
|
qi
u
q
v|
L
1
C2
pd/2
2
q(s+t)
1
i=1
2
(qi)s
|
qi
u|
L
2 2
qt
|
q
v|
L
2.
Comme le support de est inclus dans la couronne (, il existe un entier N tel que
q < p N =i 1, 0, 1,
p
(
qi
u
q
v) = 0.
Donc, en posant r
p
= 2
p(s+td/2)
|
p
R(u, v)|
L
2 , il vient
r
p
(r
1
r
2
)
p
avec
r
1
q
= 2
q(s+t)
si q N et 0 sinon,
r
2
q
=
1
i=1
2
(qi)s
|
qi
u|
L
2 2
qt
|
q
v|
L
2.
87
Lnegalite de Holder assure alors que
|r|
2 |r
1
|
2|r
2
|
2 C[u[
s
[v[
t
.
et la proposition 6.2.1 donne donc
[R(u, v)[
s+td/2

C
s+t+1
s +t d/2
[u[
s
[v[
t
.
La modication de la demonstration ci-dessus dans le cas o` u t = s est un exercice
laisse au lecteur.
Nous allons maintenant deduire du theorème precedent les classiques estimations douces (ou
tame estimates en anglais) relatives aux espaces de Sobolev et de Holder.
Corollaire 6.4.1. Il existe une constante C telle que, pour tout s strictement positif, on ait :
|uv|
s
C
s+1
(|u|
L
|v|
s
+|u|
s
|v|
L
),
[uv[
s
C
s+1
(|u|
L
[v[
s
+[u[
s
|v|
L
).
Preuve : La demonstration est extremement simple. On utilise la decomposition (6.16) en
paraproduit et reste
uv = T
u
v +T
v
u +R(u, v).
Il sut alors dappliquer le theorème 6.4.1 ci-dessus. Pour traiter le terme de reste, on
utilise de plus que lespace L
est contin ument inclus dans C

0
.
88
6.5 Exercices
Exercice 6.1. Soit ( une couronne de R
d
et p N0. Dans tout cet exercice, u designera
une fonction dont la transformee de Fourier est supportee dans la couronne (.
1) Demontrer quil existe une famille de fonctions (u
j
)
1jd
dont la transformee de Fourier
est à support dans ( et telle que
_
R
d
u
2p
dx =
d
j=1
_
R
d
j
u
j
u
2p1
dx et |u
j
|
L
2p C|u|
L
2p.
2) En deduire que |u
p
|
L
2 C|(u
p
)|
L
2 .
Exercice 6.2. Soit s un reel strictement positif. On considère une suite (u
q
)
qN
de fonctions
de L
2
dont toutes les derivees partielles sont dans L
2
et telle que lon ait
N
d
, |
u
q
|
L
2 c
q,
2
q(s[[)
avec
q
c
2
q,
< .
Demontrer que la serie
u
q
converge dans L
2
, que sa somme u appartient à H
s
et que
|u|
2
H
s C
_
q
c
2
q,0
+
q, [[=[s]+1
c
2
q,
_
.
Indication : On ecrira
q
u =
q
p<q
u
p
+
q
pq
u
p
.
Exercice 6.3. Soit f une fonction de T(R) nulle en 0 et s un reel strictement positif.
1) Demontrer que, si u est dans H
s
, alors
lim
q
|f(S
q+1
u) f(u)|
L
2 = 0.
En deduire que lon a, dans L
2
,
f(u) =
q
f(S
q+1
u) f(S
q
u).
2) Demontrer que
f(S
q+1
u) f(S
q
u) = m
q
q
u avec
m
q
def
=
_
1
0
f
t
(S
q
u +t
q
u) dt.
3) On suppose dorenavant que u appartient à H
s
L
. Demontrer que, pour tout , il

existe une constante C (ne dependant que de , de f et de |u|
L
) telle que
|
m
q
|
L
C2
q[[
.
4) En deduire que f(u) appartient à H
s
et quil existe une constante C (ne dependant
que de s, de f et de |u|
L
) telle que
|f(u)|
H
s C|u|
H
s.
89
Exercice 6.4. Soit r un reel strictement negatif. Demontrer quune distribution u appartient
à C
r
si et seulement si il existe une constante C telle que
|S
q
u|
L
C2
qr
.
Exercice 6.5. Soit s un reel strictement negatif. Demontrer quune distribution u appartient
à H
s
si et seulement si il existe une constante C telle que
|S
q
u|
L
2 Cc
q
2
qs
avec
q
c
2
q
= 1.
Comparer C avec [u[
s
.
Exercice 6.6. Soit une fonction C
(R
d
) homogène de degre m en dehors de la boule
B(0, R
0
) Demontrer que, pour tout reel r, loperateur (D) deni par
(D)u
def
= T
1
( u)
est continu de C
r
dans C
rm
.
Exercice 6.7. Soit r un reel de lintervalle ] 1, 0[ .
Demontrer que lespace C
r
de la denition 6.3.2 est lespace des distributions u telles quil
existe une suite (u
j
)
0jd
de fonctions C
1+r
telles que
u = u
0
+
d
j=1
j
u
j
.
Exercice 6.8. Soit (s, t) R
2
tel que s +t > 0 et s t.
(i) Montrer que si de plus s <
d
2
et t <
d
2
alors lapplication (u, v) uv est continue de
H
s
(R
d
) H
t
(R
d
) dans H
s+t
d
2
(R
d
).
(ii) Montrer que si de plus t >
d
2
alors lapplication (u, v) uv est continue de H
s
(R
d
)
H
t
(R
d
) dans H
s
(R
d
).
90
Bibliographie
[1] G. Allaire et P.-L. Lions : Analyse numerique et optimisation, cours de l
Ecole Polytech-
nique.
[2] J.-M. Bony : Integration et analyse hilbertienne, cours de l
Ecole Polytechnique.
[3] J.-M. Bony et C. Viterbo : Distributions, analyse de Fourier et systèmes dynamiques, cours
de l
[4] H. Brezis : Analyse fonctionnelle. Theorie et applications, Masson.
[5] J.-Y. Chemin : Fluides parfaits incompressibles, Asterisque, 230 (1995).
[6] J.-Y. Chemin, B. Desjardins, I. Gallagher and E. Grenier : Mathematical geophysics. An
introduction to rotating uids and the Navier-Stokes equations. Oxford Lecture Series in
Mathematics and its Applications, 32. The Clarendon Press, 2006.
[7] R. Danchin : Notes de cours danalyse fonctionnelle, http ://perso-math.univ-mlv.fr
/users/danchin.raphael/.
[8] R. Danchin : Fourier Analysis Methods for PDEs, http ://perso-math.univ-mlv.fr
/users/danchin.raphael/recherche.html/.
[9] J. Dixmier : Cours de topologie generale, Presses Universitaires de France.
[10] P. Huerre : Cours de mecanique des uides,

[11] M. Schechter : Principles of Functional Analysis, second edition, Graduate Studies in
Mathematics, American Mathematical Society.
91
Index
Convergence
faible, 21
Dyadique, 75
Equicontinue, 15
Espace
C
1
, 83
C
r
, 82
H
1
0
, 32
H
s
, 29
H
1
, 32
de Holder, 80
de Sobolev, 29, 79
L
p
, 17
Inegalite
de Bernstein, 75
de Holder, 18
de Poincare, 32
de Young, 20
Lemme
de Gronwall, 11
de Schur, 28
Minimax, 51
Navier-Stokes, 5
Operateur, 13
adjoint, 23
auto-adjoint, 24
compact, 13
de rang ni, 13
Paraproduit, 85
Problème
de Dirichlet, 41
de Stokes non stationnaire, 49
de Stokes stationnaire, 42
Reste, 86
Spectre
de loperateur de Stokes, 46
du Laplacien, 41, 51
Theorème
dAscoli, 15
de Baire, 27
de Banach-Steinhaus, 22, 27
de Cauchy-Lipschitz, 7
de compacite faible, 22
de Fujita-Kato, 68
de Leray, 53
de Peano, 9
de Riesz, 13
92

Analyse Nonlinéaire

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Analyse Nonlinéaire

Uploaded by

Copyright:

Available Formats

ANALYSE NON LIN

) est une equation devolution, cest-`a-dire quune variable (`a savoir t le

On consid`ere une fonction x ((J; B(x

dans E tel que

Par hypoth`ese, la suite (z

Par passage `a la limite, on constate que la fonction f est uniformement continue de X

Il existe un entier p tel que

(d) comme etant les classes dequivalence (modulo la

. Dapr`es linegalite de Holder, on a

Enon cons un corollaire de linegalite de Holder.

est appele operateur adjoint de T, et verie |T|

. On a, pour tout y appartenant `a ker(C

x[y) = 0. Do` u la relation (1.10).

Etudions maintenant loperateur A restreint `a lespace de Hilbert H

(X, K) dune structure despace de Banach.

(X, K) dans lespace de Banach des

est lespace des champs de

est lespace des champs de vecteurs v 1()

Enon cons lanalogue du theor`eme de Dirichlet dans ce cadre.

ce qui signie que, pour tout champ de vecteurs v de 1

associe f, v). Par

. Soit p cette fonction. Considerons le ot

est plus forte que

. Alors il existe p dans L

, cest-`a-dire un champ de vecteurs de H

. Il en resulte donc que

, alors il existe une suite (p

, que nous noterons 1

. Cest un sous-ensemble de lespace des

muni du produit scalaire H

au sens du produit scalaire L

muni du produit scalaire H

: rappelons que cest la restriction des formes lineaires

, et on peut le decrire de la mani`ere suivante. Denissons

concide avec lespace 1

alors en particulier f est une forme lineaire sur 1

est la limite dans L(H; 1

) avec donnee initiale u

) et satisfait, pour tout (

) admet une unique solution u qui, de plus, appartient

) se reduit alors `a une equation dierentielle ordinaire dont lunique

) telle que, pour tout k, la fonction f

), on conclut que u est solution de (ES

f(x) u(x) dx.

est un champ de forces exterieures donne.

par son premier terme u

) avec une donnee

Enon cons le theor`eme de Leray.

). Il existe une solution u de (NS

) telle que, pour tout k,

. Comme le membre de gauche

) pour tout T > 0.

) tel qu`a une extraction pr`es, la suite (u

) est un espace de Hilbert separable.

) tel quune sous-suite de (u

etant compacte, cette

. Par unicite de la limite, on a

), considerons une fonction dans (

u(t, x)(t, x)dx.

) au sens de la denition 4.1.1. Cela conclut

(cf proposition 3.2.4), la fonction

). Alors, en utilisant le theor`eme 3.3.1, il apparat que

) avec donnee initiale P

), on en deduit, en utilisant la proposition 3.2.4,