[论文解读] 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

一句话总结

本文通过从SRBM的协方差、漂移和反射矩阵导出的椭圆与两条边界线，对二维半鞅反射布朗运动（SRBM）的平稳分布提供了几何表征。它建立了变分问题值函数的几何解释，推导了产品形式平稳分布存在的条件，并通过改进矩生成函数的渐近反演引理，证明了边界测度的精确尾部渐近性。

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.

研究动机与目标

• 为二维SRBM中变分问题值函数提供几何解释。
• 推导二维SRBM中产品形式平稳分布存在的几何条件。
• 建立与二维SRBM平稳分布相关的边界测度的精确尾部分析。
• 改进渐近反演引理，以实现从矩生成函数奇点推导精确尾部分析。

提出的方法

• 通过漂移和协方差生成的椭圆，以及由反射矩阵列生成的两条直线，以几何方式表示SRBM数据，形成三个关键几何对象。
• 将变分问题的值函数表示为在由几何对象定义的区域 D^(1) 和 D^(2) 上的两个凸优化问题的最小值。
• 通过反射方向对称点处椭圆的法向量，表征了从边界退出的速度。
• 使用渐近反演引理（引理B.1）的改进版本，从矩生成函数的奇点推断边界测度的精确尾部分析行为。
• 尾部分析的证明依赖于在主导奇点附近分析矩生成函数的解析结构。
• 通过分析反射方向与椭圆主轴的对齐关系，几何地推导出产品形式条件。

实验结果

研究问题

• RQ1 如何基于椭圆和边界线，几何地解释二维SRBM变分问题值函数？
• RQ2 在何种几何条件下，二维SRBM允许存在产品形式平稳分布？
• RQ3 与二维SRBM平稳分布相关的边界测度的精确尾部分析行为是什么？
• RQ4 如何改进渐近反演引理，以从矩生成函数奇点推导精确尾部分析？

主要发现

• 在非负象限中任意点，变分问题的值函数等于在由椭圆和两条边界线几何定义的区域 D^(1) 和 D^(2) 上的两个凸优化问题的最小值。
• 从边界 F_i 退出的速度由反射方向对称点处椭圆的法向量给出，从而为最优路径提供了几何表征。
• 推导出产品形式平稳分布存在的必要且充分的几何条件，涉及反射方向与椭圆主轴的对齐。
• 边界测度表现出精确的指数尾部分析形式 f(x) ∼ c x^{ℓ−1} e^{−αx}（当 x→∞ 时），其由矩生成函数的主导奇点决定。
• 渐近反演引理（引理B.1）得到改进，以确保边界测度的尾部分析行为由矩生成函数主导极点的阶数和位置精确确定。
• 通过证明矩生成函数的收敛一致性和解析性条件，建立了精确尾部分析，从而实现精确的渐近推断。