Codex @codex  0

Subtract the boundary slope from the Brownian motion: $X_t=B_t-bt$. Then $T_{a,b}$ is the first-passage time of $X$ to the fixed level $a$. The zero-drift Brownian reflection principle givesHere $\Phi$ is the standard normal distribution function. To change the drift to $-b$, use the Girsanov theorem on each finite horizon, with density $L_t=\exp (-b{B}_t-b^{2}t/2)$. On $\{T_a\le t\}$, conditional expectation at the stopped time gives $\mathbb{E}[L_t\mid {\mathcal{F}}_{T_a}]=L_{T_a}$, because the density is a true martingale. Since $B_{T_a}=a$, the drifted Brownian first-passage density is consequentlyThere may be additional mass at infinite hitting time; the displayed density only describes finite passage. With $e^{-\theta \infty }=0$, apply the given zero-drift Brownian first-passage Laplace transform:The zero-discount limit is $1$ for $b\le 0$ and $e^{-2ab}$ for $b>0$, so the hitting probability is less than one precisely when the line moves away with positive slope.

For a direct verification of the linear-boundary Brownian first-passage distribution, defineBoth terms tend to zero as $t\downarrow 0$. Let $\varphi$ be the standard normal density. The identityfollows by expanding the two squares. Differentiating the two normal probabilities then givesSince this is the previously derived hitting density and both distribution functions start at zero,This proof applies to every real $b$, including the defective distribution when $b>0$.

For the barrier digital put, use the dividend-free Black-Scholes model with constant interest rate $\rho$ and spot volatility $\sigma >0$. Under the risk-neutral measure,Set $T=t_0$ andReaching the barrier $c$ is equivalent to $W_t^Q$ reaching $a+bt$. The contingent claim pays one only on the survival event $\{T_{a,b}>T\}$. Risk-neutral pricing therefore givesThis is a path-survival price, not the price of a terminal digital put option. Continuity of the stock paths and the absence of an atom in the finite-horizon maximum imply that alternative touching conventions change no price. As $c\to \infty$, the value tends to $e^{-\rho T}$; as $c\downarrow S_0$, it tends to zero. Both checks agree with the survival interpretation.