[论文解读] First passage process of a Markov additive process, with applications to reflection problems

Bernardo D’Auria, Jevgeņijs Ivanovs+2 more|arXiv (Cornell University)|Jun 15, 2010

Random Matrices and Applications参考文献 27被引用 6

一句话总结

该论文提出了一种新颖的技术，利用解析矩阵函数的若尔当代数链，识别谱负的马氏 additive 过程（MAPs）首达过程的矩阵指数 $\Lambda(q)$。该方法能够推导出显式恒等式，解决波动理论中长期存在的开放问题，特别是针对反射 MAPs 和马氏调制的布朗运动，通过唯一表征具有 MAP 输入的排队模型中的平稳工作量分布。

ABSTRACT

In this paper we consider the first passage process of a spectrally negative Markov additive process (MAP). The law of this process is uniquely characterized by a certain matrix function, which plays a crucial role in fluctuation theory. We show how to identify this matrix using the theory of Jordan chains associated with analytic matrix functions. Importantly, our result also provides us with a technique, which can be used to derive various further identities. We then proceed to show how to compute the stationary distribution associated with a one-sided reflected (at zero) MAP for both the spectrally positive and spectrally negative cases as well as for the two sided reflected Markov-modulated Brownian motion; these results can be interpreted in terms of queues with MAP input.

研究动机与目标

• 识别谱负 MAPs 首达过程的矩阵指数 $\Lambda(q)$，这是波动理论中的关键对象。
• 解决文献中关于反射 MAPs 的平稳分布的开放问题，特别是谱正和谱负情形。
• 将解扩展至双边反射问题，包括马氏调制的布朗运动（MMBM）。
• 为具有 MAP 输入的排队系统中推导平稳工作量分布提供统一且可计算的框架。
• 证明 $\Lambda(q)$ 是矩阵积分方程的唯一解，从而解决先前工作中存在的数值与分析挑战。

提出的方法

• 核心方法依赖于与解析矩阵函数相关的若尔当代数链理论，特别是针对 $F(\alpha) - q\mathbb{I}$，其中 $F(\alpha)$ 是原始 MAP 的矩阵指数。
• 论文建立了 $F(\alpha) - q\mathbb{I}$ 的若尔当对与矩阵 $\Lambda(q)$ 之间的直接对应关系，从而实现 $\Lambda(q)$ 的显式计算。
• 利用 $\Lambda(q)$ 的若尔当标准型，推导出表征平稳工作量分布的线性方程组。
• 该技术被用于推导诸如 (30) 和 (54) 等关键恒等式，这些恒等式在解决反射问题中至关重要。
• 证明了矩阵积分方程 $F^q(-M) = \mathbb{O}$ 唯一表征 $\Lambda(q)$，其证明基于若尔当分解与解析矩阵函数理论。
• 该方法通过引入零若尔当代数链和额外线性约束，同时处理 $q > 0$ 和临界情形 $q = 0, \kappa = 0$。

实验结果

研究问题

• RQ1 如何基于原始 MAP 的矩阵指数 $F(\alpha)$ 显式识别谱负 MAP 首达过程的矩阵指数 $\Lambda(q)$？
• RQ2 能否利用解析矩阵函数的若尔当代数链理论，为 MAPs 的波动理论推导出新恒等式？
• RQ3 在零点反射的谱正或谱负 MAP 中，平稳工作量分布是什么？
• RQ4 如何表征双边反射 MAP（如有限缓冲排队）的平稳分布？
• RQ5 $\Lambda(q)$ 是否是矩阵积分方程 $F^q(-M) = \mathbb{O}$ 的唯一解，且能否通过若尔当结构证明？

主要发现

• 首达过程的矩阵指数 $\Lambda(q)$ 通过 $F(\alpha) - q\mathbb{I}$ 的若尔当标准型唯一表征，从而以原始 MAP 参数的形式给出可计算的表达式。
• 该方法导出显式恒等式，如 (30) 和 (54)，在解决 MAPs 的反射问题中具有关键作用。
• 对于在零点反射的谱负 MAP，平稳工作量分布完全由 $\Lambda(q)$ 表征，解决了先前工作中遗留的开放问题。
• 对于在零点反射的谱正 MAP，平稳工作量以 $\Lambda(q)$ 表示，且常数的方程组被证明具有唯一解。
• 双边反射 MAP（包括马氏调制的布朗运动）的平稳分布通过同一框架推导得出，扩展了已知结果。
• 证明了矩阵 $\Lambda(q)$ 是矩阵积分方程 $F^q(-M) = \mathbb{O}$ 的唯一解，唯一性通过若尔当代数链结构与可逆性论证确立。