[論文レビュー] Stationary distribution of a two-dimensional SRBM: geometric views and boundary measures

J. G. Dai, Masakiyo Miyazawa|arXiv (Cornell University)|Oct 9, 2011

Stochastic processes and statistical mechanics参考文献 9被引用数 4

ひとこと要約

本稿は、2次元の半マルティングゲール反射 Browm運動（SRBM）の定常分布を、SRBMの分散・ドリフト・反射行列から導かれる楕円と2本の境界線を用いて幾何学的に特徴付ける。変分問題の値関数の幾何的解釈を確立し、積型定常分布のための条件を導出し、モーメント生成関数の漸近的逆解法の改良により境界測度の正確な尾尾漸近挙動を証明する。

ABSTRACT

We present three sets of results for the stationary distribution of a two-dimensional semimartingale reflecting Brownian motion (SRBM) that lives in the nonnegative quadrant. The SRBM data can equivalently be specified by three geometric objects, an ellipse and two lines, in the two-dimensional Euclidean space. First, we revisit the variational problem (VP) associated with the SRBM. Building on Avram, Dai and Hasenbein (2001), we show that the value of the VP at a point in the quadrant is equal to the optimal value of a linear function over a convex domain. Depending on the location of the point, the convex domain is either D(1) or D(2) or D(1) cap D(2), where each D(i), i = 1, 2, can easily be described by the three geometric objects. Our results provide a geometric interpretation for the value function of the VP and allow one to see geometrically when one edge of the quadrant has influence on the optimal path traveling from the origin to a destination point. Second, we provide a geometric condition that characterizes the existence of a product form stationary distribution. Third, we establish exact tail asymptotics of two boundary measures that are associated with the stationary distribution; a key step in our proof is to sharpen two asymptotic inversion lemmas in Dai and Miyazawa (2011) that allow one to infer the exact tail asymptotic of a boundary measure from the singularity of its moment generating function.

研究の動機と目的

• 2次元SRBMにおける変分問題の値関数の幾何的解釈を提供すること。
• 2次元SRBMにおける積型定常分布の存在のための幾何的条件を導出すること。
• 2次元SRBMの定常分布に関連する境界測度の正確な尾尾漸近挙動を確立すること。
• モーメント生成関数の特異点から正確な尾尾挙動を導くために、漸近的逆解法のレムマを精緻化すること。

提案手法

• SRBMのデータは、ドリフトと分散から得られる楕円と、反射行列の列から得られる2本の直線を用いて幾何学的に表現され、3つの主要な幾何的対象を形成する。
• 変分問題の値関数は、幾何的対象によって定義される領域 D^(1) と D^(2) 上での2つの凸最適化問題の最小値として表現される。
• 境界からの脱出速度は、反射方向の対称点における楕円の法線ベクトルとして特徴付けられる。
• 漸近的逆解法の改訂版（レムマB.1）を用いて、モーメント生成関数の特異点から境界測度の正確な尾尾挙動を導出する。
• 尾尾漸近挙動の証明は、モーメント生成関数の主要特異点近傍における解析的構造の分析に依拠する。
• 反射方向と楕円の主軸の整合性を分析することにより、積型条件を幾何学的に導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元SRBMの変分問題の値関数は、楕円と境界線を用いてどのように幾何学的に解釈できるか？
• RQ2 2次元SRBMが積型定常分布を有するための幾何的条件は何か？
• RQ3 2次元SRBMの定常分布に関連する境界測度の正確な尾尾漸近挙動は何か？
• RQ4 どのようにして漸近的逆解法を鋭くすることで、モーメント生成関数の特異点から正確な尾尾漸近挙動を導けるか？

主な発見

• 非負の象限内の任意の点における変分問題の値関数は、楕円と2本の境界線によって幾何学的に定義される領域 D^(1) と D^(2) 上での2つの凸最適化問題の最小値に等しい。
• 境界 F_i からの脱出速度は、反射方向 R^i の対称点における楕円の法線ベクトルとして与えられ、最適経路の幾何的特徴付けが得られる。
• 積型定常分布の存在の必要十分な幾何的条件が導出され、その条件は反射方向と楕円の主軸の整合性を含む。
• 境界測度は、f(x) ∼ c x^{ℓ−1} e^{−αx} (x→∞) の形の正確な指数的尾尾漸近挙動を示し、これはモーメント生成関数の主要特異点によって決定される。
• 漸近的逆解法のレムマ（レムマB.1）は、モーメント生成関数の主要極の位数と位置によって、境界測度の尾尾挙動が正確に特定されることを保証するために精緻化された。
• 正確な尾尾漸近挙動は、モーメント生成関数の一致収束性と解析的性質の証明に依拠し、正確な漸近的推論が可能となる。