[논문 리뷰] On the strong uniqueness of a solution to singular stochastic differential equations

Olga Aryasova, Andrey Pilipenko|arXiv (Cornell University)|2011. 12. 12.

Stochastic processes and financial applications참고 문헌 14인용 수 4

한 줄 요약

이 논문은 반직선 위에서 특이성 있는 확률미분방정식(SDE)의 음이 아닌 해에 대해 강한 유일성을 확립한다. 특히 원점 근처에서 특이한 속도항과 확산계수를 가진 SDE에 대해 다룬다. 원점 근처에서 일정한 함수를 사용하는 마팅글 문제로 공식화함으로써, 저자들은 약한 해의 유일성이 강한 해의 유일성을 이끌어내며, 베세르 과정과 국소 시간 또는 주요값 표현을 가진 특이 SDE로 결과를 확장한다.

ABSTRACT

We prove the existence and uniqueness of a strong solution for an SDE on a semi-axis with singularities at the point 0. The result obtained yields, for example, the strong uniqueness of non-negative solutions to SDEs governing Bessel processes.

연구 동기 및 목표

• 영점에서 특이 계수를 가진 SDE의 음이 아닌 해에 대해 강한 유일성을 확립하기 위해.
• 계수가 원점에서 특이할 경우 경로별 유일성 문제를 다루기 위해.
• 마팅글 문제 프레임워크에서 약한 해의 유일성이 강한 해의 유일성을 이끌어내는 것을 보여주기 위해.
• 특이한 속도항(예: β ∈ (0,1))을 가진 베세르 과정의 결과를 더 넓은 범주로 일반화하기 위해.
• 특이점에서 국소 시간 또는 주요값 인te그랄을 가진 SDE에 대한 통합적 프레임워크를 제공하기 위해.

제안 방법

• 원점 근처에서 일정한 함수를 사용하는 마팅글 문제를 $ C^2_c([0,\infty)) $ 내에서 공식화하여 특이성을 다루기 위해.
• 그러한 함수에 이토의 공식을 적용하여 특이성이 드러나지 않는 확산 생성자 표현을 유도하기 위해.
• 절단과 국소화를 통해 매끄러운 계수를 가진 근사 SDE의 수열을 구성하고, 분포 수렴을 보장하기 위해.
• 극한 과정이 마팅글 성질을 유지하며, 확률 수렴을 통해 극한에서 유클리드 브라운 운동을 정의함을 증명하기 위해.
• 레 갈의 방법을 적용하여 두 해의 최대값도 SDE를 만족함을 보임으로써 경로별 유일성을 확보하기 위해.
• 레마 5를 사용하여 계수들이 상태공간의 근처에서 일치할 경우 서로 다른 브라운 운동에 의해 유도된 스트로크 적분이 동일함을 보임.

실험 결과

연구 질문

• RQ1 반직선 [0,∞) 위의 특이 SDE에 대해 약한 해의 유일성이 강한 해의 유일성을 유도하는 조건은 무엇인가?
• RQ2 영점에서 특이한 속도항과 확산계수를 가진 SDE에 대해 경로별 유일성을 확보할 수 있는가?
• RQ3 마팅글 문제에서 원점 근처에서 일정한 함수를 사용하는 것이 SDE 생성자에서 특이성을 제거하는 데 어떻게 기여하는가?
• RQ4 특이 인te그랄의 국소 시간 또는 주요값 표현이 SDE에서 유일성을 얼마나 잘 유지하는가?
• RQ5 마팅글 문제 프레임워크에서 약한 해의 유일성이 영점에서 특이성을 가진 음이 아닌 SDE에 대해 강한 해의 유일성을 이끌어내는가?

주요 결과

• 반직선 위에서 영점에서 특이 계수를 가진 SDE에 대해 마팅글 문제 $ M(a,\sigma,x_0) $ 에서 약한 해의 유일성이 강한 해의 유일성을 이끌어낸다.
• SDE의 두 해의 최대값도 SDE를 만족함을 보여, 레 갈의 방법을 통해 경로별 유일성을 확보할 수 있다.
• β ∈ (0,1)인 베세르 과정에 대해 주요값 인te그랄 표현을 가진 SDE는 유일한 음이 아닌 강한 해를 가진다.
• 근사 브라운 운동을 통해 구성된 극한 과정 $ \tilde{w}(t) $ 는 표준 브라운 운동이며, 이는 스트로크 적분의 타당성을 보장한다.
• 계수들이 상태공간의 근처에서 일치할 경우 서로 다른 브라운 운동에 의해 유도된 스트로크 적분이 동일하므로 해의 동치성을 확보할 수 있다.
• 원점 근처에서 일정한 함수를 $ C^2_c([0,\infty)) $ 내에서 사용함으로써, $ a $ 와 $ \sigma $ 가 영점에서 특이하더라도 이토 공식이 특이성이 없는 표현을 유도함을 보장한다.