[논문 리뷰] On pathwise uniqueness for stochastic differential equations driven by stable L\\'evy processes

Nicolas Fournier|arXiv (Cornell University)|2010. 11. 02.

Stochastic processes and financial applications참고 문헌 19인용 수 35

한 줄 요약

이 논문은 $α \in (0,2)\setminus\{1\}$인 대칭 및 비대칭 $\alpha$-스테이블 Lévy 과정에 의해 구동되는 일차원 확률미분방정식(SDEs)에 대해, 국소 호일더 연속성 및 단조성 조건을 만족하는 드리프트 및 분산 계수 하에서 경로 유일성을 확립한다. $α \in (1,2)$인 경우, 경로 유일성이 호일더 지수 $(\alpha - \beta)/\alpha$ 하에 성립하며, 이때 $\beta = \beta(\alpha, a_-/a_+)$ 이다. 반면 $α \in (0,1)$인 경우, 등가의 SDE 표현을 통해 더 약한 정규성 조건 하에서도 경로 유일성이 성립한다.

ABSTRACT

We study a one-dimensional stochastic differential equation driven by a stable L\\'evy process of order $\\alpha$ with drift and diffusion coefficients $b,\\sigma$. When $\\alpha\\in (1,2)$, we investigate pathwise uniqueness for this equation. When $\\alpha\\in (0,1)$, we study another stochastic differential equation, which is equivalent in law, but for which pathwise uniqueness holds under much weaker conditions. We obtain various results, depending on whether $\\alpha\\in (0,1)$ or $\\alpha \\in (1,2)$ and on whether the driving stable process is symmetric or not. Our assumptions involve the regularity and monotonicity of $b$ and $\\sigma$.

연구 동기 및 목표

• 드라이브 과정이 무한 활동성과 점프를 가지는 경우, $α \in (0,2)\setminus\{1\}$인 $α$-스테이블 Lévy 과정에 의해 구동되는 일차원 SDE에 대해 경로 유일성을 조사한다.
• 특히 $α \in (1,2)$인 경우, 고전적 결과가 적용되지 않는 비립시츠 계수에 대해 경로 유일성의 도전 과제를 다룬다.
• $α \in (0,1)$인 경우, 법을 유지하지만 더 강한 경로 유일성 결과를 더 약한 정규성 조건 하에서 가능하게 하는 등가 SDE 표현을 제안한다.
• 드라이프트 및 분산 계수에 선형 성장 조건이 만족될 때 SDE의 순간 추정 및 약한 존재성을 확립한다.
• 기존의 대칭 스테이블 과정에 대한 결과를 확장하기 위해, 경로 유일성이 성립하는 데 필요한 정밀한 정규성 조건—특히 호일더 연속성 및 단조성—을 규명한다.

제안 방법

• $α \in (1,2)$인 경우, 보정된 포아송 측도 $\tilde{N}$에 의해 구동되는 원래 SDE (5)를 분석하며, 시간 변환 표현을 사용하여 순간 유계 및 경로 유일성을 도출한다.
• $α \in (0,1)$인 경우, 점프 크기가 $\gamma(x) = \text{sign}(\sigma(x)) |\sigma(x)|^\alpha$에 의해 조절되는 $[0,\infty) \times \mathbb{R}_* \times \mathbb{R}_*$ 위의 포아송 측도 $M$에 의해 구동되는 등가 SDE (6)을 도입한다. 이 측도의 강도는 $ds \nu_{a_-,a_+}^\alpha(dz) du$ 이다.
• 증명은 레비 측도의 변환과 점프를 동반한 확률 미적분학을 통해 유도된 $\beta$-순간 추정: $\mathbb{E}[|X_t - \tilde{X}_t|^\beta] \leq |x - \tilde{x}|^\beta e^{Ct}$를 이용한 커플링 추론에 기반한다. 여기서 $\beta = \beta(\alpha, a_-/a_+)$ 이다.
• 시간 이산화 방법을 사용하며, 포아송 과정의 점프 시간 $T_k$에 조건화하여 점프 간 간격에서 $X_t$의 순간을 제어한다.
• 조건부 순간에 대한 재귀적 유계: $u_k = \mathbb{E}[\sup_{[T_k \land T, T_{k+1} \land T]} |X_t|^\beta \mid \mathcal{G}]$를 적용하여 $u_{k+1} \leq M_T(1 + u_k)$를 도출함으로써 지수적 순간 제어를 확보한다.
• 약한 존재성은 근사화를 통해 확립된다. SDE는 점프 크기가 $|z| < 1$인 확산 부분과 $|z| \geq 1$인 점프 부분으로 분리되며, 후자는 무작위 시간에 발생하는 독립적 점프의 시퀀스로 간주된다.

