[논문 리뷰] Jump-Diffusions in Hilbert Spaces: Existence, Stability and Numerics

Damir Filipović, Stefan Tappe외 1명|arXiv (Cornell University)|2008. 10. 28.

Stochastic processes and financial applications참고 문헌 9인용 수 3

한 줄 요약

이 논문은 경로에 따라 변하는 계수를 갖는 무한차원 위너 과정과 보정된 포아송 랜덤 측도에 의해 구동되는 확률적 편미분 방정식(SPDE)에 대해 미약해와 약한해의 존재성, 유일성, 안정성을 확립하기 위해 '움직이는 기준좌표계 방법'을 도입한다. 시간에 따라 변하는 좌표변환을 통해 비례항을 제거함으로써 원래의 SPDE는 더 단순한 확률적 미분 방정식(SDE)으로 축소되며, 이는 일반 조건 하에서 체계적인 분석과 수치적 근사가 가능하게 한다. 이 조건에는 비마르코프 및 점프-확산 설정이 포함된다.

ABSTRACT

By means of an original approach, called "method of the moving frame", we establish existence, uniqueness and stability results for mild and weak solutions of stochastic partial differential equations (SPDEs) with path dependent coefficients driven by an infinite dimensional Wiener process and a compensated Poisson random measure. Our approach is based on a time-dependent coordinate transform, which reduces a wide class of SPDEs to a class of simpler SDE problems. We try to present the most general results, which we can obtain in our setting, within a self-contained framework to demonstrate our approach in all details. Also several numerical approaches to SPDEs in the spirit of this setting are presented.

연구 동기 및 목표

• 경로에 따라 변하는 계수와 일반적인 레비 노이즈(특히 점프-확산)를 갖는 SPDE를 분석하기 위한 통합된 프레임워크의 부재를 해결하기 위해.
• 무한차원 SPDE에서 비가역적인 비율 연산자를 극복하기 위해 시간에 따라 변하는 변환을 도입함으로써 분석적 과제를 해결하기 위해.
• 비마르코프 및 비선형 계수를 포함한 일반 조건 하에서 미약해와 약한해의 존재성, 유일성, 안정성을 확립하기 위해.
• 복잡한 SPDE를 좌표변환을 통해 해를 구할 수 있는 SDE로 축소할 수 있는 자가포괄적이고 일반적인 접근법을 제공하기 위해.
• 고차수 수치적 스킴의 개발을 가능하게 하고, 대편차 및 거친 경로 분석을 촉진하기 위해.

제안 방법

• 시간에 따라 변하는 좌표변환 $ r_t \mapsto S_{-t} r_t $을 사용하여 원래의 SPDE를 비율항이 없는 변환된 SDE로 변환한다.
• 변환된 SDE는 동역학이 오직 변동성과 점프 성분에 의해 구동되는 '움직이는 기준좌표계'에서 분석되며, 이는 해의 분석을 단순화시킨다.
• 변환에 필수적인 시간 역행을 가능하게 하기 위해, 편수축성 준군을 군으로 확장하기 위해 Szőkefalvi-Nagy 정리를 활용한다.
• 고정점 추론과 $ L^p $-추정을 통해 변환된 SDE에서 존재성과 유일성을 확립하며, 이토 등식과 푸비니 유형 정리를 활용한다.
• 안정성 결과는 $ L_T^2(\mathbb{P} \otimes \lambda) $에서 수렴하는 근사 수열을 통해 유도되며, 리만의 수렴정리와 코시 수열 추론을 사용한다.
• 수치적 스킴은 $ V \subset L_T^2(\mu \otimes \lambda) $에 속하는 수열을 사용하여 변환된 SDE를 근사함으로써 구성되며, 코쉬 부등식과 이토 등식을 통해 수렴성이 증명된다.

실험 결과

연구 질문

• RQ1 경로에 따라 변하는 계수와 일반적인 레비 노이즈(점프 및 무한차원 위너 과정 포함)를 갖는 SPDE에 대해, 미약해와 약한해의 존재성, 유일성, 안정성을 확립할 수 있는가?
• RQ2 무한차원 SPDE의 비율항을 비가역성이 음의 시간에서 요구되지 않는 시간에 따라 변하는 변환을 통해 어떻게 제거할 수 있는가?
• RQ3 움직이는 기준좌표계에서 변환된 SDE가 해를 갖는 조건은 무엇이며, 이를 역변환하여 원래 SPDE의 미약해를 얻을 수 있는가?
• RQ4 이 변환 기반 접근법을 통해 점프와 경로 의존성을 갖는 SPDE에 대해 고차수 수치적 스킴를 얼마나 잘 도출할 수 있는가?
• RQ5 이 방법은 SPDE 맥락에서 대편차 이론이나 거친 경로 공식과 같은 고급 확률적 분석을 지원할 수 있는가?

주요 결과

• 움직이는 기준좌표계 방법은 경로에 따라 변하는 계수를 갖는 광범위한 SPDE 클래스를 변환된 공간에서 더 단순한 SDE로 축소하며, 존재성과 유일성 결과를 가능하게 한다.
• Szőkefalvi-Nagy 정리를 사용하여 편수축성 준군을 군으로 확장함으로써, 좌표변환에 필수적인 시간 역행이 가능해진다.
• 변환된 SDE는 $ L_T^2(\mathbb{P} \otimes \lambda) $에서 유일한 해를 갖으며, $ L^p $-추정과 리만의 정리에 의해 근사 수열의 수렴이 확립된다.
• 논문은 원래 SPDE의 해가 역변환 $ r_t = S_t f_t $를 통해 복원될 수 있음을 증명하며, 이는 미약해를 도출한다.
• 이 방법은 움직이는 기준좌표계에서 수치적으로 다룰 수 있는 SDE로 SPDE를 축소함으로써 고차수 수치적 스킴의 구축을 지원한다.
• 이 프레임워크는 향후 대편차 원리 및 거친 경로 이론로의 확장을 가능하게 하며, 변환된 SDE가 이러한 분석에 적합한 정규성 성질을 상속하기 때문이다.