- Research
- Open Access
- Published:
Existence of positive periodic solutions for the impulsive Lotka–Volterra cooperative population model with time-delay and harvesting control on time scales
Advances in Difference Equations volume 2018, Article number: 228 (2018)
Abstract
In this paper, we consider a class of impulsive Lotka–Volterra cooperative population models with time delay and harvesting control on time scales. Using the fixed point theorem of strict-set-contraction, we analyze the existence conditions of positive periodic solutions for this model. As applications, we analyze the existence conditions of positive periodic solutions for some common Lotka–Volterra systems on time scales.
1 Introduction
It is well known that the application of theories of functional differential equations in mathematical ecology or biology has developed rapidly and effectively. The Lotka–Volterra ecological population model proposed by Lotka [1] and Volterra [2] is one of the most famous and important population dynamics models described by functional differential equations. Owing to their theoretical and practical significance, Lotka–Volterra systems have been studied extensively [3–19]. To protect the balanced development or sustainable economic benefits of various species in the ecosystem, a number of artificial controls have been applied to the ecosystem. This needs to consider the influence of artificial control in the ecological mathematical model. For example, we add the control harvest rate \(h_{i}(t)\) \((i=1,2,\ldots)\) to our model (1.1). However, dynamics in each equally spaced time interval may vary continuously. So it may be more realistic to assume that the population dynamics involves the hybrid discrete-continuous processes. For example, Gamarra and Solé [20] pointed out that such hybrid processes appear in the population dynamics of certain species that feature nonoverlapping generations: the change in population from one generation to the next is discrete and so is modeled by a difference equation, whereas within-generation dynamics varies continuously (due to mortality rates, resource consumption, predation, interaction, etc.) and thus is described by a differential equation. However, it is often difficult to study discrete and continuous differential systems in a unified way. Fortunately, the theory of calculus on time scales (see [21, 22] and references therein) proposed by Hilger in his Ph.D. thesis [23] can unify continuous and discrete analysis, and it has become an effective approach to the study of mathematical models involving hybrid discrete-continuous processes. There are many achievements in the study of hybrid discrete-continuous mathematical models (see [24–32]).
Motivated by the preceding, in this paper, we deal with the impulsive Lotka–Volterra cooperative population model with time delay and harvesting control on time scales of the form
where \(i=1,2,\ldots,n\), \(u=(u_{1},u_{2},\ldots,u_{n})\), \(\mathbb{T}\) is an ω-periodic time scale satisfying \(s\pm t\in\mathbb{T}\) for all \(s, t\in\mathbb{T}\), \(\omega>0\) is a constant,
and
For each interval I of \(\mathbb{R}\), we denote by \(I_{\mathbb{T}}=I\cap\mathbb{T}\); \(u_{i}(t_{k}^{+})\) and \(u_{i}(t_{k}^{-})\) represent the right and left limits at \(t_{k}\) in the sense of time scales, respectively; in addition, if \(t_{k}\) is right-scattered, then \(u_{i}(t_{k}^{+})=u_{i}(t_{k})\), whereas if \(t_{k}\) is left-scattered, then \(u_{i}(t_{k}^{-})=u_{i}(t_{k})\). We assume that: \(h_{i}(t)>r_{i}(t)\), \(r_{i}\), \(h_{i}\in C_{\mathrm{rd}}(\mathbb{T},(0,\infty))\) and \(\tau_{ij}\in C_{\mathrm{rd}}(\mathbb{T},(0,\infty)_{\mathbb{T}})\) \((j=1,2,\ldots,n)\) are ω-periodic functions; \(F_{i}\), \(G_{i}\in C_{\mathrm{rd}}(\mathbb{T}\times\mathbb{R}^{n},\mathbb{R})\) \((i=1,2,\ldots,n)\) are ω-periodic with respect to their first arguments, respectively; \(K_{ij}\in C_{\mathrm{rd}}((-\infty,0]_{\mathbb{T}},(0,\infty))\) with \(\int_{-\infty}^{0}K_{ij}(s)\Delta s=1\); \(I_{ik}\in C([0,\infty)^{n}, [0,\infty))\) and there exists a positive integer p such that \(t_{k+p}=t_{k}+\omega\) and \(I_{i, k+p}=I_{ik}\) for \(k\in\mathbb{Z}\). Without loss of generality, we also assume that \([0,\omega)_{\mathbb{T}}\cap\{t_{k}: k\in\mathbb{Z}\}=\{ t_{1},t_{2},\ldots,t_{p}\}\).
To maintain the vitality and economic benefits of the ecosystem, we always assume that the rate of controlled harvesting for each species is greater than the birth rate of the species, namely, \(h_{i}(t)>r_{i}(t)\) \((i=1,2,\ldots,n)\) in the whole paper. Therefore, throughout this paper, we assume that
- \((H_{1})\) :
-
the ω-periodic time scale \(\mathbb{T}\) satisfies \(s\pm t\in\mathbb{T}\) for all \(s, t\in\mathbb{T}\);
- \((H_{2})\) :
-
\(r_{i}(t)< h_{i}(t)\) for all \(t\in\mathbb{T}\), \(i=1,2,\ldots,n\);
- \((H_{3})\) :
-
\(\sup_{t\in[0,\omega]_{\mathbb{T}}}\{\mu (t)[h_{i}(t)-r_{i}(t)]\}<1\), \(i=1,2,\ldots,n\).
System (1.1) contain some mathematical population models of differential equations and difference equations. For example, if the time scale \(\mathbb{T}=\mathbb{R}\), then system (1.1) is changed into the following continuous system:
where \(i=1,2,\ldots,n\), \(u=(u_{1},u_{2},\ldots,u_{n})\),
\(u_{i}(t_{k}^{+})\) and \(u_{i}(t_{k}^{-})\) are the right and left limits at \(t_{k}\), respectively, \(u_{i}(t_{k}^{-})=u_{i}(t_{k})\), \(h_{i}(t)>r_{i}(t)\), \(r_{i}\), \(h_{i}\in C(\mathbb{R},(0,\infty))\) and \(\tau_{ij}\in C(\mathbb{R},\mathbb{R})\) \((j=1,2,\ldots,n)\) are ω-periodic functions;uyj 018\(F_{i}\), \(G_{i}\in C(\mathbb{R}\times\mathbb{R}^{n},\mathbb{R})\) \((i=1,2,\ldots,n)\) are ω-periodic with respect to their first arguments, respectively, \(K_{ij}\in C((-\infty,0],(0,\infty))\) with \(\int_{-\infty}^{0}K_{ij}(s)\,ds=1\), \(I_{ik}\in C([0,\infty)^{n}, [0,\infty))\), there exists a positive integer p such that \(t_{k+p}=t_{k}+\omega\) and \(I_{i, k+p}=I_{ik}\) for all \(k\in\mathbb{Z}\). Without loss of generality, we also assume that \([0,\omega)\cap\{t_{k}: k\in\mathbb{Z}\}=\{t_{1},t_{2},\ldots,t_{p}\}\).
If the time scale \(\mathbb{T}=\mathbb{Z}\), system (1.1) is changed into the following difference system:
where \(t\in\mathbb{Z}\), \(\Delta u_{i}(t)=u_{i}(t+1)-u_{i}(t)\), \(i=1,2,\ldots,n\), \(u=(u_{1},u_{2},\ldots,u_{n})\),
\(u_{i}(t_{k}^{+})\) and \(u_{i}(t_{k}^{-})\) are the right and left limits at \(t_{k}\), respectively, \(u_{i}(t_{k}^{-})=u_{i}(t_{k})\), \(h_{i}(t)>r_{i}(t)\), \(r_{i}\), \(h_{i}\in C(\mathbb{Z},(0,\infty))\) and \(\tau_{ij}\in C(\mathbb{Z},\mathbb{Z})\) \((j=1,2,\ldots,n)\) are ω-periodic functions, \(F_{i}\), \(G_{i}\in C(\mathbb{Z}\times\mathbb{R}^{n},\mathbb{R})\) \((i=1,2,\ldots,n)\) are ω-periodic with respect to their first arguments, respectively, \(K_{ij}\in C((-\infty,0]\cap\mathbb{Z},(0,\infty))\) with \(\sum_{s=-\infty}^{0}K_{ij}(s)=1\), and \(I_{ik}\in C([0,\infty)^{n}, [0,\infty))\), and there exists a positive integer p such that \(t_{k+p}=t_{k}+\omega\) and \(I_{i, k+p}=I_{ik}\) for all \(k\in\mathbb{Z}\). Without loss of generality, we also assume that \([0,\omega)\cap\{t_{k}: k\in\mathbb{Z}\}=\{t_{1},t_{2},\ldots,t_{p}\}\).
To the best our knowledge, few papers have been published on the existence of positive periodic solutions of system (1.1). Our main purpose of this paper is by using a fixed point theorem of strict-set-contraction to establish some sufficient conditions to guarantee the existence of positive periodic solutions of system (1.1) on time scales.
2 Preliminaries on time scales
In this section, we briefly recall some basic definitions and lemmas on time scales. For more detail, we refer to [21–23].
Let \(\mathbb{T}\) be a nonempty closed subset (time scale) of \(\mathbb{R}\). The forward and backward jump operators \(\sigma, \rho:\mathbb{T}\rightarrow\mathbb{T}\) and the graininess \(\mu:\mathbb{T}\rightarrow\mathbb{R}^{+}\) are defined, respectively, by
A point \(t\in\mathbb{T}\) is called left-dense if \(t>\inf\mathbb{T}\) and \(\rho(t)=t\), left-scattered if \(\rho(t)< t\), right-dense if \(t<\sup\mathbb{T}\) and \(\sigma(t)=t\), and right-scattered if \(\sigma(t)>t\). If \(\mathbb{T}\) has a left-scattered maximum m, then \(\mathbb{T}^{k}=\mathbb{T}\setminus\{m\}\); otherwise, \(\mathbb{T}^{k}=\mathbb{T}\). If \(\mathbb{T}\) has a right-scattered minimum m, then \(\mathbb{T}_{k}=\mathbb{T}\setminus\{m\}\); otherwise, \(\mathbb{T}^{k}=\mathbb{T}\).
Let \(\omega>0\). Throughout this paper, we assume that the time scale \(\mathbb{T}\) is ω-periodic, that is, \(t\in\mathbb{T}\) implies \(t+\omega\in\mathbb{T}\) and \(\mu(t+\omega)=\mu(t)\). In particular, the time scale \(\mathbb{T}\) under consideration is unbounded above and below.
Definition 2.1
A function \(f:\mathbb{T}\rightarrow\mathbb{R}\) is called \(regulated\) if its right-side limits exist (finite) at all right-side points in \(\mathbb{T}\) and its left-side limits exist (finite) at all left-side points in \(\mathbb{T}\).
Definition 2.2
A function \(f:\mathbb{T}\rightarrow\mathbb{R}\) is called rd-continuous if it is continuous at right-dense points in \(\mathbb{T}\) and its left-side limits exist (finite) at left-dense points in \(\mathbb{T}\). The set of rd-continuous functions \(f:\mathbb{T}\rightarrow\mathbb{R}\) will be denoted by \(C_{\mathrm {rd}}=C_{\mathrm {rd}}(\mathbb{T})=C_{\mathrm {rd}}(\mathbb{T},\mathbb{R})\).
Definition 2.3
Let \(f:\mathbb{T}\rightarrow\mathbb{R}\) and \(t\in\mathbb{T}^{k}\). Then we define \(f^{\Delta}(t)\) to be the number (if it exists) such that, for all \(\varepsilon>0\), there exists a neighborhood U of t (i.e., \(U=(t-\delta,t+\delta)\cap\mathbb{T}\) for some \(\delta>0\)) such that
for all \(s\in U\). We call \(f^{\Delta}(t)\) the delta (or Hilger) derivative of f at t. The set of differentiable functions \(f:\mathbb{T}\rightarrow\mathbb{R}\) with rd-continuous derivatives is denoted by \(C_{\mathrm {rd}}^{1}=C_{\mathrm {rd}}^{1}(\mathbb{T})=C_{\mathrm {rd}}^{1}(\mathbb {T},\mathbb{R})\).
If f is continuous, then f is rd-continuous. If f is rd-continuous, the f is regulated. If f is delta differentiable at t, then f is continuous at t.
Lemma 2.1
Let f be regulated. Then there exists a function F which is delta differentiable with region of differentiation D such that
Definition 2.4
Let \(f:\mathbb{T}\rightarrow\mathbb{R}\) be a regulated function. Any function F as in Lemma 2.1 is called a Δ-antiderivative of f. We define the indefinite integral of a regulated function f by
where C is an arbitrary constant, and F is a Δ-antiderivative of f. We define the Cauchy integral by
A function \(F:\mathbb{T}\rightarrow\mathbb{R}\) is called an antiderivative of \(f:\mathbb{T}\rightarrow\mathbb{R}\) if
Lemma 2.2
If \(a,b\in\mathbb{T}\), \(\alpha,\beta\in\mathbb{R}\), and \(f,g\in C(\mathbb{T},\mathbb{R})\), then we have:
-
(i)
\(\int_{a}^{b}[\alpha f(t)+\beta g(t)]\Delta t=\alpha\int_{a}^{b} f(t)\Delta t+\beta\int_{a}^{b} g(t)\Delta t\);
-
(ii)
if \(f(t)\geq0\) for all \(a\leq t< b\), then \(\int_{a}^{b} f(t)\Delta t\geq0\);
-
(iii)
if \(|f(t)|\leq g(t)\) on \([a,b):=\{t\in \mathbb{T}:a\leq t< b\}\), then \(|\int_{a}^{b} f(t)\Delta t|\leq\int_{a}^{b}g(t)\Delta t\).
Definition 2.5
([33])
A time scale \(\mathbb{T}\) is called periodic if there exists \(p>0\) such that if \(t\in\mathbb{T}\), then \(t\pm p\in\mathbb{T}\). For \(\mathbb{T}\neq\mathbb{R}\), the smallest positive p is called the period of the time scale \(\mathbb{T}\).
Definition 2.6
([33])
Let \(\mathbb{T}\neq\mathbb{R}\) be a periodic time scale with period \(p>0\). The function \(f:\mathbb{T}\rightarrow\mathbb{R}\) is called periodic with period ω if there exists a natural number n such that \(\omega=np\), \(f(t+\omega)=f(t)\) for all \(t\in\mathbb{T}\), and ω is the smallest number such that \(f(t+\omega)=f(t)\).
If \(\mathbb{T}=\mathbb{R}\), then we say that f is periodic with period \(\omega>0\) if ω is the smallest positive number such that \(f(t+\omega)=f(t)\) for all \(t\in\mathbb{R}\).
A function \(p: \mathbb{T}\rightarrow\mathbb{R}\) is called regressive if \(1+\mu(t)p(t)\neq0\) for all \(t\in\mathbb{T}^{k}\). The set of all regressive rd-continuous functions \(f:\mathbb{T}\rightarrow\mathbb{R}\) is denoted by \(\mathcal {R}=\mathcal{R}(\mathbb{T})=\mathcal{R}(\mathbb{T},\mathbb{R})\). We define the set \(\mathcal{R}^{+}\) of all positively regressive elements of \(\mathcal{R}\) by \(\mathcal{R}^{+}=\mathcal{R}^{+}(\mathbb{T},\mathbb{R})=\{p\in\mathcal {R}:1+\mu(t)p(t)>0\text{ for all }t\in\mathbb{T}\}\). If p is a regressive function, then the generalized exponential function \(e_{p}\) is defined by \(e_{p}(t,s)=\exp \{\int_{s}^{t}\xi_{\mu(\tau)}(p(\tau))\Delta\tau \}\) for \(s,t\in\mathbb{T}\), with the cylinder transformation
For two regressive functions \(p, q:\mathbb{T}\rightarrow\mathbb{R}\), we define
The generalized exponential function has the following properties.
Lemma 2.3
([21])
Let \(p, q:\mathbb{T}\rightarrow \mathbb{R}\) be two regressive functions. Then
-
(1)
\(e_{0}(t,s)\equiv1\) and \(e_{p}(t,t)\equiv1\);
-
(2)
\(e_{p}(\sigma(t),s)=(1+\mu(t)p(t))e_{p}(t,s)\);
-
(3)
\(\frac{1}{e_{p}(t,s)}=e_{\ominus p}(t,s)\);
-
(4)
\(e_{p}(t,s)=\frac{1}{e_{p}(s,t)}=e_{\ominus p}(s,t)\);
-
(5)
\(e_{p}(t,s)e_{p}(s,r)=e_{p}(t,r)\);
-
(6)
\(e_{p}(t,s)e_{q}(t,s)=e_{p\oplus q}(t,s)\);
-
(7)
\(\frac{e_{p}(t,s)}{e_{q}(t,s)}=e_{p\ominus q}(t,s)\);
-
(8)
\([e_{p}(t,s)]^{\Delta}=p(t)e_{p}(t,s)\);
-
(9)
\([e_{p}(c,\cdot)]^{\Delta}=-p[e_{p}(c,\cdot )]^{\sigma}\) for \(c\in\mathbb{T}\);
-
(10)
\(\frac{d}{dz}[e_{z}(t,s)]= (\int_{s}^{t}\frac{1}{1+\mu(\tau)z}\Delta \tau )e_{z}(t,s)\).
For convenience, we now introduce some notation:
where \(i=1,2,\ldots,n\), and f is an rd-continuous ω-periodic function.
Lemma 2.4
([21])
Let \(r:\mathbb{T}\rightarrow\mathbb{R}\) be right-dense continuous and regressive. For \(a\in\mathbb{T}\) and \(y_{a}\in\mathbb{R}\), the unique solution of the initial value problem
is given by
The existence of periodic solutions of system (1.1) is equivalent to the existence of periodic solutions of the corresponding integral system. So the following lemma is important in our discussion.
Lemma 2.5
A function \(u(t)=(u_{1}(t),u_{2}(t),\ldots,u_{n}(t))^{T}\) is an ω-periodic solution of (1.1) if and only if \(u(t)\) is an ω-periodic solution of the integral system
where
Proof
If \(u(t)\) is an ω-periodic solution of (1.1), then for all \(t\in\mathbb{T}\), there exists \(k\in\mathbb{N}^{+}\) such that \(t_{k}\) is the first impulsive point after t. Applying Lemma 2.4 and equation (1.1), for \(s\in[t,t_{k}]_{\mathbb{T}}\), we have
and thus
Again using Lemma 2.4, for \(s\in(t_{k},t_{k+1}]_{\mathbb{T}}\), we have
Thus, for \(s\in[t,t_{k+1}]_{\mathbb{T}}\), we get
Repeating this process for \(s\in[t,t+\omega]_{\mathbb{T}}\), we obtain
Let \(s=t+\omega\) in this equality and notice that \(u_{i}(t)=u_{i}(t+\omega)\), \(e_{(r_{i}-h_{i})}(t,t+\omega)=e_{(r_{i}-h_{i})}(0,\omega)\), \(e_{(r_{i}-h_{i})}(t+\omega,\sigma(\tau))=e_{(r_{i}-h_{i})}(t,\sigma(\tau ))e_{(r_{i}-h_{i})}(t+\omega,t)\), \(e_{(r_{i}-h_{i})}(t,t_{k})=e_{(r_{i}-h_{i})}(t,\sigma(t_{k}))\) \(e_{(r_{i}-h_{i})}\times (\sigma(t_{k}),t_{k})\), and \(e_{(r_{i}-h_{i})}(t,t+\omega)e_{(r_{i}-h_{i})}(t+\omega,t)=1\), we have
which implies that
Thus, we conclude that \(u(t)\) satisfies (2.1).
Let \(u(t)\) be an ω-periodic solution of (2.1). Noting that the above reduction is completely reversible, we see that \(x(t)\) is also an ω-periodic solution of (1.1). This completes the proof of Lemma 2.5. □
Lemma 2.6
If conditions \((H_{1})\)–\((H_{3})\) hold, then \(H_{i}(t,s)\) \((i=1,2,\ldots,n)\) defined by (2.2) satisfy the following:
-
(1)
\(\frac{1}{\sigma_{i}-1}\leq H_{i}(t,s)\leq\frac{\sigma _{i}}{\sigma_{i}-1}\), \(\forall s\in[t,t+\omega]_{\mathbb{T}}\), where \(\sigma_{i}=e_{(r_{i}-h_{i})}(0,\omega)\), \(i=1,2,\ldots,n\);
-
(2)
\(H_{i}(t+\omega,s+\omega)=H_{i}(t,s),i=1,2,\ldots,n\).
Proof
According to conditions \((H_{1})\)–\((H_{3})\), since \(\mu(t)=\sigma(t)-t\geq0\) and \(r_{i}(t)-h_{i}(t)<0\), we have \(0<1+\mu(t)[r_{i}(t)-h_{i}(t)]<1\). In addition, by the definition of the generalized exponential function we get \(\sigma_{i}=e_{(r_{i}-h_{i})}(0,\omega)>1, i=1,2,\ldots,n\). Noticing that \(t\leq s\leq\sigma(s)\leq t+\omega\), we have
Thus, assertion \((1)\) holds. Now we show that the assertion \((2)\) also holds. In fact, since \(\sigma(t+\omega)=\sigma(t)+\omega\), by integration by substitution we have
The proof of Lemma 2.6 is complete. □
To obtain the existence of a periodic solution of system (2.1), we need the some preparations. Let X be a real Banach space, and let K be a closed nonempty subset of X. Then K is a cone if
-
(i)
\(k\alpha+l\beta\in K\) for all \(\alpha,\beta \in K\) and \(k,l\geq0\);
-
(ii)
\(\alpha,-\alpha\in K\) imply \(\alpha=\theta\), where θ is the zero element of X.
Let E be a Banach space, and let K be a cone in E. The semiorder induced by the cone K is denoted by ≤, that is, \(x\leq y\) if and only if \(y-x\in K\). In addition, for a bounded subset \(A\subset E\), let \(\alpha_{E}(A)\) denote the (Kuratowski) measure of noncompactness, namely
where \(\operatorname{diam}(A_{i})\) denotes the diameter of a set \(A_{i}\).
Let \(E,F\) be two Banach spaces and \(D\subset E\). A continuous bounded map \(\Phi: \overline{D}\rightarrow F\) is called k-set-contractive if for any bounded set \(S\subset D\), we have
The map Φ is called strict-set-contractive if it is k-set-contractive for some \(0\leq k<1\). Particularly, completely continuous operators are 0-set-contractive.
The following lemma is useful for the proof of our main results.
Lemma 2.7
Let K be a cone in the real Banach space X, and let \(K_{r,R}=\{u\in K:r\leq\|u\|\leq R\}\) with \(R>r>0\). Suppose that \(\Phi:K_{r,R}\rightarrow K\) is strict-set-contractive such that one of the following two conditions is satisfied:
-
(i)
\(\Phi u\nleq u, \forall u\in K, \|u\|=r\) and \(\Phi u\ngeq u, \forall u\in K, \|u\|=R\).
-
(ii)
\(\Phi u\ngeq u, \forall u\in K, \|u\|=r\) and \(\Phi u\nleq u, \forall u\in K, \|u\|=R\).
Then Φ has at least one fixed point in \(K_{r,R}\).
Define
Set
be equipped with the norm \(\|u\|=\sum_{i=1}^{n}|u_{i}|_{0}\), where \(|u_{i}|_{0}=\sup_{t\in[0,\omega]_{\mathbb{T}}}|u_{i}(t)|\), \(i=1,2,\ldots,n\). Then X is a Banach space. In view of Lemma 2.6, we define the cone K in X as
Let the map Φ be defined by
where \(x\in K, t\in\mathbb{T}\),
and \(H_{i}(t,s)\) \((i=1,2,\ldots,n)\) are defined by (2.2).
Lemma 2.8
Assume that \((H_{1})\)–\((H_{3})\) hold. Then \(\Phi: K\rightarrow K\) defined by (2.3) is well defined, that is, \(\Phi(K)\subset K\).
Proof
It is clear that \(\Phi u\in PC(\mathbb{T})\) for all \(u\in K\). In view of Lemma 2.6 and (2.3), we obtain
that is, \((\Phi_{i} u)(t+\omega)=(\Phi_{i} u)(t),\forall t\in\mathbb{T},i=1,2,\ldots,n\). So \(\Phi u\in X\). For any \(u\in K\), we have
and
So \(\Phi u\in K\). This completes the proof of Lemma 2.8. □
Lemma 2.9
Assume that \((H_{1})\)–\((H_{2})\) hold. Then \(\Phi: K\rightarrow K\) defined by (2.3) is completely continuous.
Proof
It is easy to see that Φ is continuous and bounded. Now we let us show that Φ maps bounded sets into relatively compact sets. Let \(\Omega\subset K\) be an arbitrary open bounded set in K. Then there exists \(R>0\) such that \(\|u\|< R\) for any \(u=(u_{1},u_{2},\ldots,u_{n})^{T}\in\Omega\). We prove that \(\overline{\Phi(\Omega)}\) is compact. In fact, for any \(u\in\Omega\) and \(t\in[0,\omega]_{\mathbb{T}}\), we have
and
Hence \(\|(\Phi u)\|\leq\sum_{i=1}^{n}A_{i}\) and \(\|(\Phi u)^{\Delta}\|\leq\sum_{i=1}^{n}B_{i}\). It follows from Lemma 2.4 in [36] that \(\Phi(\bar{\Omega})\) is relatively compact in X. The proof of Lemma 2.9 is complete. □
3 Main results
In this section, we give our main results.
Theorem 3.1
Assume that
- \((H_{4})\) :
-
\(\max_{1\leq i\leq n} \{\frac{\gamma_{i}\sigma_{i}^{2}}{\sigma_{i}-1} \}<1\) and
- \((H_{5})\) :
-
\(F_{i}^{0}<\infty\), \(G_{i}^{0}<\infty\), \(F_{i}^{\infty}>0\), \(G_{i}^{\infty}>0\), \(i=1,2,\ldots,n\).
If \((H_{1})\)–\((H_{5})\) hold, then system (1.1) has at least one ω-periodic solution.
Proof
By assumptions \((H_{4})\) and \((H_{5})\) there exists \(\delta>0\) such that \(\max_{1\leq i\leq n} \{\frac{\gamma_{i}\sigma_{i}^{2}}{\sigma_{i}-1} \}+\delta<1\) and for any \(0<\epsilon<\frac{1}{2}\min \{1, \min_{1\leq i\leq n} \{F_{i}^{\infty}+G_{i}^{\infty} \} \}\), there exist two positive numbers \(r_{0}< R_{0}\) such that, for \(i = 1,2,\ldots, n, j = 1,2,\ldots,m\),
Take
and
Then we have \(0< r< R\). It follows from Lemmas 2.8 and 2.9 that Φ is strict-set-contractive on \(K_{r,R}\). By Lemma 2.5 it is easy to see that if there exists \(u^{*}\in K\) such that \(\Phi u^{*}=u^{*}\), then \(u^{*}\) is a positive ω-periodic solution of system (1.1). Now, we will prove that condition (ii) of Lemma 2.7 holds.
First, we prove that \(\Phi u\ngeq u,\forall u\in K,\|u\|=r\). Otherwise, there exists \(u\in K, \|u\|=r\), such that \(\Phi u\neq u\). So, \(\|u\|>0\) and \(\Phi u-u\in K\), which implies that
Moreover, for \(t\in[0,\omega]_{\mathbb{T}}\), we have
From (3.1)–(3.2) and the arbitrariness of ϵ we get
which is a contradiction. Next, we prove that \(\Phi u\nleq u, \forall u\in K, \|u\|=R\). Indeed, we only need to prove that \(\Phi u\nless u, \forall u\in K, \|u\|=R\). For contradiction, suppose that there exists \(u\in K\) with \(\|u\|=R\) such that \(\Phi u< u\). Thus \(u-\Phi u\in K\setminus\{\theta=(0,0,\ldots,0)^{T}\}\). Furthermore, for any \(t\in[0,\omega]_{\mathbb{T}}\), we have
Since \(u\in K\) and \(\|u\|=R\), for all \(s\in[0,\omega]_{\mathbb{T}}\), we find
and
In addition, for any \(t\in[0,\omega]_{\mathbb{T}}\), we have
It follows from (3.3) and (3.4) that
From (3.3)–(3.5) we obtain \(\|u\|>\|\Phi u\|\geq R\), a contradiction. Therefore, condition (ii) of Lemma 2.7 holds. By Lemma 2.7 we see that Φ has at least one nonzero fixed point in \(K_{r,R}\). Therefore, system (1.1) has at least one positive ω-periodic solution. The proof of Theorem 3.1 is complete. □
Similarly to the proof of Theorem 3.1, we can show that the existence of positive ω-periodic solutions for the impulsive system without infinite distributed time delays or with pure infinite distributed delays on time scales.
Theorem 3.2
In system (1.1), assume that \(G_{i}(t,\cdot,\cdot)\equiv0\), \(F_{i}^{0}<\infty\), \(F_{i}^{\infty}>0\) \((i=1,\ldots,n)\), and \((H_{1})\)–\((H_{4})\) hold. Then system (1.1) has at least one positive ω-periodic solution.
Theorem 3.3
In system (1.1), assume that \(F_{i}(t,\cdot,\cdot)\equiv0\), \(G_{i}^{0}<\infty\), \(G_{i}^{\infty}>0\) \((i=1,\ldots,n)\), and \((H_{1})\)–\((H_{4})\) hold. Then system (1.1) has at least one positive ω-periodic solution.
In system (1.1), if \(I_{ik}\equiv0\) \((i=1,2,\ldots,n)\), then system (1.1) changes into the following nonimpulsive system:
where \(\mathbb{T}\), \(r_{i}, h_{i}, F_{i}, G_{i}\) \((i=1,2,\ldots,n)\) are the same as in system (1.1). We have the following:
Theorem 3.4
Assume that \(F_{i}^{0}<\infty\), \(G_{i}^{\infty}>0\) \((i=1,\ldots,n)\), and \((H_{1})\)–\((H_{3})\) hold. Then system (3.6) has at least one positive ω-periodic solution.
Proof
Let \(X=\{u:u\in C_{\mathrm {rd}}(\mathbb{T},\mathbb{R}^{n}),u(t+\omega)=u(t),t\in\mathbb {T}\}\) with the norm \(\|u\|=\sum_{i=1}^{n}|u_{i}|_{0}\), where \(|u_{i}|_{0}=\sup_{t\in[0,\omega]_{\mathbb{T}}}|u_{i}(t)|\), \(i=1,2,\ldots ,n\). Then X is a Banach space. Define the cone K in X by
and the map Φ by
where \(u\in K, t\in\mathbb{T}\),
and \(H_{i}(t,s)\) \((i=1,2,\ldots,n)\) are defined by (2.2). The remainder of the proof is similar to the proof of Theorem 3.1 and is omitted here. The proof of Theorem 3.4 is complete. □
Similarly, we can prove that
Theorem 3.5
In system (3.6), assume that \(G_{i}(t,\cdot,\cdot)\equiv0\), \(F_{i}^{0}<\infty\), \(F_{i}^{\infty}>0\) \((i=1,\ldots,n)\), and \((H_{1})\)–\((H_{3})\) hold. Then system (3.6) has at least one positive ω-periodic solution.
Theorem 3.6
In system (3.6), assume that \(F_{i}(t,\cdot,\cdot)\equiv0\), \(G_{i}^{0}<\infty\), \(Y_{i}^{\infty}>\) \((i=1,\ldots,n)\), and \((H_{1})\)–\((H_{3})\) hold. Then system (3.6) has at least one positive ω-periodic solution.
Remark 3.1
Similarly to the previous arguments, we can easily get the corresponding results for systems (1.2) and (1.3).
4 Applications
In this section, as applications of our main results, we give some existence results of positive periodic solutions for Lotka–Volterra systems with or without impulses.
Consider the following Lotka–Volterra system with impulses and time delays on time scales:
where \(i=1,2,\ldots,n\), \(\mathbb{T}\) is an ω-periodic time scale, \(\omega>0\) is a constant, \(r_{i},h_{i}\in C_{\mathrm {rd}}(\mathbb{T},(0,\infty))\), \(a_{ij}, b_{ij}\in C_{\mathrm {rd}}(\mathbb{T},(0,\infty))\), \(\tau_{ij}\in C_{\mathrm {rd}}(\mathbb{T},(0,\infty)_{\mathbb{T}})\ (i,j=1,2,\ldots,n)\) are rd-continuous ω-periodic functions. \(K_{ij}\in C_{\mathrm{rd}}((-\infty,0)_{\mathbb{T}},(0,\infty))\) with \(\int_{-\infty}^{0}K_{ij}(s)\Delta s=1\) \((i,j=1,2,\ldots,n)\), \(I_{ik}\in C((0,\infty), (0,\infty))\), there exists a positive integer p such that \(t_{i,k+p}=t_{k}+\omega\) and \(I_{i,k+p}=I_{ik}\) for \(k\in\mathbb{Z}\), and \([0,\omega)_{\mathbb{T}}\cap\{t_{k}:k\in\mathbb{Z}\}=\{ t_{1},t_{2},\ldots,t_{p}\}\).
Theorem 4.1
Assume that \(r_{i}(t)< h_{i}(t)\), \(\sup_{t\in[0,\omega]_{\mathbb{T}}}\{\mu(t)[h_{i}(t)-r_{i}(t)]\}<1\), \(\max_{1\leq i\leq n} \{\frac{\gamma_{i}\sigma_{i}^{2}}{\sigma_{i}-1} \}<1\), and \(a_{ij}(t),b_{ij}(t)>0\) \((i,j=1,2,\ldots,n)\). Then system (4.1) has at least one positive ω-periodic solution.
Proof
In this case,
It follows from Theorem 3.1 that system (4.1) has at least one positive ω-periodic solution. The proof of Theorem 4.1 is complete. □
Considering the existence of positive periodic solutions for system (4.1) without impulses, we conclude by the following assertion, which follows from Theorem 3.4.
Theorem 4.2
In system (4.1), assume that \(I_{ik}\equiv0\), \(r_{i}(t)< h_{i}(t)\), \(\sup_{t\in[0,\omega]_{\mathbb{T}}}\{\mu(t)[h_{i}(t)-r_{i}(t)]\}<1\), \(a_{ij}(t),b_{ij}(t)>0\) \((i,j=1,2,\ldots,n)\). Then system (4.1) has at least one positive ω-periodic solution.
5 Conclusions
In this paper, we study a class of impulsive Lotka–Volterra cooperative population models with time-delay and harvesting control on time scales \(\mathbb{T}\). This model unifies the continuous and difference cases of impulsive Lotka–Volterra cooperative population model with time delay. Applying the fixed point theorem of strict-set-contraction, we have established some new existence conditions of positive periodic solutions for this model. As applications, the existence conditions of positive periodic solutions are analyzed for some common Lotka–Volterra systems on time scales.
References
Lotka, A.: Elements of Physical Biology. William and Wilkins, Baltimore (1925)
Volterra, V.: Variazioni e fluttuazioni del numero d’individui in specie animali conviventi. Mem. Accad. Lincei 2, 31–113 (1926)
Kuang, Y.: Delay Differential Equations with Applications in Population Dynamics. Academic Press, New York (1993)
Zhen, J., Ma, Z., Han, M.: The existence of periodic solutions of the n-species Lotka–Volterra competition systems with impulsive. Chaos Solitons Fractals 22(2), 181–188 (2004)
Li, Y.: Periodic solutions for delay Lotka–Volterra competition systems. J. Math. Anal. Appl. 246, 230–244 (2000)
Yang, P., Xu, R.: Global attractivity of the periodic Lotka–Volterra system. J. Math. Anal. Appl. 233, 221–232 (1999)
Gopalsamy, K.: Global asymptotic stability in a periodic Lotka–Volterra system. J. Aust. Math. Soc. Ser. B 27, 66–72 (1985)
Li, Y., Kuang, Y.: Periodic solutions of periodic delay Lotka–Volterra equations and systems. J. Math. Anal. Appl. 255, 260–280 (2001)
Yang, Z., Cao, J.: Positive periodic solutions of neutral Lotka–Volterra system with periodic delays. Appl. Math. Comput. 149, 661–687 (2004)
Zhen, J., Han, M., Li, G.: The persistence in a Lotka–Volterra competition systems with impulsive. Chaos Solitons Fractals 24, 1105–1117 (2005)
Zhao, K., Ye, Y.: Four positive periodic solutions to a periodic Lotka–Volterra predatory–prey system with harvesting terms. Nonlinear Anal., Real World Appl. 11, 2448–2455 (2010)
Li, Y., Zhao, K., Ye, Y.: Multiple positive periodic solutions of n species delay competition systems with harvesting terms. Nonlinear Anal., Real World Appl. 12, 1013–1022 (2011)
Zhao, K., Li, Y.: Multiple positive periodic solutions to a non-autonomous Lotka–Volterra predator–prey system with harvesting terms. Electron. J. Differ. Equ. 2011, 49 (2011)
Zhao, K., Liu, J.: Existence of positive almost periodic solutions for delay Lotka–Volterra cooperative systems. Electron. J. Differ. Equ. 2013, 157 (2013)
Yu, P., Han, M., Xiao, D.: Four small limit cycles around a Hopf singular point in 3-dimensional competitive Lotka–Volterra systems. J. Math. Anal. Appl. 436(1), 521–555 (2016)
Li, J., Zhao, A.: Stability analysis of a non-autonomous Lotka–Volterra competition model with seasonal succession. Appl. Math. Model. 40(2), 763–781 (2016)
Bao, X., Li, W., Shen, W.: Traveling wave solutions of Lotka–Volterra competition systems with nonlocal dispersal in periodic habitats. J. Differ. Equ. 260(12), 8590–8637 (2016)
Li, S., Liu, S., Wu, J., Dong, Y.: Positive solutions for Lotka–Volterra competition system with large cross-diffusion in a spatially heterogeneous environment. Nonlinear Anal., Real World Appl. 36, 1–19 (2017)
Ma, L., Guo, S.: Stability and bifurcation in a diffusive Lotka–Volterra system with delay. Comput. Math. Appl. 72(1), 147–177 (2016)
Gamarra, J., Solé, R.: Complex discrete dynamics from simple continuous population models. Bull. Math. Biol. 64, 611–620 (2002)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)
Zhang, H., Li, Y.: Existence of positive periodic solutions for functional differential equations with impulse effects on time scales. Commun. Nonlinear Sci. Numer. Simul. 14, 19–26 (2009)
Zhao, K., Ding, L., Yang, F.: Existence of multiple periodic solutions to Lotka–Volterra networks-like food-chain system with delays and impulses on time scales. Int. J. Biomath. 7(1), 1450003 (2014)
Zhao, K.: Global robust exponential synchronization of BAM recurrent FNNs with infinite distributed delays and diffusion terms on time scales. Adv. Differ. Equ. 2014, 317 (2014)
Liao, Y., Xu, L.: Almost periodic solution for a delayed Lotka–Volterra system on time scales. Adv. Differ. Equ. 2014, 94 (2014)
Li, Y., Wang, P.: Permanence and almost periodic solution of a multispecies Lotka–Volterra mutualism system with time varying delays on time scales. Adv. Differ. Equ. 2015, 230 (2015)
Wang, Q., Liu, Z.: Existence and stability of positive almost periodic solutions for a competitive system on time scales. Math. Comput. Simul. 138, 65–77 (2017)
Lizama, C., Pereira, J., Toon, E.: On the exponential stability of Samuelson model on some classes of times scales. J. Comput. Appl. Math. 325(1), 1–17 (2017)
Federson, M., Grau, R., Mesquita, J., Toon, E.: Boundedness of solutions of measure differential equations and dynamic equations on time scales. J. Differ. Equ. 263(1), 26–56 (2017)
Ogulenko, A.: Asymptotical properties of social network dynamics on time scales. J. Comput. Appl. Math. 319(1), 413–422 (2017)
Kaufmann, E., Raffoul, Y.: Periodic solutions for a neutral nonlinear dynamical equation on a time scale. J. Math. Anal. Appl. 319, 315–325 (2006)
Các, N., Gatica, J.: Fixed point theorems for mappings in ordered Banach spaces. J. Math. Anal. Appl. 71, 547–557 (1979)
Guo, D.: Positive solutions of nonlinear operator equations and its applications to nonlinear integral equations. Adv. Math. 13, 294–310 (1984) (in Chinese)
Xing, Y., Han, M., Zheng, G.: Initial value problem for first-order integro-differential equation of Volterra type on time scales. Nonlinear Anal. TMA 60, 429–442 (2005)
Acknowledgements
The author would like to thank the anonymous referees for their useful and valuable suggestions.
Funding
This work was supported by the National Natural Sciences Foundation of Peoples Republic of China under Grant (Nos. 11161025, 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. Existence of positive periodic solutions for the impulsive Lotka–Volterra cooperative population model with time-delay and harvesting control on time scales. Adv Differ Equ 2018, 228 (2018). https://doi.org/10.1186/s13662-018-1686-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1686-8
MSC
- 34K13
- 34N05
- 26E70
Keywords
- Existence of positive periodic solution
- Lotka–Volterra cooperative system
- Impulses and time delay
- Theorem of strict-set-contraction
- Time scale