极速滚球-beplay滚球玩法刺激-beplay体育官网网页版等您来挑战！

aam

Advances in Applied Mathematics

2324-7991 2324-8009

beplay体育官网网页版等您来挑战！

10.12677/aam.2024.138380

aam-94671

Articles

数学与物理

移动环境下三种群Lotka-Volterra竞争合作系统行波解的存在性
The Existence of Traveling Wave Solutions for Three Species Lotka-Volterra Competitive-Cooperative System under a Shifting Habitat

陈碧霞

长沙理工大学数学与统计学院，湖南长沙

30 07 2024

13 08 3989 4000 21 7 ：2024 13 7 ：2024 13 8 ：2024

2024

This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

考虑在移动环境下局部扩散三种群Lotka-Volterra竞争合作系统行波解的存在性，并假设此系统的内禀增长率函数恒大于某正常数。通过构造一对有序的上下解并利用单调迭代技巧和波动引理，证明了系统的非负受迫行波的存在性。
We consider the existence of traveling wave solutions for Lotka-Volterra competitive-cooperative system with three-species under a shifting habitat, and assume that the intrinsic growth rate functions of this system are greater than the normal numbers. We prove the existence of non-negative forced traveling waves of the system by constructing a pair of upper and lower solutions and using monotonic iterative techniques and the fluctuation lemma.

移动环境，Lotka-Volterra竞争合作系统，单调迭代，波动引理
Shifting Habitat
Lotka-Volterra Competitive-Cooperative System Monotonic Iteration Fluctuation Lemma

1. 引言

在生态种群动力学的研究中，如持久生存等问题都可以通过建立适当的反应扩散方程模型来进行研究 [1] - [5] 。自然界中普遍存在合作、竞争和捕食 [6] - [8] 等种间关系，并且多物种之间的种间关系作用产生的动力学受到了广大学者的关注。特别地，竞争与合作关系被学者广泛研究，是多种群生态种群动力学的研究基础。因此，研究多种群反应扩散竞争合作系统行波的存在性具有重要的生物学意义。与此同时，种间的相互作用会产生相互耦合的非线性项，这为我们的研究工作带来了困难和挑战。

为了分析三种群Lotka-Volterra竞争合作系统的动力学，众多学者进行了广泛的研究 [9] - [14] 。Chen等人 [9] 考虑了三种群Lotka-Volterra竞争扩散模型，证明了非平凡行波解的存在性与稳定性并进行了数值模拟。后来，Mimura等人 [10] 考虑了一个弱的外来竞争物种入侵一个两个物种强烈竞争的系统的情况，讨论了三种群竞争–扩散系统竞争者介导共存的可能性。除此之外，Yang等人 [6] 讨论了气候变化下局部扩散Lotka-Volterra合作系统受迫行波的存在性和渐近行为。特别地，Hsu等人 [11] 建立了离散扩散的三种群Lotka-Volterra竞争合作系统来研究行波的存在性和稳定性，并且假设增长函数都是正常数。受上述研究工作的启发，我们考虑了增长函数为恒正的连续非减函数而非恒为正常数的情形，即研究了如下移动环境下局部扩散三种群Lotka-Volterra竞争合作系统

${\begin{array}{l} \begin{array}{l} \frac{\partial u (t, x)}{\partial t} = d_{1} \frac{\partial^{2} u (t, x)}{\partial x^{2}} + u (t, x) [r_{1} (x - c t) - u (t, x) + h v (t, x) - a_{1} w (t, x)] \\ \frac{\partial v (t, x)}{\partial t} = d_{2} \frac{\partial^{2} v (t, x)}{\partial x^{2}} + v (t, x) [r_{2} (x - c t) - v (t, x) + k u (t, x) - a_{2} w (t, x)] \end{array} \\ \frac{\partial w (t, x)}{\partial t} = d_{3} \frac{\partial^{2} w (t, x)}{\partial x^{2}} + w (t, x) [r_{3} (x - c t) - w (t, x) - b_{1} u (t, x) - b_{2} v (t, x)] \end{array}$ (1)

行波解的存在性，且假设如下条件成立：

(H1) $d_{1} \geq d_{2} \geq d_{3}$ ， $a_{1} < a_{2}$ 且 $h, k, a_{i}, b_{i} \in (0, 1), i = 1, 2$ 。

(H2) $r_{i} (- \infty) > a_{i} (i = 1, 2)$ ， $r_{1} (- \infty) (b_{1} + b_{2} k) + r_{2} (- \infty) (b_{2} + b_{1} h) > r_{3} (- \infty) (1 - h k) > 0$ 。

(H3) 函数 $r_{i} (\cdot)$ 在 $ℝ$ 上非减有界且连续，并满足 $0 < r_{i} (- \infty) < r_{i} (+ \infty) = 1 (i = 1, 2, 3)$ 。

其中 $c > 0$ ， $x \in ℝ$ 。 $u (t, x)$ ， $v (t, x)$ 和 $w (t, x)$ 分别表示3个物种在时刻t位置x处的种群密度， $d_{i} > 0 (i = 1, 2, 3)$ 表示种群扩散速率， $a_{1}, a_{2}, b_{1}, b_{2}$ 表示物种间的竞争速率， $h, k$ 表示种间合作率。在系统(1)中，种群u和v是相互合作的，而种群w与种群u、v是竞争的。

首先将系统(1)的受迫行波解记作 $(ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)), ξ = x - c t$ ，代入系统(1)可得

