[論文レビュー] 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

ひとこと要約

本稿は、スペクトラルにネガティブなマコフ添加過程（MAPs）の最初の通過過程の行列指数 $\Lambda(q)$ を特定するため、解析的行列関数のジョルダン鎖を用いた新規技術を開発する。この手法により、反射MAPやマコフ変調ブラウン運動の分野において長年の未解決問題を解消する明示的恒等式が得られ、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.

研究の動機と目的

• スペクトラルにネガティブなMAPの最初の通過過程の行列指数 $\Lambda(q)$ を特定すること。これはフラクチュエーション理論における重要な対象である。
• 反射MAPの定常分布に関する文献における未解決問題、特にスペクトラルに正およびスペクトラルにネガティブな場合の問題を解消すること。
• 二方向反射問題への拡張、特にマコフ変調ブラウン運動（MMBM）を含めること。
• MAP入力を持つキューイングシステムにおける定常負荷分布を導出する統一的かつ計算可能なフレームワークを提供すること。
• 行列積分方程式 $F^q(-M) = \mathbb{O}$ として $\Lambda(q)$ が一意に解釈されることを確立し、先行研究における数値的および解析的課題を解決すること。

提案手法

• 中心的な手法は、特に $F(\alpha)$ が元のMAPの行列指数であるときの $F(\alpha) - q\mathbb{I}$ に関連する解析的行列関数のジョルダン鎖理論に依存している。
• 本稿は、$F(\alpha) - q\mathbb{I}$ のジョルダンペアと行列 $\Lambda(q)$ の間の直接的対応関係を確立し、$\Lambda(q)$ の明示的計算を可能にする。
• $\Lambda(q)$ のジョルダン標準形を用いて、定常負荷分布を特徴付ける線形方程式系を導出する。
• この技術は、(30)および(54)のような恒等式の導出に適用され、これらはMAPの反射問題を解く上で極めて重要である。
• $F^q(-M) = \mathbb{O}$ という行列積分方程式が $\Lambda(q)$ を一意に特徴付けることが示され、ジョルダン分解および解析的行列関数理論に基づく証明が与えられる。
• 零ジョルダン鎖と追加の線形制約を組み込むことで、$q > 0$ および臨界ケース $q = 0, \kappa = 0$ の両方を扱える。

実験結果

リサーチクエスチョン

• RQ1 スペクトラルにネガティブなMAPの最初の通過過程の行列指数 $\Lambda(q)$ は、元のMAPの行列指数 $F(\alpha)$ を用いて、どのように明示的に特定できるか？
• RQ2 解析的行列関数のジョルダン鎖理論を用いて、MAPのフラクチュエーション理論における新たな恒等式を導出可能か？
• RQ3 ゼロで反射されるスペクトラルに正またはスペクトラルにネガティブなMAPの定常負荷分布は何か？
• RQ4 有限バッファキューのような状況における二方向反射MAPの定常分布は、どのように特徴付けられるか？
• RQ5 $\Lambda(q)$ は行列積分方程式 $F^q(-M) = \mathbb{O}$ の一意な解であるか？そして、ジョルダン構造を用いてその証明は可能か？

主な発見

• 最初の通過過程の行列指数 $\Lambda(q)$ は、$F(\alpha) - q\mathbb{I}$ のジョルダン標準形を介して一意に特徴付けられ、元のMAPのパrametersに基づく計算可能な表現が得られる。
• 本手法により、(30)および(54)のような明示的恒等式が得られ、これらはMAPの反射問題を解く上で中心的な役割を果たす。
• ゼロで反射されるスペクトラルにネガティブなMAPに対して、定常負荷分布は $\Lambda(q)$ を用いて完全に特徴付けられ、先行研究における未解決問題が解決される。
• ゼロで反射されるスペクトラルに正のMAPに対しては、定常負荷は $\Lambda(q)$ を用いて表現され、定数を特徴付ける方程式系が一意に解を有することが示される。
• 二方向反射MAP、特にマコフ変調ブラウン運動を含む定常分布は、同じフレームワークを用いて導出され、既知の結果が拡張される。
• 行列 $\Lambda(q)$ が行列積分方程式 $F^q(-M) = \mathbb{O}$ の一意な解であることが証明され、ジョルダン鎖構造および可逆性の議論により、一意性が確立される。