In recent years, the reaction-diffusion equation with nonlocal diffusion effect has gradually become a hot research area in the field of materials science and biological mathematics[1-3]. The introduction of nonlocal diffusion terms in mathematical modeling can, in many cases, better describe some natural phenomena. Although many scholars[4, 5] have studied the traveling wave solutions of reaction-diffusion equations with nonlocal diffusion effect, there is little research on invading phenomenon in reaction-diffusion systems.
Recently, Ducrot et.al[6] have investigated a two-species predator-prey model with nonlocal dispersal as follows
in which the terms $ d_{1}\mathcal{N}_{1} $ and $ d_{2}\mathcal{N}_{2} $ describe the spatial dispersal of the prey and the predator, other coefficients are nonnegative constants. $ \mathcal{N}_{i} $ is the linear nonlocal diffusion operator defined by
wherein $ J_{i}, i = 1, 2 $ are probability kernel functions and the symbol $ * $ denotes the concolution product relative to the space variable, $ x\in R $ (We also refer readers to specific definitions by [7] while be given later). Under certain conditions, they obtained the spreading speed $ c_{1} $ of predator invading native prey habitat as follow
In fact, due to the diversity and complexity of ecosystems, it is more practical to study the interaction between multiple species. However, when there are more than two species, it becomes more difficult to study the ecosystem. Chin-Chin Wu [8] has studied the following three-component reaction diffusion system
where $ d_{i}, r_{i}, a_{i}, b_{i}, i = 1, 2, 3 $ are positive constants. When the above system satisfies a series of conditions such as $ a_{1}, a_{2}<1 $ and $ b_{1} = b_{2} = b>1 $, the author has characterized the asymptotic spreading speed $ c_{2} $ of the predator with
Remark 1.1 In the system $ (1.2) $, the author assumes that the predator has the same predation rate to the two kinds of preys and it is also the conversion rate of the predator's absorption. These hypothetical conditions make the predator-prey model too idealistic. Moreover, the author does not consider the spatial nonlocal diffusion. For the system $ (1.1) $, the authors consider the spatial nonlocal diffusion effect, but the model only has two species. So it is reasonable for us to consider the model of three species interaction. To the author's knowledge, the asymptotic spreading speed of three species model with nonlocal diffusion effect is still a problem to be solved.
In this paper, we consider the following three-component reaction-diffusion system with nonlocal dispersal
where $ d_{i}, r_{i}, a_{i}, b_{i}, i = 1, 2, 3 $ are positive constants, $ u_{1} $, $ u_{2} $ and $ u_{3} $ represent the population density of preys and predator at space $ x $ and time $ t $, respectively. The parameters $ r_{1} $ and $ r_{2} $ represent the growth rates of $ u_{1} $ and $ u_{2} $, $ r_{3} $ is the death rate of $ u_{3} $, $ a_{1} $and $ a_{2} $ represent the interspecific competition coefficient of two kinds of preys, $ r_{1}b_{1} $ and $ r_{2}b_{2} $ are the predation rates, and $ r_{3}a_{3}, r_{3}b_{3} $ are the conversion rates.
It's noting that system $ (1.3) $ represents a model of a three-species system in which two preys compete with each other and are preyed upon by a predator. Such systems occur frequently in nature. For example, one population could be the predator such as lady beetles, and the second and third could be prey species such as English grain aphid and the oat-bird cherry aphid[9].
In this paper we study a three-species predator-prey model with nonlocal diffusion. Our main concern is the invasion process of the predator into the habitat of two aborigine preys. Under certain conditions, we are able to characterize the asymptotic spreading speed by the use of comparison principle and semigroup theory. Moverover, we can get the same results as system $ (1.2) $ by degenerating our system.
For the sake of describing the process of species invasion, we need to introduce some measures such as the asymptotic spreading speed.
Definition 2.1 [10] Let $ z(x, t) $ be nonnegative for $ x\in R, t>0 $. Then $ s^{*} $ is called the spreading speed of $ z(x, t) $ when
In this paper, we assume that $ J_{i}, i = 1, 2, 3 $ satisfies the following definition.
Definition 2.2 [11] Let $ \overline{\lambda}\in(0, \infty] $ be given. We say that the kernel function $ J:R\longrightarrow R $ belongs to the class $ \tau(\overline{\lambda}) $ if it satisfies the following properties:
(J1) The kernel J is nonnegative and continuous in $ R $;
(J2) For all $ x\in R $ it holds that
(J3) it holds that $ \int_{R}J(y)e^{\lambda y}dy<\infty $ for any $ \lambda\in(0, \overline{\lambda}) $ and
Let $ d>0, r>0, s>0, \overline{\lambda}\in(0, \infty] $ and $ J\in\tau(\overline{\lambda}) $. First, we consider the following nonlocal logistic equation
where $ \mathcal{N}[w] = :J*w-w $ and $ 0<z(x)\leq s $ is a bounded and continuous function with nonempty support, for the scalar nonlocal equation enjoys the following comparison principle.
Lemma 2.1 [12] Let $ z(x, t) $ be a solution of $ (2.1) $, $ z(\cdot, t), t>0 $ and $ 0<z(x)\leq s $ are continuous and bounded for $ x\in R $, $ t>0 $. Assume that $ 0<w(x, 0)\leq s $ and $ w(x, t) $ are continuous and bounded for $ x\in R $, $ t>0 $, if they satisfy
then $ w(x, t)\geq(\leq)z(x, t) $, $ x\in R $, $ t>0 $.
Lemma 2.2 [12] Let $ z(x, t) $ be a solution of $ (2.1) $, $ z(\cdot, t) $ is continuous and bounded for all $ t>0 $ for a given $ 0<z(x)\leq s $. If $ z(x) $ has a nonempty compact support. Then we have
where
In this paper, due to the weak competition between two preys, we consider the following initial conditions of the system $ (1.3) $
where $ v(x) $ is a nonnegative continuous function with nonempty compact support. Throughout of this paper, we always assume that $ 0<v(x)\leq\alpha: = a_{3}u_{1}^{*}+b_{3}u_{2}^{*}-1. $
Because of the nonnegativity of $ u_{1} $, $ u_{2} $ and $ u_{3} $, we can easily get $ u_{1}(x, t)\leq1, $ $ u_{2}(x, t)\leq1 $ for all $ (x, t)\in R\times[0, \infty) $ by the comparison principle. Hence $ u_{3}(x, t) $ satisfies the equation
By Lemma 2.1, we have $ u_{3}(x, t)\leq-1+a_{3}+b_{3}. $
Further by a comparison, we obtain
Since the asymptotic spreading involves long time behavior, we have
Next, we discuss the spreading speed of the predator $ u_{3}(x, t) $ in system $ (1.3) $ with following conditions
We now state our main result on the spreading speed of the predator as follows.
According to the Definition 2.2, we know there exists $ \lambda_{3}\in(0, \infty] $ such that $ J_{3}\in \tau(\overline{\lambda_{3}}) $. Then we define the quantity
Theorem 2.1 Assume that conditions of $ (2.6) $ are enforced. Let $ (u_{1}(x, t), u_{2}(x, t), u_{3}(x, t)), $ $ x\in R $, $ t>0 $ be a solution of $ (1.3) $ with initial data $ (2.2) $. As long as $ v(x) $ is a non-zero compactly supported continuous function with $ 0\leq v(x)\leq \alpha $, then the density of the predator $ u_{3}(x, t) $ satisfies
Now we first prove $ (2.7). $ On the base of the results of $ (2.3)-(2.6) $, we have
Further, $ u_{3}(x, t) $ satisfies
By Lemma 2.1 we obtain $ u_{3}(x, t)\leq\widetilde{u}_{3}(x, t), (x, t)\in R\times[0, \infty), $ where $ \widetilde{u}_{3}(x, t) $ is the solution to
It follows from the classical result of Lemma 2.2 that
This proves (2.7) and then we will prove $ (2.8) $. From the first formula of system $ (1.3) $ and $ u_{2}(x, t)\leq u_{2}^{*} $, $ u_{1}(x, t) $ satisfies
Set $ \overline{u}_{1}(x, t) = u_{1}^{*}-u_{1}(x, t), $ $ x\in R $, $ t>0 $, then previous formula can be rewritten as
Next, by using $ \overline{u}_{1}(x, t) = 0 $ at $ t = 0 $ and the theory of semigroup, we have
Set $ \overline{u}_{2}(x, t) = u_{2}^{*}-u_{2}(x, t), $ similarly, we have
It follows from the third formula of system $ (1.3) $ that
For any given constant $ \epsilon\in(0, c^{*}) $, we can choose constant $ \delta\in(0, \alpha) $ small enough such that
We first assume that there exist $ M_{1}>0, M_{2}>0 $ and $ \tau_{1}>0, \tau_{2}>0 $ large enough such that
Then, combining $ (2.12) $, $ (2.13) $ with the third formula, we obtain
By the comparison principle, we have $ u_{3}(x, t+\tau)\geq\underline{U}_{3}(x, t), x\in R, t\geq0, $ where $ \underline{U}_{3}(x, t) $ is the solution to
Finally, combining Lemma 2.2 and Lemma 2.3, we obtain
Hence, this completes the proof of $ (2.8) $ since $ \epsilon $ is arbitrary.
To complete the proof of Theorem 1.1, it remains to derive (2.12) and (2.13). In the following, we only prove the formula $ (2.12) $. In order to achieve our goal, we need to know more detailed properties about the strongly positive semigroup $ T_{i}(t): = exp(td_{i}\mathcal{N}_{i}) $.
Let $ Z(x, t) $ be a solution of the following problem
wherein $ \delta_{0}(x) $ denotes the Dirac mass at $ x = 0 $. According to[12], $ Z(x, t) $ can be decomposed into the following forms
where $ K(x, t) $ is a nonnegative smooth function and $ \int_{R}K(x, t)dx\leq2 $, $ t\geq0. $
For any bounded and continuous function $ 0\leq\phi(x) $, the semigroup $ T_{i}(t) $, $ t\geq0 $ can be expressed as
Next we start to prove the formula of $ (2.12). $ By $ (2.9) $, we have
Set $ \beta_{1} = d_{1}+r_{1}\underline{u}_{1}, \beta_{2} = r_{1}\underline{u}_{1}, $ then $ V_{1}(x, t), V_{2}(x, t), x\in R, t>0 $ can be rewritten as
For the fixed positive constant $ \delta $, there is a large enough constant $ \tau_{1} $ such that
For all $ x\in R, t\geq\tau_{1}, $if $ a_{3}\overline{u}_{1}(x, t)\leq\frac{\delta}{2}, $ then it is obvious that the formula $ (2.12) $ is tenable. Otherwise, there is a point $ (x_{0}, t_{0}) $ with $ t_{0}\geq \tau_{1} $ such that $ a_{3}\overline{u}_{1}(x_{0}, t_{0})>\frac{\delta}{2}. $
In the circumstances, we deduce from $ (2.14)-(2.16) $ that
Further
where $ l = t_{0}-s. $ Next, we choose $ R>0 $ such that
Note that $ R $ is independent of $ (x_{0}, t_{0}). $ Then we choose $ \eta>0 $ small enough such that
It follows from $ (2.17) $ that
Then choose $ \theta>0 $ such that
there exist $ l_{0}\in[t_{0}-\tau_{1}, t_{0}-\eta] $ and $ y_{0}\in[x_{0}-R, x_{0}+R] $ such that $ u_{3}(y_{0}, l_{0})\geq\theta. $ Moreover, since the function $ u_{3}(x, t) $is uniformly continuous on $ R\times[0, \infty) $, there exists $ \rho>0 $ independent of $ (y_{0}, l_{0}) $ such that $ u_{3}(y, l_{0})\geq\frac{\theta}{2} $, $ \forall y\in[y_{0}-\rho, y_{0}+\rho]. $
We then consider the solution $ w(x, t) $ to
where $ w(x) $ is a uniformly continuous function with $ w(x)\leq\frac{\rho}{2} $ such that
(i) $ w(x) = \frac{\theta}{2}, \quad |x|\leq\frac{\rho}{2}; $
(ii) $ w(x) = 0, \quad |x|\geq\rho; $
(iii) if $ x\in[\frac{\rho}{2}, \rho] $, then $ w(x) $ is decreasing, if $ x\in[-\rho, -\frac{\rho}{2}] $, then $ w(x) $ is increasing.
By the comparison principle, we have $ w(x, t)\leq u_{3}(y_{0}+x, l_{0}+t) $, $ x\in R $, $ t\geq0. $
Moreover, set $ w(x, t) = e^{r_{3}(1+\alpha)t}exp(d_{3}t\mathcal{N}_{3})[w](x) $, we have $ w(x, t)>0 $, $ x\in R $, $ t\geq0. $ Thus one obtains that
Further then it follows from $ (2.18) $ and $ (2.19) $ that
by setting $ M_{1} = \frac{\alpha r_{1}b_{1}a_{3}(2\beta_{1}+\beta_{2})}{\beta_{1}\beta_{2}\gamma}. $ Since $ (x_{0}, t_{0}) $ is arbitrary, $ (2.12) $ is proved.
Example 3.1 Suppose $ J_{3} = \frac{4}{3}(1-x^{2}), \mid x\mid<1 $ and $ J_{3} = 0, \mid x\mid\geq1 $. If the coefficient of system (1.3) with $ a_{1} = a_{2} = 0.2 $, $ a_{3} = 2.4 $, $ b_{1} = b_{2} = 0.1 $, $ b_{3} = 2.6 $, $ d_{i} = 2 $ and $ r_{i} = 0.3 $, then we can obtain a three-species predator-prey competition system with nonlocal diffusion. By Theorem 2.1, we can calculate the asymptotic spreading speed $ c_{4} $ of the predator with
Example 3.2 Suppose $ J_{3} = \frac{1}{2}e^{-\mid x\mid} $, $ a_{1} = a_{2} = 0.2 $, $ a_{3} = b_{3} = 2.5 $, $ b_{1} = b_{2} = 0.1 $, $ d_{i} = 2 $ and $ r_{i} = 0.3 $, then we can obtain
Remark 3.1 System $ (1.1) $ is a special case of system $ (1.3) $. Assume the coefficient $ a_{1} = a_{2} = b_{2} = b_{3} = 0 $, $ b_{1} = \frac{a}{r_{1}} $ and $ a_{3} = \frac{b}{r_{2}} $, we can use the Theorem 2.1 to get the same result as [6].