[论文解读] Stochastic De Giorgi Iteration and Regularity of Stochastic Partial Differential Equation

Elton P. Hsu, Yu Wang+1 more|arXiv (Cornell University)|Dec 11, 2013

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

一句话总结

该论文通过一种新颖的随机化 De Giorgi 迭代方法，建立了具有渐进可测、一致椭圆扩散系数以及 Lipschitz 类型漂移和扩散项的半线性随机抛物 PDE 解的几乎必然 Hölder 连续性。关键结果是，即使在系数不具连续性假设下，解在空间和时间上也几乎必然具有 Hölder 连续性，且所有阶矩均有限。

ABSTRACT

Under general conditions we show that the solution of a stochastic parabolic partial differential equation of the form \[ \partial_t u = \mathrm{div} (A abla u) + f(t,x, u) + g_i (t,x,u) \dot{w}^i_t \] is almost surely Hölder continuous in both space and time variables.

研究动机与目标

• 建立具有非光滑、渐进可测系数的半线性随机抛物 PDE 解的 Hölder 正则性。
• 将 De Giorgi-Nash-Moser 理论推广至随机设定，且无需扩散、漂移或噪声系数的连续性假设。
• 在一般增长与椭圆性条件下，提供解的 Hölder 范数的矩估计。
• 发展一种随机化的 De Giorgi 迭代方法，结合 PDE 能量估计与随机分析技术。

提出的方法

• 引入 De Giorgi 迭代的随机化变体，以控制在收缩的时间-空间圆柱体上解的 $L^\rho$-范数。
• 通过 Girsanov 定理的测度变换控制随机积分项，并推导解的 $L^\rho$-范数的矩界。
• 应用 Novikov 条件以确保指数鞅定义良好，从而在一般扩散条件下实现矩估计。
• 将解分解为随机热分量与余项，以便对余项应用确定性正则性理论。
• 利用 Krylov 的 $W^{2,p}$-理论与 Lieberman 对非随机 PDE 的正则性结果，建立余项的 Hölder 连续性。
• 结合随机部分与确定性余项的矩估计，推导出具有所有阶矩的最终 Hölder 正则性结果。

实验结果

研究问题

• RQ1 能否在仅具有渐进可测、一致椭圆扩散系数的条件下，建立半线性 SPDE 解的 Hölder 正则性？
• RQ2 De Giorgi 迭代技术是否可在系数正则性假设最小化的随机 PDE 情况下推广？
• RQ3 能否在不假设 $A$、$f$ 或 $g$ 连续性的前提下，导出解的 $L^\rho$-范数的矩估计？
• RQ4 仅使用 $L^2$ 初始数据与线性增长条件，是否可能实现解在空间与时间上的几乎必然 Hölder 连续性？
• RQ5 如何结合随机与确定性正则性理论，推导解的 Hölder 范数的矩界？

主要发现

• SPDE 的解 $u$ 在任意 $T > 0$ 的 $[T, 2T] \times \mathbb{R}^n$ 上几乎必然具有 Hölder 连续性，指数为 $\alpha = \alpha(n, \lambda, \Lambda)$。
• 对任意 $p > 0$，Hölder 半范数 $\|u\|_{C^\alpha([T,2T] \times \mathbb{R}^n)}$ 的 $p$-阶矩有界，其常数依赖于 $\|u_0\|_{L^2}$、$\|K\|_{L^2}$ 与 $\|K\|_{L^\infty}$。
• 对所有 $p > 0$，有矩估计 $\mathbb{E} \int_0^{2T} \|u(t)\|_2^p dt + \mathbb{E} \|u\|_{\infty,[T,2T] \times \mathbb{R}^n}^p \leq C(\|u_0\|_2 + \|K\|_2 + \|K\|_\infty)^p$。
• 随机 De Giorgi 迭代方法成功控制了解的上确界范数的尾概率，从而实现矩估计的推导。
• 该方法在 $A$、$f$ 与 $g$ 均不连续时依然适用，将正则性结果扩展至经典假设之外。
• 通过分解 $u = \phi + v$，其中 $v$ 满足随机热方程而 $\phi$ 满足确定性 PDE，使得可应用确定性正则性理论以得出 Hölder 连续性结论。