Skip to main content

Existence of positive periodic solutions for the impulsive Lotka–Volterra cooperative population model with time-delay and harvesting control on time scales

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.

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 [319]. 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 [2432]).

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

$$\begin{aligned} \textstyle\begin{cases} u^{\Delta}_{i}(t)=u_{i}(t) [r_{i}(t)+F_{i}(t,u(t))+G_{i}(t,u(t))-h_{i}(t) ],\quad t\neq t_{k}, t\in\mathbb {T}, \\ u_{i}(t_{k}^{+})=u_{i}(t_{k}^{-})+I_{ik}(u(t_{k})),\quad k=1,2,\ldots, \end{cases}\displaystyle \end{aligned}$$
(1.1)

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,

$$\begin{aligned} F_{i}\bigl(t,u(t)\bigr)=F_{i}\bigl(t,u_{1} \bigl(t-\tau_{i1}(t)\bigr), u_{2}\bigl(t- \tau_{i2}(t)\bigr),\ldots, u_{n}\bigl(t-\tau_{in}(t) \bigr)\bigr) \end{aligned}$$

and

$$\begin{aligned} G_{i}\bigl(t,u(t)\bigr)=G_{i} \biggl(t, \int_{-\infty}^{0}K_{i1}(s)u_{1}(t+s) \Delta s,\ldots, \int_{-\infty}^{0}K_{in}(s)u_{n}(t+s) \Delta s \biggr). \end{aligned}$$

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:

$$\begin{aligned} \textstyle\begin{cases} u'_{i}(t)=u_{i}(t) [r_{i}(t)+F_{i}(t,u(t))+G_{i}(t,u(t))-h_{i}(t) ],\quad t\neq t_{k}, \\ u_{i}(t_{k}^{+})=u_{i}(t_{k}^{-})+I_{ik}(u(t_{k})), \quad k=1,2,\ldots, \end{cases}\displaystyle \end{aligned}$$
(1.2)

where \(i=1,2,\ldots,n\), \(u=(u_{1},u_{2},\ldots,u_{n})\),

$$\begin{aligned} &F_{i}\bigl(t,u(t)\bigr)=F_{i}\bigl(t,u_{1} \bigl(t-\tau_{i1}(t)\bigr), u_{2}\bigl(t- \tau_{i2}(t)\bigr),\ldots, u_{n}\bigl(t-\tau_{in}(t) \bigr)\bigr), \\ & G_{i}\bigl(t,u(t)\bigr)=G_{i} \biggl(t, \int_{-\infty}^{0}K_{i1}(s)u_{1}(t+s) \,ds,\ldots, \int_{-\infty}^{0}K_{in}(s)u_{n}(t+s) \,ds \biggr), \end{aligned}$$

\(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:

$$\begin{aligned} \textstyle\begin{cases} \Delta u_{i}(t)=u_{i}(t) [r_{i}(t)+F_{i}(t,u(t))+G_{i}(t,u(t))-h_{i}(t) ], \quad t\neq t_{k}, \\ u_{i}(t_{k}^{+})=u_{i}(t_{k}^{-})+I_{ik}(u(t_{k})), \quad k=1,2,\ldots, \end{cases}\displaystyle \end{aligned}$$
(1.3)

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})\),

$$\begin{aligned} &F_{i}\bigl(t,u(t)\bigr)=F_{i}\bigl(t,u_{1} \bigl(t-\tau_{i1}(t)\bigr), u_{2}\bigl(t- \tau_{i2}(t)\bigr),\ldots, u_{n}\bigl(t-\tau_{in}(t) \bigr)\bigr), \\ &G_{i}\bigl(t,u(t)\bigr)=G_{i} \Biggl(t,\sum _{s=-\infty}^{0}K_{i1}(s)u_{1}(t+s), \ldots, \sum_{s=-\infty}^{0}K_{in}(s)u_{n}(t+s) \Biggr), \end{aligned}$$

