 Research
 Open Access
 Published:
Nonlinear population discrete models with two time scales: rescaling of part of the slow process
Advances in Difference Equations volume 2019, Article number: 401 (2019)
Abstract
In this work we present a reduction result for discretetime systems with two time scales. In order to be valid, previous results in the field require some strong hypotheses that are difficult to check in practical applications. Roughly speaking, the iterates of a map as well as their differentials must converge uniformly on compact sets. Here, we eliminate the hypothesis of uniform convergence of the differentials at no significant cost in the conclusions of the result. This new result is then used to extend to nonlinear cases the reduction of some population discrete models involving processes acting at different time scales. In practical cases, some processes that occur at a fast time scale are often only measured at slow time intervals, notably mortality. For a general class of linear models that include such a kind of processes, it has been shown that a more realistic approach requires the rescaling of those processes to be considered at the fast time scale. We develop the same type of rescaling in some nonlinear models and prove the corresponding reduction results. We also provide an application to a particular model of a structured population in a twopatch environment.
Introduction
We consider discrete systems in the framework of population dynamics models. The complexity of these models can be treated distinguishing the different time scales at which the different processes involved act. In an idealization of this approach we proposed (see [1] and the references therein) to merge two different processes acting at different time scales in a single model as we describe next. The effect of the fast process during a fast time unit is represented by a general map F, and a general map S describes the slow process in a slow time unit. We choose the latter as the time unit of the common discrete model. If the slow time unit is approximately k times larger than the fast one, we consider that during this interval the fast process acts sequentially k times followed by the slow process acting once. The combined effect of the two processes during a slow time unit is therefore represented by the composition of map S and the kth iterate \(F^{(k)}\) of map F. If we let the vector \(X(t)\) represent the population state at time t, the general form of the system is
The subsequent issue is to take advantage of the existence of time scales to reduce the proposed system. The reduction we are referring to can be considered to be part of the socalled methods of aggregation of variables, which exist in different mathematical settings [2, 3]. It consists of finding a certain number of global variables, which are functions of the state variables, and a reduced system, approximately describing their dynamics, such that it is possible to get information on the asymptotic behavior of the solutions of the original system in terms of this reduced system. This procedure has a direct interpretation in terms of ecological hierarchy theory [4] and the concept of upscaling through ecological hierarchical levels [5, 6]. In general, aggregation methods are approximate in the sense that quantitatively the dynamics of the original system cannot be described exactly by the dynamics of the reduced one. However, the error incurred decreases when the ratio of time scales increases and, for a large enough value of this ratio, the two systems have the same qualitative dynamics.
In [7] it is proved that system (1) can be reduced if the limit of the iterates of map F exists and can be expressed as the composition of two maps going through a lower dimensional space. With additional hypotheses it is possible to extract information on the asymptotic behavior of the solutions of system (1) by means of the reduced system. To be specific, one can study the existence, stability and basins of attraction of steady states and periodic solutions of the original system by performing the study for the corresponding aggregated system. The additional hypotheses essentially consist in the convergence on compact sets of the F iterates and their differentials. However, the latter assumption is generally too involved, if not impossible, to be proved in particular applications.
The main result in this work proves that the mere convergence on compact sets of the F iterates is enough to obtain almost the same results as in [7]. The downside is that we cannot guarantee the convergence of the system dynamics to the attractor, equilibrium or periodic solution, obtained through the analysis of the reduced system. However, we prove that this dynamics remains as close to the attractor as desired if the ratio of time scales is sufficiently large. Therefore, from the point of view of population dynamics models this last property is good enough to obtain valuable qualitative results.
This reduction result is applied in the context of discretetime models of structured metapopulations with two time scales. The aim is to extend to the nonlinear case certain results obtained in [8] for linear models. In structured metapopulation models that distinguish time scales, biological evidence suggests associating the slow one to the local demography (maturation, survival, reproduction) and the fast one to the movements between patches. When we express this in the form of system (1) we are representing that individuals perform at first a series of k dispersal events between patches followed by a demographic event in the arrival patch. This way of separating slow and fast processes seems acceptable as far as reproduction is concerned, particularly in the case of populations with nonoverlapping generations. Nevertheless, it is arguable whether survival should be considered at the slow time scale because deaths may occur at any moment of a slow time interval, i.e., in any of the patches through which individuals pass during this interval. In order to include this issue in the model, and having in mind that survival data may only exist for slow time units, in [8] it is proposed to move survival from the slow to the fast process by approximating its effect during the fast time unit, i.e., rescaling survival to the fast time scale.
According to this discussion, we present two general discretetime models of structured metapopulations with two time scales. In the first one we consider the effect of survival in the time step corresponding to the slow process and, in the second one, in that corresponding to the fast process. The main result of this work makes it possible to extend the reduction method to the latter case.
This general framework is used to illustrate the effects of fast dispersals on local demography that emerge at the global metapopulation level. To this end, we extend the nonspatial model presented in [9] to a habitat with two patches between which fast dispersals are considered. The model is structured into three classes: juveniles and two adult stages. Adults that reproduce at the end of an interval of time do not reproduce at the end of the following one. A fraction of those not having reproduced do so at the end of the following interval. Thus, adults are classified into those reproducing at the end of the time interval, active adults, and those who do not, inactive adults. The aim of this consideration is studying the reproductive synchrony of adults. The model in [9] is a discretetime nonlinear matrix model whose inherent projection matrix is imprimitive [10]. This entails that the stability of the extinction equilibrium when \(R_{0}\) increases through 1 bifurcates either to the stability of a nonextinction equilibrium or of a synchronous 2cycle. The first option represents adults reproductive asynchrony whereas the second one is associated to reproductive synchrony.
Both metapopulation models, with or without rescaled survival, and with local dynamics based on the model [9], can be studied through their associated reduced systems. Indeed, these have the same functional form as the system in [9] so that the results therein can be applied.
The main result on systems reduction is developed in Sect. 2. Two general discretetime models of structured metapopulations with two time scales are presented in Sect. 3. The first one considers the dispersal process to be fast and the local demographic one, including survival, to be slow, whilst in the second one survival is transferred from the slow to the fast process. These two general models are applied in Sect. 4 to the particular case of a population structured into three classes inhabiting in a twopatch environment. With the help of these two particular models we illustrate how the effect of fast dispersals can make emerge at the global level asymptotic properties different from those occurring at the local level. The models are also used to show that the modelling choice regarding survival can imply drastic changes in behavior. A discussion and an Appendix with the proofs of some results complete the work.
Reduction of slowfast discrete systems
The point of departure is Ref. [7] so we recall the presentation therein.
Let \(N\in \mathbb{Z}_{+} \) and let \(\varOmega _{N}\subset \mathbb{R}^{N}\) be a set with nonempty interior. We start by introducing the original or complete model in the following general form:
where \(k\in \mathbb{Z}_{+}\) and \(H_{k}:\varOmega _{N}\longrightarrow \varOmega _{N}, H_{k}\in \mathcal{C}^{1}(\varOmega _{N})\). System (1) is a particular case of system (2) where \(H_{k}=S\circ F^{(k)}\).
In order to carry out the reduction of the model, we assume the following conditions.
Hypothesis 2.1
The following pointwise limit exists in \(\varOmega _{N}\):
Hypothesis 2.2
There exist a subset \(\varOmega _{q}\subset \mathbb{R}^{q}\) with \(q< N\) and two maps \(G:\varOmega _{N}\rightarrow \varOmega _{q}\) and \(T:\varOmega _{q}\rightarrow \varOmega _{N}\) of class \(\mathcal{C}^{1}\) on their respective domains such that
The approximate reduction of system (2) is carried out in two steps. First, we define the auxiliary system
Applying G to both members of the previous expression we have
and so by defining the global variables
we obtain the reduced or aggregated system
where we have introduced the notation \(\bar{H}:=G\circ T\).
Note that through this procedure we have constructed an approximation that allows us to reduce a system with N variables to a new system with q variables. In most practical applications, q is much smaller than N.
Reference [7] presents results that allow one to relate the existence of equilibrium points and periodic orbits for systems (2) and (7). More specifically, if certain conditions are met (see below) and the aggregated system has a hyperbolic pperiodic point \(Y^{\ast }\) (\(p\in \mathbb{N}\)), then for a large enough value of k the original system has a hyperbolic associated pperiodic point \(X_{k}^{\ast }\) that can be approximated in terms of \(Y^{\ast }\). Moreover, \(X_{k}^{\ast }\) is (locally) asymptotically stable (resp. unstable) if and only if \(Y^{\ast }\) is (locally) asymptotically stable (resp. unstable) and, in the first case, the basin of attraction of \(X_{k}^{\ast }\) can be approximated in terms of that corresponding to \(Y^{\ast }\).
For the previous results to hold, in addition to Hypotheses 2.1 and 2.2 one must include two additional conditions.
Hypothesis 2.3
The limit in (3) is uniform on all compact sets of \(\varOmega _{N}\).
The second condition is that \(\lim_{k\rightarrow \infty }DH_{k}=DH\) uniformly on compact sets of \(\varOmega _{N}\), where DH denotes the differential.
In practice, when applying approximate reduction techniques to population models even in simple settings, the (uniform) convergence of the differentials required in the second condition is difficult to check and involves lengthy reasonings and calculations (see for example the proofs in [11, 12]). In more general situations, proving that the condition holds is completely unfeasible. This shows the need for results that allow one to drop this condition and still offer a relationship between the aggregated and the original model.
Next we present a result of this type where, in the case in which the reduced system (7) has mperiodic hyperbolic points, the local dynamics of the original system (2) can be characterized in terms of them. Roughly speaking, and restricting our attention to the case of equilibrium points, it states that if the aggregated system (7) has a hyperbolic locally asymptotically stable equilibrium point \(Y^{\ast }\), then if we choose any sufficiently small neighborhood U of the point \(X^{\ast }:=T(Y ^{\ast })\) and the value of k is large enough, there is an equilibrium point \(X_{k}^{\ast }\) of system (2) in U and all trajectories starting in U do not leave it. Also, if \(Y^{\ast }\) is hyperbolic and unstable for (7) then any neighborhood of \(X^{\ast }\) is unstable [13] provided the value of k is large enough.
Let us first recall the following definition.
Definition 1
Let \(\varOmega \subset \mathbb{R}^{N}\) and let \(f:\varOmega \rightarrow \varOmega \). We say that a compact set \(C\subset \varOmega \) is a trapping region for system \(X(t+1)=f(X(t))\) whenever \(f(C)\subset \operatorname{int} (C)\) (interior of C).
For each \(\delta >0\) and \(X\in \mathbb{R}^{N}\) let us denote \(B(X,\delta ):= \{ x\in \mathbb{R}^{N}: \Vert xX \Vert < \delta \} \) where \(\Vert \ast \Vert \) denotes the Euclidean norm in \(\mathbb{R}^{N}\) and let \(\bar{B}(X,\delta )\) denote the adherence of \(B(X,\delta )\). Now we have the following.
Theorem 2
Let us assume Hypotheses 2.1, 2.2 and 2.3. Let \(m\in \mathbb{N}\), let \(Y^{\ast }\in \mathbb{R}^{q}\) be an hyperbolic mperiodic point of system (7) and let \(X^{\ast }:=T(Y ^{\ast })\).

