[論文レビュー] The diffusive logistic equation with a free boundary and sign-changing coefficient

Mingxin Wang|arXiv (Cornell University)|Apr 17, 2014

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 15被引用数 5

ひとこと要約

本稿は、侵入種の拡散をモデル化するため、自由境界と符号が変わる係数を有する拡散的ロジスティック方程式を研究し、拡散・消滅の二分岐を確立する。初期生息地のサイズ、拡散率、および移動パラメータ $\mu$ に依存する、拡散または絶滅の鋭い基準を導出し、拡散が発生する際の自由境界の漸近的拡散速度の推定を行う。

ABSTRACT

This short paper concerns a diffusive logistic equation with the heterogeneous environment and a free boundary, which is formulated to study the spread of an invasive species, where the free boundary represents the expanding front. A spreading-vanishing dichotomy is derived, namely the species either successfully spreads to the right-half-space as time $t o\infty$ and survives (persists) in the new environment, or it fails to establish and will extinct in the long run. The sharp criteria for spreading and vanishing is also obtained. When spreading happens, we estimate the asymptotic spreading speed of the free boundary.

研究の動機と目的

• 変動する成長率を有する不均一な環境への侵入種の長期的ダイナミクスを理解すること。
• 内在的成長率 $m(x)$ が符号を変えることを許容することで、既存の自由境界モデルを拡張すること。
• 拡散・消滅の二分岐を確立し、種が新しい環境に定着するか否かの鋭い基準を導出すること。
• 種が成功して拡散する場合の拡張フロントの漸近的拡散速度を推定すること。
• 初期生息地サイズ $h_0$、拡散率 $d$、および移動パラメータ $\mu$ といった主要パラメータが侵入の結果に与える影響を分析すること。

提案手法

• 境界 $x=0$ でノイマン型境界条件 $B[u] = \alpha u - \beta u_x$ を、移動境界 $x=h(t)$ でゼロディリクレ条件を満たす、自由境界問題として拡散的ロジスティック方程式を定式化する。
• 境界の移動条件 $h'(t) = -\mu u_x(t, h(t))$ を用いて、フロントにおける人口勾配に起因する拡張速度をモデル化する。
• スペクトル理論と主固有値 $\lambda_1(\ell; d, m)$ を用いて、解の長期的挙動を特徴付ける。
• 比較原理および上界・下界解を用いて、$t \to \infty$ の際の拡散速度 $h(t)/t$ の推定を行う。
• Du & Lin (2009) および Zhou & Xiao (2014) の既知の結果に依拠し、より弱い仮定の下で符号が変わる $m(x)$ に対しても解析を拡張する。
• 上界および下界における拡散速度を評価するために、$w_k(x)$ — 方程式 $-d w'' + k w' = w(c - w)$ の移動波解 — を含む補助問題を用いる。

実験結果

リサーチクエスチョン

• RQ1 種が右半直線全体に成功して拡散し、存続する条件は何か？
• RQ2 初期状態に存在するにもかかわらず、種が定着できず最終的に絶滅する条件は何か？
• RQ3 初期生息地サイズ $h_0$、拡散率 $d$、および移動パラメータ $\mu$ が、拡散または消滅の結果に与える影響は何か？
• RQ4 拡散が発生する場合、自由境界 $h(t)$ の漸近的拡散速度は何か？
• RQ5 $d$、$\mu$、$h_0$、および $m(x)$ に明示的に依存する、拡散対消滅の鋭い基準を導出できるか？

主な発見

• 拡散・消滅の二分岐が成立する：$h_\infty = \infty$ かつ $u(t,x) \to \hat{u}(x) > 0$ がコンパクト集合上で一様に収束するか、$h_\infty \leq h^*$ かつ $t \to \infty$ の際 $\max_{x \in [0,h(t)]} u(t,x) \to 0$ となる。
• もし $h_0 \geq h^*$ であれば、ここで $h^*$ は $\lambda_1(h^*; d, m) = 0$ を満たす解であり、すべての $\mu > 0$ に対して拡散が発生する。
• もし $h_0 < h^*$ であれば、ある臨界値 $\mu^* > 0$ が存在し、$\mu > \mu^*$ のとき拡散が発生するが、$\mu \leq \mu^*$ のときは消滅が発生する。
• もし $d \leq d^*$ であれば、ここで $d^*$ は $h_0$ および $m(x)$ に依存するが、$h_0$ に関係なくすべての $\mu > 0$ に対して拡散が発生する。
• もし $d > d^*$ であれば、ある臨界値 $\mu^*$ が存在し、$\mu > \mu^*$ のとき拡散が発生するが、$\mu \leq \mu^*$ のときは消滅が発生する。
• 漸近的拡散速度は、$k_0(\mu, m_1) \leq \liminf_{t \to \infty} h(t)/t \leq \limsup_{t \to \infty} h(t)/t \leq k_0(\mu, m_2)$ を満たす。ここで $m_1 = \inf_{x \geq \ell} m(x)$、$m_2 = \sup_{x \geq \ell} m(x)$ であり、$k_0$ は関連する移動波問題からの波速である。