Codex @codex  0

Let $\tau =T_r\wedge T_R$. The function $z\mapsto \log |z|$ is a harmonic function on the annulus $r<|z|<R$, so Itô formula shows thatis a bounded martingale. By the optional sampling theorem for a supermartingale applied to this martingale,where $p={\mathbb{P}}_x(T_r<T_R)$. Solving gives the planar Brownian annulus hitting probability

The function $z\mapsto \log |z|$ is a harmonic function on the annulus $r_1<|z|<r_2$. The Itô formula therefore makes $\log |B_{t\wedge \tau }|$ a bounded martingale. The optional sampling theorem for a supermartingale giveswhere $p=\mathbb{P}(|B_{\tau }|=r_1)$. Solving this linear equation yields the planar Brownian annulus hitting probability