Corre

tion du TD 5 d'Analyse Numrique

ave rappels des rsultats

Cuvelier Franois
16 novembre 2007

Table des matires

1 Rappels
1.1
1.2
1.3
1.4

Espa e ve toriel . . . . . . . . . . . .
Espa es ve toriels norms . . . . . .
espa es Lp pq . . . . . . . . . . . . .
Notations et rsultats . . . . . . . .
1.4.1 Drivation faible dans L2 pq
1.4.2 Espa es de Sobolev . . . . . .
1.4.3 Rsultats gnraux . . . . . .

2 Corre tion TD 5
2.1
2.2
2.3
2.4

Exer i e 1
Exer i e 2
Exer i e 3
Exer i e 4

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

. 5
. 6
. 6
. 7
. 7
. 8
. 11

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

13

13
14
15
20

TABLE DES MATIRES

Chapitre 1

Rappels
1.1

Espa e ve toriel

Denition 1. Soit K  R ou C. un espa e ve toriel sur K est un ensemble non vide V dont les lments sont
appels ve teurs muni d'une opration binaire appele addition
V tel que pV, q est un groupe ommutatif, i.e.,

.:KV

:V

V V

et d'une multipli ation s alaire

x, y, z P V, px yq z  x py z q,
D0 P V tel que x P V, x 0  x,
x P V, D
x P V tel que x p
xq  0,
x, y P V, x y  y x
la multipli ation s alaire satisfaisant x, y P V, , P K
p q.x  .x .x,
.px y q  .x .y,
.p.xq  p q.x,
1.x  x.

Denition 2. Soit E, F et G trois espa es ve toriels sur un orps K. Soit : E  F G une appli ation. On
dit que est bilinaire si et seulement si elle est linaire en ha une de ses variables, 'est dire : px, x1 q P E 2 ,
py, y1 q P F 2 ,  P K :
px x1 , y q  px, y q
px, y y 1 q  px, y q
px, y q  px, y q
px, y q  px, y q

px1 , y q
px, y 1 q

Denition 3. Soit V un espa e ve toriel sur K. Nous dirons qu'un sous-ensemble W de V est un sous-espa e
de V s'il est stable pour les oprations de V, 'est dire si x, y P W,  P K
x

PW

x P W.
W est alors un espa e ve toriel pour l'addition et la multipli ation s alaire hrite de V.

CHAPITRE 1.

RAPPELS

V. Le noyau de L not
P U tel que Lpuq  0u. L'image de L not RpLq est l'ensemble tLpuq tel que u P U u.

Denition 4. Soient U et V deux espa es ve toriels sur K et une appli ation L : U

ker L est l'ensemble tu

Cette appli ation est

linaire

si

x, y P U, , P K, Lpx
1.2

y q  Lpxq

Lpy q.

Espa es ve toriels norms

Denition 5. Une norme sur un espa e ve toriel E est une appli ation note gnralement }}E de E dans R,
possdant les proprits suivantes :

}x}E 0 x P E
}x}E  0 x  0
}x}E  }} }x}E x P E,  P C
}x y}E }x}E }Y }E
Un espa e ve toriel norm est un espa e ve toriel muni d'une norme.

Denition 6. Un espa e de Bana h est un espa e ve toriel norm omplet.

Denition 7. Soit V un espa e ve toriel. On appelle produit s alaire sur V une forme bilinaire xu, vy de V  V
dans R, dnie positive :

xu, uy 0 u P V

xu, uy  0  u  0.

et

Thorme 1 (Ingalit de Cau hy-S hwarz). Soit V un espa e ve toriel muni du produit s alaire x., .yV . L'ingalit de Cau hy-S hwarz est alors vrie :

| xu, vyV | xu, uyV1{2 xv, vy1V{2 u, v P V.

Denition 8. On appelle espa e de Hilbert un espa e ve toriel muni d'un produit s alaire, omplet pour la
norme asso ie.

Thorme 2. Un sous-espa e ve toriel d'un espa e omplet est omplet si et seulement si il est ferm.
Corolaire 3. Un sous-espa e ve toriel de dimension nie d'un espa e omplet est omplet.
1.3

espa es

Lppq

p 8 omme tant l'espa e des fon tions mesurables de

puissan e p
me intgrable sur .
On dnit l'espa e L8 pq omme tant l'espa e des fon tions mesurables f essentiellement bornes sur (i.e.
DC 0 telle que |f pxq| C presque partout dans ).
Denition 9. On dnit l'espa e

Lp pq pour 1

Thorme 4. Muni du produit s alaire

xf, gyL pq 

l'espa e L2 pq est un espa e de Hilbert.

Muni de la norme

}f }L pq 

f pxqg pxqdx,

|f pxq|

1{p

1.4.

NOTATIONS ET RSULTATS

l'espa e Lp pq est un espa e de Bana h.

Muni de la norme

}f }L pq  inf pC P R tel que |f pxq| C p.p. dans q,

8
l'espa e L pq est un espa e de Bana h.
8

Thorme 5. Si est un ouvert born de Rd alors

Lp pq Lq pq, pour 1 q

p8
Thorme 6 (Ingalit de Hlder). Soit un ouvert de RN . Soit 1 p 8. On dsigne par p1 l'exposant
onjugu de p, dni par 1p p1  1. Soient f P Lp pq et g P Lp pq. Alors f g P L1 pq et
}f g}L }f }L }g}L .
Thorme 7. Lp pq est un espa e ve toriel et }.}L est une norme pour tout 1 p 8.
1