1.
Assume \(Y^{\ast }\) is locally asymptotically stable and let \(X_{0}\in \varOmega _{N}\) be such that \(Y_{0}:=G(X_{0})\) satisfies \(\lim_{n\rightarrow \infty }\bar{H}^{mn}(Y_{0})=Y^{\ast }\). Then we have the following.

(1.a)
There exists \(\delta _{0}>0\) such that, for every \(\delta >0\) satisfying \(0<\delta <\delta _{0}\), there exists \(k_{\delta }\in \mathbb{Z}_{+}\) such that, for all \(k\geq k_{\delta }\), \(\bar{B}(X^{\ast },\delta )\) is a trapping region for mapping \(H_{k}^{m}\) and, moreover, \(H_{k}^{m}\) has at least a fixed point \(X_{k}^{\ast }\) in \(B(X^{\ast },\delta )\).

(1.b)
There exists \(\delta _{0}>0\) such that, for every \(\delta >0\) satisfying \(0<\delta <\delta _{0}\), there exist \(n_{\delta },k_{\delta }\in \mathbb{Z}_{+}\) such that \(H_{k}^{mn+1}(X_{0})\in B(X^{\ast }, \delta )\) for all \(k\geq k_{\delta }\) and \(n\geq n_{\delta }\).

(1.a)

