PHLST WITH ADAPTIVE TILING AND ITS APPLICATION TO ...
PHLST WITH ADAPTIVE TILING AND ITS APPLICATION TO ...
PHLST WITH ADAPTIVE TILING AND ITS APPLICATION TO ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
10 ZHIHUA ZHANG <strong>AND</strong> NAOKI SAI<strong>TO</strong><br />
where A k is the area of Q k . From this and (17)-(19), by the maximum modulus<br />
principle, we get<br />
( )<br />
‖u k −ũ nk ‖ C(Qk ) = max<br />
1≤i≤4 ‖h(k) i −σ nk h (k)<br />
i ‖ C<br />
(τ ) ≤ C kn ′ −α k+s− 1<br />
(k)<br />
2<br />
k<br />
. (20)<br />
i<br />
From this, we have the following proposition.<br />
Proposition 3. Let<br />
( ) 4C<br />
n ′ ′<br />
k ≈ k<br />
M<br />
(αk −s+ 2) 1 −1 M∑<br />
and n ′ = n ′<br />
ε<br />
k.<br />
Denote<br />
Then ‖U −U n ′‖ L p (Q) ≤ ε 4 .<br />
Again, by (20),<br />
U n ′(x) =<br />
‖u k −ũ n ′<br />
k<br />
‖ L p (Q k ) = O<br />
This implies the following proposition.<br />
Proposition 4.<br />
‖U −U n ′‖ L p (Q) = O<br />
By Propositions 1 and 3, we obtain<br />
M∑<br />
ũ n ′<br />
k<br />
(x)χ Qk (x).<br />
k=1<br />
( )<br />
(n ′ k) −α k+s− 1 2<br />
( )<br />
(n ′ ) −α k 0 +s− 1 2<br />
k=1<br />
(k = 1,...,M).<br />
(s > 0).<br />
Theorem 5.1. Suppose that f ∈ L p (Ω) (2 ≤ p < ∞) and Ω be a bounded domain<br />
in R 2 . For ε > 0, Q = M ⋃<br />
Q k is an adaptive tiling of Ω described in Section 4<br />
which satisfies<br />
k=1<br />
‖f χ Ω\Q ‖ L p (Ω) < ε 2 .<br />
Denote the global Besov index of f on Q k by α k . Let<br />
f(x) = u k (x)+v k (x)<br />
on Q k<br />
be the m k −fold <strong>PHLST</strong> decomposition where m k is the maximal integer satisfying<br />
2m−1 ≤ α k and denote<br />
M∑<br />
M∑<br />
U(x) = u k (x)χ Qk (x), V(x) = v k (x)χ Qk (x).<br />
Set<br />
k=1<br />
( 4Ck M<br />
n k =<br />
ε<br />
k=1<br />
) (<br />
α k<br />
2 −s ′ − 1 p +1 2) −1 , n =<br />
M∑<br />
k=1<br />
( ) 4C<br />
n ′ ′<br />
k = k<br />
M<br />
(αk −s+ 2) 1 −1 M∑<br />
, n ′ = n ′<br />
ε<br />
k,<br />
where the constants C k and C<br />
k ′ are stated in (13) and (18). Denote<br />
M∑<br />
M∑<br />
U n ′(x) = u n ′<br />
k<br />
(x)χ Qk (x), V n (x) = v nk (x)χ Qk (x).<br />
k=1<br />
k=1<br />
k=1<br />
n k