p1

1.4

Notations et rsultats

Soit un ouvert born de Rd dont la frontire est C 1 par mor eaux. Soit D et R deux partie omplmentaires de :
 D Y R , D X R

1.4.1

Drivation faible dans

 H.

L2 pq

Denition 10. On dit que deux fon tions mesurables sont gales

presque partout

s'il existe un ensemble

tel que la mesure de Lebesgue de E est nulle et f pxq  gpxq x P zE.

Denition 11. On note Cc8 pq (ou Dpq) l'espa e des fon tions C 8 support ompa t dans .
Thorme 8. L'espa e Cc8 pq est dense dans L2pq, 'est dire que pour tout f P L2pq il existe une suite
n P Cc8 pq telle que
lim }f
n }L pq  0.
(1.4.1)
n8
E

Corolaire 9. Soit f

P L2 pq. Si

alors f pxq  0 presque partout dans .

f pxqpxqdx

 0,  P Cc8 pq

Denition 12. Soit un ouvert de Rd . Soit v P L2 pq. On dit que v est drivale
s'il existe d fon tions pwi qdi1 P pL2 pqqd , telles que, ,  P Cc8 pq, i P t1, . . . , du,

v pxq

(1.4.2)

au sens faible

B pxqdx 
w pxqpxqdx.
i
Bxi

dans L2 pq
(1.4.3)

Chaque wi est appele la i
me drive faible de v et note dsormais BBxvi .

Lemma 1. Soit v P L2 pq. S'il existe une onstante C 0 telle que,  P Cc8 pq, i P t1, . . . , du,


 v x


alors v est drivable au sens faible.



p q BBx pxqdx C }}L pq ,
i
2

(1.4.4)

CHAPITRE 1.

Denition 13. Soit P pL2 pqqd . On dit que admet une divergen e
une fon tion w P L2 pq telle que,  P Cc8 pq,

x pxq, pxqy dx 

au sens faible

RAPPELS

dans L2 pq s'il existe

wpxqpxqdx.

(1.4.5)

La fon tion w est appele divergen e faible de et note dsormais div .

Lemma 2. Soit P pL2 pqqd . S'il existe une onstante C 0 telle que,  P Cc8 pq,





x pxq, pxqy



dx

C }}L pq ,

(1.4.6)

alors admet une divergen e au sens faible.

1.4.2

Espa es de Sobolev

Denition 14. Pour tout entier m 1, on appelle espa e de Sobolev d'ordre m sur l'espa e
(

H m pq  v

P L2pq | Bv P L2 pq, || m .
Plus gnralement, on note W m,p pq l'espa e dni pour tout entier m 0 et p P v1, 8w par
W m,p pq  tv P Lp pq | B v P Lp pq, || mu .
Thorme 10. Muni du produit s alaire

xu, vyH
et de la norme
l'espa e H

pq est un espa e de Hilbert.

}u}H

Thorme 11 (Produit [?, Page 35). Soit

L'appli ation

pq 

||m

(1.4.7)
(1.4.8)

BuBvdx

(1.4.9)

1{2
pq  xu, uyH m pq

un ouvert de Rd et pp, q, rq

W 1,p pq  W 1,q pq
pu, vq

(1.4.10)

P v1, 8w3

W 1,r pq
uv
1,p
est bien dnie, bilinaire ontinue et on a, pu, vq P W pq  W 1,q pq et i P v1, dw
Bu
B
Bv
Bxi puvq  Bxi v u Bxi .
Rsultats en dimension d  1
Soit sa; br,
8 a b 8.
Lemma 3. Pour toute fon tion v P H 1 pa, bq et pour tout x, y P ra; bs, on a
v py q  v pxq

y
x

v 1 psqds.

tels que

1
p

1
q

1
r.

(1.4.11)

(1.4.12)

(1.4.13)

Plus gnralement, pour tout x P ra; bs, l'appli ation v vpxq, dnie de H 1 pa, bq dans R, est une forme linaire
ontinue sur H 1 pa, bq. En parti ulier, toute fon tion v P H 1 pa, bq est ontinue sur ra; bs et il existe une onstante
C pq 0 telle que v P H 1 pa, bq
|vpxq| C pq }v}H1 pa,bq , x P ra; bs
(1.4.14)

1.4.

NOTATIONS ET RSULTATS

Proposition 1 (Ingalit de Poin ar). Soit sa; br,
8 a b

telle que v P H 1 pq vriant vpaq  0 ou vpbq  0 on ai
b

8. Il existe une onstante CP pq 0

|vpxq| dx CP pq |v1 pxq|2 dx.

(1.4.15)

Thorme 12 (de tra e). Soit sa; br,
8 a b 8. Les appli ations

et

: H 1 pa, bq
v

R ,
vpaq
H 1 pa, bq R
vpbq
v

: H 1 pa, bq
v

tra es

(1.4.16)
(1.4.17)

R2
pvpaq, vpbqq

(1.4.18)

sont des appli ations linaires ontinues. En parti ulier, il existe une onstante Cc pq 0 telle que v P H 1 pq

|a pvq| Cc pq }v}H pa,bq ,

|bpvq| Cc pq }v}H pa,bq

(1.4.19)

