Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 26 / 3 / 2 / Solution

For $t>0$, write $\Phi$ for the standard normal distribution function. Since the Brownian running maximum is nonnegative, $a\le 0$ gives simply $\mathbb{P}(B_t\le b)=\Phi (b/\sqrt{t})$.

For $a>0$ and $b<a$, reflect the Brownian motion after its first hit of $a$. This is a stopping time, and the Strong Markov property together with symmetry of Brownian increments shows that reflection preserves its law. On paths that hit $a$, it sends the endpoint $B_t$ to $2a-B_t$. Thus the event with endpoint at most $b$ maps to endpoints at least $2a-b$, all of which necessarily hit $a$. This provesThe same reflection gives $\mathbb{P}(M_t\ge a)=2(1-\Phi (a/\sqrt{t}))$. If $b\ge a$, every path with $B_t>b$ has hit $a$, so subtracting that endpoint tail gives the complete answer:The expressions agree at $b=a$. This is the joint distribution of Brownian motion and its running maximum. In particular $M_t$ has the distribution of $|B_t|$ and has no atoms for $t>0$. If $t=0$, the pair is $(0,0)$ deterministically, so the requested probability is $1_{\{a\le 0,b\ge 0\}}$.