[论文解读] Variations of generalized area functionals and p-area minimizers of bounded variation in the Heisenberg group

Jih-Hsin Cheng, Jenn-Fang Hwang|arXiv (Cornell University)|Feb 14, 2011

Geometric Analysis and Curvature Flows参考文献 22被引用 6

一句话总结

本文证明了在Heisenberg群中，对于抛物凸区域上的p-面积泛函，存在具有Hölder连续边界数据的连续BV极小化子。通过将p-面积泛函扩展至向量值测度并分析其一阶与二阶变分——包括奇异部分的贡献——本文为伪厄米几何中p-面积极小化子的研究提供了一个统一框架，并在黎曼几何与伪厄米几何设定下，给出了p-平均曲率的显式公式。

ABSTRACT

We prove the existence of a continuous $BV$ minimizer with $C^{0}$ boundary value for the $p$-area (pseudohermitian or horizontal area) in a parabolically convex bounded domain. We extend the domain of the area functional from $BV$ functions to vector-valued measures. Our main purpose is to study the first and second variations of such a generalized area functional including the contribution of the singular part. By giving examples in Riemannian and pseudohermitian geometries, we illustrate several known results in a unified way. We show the contribution of the singular curve in the first and second variations of the $p$-area for a surface in an arbitrary pseudohermitian $3$-manifold.

研究动机与目标

• 在Heisenberg群中，建立具有C^0边界数据的连续BV极小化子存在的证明，针对p-面积泛函。
• 将p-面积泛函的定义域从BV函数扩展至包含奇异部分的向量值测度。
• 分析广义p-面积泛函的一阶与二阶变分，特别关注伪厄米3-流形中奇异部分的贡献。
• 通过统一的变分框架，整合黎曼几何与伪厄米几何中的已知结果。
• 利用微分形式与联络形式，推导出两种几何设定下p-平均曲率的显式表达式。

提出的方法

• 通过Du + F dx的总变差，将p-面积泛函广义化为向量值Radon测度，其中F为满足∂KF_I = ∂IF_K的C^{1,α}向量场。
• 定义空间BV_F(Ω)为在测度Du + F dx下总变差有限的L^1函数集合。
• 论文采用正交坐标系与抛物凸性的概念，以确保对区域Ω的几何控制。
• 利用微分形式、内乘与李导数，计算广义p-面积泛函的一阶与二阶变分。
• 通过沿向量场的体积形式的李导数推导平均曲率公式，整合联络形式与方向导数的项。
• 在黎曼与伪厄米3-流形中，利用正交共形基与结构方程进行显式计算，以验证平均曲率公式。

实验结果

研究问题

• RQ1 在Heisenberg群的抛物凸区域中，p-面积泛函是否存在具有C^0边界数据的连续BV极小化子？
• RQ2 变分中的奇异部分如何贡献于p-面积泛函的一阶与二阶变分？
• RQ3 广义p-面积泛函的一阶与二阶变分是否可在黎曼与伪厄米几何中统一表达？
• RQ4 在伪厄米3-流形中，利用微分形式与联络形式，p-平均曲率的精确表达式是什么？
• RQ5 结构方程与正交共形基如何在两种几何设定下导出一致的平均曲率推导？

主要发现

• 在任意有界抛物凸区域Ω ⊂ R^{2n}（满足∂Ω ∈ C^{2,α}）中，p-面积泛函存在具有C^0边界数据的连续BV极小化子。
• 广义p-面积泛函在BV函数上通过总变差测度|Du + F dx|良好定义，扩展了经典的W^{1,1}设定。
• p-面积泛函的一阶变分包含来自测度Du奇异部分的贡献，该贡献通过在向量场上分部积分显式计算。
• 二阶变分公式考虑了奇异曲线对伪厄米3-流形中p-面积极小化子稳定性的影响。
• 在黎曼情形下，所导出的平均曲率公式退化为第二基本形式的迹，确认了其一致性。
• 在伪厄米3-流形情形下，p-平均曲率被证明等于±ω(e_1)，与文献中已知表达式一致。