Professional Documents
Culture Documents
Let
σ = α∇u.
We set V := Hdiv (Ω) and Q = L2 (Ω) and write k·k = k·kL2 (Ω,Rk ) for k = 1, 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
a(σ, τ) := α σ · τ, c(u, v) := γuv, b(σ, v) := (div σ) v. (3)
Ω Ω Ω
In addition, let H be a regular simplicial mesh family and define the bilinear form
A((σ, u), (τ, v)) := a(σ, τ) + b(τ, u) + b(σ, v) − c(u, v). (4)
1. Show that a solution to (2) satisfies the boundary value problem (1).
2. Recall shortly the proof if existence τ∗ (v) ∈ V for any v ∈ L2 (Ω) such that
1
4. Show that for (τ2 , v2 ) = (0, − div σ) we have
1 2 γ1
12
2
A((σ, u), (τ2 , v2 )) > kdiv σk −
γ u
. (7)
2 2
5. Show that for (τ3 , v3 ) = (τ∗ (u), 0), with τ∗ (u) defined in (5), we have
1 2 1
− 21
2
A((σ, u), (τ3 , v3 )) > kuk −
α σ
. (8)
2 α0
6. Let
12
− 21
2
2 2
|||(σ, u)||| :=
α σ
+ kdiv σk + kuk . (9)
9. Conclude that
A((σ, u), (τ, v))
sup > γ|||(σ, u)|||. (12)
(τ,v)∈V×Q\{0,0} |||(τ, v)|||
and
∇u = α−1 σ, ⇒ σ = α∇u.
Especially we have u ∈ H1 (Ω) and integration by parts gives
Z Z
+ −1
0 =a(σ, τ) + b (τ, u) = α σ·τ+ (div τ) u
Z Ω Ω
2
Now the second equation reads
Z Z
fv = (γu − div σ) ⇒ div σ = γu − f ⇒ div (α∇u) = γu − f
Ω Ω
4.
5.
6. If |||(σ, u)||| = 0, first u = 0 and the remaining part is equivalent to kσkHdiv (Ω)
thanks to α > 0.
7.
2 α0 ∗ 2
|||(τ, v)|||2 =|||(σ, u)|||2 + kdiv σk2 + kτ kV
γ1 2
α20
2
6 1+ + |||(σ, u)|||2
γ1 2
So
s
1 α2
C1 = 1+ + 0.
γ1 2
3
8.
1
2
1
2 1
1
2 α 1
1
2
0
A((σ, u), (τ, v)) >
α− 2 σ
+
γ 2 u
+ kdiv σk2 −
γ 2 u
+ kuk2 −
α− 2 σ
γ1 4 2
1
1
2 1 α0
>
α− 2 σ
+ kdiv σk2 + kuk2
2 γ1 4
1 1 α0
> min , , |||(σ, u)|||.
2 γ1 4
So
1 1 α0
C2 = min , , .
2 γ1 4
9.
A((σ, u), (τ, v)) A((σ, u), (eτ, ev)) C2 |||(σ, u)|||2
sup > > .
(τ,v)∈V×Q\{0,0} |||(τ, v)||| |||(e
τ, e
v)||| C1 |||(σ, u)|||
So
1 1 α0
C2 min , ,
2 γ1 4
γ> = q
C1 α2
1 + γ11 + 20