[論文レビュー] Uniqueness in a class of Hamilton-Jacobi equations with constraints

Sepideh Mirrahimi, Jean‐Michel Roquejoffre|arXiv (Cornell University)|Feb 13, 2015

Mathematical Biology Tumor Growth参考文献 6被引用数 4

ひとこと要約

本稿は、解の最大値が常にゼロに保たれる動的制約を伴う時間依存型ハミルトニアン・ジャコビ方程式のクラスに対して、初めてのグローバル一意性結果を確立する。解 $(u, I(t))$ の一意性を証明することで、小拡散極限における選択的変異型集団モデルの強い収束性と誤差推定が可能となり、集団が時間に応じて変化する支配的特性に集中することが可能となる。

ABSTRACT

In this note, we discuss a class of time-dependent Hamilton-Jacobi equations depending on a function of time, this function being chosen in order to keep the maximum of the solution to the constant value 0. The main result of the note is that the full problem has a unique classical solution. The motivation is a selection-mutation model which, in the limit of small diffusion, exhibits concentration on the zero level set of the solution of the Hamilton-Jacobi equation. The uniqueness result that we prove implies strong convergence and error estimates for the selection-mutation model.

研究の動機と目的

• 時間依存パrameter $I(t)$ を用いて解の最大値が常にゼロに保たれる、時間依存型ハミルトニアン・ジャコビ方程式のクラスにおける一意性問題を解消すること。
• 小拡散極限 ($\varepsilon \to 0$) における選択的変異型集団モデルについて、集団密度がハミルトニアン・ジャコビ解のゼロレベル集合に集中する場合の強い収束性と誤差推定を確立すること。
• 集団密度 $n_\varepsilon$、特性集中点 $x_\varepsilon$、資源レベル $I_\varepsilon$ の $\varepsilon$ のべき級数としての厳密な漸近展開を提供すること。
• 制限されたハミルトニアン・ジャコビ問題の解の一意性を活用して、解の全列 $(n_\varepsilon)$ が（部分列ではなく）収束することを示すこと。
• 集団が時間に応じて変化する支配的特性に集中するという生物学的解釈を検証すること。その極限測度は $\bar{x}(t)$ に集中する。

提案手法

• 動的制約を伴うハミルトニアン・ジャコビ問題を定式化：$\partial_t u = |\nabla u|^2 + R(x, I(t))$ および $\max_x u(t,x) = 0$、ここで $I(t)$ は時間の未知関数である。
• 特性曲線法を用いて、差 $r = V(I_1) - V(I_2)$ の線形化方程式を解析し、$I(t)$ の摂動に対する解の感度を評価する。
• 重要な推定式を確立：$\|V(I_1) - V(I_2)\|_{W^{2,\infty}} \leq C \|I_1 - I_2\|_{L^\infty} \delta$。これは小さな時間区間において収縮的挙動を示す。
• 時間区間 $[0, \delta]$ で、解写像 $I \mapsto V(I)$ のリプシッツ連続性と特性フローの陰関数定理を用いた固定点法を適用する。
• $R(x,I)$ の厳密な凹性と $I(t) \in [0, I_M]$ の有界性に依存して、局所解をグローバルな存在と一意性に拡張する。
• ホプフ＝コール変換 $n_\varepsilon = \exp(u_\varepsilon / \varepsilon)$ を用いて、$n_\varepsilon$ の放物型PDE と $u_\varepsilon$ のハミルトニアン・ジャコビ方程式を結びつけ、漸近解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 与えられた正則性および凹性仮定の下で、制約付きハミルトニアン・ジャコビ方程式の解 $(u, I(t))$ は一意に定まるか？
• RQ2 集団密度 $n_\varepsilon$ が $\varepsilon \to 0$ の全列に対して、時間に応じて変化する特性 $\bar{x}(t)$ に集中する測度に収束することが、部分列ではなく全列で示せるか？
• RQ3 $I_\varepsilon$、$x_\varepsilon$、$u_\varepsilon$ の高次漸近展開は $\varepsilon$ のべき級数としてどのように得られるか？
• RQ4 $n_\varepsilon$ の収束に関する誤差推定は、繁殖率 $R(x, I)$ の正則性および凹性にどのように依存するか？
• RQ5 極限測度の正確な形態は何か？また、振幅 $\bar{\rho}(t)$ は解 $I(t)$ と資源関数 $\psi(x)$ とどのように関係するか？

主な発見

• $R$ が $C^2$ で、$x$ に関して厳密に凹で、$\max_x R(x, I_M) = 0 = R(0, I_M)$ となる $I_M > 0$ が存在するという仮定の下で、方程式 (1) は一意な古典解 $(u, I(t))$ を持つ。
• 解は $u \in L^\infty_{\text{loc}}(\mathbb{R}^+; W^{3,\infty}_{\text{loc}}(\mathbb{R}^d)) \cap W^{1,\infty}_{\text{loc}}(\mathbb{R}^+; L^\infty_{\text{loc}}(\mathbb{R}^d))$ および $I \in W^{1,\infty}(\mathbb{R})$ を満たす。
• $\varepsilon \to 0$ のとき、全列 $n_\varepsilon$ は測度の意味で弱収束し、$\bar{\rho}(t) \delta(x - \bar{x}(t))$ に収束する。ここで $\bar{\rho}(t) = I(t)/\psi(\bar{x}(t))$ である。
• 選択的変異モデルの解について、$I_\varepsilon = I + \varepsilon I_1 + o(1)$、$x_\varepsilon = \bar{x} + \varepsilon \bar{x}_1 + o(1)$、$u_\varepsilon = u + \varepsilon \log(r / \varepsilon^{d/2}) + \varepsilon u_1 + o(1)$ の漸近展開が確立された。
• $n_\varepsilon$ の収束は時間のコンパクト集合上で強い収束かつ一様収束であり、誤差推定は展開式の $o(1)$ 項によって定量的に評価されている。
• 長年の未解決問題であった、このクラスの制約付きハミルトニアン・ジャコビ方程式における一意性の問題が、本研究で解決された。これは、かつては特殊な場合にしか知られていなかった。