[논문 리뷰] Strict solutions to stochastic parabolic evolution equations in M-type 2 Banach spaces

Tôn Việt Tạ, Yoshitaka Yamamoto외 1명|arXiv (Cornell University)|2015. 08. 29.

Nonlinear Differential Equations Analysis참고 문헌 5인용 수 3

한 줄 요약

이 논문은 M-type 2 바나흐 공간에서의 확률적 포아송 진화 방정식에 대한 엄밀한 해의 존재성과 유일성을 정립하며, 결정론적 진화 방정식 이론을 확장함으로써 이를 달성한다. 주요 기여는 시간에 대한 호일더 연속성과 생성자 분수거듭제곱의 정의도메인에서 경로별 정규성을 갖는 해를 구성함으로써, 확률적 동역계 시스템의 개발을 가능하게 한다.

ABSTRACT

We study a stochastic linear evolution equation $dX+A(t)Xdt=F(t)dt+ G(t)dw_t$ in a Banach space of M-type 2. We construct unique strict solutions to the equation on the basis of the theory of deterministic linear evolution equations. The abstract results are applied to stochastic diffusion equations.

연구 동기 및 목표

• M-type 2 바나흐 공간에서의 확률적 포아송 진화 방정식에 대한 엄밀한 해 이론을 철저히 구축하는 것.
• 더 높은 시간적 및 공간적 정규성을 갖는 해를 구성함으로써 온화한 해의 한계를 극복하는 것.
• 이러한 방정식에 의해 생성되는 확률적 동역계 시스템을 구성하기 위한 기초를 마련하는 것.
• 추가 노이즈가 있는 확률적 설정으로 결정론적 진화 방정식 이론을 확장하는 것.
• 추상적 결과를 구체적인 확률적 확산 방정식에 적용하여 날카로운 정규성 추정을 도출하는 것.

제안 방법

• M-type 2 바나흐 공간에서 엄밀한 해를 구성하기 위해 결정론적 선형 진화 방정식 이론을 활용한다.
• 이토 유형의 확률적 항을 다루기 위해 M-type 2 바나흐 공간에서의 확률적 적분 이론을 적용한다.
• 바나흐 공간에서의 확률과정에 대해 콜모고로프 연속성 정리에 기반한 호일더 연속성 추정을 활용한다.
• 특히 생성자 A(t)의 분수거듭제곱 도메인에 대한 해의 정규성을 규명하며, A(t)^βX(t)의 형태로 기술한다.
• 시간과 확률 공간에서의 호일더 연속성과 적분 가능성에 관여하는 함수공간에서 사전 추정을 유도한다.
• 유계 도메인에서의 확률적 확산 방정식에 결과를 적용하여 추상적 프레임워크의 구조적 조건을 검증한다.

실험 결과

연구 질문

• RQ1 M-type 2 바나흐 공간에서의 확률적 포아송 진화 방정식이 엄밀한 해를 갖는 조건은 무엇인가?
• RQ2 생성자 A(t)의 분수거듭제곱에 관해 해의 정규성은 어떻게 특징지을 수 있는가?
• RQ3 해의 호일더 연속성과 적분 가능성 보장을 위한 초기 자료 및 계수에 필요한 충분조건은 무엇인가?
• RQ4 추상적 프레임워크는 확률적 편미분방정식, 예를 들어 확률적 확산 방정식에 적용 가능한가?
• RQ5 해의 정규성 특성은 생성자의 스펙트럼 성질과 노이즈 구조에 따라 어떻게 달라지는가?

주요 결과

• M-type 2 바나흐 공간에서 방정식 dX + A(t)X dt = F(t) dt + G(t) dw_t 에 대해 유일한 엄밀한 해가 존재한다.
• 해는 거의확실하게 X ∈ C^γ₁([0,T]; L_p(𝒪)) 이고, A^βX ∈ C([0,T]; L_p(𝒪)) 를 만족한다. 여기서 0 < γ₁ < min{β, 1/2} 이고 β ≥ 1/2p 이다.
• t > 0 에서 AX ∈ C^γ₂([τ,T]; L_p(𝒪)) 이 거의확실하게 성립하며, 여기서 0 < γ₂ < min{δ - 1/2, σ} 이고 임의의 τ > 0 이다.
• 사전 추정이 도출된다: β ≥ δ 일 때, 𝔼‖A(t)^βX(t)‖²_{L_p} ≤ C[𝔼‖A(0)^βX₀‖²_{L_p} + ‖f‖²_{ℱ^{β,σ}}‖φ₁‖²_{L_p} + ‖A(0)^δφ₂‖²_{L_p}𝔼|g(0)|²t^{1-2(β−δ)} + t^{1-2(β−δ)+2σ}].
• β < δ 일 경우 추정식은 다음과 같이 변형된다: 𝔼‖A(t)^βX(t)‖²_{L_p} ≤ C[𝔼‖A(0)^βX₀‖²_{L_p} + ‖f‖²_{ℱ^{β,σ}}‖φ₁‖²_{L_p} + ‖A(0)^δφ₂‖²_{L_p}𝔼|g(0)|²t + t^{1+2σ}].
• 결과는 확률적 확산 방정식에 적용되며, 초기 자료가 H^{2β+ε}_{p,D}(𝒪) 또는 H^{2β+ε}_{p}(𝒪) 에 속하고 두 번째 모멘트가 유한할 경우, 추상 정리의 구조적 조건이 충족됨을 검증한다.