精读笔记

Problem Setting

The Brøndsted-Rockafellar theorem in geodesic spaces（arXiv preprint / 2026-06-02）。

这篇论文实际处理的问题是：给定一个测地凸、下有界泛函 Φ，以及一个 ε-近似极小点 u，能否在一般 geodesic metric space 中构造一个靠近 u 的点 \hat u，使其具有“小临界性”。经典 Banach/Hilbert 版本的小临界性用 ||ξ||≤ε/λ, ξ∈∂Φ(\hat u) 表达；但在一般度量空间中没有线性结构、没有对偶空间、没有 Fenchel transform，因此这个陈述本身就需要重写。

真正困难是 BR 定理的核心估计原本依赖线性凸分析语言：subdifferential、resolvent、Fenchel–Young gap、Carlier inequality。到了 geodesic spaces，这些对象要么不存在，要么只在 Wasserstein 这类特殊空间中有替代版本。关键矛盾是：想保持 BR 的 quantitative lifting 结构，但不能使用产生 subgradient certificate 的线性机制。本文的策略是接受 metric slope 作为一般空间中的临界性度量，并把构造点定义为 proximal minimizer。

Motivation

已有路线有两个不满意点。第一，传统 BR/Ekeland 路线偏存在性，不能告诉你那个近似临界点如何由原始 u 生成；这在 minimizing movement、computable analysis 或需要后续估计的场景中不够用。第二，Carlier 之后的 Hilbert 构造虽然显式，但本质上仍依赖 Hilbert resolvent 与 Fenchel 对偶结构，不能解释为什么同类结果应当在 Wasserstein 或 CAT(0) 这类非线性空间成立。

作者的核心观察是：BR 结论中真正起作用的不是线性空间本身，而是 proximal step 的比较不等式。只要能够沿测地线插值，并且距离惩罚 d(·,u)^p 的一维增长可控，就能从 proximal optimality 推出 Ekeland 型全局斜率控制。换言之，缺口不是“没有 subgradient 怎么办”，而是“如何把 subgradient norm 的角色换成纯 metric residual”。

Core Idea

论文的核心思想非常干净：不要先证明存在一个好点，再寻找它的 subgradient；直接取一个 proximal point 作为好点。具体地，若 Φ(u)≤inf Φ+ε，则对任意 λ>0 取 \hat u ∈ argmin_v { Φ(v)+ε/(pλ^p)d(v,u)^p }。 这个点同时承担三件事：保持在 λ-ball 内、降低原能量、并满足 Ekeland 型全局支配不等式 Φ(\hat u)≤Φ(v)+ε/λ d(v,\hat u)。后者在 normed spaces 中就是小范数 subgradient 的等价表达，在一般 metric spaces 中则给出 |∂Φ|(\hat u)≤ε/λ。

和 prior 的本质区别在于，它不是把 Hilbert resolvent 公式机械推广，而是把 resolvent 背后的变分比较机制抽象出来。Carlier inequality 是线性/对偶语言下的 residual control；本文用测地线和 scalar convexity 复现同样的控制。这个改写带来的 generality 是实质性的：它把 BR 从“线性凸分析定理”推向“测地凸优化中的 proximal principle”。但这种 generality 的价格也明确：必须假设相应 proximal minimizer 存在。

Method

关键机制可以压缩成四步。

第一，构造性选择。\hat u 不是通过 Zorn/Ekeland 选出来，而是通过 proximal problem 选出来。这一步解决可构造性问题，也把后续所有估计绑定到一个可计算/可近似的 minimizing movement step 上。

第二，半径控制。若假设 d(u,\hat u)>λ，就沿 u 到 \hat u 的测地线取 t=λ/d(u,\hat u) 的中间点。proximal optimality 与 geodesic convexity 结合后，与 s↦s^p/p 的凸性发生冲突，从而推出 d(u,\hat u)≤λ。这里没有使用完备性或下半连续性；真正需要的是 proximal minimizer 已经存在。