${\begin{array}{l} \begin{array}{l} - c {ϕ^{'}}_{1} (ξ) = d_{1} {ϕ^{″}}_{1} (ξ) + ϕ_{1} (ξ) [r_{1} (ξ) - ϕ_{1} (ξ) + h ϕ_{2} (ξ) - a_{1} ϕ_{3} (ξ)], \\ - c {ϕ^{'}}_{2} (ξ) = d_{2} {ϕ^{″}}_{2} (ξ) + ϕ_{2} (ξ) [r_{2} (ξ) - ϕ_{2} (ξ) + k ϕ_{1} (ξ) - a_{2} ϕ_{3} (ξ)], \end{array} \\ - c {ϕ^{'}}_{3} (ξ) = d_{3} {ϕ^{″}}_{3} (ξ) + ϕ_{3} (ξ) [r_{3} (ξ) - ϕ_{3} (ξ) - b_{1} ϕ_{1} (ξ) - b_{2} ϕ_{2} (ξ)], \end{array}$ (2)

另外，系统(2)对应的极限方程组分别为

${\begin{array}{l} \begin{array}{l} - c {ϕ^{'}}_{1} (ξ) = d_{1} {ϕ^{″}}_{1} (ξ) + ϕ_{1} (ξ) [r_{1} (+ \infty) - ϕ_{1} (ξ) + h ϕ_{2} (ξ) - a_{1} ϕ_{3} (ξ)] \\ - c {ϕ^{'}}_{2} (ξ) = d_{2} {ϕ^{″}}_{2} (ξ) + ϕ_{2} (ξ) [r_{2} (+ \infty) - ϕ_{2} (ξ) + k ϕ_{1} (ξ) - a_{2} ϕ_{3} (ξ)] \end{array} \\ - c {ϕ^{'}}_{3} (ξ) = d_{3} {ϕ^{″}}_{3} (ξ) + ϕ_{3} (ξ) [r_{3} (+ \infty) - ϕ_{3} (ξ) - b_{1} ϕ_{1} (ξ) - b_{2} ϕ_{2} (ξ)] \end{array}$ (3)

和

${\begin{array}{l} \begin{array}{l} - c {ϕ^{'}}_{1} (ξ) = d_{1} {ϕ^{″}}_{1} (ξ) + ϕ_{1} (ξ) [r_{1} (- \infty) - ϕ_{1} (ξ) + h ϕ_{2} (ξ) - a_{1} ϕ_{3} (ξ)], \\ - c {ϕ^{'}}_{2} (ξ) = d_{2} {ϕ^{″}}_{2} (ξ) + ϕ_{2} (ξ) [r_{2} (- \infty) - ϕ_{2} (ξ) + k ϕ_{1} (ξ) - a_{2} ϕ_{3} (ξ)], \end{array} \\ - c {ϕ^{'}}_{3} (ξ) = d_{3} {ϕ^{″}}_{3} (ξ) + ϕ_{3} (ξ) [r_{3} (- \infty) - ϕ_{3} (ξ) - b_{1} ϕ_{1} (ξ) - b_{2} ϕ_{2} (ξ)], \end{array}$ (4)

通过简单计算，我们发现系统(2)的极限系统存在12个平衡点：

$\begin{array}{l} E_{1} = (0, 0, 0), E_{2} = (1, 0, 0), E_{3} = (0, 1, 0), E_{4} = (0, 0, 1), E_{5} = (0, \frac{1 - a_{2}}{1 - a_{2} b_{2}}, \frac{1 - b_{2}}{1 - a_{2} b_{2}}), \\ E_{6} = (\frac{1 - a_{1}}{1 - a_{1} b_{1}}, 0, \frac{1 - b_{1}}{1 - a_{1} b_{1}}), E_{7} = (\frac{1 + h}{1 - h k}, \frac{1 + k}{1 - h k}, 0) : = (k_{1}^{+}, k_{2}^{+}, 0), E_{8} = (\frac{u^{+}}{D}, \frac{v^{+}}{D}, \frac{w^{+}}{D}), \\ E_{9} = (0, \frac{r_{2} (- \infty) - a_{2} r_{3} (- \infty)}{1 - a_{2} b_{2}}, \frac{r_{3} (- \infty) - b_{2} r_{2} (- \infty)}{1 - a_{2} b_{2}}), E_{10} = (\frac{r_{1} (- \infty) - a_{1} r_{3} (- \infty)}{1 - a_{1} b_{1}}, 0, \frac{r_{3} (- \infty) - b_{1} r_{1} (- \infty)}{1 - a_{1} b_{1}}), \\ E_{11} = (\frac{r_{1} (- \infty) + h r_{2} (- \infty)}{1 - h k}, \frac{r_{2} (- \infty) + k r_{1} (- \infty)}{1 - h k}, 0), E_{12} = (\frac{u^{-}}{D}, \frac{v^{-}}{D}, \frac{w^{-}}{D}) . \end{array}$

其中

${\begin{array}{l} \begin{array}{l} u^{+} = [a_{1} - a_{1} b_{2} + a_{2} b_{2} + a_{2} h - h - 1], \\ v^{+} = [a_{2} - a_{2} b_{1} + a_{1} b_{1} + a_{1} k - k - 1], \end{array} \\ w^{+} = [b_{1} + b_{2} + b_{1} h + b_{2} k + h k - 1], \end{array}$

${\begin{array}{l} \begin{array}{l} u^{-} = [- r_{1} (- \infty) (1 - a_{2} b_{2}) - r_{2} (- \infty) (h + a_{1} b_{2}) + r_{3} (- \infty) (a_{1} + a_{2} h)], \\ v^{-} = [- r_{2} (- \infty) (1 - a_{1} b_{1}) - r_{1} (- \infty) (k + a_{2} b_{1}) + r_{3} (- \infty) (a_{2} + a_{1} k)], \end{array} \\ w^{-} = [- r_{3} (- \infty) (1 - h k) + r_{1} (- \infty) (b_{1} + b_{2} k) + r_{2} (- \infty) (b_{2} + b_{1} h)], \end{array}$

$D = a_{1} b_{1} + a_{2} b_{2} + a_{2} b_{1} h + a_{1} b_{2} k + h k - 1.$

由于种群u和v是相互合作的，而种群w与种群u、v是竞争的，所以我们只考虑连接平衡点

$E_{11} (\frac{r_{1} (- \infty) + h r_{2} (- \infty)}{1 - h k}, \frac{r_{2} (- \infty) + k r_{1} (- \infty)}{1 - h k}, 0)$ 和 $E_{4} (0, 0, 1)$ 的行波解。

我们将 $(ϕ_{1}, ϕ_{2}, ϕ_{3})$ 替换为 $(ϕ_{1}, ϕ_{2}, 1 - ϕ_{3})$ ，系统(2)转变为如下合作系统

${\begin{array}{l} \begin{array}{l} - c {ϕ^{'}}_{1} (ξ) = d_{1} {ϕ^{″}}_{1} (ξ) + ϕ_{1} (ξ) [r_{1} (ξ) - a_{1} - ϕ_{1} (ξ) + h ϕ_{2} (ξ) + a_{1} ϕ_{3} (ξ)], \\ - c {ϕ^{'}}_{2} (ξ) = d_{2} {ϕ^{″}}_{2} (ξ) + ϕ_{2} (ξ) [r_{2} (ξ) - a_{2} - ϕ_{2} (ξ) + k ϕ_{1} (ξ) + a_{2} ϕ_{3} (ξ)], \end{array} \\ - c {ϕ^{'}}_{3} (ξ) = d_{3} {ϕ^{″}}_{3} (ξ) + (1 - ϕ_{3} (ξ)) [1 - r_{3} (ξ) - ϕ_{3} (ξ) + b_{1} ϕ_{1} (ξ) + b_{2} ϕ_{2} (ξ)], \end{array}$ (5)

此时 $E_{11} (\frac{r_{1} (- \infty) + h r_{2} (- \infty)}{1 - h k}, \frac{r_{2} (- \infty) + k r_{1} (- \infty)}{1 - h k}, 0)$ 变为 $E^{-} (\frac{r_{1} (- \infty) + h r_{2} (- \infty)}{1 - h k}, \frac{r_{2} (- \infty) + k r_{1} (- \infty)}{1 - h k}, 1) : = (k_{1}, k_{2}, k_{3})$ ， $E_{4} (0, 0, 1)$ 变为 $E^{+} = (0, 0, 0)$ 。此时边界条件转变为

$\lim_{ξ \to - \infty} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) = (k_{1}, k_{2}, k_{3}), \lim_{ξ \to + \infty} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) = (0, 0, 0),$ (6)

我们将在一定条件下寻找系统(5)满足边界条件(6)的非负解，为此，我们还需要如下技术性假设条件：

(H*) 存在常数 $ρ > 0$ 使得当 $ξ \to + \infty$ 时 $r (+ \infty) - r (ξ) = o (e^{- ρ ξ})$ 成立。

本文的剩余部分安排如下：在第2节中我们将给出一些预备知识，定义算子并验证它的一些性质，同时构造一对恰当的上下解。最后，在第3节中我们将利用单调迭代技巧结合波动引理证明非负受迫行波的存在性。

2. 预备知识

首先，我们引入一些函数空间。设空间 $C (ℝ, ℝ)$ 由 $ℝ$ 上所有连续函数组成， $C^{+}$ 表示由所有非负连续函数组成的空间，记

Figure 1 对任意的

u, v \in C (ℝ, ℝ)

，如果

u - v \in C^{+}

，我们记

u \geq v

或

v \leq u

。进一步，对任意的

u = (u_{1}, u_{2}, u_{3})

，

v = (v_{1}, v_{2}, v_{3}) \in C (ℝ, ℝ) \times C (ℝ, ℝ) \times C (ℝ, ℝ)

，如果

u_{1} \geq v_{1}

，

u_{2} \geq v_{2}

且

u_{3} \geq v_{3}

，则记

u \geq v

或

v \leq u

。令

β_{i} = a_{i} + 2 k_{i}^{+} - r_{i} (- \infty) (i = 1, 2)

，

β_{3} = 2 + b_{1} k_{1}^{+} + b_{2} k_{2}^{+} - r_{3} (- \infty)

，则方程

- d_{i} λ^{2} - c λ + β_{i} = 0 (i = 1, 2, 3)

分别有两个实根：

λ_{i -} = \frac{- c - \sqrt{c^{2} + 4 d_{i} β_{i}}}{2 d_{i}} < 0, λ_{i +} = \frac{- c + \sqrt{c^{2} + 4 d_{i} β_{i}}}{2 d_{i}} > 0.

定义二阶微分算子

Δ_{i}

和它们的逆

Δ_{i}^{- 1}

分别为

Δ_{i} h : = - d_{i} h^{″} - c h^{'} + β_{i} h,

(Δ_{i}^{- 1} h) (ξ) : = \frac{1}{d_{i} (λ_{i +} - λ_{i -})} [\int_{- \infty}^{ξ} e^{λ_{i -} (ξ - η)} h (η) d η + \int_{ξ}^{+ \infty} e^{λ_{i +} (ξ - η)} h (η) d η] .

不难验证对任给连续有界函数h都有

Δ_{i} (Δ_{i}^{- 1} h) = h

。此外，若

h^{″}

也是连续有界函数，那么

Δ_{i}^{- 1} (Δ_{i} h) = h

。定义2.1 若

({\bar{ϕ}}_{1} (ξ), {\bar{ϕ}}_{2} (ξ), {\bar{ϕ}}_{3} (ξ)), ({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ)) \in B C \times B C \times B C

满足

({\bar{ϕ}}_{1}^{'}, {\bar{ϕ}}_{2}^{'}, {\bar{ϕ}}_{3}^{'})

，

({\underline{ϕ}}_{1}^{'}, {\underline{ϕ}}_{2}^{'}, {\underline{ϕ}}_{3}^{'})

，

({\bar{ϕ}}_{1}^{''}, {\bar{ϕ}}_{2}^{''}, {\bar{ϕ}}_{3}^{''})

，

({\underline{ϕ}}_{1}^{''}, {\underline{ϕ}}_{2}^{''}, {\underline{ϕ}}_{3}^{''}) \in L^{\infty} \times L^{\infty} \times L^{\infty}

，

{\bar{ϕ}}_{i} (ξ) \geq {\underline{ϕ}}_{i} (ξ) (i = 1, 2, 3)

，

({\bar{ϕ}}_{1}^{''}, {\bar{ϕ}}_{2}^{''}, {\bar{ϕ}}_{3}^{''})

和

({\underline{ϕ}}_{1}^{''}, {\underline{ϕ}}_{2}^{''}, {\underline{ϕ}}_{3}^{''})

在

ℝ \ {ξ_{j}}

上连续(

ξ_{j}

为一有限递增点列)，且有

{\bar{ϕ}}_{i}^{'} (ξ_{j} +) \leq {\bar{ϕ}}_{i}^{'} (ξ_{j} -)

，

{\underline{ϕ}}_{i}^{'} (ξ_{j} +) \geq {\underline{ϕ}}_{i}^{'} (ξ_{j} -)

，此时，若有不等式组

{\begin{array}{l} \begin{array}{l} - c {\bar{ϕ}}_{1}^{'} (ξ) \geq d_{1} {\bar{ϕ}}_{1}^{''} (ξ) + {\bar{ϕ}}_{1} (ξ) [r_{1} (ξ) - a_{1} - {\bar{ϕ}}_{1} (ξ) + h {\bar{ϕ}}_{2} (ξ) + a_{1} {\bar{ϕ}}_{3} (ξ)] \\ - c {\bar{ϕ}}_{2}^{'} (ξ) \geq d_{2} {\bar{ϕ}}_{2}^{''} (ξ) + {\bar{ϕ}}_{2} (ξ) [r_{2} (ξ) - a_{2} - {\bar{ϕ}}_{2} (ξ) + k {\bar{ϕ}}_{1} (ξ) + a_{2} {\bar{ϕ}}_{3} (ξ)] \end{array} \\ - c {\bar{ϕ}}_{3}^{'} (ξ) \geq d_{3} {\bar{ϕ}}_{3}^{''} (ξ) + (1 - {\bar{ϕ}}_{3} (ξ)) [1 - r_{3} (ξ) - {\bar{ϕ}}_{3} (ξ) + b_{1} {\bar{ϕ}}_{1} (ξ) + b_{2} {\bar{ϕ}}_{2} (ξ)] \end{array}

(7)和

${\begin{array}{l} \begin{array}{l} - c {\underline{ϕ}}_{1}^{'} (ξ) \leq d_{1} {\underline{ϕ}}_{1}^{''} (ξ) + {\underline{ϕ}}_{1} (ξ) [r_{1} (ξ) - a_{1} - {\underline{ϕ}}_{1} (ξ) + h {\underline{ϕ}}_{2} (ξ) + a_{1} {\underline{ϕ}}_{3} (ξ)] \\ - c {\underline{ϕ}}_{2}^{'} (ξ) \leq d_{2} {\underline{ϕ}}_{2}^{''} (ξ) + {\underline{ϕ}}_{2} (ξ) [r_{2} (ξ) - a_{2} - {\underline{ϕ}}_{2} (ξ) + k {\underline{ϕ}}_{1} (ξ) + a_{2} {\underline{ϕ}}_{3} (ξ)] \end{array} \\ - c {\underline{ϕ}}_{3}^{'} (ξ) \leq d_{3} {\underline{ϕ}}_{3}^{''} (ξ) + (1 - {\underline{ϕ}}_{3} (ξ)) [1 - r_{3} (ξ) - {\underline{ϕ}}_{3} (ξ) + b_{1} {\underline{ϕ}}_{1} (ξ) + b_{2} {\underline{ϕ}}_{2} (ξ)] \end{array}$ (8)

在 $ℝ \ {ξ_{j}}$ 上成立，则称 $({\bar{ϕ}}_{1} (ξ), {\bar{ϕ}}_{2} (ξ), {\bar{ϕ}}_{3} (ξ))$ 和 $({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ))$ 为系统(5)的一对有序上下解。

给定一对有序上下解，可以构造先验集 $Γ$ ：

$Γ = {(ϕ_{1}, ϕ_{2}, ϕ_{3}) | ϕ_{i} \in B C (ℝ, ℝ), {\underline{ϕ}}_{i} \leq ϕ_{i} \leq {\bar{ϕ}}_{i}, i = 1, 2, 3} .$

对任意 $(ϕ_{1}, ϕ_{2}, ϕ_{3}) \in Γ$ ，定义如下算子 $H = (H_{1}, H_{2}, H_{3})$ ：

$\begin{array}{l} H_{1} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ) : = β_{1} ϕ_{1} (ξ) + ϕ_{1} (ξ) [r_{1} (ξ) - a_{1} - ϕ_{1} (ξ) + h ϕ_{2} (ξ) + a_{1} ϕ_{3} (ξ)], \\ H_{2} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ) : = β_{2} ϕ_{2} (ξ) + ϕ_{2} (ξ) [r_{2} (ξ) - a_{2} - ϕ_{2} (ξ) + k ϕ_{1} (ξ) + a_{2} ϕ_{3} (ξ)], \\ H_{3} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ) : = β_{3} ϕ_{3} (ξ) + (1 - ϕ_{3} (ξ)) [1 - r_{3} (ξ) - ϕ_{3} (ξ) + b_{1} ϕ_{1} (ξ) + b_{2} ϕ_{2} (ξ)] . \end{array}$

接下来，我们定义映射 $F = (F_{1}, F_{2}, F_{3})$ ，其中 $F_{i} (ϕ_{1}, ϕ_{2}, ϕ_{3}) = Δ_{i}^{- 1} H_{i} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (i = 1, 2, 3)$ ， $Δ^{- 1} = (Δ_{1}^{- 1}, Δ_{2}^{- 1}, Δ_{3}^{- 1})$ ，对所有的 $(ϕ_{1}, ϕ_{2}, ϕ_{3}) \in Γ$ 。下面先讨论映射F的一些性质。

引理2.1 F是一个非减算子，且 $F (Γ) \subset Γ$ 。

证明一方面，取 $({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}), ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3}) \in Γ$ 且满足 $({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}) \geq ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3})$ ，则对任何 $ξ \in ℝ$ 有

$\begin{array}{l} H_{1} ({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}) (ξ) - H_{1} ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3}) \\ = ({\tilde{ϕ}}_{1} (ξ) - {\hat{ϕ}}_{1} (ξ)) [β_{1} + r_{1} (ξ) - a_{1} - {\tilde{ϕ}}_{1} (ξ) - {\hat{ϕ}}_{1} (ξ) + h {\tilde{ϕ}}_{2} (ξ) + a_{1} {\tilde{ϕ}}_{3} (ξ)] \\ + h ({\tilde{ϕ}}_{2} (ξ) - {\hat{ϕ}}_{2} (ξ)) {\hat{ϕ}}_{1} (ξ) + a_{1} ({\tilde{ϕ}}_{3} (ξ) - {\hat{ϕ}}_{3} (ξ)) {\hat{ϕ}}_{1} (ξ) \geq 0. \end{array}$

同理可得

$H_{2} ({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}) (ξ) - H_{2} ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3}) \geq 0$

和

$H_{3} ({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}) (ξ) - H_{3} ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3}) \geq 0.$

即 $H ({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}) \geq H ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3})$ 。从而，对任意的 $ξ \in ℝ$ ，有 $F ({\tilde{ϕ}}_{1}, {\tilde{ϕ}}_{2}, {\tilde{ϕ}}_{3}) (ξ) \geq F ({\hat{ϕ}}_{1}, {\hat{ϕ}}_{2}, {\hat{ϕ}}_{3}) (ξ)$ 。即F是一个非减算子。

另一方面，由 $F (Γ)$ 的定义可知，我们只需证对所有 $(ϕ_{1}, ϕ_{2}, ϕ_{3}) \in Γ$ 都有

$({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) \leq F (ϕ_{1}, ϕ_{2}, ϕ_{3}) \leq ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) .$

由于 $({\bar{ϕ}}_{1} (ξ), {\bar{ϕ}}_{2} (ξ), {\bar{ϕ}}_{3} (ξ))$ 和 $({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ))$ 是一对有序上下解，结合文献 [15] 的引理3.2我们有

$F_{i} ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) = Δ_{i}^{- 1} H_{i} ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) \geq Δ_{i}^{- 1} Δ_{i} ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) = {\underline{ϕ}}_{i}, i = 1, 2, 3,$

$F_{i} ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) = Δ_{i}^{- 1} H_{i} ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) \leq Δ_{i}^{- 1} Δ_{i} ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) = {\bar{ϕ}}_{i}, i = 1, 2, 3,$

