[논문 리뷰] Brownian motion with general drift

Damir Kinzebulatov, Yu. A. Semënov|arXiv (Cornell University)|2017. 10. 18.

Stochastic processes and financial applications인용 수 3

한 줄 요약

이 논문은 $ d \geq 3 $ 인 경우, 강한 조건이 아닌 약한 형상유계 벡터장 클래스 $ \mathbf{F}^{1/2}_{\delta} $ 에 속하는 드리프트 $ b $ 를 가진 확률미분방정식 $ dX(t) = -b(X(t))dt + \sqrt{2}dW(t) $ 에 대해 약한 해의 존재성과 유일성을 확립한다. 이 클래스는 $ L^d + L^\infty $, 카토 클래스, 약한 $ L^d $ 등을 포함한다. 주요 기여는 관련된 펠러 과정이 거의 확실히 연속적이고 유한한 궤적을 가짐을 증명하여 넓은 드리프트 조건 하에서 궤적의 경로적 정규성을 보장하는 것이다.

ABSTRACT

We construct and study the weak solution to stochastic differential equation $dX(t)=-b(X(t))dt+\sqrt{2}dW(t)$, $X_0=x$, for every $x \in \mathbb R^d$, $d \geq 3$, with $b$ in the class of weakly form-bounded vector fields, containing, as proper subclasses, a sub-critical class $[L^d+L^\infty]^d$, as well as critical classes such as weak $L^d$ class, Kato class, Campanato-Morrey class, Chang-Wilson-T. Wolff class.

연구 동기 및 목표

