带负漂移布朗运动首达时的拉普拉斯变换求解问询
嗨，我看到你正在求解带漂移布朗运动首达上边界的拉普拉斯变换，咱们一步步来梳理这个问题，先把问题明确下来：
给定带漂移的布朗运动：
$$X_t = X_0 + \mu t + \sigma W_t$$
其中 $W_t$ 是标准布朗运动，$\mu \in \mathbb{R}$，$\sigma > 0$。定义首达上边界 $U$（$U > X_0$）的首达时：
$$\tau = \min{t \geq 0: X_t = U}$$
需要计算当 $\lambda > 0$ 时的期望 $\mathbb{E}[e^{-\lambda \tau}]$。
你提到想用鞅 $Z_t = e^{\sqrt{2\lambda} W_{t\wedge \tau} - \lambda t\wedge \tau}$ 来做，这个思路方向是对的，但你后面的化简好像有点小问题，咱们来修正并完成推导：
首先，先把 $W_{t\wedge \tau}$ 用 $X_{t\wedge \tau}$ 表示：从 $X_t$ 的定义可以解出 $W_t = \frac{X_t - X_0 - \mu t}{\sigma}$，所以代入到 $Z_t$ 里应该是：
$$Z_t = e^{\sqrt{2\lambda} \cdot \frac{X_{t\wedge \tau} - X_0 - \mu (t\wedge \tau)}{\sigma} - \lambda (t\wedge \tau)}$$
接下来，利用鞅的可选停时定理：因为 $Z_t$ 是鞅，所以 $\mathbb{E}[Z_t] = \mathbb{E}[Z_0]$。而 $Z_0 = e^{0 - 0} = 1$，所以 $\mathbb{E}[Z_t] = 1$。
现在考虑当 $t \to \infty$ 时的极限情况：
- 如果 $\mu \leq 0$（负漂移或零漂移），$\tau$ 是几乎必然有限的（布朗运动即使有负漂移，也会以概率1击中上方有限边界）；当 $t \to \infty$ 时，$t\wedge \tau \to \tau$，$X_{t\wedge \tau} \to U$。
- 如果 $\mu > 0$（正漂移），首达时 $\tau$ 仍然几乎必然有限，同样可以取极限。
把极限代入 $Z_t$，得到：
$$\mathbb{E}\left[e^{\sqrt{2\lambda} \cdot \frac{U - X_0 - \mu \tau}{\sigma} - \lambda \tau}\right] = 1$$
不过这里换个更直接的构造方式会更清晰：针对带漂移的布朗运动直接构造指数鞅 $M_t = e^{\theta X_t - (\theta \mu + \frac{1}{2}\theta^2 \sigma^2)t}$，这个鞅满足 $\mathbb{E}[M_{t\wedge \tau}] = \mathbb{E}[M_0] = e^{\theta X_0}$。
我们希望鞅的指数里出现 $-\lambda \tau$，因此令指数中关于 $\tau$ 的系数等于 $-\lambda$：
$$\theta \mu + \frac{1}{2}\theta^2 \sigma^2 = \lambda$$
这是关于 $\theta$ 的二次方程，解为：
$$\theta = \frac{ -\mu \pm \sqrt{\mu^2 + 2\sigma^2 \lambda} }{ \sigma^2 }$$
结合 $\lambda \to 0$ 时 $\mathbb{E}[e^{-\lambda \tau}] \to 1$ 的直觉（首达时有限，拉普拉斯变换在0点的值为1），我们选择合适的根：$\theta = \frac{ \sqrt{\mu^2 + 2\sigma^2 \lambda} - \mu }{ \sigma^2 }$。
将其代入 $\mathbb{E}[e^{\theta U - \lambda \tau}] = e^{\theta X_0}$，整理后得到最终结果：
$$\mathbb{E}[e^{-\lambda \tau}] = \exp\left( \frac{ (\mu - \sqrt{\mu^2 + 2\sigma^2 \lambda})(U - X_0) }{ \sigma^2 } \right)$$
你可以验证特殊情况：当 $\mu=0$（标准布朗运动），代入后得到 $\mathbb{E}[e^{-\lambda \tau}] = e^{ -\frac{\sqrt{2\lambda}}{\sigma}(U - X_0) }$，和标准布朗运动首达时的拉普拉斯变换结果完全一致，说明推导是正确的。
备注：内容来源于stack exchange，提问作者rubikscube09