2.
Assume \(Y^{\ast }\) is unstable. Then there exists \(\delta _{0}>0\) such that, for every \(\delta >0\) satisfying \(0<\delta <\delta _{0}\) and any point X such that \(\Vert XX^{\ast } \Vert = \delta \), there exists \(k_{\delta }\in \mathbb{Z}_{+}\) such that \(H_{k}^{m}(X)\notin \bar{B}(X^{\ast },\delta )\) for all \(k\geq k_{ \delta }\). In particular \(\bar{B}(X^{\ast },\delta )\) is not a stable set for \(H_{k}^{m}(X)\).
Proof
In [7] it is proved, using only Hypotheses 2.1 and 2.2, that if \(Y^{\ast }\) is a mperiodic point of system (7) then \(X^{\ast }:=T(Y^{\ast })\) is a mperiodic point of system (5) and, moreover, \(\rho (D\bar{H}^{m}(Y^{\ast }))= \rho (DH^{m}(X^{\ast }))\), where \(\rho (A)\) denotes the spectral radius of matrix A, so that if \(Y^{\ast }\) is hyperbolic asymptotically stable (resp. hyperbolic unstable) for (7) then \(X^{\ast }\) is hyperbolic a.s. (resp. hyperbolic u.) for (5).
1.a. Let us assume that \(Y^{\ast }\) is a hyperbolic a.s. mperiodic point for system (7) and therefore so is \(X^{\ast }\) for system (5). Let \(0<\gamma <1\) be such that \(\rho (DH^{m}(X^{\ast }))<\gamma \). Then it is well known that there exist \(\delta _{0}>0\) and a consistent matrix norm \(\Vert \cdot \Vert \) in \(\mathbb{R}^{N\times N}\) such that \(\Vert DH^{m}(X) \Vert \leq \gamma \) for every \(X\in \bar{B}(X^{\ast },\delta _{0})\). Let δ be such that \(0<\delta <\delta _{0}\). Then, if \(X\in \bar{B}(X ^{\ast },\delta )\)
From the uniform convergence of \(H_{k}\) to H on compact sets it follows (see Lemma 11 in the Appendix) that there exists \(k_{\delta }\in \mathbb{Z}_{+}\) such that, for all \(k\geq k_{\delta }\),
Then for every \(X\in \bar{B}(X^{\ast },\delta )\) and every \(k\geq k _{\delta } \)
so that \(\bar{B}(X^{\ast },\delta )\) is a trapping region for mapping \(H_{k}^{m}\) as we wanted to prove.
Moreover, since for \(k\geq k_{\delta }\) the set \(\bar{B}(X^{\ast }, \delta )\) is convex, compact and positively invariant for \(H_{k}^{m}\), then Brouwer’s fixed point theorem [14] ensures that there exists at least a fixed point \(X_{k}^{\ast }\) for \(H_{k}^{m}\) in \(\bar{B}(X^{\ast },\delta )\).
1.b. Let \(\delta _{0}\) be like in (1.a) and let δ be such that \(0<\delta <\delta _{0}\). Now using (1.a) we know that there exists \(k^{\prime }_{\delta }\in \mathbb{Z}_{+}\) such that, for all \(k\geq k^{\prime }_{\delta }\),
Let \(X_{0}\in \varOmega _{N}\) be such that \(Y_{0}:=G(X_{0})\) satisfies \(\lim_{n\rightarrow \infty }\bar{H}^{mn}(Y_{0})=Y^{\ast }\). Thus, the continuity of T implies \(\lim_{n\rightarrow \infty }T(\bar{H}^{mn}(Y _{0}))=T(Y^{\ast })\). Using that \(T\circ \bar{H}^{n1}\circ G=H^{n}\) (Proposition 3.3. in [7]) and the fact that \(G(X_{0})=Y_{0}\) it follows that
Then there exists \(n_{\delta }\in \mathbb{Z}_{+}\) such that, for all \(n\geq n_{\delta }\),
The uniform convergence of \(H_{k}\) to H on compact sets of \(\varOmega _{N}\) implies, using Lemma 11, that \(\lim_{k\rightarrow \infty }H_{k}^{mn_{\delta }+1}(X_{0})=H^{mn_{ \delta }+1}(X_{0})\). Therefore, there exists \(k^{\prime \prime }_{ \delta }\in \mathbb{Z}_{+}\) such that for all \(k\geq k^{\prime \prime }_{\delta }\)
Using now (9) and (10) we have for all \(k\geq k^{ \prime \prime }_{\delta }\)
that is, \(H_{k}^{mn_{\delta }+1}(X_{0})\in B(X^{\ast },\delta )\). Finally, taking \(k_{\delta }=\max (k^{\prime }_{\delta },k^{\prime \prime }_{\delta })\) and using (8) we have, for all \(k\geq k_{\delta }\), and all \(n\geq n_{\delta }\), \(H_{k}^{mn+1}(X_{0}) \in B(X^{\ast },\delta )\) and so the result is proved.
2. Let \(\Vert \ast \Vert \) be any norm in \(\mathbb{R}^{N}\). Let λ be an eigenvalue λ of \(DH ^{m}(X^{\ast })\) such that \(\vert \lambda \vert >1\) and let u be an unit vector belonging to the corresponding eigenspace. Now let \(\mu >0\) be such that \(\gamma:= \vert \lambda \vert  \mu \) is larger than 1.
We know that
where G is continuous in a neighborhood of \(X^{\ast }\), so that there exists \(\delta _{0}>0\) such that for all X satisfying \(\Vert XX ^{\ast } \Vert <\delta _{0}\) we have \(\Vert G(X) \Vert < \mu \).
Now let δ be such that \(0<\delta <\delta _{0}\) and let \(X:=X^{\ast }+\delta u\in \bar{B}(X^{\ast },\delta )\). Then
From the uniform convergence of \(H_{k}^{m}\) to \(H^{m}\) on compact sets (Lemma 11 in the Appendix) it follows that there exists \(k_{\delta }\in \mathbb{Z}_{+}\) such that, for all \(k\geq k_{\delta }\),
Then if X is such that \(\Vert XX^{\ast } \Vert =\delta \) we have for all \(k\geq k_{\delta }\)
as we wanted to prove. □
Remark 3
For fixed \(k\geq k_{\delta }\) it is not possible to claim that \(X_{k}^{\ast }\) is attracting or stable. However, Theorem 2 provides information about the original system which is, for all practical purposes, as valuable as that provided by the results of [7], and has the advantage of dropping the abovementioned stringent condition on the convergence of the differentials.
Two time scales structured metapopulations models: rescaling survival to the fast time unit
In this section we present two densitydependent discrete population models whose dynamics is driven by two processes, slow and fast. The population is considered structured into q stages and inhabiting an environment divided into r patches. In the first general model that we propose, the fast process includes the movements of the individuals between patches and the slow process consists in all demographic issues. After this, we propose a new model where we carry out the rescaling of the death process to the fast time unit.
We consider the dispersal between patches to be fast with respect to demography and we denote by k the ratio between the characteristic time scales of the two processes.
The state of the population at time t is represented by the vector
where \(X_{i}(t):=(x_{i}^{1}(t),\ldots,x_{i}^{r}(t))\in \mathbb{R} _{+}^{r}\) and \(x_{i}^{\alpha }(t)\) denotes the population density in stage i and patch α at time t.
For each stage i, we represent dispersal by a projection matrix which is a primitive probability matrix \(M_{i}(Y)\in \mathbb{R}_{+}^{r \times r}\) possibly depending on the total number of individuals in each stage, that is, on the vector
where \(y_{i}:=\sum_{\alpha =1}^{r}x_{i}^{\alpha }=\mathbf{1}X_{i}\) is the total population in stage i and we are denoting \(\mathbf{1}:=(1, \overset{(r)}{\ldots},1)\). Vector Y will play the role of global variables (6) in the reduced system. If we denote \(\mathbf{U}:=\operatorname{diag} ( \mathbf{1},\ldots,\mathbf{1} ) \in \mathbb{R}_{+}^{q\times qr}\) we can express Y in terms of X in the following way:
Finally, we define \(\mathbf{M}(Y):=\operatorname{diag} ( M_{1}(Y),\ldots ,M_{q}(Y) ) \) and thus the map F defining the fast process, i.e., dispersal, is
The fact that vector 1 is a left eigenvector of matrices \(M_{i}\) associated to eigenvalue 1 implies that \(\mathbf{U}\mathbf{M}( \mathbf{U}X)=\mathbf{U}\), so \(\mathbf{U}\mathbf{M}(\mathbf{U}X)X= \mathbf{U}X\) and
that is, we can express the kth iterate of map F in terms of the power k of matrix \(\mathbf{M}(\mathbf{U}X)\).
In the sequel we assume that all the vital rates, and therefore the resulting vital rate matrices, are \(C^{1}\) functions of their corresponding variables.
To represent the slow process, associated to demography, we define a nonnegative projection matrix that can depend on the state variables
and is divided into blocks \(D_{ij}(X)=\operatorname{diag} ( d_{ij}^{ \alpha }(X) ) \in \mathbb{R}^{r\times r}\) where \(d_{ij}^{\alpha }(X)\) represents the rate of individual transition from stage j to stage i in patch α during a slow time interval when the state of the population is represented by the vector X. Thus, the map defining the slow process is
With the maps F and S we propose a first two time scales model in the form of system (1):
In this model individuals first perform a series of k dispersal events followed by a demographic update that occurs in the arrival patch. This assumption is realistic concerning reproduction specially in the case of populations with separated generations. However, the situation might be different for a process like mortality, for individuals may die at any time during the dispersal process. Now we show how to take this into account by proposing a new model, based on the previous one, in which mortality acts at the fast time scale, i.e., we rescale survival to the fast time scale.
Let \(s_{i}^{\alpha }>0\) be the stage and patch specific survival rate for stage i and patch α, that is, the fraction of individuals in stage i (\(i=1,\ldots,q\)) alive at time t that survive to time \(t+1\) in patch α (\(\alpha =1,\ldots,r\)). We assume that \(s_{i}^{\alpha }\) possibly depends on Y, i.e., \(s_{i}^{\alpha }=s _{i}^{\alpha }(Y)\).
We first factor out every coefficient \(d_{ij}^{\alpha }(X)\) in matrix \(\mathbf{D}(X)\) in order to make the survival rate appear explicitly, i.e., we define
This factorization can be extended to matrix \(\mathbf{D}(X)\). Indeed, we define
so that \(D_{ij}(X)=\tilde{D}_{ij}(X) S_{j}(Y)\) and
We can now write \(\mathbf{S}(Y)=\mathbf{S}_{k}(Y)^{k}\), i.e., \(\mathbf{S}(Y)\) is the kth power of the matrix \(\mathbf{S}_{k}(Y)\) given by
We consider the matrix \(\mathbf{S}_{k}(Y)\) to describe the effect of survival at the fast time scale, and based on it we propose a second two time scales model with rescaled survival:
In this model individuals first perform a series of k dispersal events in which mortality is taken into account in each of them through corresponding survival rate. The rest of the demographic process follows at the slow time scale.
Reduction of models (11) and (12)
To reduce (11) we show how the corresponding sequence of maps
satisfies Hypotheses 2.1, 2.2, and 2.3.
The key point is to find the limit of the powers of matrix \(\mathbf{M}(\mathbf{U}X)\). We use the fact that the \(M_{i}(\mathbf{U}X)\) are primitive probability matrices. Therefore their dominant eigenvalue is 1, vector 1 is an associated left eigenvector and there exists, for each \(i=1,\ldots,q\) and \(\mathbf{U}X\in \mathbb{R}_{+} ^{q}\), a unique column positive right eigenvector \(V_{i}(\mathbf{U}X) \in \mathbb{R}^{r}\) such that \(\mathbf{1}V_{i}(\mathbf{U}X)=1\). The Perron–Frobenius theorem yields
Calling \(\mathbf{V}(\mathbf{U}X):=\operatorname{diag} ( V_{i}(\mathbf{U}X)) ) _{i=1,\ldots,q}\in \mathbb{R}_{+}^{qr \times q}\) we have
and thus
and so the limit in Hypothesis 2.1 exists. The decomposition of this limit required in Hypothesis 2.2 is obtained by defining \(G(X)=\mathbf{U}X\) and \(T(Y)=\mathbf{D} ( \mathbf{V}(Y)Y ) \mathbf{V}(Y)Y\). The rest of the technical details involved in proving that Hypotheses 2.1 and 2.3 hold can be found in [12].
The reduced system associated to (11) is
Theorem 2 can be applied to systems (11) and (13) so that we can obtain information on the asymptotic behavior of solutions to system (11) by performing the analysis in the reduced system (13).
We now proceed to the reduction of system (12), for which we have
In this occasion we have to calculate the limit of the kth power of matrix \(\mathbf{S}_{k}(\mathbf{U}X) \mathbf{M}(\mathbf{U}X)\).
A straightforward application of Proposition 12 in the Appendix to each of the diagonal blocks of matrix \(\mathbf{S}_{k}( \mathbf{U}X) \mathbf{M}(\mathbf{U}X)\) yields the result. For every \(i=1,\ldots,q\) let \(Z_{i}(\mathbf{U}X)= ( \log (s_{i}^{1}( \mathbf{U}X)),\ldots,\log (s_{i}^{r}(\mathbf{U}X)) ) \in \mathbb{R}^{r}\) be a row vector and define the scalar \(\gamma _{i}( \mathbf{U}X):=\exp ( Z_{i}(\mathbf{U}X) V_{i}(\mathbf{U}X) ) \). Denoting
we obtain
Therefore,
Defining \(G(X)=\mathbf{U}X\) and \(\tilde{T}(Y)=\tilde{\mathbf{D}} ( \tilde{\mathbf{V}}(Y)Y ) \tilde{\mathbf{V}}(Y)Y\), Hypotheses 2.1, 2.2 and 2.3 are met and the reduced system associated to (12) is
Models (11) and (12) in a threestage, twopatch case
We propose the model of a population inhabiting a twopatch environment. Following the model presented in [9], locally the population is considered structured into three classes corresponding to juveniles and two adult stages. Adults that reproduce at the end of an interval of time do not reproduce at the end of the following one. A fraction of those not having reproduced do so at the end of the following interval. Thus, adults are classified into those reproducing at the end of the time interval, active adults, and those adults who do not, inactive adults. The aim of this consideration is analyzing the reproductive synchrony of adults.
Let \(x_{1}^{\alpha }\), \(x_{2}^{\alpha }\) and \(x_{3}^{\alpha }\) be the number of juveniles, active adults and inactive adults, respectively, in patch \(\alpha =1,2\). The demographic vector is then
The unit of time of the discrete model that we are proposing coincides with the juvenile maturation period. For \(i=1,2,3\) and \(\alpha =1,2\), we denote by \(s_{i}^{\alpha }\in (0,1)\) the corresponding survival probabilities, by \(f^{\alpha }>0\) the adult per capita fecundity rates and by \(g^{\alpha }\in [0,1]\) the fractions of reproductively inactive adults becoming active at the next time unit. Figure 1 shows a transition graph for the population.
The projection matrix, D, associated to demography, is
which can also be written as
Migrations are represented by primitive probability matrices \(M_{i}\in \mathbb{R}_{+}^{2\times 2}\) (\(i=1,2,3\)), which are the diagonal blocks of
According to the framework of models (11) and (12), fecundities and transitions from reproductive inactivity may depend on the state variables, whereas the survival and dispersal coefficients could possibly depend on the total number of individuals in each stage
where \(y_{i}=x_{i}^{1}+x_{i}^{2}=\mathbf{1}X_{i}\), with \(\mathbf{1}=(1,1)\), is the total population in stage i. We recall that in the present case \(\mathbf{U}=\operatorname{diag} ( \mathbf{1}, \mathbf{1},\mathbf{1} ) \in \mathbb{R}_{+}^{3\times 6}\), and we have \(Y=\mathbf{U}X\).
The model with survival acting at the slow time scale is
whereas the model with survival acting at the fast time scale is
where \(\mathbf{S}_{k}=\operatorname{diag} ( S_{k1},S_{k2},S_{k3} ) \) with \(S_{ki}=\operatorname{diag} ( (s_{i}^{1})^{1/k},(s_{i}^{2})^{1/k} ) \) for \(i=1,2,3\).
To simplify the calculations we first assume that the dispersal rates are constant.
For \(i=1,2,3\) let \(V_{i}=(v_{i}^{1},v_{i}^{2})^{\mathsf{T}}\) be the unique column positive right eigenvector of matrix \(M_{i}\) associated to eigenvalue 1 such that \(\mathbf{1}V_{i}=1\). We are using the matrix
to obtain the reduced systems (13) and (14) associated to systems (11) and (12).
We also assume, following the example in Sect. 2 of [9], that the survival rates are constant and fecundities and transitions from reproductive inactivity are locally dependent on the number of active adults. Specifically, we set
where \(\phi ^{\alpha }>0\) are the inherent fertility rates and parameters \(c^{\alpha }\) and \(d^{\alpha }\) are positive.
To obtain the reduced system associated to system (11) we apply the procedure described in Sect. 3.1. The result is the next 3dimensional system:
where
Associated to system (12) we obtain the following reduced system:
where
The projection matrices, \(\bar{H}(Y)\) and \(\tilde{H}(Y)\), of systems (17) and (18) verify the hypotheses H1 and H2 of projection matrix P in Sect. 3 of [9], so Theorems 1–3 therein apply to both systems.
We now proceed to adapt the results in Sect. 3 of [9] to systems (17) and (18). Thus, definitions, notation and propositions are directly inspired from it.
In the first place we define the inherent net reproduction number \(R_{0}\) associated to a nonlinear system as the net reproduction number (NRN) [15] of the projection matrix of the system in the absence of density dependence, i.e., when the population vector is zero. In this way, the inherent NRNs, \(\bar{R}_{0}\) and \(\tilde{R}_{0}\), of matrices \(\bar{H}(Y)\) and \(\tilde{H}(Y)\) are
The first result states that the inherent NRN characterizes the stability of the extinction equilibrium of the system as well as its uniform persistence.
Proposition 4
For system (17) (resp. (18)) the extinction equilibrium \(Y_{0}^{\ast }=\bar{0}=(0,0,0)^{\mathsf{T}}\) is locally asymptotically stable if \(\bar{R}_{0}<1\) (resp. \(\tilde{R}_{0}<1\)) and unstable if \(\bar{R}_{0}>1\) (resp. \(\tilde{R}_{0}>1\)). Furthermore, if \(\bar{R}_{0}>1\) (resp. \(\tilde{R}_{0}>1\)) then the system (17) (resp. (18)) is uniformly persistent with respect to \(Y_{0}^{\ast }\).
Proof
The result is a direct consequence of Theorem 1 in [9]. □
In the sequel we concentrate on system (17) and we develop some asymptotic results when \(\bar{R}_{0}\) increases through 1. That entails, as shown in Proposition 4, the destabilization of the extinction equilibrium \(Y_{0}^{\ast }=\bar{0}\). The fact that the matrix \(\bar{H}(\bar{0})\) is not primitive gives rise to the simultaneous bifurcation of positive equilibria and nonnegative 2cycles [10].
We say that \((\bar{R}_{0},\bar{Y})\in \mathbf{R}_{+}\times \mathbf{R}_{+}^{3}\) is an equilibrium pair for system (17) when Ȳ is an equilibrium for the system and the inherent NRN is \(\bar{R}_{0}\). Clearly \((\bar{R}_{0},\bar{0})\) is an equilibrium pair for all values of \(\bar{R}_{0}\).
Clearly, system (17) has periodic orbits on the boundary of the positive cone of the following form:
for certain values of \(y_{1},y_{2},y_{3}>0\). They are called synchronous 2cycles and are represented by their two points \((\bar{Y}_{2}, \bar{Y}_{1,3})\). We call \(( \bar{R}_{0},(\bar{Y}_{2},\bar{Y} _{1,3}) ) \) a synchronous 2cycle pair of system (17) if \((\bar{Y}_{2},\bar{Y}_{1,3})\) is a synchronous 2cycle for the associated value of \(\bar{R}_{0}\).
The declared aim of the model in [9] is analyzing the reproductive synchrony of adults. Concerning that, the synchronous 2cycles represent reproductive synchrony, i.e., all adults reproduce simultaneously in only one of the two points of the cycle, whereas the positive equilibria represent reproductive asynchrony, i.e., there are reproducing adults at each point of time. Through models (15) and (16) we can study how dispersal affect reproductive synchrony. At the same time, we are interested in analyzing whether choosing one model versus the other could result in different outcomes.
In the next result, conditions for the existence and stability of equilibrium and synchronous 2cycle pairs are obtained. To do so, we define the following four quantities:
and
Proposition 5
For system (17):

