[论文解读] Local/global existence and uniqueness of solutions for SPDE with generalized coercivity condition

Wei Liu, Michael Röckner|arXiv (Cornell University)|Feb 2, 2012

Navier-Stokes equation solutions参考文献 48被引用 1

一句话总结

该论文在广义强制性和局部单调性条件下，建立了非线性随机偏微分方程（SPDEs）解的局部与全局存在性及唯一性。该框架适用于希尔伯特空间上的加性噪声SPDEs，并通过在3D纳维-斯托克斯方程和卡恩-希尔亚德方程等关键方程中的应用得到验证。

ABSTRACT

In this paper we obtain the local and global existence and uniqueness of solutions for general nonlinear evolution equations with coefficients satisfying some local monotonicity and generalized coercivity conditions. The analog result is also established for stochastic evolution equations on Hilbert space with general additive noise. As applications, the main results are applied to stochastic 3D Navier-Stokes equation, stochastic tamed 3D Navier-Stokes equation, stochastic surface growth PDE, Cahn-Hilliard equation and the equation of power law fluids.

研究动机与目标

• 在局部单调性和广义强制性条件满足的系数下，建立一般非线性演化方程解的局部与全局存在性及唯一性。
• 将这些结果扩展至希尔伯特空间上具有广义加性噪声的随机演化方程。
• 提供一个统一的分析框架，适用于数学物理和流体动力学中出现的广泛SPDE类。
• 通过在重要SPDE模型（如随机3D纳维-斯托克斯方程和受控纳维-斯托克斯方程）中的具体应用，验证理论框架。
• 为标准强制性假设可能不成立的SPDE提供稳健的存在性理论，从而扩大其在复杂系统中的适用范围。

提出的方法

• 采用广义强制性条件，弱化了标准强强制性要求，使方法可更广泛地应用于非线性SPDEs。
• 在漂移算子上施加局部单调性条件，以控制非线性项并确保路径唯一性。
• 结合Galerkin逼近法、先验估计与紧致性论证，在合适的函数空间中构造解。
• 在适当的加权空间中应用Banach不动点定理，证明在给定条件下解的局部存在性与唯一性。
• 采用Yamada-Watanabe型论证，在广义强制性与单调性框架下建立路径唯一性与强解。
• 通过证明一致先验界并使用停时论证，将局部解延拓为全局解，从而建立全局存在性。

实验结果

研究问题

• RQ1 在退化或弱强制性系数下，非线性SPDEs的解在何种条件下可保证局部与全局存在性及唯一性？
• RQ2 如何将经典强制性条件推广，以涵盖更广泛的SPDE类，同时保持解的存在性与唯一性？
• RQ3 该框架能否扩展至希尔伯特空间上具有加性噪声的SPDEs？其对解正则性有何影响？
• RQ4 该理论在多大程度上可应用于物理上相关的方程，如随机3D纳维-斯托克斯方程与卡恩-希尔亚德方程？
• RQ5 当标准强制性条件失效时，分析方法需作何修改？如何保持稳定性与收敛性？

主要发现

• 论文在广义强制性与局部单调性条件下，证明了SPDEs解的局部与全局存在性及唯一性，其适用范围超越了经典假设。
• 该框架在噪声与系数满足较弱条件时，成功应用于随机3D纳维-斯托克斯方程（包括受控版本）。
• 该方法建立了随机表面生长PDE与幂律流体方程的解的存在性，这些方程以非单调性和退化行为著称。
• 在所提条件下，卡恩-希尔亚德方程被证明具有唯一解，证实了该理论在相分离模型中的鲁棒性。
• 通过先验估计、紧致性与不动点论证的结合，推导出结果，确保了解在适当函数空间中的强解性质。
• 该方法通过用更灵活的广义条件替代强强制性，统一处理了多种SPDE，显著增强了其适用范围。