Information Technology Reference
In-Depth Information
∈ C
with λ
. Again, we want to construct a diagonal preconditioner for the matrix B .
Since the underlying energy space
V
(i.e. the space on which the bilinear form
a(
is continuous and satisfies a Gårding inequality) for most of
the SV models is a weighted Sobolev space, we can no longer rely on the norm
equivalences (12.3), (13.8) to construct the preconditioners, but have to use norm
equivalences for weighted Sobolev spaces [19]. To this end, we recall some facts on
these.
The wavelets ψ ,k and the weighting function w defined on the interval ( 0 , 1 ) are
assumed to satisfy the following assumptions.
·
,
·
)
: V × V → R
Assumption 15.4.1
(i) The wavelets have one vanishing moment: 0 ψ ,k (x) d x
0.
(ii) The wavelets ψ ,k and their duals ψ ,k belong to W 1 , ( 0 , 1 ) . Furthermore,
they satisfy: There exist constants C> 0, β,β
=
+ β>
∈ N 0 , γ
+
β>
1 / 2,
γ
0 , 2
there holds
| ,k ) (j) (x) |≤ C 2 (j + 1 / 2 ) ( 2 x) β j ,k I ,
| ,k ) (j) (x) |≤ C 2 (j + 1 / 2 ) ( 2 x) β j ,j I ,
where the index sets
1 / 2, such that for j ∈{
0 , 1
}
and for x ∈[
]
and I
2 1 , 0
I
are given by
I := {
i
∈ N :
β
1
i
and I := {
2 1 , 0
supp ψ ,i }
, respectively.
(iii) The nonnegative weighting function w( · ) belongs to W 1 , (ε, 1 ) for every
ε> 0 and satisfies: there exists a constant C w > 0 such that for j
supp ψ ,i }
i
∈ N :
β
1
i
∈{
0 , 1
}
w (j) (x)
x γ j
C 1
w
C w ,
(15.24)
with γ
∈ R
as in (ii).
The following weighted norm equivalences are proved in [19, Theorem 3.3, The-
orem 5.1].
Proposition 15.4.2 Let Assumption 15.4.1 hold and assume that (12.3) holds for
s
= = 0 k ∈∇ u ,k ψ ,k and j
=
0. Then , for any u
∈{
0 , 1
}
the following norm
equivalence holds :
1
0 | u (j) (x) |
u (j)
2
2 w 2 (x) d x
2 2 j w 2 ( 2 k) | u ,k |
2 . (15.25)
L w ( 0 , 1 ) :=
=
0
k
∈∇
We need a tensorized version of Proposition 15.4.2 .
:= j = 1 w j (x j ) . Assume that w j : R →
Corollary 15.4.3 Let d
1 and let w(x)
R +
, j
=
1 ,...,d , satisfies Assumption 15.4.1 (iii). Assume further that ψ , k (x)
:=
ψ 1 ,k 1 ⊗···⊗
ψ d ,k d with ψ i ,k i satisfying Assumption 15.4.1 (i)-(ii). Then , for any
0
multi-index α
∈ N
with
|
α
|
1 and any
=
u
u , k ψ , k
i =
0
k i ∈∇ i
Search WWH ::




Custom Search