A note on the diameter of small sub-Riemannian balls

该论文指出，在$C^{1,1}$正则性的子黎曼流形中，局部一致意义下的小球直径等于半径的两倍，而在$C^0$正则性下该直径任意接近半径的两倍，且这两个结论均独立于括号生成条件。

要点

这篇论文探讨了一个关于**“在特殊地形中行走”的有趣几何问题。为了让你轻松理解，我们可以把这篇论文想象成是在研究一个“迷宫城市的地图”**。

1. 背景：什么是“亚黎曼”世界？

想象你生活在一个特殊的城市（数学上称为“流形”）。在这个城市里，你只能沿着特定的街道走，不能随意横穿草坪或翻墙。

• 普通城市（黎曼几何）： 你可以向任何方向走，就像在空旷的广场上，想往哪去就往哪去。
• 特殊城市（亚黎曼几何）： 你被限制在特定的“车道”上（比如只能沿着东西向或南北向的街道走）。如果你想去一个点，你必须沿着这些允许的路线绕路。

在这个城市里，两点之间的距离，不是你直线飞过去的距离，而是你必须沿着允许路线走的最短路径长度。

2. 核心问题：小圆圈的“直径”是多少？

在数学里，如果你画一个以点 $P$ 为圆心、半径为 $r$ 的“球”（也就是所有离 $P$ 点距离不超过 $r$ 的点组成的区域），我们通常关心这个区域的直径（即这个区域内任意两点之间的最大距离）。

• 直觉： 在普通平坦世界里，一个半径为 $r$ 的圆，其直径正好是 $2r$（从最左端到最右端）。
• 疑问： 在这个只能沿着特定街道走的“特殊城市”里，如果你画一个很小的圆，它的直径还是 $2r$吗？还是会因为路线受限而变得比$2r$ 小很多？

3. 论文的主要发现

这篇论文的作者（Marco, Gianluca 和 Davide）发现了一个令人惊讶的规律，并且分两种情况证明了它：

情况一：路况良好（$C^{1,1}$ 级平滑度）

比喻： 想象街道非常平滑，虽然只能沿特定方向走，但方向的变化是连续且“温和”的（就像高速公路的弯道，虽然弯曲但很顺滑）。

• 发现： 在这种路况下，只要你的圆画得足够小，这个圆的直径精确地等于 $2r$。
• 通俗解释： 即使你被限制在车道上，只要范围很小，你总能找到一条“完美路线”，让你从圆的一端走到另一端，走的距离正好是直径。这就好比在一条笔直的隧道里，无论隧道多窄，从一头到另一头的距离就是隧道的长度。
• 关键点： 以前人们只在非常特殊的对称城市（如“卡诺群”）里知道这个结论，但这篇论文证明了，只要路况够好，任何这样的城市都适用。而且，不需要假设这些街道能通向城市的每一个角落（不需要“括号生成”条件）。

情况二：路况较差（$C^0$ 级，仅连续）

比喻： 想象街道变得粗糙了，方向可能会突然抖动，或者像老旧的碎石路，虽然还是连续的，但不再那么顺滑。

• 发现： 在这种情况下，圆的直径**非常接近 $2r$**，可能只比$2r$小一点点（比如$2r \times 99%$）。
• 通俗解释： 即使路很烂，只要圆画得足够小，你依然可以几乎走直线（在允许的路线上）。虽然不能精确达到 $2r$，但可以无限逼近它。
• 意义： 这比之前的研究更通用。以前的研究需要假设街道非常规则（“等正则”），但这篇论文证明了即使街道很乱，这个规律依然成立。

4. 他们是怎么证明的？（“校准”魔法）

作者使用了一种叫做**“校准”（Calibration）**的数学工具。

• 比喻： 想象你在城市里放了一个**“魔法指南针”**（数学家称为 1-形式 $\Lambda$）。
  • 这个指南针有一个特性：当你沿着它指示的方向走时，它告诉你“这是最省力的路”。
  • 如果你试图走弯路，指南针会显示你的实际路程比指南针读出的“理论距离”要长。
• 应用：
  • 作者构造了这样一个“魔法指南针”。
  • 他们发现，在这个小圆里，存在一条特殊的路线（由向量场 $Y$ 生成），这条路线完美地顺着指南针的方向。
  • 因为这条路线是“最省力”的，所以从圆的一头走到另一头，距离就是 $2r$。
  • 对于路况较差的情况，他们做了一个“准魔法指南针”，虽然不完美，但足够接近，所以距离几乎就是 $2r$。

