[论文解读] A Lagrangian Approach to Weakly Coupled Hamilton-Jacobi Systems

Hiroyoshi Mitake, Antonio Siconolfi+2 more|arXiv (Cornell University)|Mar 2, 2015

Quantum chaos and dynamical systems被引用 3

一句话总结

本文通过从哈密顿量出发，利用对偶性构造作用泛函，提出了一种在环面上处理弱耦合哈密顿-雅可比系统的拉格朗日框架。它通过变分估计刻画了次解，并显式构造了具有最大性优化性质的次解，借助带有右连续左极限路径和可测动力学的随机切换框架，将弱KAM理论推广至系统情形。

ABSTRACT

We study a class of weakly coupled Hamilton-Jacobi systems with a specific aim to perform a qualitative analysis in the spirit of weak KAM theory. Our main achievement is the definition of a family of related action functionals containing the Lagrangians obtained by duality from the Hamiltonians of the system. We use them to characterize, by means of a suitable estimate, all the subsolutions of the system, and to explicitly represent some subsolutions enjoying an additional maximality property. A crucial step for our analysis is to put the problem in a suitable random frame. Only some basic knowledge of measure theory is required, and the presentation is accessible to readers without background in probability.

研究动机与目标

• 通过发展一种变分的、拉格朗日的表述方式，将弱KAM理论推广至弱耦合哈密顿-雅可比系统。
• 通过涉及对偶作用泛函的变分估计，刻画该系统的全部次解。
• 在所构造的作用泛函框架下，显式表示具有最大性性质的次解。
• 通过将系统嵌入具有右连续左极限路径的随机切换框架中，建立PDE结果的几何与动力学对应。
• 提供一种概率性但易于理解的框架，使用测度论工具，无需高级概率知识。

提出的方法

• 通过哈密顿量 $ H_i $ 的Legendre-Fenchel对偶性，定义一族作用泛函，构成拉格朗日方法的核心。
• 使用 $ \mathcal{D}(0,\infty; \mathbb{R}^N) $（即取值于 $ \{1,\dots,M\} $ 的右连续左极限路径空间）建模系统的动力学，并采用Skorohod度量。
• 引入由耦合矩阵 $ \Lambda $ 控制的随机切换机制，其作为随机矩阵的生成元。
• 通过时间积分与投影，构造从右连续左极限路径到环面 $ \mathbb{T}^N $ 上连续路径的连续映射 $ \mathcal{I} $。
• 在 $ \mathcal{D} $ 上使用可测平移流 $ \phi_h $ 分析时间平移不变性，并建立动力操作的可测性。
• 应用控制收敛定理与Arzelà-Ascoli定理，证明作用泛函与映射 $ \mathcal{I} $ 的连续性，确保变分稳定性。

实验结果

研究问题

• RQ1 如何为弱耦合哈密顿-雅可比系统构造拉格朗日表述，以扩展弱KAM理论？
• RQ2 能否通过使用对偶作用泛函，给出系统所有次解的变分刻画？
• RQ3 在此框架内，是否能显式表示具有最大性性质的次解？
• RQ4 通过右连续左极限路径与耦合矩阵 $ \Lambda $ 建模的随机切换机制，如何支持变分分析？
• RQ5 平移流 $ \phi_h $ 与可测结构在确保作用泛函的一致性与连续性方面起什么作用？

主要发现

• 通过哈密顿量的对偶性定义了一族作用泛函，实现了对所有次解的变分刻画。
• 该系统的全部次解通过涉及所构造作用泛函的特定变分估计得以刻画。
• 一个具有最大性性质的特殊次解——在Aubry集中任意点处取特定值——通过作用泛函被显式表示。
• 通过控制收敛定理与路径空间上的等度连续性论证，建立了作用泛函的连续性。
• 映射 $ \mathcal{I} $（将右连续左极限路径提升为 $ \mathbb{T}^N $ 上的连续路径）通过Arzelà-Ascoli定理与控制收敛定理被证明是连续的。
• 平移流 $ \phi_h $ 被证明是可测的，支持了框架的时间齐次性与动力一致性。