[논문 리뷰] Stochastic continuity of random fields governed by a system of stochastic PDEs

Kai Du, Jiakun Liu외 1명|arXiv (Cornell University)|2017. 06. 06.

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

한 줄 요약

이 논문은 $L^p$-노름을 포함하는 수정된 스토하스틱 파라볼릭 조건을 도입하여, 공간과 시간에서 허더 연속성을 보장하는 스토하스틱 PDE 시스템에 대한 $C^{2+\theta}$-정규성 이론을 수립한다. 이는 스카우더 유형의 추정치와 $L^p$-값을 가진 허더 공간에서의 해 존재성 결과를 정밀하게 도출하며, 계수의 구조에 대한 최소한의 가정 하에 고전적 SPDE 이론을 시스템으로까지 확장한다.

ABSTRACT

This paper constructs a solvability theory for a system of stochastic partial differential equations. On account of the Kolmogorov continuity theorem, solutions are looked for in certain Hölder-type classes in which a random field is treated as a space-time function taking values in $L^{p}$-space of random variables. A modified stochastic parabolicity condition involving $p$ is proposed to ensure the finiteness of the associated norm of the solution, which is showed to be sharp by examples. The Schauder-type estimates and the solvability theorem are proved.

연구 동기 및 목표

• 비대각형 확산 행렬을 가진 시스템에 대해 기존의 $L^p$-이론을 $C^{2+\theta}$-정규성 이론으로 확장하여 스토하스틱 PDE 시스템에 대한 이론을 수립한다.
• 특히 허더 유형 공간에서 $p=2$를 초월한 스토하스틱 PDE 시스템에 대한 정규성 결과의 부족을 해결한다.
• 해가 $L^p$-값을 가진 허더 노름에서 유계로 유지되는 정밀한 조건을 확립하여, 스토하스틱 연속성과 샘플 경로의 정규성을 보장한다.
• 스토하스틱 연속성과 경로별 허더 정규성을 도출할 수 있도록, $L^p(\Omega)$-값을 가진 랜덤 필드에 대해 코모고로프 연속성 정리를 일반화한다.

제안 방법

• 랜덤 필드를 $L^p(\Omega)$-값을 가진 공간-시간 함수로 간주할 수 있도록, 새로운 $L^p$-값을 가진 허더 공간 $\mathcal{C}_p^\delta$ 를 도입하여 샘플 경로의 정규성을 분석할 수 있도록 한다.
• 해의 노름이 $\mathcal{C}_p^\delta$ 내에서 유한함을 보장하는 $p$를 포함한 수정된 스토하스틱 파라볼릭 조건을 제안하며, 반례를 통한 분석을 통해 이 조건이 정밀함을 입증한다.
• $L^p(\Omega)$-값을 가진 설정에서 코모고로프 연속성 정리를 적용하여 해의 스토하스틱 연속성과 허더 정규성을 도출한다.
• 새로운 파라볼릭 조건 하에서 해의 이阶 도함수에 대한 스카우더 유형 추정치를 유도하며, 이는 결정론적 방법을 스토하스틱 시스템 맥락으로 확장한다.
• 푸리에 분석과 SDE 기법을 활용하여 공간-시간 백색 잡음이 있는 모델 시스템에서 해의 $L^p$-노름 성장을 분석하며, 파라볼릭 조건가 실패할 경우 폭발을 증명한다.
• 파라볼릭 조건에 포함된 보조 행렬 $\Lambda$ 의 선택을 특정 계수의 구조에 맞게 최적화할 수 있는 프레임워크를 구축하여 기준의 정밀도를 향상시킨다.

실험 결과

연구 질문

• RQ1 계수 행렬에 대한 최소한의 가정 하에 스토하스틱 PDE 시스템에 대해 $C^{2+\theta}$-정규성 이론을 수립할 수 있는가?
• RQ2 해가 $L^p$-값을 가진 허더 노름에서 유계로 유지되는 데 필요한 계수에 대한 정밀한 조건은 무엇인가? 이는 스토하스틱 연속성을 보장한다.
• RQ3 확산 행렬의 반대칭 부분은 해의 $L^p$-노름에 어떤 영향을 미치며, 이를 일반화된 파라볼릭 조건에 포괄할 수 있는가?
• RQ4 제안된 스토하스틱 파라볼릭 조건은 최적인가? 보조 행렬 $\Lambda$ 를 도입함으로써 이를 향상시킬 수 있는가?
• RQ5 스토하스틱 연속성과 경로별 허더 정규성을 도출하기 위해, $L^p(\Omega)$-값을 가진 랜덤 필드에 대해 코모고로프 연속성 정리를 적응시킬 수 있는가?

주요 결과

• $p$를 포함한 수정된 스토하스틱 파라볼릭 조건이 정밀함을 입증하였다: 이 조건이 실패할 경우, 해의 $L^p$-노름이 유한한 시간 내에 폭발할 수 있다. 이는 $p=3$, $\lambda=3$, $\mu=1$ 인 예제 6.5에서 확인되었다.
• $p \geq 3$ 인 경우, 파라볼릭 조건에서 $\Lambda = \frac{\lambda - \mu}{2(p-2)}$ 를 선택하면 최적의 유계를 확보할 수 있으며, $\Lambda = 0$ 이 항상 최소 요구 조건을 만족시키는 것은 아니다.
• 데이터 $f$, $g$, 및 $\partial g$ 가 이 공간에 속할 경우, 해 $u$ 와 그 일阶 및 이阶 도함수는 $L^p$-값을 가진 허더 공간 $\mathcal{C}_p^\delta$ 에 속하며, 이는 완전한 스카우더 유형 추정치를 수립한다.
• $\delta p > d$ 인 경우, 코모고로프 연속성 정리를 $L^p(\Omega)$-값을 가진 설정에 적용함으로써, 해는 거의 확실히 공간에서 허더 연속성을 가진다.
• 논문은 $\mathcal{C}_p^\delta$ 공간에서의 해 존재성 정리를 증명하여, 제안된 파라볼릭 조건 하에서 해의 존재성과 유일성을 보였다.
• 모델 시스템에서 $A = \text{diag}(1+\lambda^2, 1+\mu^2)$, $B = \begin{bmatrix} 0 & -\mu \\ \lambda & 0 \end{bmatrix}$ 인 경우, $\varepsilon = \lambda^2 + (p-1)\mu^2 - 2 > 0$ 이면 $t > 2/\varepsilon$ 에서 해의 $L^p$-노름이 무한대가 되며, 이는 조건의 정밀성을 확인한다.