[논문 리뷰] Fully nonlinear stochastic and rough PDEs: Classical and viscosity solutions

Rainer Buckdahn, Christian Keller외 2명|arXiv (Cornell University)|2015. 01. 28.

Stochastic processes and financial applications인용 수 3

한 줄 요약

이 논문은 매끄러운 시험 함수를 통한 점성 해의 개념을 도입하여 완전히 비선형 확률적 및 거친 PDEs(SPDEs/RPDEs)에 대한 통합 프레임워크를 수립한다. 일致성, 안정성 및 부분 비교 원리의 증명이 이루어지며, 확산 계수의 형태가 반선형일 경우 특성 방법과 거친 경로 분석을 통해 전역 존재성과 완전한 비교 원리를 포함한 완전한 이론을 달성한다.

ABSTRACT

We study fully nonlinear second-order (forward) stochastic partial differential equations (SPDEs). They can also be viewed as forward path-dependent PDEs (PPDEs) and will be treated as rough PDEs (RPDEs) under a unified framework. We develop first a local theory of classical solutions and define then viscosity solutions through smooth test functions. Our notion of viscosity solutions is equivalent to the alternative one using semi-jets. Next, we prove basic properties such as consistency, stability, and a partial comparison principle in the general setting. When the diffusion coefficient is semi-linear (but the drift can be fully nonlinear), we establish a complete theory, including global existence and comparison principle. Our methodology relies heavily on the method of characteristics.

연구 동기 및 목표

• 경로에 의존하는 PDEs(PPDEs)와 완전히 비선형 제2차 전방 SPDEs에 대한 점성 해 이론을 일관되게 개발한다. 이는 거친 경로 설정에서 이루어진다.
• 확률적 PDEs, 경로에 의존하는 PDEs, 거친 PDEs를 하나의 분석적 프레임워크로 통합한다.
• 확산 계수가 반선형인 경우 점성 해의 존재성과 비교 원리를 수립한다.
• 일반적인 경우에 일관성, 안정성 및 부분 비교 원리와 같은 핵심 성질을 증명한다.
• 특성 방법과 거친 테일러 전개를 사용하여 고전적 해 те오리의 국소 및 전역 잘 정의됨을 확장한다.

제안 방법

• 스트라토노비치 형태로 SPDE(1.1)를 설정하고, 두피레의 경로 미분을 사용하여 이를 전방 PPDE(1.2)로 재해석한다.
• 구빈엘리의 도함수와 거친 경로 이론을 사용하여 SPDE를 거친 PDE(1.3)로 재표현하고, 제어된 거친 경로와 연결한다.
• 특성 방법을 통해 고전적 해를 정의하고, 관련된 특성 방정식의 국소 잘 정의됨을 도출한다.
• 매끄러운 시험 함수를 통한 점성 해를 정의하고, 반준위상 기반 정의와의 동치성을 증명한다.
• 거친 경로 기법을 사용하여 점성 해의 변수 변경 공식과 안정성 성질을 수립한다.
• 일반적인 경우에 부분 비교 원리를 증명하고, 확산 계수가 반선형인 경우 완전한 비교 원리를 증명함으로써 전역 존재성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 경로에 의존하는 설정에서 완전히 비선형 거친 PDEs에 대한 점성 해는 어떻게 일관성 있게 정의될 수 있는가?
• RQ2 거친 PDEs의 맥락에서 점성 해의 안정성과 일관성은 어떤 조건에서 보장되는가?
• RQ3 언제 점성 해의 거친 PDEs에 대해 완전한 비교 원리가 성립하는가?
• RQ4 확산 계수가 반선형인 경우 점성 해의 전역 존재성을 어떻게 확보할 수 있는가?
• RQ5 특성 방법은 거친 PDE 설정으로 어떻게 일반화되어 잘 정의됨을 보장하는가?

주요 결과

• 매끄러운 시험 함수를 통한 점성 해의 개념은 반준위상 기반 정의와 동치이며, 해 프레임워크의 일관성을 보장한다.
• 이론은 균일 수렴 하에서 점성 해의 안정성을 증명하며, 이는 수치적 및 근사화 방법에 핵심적인 성질이다.
• 일반적인 경우에 부분 비교 원리가 확립되어, 완전한 정규성 조건이 없을 경우 유일성의 기초를 제공한다.
• 확산 계수가 반선형인 경우 완전한 비교 원리가 성립하여, 점성 해의 유일성과 전역 존재성의 증명이 가능하다.
• 반선형 확산 조건 하에서 점성 해의 전역 존재성이 확립되며, 해는 공간과 시간에서 허더 정규성을 보장하는 $ C^{k, ext{loc}}_{eta,eta}(bR_T) $ 공간에 속한다.
• 특성 방법과 함께 거친 테일러 전개 및 거친 경로 적분을 사용하면, $ f $, $ g $ 및 초기 자료에 따라 의존하는 명시적 추정이 가능한 $ C^{k+2}_{eta,eta}([0,T]) $ 공간에서 고전적 해의 국소 잘 정의됨을 도출할 수 있다.