[论文解读] A Free Boundary Problem for a Predator-prey Model with Double Free Boundaries

Mingxin Wang, Jingfu Zhao|arXiv (Cornell University)|Dec 30, 2013

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

一句话总结

本文研究了一个具有双重自由边界的一维栖息地中捕食者物种扩张边界的捕食者-猎物模型。通过采用具有Stefan型移动边界条件的反应-扩散系统，作者建立了传播-消失二分法：捕食者要么成功扩散至无穷远并稳定在正平衡态（传播），要么未能建立而消失（消失），其精确判据取决于模型参数，如捕食效率和初始栖息地大小。

ABSTRACT

In this paper we investigate a free boundary problem for a predator-prey model with double free boundaries in one space dimension. This system models the expanding of an invasive or new predator species in which the free boundaries represent expanding fronts of the predator species and are described by Stefan-like condition. We prove a spreading-vanishing dichotomy for this model, namely the predator species either successfully spreads to infinity as $t o \infty$ at both fronts and survives in the new environment, or it fails to establish and dies out in the long run while the prey species stabilizes at a positive equilibrium state. The long time behavior of solution and criteria for spreading and vanishing are also obtained.

研究动机与目标

• 使用自由边界问题对捕食者物种在新栖息地中空间扩张进行建模。
• 理解由种群压力驱动的移动边界下的捕食者与猎物种群长期动态。
• 为捕食者建立传播-消失二分法，以确定其是否能成功入侵或最终灭绝。
• 基于模型参数（如捕食率、扩散系数和初始栖息地大小）推导传播与消失的显式判据。

提出的方法

• 构建一个具有双重自由边界 $g(t)$ 和 $h(t)$ 的捕食者-猎物相互作用反应-扩散系统，分别表示左右扩张前沿。
• 施加Stefan型条件 $g'(t) = -\mu u_x(t,g(t))$ 和 $h'(t) = -\mu u_x(t,h(t))$，以建模由捕食者种群梯度驱动的边界运动。
• 利用比较原理和上下解方法分析移动域中解的长期行为。
• 应用具有自由边界的抛物型方程理论，证明所有 $t > 0$ 下解的存在性、唯一性及正则性。
• 采用渐近分析和大区域中解的极限行为，推导传播-消失二分法。
• 利用辅助椭圆问题和收敛结果，估计长期种群水平与边界动态。

实验结果

研究问题

• RQ1 在何种条件下捕食者物种能成功扩散并在新环境中持续存在？
• RQ2 尽管初始引入，捕食者种群为何会随时间消失？
• RQ3 移动边界 $g(t)$ 和 $h(t)$ 如何演化，其渐近行为由什么决定？
• RQ4 在传播或消失情景下，捕食者与猎物种群的长期平衡水平是什么？
• RQ5 捕食效率 $c$、扩散 $D$ 和初始栖息地大小 $h_0$ 等参数如何影响入侵结果？

主要发现

• 传播-消失二分法成立：要么 $h(t) \to \infty$ 且 $g(t) \to -\infty$（传播），要么 $h(t) - g(t) \to h_\infty - g_\infty \leq \pi \sqrt{1/(1+ab)}$（消失）。
• 在传播情况下，若 $b > c$ 且 $ac < 1$，则当 $t \to \infty$ 时，$u(t,x) \to a/b$ 且 $v(t,x) \to b$；若 $b \leq c$，则 $u(t,x) \to 1$ 且 $v(t,x) \to 0$。
• 在消失情况下，当 $t \to \infty$ 时，$\|u(t,x)\|_{C[g(t),h(t)]} \to 0$ 且 $v(t,x) \to b$。
• 捕食者的传播速度渐近为线性：当 $t \to \infty$ 时，$h(t) \sim k_0 t$，其中 $k_0 > 0$。
• 传播或消失的判据取决于初始栖息地大小 $h_0$、捕食率 $c$ 以及参数 $a$、$b$、$c$、$D$ 和 $\mu$。
• 长期行为由捕食者扩散、猎物增长与捕食强度之间的相互作用决定，且已从模型参数中推导出明确的临界阈值。