[논문 리뷰] On the first hitting times of one dimensional elliptic diffusions

Noufel Frikha, Arturo Kohatsu‐Higa외 1명|arXiv (Cornell University)|2016. 09. 29.

Markov Chains and Monte Carlo Methods참고 문헌 8인용 수 5

한 줄 요약

이 논문은 매개변수 방법을 사용하여 일차원 균일 타원 확산에서 첫 번째 도달 시간 및 흡수된 확산 과정의 전이 밀도의 존재성, 정칙성 및 가우시안 상한을 증명한다. 밀도에 대한 명시적 급수 전개를 유도하고, 국소 미분 계수와 확산 계수에 대한 약한 미분 가능성 조건 하에서 비편향 몬테카를로 시뮬레이션에 유용한 확률적 표현을 제공한다.

ABSTRACT

In this article, we obtain properties of the law associated to the first hitting time of a threshold by a one-dimensional uniformly elliptic diffusion process and to the associated process stopped at the threshold. Our methodology relies on the parametrix method that we apply to the associated Markov semigroup. It allows to obtain explicit expressions for the corresponding transition densities and to study its regularity properties up to the boundary under mild assumptions on the coefficients. As a by product, we also provide Gaussian upper estimates for these laws and derive a probabilistic representation that may be useful for the construction of an unbiased Monte Carlo path simulation method, among other applications.

연구 동기 및 목표

• 일차원 균일 타원 확산 과정이 임계값에 도달하는 첫 번째 도달 시간의 분포를 분석하는 것.
• 경계에서 정지된 관련된 흡수된 확산 과정의 전이 밀도를 연구하는 것.
• 첫 번째 도달 시간 및 흡수된 과정의 밀도에 대한 정칙성 성질과 정밀한 가우시안 상한을 확립하는 것.
• 비편향 몬테카를로 경로 시뮬레이션에 잠재적으로 활용될 수 있는 매개변수 전개를 통한 확률적 표현을 개발하는 것.
• 반세미군계수 기반 매개변수 접근법을 사용하여 기존의 첫 번째 통과 시간 밀도 결과를 덜 규칙적인 계수로 확장하는 것.

제안 방법

• 흡수된 확산 과정과 관련된 마코프 반군에 매개변수 방법을 적용하는 것.
• 전이 커널 $ P_t h(u,x) $에 대한 무한 급수 전개를 구성하여, $ (u + \tau^{u,x}_{u+t}, X^{u,x}_{u+\tau^{u,x}_{u+t}}) $의 분포를 표현하는 것.
• 경계 $ L $에서 흡수로 인한 공동 분포의 특이 행동을 다루기 위해 변형 기법을 사용하는 것.
• 밀도 성분에 대한 명시적 표현을 도출: 도달 시간에 대한 $ p^{K,N}(x,t) $ 및 흡수된 상태에 대한 $ p^{D,N}_T(x,z) $.
• $ p^{K,N}(x,t) $ 및 $ p^{D,N}_T(x,z) $에 대한 급수의 컴팩트 부분집합에서 균일하고 절대 수렴성을 확립하는 것.
• 지배 수렴 정리와 $ N \to \infty $ 극한을 적용하여, $ N $ 에 독립적인 가우시안 상한을 유지하는 극한 밀도 $ p_T(u,x,dt,dz) $ 를 회복하는 것.

실험 결과

연구 질문

• RQ1 비연속적인 계수를 가진 일차원 타원 확산에서 첫 번째 도달 시간 밀도가 존재하고 정칙성을 유지하는가?
• RQ2 매개변수 방법이 첫 번째 도달 시간과 흡수된 과정의 특이 공동 분포를 다룰 수 있는가?
• RQ3 첫 번째 도달 시간 및 흡수된 확산 과정의 밀도에 대한 정밀한 가우시안 상한은 무엇인가?
• RQ4 비편향 몬테카를로 시뮬레이션에 적합한 전이 밀도의 확률적 표현을 유도할 수 있는가?
• RQ5 밀도의 정칙성과 상한은 국소 미분 계수와 확산 계수의 미분 가능성에 어떻게 의존하는가?

주요 결과

• 계수에 대한 약한 미분 가능성 조건 하에서, 과정 $ (u + \tau^{u,x}_{u+t}, X^{u,x}_{u+\tau^{u,x}_{u+t}}) $ 의 전이 밀도가 존재하고 매끄럽다는 것이 입증된다.
• 밀도는 균일한 가우시안 상한을 갖는다: $ p^{K,N}(x,t) \leq C t^{-1/2} g(ct, L - x) $ 및 $ p^{D,N}_T(x,z) \leq C g(cT, z - x) $, 상수 $ C, c > 1 $ 는 $ N $ 에 영향을 받지 않는다.
• $ p^{K,N}(x,t) $ 및 $ p^{D,N}_T(x,z) $ 에 대한 무한 급수 전개는 $ (0,T] \times (-\infty,L] \times \mathbb{R} $ 의 컴팩트 부분집합에서 절대적이고 균일하게 수렴한다.
• 극한 밀도 $ p_T(u,x,dt,dz) $ 는 매개변수 전개의 $ N \to \infty $ 극한으로 얻어지며, 가우시안 상한이 유지된다.
• 반군 $ P_T h(u,x) $ 의 확률적 표현은 유효하며, 급수 구조 덕분에 비편향 시뮬레이션을 가능하게 한다.
• 이 방법은 연속 계수를 넘어서도 적용 가능하여, 열악하거나 덜 규칙적인 설정에서의 밀도 추정에 마리아빈 미분학에 대한 강력한 대안을 제공한다.