第三，Ekeland 型 inequality。对任意 v，从 \hat u 沿测地线走向 v，用 proximal optimality 比较 \hat u 与 γ(t)，再令 t→0。距离项的差分给出 Φ(\hat u)-Φ(v)≤ε/λ^p d(\hat u,u)^{p-1}d(v,\hat u)，结合半径控制得到 ε/λ-Lipschitz 型上支配。

第四，metric slope 和能量平衡。由上述局部化不等式取 limsup 得 |∂Φ|(\hat u)≤ε/λ，并进一步得到 Φ(\hat u)+λ^q/(pε^{q/p})|∂Φ|(\hat u)^q≤Φ(u)。这比单纯 Φ(\hat u)≤Φ(u) 更强，明确量化了能量下降和 residual 的关系。

Wasserstein 部分的额外机制是：当 JKO step 的 optimality condition 可写为 t^μ_{\hat μ}=id+(λ^2/ε)ξ 时，metric residual 直接识别为 regular subgradient ξ，因此恢复类似 Hilbert 中 ξ=ε/λ^2(u-\hat u) 的显式构造。

Key Insight / Why It Works

最关键 insight 是：BR 定理的 constructive core 其实是 proximal objective 的一阶比较，而不是 subdifferential calculus。经典表述把结果包装成“存在小范数 subgradient”，容易误以为对偶结构是必要的；本文说明，对大部分估计而言，真正需要的是沿 geodesic 的 convexity 和距离 kernel 的一维 convexity。

方法有效的原因有三点。第一，proximal penalty 把“离 u 近”和“能量低”合并进同一个 variational object，因此 \hat u 的位置和能量下降不是两个独立性质，而是同一 optimality inequality 的两个投影。第二，ε/(pλ^p) 的 scaling 精确匹配了目标半径 λ 和目标 slope ε/λ；这个 scaling 不是工程选择，而是 BR trade-off 的几何编码。第三，metric slope 只需要局部下降率，因此从全局 Ekeland inequality 取 v→\hat u 就足够，不需要构造实际 dual vector。

最实质的贡献是绕开 Carlier inequality 的纯 metric 证明。Carlier inequality 在 Hilbert 空间中很强，但它依赖 Fenchel–Young gap；本文证明该 gap-control 的 BR 用途可以被更原始的 geodesic comparison 替代。Appendix C 的 general kernel 版本说明 powered distance 不是唯一选择，但主文 p-kernel 已经抓住了核心 scaling。

哪些可能只是辅助？Caristi fixed point 是自然 corollary，更像展示 Theorem 1.1 的 Ekeland 形式足够强，不是核心创新。Proposition 1.11 的 error-bound-to-growth 也主要是把 slope estimate 放进已有 subregularity/growth 框架中，技术上有价值，但 conceptual novelty 低于主定理。Wasserstein Theorem 3.3 的 equivalence 更有应用意义，不过其证明结构仍是 proximal step + triangle inequality + subgradient regularity；创新在于把一般 metric BR 和 OT subdifferential 对齐，而不是发明新的 transport inequality 机制。

Relation To Prior Work

最接近的 prior 有三条：经典 Brøndsted–Rockafellar/Bishop–Phelps/Ekeland 路线、Carlier 2023 的 Hilbert constructive BR、以及 metric-space gradient flow/JKO/minimizing movement 文献。

相对经典 BR，本文的差异不是常数改进，而是 witness 的生成方式变了：从非构造存在点变为 proximal point。相对 Ekeland，本文不是一般 variational principle 的另一个证明，而是说明在 geodesically convex setting 中，一个单步 proximal minimizer已经满足 Ekeland conclusion，因此避免迭代/选择式下降构造。

相对 Carlier/Hilbert 版本，真正不同是证明语言从 Fenchel-dual residual 切换到 metric geodesic comparison。Hilbert 中 prox 和 resolvent 一致，ξ=ε/λ^2(u-\hat u) 是自然的；在一般测地空间里没有这个向量，作者用 metric slope 替代。因此本文属于“把线性凸分析定理 metricize”的谱系，但不是简单翻译，而是提取了 BR 中可 metric 化的最小机制。

