[论文解读] Isoperimetric and Sobolev inequalities on hypersurfaces in sub-Riemannian Carnot groups

Francescopaolo Montefalcone|arXiv (Cornell University)|Dec 11, 2010

Geometric Analysis and Curvature Flows参考文献 38被引用 5

一句话总结

本文建立了子黎曼卡诺群中超曲面上的等周不等式与Sobolev型不等式，推广了Michael与Simon的经典结果。推导出涉及水平平均曲率的精确等周不等式，并针对H-全测度下的紧致C^2超曲面，证明了函数的最优L^p Sobolev嵌入，将几何分析拓展至具有非可积分布的非欧几里得设定。

ABSTRACT

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to Michael and Simon, and Allard, independently. Some applications are discussed.

研究动机与目标

• 将等周不等式与Sobolev不等式从欧几里得空间推广至k步卡诺群的子黎曼设定。
• 将Michael-Simon等周不等式推广至子黎曼卡诺群中紧致C^2超曲面，相对于H-全测度。
• 建立包含水平与垂直梯度的超曲面上函数的精确Sobolev型不等式。
• 通过单调性公式与爆破技术分析H-全测度测度的渐近行为。
• 为子黎曼几何中的超曲面提供完整的几何与分析框架，尤其针对具有非平凡分层李群结构的度量测度空间。

提出的方法

• 利用H-梯度的共面积公式，将函数的水平集与超曲面上的H-全测度联系起来。
• 应用H-全测度的一阶变分公式，推导出涉及水平平均曲率的几何恒等式。
• 在点p ∈ S处采用爆破技术，分析H-全测度测度的局部行为，并推导其单调性性质。
• 通过单调性公式与对量B2(t)的估计，推导出线性等周不等式，改进了文献中先前的估计。
• 应用插值与Hölder不等式，在L^p与L^{p*}范数之间进行插值，从而实现Sobolev嵌入的证明。
• 使用Young不等式与迭代精化，将L^p界从p = Q-1扩展至所有q ≥ Q-1的极限情形，证明了最优Sobolev型不等式。

实验结果

研究问题

• RQ1 Michael-Simon等周不等式能否推广至子黎曼卡诺群中紧致C^2超曲面？
• RQ2 等周常数对几何量（如平均曲率与内在半径）的精确依赖关系为何？
• RQ3 Sobolev型不等式在子黎曼空间的超曲面上如何表现，特别是在临界情形p = Q-1时？
• RQ4 H-全测度测度在某一点附近的渐近行为如何？其与单调性公式的关联为何？
• RQ5 能否为相对于H-全测度测度的超曲面上函数建立最优L^p Sobolev嵌入，包括水平与垂直梯度？

主要发现

• 在k步卡诺群中，对紧致C^2超曲面S，建立了涉及H-全测度测度与水平平均曲率的精确等周不等式，推广了Michael-Simon的结果。
• 本文改进了量B2(t)的估计，从而得出了主等周不等式更精确的表述形式，详见警告4.4与第4.3节。
• 对于p ∈ [Q-1, ∞)，存在一个常数C_q，其依赖于水平平均曲率、内在半径r(S)与群结构，使得ψ的L^q范数被其L^p范数与在S上水平与垂直梯度的L^p范数之和所控制。
• 在临界情形p = Q-1时，对所有q ≥ Q-1，Sobolev嵌入成立，常数C_q依赖于H^0_H、r(S)、ϱ与群G。
• 通过单调性公式刻画了H-全测度测度σ^{n-1}_H(S)的渐近行为，表明其在任意点的爆破下趋于稳定。
• Sobolev不等式的证明依赖于从L^{(Q-1)^2/(Q-2)}界出发，通过迭代应用Hölder与Young不等式，最终扩展至所有q ≥ Q-1。