[论文解读] 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$ 处 Neumann 型边界条件 $B[u] = \alpha u - \beta u_x$ 和在移动边界 $x=h(t)$ 处零 Dirichlet 条件的扩散逻辑斯蒂方程构建自由边界问题。
• 利用移动边界条件 $h'(t) = -\mu u_x(t, h(t))$ 来建模由前沿种群梯度驱动的扩张速度。
• 应用谱理论和主特征值 $\lambda_1(\ell; d, m)$ 来刻画解的长期行为。
• 运用比较原理和上下解方法，推导 $h(t)/t$ 在 $t \to \infty$ 时的传播速度估计。
• 基于 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)$，则对所有 $\mu > 0$ 均发生传播，与 $h_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$ 为相关行波问题中的波速。