Put . First establish almost sure finiteness. The Itô formula gives the martingale for planar Brownian motion. Stop it at . The stopped path has norm at most , soBy monotone convergence, , and hence almost surely.
The function is a harmonic function away from : in polar coordinates its Laplacian is . The Itô formula shows is a local martingale. It is bounded between and , so it is a true martingale and passage to is justified by dominated convergence. Writing and using continuity at exit givesSolving yields the planar Brownian annulus hitting probabilityThe stopping argument stays away from the singularity of the logarithm until the calculation is complete.
Articles by others on the same topic
There are currently no matching articles.