(1.4.20)

et

|0pvq|  pvpaq2
Thorme 13. Si u, v P H 1 pa; bq alors
b
a

u1 pxqv pxqdx

v pbq2 q1{2



2Cc pq }v }H 1 pa,bq .

upxqv 1 pxqdx

rupxqvpxqsba

u1 pxqv 1 pxqdx

(1.4.21)

(1.4.22)

Si u P H 2 pa; bq et v P H 1 pa; bq alors

b
a

u2 pxqv pxqdx



b
a

u1 pxqv pxq

b

(1.4.23)

Rsultats en dimension d
Thorme 14. Soit un ouvert born de Rd dont la frontire est C 1 par mor eaux. Alors, si m
q et l'inje tion anonique de H m pq dans C0 p
q est ontinue.
H pq est un sous-espa e de C0 p
m

[?, Page 90

Thorme 15. [?, Page 90Si

dense dans H

pq

un ouvert born de Rd de lasse C m , ou bien si

Thorme 16 (Thorme de tra e). Soit

Alors l'appli ation tra e dnie par

d
2,

l'espa e

 Rd , alors Cc8 p q est

un ouvert born de Rd dont la frontire est C 1 par mor eaux.

: H 1 pq
v

L2 pq
pv q  v|

est une appli ation linaire ontinue. Il existe don une onstante C

0 telle que

} pvq}L pq C }v}H pq .
2

(1.4.24)

(1.4.25)

10

CHAPITRE 1.

RAPPELS

Plus gnralement, on

Thorme 17 (Thorme de tra e). Soit

un ouvert born de Rd dont la frontire est C 1 par mor eaux.

Alors les appli ations tra es dnies pour p P v1, 8v par

et pour p  8 par

: W 1,p pq
v

Lp pq
pv q  v|

(1.4.26)

: W 1,8 pq
v

C 0,1
pv q  v|

(1.4.27)

sont linaires ontinues.

Thorme 18 (Thorme de tra e). Soit

Soit et
D

un ouvert born de Rd dont la frontire est C 1 par mor eaux.

deux parties omplmentaires de :
 D Y R , D X R

ave mespD q 0.
Alors, l'appli ation tra e D dnie par

: H 1 pq
v

 H,

L2 pD q
D pv q  v|D

est une appli ation linaire ontinue. Il existe don une onstante C

(1.4.28)

0 telle que

} pvq}L p q C }v}H pq .
(1.4.29)
Denition 15. On note H k{2 pD q, k 1 l'espa e dni par
(
H k{2 pD q  v P L2 pD q | Dw P H k pq tel que w  v.
(1.4.30)
Thorme 19 ([?, Page 94). L'espa e H 1{2 pD q est un sous-espa e dense de L2 pD q. Muni de la norme
!
)
}v}H p q  inf }w}H pq tel que w  v.
(1.4.31)
D

1{2

'est un espa e de Bana h (et mme un espa e de Hilbert).

Thorme 20 (Ingalit de Poin ar). Soit un ouvert born onnexe de Rd de frontire , C 1 par mor eaux,
et D une partie de sa frontire telle que mespD q 0. Soit V dni par
(

 v P H 1 pq | v  0 sur D .
muni du produit s alaire de H 1 pq est un espa e de Hilbert et il existe une onstante C pq 0 telle
V

Alors V
que

v P V, }v}L pq C } v}L pq
2

et

v P V, }v}2H pq pC2
1

1q } v }L2 pq
2

(1.4.32)
(1.4.33)

Thorme 21 (Formule de Green). Soit un ouvert born onnexe de Rd de frontire , C 1 par mor eaux et

 1. Si u P W 1,ppq et v P W 1,q pq alors i P v1, dw on a

Bu vdx 
u Bv dx uvn d,
i
B xi
B xi

o ni est la i
me omposante du ve teur n P Rd , normale dirige vers l'extrieur de .

p, q

P v1, 8w tels que

1
p

1
q

(1.4.34)

1.4.

11

NOTATIONS ET RSULTATS

Thorme 22 (Formule de Green). Soit

Alors, u, v P H pq, i P t1, . . . , du,
1

un ouvert born onnexe de Rd de frontire , C 1 par mor eaux.

Bu vdx 
u Bv dx uvn d,
i
B xi
B xi

o ni est la i
me omposante du ve teur n P Rd , normale dirige vers l'extrieur de .

Thorme 23 (Formule de Green). Soit
Alors, u P H pq, v P H pq,
2

(1.4.35)

un ouvert born onnexe de Rd de frontire , C 1 par mor eaux.

puqvdx 

i 1

Bu Bv dx
Bu vd.
B xi B xi
Bn

(1.4.36)

Thorme 24. Soit un ouvert born onnexe de Rd de frontire , C 1 par mor eaux. Alors, b P pW 1,8 pqqd
et v P H 1 pq, on a

1.4.3

xb, vy v  12

divpb qv 2

1
2

xb, n y v2

(1.4.37)

Rsultats gnraux

Thorme 25 (Thorme de Lax-Milgram). On suppose

1. V un espa e de Hilbert sur R de norme }.}V .

2. L est une appli ation linaire de V valeurs relles.
3. L est une appli ation ontinue sur V, 'est dire qu'il existe une onstante C

0 telle que

