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
There are currently no matching articles.