[论文解读] Variation of Perimeter Measure in sub-Riemannian geometry

Robert K. Hladky, Scott D. Pauls|ArXiv.org|Feb 8, 2007

Geometric Analysis and Curvature Flows参考文献 27被引用 19

一句话总结

本文推导了一般次黎曼流形中水平测度周长的首阶变分公式，包括在特征点处的情形，并在垂直刚性空间中为 $C^2$ 超曲面建立了二阶变分公式。研究证明了海森堡群 $χ^2$ 中的气泡集在体积保持变分下是稳定的，将变分方法推广至次黎曼极小曲面和等周曲面问题，超越了非特征区域的限制。

ABSTRACT

We derive a formula for the first variation of horizontal perimeter measure for $C^2$ hypersurfaces of completely general sub-Riemannian manifolds, allowing for the existence of characteristic points. For $C^2$ hypersurfaces in vertically rigid sub-Riemannian manifolds we also produce a second variation formula for variations supported away from the characteristic locus. This variation formula is used to show the bubble sets in \hn{2} are stable under volume preserving variations.

研究动机与目标

• 将水平周长的首阶变分公式推广至一般次黎曼流形中的 $C^2$ 超曲面，包括包含特征点的区域。
• 在垂直刚性次黎曼空间中，为 $C^2$ 超曲面推导出二阶变分公式，且该公式在特征点集之外成立。
• 利用二阶变分公式，证明 $χ^2$ 中气泡集在体积保持变分下是稳定的。
• 通过整合垂直补空间的完整结构与曲率项，将海森堡群及其他卡诺群中已有的首阶变分结果进行推广。
• 通过定义函数的反对称 Hessian 矩阵分析特征点集的结构，提供其 Hausdorff 维数的上界。

提出的方法

• 通过使用具有 $C^{1;2}$ 光滑性的变分，引入水平变分函数 $\rho_0$，推导出一般次黎曼流形中 $C^2$ 超曲面的首阶变分公式，其中包含水平平均曲率 $H$ 和项 $\sum_\beta \langle [\nu, T_\beta], T_\beta \rangle$。
• 提出一种改进的首阶变分公式，通过将积分拆分为 $\Sigma \setminus C(\Sigma)$ 两部分，并借助极限过程处理边界项 $\partial\Omega_\delta$，从而考虑特征点集的影响。
• 在垂直刚性空间中应用二阶变分公式，通过计算周长泛函的二阶导数，利用垂直曲率项消失的性质。
• 利用一个涉及 $L^2$ 正交性与傅里叶分解的技术性引理，证明二阶变分分析中的关键不等式。
• 通过反对称 Hessian 矩阵 $\mathcal{X}_-^2(\phi,p)$ 分析特征集 $C(\Sigma)$，证明若其不恒为零，则 $C(\Sigma)$ 局部包含于维数 $\leq n-2$ 的子流形中。
• 通过迭代 Hessian 分析，证明高阶特征集包含于更低维子流形中，最终在括号生成结构中证明特征集的维数上界为 $n-2$。

实验结果

研究问题

• RQ1 如何将水平周长的首阶变分公式扩展至包含 $C^2$ 超曲面中特征点集的变分？
• RQ2 在垂直刚性次黎曼流形中，水平周长的二阶变分公式是什么？当垂直结构为刚性时，该公式如何简化？
• RQ3 $\mathbb{H}^2$ 中的气泡集在体积保持变分下是否稳定？能否利用二阶变分公式证明这一点？
• RQ4 在次黎曼流形中，$C^2$ 超曲面的特征点集的最大可能 Hausdorff 维数是多少？
• RQ5 是否能通过定义函数的反对称 Hessian 矩阵分析特征点集的结构？该分析能给出何种上界？

主要发现

• 在一般次黎曼流形中，$C^2$ 超曲面的水平周长首阶变分公式为 $\frac{d}{dt}\big|_{t=0} P_0(\Sigma_t) = \int_\Sigma \rho_0 \left( H - \sum_\beta \langle [\nu, T_\beta], T_\beta \rangle \right) \Lambda$，在 $L^1$ 条件与曲率条件下，即使在特征点处也成立。
• 在垂直刚性空间中，二阶变分公式简化为 $\frac{d^2}{dt^2}\big|_{t=0} P_0(\Sigma_t) = \int_\Sigma \left( \text{div } \nu \right)^2 - |\nabla_\Sigma \rho|^2 \, dV_\Sigma$，当垂直曲率项消失时成立。
• $\mathbb{H}^2$ 中的气泡集被证明在体积保持变分下是稳定的，因为对所有此类变分，二阶变分非负。
• 在次黎曼流形中，$C^2$ 超曲面的特征点集 $C(\Sigma)$ 若反对称 Hessian $\mathcal{X}_-^2(\phi,p)$ 不恒为零，则其局部包含于维数 $\leq n-2$ 的子流形中。
• 若在某点处 Hessian $\mathcal{X}_-^2(\phi,p)$ 恒为零，则该点对应于低阶水平分布的特征点，从而可迭代降低特征集的维数。
• 技术性引理表明，在与 $\sin^2\theta$ 正交的条件下，有 $\int_0^\pi (\rho'\sin\theta - \rho\cos\theta)^2 d\theta \geq 2\int_0^\pi \rho^2 d\theta$，且等号成立当且仅当 $\rho = a_1 \cos\theta$，该结果对二阶变分分析至关重要。