v P V, |Lpvq| C }v}V .
4. A est une appli ation bilinaire de V  V valeurs relles.
5. A est une appli ation ontinue sur V  V, 'est dire qu'il existe une onstante M

6. A est V -elliptique ( oer ive sur V

Alors, le problme variationnel

(1.4.38)

0 telle que

u, v P V, |Apu, vq| M }u}V }v}V .

(1.4.39)

 V ), 'est dire qu'il existe une onstante 0 telle que

v P V, Apv, vq| }v}2V .

(1.4.40)

"

Trouver u P V tel que

Apu, v q  Lpv q,

v P V

(1.4.41)

admet une unique solution.

Denition 16 (problme de Galerkin). Soit

V un espa e de Hilbert rel et Vh un sous-espa e de dimension

nie. L'approximation interne ou le problme de Galerkin asso i (1.4.41) est dni par
"

Trouver uh P Vh , tel que

Apuh , vh q  Lpvh q,

vh P Vh .

(1.4.42)

Lemma 4. Sous les hypothses du thorme 25 de Lax-Milgram , le problme de Galerkin (1.4.42) admet une
unique solution. Cette solution peut s'obtenir en rsolvant un systme linaire de matri e dnie positive.

12

CHAPITRE 1.

RAPPELS

Lemma 5 (de Ca). Sous les hypothses du thorme de Lax-Milgram 25, la solution u de (1.4.41) et la solution
uh de (1.4.42) vrient

}u
uh }V M v infPV }u
vh }V .
h

(1.4.43)

Si, de plus, A est symtrique, alors on a

}u
uh}V

M
inf }u
vh }V .
vh PVh

(1.4.44)

Lemma 6. Sous les hypothses du thorme de Lax-Milgram ??, et en supposant q'il existe un sous-espa e
V

dense dans V et une appli ation rh de V dans Vh (appele oprateur d'interpolation) tels que
lim }v
rh pv q}V

 0 v P V.

(1.4.45)

Alors la mthode d'approximation variationnelle interne onverge, 'est dire si u est la solution de (??) et uh
la solution de (??)
lim }u
uh }V  0.
(1.4.46)
h

Chapitre 2

Corre tion TD 5
Soit un ouvert born de Rd dont la frontire est C 1 par mor eaux. Soit D et R deux partie omplmentaires de :
 D Y R , D X R

2.1

 H.

Exer i e 1

Exer i e 1
On note n dsigne la normale oriente vers l'extrieur de .

Q. 1. Montrer que u P H 2 pq, v P H 1 pq, et i, j P t1, . . . , du Mij P W 1,8 pq

~ qv px
~ qdpx
~q
divpM uqpx

xpM uqpx~ q, vpx~ qy dpx~ q

Q. 2. Montrer que b P pW 1,8 pqqd , v P H 1 pq,

xbpx~ q, vpx~ qy vpx~ qdpx~ q 
12

xpM uqpx~ q, n px~ qy vpx~ qdpx~ q,

~ qqv px
~ qdpx
~q
divpb px
2

1
2

xbpx~ q, n px~ qy v2 px~ qdpx~ q

(1)

(2)

Corre tion

P v1, dw, BBxu P W 1,2 pq. En utilisant le thorme

ave p  q  2 et r  1, pour BBxu P W 1,2 pq et Mi,j P W 1,8 pq on obtient
i, j P v1, dw Mi,j BBxu P W 1,2 pq.
j
On est alors sous les hypothses du thorme 21(page 10) et on a, i, j P v1, dw

Bu Bv  M Bu
pvqn
B M Bu
v
Mi,j
i,j
i
i,j
Bxj Bxi
B
xj
Bxj

B xi

 Mi,j BBxu vni
BBx Mi,j BBxu v

Q. 1: Comme

u P H 2 pq, on a, pour j

En sommant sur i et j on obtient (1).

13

11(page 8),

14

CHAPITRE 2.

Q. 2: On applique le thorme 11(page 8) ave

1,1

pq

et

Comme pour i P v1, dw, bi

obtenir

P W 1,8 pq

et

2 et r

Bv2  2v Bv i P v1, dw.

Bxi
Bxi
2
1,1
v P W pq, on peut appliquer le

B bi v 2 
B xi


pbi q pv qni

bi

Bv v
b i ni v 2
2 b i
Bxi

CORRECTION TD 5

1. On a don v 2

 vv P

thorme 21(page 10) pour

B pv 2 q
Bxi

En sommant sur i on obtient (2).

2.2

Exer i e 2

Exer i e 2
Soient f

P L2 pq et g P L2pR q. On dni l'appli ation Lgf de H 1 pq valeurs relles par

Lgf pv q 

Q. 1. Montrer que l'appli ation

fv

(1)

gv.
R

Lgf est linaire ontinue.

Corre tion
Q. 1: La linarit de

Lgf est immdiate par linarit de l'intgrale. Pour dmontrer la ontinuit,

il suffit alors de montrer qu'il existe une onstante CL 0 telle que

|Lgf pvq| CL }v}H pq

(2)

On a,

v P H 1 pq

| pvq|
Lgf





 f v










gv 
R

Comme f et v sont dans L pq, on peut appliquer l'ingalit de Cau hy-S hwarz :
2





 f v



Comme v

P H 1 pq,

on a alors

 xf, vyL pq  }f }L pq }v}L pq .

2





 f v



De plus






}f }L pq }v}H pq .



gv 
R






gR p



v 

