[논문 리뷰] Integrability Conditions for SDEs and Semi-Linear SPDEs

Feng‐Yu Wang|arXiv (Cornell University)|2015. 10. 08.

Stability and Controllability of Differential Equations참고 문헌 21인용 수 3

한 줄 요약

이 논문은 국소적으로 유계가 아닌 계수를 가진 확률미분방정식(SDE)과 반선형 스토케스-확률미분방정식(스피드-SPDE)에서 해의 폭발 방지 조건, 그리고 불변 확률측도의 존재성, 유일성 및 정규성 조건을 수립한다. 완비되지 않은 리만다이만 다양체 위에서의 국소적 차원에 영향을 받지 않는 하르낙 부등식과 기저가 되는 마코프 세미군의 초수렴성(hypercontractivity)을 활용하여, 고전적인 리아풀로프 조건을 초월하는 조건을 도출한다. 특히 컴팩트 집합에서 무한히 증가하는 드리프트에 대해서도 적용 가능하다.

ABSTRACT

By using the local dimension-free Harnack inequality established on incomplete Riemannian manifolds, integrability conditions on the coefficients are presented for SDEs to imply the non-explosion of solutions as well as the existence, uniqueness and regularity estimates of invariant probability measures. These conditions include a class of drifts unbounded on compact domains such that the usual Lyapunov conditions can not be verified. The main results are extended to second order differential operators on Hilbert spaces and semi-linear SPDEs.

연구 동기 및 목표

• 국소적으로 무한한 드리프트를 가진 SDE의 해가 폭발하지 않도록 보장하는 계수에 대한 적분 가능성 조건을 도출한다.
• 표준 리아풀로프 조건이 드리프트가 컴팩트 집합에서 무한해짐으로써 실패할 경우, 불변 확률측도의 존재성, 유일성 및 정규성 추정을 수립한다.
• SDE의 결과를 힐버트 공간 위의 이차미분연산자 및 반선형 SPDE로 확장한다.
• 전역적 적분 가능성 가정의 한계를 극복하기 위해, 확률측도에 상대적인 조건으로 대체한다.
• 사전에 불변 측도가 알려져 있지 않은 SDE에 적용 가능한 프레임워크를 제공하여, 새로운 기준을 통해 그 특성을 규명한다.

제안 방법

• 완비되지 않은 리만다이만 다양체 위에서의 국소적 차원에 영향을 받지 않는 하르낙 부등식을 활용하여 전이 밀도의 행동을 제어한다.
• 기르산وف 변환을 적용하여 약한 해를 구성하고, 하르낙 부등식을 사용하여 폭발 방지를 증명한다.
• 특이한 SDE에 의해 유도된 파인먼-하스 세미군을 제어하기 위해 기저 세미군의 초수렴성을 활용한다.
• 하르낙 부등식과 세미군 추정을 통해 불변 측도의 밀도에 대한 도함수 공식을 유도한다.
• 다음 형태의 국소적 하르낙 부등식을 수립한다: $ (P_t f(x))^p \leq P_t f^p(y) \exp\left[ \frac{F(x)\rho(x,y)^2}{t \land 1} + F(x) \right] $, $ \rho(x,y) \leq \frac{1}{F(x)} $, 이는 정규성 추정을 가능하게 한다.
• 반경 $ R(x) $의 지오데식 볼에 대한 컴팩트성과 곡률 상한을 활용하여 기울기 추정에서의 오차 항을 제어한다.

실험 결과

연구 질문

• RQ1 드리프트가 국소적으로 무한한 SDE에 대해, 리아풀로프 조건이 실패하더라도 폭발을 방지할 수 있는 적분 가능성 조건을 설정할 수 있는가?
• RQ2 드리프트가 컴팩트 집합에서 무한해지는 SDE에서, 불변 확률측도의 존재성과 정규성을 어떻게 보장할 수 있는가?
• RQ3 완비되지 않은 다양체 위에서의 국소적 하르낙 부등식이 기울기 추정과 폭발 방지 결과를 도출하는 데 얼마나 활용될 수 있는가?
• RQ4 이 프레임워크를 힐버트 공간 위의 이차미분연산자 및 반선형 SPDE로 확장할 수 있는가?
• RQ5 드리프트가 전역적으로 유계가 아니어도, 불변 측도가 존재하고 정규성을 띠는 데 필요한 계수 조건은 무엇인가?

주요 결과

• 논문은 다음 형태의 국소적 하르낙 부등식을 수립한다: $ (P_t f(x))^p \leq P_t f^p(y) \exp\left[ \frac{F(x)\rho(x,y)^2}{t \land 1} + F(x) \right] $, $ \rho(x,y) \leq \frac{1}{F(x)} $, 이는 정규성 추정에 핵심적이다.
• 만약 $ \delta \geq \frac{160}{R(x)} $ 이면, $ |\nabla P_t f(x)| \leq \delta E_{P_t}(f)(x) + H(x)\left( \delta + \frac{1}{\delta(t \land 1)} \right) $ 를 유도하여, 완비되지 않은 다양체 위에서의 기울기 추정을 확보한다.
• 기르산오프 변환과 국소적 하르낙 부등식을 통해, 드리프트가 컴팩트 집합에서 무한해져도 약한 해의 폭발이 방지됨을 증명한다.
• 파인먼-하스 세미군의 초수렴성을 통해 불변 확률측도의 존재성을 증명한다. 이는 기저 측도에 대한 드리프트의 적분 가능성 조건 하에서 성립한다.
• 불변 측도의 밀도에 대한 도함수 공식을 유도하여, 전역적 리아풀로프 조건이 성립하지 않는 상황에서도 정규성 추정이 가능하다.
• 결과는 반선형 SPDE와 힐버트 공간 위의 이차미분연산자로 확장되며, 이는 유한차원 SDE를 넘어서도 프레임워크의 강건성을 보여준다.