即

$F ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) \geq ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}), F ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) \leq ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) .$ (9)

又由F是一个非减算子，所以对任意的 $(ϕ_{1}, ϕ_{2}, ϕ_{3}) \in Γ$ 有

$F ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) \leq F (ϕ_{1}, ϕ_{2}, ϕ_{3}) \leq F ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) .$ (10)

结合(9)和(10)得到 $F (Γ) \subset Γ$ 。证毕。

系统(5)可写为

$Δ_{i} (ϕ_{1}, ϕ_{2}, ϕ_{3}) = H_{i} (ϕ_{1}, ϕ_{2}, ϕ_{3}), i = 1, 2, 3.$ (11)

因此，若映射F在 $Γ$ 中存在一个不动点，即存在 $(ϕ_{1}, ϕ_{2}, ϕ_{3}) \in Γ$ 使得

$(ϕ_{1}, ϕ_{2}, ϕ_{3}) = F (ϕ_{1}, ϕ_{2}, ϕ_{3}),$

则该不动点必是(11)的解。若该不动点还满足边界条件(6)，则必是系统(5)的受迫行波。这就是我们的研究目标。为此，最后我们通过选取一对恰当的有序上下解构造出一个先验集。

对于任意给定的 $c > 0$ ，定义连续函数

$Φ_{i} (c, λ) : = d_{i} λ^{2} - c λ + 1 - a_{i} = 0, λ \in ℝ, i = 1, 2.$

