[论文解读] On and beyond propagation of singularities of viscosity solutions

Piermarco Cannarsa, Wei Cheng|arXiv (Cornell University)|May 29, 2018

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

一句话总结

本综述论文基于Lax-Oleinik半群与广义特征线的内在方法，回顾了黏性解中哈密顿-雅可比方程奇点全局传播的最新进展。在弱KAM理论框架下，建立了奇点沿广义特征线的全局持久性，关键成果包括切点集的同伦等价性与奇点集的拓扑结构，并提出了分析学、动力系统与几何学中的开放问题。

ABSTRACT

This is a survey paper for the recent results on and beyond propagation of singularities of viscosity solutions. We also collect some open problems in this topic.

研究动机与目标

• 综述哈密顿-雅可比方程黏性解中奇点全局传播的最新研究成果。
• 利用Lax-Oleinik半群与广义特征线，探究奇点传播背后的内在几何与动力机制。
• 通过弱KAM理论，建立切点集与奇点集的拓扑与同伦性质。
• 识别并提出与奇点传播相关的分析学、拓扑学、几何学与动力系统中的开放问题。

提出的方法

• 利用正类型Lax-Oleinik半群，提供一种不依赖外部正则性假设的奇点传播内在刻画。
• 应用形如 $ \dot{x}(s) \in \mathrm{co}\, H_p(x(s), D^+u(x(s))) $ 的广义特征线包含关系，实现对奇点弧的全局追踪。
• 采用Lasry-Lions正则化方法，结合标准核 $ |x-y|^2 / 2t $，分析屏障函数背景下的正则性与临界点。
• 借助弱KAM理论，将广义特征线半流的 $ \omega $-极限集与投影Aubry集相关联。
• 利用可及梯度与拟凹性概念，分析上微分与奇点的结构。
• 应用Fathi-Maderna条件与 $ C^{1,1} $ 正则性结果，在最小假设下将局部传播推广至全局结果。

实验结果

研究问题

• RQ1 能否仅通过Fathi-Maderna条件，在无统一时间界约束下建立奇点的全局传播？
• RQ2 广义特征线包含关系的内在结构如何与弱KAM解的动力学相关联？
• RQ3 广义特征线半流生成的不变测度具有何种动力学性质？
• RQ4 能否在机械系统中，通过类比Cheeger-Gromoll分裂定理中的曲率条件，排除临界点？
• RQ5 Lasry-Lions正则化如何适配涉及 $ C^{1,\alpha} $ 正则性的状态约束问题？

主要发现

• 在 $ \mathbb{R}^n $ 上，弱KAM解的奇点全局传播成立，奇点弧在所有 $ t > 0 $ 下持续存在，且基于内在半群方法。
• 投影Aubry集的补集与切点集 $ \mathrm{Cut}(u) $ 及奇点集 $ \mathrm{Sing}(u) $ 均同伦等价，揭示了深刻的拓扑联系。
• $ \mathrm{Cut}(u) $ 与 $ \mathrm{Sing}(u) $ 局部道路连通，确认了其尽管非光滑但仍具拓扑正则性。
• 在环面上的机械系统中，广义特征线半流的 $ \omega $-极限集包含于Aubry集中，建立了动力学与奇点传播之间的联系。
• Lasry-Lions正则化的 $ C^{1,1} $ 正则性对于证明全局传播结果及分析临界点至关重要。
• Lasry-Lions正则化中的内在核在屏障函数与动力不变量之间建立桥梁，实现具有几何洞察力的临界点分析。