[论文解读] H-minimal graphs of low regularity in the Heisenberg group

Scott D. Pauls|ArXiv.org|May 13, 2005

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

一句话总结

本文研究了海森堡群 ℍ¹ 中低正则性的 H-极小图，证明了具有水平法向量场 W¹¹ 分量的 C¹ H-极小图是具有 C² 种曲线的可展曲面。此外，本文表明在特定条件下 C¹ H-极小曲面可以拼接而成，并确定了狄利克雷问题光滑解存在的必要条件，展示了即使边界数据光滑，也可能无法得到 C² 解。

ABSTRACT

In this paper we investigate H-minimal graphs of lower regularity. We show that noncharactersitic C^1 H-minimal graphs whose components of the unit horizontal Gauss map are in W^{1,1} are ruled surfaces with C^2 seed curves. In a different direction, we investigate ways in which patches of C^1 H-minimal graphs can be glued together to form continuous piecewise C^1 H-minimal surfaces. We apply these description of H-minimal graphs to the question of the existence of smooth solutions to the Dirichlet problem with smooth data. We find a necessary condition for the existence of smooth solutions and produce examples where the conditions are satisfied and where they fail. In particular we illustrate the failure of the smoothness of the data to force smoothness of the solution to the Dirichlet problem by producing a class of smooth curves whoses H-minimal spanning graphs cannot be C^2.

研究动机与目标

• 弥合海森堡群中 C² H-极小曲面与 C¹ H-极小曲面之间的差距。
• 刻画具有 W¹¹ 水平法向量场分量的 C¹ H-极小图。
• 研究 C¹ H-极小曲面片在何种条件下可拼接为连续的分片 C¹ H-极小曲面。
• 确定海森堡群中狄利克雷问题光滑解存在的必要条件。
• 构造光滑边界数据无法产生 C² 解的实例，以说明正则性传播的失效。

提出的方法

• 利用先前研究（Pauls & Garofalo, 2005）中关于 C² H-极小曲面为具有 C² 种曲线的可展曲面的刻画。
• 应用 Franchi, Serra Cassano 与 Serapioni（2001）关于 X-Caccioppoli 集与减小边界理论，分析 C¹ H-极小图。
• 对单位水平法向量场的分量施加 W¹¹ 条件，以确保几何结论所需的足够正则性。
• 采用积分曲线方法，并通过 Arzela-Ascoli 定理实现一致收敛，以分析水平向量场及其极限。
• 使用水平向量场的迭代逼近方案，通过利普希茨界和嵌套误差估计证明收敛性。
• 应用极限过程，证明当 k → ∞ 时，Xₖ(φᵏ(t)) → X(φ⁰(t))，从而保证水平结构的一致性。

实验结果

研究问题

• RQ1 在水平法向量场的何种正则性条件下，ℍ¹ 中的 C¹ H-极小图会成为可展曲面？
• RQ2 C¹ H-极小曲面片是否可在适当匹配条件下拼接为连续的分片 C¹ H-极小曲面？
• RQ3 海森堡群中狄利克雷问题光滑解存在的必要条件是什么？
• RQ4 狄利克雷问题中的光滑边界数据是否可能无法产生 C² H-极小解？
• RQ5 具有 W¹¹ 水平法向量场分量的 C¹ H-极小图背后的几何结构是什么？

主要发现

• 具有单位水平法向量场 W¹¹ 分量的 C¹ H-极小图是具有 C² 种曲线的可展曲面。
• 水平法向量场正交向量场的积分曲线为直线，证实了可展结构。
• 在适当的匹配条件下，C¹ H-极小曲面片可拼接为连续的分片 C¹ H-极小曲面。
• 基于边界数据的几何性质，推导出狄利克雷问题光滑解存在的必要条件。
• 构造了光滑边界曲线无法生成 C² H-极小填充图的实例，展示了正则性传播的失效。
• 逼近水平向量场的极限过程证实了积分曲线的收敛性，并支持了曲面的几何结构。