[논문 리뷰] On the Cauchy problem for stochastic parabolic equations in Hölder spaces

Kai Du, Jiakun Liu|arXiv (Cornell University)|2015. 11. 09.

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

한 줄 요약

이 논문은 계수와 데이터에 대한 최소한의 가정 하에 존재성, 유일성 및 최적 정규성을 입증함으로써, 하올더 공간에서 스트로복스 파라볼릭 방정식에 대한 날카운 $C^{2+\beta}$-이론을 수립한다. 새로운 스트로복스 하올더 공간 프레임워크를 도입하고, 해가 데이터의 하올더 정규성과 동일하게 유지됨을 증명함으로써, 크릴로프가 제기한 이론의 날카운성에 대한 열린 문제를 해결한다.

ABSTRACT

In this paper, we establish a sharp $C^{2+α}$-theory for stochastic partial differential equations of parabolic type in the whole space.

연구 동기 및 목표

• 크릴로프가 스트로복스 파라볼릭 방정식에 대한 날카운 $C^{2+\beta}$-이론에 대해 제기한 열린 문제를 해결하기 위해.
• 두 번째 차수의 SPDE의 초기값 문제에 대해 하올더 공간에서 완전하고 최적의 정규성 이론을 수립하기 위해.
• 해의 이론이 반드시 필요하고 충분할 만한 적절한 스트로복스 하올더 공간의 클래스를 정의하고 특성화하기 위해.
• 계수와 자유항에 대한 최소 정규성 가정 하에 해 공간이 정확히 데이터 공간과 일치함을 증명하기 위해.

제안 방법

• SPDE에 대해 $L_{ ext{loc}}^{\rho}(\text{공간-시간}; L_{\text{확률}}^{\rho})$-값 하올더 공간에서의 준-고전적 해의 개념을 도입한다.
• 공간 및 공간-시간 도함수의 $L^{\rho}(\rho \to \rho)$-노름을 사용하여 스트로복스 하올더 노름 $|u|_{m+\beta;\rho}$ 및 $|u|_{(m+\beta,\beta/2);\rho}$를 정의한다.
• 균일한 파라볼릭 조건 (1.2)를 부과하고, 계수 $a^{ij}, b^i, c, \nu, \nu_x, \nu_x$ 및 $\nu_x$가 공간에서 하올더 연속이며 통일된 유계 $K$를 가짐을 가정한다.
• 해를 근사하기 위해 미세화 기법을 적용하고, $L^{\rho}$-노름에서 극한으로 넘어가기 위해 과잉 수렴 정리(Lebesgue's dominated convergence theorem)를 사용한다.
• 사전 추정 및 컴팩턴스 추론을 활용하여 제안된 하올더 공간 프레임워크에서 존재성과 유일성을 증명한다.
• 이토 공식과 스트로복스 적분 표현을 사용하여 해가 만족하는 적분 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 스트로복스 파라볼릭 방정식에 대해, 해 공간이 해 연산자의 하위공간으로서 정확히 데이터 공간과 일치하는 날카운 $C^{2+\beta}$-이론을 수립할 수 있는가?
• RQ2 계수와 데이터에 대해 최소한의 정규성 가정은 무엇이어야 하며, 이 가정 하에 해가 스트로복스 $C^{2+\beta}$-공간에 속하게 되는가?
• RQ3 존재성과 유일성, 최적 정규성을 지원할 수 있는 스트로복스 하올더 공간 프레임워크를 어떻게 정의할 수 있는가?
• RQ4 해가 데이터 $f$ 및 $g$의 하올더 정규성과 $L^{\rho}(\rho)$-노름의 의미에서 동일하게 유지되는가?
• RQ5 해 이론을 완전히 최적화하여, 해 공간의 모든 원소가 동일한 공간 내의 어떤 데이터에 의해 생성된 해가 되도록 할 수 있는가?

주요 결과

• 논문은 전체 공간에서 스트로복스 파라볼릭 방정식의 초기값 문제에 대해 날카운 $C^{2+\beta}$-이론을 수립한다.
• $f \to C^{\beta}_x(\rho)$ 및 $g \to C^{1+\beta}_x(\rho)$일 때, 해 $u$는 $C^{2+\beta,\beta/2}_x(\rho)$에 속하며, 노름 추정 $|u|_{2+\beta,\beta/2;\rho} \to C(|f|_{\beta;\rho} + |g|_{1+\beta;\rho})$가 성립한다.
• 해 연산자는 전사적이다: $C^{2+\beta,\beta/2}_x(\rho)$의 모든 원소는 동일한 데이터 공간 내의 어떤 $f, g$에 의해 생성된 해이다.
• 계수 $a^{ij}, b^i, c, \nu, \nu_x, \nu_x$는 공간에서 균일하게 $C^{\beta}$이며 통일된 유계 $K$를 가짐을 가정하여 이론의 날카운성을 확보한다.
• 미세화 방법은 $u^{\rho} \to u$를 $L^{\rho}$-노름에서, $D^m u^{\rho} \to D^m u$를 $L^{\rho}$-노름에서 보장하며, $D^m u$가 균일하게 강한 연속성을 가질 경우 균일 수렴도 보장한다.
• 미세화된 해의 하올더 반정규성은 $[[u^{\rho}]]_{\beta;\rho} \to C(n,\rho)[[u]]_{\beta;\rho}$를 만족하고, $\rho \to 0$일 때 $[[u^{\rho} - u]]_{\beta/2;\rho} \to 0$이 된다.