As explained in this Wikipedia page, the infinitesimal generator of the standard Brownian motion is $\frac{1}{2}\Delta$ and for the Brownian motion it has an extra $\partial_t f$ term. Can anybody please explain how one can reach to $\frac{1}{2}\Delta$ from $Af(x) := \lim_{t \downarrow 0} \frac{\mathbb{E}^x(f(X_t))-f(x)}{t}$ in the standard Brownian motion, for a person who is not that much familiar with the stochastic math?

In the first answer here, the Brownian motion was studied. I would appreciate if i can have the proof (not deep stochastic math) for the standard Brownian motion.

And two points which might be covered in the answer of the question above:

  • Unlike the Brownian case, in the standard case we have $\mathbb{E}^x(B_t-x)=-x$.

  • In the equation (1) in that answer, how "one can show $\frac{d}{dt} P_t f(x) = A P_tf(x)$ " ?

Thanks in advance.

  • 1
    $\begingroup$ $\mathbb{E}^x[B_t - x] = x$ implies that $\mathbb{E}^x[B_t] = 2x$. I think you've made a sign error. Regardless, it makes little sense to talk about the generator of a standard Brownian motion where "standard" includes the requirement that the process starts at $0$. The generator captures behaviour of the transition semigroup which requires you to be able to start your process at different points. (i.e. by definition $\mathbb{E}^x$ is the expectation for the law of Markov process in question started at point $x$). $\endgroup$ – Rhys Steele Jun 2 at 22:21
  • $\begingroup$ Thanks. And yes you are right, it should be $-x$. $\endgroup$ – Denis Jun 2 at 22:27
  • 1
    $\begingroup$ If you've understood the need to consider the family of processes $(B_t^x)_{x \in \mathbb{R}^d}$ where $B_t^x$ is a Brownian motion started at $x$ when finding the generator then the accepted answer at the other question shows you how to show that the generator is given by the Laplacian in the one dimensional case. You get the multivariate version in pretty much the same way, using the multivariate taylor expansion. $\endgroup$ – Rhys Steele Jun 2 at 22:30
  • 1
    $\begingroup$ Also btw $\mathbb{E}^x$ refers to the expectation with respect to the law of the process started from $x$ and hence if $B_t$ is a Brownian motion then $\mathbb{E}^x[B_t - x] = 0 \neq - x$; you can't postulate this to have a different value. $\endgroup$ – Rhys Steele Jun 2 at 22:39
  • 1
    $\begingroup$ I think the definition of standard used there doesnt include the assumption that $B_0 = 0$ and instead refers to the other properties (such as the form of the covariance) that determine the properties of the transition functions associated to $B$. $\endgroup$ – Rhys Steele Jun 3 at 9:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.