Vous êtes sur la page 1sur 15

Chapitre 4

La m ethode de Galerkin
La m ethode de Galerkin est une m ethode tr` es g en erale et tr` es robuste. Lid ee
de la m ethode est la suivante. Partant dun probl` eme pos e dans un espace de di-
mension innie, on proc` ede dabord ` a une approximation dans une suite croissante
de sous-espaces de dimension nie. On r esout ensuite le probl` eme approch e, ce
qui est en g en eral plus facile que de r esoudre directement en dimension innie.
Enn, on passe dune facon ou dune autre ` a la limite quand on fait tendre la di-
mension des espaces dapproximation vers linni pour construire une solution
du probl` eme de d epart. Il convient de noter que, outre son int er et th eorique, la
m ethode de Galerkin fournit egalement un proc ed e constructif dapproximation.
4.1 R esolution du probl` eme mod` ele par la m ethode
de Galerkin
On se propose de reprendre le probl` eme mod` ele du chapitre 1 comme exemple
dapplication de la m ethode de Galerkin. Rappelons le probl` eme. Soit un ouvert
born e de R
N
et soit f fonction de C
0
(R) L

(R), il sagit de trouver une fonction


u H
1
0
() telle que u = f (u) au sens de D

(). De facon equivalente, il sagit


de r esoudre le probl` eme variationnel
v H
1
0
(),
_

u vdx =
_

f (u)vdx. (4.1)
On proc` ede par etapes.
Lemme 11 Soit V un espace de Banach s eparable de dimension innie. Il existe
une famille libre d enombrable {v
i
}
iN
, v
i
V, telle que les combinaisons lin eaires
nies des v
i
sont denses dans V.
D emonstration. Voir Le Dret.
73
74 CHAPITRE 4. La m ethode de Galerkin
Remarque 24 i) R eciproquement, sil existe une telle famille v
i
, alors lespace V
est s eparable. En effet, les combinaisons lin eaires nies ` a coefcients rationnels
des v
i
forment un ensemble egalement dense dans V et d enombrable.
ii) Le lemme 11 sexprime de facon equivalente, si V
i
= vect{v
0
, v
1
, . . . , v
i
} est
lespace vectoriel engendr e par les i +1 premiers vecteurs, alors le sev

i=0
V
i
est
dense dans V.
Dans la suite, on appliquera le lemme 11 ` a lespace V = H
1
0
(), lequel est
s eparable. Pour construire lapproximation du probl` eme en dimension nie, on
restreint simplement la formulation variationnelle (4.1) ` a lespace de Galerkin V
i
.
Montrons lexistence pour ce probl` eme en dimension nie.
Lemme 12 Pour tout i N, le probl` eme variationnel : trouver u
i
V
i
tel que
v V
i
,
_

u
i
vdx =
_

f (u
i
)vdx, (4.2)
admet au moins une solution.
D emonstration. On munit V
i
du produit scalaire h erit e de L
2
(), cest ` a dire
[u, v]
i
=
_

uvdx, et lon identie V


i
, espace euclidien de dimension nie, et son
dual par linterm ediaire de ce produit scalaire.
Lapplication (u, v) a(u, v) =
_

u vdx est une forme bilin eaire sur V


