Professional Documents
Culture Documents
Let
β
u.
σ = α∇u −
2
We set V := Hdiv (Ω) and Q = L2 (Ω) and write k·k = k·kL2 (Ω,Rm ) for m = 1 or m = d.
We consider the variational problem: (σ, u) ∈ V × Q such that for all (τ, v) ∈ V × Q
+
a(σ, τ) + b (τ, u) = 0,
Z
(2)
b (σ, v) − c(u, v) = −
−
fv,
Ω
with
Z Z Z
1 1 2
a(σ, τ) := σ · τ,
c(u, v) := γ+ |β| uv, b(σ, v) := (div σ) v,
α 4α
Ω
Z Ω
Z Ω
(3)
+ 1 − 1
b (σ, v) := b(σ, v) + β · σv, b (σ, v) := b(σ, v) − β · σv.
Ω 2α Ω 2α
1
4. Show that
Z
1
γ u div σ 6 kdiv σk2 + γ2 kuk2 and
Ω 4
Z
2 (7)
|β|2
1 β 1 2 − 1 β
β · σ + u div σ 6 kdiv σk +
α 2 (σ + u)
.
Ω 2α 2 4 4α0
2
Hint: use as test function (τ, v) = (τ1 , v1 ) + C(σ, −u) with a well-chosen constant C.
2
Now the second equation reads
Z Z
1 2 1
fv = γ+ |β| u − div σ + β·σ v
Ω Ω 4α 2α
1 1
⇒ div σ = γ + u+ β·σ−f
4α 2α
β 1 2 1 β
⇒ div α∇u − u = γ + |β| u + β · α∇u − u − f
2 4α 2α 2
⇒ div (α∇u − βu) = γu − f
⇒ div (α∇u) − β · ∇u − γu = −f
2. If |||(σ, u)||| = 0, first u = 0 and the remaining part is equivalent to kσkHdiv (Ω)
thanks to α > 0.
2
3. We have τ + β2 v = |τ|2 + τ · βv + 14 |β|2 v2 and then
4.
Z
1
γu div σ 6 kdiv σk2 + γ2 kuk2
Ω 4
Z
2
|β|2
1 β 1 2 − 1 β
β · σ + u div σ 6 kdiv σk +
α 2 (σ + u)
Ω 2α 2 4 4α0
2
5.
A((σ, u), (τ1 , v1 )) =b− (σ, v1 ) − c(u, v1 ) = b− (σ, div σ) − c(u, div σ)
Z Z
2 1 1 2
= kdiv σk − β · σ div σ − γ+ |β| u div σ
Ω 2α 4α
Z Ω
Z
2 1 β
= kdiv σk − β · σ + u div σ − γu div σ
Ω 2α 2 Ω
2
|β|2
2 1 2 1 β
1
> kdiv σk − kdiv σk −
(σ + u)
− kdiv σk2 − kγuk2
4 4 α
2
4
2
2
1 |β|
α− 12 (σ + β u)
− γ2 kuk2
> kdiv σk2 −
2 4α0
2
3
6. Taking the test function (τ, v) = (τ1 , v1 ) + C(σ, −u), we get
!
2
2
1 2 |β|
−1 β
+ (C − 1) kuk2
A((σ, u), (τ, v)) > kdiv σk + C −
α 2 (σ + u)
2 4α0
2
|β|2
So, we get with C := 1 + max 4α0
,1 the result.
7.
Z
(σh , uh ) ∈ Vh × Qh : A((σ, u), (τ, v)) = − fv, ∀(τ, v) ∈ Vh × Qh .
Ω
|β|
1
|||(σ − Ih σ, u − πh u)||| 6 kσ − Ih σk + 1 + ku − πh uk + kdiv(σ − Ih σ)k
α0 2α0
|β|
1
k
6CI dh |σ| + 1+ |u|k+1,Ω + |div σ|k+1,Ω
α0 k+1,Ω 2α0
11. According to the Babuška theorem, there exists C independent of H such that