[论文解读] 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 Analysis参考文献 5被引用 3

一句话总结

该论文通过将确定性演化方程理论推广至随机情形，建立了M型2 Banach空间中随机抛物演化方程严格解的存在性与唯一性。关键贡献在于构造了具有强正则性的解，包括时间上的Hölder连续性以及生成元分数次幂域中的路径正则性，从而为随机动力系统的构建奠定了基础。

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型2 Banach空间中为随机抛物演化方程建立严格解的严格理论。
• 通过构造具有更高时间与空间正则性的解，克服温和解的局限性。
• 为由此类方程生成的随机动力系统的构建提供基础。
• 将确定性演化方程理论推广至具有加性噪声的随机情形。
• 将抽象结果应用于具体的随机扩散方程，并获得精确的正则性估计。

提出的方法

• 利用确定性线性演化方程理论，在M型2 Banach空间中构造严格解。
• 在M型2 Banach空间中应用随机积分理论，处理Itô型随机项。
• 通过Kolmogorov连续性定理在Banach空间中对随机过程应用Hölder连续性估计。
• 以生成元A(t)的分数次幂域形式建立解的正则性，特别是A(t)^βX(t)的正则性。
• 在包含时间与概率空间中Hölder连续性与可积性的函数空间中推导先验估计。
• 将结果应用于有界域上的随机扩散方程，验证了抽象框架的结构假设。

实验结果

研究问题

• RQ1 在何种条件下，M型2 Banach空间中的随机抛物演化方程存在严格解？
• RQ2 解的正则性如何通过生成元A(t)的分数次幂表征？
• RQ3 初始数据与系数需满足何种必要且充分条件，以确保解的Hölder连续性与可积性？
• RQ4 该抽象框架能否应用于具体的随机PDE，如随机扩散方程？
• RQ5 解的正则性特征如何依赖于生成元的谱性质与噪声结构？

主要发现

• 在M型2 Banach空间中，随机演化方程 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}(𝒪) 几乎必然且具有有限二阶矩时，满足抽象定理的结构假设。