显然 $Φ_{i} (c, λ), i = 1, 2$ 有以下性质

(i) $Φ_{i} (c, 0) > 0$ 。

(ii) 对任意的 $c > 0$ ，都有 $\lim_{λ \to \infty} Φ_{i} (c, λ) = + \infty$ 。

(iii) 对任意的 $λ > 0$ ，都有 $\lim_{c \to \infty} Φ_{i} (c, λ) = - \infty$ 。

(iv) $\frac{\partial Φ_{i} (c, λ)}{\partial c} = - λ < 0$ ， $\frac{\partial^{2} Φ_{i} (c, λ)}{\partial λ^{2}} = 2 d_{i} > 0$ 。

根据这些性质可以得到如下引理

引理2.2 令

$c_{i}^{*} (\infty) : = 2 \sqrt{d_{i} (1 - a_{i})}, i = 1, 2,$

若(H1)成立，则有

(i) 当 $c = c_{i}^{*}$ 时， $Φ_{i} (c, λ) = 0$ 有唯一正根 $λ_{i}^{0}$ 。

(ii) 当 $c > c_{i}^{*}$ 时， $Φ_{i} (c, λ) = 0$ 分别有两个不同正根 $λ_{i}^{\pm}$ ，并满足：当 $λ \in (λ_{i}^{-}, λ_{i}^{+})$ 时，有 $Φ_{i} (c, λ) < 0$ ；当 $λ \in [0, λ_{i}^{-}) \cup (λ_{i}^{+}, + \infty)$ 时，有 $Φ_{i} (c, λ) > 0$ 。

(iii) 当 $c < c_{i}^{*}$ 时，对于任意的 $λ \in ℝ$ ， $Φ_{i} (c, λ) > 0$ 。此外，当 $c > c_{1}^{*}$ 时，我们有 $λ_{2}^{-} \leq λ_{1}^{-} < λ_{1}^{+} \leq λ_{2}^{+}$ 。

当 $c > c_{1}^{*}$ 时，存在 $η > 0$ 使得 $λ_{1}^{-} < η λ_{1}^{-} < \min {λ_{1}^{+}, λ_{2}^{+}, λ_{1}^{-} + λ_{2}^{-}}$ 。那么对任意 $c > c_{1}^{*} (\infty)$ 有 $Φ_{i} (c, η λ_{1}^{-}) < 0, i = 1, 2$ 。因此存在充分大的正数 $ξ_{1}$ 和 $ξ_{2}$ 分别满足

$(a_{1} + h) e^{- (λ_{1}^{-} + λ_{2}^{-} - η λ_{1}^{-}) ξ_{1}} + (a_{1} + h) k_{1}^{+} e^{- λ_{2}^{-} ξ_{1}} + k_{1}^{+} Φ_{1} (c, η λ_{1}^{-}) = 0$

和

$k e^{- (λ_{1}^{-} + λ_{2}^{-} - η λ_{1}^{-}) ξ_{2}} + k k_{2}^{+} e^{- λ_{1}^{-} ξ_{2}} + k_{2}^{+} Φ_{2} (c, η λ_{1}^{-}) = 0.$

由此，定义如下有界连续函数

