[论文解读] Support theorem for a singular semilinear stochastic partial differential equation

Khalil Chouk, Peter K. Friz|arXiv (Cornell University)|Sep 15, 2014

Stochastic processes and financial applications参考文献 7被引用 5

一句话总结

该论文为二维空间中的广义抛物型安德森模型（gPAM）建立了类似Stroock–Varadhan的支撑定理，gPAM是一种由时空白噪声驱动的奇异半线性SPDE。通过拟微分分布方法，该研究在足够强的拓扑下识别出增强噪声的支撑，从而刻画了解的律的拓扑支撑，克服了Wong–Zakai逼近在亚临界情形下的发散问题，采用了一种稳健的、受粗糙路径理论启发的分析方法。

ABSTRACT

We consider the generalized parabolic Anderson equation (gPAM) in 2 dimensions with periodic boundary. This is an example of a singular semilinear stochastic partial differential equations, solutions of which require renormalization and have only be understood recently via Hairer's regularity structures and, in some cases equivalently, paracontrollled distributions due to Gubinelli, Imkeller and Perkowski. In the present paper we describe the law of gPAM, by establishing a Stroock{Varadhan type support theorem in suitable Holder{Besov spaces.

研究动机与目标

• 为二维空间中广义抛物型安德森模型（gPAM）解的律提供一个支撑定理。
• 将Stroock–Varadhan支撑定理框架扩展至具有时空白噪声的奇异SPDE，其中由于乘积未定义，经典方法失效。
• 通过使用拟微分分布和对增强噪声的精细分析，克服奇异设定下Wong–Zakai逼近的发散问题。
• 建立解对噪声路径在强拓扑下的连续依赖性，从而通过噪声的支撑来刻画解的支撑。
• 为将支撑定理推广至其他亚临界奇异SPDE（如KPZ方程或Φ⁴₃理论）奠定基础。

提出的方法

• 利用拟微分分布框架处理gPAM方程中未定义的乘积 $ f(u)\xi $，其中 $ \xi $ 为时空白噪声。
• 在霍尔德-贝索夫空间中使用不动点论证证明截断方程的局部适定性，并通过迭代获得全局存在性。
• 在足够强的拓扑下识别出增强噪声的支撑，这对解对噪声的连续依赖性至关重要。
• 应用受粗糙路径理论启发的策略：解的支撑由增强噪声的支撑决定，利用了解映射的连续性。
• 使用费曼-卡茨公式和对数变换分析解在确定性扰动下的行为，证明支撑的严格包含关系。
• 建立解映射 $ h \mapsto v^h $ 从Cameron–Martin空间 $ \mathcal{H} $ 到 $ C([0,T], \mathcal{C}^\alpha) $ 的连续性，确保支撑描述的稳健性。

实验结果

研究问题

• RQ1 在二维空间中，奇异gPAM SPDE解的律的拓扑支撑是什么？
• RQ2 如何将Stroock–Varadhan支撑定理框架扩展至具有时空白噪声的SPDE，其中噪声过于粗糙，无法使用经典分析方法？
• RQ3 能否通过拟微分分布方法克服奇异SPDE支撑定理中Wong–Zakai逼近的发散问题？
• RQ4 增强噪声在决定解的支撑中起什么作用？其支撑如何在足够强的拓扑下被刻画？
• RQ5 解的支撑是否严格大于由光滑噪声路径驱动的解的闭包？如果是，原因是什么？

主要发现

• gPAM方程解 $ u $ 的律的支撑被刻画为：在空间 $ C([0,T], \mathcal{C}^\alpha(\mathbb{T}^2)) $ 中，由Cameron–Martin空间 $ \mathcal{H} $ 中光滑噪声路径驱动的解的集合的闭包。
• 解映射 $ h \mapsto v^h $ 从 $ \mathcal{H} $ 到 $ C([0,T], \mathcal{C}^\alpha(\mathbb{T}^2)) $ 连续，确保了解的支撑可通过噪声的支撑明确定义。
• 在足够强的拓扑下识别出增强噪声的支撑，这对解对噪声的连续依赖性至关重要。
• 通过费曼-卡茨公式和对数变换的矛盾论证表明，重整化中的常数 $ c $ 不能设为零，否则支撑将改变。
• 由光滑噪声路径驱动的解的闭包严格包含于解律的完整支撑之内，证明了解的支撑严格大于光滑路径逼近的闭包。
• 该结果具有稳健性，并为使用类似的拟微分技术将支撑定理推广至其他亚临界奇异SPDE（如KPZ方程或 $ \Phi^4_3 $）铺平了道路。