Stochastic Processes – Infinitesimal Generator of Brownian Motion on Unit Sphere

brownian motionstochastic-analysisstochastic-calculusstochastic-processes

The infinitesimal generator of a standard Brownian motion (as Markovian process) in $\mathbb R$ can be computed with

$$Af(x) := \lim_{t \downarrow 0} \frac{\mathbb{E}^x(f(X_t))-f(x)}{t} = \lim_{t \downarrow 0} \frac{P_tf(x)-f(x)}{t}$$
as $\frac{1}{2} \Delta$.

How can i use this formula to compute the generator on the unit sphere?
In the literature (e.g. Oksendal), he uses some "random time change" and other authors used other approaches, but no one uses this formula. I would appreciate a mathematical explanation if(why) the formula cannot be used.

Is it true to say that Brownian motion on the sphere is not Markovian, because state of the process on the sphere is determined not only by its current position but also by how it got to that position?

Best Answer

Take a look at Examples 3.3.2./3.3.3. in "Stochastic Analysis On Manifolds" by Elton P. Hsu. He derives the generator for Brownian motion on the sphere

$$\mathcal{L}f(x):=\frac{1}{2}\Delta_{S}f(x)=\frac{1}{2}\Delta(f(\frac{x}{|x|})),$$

where $\Delta_{S}$ is the spherical Laplacian.

The formula you mentioned does have analogues on manifolds. For example, see theorem 4.9 in "Heat Kernel and Analysis on Manifolds" Book by A Grigoryan, where he describes the relation of the semigroup and generator and in particular derives the relation

$$\frac{d}{dt}P_{t}(f)=-\mathcal{L}P_{t}(f),$$

which is the one you mentioned at $t\to 0$ (also see exercises 4.41-42).

But to be clear even in $\mathbb{R}^{n}$, one again needs to start from some generator and then define the corresponding semigroup (satisfying the Cauchy-problem) and stochastic process.

Once some basic processes were built, then this procedure was back-engineered too eg. see Feynman-Kac, of the correspondence, so one can start from an SDE and figure out the corresponding generator.