[论文解读] On the Cauchy problem for stochastic parabolic equations in Hölder spaces

Kai Du, Jiakun Liu|arXiv (Cornell University)|Nov 9, 2015

Stochastic processes and financial applications参考文献 15被引用 3

一句话总结

本文通过在系数和数据的最小假设下证明解的存在性、唯一性及最优正则性，建立了随机抛物方程在 Hölder 空间中的精确 $C^{2+eta}$-理论。它引入了一套新颖的随机 Hölder 空间框架，并证明了解继承了数据的 Hölder 正则性，从而解决了 Krylov 提出的关于该理论精确性的开放问题。

ABSTRACT

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

研究动机与目标

• 解决 Krylov 提出的关于随机抛物方程 $C^{2+eta}$-理论精确性的问题。
• 为二阶 SPDE 的柯西问题在 Hölder 空间中建立完整且最优的正则性理论。
• 定义并表征一个合适的随机 Hölder 空间类，使得解理论在该空间中既必要又充分。
• 证明在系数和自由项的正则性假设最弱时，解空间恰好与数据空间一致。

提出的方法

• 在 $L_{\text{loc}}^{\rho}(\text{时空}; L_{\text{prob}}^{\rho})$-值 Hölder 空间中引入 SPDE 的准经典解概念。
• 使用空间与时空导数的 $L^{\rho}(\rho \to \rho)$-范数，定义随机 Hölder 范数 $|u|_{m+\beta;\rho}$ 和 $|u|_{(m+\beta,\beta/2);\rho}$。
• 施加一致抛物性条件 (1.2)，并假设系数 $a^{ij}, b^i, c, \nu, \nu_x, \nu_x$ 在空间上具有 Hölder 连续性，且具有统一有界常数 $K$。
• 应用光滑化技术逼近解，并利用控制收敛定理在 $L^{\rho}$-范数下取极限。
• 采用先验估计与紧致性论证，在所提出的 Hölder 空间框架下证明存在性与唯一性。
• 利用 Itô 公式与随机积分表示，推导出解所满足的积分方程。

实验结果

研究问题

• RQ1 能否为随机抛物方程建立精确的 $C^{2+\beta}$-理论，使得解空间恰好是解算子作用于数据空间的像？
• RQ2 在何种最小正则性假设下，可保证解属于随机 $C^{2+\beta}$-空间？
• RQ3 如何定义一个支持解的存在性与唯一性及最优正则性的随机 Hölder 空间框架？
• RQ4 解是否在 $L^{\rho}(\rho)$-范数意义下继承了数据 $f$ 与 $g$ 的 Hölder 正则性？
• 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$ 一致强连续，则收敛一致。
• 光滑化解的 Hölder 上确界满足 $[[u^{\rho}]]_{\beta;\rho} \to C(n,\rho)[[u]]_{\beta;\rho}$，且当 $\rho \to 0$ 时，有 $[[u^{\rho} - u]]_{\beta/2;\rho} \to 0$。