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)). This may seem a notational truism, but it isn't. It is a way to effectively check if a function f is a solution, without using differentiation.

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=1m∫0tσ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!!