5. 总结与意义

这篇论文虽然充满了数学符号，但它的核心思想非常直观：

1. 局部规律： 在微观尺度下（小圆），即使是在受限的、复杂的几何空间中，空间的表现也非常像我们熟悉的平坦空间。
2. 直径公式： 小圆的直径就是半径的两倍（$2r$）。
3. 鲁棒性： 这个结论非常强大，不需要假设街道能通向任何地方，也不需要街道特别完美，只要稍微有点连续性，这个规律就成立。

一句话总结：
这就好比你告诉一个在迷宫里的人：“别担心路有多弯多绕，只要你只走一小段路，你从起点走到终点的距离，基本上就是你直线距离的两倍。”这篇论文用严谨的数学证明了这句话在绝大多数情况下都是对的。

技术摘要

论文技术总结

标题：A NOTE ON THE DIAMETER OF SMALL SUB-RIEMANNIAN BALLS
作者：Marco Di Marco, Gianluca Somma, Davide Vittone
核心主题：次黎曼几何（Sub-Riemannian Geometry）中，小半径球体的直径与半径之间的关系，特别是在不同正则性（Regularity）假设下的行为。

---

1. 研究问题 (Problem)

在度量几何中，对于任意度量空间中的球 $B(q, r)$，其直径 $\text{diam}(B(q, r))$ 显然满足 $\text{diam}(B(q, r)) \le 2r$。

• 已知情况：在欧几里得空间 $\mathbb{R}^n$、巴拿赫空间以及黎曼流形（对于小半径）中，等号成立，即 $\text{diam}(B(q, r)) = 2r$。
• 未决问题：在更一般的次黎曼几何背景下，特别是当水平分布（horizontal distribution）不满足“括号生成条件”（bracket-generating condition，即 Hörmander 条件）时，小球的直径是否严格等于 $2r$？
• 现有文献局限：
  • 该结论仅在 Carnot 群（Carnot groups）中被证明。
  • 对于更一般的次黎曼流形，已知结果（如 Don & Magnani, 2023）仅针对光滑且等正则（equiregular）的流形，且依赖于复杂的“吹胀”（blow-up）技术和切空间 Carnot 群的收敛性估计。
  • 对于正则性较低（如 $C^0$）或非括号生成的结构，缺乏统一且简单的证明。

本文目标：

1. 证明在 $C^{1,1}$ 正则性的次黎曼流形上，小球的直径严格等于 $2r$，且不需要假设水平分布是括号生成的。
2. 将正则性进一步降低至 $C^0$（连续向量场），证明小球直径可以任意接近 $2r$（即$\text{diam}(B(q, r)) \approx 2r$），同样不依赖括号生成条件。

---

2. 方法论 (Methodology)

本文的核心方法论基于**校准（Calibration）**技术，这是一种在变分法中用于证明曲线长度极小性的经典工具。

A. 针对 $C^{1,1}$ 结构 (Theorem 1.1)

• 核心思想：利用校准形式（Calibration form）$\Lambda$ 来证明不仅存在一条极小测地线，而且存在一个曲线族，这些曲线在局部邻域内都是长度极小的。
• 具体步骤：
  1. 构造校准：利用 $C^{1,1}$ 正则性，通过次黎曼哈密顿系统（Hamiltonian system）构造一个水平向量场 $Y$ 和一个恰当 1-形式 $\Lambda$。
  2. 校准性质：
     • $\langle \Lambda(q), v \rangle \le |v|_q$ 对所有水平向量 $v$ 成立。
     • $\langle \Lambda(q), Y(q) \rangle = |Y(q)|_q = 1$。
  3. 极小性论证：对于连接两点 $q_1, q_2$ 的任意容许曲线 $\gamma$，其长度 $L(\gamma) \ge \int_\gamma \Lambda$。由于 $\Lambda$ 是恰当的，积分值仅取决于端点。对于由 $Y$ 生成的积分曲线 $\gamma_0$，其长度恰好等于积分值。
  4. 直径推导：通过构造一条穿过球心的“校准曲线”（即 $Y$ 的积分曲线），证明球内存在两点，其距离恰好为 $2r$（在极限情况下），从而得出直径等于$2r$。
• 优势：该方法避免了复杂的几何分析，直接利用微分形式的性质，且不需要括号生成条件。

B. 针对 $C^0$ 结构 (Theorem 1.3)

