 Solution

A standard Brownian motion is a real stochastic process $(B_t{)}_{t\ge 0}$ with $B_0=0$ almost surely, continuous sample paths almost surely, and independent increments such that $B_t-B_s$ has normal distribution $N(0,t-s)$ whenever $0\le s<t$. With its completed, right-continuous natural filtration $({\mathcal{F}}_t)$, its Strong Markov property is the following: for every almost-surely finite stopping time $T$, the processis a standard Brownian motion independent of ${\mathcal{F}}_T$. Here the stopping-time sigma-algebra isIn particular, for every bounded ${\mathcal{F}}_T$-measurable random variable $H$ and bounded Borel functional $G$ on the continuous path space,Thus the independence is from the entire stopped past, not only from $B_T$, and is a statement about the whole future path, not just a single increment.

To prove the Brownian reflection principle without assuming that a level is hit in finite time, fix $t>0$, $m>0$, and set $T_m=\inf \{s\ge 0:B_s\ge m\}$ and $R=T_m\wedge t$. Continuity of the sample paths makes $T_m$ a stopping time and gives $B_{T_m}=m$ whenever $T_m<\infty$. The stopping time $R$ is bounded. Reflect the path after $R$:By the Strong Markov property, the future increments after $R$ are an independent Brownian motion. Negating them preserves their probability distribution, by symmetry of their joint normal distributions. Hence the reflected process $\hat{B}$ has the same path law as $B$.

If $T_m>t$, reflection changes nothing on $[0,t]$ and ${\hat{B}}_t=B_t<m$. If $T_m\le t$, both paths first hit $m$ at the same time and ${\hat{B}}_t=2m-B_t$. Therefore, for $x\le m$, the following events agree path by path:Indeed, the right-hand endpoint is at least $m$, so the reflected path must have hit $m$ before or at $t$; this also forces the original path to have done so. The reflection relation then makes the endpoint inequality equivalent to $B_t\le x$. Equality cases at $T_m=t$ satisfy the same relation. Since ${\hat{B}}_t$ and $B_t$ have the same probability distribution,For $t=0$, both sides are zero, because $B_0=M_0=0$ and $2m-x\ge m>0$.

For $t>0$, set $x=m$ in this identity. Continuity implies $\{B_t>m\}\subseteq \{M_t\ge m\}$, and the normal distribution of $B_t$ has no atom at $m$. Splitting according to whether $B_t\le m$ givesBoth random variables are nonnegative. Their tails agree for all $m>0$, which determines their probability distributions, including the mass at zero. Thus the Brownian running maximum satisfies

For $x>0$ and $t>0$, continuity again gives $\{T_x\le t\}=\{M_t\ge x\}$. Since $B_t/\sqrt{t}$ is a standard normal random variable, the distribution function of the Brownian first-passage time isIt tends to one as $t\to \infty$ and to zero as $t\downarrow 0$, proving almost-sure finiteness and absence of an atom at zero. For the standard normal random variable $B_1$,The value of this ratio on the zero-probability event $\{B_1=0\}$ may be defined arbitrarily. Matching the distribution functions provesFinally, differentiate the distribution function on $t>0$, using ${\Phi }^{\prime }=\varphi$ and $\frac{d}{dt}(x/\sqrt{t})=-x/(2t^{3/2})$. The first-passage-time density isand is zero for $t\le 0$. Its integral is one by the endpoint limits of $F_{T_x}$, so no missing mass at an infinite hitting time is present.