[论文解读] Boundary behavior and interior Hölder regularity of solution to nonlinear stochastic partial differential equations driven by space-time white noise

Beom-Seok Han, Kyeong-Hun Kim|arXiv (Cornell University)|May 28, 2019

Stochastic processes and financial applications参考文献 13被引用 4

一句话总结

本文在有界区间上为带空间-时间白噪声的非线性随机偏微分方程建立了加权Sobolev空间中解的存在性与唯一性，证明了精确的内部Hölder正则性及边界行为。关键结果表明，对于任意 $\kappa \in (\lambda, 1/2)$，解满足 $\rho^{-1/2-\kappa}u \in C^{\frac{1}{4}-\frac{\kappa}{2}-\varepsilon,\frac{1}{2}-\kappa-\varepsilon}_{t,x}([0,T]\times(0,1))$ 几乎必然成立，其中最优Hölder指数依赖于非线性参数 $\lambda$。分析通过加权范数与Hardy型不等式，考虑了一般随机系数与边界衰减的影响。

ABSTRACT

We present uniqueness and existence in weighted Sobolev spaces of the equation $$ u_t=(au_{xx}+bu_x+cu)+ ξ|u|^{1+λ} {\dot{B}}, \quad\,\, t>0, \, x\in (0,1) $$ with initial data $u(0,\cdot)=u_0$ and zero boundary data. Here $λ\in [0,1/2)$, $\dot{B}$ is a space-time white noise, and the coefficients $a,b,c$ and the function $ξ$ depend on $(ω,t,x)$ and the initial data $u_0$ depends on $(ω,x)$. More importantly, we obtain various interior Hölder regularities and boundary behaviors of the solution. For instance, if the initial data is in appropriate $L_p$ spaces, then for any small $\varepsilon>0$ and $T

研究动机与目标

• 在有界域上为一类带空间-时间白噪声的非线性SPDE建立加权Sobolev空间中的唯一可解性理论。
• 刻画解在时间和空间变量上的内部Hölder正则性，同时考虑非线性参数 $\lambda \in [0, 1/2)$ 的影响。
• 通过距离加权范数分析解的边界行为，特别是靠近边界时的衰减速率。
• 将现有关于加性噪声SPDE的结果推广至具有随机、时间与空间依赖系数的乘性噪声情形。
• 为具有非平凡边界效应的SPDE提供一个通用框架，填补了非空边界区域文献中的空白。

提出的方法

• 作者使用加权Sobolev空间 $\mathfrak{H}^{1/2-\kappa}_{p,\theta,\text{loc}}(I,\infty)$ 来处理解的正则性与边界衰减，其中 $\theta$ 控制靠近边界的权重。
• 通过停时 $\tau_m^R$ 的局部化程序控制解的增长，并确保在局部区域内的路径唯一性。
• 关键步骤包括利用截断非线性项 $|u \wedge m|^{1+\lambda}$ 构造逼近解序列 $u_m$，以保证有界性并应用先验估计。
• 证明依赖于随机最大正则性估计与最大值原理论证，以保持非负性并确保解的路径唯一性。
• 利用Hardy不等式验证初始数据在加权 $L_p$ 空间中的可积性，从而推导出加权范数下的Hölder连续性。
• 停止时 $\tau_m^m \to \infty$ 几乎必然收敛，确保了解在局部加权Sobolev空间中全局存在。

实验结果

研究问题

• RQ1 对于带空间-时间白噪声与阶为 $1+\lambda$ 的乘性噪声的非线性SPDE，其解在时间和空间上的最优Hölder正则性是什么？
• RQ2 解在有界域边界附近的行为如何？其与到边界距离相关的精确衰减速率是什么？
• RQ3 能否在加权Sobolev空间中为具有随机、时间与空间依赖系数及乘性噪声的SPDE建立存在性与唯一性？
• RQ4 Hölder指数对非线性参数 $\lambda$ 的精确依赖关系是什么？
• RQ5 加权范数与Hardy型不等式如何促进解及其初始数据的正则性与可积性？

主要发现

• 对于任意 $\kappa \in (\lambda, 1/2)$ 与小的 $\varepsilon > 0$，解几乎必然满足 $\rho^{-1/2-\kappa}u \in C^{\frac{1}{4}-\frac{\kappa}{2}-\varepsilon,\frac{1}{2}-\kappa-\varepsilon}_{t,x}([0,T]\times(0,1))$，给出时间方向最大Hölder指数 $\frac{1}{4} - \frac{\lambda}{2} - \varepsilon$ 与空间方向 $\frac{1}{2} - \lambda - \varepsilon$。
• 对任意 $\varepsilon > 0$，解满足 $\sup_{t \leq T} |u(t,x)| \leq N(\omega) \rho^{1-\varepsilon}(x)$ 几乎必然成立，表明在边界附近具有强衰减。
• 若初始数据 $u_0$ 属于 $L_p(\Omega; \mathring{W}^1_p(I))$（$p > 1$），则对任意 $\theta > 0$，有 $\rho^{\frac{1+\theta}{p}-1}u_0, \rho^{\frac{1+\theta}{p}}D_x u_0 \in L_p(\Omega \times I)$，从而可利用Hardy不等式控制加权范数。
• 解在时间上全局定义，因 $\tau_m^m \to \infty$ 几乎必然成立，确保了在 $\mathfrak{H}^{1/2-\kappa}_{p,\theta,\text{loc}}(I,\infty)$ 中存在唯一解。
• 截断与停止时间方法确保了路径唯一性与收敛性，使得可通过逼近构造全局解。
• 结果可推广至依赖于 $(\omega,t,x)$ 的一般系数 $a,b,c,\xi$，使该框架适用于具有边界效应的广泛非线性SPDE类。