Dynamics of a nonlocal epidemic model with a new free boundary condition, part 1: Spreading-vanishing dichotomy

技術要約：新しい自由境界条件を伴う非局所的流行モデルのダイナミクス、第1部

問題提起
本論文は、1次元の流行領域 $[g(t), h(t)]$ 内における病原体（密度 $u$）と感染した人間（密度 $v$）の相互作用を記述する、非局所的流行モデルの長期的なダイナミクスを調査するものである。この領域は時間の経過とともに拡大または収縮し、$g(t)$ および $h(t)$ は自由境界を表す。本システムは、両種の移動がカーネル関数 $J_1$ および $J_2$ を含む積分演算子によって制御される、非局所的な拡散メカニズムを組み込んでいる。

本研究の核心的な革新は、新しい自由境界条件の定式化にある。境界の拡大率が、種の外向きのフラックス（ステファン条件に類似したもの）のみ、あるいは加重された総人口のみによって決定される従来のモデルとは異なり、本モデルは、拡大率 $h'(t)$（および $g'(t)$）が以下の線形結合に比例すると提案している：

1. 境界を通る病原体 $u$ の外向きフラックス（環境による分散、例えば水による拡散などを表す）。
2. 領域内の感染個体の加重された総人口（人間主導の拡大を表す）。

数学的に、自由境界条件は次のように与えられる：
$$h'(t) = \mu \int_{g(t)}^{h(t)} \left[ u(t, x)W_{J_1}(h(t)-x) + \rho v(t, x)W(h(t)-x) \right] dx$$
$$g'(t) = -\mu \int_{g(t)}^{h(t)} \left[ u(t, x)W_{J_1}(h(t)-x) + \rho v(t, x)W(h(t)-x) \right] dx$$
ここで、$W_{J_1}$ は病原体カーネルの裾積分であり、$W$ は人間の分散カーネルとは独立した重み関数である。

手法
著者らは、不動点理論、比較原理、およびスペクトル解析を組み合わせた厳密な解析的枠組みを採用している：

1. 適正存在性（Well-posedness）: 固定された境界を持つ関連する反応拡散系の解に基づき、縮小写像定理を用いて、大域的な解の存在と一意性を確立する。著者らは、境界関数 $(g, h)$ のための適切な完全距離空間を定義し、写像を構成する。
2. 比較原理: 上界および下界を用いて解 $(u, v)$ と境界 $(g, h)$ を抑え込むために、一連の比較補題を開発する。これらの原理は、漸近挙動の分析および二分法（dichotomy）の結果を証明するために極めて重要である。
3. スペクトル解析: 本研究は、有限区間上で定義された関連する非局所固有値問題の主固有値 $\lambda_p$ に大きく依存している。$\lambda_p$ の符号は、零平衡の安定性を決定し、疾患が蔓延するか消失するかを規定する。
4. 漸近解析: 長期的な振る舞いは、以下の2つのシナリオを区別することによって分析される：
   • 消失（Vanishing）: 境界が有限の区間に収束し、密度がゼロに減衰する。
   • 蔓延（Spreading）: 境界が無限に拡大し、密度が唯一の正の定常状態に局所一様に収束する。

主要な貢献と結果

1. 大域的存在性と一意性 (定理 1.1): 本論文は、提案された新しい混合自由境界条件を持つ非局所システムが、初期データおよびカーネル関数が標準的な正則性と正値性の条件を満たす場合、すべての $t > 0$ に対して一意の大域的解を持つことを証明している。

2. 蔓延・消失の二分法 (定理 1.2): 長期的なダイナミクスは、明確な二分法によって特徴付けられる。パラメータに応じて、システムは以下のいずれかとなる：

   • 消失: 流行領域は有界なままとなり（$g_\infty, h_\infty$ は有限）、病原体および感染人口の密度は $(0, 0)$ に一様に収束する。
   • 蔓延: 流行領域は実数全体へと拡大し（$g_\infty = -\infty, h_\infty = +\infty$）、密度は一意の正の定常状態 $(u^*, v^*)$ に局所一様に収束する。

3. 蔓延と消失の鋭い判定基準 (定理 1.3): 著者らは、どちらの結果が生じるかを決定する精密な条件を導出している：

   • $R_0 < 1$ の場合、常に消失が起こる。
   • $R_0 \geq (1 + d_1/a)(1 + d_2/b)$ の場合、常に蔓延が起こる。
   • 中間領域（$1 < R_0 < (1 + d_1/a)(1 + d_2/b)$）では、結果は初期ドメインサイズ $h_0$ と拡大係数 $\mu$ に依存する：
     • $h_0$ が十分に大きい場合（$h_0 \geq L^*$）、蔓延が起こる。
     • $h_0$ が小さい場合、初期データに依存する臨界閾値 $\mu^*$ が存在し、$\mu \leq \mu^*$ では消失が起こり、$\mu > \mu^*$ では蔓延が起こる。
     • 同様に、固定された小さなドメインに対しては、初期人口の大きさ $\sigma$ に関する閾値が存在する。

4. 拡散率の閾値 (定理 1.4): 本論文は、拡散率の閾値を確立している。拡散係数を $(d_1, d_2) = s(d_1^0, d_2^0)$ としてスケーリングすることにより、著者らは臨界値 $d^*$ を特定している：

   • $s \leq d^*$ （遅い拡散）の場合、蔓延が常に起こる（$R_0 > 1$ を仮定）。
   • $s > d^*$ （速い拡散）の場合、結果は拡大係数 $\mu$ に依存し、初期データのケースと同様の二分性を示す。
   • この結果は、拡散率が等しいケースを解決し、一般的なケースに対する閾値を提供することで、Nguyen および Vo [30] による先行研究を補完するものである。

5. 臨界ケース $R_0 = 1$: $R_0 = 1$ の場合、一般に消失が起こる（密度はゼロに近づく）ことを示している。ただし、最終的な区間の有限性を証明するには、重み関数 $W$ または感染率関数 $G$ に関する追加の条件が必要である。

意義と主張
本論文は、非局所的分散と生物学的に動機付けられたハイブリッドな自由境界条件を統合した、新しいクラスの流行モデルのための包括的な理論的基礎を提供することを主張している。その意義は以下の点にある：

• 統合: 純粋にフラックスによって駆動されるモデル（Caoら [4]）と、純粋に人口の重みによって駆動されるモデル（Longら [27]）の間の溝を埋め、環境媒介および人間媒介の両方の伝播を持つ疾患をモデリングするための、より柔軟な枠組みを提供している。
• 鋭い閾値: 初期ドメインサイズ、拡大係数、および拡散率に関する鋭い閾値の導出は、疾患の結末を予測するための精密な基準を提供しており、これは制御戦略にとって極めて重要である。
• 数学的厳密性: 本研究は、非局所的自由境界問題の理論を拡張し、特に新しい境界条件の下での適正存在性と漸近的ダイナミクスを扱っており、非局所的拡散と混合境界駆動因子の相互作用に関する既存の文献の空白を埋めるものである。

本研究は、2部構成のシリーズの第1部として提示されており、第2部では、蔓延が起こる場合の正確な伝播速度および加速的な蔓延の速度を決定することに充てられる。