(3)

2.3.

15

EXERCICE 3

et d'aprs le thorme de tra e 18(page 10), on a R pv q P L2 pR q. On peut don appliquer l'ingalit

de Cau hy-S hwarz :






gv  }g }L2 pR q }R pv q}L2 pR q .

De part la ontinuit de l'appli ation linaire R , il existe une onstante C



gv 
R






C }g}L p q }v}H pq .
2

(4)

Au final, en utilisant (3) et (4), nous obtenons (2) ave CL

telle que

 }f }L pq
2

C }g }L2 pR q .

2.3

Exer i e 3

Exer i e 3
Soit V un sous-espa e de H 1 pq tel que
H01 pq V

On note A l'appli ation de V

V

AM,pp,qq ,a0 pu, v q

H 1 pq.

valeurs relles dnie par

Bu px~ q Bv px~ qdpx~ q

B
xj
Bxi
i,j 1
d

ppi px~ qvpx~ q BBxu px~ q
qi px~ qupx~ q BBxv px~ qdpx~ q
i
i
i1
d

~q
Mi,j px

~ qupx
~ qv px
~ qdpx
~q
a0 px

~ qv px
~ qdpx
~q
pxqupx

(1)

o i, j P t1, . . . , du Mi,j , pi , qi P W 1,8 pq, a0 P L8 pq et P L8 pq.

Pour simplier les notations, on pose A  AM,pp,qq ,a0 .

 H 1 pq, l'appli ation A est bilinaire ontinue.

Pour la suite, on suppose que p , q P pH01 pqqd ,

Q. 1. Montrer que pour V

D P R

tel que

1
~ q
q px
~ qq
divpp px
2

~ q pour presque tout x

~ P
a0 px

et

D 0,  P Rd, xMpx~ q , y } }2
Q. 2. Montrer que u P H 1 pq,
AM,pp,qq ,a0

pu, uq 

xM u, uy

pour presque tout ~x P .



1
divpp
q q
2

1
xp
q , n y u2 ,
2

(2)
(3)

a0 u 2

u P H 1 pq

(4)

16

CHAPITRE 2.

Q. 3. Montrer que pour V

CORRECTION TD 5

 H01 pq l'appli ation A est oer ive si

C 2pq

(5)

o Cp pq est la onstante de Poin ar :

~ qdpx
~q
v px
2

Q. 4. Montrer que pour V

et

pq | vpx~ q|2 dpx~ q, v P H01 pq.

 H 1 pq l'appli ation A est oer ive si

0

~q

px

Q. 5. Montrer que pour V

Cp2

1
xp px~ q
q px~ q, n px~ qy
2

1
 H0,
pq 

pour presque tout ~x P .

P H 1 pq | v  0
D

(6)

(7)

, l'appli ation AM,pp,qq ,a0 est oer ive si

C 2pq

(8)

et

~q

px

1
xppx~ q
q px~ q, n px~ qy
2

pour presque tout ~x P R .

(9)

Corre tion
Q. 1: La bilinarit de

A est immdiate par linarit de l'intgrale, de l'oprateur , ...

Pour dmontrer la ontinuit, il suffit d'tablir qu'il existe une onstante CA 0 telle
que
(10)
|Apu, vq| CA }u}H1 pq }v}H1 pq , u P H 1 pq, v P H 1 pq.

Soient u, v P H 1 pq, on a

|Apu, vq|









xM u, vy



 v p, u





y





 a0 uv 









v,
q
u







 uv  .



On tudie ha un des termes dans l'ingalit.

Majoration du terme en a0 :





 a0 uv 



|a0uv|.

Comme H pq L pq, on a, d'aprs le thorme 6(page 7), uv

l'ingalit de Hlder donne alors
1

|a0uv| }a0 }L

pq }uv}L1 pq .

P L1 pq.

De plus a0

P L8 pq,

2.3.

17

EXERCICE 3

Une nouvelle appli ation de l'ingalit de Hlder }uv }L1 pq , donne

|a0 uv| }a0 }L

pq }u}L2 pq }v}L2 pq .

En utilisant (??), on obtient





 a0 uv 



}a0 }L

pq }u}H 1 pq }v}H 1 pq .

(11)

Majoration du terme en M :







M u, v 


d 
d


 Mi,j u v 

xj xi 
i1 j 1

B B
B B
P L2 pq,

Comme pour i, j P v1, dw, Mi,j P L8 pq, BBxuj P L2 pq et BBxvi

6(page 7), BBxuj BBxvi P L1 pq et l'ingalit de Hlder donne





Notons CM
obtient

}M }
 i,jmax
Pv1,dw i,j L







M u, v 

d
d

 

}Mi,j }

 Bu Bv 
pq . Par appli ation de l'ingalit de Hlder  Bxj Bxi L1 pq , on



B Bv  .
B j Bxi L pq


 u

L8 pq  x

i 1j 1

on a, d'aprs le thorme

xM u, vy CM


d 
d

 u


 x 

 

i 1j 1

Or, par proprit de la norme }.}H 1 pq , on a

B
Bj

L2



 v


 x 

pq

B
Bi

p q

L2





}u}H pq
u P H 1 pq, j P v1, dw,  BBxu 
j L pq

(12)

e qui donne









xM u, vy d2 CM }u}H1 pq }v}H1 pq

(13)

Majoration du terme en p :


 u p, v











