Brownian first-passage time ($T_a$)

For standard Brownian motion and $a>0$, $T_a=\inf \{t\ge 0:B_t\ge a\}$ is finite almost surely andThe Brownian reflection principle gives this distribution function. The Brownian scaling identity $T_{ca}\stackrel{d}{=}{c}^2{T}_a$ and the Strong Markov property show its probability distribution is a strictly stable distribution with index $1/2$.

For standard Brownian motion, set $H_a=\inf \{t:B_t\ge a\}$ and $T_a=\inf \{t:B_t>a\}$. The Strong Markov property and immediate positive excursions give $T_a=H_a$ almost surely for each fixed $a\ge 0$. However, these level-indexed processes are not indistinguishable stochastic processes. Almost surely the random level $A={\sup }_{t\le 1}{B}_t$ is positive and exceeds $B_1$. It is first attained before time one but is not exceeded until after time one, so $H_A<1<T_A$. The simultaneous-equality event therefore has probability zero. The strict passage process $T_a$ is the right-continuous choice needed for a subordinator.

For standard Brownian motion started at zero, $H_a=\inf \{t\ge 0:B_t\ge a\}$ is finite almost surely for $a\ge 0$ andThe Brownian reflection principle proves finiteness. For $u\ge 0$, the Exponential martingale for Brownian motion stopped at $H_a\wedge t$ is bounded by $e^{ua}$. The dominated convergence theorem gives $\mathbb{E}{e}^{ua-u^2{H}_a/2}=1$, and taking $u=\sqrt{2\lambda }$ gives the transform.