Logarithmic radius of planar Brownian motion
ID: logarithmic-radius-of-planar-brownian-motion
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.
New to topics? Read the docs here!