[논문 리뷰] Pathwise uniqueness for singular SDEs driven by stable processes

Enrico Priola|Osaka City University (Osaka City University)|2010. 05. 23.

Stochastic processes and financial applicationsEconomics, Econometrics and Finance참고 문헌 15인용 수 18

한 줄 요약

이 논문은 유계이고 허더링 연속인 드리프트를 갖는 비퇴화 대칭 $\alpha$-스테이블 Lévy 과정에 의해 구동되는 다차원 확률미분방정식(SDEs)에 대해 경로별 유일성을 확립한다. 이 드리프트는 $\beta > 1 - \alpha/2$ 조건을 만족하며 $\alpha \in [1,2)$ 이다. 증명은 관련된 콜모고로프 유형의 적분미분연산자에 대한 새로운 전역 샤페르 추정을 기반으로 하며, 강한 해의 존재를 보장하고 초기 조건에 대한 해 흐름의 미분 가능성과 호메오모르피 성질을 확립한다.

ABSTRACT

We prove pathwise uniqueness for stochastic differential equations driven by non-degenerate symmetric $α$-stable Lévy processes with values in $\R^d$ having a bounded and $β$-Hölder continuous drift term. We assume $β> 1 - \fracα{2} $ and $α\in [ 1, 2)$. The proof requires analytic regularity results for associated integro-differential operators of Kolmogorov type. We also study differentiability of solutions with respect to initial conditions and the homeomorphism property.

연구 동기 및 목표

• 비퇴화 대칭 $\alpha$-스테이블 Lévy 과정에 의해 구동되는 SDEs에 대해 드리프트가 유계이고 $\beta$-허더링 연속일 때 경로별 유일성을 확립하는 것.
• 기존 이토-스트라토니비치 프레임워크를 초월하여 비가우시안 안정 잡음이 포함된 레비 구동 SDEs로 경로별 유일성 이론을 확장하는 것.
• $\alpha$-스테이블 과정과 관련된 콜모고로프 유형의 적분미분연산자에 대한 해석적 정규성 결과를 개발하는 것.
• 드리프트에 대한 최소한의 정규성 조건 하에서 해 흐름 $x \mapsto X_t^x$ 의 미분 가능성과 호메오모르피 성질을 확립하는 것.

제안 방법

• $\mathcal{L}$를 $\alpha$-스테이블 과정의 생성자로 하고 $g \in C_b^\beta(\mathbb{R}^d)$ 일 때, $\mathbb{R}^d$ 위에서의 해석형 방정식 $\lambda u - \mathcal{L}u - b \cdot Du = g$ 에 대한 전역 샤페르 추정을 유도하는 것.
• 이토-타나카 유형의 추론을 적용하여 경로별 유일성을 해석형 방정식의 해의 정규성으로 환원하는 것.
• 보간법과 허더링 연속성 추정을 사용하여 해석형 방정식에서 드리프트 항의 증분 차이를 제어하는 것.
• 충분히 큰 $\lambda$ 에 대해 $\|Du_{\lambda}\|_0 < 1/3$ 임을 보여, 경로별 유일성 증명에서 수축 원리 적용 가능성을 확보하는 것.
• [14]의 결과를 활용하여 해 흐름 $x \mapsto X_t^x$ 가 거의 확실히 $C^1$- diffeomorphism 임을 유도하는 것.
• 레비 측도의 적분 가능성 확보를 위해 $\alpha$-스테이블 과정의 비퇴화성과 조건 $\alpha + \beta > 1$ 을 활용하는 것.

실험 결과

연구 질문

• RQ1 대칭 $\alpha$-스테이블 과정의 지수 $\alpha$ 와 드리프트 $b$ 에 대해 어떤 조건에서 $X_t = x + \int_0^t b(X_s)ds + L_t$ 형태의 SDEs에 대해 경로별 유일성이 성립하는가?
• RQ2 $\alpha \in [1,2)$ 일 때, $\alpha$-스테이블 레비 과정에 의해 구동되는 콜모고로프 유형의 적분미분연산자에 대해 샤페르 유형의 추정을 확립할 수 있는가?
• RQ3 드리프트 $b$ 가 오직 $\beta$-허더링 연속이고 $\beta > 1 - \alpha/2$ 라면, 해 흐름 $x \mapsto X_t^x$ 는 거의 확실히 $C^1$-diffeomorphism 임이 유지되는가?
• RQ4 초기 조건에 대한 도함수 $D_x X_t^x$ 의 정규성와 그가 확률적 적분 표현을 만족하는가?

주요 결과

• 비퇴화 대칭 $\alpha$-스테이블 과정에 의해 구동되며 $\alpha \in [1,2)$ 이고, 유계의 $\beta$-허더링 연속 드리프트를 갖는 SDEs에 대해 경로별 유일성이 성립한다. 이 드리프트는 $\beta > 1 - \alpha/2$ 를 만족한다.
• 모든 $t \geq 0$ 에 대해 해 매핑 $x \mapsto X_t^x$ 는 $\mathbb{R}^d$ 에서 자신으로의 거의 확실한 호메오모르피이다.
• 모든 $t \geq 0$ 과 $p \geq 1$ 에 대해, 해의 차이의 Supremum의 $p$-번째 모멘트는 $\mathbb{E}[\sup_{0\leq s\leq t}|X_s^x - X_s^y|^p] \leq C(t,p)|x-y|^p$ 를 만족하며, 이때 $C(t,p)$ 는 $\alpha$, $\beta$, 그리고 과정 $L$ 에 의존한다.
• 해 매핑 $x \mapsto X_t^x$ 는 거의 확실히 $C^1$-미분 가능하며, 도함수는 드리프트 도함수와 레비 노이즈를 포함하는 확률적 적분 방정식을 만족한다.
• 증명은 조건 $\alpha + \beta > 1$ 하에서 해석형 방정식 $\lambda u - \mathcal{L}u - b \cdot Du = g$ 에 대한 전역 샤페르 추정에 기반한다.
• 결과는 마코프 성질과 흐름의 조합 법칙 $\xi_{s,t} = \xi_{u,t} \circ \xi_{s,u}$ 를 거의 확실히 만족하는 확률적 흐름 $\xi_{s,t}(x)$ 의 존재를 암시한다.