[论文解读] Cycle Chacterization of the Aubry Set for Weakly Coupled Hamilton-Jacobi Systems

Hassan Ibrahim, Antonio Siconolfi+1 more|arXiv (Cornell University)|Apr 27, 2016

Advanced Differential Equations and Dynamical Systems参考文献 5被引用 4

一句话总结

本文通过随机框架方法，基于循环的动态表征，建立了在平坦环面上弱耦合哈密顿-雅可比系统中阿布里集的动态特性。通过引入满足严格正性阈值（$\tau \gg \epsilon$）的停止时间，作者证明：一点属于阿布里集当且仅当存在一列$\tau$-循环，其作用量趋于零，从而将标量情形的结果推广至向量值情形。

ABSTRACT

We study a class of weakly coupled systems of Hamilton-acobi equations using the random frame introduced in a previous paper of Mitake-Siconolfi-Tran-Yamada. We provide a cycle condition characterizing the points of Aubry set. This generalizes a property already known in the scalar case.

研究动机与目标

• 为弱耦合系统中的阿布里集提供一种动态的、几何的表征，该表征此前虽已知其结构性质，但尚缺此动态视角。
• 将标量情形下的循环表征（即通过循环上作用量趋于零来识别阿布里集）推广至具有耦合矩阵$A$的向量值情形。
• 通过作用泛函，建立粘性次解、可允许值集$F_\beta(y)$与底层随机动力系统之间的联系。
• 构建一个自包含的概率框架，使用转移矩阵为$-A$的马尔可夫链，避免使用高级概率理论。
• 通过将可允许值结构的二分性（在$\mathcal{A}$上为一维，在$\mathcal{A}$外具有非空内部）与循环行为相联系，解决该结构二分性问题。

提出的方法

• 作者采用[9]中引入的随机框架，基于转移矩阵为$-A$的马尔可夫链，在$\mathcal{D}$（右连左极路径空间）上定义随机作用泛函。
• 他们将$\tau$-循环定义为满足$\mathcal{I}(\Xi)(\tau) = 0$几乎必然的控制$\Xi \in \mathcal{K}(\tau, 0)$，表示在环面上以停止时间$\tau$构成的环路。
• 一项关键技术创新是引入满足$\tau \gg \epsilon$的停止时间，以确保$\epsilon$-界防止平凡性，并实现非平凡的循环分析。
• 他们证明：当$\tau \gg \epsilon$时，耦合矩阵的指数$e^{-\tau A}$是严格正定的，这对转移概率的正性及循环的存在性至关重要。
• 发展了循环迭代技术，以生成作用量递减的$\tau$-循环序列，从而实现无穷小作用量循环的构造。
• 主要表征基于定理5.3与5.4，表明$y \in \mathcal{A}$当且仅当存在以$y$为基点、作用量趋于零的$\tau$-循环序列。

实验结果

研究问题

• RQ1 弱耦合哈密顿-雅可比系统中，阿布里集成员资格的动态条件是什么？
• RQ2 标量情形下基于循环上作用量趋于零的循环表征，如何推广至具有耦合矩阵$A$的系统？
• RQ3 停止时间$\tau \gg \epsilon$在确保非平凡循环行为并避免平凡解中起什么作用？
• RQ4 可允许值$F_\beta(y)$的结构（在$\mathcal{A}$上为一维）如何与此类循环的存在性相联系？
• RQ5 在$\tau \gg \epsilon$的$\tau$-循环上计算的作用泛函，是否能完全表征临界次解？

主要发现

• 点$y \in \mathbb{T}^N$属于阿布里集$\mathcal{A}$当且仅当存在以$y$为基点、满足$\tau \gg \epsilon$且作用量趋于零的$\tau$-循环序列。
• 此类循环的存在性由命题3.6证明的结论保证：当$\tau \gg \epsilon$时，$e^{-\tau A}$严格正定。
• 定理5.1中强化的循环表征表明，满足$\tau \gg \epsilon$的$\tau$-循环已足够表征临界次解的所有可允许值。
• 本文建立了$\mathcal{A}$上$F_\beta(y)$的一维结构与无穷小作用量循环存在性之间的直接联系，从而解决了关键的结构二分性问题。
• 第4节中开发的循环迭代技术，可生成作用量递减的循环序列，构成主要定理证明的核心。
• 本研究将标量阿布里集的循环表征推广至向量值情形，为弱耦合系统中阿布里集提供了动态解释。