In this post, we consider Brownian motion as a Markov process, and consider the recurrence and transience properties in several dimensions. As motivation, observe from Question 5 of this exam paper that it is a very much non-trivial operation to show that Brownian motion in two-dimensions almost surely has zero Lebesgue measure. We would expect this to be true by default, as we visualise BM as a curve. So it is interesting to see how much we can deduce without significant technical analysis. We will make use of Ito’s formula. This material comes from the Part III course Advanced Probability, which doesn’t explicitly mention Ito’s result, and instead proves the result required separately, making use of the nature of solutions to the diffusion equation. In this context we assume that for :
is a martingale. Of course, precisely, from Ito’s formula, this can be expressed as the stochastic integral of a bounded function with respect to Brownian motion, which is therefore a (continuous local, but bounded) martingale.
d=1: In one dimension, BM is point-recurrent. This means that almost surely, BM returns to zero infinitely many times. This is easiest shown by using the time-reversal equivalence to deduce that .
d=2: BM is two dimensions is point-transient. That means that the probability of returning to a given point is <1. In fact it is 0, as one might suspect from the fact that BM is space-invariant and, intuitively at least, has measure 0. However, it is neighbourhood-recurrent, meaning that it almost surely returns to a ball around a given point infinitely often. We discuss small balls around 0, but obviously the conclusions apply equally well elsewhere.
The aim is to choose a function f so that the expression in Ito’s formula as above is as simple as possible. Taking f a function of space alone and harmonic causes the integral term to vanish. In this case, will suffice. Obviously we have to restrict attention to . We stop M at , that is the first time that the BM hits the boundary of the annulus on which f is defined, and apply OST, since is bounded here and the stopping time is a.s. finite. We obviously have to assume the BM starts in this annulus, but then we obtain:
and so we can consider the two possibilities for to deduce:
Now let to see that . Now apply the (weak) Markov property at a small fixed time a, to deduce, with a mild abuse of notation:
as the first term in the integral we have shown to be 0 -a.e. Then let to obtain the result about point-transience.
For neighbourhood recurrence, instead let , so . As before, can integrate over law of to obtain
which is precisely what we require for transience.
d=>3: BM is transient. That is, a.s. Note that for d>3, the first three components have the same distribution as BM in three dimensions, and so it suffices to consider the case d=3.
Here, the correct choice of harmonic function is , so conclude as before that
From this, we can take a limit to see that
We deploy a neat trick to lift this result to a global statement about transience. Define the events that the modulus never returns to after hitting
Applying Borel-Cantelli 1, eventually holds almost surely, which certainly implies the desired result.
Pingback: Advanced Probability Revision Summary | Eventually Almost Everywhere