技术摘要：依赖于未知函数的亚黎曼拉格朗日量的弱 KAM 定理

问题陈述

本文旨在将弱 KAM（Kolmogorov-Arnold-Moser）理论扩展到定义在亚黎曼流形上的特定类变分问题。其核心挑战在于对经典设定进行了两方面的同时推广：

1. 几何约束： 拉格朗日量仅定义在亚黎曼流形 $(M, D, \langle \cdot, \cdot \rangle)$ 的水平分布 $D$ 上，而非完整的切丛 $TM$。这限制了容许曲线必须是“水平的”（几乎处处切于$D$）。
2. 函数依赖性： 拉格朗日量 $L(v, u)$ 除了依赖于速度 $v$ 之外，还显式地依赖于未知函数 $u$（即相关 Hamilton-Jacobi 方程的解）。这种依赖性引入了一种非线性，使得无法直接应用标准的自治拉格朗日技术。

作者旨在建立与相关 Cauchy 问题相关的粘性解的存在性与唯一性，并证明 Lax-Oleinik 半群向平稳解的收敛性（即弱 KAM 定理），且这些过程均在上述约束下进行。

方法论

1. 变分框架与定义

作者定义了水平绝对连续曲线空间，记作 $W^{1,1}_D([a, b])$，以及亚黎曼长度。他们通过拉格朗日的 Legendre-Fenchel 变换引入了亚黎曼接触 Hamiltonian $H: T^*M \times \mathbb{R} \to \mathbb{R}$：
$$H(p, u) = \max \{ p(v) - L(v, u) : v \in D, \pi(v) = \pi^*(p) \}$$
假设拉格朗日量 $L \in C^2(D \times \mathbb{R})$ 满足三个关键条件：

• 一致超线性： 对于所有 $k \geq 0$，有 $L(v, 0) \geq k\|v\| + C(k)$。
• 有界单调性： $-\lambda \leq \partial_u L(v, u) < 0$，确保对 $u$ 的依赖是严格递减且有界的。
• 严格凸性： $\partial^2_{vv} L(v, u)(w, w) \geq \kappa \|w\|^2$。

2. 非自治拉格朗日的 Tonelli 定理

论文的大部分篇幅致力于证明在亚黎曼设定下作用泛函 $A_L(\gamma) = \int L(t, \dot{\gamma}(t)) dt$ 的类 Tonelli 定理。

• 一致可积性： 作者证明了具有有界作用量的曲线族具有一致可积的速度（引理 1）。这对于在 $W^{1,1}$ 中应用紧致性论证至关重要。
• 下半连续性： 他们建立了作用泛函关于一致收敛的下半连续性（定理 4）。证明过程涉及将问题简化到水平分布是平凡的局部坐标图中，并利用 $L$ 的严格凸性。
• 极小值存在性： 利用 Arzelà-Ascoli 定理和作用的下半连续性，他们证明了任意两点之间作用极小值的存在性（推论 3）。

3. Lax 半群与不动点论证

作者定义了一个作用在连续函数 $\phi \in C(M)$ 上的 Lax-Oleinik 半群 $T_t$：
$$T_t[\phi](x) = \inf \left\{ \phi(\gamma(0)) + \int_0^t L(\dot{\gamma}(s), u(s, \gamma(s))) ds : \gamma \in W^{1,1}_D([0, t]), \gamma(t) = x \right\}$$
其中 $u$ 是所求的解。

• 不动点构造： 他们在空间 $C([0, T] \times M)$ 上定义了一个算子 $A_\phi$，并证明它在广义意义下是一个收缩映射（引理 3）。通过迭代该算子，他们确立了唯一不动点 $u$ 的存在，该不动点对应于 Cauchy 问题的粘性解。
• 半群性质： 他们证明了半群性质 $T_{s+t} = T_s \circ T_t$（推论 4），并确立了单调性和非扩张性质（命题 3 和 4）。

4. 向平稳解的收敛

为了证明弱 KAM 定理，作者分析了 $T_t[\phi]$ 的渐近行为。

• 一致有界性与等 Lipschitz 连续性： 他们表明，对于 Lipschitz 初始数据 $\phi$，族 $T_t[\phi] + c_0 t$ 是一致有界且等 Lipschitz 的（引理 4 和引理 5），其中 $c_0$ 是与 Mañé 临界值相关的临界常数。
• 极限存在性： 在关于 Hamiltonian 空间导数增长性的附加假设（假设 1）下，他们证明了序列 $T_t[\phi] + c_0 t$ 当 $t \to \infty$ 时一致收敛于函数 $\psi$。该极限 $\psi$ 是平稳 Hamilton-Jacobi 方程 $H(x, D_x \psi, \psi) = c_0$ 的一个粘性解。

主要结果

1. 存在性与唯一性（定理 1）： 对于任何连续初始条件 $\phi$，存在唯一的粘性解 $u \in C([0, \infty) \times M)$ 满足 Cauchy 问题：
   $$\begin{cases} u_t + H(x, D_x u, u) = 0 \\ u(0, x) = \phi(x) \end{cases}$$
   该解由 Lax-Oleinik 公式通过变分方式表示。

2. 弱 KAM 定理（定理 2）：

   • 存在一个临界常数 $c_0 \in \mathbb{R}$，使得对于 Lipschitz $\phi$，族 $T_t[\phi] + c_0 t$ 是一致有界且等 Lipschitz 的。
   • 存在一个平稳解 $\psi \in \text{Lip}(M, d)$ 满足 $H(x, D_x \psi, \psi) = c_0$。
   • 在假设 1 下，极限 $\lim_{t \to \infty} (T_t[\phi] + c_0 t)$ 存在且一致收敛于一个平稳解。

3. Tonelli 极小值： 论文证明了对于依赖于 $u$ 的亚黎曼拉格朗日量，任意两点之间存在作用极小曲线，将经典的 Tonelli 结果扩展到了这种受限的、非自治的设定中。

重要性与主张

本文声称成功地将弱 KAM 理论的基础结果扩展到了拉格朗日量依赖于未知函数的亚黎曼几何语境下。

• 几何扩展： 作者证明了分布 $D$ 上的括号生成条件（bracket-generating condition）足以确保诱导的 Carnot-Carathéodory 度量生成流形拓扑，从而允许在亚黎曼语境下定义粘性解并应用紧致性论证（Arzelà-Ascoli）。
• 函数依赖性： 通过处理对 $u$ 的依赖（特别是单调性条件 $-\lambda \leq \partial_u L < 0$），作者克服了拉格朗日量非自治带来的困难。这使得处理 Hamiltonian 本身依赖于解的 Hamilton-Jacobi 方程成为可能，这种情况在控制理论和平均场博弈中很常见，但在亚黎曼设定下此前研究较少。
• 变分方法的鲁棒性： 这项工作强化了变分方法（Lax-Oleinik 半群）即使在底层几何是非积分的（亚黎曼）且动力学是非自治的情况下，仍然是证明解的存在性、唯一性和收敛性的强大工具。

作者并未声称解决了关于解的 Lipschitz 连续性以外的正规性（regularity）的开放问题，也未提出新的实验应用。其贡献纯粹是理论性的，为处理这类特定类 Hamilton-Jacobi 方程提供了必要的分析框架。