For away from the origin,
The Itô formula for planar Brownian motion therefore has no drift term before the radius reaches . Since the initial logarithm is zero,
The integrand's squared norm is on this stopped interval, so this is a square-integrable martingale on every finite horizon, in particular a local martingale. One may first stop in an outer annulus to apply the formula on a compact smooth domain and then remove that localization.

Articles by others on the same topic (0)

There are currently no matching articles.