[论文解读] Intrinsic Lipschitz graphs and vertical $\beta$-numbers in the Heisenberg group

Vasileios Chousionis, Katrin Fässler+1 more|arXiv (Cornell University)|Jun 24, 2016

Mathematical Dynamics and Fractals参考文献 36被引用 5

一句话总结

本文通过引入内在Lipschitz图像作为3-可矩形化集合的候选对象，在第一Heisenberg群H₁中建立了定量可矩形化的理论。证明了此类图像满足关于垂直β-数的弱几何引理，反之，任何具有大垂直投影并满足弱几何引理的3-Ahlfors-David正则集，必定包含大块的内在Lipschitz图像——将David与Semmes在欧几里得空间中的关键结果推广至子黎曼几何设定，其中由于非线性PDE（如Burgers方程）的存在，出现了新的现象。

ABSTRACT

The purpose of this paper is to introduce and study some basic concepts of quantitative rectifiability in the first Heisenberg group H. In particular, we aim to demonstrate that new phenomena arise compared to the Euclidean theory, founded by G. David and S. Semmes in the 1990s. The theory in H has an apparent connection to certain nonlinear PDEs, which do not play a role with similar questions in R-3. Our main object of study are the intrinsic Lipschitz graphs in H, introduced by B. Franchi, R. Serapioni, and F. Serra Cassano in 2006. We claim that these 3-dimensional sets in H, if any, deserve to be called quantitatively 3-rectifiable. Our main result is that the intrinsic Lipschitz graphs satisfy a weak geometric lemma with respect to vertical beta-numbers. Conversely, extending a result of David and Semmes from R-n, we prove that a 3-Ahlfors-David regular subset in H, which satisfies the weak geometric lemma and has big vertical projections, necessarily has big pieces of intrinsic Lipschitz graphs.

研究动机与目标

• 在第一Heisenberg群H₁中发展定量可矩形化的理论，将David与Semmes在欧几里得空间中的框架加以推广。
• 证明H₁中的内在Lipschitz图像是3-可矩形化集合的自然候选对象。
• 利用垂直β-数，为内在Lipschitz图像建立弱几何引理（WGL）。
• 证明逆定理：若H₁中一个3-Ahlfors-David正则集具有大垂直投影并满足WGL，则其必包含大块的内在Lipschitz图像。
• 突出H₁中与欧几里得空间相比出现的新现象，特别是Burgers方程等非线性PDE在分析中的出现。

提出的方法

• 引入并分析H₁中的内在Lipschitz图像，其定义基于内在梯度，并适配群结构。
• 将垂直β-数定义为在垂直方向上集合平坦度的度量，适配Heisenberg群的分层李代数结构。
• 通过构造 dyadic cube 的树分解并使用停止时间论证，证明常梯度β-数的弱几何引理。
• 使用停止时间构造将立方体集合划分为若干棵树，其中每棵树的根满足Carleson型估计。
• 应用Heisenberg群的 dyadic 分解，并利用内在梯度控制图像的几何结构。
• 利用与Burgers方程 ∂yφ + φ∂tφ = c 的联系，分析非光滑解并控制β-数的行为。

实验结果

研究问题

• RQ1 H₁中的内在Lipschitz图像是否可视为定量可矩形化语境下C1曲面的自然类比？
• RQ2 对于H₁中的内在Lipschitz图像，关于垂直β-数的弱几何引理是否成立？
• RQ3 逆命题是否成立：若H₁中一个3-Ahlfors-David正则集具有大垂直投影并满足弱几何引理，则其是否必包含大块的内在Lipschitz图像？
• RQ4 与欧几里得设定相比，在H₁中定量可矩形化语境下出现了哪些新的几何与分析现象？
• RQ5 非线性PDE（如Burgers方程）如何影响β-数的行为以及H₁中内在Lipschitz图像的几何结构？

主要发现

• H₁中的内在Lipschitz图像满足关于垂直β-数的弱几何引理，即球上β-数的L1平均受一个很小的常数乘以集合测度的控制。
• 通过dyadic立方体的树分解与停止时间论证，建立了内在Lipschitz图像的弱几何引理，确保根节点满足Carleson性质。
• 逆定理成立：若H₁中一个3-Ahlfors-David正则集具有大垂直投影并满足弱几何引理，则其必包含大块的内在Lipschitz图像。
• 弱几何引理中的常数仅依赖于内在Lipschitz常数L以及β-数定义中的参数ε。
• 分析揭示了欧几里得情形中不存在的新现象，特别是为控制β-数，必须研究Burgers方程 ∂yφ + φ∂tφ = c 的非光滑解。
• 逆方向证明依赖于David与Semmes在欧几里得情形下的论证的变体，已适配至Heisenberg群，并对内在几何与垂直投影实施了精细控制。