p i v u

x 

B
B
i
i1
u P H 1 pq L2 pq,
d

Comme pour i P v1, dw, p i P L8 pq, BBxvi P L2 pq et

6(page 7), u BBxvi P L1 pq et l'ingalit de Hlder donne


 u p, v


Notons Cp

}p }
 imax
Pv1,dw i L









v 

p i L8 pq u
x 

B
Bi

} }

i 1

p q

on a, d'aprs le thorme

L1







Bv
pq . Par appli ation de l'ingalit de Hlder u Bxi 

p q

L1



 u p, v





y Cp


d 

 v


 x 

i 1

B
Bi

p q

L2

}u}L pq .
2

, on obtient

18

CHAPITRE 2.

En appliquant (12) et en utilisant }u}L2 pq



 u p, v





on a

y dCp }u}H pq }v}H pq

1

(14)

Majoration du terme en q :
Comme pour i P v1, dw, q i P L8 pq, on a aussi


 v q, u


}u}H pq ,

CORRECTION TD 5

ave Cq

 imax
}q }
Pv1,dw i L






y dCq }u}H pq }v}H pq

1

(15)

pq .

Majoration du terme en :
On a, par dfinition de l'appli ation tra e (1.4.24 page 9 )




 uv 







 u v 



pq pq

|puq pvq|

Comme puq et pv q sont dans L2 pq, d'aprs le thorme 6(page 7), puq pv q
plus P L8 pq, on peut don appliquer l'ingalit de Hlder pour obtenir




 uv 



}}L

P L1pq.

De

pq } puq pvq}L1 pq .

Une nouvelle appli ation de l'ingalit de Hlder } puq pv q}L1 pq donne





 uv 



}}L

pq } puq}L2 pq } pvq}L2 pq .

D'aprs le thorme de tra e 16, il existe une onstante C

telle que

w P H 1 pq, } pwq}L pq C }w}H pq .

2

On obtient alors





 uv 



C2 }}L

pq }u}H 1 pq }v}H 1 pq .

(16)

En regroupant les ingalits (11), (13), (14, (15) et (16), on obtient (10) ave
CA

Q. 2: Soit

 }a0 }L

pq

d2 CM

u P H 1 pq, on a
Apu, uq 

xM u, uy

dpCp

a0 u

Cq q

C2 }}L

u xp
q , uy

pq 0.

u2 .

Comme pp
q q P pW 1,8 pqqd et u P H 1 pq, on obtient en utilisant la formule (2) de l'exer i e 1

xp
q , uy u 
12

divpp
q qu

1
2

xp
q , n y u2

2.3.

19

EXERCICE 3

et don
Apu, uq

xM u, uy

Q. 3: Par hypothse,

 H01 pq H 1 pq.

Apu, uq 

1
divpp
q q
2

1
xp
q , n y u2,
2

a0 u 2

u P H 1 pq

On a alors,d'aprs (4),


xM u, uy

1
divpp
q q
2

u P H01 pq,

a0 u 2 .

En utilisant les hypothses (2) et (3), on obtient

Apu, uq } u}L2 pq

}u}L2 pq .

Si

on obtient dire tement

Apu, uq minp, q }u}H 1 pq

u P H01 pq.

On suppose maintenant que

page 10) pour obtenir

0.

Comme u P H01 pq on peut utiliser l'ingalit de Poin ar (1.4.32

}u}L2 pq
2

et don

Cp pq2 } u}2L pq

Apu, uq p

La ondition (2) (i.e.

pour obtenir

Cp2 pq

Apu, uq

Q. 4: Par hypothse,

Cp2 pqq } u}L2 pq .

2

0) permet alors d'utiliser l'ingalit (1.4.33 page 10)

Cp2 pq
}u}2H1 pq
Cp2 pq 1

 H 1 pq H 1 pq.

les hypothses (2), (3) et (7), on obtient

et

u P H01 pq.

La relation (4) est toujours valable. En utilisant

Apu, uq } u}L2 pq
2

Si

(17)

}u}L2 pq

}u}L2 pq .

on obtient dire tement

Apu, uq minp, q }u}H 1 pq

u P H 1 pq.
Remarque 1. On peut amliorer le rsultat en prenant 0 et 0,
2

Par ontinuit de l'appli ation linaire tra e sur , (voir thorme 16) il existe C 0 telle que

| puq| C }u}H pq .
1

Ce qui entraine

}u}2L pq C2 || }u}2H pq
2

et don

Apu, uq minp, q

On obtient la oer ivit si minp, q

C2

C2 ||

|| 0, 'est dire si
minp, q


.
C2 ||

}u}2H pq .
1

20

CHAPITRE 2.

Q. 5: Par hypothse,

(3) et (9), on obtient

Si

et

1
 H0,
pq.
D

La relation (4) est toujours valable. En utilisant (2),

Apu, uq } u}2L2 pq

}u}2L2 pq

}u}2L2 pR q .

on obtient dire tement la oer ivit :

Apu, uq minp, q }u}H 1 pq
2

On suppose maintenant 0. Comme u

de Poin ar (1.4.32) pour obtenir

Apu, uq p

Si

CORRECTION TD 5

1
H0,
D pq et

1
u P H0,
pq.
mespD q 0, on
D

2
Cp2 pqq } u}L2 pq

peut utiliser l'ingalit

}u}L2 pq .
2

