[논문 리뷰] Stochastic invariance of closed sets with non-Lipschitz coefficients

Eduardo Abi Jaber, Bruno Bouchard외 2명|arXiv (Cornell University)|2016. 07. 29.

Markov Chains and Monte Carlo Methods참고 문헌 13인용 수 4

한 줄 요약

이 논문은 비리프시츠 계수를 가진 확산 과정에서 닫힌 집합에 대한 확률적 불변성의 새로운 특성화를 수립한다. 고전적인 스트라토노비치 드리프트 조건을 공분산 행렬 $ C = \sigma\sigma^\top $의 야코비안을 사용하여 재구성함으로써, $ \sigma $ 가 미분 가능하지 않은 경우에도 확률적 불변성 기준을 확장한다. 이는 아핀 및 다항 확산 과정을 경계 특이성이 있는 임의의 닫힌 집합, 예를 들어 제곱근 과정과 같은 집합 위에 구축할 수 있게 해준다.

ABSTRACT

This paper provides a new characterization of the stochastic invariance of a closed subset of R^d with respect to a diffusion. We extend the well-known inward pointing Stratonovich drift condition to the case where the diffusion matrix can fail to be differentiable: we only assume that the covariance matrix is. In particular, our result can be directly applied to construct affine diffusions and polynomial preserving diffusions on any arbitrary closed set.

연구 동기 및 목표

• 확산 계수 $ \sigma $ 가 비가역일 경우에도 고전적인 스트라토노비치 드리프트 조건을 확률적 불변성에 대해 확장하기 위해.
• 이전 연구에서 사용된 복잡한 이阶 정규 근사체를 피하는 실용적인 확률적 불변성 특성화를 제공하기 위해.
• 경계가 매끄럽지 않은 집합을 포함한 임의의 닫힌 집합 위에서 아핀 및 다항 확산 과정을 구축할 수 있도록 하기 위해.
• 확산 계수 $ \sigma $ 가 아닌 $ C = \sigma\sigma^\top $ 의 가역성에 초점을 맞춤으로써 기존의 불변성 기준을 통합하고 일반화하기 위해.

제안 방법

• 공분산 행렬 $ C = \sigma\sigma^\top $ 의 야코비안을 사용하여 스트라토노비치 드리프트 조건을 재구성함으로써, $ \sigma $ 가 비가역일지라도 $ C $ 가 가역적일 수 있음을 활용한다.
• 기하학적 분석을 위해 이阶 정규 근사체 $ \mathcal{N}^1_{\mathcal{D}}(x) $ 를 사용함으로써, 이阶 근사체보다 계산이 간단한 특성을 확보한다.
• 확률적 불변성에 대한 필요 및 충분 조건을 $ \langle u, b(x) - \frac{1}{2} \sum_{j=1}^d D\Phi^j(x) \rangle \leq 0 $ 로 설정함으로써, 여기서 $ \Phi^j $ 는 $ C $ 의 열들이다.
• 모어-펜로즈 가역행렬 및 크로네커 곱 항등식을 활용하여 행렬 미분을 다루고 야코비안 계산을 벡터화한다.
• $ b $ 와 $ \sigma $ 가 선형 성장 및 연속성 조건을 만족하고 $ C \in C^2 $ 이 도메인 내부에서 성립할 경우, 조건이 여전히 유효함을 증명한다.
• 로컬라이제이션 및 경로 유일성 추론을 통해 경계가 거의 확실히 도달되지 않을 경우 강해 해의 존재성과 유일성을 확립한다.

실험 결과

연구 질문

• RQ1 고전적인 스트라토노비치 드리프트 조건이 확산 계수 $ \sigma $ 가 비가역일 경우에도 확률적 불변성에 대해 확장될 수 있는가?
• RQ2 확산 계수 $ \sigma $ 가 아닌 공분산 행렬 $ C = \sigma\sigma^\top $ 의 야코비안을 사용하여 확률적 불변성을 특성화할 수 있는가?
• RQ3 경계가 매끄럽지 않은 집합을 포함한 임의의 닫힌 집합 위에서 아핀 및 다항 확산 과정을 어떻게 구축할 수 있는가?
• RQ4 확산 계수 $ \sigma $ 가 리프시츠 조건을 만족하지 못하더라도, 확산 과정이 거의 확실히 닫힌 집합 $ \mathcal{D} \subset \mathbb{R}^d $ 내에 머물도록 보장하는 조건은 무엇인가?

주요 결과

• 논문은 공분산 행렬 $ C = \sigma\sigma^\top $ 의 야코비안을 기반으로, 닫힌 집합 $ \mathcal{D} \subset \mathbb{R}^d $ 의 확률적 불변성에 대한 필요 및 충분 조건을 수립하여, $ \sigma $ 가 가역적이어야 한다는 요구를 제거한다.
• 조건은 모든 $ x \in \mathcal{D} $ 와 $ u \in \mathcal{N}^1_{\mathcal{D}}(x) $ 에 대해 $ \langle u, b(x) - \frac{1}{2} \sum_{j=1}^d D\Phi^j(x) \rangle \leq 0 $ 로 줄어들며, 여기서 $ \Phi^j $ 는 $ C $ 의 열들이다. 이는 비리프시츠 $ \sigma $ 에도 적용 가능하게 한다.
• 이 결과는 경계에서 $ \sigma $ 가 비가역일지라도, 예를 들어 $ \mathbb{R}_+ $ 위의 제곱근 과정과 같이 임의의 닫힌 집합 위에서 아핀 및 다항 확산 과정을 구축할 수 있게 해준다.
• $(0,1]$ 에서의 자코비 확산 과정에 대해, 조건은 $ dX_t = \kappa(\theta - X_t)dt + \eta\sqrt{X_t(1-X_t)}dW_t $ 의 동역학을 유도하며, $ \kappa\theta \geq \frac{\eta^2}{2} $ 가 확률적 불변성을 보장한다.
• 이 방법은 계산이 어려운 이阶 정규 근사체를 피하면서도, 이阶 정규 근사체의 계산 용이성을 유지한다.
• 공분산 행렬 $ C $ 에 대한 약간의 정규성 조건과 $ b $ 의 국소 리프시츠 조건이 만족될 경우, 경계가 거의 확실히 도달되지 않을 때 강해 해의 존재성과 경로 유일성을 보장한다.