Solutions of Stratonovich SDEs

Definition

First, consider the ODE

y=F(x,y).

A solution of it could be defined as any function f(x) such that

f(x)=f0+0xF(t,f(t))dt.

Here, 0xF(t,f(t))dt$ is the Riemann--Stieltjes integral or the Lebesgue integral fo the one-variable function h(t)=F(t,f(t)).

Analogously, a solution of a Stratonovich SDE

dXt=b(t,Xt)dt+i=1mσi(t,Xt)dWti,X0=x0

is a stochastic process Xt such that almost surely

Xt=x0+0tb(s,Xs)ds+i=1m0tσi(s,Xs)dWsi.

Here we have:

Examples

When does Xt=F(t,Wt) work?

Suppose Xt=F(t,Wt). Stratonovich chain rule:

dXt=tF(t,Wt)dt+xF(t,Wt)dWt.

For dXt=b(Xt)dt+σ(Xt)dWt, we need

tF(t,x)=b(F(t,x)),xF(t,x)=σ(F(t,x)).

Compatibility requires

b(y)σ(y)=constant,

so drift and diffusion must be proportional.
In n dimensions this is generalized as [b,σ]=0, where [,] is the Lie bracket. That is, the vector fields defining the drift and the noise must commute!!