1.
A continuum \(\bar{C}_{e}\) of positive equilibrium pairs bifurcates from the extinction equilibrium pair \((\bar{R}_{0},\bar{Y})=(1, \bar{0})\). In a neighborhood of \((1,\bar{0})\), the positive equilibrium pairs \((\bar{R}_{0},\bar{Y})\in \bar{C}_{e}\) have, for \(0<\varepsilon \ll 1\), the parameterizations
$$ \bar{R}_{0}(\varepsilon )=1\frac{\bar{a}_{+}}{1\bar{s}_{2}\bar{s} _{3}}\varepsilon +O \bigl(\varepsilon ^{2}\bigr),\qquad \bar{Y}(\varepsilon )= \begin{pmatrix} 1\bar{s}_{2}\bar{s}_{3} \\ \bar{s}_{1} \\ \bar{s}_{1}\bar{s}_{2} \end{pmatrix} \varepsilon +O\bigl(\varepsilon ^{2}\bigr). $$ 
2.
A continuum \(\bar{C}_{2}\) of synchronous 2cycles pairs bifurcates from the extinction equilibrium pair \((\bar{R}_{0},\bar{Y})=(1, \bar{0})\). In a neighborhood of \((1,\bar{0})\), the synchronous 2cycles pairs \((\bar{R}_{0},(\bar{Y}_{2},\bar{Y}_{1,3}))\in \bar{C}_{2}\) have, for \(0<\varepsilon \ll 1\), the parameterizations
$$\begin{aligned} &\bar{R}_{0}(\varepsilon )=1\frac{\bar{c}_{w}}{1\bar{s}_{2}\bar{s} _{3}}\varepsilon +O \bigl(\varepsilon ^{2}\bigr), \\ &\bar{Y}_{2}(\varepsilon )= \begin{pmatrix} 0 \\ \bar{s}_{1} \\ 0 \end{pmatrix} \varepsilon +O \bigl(\varepsilon ^{2}\bigr),\qquad \bar{Y}_{1,3}(\varepsilon )= \begin{pmatrix} 1\bar{s}_{2}\bar{s}_{3} \\ 0 \\ \bar{s}_{1}\bar{s}_{2} \end{pmatrix} \varepsilon +O\bigl(\varepsilon ^{2}\bigr). \end{aligned}$$ 
3.

