[논문 리뷰] Degenerate processes killed at the boundary of a domain

Michel Benaı̈m, Nicolas Champagnat외 2명|arXiv (Cornell University)|2021. 03. 15.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 8

한 줄 요약

이 논문은 유계 도메인 외부로 퇴출될 때의 비타당한 페일러 과정에서 준정적분포(QSD)의 존재성, 유일성 및 지수 수렴성에 대한 일반 조건을 수립한다. 리아푸노프 함수와 미니마이제이션 조건을 사용하여, 강한 페일러 또는 타원 조건을 초월한 비타당한 및 초타원적 확률미분방정식(SDE)에 대한 지수 혼합을 증명한다.

ABSTRACT

We investigate certain properties of degenerate Feller processes that are killed when exiting a relatively compact set. Our main result provides general conditions ensuring that such a process possesses a (possibly non unique) quasi stationary distribution. Conditions ensuring uniqueness and exponential convergence are discussed. The results are applied to nonelliptic and hypoelliptic stochastic differential equations.

연구 동기 및 목표

• 상대적으로 컴acts한 도메인 외부로 퇴출되는 비타당한 페일러 과정에서 준정적분포(QSD)의 존재성을 보장하는 충분한 조건을 수립하는 것.
• QSD의 유일성과 조건부 확률측도가 총변동 거리에서 QSD로의 지수 수렴을 보장하는 기준을 제공하는 것.
• 스펙트럼 및 확률적 방법이 실패하는 비타당한 및 초타원적 SDE에까지 결과를 확장하여, 타원성 또는 강한 페일러 확산을 초월한 분석을 수행하는 것.
• 생성자 및 지지 구조에 대한 일반 조건을 통해 비타당한 및 초타원적 확률미분방정식에 적용 가능성을 보여주는 것.
• 조각적 결정론적 마코프 과정(PDMP)의 예를 분석하여, 이 틀이 확산 과정을 초월한 비확산 과정에도 적용 가능함을 보여주는 것.

제안 방법

• 폭발 시간을 제어하고 도메인에서의 퇴출 시간 기대값이 유한함을 보장하기 위해 리아푸노프 함수 조건을 사용한다.
• 퇴출된 과정의 전이핵에 대해 미니마이제이션 조건을 적용하여, 소작은 집합에서 전이 밀도에 대한 균일한 하한을 확보한다.
• 스트룩과 바라다한의 지지 정리(Stroock and Varadhan의 지지 정리)를 활용하여 과정의 지지 집합을 결정론적 제어 시스템을 통한 도달 가능 집합과 연결한다.
• 퇴출된 과정의 생성자와 그 리졸베이트를 사용한 함수해석적 프레임워크를 도입하여, 고유함수를 통한 QSD의 특성화를 수행한다.
• 페일러 과정 이론과 잠재이론을 적용하여, 경계 근처에서 과정의 행동과 준정적분포 측도의 존재성을 분석한다.
• 미니마이제이션과 리아푸노프 함수를 기반으로 한 커플링 추론을 사용하여, QSD로의 총변동 거리에서의 지수 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 비타당한 페일러 과정이 도메인 경계에서 퇴출될 때, 적어도 하나의 준정적분포를 갖는 조건은 무엇인가?
• RQ2 이러한 과정에 대해 준정적분포가 유일한 조건은 무엇인가?
• RQ3 조건부 확률측도가 흡수되지 않은 조건 하에서 준정적분포로의 지수 수렴을 보장하는 조건은 무엇인가?
• RQ4 스펙트럼 방법이 실패하는 비타당한 및 초타원적 SDE에 대해 이러한 결과를 확장할 수 있는가?
• RQ5 이 틀은 조각적 결정론적 마코프 과정(PDMP)과 같은 비확산 과정에도 적용 가능한가?

주요 결과

• 가정 (H1) — 도메인의 클로저의 여집합이 도메인의 모든 점들로부터 도달 가능하다는 조건 — 를 만족할 경우, 과정은 거의 확실히 유한 시간 내에 도메인에서 퇴출된다.
• 가정 (H2) — 경계의 모든 점이 퇴출 시간에 대해 정규적이다 — 라면, 과정은 경계에서 잘 정의된 퇴출 행동을 갖는다.
• 생성자 $ L $이 $ D $ 상에서 $ Lh = -\rho h $ 를 만족하고, $ h $ 가 $ \bar{D}^c $ 에서 0이 되며, 경계에서 $ h \to 0 $ 으로 수렴하는 양의 함수 $ h \neq 0 $ 가 존재할 경우, 준정적분포의 존재가 보장된다.
• 생성자가 엄격한 리아푸노프 조건을 만족하고, 소작은 집합에서 미니마이제이션 조건이 균일하게 성립할 경우, QSD의 유일성이 확립된다.
• 리아푸노프 함수와 미니마이제이션 조건이 동시에 성립할 경우, QSD로의 총변동 거리에서의 지수 수렴이 증명되며, 수렴 속도 $ \rho $ 는 양의 상한으로 유계된다.
• 특정한 PDMP 예시 $ D = [0,1] \times \{0\} $ 에서, 논문은 명시적인 QSD를 구성하고, 점프 시간과 균일화 기반의 커플링 추론을 통해 수렴 속도 $ \rho = \frac{1}{2} $ 로 지수 수렴을 증명한다.