[论文解读] Stokes Theorem for Lipschitz forms on a smooth manifold

Stanislav Dubrovskiy|ArXiv.org|May 27, 2008

Geometric Analysis and Curvature Flows参考文献 2被引用 4

一句话总结

本文通过使用Steklov平均对光滑流形上的Lipschitz微分形式进行光滑化逼近，建立了Lipschitz形式上的Stokes定理。证明了具有紧支集的Lipschitz $(n-1)$-形式的外导数的积分等于该形式在边界上的积分，通过测度论收敛和单位分解论证，将经典定理推广到低正则性形式的情形。

ABSTRACT

Stokes theorem holds for Lipschitz forms on a smooth manifold.

研究动机与目标

• 将Stokes定理推广至光滑流形上的Lipschitz微分形式，其中经典光滑性假设不再适用。
• 解决为非$C^1$但仅Lipschitz连续的形式定义和积分外导数及边界积分的挑战。
• 通过逼近技术和测度论收敛，建立Lipschitz形式下Stokes定理的有效性。
• 将经典Stokes定理推广至光滑形式之外，使其适用于几何分析和涉及低正则性数据的偏微分方程。

提出的方法

• 通过分量函数$f, g_1, \dots, g_{n-1}$的Steklov平均，对$\mathbb{R}^n$或$\mathbb{H}^n$上的Lipschitz $(n-1)$-形式$\omega = f\,dg_1 \wedge \cdots \wedge dg_{n-1}$进行逼近。
• 构造一列光滑形式$\omega_s = f_{\varepsilon_s} \, d(g_1)_{\varepsilon_s} \wedge \cdots \wedge d(g_{n-1})_{\varepsilon_s}$，其在$L^\infty$有界且一个几乎处处点态意义下收敛于$\omega$。
• 利用Lebesgue极限定理，通过导数的统一有界性和一个几乎处处收敛性，将积分$\int_{\partial M} \omega_s \to \int_{\partial M} \omega$和$\int_M d\omega_s \to \int_M d\omega$取极限。
• 对每个光滑形式$\omega_s$应用标准Stokes定理，然后取极限，得出原始Lipschitz形式下结论成立。
• 通过单个坐标图的拉回和多个坐标图的单位分解，将结果从局部模型（$\mathbb{R}^n$或$\mathbb{H}^n$）推广至一般光滑流形。
• 依赖于Lipschitz函数在子流形（如$\partial M$）上的限制仍为Lipschitz的性质，确保边界积分定义良好。

实验结果

研究问题

• RQ1 在缺乏$C^1$正则性的情况下，Stokes定理是否对光滑流形上的Lipschitz微分形式成立？
• RQ2 能否通过逼近技术将经典Stokes定理的证明适应于Lipschitz形式？
• RQ3 Lipschitz形式的外导数是否在弱或分布意义下有定义，且是否满足所需的积分恒等式？
• RQ4 如何有意义地定义和比较Lipschitz形式的边界积分与体积积分？

主要发现

• Stokes定理对光滑$n$-流形上具有紧支集的Lipschitz $(n-1)$-形式成立，将经典结果推广至非$C^1$形式之外。
• Lipschitz形式$\omega$的外导数$d\omega$作为可测$n$-形式有良好定义，其分量为分量函数几乎处处定义的偏导数的多项式。
• 边界积分$\int_{\partial M} \omega$有良好定义，因为Lipschitz函数在边界上的限制仍为Lipschitz，确保被积函数可测且有界。
• Steklov平均的收敛性确保在Lebesgue极限定理下，积分$\int_{\partial M} \omega_s$和$\int_M d\omega_s$分别收敛于$\int_{\partial M} \omega$和$\int_M d\omega$。
• 通过拉回和单位分解，结果从局部模型（$\mathbb{R}^n$或$\mathbb{H}^n$）推广至一般光滑流形，保持定理的有效性。