Abstract
To fully understand population persistence in river ecosystems, it is necessary to consider the effect of the water flow, which varies tremendously with seasonal fluctuations of water runoff and snow melt. In this paper, we study integrodifference models for growth and dispersal in the presence of advective flow with both periodic (alternating) and random kernel parameters. For the alternating kernel model, we obtain the principal eigenvalue of the linearization operator to determine population persistence and derive a boundary value problem to calculate it. For the random model, we establish two persistence metrics: a generalized spectral radius and the asymptotic growth rate, which are mathematically equivalent but can be understood differently, to determine population persistence or extinction. The theoretical framework and methods for calculations are provided, and the framework is applied to calculating persistence in highly variable river environments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Background
Stream and river ecosystems are shaped by their physical environment of unidirectional water flow. Questions of population persistence in river ecosystems must necessarily consider the effect of the water flow on populations in space and time. To complicate matters, this water flow can vary tremendously with seasonal fluctuations of water runoff and snow melt.
How can populations persist in streams when they are being constantly washed downstream? This so-called drift paradox (Muller 1982) has engaged biologists and mathematicians in a series of modeling efforts using reaction–advection–diffusion equations to describe the population densities in space and time. The early paper of Speirs and Gurney (2001) uses a modification of Fisher’s equation that includes advection to show the existence of a critical flow rate in the stream, below which the populations will persist, and above which the population will wash out, much as a chemostat population will persist or wash out in low flow and high flow conditions.
The approach of Speirs and Gurney (2001) employs classical mathematical methods of population spreading speeds and critical domain size. The spreading speed for Fisher’s equation, \(2\sqrt{r\!D}\) where \(r\) is the intrinsic growth rate and \(D\) is the diffusion coefficient (Aronson and Weinberger 1975), yields the critical advection velocity \(v_c\), below which stream populations will persist, and above which they will wash out. This can be understood intuitively: when the advection velocity \(v\) exactly matches the spreading speed \(2\sqrt{r\!D}\), the population is washed downstream by water flow at the same speed it is moving upstream by the combined effects of growth (\(r\)) and diffusion (\(D\)). Speirs and Gurney (2001) show the critical domain size \(L_c\) exists for all advection velocities that lie below the critical value \((0<v<v_c)\) and that the critical domain size approaches infinity as \(v\) approaches \(v_c\). Biologically, this is interpreted as implying that stream populations will persist if the advection speed falls below a threshold value, and there is a sufficiently large stretch of stream available. This theory has been tested empirically by Walks (2007) who related the persistence of plankton in flowing water to stream advection velocities. A mathematical review of the ideas in Speirs and Gurney (2001) can be found in Lewis et al. (2009).
Extensions to the theory have focused on increasingly realistic models for the stream populations. These include stationary and mobile compartments to describe subpopulations on the benthos and in the stream (Pachepsky et al. 2005), non-diffusive dispersal of stream populations that can include long-distance jumps (Lutscher et al. 2005), spatially varying stream environments (Lutscher et al. 2006), spatial interactions between competitors in the stream environment (Lutscher et al. 2007) and periodic fluctuations in environmental conditions (Jin and Lewis 2011, 2012).
Despite these extensions to the theory, the models have been limited to the case where the stream environment is predictable. Although convenient from a modelling perspective, this is inaccurate. For example stream flows not only vary by an order of magnitude between spring and fall seasons (Abrahamsson and Hakanson 1998), they also vary unpredictably from year to year (Anderson et al. 2006). While some models exist for spreading populations in randomly fluctuating (Neubert et al. 2000) environments, none have investigated persistence and spread in environments such as streams, where unidirectional flow predominates.
In this paper we investigate persistence of populations in periodic and randomly fluctuating environments with predominantly unidirectional flow. Our mathematical model is based on a discrete-time and continuous-space dynamical system that takes the form of an integrodifference equation. In the next section we develop a modelling background for integrodifference models.
1.2 Integrodifference models
We consider organisms with separate growth and dispersal stages. Dispersal is assumed to be continuous in space and occurring over a fixed time interval (the dispersal event) while growth is independent of space, but depends on the local population density. Denoting \(n_t(x)\) as the population density at stage \(t\), the growth dynamics are modeled by
where \(f\) is a nonnegative monotonically increasing function. The function \(g(n)\) is the per capita growth rate and we assume the maximum per capita growth rate is found as \(n\) approaches zero. The dispersal dynamics are modelled by the integral equation
where the dispersal kernel \(K(x,y)\) models the probability density associated with an individual, that starts at \(y\), settling at \(x\) during the dispersal event. We assume that \(K\) is a continuous nonnegative function with area one when integrated with respect to \(x\) over the real line for all fixed y. The combined model for growth and dispersal is then given by the the nonlinear integrodifference model
Equations of the form (3) were first formulated to study gene flow and selection (Slatkin 1973), and were only later applied in ecological settings (Kot and Schaffer 1986). As written, Eq. (3) assumes an unstructured population that grows in the stream benthos, and disperses through the stream and settles back to the benthos each time step. Although the population is assumed to be unstructured, an extension of the model can be used to describe stage-structured populations where dispersal varies from stage to stage (Lutscher and Lewis 2004).
We consider a habitat \(\varOmega = [x_0,y_0]\) for some \(x_0 < y_0\). For such a bounded domain \(\varOmega \) the model (3) assumes that the organism can disperse across the boundary, but there is no source term from outside the boundary. This is the case if conditions outside \(\varOmega \) are unfavorable to growth and survival or if the organism cannot disperse back into the habitat \(\varOmega \) once it has left. This would be the case for a stretch of suitable habitat in a stream, surrounded by unsuitable habitat, where the organism cannot survive. A non-aquatic example is of a plant whose seeds are blown across the edge of a field into a parking lot or other unsuitable region.
1.2.1 The dispersal kernel
The dispersal kernel \(K\) can take a variety of forms. If an individual at \(y\) moves randomly for a fixed amount of time \(T\) and then settles, the dispersal kernel is a Gaussian with variance \(2DT\) where \(D\) is the diffusion coefficient associated with the random movement. Alternatively, if the randomly moving individual settles at a constant rate \(\beta > 0\) then, after a sufficiently long period of time, the kernel approaches a Laplace distribution
where \(a = \sqrt{\frac{\beta }{D}}\) (Neubert et al. 1995). Figure 1a shows two sample Laplace kernels with \(a=4\) and \(a=1.5\) for the habitat \(\varOmega = [-1,1]\). Note that the kernel for the larger value \(a=4\) corresponds to a higher probability of the organism settling in \(\varOmega \), which is consistent with the higher value of \(a\) arising from a larger settling rate or a smaller diffusion coefficient.
If, in addition, an organism experiences a unidirectional flow with velocity \(v\) (e.g., stream flow or wind) the kernel takes the form
where the rate constants \(a_{i}\) are defined in terms of the advection velocity \(v\), settling rate \(\beta \), and diffusion coefficient \(D\) by
(Lutscher et al. 2005). Figure 1b shows the same kernels in Fig. 1a, but now with an advective velocity \(v=4\). The derivation of (5) assumes a separation of time scales between settling and dispersal to employ a partial differential equation describing the time-dependent probability density \(z(t,x)\) of an individual that starts moving at point \(y\) at time \(t=0\) via advection (due to the flow), diffusion (as a first approximation to variability in the flow speed and direction), and settles at rate \(\beta \):
The density of settling points at \(x\) is then given by
Integrating (6) over \(0<t<\infty \) yields an ordinary differential equation for \(k\)
defined on the real line \(-\infty <x<\infty \) whose solution is \(K(x,y)\), as defined by (5). Here it is assumed that the dispersing individual does not modify its movement in response to the domain boundary. If such behaviour is included, it gives rise to boundary conditions for (8) which modifies the associated Green’s function for \(K\) (Lutscher et al. 2005, Appendix E).
Two quantities that are derived from the dispersal kernel and are relevant to our modelling considerations are the dispersal success function and the redistribution function. The dispersal success function \(s(y)\) indicates the probability that an individual starting at \(y\) successfully settles in the habitat \(\varOmega \) after the dispersal event:
Since \(K(x,y) \ge 0\) and \(\int _{\mathbb {R}} K(x,y_0) \, dx = 1\) for any \(y_0\) we have \(0 \le s(y) \le 1\). The redistribution function \(r(x)\), on the other hand, corresponds to an area release experiment; if \(N\) individuals are released uniformly over the patch, then after one dispersal event the expected density of individuals is \(N r(x)\) where
By way of contrast with the dispersal success function \(s\), the redistribution function \(r\) needs not be bounded above by \(1\) for all \(x\). However, for symmetric kernels the two functions are identical. Figure 2 shows an example of the dispersal success and redistribution functions for an asymmetric Laplace kernel on \(\varOmega =[-1,1]\).
The dispersal success function provides a means to approximate the principal eigenvalue of the linearization of (3), which itself can be used as a measure of population persistence (see Sect. 1.3.1). More specifically, let \(\lambda _1(K)\) denote the principal eigenvalue of the linearization of (3) at the equilibrium solution \(n_*(x) = 0\) and \(\phi \) an associated positive eigenfunction, i.e.,
where \(R=f^\prime (0)\). It has been shown in Lutscher et al. (2005) that \(\lambda _1(K)\) is a strictly increasing function of \(L\). If we assume \(\int _{\varOmega } \phi (y) \, dy=1 \) and integrate (11) over the habitat we obtain the following relation between \(\lambda _1(K)\) and the dispersal success function \(s(y)\):
Taking the approximation \(\phi (x) \approx \frac{1}{L}\), we can estimate \(\lambda _1(K)\) by
which is known as the dispersal success approximation. To illustrate, Fig. 3 shows the dispersal success approximation (13) compared to the principal eigenvalue \(\lambda _1(K)\) as a function of stream length for a sample kernel.
1.2.2 Including temporal variation
In this paper we consider a generalization of model (3) that allows for the kind of temporal variation in growth and dispersal that is found in stream ecosystems. We focus on including the inter-annual variations in growth and dispersal that arise from temporally fluctuating environments. An organism in such an environment experiences different growth and dispersal dynamics, depending on the year. In this case the model (3) becomes
where \(K_t\) denotes the \(t\)th time step dispersal kernel and \(f_t(n)\) the growth dynamics at time step \(t\).
1.3 Mathematical setting
We briefly review the mathematical setting and known results for population persistence in the context of integrodifference equations. We restrict our attention to the case where \(K(x,y)=K(x-y)\) is a difference kernel, expressed in terms of the difference between the settling location \(x\) and the starting point \(y\). Although this includes the case of symmetric distance kernels where \(K(x,y)= K(|x-y|)\) (such as (4)), we do not require symmetry since we are particularly interested in the case where \(K\) is an asymmetric advective kernel such as (5). We assume the population densities are given by elements of \(C(\varOmega )\), the Banach space of continuous real-valued functions defined on \(\varOmega \). We first discuss the constant kernel case, then review some known results for temporally varying kernels.
1.3.1 Constant environments
We can rewrite Eq. (3) as
where \(F:C(\varOmega ) \rightarrow C(\varOmega )\) is the nonlinear Hammerstein operator
If \(f\) and \(K(x,y)\) are continuous, then it follows from the Arzelà–Ascoli theorem that \(F\) is a compact operator. Moreover, since \(K \ge 0\) and \(f \ge 0\), the operator \(F\) is a positive operator, mapping the cone of nonnegative functions \(C_+(\varOmega )\) into itself.
The linearization of (15) at the equilibrium \(n_*(x) = 0\) takes the form of a Fredholm equation of the first kind
where \(\fancyscript{L}=F'(0)\) is the Fréchet derivative of \(F\) at \(n_*(x)=0\) and \(R=f'(0)\) is the geometric growth rate for the population (Van Kirk and Lewis 1997). Since the Fréchet derivative of a compact operator is compact (Krasnoselskii 1964b), the operator \(\fancyscript{L}\) is a compact bounded linear operator.
A further assumption regarding the positivity of \(\fancyscript{L}\) allows one to connect the population dynamics of (15) with the spectral properties of \(\fancyscript{L}\). Namely, we say the operator \(\fancyscript{L}\) is strongly positive if for any continuous function \(n \ge 0\) there exists a power \(t = t(n)\) such that \(\fancyscript{L}^t(n)(x) > 0\) for all \(x \in \varOmega \). Biologically, this condition implies that on a connected habitat repeated application of the kernel will allow an individual that starts at any point \(y \in \varOmega \) to eventually access all other points \(x\) in \(\varOmega \) (Lutscher and Lewis 2004, Condition A4). In this case, the Krein–Rutman theorem applies, and it follows that \(\fancyscript{L}\) has a principal eigenvalue \(\lambda _1 > 0\) such that \(|\lambda | < \lambda _1\) for all other eigenvalues and \(\lambda _1\) is the only eigenvalue associated with a positive eigenfunction \(\phi \). Our assumptions on \(K\) imply that the zero solution of (15) is linearly stable when \(\lambda _1 < 1\) and unstable when \(\lambda _1 > 1\). Moreover, for \(\lambda _1 > 1\) there exists a nontrivial equilibrium solution of (15) (Hardin et al. 1990, see also Van Kirk and Lewis 1997 for the \(L^2(\varOmega )\) case).
Within this context, the principal eigenvalue \(\lambda _1\) is equal to the spectral radius of the operator \(\fancyscript{L}\) which, by the Gelfand formula, can be expressed as
where
and \(\Vert \cdot \Vert _\infty \) is the sup norm on \(C(\varOmega )\) (Krasnoselskii 1964a, b). In particular, \(\lambda _1 \le \Vert \fancyscript{L}\Vert .\) Moreover, if we consider a positive eigenfunction \(\phi _1\) and integrate the associated equation
we have
where we used the fact that \(0\le s(y)\le 1\). Thus, \(\lambda _1\le R = f'(0)\). If we assume there is dispersal loss from all points in the domain then \(s < 1\) and we obtain a strict inequality
We can interpret (20) biologically as indicating that dispersal loss will reduce the growth rate below the intrinsic growth rate for the non-spatial model.
1.3.2 Temporally Varying Environments
A series of papers by Hardin et al. (1988a, b, 1990) consider the case where the Hammerstein operator is time-dependent so that
where
with \(K_t\) having parameters that are chosen randomly from some set (defining the allowable range of environmental conditions). Here the linearized operator \(\fancyscript{L}_t=F'_t(0)\) is time-dependent, so the eigenvalue analysis discussed in the previous section does not apply. However, they show that population persistence can still be understood via the limit of operator norms
which acts as an effective spectral radius for the time-varying setting. Hardin et al. (1988a) derive conditions under which the limit (23) exists, and show how the quantity \(r\) determines long-term population persistence or extinction for solutions of (21). The limit \(r\) is similar to the dominant Lyapunov exponent (stochastic growth rate) of random matrix products, which has been applied to determine population persistence for a structured population in both correlated and uncorrelated random environments (e.g., Benaïm and Schreiber 2009) and coexistence for interacting structured populations living in a random environment (e.g., Roth and Schreiber 2014).
We consider (22) in the context of growth and dispersal in streams for the case of periodic and random dispersal parameters and show the Hardin et al. framework can be adapted to our setting. A range of different types of growth rates (and related elasticities) of populations have been introduced and used to study population dynamics in random environments (see e.g., Tuljapurkar 1990 and Tuljapurkar et al. 2003). In this paper we consider population persistence via an asymptotic growth rate
where \(n_t(x)\) is defined by the system
with nonzero initial condition \(n_0(x) \ge 0\). We will prove that \(\varLambda =r\), and hence, numerically, we can calculate \(\varLambda \) to determine population persistence or extinction. We use this to consider several examples in the context of randomly fluctuating river populations.
Note that if \(A\) is the infinitesimal generator of a continuous semigroup \(T(t)=\{e^{tA}\}_{t\ge 0}\), the spectral bound of \(A\) is defined as
where \(\sigma (A)\) is the spectrum of \(A\) (with \(s(A) = -\infty \) if \(\sigma (A) = \emptyset \)) and the type (exponential growth bound) of the semigroup \(T(t)\) is defined as
For many generators \(A\) it is known that \(-\infty \le s(A)\le \omega _0<\infty \) (see e.g., Hille and Phillips 1957) and the conditions for the equality of these two quantities have been studied (Greiner et al. 1981; Kato 1982; Thieme 2009). The quantities \(s(A)\) and \(\omega _0\) have also been used to derive persistence conditions for population models in temporally homogeneous or heterogeneous environments (see e.g., Thieme 2009). In this current work, \(r\) and \(\varLambda \), as defined by (23) and (24), are analogous to the spectral bound and type for the infinitesimal generator \(A\) of a continuous semigroup \(T\). Thus this work can be considered as a generalization of the idea of \(s(A)=\omega _0\) and using such quantities to determine population persistence.
1.4 Outline of the paper
In this paper, we study the integrodifference equation (15) for population persistence in temporally varying advective environments. In Sect. 2, we study the integro-difference equation with alternating kernels and growth rates in a periodically varying environment and obtain an explicit method to calculate the principal eigenvalue for the two-stage process. We also give the approximation of the principal eigenvalue by virtue of the dispersal success function and the redistribution function. In Sect. 3, we study the model in a randomly varying advective environment, where both the growth rate and the dispersal kernel are random. This contrasts with the earlier work by Hardin et al. (1988a), where only the growth rate fluctuated randomly. We derive the persistence metric \(r\), similar to (23) and obtain its equivalence to the asymptotic growth rate (24). We also provide exact formula for the asymptotic growth rate when kernels take an asymmetric advective form (5) with randomly chosen parameters. This allows us to explicitly calculate population growth rates in randomly fluctuating river environments. Our various methods for calculating persistence and growth metrics are illustrated using numerical examples for models describing randomly fluctuating rivers. A short discussion completes the paper in Sect. 4.
2 Alternating kernel model
We consider a deterministic case of time-varying kernels for the linearized model (17). In particular, we consider the case of alternating kernels \(K_1(x,y)\) and \(K_2(x,y)\) with associated growth rates \(R_1\) and \(R_2\). We can consider the two stages in succession using the linearized model (17) as:
where
In this way, the two-stage model can be considered as a single model (for two stages) via
where \(K\) is defined by (26) and \(R=R_1 R_2\).
Let \(\lambda _1\) be the principal eigenvalue associated with the two-stage model (27). The results in Sect. 1.3.1 imply the zero solution is unstable if \(\lambda _1>1\) and it is stable if \(\lambda _1<1\). Hence, the population persists if \(\lambda _1>1\) and the population will be extinct if \(\lambda _1<1\). It follows from estimate (20) that
Since the principal eigenvalue \(\lambda _1\) for the two-stage process models two years of population dynamics, the quantity \(\sqrt{\lambda _1}\) would be an effective single year growth estimate. In this sense, estimate (28) says the effective annual growth rate is bounded above by the geometric mean of the two growth rates.
We can gain further insight into the two-stage \(\lambda _1\) by working directly with the eigenfunction equation. Suppose \(\lambda \ne 0\) is an eigenvalue associated with an eigenfunction \(\phi \) for (27). Then
where \(K\) is the two-step kernel (26). Let \(\psi \) be defined by
Then \(\phi \) solves (29) if and only if
Now suppose \(K_1\) and \(K_2\) are advective dispersal kernels of the form (5) for some \(\beta _1, D_1,v_1\) and \(\beta _2, D_2, v_2\). Differentiating (30) and using (8) for \(K_1\) we have
Similarly, differentiating (31) and using (8) for \(K_2\) we have
It follows that the eigenfunction \(\phi \) solves the fourth order equation
where
The boundary conditions can be determined as follows. Suppose \(\varOmega = [0,L]\). First, differentiating (30) and (31) and using the definition of \(K\) we have
and
where \(a_{i,j}\) denotes the constant \(a_i\) in (5) for the kernel \(K_j\). Next, differentiating (33), using (37)–(38) and (33) we obtain two additional boundary conditions:
The differential equation (34) together with the four boundary conditions (35)–(36) and (39)–(40) comprise a fourth-order boundary-value problem for the eigenpair (\(\lambda ,\phi )\) of (29) in the case of two-stage advective kernels. The general solution of equation (34) has the form
where \(r_i \in {\mathbb {C}}\) are the roots of the associated characteristic polynomial. Applying the boundary conditions to \(\phi \) yields a fourth-order linear system of the form \( A \varvec{c} = \varvec{0}\) for the coefficients \(\varvec{c} = [ c_1 \ c_2 \ c_3 \ c_4 ]^T\). This system admits a nontrivial solution, and hence \(\phi \) in (41) is nontrivial, only if \(\det A = 0\), which, for a fixed domain length \(L\), defines an implicit equation for \(\lambda \). Solving \(\det A = 0\), we then obtain the principal eigenvalue \(\lambda _1 = \lambda _{1,\mathrm{twostep}}\) of the two-stage operator. To illustrate, we derive the fourth order boundary value problem for (27) in the symmetric kernel case in Appendix A.1. We also note that this process can be used to determine the critical domain length by setting \(\lambda = 1\) and determining conditions on \(L\) for which the fourth-order system admits a nontrivial solution (see e.g., Jin and Lewis 2011).
Example 1
To illustrate how the principal eigenvalue \(\lambda _{1,\mathrm{twostep}}\) of (29) depends on flow velocities we consider the case of variable flow rates \(v_1\) and \(v_2\), but with fixed mean \(\bar{v} = (v_1 + v_2)/2\) for a habitat \(\varOmega =[0,L]\) with \(L=20\), \(R_1=1.2\), \(R_2=1.5\), \(D_1=D_2=1\), \(\beta _1=\beta _2=1\).
As the flow rates \(v_1\) and \(v_2\) vary, while keeping \(\bar{v}\) fixed, the value of \(\lambda _{1,\mathrm{twostep}}\) varies within some interval. Figure 4 shows the possible values of \(\lambda _{1,\mathrm{twostep}}\) as a function of the average of flow velocity \(\bar{v} \in [0,20]\). Overall, \(\lambda _{1,\mathrm{twostep}}\) decreases with \(\bar{v}\). When the average \(\bar{v} \) is sufficiently small (i.e., \(\bar{v} <\bar{v}_a\)), then \(\lambda _{1,\mathrm{twostep}}>1\) regardless of \(v_1\) and \(v_2\), which corresponds to persistence of the population; when \(\bar{v} \) is sufficiently large (i.e., \(\bar{v} >\bar{v}_b\)), then \(\lambda _{1,\mathrm{twostep}}<1\) regardless of \(v_1\) and \(v_2\), which corresponds to extinction. For moderate values of \(\bar{v}\) (i.e., \(\bar{v}_a<\bar{v} <\bar{v} _b\)), different combinations of \(v_1\) and \(v_2\) may lead to \(\lambda _{1,\mathrm{twostep}}>1\) or \(\lambda _{1,\mathrm{twostep}}<1\), and hence, the population can persist or go extinct in different fluctuating flows even though the mean of flow velocity is constant.
For a fixed mean \(\bar{v}\), we can also consider \(\lambda _{1,\mathrm{twostep}}\) as a function of the variation in flow \(|v_1 - v_2|\). Figure 5a illustrates this for the case \(\bar{v} = 1.3\). Note that \(\lambda _{1,\mathrm{twostep}}\) is an increasing function of \(|v_1-v_2|\). For this average flow velocity, the smaller the variation between \(v_1\) and \(v_2\), the smaller the possibility that the population can persist in the river.
If we fix \(v_1\) and vary only \(v_2\), then Fig. 5b shows that \(\lambda _{1,\mathrm{twostep}}\) is a decreasing function of \(v_2\). This coincides with the fact that, when the flow velocity in one step is constant, then the larger the flow velocity in the second step, the harder it is for the population to persist in the river.
Example 2
To illustrate how one can study critical domain size questions in this setting we consider the case of fixing \(v_1 = 0.1\) and determining the critical domain length as a function of \(v_2\) (leaving the other parameters as in Example 1). We can study this by setting \(\lambda = 1\) in (34) and determining conditions on \(L\) for which the fourth-order system admits a nontrivial solution. An example is shown in Fig. 6. As one might expect, as \(v_2\) increases the critical domain length increases, with \(L \) approaching infinity as \(v_2\) tends to some value. Since the critical domain size represents the minimal length of the river such that population can persists, this observation implies that the higher the flow the more difficult it is for the population to persist in the river, consistent with earlier results in Lutscher et al. (2005) and Jin and Lewis (2011).
Finally, we note that, similar to the dispersal success approximation in (13), we can use redistribution and dispersal success to approximate \(\lambda _{1,\mathrm{twostep}}\) as
where \(r_1\) is the redistribution function corresponding to \(K_1\) and \(s_2\) is the dispersal success function corresponding to \(K_2\). In Appendix A.2 we include an example comparing this approximation with \(\lambda _{1,\mathrm{twostep}}\) for different domain lengths \(L\).
The differential equation approach in this section for alternating kernels can be generalized to the case of a sequence of \(n\) kernels (Jacobsen and McAdam 2014). However, we will instead turn to the case of random kernels, and in particular, asymmetric Laplace kernels whose parameters are chosen from a given distribution.
3 Random kernel model
In this section, we consider the model
where \(f_t\) and \(K_t\) denote “random” growth and dispersal kernels at step \(t\). We apply the theory of Hardin et al. (1988a, b, 1990) to the random difference kernel model (43) and show that the long-term population persistence or extinction can be determined by the generalized spectral radius \(r\) defined by (23). We also define another quantity \(\varLambda \) (as in (24)), which is mathematically equivalent to \(r\), is computationally easier to work with, and most importantly has a biological meaning of the asymptotic growth rate of the population. We use this alternate framework to consider several examples for random kernels.
3.1 Persistence metrics
First, for notational clarity, we rewrite (43) as
where \(\{\alpha _t\}_{t\ge 0}\) is a sequence of independent identically distributed random variables taking values in an index set \({\mathcal {A}}\) (representing the range of environmental conditions).
We make the following assumptions on the kernels \(K_{\alpha _t}\) and growth functions \(f_{\alpha _t}\):
-
(C1)
-
1.
For each \(\alpha \in {\mathcal {A}}\), \(K_\alpha (x-y)\) is continuous for \(x,y \in \varOmega \).
-
2.
There exists constants \(\underline{K}> 0\) and \(\overline{K}\) such that
$$\begin{aligned} \underline{K}\le K_\alpha (x-y)\le \overline{K} \quad \text { for all } \alpha \in \mathcal {A} \text { and } x, y\in \varOmega . \end{aligned}$$
-
1.
-
(C2)
-
1.
For any \(\alpha \in {\mathcal {A}}\), \(f_\alpha :\mathbb {R}\rightarrow [0,\infty )\) is continuous with \(f_\alpha (u)=0\) for all \(u\le 0\).
-
2.
There exists \(m> 0\), \(\underline{f}>0\), and \(\overline{f}>0\), such that for any \(\alpha \in \mathcal {A}\),
-
(a)
\(f_\alpha (u)\) is an increasing function in \(u\).
-
(b)
\(0\le f_\alpha (u)\le m\) for all \(u\in C_+(\varOmega )\).
-
(c)
If \(0 < v < u\) then \(\frac{f_\alpha (u)}{u}<\frac{f_\alpha (v)}{v}\).
-
(d)
\(f_\alpha \) is right differentiable at \(0\). For simplicity, we denote the right derivative as \(f_\alpha ^\prime (0)\).
-
(e)
\(\frac{f_\alpha (u)}{u}\rightarrow f_\alpha ^\prime (0)\) as \(u\rightarrow 0^+\), uniformly for \(\alpha \in \mathcal {A}\)
-
(f)
\( \underline{f}=\inf \limits _{\alpha \in \mathcal {A}}f_\alpha ^\prime (0)\le f_\alpha ^\prime (0)\le \overline{f}\)
-
(g)
For \(b=m \overline{K} |\varOmega |\), there exists \(\underline{f_1}=\inf \limits _{\alpha \in \mathcal {A}}f_\alpha (b)>0\).
-
(a)
-
1.
-
(C3)
There exists \(\alpha ^*\in \mathcal {A}\) such that \(F_{\alpha }(u)\le F_{\alpha ^*}(u)\) for all \(\alpha \in \mathcal {A}\) and \(u\in C_+(\varOmega )\).
Under these assumptions it can be shown (see Appendix A.3) that the framework of Hardin et al. (1988a) can be applied to the nonlinear model (44), which yields the following result:
Theorem 1
Assume that \(F_{\alpha _t}\) (\(\alpha _t\in \mathcal {A}\) for \(t\in \mathbb {N}\)) defined by (44) satisfies (C1)–(C3). For nonzero initial data \(n_0\in C_+(\varOmega )\), the population \(n_t\) of (44) converges in distribution to a stationary distribution \(\mu ^*\), independent of \(n_0\), that is either concentrated at \(0 \in C_+(\varOmega )\) (extinction) or supported in \(C_+(\varOmega )\backslash \{0\}\) (persistence).
Moreover, let
where \(\alpha _t\in \mathcal {A}\) for all \(t\ge 1\) and \(\fancyscript{L}_{\alpha _t}:=F_{\alpha _t}^\prime (0)\) is the linearization of \(F_{\alpha _t}\) at \(n=0\). The following results hold:
-
(a)
If \(r<1\), then the population will go extinct.
-
(b)
If \(r>1\), then the population will persist.
The quantity (45) provides a means to study population persistence for our integrodifference stream model in the context of random dispersal and growth, within the framework of the hypotheses (C1)–(C3). We now show there is an alternate metric for (44), which can also be used to analyze persistence of the population, is numerically easier to work with, and has a clear biological interpretation.
Consider the linearization of (44) at the trivial solution
where \(R_{\alpha _t} = f_{\alpha _t}^{\prime }(0)\). Let \(n_t(x)\) be the solution of (46) for initial value \(n_0\in C_+(\varOmega )\backslash \{0\}\). Then the average growth rate of the population over the first \(t\) steps can be written as
Define the limit of this average as
In this sense, the limiting constant \(\varLambda \) represents the asymptotic growth rate of the population.
In Appendix A.4 we show the limit in (47) exists and is independent of the initial function \(n_0\in C_+(\varOmega )\backslash \{0\}\), so the definition in (47) can be simplified to
for any \(n_0\in C_+(\varOmega )\backslash \{0\}\). Furthermore, as we state in the theorem below, the asymptotic growth rate \(\varLambda \) and the constant \(r\) are equal. The proof of this theorem, provided in Appendix A.4, also includes the proof of the existence of the limit in (47) and the equivalence of (47) and (48).
Theorem 2
Let \(r\) and \(\varLambda \) be defined in (45) and (48), respectively. Then \(\varLambda = r\).
Remark 1
It follows from Theorems 1 and 2 that if \(\varLambda >1\), the population will be persistent and if \(\varLambda <1\), the population will go extinct. Thus population persistence or extinction can be studied by computing \(\varLambda \) for the iterates \(n_t\) of the linear model (46) (recalling \(R_{\alpha _t}\) and \(K_{\alpha _t}\) change at each step).
We illustrate applications of Theorem 2 for several examples of (46), using \(\varLambda \) to determine population persistence or extinction. For simplicity, we use (48) to approximate \(\varLambda \).
Example 3
(Random two kernel model) Consider (46) where the kernel \(K_t\) is chosen at random from one of two asymmetric advective kernels \(K_1\) and \(K_2\), with equal probability. For \(K_i\) as in (5), we assume \(v_1=0.1, v_2=1,\) \(D_1 = D_2 = 1\), and \(\beta _1 = \beta _2 = 1\). Since we are effectively flipping a coin to determine the kernel \(K_t\) we call this the “coin-flip kernel model” or CFK model. We assume \(R_t = 1.2\) if \(K_t = K_1\) and \(R_t = 1.5\), if \(K_t = K_2\).
First, in Fig. 7 we illustrate sample rates of convergence for \(\varLambda \) for different initial conditions by plotting the \(t\mathrm{th}\)-approximation of \(\varLambda \) defined by (48)
for two different initial states \(n_0 = 1/20\) and \(n_0=(\pi /20) \sin (\pi x/20)\), on a habitat \(\varOmega = [0,20]\). Notice \(\varLambda _t\) converges to the same value of \(\varLambda \approx 1.22\) for each initial state and at roughly the same rate.
Next, we compare the principal eigenvalue for the alternating kernel model from Sect. 2 with the value of \(\varLambda \) for the random CFK model. Figure 8 shows a plot of the principal eigenvalue \(\lambda _{1,\mathrm{twostep}}\) of the alternating kernel model (27) (using the same parameters from the CFK model) with \(\varLambda \) for the the CFK model (46). The principal eigenvalue of the alternating kernel model appears to match well with \(\varLambda \) for the random model.
Example 4
(Log-normal flow velocities) Our next example considers (46) with the flow rate for kernel \(K_t\) chosen from a log-normal distribution (keeping the other parameters fixed). We consider the relation between the asymptotic growth rate \(\varLambda \) as a function of the variance in flow rate, while maintaining a fixed mean.
First, to illustrate the log-normal distribution, Fig. 9 shows the probability density function for a log-normal distribution with a fixed mean for two different variances.
Figure 10 shows an example of how the asymptotic growth rate \(\varLambda \) depends on the variance of flow velocity, assuming a fixed mean. We see that \(\varLambda \) tends to increase as the variance increases. For a single step kernel with mean flow velocity \(v = 0.95\), the associated principal eigenvalue \(\lambda _1 < 1\), corresponding to extinction. However, if we increase the variance while keeping the mean fixed, the higher flow velocities are balanced by more frequent low flow velocities which provide favorable conditions for survival. The values of \(\varLambda \) are estimated by computing \(\varLambda _t\) for \(t>\!>1\). We note that the numerical results are identical for \(\varOmega =[0,L]\) and \(\varOmega =[-L/2,L/2]\).
Figure 11 shows how \(\varLambda \) depends on the variance \(\nu \) of the log-normal flow rate \(v\) for three different fixed means \(\mu = 0.9\), \(0.95\) and \(1\). Consistent with what one might expect, the higher the average flow rate the smaller \(\varLambda \) is, and hence, the harder it is for the population to persist. Again, the values of \(\varLambda \) are estimates based on \(\varLambda _t\) for large \(t\).
3.2 Explicit calculation for \(\varLambda _t\)
In this section we compute an exact formula for the approximation \(\varLambda _t\) of the asymptotic growth rate \(\varLambda \). For notational simplicity, we write \(K_{\alpha _t}\) as \(K_t\) and \(R_{\alpha _t}\) as \(R_t\). Beginning with a uniform initial density \(n_0(x) = 1\) on the habitat \(\varOmega \), we have
where \(s_1(y)\) is the dispersal success function for the kernel \(K_1\). Similarly,
where \(s_2(y)\) is the dispersal success function for \(K_2\) and \(r_1(y)\) is the redistribution function for \(K_1\). Continuing, we have
and, in general, for \(t > 3\) we have
where \(\fancyscript{R}_t = R_1 R_2 \cdots R_t\) and
We can compute this exactly when the kernels \(K_i\) are advective kernels (5) with random parameters \(v_i, \beta _i\) and \(D_i\), provided no two sets of kernels parameters repeat themselves exactly (which is reasonable in the case of random parameter values). Roughly speaking, each population stage will be represented by a sum of exponentials, although the number of terms grows at each step. More precisely, for \(t \in \mathbb {N}\)
where \(a_j := a_1\) and \(b_j := a_2\) in definition (5) for kernel \(K_j\), and \({\rho }_{r,t}\) are certain computable coefficients that depend on the kernels up to step \(t\) (their precise form is interesting but not essential so we present them in Appendix A.5). If \(\varOmega = (-L/2,L/2)\), then by integrating Eq. (55) on \(\varOmega \) we obtain an exact expression for \(\varLambda _t\):
Although (56) provides an exact formula for \(\varLambda _t\) for the random kernel case, it is not particularly stable for numerical calculations due to error accumulation in light of the many small divisors that appear in the coefficients \({\rho }_{r,t}\) (e.g., see (72)–(74) in Appendix A.5). This issue is compounded by the fact that our previous calculations of \(\varLambda _t\) via numerical integration of (48) showed that the convergence to \(\varLambda \) is fairly slow (e.g., see Fig. 7). Figure 12 illustrates an application of (56) for a specific case of Example 4 with lognormal flow velocities.
4 Discussion
Even though classical ecological models assume environmental uniformity, the true natural environment shows a high degree of temporal variability. While the yearly specifics of the environmental variations rarely can be predicted, the general nature of the variability, as measured over many years, can be described statistically. One emerging challenge in mathematical biology has been to incorporate such measures of environmental variability into mathematical models for population persistence (see, for example, Benaïm and Schreiber 2009; Tuljapurkar 1990; Tuljapurkar et al. 2003; Schreiber 2010; Roth and Schreiber 2014). Although much recent mathematical attention has focused on this challenge, the pioneering work by Hardin et al. (1988a) actually provided mathematical tools to understand variability for integrodifference equations, as long as a quarter of a century ago.
While the mathematical foundation of our work rests on the seminal papers by Hardin et al. (1988a, b), Hardin et al. (1990), the methods we developed here have extend the approach significantly, and also transform the rather abstract results into concrete applications for the dynamics of river populations. Specifically, and perhaps most importantly, we have connected the Hardin et al. (1988a) metric \(r\) (45) to a more biologically reasonable equivalent metric, the asymptotic growth rate of the linearized operator, \(\varLambda \) (48). Indeed, we established the mathematical equivalence of \(r\) and \(\varLambda \) and interpreted this equivalence in terms of equivalent persistence metrics for the underlying stochastic, nonlinear dynamical system (44). Recall that \(r\) and \(\varLambda \) are defined as
where \(\fancyscript{L}_{\alpha _t}\) maps from \(C(\varOmega )\) to \(C(\varOmega )\), and
We can rewrite \(\varLambda \) as
which yields \(\varLambda =\lim \nolimits _{t\rightarrow \infty }\Vert \fancyscript{L}_{\alpha _t}\circ \cdots \circ \fancyscript{L}_{\alpha _1}\Vert ^{1/t} \), but in this case each \(\fancyscript{L}_{\alpha _t}\) is considered to map from \(L^1(\varOmega )\) to \(L^1(\varOmega )\). Therefore, we can interpret our result mathematically as stating that, when studying population persistence for our random model (44), it does not matter whether the function space is chosen as \(C(\varOmega )\) or \(L^1(\varOmega )\). However, this result extends beyond the rather narrow mathematical interpretation given above; the asymptotic growth rate \(\varLambda \) has more biological significance and can be easier to calculate than \(r\).
The connection between \(r\) and \(\varLambda \) has allowed us to infer persistence properties of the nonlinear stochastic dynamical system, describing population growth and dispersal in rivers, based on \(\varLambda \). In particular, it means that our explicit calculations of the asymptotic growth rate for river systems with asymmetric exponential dispersal (56) can be rigorously connected to persistence in the associated nonlinear system.
In our analysis we also developed a connection between periodically fluctuating river system, with asymmetric exponential dispersal, and a differential operator describing growth of an associated eigenfunction. Numerical results show a close concordance of persistence thresholds for the alternating kernel model, where good and bad years alternate, and those for a related coin flip kernel model, where good and bad years are chosen randomly with equal probability (Fig. 8).
The class of models in this paper can be generally applied to river or stream populations, where unidirectional flow dominates. However, particular stream populations are likely to require more detailed and specific models. One advantage of a general model is the ability to draw general conclusions. What can be concluded, in general, from the models in this paper regarding the role of variability in persistence in streams and rivers? First, longer streams (Fig. 3) and lower flow rates (Figs. 4, 5b) increase the likelihood of persistence, and higher flow streams must be longer, providing more habitat, if populations are to persist (Fig. 6). These, by themselves are not new theoretical results, and have been understood theoretically since the work of Speirs and Gurney (2001). However, a closer look at Fig. 4 shows that the variability in the flow velocity, as given in the alternating kernel model, can determine persistence outcomes as much as the mean velocity. Specifically, increased variability gives an increased probability of persistence (Fig. 5a). Here the effects of flow rate variation do not simply average out, and the beneficial effect of a low-flow period more than compensates for the detrimental effect of a corresponding high-flow period. This relationship between flow variability and persistence holds over to the more complex case where the dispersal kernel is chosen from a family where the flow velocity is drawn from a continuous probability density function, such as a log-normal distribution (Figs. 9, 10, 11). We considered variations of the parameters in the positive space for the two-step alternating kernel model and the random model and made numerous simulations for the dependence of \(\lambda _{1, \mathrm{twostep}}\) and \(\varLambda \) on the variance of the flow velocity \(v \). In all our simulations, \(\lambda _{1, \mathrm{twostep}}\) and \(\varLambda \) are increasing functions of the variance of \(v\). While we are not able to theoretically prove this result for these two models, Figs. 4, 5, and 9, 10, 11 were typical numerical examples chosen to illustrate the calculations.
Although our model, with uncorrelated random environments, showed that increasing temporal variations can promote population persistence, this phenomenon may not hold in other settings. For example, it has been shown that for a given average population growth rate, temporal variations in the growth rate may increase the risk of extinction; see e.g., Lewontin and Cohen (1969), Turelli (1978), Lande (1993), Halley and Iwasa (1999). Positive temporal autocorrelations in environmental conditions can decrease or increase extinction risk depending on other features; see, e.g., Schwager et al. (2006), Heino et al. (2000), Ripa and Lundberg (1996). In particular, positive autocorrelations in temporal fluctuations can disrupt predator-prey coexistence (Roth and Schreiber 2014). In more general and realistic situations where there are environmental variations in space and time, the effect of interactions between temporal correlations, spatial heterogeneity and dispersal on population persistence becomes even more complex. For instance, metapopulations whose expected fitness in every patch is less than \(1\) can persist if there are positive temporal autocorrelations in relative fitness, sufficiently weak spatial correlations, and intermediate rates of dispersal between patches (Schreiber 2010). More recently, Roth and Schreiber (2014) develop a coexistence criterion for interacting structured populations in stochastic environments and show, among other applications, that autocorrelations in temporal fluctuations can interfere with coexistence in predator-prey models.
There is much further work that could be done. In this paper, we did not specifically address the critical domain size problem, other than illustrate how our method can be applied for an example with alternating kernels (Example 2). It is not our purpose here to study how the critical domain size is influenced by the variation of different factors, but this could be an interesting avenue for future work, especially for the random model, which would build upon the work for integrodifference equations in Kot and Schaffer (1986) for symmetric dispersal kernels and Hardin et al. (1988a, b, 1990), Van Kirk and Lewis (1997, 1999), Latore et al. (1999) for more general dispersal kernels, including environmental heterogeneity both in space and in time.
References
Abrahamsson O, Hakanson L (1998) Modelling seasonal flow variability in european rivers. Ecol Model 114:49–58
Anderson K, Paul A, McCauley E, Jackson L, Post J, Nisbet R (2006) Instream flow needs in streams and rivers: the importance of understanding ecological dynamics. Front Ecol Environ 4:309–318
Aronson DG, Weinberger HF (1975) Nonlinear diffusion in population genetics, combustion, and nerve pulse propagation. In: Goldstein JA (ed) Partial differential equations and related topics. Springer-Verlag, New York, pp 5–49
Benaïm M, Schreiber SS (2009) Persistence of structured populations in random environments. Theor Popul Biol 76:19–34
Greiner G, Voight J, Wolff M (1981) On the spectral bound of the generator of semigroups of positive operators. J Oper Theory 5:245–256
Halley J, Iwasa Y (1999) Extinction rate of a population under both demographic and environmental stochasticity. Theor Popul Biol 53:1–15
Hardin DP, Takac P, Webb GF (1988a) Asymptotic properties of a continuous-space discrete-time population model in a random environment. J Math Biol 26:361–374
Hardin DP, Takac P, Webb GF (1988b) A comparison of dispersal strategies for survival of spatially heterogeneous populations. SIAM J Appl Math 48:1396–1423
Hardin DP, Takac P, Webb GF (1990) Dispersion population models discrete in time and continuous in space. J Math Biol 28:1–20
Heino M, Ripa J, Kaitala V (2000) Extinction risk under coloured environmental noise. Ecography 23:177–184
Hille E, Phillips R (1957) Functional analysis and semi-groups. American Mathematical Society, Providence
Jacobsen J, McAdam T (2014) A boundary value problem for integrodifference population models with cyclic kernels. Discrete Contin Dyn Syst Ser B (to appear)
Jin Y, Lewis MA (2011) Seasonal influences on population spread and persistence in streams: critical domain size. SIAM J Appl Math 71(4):1241–1262
Jin Y, Lewis MA (2012) Seasonal influences on population spread and persistence in streams: spreading speeds. J Math Biol 65:403–439
Kato T (1982) Superconvexity of the spectral radius, and convexity of the spectral bound and the type. Math Zeitschr 180:265–273
Kot M, Schaffer WM (1986) Discrete-time growth-dispersal models. Math Biosci 80:109–136
Krasnoselskii MA (1964a) Positive solutions of operator equations. Noordhoff, Groningen
Krasnoselskii MA (1964b) Topological methods in the theory of nonlinear integral equations. Pergamon Press, Oxford
Lande R (1993) Risks of population extinction from demographic and environmental stochasticity and random catastrophes. Am Nat 142:911–927
Latore J, Gould P, Mortimer AM (1999) Effects of habitat heterogeneity and dispersal strategies on population persistence in annual plants. Ecol Model 123:127–139
Lewis MA, Lutscher F, Hillen T (2009) Spatial dynamics in ecology. In: Lewis MA, Keener J, Maini P, Chaplain M (eds) Park City Mathematics Institute Lecture Notes in Mathematical Biology. Institute for Advanced Study, Princeton
Lewontin RC, Cohen D (1969) On population growth in a randomly varying environment. Proc Natl Acad Sci 62:1056–1060
Lutscher F, Lewis MA (2004) Spatially-explicit matrix models. J Math Biol 48:293–324
Lutscher F, Pachepsky E, Lewis MA (2005) The effect of dispersal patterns on stream populations. SIAM J Appl Math 65:1305–1327
Lutscher F, McCauley E, Lewis MA (2006) Effects of heterogeneity on spread and persistence in rivers. Bull Math Biol 68:2129–2160
Lutscher F, Lewis MA, McCauley E (2007) Spatial patterns and coexistence mechanisms in systems with unidirectional flow. Theor Popul Biol 71:267–277
Muller K (1982) The colonization cycle of freshwater insects. Oecologia 53:202–207
Neubert MG, Kot M, Lewis MA (1995) Dispersal and pattern-formation in a discrete-time predator–prey model. Theor Popul Biol 48:7–43
Neubert MG, Kot M, Lewis MA (2000) Invasion speeds in fluctuating environments. Proc R Soc Lond B 267:1603–1610
Pachepsky E, Lutscher F, Nisbet RM, Lewis MA (2005) Persistence, spread and the drift paradox. Theor Popul Biol 67:61–73
Ripa J, Lundberg P (1996) Noise colour and the risk of population extinctions. Proc R Soc B 263:1751–1753
Roth G, Schreiber SJ (2014) Persistence in fluctuating environments for interacting structured populations. J Math Biol. doi:10.1007/s00285-013-0739-6
Schreiber SJ (2010) Interactive effects of temporal correlations, spatial heterogeneity and dispersal on population persistence. Proc R Soc B 277:1907–1914
Schwager M, Johst K, Jeltsch F (2006) Does red noise increase or decrease extinction risk? Single extreme events versus series of unfavorable conditions. Am Nat 167:879–888
Slatkin M (1973) Gene flow and selection in a cline. Genetics 75:733–756
Speirs DC, Gurney WSC (2001) Population persistence in rivers and estuaries. Ecology 82:1219–1237
Thieme H (2009) Spectral bound and reproduction number for infinite-dimensional population structure and time heterogeneity. SIAM J Appl Math 70:188–211
Tuljapurkar S (1990) Population dynamics in variable environments. Springer, New York
Tuljapurkar S, Horvitz CC, Pascarella JB (2003) The many growth rates and elasticities of populations in random environments. Am Nat 162:489–502
Turelli M (1978) Random environments and stochastic calculus. Theor Popul Biol 12:140–178
Van Kirk RW, Lewis MA (1997) Integrodifference models for persistence in fragmented habitats. Bull Math Biol 59:107–137
Van Kirk RW, Lewis MA (1999) Edge permeability and population persistence in isolated habitat patches. Nat Resour Model 12:37–64
Walks D (2007) Persistence of plankton in flowing water. Can J Fish Aquat Sci 64:1693–1702
Acknowledgments
The authors thank the anonymous referees for many insightful comments and references that helped strengthen the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Y. J. and M. A. L. supported by MITACS Network for Biological Invasions and Dispersal, National Sciences and Engineering Research Council of Canada, Sustainable Resource Development Alberta, Alberta Water Research Institute. Y. J. also supported by an AMS-Simons Travel Grant. M. A. L. also supported by a Canada Research Chair in Mathematical Biology, and a Killam Research Fellowship.
Appendix
Appendix
1.1 A.1 Explicit solution for the principal eigenvalue for the alternating kernel model (27) in the symmetric case
Consider the case of the alternating kernel model (27) where
are symmetric kernels with \(a_1 =\sqrt{\beta _1/D_1}\) and \( a_2 = \sqrt{\beta _2/D_2}\). In this case, the boundary-value problem (34) becomes
where
and the boundary conditions are
The characteristic equation for (57) is \(r^4 - a r^2 + d = 0\) with roots
The first two roots are real and since \(d < 0\) (by estimate (28)), the second two roots are complex (and purely imaginary). If we denote the real roots by \( \pm r\) and the complex roots by \( \pm i k\) then the general solution of (57) is
By shifting the domain from \([0,L]\) to \([-L/2,L/2]\) we can use symmetry to reduce this to
Applying the boundary conditions (59) and (61) (which now hold at \(-L/2\)) we obtain the \(2 \times 2\) system of equations for \(c_1\) and \(c_3\):
This system admits a nontrivial solution only if the determinant of the coefficient matrix is zero, which yields an equation of the form
which implicitly defines the principal eigenvalue \(\lambda _{1,\mathrm{twostep}}\). Furthermore, by setting \(\lambda =1\) in (64), we obtain an implicit equation for the critical domain length \(L = L(a_1, a_2, R_1 R_2)\).
1.2 A.2 Redistribution and dispersal success approximations for alternating kernel model
Suppose \(\phi _1\) is an eigenfunction associated with the alternating kernel model, i.e., \(\phi _1\) solves
where \(K\) is the two-stage kernel (26). Integrating (65) over \(\varOmega \) yields
where \(s(y)\) is the dispersal success function for \(K\). If \(\varOmega = [0,L]\) and we use the approximation \(\phi _1 \approx 1/L\) we obtain
Therefore, we obtain the approximation
which approximates \(\lambda _{1,\mathrm{twostep}}\) in terms of the dispersal success function (9) for \(K_2\) and redistribution function (10) for \(K_1\).
To compare the estimates for the alternating kernel model we consider (27) on \(\varOmega =[0,L]\) with kernels \(K_1\) and \(K_2\) defined by (5). We denote the dispersal success approximations for the single stage case with either \(K_1\) or \(K_2\) as
Figure 13 shows an example of the comparison of the approximations for the principal eigenvalues of the single stage and two stage operators with \(\lambda _{1,\mathrm{twostep}}\), the actual principal eigenvalue, obtained by solving the boundary value problem (34)–(40). The principal eigenvalues \(\lambda _{1,\mathrm{twostep}}\) and \((\lambda _{1,\mathrm{twostep}})^{1/2}\) both increase as \(L\) increases (as one would expect), \(\lambda _{a,1}\) underestimates \(\lambda _{1,\mathrm{twostep}}\) but \(\lambda _{a,2}\) overestimates \(\lambda _{1,\mathrm{twostep}}\). The geometric mean \((\lambda _{a,1}\lambda _{a,2})^{1/2}\) of one year approximations appears to provide a good estimate for \((\lambda _{1,\mathrm{twostep}})^{1/2}\) when \(L\) is not too large, but it overestimates \((\lambda _{1,\mathrm{twostep}})^{1/2}\) when \(L\) is large. The geometric mean \((\lambda _{a,1}\lambda _{a,2})^{1/2}\) also tends to underestimate the two-step approximation \((\lambda _{a,12})^{1/2}\), which itself overestimates the actual persistence measure \((\lambda _{1,\mathrm{twostep}})^{1/2}\). One should note that this conclusion is based on the results for the single model and the two-stage model with chosen parameters in the example.
1.3 A.3 Proof of Theorem 1
First we recall some preliminary facts from Hardin et al. (1988a, 1990). Consider the general model:
where \(t=0,1,2,\ldots \), \(\omega \in \varOmega \), \(\varOmega \) is a compact set in \({\mathbb {R}}^n\) for some \(n\ge 1\), and \(x_0 \in C_+(\varOmega )\). They consider the following assumptions:
-
(C0)
\(\alpha _t\) is a sequence of independent identically distributed random variables in some index set \(\mathcal {A}\).
-
(H1)
For each \(\alpha \in \mathcal {A}\), \(F_\alpha \) is a continuous map of \(C_+(\varOmega )\) into itself such that \(F_\alpha (x)=0\in C_+(\varOmega )\) if and only if \(x=0\in C_+(\varOmega )\).
-
(H2)
If \(x, y\in C_+(\varOmega )\) and \(x\ge y\) then \(F_\alpha (x)\ge F_\alpha (y)\).
-
(H3)
There exists \(b>0\) such that for \(x\in C_+(\varOmega )\)
-
(a)
\(\Vert F_\alpha (x)\Vert _\infty \le b\) for all \(\alpha \in \mathcal {A}\) whenever \(\Vert x\Vert _\infty \le b\);
-
(b)
there exists \(t\) (depending on \(x \in C_+(\varOmega )\)) such that \(\Vert F_{\alpha _t}\circ \cdots \circ F_{\alpha _0} \, x \Vert _\infty <b\) for all \( \alpha _0, \ldots ,\alpha _t\in \mathcal {A}\);
-
(c)
there exists \(d>0 \) such that \(F_\alpha (b)\ge d \) for all \(\alpha \in \mathcal {A}\).
-
(a)
-
(H4)
Let \(B_b=\{x\in C_+(\varOmega ):\Vert x\Vert _\infty \le b\}\) where \(b\) is as in (H3). Then there is some compact set \(D\subset C_+(\varOmega )\) such that \(F_\alpha (B_b)\subset D\) for all \(\alpha \in \mathcal {A}\).
-
(H5)
There exists \(h>0\) such that \(\Vert F_\alpha (x)\Vert _\infty \le h\Vert x\Vert _\infty \) for all \(\alpha \in \mathcal {A}\) and \(x\in C_+(\varOmega )\).
-
(H6)
There exists \(\xi >0\) such that \(F_\alpha (B_b)\subset K_\xi \) where \(K_\xi =\{x\in C_+(\varOmega ):x\ge \xi \Vert x\Vert _\infty \}\).
-
(H7)
For each \(a>0\) there exists a continuous function \(\tau :(0,1]\rightarrow (0,1]\) such that \(\tau (s)>s\) for \(s\in (0,1)\) and \(\tau (s)F_\alpha (x)\le F_\alpha (sx)\) for all \(\alpha \in \mathcal {A}\) and \(x\in C_+(\varOmega )\) for which \(a \le x\le b\).
-
(H8)
\(F_\alpha \) is Fréchet differentiable (with respect to \(C_+(\varOmega ))\) at \(0\in C_+(\varOmega )\). We write \(\fancyscript{L}_\alpha \) for the derivative \(F_\alpha ^\prime (0)\).
-
(H9)
There exists a function \(N:\mathbb {R}_+\rightarrow [0,1]\) such that \(\lim \limits _{u\rightarrow 0^+} N(u)=1\) and \(N(\Vert x\Vert _\infty )\fancyscript{L}_\alpha x\le F_\alpha (x)\le \fancyscript{L}_\alpha x\) for \(x\in C_+(\varOmega )\).
The above assumptions imply the following additional conditions:
-
(H10)
-
(a)
If \(x, y\in C(\varOmega )\) and \(x\le y\) then \( \fancyscript{L}_\alpha x\le \fancyscript{L}_\alpha y\) for all \(\alpha \in \mathcal {A}\).
-
(b)
\(\Vert \fancyscript{L}_\alpha \Vert =\sup \{\Vert \fancyscript{L}_\alpha x\Vert _\infty :x\in C(\varOmega ), \Vert x\Vert _\infty =1\}=\Vert \fancyscript{L}_\alpha (1)\Vert _{\infty }\) for all \(\alpha \in \mathcal {A}\).
-
(c)
\(\Vert \fancyscript{L}_\alpha \Vert \le h \) for all \(\alpha \in \mathcal {A}\).
-
(d)
\(\fancyscript{L}_\alpha (C_+(\varOmega ))\subset K_\xi \) for all \(\alpha \in \mathcal {A}\).
-
(H11)
There exists \(\gamma >0\) such that if \(x\in K_\xi \) and \(\Vert x\Vert _\infty \le b\) then \(F_\alpha (x)\ge \gamma \Vert x\Vert _\infty \) for all \(\alpha \in \mathcal {A}\).
-
(a)
Under these assumptions Hardin et al. (1988a) prove the following theorems for persistence:
Theorem 4.2
Suppose the model (69) satisfies (C0), (H1)–(H7) and that \(x_0\ne 0\), \(x_0\in C_+(\varOmega )\) with probability one. Then \(x_t\) converges in distribution to a stationary distribution \(\mu ^*\), independent of \(x_0\), such that either \(\mu ^*(\{0\})=0\) or \(\mu ^*(\{0\})=1\).
Lemma 5.1
Suppose \(\{\fancyscript{L}_{\alpha _t}\}\) satisfies (C0) and (H10)(c). Then \(\lim \nolimits _{t\rightarrow \infty } \Vert \fancyscript{L}_{\alpha _t}\circ \cdots \circ \fancyscript{L}_{\alpha _1}\Vert ^{1/t}\) exists with probability one and is a constant \(r\) (independent of the initial state).
Theorem 5.3
Suppose \(F_\alpha \) satisfies (C0), (H1)–(H9) and that \(x_0\ne 0, x_0\in C_+(\varOmega )\) with probability one. Let \(\mu ^*\) be as in Theorem 4.2.
-
(a)
If \(r<1\), then \(\mu ^*(\{0\})=1\) and \(x_t\rightarrow 0\) with probability one.
-
(b)
If \(r>1\), then \(\mu ^*(\{0\})=0\).
Therefore, in order to prove Theorem 1 we first verify that
(as in (44)) with the hypotheses (C1)–(C3) satisfies (H1)–(H9). For notational simplicity we write \(|\varOmega |=\int _\varOmega \,dy\).
-
(H1)
For any \(\alpha \in \mathcal {A}\), the continuity of \(F_{\alpha }\) in \(C_+(\varOmega )\) follows from the continuity assumption on \(K_{\alpha }\) and \(f_{\alpha }\). Moreover, (C1) and (C2) imply that \(F_{\alpha }(u)=0\) if and only if \(u=0\).
-
(H2)
By the monotonicity of \(f_{\alpha }\), for any \(\alpha \in \mathcal {A}\) and \(u\ge v\) in \(C_+(\varOmega )\) we have
$$\begin{aligned} F_{\alpha }(u)=\int _\varOmega K_{\alpha }(x-y)f_{\alpha }(u(y))\,dy\ge \int _\varOmega K_{\alpha }(x-y)f_{\alpha }(v(y))\,dy=F_{\alpha }(v). \end{aligned}$$ -
(H3)
-
(a)
Recall by (C2)(b), that \(f_{\alpha }(u) \le m\). Let \(b=m\overline{K}|\varOmega |\). Then for any \(\alpha \in \mathcal {A}\) and \(u\in C_+(\varOmega )\) with \(\Vert u\Vert _\infty \le b\), we have
$$\begin{aligned} \Vert F_{\alpha }(u)\Vert _\infty&= \max \limits _{x\in \varOmega }\int _\varOmega K_{\alpha }(x-y)f_{\alpha }(u(y))\,dy \\&\le \max \limits _{x\in \varOmega }\int _\varOmega K_{\alpha }(x-y) f_{\alpha }(b)\,dy \le m \, \overline{K} |\varOmega | = b. \end{aligned}$$ -
(b)
Similar to (a), the bound \(f_{\alpha }(u) \le m\) implies \(\Vert F_{\alpha }(u)\Vert _{\infty } \le b\) for all \(\alpha \in \mathcal {A}\) and \(u \in C_+(\varOmega )\), hence (H3)(b) holds for all \(t > 0\).
-
(c)
Let \(d=\underline{f_1} \underline{K} |\varOmega |\). Then \(d>0\) and for any \(\alpha \in \mathcal {A}\),
$$\begin{aligned} F_{\alpha }(b)=\int _\varOmega K_{\alpha }(x-y) \, f_{\alpha }(b)\, dy \ge \underline{f_1} \, \underline{K} \, |\varOmega |=d. \end{aligned}$$
-
(a)
-
(H4)
First we show that \(F_{\alpha }\) is compact for each \(\alpha \in \mathcal {A}\). Let \(\{u_k\}\) be a bounded sequence in \(C(\varOmega )\). Then for any \(\alpha \in \mathcal {A}\) we have
$$\begin{aligned} \Vert F_{\alpha }(u_k)\Vert _\infty =\max \limits _{x\in \varOmega } \left| \int _\varOmega K_{\alpha }(x-y)f_{\alpha }(u_k(y)) \, dy \right| \le m \overline{K}|\varOmega |=b \end{aligned}$$which shows \(\{F_{\alpha }(u_k)\}\) is uniformly bounded. Next, for any \(x_1,x_2 \in \varOmega \) we have
$$\begin{aligned} \left| F_{\alpha }(u_k)(x_1)-F_{\alpha }(u_k)(x_2) \right|&= \left| \int _\varOmega [K_{\alpha }(x_1-y)-K_{\alpha }(x_2-y)]f_{\alpha }(u_k(y))\,dy \right| \\&\le m \int _\varOmega |K_{\alpha }(x_1-y)-K_{\alpha }(x_2-y)|\,dy. \end{aligned}$$Since \(K_{\alpha }\) is continuous, it follows \(\{F_{\alpha }(u_k)\}\) is equicontinuous. Thus, by the Arzelà–Ascoli theorem, \(\{F_{\alpha }(u_k)\}\) has a convergent subsequence which implies \(F_{\alpha }\) is a compact map. Therefore, for any \(\alpha \in \mathcal {A}\), \(\overline{F_\alpha (B_b)}\) is compact. By assumption \((C3)\), \(\overline{F_\alpha (B_b)}\subset \overline{F_{\alpha ^*}(B_b)}\) for all \(\alpha \in {\mathcal {A}}\). Let \(D=\overline{F_{\alpha ^*}(B_b)}\). Then we have \(F_{\alpha }(B_b) \subset D\) for all \( \alpha \in {\mathcal {A}}\). Therefore, (H4) is true.
-
(H5)
Since \(f_{\alpha }(u)\le f_{\alpha }^\prime (0)u\) for all \(u\ge 0\) and \(f_{\alpha }^\prime (0)\in [\underline{f},\overline{f}]\), it follows that
$$\begin{aligned} \Vert F_{\alpha }(u)\Vert _\infty \le \max \limits _{x\in \varOmega } \int _\varOmega K_{\alpha }(x-y) \, f_{\alpha }^\prime (0)\, u(y)\, dy \le h \Vert u\Vert _{\infty }, \end{aligned}$$where \(h=\overline{f} \, \overline{K} \, |\varOmega |\).
-
(H6)
For any \(u\in B_b\) we have \(F_{\alpha }(u)\in B_b\subset C_+(\varOmega )\). We want \(\xi >0\) such that \(F_{\alpha }(u)(x)\ge \xi \Vert F_{\alpha }(u)\Vert _\infty \) for all \(x\in \varOmega \). Similar to the estimate in (H5), for any \(x\in \varOmega \) we have
$$\begin{aligned} F_{\alpha }(u)(x) \le \overline{f} \, \overline{K}\int _\varOmega u(y)\,dy. \end{aligned}$$Thus \(\Vert F_{\alpha }(u)\Vert _\infty \le \overline{f} \, \overline{K}\int _\varOmega u(y)\,dy\), and hence
$$\begin{aligned} \int _\varOmega u(y)dy\ge \frac{\Vert F_{\alpha }(u)\Vert _\infty }{\overline{f}\overline{K}}. \end{aligned}$$On the other hand, by (C2), for any \(u\in B_b\) and \(y\in \varOmega \) we have \(\frac{f_{\alpha }(b)}{b} \le \frac{f_{\alpha }(u(y))}{u(y)}\), and hence
$$\begin{aligned} F_{\alpha }(u)(x)&= \int _\varOmega K_{\alpha }(x-y)f_{\alpha }(u(y))\,dy \\&\ge \int _\varOmega K_{\alpha }(x-y) \, \frac{f_{\alpha }(b)}{b} \, u(y) \, dy\\&\ge \frac{\underline{f_1} \, \underline{K}}{b}\int _\varOmega u(y)\,dy \\&\ge \frac{\underline{f_1}\underline{K}}{b} \ \frac{\Vert F_{\alpha }(u)\Vert _\infty }{\overline{f} \, \overline{K}} = \frac{\underline{f_1}}{b \overline{f}} \frac{\underline{K}}{\overline{K}} \, \Vert F_{\alpha }(u)\Vert _\infty . \end{aligned}$$This implies (H6) holds with \(\xi =\frac{\underline{f_1}}{b \overline{f}}\frac{\underline{K}}{\overline{K}}\). Moreover, \(\xi \in (0,1)\) by the choice of \(\underline{f_1}\), \(b\), \(\overline{f}\), \(\underline{K}\) and \(\overline{K}\).
-
(H7)
We show that there exists \(\tau (s)\) such that \(f_\alpha (su)\ge \tau (s)f_\alpha (u)\). To this end, let \(a>0\) with \(a\le b\). By (C2), for any \(s\in (0,1)\), \(u>0\) and \(\alpha \in \mathcal {A}\), we have \(f_{\alpha }(su)/f_{\alpha }(u)>s\). Define \(\tau :(0,1]\rightarrow (0,1]\) by \(\tau (s)=\min \nolimits _{\alpha \in \mathcal {A},a\le u\le b}\frac{f_{\alpha }(su)}{f_{\alpha }(u)}\). Then \(\tau (s)>s\), for all \(s\in (0,1)\) and \(\frac{f_{\alpha }(su)}{f_{\alpha }(u)}\ge \tau (s)\) for any \(\alpha \in \mathcal {A}\), \(s\in (0,1)\), \(a\le u\le b\). Then for any \(s\in (0,1)\) and \(a \le u\le b \),
$$\begin{aligned} F_{\alpha }(su)(x) =\int _\varOmega K_{\alpha }(x-y) f_{\alpha }(su(y))\,dy&\ge \int _\varOmega K_{\alpha }(x-y)\tau (s)f_{\alpha }(u(y))\,dy\\&= \tau (s)\int _\varOmega K_{\alpha }(x-y)f_{\alpha }(u(y))\,dy\\&= \tau (s)F_{\alpha }(u)(x). \end{aligned}$$ -
(H8)
The Fréchet derivative of \(F_{\alpha }\) (in \(C_+(\varOmega )\)) is the linear operator on \(C_+(\varOmega )\) given by
$$\begin{aligned} \fancyscript{L}_\alpha (u):=F_{\alpha }^\prime (0)(u)(x)=\int _\varOmega K_{\alpha }(x-y)f_{\alpha }^\prime (0)u(y)\,dy. \end{aligned}$$ -
(H9)
By (C2), \(f_{\alpha }(u)\le f_{\alpha }^\prime (0)u\) for all \(u\in C_+(\varOmega )\) and \(\alpha \in \mathcal {A}\). Thus
$$\begin{aligned} F_{\alpha }(u)=\int _\varOmega K_{\alpha }(x-y) f_{\alpha }(u(y))\,dy\le \int _\varOmega K_{\alpha }(x-y) f_{\alpha }^\prime (0)u(y)\,dy =\fancyscript{L}_\alpha (u) \end{aligned}$$for all \(u\in C_+(\varOmega )\). For each \(\alpha \in {\mathcal {A}}\), define \(N_\alpha :[0,\infty ) \rightarrow [0,1]\) by
$$\begin{aligned} N_\alpha (u)={\left\{ \begin{array}{ll} \displaystyle \frac{f_{\alpha }(u)}{f_{\alpha }^\prime (0)u}, &{} \text { if } u>0,\\ 1, &{} \text { if } u=0. \end{array}\right. } \end{aligned}$$Then \( \lim \nolimits _{u\rightarrow 0^+}N_\alpha (u)=1\) for any \(\alpha \in \mathcal {A}\). Let \(N(u)=\min \nolimits _{\alpha \in \mathcal {A}}N_\alpha (u)\). It follows from the limit of \(N_\alpha \) and choice of \(N(u)\) that \(\lim \nolimits _{u\rightarrow 0^+}N(u)=1\). By (C2), we have
$$\begin{aligned} \frac{f_{\alpha }(u(x))}{u(x)}\ge \frac{f_{\alpha }(\Vert u\Vert _\infty )}{\Vert u\Vert _\infty } \end{aligned}$$and hence,
$$\begin{aligned} \frac{f_{\alpha }(u(x))}{u(x)f_{\alpha }^\prime (0)}\ge \frac{f_{\alpha }(\Vert u\Vert _\infty )}{\Vert u\Vert _\infty f_{\alpha }^\prime (0)}, \end{aligned}$$i.e., \(N_\alpha (u(x))\ge N_\alpha (\Vert u\Vert _\infty )\). Moreover,
$$\begin{aligned} F_{\alpha }(u)(x) = \int _\varOmega K_{\alpha }(x-y)f_{\alpha }(u(y))\,dy&= \int _\varOmega K_{\alpha }(x-y)f_{\alpha }^\prime (0)u(y)N_\alpha (u(y))\,dy\\&\ge \int _\varOmega K_{\alpha }(x-y)f_{\alpha }^\prime (0)u(y)N_\alpha (\Vert u\Vert _\infty )\,dy\\&= N_\alpha (\Vert u\Vert _\infty )\fancyscript{L}_\alpha (u)(x) \\&\ge N(\Vert u\Vert _\infty )\fancyscript{L}_\alpha (u)(x). \end{aligned}$$Items (H10) and (H11) follow from the earlier properties. For the sake of clarity, we include the additional proofs.
-
(H10)
-
(a)
For any \(u,v \in C(\varOmega )\) with \(u\le v\) and \(x\in \varOmega \),
$$\begin{aligned} \fancyscript{L}_\alpha (u)(x)&= \int _\varOmega K_\alpha (x-y)f_\alpha ^\prime (0)u(y)\,dy\le \int _\varOmega K_\alpha (x-y)f_\alpha ^\prime (0)v(y)\,dy\\&= \fancyscript{L}_\alpha (v)(x). \end{aligned}$$ -
(b)
If \(\Vert u \Vert _{\infty } \le 1\) then \(u(x) \le 1\) for all \(x\), and it follows from monotonicity of \(\fancyscript{L}_\alpha \) that \(\fancyscript{L}_\alpha (u) \le \fancyscript{L}_\alpha (1)\), hence \(\Vert \fancyscript{L}_\alpha (u) \Vert _{\infty } \le \Vert \fancyscript{L}_\alpha (1) \Vert _{\infty }\) and so \(\displaystyle \Vert \fancyscript{L}_\alpha \Vert =\sup \nolimits _{\Vert u \Vert _{\infty } = 1} \Vert \fancyscript{L}_\alpha (u) \Vert _\infty = \Vert \fancyscript{L}_{\alpha } (1) \Vert _{\infty }\) for all \(\alpha \in \mathcal {A}\).
-
(c)
By a similar calculation as in (H5), it follows
$$\begin{aligned} \Vert \fancyscript{L}_\alpha u\Vert _\infty \le h \Vert u\Vert _\infty \end{aligned}$$for all \(\alpha \in \mathcal {A}\) and \(u\in C(\varOmega )\), which implies that \(\Vert \fancyscript{L}_\alpha \Vert \le h = \overline{f} \, \overline{K} |\varOmega |\) for all \(\alpha \in \mathcal {A}\).
-
(d)
Let \(u\in C_+(\varOmega )\) and \(\alpha \in \mathcal {A}\). For any \(x\in \varOmega \), we have
$$\begin{aligned}&\Vert \fancyscript{L}_\alpha (u)\Vert _\infty \le \overline{f} \, \overline{K} \int _\varOmega u(y)\,dy \quad \text { and hence }\\&\quad \int _\varOmega u(y)\,dy\ge \frac{\Vert \fancyscript{L}_\alpha (u)\Vert _\infty }{\overline{f} \, \overline{K}}. \end{aligned}$$Thus for any \(x\in \varOmega \),
$$\begin{aligned} \fancyscript{L}_\alpha (u)(x)\!=\!\int _\varOmega K_\alpha (x\!-\!y)f_\alpha ^\prime (0)u(y)\,dy \!\ge \! \underline{f} \underline{K}\int _\varOmega \! u(y)\,dy \!\ge \! \frac{\underline{f} \underline{K}}{\overline{f} \, \overline{K}}\Vert \fancyscript{L}_\alpha (u)\Vert _\infty . \end{aligned}$$Since \(\underline{f_1}=\inf \nolimits _{\alpha \in {\mathcal {A}}}f_\alpha (b)\le \inf \nolimits _{\alpha \in {\mathcal {A}}}f_\alpha ^\prime (0)b=\underline{f}b\), we have \(\underline{f}\ge \underline{f_1}/b\), and hence, for any \(x\in \varOmega \),
$$\begin{aligned} \fancyscript{L}_\alpha (u)(x)\ge \frac{\underline{f} \underline{K}}{\overline{f} \, \overline{K}}\Vert \fancyscript{L}_\alpha (u)\Vert _\infty \ge \frac{\underline{f_1} \underline{K}}{b\overline{f} \, \overline{K}}\Vert \fancyscript{L}_\alpha (u)\Vert _\infty =\xi \, \Vert \fancyscript{L}_\alpha (u)\Vert _\infty . \end{aligned}$$
-
(a)
-
(H11)
Assume that \(u \in K_\xi \) with \(\Vert u\Vert _\infty \le b\). Then \(u(x) \ge \xi \Vert u\Vert _\infty \) and for any \(\alpha \in \mathcal {A}\) we have
$$\begin{aligned} F_\alpha (u)\ge F_\alpha (\xi \, \Vert u\Vert _\infty )=F_\alpha \left( \frac{\xi \Vert u\Vert _\infty }{b} \, b\right) . \end{aligned}$$Since \(\frac{\xi \Vert u\Vert _\infty }{b}\le 1\), it follows from (H3) and (H7) that
$$\begin{aligned} F_{\alpha }(u) \ge F_\alpha \left( \frac{\xi \Vert u\Vert _\infty }{b}b\right) \ge \frac{\xi \Vert u\Vert _\infty }{b}F_\alpha (b)\ge \frac{\xi \Vert u\Vert _\infty }{b} d=\gamma \Vert u\Vert _\infty \end{aligned}$$where \(\gamma =\xi d/b\).
By (H1)–(H9) it follows from Theorem 4.2 in Hardin et al. (1988a) that for all \(n_0\ne 0\), \(n_0\in C_+(\varOmega )\) with probability one, \(n_t\) converges in distribution to a stationary distribution \(\mu ^*\), independent of \(n_0\), such that either \(\mu ^*(\{0\})=0\) or \(\mu ^*(\{0\})=1\). By (H10)(c) we know \(\Vert \fancyscript{L}_\alpha \Vert _\infty \le h\) for all \(\alpha \in {\mathcal {A}}\). Thus from Lemma 5.1 in Hardin et al. (1988a) it follows that \(\lim \nolimits _{t\rightarrow \infty } \Vert \fancyscript{L}_{\alpha _t} \circ \cdots \circ \fancyscript{L}_{\alpha _1}\Vert ^{1/t}\) exists with probability one, and hence we can define a constant \(r\) as
Finally, it follows from Theorem 5.3 in Hardin et al. (1988a) that if \(r<1\), then \(\mu ^*(\{0\})=1\) and \(n_t\rightarrow 0\) with probability one and if \(r>1\), then \(\mu ^*(\{0\})=0\). In this sense, if \(r<1\) then, in the long run, the population density approaches zero with probability one (extinction), while if \(r>1\) the population density will not approach zero, and hence persists.
1.4 A.4 Proof of Theorem 2
First, we consider the case of constant initial data.
Let \(n_t(x)\) be the solution of (46) with initial function \(n_0(x) = C > 0\). Note that
Thus,
Since \(\lim \nolimits _{t\rightarrow \infty } (\Vert n_0\Vert _\infty \, |\varOmega |)^{1/t}=1\), the above inequality implies
On the other hand, (H10)(b) implies \(\displaystyle \Vert \fancyscript{L}_\alpha \Vert = \Vert \fancyscript{L}_{\alpha } (1) \Vert _{\infty }\) for all \(\alpha \in \mathcal {A}\). By a similar argument as in the proof of (H10)(b), it follows
for all \(\alpha _1,\ldots , \alpha _t\in \mathcal {A}\).
Therefore,
Consider the sequence \(\{n_t(x)\}_{t\in \mathbb {N}}\). By (H10)(d) there exists \(\xi \in (0,1)\) such that \(\fancyscript{L}_{\alpha _t}(C_+(\varOmega ))\subset K_\xi \) for all \(\alpha _t\in {\mathcal {A}}\), where \(K_\xi =\{u\in C_+(\varOmega ):u(x)\ge \xi \Vert u\Vert _\infty , \text { for all } x\in \varOmega \}\) (in terms of the kernels and growth functions, \(\xi =\underline{f_1}\underline{K}/(b\overline{f} \, \overline{K})\), as shown in (H6)). In particular, for each \(t \in \mathbb {N}\), \( n_t(x)\ge \xi \Vert n_t\Vert _\infty \). Note that
Therefore,
Since \(\lim \nolimits _{t\rightarrow \infty }(\xi \Vert \varOmega \Vert C)^{1/t}=1\), we have
Therefore, for the solution \(n_t(x)\) of (46) with the initial function \(n_0(x)\equiv C > 0\), we have
which implies that \(\lim \nolimits _{t\rightarrow \infty }(~\int _\varOmega n_t(x)\,dx)^{1/t}\) exists and
Now let \(n_t(x)\) be a solution of (46) with initial function \(n_0\in C_+(\varOmega )\backslash \{0\}\). If \(n_0(x_0)=0\) for some \(x_0\in \varOmega \), then by (H10)(d) we know \(n_1(x) > 0\) in \(\varOmega \) so, shifting by one if necessary, we can assume \(n_0(x) > 0\) for all \(x \in \varOmega \). Since \(\varOmega \) is closed and bounded, there exist constants \(\underline{m}, \, \overline{m}\) with \(0< \underline{m} \le \overline{m}\) such that \(\underline{m} \le n_0(x)\le \overline{m}\) for \(x \in \varOmega \). Let \(\underline{n}_t(x)\) and \(\overline{n}_t(x)\) be solutions of (46) with initial functions \(\underline{n}_0(x)\equiv \underline{m}\) and \(\overline{n}_0(x)\equiv \overline{m}\), respectively. Then by the above result for constant initial data, we have
Therefore, \(\lim \nolimits _{t\rightarrow \infty }(\int \nolimits _\varOmega n_t(x)\,dx)^{1/t}=r\).
We have shown that \(\lim \nolimits _{t\rightarrow \infty }(\int \nolimits _\varOmega n_t(x)\,dx)^{1/t}=r\) for any solution of (46) with initial value \(n_0\in C_+(\varOmega )\backslash \{0\}\). Furthermore, if \(n_0\in C_+(\varOmega )\backslash \{0\}\), then \(\int \nolimits _{\varOmega } n_0(x) \, dx > 0\) and hence \(\lim \nolimits _{t\rightarrow \infty }(\int \nolimits _\varOmega n_0(x)\,dx)^{1/t}=1\). Therefore, the limit in (47) exists, and
independent of the initial function \(n_0\in C_+(\varOmega )\backslash \{0\}\). This completes the proof of Theorem 2.
1.5 A.5 Explicit solution for random asymmetric exponential kernels
Here we present the details for the dispersal success approximations (52) when the kernels \(K_t\) are random advective kernels of the form (5), i.e.,
where the rate constants are defined by:
where \(v\) is the advection velocity, \(\beta \) is the settling rate , and \(D\) is the diffusion coefficient for the kernel \(K_t\). The key step is the following lemma which can be shown by a direct integration:
Lemma 1
Let \(\varOmega = (-L/2,L/2)\) and suppose \(K_t(x-y)\) is an asymmetric advective kernel of the form (70).
If \(\gamma \notin \{a_{t},b_t\}\), then
where
Now consider the model
where \(K_t\) is an asymmetric advective kernel (70). If \(n_0(x) = 1\), then from Lemma 1 with \(\gamma = 0\) we have
where \(c_{r,1}(0)\) are defined by (72)–(74). Continuing, we have
If the rate constants \(a_2,b_2 \notin \{a_1,b_1\}\) then we can apply Lemma 1 again to conclude
where
and the constants \(c_{r,j}(\theta )\) are defined by (72)–(74). We can continue in this manner to obtain \(n_t(x)\) for all \(t\), as long as Lemma 1 applies, which will be true provided at each step the rate constants \(a_t,b_t \notin \{a_1,b_1,a_2,b_2,\dots ,a_{t-1},b_{t-1}\}\). Assuming this, we can recursively define the coefficients \({\rho }_{r,t}\) of \(e^{rx}\) in \(n_t(x)\) as follows. Let
Then, by (76), we have
Similarly, for \(t=2\) we have
where
Similarly,
where
In general, \(n_t(x)\) has the form
where \({\fancyscript{R}}_t =R_1 R_2 \cdots R_t\) and \(\varvec{\mathrm {P}}_t = \langle {\rho }_{0,t},{\rho }_{a_1,t},{\rho }_{b_1,t},\ldots ,{\rho }_{a_t,t},{\rho }_{b_t,t} \rangle \) is defined recursively by
By integrating (78) from \(-L/2\) to \(L/2\) we obtain the exact form of \(\varLambda _t \):
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Jacobsen, J., Jin, Y. & Lewis, M.A. Integrodifference models for persistence in temporally varying river environments. J. Math. Biol. 70, 549–590 (2015). https://doi.org/10.1007/s00285-014-0774-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00285-014-0774-y