[论文解读] Approximate Differentiability of Mappings of Carnot-Carathéodory Spaces

S. G. Basalaev, Sergey Vodopyanov|arXiv (Cornell University)|Jun 22, 2012

Geometric Analysis and Curvature Flows参考文献 14被引用 26

一句话总结

该论文证明了在Carnot–Carathéodory空间中，可测映射的近似可微性几乎处处等价于其沿基本水平向量场的近似可微性。作者将$C^1$-光滑向量场的Rashevsky–Chow定理推广至该框架，并将Stepanoff与Whitney型定理扩展至子黎曼几何设置，证明了一个涉及近似子黎曼雅可比行列式的面积公式。

ABSTRACT

We study the approximate differentiability of measurable mappings of Carnot--Carathéodory spaces. We show that the approximate differentiability almost everywhere is equivalent to the approximate differentiability along the basic horizontal vector fields almost everywhere. As a geometric tool we prove the generalization of Rashevsky--Chow theorem for $C^1$-smooth vector fields. The main result of the paper extends theorems on approximate differentiability proved by Stepanoff (1923, 1925) and Whitney (1951) in Euclidean spaces and by Vodopyanov (2000) on Carnot groups.

研究动机与目标

• 建立Carnot–Carathéodory空间中可测映射的近似可微性与其沿水平向量场近似可微性之间的等价性。
• 将$C^1$-光滑向量场的Rashevsky–Chow定理推广，确保通过水平曲线实现局部可达性。
• 将经典近似可微性定理（Stepanoff, Whitney）从欧氏空间推广至子黎曼几何框架。
• 通过近似子黎曼雅可比行列式，推导出近似可微映射的面积公式。
• 证明近似微分在子黎曼设置下推广了经典微分，同时保持关键的测度论性质。

提出的方法

• 在Carnot–Carathéodory空间的Hausdorff测度背景下，运用近似极限与近似可微性的概念。
• 应用Ball-Box定理，将Carnot–Carathéodory度量与拟度量$d_\rho$关联，以比较Hausdorff测度。
• 通过第一类与第二类指数坐标构造局部群结构，以分析空间的几何性质。
• 证明近似微分几乎处处存在，当且仅当函数在几乎处处沿水平方向具有近似导数。
• 利用密度点与可测分解的概念，将问题约化为可测集上Lipschitz映射的情形。
• 应用Lipschitz映射的面积公式（定理4.3），并通过将定义域分解为映射为Lipschitz的集合，将其推广至近似可微映射。

实验结果

研究问题

• RQ1 在Carnot–Carathéodory空间中，可测映射的近似可微性是否几乎处处等价于其沿水平向量场的近似可微性？
• RQ2 Rashevsky–Chow定理能否在Carnot–Carathéodory几何背景下推广至$C^1$-光滑向量场？
• RQ3 Stepanoff–Whitney定理在近似可微性方面是否可推广至子黎曼流形？
• RQ4 Carnot–Carathéodory空间之间近似可微映射的面积公式具有何种形式？
• RQ5 在可测映射背景下，近似子黎曼雅可比行列式与经典雅可比行列式之间有何关系？

主要发现

• 在Carnot–Carathéodory空间上，可测映射$f$的近似可微性几乎处处成立，当且仅当$f$沿基本水平向量场的近似导数几乎处处存在。
• 推广的Rashevsky–Chow定理确保$C^1$-光滑水平向量场通过水平曲线在局部张成切空间，从而支持局部坐标系的构造。
• 拟度量$d_\rho$在局部上等价于Carnot–Carathéodory度量，且对应的Hausdorff测度彼此绝对连续。
• 对于近似可微映射，存在一个面积公式：$\int_E f(x)\operatorname{ap}\mathcal{J}^{SR}(\varphi,x)\,d\mathcal{H}_\rho^\nu(x) = \int_{\widetilde{\mathcal{M}}} \sum_{x \in \varphi^{-1}(y) \setminus \Sigma} f(x)\,d\mathcal{H}_\rho^\nu(y)$，其中$\mathcal{H}_\rho^\nu(\Sigma) = 0$。
• 近似子黎曼雅可比行列式定义为$\sqrt{\det(\operatorname{ap}D\varphi(x)^* \operatorname{ap}D\varphi(x))}$，当经典微分存在时，其与经典雅可比行列式一致。
• 映射的定义域可分解为可数个可测集$E_i$与一个零测集$\Sigma$的并集，使得$\varphi|_{E_i}$为Lipschitz映射，从而可在每个$E_i$上应用已知的面积公式。