[論文レビュー] The diffusive competition model with a free boundary: Invasion of a superior or inferior competitor

Yihong Du, Zhigui Lin|arXiv (Cornell University)|Mar 3, 2013

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 6被引用数 13

ひとこと要約

本稿は、侵入種（u）が、径対称性をもつ領域において、在来種（v）と競争する拡散的競争モデルを、自由境界（h(t)）で表すものである。uが優越的競争相普遍存在する場合、uは無限に拡散してvを絶滅に追い込むか、あるいは拡散に失敗して消滅するという、拡散・消滅二分法が成立する。uが劣悪な競争相普遍存在する場合、vは漸近的に常に優位になる。

ABSTRACT

In this paper we consider the diffusive competition model consisting of an invasive species with density $u$ and a native species with density $v$, in a radially symmetric setting with free boundary. We assume that $v$ undergoes diffusion and growth in $\R^N$, and $u$ exists initially in a ball $\{r0$ is a given constant and $u(t,h(t))=0$. Thus the population range of $u$ is the expanding ball $\{r

研究の動機と目的

• 自由境界を伴う径対称領域における、侵入種（u）と在来種（v）の長期的ダイナミクスを分析すること。
• 侵入種uの競争能力に応じて、それが無限に拡散するか、消滅するかを特定すること。
• 侵入種が優越的競争相普遍存在する場合の拡散・消滅二分法を確立すること。
• 侵入種が劣悪な競争相普遍存在する場合の漸近的挙動を検討すること。
• 拡散が発生する場合の拡散速度の推定を行うこと。

提案手法

• 侵入種uが {r < h(t)} の領域に拡散し、vが \mathbb{R}^N を占める反応拡散系に自由境界 $ h(t) $ を導入する。
• 境界での前進を勾配 $ u_r(t, h(t)) $ に従って記述する自由境界条件 $ h'(t) = -\mu u_r(t, h(t)) $ を課す。
• 進行波解のプロファイルから構成した上界解と下界解を用いて、比較原理を適用し、長期的挙動を分析する。
• 移動境界を伴う放物型PDEの理論を用い、特に $ r=0 $ におけるノイマン条件と径対称性を考慮する。
• 上界解 $ (u^*, v_*) $ と下界解を用いて解の挙動を評価し、拡散または消滅の結果を導出する。
• 進行波解と漸近的プロファイルの存在に依拠し、比較関数を構成し、不等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 侵入種uが、径対称領域において在来種vと競争する際、どのような条件下で無限に拡散するか、あるいは消滅するか。
• RQ2 競争優位性（優越的 vs 劣悪な競争相普遍存在）が、侵入の長期的結果にどのように影響するか。
• RQ3 t \to \infty のとき、uとvの人口の漸近的挙動は何か。初期状態にどのように依存するか。
• RQ4 拡散が発生する場合、侵入種の拡散速度を推定できるか。
• RQ5 自由境界 $ h(t) $ はどのように変化するか。境界が有界のままであるか、あるいは無限に拡張するかの決定要因は何か。

主な発見

• uが優越的競争相普遍存在する場合、拡散・消滅二分法が成立する：$ h(t) \to \infty $ かつ $ (u,v) \to (u^*, 0) $ であるか、$ \lim_{t\to\infty} h(t) < \infty $ かつ $ (u,v) \to (0, v^*) $ である。
• 拡散が発生する場合、拡散速度は $ \lim_{t\to\infty} h(t)/t = k_0 \in (0, 2\sqrt{a_1 d_1}) $ を満たし、漸近的速さの粗い推定が得られる。
• uが劣悪な競争相普遍存在する場合、解は常に $ t \to \infty $ で $ (0, v^*) $ に収束する。これはuの消滅とvの優位性を意味する。
• 進行波プロファイルを用いて構成された適切な上界解 $ (u^*, v_*) $ の存在により、比較原理を用いて二分法を確立できる。
• 比較原理は、上界解が径対称性条件 $ u_r(t,0) = v_r(t,0) = 0 $ を厳密に満たさない場合でも、理論の一般化により適用可能である。
• 長期的挙動は、反応項に符号化された相対的競争強度、特に係数 $ a_i, b_i, c_i $ に完全に依存する。