[论文解读] Strong solutions for SPDE with locally monotone coefficients driven by Lévy noise

Zdzisław Brzeźniak, Wei Liu+1 more|arXiv (Cornell University)|Aug 1, 2011

Stochastic processes and financial applications参考文献 30被引用 16

一句话总结

本文建立了一套统一框架，用于证明驱动于 Lévy 白噪声的具有局部单调系数的随机偏微分方程（SPDEs）的强解的存在性与唯一性。通过将变分方法扩展至非高斯、具有跳跃特性的 Lévy 噪声，作者证明了广泛类别的 SPDEs 存在强解，包括随机 2D Navier-Stokes 方程、反应-扩散方程以及非牛顿流体方程，且在更弱的单调性与增长条件下推广了先前的结果。

ABSTRACT

Motivated by applications to a manifold of semilinear and quasilinear stochastic partial differential equations (SPDEs) we establish the existence and uniqueness of strong solutions to coercive and locally monotone SPDEs driven by Lévy processes. We illustrate the main result of our paper by showing how it can be applied to various types of SPDEs such as stochastic reaction-diffusion equations, stochastic Burgers type equations, stochastic 2D hydrodynamical systems and stochastic equations of non-Newtonian fluids, which generalize many existing results in the literature.

研究动机与目标

• 开发适用于驱动于 Lévy 噪声的具有局部单调系数的 SPDEs 强解的通用变分框架。
• 将先前针对 Wiener 噪声的 SPDEs 结果扩展至更一般的多重乘性 Lévy 噪声情形。
• 统一并推广现有 SPDEs 的存在性与唯一性结果，如随机 2D Navier-Stokes 方程、Burgers 型方程及非牛顿流体方程。
• 通过严格验证结构条件 (H1)–(H4)，确认该框架在具体 SPDEs 中的适用性。
• 证明该方法可处理非 Lipschitz 型非线性项与小跳跃的 Lévy 噪声，克服先前方法的局限性。

提出的方法

• 通过将局部单调性方法从高斯噪声推广至跳跃型噪声，将 SPDEs 的变分框架扩展以包含多重乘性 Lévy 噪声。
• 利用广义 Itô 公式与希尔伯特空间中的能量估计，控制在局部单调条件下非线性漂移项与扩散项。
• 验证关键结构假设 (H1)–(H4)：局部单调性、强制性、增长界与噪声系数的可积性。
• 应用 Krylov-Bogoliubov 方法与紧致性论证，通过 Galerkin 近似构造全局强解。
• 利用插值不等式与 Korn 不等式控制非牛顿流体方程中的非线性项。
• 通过 Khasminski 检验与路径唯一性，确保在局部解存在后实现全局存在性。

实验结果

研究问题

• RQ1 能否将适用于 Wiener 噪声驱动的局部单调 SPDEs 的变分框架扩展至 Lévy 噪声驱动的情形？
• RQ2 在何种系数与噪声条件下，具有局部单调漂移与多重乘性 Lévy 噪声的 SPDEs 存在唯一的强解？
• RQ3 该框架如何应用于具体 SPDEs，如带 Lévy 噪声的随机 2D Navier-Stokes 方程与非牛顿流体方程？
• RQ4 为确保存在性与唯一性，噪声与非线性项的最小可积性与增长条件是什么？
• RQ5 该方法能否处理非 Lipschitz 型非线性项与 Lévy 噪声中的小跳跃，特别是在流体动力学类型方程中？

主要发现

• 本文在较弱的可积性与增长条件下，建立了具有局部单调系数的 Lévy 噪声驱动 SPDEs 强解的存在性与唯一性，适用范围广泛。
• 该框架推广并改进了先前针对 Wiener 噪声驱动 SPDEs 的结果，包括随机 2D Navier-Stokes 与非牛顿流体方程的情形。
• 对于带多重乘性 Lévy 噪声的随机幂律流体方程，当 $ p /geq rac{d+2}{2} $ 时，其在 $ L^4( ext{loc}; L^4( ext{div-free vector fields})) $ 中存在唯一的强解。
• 通过 Korn 不等式与应力张量的逐点估计，验证了强制性条件，确保漂移项具有必要的下界。
• 当 $ p /geq rac{d+2}{2} $ 时，由于能量空间中插值与 Sobolev 嵌入估计，增长条件 (H4) 成立。
• 通过验证 Khasminski 检验条件，该方法确认即使在非 Lipschitz 型非线性项与跳跃型噪声下，解仍保持路径唯一且全局存在。