[Paper Review] Strict solutions to stochastic parabolic evolution equations in M-type 2 Banach spaces

Tôn Việt Tạ, Yoshitaka Yamamoto+1 more|arXiv (Cornell University)|Aug 29, 2015

Nonlinear Differential Equations Analysis5 references3 citations

TL;DR

This paper establishes the existence and uniqueness of strict solutions to stochastic parabolic evolution equations in M-type 2 Banach spaces by extending deterministic evolution equation theory. The key contribution is the construction of solutions with strong regularity, including Hölder continuity in time and pathwise regularity in the domain of fractional powers of the generator, enabling the development of stochastic dynamical systems.

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.

Motivation & Objective

• To develop a rigorous theory for strict solutions to stochastic parabolic evolution equations in M-type 2 Banach spaces.
• To overcome the limitations of mild solutions by constructing solutions with higher temporal and spatial regularity.
• To provide a foundation for constructing stochastic dynamical systems generated by such equations.
• To extend deterministic evolution equation theory to the stochastic setting with additive noise.
• To apply the abstract results to concrete stochastic diffusion equations with sharp regularity estimates.

Proposed method

• Utilizes the theory of deterministic linear evolution equations to construct strict solutions in M-type 2 Banach spaces.
• Applies stochastic integration theory in M-type 2 Banach spaces to handle the Itô-type stochastic term.
• Employs Hölder continuity estimates via the Kolmogorov continuity theorem for stochastic processes in Banach spaces.
• Establishes regularity of solutions in terms of fractional power domains of the generator A(t), particularly A(t)^βX(t).
• Derives a priori estimates in function spaces involving Hölder continuity and integrability in time and probability space.
• Applies the results to a stochastic diffusion equation on a bounded domain, verifying structural assumptions for the abstract framework.

Experimental results

Research questions

• RQ1 Under what conditions does a stochastic parabolic evolution equation in an M-type 2 Banach space admit a strict solution?
• RQ2 How can the regularity of the solution be characterized in terms of the fractional powers of the generator A(t)?
• RQ3 What are the necessary and sufficient conditions on the initial data and coefficients to ensure Hölder continuity and integrability of the solution?
• RQ4 Can the abstract framework be applied to concrete stochastic PDEs such as stochastic diffusion equations?
• RQ5 How do the regularity properties of the solution depend on the spectral properties of the generator and the noise structure?

Key findings

• A unique strict solution exists for the stochastic evolution equation dX + A(t)X dt = F(t) dt + G(t) dw_t in M-type 2 Banach spaces.
• The solution satisfies X ∈ C^γ₁([0,T]; L_p(𝒪)) a.s. and A^βX ∈ C([0,T]; L_p(𝒪)) a.s. for any 0 < γ₁ < min{β, 1/2} and β ≥ 1/2p.
• For t > 0, AX ∈ C^γ₂([τ,T]; L_p(𝒪)) a.s. with 0 < γ₂ < min{δ - 1/2, σ} for any τ > 0.
• A priori estimates are derived: for β ≥ δ, 𝔼‖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σ}].
• When β < δ, the estimate becomes: 𝔼‖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σ}].
• The results are applied to a stochastic diffusion equation, verifying that initial data in H^{2β+ε}_{p,D}(𝒪) or H^{2β+ε}_{p}(𝒪) a.s. with finite second moments ensures the structural assumptions of the abstract theorem are satisfied.