${\bar{ϕ}}_{1} (ξ) = {\begin{cases} e^{- λ_{1}^{-} ξ} + q k_{1}^{+} e^{- η λ_{1}^{-} ξ}, ξ \geq ξ_{1}, \\ k_{1}^{+}, ξ < ξ_{1}, \end{cases} {\bar{ϕ}}_{i} (ξ) = {\begin{cases} e^{- λ_{2}^{-} ξ} + q k_{i}^{+} e^{- η λ_{1}^{-} ξ}, ξ \geq ξ_{i}, \\ k_{i}^{+}, ξ < ξ_{i}, \end{cases} i = 2,3 .$

其中 $k_{1}^{+} = \frac{1 + h}{1 - h k}$ ， $k_{2}^{+} = \frac{1 + k}{1 - h k}$ ， $k_{3}^{+} = k_{3} = 1$ 。

引理2.3 对任意 $c > c_{1}^{*}$ ，当 $q > 1$ 足够大时， $({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) (ξ)$ 是系统(5)的一个上解。

证明方便起见，我们记

$\begin{array}{l} A_{1} (ξ) : = d_{1} {\bar{ϕ}}_{1}^{''} (ξ) + c {\bar{ϕ}}_{1}^{'} + {\bar{ϕ}}_{1} (ξ) [r_{1} (ξ) - a_{1} - {\bar{ϕ}}_{1} (ξ) + h {\bar{ϕ}}_{2} (ξ) + a_{1} {\bar{ϕ}}_{3} (ξ)], \\ A_{2} (ξ) : = d_{2} {\bar{ϕ}}_{2}^{''} (ξ) + c {\bar{ϕ}}_{2}^{'} + {\bar{ϕ}}_{2} (ξ) [r_{2} (ξ) - a_{2} - {\bar{ϕ}}_{2} (ξ) + k {\bar{ϕ}}_{1} (ξ) + a_{2} {\bar{ϕ}}_{3} (ξ)], \\ A_{3} (ξ) : = d_{3} {\bar{ϕ}}_{3}^{''} (ξ) + c {\bar{ϕ}}_{3}^{'} + (1 - {\bar{ϕ}}_{3} (ξ)) [1 - r_{3} (ξ) - {\bar{ϕ}}_{3} (ξ) + b_{1} {\bar{ϕ}}_{1} (ξ) + b_{2} {\bar{ϕ}}_{2} (ξ)] . \end{array}$

要证明 $({\bar{ϕ}}_{1} (ξ), {\bar{ϕ}}_{2} (ξ), {\bar{ϕ}}_{3} (ξ))$ 是系统(5)的一个上解，只需证明 $A_{i} (ξ) \leq 0 (i = 1, 2, 3)$ 即可。下面先证明 $A_{1} (ξ) \leq 0$ 。

(i) 当 $ξ < ξ_{1}$ 时， ${\bar{ϕ}}_{1} (ξ) = k_{1}^{+}$ ， ${\bar{ϕ}}_{i} (ξ) \leq k_{i}^{+}, i = 2, 3$ ，则有

$A_{1} (ξ) \leq k_{1}^{+} (1 - a_{1} - k_{1}^{+} + h k_{2}^{+} + a_{1} k_{3}^{+}) = 0.$

(ii) 当 $ξ \geq ξ_{1}$ 时， ${\bar{ϕ}}_{1} (ξ) = e^{- λ_{1}^{-} ξ} + q k_{1}^{+} e^{- η λ_{1}^{-} ξ}$ ， ${\bar{ϕ}}_{i} (ξ) \leq e^{- λ_{2}^{-} ξ} + q k_{i}^{+} e^{- η λ_{1}^{-} ξ}, i = 2, 3$ 。由假设(H1)可知 $a_{1} < 1$ ，那么 $- k_{1}^{+} + h k_{2}^{+} + a_{1} k_{3}^{+} < 0$ ，因此

$\begin{array}{l} A_{1} (ξ) = d_{1} {(λ_{1}^{-})}^{2} e^{- λ_{1}^{-} ξ} - c λ_{1}^{-} e^{- λ_{1}^{-} ξ} + (e^{- λ_{1}^{-} ξ} + q k_{1}^{+} e^{- η λ_{1}^{-} ξ}) [r_{1} (ξ) - a_{1}] \\ + d_{1} q k_{1}^{+} {(η λ_{1}^{-})}^{2} e^{- η λ_{1}^{-} ξ} - c q k_{1}^{+} η λ_{1}^{-} e^{- η λ_{1}^{-} ξ} + {\bar{ϕ}}_{1} (ξ) [- {\bar{ϕ}}_{1} (ξ) + h {\bar{ϕ}}_{2} (ξ) + a_{1} {\bar{ϕ}}_{3}] (ξ) \\ \leq e^{- λ_{1}^{-} ξ} Φ_{1} (c, λ_{1}^{-}) + q k_{1}^{+} e^{- η λ_{1}^{-} ξ} Φ_{1} (c, η λ_{1}^{-}) + {\bar{ϕ}}_{1} (ξ) [- {\bar{ϕ}}_{1} (ξ) + h {\bar{ϕ}}_{2} (ξ) + a_{1} {\bar{ϕ}}_{3} (ξ)] \\ \leq q k_{1}^{+} e^{- η λ_{1}^{-} ξ} Φ_{1} (c, η λ_{1}^{-}) + {\bar{ϕ}}_{1} (ξ) [- e^{- λ_{1}^{-} ξ} + (a_{1} + h) e^{- λ_{2}^{-} ξ} + q e^{- η λ_{1}^{-} ξ} (- k_{1}^{+} + h k_{2}^{+} + a_{1} k_{3}^{+})] \\ \leq q k_{1}^{+} e^{- η λ_{1}^{-} ξ} Φ_{1} (c, η λ_{1}^{-}) + (e^{- λ_{1}^{-} ξ} + q k_{1}^{+} e^{- η λ_{1}^{-} ξ}) (a_{1} + h) e^{- λ_{2}^{-} ξ} \\ \leq e^{- η λ_{1}^{-} ξ} [q k_{1}^{+} Φ_{1} (c, η λ_{1}^{-}) + q (a_{1} + h) e^{- (λ_{1}^{-} + λ_{2}^{-} - η λ_{1}^{-}) ξ_{1}} + q (a_{1} + h) k_{1}^{+} e^{- λ_{2}^{-} ξ_{1}}] = 0. \end{array}$

接下来证明 $A_{2} (ξ) \leq 0$ .

(i) 当 $ξ < ξ_{2}$ 时， ${\bar{ϕ}}_{2} (ξ) = k_{2}^{+}$ ， ${\bar{ϕ}}_{i} (ξ) \leq k_{i}^{+}, i = 1, 3$ ，则有

$A_{2} (ξ) \leq k_{2}^{+} (1 - a_{2} - k_{2}^{+} + k k_{1}^{+} + a_{2} k_{3}^{+}) = 0.$

(ii) 当 $ξ \geq ξ_{2}$ 时， ${\bar{ϕ}}_{2} (ξ) = e^{- λ_{2}^{-} ξ} + q k_{2}^{+} e^{- η λ_{1}^{-} ξ}$ ， ${\bar{ϕ}}_{1} (ξ) \leq e^{- λ_{1}^{-} ξ} + q k_{1}^{+} e^{- η λ_{1}^{-} ξ}$ ， ${\bar{ϕ}}_{3} (ξ) \leq e^{- λ_{2}^{-} ξ} + q k_{3}^{+} e^{- η λ_{1}^{-} ξ}$ 。由假设(H1)可知 $a_{2} < 1$ ，那么 $- k_{2}^{+} + k k_{1}^{+} + a_{2} k_{3}^{+} < 0$ ，因此，类似 $ξ \geq ξ_{1}$ 时 $A_{1} (ξ) \leq 0$ 的证明过程可得

$A_{2} (ξ) \leq 0.$

最后证明 $A_{3} (ξ) \leq 0$ 。由于 $ϕ_{i} \leq {\bar{ϕ}}_{i} \leq k_{i}^{+}$ ， $0 < r_{3} (ξ) \leq 1$ ，其中 $i = 1, 2, 3$ ，因此存在正常数 $M > 0$ 使得

$(1 - {\bar{ϕ}}_{3} (ξ)) [1 - r_{3} (ξ) - {\bar{ϕ}}_{3} (ξ) + b_{1} {\bar{ϕ}}_{1} (ξ) + b_{2} {\bar{ϕ}}_{2} (ξ)] \leq M .$

(i) 当 $ξ < ξ_{3}$ 时， ${\bar{ϕ}}_{3} (ξ) = k_{3}^{+} = 1$ ，则有

$A_{3} (ξ) = (1 - k_{3}^{+}) [1 - r_{3} (ξ) - k_{3}^{+} + b_{1} {\bar{ϕ}}_{1} (ξ) + b_{2} {\bar{ϕ}}_{2} (ξ)] = 0.$

(ii) 当 $ξ \geq ξ_{3}$ 时， ${\bar{ϕ}}_{3} (ξ) = e^{- λ_{2}^{-} ξ} + q k_{3}^{+} e^{- η λ_{1}^{-} ξ}$ 。由假设(H1)可知 $d_{3} \leq d_{2}$ ，那么

$\begin{array}{l} A_{3} (ξ) = d_{3} {\bar{ϕ}}_{3}^{''} (ξ) + c {\bar{ϕ}}_{3}^{'} + (1 - {\bar{ϕ}}_{3} (ξ)) [1 - r_{3} (ξ) - {\bar{ϕ}}_{3} (ξ) + b_{1} {\bar{ϕ}}_{1} (ξ) + b_{2} {\bar{ϕ}}_{2} (ξ)] \\ \leq d_{2} {(λ_{2}^{-})}^{2} e^{- λ_{2}^{-} ξ} - c λ_{2}^{-} e^{- λ_{2}^{-} ξ} + d_{2} q k_{3}^{+} {(η λ_{1}^{-})}^{2} e^{- η λ_{1}^{-} ξ} - c q k_{3}^{+} η λ_{1}^{-} e^{- η λ_{1}^{-} ξ} + M \\ = e^{- λ_{2}^{-} ξ} Φ_{2} (c, λ_{2}^{-}) + q k_{3}^{+} e^{- η λ_{1}^{-} ξ} (d_{2} {(η λ_{1}^{-})}^{2} - c η λ_{1}^{-}) - (1 - a_{2}) e^{- λ_{2}^{-} ξ} + M \leq 0. \end{array}$

当 $q > 1$ 足够大时最后一个不等式成立。

综上所述，对任意的 $ξ \in ℝ$ ，都有 $A_{i} (ξ) \leq 0, i = 1, 2, 3$ 。因此， $({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) (ξ)$ 是系统(5)的一个上解，证毕。

接下来我们构造系统(5)的下解。由假设条件(H*)可知，存在 $K, C > 0$ 使得当 $ξ \geq K$ 时

$1 - r_{i} (ξ) \leq C e^{- ρ ξ}, i = 1, 2$ 成立。定义连续函数

${\underline{ϕ}}_{i} (ξ) = {\begin{cases} e^{- λ_{i}^{-} ξ} - q k_{i}^{+} e^{- η λ_{i}^{-} ξ}, ξ \geq ξ_{i}^{*}, \\ r_{i} (- \infty) - a_{i}, ξ < ξ_{i}^{*}, \end{cases} i = 1,2, {\underline{ϕ}}_{3} (ξ) \equiv 0.$

其中q和 $η$ 都是正常数，并满足

$1 < η < \min {λ_{1}^{+} / λ_{1}^{-}, λ_{2}^{+} / λ_{2}^{-}, 2, 1 + ρ / λ_{1}^{-}, 1 + ρ / λ_{2}^{-}} .$

引理2.4 对任意 $c > c_{1}^{*}$ ，当 $q > 1$ 足够大时， $({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) (ξ)$ 是系统(5)的一个下解。

证明不妨记

$\begin{array}{l} B_{1} (ξ) : = d_{1} {\underline{ϕ}}_{1}^{''} (ξ) + c {\underline{ϕ}}_{1}^{'} + {\underline{ϕ}}_{1} (ξ) [r_{1} (ξ) - a_{1} - {\underline{ϕ}}_{1} (ξ) + h {\underline{ϕ}}_{2} (ξ) + a_{1} {\underline{ϕ}}_{3} (ξ)], \\ B_{2} (ξ) : = d_{2} {\underline{ϕ}}_{2}^{''} (ξ) + c {\underline{ϕ}}_{2}^{'} + {\underline{ϕ}}_{2} (ξ) [r_{2} (ξ) - a_{2} - {\underline{ϕ}}_{2} (ξ) + k {\underline{ϕ}}_{1} (ξ) + a_{2} {\underline{ϕ}}_{3} (ξ)], \\ B_{3} (ξ) : = d_{3} {\underline{ϕ}}_{3}^{''} (ξ) + c {\underline{ϕ}}_{3}^{'} + (1 - {\underline{ϕ}}_{3} (ξ)) [1 - r_{3} (ξ) - {\underline{ϕ}}_{3} (ξ) + b_{1} {\underline{ϕ}}_{1} (ξ) + b_{2} {\underline{ϕ}}_{2} (ξ)] . \end{array}$

要证 $({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) (ξ)$ 是系统(5)的下解，需证 $B_{i} (ξ) \geq 0 (i = 1, 2, 3)$ 。

下面先证明 $B_{1} (ξ) \geq 0$ 。

(i) 当 $ξ < ξ_{1}^{*}$ 时， ${\underline{ϕ}}_{1} (ξ) = r_{1} (- \infty) - a_{1} > 0$ ，则有

$B_{1} (ξ) = {\underline{ϕ}}_{1} (ξ) [r_{1} (ξ) - r_{1} (- \infty) + h {\underline{ϕ}}_{2} (ξ)] > 0.$

(ii) 当 $ξ \geq ξ_{1}^{*}$ 时， ${\underline{ϕ}}_{1} (ξ) = e^{- λ_{1}^{-} ξ} - q k_{1}^{+} e^{- η λ_{1}^{-} ξ} \leq e^{- λ_{1}^{-} ξ}$ ， ${\underline{ϕ}}_{3} (ξ) = 0$ 。那么

$\begin{array}{l} B_{1} (ξ) = d_{1} {(λ_{1}^{-})}^{2} e^{- λ_{1}^{-} ξ} - c λ_{1}^{-} e^{- λ_{1}^{-} ξ} + (e^{- λ_{1}^{-} ξ} - q k_{1}^{+} e^{- η λ_{1}^{-} ξ}) [1 - a_{1}] \\ - d_{1} q k_{1}^{+} {(η λ_{1}^{-})}^{2} e^{- η λ_{1}^{-} ξ} + c q k_{1}^{+} η λ_{1}^{-} e^{- η λ_{1}^{-} ξ} + {\underline{ϕ}}_{1} (ξ) [r_{1} (ξ) - 1 - {\underline{ϕ}}_{1} (ξ) + h {\underline{ϕ}}_{2} (ξ)] \\ = e^{- λ_{1}^{-} ξ} Φ_{1} (c, λ_{1}^{-}) - q k_{1}^{+} e^{- η λ_{1}^{-} ξ} Φ_{1} (c, η λ_{1}^{-}) + {\underline{ϕ}}_{1} (ξ) [r_{1} (ξ) - 1 - {\underline{ϕ}}_{1} (ξ) + h {\underline{ϕ}}_{2} (ξ)] \\ \geq - q k_{1}^{+} e^{- η λ_{1}^{-} ξ} Φ_{1} (c, η λ_{1}^{-}) + (e^{- λ_{1}^{-} ξ} - q k_{1}^{+} e^{- η λ_{1}^{-} ξ}) [- C e^{- ρ ξ} - e^{- λ_{1}^{-} ξ}] \\ \geq e^{- η λ_{1}^{-} ξ} [- q k_{1}^{+} Φ_{1} (c, η λ_{1}^{-}) - (C e^{- (λ_{1}^{-} + ρ - η λ_{1}^{-}) ξ} + e^{- (2 - η) λ_{1}^{-} ξ})] \\ \geq e^{- η λ_{1}^{-} ξ} [- q k_{1}^{+} Φ_{1} (c, η λ_{1}^{-}) - (C e^{- (λ_{1}^{-} + ρ - η λ_{1}^{-}) ξ_{1}^{*}} + e^{- (2 - η) λ_{1}^{-} ξ_{1}^{*}})] \geq 0. \end{array}$

当 $q > 1$ 足够大时最后一个不等号成立。接下来证明 $B_{2} (ξ) \geq 0$ 。

(i) 当 $ξ < ξ_{2}^{*}$ 时， ${\underline{ϕ}}_{2} (ξ) = r_{2} (- \infty) - a_{2} > 0$ ，则有

$B_{2} (ξ) = {\underline{ϕ}}_{2} (ξ) [r_{2} (ξ) - r_{2} (- \infty) + k {\underline{ϕ}}_{1} (ξ)] > 0.$

(ii) 当 $ξ \geq ξ_{2}^{*}$ 时， ${\underline{ϕ}}_{2} (ξ) = e^{- λ_{2}^{-} ξ} - q k_{2}^{+} e^{- η λ_{2}^{-} ξ} \leq e^{- λ_{2}^{-} ξ}$ ， ${\underline{ϕ}}_{3} (ξ) = 0$ ，那么，与 $ξ \geq ξ_{_{1}}^{*}$ 时 $B_{1} (ξ) \geq 0$ 的证明过程类似，当 $q > 1$ 足够大时有

$B_{2} (ξ) \geq 0.$

最后对于任意 $ξ \in ℝ$ ，都有 ${\underline{ϕ}}_{3} (ξ) \equiv 0$ ，因此 $B_{3} (ξ) = 0$ 。

综上所述，当q足够大时，对任意的 $ξ \in ℝ$ ，都有 $B_{i} (ξ) \geq 0 (i = 1, 2, 3)$ ，又由 $({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) (ξ)$ 和 $({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) (ξ)$ 的构造易知 $({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) (ξ) \geq ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) (ξ)$ 。因此， $({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) (ξ)$ 是系统(5)的一个下解，证毕。

由上述两个引理，我们得到如下先验集：

$Γ : = {(ϕ_{1}, ϕ_{2}, ϕ_{3}) | ϕ_{1}, ϕ_{2}, ϕ_{3} \in B C (ℝ, ℝ), {\underline{ϕ}}_{i} \leq ϕ_{i} \leq {\bar{ϕ}}_{i}, i = 1, 2, 3} .$

3. 行波解的存在性

定理3.1 若(H1)~(H3)以及(H*)成立，那么对任意 $c > c_{1}^{*}$ ，当 $q > 1$ 足够大时，系统(5)总存在一个满足边界条件(6)的非负受迫行波。

证明首先构造如下迭代序列：

$(ϕ_{1}^{(1)}, ϕ_{2}^{(1)}, ϕ_{3}^{(1)}) = F ({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}), (ϕ_{1}^{(n + 1)}, ϕ_{2}^{(n + 1)}, ϕ_{3}^{(n + 1)}) = F (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)}), \forall n \geq 1.$

由于 ${\bar{ϕ}}_{1} (ξ), {\bar{ϕ}}_{2} (ξ), {\bar{ϕ}}_{3} (ξ)$ 是 $ℝ$ 上的有界连续函数，结合引理2.1得到对所有的 $n \geq 1$ ， $ϕ_{1}^{(n)} (ξ)$ 、 $ϕ_{2}^{(n)} (ξ)$ 和 $ϕ_{3}^{(n)} (ξ)$ 也是 $ℝ$ 上的有界连续函数且满足不等式

$({\bar{ϕ}}_{1}, {\bar{ϕ}}_{2}, {\bar{ϕ}}_{3}) \geq (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)}) \geq (ϕ_{1}^{(n + 1)}, ϕ_{2}^{(n + 1)}, ϕ_{3}^{(n + 1)}) \geq ({\underline{ϕ}}_{1}, {\underline{ϕ}}_{2}, {\underline{ϕ}}_{3}) .$

从而，存在一个有界连续函数 $(ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) \in Γ$ 使得

$\lim_{n \to \infty} (ϕ_{1}^{(n)} (ξ), ϕ_{2}^{(n)} (ξ), ϕ_{3}^{(n)} (ξ)) = (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) .$

不难看出，对所有的 $n \geq 1$ ， $ξ \in ℝ$ 有

$| H_{1} (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)}) (ξ) | \leq k_{1}^{+} (β_{1} + 1 + k_{1}^{+} + h k_{2}^{+}),$

$| H_{2} (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)}) (ξ) | \leq k_{2}^{+} (β_{2} + 1 + k_{2}^{+} + k k_{1}^{+})$

和

$| H_{3} (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)}) | \leq β_{3} + 3 + b_{1} k_{1}^{+} + b_{2} k_{2}^{+} .$

从而利用Lebesgue’s控制收敛定理可得

$\begin{array}{l} ϕ_{1} (ξ) = \lim_{n \to \infty} ϕ_{1}^{(n + 1)} (ξ) = \lim_{n \to \infty} F_{1} (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)}) (ξ) \\ = \lim_{n \to \infty} (Δ_{1}^{- 1} H_{1} (ϕ_{1}^{(n)}, ϕ_{2}^{(n)}, ϕ_{3}^{(n)})) (ξ) \\ = \frac{1}{d_{1} (λ_{1 +} - λ_{1 -})} [\int_{- \infty}^{ξ} e^{λ_{1 -} (ξ - η)} H_{1} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (η) d η + \int_{ξ}^{+ \infty} e^{λ_{1 +} (ξ - η)} H_{1} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (η) d η] \\ = F_{1} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ) . \end{array}$

