First fix a deterministic point different from the initial point. By translation, work with and . For , hitting before requires hitting every circle of radius before . Part (a) gives
Any finite-time hit of lies before exit from some sufficiently large integer-radius circle, since a continuous path on a finite interval is bounded. A countable union over such radii therefore shows that this fixed point is never hit. This is the polar point for planar Brownian motion property; it is a statement about each fixed point, not about avoiding all points simultaneously.
For the initial point , fix a deterministic . The Gaussian distribution of has a density, so almost surely. Conditional on , the future is Brownian motion starting from , and the preceding fixed-point result shows that it never hits . Taking and a countable union proves there is no return to the starting point at any positive time.
In contrast, neighborhoods are revisited arbitrarily late. Choose so that the closed disk centered at of radius lies in the given open set . From any point outside this disk, let in part (a), centered at . It gives
At each deterministic integer time , condition on . If it is in the disk there is already a visit to at time ; if it is outside, the Markov property and the last calculation ensure a later visit to that disk, hence to . With probability one this holds for all simultaneously. Thus the set of visits to is unbounded. The recurrence of planar Brownian motion concerns neighborhoods even though every fixed point is polar.

Articles by others on the same topic (0)

There are currently no matching articles.