[論文レビュー] 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

ひとこと要約

この論文は、第一ヘイゼンベルク群 H₁ における定量的可解性の理論を確立し、内在的リプシッツ写像を 3-可解的集合の候補として導入する。内在的リプシッツ写像が垂直 β-数に関して弱い幾何学的補題を満たすことを証明し、逆に、大きな垂直投影を有し弱い幾何学的補題を満たす 3-Ahlfors-David 正則な集合は、大きな部分集合として内在的リプシッツ写像を含むことを示す。これは、ユークリッド空間における David と Semmes の主要な結果を、非線形偏微分方程式（例えばバーガース方程式）に起因する新しい現象が生じる非リーマン的設定に拡張したものである。

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.

研究の動機と目的

• David と Semmes のユークリッド空間における枠組みを拡張し、第一ヘイゼンベルク群 H₁ における定量的可解性の理論を構築すること。
• H₁ における内在的リプシッツ写像が 3-可解的集合の自然な候補であることを示すこと。
• 垂直 β-数を用いた内在的リプシッツ写像に対して弱い幾何学的補題（WGL）を確立すること。
• 逆の結果を証明する：H₁ における 3-Ahlfors-David 正則な集合が大きな垂直投影を有し、WGL を満たすならば、その集合は大きな部分として内在的リプシッツ写像を含むこと。
• H₁ においてユークリッド空間とは異なる新たな幾何学的・解析的現象（特にバーガース方程式のような非線形偏微分方程式の出現）を強調すること。

提案手法

• 群構造に適合した内在的勾配を用いて定義される H₁ における内在的リプシッツ写像を導入し、その分析を行う。
• ヘイゼンベルク群の層状リー代数に適合した、垂直方向の平坦さの尺度としての垂直 β-数を定義する。
• 定数勾配 β-数に対して弱い幾何学的補題を証明するため、 dyadic 立方体の木構造分解を構成し、停止時刻の議論を用いる。
• 立方体の集合を木構造に分割するための停止時刻構成を用い、各木の根が Carleson 型推定式を満たすようにする。
• ヘイゼンベルク群の dyadic 分解を適用し、内在的勾配を用いて写像の幾何を制御する。
• 偏微分方程式 ∂yφ + φ∂tφ = c との関係を活用し、非滑らか解の解析と β-数の挙動の制御を行う。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群 H₁ における内在的リプシッツ写像は、定量的可解性の文脈において C1 表面の自然な類似物と見なせるか？
• RQ2 H₁ における内在的リプシッツ写像に対して、垂直 β-数に関して弱い幾何学的補題が成り立つか？
• RQ3 逆に、H₁ における 3-Ahlfors-David 正則な集合が大きな垂直投影を有し、弱い幾何学的補題を満たすならば、その集合は大きな部分として内在的リプシッツ写像を含むか？
• RQ4 定量的可解性の文脈において、H₁ ではユークリッド空間とは異なり、どのような新たな幾何学的・解析的現象が生じるか？
• RQ5 非線形偏微分方程式（例えばバーガース方程式）は、H₁ における β-数の挙動および内在的リプシッツ写像の幾何にどのように影響を与えるか？

主な発見

• H₁ における内在的リプシッツ写像は、垂直 β-数に関して弱い幾何学的補題を満たす。これは、球における β-数の L1 平均が、集合の測度に比例する小さな定数で抑えられることを意味する。
• 弱い幾何学的補題は、dyadic 立方体の木構造分解と、根の Carleson 性質を保証する停止時刻の議論によって確立される。
• 逆の結果が成り立つ：H₁ における 3-Ahlfors-David 正則な集合が大きな垂直投影を有し、弱い幾何学的補題を満たすならば、その集合は大きな部分として内在的リプシッツ写像を含む。
• 弱い幾何学的補題における定数は、内在的リプシッツ定数 L と β-数定義におけるパラメータ ε のみに依存する。
• 解析により、ユークリッドの場合に存在しない新たな現象が明らかになった。特に、β-数を制御するには、偏微分方程式 ∂yφ + φ∂tφ = c の非滑らか解の研究が不可欠である。
• 逆方向の証明は、David と Semmes のユークリッドにおける議論の変種を、ヘイゼンベルク群に適応したものであり、内在的幾何と垂直投影を精密に制御することで成り立つ。