(a)
If \(\bar{a}_{}<0\) the equilibria of the pairs in \(\bar{C}_{e}\) are locally asymptotically stable and the 2cycles of the pairs in \(\bar{C}_{2}\) are unstable.

(b)
If \(\bar{a}_{}>0\) the equilibria of the pairs in \(\bar{C}_{e}\) are unstable and the 2cycles of the pairs in \(\bar{C}_{2}\) are locally asymptotically stable.

(a)
Proof
It is a direct consequence of Theorems 2 and 3 in [9]. □
The previous result refers to system (17). Since systems (17) and (18) have the same functional form, an analogous result holds for the latter. In particular, it is the sign of the quantity
which decides the asymptotic stability of either the equilibria of the pairs in \(\tilde{C}_{e}=(\tilde{R}_{0},\tilde{Y})\) (\(\tilde{a}_{}<0\)) or the synchronous 2cycles of the pairs in \(\tilde{C}_{2}= ( \tilde{R}_{0},(\tilde{Y}_{2},\tilde{Y}_{1,3}) ) \) (\(\tilde{a} _{}>0\)) that bifurcate from the extinction equilibrium pair \((\tilde{R}_{0},\tilde{Y})=(1,\bar{0})\).
The results in Sects. 2 and 3 justify that the previous results regarding the reduced systems (17) and (18) can be used to obtain information about the local dynamics of the original two time scales models (15) and (16).
In Fig. 2, a simulation regarding the relationship between systems (18) and (16) is shown, illustrating the fact that, for large enough values of k, the reduced system (18) is a good approximation of the complete system (16). Starting from the same initial condition we have simulated system (18) and system (16) for three different values of k. The reduced system (18) presents a 2cycle and so does the complete system (16) for the three values of k. For \(k=10\), the orbit of the complete system is approximated very closely by that corresponding to the reduced system.
The effect of fast dispersal
The effect of dispersal in populations and in particular its effect at a global level when local isolated populations are connected, has considerable biological interest and has been addressed in a number of different contexts (see [16,17,18] among others). In this section we deal with models (15) and (16) and present some results that show how dispersal can change the two main asymptotic issues regarding the dynamics of the population. The first one is the survival of the population as reflected by the extinction equilibrium stability. Then, once the survival threshold is attained, we address the second issue, i.e., the tendency of the population towards either reproductive synchrony or asynchrony, represented by the stability of synchronous 2cycles or positive equilibria, respectively.
We compare the outcomes of local (isolated sites) and global (dispersal interconnected sites) population dynamics. The reduction procedure applied to systems (15) and (16) allows us to use the corresponding reduced systems (17) and (18) to study their asymptotic behavior. So, we use quantities \(\bar{R}_{0}\) (resp. \(\tilde{R}_{0}\)) and \(\bar{a}_{}\) (resp. \(\tilde{a}_{}\)) to characterize, respectively, survival and reproductive synchrony at the global level in the two systems. The influence of fast dispersal in the population dynamics is reflected through the values \(v_{i}^{\alpha }\) that appear in the coefficients of matrices \(\bar{H}(Y)\) (17) and \(\tilde{H}(Y)\) (18). We recall that \(V_{i}=(v_{i}^{1},v_{i}^{2})^{\mathsf{T}}\) (\(i=1,2,3\)) is the dominant probability normed eigenvector of matrix \(M_{i}\) and therefore its components represent the equilibrium distribution of dispersal for individuals of class i, i.e., \(v_{i}^{j}\) is the proportion of individuals of class i present in patch j after dispersal has reached equilibrium. Their value is
where \(p_{i}\) (resp. \(q_{i}\)) is the migration rate from patch one to patch two (resp. from patch two to patch one) for individuals of class i.
At the local level, i.e., if patches \(\alpha =1,2\) are considered isolated, the matrix representing the population dynamics in each of them is
Effect of dispersal on extinction. The stability of the extinction equilibrium is locally determined by the corresponding inherent NRN,
and the tendency towards reproductive synchrony or asynchrony by
If we consider homogeneous sites concerning survival and fertility, i.e., \(s_{i}^{1}=s_{i}^{2}=:s_{i}\) for \(i=1,2,3\) and \(\phi ^{1}=\phi ^{2}=:\phi \), we obtain
so that, in particular, the population survives or gets extinct locally if and only if it does globally.
On the other hand, differences in local parameters, i.e., \(s_{1}^{1}\) vs. \(s_{1}^{2}\) and \(\phi ^{1}\) vs. \(\phi ^{2}\), can result in different survival outcomes at the local and the global levels provided appropriate dispersal rates are chosen. In the next result we show that under certain conditions, adequate dispersal strategies can transform the local population extinction in isolated patches into global survival.
Proposition 6
Let us assume \(s_{i}^{1}=s_{i}^{2}=:s_{i}\) for \(i=2,3\), \(R_{0}^{1}<1\) and \(R_{0}^{2}<1\). If \(\max \{s_{1}^{1}\phi ^{2},s_{1}^{2}\phi ^{1}\}>(1s _{2}s_{3})/s_{2}\) then there exist intervals \(I_{1},I_{2}\subseteq {}[ 0,1]\) (resp. \(\tilde{I}_{1},\tilde{I}_{2}\subseteq {}[ 0,1]\)) such that \(\bar{R}_{0}>1\) (resp. \(\tilde{R}_{0}>1\)) for \(v_{1}^{1}\in I_{1}\) and \(v_{2}^{1}\in I_{2}\) (resp. \(v_{1}^{1}\in \tilde{I}_{1}\) and \(v_{2}^{1}\in \tilde{I}_{2}\)).
Proof
Let us assume, without loss of generality, that \(s^{1}_{1} \phi ^{2} \geq s^{2}_{1}\phi ^{1}\) and use \(v_{i}^{2} = 1v_{i}^{1}\) for \(i=1,2,3\) to obtain
This last expression, considered as a function of variables \(v_{1}^{1}\) and \(v_{2}^{1}\), is continuous and takes the value \(s^{1}_{1}\phi ^{2}s _{2}/(1s_{2}s_{3})>1\) for \(v_{1}^{1}=1 \) and \(v_{2}^{1}=0\). This yields the existence of the intervals \(I_{1},I_{2}\subseteq [0,1]\) that ensure \(\bar{R}_{0}>1\) for \((v_{1}^{1},v_{2}^{1})\in I_{1}\times I_{2}\).
The proof for \(\tilde{R}_{0}>1\) is analogous. □
The previous result says that, given certain (common) adult survival rates, if the juvenile survival rate in one of the patches together with the fertility rate in the other are large enough to sustain the population, then there exist appropriate dispersal rates to compensate poor local survival conditions.
The opposite result also holds. Adequately chosen dispersal rates, under appropriate conditions, can make two isolated viable populations go extinct when they are connected.
Proposition 7
Let us assume \(s_{i}^{1}=s_{i}^{2}=s_{i}\) for \(i=2,3\), \(R_{0}^{1}>1\) and \(R_{0}^{2}>1\). If \(\min \{s_{1}^{1}\phi ^{2},s_{1}^{2}\phi ^{1}\}<(1s _{2}s_{3})/s_{2}\) then there exist intervals \(I_{1},I_{2}\subseteq {}[ 0,1]\) (resp. \(\tilde{I}_{1},\tilde{I}_{2}\subseteq {}[ 0,1]\)) such that \(\bar{R}_{0}<1\) (resp. \(\tilde{R}_{0}<1\)) for \(v_{1}^{1}\in I_{1}\) and \(v_{2}^{1}\in I_{2}\) (resp. \(v_{1}^{1}\in \tilde{I}_{1}\) and \(v_{2}^{1}\in \tilde{I}_{2}\)).
Proof
Analogous to the proof of Proposition 6. □
Effect of dispersal on reproductive synchrony. We now illustrate the influence of fast dispersal on the population’s reproductive synchrony. We do so in the particular case of homogeneous patches, i.e., when all demographic parameters are the same in both patches:
Thus, the demographic local matrices coincide
but, due to the dispersal rates, are different from the demographic global matrices for systems (17) and (18),
and
As we pointed out in (26), these four matrices have the same inherent NRNs, \(R_{0}^{1}=R_{0}^{2}=\bar{R}_{0}=\tilde{R}_{0}=\phi s _{1}s_{2}/(1s_{2}s_{3})\), which we assume to be larger than 1. Then the local reproductive synchrony at both patches is determined by the sign of (24)
the global reproductive synchrony in the case of system (15) by the sign of \(\bar{a}_{}\) in (21)
and, in the case of system (16), by the sign of \(\tilde{a}_{}\) (22). Note that \(\tilde{a}_{}=s_{2}\bar{a}\) and so the sign of \(\tilde{a}_{}\) coincides with that of \(\bar{a}_{}\), so that we will concentrate on the sign of \(\bar{a}_{}\).
Therefore, in order to illustrate the influence of fast dispersal on reproductive synchrony for both systems (17) and (18), we have to find conditions on \(v_{2}^{1}\) and \(v_{3}^{1}\) (note that \(v_{1}^{1}\) plays no role whatsoever) such that \(a_{}\) and \(\bar{a}_{}\) have different signs. In that way we show that adequately chosen adult dispersal rates can alter the tendency to reproductive synchrony or asynchrony of isolated populations.
A first result shows that it is always possible to find adult dispersal rates such that there exists global reproductive asynchrony, \(\bar{a}_{}<0\), independently of the local tendency.
Proposition 8
Let the model coefficients verify conditions (27). Then there exist intervals \(I_{2},I_{3}\subseteq {}[ 0,1]\) such that \(\bar{a}_{}<0\) for \(v_{2}^{1}\in I_{2}\) and \(v_{3}^{1}\in I_{3}\).
Proof
Equation (31) of \(\bar{a}_{}\) taken as a function of \(v_{2}^{1}\) and \(v_{3}^{1}\), \(\bar{a}_{}(v_{2}^{1},v_{3}^{1})\), is continuous and satisfies \(\bar{a}_{}(1,0)=(1s_{2}s_{3})s_{1}c<0\), what implies the existence of the intervals \(I_{2}\) and \(I_{3}\) meeting the required conditions. □
This result proves that the local reproductive synchrony, \(a_{}>0\), can always be changed into global reproductive asynchrony, \(\bar{a}_{}<0\), through the appropriate adult dispersal rates. This fact is illustrated in Fig. 3.
In the opposite sense we present the next result in which we provide sufficient conditions so that the local reproductive asynchrony, \(a_{}<0\), can be changed into global reproductive synchrony, \(\bar{a}_{}>0\), if adult dispersal is adequately chosen.
Proposition 9
Let the model coefficients verify conditions (27) and \(a_{}<0\). Then there exist intervals \(I_{2},I_{3}\subseteq {}[ 0,1]\) such that \(\bar{a}_{}>0\) for \(v_{2}^{1}\in I_{2}\), \(,v_{3}^{1}\in I_{3}\) if and only if
Proof
Equation (31) of \(\bar{a}_{}\) taken as a function of \(v_{2}^{1}\) and \(v_{3}^{1}\), \(\bar{a}_{}(v_{2}^{1},v_{3}^{1})\), is continuous and satisfies
what implies the existence of the intervals \(I_{2}\) and \(I_{3}\) meeting the required conditions.
In the opposite sense, if we assume, by contradiction, that
and \(\bar{a}_{}>0\) then
but there are no \(v_{2}^{1},v_{3}^{1}\in {}[ 0,1]\) satisfying the previous inequality since the maximum of the function \(f(x,y)=(xy+(1x)(1y))/(x ^{2}+(1x)^{2})\) on \([0,1]\times {}[ 0,1]\) is \((1+\sqrt{2})/2\). □
This change from local reproductive asynchrony to global reproductive synchrony in the adults reproductive behavior for adequate dispersal parameters is illustrated in Fig. 4.
The preceding behavior, in which if appropriate adult dispersal rates are chosen, the existence of a positive locally asymptotically stable equilibrium locally in each site can be transformed globally into the existence of a stable 2cycle and vice versa, is analogous to the one found in [19] for a semelparous population structured in juveniles and adults, spread out in two patches between which they can migrate.
Differences between models (15) and (16)
In this section we propose some particular simple settings in which the asymptotic outcomes of systems (15) and (16) differ, thus showing that the decision of placing mortality at the slow or the fast time scale can have crucial consequences.
There is a simple case in which the inherent NRNs \(\bar{R}_{0}\) and \(\tilde{R}_{0}\), associated to systems (15) and (16), coincide. Indeed, if \(s_{i}^{1}=s_{i}^{2}=:s_{i}\), for \(i=1,2,3\), then
In the next result we show that equal fertilities, \(\phi ^{1}=\phi ^{2}\), imply that \(\bar{R}_{0}\) is larger than \(\tilde{R}_{0}\).
Proposition 10
In systems (15) and (16), if \(\phi ^{1}=\phi ^{2}=: \phi \) then
Moreover, there is an interval \(I\in \mathbb{R}_{+}\) such that if \(\phi \in I \) then
Proof
If we use the fact that, for \(i=1,2,3\), we have \(v_{i}^{1},v_{i}^{2} \in (0,1) \) and \(v_{i}^{1}+v_{i}^{2}=1\), the inequality relating the weighted arithmetic mean and the weighted geometric mean implies that the survival rates in (17) and (18) verify
and the fertility coefficients
Now, it is straightforward that
Inequality (32) is a direct consequence of both \(\tilde{R} _{0}\) and \(\bar{R}_{0}\) depending linearly on ϕ. □
We stress that choosing one of models (15) and (16) over the other can represent the difference between population survival or extinction.
We now present a situation in which the inequalities in Proposition 10 are reversed. We assume that \(s_{1}^{1}=s_{1}^{2}=s_{1}\), \(s_{1}^{2}=0.7\), \(s_{2}^{2}=0.5\), \(s_{3}^{1}=s_{3}^{2}=0.8\), \(v_{2}^{1}=v_{2}^{2}=0.5\), \(\phi ^{1}=\phi \) and \(\phi ^{2}=\alpha \phi \). Straightforward calculations yield
therefore, for \(\alpha >\frac{65\sqrt{35}+14}{289}\) we have \(\bar{R}_{0}<\tilde{R}_{0}\). As this holds for any values of \(s_{1}\in (0,1)\) and \(\phi >0\), there are some of them for which
which represents the difference between population survival or extinction but exchanging the associated models in Proposition 10.
It can be shown that, similarly to what happens regarding survival, there exist situations where models (15) and (16) have different outputs regarding the population reproductive synchrony. Nevertheless, we skip this analysis since we consider that the previous results illustrate clearly our main point here: the choice of model should be as accurate as possible because the results can drastically differ.
Discussion
In this work we have extended the results on reduction of two time scales nonlinear discrete systems presented in [7]. The new result avoids the need to check a difficult hypothesis, specifically the uniform convergence on compacts sets of the differentials of the iterates of a map. Dropping this hypothesis has an effect on the results that can be given regarding the relationships between the original and the reduced model, but nonetheless can be viewed as a minor effect with regard to the practical study of population dynamics models.
This new result has opened the door to extending to the nonlinear case the work on rescaling developed in [8]. When there are two processes acting at different time scales that must be gathered in a single discrete model, the easiest choice of its time unit is that associated to the slow one. The structure of the model then reflects that the fast process acts a number of times, approximately equal to the ratio between the two time scales, followed by one action of the slow process. It is not always easy to decide if a process occurs at the slow or the fast time scale. Here we have focused on the rescaling of survival, which is a process usually measured at the slow time scale associated to the rest of the demographic processes. Nevertheless, in a context of fast movements of individuals between patches with different associated survival rates, it can be argued that it should be rather considered as occurring at the fast time scale. Systems (15) and (16) represent general discretetime models of structured metapopulations with two time scales; in the first one survival acts at the slow time scale and in the second one the rescaled survival acts at the fast time scale. The reduction results developed in Sects. 2 and 3 associated to these two models yield two aggregated models, (17) and (18), which contain the asymptotic information of the original models. They summarize the global emergent properties [2, 20] that fast dispersal induce out of local demography.
To illustrate this influence of fast dispersal on local demographic dynamics and the relevance of the choice of time scale for the different processes involved in a model, we have proposed a particular case of systems (15) and (16). It is based in the model in [9] and it has three population stages and two patches. The comparison of the local models and the two global models is done through their respective inherent net reproduction numbers, which decide on the survival or extinction of the population, and the coefficients \(a_{}\) that rule, for viable populations, the tendency to either reproductive synchrony or asynchrony. Even in simple cases it can be shown that viable local populations can get globally extinct for adequate dispersal rates and, the other way round, nonviable local populations can globally survive if migrating appropriately. Along the same lines, different scenarios are presented reversing the outcome of reproductive synchrony/asynchrony between local and global dynamics.
Finally, it is shown that there are some cases where changing from system (15) to (16) (or vice versa) can represent changing the global outcome from survival to extinction or the other way round. This fact stresses the importance of the choice of time scale (slow ar fast) in which survival is included in the model.
It must be stressed that the result in Theorem 2 can be applied to much more general systems than the specific structured metapopulation models presented in Sect. 3. Also, the convergence results in Proposition 12 have a more general application than the survival rescaling proposed in this work. We have chosen the context of the work trying to keep at reasonable levels both simplicity and modelling relevance.
An interesting extension of the treated metapopulation models would also include an epidemic disease dynamics together with the demographic and spatial issues. These more general models would encompass time scales too. A relevant issue at this point would be to decide whether the epidemic process must be considered as acting as at the fast or the slow time scale. In the case that it be considered as a slow process together with demography, the reduction of the corresponding two time scales system would not differ much from what has been developed in this work since it mainly depends on the fast process. On the other hand, a general assumption in basic epidemic models is that disease evolution can be considered almost instantaneous with respect to demography and therefore the latter is considered negligible. A different approach to this last assumption is considering in the same model both disease and demographic dynamics at different time scales. The obtained twotime scale systems would be susceptible of reduction. The inclusion of disease dynamics in the fast part of the system would render the reduction procedure more involved, and Theorem 2 should be a tool helping in this task.
References
 1.
