[论文解读] Global Propagation of Singularities for Time Dependent Hamilton-Jacobi Equations

Piermarco Cannarsa, Marco Mazzola+1 more|arXiv (Cornell University)|Aug 24, 2014

Geometric Analysis and Curvature Flows参考文献 23被引用 16

一句话总结

本文证明了在具有二次哈密顿量的时间依赖哈密顿-雅可比方程的粘性解中，奇点无法在有限时间内消失，证明了广义特征线上传播奇点的全局性。通过沿奇点曲线的能量估计与耗散行为分析，作者表明，在哈密顿量和初始数据满足适当的凸性与正则性条件时，奇点将持续存在，或直至到达区域边界。

ABSTRACT

We investigate the properties of the set of singularities of semiconcave solutions of Hamilton-Jacobi equations of the form \\begin{equation*} u_t(t,x)+H(\ abla u(t,x))=0, \\qquad\ ext{a.e. }(t,x)\\in (0,+\\infty)\ imes\\Omega\\subset\\mathbb{R}^{n+1}\\,. \\end{equation*} It is well known that the singularities of such solutions propagate locally along generalized characteristics. Special generalized characteristics, satisfying an energy condition, can be constructed, under some assumptions on the structure of the Hamiltonian $H$. In this paper, we provide estimates of the dissipative behavior of the energy along such curves. As an application, we prove that the singularities of any viscosity solution of the above equation cannot vanish in a finite time.

研究动机与目标

• 解决时间依赖哈密顿-雅可比方程粘性解中奇点是否可能在有限时间内消失的开放问题。
• 将已知沿广义特征线发生的奇点局部传播结果，扩展为对所有时间都成立的全局结果。
• 分析沿奇点特征线的能量耗散行为，以建立奇点的长期持久性。
• 证明对于二次哈密顿量，即使在缺乏全局凹性的情况下，粘性解的奇点也不会消失。
• 提供一个适用于最优控制与几何分析的框架，尤其在奇点持久性影响同伦与正则性性质的情境中。

提出的方法

• 利用粘性解理论与严格凹函数理论，刻画解的正则性与奇点结构。
• 将广义特征线构造为利普希茨曲线，奇点沿其向前传播。
• 在广义特征线上施加能量条件，并推导控制能量沿这些曲线演化的微分不等式。
• 应用上微分学与严格凹函数次微分的估计，以控制梯度与奇点的增长。
• 采用涉及差商与右导数估计的极限论证，推导出能量函数的微分不等式。
• 通过与包含能量与时间平移的李雅普诺夫型函数进行比较论证，证明能量单调递减，从而确保奇点的持久性。

实验结果

研究问题

• RQ1 时间依赖哈密顿-雅可比方程粘性解中的奇点是否可能在有限时间内消失？
• RQ2 在何种条件下，携带奇点的广义特征线不会在有限时间内终止？
• RQ3 沿奇点特征线的能量行为如何？该行为能否用于证明全局传播？
• RQ4 哈密顿量的二次结构在多大程度上确保了奇点的持久性？
• RQ5 即使解仅为严格凹函数，能否证明奇点集在所有时间均保持非空？

主要发现

• 时间依赖哈密顿-雅可比方程中，具有二次哈密顿量 $ H(p) = \frac{1}{2}Ap \cdot p $ 的粘性解的奇点无法在有限时间内消失。
• 广义特征线上的能量非增，并满足防止爆破或灭绝的微分不等式。
• 解的奇点集沿利普希茨曲线 $ \gamma(t) $ 全局传播，其中 $ \gamma(t) $ 定义在 $ [t_0, t_0 + T) $ 上，且 $ T = +\infty $ 或直至 $ \gamma(t) $ 到达 $ \Omega $ 的边界。
• 能量函数 $ F(\tau(t), p(t)) $ 满足估计式 $ F(\tau(s), p(s)) \leq \left(\frac{t_0 - \bar{t}}{s - \bar{t}}\right)^2 F(\tau(t_0), p(t_0)) $，暗示能量衰减，从而确保奇点持久存在。
• 在假设 $ H $ 为正定二次型且初始数据为利普希茨连续的条件下，该结果成立，确保广义特征线具有受控的能量行为。
• 分析确认，奇点集在所有 $ t > t_0 $ 时间内均保持非空，从而在哈密顿-雅可比方程的动力学中确立了一种不可逆性。