- Research
- Open access
- Published:
Positive periodic solutions of Lotka-Volterra-like impulsive functional differential equations with infinite distributed time delays on time scales
Advances in Difference Equations volume 2017, Article number: 328 (2017)
Abstract
This paper is concerned with the Lotka-Volterra-like functional differential equations with impulses and infinite distributed time delays on time scales. By applying a fixed point theorem of strict-set contractions, some sufficient conditions have been established to guarantee the existence of periodic solutions. As applications, the existence of positive periodic solutions is given for some common Lotka-Volterra systems on time scales.
1 Introduction
In this article we consider the Lotka-Volterra-like functional differential equations with impulses and infinite distributed time delays on time scales as follows:
where \(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\). \(\mathbb{T}\) is an ω-periodic time scale, \(\omega>0\) is a constant. We have
For each interval I of \(\mathbb{R}\), we denote \(I_{\mathbb{T}}=I\cap\mathbb{T}\). \(u_{i}(t_{k}^{+})\), \(u_{i}(t_{k}^{-})\), \(v_{j}(t_{k}^{+})\) and \(v_{j}(t_{k}^{-})\) represent the right and the left limit \(u_{i}(t_{k})\) and \(v_{j}(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})\), \(v_{j}(t_{k}^{+})=v_{j}(t_{k})\), whereas, if \(t_{k}\) left-scattered, then \(u_{i}(t_{k}^{-})=u_{i}(t_{k})\), \(v_{j}(t_{k}^{-})=v_{j}(t_{k})\). \(r_{i}\), \(d_{j}\in C_{rd}(\mathbb{T},(0,\infty))\), \(\tau_{il}\), \(\sigma_{ij}\), \(\hat{\tau}_{jl}\), \(\sigma_{jh}\in C_{rd}(\mathbb{T},\mathbb{T})\) (\(i,l=1,2,\ldots,n\); \(j, h=1,2,\ldots,m\)) are ω-periodic functions. \(X_{i}\), \(\hat{X}_{j}\), \(Y_{i}\), \(\hat{Y}_{j}\in C_{rd}(\mathbb{T}\times\mathbb{R}^{m+n},\mathbb{R})\) (\(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\)) are ω-periodic with respect to their first arguments, respectively. We have \(K_{il}, \hat{K}_{jl}, L_{ij}, \hat{L}_{jh}\in C_{rd}((-\infty,0]_{\mathbb{T}},(0,\infty))\) with \(\int_{-\infty}^{0}K_{il}(s)\Delta s=\int_{-\infty}^{0}\hat{K}_{jl}(s)\Delta s=\int_{-\infty}^{0}L_{ij}(s)\Delta s=\int_{-\infty}^{0}\hat{L}_{jh}(s)\Delta s=1\). \(I_{ik}, \hat{I}_{jk}\in C([0,\infty)^{n+m}, [0,\infty))\). There exists a positive integer p such that \(t_{k+p}=t_{k}+\omega\), \(I_{i, k+p}=I_{ik}\), \(\hat{I}_{j, k+p}=I_{jk}\), \(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}\}\).
System (1.1) contain many mathematical population models of differential equations and difference equations. For example, if time scale \(\mathbb{T}=\mathbb{R}\), some specific models of system (1.1) are enumerated as follows: the Lotka-Volterra competition system with impulses and time delays [1–3]
and
the following predator-prey delay Lotka-Volterra system with impulses [2, 4]:
It is well known that the application of theories of functional differential equations in mathematical ecology has developed rapidly. The Lotka-Volterra system described by functional differential equations is one of the most famous and important population dynamics models. Owing to its theoretical and practical significance, Lotka-Volterra systems have been studied extensively [5–17]. 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é pointed out that such hybrid processes appear in the population dynamics of certain species that feature non-overlapping generations: the change in population from one generation to the next is discrete and so is modeled by a difference equation, while within-generation dynamics vary continuously (due to mortality rates, resource consumption, predation, interaction, etc.) and thus are described by a differential equation [18]. 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 [19, 20] and references cited therein) proposed by Hilger in his Ph.D. thesis [21] can unify continuous and discrete analysis, and it has become an effective approach to the study of mathematical models involving the hybrid discrete-continuous processes. There are many achievements in the study of the hybrid discrete-continuous mathematical models (see [22–30]).
To the best of 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 which are used in what follows. For more details, see [19–21].
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, the time scale T is assumed to be ω-periodic, that is, \(\forall 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 provided 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 provided it is continuous at right-dense point 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_{rd}=C_{rd}(\mathbb{T})=C_{rd}(\mathbb{T},\mathbb{R})\).
Definition 2.3
Assume \(f:\mathbb{T}\rightarrow\mathbb{R}\) and \(t\in\mathbb{T}^{k}\). Then we define \(f^{\Delta}(t)\) to be to be the number (if it exists) with the property that given any \(\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 functions \(f:\mathbb{T}\rightarrow\mathbb{R}\) that are differentiable and whose derivative is rd-continuous is denoted by \(C_{rd}^{1}=C_{rd}^{1}(\mathbb{T})=C_{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
Assume \(f:\mathbb{T}\rightarrow\mathbb{R}\) is 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}\) provided
Lemma 2.2
If \(a,b\in\mathbb{T}\), \(\alpha,\beta\in\mathbb{R}\) and \(f,g\in C(\mathbb{T},\mathbb{R})\), then
-
(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
([31])
A time scale \(\mathbb{T}\) is called periodic if there exists \(p>0\) such that if \(\forall 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
([31])
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}\), 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 and rd-continuous functions \(f:\mathbb{T}\rightarrow\mathbb{R}\) will be 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
Let \(p, q :\mathbb{T}\rightarrow\mathbb{R}\) be two regressive functions, we define
The generalized exponential function has the following properties.
Lemma 2.3
([19])
Assume that \(p, q :\mathbb{T}\rightarrow \mathbb{R}\) are 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 notations as follows.
where \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\), f is a rd-continuous ω-periodic function.
Lemma 2.4
([19])
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
\(x(t)=(u(t),v(t))^{T}=(u_{1}(t),\ldots,u_{n}(t),v_{1}(t),\ldots,v_{m}(t))^{T}\) is an ω-periodic solution of (1.1) is equivalent to \(x(t)\) is an ω-periodic solution of the following integral system:
here
and
Proof
If \(x(t)\) is an ω-periodic solution of (1.1), \(\forall t\in\mathbb{T}\), there exists \(k\in\mathbb{N}^{+}\) such that \(t_{k}\) is the first impulsive point after t. By applying Lemma 2.4 and the first equation of (1.1), for \(s\in[t,t_{k}]_{\mathbb{T}}\), we have
then
Again using Lemma 2.4, for \(s\in(t_{k},t_{k+1}]_{\mathbb{T}}\), then
Thus, for \(s\in[t,t_{k+1}]_{\mathbb{T}}\), we get
Repeating the above process for \(s\in[t,t+\omega]_{\mathbb{T}}\), we obtain
Let \(s=t+\omega\) in the above equality and notice that \(u_{i}(t)=u_{i}(t+\omega)\), \(e_{r_{i}}(t,t+\omega)=e_{r_{i}}(0,\omega)\), \(e_{r_{i}}(t+\omega,\sigma(\tau))=e_{r_{i}}(t,\sigma(\tau ))e_{r_{i}}(t+\omega,t)\), \(e_{r_{i}}(t,t_{k})=e_{r_{i}}(t,\sigma(t_{k}))e_{r_{i}}(\sigma(t_{k}),t_{k})\) and \(e_{r_{i}}(t,t+\omega) e_{r_{i}}(t+\omega,t)=1\), we have
which implies that
In like manner, one has
Thus, we conclude that \(x(t)\) satisfies (2.1).
Let \(x(t)\) be an ω-periodic solution of (2.1), noting that the above reduction is completely reversible, we know that \(x(t)\) is also an ω-periodic solution of (1.1). This completes the proof of Lemma 2.5. □
Throughout this paper, we assume that
- \((H_{1})\) :
-
\(\sup_{t\in[0,\omega]_{\mathbb{T}}}\{\mu(t)d_{j}(t)\} <1\), \(j=1,2,\ldots,m\).
Lemma 2.6
If the condition \((H_{1})\) holds, then \(G_{i}(t,s)\) (\(i=1,2,\ldots,n\)) and \(\hat{G}_{j}(t,s)\) (\(j=1,2,\ldots,m\)) defined by (2.2) and (2.3) satisfy the following:
-
(1)
\(\frac{\sigma_{i}}{1-\sigma_{i}}\leq G_{i}(t,s)\leq\frac {1}{1-\sigma_{i}}\), \(\forall s\in[t,t+\omega]_{\mathbb{T}}\), where \(\sigma_{i}=e_{r_{i}}(0,\omega)\), \(i=1,2,\ldots,n\);
-
(2)
\(\frac{1}{\hat{\sigma}_{j}-1}\leq\hat{G}_{j}(t,s)\leq \frac{\hat{\sigma}_{j}}{\hat{\sigma}_{j}-1}\), \(\forall s\in[t,t+\omega]_{\mathbb{T}}\), where \(\hat{\sigma}_{j}=e_{(-d_{j})}(0,\omega)\), \(j=1,2,\ldots,m\);
-
(3)
\(G_{i}(t+\omega,s+\omega)=G_{i}(t,s)\), \(i=1,2,\ldots,n\), \(\hat{G}_{j}(t+\omega,s+\omega)=\hat{G}_{j}(t,s)\), \(j=1,2,\ldots,m\).
Proof
According to the condition \((H_{1})\) and \(\mu(t)=\sigma(t)-t\geq0\), \(r_{i}(t), d_{j}(t)>0\), we have \(1+\mu(t)r_{i}(t)>1\), \(0<1-\mu(t)d_{j}(t)<1\). In addition, in the light of the definitions of the generalized exponential function, we get
Noticing that \(t\leq s\leq\sigma(s)\leq t+\omega\), we have
Thus, the assertions (1) and (2) hold. Now we show that the assertion (3) holds too. Indeed, by \(\sigma(t+\omega)=\sigma(t)+\omega\) and the integration by substitution, we have
Similarly one shows that \(\hat{G}_{j}(t+\omega,s+\omega)=\hat{G}_{j}(t,s)\). The proof of Lemma 2.6 is complete. □
For the sake of obtaining the existence of a periodic solution of system (2.1), we need the following preparations.
Let X be a real Banach space, and K a closed, nonempty subset of X. Then K is a cone provided
-
(i)
\(k\alpha+l\beta\in K\) for all \(\alpha,\beta \in K\) and all \(k,l\geq0\);
-
(ii)
\(\alpha,-\alpha\in K\) imply \(\alpha=\theta\), here θ is the zero element of X.
Let E be a Banach space and K be a cone in E. The semi-order 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 non-compactness defined by
where \(\operatorname{diam}(A_{i})\) denotes the diameter of the set \(A_{i}\).
Let E, F be two Banach spaces and \(D\subset E\), a continuous and bounded map \(\Phi: \overline{\Omega}\rightarrow F\) is called k-set contractive if for any bounded set \(S\subset D\), we have
Φ 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 proofs of our main results of this paper.
Lemma 2.7
Let K be a cone in the real Banach space X and \(K_{r,R}=\{x\in K: r\leq\|x\|\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 x\nleq x\), \(\forall x\in K\), \(\|x\|=r\) and \(\Phi x\ngeq x\), \(\forall x\in K\), \(\|x\|=R\).
-
(ii)
\(\Phi x\ngeq x\), \(\forall x\in K\), \(\|x\|=r\) and \(\Phi x\nleq x\), \(\forall x\in K\), \(\|x\|=R\).
Then Φ has at least one fixed point in \(K_{r,R}\).
Define
Set
equipped with the norm defined by \(\|x\|=\sum_{i=1}^{n+m}|x_{i}|_{0}\), where \(|x_{i}|_{0}=\sup_{t\in[0,\omega]_{\mathbb{T}}}\{|x_{i}(t)|\}\), \(i=1,2,\ldots,n+m\). 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 \(G_{i}(t,s)\) (\(i=1,2,\ldots,n\)), \(\hat{G}_{j}(t,s)\) (\(j=1,2,\ldots,m\)) defined by (2.2) and (2.3), respectively.
Lemma 2.8
Assume that \((H_{1})\) holds, then \(\Phi: K\rightarrow K\) defined by (2.4) is well defined, that is, \(\Phi(K)\subset K\).
Proof
For any \(x\in K\), it is clear that \(\Phi x\in PC(\mathbb{T})\). In view of Lemma 2.6 and (2.4), we obtain
that is, \((\Phi_{i} x)(t+\omega)=(\Phi_{i} x)(t)\), \(\forall t\in\mathbb{T}\), \(i=1,2,\ldots,n\). Similarly, we have \((\Psi_{j} x)(t+\omega)=(\Psi_{j} x)(t)\), \(\forall t\in\mathbb{T}\), \(j=1,2,\ldots,m\). So \(\Phi x\in X\). For any \(x\in K\), we have
and
So \(\Phi x\in K\). This completes the proof of Lemma 2.8. □
Lemma 2.9
Assume that \((H_{1})\) holds, then \(\Phi: K\rightarrow K\) defined by (2.4) is completely continuous.
Proof
It is easy to see that Φ is continuous and bounded. Now we show that Φ maps bounded sets into relatively compact sets. Let \(\Omega\subset K\) be an arbitrary open bounded set in K, then there exists a number \(R>0\) such that \(\|x\|< R\) for any \(x=(u_{1},\ldots,u_{n}, v_{1},\ldots,v_{m})^{T}\in\Omega\). We prove that \(\overline{\Phi(\Omega)}\) is compact. In fact, for any \(x\in\Omega\) and \(t\in[0,\omega]_{\mathbb{T}}\), we have
and
Similarly, for any \(x\in\Omega\) and \(t\in[0,\omega]_{\mathbb{T}}\), we have
and
Hence,
It follows from Lemma 2.4 in [34] that \(\Phi(\bar{\Omega})\) is relatively compact in X. The proof of Lemma 2.9 is complete. □
3 Main results
In this section, we shall give our main results.
Theorem 3.1
Assume that
- \((H_{2})\) :
-
\(\max \{\max_{1\leq i\leq n} \{\frac{\gamma_{i}}{\sigma_{i}(1-\sigma_{i})} \},\max_{1\leq j\leq m} \{\frac{\hat{\gamma}_{j}\hat{\sigma}_{j}^{2}}{\hat{\sigma }_{j}-1} \} \}<1\).
- \((H_{3})\) :
-
\(X_{i}^{0}<\infty\), \(\hat{X}_{j}^{0}<\infty\), \(Y_{i}^{0}<\infty\), \(\hat{Y}_{j}^{0}<\infty\), \(X_{i}^{\infty}>0\), \(\hat{X}_{j}^{\infty}>0\), \(Y_{i}^{\infty}>0\), \(\hat{Y}_{j}^{\infty}>0\), \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\).
If \((H_{1})\)-\((H_{3})\) hold, then system (1.1) has at least one ω-periodic solution.
Proof
By the assumptions \((H_{2})\) and \((H_{3})\) of the theorem, there exists a positive number δ such that
and for any
there exist 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 \(x^{*}\in K\) such that \(\Phi x^{*}=x^{*}\), then \(x^{*}\) is one positive ω-periodic solution of system (1.1). Now, we shall prove that condition (ii) of Lemma 2.7 holds.
First, we prove that \(\Phi x\ngeq x\), \(\forall x\in K\), \(\|x\|=r\). Otherwise, there exists \(x\in K\), \(\|x\|=r\) such that \(\Phi x\neq x\). So \(\|x\|>0\) and \(\Phi x-x\in K\), which implies that
and
Moreover, for \(t\in[0,\omega]_{\mathbb{T}}\), we have
Similarly, for \(t\in[0,\omega]_{\mathbb{T}}\), we have
From (3.1)-(3.4) and the arbitrariness of ϵ, we get
which is a contradiction. Next, we prove that \(\Phi x\nleq x\), \(\forall x\in K\), \(\|x\|=R\) also holds. Indeed, we only need to prove that \(\Phi x\nless x\), \(\forall x\in K\), \(\|x\|=R\). For the sake of contradiction, suppose that there exists \(x\in K\) and \(\|x\|=R\) such that \(\Phi x< x\). Thus \(x-\Phi x\in K\setminus\{\theta=(0,0,\ldots,0)^{T}\}\). Furthermore, for any \(t\in[0,\omega]_{\mathbb{T}}\), we have
and
Since \(x\in K\) and \(\|x\|=R\), we find \(\forall s\in[0,\omega]_{\mathbb{T}}\),
and
In addition, for any \(t\in[0,\omega]_{\mathbb{T}}\), we have
Similarly, for any \(t\in[0,\omega]_{\mathbb{T}}\), we derive
It follows from (3.7) and (3.8) that
From (3.5)-(3.9), we obtain \(\|x\|>\|\Phi x\|\geq R\), which is 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. □
Similar to the proof of Theorem 3.1, one 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 \(Y_{i}(t,\cdot,\cdot)\equiv0\), \(\hat{Y}_{j}(t,\cdot,\cdot)\equiv0\), \(X_{i}^{0}<\infty\), \(\hat{X}_{j}^{0}<\infty\), \(X_{i}^{\infty}>0\), \(\hat{X}_{j}^{\infty}>0\) (\(i=1,\ldots,n\); \(j=1,\ldots,m\)) and \((H_{1})\)-\((H_{2})\) hold. Then system (1.1) has at least one positive ω-periodic solution.
Theorem 3.3
In system (1.1), assume that \(X_{i}(t,\cdot,\cdot)\equiv0\), \(\hat{X}_{j}(t,\cdot,\cdot)\equiv0\), \(Y_{i}^{0}<\infty\), \(\hat{Y}_{j}^{0}<\infty\), \(Y_{i}^{\infty}>0\), \(\hat{Y}_{j}^{\infty}>0\) (\(i=1,\ldots,n\); \(j=1,\ldots,m\)) and \((H_{1})\)-\((H_{2})\) hold. Then system (1.1) has at least one positive ω-periodic solution.
In system (1.1), if \(I_{ik}\equiv0\), \(\hat{I}_{jk}\equiv0\) (\(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\)), then system (1.1) changes into the following nonimpulsive system:
where \(\mathbb{T}\), \(r_{i}\), \(d_{j}\), \(X_{i}\), \(Y_{i}\), \(\hat{X}_{j}\), \(\hat{Y}_{j}\) (\(i=1,2,\ldots ,n\); \(j=1,2,\ldots,m\)) are the same as those in system (1.1). We have the following.
Theorem 3.4
Assume that \(X_{i}^{0}<\infty\), \(\hat{X}_{j}^{0}<\infty\), \(Y_{i}^{\infty}>0\), \(\hat{Y}_{j}^{\infty}>0\) (\(i=1,\ldots,n\); \(j=1,\ldots,m\)) and \((H_{1})\) hold. Then system (3.10) has at least one positive ω-periodic solution.
Proof
Let \(X=\{x:x\in C_{rd}(\mathbb{T},\mathbb{R}^{n+m}),x(t+\omega)=x(t),t\in\mathbb {T}\}\) with the norm defined by \(\|x\|=\sum_{i=1}^{n+m}|x|_{0}|\), here \(|x|_{0}=\sup_{t\in[0,\omega]_{\mathbb{T}}}\{|x_{i}(t)|\}\), \(i=1,2,\ldots,n+m\). Then X is a Banach space. Define the cone K in X by
The map Φ be defined by
where \(x\in K\), \(t\in\mathbb{T}\),
and \(G_{i}(t,s)\), \(\hat{G}_{j}(t,s)\) (\(i=1,2,\ldots,n\); \(j=1,2,\ldots,m\)) are defined by (2.2) and (2.3), respectively. 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 the following.
Theorem 3.5
In system (3.10), assume that \(Y_{i}(t,\cdot,\cdot)\equiv0\), \(\hat{Y}_{j}(t,\cdot,\cdot)\equiv0\), \(X_{i}^{0}<\infty\), \(\hat{X}_{j}^{0}<\infty\), \(X_{i}^{\infty}>0\), \(\hat{X}_{j}^{\infty}>0\) (\(i=1,\ldots,n\); \(j=1,\ldots,m\)) and \((H_{1})\) hold. Then system (3.10) has at least one positive ω-periodic solution.
Theorem 3.6
In system (3.10), assume that \(X_{i}(t,\cdot,\cdot)\equiv0\), \(\hat{X}_{j}(t,\cdot,\cdot)\equiv0\), \(Y_{i}^{0}<\infty\), \(\hat{Y}_{j}^{0}<\infty\), \(Y_{i}^{\infty}>0\), \(\hat{Y}_{j}^{\infty}>0\) (\(i=1,\ldots,n\); \(j=1,\ldots,m\)) and \((H_{1})\) hold. Then system (3.10) has at least one positive ω-periodic solution.
4 Applications
In this section, as applications of our main results, we will give some existence results of positive periodic solutions for Lotka-Volterra systems with or without impulses.
Firstly, we consider two classes of Lotka-Volterra system with impulses and time delays on time scales as follows:
and
where \(i=1,2,\ldots,n\). \(\mathbb{T}\) is an ω-periodic time scale, \(\omega>0\) is a constant. \(a_{i}\in C_{rd}(\mathbb{T},(0,\infty))\), \(a_{ij}, b_{ij}\in C_{rd}(\mathbb{T},(0,\infty))\), \(\tau_{j}\in C_{rd}(\mathbb{T},(0,\infty)_{\mathbb{T}})\) (\(j=1,2,\ldots,n\)) are rd-continuous ω-periodic functions. \(K_{ij}\in C_{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\), \(I_{i,k+p}=I_{ik}\), \(k\in\mathbb{Z}\), \([0,\omega)_{\mathbb{T}}\cap\{t_{k}:k\in\mathbb{Z}\}=\{ t_{1},t_{2},\ldots,t_{p}\}\).
Theorem 4.1
Assume that \(\max_{1\leq i\leq n}\{\frac{\gamma_{i}}{\sigma_{i}(1-\sigma_{i})}\}<1\), \(a_{ij}(t)>0\) (\(i,j=1,2,\ldots,n\)), then system (4.1) has at least one positive ω-periodic solution.
Proof
In this case,
and
It follows from Theorem 3.3 that system (4.1) has at least one positive ω-periodic solution. The proof of Theorem 4.1 is complete. □
In the light of Theorem 3.1, we have the following.
Theorem 4.2
Assume that \(\max_{1\leq i\leq n}\{\frac{\gamma_{i}}{\sigma_{i}(1-\sigma_{i})}\}<1\), \(a_{ij}(t),b_{ij}(t)>0\) (\(i,j=1,2,\ldots,n\)), then system (4.2) has at least one positive ω-periodic solution.
Next we consider the following predator-prey delay Lotka-Volterra system with impulses on time scales:
where \(i=1,2,\ldots,n\), \(j=1,2,\ldots,m\). \(\mathbb{T}\) is an ω-periodic time scale, \(\omega>0\) is a constant. \(a_{i}, r_{j}\in C_{rd}(\mathbb{T},(0,\infty))\), \(a_{il},b_{ij},d_{jl},e_{jh}\in C_{rd}(\mathbb{T},(0,\infty))\), \(\sigma_{il},\tau_{ij},\delta_{jl},\theta_{jh}\in C_{rd}(\mathbb{T},(0,\infty)_{\mathbb{T}})\) (\(i,l=1,2,\ldots,n\); \(j,h=1,2,\ldots,m\)) are ω-periodic functions. \(I_{ik},\hat{I}_{jk}\in C((0,\infty),(0,\infty))\). there exists a positive integer p such that \(t_{i,k+p}=t_{k}+\omega\), \(I_{i,k+p}=I_{ik}\), \(k\in\mathbb{Z}\), \([0,\omega)_{\mathbb{T}}\cap\{t_{k}:k\in\mathbb{Z}\}=\{ t_{1},t_{2},\ldots,t_{p}\}\).
Theorem 4.3
Assume that \(\max_{1\leq i\leq n}\{\frac{\gamma_{i}}{\sigma_{i}(1-\sigma_{i})}\}<1\), \(\max_{1\leq j\leq n}\{\frac{\hat{\gamma}_{j}\hat{\sigma}_{j}}{\hat{\sigma}_{j}-1}\}<1\), \(a_{il}(t),b_{ij}(t),d_{jl}(t), e_{jh}(t)>0\) (\(i,l=1,2,\ldots ,n\); \(j,h=1,2,\ldots,m\)) and \(\sup_{t\in[0,\omega]_{\mathbb{T}}}\{\mu(t)r_{j}(t)\}<1\) (\(j=1,2,\ldots,m\)), then system (4.3) has at least one positive ω-periodic solution.
Proof
In this case,
and
By Theorem 3.2, system (4.3) has at least one positive ω-periodic solution. The proof is complete. □
To this end, considering the existence of positive periodic solutions for systems (4.1)-(4.3) without impulses, we conclude the following assertions.
Theorem 4.4
In system (4.1), assume that \(I_{ik}\equiv0\), \(a_{ij}(t)>0\) (\(i,j=1,2,\ldots,n\)), then system (4.1) has at least one positive ω-periodic solution.
Theorem 4.5
In system (4.2), assume that \(I_{ik}\equiv0\), \(a_{ij}(t),b_{ij}(t)>0\) (\(i,j=1,2,\ldots,n\)), then system (4.2) has at least one positive ω-periodic solution.
Theorem 4.6
In system (4.3), assume that \(I_{ik}\equiv0\), \(\hat{I}_{jk}\equiv0\), \(a_{il}(t),b_{ij}(t),d_{jl}(t),e_{jh}(t)>0\) (\(i,l=1,2,\ldots ,n\); \(j,h=1,2,\ldots,m\)) and \(\sup_{t\in[0,\omega]_{\mathbb{T}}}\{\mu(t)r_{j}(t)\}<1\) (\(j=1,2,\ldots,m\)), then system (4.3) has at least one positive ω-periodic solution.
References
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(1), 181-188 (2004)
Li, YK: 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, Appl. Math 27, 66-72 (1985)
Li, YK, 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, KH, 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, YK, Zhao, KH, 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, KH, Li, YK: Multiple positive periodic solutions to a non-autonomous Lotka-Volterra predator-prey system with harvesting terms. Electron. J. Differ. Equ. 2011, Article ID 49 (2011)
Zhao, KH, Liu, JQ: Existence of positive almost periodic solutions for delay Lotka-Volterra cooperaive systems. Electron. J. Differ. Equ. 2013, Article ID 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, JGP, Solé, RV: 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, HT, Li, YK: 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, KH, Ding, L, Yang, FZ: 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), 1-30 (2014)
Zhao, KH: Global robust exponential synchronization of BAM recurrent FNNs with infinite distributed delays and diffusion terms on time scales. Adv. Differ. Equ. 2014, Article ID 317 (2014)
Liao, YZ, Xu, LJ: Almost periodic solution for a delayed Lotka-Volterra system on time scales. Adv. Differ. Equ. 2014, Article ID 96 (2014)
Li, YK, 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, Article ID 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, JG, 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, ER, Raffoul, YN: Periodic solutions for a neutral nonlinear dynamical equation on a time scale. J. Math. Anal. Appl. 319, 315-325 (2006)
Các, NP, Gatica, JA: 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., Theory Methods Appl. 60, 429-442 (2005)
Acknowledgements
The author thanks the referees for a number of suggestions which have improved many aspects of this article. This work is supported by the National Natural Sciences Foundation of People’s 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. Positive periodic solutions of Lotka-Volterra-like impulsive functional differential equations with infinite distributed time delays on time scales. Adv Differ Equ 2017, 328 (2017). https://doi.org/10.1186/s13662-017-1381-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1381-1