Bravo de la Parra, R., Marvá, M., Sánchez, E., Sanz, L.: Reduction of discrete dynamical systems with applications to dynamics population models. Math. Model. Nat. Phenom. 8(06), 107–129 (2013)
 2.
Auger, P., Bravo de la Parra, R., Poggiale, J.C., Sánchez, E., NguyenHuu, T.: Aggregation of variables and applications to population dynamics. In: Structured Population Models in Biology and Epidemiology, pp. 209–263. Springer, Berlin (2008)
 3.
Auger, P., Bravo de la Parra, R., Poggiale, J.C., Sánchez, E., Sanz, L.: Aggregation methods in dynamical systems and applications in population and community dynamics. Phys. Life Rev. 5(2), 79–105 (2008)
 4.
Auger, P., Lett, C.: Integrative biology: linking levels of organization. C. R. Biol. 326, 517–522 (2003)
 5.
Lischke, H., et al.: UpScaling of Biological Properties and Models to the Landscape Level. Kluwer Academic, Norwell (2007)
 6.
Levin, S.: The problem of pattern and scale in ecology. Ecology 73, 1943–1967 (1992)
 7.
Sanz, L., Bravo de la Parra, R., Sánchez, E.: Approximate reduction of nonlinear discrete models with two time scales. J. Differ. Equ. Appl. 14(6), 607–627 (2008)
 8.
