Information Technology Reference
In-Depth Information
equivalences hold in the whole range of Sobolev spaces, i.e. from L 2 (G) to H 0 (G) .
For u
L 2 (G) , there holds
k ∈∇ |
2
2
2 .
u
L 2 (G)
0
u
L 2 (G)
u ,k |
=
=
0
L 2 (G)
The mapping u
u 0 +···+
u defines a continuous projector
P :
V .
H s (G) , we have the direct (or Jackson type) estimate,
For general Sobolev spaces
C 2 ls
u
P u
L 2 (G)
u
H s (G) ,
0
s
p.
For u
V we also have the inverse (or Bernstein-type) estimates,
u H s (G) C 2 ls
u L 2 (G) ,s<p
1 / 2 .
Using the inverse estimate and the series representation ( 12.1 ), we have
2
2
2 2 ls
2 ,
u
H s (G)
0 u
H s (G) C
| u ,k |
0
s<p
1 / 2 .
=
=
0
k
∈∇
H p (G)
In the other direction, we have for u
u L 2 (G) = P u P 1 u L 2 (G) P u u L 2 (G) + P 1 u u L 2 (G)
C( 2 p
2 p 2 p )
+
u
H p (G) ,
and therefore,
L
2 2 lp
2
C L
2
|
u ,k |
u
H p (G) .
=
0
k ∈∇
Unfortunately, we do not quite obtain the required bound. This estimate is sharp.
For 0
s<p , one can modify this argument by using the modulus of continuity
and obtain
2
2
2 2 ls
2 ,
u
H s (G)
0
u
H s (G)
|
u ,k |
0
s<p
1 / 2 .
(12.3)
=
=
0
k ∈∇
12.2 Wavelet Discretization
Let X be a Lévy process with characteristic triplet ( 0 ,ν, 0 ) satisfying Assump-
tion 10.2.3. As shown in Chap. 10, the option price can be obtained by the solution
of the PIDE
t u A u =
0 n J × G,
u( 0 ,x) = u 0
in G = ( R,R),
(12.4)
Search WWH ::




Custom Search