[论文解读] Stochastic Partial Differential Equations on Evolving Surfaces and Evolving Riemannian Manifolds

Charles M. Elliott, Martin Hairer+1 more|arXiv (Cornell University)|Aug 29, 2012

Nonlinear Partial Differential Equations参考文献 15被引用 3

一句话总结

本文通过变分法，形式化并建立了在演化黎曼流形上随机偏微分方程（SPDEs）的存在性与唯一性，将SPDE理论扩展至移动曲面和具有随机度量的流形。该研究为紧致、定向、演化的超曲面及一般演化黎曼流形上的SPDE提供了严格框架，涵盖非线性算子（如p-Laplace-Beltrami算子），并应用于一般几何演化下的随机热方程。

ABSTRACT

We formulate stochastic partial differential equations on Riemannian manifolds, moving surfaces, general evolving Riemannian manifolds (with appropriate assumptions) and Riemannian manifolds with random metrics, in the variational setting of the analysis to stochastic partial differential equations. Considering mainly linear stochastic partial differential equations, we establish various existence and uniqueness theorems.

研究动机与目标

• 开发适用于黎曼流形上的SPDE变分框架，以弥补数学文献中此类理论的缺失。
• 将SPDE理论扩展至移动曲面和演化黎曼流形，其中度量随时间演化或为随机的。
• 在几何演化域上，建立线性和非线性SPDE（包括随机热方程与p-Laplace-Beltrami方程）的存在性与唯一性结果。
• 通过将演化重新解释为时变度量而非一族曲面，使在演化流形上自然地使用噪声结构成为可能。
• 为未来关于流形值解的SPDE及在拓扑与度量演化下的长期行为研究奠定基础。

提出的方法

• 采用SPDE的变分法方法，遵循Prévôt与Röckner（2007）的框架，在演化流形上的函数的希尔伯特空间中定义解。
• 在紧致黎曼流形上定义Sobolev空间，并证明Poincaré不等式，以确保存在性定理所需的强制性与紧致性。
• 通过几何守恒律在演化超曲面上构建SPDE，导出具有法向速度演化的随机热方程。
• 将演化流形重新解释为具有时变度量的单一流形，从而实现更自然的噪声选择，并在技术假设下与基于曲面的表述等价。
• 通过度量张量 $ g_{ij} $ 在局部坐标中使用Laplace-Beltrami算子与p-Laplace-Beltrami算子，其中随机项由作用于维纳过程的希尔伯特-施密特算子驱动。
• 通过考虑各向同性度量演化，解决解依赖空间中的循环依赖问题，并寻求替代解空间或概念（如粘性解）。

实验结果

研究问题

• RQ1 如何将SPDE的变分法扩展至黎曼流形，特别是在流形本身随时间演化的情况下？
• RQ2 在仅以法向速度演化的移动超曲面上，SPDE解的存在性与唯一性需满足何种条件？
• RQ3 当演化由时变度量描述而非一族曲面时，SPDE的表述方式如何变化？
• RQ4 该理论能否扩展至在演化域上具有微分算子非线性项（如p-Laplace-Beltrami算子）的SPDE？
• RQ5 当度量或曲面以随机方式演化时，对流形的长期行为及拓扑变化有何影响？

主要发现

• 本文在标准变分假设（H1–H4）下，建立了紧致、定向、演化黎曼流形上线性SPDE的存在性与唯一性。
• 对于以法向速度演化的移动曲面上的随机热方程，证明了在点仅沿法向运动且曲面保持紧致无边界的假设下，存在唯一解。
• 在一般移动曲面上，具有p-Laplace-Beltrami算子的非线性随机热方程被证明具有唯一解，其中非线性性仅出现在扩散项中，而不在导数项中。
• 在技术条件下，通过时变度量表述SPDE于演化流形上，被证明与基于曲面的表述等价，从而实现更自然的噪声结构。
• 本文识别出当度量依赖于解时，定义解空间存在循环依赖，提示需引入替代解概念（如粘性解）。
• 该框架为未来关于流形值解的SPDE及在随机度量与拓扑演化下的长期行为研究开辟了道路。