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 ∈ ℝ²₊) 逐点非递减，其中：

Ψμt(x)={1μt([x,+∞[)∫[x,+∞[yμt(dy)if x<rμtxif x≥rμtΨ_{μ_t}(x) = \begin{cases} \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≥2n ≥ 2，函数 ff 在 I=∏i=1nIiI = \prod_{i=1}^n I_i 上是MTP₂的，如果对每个 (x,y)∈I×I(x,y) ∈ I × I： f(x∧y)f(x∨y)≥f(x)f(y)f(x ∧ y)f(x ∨ y) ≥ f(x)f(y)

3. 积分生存函数

对于可积过程 μ=(μt,t∈R+2)μ = (μ_t, t ∈ ℝ²₊)，其积分生存函数定义为： Cμ(t,x)=∫[x,+∞[(y−x)μt(dy)C_μ(t,x) = \int_{[x,+∞[} (y-x)μ_t(dy)

主要理论结果

定理2.6 (MRL排序的刻画)

族 (μt,t∈R+2)(μ_t, t ∈ ℝ²₊) 按MRL排序非递减当且仅当其积分生存函数 CμC_μ 满足： ∀t1≤t2,∀x1≤x2,det⁡(Cμ(t1,x1)Cμ(t1,x2)Cμ(t2,x1)Cμ(t2,x2))≥0∀ 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∈R+2)(μ_t, t ∈ ℝ²₊) 是可积过程，CμC_μ 是其积分生存函数。如果 CμC_μ 在固定其余变量时在每对变量中都是TP₂的，则 CμC_μ 是MTP₂的。

Cox-Hobson算法

对于具有正均值的可积概率测度族，Cox-Hobson算法提供停时族 (Tμt,t∈R+2)(T_{μ_t}, t ∈ ℝ²₊) 使得：

  • (BTμt∧v+,v≥0)(B^+_{T_{μ_t} ∧ v}, v ≥ 0) 一致可积
  • BTμtB_{T_{μ_t}} 的分布为 μtμ_t

当族 (Tμt,t∈R+2)(T_{μ_t}, t ∈ ℝ²₊) 几乎必然非递减时，(BTμt,t∈R+2)(B_{T_{μ_t}}, t ∈ ℝ²₊) 构成下鞅。

实验设置

理论验证

本文主要是理论性工作，通过构造具体例子验证理论结果：

  1. 双原子过程族: 构造了参数 ε∈(0,1)ε ∈ (0,1) 和 r∈Rr ∈ ℝ 的过程族，验证MTP₂性质
  2. 截尾变换: 从单参数MRL过程出发，通过截尾构造双参数过程
  3. 从属化构造: 利用Markov过程的转移核构造新的MRL过程

具体例子分析

例3.1 (双原子MRL过程)

对 ε∈(0,1)ε ∈ (0,1), r∈Rr ∈ ℝ，定义过程：

  • μ(t,0)ε=μ(0,t)ε=δrμ^ε_{(t,0)} = μ^ε_{(0,t)} = δ_r
  • 对 t=(t,t′)∈R+∗×R+∗t = (t,t') ∈ ℝ^*_+ × ℝ^*_+： μtε=t′t+t′δr−(1−ε)t+tt+t′δr+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∈R+2)(μ^ε_t, t ∈ ℝ²₊) 确实是MRL过程
  • 验证了其积分生存函数 CμεC_{μ^ε} 在 (t,t′)(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): 双参数过程理论的最新发展