[논문 리뷰] Stationary distribution of a two-dimensional SRBM: geometric views and boundary measures

J. G. Dai, Masakiyo Miyazawa|arXiv (Cornell University)|2011. 10. 09.

Stochastic processes and statistical mechanics참고 문헌 9인용 수 4

한 줄 요약

이 논문은 두 차원 반사 브라운 운동(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에서의 탈출 속도는 반사 방향 R^i의 대칭점에서 타원의 법선 벡터로 주어지며, 이는 최적 경로의 기하학적 특성화를 제공한다.
• 곱형태 정적 분포의 존재를 위한 필요충분 기하학적 조건이 유도되었으며, 이는 반사 방향이 타원의 주축과 정렬되어 있는지를 포함한다.
• 경계 측도는 x→∞일 때 f(x) ∼ c x^{ℓ−1} e^{−αx} 형태의 정확한 지수 꼬리 渐진적 성질을 보이며, 이는 모멘트 생성 함수의 주요 특이점에 의해 결정된다.
• 점근적 역함수 보조정리(보조정리 B.1)가 정밀화되어 경계 측도의 꼬리 행동이 모멘트 생성 함수의 주요 극의 차수와 위치에 의해 정확히 결정됨을 보장한다.
• 모멘트 생성 함수의 균일 수렴성과 해석적 조건을 증명함으로써 정확한 꼬리 渐진적 성질이 확립되었으며, 이는 정밀한 점근적 추론을 가능하게 한다.