Simulation of Diffusion Processes
Simulation of Diffusion Processes
3)
where (of course) Y n(0) = x0 and W (ti ) = W (ti ) W (ti1 ) (so the
W s are iid N (0, n)).
Notational nightmare when written in full, but easy to simulate. Good
news: The Euler scheme converges as n . (Closely connected to
how SDE solns are defined.)
Z t
0
(L0f )(X(s))ds +
1
(L0 f )(x) = (x)f 0 (x) + 2 (x)f 00 (x) and (L1f )(x) = (x)f 0 (x).
2
Using this for f (x) = x gives the almost tautology
X(t) = x0 +
Z t
0
(X(s))ds +
Z t
0
(X(s))dW (s),
8
Can we improve the orders? Yes. But we have to study closely the
terms we have thrown away.
0.02
|E(X(T))E(Y(T)))|
0.03
0.04
0.03
|E(X(T))E(Y(T))|
0.03
0.01
0.01
0.01
0.02
0.02
0.04
0.04
0.05
0.05
|E(X(T))E(Y(T))|
Z t
0.05
0.10
0.15
0.20
0.25
10
15
20
25
30
0.05
#steps, n
0.10
0.15
(t)2
(t)n
+...+f (n)(t0 )
+O((t)n )
2
n!
How to prove this: Fundamental theorem of calculus over & over.
f (t0 +t) = f (t0 )+f 0 (t0 )t+f 00(t0 )
0.25
stepsize, h
0.8
0.6
E(|X(T)Y(T)|)
1.0
0.8
E(|X(T)Y(T)|)
0.4
0.6
0.8
0.6
0.4
E(|X(T)Y(T)|)
1.0
1.0
stepsize, h
0.05
0.10
0.15
stepsize, h
0.20
0.25
10
15
20
#steps, n
25
30
0.05
0.10
#steps, n
0.15
0.25
W (s)dW (s) =
1
(W (t)2 t)
2
0 0
Z tZ s
0
dW (u)ds =
dudW (u) =
0
Z t
0
12
0
1
0
where (for instance) (L ) = . Collecting all the double integrals
Z tZ s
0
Z t
0
0.02
0.05
0.10
0.01
stepsize, h
0.05
0.10
|E(X(T)Y(T))|, Milstein
0.020
0.020
stepsize, h
0.005
|E(X(T)Y(T))|,Euler
0.02
0.001
(x0 ) 0(x0)
0.05
0.7
0.5
0.01
0.02
E(|X(T)Y(T)|), Milstein
0.4
(L1)(X(u))dW (u) ds
0.01
(L )(X(u))du +
Z s
Z s
0.010
(L0 )(X(u))du +
0.3
(x0 ) +
Z s
Z s
0.005
(x0) +
E(|X(T)Y(T)|),Euler
Z t
Z t
0.2
X(t) = x0 +
0.10
W (s)dW (s)
0.01
0.02
0.05
stepsize, h
0.10
0.01
0.02
0.05
0.10
stepsize, h
11
Remarks
You can do this till the cows come home. Is there a pattern
(like for regular Taylor-expansion)? Not a simple one: The operators L0 and L1 dont commute and we get n-fold recursive
BM-integrals.
In theory you only have to hard-code a particular scheme once.
Then you just specify and functions and some of their derivatives. Of course in practice ...
Higher dimensions: Everything but the Euler-scheme gets very
hard or messy.
14
Can show that (W (t), Z(t)) is 2-d Gaussian and that cov(W (t), Z(t)) =
1 t2 . In simulations (t t) this can be achieved by using
2
1
1
(t)3/2 (1 + 2 ),
2
3
where s independent standard normal.
W =
t1 and Z =
In this way you get Seydels (3.13). This scheme has weak order 2
and (still only) strong order 1.
16
1
00
0 2
2
(But if you add 1
2 b(bb + (b ) ))( 3 W )W it gets strong order
1.5.)
13
15