同理可得

$ϕ_{2} (ξ) = F_{2} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ), ϕ_{3} (ξ) = F_{3} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ) .$

即 $(ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) \in Γ$ 是算子F的不动点，也就是说 $(ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) \in Γ$ 是系统(5)的解。由 $({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ))$ 的构造特点可知 $(ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ))$ 为非负解。

根据 $({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ))$ 和 $({\bar{ϕ}}_{1} (ξ), {\bar{ϕ}}_{2} (ξ), {\bar{ϕ}}_{3} (ξ))$ 的定义知

$\lim_{ξ \to + \infty} ({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ)) = (0, 0, 0), \lim_{ξ \to + \infty} ({\underline{ϕ}}_{1} (ξ), {\underline{ϕ}}_{2} (ξ), {\underline{ϕ}}_{3} (ξ)) = (0, 0, 0) .$

于是

$\lim_{ξ \to + \infty} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) = (0, 0, 0) .$

下面我们证明 $\lim_{ξ \to - \infty} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) = (k_{1}, k_{2}, k_{3})$ 。记

$(P_{1}, P_{2}, P_{3}) : = \underset{ξ \to - \infty}{\lim \sup} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)), (Q_{1}, Q_{2}, Q_{3}) : = \underset{ξ \to - \infty}{\lim \inf} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) .$

