[论文解读] Geometry of Carnot--Carathéodory Spaces, Differentiability and Coarea Formula

М. Б. Карманова, Sergey Vodopyanov|ArXiv.org|Apr 21, 2008

Geometric Analysis and Curvature Flows参考文献 81被引用 4

一句话总结

本文為Carnot–Carathéodory空間中具有$C^{1,\beta}$-光滑基向量場的向量場之Gromov幂零化定理提供了新的證明，建立了比較局部Carnot群幾何結構的定量估計。本文推導出關鍵結果，包括Rashevski–Chow定理與Ball–Box定理，證明了具有連續水平導數的映射的$hc$-可微性，並為接觸映射建立了共面積公式。

ABSTRACT

We give a simple proof of Gromov's Theorem on nilpotentization of vector fields, and exhibit a new method for obtaining quantitative estimates of comparing geometries of two different local Carnot groups in Carnot--Carathéodory spaces with $C^{1,α}$-smooth basis vector fields, $α\in[0,1]$. From here we obtain the similar estimates for comparing geometries of a Carnot--Carathéodory space and a local Carnot group. These two theorems imply basic results of the theory: Gromov type Local Approximation Theorems, and for $α>0$ Rashevski\vı-Chow Theorem and Ball--Box Theorem, etc. We apply the obtained results for proving $hc$-differentiability of mappings of Carnot--Carathéodory spaces with continuous horizontal derivatives. The latter is used in proving the coarea formula for some classes of contact mappings of Carnot--Carathéodory spaces.

研究动机与目标

• 為Carnot–Carathéodory空間中向量場的Gromov幂零化定理提供一個新且簡化的證明。
• 建立比較兩局部Carnot群幾何結構以及Carnot流形與其局部切空間Carnot群幾何結構的定量估計。
• 從這些幾何比較出發，推導出基礎性結果，如Rashevski–Chow定理與Ball–Box定理。
• 證明具有連續水平導數的映射在Carnot流形中的$hc$-可微性。
• 利用可微性結果，為Carnot–Carathéodory空間中的接觸映射建立共面積公式。

提出的方法

• 透過在Hölder空間中使用固定點論，對向量場進行迭代逼近，以證明導數收斂至幂零化向量場。
• 應用壓縮映射原理，證明逼近曲線導數的均勻$C^{\beta}$-Hölder收斂性。
• 利用Hölder連續性，透過鏈式法則與對$\frac{df}{dy}$及$\frac{\partial f}{\partial v}$的界估計，估算導數差異。
• 透過對$\frac{dy_n}{dv}$總變差的幾何控制，建立解映射導數的均勻界。
• 利用導數收斂性，透過水平導數極限證明曲線與映射的$hc$-可微性。
• 在子黎曼設定下應用Rademacher與Stepanov定理，證明在水平導數連續條件下的$hc$-可微性。

实验结果

研究问题

• RQ1 如何以局部Carnot群幾何的定量估計，重新證明Gromov的幂零化定理？
• RQ2 在$C^{1,\alpha}$-光滑的Carnot–Carathéodory空間中，比較兩個局部Carnot群幾何結構的精確界為何？
• RQ3 縮放向量場收斂至幂零化向量場的收斂性，如何導出Ball–Box定理與Rashevski–Chow定理？
• RQ4 當映射的水平導數連續時，其在Carnot–Carathéodory空間之間的$hc$-可微性在何種條件下成立？
• RQ5 能否利用$hc$-可微性為Carnot–Carathéodory空間中的接觸映射建立共面積公式？

主要发现

• 建立了Gromov幂零化定理的新且簡化的證明，並對向量場收斂性提供了明確的定量估計。
• 本文提供了逼近曲線導數的均勻$C^{\beta}$-Hölder估計，確保在$C^1$-范數下的收斂性。
• 對Carnot–Carathéodory空間的幾何與其局部幂零切錐進行了定量比較，從而以可控半徑導出Ball–Box定理。
• 對於$\alpha > 0$，Rashevski–Chow定理作為幾何比較估計的推論被重新獲得。
• 證明了具有連續水平導數的映射的$hc$-可微性，將經典可微性推廣至子黎曼設定。
• 利用$hc$-可微性結果與水平雅可比行列式結構，為Carnot–Carathéodory空間中的接觸映射建立了共面積公式。