실험 결과

연구 질문

• RQ1 $\alpha \in (1,2)$인 경우, SDE에 대해 드라이프트 $b$와 분산 계수 $\sigma$에 대해 어떤 정규성 조건이 경로 유일성을 보장하는가?
• RQ2 $\alpha \in (0,1)$인 경우, 등가 SDE 표현을 통해 리프시츠 조건보다 더 약한 정규성 조건 하에서도 경로 유일성을 확립할 수 있는가?
• RQ3 $\alpha \in (1,2)$일 때, 경로 유일성을 보장하는 $\sigma$에 대한 정밀한 호일더 지수는 무엇이며, 비대칭성 $a_-/a_+$에 어떻게 의존하는가?
• RQ4 $\beta < \alpha$인 경우, $\mathbb{E}[\sup_{[0,T]} |X_t|^\beta]$의 순간 추정은 초기 조건과 계수에 어떻게 의존하는가?
• RQ5 드라이프트와 분산 계수가 최대 선형 성장을 만족하고 연속일 경우, $\alpha$-스테이블 Lévy 과정에 의해 구동되는 SDE에 대해 약한 존재성이 보장되는가?

주요 결과

• $\alpha \in (1,2)$인 경우, $\sigma$가 지수 $(\alpha - \beta)/\alpha$로 호일더 연속이며, $b$, $\sigma$가 선형 성장 및 단조성 조건을 만족할 때 경로 유일성이 성립한다. 여기서 $\beta = \beta(\alpha, a_-/a_+)$ 이다.
• 순간 추정 $\mathbb{E}[|X_t - \tilde{X}_t|^\beta] \leq |x - \tilde{x}|^\beta e^{Ct}$는 경로 유일성을 암시하며, 이때 $\beta \in [\alpha - 1, 1]$은 $\alpha$와 비대칭성 $a_-/a_+$에 따라 달라진다.
• 드라이프트 $b$가 상수이고 $(a_+ - a_-)\sigma$가 비감소일 경우, $\beta$-순간이 유지된다: $\mathbb{E}[|X_t - \tilde{X}_t|^\beta] = |x - \tilde{x}|^\beta$로, 마틴게일 유형의 행동을 나타낸다.
• $\alpha \in (0,1)$인 경우, 포아송 측도 $M$에 의해 구동되는 등가 SDE (6)은 점프 강도의 구조 덕분에 $\alpha \in (1,2)$의 경우보다 더 약한 정규성 조건 하에서도 경로 유일성을 보장한다.
• 드라이프트 $b$와 분산 계수 $\sigma$가 연속적이고 최대 선형 성장을 만족할 경우, SDE (5)에 대해 약한 존재성이 성립하며, 임의의 $\beta \in (0,\alpha)$에 대해 $\mathbb{E}[\sup_{[0,T]} |X_t|^\beta] < \infty$ 이다.
• 조건부 순간에 대한 재귀적 유계를 통해 $\mathbb{E}[\sup_{[0,T]} |X_t|^\beta] < \infty$의 순간 추정이 확립되며, 이 유계는 점프 횟수에 대해 지수적으로만 증가한다.