2025-11-10T02:31:56.478238

Mean residual life processes and associated submartingales

Bogso
We use Madan-Yor's argument to construct associated submartingales to a class of two-parameter processes that are ordered by the increasing convex dominance. This class includes processes which have MTP$_2$ integrated survival functions. We prove that the integrated survival function of an integrable two-parameter process is MTP$_2$ if and only if it is TP$_2$ in each pair of arguments when the remaining argument is fixed. This result can not be deduced from known results since there are several two-parameter processes whose integrated survival functions do not have interval support. The MTP$_2$ property of certain MRL processes is useful to exhibit numerous other processes having the same property.
academic

Mean residual life processes and associated submartingales

基本信息

  • 论文ID: 1807.05932
  • 标题: Mean residual life processes and associated submartingales
  • 作者: Antoine-Marie Bogso (University of Yaounde I, Department of Mathematics)
  • 分类: math.PR (概率论)
  • 发表时间: 2018年10月9日 (arXiv v4)
  • 论文链接: https://arxiv.org/abs/1807.05932

摘要

本文使用Madan-Yor论证构造了一类由递增凸优势排序的双参数过程的相关下鞅。该类包括具有MTP₂积分生存函数的过程。作者证明了可积双参数过程的积分生存函数是MTP₂的当且仅当在固定其余参数时，它在每对参数中都是TP₂的。由于存在多个积分生存函数不具有区间支撑的双参数过程，该结果无法从已知结果推导得出。某些MRL过程的MTP₂性质有助于展示许多具有相同性质的其他过程。

研究背景与动机

问题背景

  1. 单参数情况的成功: Madan和Yor使用Azéma-Yor解法成功为每个常均值单参数平均剩余寿命(MRL)过程提供了显式相关鞅。单参数MRL过程由递增凸优势排序，Kellerer定理保证了相关鞅的存在性。
  2. 双参数情况的挑战: 在双参数情况下，虽然Madan-Yor论证仍然有效，但不存在Kellerer定理的对应版本。Juillet最近证明了Kellerer定理在双参数情况下失效，并提出了反例。
  3. 现有方法的局限性:
    • 对于非MRL孔雀过程，Madan-Yor论证不适用
    • 缺乏双参数过程的一般性构造方法
    • 现有的全正性结果仅适用于具有区间支撑的函数

研究动机

  1. 扩展理论框架: 将单参数MRL理论扩展到双参数情况，特别是针对具有MTP₂积分生存函数的过程
  2. 解决技术难题: 证明MTP₂性质的等价刻画，即使对于不具有区间支撑的函数
  3. 构造新的过程族: 利用MTP₂性质的保持性构造更多具有相同性质的过程

核心贡献

  1. 理论突破: 证明了可积双参数过程的积分生存函数是MTP₂的当且仅当在固定其余参数时它在每对参数中都是TP₂的，扩展了Karlin-Rinott的结果到不具有区间支撑的情况
  2. 构造方法: 使用Madan-Yor论证和Cox-Hobson算法为双参数MRL过程构造了相关下鞅
  3. 过程族展示: 提供了多个具有MTP₂积分生存函数的双参数MRL过程族，包括：
    • 双原子MRL过程
    • 截尾变换过程
    • 从属过程
    • 卷积过程
  4. 非MRL过程的处理: 为某些非MRL但由递增凸优势排序的过程构造了相关下鞅

方法详解

任务定义

研究双参数概率测度族 (μt,t∈R+2)(μ_t, t ∈ ℝ²₊) 的MRL排序性质，并构造相关的下鞅过程。主要任务包括：

  • 刻画MRL排序的等价条件
  • 证明MTP₂性质的等价性
  • 构造相关下鞅

核心概念

1. 双参数MRL过程定义

双参数MRL过程是可积概率测度族 (μt,t∈R+2)(μ_t, t ∈ ℝ²₊)，其Hardy-Littlewood函数族 (Ψμt,t∈R+2)(Ψ_{μ_t}, t ∈ ℝ²₊) 逐点非递减，其中：

