Viscosity solutions of the integro-differential equation for the Cramér--Lundberg model with annuity payments and investments

这是一份关于论文《带有年金支付和投资的对 Cramér-Lundberg 模型的积分 - 微分方程的粘性解》（Viscosity solutions of the integro-differential equation for the Cram´er–Lundberg model with annuity payments and investments）的详细技术总结。

1. 研究背景与问题描述

研究背景：
传统的集体风险理论（Cramér-Lundberg 模型）通常不考虑投资收益。然而，在现代经济环境中，保险公司将储备金投资于金融资产（如几何布朗运动）至关重要，这不仅能对冲通胀风险，也显著改变了破产概率的动力学特征。

核心问题：
本文研究的是带有年金支付（连续流出，速率 $c>0$）和投资收益（几何布朗运动，漂移 $a$，波动率 $\sigma$）的保险公司资本动态。

• 资本动态方程： $dX_t = (aX_t - c) dt + \sigma X_t dW_t + dP_t$，其中 $P_t$ 是复合泊松过程（代表正向的保费或释放资金流入）。
• 破产定义： 破产时间 $\tau = \inf\{t \ge 0 : X_t \le 0\}$。由于跳跃 $P_t$ 仅取正值，破产不能由跳跃引起，只能由连续扩散项和负漂移导致。因此，在破产时刻，资本几乎必然恰好为零（$X_\tau = 0$）。
• 目标： 寻找生存概率 $\Phi(u) = P(\tau = \infty | X_0 = u)$ 的解析性质，特别是证明其满足对应的积分 - 微分方程（IDE）且无需预先假设光滑性。

主要难点：

1. 边界退化： 扩散系数 $\frac{1}{2}\sigma^2 u^2$ 在边界 $u=0$ 处退化，导致该边值问题具有奇异性。
2. 非局部算子： 方程包含积分项 $\int_0^\infty [\Phi(u+y) - \Phi(u)] dF(y)$，处理非局部算子需要特殊的粘性解定义。
3. 光滑性证明： 传统方法通常先假设 $\Phi$ 是 $C^2$ 的，然后推导方程。本文旨在不依赖先验光滑性假设，直接从概率定义出发，证明 $\Phi$ 是经典解。

2. 方法论

本文采用**粘性解（Viscosity Solutions）**理论作为核心工具，结合概率论中的动态规划原理（DPP）和随机分析技术。

主要步骤：

1. 模型设定与边界性质：

   • 证明 $\lim_{u \to 0^+} \Phi(u) = 0$ 和 $\lim_{u \to \infty} \Phi(u) = 1$。
   • 指出由于跳跃为正，破产仅由连续部分引起，故 $X_\tau=0$ a.s.。

2. 粘性解的定义（适应非局部算子）：

   • 定义算子 $L$：$L\phi(u) = \frac{\sigma^2 u^2}{2}\phi''(u) + (au-c)\phi'(u) + \lambda \int_0^\infty [\phi(u+y) - \phi(u)] dF(y)$。
   • 针对跳跃方向为正（$y>0$）的特性，定义了特殊的接触条件（Touching Conditions）：
     • 在测试函数 $\phi$ 与解 $w$ 接触点 $x_0$，要求 $\phi$ 在 $x_0$ 的右侧全局（$x \ge x_0$）控制 $w$（对于上解）或被 $w$ 控制（对于下解）。这是因为积分项 $\int [\phi(u+y) - \phi(u)]$ 仅依赖于 $u$ 右侧的函数值。

3. 存在性证明：

   • 利用动态规划原理（DPP）：$\Phi(u) = E_u[\Phi(X_{\theta \wedge \tau})]$。
   • 通过反证法，结合 Itô 公式和 DPP，证明生存概率 $\Phi$ 满足粘性解的定义（既是粘性下解也是粘性上解）。

4. 唯一性证明（比较原理）：

   • 建立针对退化非局部算子的严格比较原理。
   • 使用 Ishii 引理的非局部版本，处理双重变量函数 $\Psi_\alpha(x, y) = U(x) - V(y) - \frac{\alpha}{2}|x-y|^2$ 的最大值点。
   • 关键在于利用跳跃测度 $F$ 的拓扑支撑为 $(0, \infty)$ 这一假设，证明若最大值在内部取得，则会导致矛盾（除非最大值非正）。

5. 正则性提升（从粘性解到经典解）：

   • 步骤 1： 利用比较原理证明 $\Phi$ 的上下半连续包络相等，从而证明 $\Phi$ 是连续的。
   • 步骤 2： 将积分项移至方程右边作为源项 $f(u)$。由于 $\Phi$ 连续且有界，证明 $f(u)$ 也是连续的。
   • 步骤 3： 在 $(0, \infty)$ 内部，扩散系数 $\frac{\sigma^2 u^2}{2}$ 非零，算子具有局部一致椭圆性。利用经典椭圆正则性理论，将局部解提升为 $C^2$ 类。

3. 主要贡献与结果

1. 建立了粘性解框架： 首次针对带有年金支付（正向跳跃）和投资的 Cramér-Lundberg 模型，构建了适配的粘性解定义，解决了传统非寿险模型（负向跳跃）方法无法直接迁移的问题（主要在于边界接触条件的修改）。

2. 证明了唯一性： 在有界函数类中，证明了该奇异积分 - 微分方程的粘性解是唯一的。这依赖于新证明的非局部比较原理。

3. 实现了正则性升级（核心贡献）：

   • 证明了生存概率 $\Phi(u)$ 不仅是粘性解，而且属于 $C^2((0, \infty))$ 类。
   • 结论： 生存概率是该积分 - 微分方程的唯一经典解。
   • 意义： 这一结果完全摆脱了对解光滑性的先验概率假设（如以往文献中常假设 $\Phi \in C^2$），仅基于模型定义和粘性解理论推导得出。

4. 数学形式化：
   最终证明了 $\Phi(u)$ 满足以下边值问题：
   $$\begin{cases} \frac{\sigma^2 u^2}{2} \Phi''(u) + (au - c)\Phi'(u) - \lambda \Phi(u) + \lambda \int_0^\infty \Phi(u+y) dF(y) = 0, & u > 0 \\ \Phi(0) = 0 \\ \lim_{u \to \infty} \Phi(u) = 1 \end{cases}$$

4. 研究意义

• 理论严谨性： 填补了将粘性解理论应用于年金模型（正向跳跃）的空白，并超越了仅证明存在唯一性的局限，进一步证明了经典解的存在性。
• 方法论创新： 展示了如何利用粘性解的半连续包络性质和非局部比较原理，将概率问题转化为纯分析学问题，避免了复杂的概率测度变换或布朗运动指数泛函的深层性质分析。
• 实际应用： 为带有投资和年金支付的保险精算模型提供了坚实的数学基础，确认了使用经典积分 - 微分方程进行数值计算和渐近分析的合法性。

总结： 该论文通过引入粘性解理论，成功解决了带有奇异边界和非局部算子的生存概率问题，不仅证明了唯一性，还通过正则性提升技术，严格确立了生存概率作为经典解的地位，无需任何先验光滑性假设。