Abstract
How growth, mortality, and dispersal in a species affect the species’ spread and persistence constitutes a central problem in spatial ecology. We propose impulsive reaction–diffusion equation models for species with distinct reproductive and dispersal stages. These models can describe a seasonal birth pulse plus nonlinear mortality and dispersal throughout the year. Alternatively, they can describe seasonal harvesting, plus nonlinear birth and mortality as well as dispersal throughout the year. The population dynamics in the seasonal pulse is described by a discrete map that gives the density of the population at the end of a pulse as a possibly nonmonotone function of the density of the population at the beginning of the pulse. The dynamics in the dispersal stage is governed by a nonlinear reaction–diffusion equation in a bounded or unbounded domain. We develop a spatially explicit theoretical framework that links species vital rates (mortality or fecundity) and dispersal characteristics with species’ spreading speeds, traveling wave speeds, as well as minimal domain size for species persistence. We provide an explicit formula for the spreading speed in terms of model parameters, and show that the spreading speed can be characterized as the slowest speed of a class of traveling wave solutions. We also give an explicit formula for the minimal domain size using model parameters. Our results show how the diffusion coefficient, and the combination of discrete- and continuous-time growth and mortality determine the spread and persistence dynamics of the population in a wide variety of ecological scenarios. Numerical simulations are presented to demonstrate the theoretical results.
Similar content being viewed by others
References
Al-arydah, M., & Smith R. (2011). Controlling malaria with indoor residual spraying in spatially heterogenous environments. Math. Biosci. Eng., 8, 889–914.
Beverton, R. J. H., & Holt, S. J. (1957). Fisheries investigations, series 2: Vol. 19. On the dynamics of exploited fish populations. London: H.M. Stationery Office.
Brauer, F., & Castillo-Chávez, C. (2001). Mathematical models in population biology and epidemiology. New York: Springer.
Cantrell, R. S., & Cosner, C. (2003). Spatial ecology via reaction–diffusion equations. New York: Wiley.
Caswell, H. (2001). Matrix population models: construction, analysis and interpretation (2nd ed.). Sunderland: Sinauer.
Diekmann, O. (1978). Thresholds and traveling waves for the geographical spread of infections. J. Math. Biol., 6, 109–130.
Eskola, H. T. M., & Geritz, S. A. H. (2007). On the mechanistic derivation of various discrete-time population models. Bull. Math. Biol., 69, 329–346.
Eskola, H. T. M., & Parvinen, V. (2007). On the mechanistic underpinning of discrete-time population models with allee effect. Theor. Popul. Biol., 72, 41–51.
Fisher, R. A. (1937). The wave of advantageous genes. Ann. Eugen., 7, 255–369.
Geritz, S. A. H., & Kisdi, É. (2004). On the mechanistic underpinning of discrete-time population models with complex dynamics. J. Theor. Biol., 228, 261–269.
Gyllenberg, M., Hanski, I., & Lindström, T. (1997). Continuous versus discrete single species populations models with adjustable reproductive strategies. Bull. Math. Biol., 59, 679–705.
Kolmogorov, A. N., Petrowsky, I. G., & Piscounov, N. S. (1937). Étude de l’équation de la diffusion avec croissance de la quantité de matiére et son application á un probléme biologique. Bull. Univ. ’Etat Mosc., Ser. Int., A, 1, 1–26.
Kot, M., Lewis, M. A., & van der Driessche, P. (1996). Dispersal data and the spread of invading species. Ecology, 77, 2027–2042.
Kot, M., & Schaffer, W. M. (1986). Discrete-time growth-dispersal models. Math. Biosci., 80, 109–136.
Li, B., Weinberger, H. F., & Lewis, M. A. (2005). Spreading speeds as slowest wave speeds for cooperative systems. Math. Biosci., 196, 82–98.
Li, B., Lewis, M. A., & Weinberger, H. F. (2009). Existence of traveling waves in integral recursions with nonmonotone growth functions. J. Math. Biol., 58, 323–338.
Lui, R. (1982). A nonlinear integral operator arising from a model in population genetics. I. Monotone initial data. SIAM J. Math. Anal., 13, 913–937.
Murray, J. D. (2002a). Mathematical biology I: an introduction. Berlin: Springer.
Murray, J. D. (2002b). Mathematical biology II: spatial models and biomedical applications. Berlin: Springer.
Neubert, M. G., Kot, M., & Lewis, M. A. (1995). Dispersal and pattern formation in a discrete-time predator-prey model. Theor. Popul. Biol., 48, 7–43.
Okubo, A., & Levin, S. (2001). Diffusion and ecological problems. New York: Springer.
Pachepsky, E., Nisbet, R. M., & Murdoch, W. W. (2008). Between discrete and continuous: consumer-resource dynamics with synchronized reproduction. Ecology, 89, 280–288.
Protter, M. H., & Weinberger, H. F. (1985). Maximum principles in differential equations. New York: Springer.
Ricker, W. E. (1954). Stock and recruitment. J. Fish. Res. Board Can., 11, 559–623.
Rudin, W. (1991). Functional analysis. New York: McGraw-Hill.
Shigesada, N., & Kawasaki, K. (1997). Biological invasions: theory and practice. Oxford: Oxford University Press.
Singh, A., & Nisbet, R. M. (2007). Semi-discrete host-parasitoid models. J. Theor. Biol., 247, 733–742.
Skellam, J. G. (1951). Random dispersal in theoretical populations. Biometrika, 38, 196–218.
Thieme, H. R. (1979). Density-dependent regulation of spatially distributed populations and their asymptotic speed of spread. J. Math. Biol., 8, 173–187.
Thieme, H. (2003). Mathematics in population biology. Princeton: Princeton University Press.
Tilman, D., & Kareiva, P. (1997). Spatial ecology. Princeton: Princeton University Press.
Weinberger, H. F. (1982). Long-time behavior of a class of biological models. SIAM J. Math. Anal., 13, 353–396.
Weinberger, H. F., Lewis, M. A., & Li, B. (2002). Analysis of linear determinacy for spread in cooperative models. J. Math. Biol., 45, 183–218.
Acknowledgements
The authors thank two anonymous reviewers for their helpful comments and suggestions. This research was supported by NSERC Discovery and Accelerator grants and by a Canada Research Chair. M.A.L. gratefully acknowledges a Research Fellowship from Oxford Centre for Collaborative and Applied Mathematics, supported by Award No KUK-CI013-04 made by King Abdullah University of Science and Technology (KAUST).
This research was partially supported by the National Science Foundation under Grant DMS-616445 and Grant DMS-1225693.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
In this section we provide a justification for nonlinearity of g and the proofs for Theorems 2.1, 2.2 and 3.1.
1.1 6.1 Justification of Nonlinearity of g
We consider a population with the following properties: (i) an individual needs a unit of resource to produce offspring; and (ii) each resource unit occupies area b and the mean density of individuals in space is N. Suppose that the population is randomly distributed in space via a Poisson process and individuals are sessile in productive stage. Then the number of individuals in each unit is a Poisson RV with mean Nb. The probability of k individuals in a unit is
Suppose that there is contest competition. If there is more than one individual per unit, then they compete so that only one reproduces. Then the expected number of offspring arising from the unit would be R times the probability that the unit is occupied, where R is the number offspring per adult:
This is the Skellam function (Skellam 1951), which is qualitatively similar to the Beverton–Holt function (21).
We next assume that there is scramble competition. If two or more individuals chose the same unit, then they would each get a smaller amount of resource, but not enough to reproduce, and so none would reproduce. In this case, the expected number of offspring arising from a unit would be R time the probability that there was one individual occupying the location:
Choosing r=log(Rb) yields the Ricker function (22).
The first model would apply to animals such as birds which have contest competition for nesting sites, and the second to animals such as salmon, where they spawn in river beds and can spawn on top of a previous site.
1.2 6.2 Proof of Theorem 2.1
Let Q denote the time one solution operator of the reaction–diffusion equation in (1). It is well known that Q is continuous and compact in the topology of uniform convergence on every bounded interval, and Q is monotone in the sense Q[u](x)≥Q[v](x) if u(x)≥v(x)≥0. N n (x) satisfies the abstract recursion
Consider the initial value problem
Then v:=p/ρ where 0<ρ≤1 satisfies
We introduce the system
Since 0<ρ≤1, the comparison theorem shows that the solution v(x,t) of (25) and the solution u(x,t) of (26) satisfy v(x,t)≥u(x,t) for t>0, and particularly,
so that p(x,1)≥ρu(x,1) where p(x,t) is the solution of (24). This shows that Q[ρN](x)≥ρQ[N](x). On the other hand, Hypothesis 2.1 ii implies that for 0<ρ<1, g(ρN)≥ρg(N) for N≥0. It follows that for 0<ρ≤1,
We use M[N] to denote the linearization of Q[g(N)] about 0. M is the solution operator of the problem
Solving the linear problem (28) explicitly, we obtain that
where k(x) is the normal distribution given by
The moment generating function of k(x) is
so that
The condition g(N)≤g′(0)N and the fact that αu−γu 2≤αu, as well as the comparison theorem show that
On the other hand, differentiability of g at 0 and Lemma 4.1 in Weinberger et al. (2002) show that there exists a family M (κ) of linear order preserving operators with the properties that for every sufficiently large positive integer κ there is a constant ω>0 such that Q[g(v)](x)≥M (κ)[v](x) for 0≤v(x)≤ω and that for every μ>0, \(B^{(\kappa)}_{\mu}\) defined by B (κ) α:=M (κ)[e −μx α]| x=0 for all α>0 converge to g′(0)e α K(μ) as κ→∞. It follows from Theorems 6.1–6.5 in Weinberger (1982) that system (23) has the spreading speed c ∗ given by (29) satisfying (9) and (10).
The second part of the theorem follows immediately from Theorem 6.6 in Weinberger (1982). The proof is complete.
1.3 6.3 Proof of Theorem 2.2
A comparison argument that makes use of property (15), similar to the proof of Proposition 3.1 in Li et al. (2009), shows that c ∗ is the spreading speed of (1). We shall omit the details here.
The nonexistence of traveling wave solutions with speeds c<c ∗ is similar to the last part of the proof of Theorem 4.1 in Li et al. (2009) and is omitted here.
We now establish the existence of traveling wave solutions with speeds c≥c ∗. Hypothesis 2.1 ii and the definition of g + imply that
so that (27) with g replaced by g + holds, i.e.,
The results about the traveling wave solutions obtained in Sect. 2.2 show that for c≥c ∗, system (13) has a nonincreasing traveling wave solution N n (x)=w +(x−nc) with w +(−∞)=β + and w +(∞)=0. We now choose a positive number 0<ρ<1 so small such that ρw +(x)≤σ 0 and g(ρw +(x))≤σ 0. It follows that for N(x)≥ρw +(x):
On the other hand, for 0≤N(x)≤w +(x),
We therefore have that the set
is an invariant set for the operator T c [Q[g(⋅)]] with T c [u](x)=u(x+c). Since g is continuous and Q is compact, the composition operator Q[g(⋅)] is compact. It follows that the image of E c under T c [Q[g(⋅)]] is compact in the topology of uniform convergence on every bounded interval. Because the set of bounded vector-valued functions with this topology is a locally convex topological vector space, the existence of a solution w of the equation T c [Q[g(w)]]=w follows from what Rudin (1991) calls the Schauder–Tychonoff fixed point theorem. Clearly, w(∞)=0. An argument similar to what in the second paragraph on p. 332 in the proof of Theorem 4.1 in Li et al. (2009) shows lim inf x→∞ w(x)≥β −. The proof is complete.
1.4 6.4 Proof of Theorem 3.1
Consider the eigenvalue problem
It is easily seen that
is the principal eigenvalue and a corresponding eigenfunction is
Let
where κ is a positive constant. \(\tilde{N}_{n}(x)\) is a solution of the linear problem
In fact, \(u(t,x)=\kappa g'(0) e^{\lambda_{1} t} \phi(x)\) satisfies the linear reaction–diffusion equation and the boundary condition in (30), as well as the initial condition \(u(x, 0)=g'(0) \tilde{N}_{0}(x)=\kappa g'(0) \phi(x)\). It follows that
which is \(\tilde{N}_{1}(x)\). Induction shows that \(\tilde{N}_{n}(x)\) is a solution of (30).
For any given initial value function u(x,0)=N 0(x) in (16), we can choose κ sufficiently large such that \(N_{0}(x)\leq\tilde{N}_{0}(x)\). Since the reaction term in Eq. (16) is no greater than that in (30) for nonnegative u, the comparison theorem and induction show that the solution N n (x) of (16) has the property that \(N_{n}(x)\leq\tilde{N}_{n}(x)\) for all n≥0. If \(g'(0) e^{\lambda_{1}}<1\), then \(\lim_{n\rightarrow \infty}\tilde{N}_{n}(x)=0\) for all x, and thus
for all x. The proof of the statement (i) is complete.
We now assume \(g'(0) e^{\lambda_{1}}>1\) or equivalently \(\ell>\pi \sqrt{\frac{d}{\ln g'(0) +\alpha}}\) and prove the statement (ii). We choose \(\hat{\lambda}<\lambda_{1}\) and ρ 1<g′(0) such that \(\rho_{1} e^{\hat{\lambda}}>1\). Let \(v(x,t)=\epsilon\rho_{1} e^{\hat{\lambda} t}\phi(x)\). It follows from Hypothesis 3.1 that for sufficiently small ϵ>0 and 0<t≤1
On the other hand, for 0<t≤1
for sufficiently small ϵ. This shows that for 0<t≤1, v(x,t) is a lower solution of
We use S to denote the time 1 solution map of
Then u(x,1)=S[u 0](x). A comparison argument shows that S is a monotone operator in the sense that S[u 1](x)≥S[u 2](x) whenever u 1(x)≥u 2(x)≥0. Using S, we find that the solution N n (x) of (16) satisfies the abstract recursion
Let \(\underline{N}_{0}(x)=\epsilon\phi(x)\) and \(\underline{N}_{n+1}(x)=S[g(\underline{N}_{n})](x)\). The properties of v(x,t) show that for sufficiently small ϵ
Induction shows that \(\underline{N}_{n+1}(x)\geq \underline{N}_{n}(x)\) for all n≥0.
On the other hand, for sufficiently small ϵ, the equilibrium value \(\beta> \epsilon\phi(x)=\underline{N}_{0}(x)\) is a super solution of (16). It follows that
for all n≥0. We therefore have that \(\underline{N}_{n}(x)\) increases to a limit function \(\underline{N}(x)\), which is the minimum positive equilibrium solution of (16). If N 0(x) in (16) is initially nonnegative and is positive on an open subinterval of (0,ℓ), then the strong maximum principle shows that N 1(x)>0 for 0<x<ℓ. Choose ϵ sufficiently small so that \(\underline{N}_{0}(x)=\epsilon\phi(x)< N_{1}(x)\). Then the comparison theorem shows that \(\underline{N}_{n+1}(x)\leq N_{n}(x)\) for all n≥0, and thus \(\liminf_{n\rightarrow \infty}\underline{N}_{n}(x)\geq\underline{N}(x)\). The proof is complete.
Rights and permissions
About this article
Cite this article
Lewis, M.A., Li, B. Spreading Speed, Traveling Waves, and Minimal Domain Size in Impulsive Reaction–Diffusion Models. Bull Math Biol 74, 2383–2402 (2012). https://doi.org/10.1007/s11538-012-9757-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11538-012-9757-6