2D SDEs
We can generalize SDEs to R2. A particle can be represented as
(X(t),Y(t))∈R2
moving in 2D with random kicks.
dXdY=u(X,Y)dt+2D1(X,Y)dB1=v(X,Y)dt+2D2(X,Y)dB2
for functions u,v,D1,D2:R2→R and independent Brownian Motions B1(t) and B2(t).
The 2D nature was actually Brown’s original observation.
2D Ito’s Lemma
We can generalize Ito’s Lemma to find df for f(X,Y). The strategy is to do Taylor expansion to O(dt). The same assumptions hold from above.
df=f(X+dX,Y+dY)−f(X,Y)=dX(∂xf)+dY(∂yf)+21(dXdY)(∂xx2f∂xy2f∂xy2f∂yy2f)(dXdY)+O(dt3/2)=(u∂x∂f+v∂y∂f+D1∂x2∂2f+D2∂y2∂2f)dt+∂x∂f2D1dB1+∂y∂f2D2dB2
Example 1 (Active Particle on a Line)
source code
The diagram depicts θ(t) providing rotational noise with the particle moving right on the line.
dXdθ=vcosθdt=0+0+2DdB,X(0)=0,θ(0)=0
The particle tries to move in the θ−direction but is constrained to the line.
A 2D active particle needs 3 SDEs to simulate it.
How far does the particle move? We can measure the expectation.
d(E[X])dtdE[X]=vE[cosθ]dt=vE[cosθ]
How to find E[cosθ]? We can use 2D Ito’s Lemma! For f(X,θ), we have
df1=(u∂x∂f+v∂y∂f+D1∂x2∂2f+D2∂y2∂2f)dt=(0+0+(0)+D⋅(−cosθ))dt=−Dcos(θ)dt
for the deterministic part. For the noise part,
df2=0+−sin(θ)2DdB
Thus,
df=df1+df2=−Dcos(θ)dt−2Dsin(θ)dB
Taking the expectation,
dE[cosθ]dtdE[cosθ]E[cosθ]=−DE[cosθ]dt−0=−DE[cosθ]=cos(0)e−Dt=e−Dt
Going back to our original expectation,
dtdE[X]=ve−Dt
Integrating,
E[X(t)]=∫0tve−Dsds=[−Dve−Ds]0t=−Dv(e−Dt−1)=Dv(1−e−Dt)
as desired.