Abstract
This paper mainly considers a class of two-layer Gilpin–Ayala predator–prey models with time delays. By means of Mawhin’s continuation theorem of coincidence degree theory, some new sufficient criteria for the existence of positive almost periodic solutions have been established. We also obtain the global exponential stability of the positive almost periodic solution for this system by constructing appropriate Lyapunov functionals and smart transformations. As an application, an example is given to illustrate the validity of our main results.
Similar content being viewed by others
1 Introduction
In 1973, Ayala and Gilpin et al. [1] proposed the following model for studying the dynamics of competition in the fruit fly:
where \(r_{i}\) is the intrinsic rate of growth of species, \(K_{i}\) is the environment carrying capacity of species i in the absence of competition, \(\theta _{i}\) provides a nonlinear measure of interspecific interference, and \(a_{ij}\) provides a measure of interspecific interference. In the same year, Gilpin and Ayala presented a more realistic and complicated competition model in the literature [2] as follows:
where \(x_{i}(t)\) is the ith-species population density of at time t, \(r_{i}\) is the ith-species intrinsic exponential growth rate, \(K_{i}\) is the ith-species environment carrying capacity in the absence of competition, \(\theta _{i}\) provides a nonlinear measure of intraspecific interference, and \(a_{ij}(t)\) (\(i\neq j\)) is the interspecific competition rate between the ith species and the jth species at time t.
It is generally called to the Gilpin–Ayala population dynamics model such as (1.1) and (1.2). Compared with the Lotka–Volterra population model, the Gilpin–Ayala population model is important and essential due to its wide applications and advantages. In fact, it is easy to see that the rate of change in the size of each species is a nonlinear function of the sizes of the interacting species in the Gilpin–Ayala population model. However, the rate of change in the size of each species is a linear function of the sizes of the interacting species in the Lotka–Volterra population model. In addition, when the value of all nonlinear measure of interspecific interference is equal to 1, the Gilpin–Ayala population model is changed into the Lotka–Volterra population model. Therefore, as soon as it was put forward, the Gilpin–Ayala models have been widely focused and deeply studied by many scholars. For example, in [3], the author proved that system (1.1) is globally stable while \(\theta _{i}\geq 1\) and \(\theta _{i}<1\) (\(i=1,2\)). In [4], the authors discussed the structure and global stability of equilibria for system (1.1) with infinite delay. In addition, Li and Lu [5] studied the following Gilpin–Ayala population model, more complicated than (1.2):
They obtained sufficient conditions for the existence of a unique globally attractive periodic solution of system (1.3). For more work on the Gilpin–Ayala population model, one could refer to [6–16] and the references cited therein.
Motivated by the above discussion, in this paper, we mainly study the two-layer Gilpin–Ayala predator–prey model with time delays described by
where \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\), \(x_{i}(t)\) (\(i=1,2,\ldots,n\)) and \(x_{n+j}(t)\) (\(j=1,2,\ldots,m\)) stand for the population density of ith prey and jth predator at time t, respectively. \(r_{i}\) (\(i=1,2,\ldots,n\)) and \(\hat{r}_{j}(t)\) (\(j=1,2,\ldots,m\)) present the ith prey natural growth rate and the jth predator natural death rate at time t, respectively. \(a_{ik}(t)\), \(c_{ik}(t)\), \(\hat{b}_{lj}(t)\) and \(\hat{d}_{lj}(t)\) (\(i,k=1,2,\ldots,n\); \(j,l=1,2,\ldots,m\)) stand for the intraspecific competition rate between preys at time t. \(b_{il}(t)\) and \(d_{il}(t)\) (\(i=1,2,\ldots,n\); \(l=1,2,\ldots,m\)) are the predation rate of lth predator on ith prey at time t. \(\hat{a}_{kj}(t)\) and \(\hat{c}_{kj}\) (\(k=1,2,\ldots,n\); \(j=1,2,\ldots,m\)) are the conversion rate of kth prey to jth predator at time t. \(\tau _{ik}(t)\), \(\sigma _{il}(t)\), \(\hat{\tau }_{kj}(t)\) and \(\sigma _{lj}(t)\) (\(i,k=1,2,\ldots,n\); \(j, l=1,2,\ldots,m\)) are the discrete time delay at time t. The constants \(\alpha _{ik}\), \(\beta _{il}\), \(\gamma _{ik}\), \(\delta _{il}\), \(\hat{\alpha }_{kj}\), \(\hat{\beta }_{lj}\), \(\hat{\gamma }_{kj}\) and \(\hat{\delta }_{lj}\) (\(i,k=1,2,\ldots,n\); \(j, l=1,2,\ldots,m\)) provide a nonlinear measure of intraspecific interference.
To the best of our knowledge, few authors have considered the existence and global exponential stability of positive almost periodic solutions for model (1.4). However, the previous papers deal with the permanence, periodic solution and their global attractivity of the Gilpin–Ayala population models. Indeed, the effects of an almost periodically varying environment are important for evolutionary theory as the selective forces on systems in a fluctuating environment differ from those in a stable environment. Therefore, we will establish some sufficient conditions of existence and global exponential stability of positive almost periodic solutions for model (1.4).
The remain of this paper is organized as follows. In Sect. 2, we give some notations and lemmas. In Sect. 3, some new sufficient criteria for the existence of positive almost periodic solutions have been established by means of Mawhin’s continuation theorem of coincidence degree theory. In Sect. 4, we also obtain the global exponential stability of the positive almost periodic solution of this system by constructing appropriate Lyapunov functionals and inequality techniques. As applications, an example and its simulation are given to illustrate the validity of our main results in Sect. 5. Finally, we conclude with the main results and their biological meaning in Sect. 6.
2 Preliminaries
In this section, we first recall some basic definitions and lemmas which are used in what follows.
Definition 2.1
([17])
Let \(u(t):\mathbb{R} \rightarrow \mathbb{R}\) be continuous in t. \(u(t)\) is said to be almost periodic on \(\mathbb{R}\), if, for any \(\epsilon >0\), the set \(K(u,\epsilon)=\{\delta: \vert u(t+\delta)-u(t)\vert <\epsilon, \forall t\in \mathbb{R}\}\) is relatively dense, that is, for any \(\epsilon >0\), it is possible to find a real number \(l(\epsilon)>0\), for any interval with length \(l(\epsilon)\), there exists a number \(\delta =\delta (\epsilon)\) in this interval such that \(\vert u(t+\delta)-u(t)\vert <\epsilon\), \(\forall t\in \mathbb{R}\).
Definition 2.2
A solution \((x_{1}(t),\ldots,x_{n}(t),x_{n+1}(t),\ldots,x_{n+m}(t))^{T}\) of (1.1) is called an almost periodic solution if and only if \(x_{i}(t)\) and \(x_{n+j}(t)\) (\(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\)) are almost periodic.
For convenience, we denote \(\operatorname{AP}(\mathbb{R})\) is the set of all real valued, almost periodic functions on \(\mathbb{R}\). For \(f\in \operatorname{AP}(\mathbb{R})\), define
and
to be the set of Fourier exponents and the module of f, respectively. \(m(f)=\frac{1}{T}\int _{0}^{T}f(s)\,ds\) be the mean value of f on interval \([0,T]\), where \(T>0\) is a constant. Clearly, \(m(f)\) depends on T. \(m[f]=\lim_{T\rightarrow \infty }\frac{1}{T}\int _{0}^{T}f(s)\,ds\). Suppose that \(f(t,\phi)\) is almost periodic in t, uniformly with respect to \(\phi \in C([-\sigma,0],\mathbb{R})\), let \(K(f,\epsilon,S)\) denote the set of ϵ-almost periods with respect to \(S\subset C([-\sigma,0],\mathbb{R})\) and \(l(\epsilon,S)\) denote the length of inclusion interval.
Lemma 2.1
([17])
Suppose that f and g are almost periodic. Then the following statements are equivalent:
-
(i)
\(\operatorname{mod}(f)\supset \operatorname{mod}(g)\),
-
(ii)
for any sequence \(\{t_{n}^{*}\}\), if \(\lim_{n\rightarrow \infty } f(t+t_{n}^{*})=f(t)\) for each \(t\in \mathbb{R}\), then there exists a subsequence \(\{t_{n}\}\subseteq \{t_{n}^{*}\}\) such that \(\lim_{n\rightarrow \infty }g(t+t_{n})=f(t)\) for each \(t\in \mathbb{R}\).
Lemma 2.2
([17])
If \(u\in \operatorname{AP}(\mathbb{R})\), then \(\int _{t-\tau } ^{t} u(s)\,ds\) is almost periodic.
Lemma 2.3
([17])
If \(u(t)\in \operatorname{AP}(\mathbb{R})\), then \(u(t)\) is bounded on \(\mathbb{R}\).
Lemma 2.4
([18])
If \(f(t)\in \operatorname{AP}(\mathbb{R})\), then there exists \(t_{0}\in \mathbb{R}\) such that \(f(t_{0})=m(f)\).
Lemma 2.5
([18])
Assume that \(u(t)\in \operatorname{AP}(\mathbb{R})\cap C^{1}(\mathbb{R},\mathbb{R})\), then there exist two point sequences \(\{\xi _{k}\}_{k=1}^{\infty }\) and \(\{\eta _{k}\}_{k=1}^{\infty }\) such that \(u'(\xi _{k})=u'(\eta _{k})=0\), \(\lim_{k\rightarrow \infty }\xi _{k}=\infty\), \(\lim_{k\rightarrow \infty }\eta _{k}=-\infty\).
Lemma 2.6
([18])
Assume that \(u(t)\in \operatorname{AP}(\mathbb{R})\cap C^{1}(\mathbb{R},\mathbb{R})\), then \(u(t)\) falls into one of the following four cases:
-
(i)
There are \(\xi,\eta \in \mathbb{R}\) such that \(u(\xi)=\sup_{t\in \mathbb{R}}u(t)\) and \(u(\eta)=\inf_{t\in \mathbb{R}}u(t)\). In this case, \(u'(\xi)=u'(\eta)=0\).
-
(ii)
There are no \(\xi, \eta \in \mathbb{R}\) such that \(u(\xi)=\sup_{t\in \mathbb{R}}u(t)\) and \(u(\eta)=\inf_{t\in \mathbb{R}}u(t)\). In this case, for all \(\epsilon >0\), there exist two points \(\xi,\eta \in \mathbb{R}\) such that \(u'(\xi)=u'(\eta)=0\), \(u(\xi)>\sup_{t\in \mathbb{R}}u(t)-\epsilon \) and \(u(\eta)<\inf_{t\in \mathbb{R}}u(t)+\epsilon\).
-
(iii)
There is a \(\xi \in \mathbb{R}\) such that \(u(\xi)=\sup_{t\in \mathbb{R}}u(t)\) and there is no \(\eta \in \mathbb{R}\) such that \(u(\eta)=\inf_{t\in \mathbb{R}}u(t)\). In this case, \(u'(\xi)=0\) and for all \(\epsilon >0\), there exists an \(\eta \in \mathbb{R}\) such that \(u'(\eta)=0\) and \(u(\eta)<\inf_{t\in \mathbb{R}}u(t)+\epsilon\).
-
(vi)
There is an \(\eta \in \mathbb{R}\) such that \(u(\eta)=\inf_{t\in \mathbb{R}}u(t)\) and there is no \(\xi \in \mathbb{R}\) such that \(u(\eta)=\sup_{t\in \mathbb{R}}u(t)\). In this case, \(u'(\eta)=0\) and for all \(\epsilon >0\), there exists an \(\xi \in \mathbb{R}\) such that \(u'(\xi)=0\) and \(u(\xi)>\sup_{t\in \mathbb{R}}u(t)-\epsilon\).
For the sake of convenience, we denote \(v^{l}=\inf_{t\in \mathbb{R}}v(t)\), \(v^{M}=\sup_{t\in \mathbb{R}}v(t)\), here \(v(t)\) is a continuous almost periodic function on \(\mathbb{R}\). For simplicity, we need to introduce some notations as follows:
where \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\).
Throughout this paper, we need the following assumptions.
- \((H_{1})\) :
-
\(r_{i}(t)\), \(\hat{r}_{j}(t)\), \(a_{ik}(t)\), \(b_{il}(t)\), \(c_{ik}(t)\), \(d_{il}(t)\), \(\hat{a}_{kj}(t)\), \(\hat{b}_{lj}(t)\), \(\hat{c}_{kj}(t)\), \(\hat{d}_{lj}(t)\ (i,k=1,2,\ldots,n;j, l=1,2,\ldots,m)\in C(\mathbb{R},\mathbb{R}^{+})\) and \(\tau _{ik}(t)\), \(\sigma _{il}(t)\), \(\hat{\tau }_{kj}(t)\), \(\sigma _{lj}(t)\ (i,k=1,2,\ldots,n;j, l=1,2,\ldots, m)\in C(\mathbb{R},\mathbb{R}_{0}^{+})\) are all continuous positive almost periodic functions with respect to the time variable t, where \(\mathbb{R}^{-}=(-\infty,0)\), \(\mathbb{R}^{+}=(0,\infty)\), \(\mathbb{R}^{+}_{0}=[0,\infty)\), \(\mathbb{R}=(-\infty,+\infty)\).
- \((H_{2})\) :
-
The nonlinear measures of intraspecific interference \(\alpha _{ik}\), \(\beta _{il}\), \(\gamma _{ik}\), \(\delta _{il}\), \(\hat{\alpha }_{kj}\), \(\hat{\beta }_{lj}\), \(\hat{\gamma }_{kj}\) and \(\hat{\delta }_{lj}\) (\(i,k=1,2,\ldots,n\); \(j, l=1,2,\ldots,m\)) are all the positive constants, that is, \(\alpha _{ik}>0\), \(\beta _{il}>0\), \(\gamma _{ik}>0\), \(\delta _{il}>0\), \(\hat{\alpha }_{kj}>0\), \(\hat{\beta }_{lj}>0\), \(\hat{\gamma }_{kj}>0\), \(\hat{\delta }_{lj}>0\).
- \((H_{3})\) :
-
\(r_{i}^{l}> \sum_{k=1,k\neq i}^{n}a_{ik}^{M}(l_{k}^{+})^{\alpha _{ik}} +\sum_{l=1}^{m}b_{il}^{M}(l_{n+l}^{+})^{\beta _{il}} +\sum_{k=1}^{n}c_{ik}^{M}(l_{k}^{+})^{\gamma _{ik}}+\sum_{l=1}^{m}d_{il}^{M}(l_{n+l}^{+})^{\delta _{il}}\) and \(\sum_{k=1}^{n}\hat{a}_{kj}^{l}(l_{k}^{-})^{\hat{\alpha }_{kj}} +\sum_{k=1}^{n}\hat{c}_{kj}^{l}(l_{k}^{-})^{\hat{\gamma }_{kj}}>\hat{r}_{j}^{M} + \sum_{l=1,l\neq j}^{m}\hat{b}_{lj}^{M}(l_{n+l}^{+})^{\hat{\beta }_{lj}} +\sum_{l=1}^{m}\hat{d}_{lj}^{M}(l_{n+l}^{+})^{\hat{\delta }_{lj}}\), \(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\).
3 Existence of positive almost periodic solution
In this section, by using Mawhin’s continuation theorem, we shall show the existence of positive almost periodic solutions of (1.1).
Let X and Z be Banach spaces. \(L : \operatorname{Dom}(L)\subset X\rightarrow Z\) be a linear mapping and \(N: X \times [0,1]\rightarrow Z\) is a continuous mapping. The mapping L will be called a Fredholm mapping of index zero if \(\operatorname{dim} \operatorname{Ker}(L)=\operatorname{codim} \operatorname{Im}(L) < \infty \) and \(\operatorname{Im}(L)\) is closed in Z. If L is a Fredholm mapping of index zero, then there exist continuous projectors \(P:X\rightarrow X\) and \(Q:Z\rightarrow Z\) such that \(\operatorname{Im}(P)=\operatorname{Ker}(L)\) and \(\operatorname{Ker}(Q)=\operatorname{Im}(L)=\operatorname{Im}(I-Q)\), and \(X=\operatorname{Ker}(L)\oplus \operatorname{Ker}(P)\), \(Z=\operatorname{Im}(L)\oplus \operatorname{Im}(Q)\). It follows that \(L \vert _{\operatorname{Dom}(L)\bigcap \operatorname{Ker}(P)}:(I-P)X\rightarrow \operatorname{Im}(L) \) is invertible and its inverse is denoted by \(K_{P}\). If Ω is a bounded open subset of X, the mapping N is called L-compact on \(\overline{\Omega }\times [0,1]\), if \(QN(\overline{\Omega }\times [0,1])\) is bounded and \(K_{p}(I-Q)N\): \(\overline{\Omega }\times [0,1]\rightarrow X \) is compact, where I is the identity. Because \(\operatorname{Im}(Q) \) is isomorphic to \(\operatorname{Ker}(L)\), there exists an isomorphism J: \(\operatorname{Im}(Q)\rightarrow \operatorname{Ker}(L)\).
Let L be a Fredholm linear mapping with index zero and let N be a L-compact mapping on Ω̅. Define mapping \(F: \operatorname{Dom}(L)\cap \overline{\Omega }\rightarrow Z\) by \(F=L-N\). If \(Lx\neq Nx\) for all \(x\in \operatorname{Dom}(L)\cap \partial \Omega \), then by using P, Q, \(K_{P}\), J defined above, the coincidence degree of F in Ω with respect to L is defined by
where \(\operatorname{deg}(g,\Gamma,p)\) is the Leray–Schauder degree of g at p relative to Γ.
The Mawhin’s continuous theorem [19], p. 40, is given as follows:
Lemma 3.1
([19])
Let L be a Fredholm mapping of index zero and N be L-compact on \(\overline{\Omega }\times [0,1]\). Assume
-
(a)
for each \(\lambda \in (0,1)\), every solution x of \(Lx=\lambda N(x,\lambda)\) is such that \(x \notin \partial \Omega \cap \operatorname{Dom}(L)\);
-
(b)
\(QN(x,0)\neq 0\) for each \(x\in \partial \Omega \cap \operatorname{Ker}(L)\);
-
(c)
\(\operatorname{deg}(JQN(x,0),\Omega \cap \operatorname{Ker}(L),0)\neq 0\).
Then \(Lx=N(x,1)\) has at least one solution in \(\overline{\Omega }\cap \operatorname{Dom}(L)\).
By making the substitution \(x_{i}(t)=e^{u_{i}(t)}\) (\(i=1,2,\ldots,n\)), \(x_{n+j}(t)=e^{u_{n+j}(t)}\) (\(j=1,2,\ldots,m\)), then system (1.4) is rewritten in the form of
Let \(X=Z=V_{1}\oplus V_{2}\), where
in which \(\phi _{k}\in C([-\sigma,0],\mathbb{R})\), \(k=1,2,\ldots,n+m\), \(\sigma = \max_{1\leq i,k\leq n,1\leq j,l\leq m}\sup_{t\in \mathbb{R}}\{\tau _{ik}(t),\sigma _{il}(t), \hat{\tau }_{ik}(t),\hat{\sigma }_{il}(t)\}\), and β is a given constant. Define the norm
Lemma 3.2
\(X=Z\) is a Banach space equipped with the norm \(\Vert \cdot \Vert \) defined by (3.2).
Proof
Assume that \(\{w^{\{k\}}=(w_{1}^{\{k\}},w_{2}^{\{k\}},\ldots,w_{n+m}^{\{k\}})^{T}\}\subset V_{1}\) converge to \(\overline{w}=(\overline{w}_{1},\overline{w}_{2},\ldots,\overline{w}_{n+m})^{T}\), that is, \(w_{h}^{\{k\}}\rightarrow \overline{w}_{h}\), as \(k\rightarrow \infty \), \(h=1,2,\ldots,n+m\). Then it is easy to show that \(\overline{w}_{h} \in \operatorname{AP}(\mathbb{R})\) and \(\operatorname{mod}(\overline{w}_{h})\in \operatorname{mod}(F_{h})\). For any \(\vert \widetilde{\lambda }_{h}\vert \leq \beta \), we have
therefore,
which implies \(\overline{w}\in V_{1}\). Then it is not difficult to see that \(V_{1}\) is a Banach space equipped with the norm \(\Vert \cdot \Vert \). Thus, we can easily verify that X and Z are Banach spaces equipped with the norm \(\Vert \cdot \Vert \). The proof is complete. □
Lemma 3.3
Let \(L: X\rightarrow Z\), \(Lw=\frac{dw(t)}{dt}\), then L is a Fredholm mapping of index zero.
Proof
Clearly, L is a linear operator and \(\operatorname{Ker}(L)=V_{2}\). We claim that \(\operatorname{Im}(L)=V_{1}\). In fact, we suppose that \(z(t)=(z_{1}(t),z_{2}(t),\ldots,z_{n+m}(t))^{T}\in \operatorname{Im}(L)\subset Z\), then there exist \(z^{\{1\}}(t)=(z_{1}^{\{1\}}(t),z_{2}^{\{1\}}(t),\ldots,z_{n+m}^{\{1\}}(t))^{T}\in V_{1}\) and constant vector \(z^{\{2\}}=\{z_{1}^{\{2\}}(t),z_{2}^{\{2\}}(t),\ldots,z_{n+m}^{\{2\}}(t)\} \in V_{2}\) such that \(z(t)=z^{\{1\}}(t)+z^{\{2\}}\), that is, \(z_{h}(t)=z_{h}^{\{1\}}(t)+z_{h}^{\{2\}}\), \(h=1,2,\ldots,n+m\). From Lemma 2.2 and the definitions of \(z_{i}(t)\) and \(z_{i}^{\{1\}}(t)\), we know that \(\int _{t-\sigma }^{t} z_{h}(s)\,ds\) and \(\int _{t-\sigma }^{t} z_{h}^{\{1\}}(s)\,ds\) are almost periodic functions. So we have \(z_{h}^{\{2\}}\equiv 0\), \(h=1,2,\ldots,n+m\), then \(z^{\{2\}}\equiv (0,0,\ldots,0)^{T}\), which implies \(z(t)\in V_{1}\), that is, \(\operatorname{Im}(L)\subset V_{1}\).
On the other hand, if \(w(t)=(w_{1}(t),w_{2}(t),\ldots,w_{n+m}(t))^{T}\in V_{1}\setminus \{(0,0,\ldots,0)^{T}\}\), then we have \(\int _{0}^{t} w_{h}(s)\,ds \in \operatorname{AP}(\mathbb{R})\), \(h=1,2,\ldots,n+m\). If \(\widetilde{\lambda }_{h}\neq 0\), then we obtain
\(h=1,2,\ldots,n+m\). It follows that
hence
Note that \(\int _{0}^{t} w(s)\,ds-m(\int _{0}^{t} w(s)\,ds)\) is the primitive of \(w(t)\) in X, we have \(w(t)\in \operatorname{Im}(L)\), that is, \(V_{1} \subset \operatorname{Im}(L)\). Therefore, \(\operatorname{Im}(L)=V_{1}\).
Furthermore, one easily shows that \(\operatorname{Im}(L)\) is closed in Z and
Therefore, L is a Fredholm mapping of index zero. The proof is complete. □
Lemma 3.4
Let \(N:X\times (0,1)\rightarrow Z\), \(N(u(t),\lambda)=(N_{1}^{u}, N_{2}^{u},\ldots,N_{n+m}^{u})^{T}\), where
and
Define the projectors
Then N is L-compact on Ω̅, where Ω is an open bounded subset of X.
Proof
Obviously, P and Q are continuous projectors such that
It is clear that \((I-Q)V_{2}=\{(0,0,\ldots,0)\}\), \((I-Q)V_{1}=V_{1}\). Hence
In view of
we find that the inverse \(K_{P}\): \(\operatorname{Im}(L)\rightarrow \operatorname{Ker}(P)\cap \operatorname{Dom}(L)\) of \(L_{P}\) exists and is given by
Thus,
where
Clearly, QN and \((I-Q)N\) are continuous. Now we show that \(K_{P}\) is also continuous. By assumptions, for any \(0<\epsilon <1\), let \(l_{h}(\epsilon _{h},S)\) be the length of the inclusion interval of \(K_{h}(F_{h},\epsilon _{h},S)\), \(h=1,2,\ldots,n+m\). Suppose that \(\{z^{k}(t)\}\subset \operatorname{Im}(L)=V_{1}\) and \(z^{k}(t)=(z_{1}^{k}(t),z_{2}^{k}(t),\ldots,z_{n+m}^{k}(t))^{T}\) uniformly converges to \(\overline{z}(t)=(\overline{z}_{1}(t),\overline{z}_{2}(t),\ldots,\overline{z}_{n+m}(t))^{T}\), that is \(z_{h}^{k}\rightarrow \overline{z}_{h}\), as \(k\rightarrow \infty \), \(h=1,2,\ldots,n+m\). Because of \(\int _{0}^{t} z^{k}(s)\,ds\in Z\), \(k=1,2,\ldots \) , there exists \(\sigma _{h}\) (\(0<\sigma _{h} <\epsilon _{h}\)) such that \(K_{h}(F_{h},\sigma _{h},S)\subset K_{h}(\int _{0}^{t} z_{h}^{k}(s)\,ds,\sigma _{h})\), \(h=1,2,\ldots,n+m\). Let \(l_{h}(\sigma _{h},S)\) be the length of the inclusion interval of \(K_{h}(F_{h},\sigma _{h},S)\), \(h=1,2,\ldots,n+m\) and \(l_{h}=\max \{l_{h}(\epsilon _{h},S),l_{h}(\sigma _{h},S)\}\), \(h=1,2,\ldots,n+m\). It is easy to see that \(l_{h}\) is the length of the inclusion interval of \(K_{h}(F_{h},\sigma _{h},S)\) and \(K_{h}(F_{h},\epsilon _{h},S)\), \(h=1,2,\ldots,n+m\). Hence, for any \(t \notin [0,l_{h}]\), there exists \(\xi _{t}\in K_{h}(F_{h},\sigma _{h},S)\subset K_{h}(\int _{0}^{t}z_{h}^{k}(s)\,ds,\sigma _{h},S)\) such that \(t+\xi _{t} \in [0,l_{h}]\), \(h=1,2,\ldots,n+m\). So, by the definition of almost periodic function we have
From (3.3), we conclude that \(\int _{0}^{t} z(s)\,ds\) is continuous, where \(z(t)=(z_{1}(t),z_{2}(t), \ldots,z_{n+m}(t))^{T}\in \operatorname{Im}(L)\). Consequently, \(K_{P}\) and \(K_{P} (I-Q)Ny\) are continuous. Meanwhile, we also have \(\int _{0}^{t} z(s)\,ds\) and \(K_{P}(I-P)Nu\) are uniformly bounded in Ω̅. Further, it is not difficult to verify that \(QN(\overline{\Omega })\) is bounded and \(K_{P}(I-Q)Nu\) is equicontinuous in Ω̅. By the Arzela–Ascoli theorem, we have immediately conclude that \(K_{P}(I-Q)N(\overline{\Omega })\) is compact. Thus N is L-compact on Ω̅. The proof is complete. □
Theorem 3.1
Assume that \((H_{1})\)–\((H_{3})\) hold. Then system (1.4) has at least one positive almost periodic solution.
Proof
In order to use Lemma 3.1 establishing the existence of positive almost periodic solutions of (1.1), we set Banach space X and Z the same as those in Lemma 3.2 and set mappings L, N, P, Q the same as those in Lemma 3.3 and Lemma 3.4, respectively. Then we find that L is a Fredholm mapping of index zero and N is a continuous operator which is L-compact on Ω̄.
Now we are in the position of searching for an appropriate open, bounded subset Ω for the application of the continuation theorem. Corresponding to the operator equation
we obtain
and
Assume that \(u\in X\) is an almost periodic solution of (3.4)–(3.5), for some \(\lambda \in (0,1)\). Then, by Lemma 2.6, for any \(\epsilon >0\), there exist \(\xi _{h},\eta _{h}\in \mathbb{R}\) such that \(u_{h}(\xi _{h})>u_{h}^{M}-\epsilon\), \(u_{h}(\eta _{h})< u_{h}^{l}+\epsilon \) and \(u'_{h}(\xi _{h})=u'_{h}(\eta _{h})=0\), \(h=1,2,\ldots,n+m\). From this and (3.4)–(3.5), for \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\), we have
and
On the one hand, according to (3.6), we have
which implies that
By means of (3.7), we obtain
which indicates that
Similar to (3.10)–(3.13), it follows from (3.8) and (3.9) that
and
On the other hand, in view of (3.8), we obtain
which implies that
According to (3.9), we get
which implies that
Similar to (3.16)–(3.19), it follows from (3.6) and (3.7) that
and
By (3.11), (3.13)–(3.15), (3.17), (3.19)–(3.21) and noticing that \(0< l_{h}^{-}< l_{h}^{+}\) (\(h=1,2,\ldots,n+m\)), we have, for all \(t\in \mathbb{R}\),
Denote the open bounded set \(\Omega \subset X\) by \(\Omega =I_{1}\times I_{2}\times \cdots \times I_{n+m}\), where \(I_{h}=(\ln l_{h}^{-}-\theta _{h}),\ln l_{h}^{+}+\theta _{h})\), \(\theta _{h}\in (0,\infty)\) (\(h=1,2,\ldots,n+m\)). Clearly, \(l_{h}^{+}\), \(l_{h}^{-}\) and \(\theta _{h}\) (\(h=1,2,\ldots,n+m\)) are independent of λ. Thus Ω satisfies the requirement (a) in Lemma 3.1.
Now we show that (b) of Lemma 3.1 holds, namely, we prove when \(u\in \partial \Omega \cap \operatorname{Ker}(L)=\partial \Omega \cap \mathbb{R}^{n+m}\), \(QN(u,0)\neq (0,0,\ldots,0)^{T}\). If it is not true, then when \(u\in \partial \Omega \cap \operatorname{Ker}(L)=\partial \Omega \cap \mathbb{R}^{n+m}\), constant vector \(u=(u_{1},u_{2},\ldots,u_{n+m})^{T}\) with \(u\in \partial \Omega \) satisfies
In view of the mean value theorem of calculous, there exist \(n+m\) points \(t_{i}\), \(\hat{t}_{j}\) (\(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\)) such that
By the analogous argument of (3.10)–(3.21), it follows from (3.23)–(3.24) that \(\ln l_{h}^{-}-\theta _{h}< u_{h}<\ln l_{h}^{+}+\theta _{h}\) (\(h=1,2,\ldots,n+m\)), that is, \(u\in \Omega \cap \mathbb{R}^{n+m}\). This contradicts the fact that \(u\in \partial \Omega \cap \mathbb{R}^{n+m}\). So (b) of Lemma 3.1 holds.
Next we show that (c) in Lemma 3.1 holds. Consider the following algebraic equation:
and
Obviously, (3.25)–(3.26) has an unique solution \((u_{1}^{*},u_{2}^{*},\ldots,u^{*}_{n+m})\). It is easy to verify that \(\ln l_{h}^{-}-\theta _{h}< u^{*}_{h}<\ln l_{h}^{+}+\theta _{h}\) (\(h=1,2,\ldots,n+m\)). Therefore, \((u^{*}_{1},u^{*}_{2},\ldots,u^{*}_{n+m})\in \Omega\). Since \(\operatorname{Ker}(L)=\operatorname{Im}(Q)\), we can take \(J=I\). A direct computation gives
So far, we have proved that Ω satisfies all the assumptions in Lemma 3.1. Hence, system (3.1) has at least an almost periodic solution \((\overline{u}_{1}(t),\overline{u}_{2}(t),\ldots,\overline{u}_{n+m}(t))\). Therefore, system (1.4) has at least one positive almost periodic solution \((e^{\overline{u}_{1}(t)},e^{\overline{u}_{2}(t)},\ldots,e^{\overline{u}_{n+m}(t)})\). The proof is complete. □
4 Global exponential stability
The aim of this section is to derive the sufficient condition of a unique globally exponentially stable positive almost periodic solution of (1.4).
Under the assumption of Theorem 3.1, we know that system (1.4) has at least one positive almost periodic solution \((\overline{x}_{1}(t),\overline{x}_{2}(t),\ldots,\overline{x}_{n+m}(t))\) satisfying \(l_{h}^{-}\leq \overline{x}_{h}(t)< l_{h}^{+}\) (\(h=1,2,\ldots,n+m\)). Now let ρ be a positive constant satisfying \(0<\rho <\min_{1\leq h\leq n+m}\{l_{h}^{-}\}\). We assume further that
- \((H_{4})\) :
-
\(\tau _{ik}(t)\), \(\sigma _{il}(t)\), \(\hat{\tau }_{kj}(t)\), \(\sigma _{lj}(t)(i,k=1,2,\ldots,n;j, l=1,2,\ldots,m)\in C^{1}(\mathbb{R},\mathbb{R}_{0}^{+})\) satisfy \(0\leq \tau '_{ik}(t)\), \(\sigma '_{il}(t)\), \(\hat{\tau }'_{kj}(t)\) \(\sigma '_{lj}(t)<1\) (\(i,k=1,2,\ldots,n\); \(j, l=1,2,\ldots,m\)).
- \((H_{5})\) :
-
\(\alpha _{ii}\geq \max_{1\leq k\leq n,1\leq l\leq m} \{ \alpha _{ik},\beta _{il},\gamma _{ik},\delta _{il} \} \), \(\hat{\beta }_{jj}\geq \max_{1\leq k\leq n,1\leq l\leq m} \{ \hat{\alpha }_{kj},\hat{\beta }_{lj},\hat{\gamma }_{kj},\hat{\delta }_{lj} \} \), \(i=1, 2,\ldots,n\), \(j=1,2,\ldots,m\).
- \((H_{6})\) :
-
\(-\alpha _{ii}\rho a_{ii}^{l}+ \sum_{k=1,k\neq i}^{n}\alpha _{kk}\rho ^{\frac{\alpha _{ki}}{\alpha _{kk}}}a_{ki}^{M} + \sum_{l=1}^{m}\hat{\beta }_{ll}\rho ^{\frac{\hat{\alpha }_{li}}{\hat{\beta }_{ll}}}\hat{a}_{li}^{M} +\sum_{k=1}^{n}\alpha _{kk}\rho ^{\frac{\gamma _{ki}}{\alpha _{kk}}}c_{ki}^{M} +\sum_{l=1}^{m}\hat{\beta }_{ll}\rho ^{\frac{\hat{\gamma }_{li}}{\hat{\beta }_{ll}}}\hat{c}_{li}^{M}<0\) and \(-\hat{\beta }_{jj}\rho \hat{b}_{jj}^{l} + \sum_{k=1}^{n}\alpha _{kk}\rho ^{\frac{\beta _{jk}}{\alpha _{kk}}}b_{jk}^{M} +\sum_{l=1,l\neq j}^{m}\hat{\beta }_{ll}\rho ^{\frac{\hat{\beta }_{jl}}{\hat{\beta }_{ll}}}\hat{b}_{jl}^{M} +\sum_{k=1}^{n}\alpha _{kk}\rho ^{\frac{\delta _{jk}}{\alpha _{kk}}}d_{jk}^{M} +\sum_{l=1}^{m}\hat{\beta }_{ll}\rho ^{\frac{\hat{\delta }_{jl}}{\hat{\beta }_{ll}}}\hat{d}_{jl}^{M}<0\), \(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\).
Making the change of variable \(y_{i}(t)=\frac{1}{\rho }x_{i}^{\alpha _{ii}}(t)\) (\(i=1,2,\ldots,n\)), \(y_{n+j}(t)=\frac{1}{\rho }x_{n+j}^{\hat{\beta }_{jj}}(t)\) (\(j=1,2,\ldots,m\)), then system (1.4) is transformed into
Obviously, \(\overline{y}(t)=(\overline{y}_{1}(t),\ldots,\overline{y}_{n}(t),\overline{y}_{n+1}(t),\ldots,\overline{y}_{n+m}(t))^{T}\) is the positive almost periodic solution of system (4.1), where \(\overline{y}_{i}(t)=\frac{1}{\rho }\overline{x}_{i}^{\alpha _{ii}}(t)\) (\(i=1,2,\ldots,n\)), \(\overline{y}_{n+j}(t)=\frac{1}{\rho }\overline{x}_{n+j}^{\hat{\beta }_{jj}}(t)\) (\(j=1,2,\ldots,m\)). From Theorem 3.1, we know that \(l_{h}^{-}\leq \overline{x}_{h}(t)< l_{h}^{+}\) (\(h=1,2,\ldots,n+m\)). Therefore,
Theorem 4.1
Assume that \((H_{1})\)–\((H_{6})\) hold. Then for system (1.4) there exists a unique positive almost periodic solution which is globally exponentially stable.
Proof
According to conditions \((H_{1})\)–\((H_{3})\), it follows from Theorem 3.1 that system (4.1) has a positive almost periodic solution \(\overline{y}(t)=(\overline{y}_{1}(t),\overline{y}_{2}(t),\ldots,\overline{y}_{n+m}(t))^{T}\). Let \(y(t)=(y_{1}(t),y_{2}(t),\ldots, y_{n+m}(t))^{T}\) be any positive solution of system (4.1). Now we construct a Lyapunov functional \(V(t)=V_{1}(t)+V_{2}(t)\), where
and
From the definition of \(V(t)\), we easily see that \(V(0)<+\infty \) and \(V(t)\geq V_{1}(t)\). Noticing that \(\operatorname{sgn}(\ln y_{h}(t)-\ln \overline{y}_{h}(t))=\operatorname{sgn}(y_{h}(t)-\overline{y}_{h}(t))\) (\(h=1,2,\ldots,n+m\)), we have
and
By the condition \((H_{4})\), we obtain
and
By \((H_{5})\), we have \(0<\frac{\alpha _{ik}}{\alpha _{ii}},\frac{\beta _{il}}{\alpha _{ii}},\frac{\gamma _{ik}}{\alpha _{ii}},\frac{\delta _{il}}{\alpha _{ii}}, \frac{\hat{\alpha }_{kj}}{\hat{\beta }_{jj}},\frac{\hat{\beta }_{lj}}{\hat{\beta }_{jj}},\frac{\hat{\gamma }_{kj}}{\hat{\beta }_{jj}}, \frac{\hat{\delta }_{lj}}{\hat{\beta }_{jj}}\leq 1\). Observe that \(g(x)=\vert a^{x}-b^{x}\vert \) is an increasing function for \(a\geq 1\) and \(x >0\). Therefore, according to (4.1) and (4.5)–(4.10), we derive
In addition, from the condition \((H_{6})\), there exists a positive constant κ such that
and
The above two inequalities together with (4.11) lead to
Integrating both sides of (4.12) with respect to t, we have
Equation (4.13) shows that
which implies that
(4.2) means that \(\overline{y}_{h}(t)\) (\(h=1,2,\ldots,n+m\)) is uniformly bounded from below and above, and so \(\ln \overline{y}_{h}(t)\) is bounded. From \(\vert \ln y_{h}(t)-\ln \overline{y}_{h}(t)\vert \leq V_{1}(t)\leq V(t)\leq V(0)\), we get
(4.16) and (4.2) show that \(y_{h}(t)\), \(\overline{y}_{h}(t)\), \(h=1,2,\ldots,n+m\) are uniformly bounded. This fact together with (4.1) lead to \(y'_{h}(t)\), \(\overline{y}'_{h}(t)\), \(h=1,2,\ldots,n+m\) are uniformly bounded on \([0,+\infty)\). Therefore \(\sum_{h=1}^{n+m}\vert y_{h}(s)-\overline{y}_{h}(s)\vert \) is uniformly continuous on \([0,+\infty)\). From (4.14) we know that \(\sum_{h=1}^{n+m}\vert y_{h}(s)-\overline{y}_{h}(s)\vert \) is integrable on \([0,+\infty)\). By Barbalat’s lemma (Lemma 1.2.2 and Lemma 1.2.3, [20]), we can conclude that
Thus, we have proved that the positive almost periodic solution \((\overline{y}_{1}(t),\overline{y}_{2}(t),\ldots,\overline{y}_{n+m}(t))^{T}\) of system (4.1) is globally attractive.
Next, we shall prove that the positive almost periodic solution \((\overline{y}_{1}(t),\overline{y}_{2}(t),\ldots,\overline{y}_{n+m}(t))^{T}\) of system (4.1) is globally exponentially stable. In fact, in the light of (4.2) and (4.17), we know that, for any \(\varepsilon >0\) (ε enough small), there exists \(T>0\) such that for \(t>T\)
and
By (4.18)–(4.19) and the mean value theorem of calculus, we have
and
where \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\), \(A_{h}\) (\(h=1,2,\ldots,n+m\)) lies between \(y_{h}(t)\) and \(\overline{y}_{h}(t)\). According to \((H_{6})\), there exists a constant \(\mu >0\) such that
and
Construct the Lyapunov functional \(W(t)=e^{\mu t}V_{1}(t)+V_{2}(t)\). Applying (4.11), (4.22) and (4.23), we have
Equation (4.24) means that
Similar to (4.18)–(4.21), we also have
and
Letting \(\varepsilon \rightarrow 0^{+}\) in the above two inequalities, we have
where \(M=e^{\mu T}V(0)\max_{1\leq i\leq n,1\leq j\leq m}\{\frac{1}{\rho }(l_{i}^{+})^{\alpha _{ii}}, \frac{1}{\rho }(l_{n+j}^{+})^{\hat{\beta }_{jj}}\}\). (4.27) indicates that the unique positive almost periodic solution \((\overline{y}_{1}(t),\overline{y}_{2}(t),\ldots,\overline{y}_{n+m}(t))^{T}\) of system (4.1) is globally exponentially stable.
Now let us to show that the unique positive almost periodic solution \((\overline{x}_{1}(t),\overline{x}_{2}(t),\ldots, \overline{x}_{n+m}(t))^{T}\) of system (1.4) is globally exponentially stable.
Indeed, by the mean value theorem of calculus and (4.18)–(4.19), we have
and
where \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\),
Letting \(\varepsilon \rightarrow 0^{+}\) in (4.28)–(4.29), and employing (4.27)–(4.29), we obtain
where \(M^{*}=M\max_{1\leq i\leq n,1\leq j\leq m} \{ \frac{N_{i}(0)}{\alpha _{ii}}\rho ^{\frac{1}{\alpha _{ii}}}, \frac{N_{n+j}(0)}{\hat{\beta }_{jj}}\rho ^{\frac{1}{\hat{\beta }_{jj}}} \} \). Thus, we have proved that the unique positive almost periodic solution \((\overline{x}_{1}(t),\overline{x}_{2}(t),\ldots,\overline{x}_{n+m}(t))^{T}\) of system (1.4) is globally exponentially stable. The proof of Theorem 4.1 is complete. □
5 Illustrative example
Consider the following two-layer Gilpin–Ayala predator–prey model with time delays:
where \(\alpha =\frac{3}{4}\), \(\beta =\frac{1}{2}\), \(\gamma =\frac{1}{3}\), \(\delta =\frac{1}{4}\), \(\hat{\alpha }=3\), \(\hat{\beta }=4\), \(\hat{\gamma }=\frac{3}{2}\), \(\hat{\delta }=1\), \(r(t)=10+\cos \sqrt{2} t\), \(\hat{r}(t)=\frac{2+\sin \sqrt{3}t}{20}\), \(a(t)=6+\sin \sqrt{2}t\), \(b(t)=\frac{2-\sin \sqrt{3}t}{10}\), \(c(t)=\frac{1+\vert \sin \sqrt{2}t\vert }{10}\), \(d(t)=\frac{2+\cos \sqrt{5}t}{10}\), \(\hat{a}(t)=\frac{3-\cos \sqrt{2}t}{5}\), \(\hat{b}(t)=\frac{7+\sin \sqrt{7}t}{2}\), \(\hat{c}(t)=\frac{1+2\vert \sin \sqrt{2} t\vert }{40}\), \(\hat{d}(t)=\frac{2+\cos \sqrt{3}t}{10}\) and
Obviously, \(r(t)\), \(\hat{r}(t)\), \(a(t)\), \(b(t)\), \(c(t)\), \(d(t)\), \(\hat{a}(t)\), \(\hat{b}(t)\), \(\hat{c}(t)\), \(\hat{d}(t)\), \(\tau (t)\), \(\sigma (t)\), \(\hat{\tau }(t)\) and \(\hat{\sigma }(t)\) are all positive almost periodic functions. By simple calculation, we have \(r^{M}=11\), \(r^{l}=9\), \(\hat{r}^{M}=\frac{3}{20}\), \(\hat{r}^{l}=\frac{1}{20}\), \(a^{M}=7\), \(a^{l}=5\), \(b^{M}=\frac{3}{10}\), \(b^{l}=\frac{1}{10}\), \(c^{M}=\frac{1}{5}\), \(c^{l}=\frac{1}{10}\), \(d^{M}=\frac{3}{10}\), \(d^{l}=\frac{1}{10}\), \(\hat{a}^{M}=\frac{4}{5}\), \(\hat{a}^{l}=\frac{2}{5}\), \(\hat{b}^{M}=4\), \(\hat{b}^{l}=3\), \(\hat{c}^{M}=\frac{3}{40}\), \(\hat{c}^{l}=\frac{1}{40}\), \(\hat{d}^{M}=\frac{3}{10}\), \(\hat{d}^{l}=\frac{1}{10}\) and
Thus, the assumptions \((H_{1})\)–\((H_{3})\) are satisfied. So we derive from Theorem 3.1 that system (5.1) has at least one positive almost periodic solution \((\overline{x}_{1}(t),\overline{x}_{2}(t))\) satisfying \(1.1951\leq \overline{x}_{1}(t)<2.8613\) and \(1.1303\leq \overline{x}_{2}(t)<1.590\).
In addition, obviously, \(0<1-\tau '(t)=1-\frac{\sqrt{2}\vert \cos \sqrt{2}t\vert }{4}<1\), \(0<1-\sigma '(t)=1-\frac{\sqrt{3}\vert \cos \sqrt{3}t\vert }{3}<1\), \(0<1-\hat{\tau }'(t)=1-\frac{\sqrt{2}\vert \sin \sqrt{2}t\vert }{3}<1\), \(0<1-\hat{\sigma }'(t)=1-\frac{\sqrt{3}\vert \sin \sqrt{3}t\vert }{4}<1\), \(\alpha =\frac{3}{4}>\max \{\beta,\gamma,\delta \}=\max \{\frac{1}{2},\frac{1}{3},\frac{1}{4}\}=\frac{1}{2}\), \(\hat{\beta }=4>\max \{\hat{\alpha },\hat{\gamma },\hat{\delta }\}=\max \{3,\frac{3}{2},1\}=3\). Take \(\rho =1<\min \{l_{1}^{-},l_{2}^{-}\}\thickapprox 1.1303\), we have
Thus we verify that \((H_{4})\)–\((H_{6})\) hold. Therefore, according to Theorem 4.1, we conclude that the unique positive almost periodic solution \((\overline{x}_{1}(t),\overline{x}_{2}(t))\) of system (5.1) is globally exponentially stable.
6 Conclusions
Compared with the Lotka–Volterra models, the Gilpin–Ayala models are more advantageous because the rate of change in the size of each species is a nonlinear function of the sizes of the interacting species in the Gilpin–Ayala models and the rate of change in the size of each species is a linear function of the sizes of the interacting species the Lotka–Volterra models. It is more precise to describe some ecosystems by the Gilpin–Ayala models than by the Lotka–Volterra models. Therefore, we mainly study a class of two-layer Gilpin–Ayala predator–prey model with time delays in this paper. By means of Mawhin’s continuation theorem of coincidence degree theory, we obtain some new sufficient conditions of the existence of positive almost periodic solutions. We also obtain the global exponential stability of the positive almost periodic solution for this system by constructing appropriate Lyapunov functionals and smart transformations. Our results provide a theoretical basis for the detection and artificial control of some ecological systems with periodic or almost periodic phenomena.
References
Ayala, F., Gilpin, M., Eherenfeld, J.: Competition between species: theoretical models and experimental tests. Theor. Popul. Biol. 4, 331–356 (1973)
Gilpin, M., Ayala, F.: Global models of growth and competition. Proc. Natl. Acad. Sci. USA 70, 3590–3593 (1973)
Chen, L.: Mathematical Models and Methods in Ecology. Science Press, Beijing (1988) (in Chinese)
Chen, F., Chen, Y., Guo, S., Zhong, L.: Global attractivity of a generalized Lotka–Volterra competition model. Differ. Equ. Dyn. Syst. 18(3), 303–315 (2010)
Li, C., Lu, S.: The qualitative analysis of N-species periodic coefficient, nonlinear relation, prey-competition systems. Appl. Math. J. Chin. Univ. Ser. A 12, 147–156 (1997)
Chen, F.: Some new results on the permanence and extinction of nonautonomous Gilpin–Ayala type competition model with delays. Nonlinear Anal., Real World Appl. 7(5), 1205–1222 (2006)
He, M., Li, Z., Chen, F.: Permanence, extinction and global attractivity of the periodic Gilpin–Ayala competition system with impulses. Nonlinear Anal., Real World Appl. 11, 1537–1551 (2010)
Wang, D.: Dynamic behaviors of an obligate Gilpin–Ayala system. Adv. Differ. Equ. 2016, 270 (2016)
Lu, H., Yu, G.: Permanence of a Gilpin–Ayala predator–prey system with time-dependent delay. Adv. Differ. Equ. 2015, 109 (2015).
Lian, B., Hu, S.: Asymptotic behaviour of the stochastic Gilpin–Ayala competition models. J. Math. Anal. Appl. 339, 419–428 (2008)
Ai, X., Sun, Y.: An optimal stopping problem in the stochastic Gilpin–Ayala population model. Adv. Differ. Equ. 2012, 210 (2012)
Fang, H.: Multiple positive periodic solutions for a food-limited two-species Gilpin–Ayala competition patch system with periodic harvesting terms. J. Inequal. Appl. 2012, 291 (2012)
Fang, H., Wang, Y.: Four periodic solutions for a food-limited two-species Gilpin–Ayala type predator–prey system with harvesting terms on time scales. Adv. Differ. Equ. 2013, 278 (2013)
Zhang, S., Meng, X., Feng, T., Zhang, T.: Dynamics analysis and numerical simulations of a stochastic non-autonomous predator–prey system with impulsive effects. Nonlinear Anal. Hybrid Syst. 26, 19–37 (2017)
Liu, G., Wang, X., Meng, X., Gao, S.: Extinction and persistence in mean of a novel delay impulsive stochastic infected predator–prey system with jumps. Complexity 2017, Article ID 1950970 (2017)
Liu, L., Meng, X.: Optimal harvesting control and dynamics of two species stochastic model with delays. Adv. Differ. Equ. 2017, 18 (2017)
He, C.: Almost Periodic Differential Equations. Higher Education Publishing House, Beijing (1992) (in Chinese)
Li, Y., Ye, Y.: Multiple positive almost periodic solutions to an impulsive non-autonomous Lotka–Volterra predator–prey system with harvesting terms. Commun. Nonlinear Sci. Numer. Simul. 18, 3190–3201 (2013)
Gaines, R., Mawhin, J.: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin (1977)
Gopalsamy, K.: Stability and Oscillations in Delay Differential Equations of Population Dynamics. Kluwer Academic, Dordrecht (1992)
Acknowledgements
The author would like to thank the anonymous referees for their useful and valuable suggestions. This work was supported by the National Natural Sciences Foundation of Peoples Republic of China under Grant (No. 11161025; No. 11661047).
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares to have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Cite this article
Zhao, K. Global exponential stability of positive almost periodic solutions for a class of two-layer Gilpin–Ayala predator–prey model with time delays. Adv Differ Equ 2018, 129 (2018). https://doi.org/10.1186/s13662-018-1584-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1584-0