[论文解读] Uniqueness of the viscosity solution of a constrained Hamilton-Jacobi equation

Vincent Cálvez, King‐Yeung Lam|arXiv (Cornell University)|Sep 14, 2018

Evolution and Genetic Dynamics参考文献 23被引用 10

一句话总结

本文建立了在定量遗传学中由未知标量函数 $ I(t) $ 表示种群层面反馈所施加的约束下，Hamilton-Jacobi 方程粘性解的唯一性。在哈密顿量关于动量变量具有凸性、关于 $ I $ 具有单调性、且 $ I(t) $ 具有有界变差正则性条件下，作者通过基于哈密顿-雅可比-贝尔曼公式的可行理论方法，结合 $ I(t) $ 的利普希茨函数逼近，证明了解的唯一性。

ABSTRACT

In quantitative genetics, viscosity solutions of Hamilton-Jacobi equations appear naturally in the asymptotic limit of selection-mutation models when the population variance vanishes. They have to be solved together with an unknown function I(t) that arises as the counterpart of a non-negativity constraint on the solution at each time. Although the uniqueness of viscosity solutions is known for many variants of Hamilton-Jacobi equations, the uniqueness for this particular type of constrained problem was not resolved, except in a few particular cases. Here, we provide a general answer to the uniqueness problem, based on three main assumptions: convexity of the Hamiltonian function H(I, x, p) with respect to p, monotonicity of H with respect to I, and BV regularity of I(t).

研究动机与目标

• 解决长期悬而未决的开放问题：在未知反馈函数 $ I(t) $ 的约束型 Hamilton-Jacobi 方程中，粘性解的唯一性。
• 在 $ I(t) $ 的正则性假设最小化条件下，建立唯一性，特别是 $ I \in BV(0,T) $，这在生物模型中是自然的。
• 将以往仅限于凸性或可分情况的唯一性结果推广至一般框架，适用于不可分、非凸的哈密顿量。
• 弥合选择-突变模型的消失粘性极限与极限型 Hamilton-Jacobi 问题解的唯一性之间的鸿沟。

提出的方法

• 将约束型 Hamilton-Jacobi 方程表述为 $ \partial_t u + H(I(t), x, d_x u) = 0 $ 且 $ \min_x u(t,x) = 0 $，其中 $ I(t) $ 未知但受最小值条件约束。
• 应用具有可测时间依赖性的粘性解理论，借鉴 Ishii 以及 Lions-Perthame 的工作，以确保在约束设定下的适定性。
• 通过值函数 $ V(t,x) = \inf_{\gamma} \int_0^t L(s, \gamma(s), \dot{\gamma}(s)) \, ds + g(\gamma(0)) $ 建立解的变分表征，其中 $ L $ 是 $ H $ 的勒让德-芬赫尔变换。
• 通过构造基于哈密顿流的后向轨迹并应用可行理论，证明任意粘性解 $ u $ 满足 $ u \geq V $。
• 从下方逼近有界变差函数 $ I(t) $，构造一列利普希茨函数 $ I_k(t) \nearrow I(t) $，并保持解的性质。
• 利用极小化曲线的紧致性与控制收敛定理，取极限后得出 $ u \geq V $，从而 $ u = V $，完成唯一性证明。

实验结果

研究问题

• RQ1 当 $ I(t) $ 仅为有界变差函数而非光滑或凸函数时，约束型 Hamilton-Jacobi 方程的粘性解是否仍保持唯一？
• RQ2 在 $ I(t) $ 的正则性假设最小化条件下，是否可对不可分、非凸的哈密顿量建立唯一性？
• RQ3 在给定约束与假设下，变分解 $ V(t,x) $ 是否为唯一的粘性解？
• RQ4 由种群层面约束导出的反馈函数 $ I(t) $ 如何影响极限型 Hamilton-Jacobi 方程解的唯一性？

主要发现

• 在三个关键假设下，粘性解的唯一性成立：$ H $ 关于 $ p $ 的凸性、$ H $ 关于 $ I $ 的单调性、以及 $ I(t) \in BV(0,T) $。
• 解 $ u $ 与值函数 $ V(t,x) $ 一致，后者被表征为所有绝对连续曲线上的作用积分的下确界。
• 证明依赖于利用哈密顿流构造后向轨迹，并将可行定理应用于 $ u $ 的上图。
• 通过利普希茨函数 $ I_k(t) $ 对 $ I(t) $ 的逼近，使得唯一性结果可从利普希茨情形通过收敛性论证推广至 $ BV $ 情形。
• 该结果推广了以往要求 $ R(I,x) $ 具有强凸性或可分性的唯一性结果，现涵盖不可分与非凸情形。
• 表明最小正则性 $ I \in BV $ 已足够保证唯一性，提示其为此类约束问题的自然正则性阈值。