\(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.

Preliminaries on time scales

In this section, we briefly recall some basic definitions and lemmas on time scales. For more detail, we refer to [2123].

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

$$\sigma(t)=\inf\{s\in\mathbb{T}:s>t\},\qquad \rho(t)=\sup\{s\in\mathbb{T}:s< t\} \quad\text{and}\quad \mu(t)=\sigma(t)-t. $$

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

$$\bigl\vert \bigl[f\bigl(\sigma(t)\bigr)-f(s)\bigr]-f^{\Delta}(t)\bigl[ \sigma(t)-s\bigr] \bigr\vert < \varepsilon \bigl\vert \sigma(t)-s \bigr\vert $$

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

$$F^{\Delta}(t)=f(t) \quad\textit{for all } t\in D. $$

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

$$\int f(t)\Delta t=F(t)+C, $$

where C is an arbitrary constant, and F is a Δ-antiderivative of f. We define the Cauchy integral by

$$\int_{a}^{b} f(s)\Delta s=F(b)-F(a) \quad\text{for all } a,b\in\mathbb{T}. $$

A function \(F:\mathbb{T}\rightarrow\mathbb{R}\) is called an antiderivative of \(f:\mathbb{T}\rightarrow\mathbb{R}\) if

$$F^{\Delta}(t)=f(t)\quad \text{for all } t\in\mathbb{T}^{k}. $$

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:

  1. (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\);

  2. (ii)

    if \(f(t)\geq0\) for all \(a\leq t< b\), then \(\int_{a}^{b} f(t)\Delta t\geq0\);

  3. (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

$$ \xi_{h}(z)=\textstyle\begin{cases} \frac{\operatorname{Log}(1+hz)}{h} & \text{if $h\neq0$,} \\ z & \text{if $h=0$.} \end{cases} $$

For two regressive functions \(p, q:\mathbb{T}\rightarrow\mathbb{R}\), we define

$$p\oplus q=p+q+\mu pq,\qquad \ominus p=-\frac{p}{1+\mu p}, \qquad p\ominus q=p\oplus p(\ominus q). $$

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. (1)

    \(e_{0}(t,s)\equiv1\) and \(e_{p}(t,t)\equiv1\);

  2. (2)

    \(e_{p}(\sigma(t),s)=(1+\mu(t)p(t))e_{p}(t,s)\);

  3. (3)

    \(\frac{1}{e_{p}(t,s)}=e_{\ominus p}(t,s)\);

  4. (4)

    \(e_{p}(t,s)=\frac{1}{e_{p}(s,t)}=e_{\ominus p}(s,t)\);

  5. (5)

    \(e_{p}(t,s)e_{p}(s,r)=e_{p}(t,r)\);

  6. (6)

    \(e_{p}(t,s)e_{q}(t,s)=e_{p\oplus q}(t,s)\);

  7. (7)

    \(\frac{e_{p}(t,s)}{e_{q}(t,s)}=e_{p\ominus q}(t,s)\);

  8. (8)

    \([e_{p}(t,s)]^{\Delta}=p(t)e_{p}(t,s)\);

  9. (9)

    \([e_{p}(c,\cdot)]^{\Delta}=-p[e_{p}(c,\cdot )]^{\sigma}\) for \(c\in\mathbb{T}\);

  10. (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:

$$\begin{aligned} &B(0,R)=\bigl\{ (x_{1},x_{2},\ldots,x_{n})^{T} \in\mathbb{R}^{n}: \bigl\Vert (x_{1},x_{2}, \ldots,x_{n}) \bigr\Vert \leq R\bigr\} ,\\ & f^{M}=\max _{t\in[0,\omega]_{\mathbb{T}}}\bigl\{ f(t)\bigr\} , \\ &F_{i}^{0}=\limsup_{ \sum_{i=1}^{n}x_{i}\rightarrow0}\max _{t\in[0,\omega ]_{\mathbb{T}}}\frac{F_{i}(t,x_{1},x_{2},\ldots,x_{n})}{ \sum_{i=1}^{n}x_{i}},\\ & G_{i}^{0}=\limsup _{ \sum_{i=1}^{n}x_{i}\rightarrow0}\max_{t\in[0,\omega ]_{\mathbb{T}}}\frac{G_{i}(t,x_{1},x_{2},\ldots,x_{n})}{ \sum_{i=1}^{n}x_{i}}, \\ &F_{i}^{\infty}=\liminf_{ \sum_{i=1}^{n}x_{i}\rightarrow\infty}\min _{t\in[0,\omega]_{\mathbb{T}}}\frac{F_{i}(t,x_{1},x_{2},\ldots,x_{n})}{ \sum_{i=1}^{n}x_{i}},\\ & G_{i}^{\infty}= \liminf_{ \sum_{i=1}^{n}x_{i}\rightarrow\infty}\min_{t\in[0,\omega]_{\mathbb{T}}}\frac{G_{i}(t,x_{1},x_{2},\ldots,x_{n})}{ \sum_{i=1}^{n}x_{i}}, \\ &\gamma_{i}=\limsup_{ \sum_{i=1}^{n}x_{i}\rightarrow0}\frac{ \sum_{k=1}^{p}I_{ik}(x_{1},x_{2},\ldots,x_{n})}{ \sum_{i=1}^{n}x_{i}}, \end{aligned}$$

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

$$\begin{aligned} y^{\Delta}(t)=r(t)y(t)+h(t),\qquad y(a)=y_{a}, \end{aligned}$$

is given by

$$\begin{aligned} y(t)=e_{r}(t,a)y_{a}+ \int_{a}^{t}e_{r}\bigl(t,\sigma(s) \bigr)h(s)\Delta s. \end{aligned}$$

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

$$\begin{aligned} u_{i}(t)={}& \int_{t}^{t+\omega}H_{i}(t,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s \\ &{}+ \sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{k})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr),\quad i=1,2,\ldots,n, \end{aligned}$$
(2.1)

where

$$\begin{aligned} H_{i}(t,s)=\frac{e_{(r_{i}-h_{i})}(t,\sigma(s))}{e_{(r_{i}-h_{i})}(0,\omega)-1},\quad s\in[t,t+ \omega]_{\mathbb{T}}, i=1,2,\ldots,n. \end{aligned}$$
(2.2)

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

$$\begin{aligned} u_{i}(s)=e_{(r_{i}-h_{i})}(s,t)u_{i}(t)+ \int_{t}^{s}e_{(r_{i}-h_{i})}\bigl(s,\sigma(\tau ) \bigr)u_{i}(\tau) \bigl[F_{i}\bigl(\tau,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau, \end{aligned}$$

and thus

$$\begin{aligned} u_{i}(t_{k})=e_{(r_{i}-h_{i})}(t_{k},t)u_{i}(t)+ \int _{t}^{t_{k}}e_{(r_{i}-h_{i})}\bigl(t_{k}, \sigma(\tau)\bigr)u_{i}(\tau) \bigl[F_{i}\bigl(\tau ,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau. \end{aligned}$$

Again using Lemma 2.4, for \(s\in(t_{k},t_{k+1}]_{\mathbb{T}}\), we have

$$\begin{aligned} u_{i}(s)={}&e_{(r_{i}-h_{i})}(s,t_{k})u_{i} \bigl(t_{k}^{+}\bigr)+ \int _{t_{k}}^{s}e_{(r_{i}-h_{i})}\bigl(s,\sigma(\tau) \bigr)u_{i}(\tau) \bigl[F_{i}\bigl(\tau ,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau \\ ={}&e_{(r_{i}-h_{i})}(s,t_{k})u_{i}(t_{k})+ \int_{t_{k}}^{s}e_{(r_{i}-h_{i})}\bigl(s,\sigma (\tau) \bigr)u_{i}(\tau) \bigl[F_{i}\bigl(\tau,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau \\ &{}+e_{(r_{i}-h_{i})}(s,t_{k})I_{ik}\bigl(u(t_{k}) \bigr). \end{aligned}$$

Thus, for \(s\in[t,t_{k+1}]_{\mathbb{T}}\), we get

$$\begin{aligned} u_{i}(s)={}&e_{(r_{i}-h_{i})}(s,t)u_{i}(t)+ \int_{t}^{s}e_{(r_{i}-h_{i})}\bigl(s,\sigma (\tau) \bigr)u_{i}(\tau) \bigl[F_{i}\bigl(\tau,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau \\ &{}+e_{(r_{i}-h_{i})}(s,t_{k})I_{ik}\bigl(u(t_{k}) \bigr). \end{aligned}$$

Repeating this process for \(s\in[t,t+\omega]_{\mathbb{T}}\), we obtain

$$\begin{aligned} u_{i}(s)={}&e_{(r_{i}-h_{i})}(s,t)u_{i}(t)+ \int_{t}^{s}e_{(r_{i}-h_{i})}\bigl(s,\sigma (\tau) \bigr)u_{i}(\tau) \bigl[F_{i}\bigl(\tau,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau \\ &{}+\sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}e_{(r_{i}-h_{i})}(s,t_{k})I_{ik} \bigl(u(t_{k})\bigr). \end{aligned}$$

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

$$\begin{aligned} u_{i}(t)={}&u_{i}(t+\omega) \\ ={}&e_{(r_{i}-h_{i})}(t+\omega,t)u_{i}(t)+ \int _{t}^{t+\omega}e_{(r_{i}-h_{i})}\bigl(t+\omega,\sigma( \tau)\bigr)u_{i}(\tau)\\ &{}\times \bigl[F_{i}\bigl(\tau,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta\tau \\ &{}+\sum_{t_{k}\in[t,t+\omega)_{\mathbb{T}}}e_{(r_{i}-h_{i})}(t+\omega ,t_{k})I_{ik}\bigl(u(t_{k})\bigr) \\ ={}&e_{(r_{i}-h_{i})}(\omega,0)u_{i}(t)+ \int_{t}^{t+\omega }e_{(r_{i}-h_{i})}\bigl(t,\sigma(\tau) \bigr)e_{(r_{i}-h_{i})}(\omega,0)u_{i}(\tau) \\ &{}\times\bigl[F_{i} \bigl(\tau,u(\tau)\bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta\tau \\ &{}+\sum_{t_{k}\in[t,t+\omega)_{\mathbb{T}}}e_{(r_{i}-h_{i})}\bigl(t,\sigma (t_{k})\bigr)e_{(r_{i}-h_{i})}(\omega,0)e_{(r_{i}-h_{i})}\bigl( \sigma(t_{k}),t_{k}\bigr)I_{ik}\bigl(u(t_{k}) \bigr), \end{aligned}$$

which implies that

$$\begin{aligned} u_{i}(t)={}& \int_{t}^{t+\omega}H_{i}(t, \tau)u_{i}(\tau) \bigl[F_{i}\bigl(\tau ,u(\tau) \bigr)+G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta \tau \\ &{}+\sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{k})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr). \end{aligned}$$

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. (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. (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

$$\begin{aligned} \frac{1}{\sigma_{i}-1}=\frac{e_{(r_{i}-h_{i})}(t,t)}{\sigma_{i}-1}\leq H_{i}(t,s)\leq \frac{e_{(r_{i}-h_{i})}(t,t+\omega)}{\sigma_{i}-1}=\frac {\sigma_{i}}{\sigma_{i}-1}. \end{aligned}$$

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

$$\begin{aligned} H_{i}(t+\omega,s+\omega)={}&\frac{e_{(r_{i}-h_{i})}(t+\omega,\sigma (s+\omega))}{\sigma_{i}-1} =\frac{e_{(r_{i}-h_{i})}(t+\omega,\sigma(s)+\omega)}{\sigma_{i}-1} \\ ={}&\frac{e_{(r_{i}-h_{i})}(t,\sigma(s))}{\sigma_{i}-1}=H_{i}(t,s),\quad i=1,2,\ldots,n. \end{aligned}$$

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

  1. (i)

    \(k\alpha+l\beta\in K\) for all \(\alpha,\beta \in K\) and \(k,l\geq0\);

  2. (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

$$\begin{aligned} \alpha_{E}(A)={}&\inf \bigl\{ \delta>0: A \text{ admits a finite cover by subsets of } A_{i}\subset A \text{ such that}\\ & \operatorname{diam}(A_{i}) \leq\delta \bigr\} , \end{aligned}$$

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

$$\begin{aligned} \alpha_{F}\bigl(\Phi(S)\bigr)\leq k\alpha_{E}\bigl(\Phi(S) \bigr). \end{aligned}$$

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

([34, 35])

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:

  1. (i)

    \(\Phi u\nleq u, \forall u\in K, \|u\|=r\) and \(\Phi u\ngeq u, \forall u\in K, \|u\|=R\).

  2. (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

$$\begin{aligned} PC(\mathbb{T})={}& \bigl\{ u=(u_{1},u_{2}, \ldots,u_{n}):\mathbb {T}\rightarrow\mathbb{R}^{n},u|_{(t_{k},t_{k+1})} \in C_{\mathrm{rd}}\bigl((t_{k},t_{k+1}),\mathbb{R}^{n} \bigr), \\ &\exists u\bigl(t_{k}^{-}\bigr)=u(t_{k}), u \bigl(t_{k}^{+}\bigr), k\in\mathbb{N}^{+} \bigr\} . \end{aligned}$$

Set

$$\begin{aligned} X=\bigl\{ u:u\in PC(\mathbb{T}),u(t+\omega)=u(t), t\in\mathbb{T}\bigr\} \end{aligned}$$

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

$$\begin{aligned} K= \biggl\{ u=(u_{1},\ldots,u_{n})\in X: u_{i}(t) \geq\frac{1}{\sigma_{i}} \vert u_{i} \vert _{0}, \forall t \in[0,\omega]_{\mathbb{T}}, i=1,2,\ldots,n \biggr\} . \end{aligned}$$

Let the map Φ be defined by

$$\begin{aligned} (\Phi u) (t)=\bigl((\Phi_{1} u) (t),(\Phi_{2} u) (t),\ldots,(\Phi_{n} u) (t)\bigr)^{T}, \end{aligned}$$
(2.3)

where \(x\in K, t\in\mathbb{T}\),

$$\begin{aligned} (\Phi_{i} u) (t)={}& \int_{t}^{t+\omega}H_{i}(t,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s \\ &{}+ \sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{k})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr),\quad i=1,2,\ldots,n, \end{aligned}$$

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

$$\begin{aligned} (\Phi_{i} u) (t+\omega)={}& \int_{t+\omega}^{t+2\omega}H_{i}(t+\omega ,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i} \bigl(s,u(s)\bigr) \bigr]\Delta s \\ &{}+ \sum_{t_{k}\in[t+\omega,t+2\omega)_{\mathbb{T}}}H_{i}(t+\omega ,t_{k})e_{(r_{i}-h_{i})}\bigl(\sigma(t_{k}),t_{k} \bigr)I_{ik}\bigl(u(t_{k})\bigr) \\ ={}& \int_{t}^{t+\omega}H_{i}(t+\omega,\tau+ \omega)u_{i}(\tau+\omega ) \bigl[F_{i}\bigl(\tau+\omega,u( \tau+\omega)\bigr) \\ &{}+G_{i}\bigl(\tau+\omega,u(\tau+\omega)\bigr) \bigr] \Delta\tau \\ &{}+ \sum_{t_{l}\in[t,t+\omega)_{\mathbb{T}}}H_{i}(t+\omega ,t_{l}+\omega)e_{(r_{i}-h_{i})}\bigl(\sigma(t_{l}+ \omega),t_{l}+\omega \bigr)I_{il}\bigl(u(t_{l}+ \omega)\bigr) \\ ={}& \int_{t}^{t+\omega}H_{i}(t, \tau)u_{i}(\tau) \bigl[F_{i}\bigl(\tau,u(\tau)\bigr) +G_{i}\bigl(\tau,u(\tau)\bigr) \bigr]\Delta\tau \\ &{}+ \sum_{t_{l}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{l})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{l}),t_{l}\bigr)I_{il} \bigl(u(t_{l})\bigr)=(\Phi_{i} u) (t), \end{aligned}$$

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

$$\begin{aligned} \vert \Phi_{i}u \vert _{0}\leq{}&\frac{\sigma_{i}}{\sigma_{i}-1} \Biggl[ \int_{0}^{\omega }u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr] \Delta s \\ &{}+ \sum_{k=1}^{p}e_{(r_{i}-h_{i})}\bigl( \sigma(t_{k}),t_{k}\bigr)I_{ik}\bigl(u(t_{k}) \bigr) \Biggr],\quad i=1,2,\ldots,n \end{aligned}$$

and

$$\begin{aligned} &(\Phi_{i} u) (t)\\ &\quad\geq\frac{1}{\sigma_{i}-1} \Biggl[ \int_{t}^{t+\omega}u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr] \Delta s + \sum_{k=1}^{p}e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \Biggr] \\ &\quad =\frac{1}{\sigma_{i}-1} \Biggl[ \int_{0}^{\omega}u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr] \Delta s + \sum_{k=1}^{p}e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \Biggr] \\ &\quad\geq \frac{1}{\sigma_{i}} \vert \Phi_{i}x \vert _{0},\quad i=1,2,\ldots,n. \end{aligned}$$

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

$$\begin{aligned} &\bigl\vert (\Phi_{i} u) (t) \bigr\vert \\ &\quad = \int_{t}^{t+\omega}H_{i}(t,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s \\ &\qquad{}+ \sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{k})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \\ &\quad \leq\frac{\sigma_{i}}{\sigma_{i}-1} \Biggl[ \int_{0}^{\omega }u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr] \Delta s + \sum_{k=1}^{p}e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \Biggr] \\ &\quad \leq\frac{\sigma_{i}}{\sigma_{i}-1} \Biggl[R\omega \Bigl(\max_{s\in [0,\omega]_{\mathbb{T}},u\in B(0,R)}\bigl\{ F_{i}(s,u)\bigr\} +\max_{s\in[0,\omega]_{\mathbb{T}},u\in B(0,R)}\bigl\{ G_{i}(s,u)\bigr\} \Bigr) \\ &\qquad{}+\sigma_{i} \sum_{k=1}^{p}\max _{u\in B(0,R)}\bigl\{ I_{ik}(u)\bigr\} \Biggr]\triangleq A_{i}, \quad i=1,2,\ldots,n \end{aligned}$$

and

$$\begin{aligned} \bigl\vert (\Phi_{i} u)^{\Delta}(t) \bigr\vert ={}& \bigl\vert \bigl[r_{i}(t)-h_{i}(t)\bigr](\Phi_{i} x) (t)+u_{i}(t) \bigl[F_{i}\bigl(t,u(t)\bigr)+G_{i} \bigl(t,u(t)\bigr) \bigr] \bigr\vert \\ \leq{}&\bigl(r_{i}^{M}+h_{i}^{m} \bigr)A_{i}+R \Bigl(\max_{t\in[0,\omega]_{\mathbb {T}},u\in B(0,R)}\bigl\{ F_{i}(t,u)\bigr\} +\max_{t\in[0,\omega]_{\mathbb{T}},u\in B(0,R)}\bigl\{ G_{i}(t,u)\bigr\} \Bigr) \\ \triangleq{}&B_{i},\quad i=1,2,\ldots,n. \end{aligned}$$

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. □

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\),

$$\begin{aligned} &I_{ik}(u_{1},u_{2},\ldots,u_{n})< ( \gamma_{i}+\epsilon)\sum_{l=1}^{n}u_{l},\quad \text{for } 0< \sum_{l=1}^{n}u_{l}< r_{0}, \\ &F_{i}(t,u_{1},u_{2},\ldots,u_{n})< \bigl(F^{0}_{i}+\epsilon\bigr)\sum _{l=1}^{n}u_{l}, \quad\text{for } 0< \sum _{l=1}^{n}u_{l}< r_{0}, \\ &G_{i}(t,u_{1},u_{2},\ldots,u_{n})< \bigl(G^{0}_{i}+\epsilon\bigr)\sum _{l=1}^{n}u_{l}, \quad\text{for } 0< \sum _{l=1}^{n}u_{l}< r_{0}, \\ &F_{i}(t,u_{1},u_{2},\ldots,u_{n})> \bigl(F^{\infty}_{i}-\epsilon\bigr)\sum _{l=1}^{n}u_{l},\quad \text{for } \sum _{l=1}^{n}u_{l}>R_{0}, \\ &G_{i}(t,u_{1},u_{2},\ldots,u_{n})< \bigl(G^{\infty}_{i}-\epsilon\bigr)\sum _{l=1}^{n}u_{l}, \quad\text{for } \sum _{l=1}^{n}u_{l}>R_{0}. \end{aligned}$$

Take

$$\begin{aligned} 0< r< \min \biggl\{ \min_{1\leq i\leq n} \biggl\{ \frac{\delta(\sigma_{i}-1)}{\omega\sigma _{i}(F_{i}^{0}+G_{i}^{0}+1)} \biggr\} ,r_{0} \biggr\} \end{aligned}$$

and

$$\begin{aligned} R=\max \biggl\{ \min_{1\leq i\leq n} \biggl\{ \frac{1}{\sigma_{i}} \biggr\} R_{0},\omega\min_{1\leq i\leq n} \biggl\{ \frac{1}{\sigma_{i}} \biggr\} \biggl[\min_{1\leq i\leq n} \biggl\{ \frac{F_{i}^{\infty}+G_{i}^{\infty}-2\epsilon)}{\sigma _{i}(\sigma_{i}-1)} \biggr\} \biggr]^{-1} \biggr\} . \end{aligned}$$

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

$$\begin{aligned} (\Phi_{i} u) (t)-u_{i}(t)\geq \frac{1}{\sigma_{i}} \vert \Phi_{i}u-u_{i} \vert _{0}\geq0, \quad \forall t\in[0,\omega]_{\mathbb{T}}, i=1,2,\ldots,n. \end{aligned}$$
(3.1)

Moreover, for \(t\in[0,\omega]_{\mathbb{T}}\), we have

$$\begin{aligned} &(\Phi_{i} u) (t) \\ &\quad = \int_{t}^{t+\omega}H_{i}(t,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s \\ &\qquad{}+ \sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{k})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \\ &\quad \leq \frac{\sigma_{i}}{\sigma_{i}-1} \Biggl[ \int_{0}^{\omega }u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr] \Delta s + \sum_{k=1}^{p}e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \Biggr] \\ &\quad \leq\frac{\omega\sigma_{i} \vert u_{i} \vert _{0}}{\sigma_{i}-1} \Biggl[\bigl(F_{i}^{0}+ \epsilon\bigr)\sum_{i=1}^{n} \vert u_{i} \vert _{0} +\bigl(G_{i}^{0}+ \epsilon\bigr)\sum_{i=1}^{n} \vert u_{i} \vert _{0} \Biggr] +\frac{\sigma_{i}^{2}}{\sigma_{i}-1}( \gamma_{i}+\epsilon)\sum_{i=1}^{n} \vert u_{i} \vert _{0} \\ &\quad \leq\frac{\omega\sigma_{i}(F_{i}^{0}+G_{i}^{0}+2\epsilon )}{\sigma_{i}-1}r^{2} +\frac{\sigma_{i}^{2}(\gamma_{i}+\epsilon)}{\sigma_{i}-1}r \\ &\quad < \biggl[\frac{\omega\sigma_{i}(F_{i}^{0}+G_{i}^{0}+2\epsilon )}{\sigma_{i}-1}\times\frac{\delta(\sigma_{i}-1)}{\omega\sigma _{i}(F_{i}^{0}+G_{i}^{0}+1)} + \frac{\sigma_{i}^{2}(\gamma_{i}+\epsilon)}{\sigma_{i}-1} \biggr]r \\ &\quad = \biggl[\frac{\delta(F_{i}^{0}+G_{i}^{0}+2\epsilon)}{F_{i}^{0}+G_{i}^{0}+1} +\frac{\sigma_{i}^{2}(\gamma_{i}+\epsilon)}{\sigma_{i}-1} \biggr]r,\quad i=1,2,\ldots,n. \end{aligned}$$
(3.2)

From (3.1)–(3.2) and the arbitrariness of ϵ we get

$$\begin{aligned} \Vert u \Vert \leq \Vert \Phi u \Vert \leq \biggl(\max _{1\leq i\leq n} \biggl\{ \frac{\gamma_{i}\sigma_{i}^{2}}{\sigma_{i}-1} \biggr\} +\delta \biggr)r< r= \Vert u \Vert , \end{aligned}$$

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

$$\begin{aligned} u_{i}(t)-(\Phi u) (t)\geq\frac{1}{\sigma_{i}} \vert u_{i}-\Phi_{i}y \vert _{0}\geq0,\quad i=1,2, \ldots,n. \end{aligned}$$
(3.3)

Since \(u\in K\) and \(\|u\|=R\), for all \(s\in[0,\omega]_{\mathbb{T}}\), we find

$$\begin{aligned} \sum_{l=1}^{n}u_{l}\bigl(s- \tau_{il}(s)\bigr) &\geq\sum_{l=1}^{n} \frac{1}{\sigma_{l}} \vert u_{l} \vert _{0} \geq\min _{1\leq l\leq n} \biggl\{ \frac{1}{\sigma_{l}} \biggr\} \sum _{l=1}^{n} \vert u_{l} \vert _{0}\\ &=\min_{1\leq l\leq n} \biggl\{ \frac{1}{\sigma_{l}} \biggr\} R \geq R_{0}, \quad i=1,2,\ldots,n \end{aligned}$$

and

$$\begin{aligned} &\sum_{l=1}^{n} \int_{-\infty}^{0}K_{il}(\tau)u_{l}(s+ \tau)\Delta\tau \\ &\quad\geq\sum_{l=1}^{n} \frac{1}{\sigma_{l}} \vert u_{l} \vert _{0} \int_{-\infty }^{0}K_{il}(\tau)\Delta\tau \\ &\quad \geq\min_{1\leq l\leq n} \biggl\{ \frac{1}{\sigma_{l}} \biggr\} \sum _{l=1}^{n} \vert u_{l} \vert _{0}=\min_{1\leq l\leq n} \biggl\{ \frac{1}{\sigma_{l}} \biggr\} R \geq R_{0},\quad i=1,2,\ldots,n. \end{aligned}$$

In addition, for any \(t\in[0,\omega]_{\mathbb{T}}\), we have

$$\begin{aligned} &(\Phi_{i} u) (t) \\ &\quad = \int_{t}^{t+\omega}H_{i}(t,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s \\ &\qquad{}+ \sum_{t_{k}\in[t,t+\omega)_{\mathbb {T}}}H_{i}(t,t_{k})e_{(r_{i}-h_{i})} \bigl(\sigma(t_{k}),t_{k}\bigr)I_{ik} \bigl(u(t_{k})\bigr) \\ &\quad \geq\frac{ \vert u_{i} \vert _{0}}{\sigma_{i}(\sigma_{i}-1)} \int _{0}^{\omega} \bigl[F_{i}\bigl(s,u(s) \bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s \\ & \quad \geq\frac{\omega \vert u_{i} \vert _{0}}{\sigma(\sigma_{i}-1)} \Biggl[\bigl(F_{i}^{\infty}- \epsilon\bigr)\sum_{i=1}^{n} \frac{1}{\sigma_{i}} \vert u_{i} \vert _{0} + \bigl(G_{i}^{\infty}-\epsilon\bigr)\sum _{l=1}^{n} \int_{-\infty}^{0}K_{il}(\tau ) \frac{1}{\sigma_{l}} \vert u_{l} \vert _{0}\Delta\tau \Biggr] \\ &\quad \geq\frac{\omega \vert u_{i} \vert _{0}}{\sigma_{i}(\sigma_{i}-1)}\bigl(F_{i}^{\infty }+G_{i}^{\infty}-2 \epsilon\bigr)\min_{1\leq i\leq n} \biggl\{ \frac{1}{\sigma_{i}} \biggr\} R,\quad i=1,2,\ldots,n. \end{aligned}$$
(3.4)

It follows from (3.3) and (3.4) that

$$\begin{aligned} \Vert \Phi u \Vert ={}&\sum _{i=1}^{n} \vert \Phi_{i}u \vert _{0} \geq\sum_{i=1}^{n} \frac{\omega \vert u_{i} \vert _{0}}{\sigma_{i}(\sigma _{i}-1)}\bigl(F_{i}^{\infty}+G_{i}^{\infty}-2 \epsilon\bigr)\min_{1\leq i\leq n} \biggl\{ \frac{1}{\sigma_{i}} \biggr\} R \\ \geq{}&\min_{1\leq i\leq n} \biggl\{ \frac{F_{i}^{\infty}+G_{i}^{\infty}-2\epsilon)}{\sigma _{i}(\sigma_{i}-1)} \biggr\} \min _{1\leq i\leq n} \biggl\{ \frac{1}{\sigma_{i}} \biggr\} R^{2}\omega \geq R. \end{aligned}$$
(3.5)

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:

$$\begin{aligned} u^{\Delta}_{i}(t)=u_{i}(t) \bigl[r_{i}(t)+F_{i}\bigl(t,u(t)\bigr)+G_{i} \bigl(t,u(t)\bigr)-h_{i}(t) \bigr],\quad t\neq t_{k}, t\in \mathbb{T}, \end{aligned}$$
(3.6)

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

$$\begin{aligned} K=\biggl\{ u:u=(u_{1},u_{2},\ldots,u_{n})^{T} \in X, u_{i}(t)\geq\frac{1}{\sigma_{i}} \vert u_{i} \vert _{0}, t\in[0,\omega]_{\mathbb{T}},i=1,\ldots,n\biggr\} \end{aligned}$$

and the map Φ by

$$\begin{aligned} (\Phi u) (t)=\bigl((\Phi_{1}u) (t),(\Phi_{2}u) (t),\ldots,( \Phi_{n}u) (t)\bigr)^{T}, \end{aligned}$$

where \(u\in K, t\in\mathbb{T}\),

$$\begin{aligned} (\Phi_{i} u) (t)=& \int_{t}^{t+\omega}H_{i}(t,s)u_{i}(s) \bigl[F_{i}\bigl(s,u(s)\bigr)+G_{i}\bigl(s,u(s)\bigr) \bigr]\Delta s,\quad i=1,2,\ldots,n, \end{aligned}$$

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).

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:

$$\begin{aligned} \textstyle\begin{cases} u^{\Delta}_{i}(t)=u_{i}(t) [r_{i}(t)+ \sum_{j=1}^{n}a_{ij}(t)u_{j}(t-\tau_{ij}(t)) \\ \phantom{u^{\Delta}_{i}(t)=}{}+ \sum_{j=1}^{n}b_{ij}(t)\int_{-\infty}^{0}K_{ij}(s)u_{j}(t+s)\Delta s -h_{i}(t) ],\quad t\neq t_{k}, t\in\mathbb{T}, \\ u_{i}(t_{k}^{+})=u_{i}(t_{k}^{-})+I_{ik}(u_{i}(t_{k})), \quad k=1,2,\ldots, \end{cases}\displaystyle \end{aligned}$$
(4.1)

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,

$$\begin{aligned} &F_{i}(t,u_{1},u_{2},\ldots,u_{n})= \sum_{j=1}^{n}a_{ij}(t)u_{j}, G_{i}(t,u_{1},u_{2},\ldots,u_{n})=\sum _{j=1}^{n}b_{ij}(t)u_{j},\quad i=1,2,\ldots,n, \\ &F_{i}^{0}=\limsup_{ \sum_{i=1}^{n}u_{i}\rightarrow0}\max _{t\in[0,\omega ]_{\mathbb{T}}}\frac{F_{i}(t,u_{1},\ldots,u_{n})}{ \sum_{i=1}^{n}u_{i}} \leq\max_{1\leq j\leq n} \Bigl\{ \max_{t\in[0,\omega]_{\mathbb{T}}} \bigl\{ a_{ij}(t) \bigr\} \Bigr\} < \infty,\quad i=1,2,\ldots,n, \\ &G_{i}^{0}=\limsup_{ \sum_{i=1}^{n}u_{i}\rightarrow0}\max _{t\in[0,\omega ]_{\mathbb{T}}}\frac{G_{i}(t,u_{1},\ldots,u_{n})}{ \sum_{i=1}^{n}u_{i}} \leq\max_{1\leq j\leq n} \Bigl\{ \max_{t\in[0,\omega]_{\mathbb{T}}} \bigl\{ b_{ij}(t) \bigr\} \Bigr\} < \infty,\quad i=1,2,\ldots,n, \\ &F_{i}^{\infty}=\liminf_{ \sum_{i=1}^{n}u_{i}\rightarrow0}\min _{t\in [0,\omega]_{\mathbb{T}}}\frac{F_{i}(t,u_{1},\ldots,u_{n})}{ \sum_{i=1}^{n}u_{i}} \geq\min_{1\leq j\leq n} \Bigl\{ \min_{t\in[0,\omega]_{\mathbb{T}}} \bigl\{ a_{ij}(t) \bigr\} \Bigr\} >0,\quad i=1,2,\ldots,n, \\ &G_{i}^{\infty}=\liminf_{ \sum_{i=1}^{n}u_{i}\rightarrow0}\min _{t\in [0,\omega]_{\mathbb{T}}}\frac{G_{i}(t,u_{1},\ldots,u_{n})}{ \sum_{i=1}^{n}u_{i}} \geq\min_{1\leq j\leq n} \Bigl\{ \min_{t\in[0,\omega]_{\mathbb{T}}} \bigl\{ b_{ij}(t) \bigr\} \Bigr\} >0,\quad i=1,2,\ldots,n. \end{aligned}$$

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.

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

  1. 1.

    Lotka, A.: Elements of Physical Biology. William and Wilkins, Baltimore (1925)

    Google Scholar 

  2. 2.

    Volterra, V.: Variazioni e fluttuazioni del numero d’individui in specie animali conviventi. Mem. Accad. Lincei 2, 31–113 (1926)

    MATH  Google Scholar 

  3. 3.

    Kuang, Y.: Delay Differential Equations with Applications in Population Dynamics. Academic Press, New York (1993)

    Google Scholar 

  4. 4.

    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)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Li, Y.: Periodic solutions for delay Lotka–Volterra competition systems. J. Math. Anal. Appl. 246, 230–244 (2000)

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    Yang, P., Xu, R.: Global attractivity of the periodic Lotka–Volterra system. J. Math. Anal. Appl. 233, 221–232 (1999)

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Gopalsamy, K.: Global asymptotic stability in a periodic Lotka–Volterra system. J. Aust. Math. Soc. Ser. B 27, 66–72 (1985)

    MathSciNet  Article  MATH  Google Scholar 

  8. 8.

    Li, Y., Kuang, Y.: Periodic solutions of periodic delay Lotka–Volterra equations and systems. J. Math. Anal. Appl. 255, 260–280 (2001)

    MathSciNet  Article  MATH  Google Scholar 

  9. 9.

    Yang, Z., Cao, J.: Positive periodic solutions of neutral Lotka–Volterra system with periodic delays. Appl. Math. Comput. 149, 661–687 (2004)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Zhen, J., Han, M., Li, G.: The persistence in a Lotka–Volterra competition systems with impulsive. Chaos Solitons Fractals 24, 1105–1117 (2005)

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  13. 13.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Zhao, K., Liu, J.: Existence of positive almost periodic solutions for delay Lotka–Volterra cooperative systems. Electron. J. Differ. Equ. 2013, 157 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  15. 15.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  16. 16.

    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)

    MathSciNet  Article  Google Scholar 

  17. 17.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Ma, L., Guo, S.: Stability and bifurcation in a diffusive Lotka–Volterra system with delay. Comput. Math. Appl. 72(1), 147–177 (2016)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Gamarra, J., Solé, R.: Complex discrete dynamics from simple continuous population models. Bull. Math. Biol. 64, 611–620 (2002)

    Article  MATH  Google Scholar 

  21. 21.

    Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)

    Google Scholar 

  22. 22.

    Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)

    Google Scholar 

  23. 23.

    Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  25. 25.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  26. 26.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  27. 27.

    Liao, Y., Xu, L.: Almost periodic solution for a delayed Lotka–Volterra system on time scales. Adv. Differ. Equ. 2014, 94 (2014)

    MathSciNet  Article  Google Scholar 

  28. 28.

    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)

    MathSciNet  Article  Google Scholar 

  29. 29.

    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)

    MathSciNet  Article  Google Scholar 

  30. 30.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  31. 31.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Ogulenko, A.: Asymptotical properties of social network dynamics on time scales. J. Comput. Appl. Math. 319(1), 413–422 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Kaufmann, E., Raffoul, Y.: Periodic solutions for a neutral nonlinear dynamical equation on a time scale. J. Math. Anal. Appl. 319, 315–325 (2006)

    MathSciNet  Article  MATH  Google Scholar 

  34. 34.

    Các, N., Gatica, J.: Fixed point theorems for mappings in ordered Banach spaces. J. Math. Anal. Appl. 71, 547–557 (1979)

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Guo, D.: Positive solutions of nonlinear operator equations and its applications to nonlinear integral equations. Adv. Math. 13, 294–310 (1984) (in Chinese)

    MATH  Google Scholar 

  36. 36.

    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)

    MathSciNet  MATH  Google Scholar 

Download references

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

Affiliations

Authors

Contributions

The author read and approved the final manuscript.

Corresponding author

Correspondence to Kaihong Zhao.

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation

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