NguyenHuu, T., Bravo de la Parra, R., Auger, P.: Approximate aggregation of linear discrete models with two time scales: rescaling slow processes to the fast scale. J. Differ. Equ. Appl. 17(04), 621–635 (2011)
 9.
Veprauskas, A., Cushing, J.M.: A juvenile–adult population model: climate change, cannibalism, reproductive synchrony, and strong Allee effects. J. Biol. Dyn. 11(sup1), 1–24 (2017)
 10.
Cushing, J.: On the fundamental bifurcation theorem for semelparous Leslie models. In: Bourguignon, J.P., Jeltsch, R., Pinto, A., Viana, M. (eds.) Mathematics of Planet Earth: Dynamics. Games and Science. CIM Mathematical Sciences Series, pp. 215–251. Springer, Berlin (2015)
 11.
Marvá, M., Moussaoui, A., Bravo de la Parra, R., Auger, P.: A densitydependent model describing agestructured population dynamics using Hawk–Dove tactics. J. Differ. Equ. Appl. 19(6), 1022–1034 (2013)
 12.
Marvá, M., Sánchez, E., Bravo de la Parra, R., Sanz, L.: Reduction of slow–fast discrete models coupling migration and demography. J. Theor. Biol. 258(3), 371–379 (2009)
 13.
