[論文レビュー] 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) $ によって強制される。ハミルトニアンが運動量変数において凸であること、$ I $ に対して単調であること、$ I(t) $ が有界 Variation を持つという条件下で、ハミルトニアン・ヤコビ・ベルマン形式と $ 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) $ を伴う制約付きハミルトニアン・ヤコビ方程式の粘性解の一意性に関する長年の未解決問題を解消すること。
• 特に $ I \in BV(0,T) $ という最小限の正則性仮定のもとで一意性を確立すること。これは生物学的モデルにおいて自然な条件である。
• 従来、凸または分離可能な場合に限って成立していた一意性結果を、非分離的かつ非凸なハミルトニアンにも適用可能な一般枠組みへ拡張すること。
• 選択・変異モデルの漸近的粘性消滅極限と、その制限されたハミルトニアン・ヤコビ問題の一意性との間のギャップを埋めること。

提案手法

• 制約付きハミルトニアン・ヤコビ方程式を $ \partial_t u + H(I(t), x, d_x u) = 0 $ および $ \min_x u(t,x) = 0 $ として定式化し、$ I(t) $ は未知だが最小値条件によって制約される。
• 可測な時間依存性を有する粘性解理論を適用し、特に Ishii よりも、および Lions-Perthame の結果を援用して、制約付き設定における適切な定式化を確立する。
• ハミルトニアンの Legendre-Fenchel 変換である $ L $ を用いて、値関数 $ V(t,x) = \inf_{\gamma} \int_0^t L(s, \gamma(s), \dot{\gamma}(s)) \, ds + g(\gamma(0)) $ を用いた変分的特徴づけを導入する。
• ハミルトニアンの流れと可微分性理論を用いて後向き軌道を構成することで、任意の粘性解 $ u $ が $ u \geq V $ を満たすことを示す。
• 有界 Variation を持つ関数 $ I(t) $ を下からリプシッツ関数列 $ I_k(t) \nearrow I(t) $ で近似し、解の性質を保つようにする。
• 最小化曲線のコンパクト性と支配収束定理を用いて極限に移行し、$ u \geq V $ を得る。これより $ u = V $ が導かれ、一意性が証明される。

実験結果

リサーチクエスチョン

• RQ1 $ I(t) $ が滑らかまたは凸でない場合、有界 Variation に限定して粘性解の一意性が保たれるか？
• RQ2 非分離的かつ非凸なハミルトニアンに対しても、$ I(t) $ の最小限の正則性仮定のもとで一意性が確立可能か？
• RQ3 与えられた制約と仮定のもとで、変分的解 $ V(t,x) $ が唯一の粘性解であるか？
• RQ4 集団レベルの制約から生じるフィードバック関数 $ I(t) $ は、制限されたハミルトニアン・ヤコビ方程式の一意性にどのように影響を与えるか？

主な発見

• 粘性解の一意性は、以下の3つの主要仮定のもとで成立する：$ H $ が $ p $ に対して凸であること、$ H $ が $ I $ に対して単調であること、$ I(t) \in BV(0,T) $ であること。
• 解 $ u $ は値関数 $ V(t,x) $ と一致する。$ V(t,x) $ は絶対連続曲線に沿った作用積分の下界として特徴づけられる。
• 証明は、ハミルトニアンの流れを用いて後向き軌道を構成し、$ u $ の上位集合に可微分性定理を適用することに依存している。
• $ I(t) $ のリプシッツ関数による近似 $ I_k(t) $ を用いることで、リプシッツの場合の解の一意性を、収束議論により $ BV $ 場合に拡張できる。
• 従来、$ R(I,x) $ の強い凸性や分離可能性を仮定していた一意性結果を、非分離的かつ非凸な場合にもカバーする一般化が達成された。
• 最小正則性 $ I \in BV $ が一意性に十分であることが示され、これがこのような制約付き問題における自然な閾値であると考えられる。