于是 $0 < Q_{i} \leq P_{i} \leq k_{i} (i = 1, 2)$ ， $0 \leq Q_{3} \leq P_{3} \leq k_{3} = 1$ 。由波动引理(文献 [16] 中引理A.1)，存在满足 $\lim_{n \to \infty} s_{n} = - \infty$ 的单调序列 ${s_{n}}_{n = 1}^{\infty}$ 和满足 $\lim_{n \to \infty} t_{n} = - \infty$ 的单调序列 ${t_{n}}_{n = 1}^{\infty}$ 使得

$\lim_{n \to \infty} (ϕ_{1} (s_{n}), ϕ_{2} (s_{n}), ϕ_{3} (s_{n})) = (P_{1}, P_{2}, P_{3}), \lim_{n \to \infty} (ϕ_{1} (t_{n}), ϕ_{2} (t_{n}), ϕ_{3} (t_{n})) = (Q_{1}, Q_{2}, Q_{3}),$

$\lim_{n \to \infty} ({ϕ^{'}}_{1} (s_{n}), {ϕ^{'}}_{2} (s_{n}), {ϕ^{'}}_{3} (s_{n})) = \lim_{n \to \infty} ({ϕ^{'}}_{1} (t_{n}), {ϕ^{'}}_{2} (t_{n}), {ϕ^{'}}_{3} (t_{n})) = (0, 0, 0) .$

根据 $(ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ) = F (ϕ_{1}, ϕ_{2}, ϕ_{3}) (ξ)$ 可得