i
.
Par le th eor` eme de Riesz, il existe donc une application lin eaire A
i
L(V
i
) telle
que a(u, v) = [A
i
(u), v]
i
. Comme V
i
est de dimension nie, cette application est
continue.
De m eme, il existe une application F
i
: V
i
V
i
telle que pour tout couple (u, v),
_

f (u)vdx = [F
i
(u), v]
i
. Il suft de prendre F
i
=
i


f , o` u
i
est la projection
orthogonale L
2
sur V
i
. Cette application, non lin eaire cette fois, est egalement
continue, comme compos ee dapplications continues (on utilise ici le th eor` eme de
Carath eodory).
Le probl` eme (4.2) se r e ecrit donc
v V
i
, [A
i
(u
i
), v]
i
= [F
i
(u
i
), v]
i
, (4.3)
soit, en introduisant la fonction continue P
i
: V
i
V
i
, P
i
(u) = A
i
(u) F
i
(u),
P
i
(u
i
) = 0. (4.4)
Pour r esoudre ce probl` eme, on va appliquer le th eor` eme 26. Pour cela, il faut
calculer [P
i
(u), u]
i
sur une sph` ere. Par d enition du produit scalaire sur V
i
, nous
4.1. R esolution du probl` eme mod` ele par la m ethode de Galerkin 75
obtenons
[P
i
(u), u]
i
=
_

P
i
(u)udx = a(u, u)
_

f (u)udx
u
2
L
2
()
f
L

(R)
(mes)
1/2
u
L
2
()
u
2
L
2
()
C

f
L

(R)
(mes)
1/2
u
L
2
()
= u
L
2
()
(u
L
2
()
C

f
L

(R)
(mes)
1/2
),
o` u C

est la constante de lin egalit e de Poincar e. Nous voyons donc que


u
L
2
()
C

f
L

(R)
(mes)
1/2
=[P
i
(u), u]
i
0.
Or toutes les normes sont equivalentes sur V
i
, qui est de dimension nie. Par
cons equent, il existe > 0 tel que
_
[u, u]
i
entrane que lon a u
L
2
()

C

f
L

(R)
(mes)
1/2
. Par le th eor` eme 26, le probl` eme (4.4) admet une solution
u
i
telle que
_
[u
i
, u
i
]
i
.
Nous avons construit une suite (u
i
)
iN
de solutions du probl` eme approch e.
Notons que nous aurions egalement pu appliquer le th eor` eme de Brouwer lui-
m eme en suivant de plus pr` es la d emonstration dexistence par point xe.
Il sagit maintenant de passer ` a la limite quand la dimension i tend vers linni.
On commence par une estimation uniforme par rapport ` a i.
Lemme 13 La suite (u
i
)
iN
est born ee dans H
1
0
().
D emonstration. On reprend le calcul pr ec edent :
a(u
i
, u
i
) =
_

f (u
i
)u
i
dx C

f
L

(R)
(mes)
1/2
u
i

L
2
()
.
Par cons equent,
u
i

L
2
()
C

f
L

(R)
(mes)
1/2
,
ce qui montre le lemme.
On peut maintenant passer ` a la limite dans le probl` eme variationnel.
Lemme 14 Toute sous-suite faiblement convergente de la suite u
i
converge vers
une solution du probl` eme 4.1.
D emonstration. Soit une sous-suite u
i
telle que u
i
u dans H
1
0
() (il en existe
dapr` es le lemme pr ec edent). Par le th eor` eme de Rellich, on a donc u
i
u dans
L
2
() fort. Par cons equent, le th eor` eme de Carath eodory implique que f (u
i
)
f (u) dans L
2
() fort.
76 CHAPITRE 4. La m ethode de Galerkin
Fixons un entier j. Comme la suite V
i
est croissante, pour tout i j, v
j
V
i
.
Par cons equent, on peut appliquer l equation (4.2) avec la fonction test v
j
:
_

u
i
v
j
dx =
_

f (u
i
)v
j
dx.
Comme u
i
u dans L
2
() faible, on a dune part
_

u
i
v
j
dx
_

u v
j
dx.
Comme f (u
i
) f (u) dans L
2
() fort dautre part, on a egalement
_

f (u
i
)v
j
dx
_

f (u)v
j
dx.
Par cons equent, pour tout j N,
_

u v
j
dx =
_

f (u)v
j
dx.
Comme cette equation est lin eaire par rapport ` a v
j
, elle reste vraie pour les com-
binaisons lin eaires nies des v
j
, soit
v

_
i=0
V
i
,
_

u vdx =
_

f (u)vdx. (4.5)
Enn,

i=0
V
i
est dense dans V. Pour tout v V, il existe une suite z
i
V
i
telle
que z
i
v dans V fort. On applique l egalit e pr ec edente avec v = z
i
et lon passe
` a la limite quand i + sans difcult e pour conclure que u est bien solution du
probl` eme (4.1).
4.2 La m ethode de Galerkin pour la m ecanique des
uides
La r esolution du probl` eme mod` ele ne pr esente gu` ere de difcult es, que ce
soit pour lexistence en dimension nie, lestimation des solutions approch ees
ou le passage ` a la limite sur la dimension. Nous donnons maintenant un exemple
dapplication de la m ethode de Galerkin ` a un probl` eme qui pr esente des similarit es
avec les equations de Navier-Stokes de la m ecanique des uides.
Les equations de Navier-Stokes sont des equations extr emement importantes
qui d ecrivent l ecoulement dun uide visqueux incompressible ou compressible,
4.2. La m ethode de Galerkin pour la m ecanique des uides 77
stationnaire ou instationnaire. Dans le cas incompressible, elles prennent la forme
suivante. On cherche un couple (u, p), o` u u est la vitesse du uide (laquelle a trois
composantes en dimension trois, donc ` a valeurs vectorielles) et p la pression (un
scalaire), qui satisfait
_
u+(u )up = f dans ,
divu = 0 dans ,
(4.6)
avec des conditions aux limites appropri ees. La constante est la viscosit e du
uide, lop erateur u est d eni par [(u )v]
i
= u
j

j
v
i
avec sommation de 1 ` a
3 par rapport ` a lindice r ep et e j, et f est une densit e de forces appliqu ees. La
relation divu = 0 exprime lincompressibilit e du uide. Il sagit de la version
stationnaire du probl` eme, puisquil ny a pas de d ependance en temps. L etude
du syst` eme (4.6) va bien au-del` a du propos de ces notes. N eanmoins, nous allons
consid erer une equation beaucoup plus simple, mais qui pr esente une non lin earit e
analogue ` a celle des equations de Navier-Stokes et qui partage donc certaines de
ses propri et es.
Nous allons donc chercher une fonction scalaire u telle que
_
u+u
1
u = f dans ,
u = 0 sur .
(4.7)
Nous pr eciserons le sens fonctionnel de cette equation plus loin. Comme nous
lavons d ej` a soulign e, il sagit dune equation scalaire, alors que les equations de
Navier-Stokes sont vectorielles. Elle ne contient donc rien qui puisse etre compar e
` a la condition dincompressibilit e et ` a la pr esence du gradient de pression. Par
contre, le terme non lin eaire u
1
u mod elise bien le terme u u des equations de
Navier-Stokes.
Pour appliquer la m ethode de Galerkin, nous allons avoir besoin dune base
un peu particuli` ere. On commence par un r esultat de densit e.
Lemme 15 Soit un ouvert born e de R
N
et soit p [1, +[. Alors D() est
dense dans H
1
0
() L
p
().
Remarque 25 Nous savons d ej` a que D() est dense dans H
1
0
() par d enition
de H
1
0
() dune part et dans L
p
() dautre part par convolution par des noyaux
r egularisants. Le lemme 15 afrme en plus que lon peut approcher tout el ement
de lintersection de ces deux espaces par une suite de fonctions de D() qui
converge simultan ement pour les deux topologies. Notons que le r esultat reste
vrai dans un ouvert absolument quelconque.
78 CHAPITRE 4. La m ethode de Galerkin
D emonstration. On proc` ede par approximations successives. Soit u H
1
0
()
L
p
(). On tronque u ` a la hauteur k en posant u
k
= T
k
(u). On a par cons equent
u
k
H
1
0
() L

() et u
k
u dans H
1
0
() L
p
() quand k + gr ace au
th eor` eme 43 (en version L
p
).
Consid erons une suite
m
D() telle que
m
u
k
dans H
1
0
() et presque
partout. Soit

T
k+1
une fonction C

sur R telle que pour |t| k,



T
k+1
(t) = t et
|

T
k+1
(s)| k +1 pour tout s (il en existe, manifestement). Lop erateur de super-
position associ e est continu sur H
1
0
(), donc

T
k+1
(
m
)

T
k+1
(u
k
) = u
k
dans
H
1
0
() et presque partout, puisque u
k
est d ej` a tronqu e ` a la hauteur k. Comme

T
k+1
(
m
)
L

()
k +1 et est born e, on en d eduit que

T
k+1
(
m
) u
k
dans
L
p
() par le th eor` eme de convergence domin ee de Lebesgue.
Par construction,

T
k+1
(
m
) est ` a support compact dans et de classe C

.
Pour conclure, il convient dextraire une suite diagonale convergente des deux
approximations successives m + et k +.
Remarque 26 Si u L

() alors la construction pr ec edente fournit une suite de


fonctions de D() qui converge vers u dans H
1
0
() et dans L

() faible-. En
effet, toutes les approximations successives sont alors born ees dans L

() et donc
faiblement- convergentes. On peut en extraire une suite diagonale convergente
car la topologie faible- de L

() est m etrisable sur les born es (en effet, L

()
est le dual de L
1
(), espace de Banach s eparable).
Nous pr ecisons maintenant le sens fonctionnel de l equation ` a r esoudre.
Lemme 16 Si u H
1
0
(), alors u
1
u L
s
() avec
_
_
_
1 s 2 pour N = 1,
1 s < 2 pour N = 2,
1 s
N
N1
pour N 3.
D emonstration. Dapr` es les injections de Sobolev,
_
_
_
H
1
0
() L

() si N = 1,
H
1
0
() L
q
() pour tout q < + si N = 2,
H
1
0
() L
2

() avec 2

=
2N
N2
si N 3.
Par lin egalit e de H older, pour tout couple de nombres positifs (,

) tels que
1/ +1/

= 1, on a
_

|u
1
u|
s
dx
_
_

|u|
s
dx
_1

_
_

|
1
u|
s

dx
_ 1

.
4.2. La m ethode de Galerkin pour la m ecanique des uides 79
Pour N 3, on saura conclure si 1 s 2

et 1 s

2, i.e., s(1/2

+1/2) 1
et s 1. Comme (1/2

+1/2) = (N1)/N, on obtient le r esultat dans ce cas.


Pour N = 2, le m eme calcul donne s(1/q+1/2) 1 pour un certain q < +,
soit s < 2. Le cas N = 1 est trivial.
Remarque 27 i) Le lemme 16 permet de pr eciser le sens ` a donner ` a l equation
aux d eriv ees partielles du probl` eme (4.7).

Etant donn e f H
1
(), on va donc
chercher u H
1
0
() tel que
u+u
1
u = f au sens de D

(). (4.8)
Cette equation a un sens, puisque lon a u L
2
(; R
N
) et u =div(u)
H
1
(). De plus, u
1
u L
s
() pour les valeurs de s donn ees dans le lemme. Tous
les termes de l equation sont donc des distributions parfaitement bien d enies.
ii) Si u H
1
0
() est solution de (4.8), alors n ecessairement u
1
u H
1
().
Linformation u
1
u H
1
() est une information suppl ementaire apport ee par
l equation si L
s
() H
1
(). Comme, par dualit e, L
s
() H
1
() est equi-
valent ` a H
1
0
() L
s

() avec s

= 2 pour N = 1, s

> 2 pour N = 2 et s

= N pour
N 3, on voit gr ace aux injections de Sobolev que si N 5, L
s
() H
1
().
En particulier, dans les cas physiques , N = 2, 3, l equation (4.8) a lieu a priori
au sens de H
1
().
Nous allons montrer le th eor` eme dexistence suivant par la m ethode de Galer-
kin.
Th eor` eme 45 Soit un ouvert born e de R
N
. Pour tout f H
1
() il existe une
solution u H
1
0
() du probl` eme 4.7.
On commence par construire une base de Galerkin appropri ee. Dans la suite
s

prend les valeurs indiqu ees dans la remarque ii) qui suit le lemme 16.
Lemme 17 Il existe une famille d enombrable (w
m
)
mN
d el ements de D() dont
les combinaisons lin eaires nies sont denses dans H
1
0
() L
s

().
D emonstration. Comme H
1
0
() et L
s

() sont tous deux s eparables pour leur


norme respective, il vient que V = H
1
0
() L
s

() est s eparable pour sa norme


naturelle v
H
1
0
()
+v
L
s

()
. En effet, V est isom etrique au sous-ensemble =
{(v, v) H
1
0
() L
s

()} du produit cart esien H


1
0
() L
s

() muni de la norme
(v, w) =v
H
1
0
()
+w
L
s

()
, lequel est clairement s eparable.
On utilise maintenant le fait que D() est dense dans V, cf. lemme 15, pour
construire une famille d enombrable dense form ee d el ements de D() et on con-
clut en utilisant le lemme 11.
80 CHAPITRE 4. La m ethode de Galerkin
Consid erons maintenant le probl` eme variationnel en dimension nie.
Lemme 18 Soit V
m
= vect{w
1
, w
2
, . . . , w
m
}. Le probl` eme : trouver u
m
V
m
tel
que
v
m
V
m
,
_

u
m
v
m
dx +
_

u
m

1
u
m
v
m
dx = f , v
m
, (4.9)
admet au moins une solution. De plus cette solution satisfait
u
m

L
2
()
f
H
1
()
. (4.10)
D emonstration. On commence par remarquer que par construction des w
i
, V
m

D(). On munit V
m
du produit scalaire L
2
(sans notation sp ecique cette fois).
Comme pr ec edemment, il existe deux applications continues A
m
et B
m
de V
m
dans
V
m
telles que
z
m
, v
m
V
m
,
_ _

z
m
v
m
dx =
_

A
m
(z
m
)v
m
dx,
_

z
m

1
z
m
v
m
dx =
_

B
m
(z
m
)v
m
dx.
De m eme, il existe F
m
V
m
tel que
v
m
V
m
, f , v
m
=
_

F
m
v
m
dx.
Posant P
m
(z
m
) = A
m
(z
m
) +B
m
(z
m
) F
m
, le probl` eme variationnel se r e ecrit donc
sous la forme : trouver u
m
V
m
tel que
P
m
(u
m
) = 0.
Pour r esoudre une telle equation en utilisant le th eor` eme 26, nous sommes
donc amen es ` a calculer les produits scalaires :
_

P
m
(z
m
)z
m
dx =
_

z
m
z
m
dx +
_

z
2
m

1
z
m
dx f , z
m
. (4.11)
Or, comme z
m
D(), on a aussi z
3
m
D() et
1
(z
3
m
) =3z
2
m

1
z
m
. Par cons equent,
_

z
2
m

1
z
m
dx =
1
3
_

1
(z
3
m
)dx = 0,
et le produit scalaire (4.11) se r eduit donc ` a
_

P
m
(z
m
)z
m
dx =
_

z
m
z
m
dx f , z
m
. (4.12)
On constate que le terme non lin eaire a disparu. Il est alors el ementaire de trouver
une sph` ere sur laquelle
_

P
m
(z
m
)z
m
dx 0, ce qui permet de conclure ` a lexis-
tence de u
m
.
Reprenant alors (4.12) pour z
m
= u
m
, on obtient
u
m

2
L
2
()
=
_

u
m
u
m
dx = f , u
m
u
m

L
2
()
f
H
1
()
,
do` u lestimation (4.10).
4.2. La m ethode de Galerkin pour la m ecanique des uides 81
Dapr` es lestimation (4.10), nous pouvons extraire de la suite u
m
une sous-
suite, toujours not ee u
m
, qui converge faiblement dans H
1
0
() vers une limite u.
Nous pouvons alors achever la d emonstration du th eor` eme 45.
Lemme 19 La limite faible u H
1
0
() est solution du probl` eme variationnel :
v V,
_

u vdx +
_

u
1
uvdx = f , v. (4.13)
En particulier, u est solution du probl` eme 4.7.
D emonstration. Fixons un indice j. Pour m j, w
j
V
m
et nous avons donc
_

u
m
w
j
dx +
_

u
m

1
u
m
w
j
dx = f , w
j
. (4.14)
Comme u
m
u dans L
2
(), on a imm ediatement
_

u
m
w
j
dx
_

u w
j
dx.
Par ailleurs, par le th eor` eme de Rellich, u
m
u dans L
2
() fort. Comme w
j

D(), on en d eduit tout aussi imm ediatement que u
m
w
j
uw
j
dans L
2
() fort.
Combin e avec la convergence faible de
1
u
m
, ceci donne pour le terme non lin eaire
_

u
m
w
j

1
u
m
dx
_

uw
j

1
udx.
Par cons equent, passant ` a la limite quand m+ dans (4.14), nous obtenons (le
second membre ne d epend pas de m)
_

u w
j
dx +
_

u
1
uw
j
dx = f , w
j
.
Cette egalit e est vraie pour tout j N

. Elle implique par combinaisons lin eaires


nies que
v

_
m=1
V
m
,
_

u vdx +
_

u
1
uvdx = f , v.
Ici encore,

m=1
V
m
est dense dans V = H
1
0
() L
s

(). Pour tout v V, il existe


donc une suite v
m
V
m
telle que v
m
v dans H
1
0
() fort et dans L
s

() fort.
Dapr` es la premi` ere convergence
_

u v
m
dx
_

u vdx, f , v
m
f , v
82 CHAPITRE 4. La m ethode de Galerkin
dune part, et dautre part, par la deuxi` eme convergence
_

u
1
uv
m
dx
_

u
1
uvdx.
En effet, on a vu que u
1
u L
s
(). On obtient donc bien le probl` eme variationnel
4.13.
Pour conclure, on remarque que D() V, ce qui implique que u est bien
solution du probl` eme 4.7 de d epart.
Remarque 28 Le probl` eme variationnel est un peu inhabituel, puisque lespace
o` u se trouve la solution H
1
0
() est en g en eral, i.e., pour N 5, diff erent de lespace
des fonctions test, m eme si ce dernier en est un sous-espace dense. En particulier,
on ne peut pas prendre v = u dans (4.13). En effet, il ny a aucune raison pour que
u appartienne ` a L
s

(), puisque l equation ne fournit aucun contr ole sur la norme


L
s

() des solutions eventuelles.


Pour pallier cet inconv enient, on fait la remarque suivante.
Proposition 20 Toute solution du probl` eme 4.7 satisfait
v H
1
0
(),
_

u vdx +u
1
u, v
H
1
(),H
1
0
()
= f , v
H
1
(),H
1
0
()
.
(4.15)
D emonstration. Si u H
1
0
() est solution du probl` eme 4.7, alors u
1
u = f +u
appartient ` a H
1
() comme on la d ej` a not e, et lon a pour tout v H
1
0
()
u
1
u, v
H
1
(),H
1
0
()
= f +u, v
H
1
(),H
1
0
()
= f , v
H
1
(),H
1
0
()

u vdx
qui nest autre que l equation variationnelle cherch ee.
Pour exploiter le probl` eme (4.15), on a besoin dun r esultat technique.
Lemme 20 Soit un ouvert born e de R
N
et soit 1 p +. On se donne
une distribution T telle que T H
1
() L
p

(). Alors, pour tout v H


1
0
()
L
p
(),
T, v
H
1
(),H
1
0
()
=
_

T(x)v(x)dx.
4.2. La m ethode de Galerkin pour la m ecanique des uides 83
D emonstration. Dapr` es le lemme 15, il existe une suite
n
D() telle que

n
v dans H
1
0
() fort et
n
v dans L
p
() fort si p < + et faible- si
p = +. Comme T L
p

() L
1
loc
(), lidentication canonique des fonctions
localement int egrables ` a des distributions nous dit que
T,
n

()D()
=
_

T(x)
n
(x)dx.
Utilisant les convergences de la suite
n
, on peut clairement passer ` a la limite dans
les deux membres de cette egalit e quand n + et obtenir ainsi le lemme.
Corollaire 46

Egalit e d energie : toute solution du probl` eme 4.7 satisfait
_

u udx = f , u
H
1
(),H
1
0
()
. (4.16)
D emonstration. Il suft de montrer que u
1
u, u
H
1
(),H
1
0
()
= 0. On proc` ede
par une troncature un peu diff erente de celle utilis ee jusqu` a pr esent. Soit S
n
la
fonction continue afne par morceaux
S
n
(t) =
_

_
0 si |t| 2n,
t si |t| n,
t 2n si 2n t n,
t +2n si n t 2n.
Nous avons clairement S
n
(u) H
1
0
() L
s

(). Par cons equent, le lemme 20


implique que
u
1
u, S
n
(u)
H
1
(),H
1
0
()
=
_

u
1
uS
n
(u)dx. (4.17)
Introduisons alors la fonction
G
n
(t) =
_
t
0
sS
n
(s)ds.
Comme |sS
n
(s)| n
2
, il vient que G
n
appartient ` a C
1
(R) et est globalement Lip-
schitzienne. Par cons equent, G
n
(u) H
1
0
() avec G
n
(u) = uS
n
(u)u et lon
d eduit de (4.17) que
u
1
u, S
n
(u)
H
1
(),H
1
0
()
=
_

1
G
n
(u)dx = 0. (4.18)
Il est facile de voir en utilisant les m emes arguments que dans l etude de la
troncature que S
n
(u) u dans H
1
0
() fort quand n +. Passant ` a la limite
dans (4.18), on obtient le corollaire.
84 CHAPITRE 4. La m ethode de Galerkin
Remarque 29 La fonction G
n
est une approximation globalement Lipschitzienne
de la fonction t t
3
/3. La nullit e du terme u
1
u, u provient donc essentielle-
ment de largument d ej` a utilis e dans lapproximation de Galerkin en dimension
nie, quoique l eg` erement rafn e. On ne pouvait pas utiliser la troncature T
n
ici,
car les primitives de s sT
n
(s) ne sont pas globalement Lipschitziennes sur R.
Corollaire 47 Toute solution du probl` eme 4.7 satisfait lestimation
u
L
2
()
f
H
1
()
.
D emonstration. Imm ediat dapr` es l egalit e d energie.
Nous concluons ce chapitre par un r esultat dunicit e qui montre quil ny a pas
dautre solution que celle que nous avons d ej` a construite. Le r esultat repose sur
lutilisation de fonctions test non lin eaires qui approchent le signe de la diff erence
de deux solutions eventuelles. Plus pr ecis ement, pour tout > 0, on introduit la
fonction continue afne par morceaux

(t) =
_

_
1 si t ,
t

si |t| ,
+1 si t ,
do` u

(t) =
_
0 si |t| > ,
1

si |t| < .
Nous utiliserons lidentit e

(t)
2
=
1

(t). On commence par un lemme tech-


nique.
Lemme 21 Pour tous u
1
, u
2
H
1
0
(), posant w = u
1
u
2
, on a
_

(u
1

1
u
1
u
2

1
u
2
)

(w)dx =
1
2
_

(u
1
+u
2
)w

(w)
1
wdx. (4.19)
Remarque 30 Comme |w

(w)| 1, lint egrale du second membre a bien un


sens.
4.2. La m ethode de Galerkin pour la m ecanique des uides 85
D emonstration. On consid` ere deux suites
n
1
,
n
2
D() qui convergent respec-
tivement vers u
1
et u
2
dans H
1
0
() fort.
`
A n x e, (
n
1
)
2
(
n
2
)
2
et

(
n
1

n
2
)
appartiennent tous deux ` a H
1
0
(). Posant
n
=
n
1

n
2
, une int egration par par-
ties donne
_

(
n
1

n
1

n
2

n
2
)

(
n
)dx =
1
2
_

1
_
(
n
1
)
2
(
n
2
)
2
_

(
n
)dx
=
1
2
_

_
(
n
1
)
2
(
n
2
)
2
_

(
n
)dx
=
1
2
_

(
n
1
+
n
2
)
n

(
n
)
1

n
dx.
(4.20)
On introduit alors la fonction

(t) =
_
t
0
s

(s)ds. Elle est globalement Lip-


schitzienne avec deux points de non-d erivabilit e. Par cons equent,

(
n
) H
1
0
(),

(
n
) =
n

(
n
)
1

n
et (4.20) se r e ecrit sous la forme
_

(
n
1

n
1

n
2

n
2
)

(
n
)dx =
1
2
_

(
n
1
+
n
2
)
1

(
n
)dx. (4.21)
Faisons tendre n vers linni. On a
n
1
+
n
2
u
1
+u
2
dans L
2
() fort,
1

(
n
)

(w) dans L
2
() fort, donc
_

(
n
1
+
n
2
)
1

(
n
)dx
_

(u
1
+u
2
)
1

(w)dx =
_

(u
1
+u
2
)w

(w)
1
wdx.
Pour le membre de gauche de (4.21), on note que

(
n
)

(w) dans H
1
0
()
fort, avec une borne uniforme dans L

(). Par cons equent,

(
n
)

(w) dans
L

() faible-. De plus,
n
1

n
1

n
2

n
2
u
1

1
u
1
u
2

1
u
2
dans L
1
() fort
par lin egalit e de Cauchy-Schwarz. Par cons equent
_

(
n
1

n
1

n
2

n
2
)

(
n
)dx
_

(u
1

1
u
1
u
2

1
u
2
)

(w)dx,
ce qui montre le lemme.
Th eor` eme 48 La solution du probl` eme 4.15 est unique.
D emonstration. Soient u
1
et u
2
deux solutions. Posant w = u
1
u
2
et soustrayant
les deux equations, on voit que pour tout v H
1
0
(),
_

w vdx +u
1

1
u
1
u
2

1
u
2
, v = 0.
En particulier, on peut prendre v =

(w). Comme

(w) H
1
0
() L

(), on
obtient alors gr ace au lemme 20
_

(w)dx +
_

(u
1

1
u
1
u
2

1
u
2
)

(w)dx = 0.
86 CHAPITRE 4. La m ethode de Galerkin
Utilisons le lemme 21. Il vient
_

(w)dx =
1
2
_

(u
1
+u
2
)w

(w)
1
wdx. (4.22)
Comme

(w) =

(w)w =

(w)
2
w =

(w)

(w), on voit que w

(w) =

(w)

(w), et l equation (4.22) devient


_

(w)

(w)dx =
1
2
_

(u
1
+u
2
)w

(w)
1
wdx. (4.23)
Soit H
,w
la fonction caract eristique de lensemble
E
,w
= {x ; w(x) = 0 et |w(x)| < },
ensemble d eni ` a un ensemble de mesure nulle pr` es, comme toujours. Comme
lint egrande du membre de droite de (4.23) est nulle presque partout en dehors de
E
,w
, on peut r e ecrire l egalit e sous la forme
_

(w)

(w)dx =
1
2
_

H
,w
(u
1
+u
2
)
_
1

wH
,w
_

(w)dx. (4.24)
On remarque alors que |
1

wH
,w
| 1. Donc, par lin egalit e de Cauchy-Schwarz,
on d eduit de (4.24) que

(w)
2
L
2
()

1
2
_
_

H
,w
(u
1
+u
2
)
2
dx
_
1/2

(w)
L
2
()
,
soit
2

(w)
L
2
()

_
_
E
,w
(u
1
+u
2
)
2
dx
_
1/2
.
Notons maintenant que
>0
{x ; |w(x)| <} = {x ; w(x) =0}. Par cons e-
quent, mes(E
,w
) 0 quand 0. Comme (u
1
+u
2
)
2
L
1
(), on en d eduit
que

(w)
L
2
()
0 quand 0. Par lin egalit e de Poincar e, ceci implique
que

(w)
H
1
()
0, puis que

(w)
L
1
()
0. Comme |

(w)| = 1 sur
lensemble {x ; |w| }, il vient
mes({x ; |w| }) 0 quand 0, > 0. (4.25)
Or, la fonction mes({x ; |w| }) est positive, d ecroissante sur R

+
. Par
(4.25), elle est donc identiquement nulle ce qui equivaut ` a w = 0 presque partout,
soit u
1
= u
2
.
Remarque 31 Le raisonnement utilis e ici est tr` es sp ecique ` a l equation et ` a la
non lin earit e consid er ees. On peut toutefois noter des arguments dint er et plus
g en eral, comme lusage dune fonction test non lin eaire et la facon dont, dans le
passage de l equation (4.22) ` a l equation (4.23), on a fait apparatre la fonction
test non lin eaire dans la forme bilin eaire.
4.2. La m ethode de Galerkin pour la m ecanique des uides 87
Exercices du chapitre 4
1. Soit un ouvert born e de R
N
, A une matrice N N sym etrique ` a coef-
cients a
i j
dans L

() et telle quil existe >0 avec a


i j
(x)
i

2
pour tout
R
N
et presque tout x , et f : RR
N
R une application continue
et born ee. Montrer que le probl` eme : u H
1
0
(), div(A(x)u) = f (x, u, u)
admet au moins une solution (Indication : apr` es avoir correctement d eni une
approximation de Galerkin u
m
de la solution potentielle, on pourra montrer que
f (x, u
m
, u
m
)

f pour un certain

f dans L
2
(), puis que la suite u
m
converge
en fait fortement dans H
1
()).
2.
`
A propos de la n ecessit e deffectuer les circonvolutions de la preuve du
Lemme 15, soit la boule unit e de R
N
. Trouver un r eel p et une suite
n
D()
telle que
n
0 dans H
1
0
() mais
n
0 dans L
p
() (Indication : se placer ` a
N 3 et consid erer une suite de la forme
n
(x) = n
s
(nx) avec s bien choisi). Ce
raisonnement permet de retrouver lexposant de Sobolev au cas bien improbable
o` u lon ne sen rappellerait plus.
3. Soit B la boule unit e ouverte de R
3
et soit u H
1
0
(; R
3
) tel que divu = 0.
On prolonge u par 0 en dehors de la boule et pour 0 < < 1, on note
u

(u((1)
1
x)),
o` u

d esigne un noyau r egularisant ` a support dans la boule de rayon . Montrer


que la restriction de u

` a B appartient ` a D(B; R
3
) et que u

u dans H
1
quand
0. En d eduire la densit e de V = { D(B; R
3
); div = 0} dans V = {u
H
1
0
(B; R
3
); divu = 0}.
4. Avec les notations pr ec edentes, etant donn e f L
2
(B; R
3
), montrer que le
probl` eme : trouver u V tel que
v V,
_
B
(u : v +[(u)u] v)dx =
_
B
f vdx,
admet au moins une solution (si u est une application de B dans R
3
, son gradient
u est la matrice 3 3 de composantes (u)
i j
=
j
u
i
et le produit scalaire de
deux matrices A
1
et A
2
est d eni par A
1
: A
2
= tr (A
T
1
A
2
). Le vecteur (u)u a donc
pour composantes u
j

j
u
i
, i = 1, 2, 3, avec la convention dEinstein de sommation
des indices r ep et es. On le note plut ot uu dans la litt erature Navier-Stokes, u
d esignant lop erateur diff erentiel u
j

j
). Remarque : on peut en d eduire lexistence
dune solution au probl` eme de Navier-Stokes stationnaire.