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

研究の動機と目的

• 2次元の楔内における半マルティングレイ・反射ブラウン運動（SRBM）の定常分布のラプラス変換の代数的および微分的性質を同定すること。
• 楔の角度の明示的な線形従属性が、ラプラス変換が有理的、代数的、微分有限、または微分代数的であるかどうかを決定する条件を特定すること。
• 超幾何関数を用いて、微分代数的ケースにおけるラプラス変換の積分を含まない簡潔な表現を提供すること。
• 既知の古典的結果（非対称反射、直交反射、指数和密度）を、一貫した枠組みの下で統合・一般化すること。

提案手法

• 著者らは、定常分布のラプラス変換が満たす関数方程式を導出する。
• 彼らは、数え上げ組合せ論における Tutte の不変量法を応用し、ラプラス変換（またはその平方）を標準的な超幾何不変量の有理関数として表現する。
• コンformal 写像と境界値問題を用いて、楔のリーマン面におけるラプラス変換の構造を分析する。
• 関数方程式を q-差分方程式に変換し、解の空間に対してガロア理論的手法を適用して解の微分超越性を確立する。
• 複素平面上での contour 変形と留数計算を実行し、複雑な積分を簡略化した超幾何関数の表現に至る。
• 解析接続と対称性の議論を用いて、β < π/2、β > π/2、β = π/2 のさまざまな楔の角度領域において一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 楔の角度 β および反射角 δ, ε がどのような条件下で、定常分布のラプラス変換が有理的、代数的、または微分有限となるか。
• RQ2 ラプラス変換が微分代数的となる条件は何か。この場合の明示的閉形式表現は何か。
• RQ3 既知の古典的ケース（非対称反射、直交反射、指数和密度）は、微分代数的ラプラス変換の広範な枠組みの中でどのように位置づけられるか。
• RQ4 δ, ε, θ, β を用いて定義されるパラメータ α₁ と α₂ は、ラプラス変換の代数的性質を決定するために果たす役割は何か。
• RQ5 特定の角度条件の下で、ラプラス変換の複雑な積分表現を明示的な超幾何関数形式に簡略化できるか。

主な発見

• ラプラス変換が微分代数的であるための必要十分条件は α ∈ ℤ + πℤ/β であり、この場合、超幾何関数を用いた積分を含まない簡潔な表現が可能である。
• この表現は、既知の古典的結果に一致する：非対称ケース（α = 0）、直交反射ケース（δ = ε = π/2）、および Dieker-Moriarty の指数和密度ケースにおいて、超幾何関数形式が従来に確立された公式を回復する。
• 本稿では、角度 δ, ε, β 間の線形従属性に基づき、ラプラス変換の代数的性質の完全な分類がなされている。
• Tutte の方法により導かれた標準的不変量は超幾何関数であり、解空間をパラメータ化し、ラプラス変換の有理的パラメータ化を可能にする。
• 関数方程式を q-差分方程式に変換し、解の空間に対してガロア理論を適用することで、微分超越性が確立されている。
• 微分代数的ケースにおけるラプラス変換の最終的な表現は、I = 32√2 π^(3/2) e^{z₁+z₂−|z|} sinω / √|z| であり、ここで ω = δ − (arg z)/2、|z| = √(z₁² + z₂² + 2z₁z₂ cos β) である。