Cp2 pq 0, on peut alors utiliser l'ingalit (1.4.33) pour obtenir

Apu, uq

Don , si

C pq
p

et

0,

Cp2 pq
}u}2H1 pq
Cp2 pq 1

}u}2L2 pq .

on a la oer ivit

Apu, uq

Cp2 pq
}u}2H1 pq
Cp pq2 1

1
u P H0,
p q.
D

Remarque 2. On peut amliorer le rsultat en prenant
C pq et 0.

2
p

Par ontinuit de l'appli ation linaire tra e sur , (voir thorme 18) il existe CR
R

| puq| C }u}H pq .
R

Ce qui entraine

}u}2L p q C2 |R| }u}2H pq .

Apu, uq

On a don oer ivit si

On obtient alors

0 telle que

Cp2 pq
Cp2 pq 1

C 2pq

C2R

1
| | }u}2H pq u P H0,
pq.
R

p pq

C 2 |R |pC
.
2
Cp pq 1q

et

2.4

Exer i e 4

Exer i e 4
Soit l'EDP

divpM uq
a1 u


u 

n
xM u, y 
a0 u

o n dsigne la normale oriente vers l'extrieur de .

On suppose que

f dans
gD sur
gR sur R

(1)
(2)
(3)

2.4.

1.
2.
3.
4.

21

EXERCICE 4

i, j P t1, . . . , du Mi,j P W 1,8 pq,

a0 P L8 pq, a1 P L8 pR q, f P L2 pq,
gD P H 1{2 pD q et gR P L2 pR q,

M est une matri e arre d'ordre d symtrique qui dpend ontinment de la variable ~x  px1 , . . . , xd q.


B
B
u
divpM uq 
Bxi Mij Bxj
i1 j 1
d
d

et

D 0,  P Rd, xMpx~ q , y } }2

On note Hg1D ,D pq l'ensemble dni par

Hg1D ,D pq  tv

P H 1 pq

pour presque tout ~x P .

(4)

 gD u.

t.q. v|D

Q. 1. Montrer qu'une formulation variationnelle asso ie l'EDP peut s' rire sous la forme
trouver u P U, tel que
Apu, v q  Lpv q

v P V,

(5)

o l'on expli itera les fon tions Apu, vq et Lpvq ainsi que les espa es U et V.
1
Q. 2. Que peut-on dire des espa es H0,

1
pq et Hg,
pq?
D

Q. 3. Montrer que sous les hypothses

a0 pxq

et

C 2pq
p

pour presque tout ~x P ,

(6)

~ P R ,
a1 pxq 0 pour presque tout x

le problme variationnel asso i l'EDP admet une unique solution dans

de Poin ar :

~ qdpx
~ q Cp2 pq
v 2 px

(7)

Hg1D ,D

pq. I i, Cp pq est la onstante

1
| vpx~ q|2 dpx~ q, v P H0,
pq.
D

Corre tion
Q. 1: Pour obtenir une formulation variationnelle asso ie au problme (1)-(2)-(3), on multiplie
(1) par une fon tion suffisament rgulire v et on intgre sur :

pa0 p~xqup~xq
pdivpM uqqp~xqq vp~xqdp~xq 

f p~xqv p~x qdp~x q

(8)

En utilisant (1) de l'exer i e 1, l'quation pr dente devient

~ qupx
~ qv px
~ qdpx
~q
a0 px

x vpx~ q, pM uqqpx~ qy dpx~ q



~x ~x
~x
f p qv p qdp q

~ q xpM uqpx
~ q, n px
~ qy dpx
~q
v px

(9)

22

CHAPITRE 2.

CORRECTION TD 5

On d ompose ensuite l'intgrale sur le bord

~ q xpM uqpx
~ q, n px
~ qy dpx
~q 
v px

~ q xpM uqpx
~ q, n px
~ qy dpx
~q
v px

~ q xpM uqpx
~ q, n px
~ qy dpx
~ q.
v px

On utilise la ondition de Robin (1) sur R pour obtenir

~ q xpM uqpx
~ q, n px
~ qy dpx
~q 
v px

~ qv px
~ qdpx
~q

gR px

~ qupx
~ qv px
~ qdpx
~ q.
a1 px

Classiquement, on hoisit v de telle sorte d'annuler l'intgrale sur le bord Diri hlet : v|D
1
0. On prend don v P H0,
D pq et la formulation variationnelle obtenue est

trouver u P Hg1D ,D pq, tel que

Apu, v q  Lpv q

ave
Apu, v q

Lpv q 

0

alors

pq

(10)

~ qupx
~ qv px
~ qdpx
~q
a0 px

~ qupx
~ qv px
~ qdpx
~q
a1 px

~ qv px
~ qdpx
~q
f px

Q. 2: Muni du produit s alaire de

Hg1D ,D

x vpx~ q, pM uqqpx~ qy

et

1
v P H0,
pq,

~ qv px
~ qdpx
~ q.
gR px

1
H 1 pq, H0,
D pq est un espa e de Hilbert. Soit g

P L2 pD q,

n'est pas un espa e de Hilbert ( e n'est pas un espa e ve toriel).

