Theor`eme de Lax Milgram

Application au probl`eme de Dirichlet

pour lequation de SturmLiouville
Resume du cours de MEDP
Matrise de mathematiques 2000 2001
2001nov18 (medp-lax-milgram.tex)

Dans ce chapitre, on se limitera, pour simplifier, au cas des espaces de Hilbert reels.

Rappels

1.1 Th
eor`
eme. (Theor`eme de projection) Soit F un sous-espace vectoriel ferme dun
espace de Hilbert E. Pour tout x E il existe un element et un seul de F , note PF (x) et
appele projection orthogonale de x sur F , qui realise linfimum inf{kx yk  y F }, cest
a dire
`
kx PF (x)k kx yk

y F .

La projection PF (x) est caracterisee par les proprietes


(1)

z = PF (x)

zF,
hy, x zi = 0,

y K , cest `
a dire x z F .

De plus, lapplication PF : E F est lineaire, de norme 1.

1.2 Th
eor`
eme. (Theor`eme de representation de Riesz) Soit E 0 une forme lineaire
continue sur lespace de Hilbert E. Alors, il existe un vecteur u E et un seul tel que
x E,

(x) = hx, u iE .

De plus, on a

kkE 0 := sup{|(x)|  x E, kxkE 1} = kukE .
Autrement dit, lapplication u realise une isometrie lineaire de E 0 (muni de la norme
du dual) sur E.
Du theor`eme de representation on peut en particulier deduire lexistence et lunicite, pour
tout operateur lineaire continu u : E F , dun operateur lineaire continue u : F E,
appele ladjoint de loperateur lineaire u, tel que
(2)

x E, y F,

hu(x), yiF = hx, u (y)iE .

Th
eor`
eme de Lax Milgram

D
efinitions : Soit a : E E IR une forme bilineaire. On dit que
a est continue (sur E) sil existe une constante Ca telle que
x, y E,

(3)

|a(x, y)| Ca kxkE kykE ,

a est k kE -coercive sil existe une constante a > 0 telle que

a kxk2E a(x, x) ,

x E,

(4)
a est symetrique si

x, y E,

(5)

a(y, x) = a(x, y) .