• 挑战：当向量场仅为连续（$C^0$）时，无法直接定义标准的哈密顿流或光滑的校准形式。
• 核心思想：构造**“准校准”（Quasi-calibration）**。
• 具体步骤：
  1. 局部线性化：在点 $p$ 附近，利用连续向量场 $X_1, \dots, X_m$ 构造一个线性映射，并选取最小范数的控制向量。
  2. 构造近似形式：构造一个光滑的 1-形式 $\omega$，使其在 $p$ 点精确满足校准条件，并在邻域内满足“准”校准不等式：
     • $|\langle \omega_q, v \rangle| \le (1+\varepsilon)|v|_q$
     • $\langle \omega_q, \text{特定方向} \rangle \ge 1-\varepsilon$
  3. 估计：利用上述不等式，证明任意连接两点的曲线长度 $L(\gamma)$ 至少为 $2r(1-\varepsilon)$。
  4. 结论：通过让 $\varepsilon \to 0$，证明直径可以任意接近 $2r$。

---

3. 主要贡献与结果 (Key Contributions & Results)

定理 1.1 ($C^{1,1}$ 情形)

• 陈述：设 $M$ 为装备了 $C^{1,1}$ 次黎曼结构的流形。对于任意点 $p$，存在邻域 $V$ 和半径 $\bar{r} > 0$，使得对于所有 $0 < r < \bar{r}$和$q \in V$，有：
  $$\text{diam}(B(q, r)) = 2r$$
• 突破点：
  • 无需括号生成条件：这是该结果最显著的特征，打破了以往许多次黎曼几何结果依赖 Hörmander 条件的限制。
  • 均匀性：半径 $\bar{r}$ 在局部邻域内是统一的，不依赖于具体的点 $p$。

推论 1.2 (测地线存在性)

• 陈述：在 $C^{1,1}$ 次黎曼流形上，对于任意点 $p$，存在一条经过 $p$ 的长度极小曲线。
• 意义：定理 1.1 比推论 1.2 更强，因为它不仅保证了极小曲线的存在，还保证了这种极小性在局部邻域内是“均匀”且“可校准”的。

定理 1.3 ($C^0$ 情形)

• 陈述：设 $M$ 为装备了 $C^0$ Carnot-Carathéodory 结构的流形。对于任意 $p \in M$ 和 $\varepsilon > 0$，存在邻域 $V$ 和 $\bar{r}_\varepsilon > 0$，使得：
  $$2r(1-\varepsilon) \le \text{diam}(B(q, r)) \le 2r$$
• 对比前人工作：Don 和 Magnani 之前的结果（[2, Theorem 1.3]）仅针对光滑且等正则的流形，依赖于复杂的吹胀（blow-up）分析和切空间收敛率估计。
• 本文优势：
  • 更广泛的适用性：适用于 $C^0$ 结构（向量场仅连续）。
  • 更简单的证明：避免了吹胀技术和切空间群的复杂估计，采用了一种基于“软分析”（soft argument）和准校准的简单方法。

---

4. 附录与理论支撑 (Appendix A)

• 论文在附录 A 中详细证明了校准的存在性（Lemma 2.3）。
• 利用次黎曼哈密顿系统（Hamiltonian system）和正规极值（normal extremals）理论，构造了所需的向量场 $Y$ 和 1-形式 $\Lambda$。
• 证明了在 $C^{1,1}$ 正则性下，哈密顿系统的解存在且唯一，从而保证了校准构造的合法性。

---

5. 意义与影响 (Significance)

1. 理论深化：澄清了次黎曼几何中小球直径的基本性质，证明了即使在非括号生成（non-bracket-generating）的退化情况下，局部几何结构依然保留了类似于欧几里得空间的“直径=2 倍半径”的性质（在 $C^{1,1}$ 下严格成立，在 $C^0$ 下近似成立）。
2. 方法创新：展示了校准（Calibration）技术在处理非括号生成问题时的强大能力。这种方法比传统的基于测地线方程或吹胀分析的方法更为直接和通用。
3. 正则性边界：明确了正则性从 $C^{1,1}$ 降低到 $C^0$ 时，几何性质的变化（从严格等式变为任意接近的估计），为研究低正则性控制系统的几何性质提供了新的视角。
4. 应用前景：由于不依赖括号生成条件，这些结果可能直接应用于更广泛的控制理论问题、非完整约束系统以及具有奇异性或退化的几何结构分析中。

总结：这篇论文通过引入和简化校准技术，解决了次黎曼几何中关于小球直径的一个长期悬而未决的问题，并在更弱的正则性假设下给出了强有力的估计，是该领域基础理论的重要补充。