[论文解读] Travelling waves for the cane toads equation with bounded traits

Émeric Bouin, Vincent Cálvez|Sep 18, 2013

Mathematical and Theoretical Epidemiology and Ecology Models被引用 12

一句话总结

本文建立了非局部反应-扩散-突变模型中行波解的存在性，该模型描述了澳大利亚的南美蟾蜍入侵过程，其中分散能力（表型特征）影响空间扩散。通过Schauder拓扑度方法与表型变量的谱分析，证明了最小波速 $c^*$ 的存在性，并在非局部性和非均匀扩散性的情况下构造了具有统一 $L^\infty$ 有界性的行波剖面。

ABSTRACT

In this paper, we study propagation in a nonlocal reaction-diffusion-mutation model describing the invasion of cane toads in Australia. The population of toads is structured by a space variable and a phenotypical trait and the space-diffusivity depends on the trait. We use a Schauder topological degree argument for the construction of some travelling wave solutions of the model. The speed $c^*$ of the wave is obtained after solving a suitable spectral problem in the trait variable. An eigenvector arising from this eigenvalue problem gives the flavor of the profile at the edge of the front. The major difficulty is to obtain uniform $L^\infty$ bounds despite the combination of non local terms and an heterogeneous diffusivity.

研究动机与目标

• 严格构造具有有界表型特征的非局部反应-扩散-突变模型的行波解，该模型描述了南美蟾蜍在澳大利亚的入侵过程。
• 解决由于非局部项和表型依赖扩散导致的种群密度统一 $L^\infty$ 有界性获取的重大挑战。
• 通过表型变量中的谱问题确定最小波速 $c^*$，并表征前缘处的剖面特征。
• 建立在前缘处衰减至零、且在前缘处保持远离零的非平凡正剖面的存在性。
• 完整证明此前正式宣布的结果，填补了入侵种群中空间-表型共同进化理论理解中的空白。

提出的方法

• 构建一个在空间 $x \in \mathbb{R}^n$ 和有界表型 $\theta \in (\theta_{\text{min}}, \theta_{\text{max}})$ 上的结构化种群模型，其中扩散系数依赖于 $\theta$。
• 应用Schauder拓扑度方法，构造形式为 $n(t,x,\theta) = \mu(x\cdot e - ct, \theta)$ 的行波解。
• 在表型变量中求解一个谱特征值问题，以确定最小波速 $c^*$，其对应的特征向量描述了前缘处的剖面形态。
• 使用Harnack不等式控制剖面 $\mu$ 的下界，建立前向区域中的一致正性。
• 采用与下解 $\psi_\eta(\xi,\theta) = m(1 + \eta\xi)Q^*(\theta)$ 的比较论证，证明 $\mu(\xi,\theta) \geq mQ^*(\theta)$ 对所有 $\xi \leq 0$ 成立，确保一致的下界。
• 通过反证法建立 $L^\infty$ 有界性，利用反应项的结构和解的归一化条件。

实验结果

研究问题

• RQ1 对于具有表型依赖扩散和有界表型的非局部反应-扩散-突变模型，行波解是否存在？
• RQ2 入侵前缘的最小波速 $c^*$ 是什么？它如何由表型变量的谱性质决定？
• RQ3 在存在非局部项和非均匀扩散性的情况下，如何建立种群密度的统一 $L^\infty$ 有界性？
• RQ4 波剖面在前缘和无穷远处的渐近行为如何？
• RQ5 前缘处的剖面如何与表型变量中谱问题的主特征向量相关联？

主要发现

• 通过Schauder度方法严格证明了速度为 $c^*$ 的行波解的存在性。
• 最小波速 $c^*$ 通过求解表型变量 $\theta$ 中的谱特征值问题确定。
• 剖面 $\mu(\xi,\theta)$ 满足对所有 $\xi \leq 0$ 有 $\mu(\xi,\theta) \geq mQ^*(\theta)$，其中 $m > 0$ 且 $Q^*$ 为主特征向量，确保前缘处的一致正性。
• 当 $\xi \to +\infty$ 时，解衰减至零，即 $\lim_{\xi \to +\infty} \mu(\xi, \cdot) = 0$，证实了前缘结构。
• 通过反证法结合下解 $\psi_\eta$ 建立了 $L^\infty$ 有界性，证明剖面在上下界上均保持一致有界。
• 归一化条件 $\varepsilon = \nu(0)$ 的选取使得在引理15的证明中，若存在序列 $\xi_n \to +\infty$ 满足 $\nu(\xi) \geq \delta > 0$，则产生矛盾，从而确认了在无穷远处的衰减。