LaSalle, J.P.: The Stability of Dynamical Systems, vol. 25. Siam, Philadelphia (1976)
 14.
Border, K.C.: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge (1989)
 15.
Cushing, J., Yicang, Z.: The net reproductive value and stability in matrix population models. Nat. Resour. Model. 8(4), 297–333 (1994)
 16.
Jang, S.J., Mitra, A.K.: Equilibrium stability of singlespecies metapopulations. Bull. Math. Biol. 62(1), 155–161 (2000)
 17.
Yakubu, A.A.: Asynchronous and synchronous dispersals in spatially discrete population models. SIAM J. Appl. Dyn. Syst. 7(2), 284–310 (2008)
 18.
Franco, D., RuizHerrera, A.: To connect or not to connect isolated patches. J. Theor. Biol. 370, 72–80 (2015)
 19.
Bravo de la Parra, R., Marvá, M., Sansegundo, F.: Fast dispersal in semelparous populations. Math. Model. Nat. Phenom. 11(4), 120–134 (2016)
 20.
Auger, A., Poggiale, J.: Aggregation and emergence in systems of ordinary differential equations. Math. Comput. Model. 27, 1–22 (1998)
Author information
Affiliations
Contributions
All authors have equally made contributions. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Luis Sanz.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Lemma 11
Let Hypotheses 2.1 and 2.3 hold. Then for any \(m\in \mathbb{N}\) we have \(\lim_{k\rightarrow \infty }H_{k}^{m}=H^{m}\) uniformly on compact sets of \(\varOmega _{N}\).
Proof
It is easy to realize that it suffices with proving the result for \(m=2\).
Let \(M\subset \varOmega _{n}\) be a compact set. Since \(\lim_{k\rightarrow \infty }H_{k}=H\) uniformly on M, we can find another compact set \(C\subset \varOmega _{n}\) and \(k^{*}\in \mathbb{N}\) such that \(H(M)\subset C\) and \(H_{k}(M)\subset C\) for all \(k\geq k^{*}\).
Let us now show that \(\lim_{k\rightarrow \infty }H_{k}^{2}=H^{2}\) uniformly on K.
The uniform convergence \(\lim_{k\rightarrow \infty }H_{k}=H\) on C ensures the existence of a real sequence \(\{ \alpha _{k} \} _{k\in \mathbb{N}}\), \(\alpha _{k}>0\), with \(\lim_{k\rightarrow \infty }\alpha _{k}=0\) and such that \(\sup_{X\in C} \Vert H_{k}(X)H(X) \Vert \leq \alpha _{k}\). Since
we have, for \(k\geq k^{\ast }\),
When \(k\rightarrow \infty \), the first term on the righthand side converges to zero due to the uniform convergence of \(H_{k}\) to H on C and the second term converges to zero since H is uniformly continuous on C. Therefore the result is proved. □
Proposition 12
Let \(I,J\in \mathbb{Z}_{+}\) and let \(\varOmega \subset \mathbb{R}^{I}\) be an open set. Let \(M:\varOmega \rightarrow \mathbb{R}^{J\times J}\) and \(S:\varOmega \rightarrow \mathbb{R}^{J\times J}\) be continuous maps such that:

a.
For all \(Y\in \varOmega \), \(M(Y)\) is a primitive probability matrix. Let \(v(Y)\) be its column Perron right eigenvector normalized so that \(\mathbf{1}v(Y)=1\).

b.
There exists a continuous map \(S^{\prime }:\varOmega \rightarrow \mathbb{R}^{J\times J}\) such that \(\exp ( S^{\prime }(Y) ) =S(Y)\) for all \(Y\in \varOmega \).
Let us define, for \(Y\in \varOmega \), \(S_{k}(Y):=\exp ( \frac{1}{k}S^{\prime }(Y) ) \), \(\bar{M}(Y):=v(Y)\mathbf{1}\) and \(\gamma (Y):=\exp ( \mathbf{1}S^{\prime }(Y)v(Y) ) \). Then we have
where the limit is uniform on any compact set of Ω.
Proof
Given a fixed \(Y\in \varOmega \), matrix \(M(Y)\) is primitive, its (strictly) dominant eigenvalue is 1 and its associated left eigenvector \(u(Y)\), normalized so that \(u(Y)^{T}v(Y)=1\), is \(u(Y)=\mathbf{1}\). Then the existence of the pointwise limit (33) follows as a particular case of Theorem A1 in [8]. Therefore, all we need to prove is that the limit (33) is uniform on compact sets of Ω.
We only need to adjust some details at the beginning of the proof of Theorem A1 in [8] to make it work in the present case via standard compactness arguments. Let \(\!\!\cdot \!\!\) be the 1norm in \(\mathbb{R}^{J\times J}\). In the first place, since the \(M(Y)\) are probability matrices one has
for all \(Y\in \varOmega \). Now let \(K\subset \varOmega \) be any compact set. For any \(Y^{\prime }\in K\) there exists \(r_{Y^{\prime }}<1\) such that \(\!\!M(Y^{\prime })\bar{M}(Y^{ \prime })\!\!< r_{Y^{\prime }}\). The continuity of M and of the norm imply that if \(\bar{r}_{Y^{\prime }}\) satisfies \(r_{Y^{\prime }}<\bar{r}_{Y^{\prime }}<1\), there exists an open neighborhood of \(Y^{\prime }\) in Ω, \(\mathcal{U}_{Y^{ \prime }}\), such that
Let \(\delta >0\) and let us denote
It is immediate to check that \(( \delta S(Y) ) _{k}= \delta ^{\frac{1}{k}}S_{k}(Y)\) and \(\gamma _{\delta S}(Y)=\delta \gamma (Y)\). Therefore
so that the limit (33) is uniform in K if and only if there exists \(\delta >0\) such that the limit \(\lim_{k\rightarrow \infty } ( ( \delta S(Y) ) _{k}M(Y) ) ^{k}=\gamma _{\delta S}(Y)\) is uniform in K. Now let \(\delta:=\min_{Y\in \bar{\mathcal{U}}_{Y^{\prime }}}\exp ( \!\!S^{\prime }(Y) \!\! ) >0\). Then
and so we can assume, without loss of generality, that \( \!\!S_{k}(Y)\! \!\leq 1\) for all \(Y\in \mathcal{U}_{Y^{\prime }}\) and all \(k=1,2,\ldots \) , from which it follows that
for all \(Y\in \mathcal{U}_{Y^{\prime }}\) and \(i,k\in \mathbb{N}\). Thus, from (34), (35) and (36) the rest of the proof of Theorem A1 in [8] is valid (in the particular case of working with the 1matrix norm) and shows that the limit (33) is uniform on \(\mathcal{U}_{Y^{\prime }}\). A standard compactness argument ensures the uniform convergence on K and completes the proof. □
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
MSC
 39A11
 92D25
Keywords
 Discretetime system
 Time scales
 Rescaling
 Structured population