Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'll enjoy your kindness to ask this question, despite that it seems silly for you. Please show me a document or a url; emphasizing in a concise manner, the relationship between Brownian motion and Laplacian. With google, I found a lot of links; but I can not get the link to Markov chain, heat kernel and half Laplacian. friendly.

share|cite|improve this question

Brownian motion is a Markov process, since $B_{t+s}-B_t\perp B_t$ and $B_{t+s}-B_t\sim\mathcal N(0,s)$. I do not know how familiar are you with the theory of Markov processes, but here is the nice connection which does asks for this theory - only for Ito's lemma. Let us consider $f\in C^2(\mathbb R)$, then $$ f(B_T) = \int\limits_0^Tdf(B_t) = \int\limits_0^Tf'(B_t)dB_t + \int\limits_0^T\frac12f''(B_t)dt $$ so by taking expectation of both sides $$ \mathsf E f(B_T) = \int\limits_0^T\frac12 \mathsf Ef''(B_t)dt. $$ Now, if we take insted a process $X_t= x+B_t$ then $$ \mathsf E_x f(X_T) = \int\limits_0^T\frac12 \mathsf E_xf''(X_t)dt. $$ where $\mathsf E_x$ is an expectation under the condition that $X_0 = x$. If we denote $m(t,x) = \mathsf E_xf(X_t)$ then $$ m_t = \frac12m_{xx} = \frac12\Delta m\quad (1) $$

For the multidimensional case you just take $X_t = (x^1,...,x^n)+(B^1_t,...,B^n_t)$ where $B^i_t$ are mutually independent Brownian motions. $\frac12\Delta$ is called an infinitesimal generator of the stochastic process.

Edited: lets introduce a transition operator $P_t[f(x)] = \mathsf E_x[f(X_t)]$. Then an infinitesimal generator of the process $X$ is simply $$ \mathcal Af(x) = \lim\limits_{t\to0}\frac{P_t[f(x)] - f(x)}{t}, $$ for $X_t = x+B_t$ it follows from Ito's lemma. In that case, of course, $\mathcal A = \frac12\Delta$. Moreover, $P_t$ and $\mathcal A$ commute for all $t\geq 0$ which justifies (1).

share|cite|improve this answer
@user11995: excuse me, could you please clarify which passage do you mean? – Ilya Jul 6 '11 at 9:19
Thank you for this fast response. Nevertheless I have a few doubts about the passage: $m_t= \frac{1}{2}m_{xx}$ to $$ E_x[f(X_t)]= \int_0^T \frac{1}{2}E_x[f''(X_t)]\, dt. $$ Obviously $E_x[f(X_t)]$ is a primitive of $\int_0^T \frac{1}{2}E_x[f''(X_t)]\, dt$. I do not see following in order to deduce. Sincerly. – Zbigniew Jul 6 '11 at 13:31
@user11995: I've edited. For more details why this operators commute you can be referred to M. Davis, "Markov Models and Optimization", section 14. If you would like, I can type a proof here tomorrow. For sure you will find it in any book on Markov processes. – Ilya Jul 6 '11 at 13:45
@user Good question. There is no mystery here: you know that $m_t(t,x)=\frac12E_x(f''(X_t))$ but $E_x(f''(X_t))$ is simply $E(f''(x+B_t))=(E(f(x+B_t))''=m_{xx}(t,x)$, hence you are done. The only step which needs some care is that one can exchange the second derivative and the expectation, and this holds at least for every bounded function $f$. – Did Jul 6 '11 at 14:06
Good evening Didier Piau for Thank you for your contribution. I am confused between integration w.r.t $t$ and w.r.t $x$. when you write $f''(x+ B_t)$, the derivative is w.r.t $t$ or $x$. – Zbigniew Jul 6 '11 at 14:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.