\frac{1}{μ_t([x,+∞[)} \int_{[x,+∞[} y μ_t(dy) & \text{if } x < r_{μ_t} \\ x & \text{if } x ≥ r_{μ_t} \end{cases}$$ #### 2. MTP₂函数定义 对于 $n ≥ 2$，函数 $f$ 在 $I = \prod_{i=1}^n I_i$ 上是MTP₂的，如果对每个 $(x,y) ∈ I × I$： $$f(x ∧ y)f(x ∨ y) ≥ f(x)f(y)$$ #### 3. 积分生存函数 对于可积过程 $μ = (μ_t, t ∈ ℝ²₊)$，其积分生存函数定义为： $$C_μ(t,x) = \int_{[x,+∞[} (y-x)μ_t(dy)$$ ### 主要理论结果 #### 定理2.6 (MRL排序的刻画) 族 $(μ_t, t ∈ ℝ²₊)$ 按MRL排序非递减当且仅当其积分生存函数 $C_μ$ 满足： $$∀ t_1 ≤ t_2, ∀ x_1 ≤ x_2, \det\begin{pmatrix} C_μ(t_1,x_1) & C_μ(t_1,x_2) \\ C_μ(t_2,x_1) & C_μ(t_2,x_2) \end{pmatrix} ≥ 0$$ #### 定理2.8 (MTP₂性质的等价性) 设 $(μ_t, t ∈ ℝ²₊)$ 是可积过程，$C_μ$ 是其积分生存函数。如果 $C_μ$ 在固定其余变量时在每对变量中都是TP₂的，则 $C_μ$ 是MTP₂的。 ### Cox-Hobson算法 对于具有正均值的可积概率测度族，Cox-Hobson算法提供停时族 $(T_{μ_t}, t ∈ ℝ²₊)$ 使得： - $(B^+_{T_{μ_t} ∧ v}, v ≥ 0)$ 一致可积 - $B_{T_{μ_t}}$ 的分布为 $μ_t$ 当族 $(T_{μ_t}, t ∈ ℝ²₊)$ 几乎必然非递减时，$(B_{T_{μ_t}}, t ∈ ℝ²₊)$ 构成下鞅。 ## 实验设置 ### 理论验证 本文主要是理论性工作，通过构造具体例子验证理论结果： 1. **双原子过程族**: 构造了参数 $ε ∈ (0,1)$ 和 $r ∈ ℝ$ 的过程族，验证MTP₂性质 2. **截尾变换**: 从单参数MRL过程出发，通过截尾构造双参数过程 3. **从属化构造**: 利用Markov过程的转移核构造新的MRL过程 ### 具体例子分析 #### 例3.1 (双原子MRL过程) 对 $ε ∈ (0,1)$, $r ∈ ℝ$，定义过程： - $μ^ε_{(t,0)} = μ^ε_{(0,t)} = δ_r$ - 对 $t = (t,t') ∈ ℝ^*_+ × ℝ^*_+$： $$μ^ε_t = \frac{t'}{t+t'} δ_{r-(1-ε)t} + \frac{t}{t+t'} δ_{r+t'}$$ 验证了该过程的积分生存函数在每对变量中都是TP₂的。 ## 实验结果 ### 主要理论成果 1. **MTP₂等价性**: 成功证明了积分生存函数的MTP₂性质等价于在固定其余参数时每对参数中的TP₂性质，这一结果对不具有区间支撑的函数也成立。 2. **过程构造**: 展示了多个具有MTP₂积分生存函数的MRL过程族： - 双原子过程（命题3.1） - 截尾变换过程（命题3.5, 3.6） - 从属化过程（定理3.11） - 卷积过程（命题3.14） 3. **非MRL过程处理**: 为某些非MRL但由凸优势排序的过程构造了相关下鞅（定理4.4, 4.6） ### 具体验证结果 #### 双原子过程验证 - 证明了过程族 $(μ^ε_t, t ∈ ℝ²₊)$ 确实是MRL过程 - 验证了其积分生存函数 $C_{μ^ε}$ 在 $(t,t')$ 中是TP₂的 - 注意到该函数不具有区间支撑，因此Karlin-Rinott结果不适用 #### 截尾过程验证 - 构造了从有限支撑测度出发的截尾过程族 - 证明了这些过程具有MTP₂积分生存函数 - 展示了参数 $ε$ 如何影响过程的均值结构 ## 相关工作 ### 单参数理论基础 1. **Madan-Yor工作**: 建立了MRL排序与鞅性质的联系，使用Azéma-Yor嵌入解法 2. **Kellerer定理**: 证明了由递增凸优势排序的过程具有下鞅边际分布 3. **Cox-Hobson算法**: 将Azéma-Yor嵌入推广到非中心目标分布 ### 双参数扩展尝试 1. **Juillet工作**: 证明了Kellerer定理在双参数情况下失效，提出了双原子凸排序概念 2. **全正性理论**: Karlin-Rinott等人的MTP₂函数理论，但限于区间支撑情况 ### 本文相对优势 1. **理论突破**: 首次证明了不具区间支撑的积分生存函数的MTP₂等价刻画 2. **构造方法**: 提供了系统的双参数MRL过程构造方法 3. **应用扩展**: 将方法应用到非MRL过程，扩大了适用范围 ## 结论与讨论 ### 主要结论 1. **理论贡献**: 建立了双参数过程积分生存函数MTP₂性质的完整刻画，扩展了现有理论到非区间支撑情况 2. **方法论贡献**: 展示了Madan-Yor论证在双参数情况下的有效性，提供了构造相关下鞅的系统方法 3. **构造成果**: 提供了丰富的具有MTP₂性质的过程族，为进一步研究提供了基础 ### 局限性 1. **技术限制**: Cox-Hobson算法要求过程具有正均值，对一般情况需要平移处理 2. **适用范围**: 主要结果集中在MRL过程，对更一般的过程族适用性有限 3. **计算复杂性**: 实际构造相关下鞅可能涉及复杂的停时计算 ### 未来方向 1. **推广研究**: 探索更一般的双参数过程类别 2. **数值方法**: 开发实际计算相关下鞅的数值算法 3. **应用拓展**: 将理论应用到金融数学和风险管理等实际问题 ## 深度评价 ### 优点 1. **理论深度**: 解决了一个重要的理论问题，证明了不具区间支撑情况下的MTP₂等价性 2. **方法系统性**: 提供了完整的理论框架和多种构造方法 3. **技术创新**: 巧妙地处理了非区间支撑的技术难题 4. **写作清晰**: 论文结构合理，证明详细，易于理解 ### 不足 1. **应用有限**: 主要是理论性工作，缺乏实际应用例子 2. **数值验证**: 没有提供数值实验验证理论结果 3. **计算复杂性**: 没有讨论实际计算的复杂性和可行性 ### 影响力 1. **理论贡献**: 为双参数随机过程理论提供了重要补充 2. **方法论价值**: 为相关领域研究提供了新的工具和思路 3. **后续研究**: 为进一步的理论和应用研究奠定了基础 ### 适用场景 1. **随机过程理论**: 双参数过程的理论研究 2. **金融数学**: 多维风险建模和衍生品定价 3. **概率论**: MRL排序和全正性理论的进一步发展 ## 参考文献 本文引用了24篇重要参考文献，包括： - Madan & Yor (2002): MRL排序与鞅性质的开创性工作 - Karlin & Rinott (1980): MTP₂函数理论的经典文献 - Cox & Hobson (2006): Skorokhod嵌入问题的重要进展 - Juillet (2016): 双参数过程理论的最新发展