2.1 Lemme. Soit u : E F une application lineaire continue telle quil existe 0 < a < b
verifiant
a kxkE ku(x)kF b kxkE ,
x E .
Alors, u est injective et dimage fermee (cest `
a dire que u(E) est fermee dans F ).

2.2 Th
eor`
eme. (Theor`eme de representation de Lax Milgram) Soit a : E E IR
une forme bilineaire, continue et coercive sur E et soit une forme lineaire continue sur
E. Alors, il existe un element u et un seul de E tel que
x E,

a(x, u ) = (x) .

De plus, lapplication qui `

a associe u est lineaire continue.
Si on suppose de plus que la forme a est symetrique, alors lelement u est caracterise comme
etant lunique element de E qui minimise la fonctionnelle
J(x) :=

1
a(x, x) (x) .
2

2.3 Exercice. Montrer que le theor`eme de LaxMilgram est un corollaire direct du theor`eme
de representation de Riesz dans le cas o`
u la forme bilineaire est symetrique.
2.4 Exercice. Soit A Sym2,+ (IRn ) une matrice symetrique reelle, definie positive.
1) Montrer que cette matrice definit une forme bilineaire symetrique a(x, y) = txAy,
symetrique et coercive sur IRn . Deduire du theor`eme de Lax Milgram que lon peut resoudre
lequation Ax = b, pour tout b IRn en minimisant la fonctionnelle
J(x) =

1 t
2 xAy

tb x .

2) Refaire le meme travail mais sans utiliser le theor`eme de lax Milgram.

2.5 Exercice. On consid`ere lespace vectoriel reel


E = u C 1 ([0, 1], IR) | u(0) = u(1) = 0 ,
muni du produit scalaire

Z
hu, vi1 =

{u v + u v} dt ,
0

o`
u u designe la derivee de la fonction u et on note k k1 la norme associee.
On se donne une fonction continue q : [0, 1] IR+ et une fonction continue f : [0, 1] IR.
1) Montrer que lapplication E E 3 (u, v) a(u, v) IR, definie par
Z

{u v + q u v} dt ,

a(u, v) =
0

est une forme bilineaire, symetrique, continue et coercive sur (E, k k1 ).

R1
2) Montrer que E 3 u 0 f u dt definit une forme lineaire continue sur (E, k k1 ).

Application `
a l
etude du probl`
eme de Dirichlet
pour l
equation de SturmLiouville

Soit [a, b] IR. On se donne deux fonctions continues f, q : [a, b] IR. On suppose, pour
simplifier, quil existe un nombre > 0 tel que q(x) pour tout x [a, b]. On sinteresse
au probl`eme suivant.

Trouver une fonction u dans C 2 ([a, b]) telle que

u
(x) + q(x) u(x) = f (x) dans ]a, b[ ,

u(a) = u(b) = 0 ,

(6)

o`
u u designe la derivee

du
dx .

Unicit
e. On peut a priori remarquer que lon a lunicite pour le probl`eme (6). En effet,
si u1 et u2 sont deux solutions de (6), la fonction w := u1 u2 verifie
Z

w 2 (x) + q(x) w2 (x) dx = 0 ,

do`
u lon deduit immediatement, compte tenu des hypoth`eses faites sur q, que w 0.
Mise sous-forme variationnelle. Supposons trouvee une solution u du probl`eme (6).
Apr`es multiplication de lequation de SturmLiouville par une fonction v C 1 ([a, b]) telle
que v(a) = v(b) = 0 quelconque, integration, puis integration par parties, on trouve
Z
(7)

Z
u v + q u v =

fv

v C 1 ([a, b]) tq v(a) = v(b) = 0 .

Considerons lespace A := C0 (]a, b[) muni de la norme k k1 de lExercice 2.5. Sur cet
espace, la forme bilineaire a de lExercice 2.5 est symetrique, continue et coercive pour la
norme k k1 , et la forme lineaire est continue. Pour pouvoir appliquer le theor`eme de
LaxMilgram, il faut completer (A, k k1 ).
Lespace H01 (]a, b[). Pour interpreter le complete de (A, k k1 ), on introduit lespace
produit

E = L2 (]a, b[) L2 (]a, b[)

muni du produit scalaire


s (v1 , w1 ), (v2 , w2 ) = hv1 , v2 i0 + hw1 , w2 i0
o`
u lindice 0 fait reference au produit scalaire L2 , et de la norme associee k ks . On consid`ere
egalement linjection j de A dans E donnee par j(v) = (v, v).
Il est clair que j est une
isometrie lineaire de (A, k k1 ) sur son image dans (E, k ks ). On definit lespace H01 (]a, b[)
comme etant ladherence de j(A) dans E, muni de la structure hilbertienne induite.
Interpr
etation de lespace H01 (]a, b[). Pour tout (v, w) H01 , il existe une suite {vn }
L2

L2

de A telle que vn v et v n w. On montre alors facilement que

Z

Z
v =

(8)

C0 (]a, b[) .

w,

Il resulte dun resultat du cours dintegration que la fonction w L2 est determinee de

mani`ere unique par la fonction v L2 et par la relation (8). On dit que la fonction v admet
la fonction w pour derivee faible dans L2 .
On verifie sans difficulte quune fonction v C 1 ([a, b]) admet une derivee faible dans L2 et
que cette derivee faible est egale (presque partout) `a la fonction v.
Pour cette raison, on
notera egalement v la derivee faible de la fonction v dans L2 , si elle existe. Le cas echeant,
f
on ecrira w = v.

Dapr`es ce qui prec`ede, on peut donc noter v lelement (v, w) H01 o`

u w = v.
On peut alors
donner un sens au produit scalaire h, i1 sur H01 (avec la notation de lExercice 2.5), et on
voit quil coincide avec la restriction du produit scalaire s. On peut de meme introduire le
produit saclaire h, i0 sur H01 et etendre `a H01 la forme bilineaire a et la forme lineaire
de lExercice 2.5. Par densite de j(A) dans H01 , on deduit que a est bilineaire, symetrique,
continue et coercive sur H01 muni que la norme k k1 et que la forme lineaire est continue.
Application du th
eor`
eme
de LaxMilgram dans H01 . Les hypoth`eses du theor`eme
1
de LaxMilgram pour H0 , a, sont satisfaite et on peut donc en deduire quil existe une
unique fonction u H01 telle que
a(a, v) = (v) v H01
ou, plus precisement

(9)

! u H01

Z
tq

Z
u v + q u v =

fv

v H01 ,

a
2

o`
u u,
v designent les derivees faibles dans L .
La fonction u est L2 et les fonctions f, q sont continues. Il en resulte que la fonction qu f
est elle aussi L2 . On deduit alors de (9) que la fonction w := u est L2 , quelle admet elle
aussi une derivee faible dans L2 et que lon a
w = f q u ,

ce que nous ecrirons u

= f q u. Nous avons donc demontre
u
+ q u = f au sens faible dans ]a, b[ .

(10)

Condition de Dirichlet et H01 . Il est facile de voir que linjection naturelle est une application lineaire continue de (A, k k1 ) dans (C 0 ([a, b]), k k ). Il en resulte immediatemment
une injection naturelle de (H01 , k k1 ) dans (C 0 ([a, b]), k k ). En particulier, etant donnee
v H01 , il existe une unique fonction continue v telle que v = v presque partout. Il resulte
de la densite de j(A) dans H01 que v(a) = v(b) = 0. Pour cette raison, nous dirons que les
elements de H01 ont une trace nulle sur le bord de ]a, b[.
Conclusion. Les constructions precedentes nous ont permis de montrer quil existe une
unique solution variationnelle du probl`eme de Dirichlet pour lequation de SturmLiouville,
cest `a dire une unique fonction u H01 (]a, b[) verifiant (9). Cette fonction est egalement
une solution faible de lequation de SturmLiouville, cest `a dire quelle verifie lequation
(10) ou encore
Z

u v + q v =

fv

v C0 (]a, b[) .

Enfin, la fonction u verifie la condition au bord de Dirichlet (annulation en a et b), au sens

o`
u sa trace sur le bord est nulle.
Remarquons que lunicite dune solution C 2 telle que avons demontree plus haut resulte
egalement du theor`eme de LaxMilgram. Resterait `a montrer (et cest lobjet de la troisi`eme
partie du premier devoir `
a la maison) que la solution variationnelle u est en fait de classe
C 2 et quelle verifie lequation (6).
La formulation variationnelle des probl`emes aux limites elliptiques, telle que nous leposerons
dans la suite du cours, reprend essentiellement les idees ci-dessous (avec une difficulte
supplementaire pour le passage dune solution variationnelle `a une solution classique).

Pierre Berard
Institut Fourier
UMR 5582 UJF CNRS
Pierre.Berard@ujf-grenoble.fr
www-fourier.ujf-grenoble.fr/~pberard/