[论文解读] On obtaining simple identities for overshoots of spectrally negative Lévy processes

Ronnie Loeffen|arXiv (Cornell University)|Oct 20, 2014

Probability and Risk Models参考文献 18被引用 7

一句话总结

本文通过引入惩罚函数的自由辅助函数扩展，推导出谱负 Lévy 过程在固定水平之上首超分布的一般解析恒等式。关键贡献是一个统一框架，简化了已知结果，并通过最优选择扩展函数可直接导出简洁恒等式，该方法适用于通过 scale 函数和无穷小生成元实现的标准过程与反射/折射过程。

ABSTRACT

For a (killed) spectrally negative Lévy process we provide an analytic expression for the distribution of its overshoot over a fixed level in terms of the infinitesimal generator and the scale function of the process. Our identity involves an auxiliary function and the simplicity of the identity depends very much on the choice of this function. In particular, for specific choices one recovers various previous established formulas in the literature. We review several applications and also show that one can get in a similar way identities of overshoots for reflected and refracted spectrally negative Lévy processes.

研究动机与目标

• 为谱负 Lévy 过程在固定水平之上的首超分布提供一个通用的解析表达式。
• 通过引入惩罚函数的自由辅助函数扩展，统一并简化先前推导出的期望折扣惩罚函数公式。
• 证明通过该扩展的最优选择可得到最简形式的表达式，并将已知结果作为特例恢复。
• 将该框架扩展至反射和折射谱负 Lévy 过程，使其适用于其首超的类似恒等式。
• 通过一种新颖的平滑技术，建立无穷小生成元、scale 函数与首超期望结构之间的联系。

提出的方法

• 引入定义在 $(-\infty, a)$ 上的惩罚函数 $f$ 到 $(-\infty, b]$ 的任意扩展 $\widetilde{f}$，其选择在满足正则性条件下自由。
• 利用无穷小生成元和 scale 函数 $W^{(q)}$ 推导出 $\mathbb{E}_x[\mathrm{e}^{-q\tau_a^-}f(X_{\tau_a^-})\mathbf{1}_{\{\tau_a^-<\tau_b^+\}}]$ 的一般恒等式。
• 通过与光滑 bump 函数 $\phi_\epsilon$ 的卷积，采用光滑化技术构造 scale 函数的光滑逼近 $W^{(q)} \star \phi_\epsilon$，确保其具有 $C^\infty$ 正则性。
• 应用 $\mathrm{e}^{-q(t\wedge\tau_{a}^{-}\wedge\tau_{b}^{+})}(W^{(q)}\star\phi_\epsilon)(X_{t\wedge\tau_{a}^{-}\wedge\tau_{b}^{+}})$ 的局部鞅性质，推导出涉及生成元与再生测度的基于 PDE 的恒等式。
• 取 $\epsilon \downarrow 0$ 的极限，通过控制收敛定理和 $W^{(q)\prime}$ 在紧集上的连续性，恢复原始 scale 函数的恒等式。
• 通过调整生成元和边界条件，将相同方法应用于反射和折射谱负 Lévy 过程。

实验结果

研究问题

• RQ1 如何利用 scale 函数和无穷小生成元，推导出谱负 Lévy 过程中首超期望的一般恒等式？
• RQ2 为何某些惩罚函数在现有文献中会产生特别简洁的表达式？其背后简化机制是什么？
• RQ3 能否构建一个统一框架，通过自由选择函数扩展，使已知结果成为特例？
• RQ4 该方法如何适应反射和折射谱负 Lévy 过程？
• RQ5 scale 函数的光滑化在确保所推导恒等式有效性方面起到何种作用？

主要发现

• 本文建立了涉及 scale 函数 $W^{(q)}$、无穷小生成元和自由辅助函数 $\widetilde{f}$ 的首超期望的一般恒等式，当 $\widetilde{f}$ 取特定值时，可退化为已知公式。
• 最优选择 $\widetilde{f}$——即 $\widetilde{f} = W^{(q)} \star \phi_\epsilon$——可导出最简形式的表达式，并恢复波动理论中的经典结果。
• 该恒等式对有界与无界变差路径均成立，包括无扩散成分的情形，通过取 $\epsilon \downarrow 0$ 的极限实现。
• 该方法可超越标准过程：通过调整生成元动力学，为反射和折射谱负 Lévy 过程推导出类似恒等式。
• 通过中值定理和控制收敛定理，严格证明了 mollified scale 函数 $W^{(q)} \star \phi_\epsilon$ 及其导数收敛于 $W^{(q)}$。
• 该框架通过揭示已知结果的结构简洁性源于 $\widetilde{f}$ 的特定选择，使推导过程系统化且透明。