Started at radius one, planar Brownian motion avoids the origin, and its logarithmic radius is a continuous local martingale because the logarithmic potential is harmonic away from zero. It is a strict local martingale: at deterministic , the angular average of a logarithmic potential gives , whereas the initial value is zero. Absolute integrability follows from integrability of near zero and the Gaussian tail. Its positive expectation does not contradict nonnegative-local-martingale bounds, since this process takes both signs.
Articles by others on the same topic
There are currently no matching articles.