2025-11-20T21:37:15.957556

Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics

Citti, Galeotti, Pinamonti

We prove that the Benamou-Brenier formulation of the Optimal Transport problem and the Kantorovich formulation are equivalent on a sub-Riemannian connected and complete manifold $M$ without boundary and with no non-trivial abnormal geodesics, when the problems are considered between two measures with finite $2$-momentum. Furthermore, we prove the existence of a minimizer for the Benamou-Brenier formulation and link it to the optimal transport plan.

academic

Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics

基本信息

论文ID: 2507.20959
标题: Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics
作者: Giovanna Citti, Mattia Galeotti, Andrea Pinamonti
分类: math.OC (Optimization and Control)
发表时间: 2025年10月15日 (arXiv v2)
论文链接: https://arxiv.org/abs/2507.20959

摘要

本文证明了在连通完备的无边界子黎曼流形 $M$ 上，当流形不存在非平凡异常测地线时，最优传输问题的Benamou-Brenier动力学公式与Kantorovich静态公式是等价的，其中传输问题考虑在具有有限2阶矩的两个测度之间。此外，文章还证明了Benamou-Brenier公式的最小化子的存在性，并将其与最优传输计划联系起来。

研究背景与动机

问题背景

最优传输理论的发展：最优传输问题最初由Monge在18世纪末提出，后来Kantorovich提出了更适合分析的松弛版本。在欧几里得域和黎曼流形上，Kantorovich公式与Benamou-Brenier动力学公式的等价性已经建立。
子黎曼几何的挑战：子黎曼流形具有完全不可积分布 $HM \subset TM$ 和正定二次型 $g_{SR}$ ，其几何结构比黎曼情形更复杂。特别地，子黎曼框架中存在两类测地线：正常测地线和异常测地线。
异常测地线的影响：异常测地线的存在导致子黎曼距离失去局部凸性，这是最优映射存在性的主要障碍。

研究动机

将经典的最优传输理论扩展到子黎曼几何框架
解决子黎曼流形上Benamou-Brenier与Kantorovich公式等价性的开放问题
为子黎曼几何中的最优传输提供理论基础

核心贡献

等价性定理：证明了在无异常测地线的完备连通子黎曼流形上，Kantorovich、Benamou-Brenier和松弛Benamou-Brenier三个公式的下确界都是有限的、可达到的且相等。
松弛理论框架：建立了基于Young测度的松弛Benamou-Brenier问题，将传统的向量场积分替换为概率测度在 $[0,1] \times HM$ 上的积分。
可测选择定理：构造了可测映射 $S: M \times M \to \text{Geod}(M)$ ，为每对点选择连接它们的测地线，这是技术上的关键突破。
叠加原理：在子黎曼框架中建立了Young叠加原理，证明任何传输测度都可以分解为广义曲线上的概率测度。
最优性刻画：证明了Benamou-Brenier最小化子的分解支撑在（广义的常速）测地线上。

方法详解

任务定义

考虑子黎曼流形 $(M, H, g_{SR})$ 上两个具有有限2阶矩的概率测度 $\mu_0, \mu_1 \in P_2(M)$ 之间的最优传输问题。

Kantorovich公式： $J_{Kan}(\gamma) = \int_{M \times M} d^2(x,y) d\gamma(x,y)$ 其中 $\gamma \in \Pi(\mu_0, \mu_1)$ 是可行传输计划。

Benamou-Brenier公式： $J_{BB}(\mu_t, v_t) = \int_0^1 \int_M \|v_t(x)\|^2 d\mu_t(x) dt$ 约束条件为连续性方程： $\dot{\mu}_t + \text{Div}(\mu_t v_t) = 0$ 。

松弛框架

Young测度理论

定义Young测度空间： $Y(I; X) = \{\eta \in P(I \times X) : \pi^{(t)}_\# \eta = L\}$ 其中 $L$ 是Lebesgue测度。

松弛Benamou-Brenier问题

$J^*_{BB}(\eta) = \int_{[0,1] \times HM} \|v\|^2 d\eta(t,v)$ 约束条件为松弛连续性方程： $\int_{I \times HM} \partial_t \phi(t, \pi(v)) + \langle v, \nabla_H \phi(t, \pi(v)) \rangle d\eta(t,v) = 0$