Q. 3: Il n'est pas possible d'utiliser dire tement le thorme de Lax-Milgram 25(page 11) pour
obtenir existen e et uni it d'une solution de la formulation variationnelle (10) ar l'espa e
o l'on re her he la fon tion u n'est pas le mme que elui des fon tions tests v.
Cependant, on peut ontourner le problme en utilisant un relvement de la fon tion gD . En
effet, gD P H 1{2 pD q, par dfinition il existe un relvement R P H 1 pq telle que D pRq  gD .
1
Supposons u soit solution de (10), on pose w  u
R, alors w P H0,
D pq et, par bilinarit
de A, w est solution de la formulation variationnelle
1
trouver w P H0,
D pq, tel que

Apw, v q

ave

1
 LR pvq v P H0,
p q ,
D

(11)

LR pv q  Lpv q
ApR, v q.

On remarque tout de suite que ette formulation variationnelle est indpendante de u solution
de (10) ; elle ne dpend que du relvement RD . Don , si l'on obtient l'existen e de w solution
de (11) alors u  w R appartiendra Hg1D ,D pq et sera solution de (10).

2.4.

23

EXERCICE 4

Pour dmontrer l'existen e et l'uni it de (11), on va vrifier les hypothses du thorme

de Lax-Milgram.
Pour el, on utilise les appli ations AM,pp,qq ,a0 et Lgf des exer i es 2 et 3. On a
"

1
1
: H0,
D pq  H0,D pq
pu, vq

ave

et

"

LR

1
: H0,
D pq
v

"

R
AM,00,00,a0 pu, v q

(12)

R
LgfR pv q
AM,00,00,a0 pR, v q

(13)

sur R
sur D

a1
0

On va pouvoir utiliser les rsultats obtenus dans es deux exer i es ar Les fon tions f et gR
vrifient les hypothses de l'exer i e 2 :
f

P L2 pq,

gR

P L2 pR q.

Les fon tions M, a0 et vrifient les hypothses de l'exer i e 3 :

i, j P t1, . . . , du Mi,j , pi, qi P W 1,8 pq, a0 P L8 pq et P L8 pq.
On vrifie maintenant que l'on peut appliquer le thorme de Lax-Milgram 25(page 11) la formulation
variationnelle (11) :
1
1
1
H0,
D pq est un hilbert ? on a dj montr que H0,D pq, muni du produit s alaire de H pq,
est un espa e de Hilbert,
1
Linarit de LR ? On a vu que LgfR est une appli ation de H 1 pq dans R linaire. Comme H0,
D p q
gR
1
1
est un s.e.v. de H pq, on obtient que la restri tion de Lf a H0,D pq reste une appli ation
linaire.
On a vu aussi que AM,00,00,a0 est une appli ation linaire de H 1 pqH 1 pq dans R. Comme R P
H 1 pq, l'appli ation AM,00,00,a0 pR, q de H 1 pq dans R est don linaire. La restri tion de ette
1
appli ation a H0,
D pq reste une appli ation linaire.
On en dduit alors la linarit de l'appli ation LR dfinie en (13).
1
1
Continuit de LR ? Comme LR est linaire et que H0,
D pq est muni de la norme de H pq,
il suffit de dmontrer que
1
|LR pvq| C }v}H pq , v P H0,
pq.
D

On a,

1
v P H0,
p q
D

|LRpvq| |Lgf pvq| |AM,00,00,a pR, vq|

R

et on utilise ensuite la ontinuit des appli ations LgfR et AM,00,00,a0 pour obtenir

|LD pvq| CL }v}H pq CA }R}H pq }v}H pq

pCL CA }R}H pq q }v}H pq .
1

o CL et CA sont respe tivement les onstantes de ontinuit des appli ations LgfR et AM,00,00,a0 .
Bilinarit de A ? D oule dire tement de la bilinarit de AM,00,00,a0 de l'exer i e 3.
Continuit de A ? D oule dire tement de la ontinuit de AM,00,00,a0 de l'exer i e 3.

24

CHAPITRE 2.

CORRECTION TD 5

Coer ivit de A ? Pour obtenir la oer ivit de A, il faut, d'aprs l'exer i e 3-Q.5, avoir
les hypothses (8)(page 16) et (9), 'est dire

C 2pq
p

et

p~x q 0

pour presque tout ~x P D .

Cette dernire ondition est immdiatement quivalente (7)

~q 0
a1 px

pour presque tout ~x P R .

Toutes les hypothses du thorme de Lax-Milgram sont vrifies ! Il existe don une unique solution
au problme variationnel (11) que l'on note w. On pose alors u  w R, et on obtient da manire
immdiate u P Hg1D ,D pq et u solution du problme variationnel (10).
L'existen e tant tabli, il faut dmontrer l'uni it. Pour el, on suppose qu'il existe u1
1
et u2 dans Hg1D ,D pq solution de (10). On a alors, v P H0,
D pq
Apu1 , v q  Lpv q

et Apu2 , v q  Lpv q.

En soustrayant es deux quations, on obtient

Apu1
u2 , v q  0,

1
v P H0,
pq
D

(14)

1
1
1
De plus, omme u1
u2 P H0,
D pq on peut utiliser la oer ivit de A dans H0,D pq  H0,D pq
ave v  u1
u2 pour obtenir

Apu1
u2 , u1
u2 q }u1
u2 }H 1 pq .

Or, d'aprs (14) en prenant v  u1
u2 , on obtient

Apu1
u2 , u1
u2q  0.

On a don

}u1
u2 }H pq  0
1

'est dire u1

 u2

dans H pq.
1