Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 33 / 5

Put $\tau =T_r\wedge T_R$. First establish almost sure finiteness. The Itô formula gives the martingale $|B_t{|}^2-2t$ for planar Brownian motion. Stop it at $t\wedge T_R$. The stopped path has norm at most $R$, soBy monotone convergence, $\mathbb{E}{T}_R<\infty$, and hence $\tau <\infty$ almost surely.

The function $h(y)=\log |y|$ is a harmonic function away from $0$: in polar coordinates its Laplacian is $h^{\prime \prime }(\rho )+h^{\prime }(\rho )/\rho =-{\rho }^{-2}+{\rho }^{-2}=0$. The Itô formula shows $h(B_{t\wedge \tau })$ is a local martingale. It is bounded between $\log r$ and $\log R$, so it is a true martingale and passage to $\tau$ is justified by dominated convergence. Writing $p={\mathbb{P}}_x(T_r<T_R)$ 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.

First fix a deterministic point $y$ different from the initial point. By translation, work with $y=0$ and $B_0=x\ne 0$. For $R>|x|$, hitting $0$ before $T_R$ requires hitting every circle of radius $r\in (0,|x|)$ before $T_R$. Part (a) givesAny finite-time hit of $0$ 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 $x$, fix a deterministic $\epsilon >0$. The Gaussian distribution of $B_{\epsilon }$ has a density, so $B_{\epsilon }\ne x$ almost surely. Conditional on ${\mathcal{F}}_{\epsilon }$, the future is Brownian motion starting from $B_{\epsilon }$, and the preceding fixed-point result shows that it never hits $x$. Taking $\epsilon =1/m$ 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 $r>0$ so that the closed disk centered at $x$ of radius $r$ lies in the given open set $U$. From any point $z$ outside this disk, let $R\to \infty$ in part (a), centered at $x$. It givesAt each deterministic integer time $n$, condition on $B_n$. If it is in the disk there is already a visit to $U$ at time $n$; if it is outside, the Markov property and the last calculation ensure a later visit to that disk, hence to $U$. With probability one this holds for all $n$ simultaneously. Thus the set of visits to $U$ is unbounded. The recurrence of planar Brownian motion concerns neighborhoods even though every fixed point is polar.

Let $L$ be the fixed line and choose $y\in L$. Take orthonormal vectors $e_1,e_2$ spanning the plane perpendicular to $L$. The processis standard planar Brownian motion starting from $Y_0\ne 0$. Indeed the projected increments are centered Gaussian random vectors with covariance $(t-s)I_2$, are independent on disjoint intervals, and have continuous paths.

The event $B_t\in L$ is exactly $Y_t=0$. The polar point for planar Brownian motion result in (b) therefore givesThis is a projection criterion for Brownian avoidance of affine subspaces: avoiding a fixed point in a two-dimensional projection excludes hitting the original line.