• 기존의 $ L^p $, $ p > d $ 또는 카토 클래스 조건을 초월하여 드리프트 $ b $ 를 가진 확률미분방정식의 약한 해의 존재성과 유일성을 확장하는 것.
• 임계 및 부분 임계 벡터장이 포함된 더 넓은 드리프트 클래스에서 해 과정의 경로적 정규성(거의 확실한 연속성 및 유한성)을 확립하는 것.
• 정규화된 드리프트 $ b_n $ 에 대한 극한 절차를 통해 펠러 과정을 구성하고, 이에 대응하는 과정들이 $ C_\infty $ 에서 강한 연산자 위상에서 수렴함을 보장하는 것.
• 기존의 특이 드리프트를 가진 SDE에 대한 결과를 통합하고 일반화하기 위해 $ L^d + L^\infty $, 카토 클래스, 칸파나토-모레이, 찬-윌슨-트. 월프 클래스를 포함하는 클래스 $ \mathbf{F}^{1/2}_{\delta} $ 를 도입하는 것.
• 측도 $ \mathbb{P}_x $ 하에서 결과적인 마코프 과정이 $ C([0,\infty[, \mathbb{R}^d) $ 의 궤적을 가지며, 이는 경로적 연속성과 폭발 방지를 보장하는 것.

제안 방법

• 저자들은 리졸베이트 $ (\lambda - \Delta)^{-1/4} $ 를 포함하는 약한 형상유계 조건을 통해 클래스 $ \mathbf{F}^{1/2}_{\delta} $ 를 정의하여 드리프트의 적분 가능성과 정규성을 보장한다.
• 프리드리히스 모리파이어를 사용하여 $ b_n = \gamma_{\varepsilon_n} * (\mathbf{1}_n b) $ 의 형태로 매끄럽고 컴actsupport를 가진 근사화된 시퀀스를 구성한다.
• 국소 $ L^1 $ 수렴 $ b_n \to b $ 를 이용하여, 과정들 $ e^{-t\Lambda_{C_\infty}(b_n)} $ 이 강한 수렴을 보이며, 이는 $ e^{-t\Lambda_{C_\infty}(b)} $ 라는 극한을 형성하고, 이는 펠러 과정을 이룬다.
• 해 과정은 $ C_\infty(\mathbb{R}^d) $ 에서 이 펠러 과정과 관련된 강한 마코프 과정으로 구성되며, 궤적은 $ D([0,\infty[, \bar{\mathbb{R}}^d) $ 에 속한다.
• 핵심 기술적 도구는 리졸베이트 $ (\mu - \Delta)^{-1} $ 를 포함하는 편미분 추정이며, 이는 연산자 노름 추정과 보간 기법을 통해 유도된다.
• 연산자 노름 $ \| |b_n|^{1/p} \nabla (\mu - \Delta)^{-1} \|_{p \to p} $ 에 대한 균일한 유계를 도출하며, 이는 $ m_d c_p \delta $ 에 의해 제어되며, 조건 $ m_d \delta < 4(d-2)/(d-1)^2 $ 하에 1보다 작다.

실험 결과

연구 질문

• RQ1 드리프트 $ b $ 가 약한 형상유계 클래스 $ \mathbf{F}^{1/2}_{\delta} $ 에 속할 때, $ b $ 가 $ p > d $ 인 $ L^p $ 에 속하지 않더라도 SDE $ dX(t) = -b(X(t))dt + \sqrt{2}dW(t) $ 에 약한 해가 존재하는가?
• RQ2 드리프트 $ b $ 가 특이하거나 임계일 경우에도 $ d \geq 3 $ 에서 해 과정이 거의 확실히 연속적이고 유한한 궤적을 가지는가?
• RQ3 $ b \in \mathbf{F}^{1/2}_{\delta} $ 인 경우, $ -\Delta + b \cdot \nabla $ 에 의해 생성되는 펠러 과정이 $ C_\infty(\mathbb{R}^d) $ 에서 잘 정의되고 강한 연속성을 가진다.
• RQ4 드리프트 $ b \cdot \nabla $ 가 페르러 생성자로 남아 있도록 하는 최적의 $ \delta $ 조건은 무엇인가?
• RQ5 정규화된 과정들 $ e^{-t\Lambda_{C_\infty}(b_n)} $ 이 $ t \in [0,1] $ 에서 균일하게 수렴할 수 있는가? 이는 극한 과정이 펠러 과정임을 보장한다.

주요 결과

• 드리프트 $ b \in \mathbf{F}^{1/2}_{\delta} $ 이고 $ m_d \delta < 4(d-2)/(d-1)^2 $ 를 만족할 때, 모든 $ x \in \mathbb{R}^d $, $ d \geq 3 $ 에 대해 SDE의 약한 해가 존재하고 법적으로 유일하다.
• 해 과정은 거의 확실히 연속적이고 유한한 궤적을 가지며, $ [0, \infty) $ 에서 $ \mathbb{P}_x $-a.s. $ X \in C([0,\infty[, \mathbb{R}^d) $ 이다.
• 과정 $ e^{-t\Lambda_{C_\infty}(b)} $ 는 펠러 $ C_0 $-과정이며, 양의 보존성과 $ L^\infty $-수축성을 가지며, $ -\Delta + b \cdot \nabla $ 에 의해 생성된다.
• 연산자 노름 $ \| |b_n|^{1/p} \nabla (\mu - \Delta)^{-1} \|_{p \to p} $ 는 $ (1+\varepsilon) m_d c_p \delta $ 에 의해 유계이며, $ \varepsilon $ 를 충분히 작게, $ \delta $ 를 충분히 작게 선택하면 1보다 작게 만들 수 있다.
• 수렴 $ e^{-t\Lambda_{C_\infty}(b_n)} \to e^{-t\Lambda_{C_\infty}(b)} $ 는 $ t \in [0,1] $ 에서 균일하게 성립하며, 이는 극한 과정이 $ C_\infty(\mathbb{R}^d) $ 에서 강한 연속성을 가짐을 보장한다.
• 클래스 $ \mathbf{F}^{1/2}_{\delta} $ 는 카토 클래스 $ \mathbf{K}^{d+1}_0 $, 약한 $ L^d $, 칸파나토-모레이, 찬-윌슨-트. 월프 클래스와 같은 임계 클래스를 적절히 포함한다.