Wasserstein 部分则与 AGS/JKO 框架强相关。这里的新信息是：在 regular subdifferential 和 optimal map 存在时，一般 metric proximal construction 可以重新产生一个 subgradient certificate，并进一步得到 subregularity 与 Talagrand/entropy-transport growth 的等价。这个结果与已有 displacement convexity 和 functional inequalities 文献相容，实质新增在于从 constructive BR 角度统一解释。

Dataset / Evaluation

这是一篇纯数学论文，没有 dataset、实验或 benchmark。evaluation 主要是定理覆盖范围和例子有效性。

覆盖范围方面，主定理适用于一般 geodesic metric spaces、proper geodesically convex bounded-below functionals，不要求全空间完备，也不要求 Φ 全局 lower semicontinuous；这确实支持其“比 classical BR 更适用于非线性/非完备几何环境”的 claim。例子选择也有针对性：非 lsc 的 Hilbert indicator-linear functional、非完备的 P2(Ω) entropy、以及 c00 中 proximal points 不存在的病态例子。最后一个例子尤其重要，因为它承认本文方法的适用边界。

但这些例子更多是 sanity check，而不是系统刻画。文中未充分说明在常见非线性空间中 proximal existence 的最一般条件，也没有深入比较该 constructive point 与 Ekeland iterative point 在具体应用中是否带来更强 estimates。Wasserstein 部分验证了核心 claim 的一个重要实例，但依赖较强 regularity 假设；不能据此认为所有 metric measure spaces 上都可得到同等 subgradient 形式。

Limitation

最大的限制是存在性问题被转移而非解决。Theorem 1.1 不需要 completeness/lsc，看起来很一般，但前提是 \hat u∈prox 已经存在。对于很多非完备或缺少 compactness/coercivity 的空间，这正是最难的部分。论文用 c00 例子明确显示：即使 Φ convex、finite/lsc、bounded below，也可能所有 prox 都为空，此时主定理没有内容。

第二，metric slope 不是 subgradient。它足以表达下降率和 error bound，但不携带方向信息、对偶变量或可用于 KKT/optimality system 的 certificate。在需要 sensitivity analysis、PDE weak formulation、dual algorithm 的场景，一般测地版本的信息可能不够。

第三，Wasserstein 结果的适用性依赖隐藏结构：dom Φ 中测度绝对连续以保证 Brenier map；JKO step 存在；一阶最优性条件可用；regular subdifferential 非空。这些条件在许多熵/势能泛函中自然，但不是 Wasserstein space 的免费性质。文中未充分说明这些假设在多大函数类上稳定成立。

第四，Appendix C 的 general proximal kernels 有形式推广倾向。虽然数学上成立，但是否在实际 variational analysis 中带来更好 estimates 或新应用，文中未充分说明。这里的增益来源不清，更像展示 proof template 的鲁棒性。

第五，Proposition 1.11 是 necessary growth consequence，但定义域限制在 dom prox_t Φ；如果 prox domain 不是全空间，growth conclusion 的全局性会被削弱。Wasserstein Theorem 3.3 通过假设所有 μ∈dom Φ 有 JKO minimizer 补上这一点，但这再次说明核心能力依赖 proximal well-posedness。

Takeaway

• 1. BR 定理的可构造版本可以被理解为“一步 proximal minimization 的几何后果”，而不是 subdifferential calculus 的产物。
• 这个视角值得迁移到其他缺少线性结构的 variational settings。
• 2. 在 metric/geodesic convex analysis 中，metric slope 是 classical subgradient norm 的正确替代物；但它只保留下降率，不保留方向 certificate。
• 未来若要做更强应用，需要额外结构把 slope lift 回某种 subdifferential。

一句话总结

这篇论文把 Brøndsted–Rockafellar 定理的核心从线性对偶中的小次梯度构造，重写为测地凸空间中一次 proximal step 导出的 metric slope 控制，是一类从 Hilbert resolvent/Carlier 机制走向纯 metric proximal principle 的实质性推广。