[论文解读] On the stationary distribution of reflected Brownian motion in a wedge: differential properties

Mireille Bousquet‐Mélou, Andrew Elvey Price+3 more|arXiv (Cornell University)|Jan 5, 2021

Stochastic processes and financial applications参考文献 45被引用 4

一句话总结

该论文基于楔形角度之间的线性依赖关系，建立了反射布朗运动在楔形区域中平稳分布的拉普拉斯变换为有理函数、代数函数、微分有限函数或微分代数函数的必要且充分条件。在微分代数情形下，给出了一个闭式超几何表达式，统一并简化了已知的经典结果，如反对称情形、正交反射情形以及指数和情形。

ABSTRACT

We consider the classical problem of determining the stationary distribution of the semimartingale reflected Brownian motion (SRBM) in a two-dimensional wedge. Under standard assumptions on the parameters of the model (opening of the wedge, angles of the reflections, drift), we study the algebraic and differential nature of the Laplace transform of this stationary distribution. We derive necessary and sufficient conditions for this Laplace transform to be rational, algebraic, differentially finite or more generally differentially algebraic. These conditions are explicit linear dependencies between the angles of the model. A complicated integral expression for this Laplace transform has recently been obtained by two authors of this paper. In the differentially algebraic case, we provide a simple, explicit integral-free expression in terms of a hypergeometric function. It specializes to earlier expressions in several classical cases: the skew-symmetric case, the orthogonal reflections case and the sum-of-exponential densities case (corresponding to the so-called Dieker-Moriarty conditions on the parameters). This paper thus closes, in a sense, the quest of all ``simple'' cases. To prove these results, we start from a functional equation that the Laplace transform satisfies, to which we apply tools from diverse horizons. To establish differential algebraicity, a key ingredient is Tutte's invariant approach, which originates in enumerative combinatorics. It allows us to express the Laplace transform (or its square) as a rational function of a certain canonical invariant, a hypergeometric function in our context. To establish differential transcendence, we turn the functional equation into a difference equation and apply Galoisian results on the nature of the solutions to such equations.

研究动机与目标

• 刻画二维楔形区域内半马氏反射布朗运动（SRBM）平稳分布拉普拉斯变换的代数与微分性质。
• 识别楔形角度之间的显式线性依赖关系，以确定拉普拉斯变换是否为有理函数、代数函数、微分有限函数或微分代数函数。
• 在微分代数情形下，利用超几何函数提供拉普拉斯变换的简洁、无需积分的表达式。
• 在统一框架下，将已知的经典结果——如反对称反射、正交反射以及指数和密度情形——推广并统一。

提出的方法

• 作者推导出平稳分布拉普拉斯变换所满足的函数方程。
• 他们应用枚举组合学中的图灵不变量方法，将拉普拉斯变换（或其平方）表示为一个规范超几何不变量的有理函数。
• 他们利用共形映射与边界值问题，分析拉普拉斯变换在楔形区域黎曼曲面上的结构。
• 他们将函数方程转化为q-差分方程，并应用伽罗瓦理论工具，证明解的微分超越性。
• 他们在复平面上进行围道变形与留数计算，以评估复杂积分，最终得到简化后的超几何表达式。
• 他们通过解析延拓与对称性论证，在不同楔形角度区域（包括β < π/2、β > π/2和β = π/2）中验证了结果的一致性。

实验结果

研究问题

• RQ1 在楔形角β及反射角δ, ε满足何种条件时，平稳分布的拉普拉斯变换为有理函数、代数函数或微分有限函数？
• RQ2 拉普拉斯变换在何种情况下为微分代数函数？此时其显式闭式表达为何？
• RQ3 已知的经典情形（如反对称反射、正交反射、指数和密度情形）如何融入微分代数拉普拉斯变换的更广泛框架中？
• RQ4 参数α₁和α₂（通过δ, ε, θ, β定义）在决定拉普拉斯变换的代数性质中起何种作用？
• RQ5 在特定角度条件下，拉普拉斯变换的复杂积分表达式能否简化为显式的超几何形式？

主要发现

• 当且仅当α ∈ ℤ + πℤ/β时，拉普拉斯变换为微分代数函数，此时其可表示为一个无需积分的简洁超几何函数表达式。
• 该表达式退化为已知的经典结果：在反对称情形（α = 0）、正交反射情形（δ = ε = π/2）以及Dieker-Moriarty的指数和情形中，超几何形式恢复了先前建立的公式。
• 本文基于δ, ε, β之间角度的线性依赖关系，对拉普拉斯变换的代数性质进行了完整分类。
• 通过图灵方法导出的规范不变量为一个超几何函数，该函数参数化了解空间，并实现了拉普拉斯变换的有理参数化。
• 通过将函数方程转化为q-差分方程，并对解空间应用伽罗瓦理论，确立了微分超越性。
• 在微分代数情形下，拉普拉斯变换的最终表达式为 I = 32√2 π^(3/2) e^{z₁+z₂−|z|} sinω / √|z|，其中ω = δ − (arg z)/2，且|z| = √(z₁² + z₂² + 2z₁z₂ cos β)。