[논문 리뷰] On the stationary distribution of reflected Brownian motion in a wedge: differential properties

Mireille Bousquet‐Mélou, Andrew Elvey Price외 3명|arXiv (Cornell University)|2021. 01. 05.

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)의 정적 분포 라플라스 변환의 대수적 및 미분적 성격을 규명하는 것.
• 라플라스 변환이 유리, 대수, 미분 유한, 또는 미분 대수인지 결정하는 원추의 각도들 간의 명시적 선형 종속성을 규명하는 것.
• 초함수 함수를 이용하여, 미분 대수성 케이스에서 라플라스 변환에 대한 간단하고 적분을 포함하지 않는 표현식을 제공하는 것.
• 기존의 고전적 결과들—비대칭 반사, 직교 반사, 지수합 밀도 케이스—을 하나의 프레임워크로 통합 및 일반화하는 것.

제안 방법

• 저자들은 정적 분포의 라플라스 변환에 만족하는 함수방정식을 유도한다.
• 열거적 조합론에서의 Tutte의 불변량 방법을 적용하여, 라플라스 변환(또는 그 제곱)을 기본 초함수 불변량의 유리 함수로 표현한다.
• 등각 사상과 경계값 문제를 사용하여 원추의 리만 면에서 라플라스 변환의 구조를 분석한다.
• 기존의 함수방정식을 q-차분방정식으로 변환하고, 해공간에 대해 갈로아 이론적 도구를 적용하여 해의 미분 초월성을 입증한다.
• 복소 평면에서 경로 변형과 잔여치 계산을 수행하여 복잡한 적분을 평가하고, 이를 통해 단순화된 초함수 표현식을 도출한다.
• 해석적 계속성과 대칭성에 기반한 추론을 통해 β < π/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 β) 이다.