${ϕ^{'}}_{i} (ξ) = λ_{i +} ϕ_{i} (ξ) - \frac{1}{d_{i}} \int_{- \infty}^{ξ} e^{λ_{i -} (ξ - η)} H_{i} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (η) d η .$

对任意的 $ϵ > 0$ ，存在 $N_{1} > 0$ 使得当 $η \in (- \infty, s_{N_{1}})$ 时有

$0 < ϕ_{i} (η) < P_{i} + ϵ, r_{i} (- \infty) < r_{i} (η) < r_{i} (- \infty) + ϵ, i = 1, 2,$

$0 \leq ϕ_{3} (η) < P_{3} + ϵ, r_{3} (- \infty) < r_{3} (η) < r_{3} (- \infty) + ϵ .$

因此，当 $n > N_{1}$ 时有

$\begin{matrix} {ϕ^{'}}_{1} (s_{n}) = λ_{1 +} ϕ_{1} (s_{n}) - \frac{1}{d_{1}} \int_{- \infty}^{s_{n}} e^{λ_{1 -} (s_{n} - η)} H_{1} (ϕ_{1}, ϕ_{2}, ϕ_{3}) (η) d η \\ \geq λ_{1 +} ϕ_{1} (s_{n}) - \frac{1}{d_{1}} \int_{- \infty}^{s_{n}} e^{λ_{1 -} (s_{n} - η)} (P_{1} + ϵ) [β_{1} + r_{1} (- \infty) - a_{1} - P_{1} + h P_{2} + a_{1} P_{3} + (a_{1} + h) ϵ] d η \\ = λ_{1 +} ϕ_{1} (s_{n}) + \frac{1}{d_{1} λ_{1 -}} (P_{1} + ϵ) [β_{1} + r_{1} (- \infty) - a_{1} - P_{1} + h P_{2} + a_{1} P_{3} + (a_{1} + h) ϵ] . \end{matrix}$

令 $n \to \infty$ ，我们有

$λ_{1 +} P_{1} + \frac{1}{d_{1} λ_{1 -}} (P_{1} + ϵ) [β_{1} + r_{1} (- \infty) - a_{1} - P_{1} + h P_{2} + a_{1} P_{3} + (a_{1} + h) ϵ] \leq 0.$

由 $ϵ$ 的任意性得

$λ_{1 +} P_{1} + \frac{1}{d_{1} λ_{1 -}} P_{1} (β_{1} + r_{1} (- \infty) - a_{1} - P_{1} + h P_{2} + a_{1} P_{3}) \leq 0.$

注意到 $P_{1} > 0$ ，上述不等式可推得

$r_{1} (- \infty) - a_{1} - P_{1} + h P_{2} + a_{1} P_{3} \geq 0.$ (12)

同理可得

$r_{2} (- \infty) - a_{2} - P_{2} + k P_{1} + a_{2} P_{3} \geq 0$ (13)

和

$(1 - P_{3}) (1 - r_{3} (- \infty) - P_{3} + b_{1} P_{1} + b_{2} P_{2}) \geq 0.$ (14)

由于 $0 \leq P_{3} \leq k_{3} = 1$ ，可分为 $P_{3} = 1$ 和 $0 \leq P_{3} < 1$ 两种情况进行讨论。

若 $P_{3} = 1$ ，那么联立(12)和(13)可得

$P_{1} \leq k_{1}, P_{2} \leq k_{2} .$ (15)

若 $0 \leq P_{3} < 1$ ，由(14)可以推出

$1 - r_{3} (- \infty) - P_{3} + b_{1} P_{1} + b_{2} P_{2} \geq 0.$ (16)

联立(12)、(13)和(16)可得

$P_{1} \leq \frac{u^{-}}{D}, P_{2} \leq \frac{v^{-}}{D}, P_{3} \leq 1 - \frac{w^{-}}{D} .$ (17)

类似地，对任意的 $ϵ \in (0, \min {Q_{1}, Q_{2}, Q_{3}})$ ，存在 $\exists N_{2} > 0$ 使得当 $η \in (- \infty, t_{N_{2}})$ 时有

$Q_{i} - ϵ < ϕ_{i} (η) < Q_{i} + ϵ, r_{i} (- \infty) < r_{i} (η) < r_{i} (- \infty) + ϵ, i = 1, 2,$

$Q_{3} - ϵ \leq ϕ_{3} (η) < Q_{3} + ϵ, r_{3} (- \infty) < r_{3} (η) < r_{3} (- \infty) + ϵ .$

因此，当 $n > N_{2}$ 时有

${ϕ^{'}}_{1} (t_{n}) \leq λ_{1 +} ϕ_{1} (t_{n}) + \frac{1}{d_{1} λ_{1 -}} (Q_{1} - ϵ) [β_{1} + r_{1} (- \infty) - a_{1} - Q_{1} + h Q_{2} + a_{1} Q_{3} - (a_{1} + h - 1) ϵ] .$

注意到 $Q_{1} > 0$ ，令 $n \to \infty$ 且由 $ϵ$ 的任意性可得

$r_{1} (- \infty) - a_{1} - Q_{1} + h Q_{2} + a_{1} Q_{3} \leq 0.$ (18)

同理可得

$r_{2} (- \infty) - a_{2} - Q_{2} + k Q_{1} + a_{2} Q_{3} \leq 0$ (19)

和

$(1 - Q_{3}) (1 - r_{3} (- \infty) - Q_{3} + b_{1} Q_{1} + b_{2} Q_{2}) \leq 0.$ (20)

由于 $0 \leq Q_{3} \leq k_{3} = 1$ ，可分为 $Q_{3} = 1$ 和 $0 \leq Q_{3} < 1$ 两种情况进行讨论。

若 $Q_{3} = 1$ ，那么联立(18)和(19)可得

$Q_{1} \geq k_{1}, Q_{2} \geq k_{2} .$ (21)

若 $0 \leq Q_{3} < 1$ ，由(20)可以推出

$1 - r_{3} (- \infty) - Q_{3} + b_{1} Q_{1} + b_{2} Q_{2} \leq 0.$ (22)

联立(18)、(19)和(22)可得

$Q_{1} \geq \frac{u^{-}}{D}, Q_{2} \geq \frac{v^{-}}{D}, Q_{3} \geq 1 - \frac{w^{-}}{D} .$ (23)

注意到 $Q_{i} \leq P_{i} \leq k_{i}^{+} (i = 1, 2, 3)$ ，结合(15)和(21)可知

$P_{i} = Q_{i} = k_{i}, i = 1, 2, 3.$

又由(17)和(23)可知

$P_{1} = Q_{1} = \frac{u^{-}}{D}, P_{2} = Q_{2} = \frac{v^{-}}{D}, P_{3} = Q_{3} = 1 - \frac{w^{-}}{D} .$

若 $D < 0$ ，由(H2)可知 $\frac{w^{-}}{D} < 0$ ，那么 $1 - \frac{w^{-}}{D} > 1$ 。若 $D > 0$ ，通过简单计算并结合(H2)可知 $1 - \frac{w^{-}}{D} < 0$ ，即 $1 - \frac{w^{-}}{D} \notin [0, 1]$ 。这与 $0 \leq Q_{3} \leq P_{3} \leq k_{3} = 1$ 矛盾。

综上可知， $\lim_{ξ \to - \infty} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) = (k_{1}, k_{2}, k_{3})$ 。证毕。

4. 小结

本文研究了移动环境下三种群Lotka-Volterra竞争合作系统行波解的存在性，主要通过构造上下解和先验集，并结合单调迭代技巧和波动引理证明了该系统非负受迫行波的存在性。同时注意到受迫波的边界条件为 $\lim_{ξ \to - \infty} (ϕ_{1} (ξ), ϕ_{2} (ξ), ϕ_{3} (ξ)) = (k_{1}, k_{2}, k_{3})$ ，由于 $r (\cdot)$ 恒正，我们有 $k_{1}, k_{2}, k_{3} > 0$ ，这表明种群栖息地环境是轻微恶化的，由此可知这三个种群在任一固定的区域上都可以持久生存。

References 1

Fisher, R.A. (1937) The Wave of Advance of Advantageous Genes. Annals of Eugenics, 7, 355-369. >https://doi.org/10.1111/j.1469-1809.1937.tb02153.x

Kolomgorov, A.N., Petrovskii, I.G. and Piskunov, N.S. (1937) Study of a Diffusion Equation That Is Related to the Growth of a Quality of Matter, and Its Application to a Biological Problem. Moscow University Mathematics Bulletin, 1, 1-26.

Cantrell, R.S. and Cosner, C. (2004) Spatial Ecology via Reaction‐Diffusion Equations. John Wiley&Sons. >https://doi.org/10.1002/0470871296

倪维明. 浅谈反应扩散方程[J]. 数学传播, 2016, 34(4): 17-26.

楼元. 空间生态学中的一些反应扩散方程模型[J]. 中国科学: 数学, 2015, 45(10): 1619-1634.

Yang, Y., Wu, C. and Li, Z. (2019) Forced Waves and Their Asymptotics in a Lotka-Volterra Cooperative Model under Climate Change. Applied Mathematics and Computation, 353, 254-264. >https://doi.org/10.1016/j.amc.2019.01.058

Dong, F., Li, B. and Li, W. (2021) Forced Waves in a Lotka-Volterra Competition-Diffusion Model with a Shifting Habitat. Journal of Differential Equations, 276, 433-459. >https://doi.org/10.1016/j.jde.2020.12.022

Sharmila, N.B. and Gunasundari, C. (2022) Travelling Wave Solutions for a Diffusive Prey-Predator Model with One Predator and Two Preys. International Journal of Apllied Mathematics, 35, 661-684. >https://doi.org/10.12732/ijam.v35i5.3

Chen, C., Hung, L., Mimura, M. and Ueyama, D. (2012) Exact Travelling Wave Solutions of Three-Species Competition-Diffusion Systems. Discrete and Continuous Dynamical Systems-Series B, 17, 2653-2669. >https://doi.org/10.3934/dcdsb.2012.17.2653

Mimura, M. and Tohma, M. (2015) Dynamic Coexistence in a Three-Species Competition-Diffusion System. Ecological Complexity, 21, 215-232. >https://doi.org/10.1016/j.ecocom.2014.05.004

Hsu, C.-H., Lin, J.-J. and Wu, S.-L. (2019) Existence and Stability of Traveling Wavefronts for Discrete Three Species Competitive-Cooperative Systems. Mathematical Biosciences and Engineering, 16, 4151-4181. >https://doi.org/10.3934/mbe.2019207

Wu, C., Yang, Y. and Wu, Z. (2021) Existence and Uniqueness of Forced Waves in a Delayed Reaction-Diffusion Equation in a Shifting Environment. Nonlinear Analysis: Real World Applications, 57, Article 103198. >https://doi.org/10.1016/j.nonrwa.2020.103198

Yan, R., Liu, G. and Wang, Y. (2022) Stability of Bistable Traveling Wavefronts for a Three Species Competitive-Cooperative System with Nonlocal Dispersal. Japan Journal of Industrial and Applied Mathematics, 39, 515-541. >https://doi.org/10.1007/s13160-021-00497-5

Yang, Z., Zhang, G. and He, J. (2023) Existence and Stability of Traveling Wavefronts for a Three‐Species Lotka-Volterra Competitive‐Cooperative System with Nonlocal Dispersal. Mathematical Methods in the Applied Sciences, 46, 13051-13073. >https://doi.org/10.1002/mma.9232

Hu, H. and Zou, X. (2021) Traveling Waves of a Diffusive SIR Epidemic Model with General Nonlinear Incidence and Infinitely Distributed Latency but without Demography. Nonlinear Analysis: Real World Applications, 58, Article 103224. >https://doi.org/10.1016/j.nonrwa.2020.103224

Smith, H.L. (2011) An Introduction to Delay Differential Equations with Applications to the Life Sciences. Springer. >https://doi.org/10.1007/978-1-4419-7646-8