Skip to main content

Theory and Modern Applications

Permanence and almost periodic solution of a multispecies Lotka-Volterra mutualism system with time varying delays on time scales

Abstract

In this paper, we consider the almost periodic dynamics of a multispecies Lotka-Volterra mutualism system with time varying delays on time scales. By establishing some dynamic inequalities on time scales, a permanence result for the model is obtained. Furthermore, by means of the almost periodic functional hull theory on time scales and Lyapunov functional, some criteria are obtained for the existence, uniqueness and global attractivity of almost periodic solutions of the model. Our results complement and extend some scientific work in recent years. Finally, an example is given to illustrate the main results.

1 Introduction

Recently, there have been many scholars concerned with the dynamics of the mutualism model. Topics such as permanence, global attractivity, and periodicity of mutualism systems governed by differential equations were extensively investigated (see [110]). For example, in [10], the author studied the existence of positive periodic solutions of the periodic mutualism model

$$ \left \{ \textstyle\begin{array}{l} \frac{\mathrm{d}x_{1}(t)}{\mathrm{d}t}=x_{1}(t) [\frac {r_{1}(t)K_{1}(t)+r_{1}(t)\alpha_{1}(t)x_{2}(t-\tau_{2}(t))}{1+x_{2}(t-\tau_{2}(t))}-r_{1}(t)x_{1}(t-\sigma_{1}(t)) ], \\ \frac{\mathrm{d}x_{2}(t)}{\mathrm{d}t}=x_{2}(t) [\frac {r_{2}(t)K_{2}(t)+r_{2}(t)\alpha_{2}(t)x_{1}(t-\tau_{1}(t))}{1+x_{1}(t-\tau_{1}(t))}-r_{2}(t)x_{2}(t-\sigma_{2}(t)) ], \end{array}\displaystyle \right . $$
(1.1)

where \(r_{i}, K_{i}, \alpha_{i}\in C(\mathbb{R},\mathbb{R}^{+})\), \(\alpha_{i} >K_{i}\), \(i=1,2\), \(\tau_{i}, \sigma_{i}\in C(\mathbb {R},\mathbb{R}^{+})\), \(i=1,2\), \(r_{i}\), \(K_{i}\), \(\alpha_{i}\), \(\tau_{i}\), \(\sigma _{i}\) (\(i=1,2\)) are functions of period \(\omega>0\).

However, in applications, if the various constituent components of the temporally nonuniform environment are with incommensurable periods, then one has to consider the environment to be almost periodic since there is no a priori reason to expect the existence of periodic solutions. Hence, if we consider the effects of the environmental factors, almost periodicity is sometimes more realistic and more general than periodicity. In recent years, the almost periodic solution of the models in biological populations has been studied extensively (see [1118] and the references cited therein). In addition, some recent attention was on the permanence and global stability of discrete mutualism system, and many excellent results have been derived (see [1924]). For example, in [24], the authors considered the following discrete multispecies Lotka-Volterra mutualism system:

$$ x_{i}(k+1)=x_{i}(k)\exp \Biggl\{ a_{i}(k)-b_{i}(k)x_{i}(k)+\sum _{j=1,j\neq i}^{n}c_{ij}(k) \frac{x_{j}(k)}{d_{ij}+x_{j}(k)} \Biggr\} , $$
(1.2)

where \(i=1, 2,\ldots, x_{i}(k)\) stand for the densities of species \(x_{i}\) at the kth generation, \(a_{i}(k)\) represent the natural growth rates of species \(x_{i}\) at the kth generation, \(b_{i}(k)\) are the intraspecific effects of the kth generation of species \(x_{i}\) on own population, \(c_{ij}(k)\) measure the interspecific mutualism effects of the kth generation of species \(x_{j}\) on species \(x_{i}\) (\(i, j=1,2,\ldots,n\), \(i\neq j\)), and \(d_{ij}\) (≥1) are positive control constants. By means of the theory of difference inequality and Lyapunov function, they established sufficient conditions for the existence and uniformly asymptotic stability of a unique positive almost periodic solution to system (1.2).

Furthermore, so many processes, both natural and manmade, in biology, medicine, chemistry, physics, engineering, economics, etc. involve time delays. Time delays occur so often, so if we ignore them, we ignore reality. Generally, the meaning of time delay is that some time elapses between causes and their effects (for instance, in population dynamics, individuals always need some time to mature, or in medicine, infectious diseases have incubation periods). Specially, in the real world, the delays in differential equations of biological phenomena are usually time varying. Thus, it is worthwhile continuing to study the existence and stability of a unique almost periodic solution of the multispecies Lotka-Volterra mutualism system with time varying delays.

Since permanence is one of the most important topics in the study of population dynamics, one of the most interesting questions in mathematical biology concerns the survival of species in ecological models. Biologically, when a system of interacting species is persistent in a suitable sense, it means that all the species survive in the long term. It is reasonable to ask for conditions under which the system is permanent.

Also, as we know, the study of dynamical systems on time scales is now an active area of research. The theory of times scales has received a lot of attention which was introduced by Stefan Hilger in his PhD thesis in 1988, providing a rich theory that unifies and extends continuous and discrete analysis [25]. In fact, both continuous and discrete systems are very important in implementation and applications. But it is troublesome to study the dynamics for continuous and discrete systems respectively. Therefore, it is significant to study that on time scales which can unify the continuous and discrete situations.

Motivated by the above reasons, in this paper, we are concerned with the following multispecies Lotka-Volterra mutualism system with time varying delays on time scales:

$$\begin{aligned}& x_{i}^{\Delta}(t) = a_{i}(t)-b_{i}(t)e^{x_{i}(t-\tau_{i}(t))}+ \sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{x_{j}(t-\delta _{j}(t))}}{d_{ij}+e^{x_{j}(t-\delta_{j}(t))}}, \\& \quad i=1,2,\ldots, n, t\geq t_{0}, t, t_{0}\in{ \mathbb{T}}, \end{aligned}$$
(1.3)

where \(\mathbb{T}\) is an almost periodic time scale.

Remark 1.1

Let \(y_{i}(t)=e^{x_{i}(t)}\), if \(\mathbb{T}=\mathbb{R}\), then system (1.3) is reduced to the following system:

$$\begin{aligned}& y_{i}(t) = y_{i}(t) \Biggl\{ a_{i}(t)-b_{i}(t)y_{i}\bigl(t- \tau_{i}(t)\bigr)+\sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{y_{j}(t-\delta _{j}(t))}{d_{ij}+y_{j}(t-\delta_{j}(t))} \Biggr\} , \\& \quad i=1,2,\ldots, n, t\in\mathbb{R}, \end{aligned}$$
(1.4)

which is a generalization of (1.1). If \(\mathbb{T}=\mathbb{Z}\), then system (1.3) is reduced to the following system:

$$\begin{aligned}& y_{i}(k+1) = y_{i}(k)\exp \Biggl\{ a_{i}(k)-b_{i}(k)y_{i}\bigl(k-\tau _{i}(k)\bigr) +\sum_{j=1,j\neq i}^{n}c_{ij}(k) \frac{y_{j}(k-\delta _{j}(k))}{d_{ij}+y_{j}(k-\delta_{j}(k))} \Biggr\} , \\& \quad i=1, 2,\ldots, t\in\mathbb{Z}, \end{aligned}$$
(1.5)

let \(\tau_{i}(k)=0\), \(\delta_{j}(k)=0\), then system (1.3) is reduced to system (1.2).

By the biological meaning, we will focus our discussion on the positive solutions of system (1.3). So, it is assumed that the initial condition of system (1.3) is of the form

$$ x_{i}(s)=\varphi_{i}(s)\geq0, \qquad \varphi_{i}(t_{0})>0, \quad s\in [t_{0}-\theta, t_{0}]_{\mathbb{T}}, i=1,2,\ldots,n, $$
(1.6)

where \(\theta=\max\{\tau^{+}, \delta^{+}\}\), \(\tau^{+}=\max_{1\leq i\leq n}\sup_{t\in\mathbb{T}}\{\tau_{i}(t)\}\), \(\tau ^{-}=\min_{1\leq i\leq n}\inf_{t\in\mathbb{T}}\{\tau _{i}(t)\}\), \(\delta^{+}= \max_{1\leq j\leq n}\sup_{t\in \mathbb{T}}\{\delta_{j}(t)\}\), \(\delta^{-}=\min_{1\leq j\leq n}\inf_{t\in\mathbb{T}}\{\delta_{j}(t)\}\).

For convenience, we denote

$$ f^{l}=\inf_{t\in{\mathbb{T}}}\bigl\vert f(t)\bigr\vert , \qquad f^{u}=\sup_{t\in{\mathbb{T}}}\bigl\vert f(t)\bigr\vert . $$

Throughout this paper, we assume that:

(H1):

\(a_{i}(t)\), \(b_{i}(t)\), \(c_{ij}(t)\), \(\tau_{i}(t)\), \(\delta_{j}(t)\) are all almost periodic functions such that \(a_{i}^{l}>0\), \(b_{i}^{l}>0\), \(c_{ij}^{l}>0\), \(\tau^{-}>0\) and \(\delta^{-}>0\); \(d_{ij}>1\), \(t-\tau _{i}(t)\in\mathbb{T}\) and \(t-\delta_{j}(t)\in\mathbb{T}\) for \(t\in {\mathbb{T}}\), \(i,j=1,2,\ldots,n\), \(j\neq i\).

(H2):

\(\tau^{\Delta}=\max_{1\leq i\leq n}\sup_{t\in\mathbb {T}}\{\tau_{i}^{\Delta}(t)\}\), \(\delta^{\Delta}=\max_{1\leq j\leq n}\sup_{t\in\mathbb{T}}\{\delta_{j}^{\Delta}(t)\}\) and \(1-\tau^{\Delta}>0\), \(1-\delta^{\Delta}>0\).

To the best of our knowledge, there is no paper published on the permanence, the existence and uniqueness of globally attractive almost periodic solutions to systems (1.4) and (1.5). The main purpose of this paper is, by establishing some dynamic inequalities on time scales, to discuss the permanence of system (1.3) and, by using the almost periodic functional hull theory on time scales, to establish criteria for the existence and uniqueness of globally attractive almost periodic solutions of system (1.3). For the preliminary work which has investigated the permanence, the existence and uniqueness of globally attractive almost periodic solutions to almost periodic systems governed by differential or difference equations by using the almost periodic functional hull theory, we refer the reader to [2630].

The paper is organized as follows. In Section 2, we introduce some basic definitions, necessary lemmas and establish some dynamic inequalities on time scales which will be used in later sections. In Section 3, we discuss the permanence of system (1.3). In Section 4, we consider the global attractivity of almost periodic solutions of system (1.3) by means of Lyapunov functional. In Section 5, some sufficient conditions are obtained for the existence of positive almost periodic solutions of system (1.3) by use of the almost periodic functional hull theory on time scales. The main results in Sections 4 and 5 are illustrated by giving an example in Section 6.

2 Preliminaries

In this section, we shall recall some basic definitions, lemmas which are used in what follows.

A time scale \(\mathbb{T}\) is an arbitrary nonempty closed subset of the real numbers, the forward and backward jump operators \(\sigma, \rho :\mathbb{T}\rightarrow\mathbb{T}\) and the forward 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}\).

A function \(f:\mathbb{T}\rightarrow\mathbb{R}\) is right-dense continuous provided it is continuous at right-dense point in \(\mathbb{T}\) and its left-side limits exist at left-dense points in \(\mathbb{T}\). If f is continuous at each right-dense point and each left-dense point, then f is said to be a continuous function on \(\mathbb{T}\).

For \(y:\mathbb{T}\rightarrow\mathbb{R}\) and \(t\in\mathbb{T}^{k}\), we define the delta derivative of \(y(t)\), \(y^{\Delta}(t)\) to be the number (if it exists) with the property that for a given \(\varepsilon>0\), there exists a neighborhood U of t such that

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

for all \(s\in U\).

If y is continuous, then y is right-dense continuous, and if y is delta differentiable at t, then y is continuous at t.

Let f be right-dense continuous, if \(F^{\Delta}(t)=f(t)\), then we define the delta integral by

$$ \int_{r}^{s}f(t)\Delta t=F(s)-F(r), \quad r, s \in{\mathbb{T}}. $$

Lemma 2.1

[25]

Assume \(f, g : \mathbb{T} \rightarrow\mathbb{R}\) are delta differentiable at \(t\in\mathbb{T}_{k}\), then

  1. (i)

    \((f + g)^{\Delta}(t)=f^{\Delta}(t) + g^{\Delta}(t)\);

  2. (ii)

    \((fg)^{\Delta}(t)=f^{\Delta}(t)g(t) + f^{\sigma }(t)g^{\Delta}(t) = f(t)g^{\Delta}(t) + f^{\Delta}(t)g^{\sigma}(t)\);

  3. (iii)

    if \(g(t)g^{\sigma}(t)\neq0\), then \({ (\frac{f}{g} )^{\Delta}= \frac{f^{\Delta}(t)g(t)-f(t)g^{\Delta }(t)}{g(t)g^{\sigma}(t)}}\);

  4. (iv)

    if f and \(f^{\Delta}\) are continuous, then \((\int_{a}^{t}f(t, s)\Delta s)^{\Delta}=f(\sigma(t), t)+\int_{a}^{t}f^{\Delta }(t, s)\Delta s\).

A function \(p:\mathbb{T}\rightarrow\mathbb{R}\) is called regressive provided \(1+\mu(t)p(t)\neq0\) for all \(t\in{\mathbb{T}^{k}}\). The set of all regressive and rd-continuous functions \(p:\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}^{+}=\mathcal{R}^{+}(\mathbb{T}, \mathbb{R})=\{p\in\mathcal {R}: 1+\mu(t)p(t)> 0, \forall t\in{\mathbb{T}}\}\).

If \(r\in\mathcal{R}\), then the generalized exponential function \(e_{r}\) is defined by

$$ e_{r}(t, s)=\exp \biggl\{ \int_{s}^{t} \xi_{\mu(\tau)}\bigl(r(\tau)\bigr)\Delta\tau \biggr\} $$

for all \(s,t\in\mathbb{T}\), with the cylinder transformation

$$ \xi_{h}(z)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{\operatorname{Log}(1+hz)}{h}, & h\neq 0, \\ z, & h=0. \end{array}\displaystyle \right . $$

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

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

Then the generalized exponential function has the following properties.

Lemma 2.2

[25]

Assume that \(p,q:\mathbb{T}\rightarrow\mathbb{R}\) are two regressive functions, then

  1. (i)

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

  2. (ii)

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

  3. (iii)

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

  4. (iv)

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

  5. (v)

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

  6. (vi)

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

  7. (vii)

    \((\frac{1}{e_{p}(t,s)} )^{\Delta}=\frac {-p(t)}{e^{\sigma}_{p}(t,s)}\).

Lemma 2.3

[31]

Let \(f:\mathbb{T}\rightarrow \mathbb{R}\) be a continuously increasing function and \(f(t)>0\) for \(t\in \mathbb{T}\), then

$$ \frac{f^{\Delta}(t)}{f^{\sigma}(t)}\leq\bigl[\ln\bigl(f(t)\bigr)\bigr]^{\Delta}\leq \frac {f^{\Delta}(t)}{f(t)}. $$

Definition 2.1

[32]

A time scale \(\mathbb{T}\) is called an almost periodic time scale if

$$ \Pi= \{\tau\in\mathbb{R}: t\pm\tau\in\mathbb{T}, \forall t\in{\mathbb {T}} \} \neq\{0\}. $$

Throughout this paper, \(\mathbb{E}^{n}\) denotes \(\mathbb{R}^{n}\) or \(\mathbb{C}^{n}\), D denotes an open set in \(\mathbb{E}^{n}\) or \(D=\mathbb{E}^{n}\), and S denotes an arbitrary compact subset of D.

Definition 2.2

[32]

Let \(\mathbb{T}\) be an almost periodic time scale. A function \(f\in C(\mathbb{T}\times D, \mathbb {E}^{n})\) is called an almost periodic function in \(t\in\mathbb{T}\) uniformly for \(x\in D\) if the ε-translation set of f,

$$ E\{\varepsilon , f, S\}=\bigl\{ t\in\Pi: \bigl\vert f(t+\tau, x)-f(t, x)\bigr\vert < \varepsilon , \forall (t, x)\in\mathbb{T}\times S\bigr\} $$

is a relatively dense set in \(\mathbb{T}\) for all \(\varepsilon >0\) and for each compact subset S of D; that is, for any given \(\varepsilon >0\) and for each compact subset S of D, there exists a constant \(l(\varepsilon , S)>0\) such that each interval of length \(l(\varepsilon , S)\) contains \(\tau(\varepsilon , S)\in E\{\varepsilon , f, S\}\) such that

$$ \bigl\vert f(t+\tau, x)-f(t, x)\bigr\vert < \varepsilon ,\quad \forall(t, x)\in \mathbb{T}\times S. $$

τ is called the ε-translation number of f and \(l(\varepsilon , S)\) is called the inclusion length of \(E\{\varepsilon , f, S\}\).

For convenience, we denote \(\operatorname{AP}(\mathbb{T})=\{f: f\in C(\mathbb{T}, \mathbb{E}^{n}), f\mbox{ is almost periodic}\}\) and introduce some notations: let \(\alpha=\{\alpha_{n}\}\) and \(\beta=\{\beta_{n}\}\) be two sequences. Then \(\beta\subset\alpha\) means that β is a subsequence of α, \(\alpha+\beta=\{\alpha_{n}+\beta_{n}\}\), \(-\alpha=\{-\alpha_{n}\}\). α and β are common subsequences of \(\alpha'\) and \(\beta'\), respectively, which means that \(\alpha _{n}=\alpha'_{n(k)}\) and \(\beta_{n}=\beta'_{n(k)}\) for some given function \(n(k)\).

We will introduce the translation operator T, \(T_{\alpha}f(t, x)=g(t, x)\), which means that \(g(t, x)=\lim_{n\rightarrow+\infty}f(t+\alpha _{n}, x)\) and is written only when the limit exists. The mode of convergence, for example, pointwise, uniform, and so forth, will be specified at each use of the symbol.

Definition 2.3

[32]

Let \(f\in C(\mathbb{T}\times D, \mathbb{E}^{n})\), \(H(f)\) = {\(g: \mathbb {T}\times D\rightarrow\mathbb{E}^{n}\, |\) there exists \(\alpha\in\Pi\) such that \(T_{\alpha}f(t, x)=g(t, x)\) exists uniformly on \(\mathbb{T}\times S\)} is called the hull of f.

Lemma 2.4

[32]

If \(f(t, x)\) is almost periodic in \(t\in\mathbb{T}\) uniformly for \(x\in D\), then, for any \(g(t, x)\in H(f)\), \(g(t, x)\) is almost periodic in \(t\in\mathbb{T}\) uniformly for \(x\in D\).

Lemma 2.5

[32]

If \(f(t, x)\) is almost periodic in \(t\in\mathbb{T}\) uniformly for \(x\in D\), denote \(F(t, x)=\int_{0}^{t}f(s, x)\Delta s\), then \(F(t, x)\) is almost periodic in \(t\in\mathbb{T}\) uniformly for \(x\in D\) if and only if \(F(t, x)\) is bounded on \(\mathbb{T}\times S\).

Lemma 2.6

[32]

A function \(f(t, x)\) is almost periodic in \(t\in\mathbb{T}\) uniformly for \(x\in D\) if and only if from every pair of sequences \(\alpha '\subset\Pi\), \(\beta'\subset\Pi\) one can extract common subsequences \(\alpha\subset\alpha'\), \(\beta\subset\beta'\) such that

$$ T_{\alpha+\beta}f(t, x)=T_{\alpha}T_{\beta}f(t, x). $$

Lemma 2.7

[32]

A function \(f(t)\) is almost periodic if and only if for any sequence \(\{ \alpha_{n}'\}\subset\Pi\) there exists a subsequence \(\{\alpha_{n}\} \subset\{\alpha_{n}'\}\) such that \(f(t+\alpha_{n})\) converges uniformly on \(t\in\mathbb{T}\) as \(n\rightarrow\infty\). Furthermore, the limit function is also almost periodic.

Consider the following equation:

$$ x^{\Delta}(t)=f(t,x), \quad t\in\mathbb{T} $$
(2.1)

and the corresponding hull equation

$$ x^{\Delta}(t)=g(t,x), \quad t\in\mathbb{T}, $$
(2.2)

where \(f:\mathbb{T} \times S\rightarrow\mathbb{E}^{n}\), \(f(t, x)\) is almost periodic in t uniformly for \(x\in S\), \(g(t,x)\in H(f)\).

Similar to the proof of Theorem 3.2 in [33], one can easily get the following.

Lemma 2.8

Let \(f(t, x)\in C(\mathbb{T}\times S, \mathbb{E}^{n})\) be an almost periodic in t uniformly for \(x\in S\). For every \(g(t,x)\in H(f)\), the hull equation (2.2) has a unique solution, then these solutions are almost periodic.

Definition 2.4

Suppose that \(\varphi(t)\) is any solution of (2.1) on \(\mathbb {T}\). \(\varphi(t)\) is said to be a strictly positive solution on \(\mathbb{T}\) if for \(t\in\mathbb{T}\),

$$ 0< \inf_{t\in\mathbb{T}}\varphi(t)\leq\sup_{t\in\mathbb {T}} \varphi(t)< \infty. $$

Lemma 2.9

If each of the hull equations of system (2.1) has a unique strictly positive solution, then system (2.1) has a unique strictly positive almost periodic solution.

Proof

Suppose that \(\varphi(t)\) is a strictly positive solution of system (2.2). Since f is almost periodic in t uniformly for \(x\in S\), by Lemma 2.6, for any sequences \(\alpha', \beta '\subset\Pi\), there exist common subsequences \(\alpha\subset\alpha'\), \(\beta\subset\beta'\) such that \(T_{\alpha+\beta}f(t,x)=T_{\alpha }T_{\beta}f(t,x)\) holds uniformly in t for \(x\in S\), \(T_{\alpha+\beta }\varphi(t)\) and \(T_{\alpha}T_{\beta}\varphi(t)\) uniformly exist on a compact set of \(\mathbb{T}\). Then \(T_{\alpha+\beta}\varphi(t)\) and \(T_{\alpha}T_{\beta}\varphi(t)\) are solutions of the equation

$$ x^{\Delta}(t)=T_{\alpha+\beta}f(t,x),\quad t\in\mathbb{T}, $$

which is the common hull equation of system (2.1), with respect to α and β, respectively. Therefore, we have \(T_{\alpha+\beta}\varphi(t)=T_{\alpha}T_{\beta }\varphi(t)\), then by Lemma 2.6, \(\varphi(t)\) is an almost periodic solution of (2.1). Since \(\alpha\subset\alpha'\subset\Pi \) and \(\lim_{n\rightarrow\infty}\alpha'_{n}=+\infty\), \(T_{\alpha }f(t,x)=g(t,x)\) exists uniformly in \(t\in\mathbb{T}\) for \(x\in S\). For the sequence \(\alpha\subset\alpha'\), we conclude that \(T_{\alpha}\varphi (t)=\psi(t)\) exists uniformly in \(t\in\mathbb{T}\). According to the uniqueness of the solution and \(T_{\alpha}\psi(t)=\psi(t)\), one obtains that \(\varphi(t)=\psi(t)\). The proof is completed. □

Lemma 2.10

[25]

Assume that \(a\in\mathcal{R}\) and \(t_{0}\in{\mathbb{T}}\), if \(a\in \mathcal{R}^{+}\) on \(\mathbb{T}^{k}\), then \(e_{a}(t,t_{0})> 0\) for all \(t\in{\mathbb{T}}\).

Lemma 2.11

Assume that \(x(t)>0\) on \(\mathbb{T}\), \(-b\in\mathcal{R}^{+}\), \(b\geq 0\), \(a, d> 0\), \(t-\tau(t)\in\mathbb{T}\), where \(\tau:\mathbb {T}\rightarrow\mathbb{R}^{+}\) is an rd-continuous function and \(\bar {\tau}=\sup_{t\in\mathbb{T}}\{\tau(t)\}\).

  1. (i)

    If \(x^{\Delta}(t)\leq x^{\sigma}(t)(b-ax(t-\tau(t)))+d\) for \(t\geq t_{0}\), \(t_{0}\in{\mathbb{T}}\), with the initial condition \(x(t)=\phi(t)\geq0\) for \(t\in[t_{0}-\bar{\tau}, t_{0}]_{\mathbb{T}}\) and \(\phi(t_{0})>0\), then

    $$ \limsup_{t\rightarrow+\infty}x(t)\leq-\frac{d}{b}+ \biggl( \frac {d}{b}+\bar{x} \biggr)\exp \biggl\{ -\frac{\bar{\tau}\log(1-b\bar{\mu})}{\bar {\mu}} \biggr\} :=M, $$

    where \(\bar{\mu}=\sup_{\theta\in\mathbb{T}}\{\mu(\theta)\}\) and \(\bar{x}\) is the unique positive root of \(x(ax-b)-d=0\).

    Especially, if \(d=0\), then

    $$ M=\frac{b}{a}\exp \biggl\{ -\frac{\bar{\tau}\log(1-b\bar{\mu})}{\bar{\mu }} \biggr\} . $$
  2. (ii)

    If \(x^{\Delta}(t)\geq x^{\sigma}(t)(b-ax(t-\tau(t)))+d\) for \(t\geq t_{0}\), \(t_{0}\in{\mathbb{T}}\), with the initial condition \(x(t)=\phi(t)\geq0\) for \(t\in[t_{0}-\bar{\tau}, t_{0}]_{\mathbb{T}}\), \(\phi(t_{0})>0\) and there exists a positive constant \(N>0\) such that \(\limsup_{t\rightarrow+\infty}x(t)\leq N<+\infty\), then

    $$ \liminf_{t\rightarrow+\infty}x(t)\geq\frac{b}{a}e^{-aN\bar{\tau}}:=m. $$

Proof

The proof of (i). It is obvious that there exists a unique positive root of the equation \(x(ax-b)-d=0\). Suppose that \(\limsup_{t\rightarrow+\infty}x(t)=+\infty\). Then there exists a subsequence \(\{ t_{k}\}_{k=1}^{\infty}\subset\mathbb{T}\) with \(t_{k}\rightarrow+\infty\) as \(k\rightarrow+\infty\) such that

$$ \lim_{k\rightarrow+\infty}x(t_{k})=+\infty, \qquad x^{\sigma }(t_{k})\geq\bar{x}, \qquad x^{\Delta}(t)|_{t=t_{k}} \geq0, \quad k=1, 2, \ldots. $$

Thus, we have

$$ x^{\sigma}(t_{k}) \bigl(b-ax\bigl(t_{k}- \tau(t_{k})\bigr)\bigr)+d\geq0, $$

so

$$ x\bigl(t_{k}-\tau(t_{k})\bigr)\leq \frac{1}{a} \biggl(b+\frac{d}{x^{\sigma }(t_{k})} \biggr)\leq\frac{1}{a} \biggl(b+\frac{d}{\bar{x}} \biggr)=\bar {x}, \quad k=1, 2, \ldots. $$
(2.3)

Consider the following inequality:

$$ x^{\Delta}(t)\leq bx^{\sigma}(t)+d, \quad \mbox{with } x \bigl(t_{0}^{\ast }\bigr)>0, t_{0}^{\ast}\geq t_{0}. $$

Notice that

$$\begin{aligned} \bigl[x(t)e_{-b}\bigl(t, t_{0}^{\ast} \bigr)\bigr]^{\Delta} =&e_{-b}\bigl(t, t_{0}^{\ast } \bigr)x^{\Delta}(t)-be_{-b}\bigl(t, t_{0}^{\ast} \bigr)x^{\sigma}(t) \\ =&e_{-b}\bigl(t, t_{0}^{\ast}\bigr) \bigl(x^{\Delta}(t)-bx^{\sigma}(t)\bigr) \\ \leq&de_{-b}\bigl(t, t_{0}^{\ast}\bigr). \end{aligned}$$
(2.4)

Integrating inequality (2.4) from \(t_{0}^{\ast}\) to t, we have

$$\begin{aligned} e_{-b}\bigl(t, t_{0}^{\ast}\bigr)x(t)-x \bigl(t_{0}^{\ast}\bigr) \leq&\int_{t_{0}^{\ast }}^{t}de_{-b} \bigl(\theta, t_{0}^{\ast}\bigr)\Delta\theta \\ =&-\frac{d}{b}\int_{t_{0}^{\ast}}^{t} \bigl[e_{-b}\bigl(\theta, t_{0}^{\ast }\bigr) \bigr]^{\Delta}\Delta\theta \\ =&-\frac{d}{b}\bigl[e_{-b}\bigl(t, t_{0}^{\ast} \bigr)-1\bigr], \end{aligned}$$

then

$$ x(t)\leq-\frac{d}{b}+ \biggl(\frac{d}{b}+x \bigl(t_{0}^{\ast}\bigr) \biggr)e_{\ominus (-b)}\bigl(t, t_{0}^{\ast}\bigr). $$
(2.5)

In view of (2.3) and (2.5), we obtain

$$\begin{aligned} x(t_{k}) \leq&-\frac{d}{b}+ \biggl( \frac{d}{b}+x\bigl(t_{k}-\tau(t_{k})\bigr) \biggr)e_{\ominus(-b)}\bigl(t_{k}, t_{k}- \tau(t_{k})\bigr) \\ \leq&-\frac{d}{b}+ \biggl(\frac{d}{b}+\bar{x} \biggr)e_{\ominus (-b)}\bigl(t_{k}, t_{k}- \tau(t_{k})\bigr), \quad k=1, 2, \ldots. \end{aligned}$$
(2.6)

For every \(\theta\in\mathbb{T}\), if \(\mu(\theta)=0\), then

$$ \xi_{\mu}\bigl(\ominus(-b)\bigr)=\ominus(-b)=\frac{b}{1-\mu(\theta)b}=b, $$

if \(\mu(\theta)\neq0\), then

$$ \xi_{\mu}\bigl(\ominus(-b)\bigr)=\frac{\log (1+\frac{b\mu(\theta)}{1-\mu (\theta)b} )}{\mu(\theta)} =- \frac{\log(1-b\mu(\theta))}{\mu(\theta)}\leq-\frac{\log(1-b\bar{\mu })}{\bar{\mu}}\ (>b). $$

Hence, for every \(\theta\in\mathbb{T}\), we have

$$\begin{aligned} \int_{t_{k}-\tau(t_{k})}^{t_{k}}\xi_{\mu}\bigl( \ominus(-b)\bigr)\Delta\theta \leq &\max \biggl\{ \int_{t_{k}-\tau(t_{k})}^{t_{k}}b \Delta\theta, \int_{t_{k}-\tau(t_{k})}^{t_{k}}-\frac{\log(1-b\bar{\mu})}{\bar{\mu}} \Delta \theta \biggr\} \\ =& -\frac{\tau(t_{k})\log(1-b\bar{\mu})}{\bar{\mu}} \\ \leq&-\frac{\bar{\tau}\log(1-b\bar{\mu})}{\bar{\mu}},\quad k=1, 2, \ldots. \end{aligned}$$

Thus

$$ e_{\ominus(-b)}\bigl(t_{k}, t_{k}- \tau(t_{k})\bigr)\leq\exp \biggl\{ -\frac{\bar{\tau }\log(1-b\bar{\mu})}{\bar{\mu}} \biggr\} ,\quad k=1, 2, \ldots. $$
(2.7)

It follows from (2.6) and (2.7) that

$$ x(t_{k})\leq-\frac{d}{b}+ \biggl(\frac{d}{b}+\bar{x} \biggr) \exp \biggl\{ -\frac{\bar{\tau}\log(1-b\bar{\mu})}{\bar{\mu}} \biggr\} =M,\quad k=1, 2, \ldots, $$

then

$$ \limsup_{k\rightarrow+\infty}x(t_{k})\leq M. $$

Especially, if \(d=0\), then \(\bar{x}=\frac{b}{a}\), we can easily know that

$$ M=\frac{b}{a}\exp \biggl\{ -\frac{\bar{\tau}\log(1-b\bar{\mu})}{\bar{\mu }} \biggr\} . $$

Hence \(\limsup_{k\rightarrow+\infty}x(t_{k})<+\infty\). This contradicts the assumption.

We claim

$$ \limsup_{t\rightarrow+\infty}x(t)\leq M. $$

Otherwise,

$$ \limsup_{t\rightarrow+\infty}x(t)> M, $$

there exists ε such that \(x(t)> M+\varepsilon\) for any \(t\in \mathbb{T}\). So we can choose \(\{t_{k}\}_{k=1}^{\infty}\subset\mathbb{T}\) such that

$$ x(t_{k})> M+\varepsilon,\qquad x^{\sigma}(t_{k})\geq \bar{x},\qquad x^{\Delta}(t)|_{t=t_{k}}\geq0,\quad k=1, 2, \ldots. $$

By a similar process as above, we can derive that

$$ x(t_{k})\leq M, $$

which is a contradiction. Hence, our claim holds.

The proof of (ii). Suppose that \(\liminf_{t\rightarrow+\infty }x(t)=0\). Then there exists a subsequence \(\{\tilde{t}_{k}\}_{1}^{\infty }\subset\mathbb{T}\) with \(\tilde{t}_{k}\rightarrow+\infty\) as \(k\rightarrow+\infty\) such that

$$ \lim_{k\rightarrow+\infty}x(\tilde{t}_{k})=0,\qquad x^{\Delta }(t)|_{t=\tilde{t}_{k}}\leq0,\quad k=1, 2, \ldots. $$

We have \(b-ax(\tilde{t}_{k}-\tau(\tilde{t}_{k}))\leq0\), then \(x(\tilde{t}_{k}-\tau(\tilde{t}_{k}))\geq\frac{b}{a}\). For any positive constant ε small enough, it follows from \(\limsup_{t\rightarrow+\infty}x(t)\leq N\) that there exists large enough \(T_{1}\) such that

$$ x(t)\leq N+\varepsilon,\quad t>T_{1}, $$

then \(x(\tilde{t}_{k}-\tau(\tilde{t}_{k}))\leq N+\varepsilon\) for \(\tilde{t}_{k}>T_{1}+\tau(\tilde{t}_{k})\). So we have

$$\begin{aligned} x^{\Delta}(\tilde{t}_{k}) \geq& x^{\sigma}( \tilde{t}_{k}) \bigl(b-ax\bigl(\tilde{t}_{k}-\tau( \tilde{t}_{k})\bigr)\bigr)+d \\ \geq& x^{\sigma}(\tilde{t}_{k}) \bigl(b-ax\bigl( \tilde{t}_{k}-\tau(\tilde{t}_{k})\bigr)\bigr) \\ \geq& -a(N+\varepsilon)x^{\sigma}(\tilde{t}_{k}), \quad k=1, 2, \ldots. \end{aligned}$$
(2.8)

Consider the following inequality:

$$ x^{\Delta}(t)\geq-a(N+\varepsilon)x^{\sigma}(t), \quad \mbox{with } x \bigl(t_{0}^{\ast}\bigr)>0, t_{0}^{\ast}\geq t_{0}. $$

For \(t>t_{0}^{\ast}\geq t_{0}\), we have

$$ x(t)\geq x\bigl(t_{0}^{\ast} \bigr)e_{\ominus(a(N+\varepsilon))}\bigl(t, t_{0}^{\ast}\bigr). $$
(2.9)

From (2.8) and (2.9), we obtain

$$ x(\tilde{t}_{k})\geq x\bigl(\tilde{t}_{k}- \tau(\tilde{t}_{k})\bigr)e_{\ominus (a(N+\varepsilon))}\bigl(\tilde{t}_{k}, \tilde{t}_{k}-\tau(\tilde{t}_{k})\bigr). $$
(2.10)

For every \(\theta\in\mathbb{T}\), if \(\mu(\theta)=0\), then

$$ \xi_{\mu}\bigl(\ominus\bigl(a(N+\varepsilon)\bigr)\bigr)=\ominus \bigl(a(N+\varepsilon)\bigr)=-\frac {a(N+\varepsilon)}{1+\mu(\theta)a(N+\varepsilon)}=-a(N+\varepsilon), $$

if \(\mu(\theta)\neq0\), then

$$\begin{aligned} \xi_{\mu}\bigl(\ominus\bigl(a(N+\varepsilon)\bigr)\bigr) =& \frac{\log (1-\frac {a(N+\varepsilon)\mu(\theta)}{1+\mu(\theta)a(N+\varepsilon)} )}{\mu (\theta)} \\ =&-\frac{\log(1+a(N+\varepsilon)\mu(\theta))}{\mu(\theta)} \\ \geq&-a(N+\varepsilon). \end{aligned}$$

Hence, for every \(\theta\in\mathbb{T}\), we have

$$\begin{aligned} \begin{aligned} \int_{\tilde{t}_{k}-\tau(\tilde{t}_{k})}^{\tilde{t}_{k}}\xi_{\mu}\bigl(\ominus \bigl(a(N+\varepsilon)\bigr)\bigr)\Delta\theta &\geq\int_{\tilde{t}_{k}-\tau(\tilde{t}_{k})}^{\tilde{t}_{k}}-a(N+ \varepsilon)\Delta\theta \\ &=-a(N+\varepsilon)\tau(\tilde{t}_{k}) \\ &\geq-a(N+\varepsilon)\bar{\tau},\quad k=1, 2, \ldots, \end{aligned} \end{aligned}$$

so

$$ \exp \biggl\{ \int_{\tilde{t}_{k}-\tau(\tilde{t}_{k})}^{\tilde{t}_{k}}\xi _{\mu} \bigl(\ominus\bigl(a(N+\varepsilon)\bigr)\bigr) \biggr\} \Delta\theta \geq e^{-a(N+\varepsilon)\bar{\tau}},\quad k=1, 2, \ldots. $$

Thus

$$ e_{\ominus(a(N+\varepsilon))}\bigl(\tilde{t}_{k}, \tilde{t}_{k}-\tau(\tilde {t}_{k})\bigr)\geq e^{-a(N+\varepsilon)\bar{\tau}}, \quad k=1, 2, \ldots. $$
(2.11)

By use of (2.10) and (2.11), we obtain

$$ x(\tilde{t}_{k})\geq x\bigl(\tilde{t}_{k}-\tau( \tilde{t}_{k})\bigr)e^{-a(N+\varepsilon)\bar{\tau}}\geq\frac {b}{a}e^{-a(N+\varepsilon)\bar{\tau}}, \quad k=1, 2, \ldots. $$

Letting \(\varepsilon\rightarrow0\), then

$$ \liminf_{k\rightarrow+\infty}x(\tilde{t}_{k})\geq \frac{b}{a}e^{-aN\bar {\tau}}=m, \quad k=1, 2, \ldots. $$

Similarly, we can get

$$ \liminf_{t\rightarrow+\infty}x(t)\geq m. $$

The proof of Lemma 2.11 is completed. □

Similar to the proof of Lemma 2.11, we can easily obtain the following results.

Lemma 2.12

Assume that \(x(t)>0\) on \(\mathbb{T}\), \(b\geq0\), \(a, d> 0\), \(t-\tau(t)\in \mathbb{T}\), where \(\tau(t):\mathbb{T}\rightarrow\mathbb{R}^{+}\) is an rd-continuous function and \(\bar{\tau}=\sup_{t\in\mathbb{T}}\{ \tau(t)\}\).

  1. (i)

    If \(x^{\Delta}(t)\leq x(t)(b-ax(t-\tau(t)))+d\) for \(t\geq t_{0}\), \(t_{0}\in{\mathbb{T}}\), with initial condition \(x(t)=\phi (t)\geq0\) for \(t\in[t_{0}-\tau, t_{0}]_{\mathbb{T}}\), \(\phi(t_{0})>0\), then

    $$ \limsup_{t\rightarrow+\infty}x(t)\leq-\frac{d}{b}+ \biggl( \frac {d}{b}+\bar{x} \biggr)e^{b\bar{\tau}}:=\tilde{M}, $$

    where \(\bar{x}\) is the unique positive root of \(x(ax-b)-d=0\).

    Especially, if \(d=0\), then

    $$ \tilde{M}=\frac{b}{a}e^{b\bar{\tau}}. $$
  2. (ii)

    If \(x^{\Delta}(t)\geq x(t)(b-ax(t-\tau(t)))+d\) for \(t\geq t_{0}\), \(t_{0}\in{\mathbb{T}}\), with initial condition \(x(t)=\phi (t)\geq0\) for \(t\in[t_{0}-\tau, t_{0}]_{\mathbb{T}}\), \(\phi(t_{0})>0\) and there exists a positive constant \(\tilde{N}>0\) such that \(\limsup_{t\rightarrow+\infty}x(t)\leq\tilde{N}<+\infty\) and \(-a\tilde{N}\in \mathcal{R}^{+}\), then

    $$ \liminf_{t\rightarrow+\infty}x(t)\geq\frac{b}{a}\exp \biggl\{ \frac{\bar {\tau}\log(1-a\tilde{N}\bar{\mu})}{\bar{\mu}} \biggr\} :=\tilde{m}, $$

    where \(\bar{\mu}=\sup_{\theta\in\mathbb{T}}\{\mu(\theta)\}\).

Proof

The proof of (i). Suppose that \(\limsup_{t\rightarrow+\infty }x(t)=+\infty\). Then there exists a subsequence \(\{t_{k}\}_{k=1}^{\infty }\subset\mathbb{T}\) with \(t_{k}\rightarrow+\infty\) as \(k\rightarrow +\infty\) such that

$$ \lim_{k\rightarrow+\infty}x(t_{k})=+\infty, \qquad x(t_{k})\geq \bar{x}, \qquad x^{\Delta}(t)|_{t=t_{k}}\geq0, \quad k=1, 2, \ldots. $$

Thus, we have

$$ x(t_{k}) \bigl(b-ax\bigl(t_{k}-\tau(t_{k})\bigr) \bigr)+d\geq0, $$

so

$$ x\bigl(t_{k}-\tau(t_{k})\bigr)\leq \frac{1}{a} \biggl(b+\frac{d}{x(t_{k})} \biggr)\leq \frac{1}{a} \biggl(b+\frac{d}{\bar{x}} \biggr)=\bar{x}, \quad k=1, 2, \ldots. $$
(2.12)

Consider the following inequality:

$$ x^{\Delta}(t)\leq bx(t)+d, \quad \mbox{with } x\bigl(t_{0}^{\ast} \bigr)>0, t_{0}^{\ast}\geq t_{0}. $$

Notice that

$$\begin{aligned} \bigl[x(t)e_{\ominus b}\bigl(t, t_{0}^{\ast} \bigr)\bigr]^{\Delta} =&e_{\ominus b}\bigl(\sigma (t), t_{0}^{\ast}\bigr)x^{\Delta}(t)-be_{\ominus b}\bigl( \sigma(t), t_{0}^{\ast }\bigr)x(t) \\ =&e_{\ominus b}\bigl(\sigma(t), t_{0}^{\ast}\bigr) \bigl(x^{\Delta}(t)-bx(t)\bigr) \\ \leq&de_{\ominus b}\bigl(t, t_{0}^{\ast}\bigr). \end{aligned}$$
(2.13)

Integrating inequality (2.13) from \(t_{0}^{\ast}\) to t, we have

$$\begin{aligned} e_{\ominus b}\bigl(t, t_{0}^{\ast}\bigr)x(t)-x \bigl(t_{0}^{\ast}\bigr) \leq&\int_{t_{0}^{\ast}}^{t}de_{\ominus b} \bigl(\sigma(\tau), t_{0}^{\ast}\bigr)\Delta\tau \\ =&-\frac{d}{b}\int_{t_{0}^{\ast}}^{t} \bigl[e_{\ominus b}\bigl(\tau, t_{0}^{\ast }\bigr) \bigr]^{\Delta}\Delta\tau \\ =&-\frac{d}{b}\bigl[e_{\ominus b}\bigl(t, t_{0}^{\ast} \bigr)-1\bigr], \end{aligned}$$

then

$$ x(t)\leq-\frac{d}{b}+ \biggl(\frac{d}{b}+x \bigl(t_{0}^{\ast}\bigr) \biggr)e_{b}\bigl(t, t_{0}^{\ast}\bigr). $$
(2.14)

In view of (2.12) and (2.14), we obtain

$$\begin{aligned} x(t_{k}) \leq&-\frac{d}{b}+ \biggl( \frac{d}{b}+x\bigl(t_{k}-\tau(t_{k})\bigr) \biggr)e_{b}\bigl(t_{k}, t_{k}- \tau(t_{k})\bigr) \\ \leq&-\frac{d}{b}+ \biggl(\frac{d}{b}+\bar{x} \biggr)e_{b}\bigl(t_{k}, t_{k}- \tau(t_{k})\bigr),\quad k=1, 2, \ldots. \end{aligned}$$
(2.15)

For every \(\theta\in\mathbb{T}\), if \(\mu(\theta)=0\), then

$$ \xi_{\mu}(b)=b, $$

if \(\mu(\theta)\neq0\), then

$$ \xi_{\mu}(b)=\frac{\log(1+b\mu(\theta))}{\mu(\theta)}\leq b. $$

Hence, for every \(\theta\in\mathbb{T}\), we have

$$ \int_{t_{k}-\tau(t_{k})}^{t_{k}}\xi_{\mu}(b)\Delta\theta \leq \int_{t_{k}-\tau(t_{k})}^{t_{k}}b\Delta\theta\leq b \tau(t_{k})\leq b\bar{\tau }, \quad k=1, 2, \ldots, $$

so

$$ \exp \biggl\{ \int_{t_{k}-\tau(t_{k})}^{t_{k}}\xi_{\mu}(b) \biggr\} \Delta\theta \leq e^{b\bar{\tau}},\quad k=1, 2, \ldots. $$

Thus

$$ e_{b}\bigl(t_{k}, t_{k}- \tau(t_{k})\bigr)\leq e^{b\bar{\tau}}, \quad k=1, 2, \ldots. $$
(2.16)

It follows from (2.15) and (2.16) that

$$ x(t_{k})\leq-\frac{d}{b}+ \biggl(\frac{d}{b}+\bar{x} \biggr)e^{b\bar{\tau }}=\tilde{M}, \quad k=1, 2, \ldots, $$

then

$$ \limsup_{k\rightarrow+\infty}x(t_{k})\leq\tilde{M}. $$

Especially, if \(d=0\), then \(\bar{x}=\frac{b}{a}\), we can easily know that

$$ \tilde{M}=\frac{b}{a}e^{b\bar{\tau}}. $$

Hence \(\limsup_{k\rightarrow+\infty}x(t_{k})<+\infty\). This contradicts the assumption.

Similarly, we can get

$$ \limsup_{t\rightarrow+\infty}x(t)\leq\tilde{M}. $$

The proof of (ii). Suppose that \(\liminf_{t\rightarrow+\infty }x(t)=0\). Then there exists a subsequence \(\{\tilde{t}_{k}\}_{1}^{\infty }\subset\mathbb{T}\) with \(\tilde{t}_{k}\rightarrow+\infty\) as \(k\rightarrow+\infty\) such that

$$ \lim_{k\rightarrow+\infty}x(\tilde{t}_{k})=0,\qquad x^{\Delta }(t)|_{t=\tilde{t}_{k}}\leq0,\quad k=1, 2, \ldots. $$

We have \(b-ax(\tilde{t}_{k}-\tau(\tilde{t}_{k}))\leq0\), then \(x(\tilde{t}_{k}-\tau(\tilde{t}_{k}))\geq\frac{b}{a}\). For any positive constant ε small enough, it follows from \(\limsup_{t\rightarrow+\infty}x(t)\leq\tilde{N}\) that there exists large enough \(T_{2}\) such that

$$ x(t)\leq\tilde{N}+\varepsilon, \quad t>T_{2}, $$

then \(x(\tilde{t}_{k}-\tau(\tilde{t}_{k}))\leq\tilde{N}+\varepsilon\) for \(\tilde{t}_{k}>T_{2}+\tau(\tilde{t}_{k})\) and \(b-a(\tilde {N}+\varepsilon)\leq0\). So we have

$$\begin{aligned} x^{\Delta}(\tilde{t}_{k}) \geq& x( \tilde{t}_{k}) \bigl(b-ax\bigl(\tilde{t}_{k}-\tau( \tilde{t}_{k})\bigr)\bigr)+d \\ \geq& x(\tilde{t}_{k}) \bigl(b-ax\bigl(\tilde{t}_{k}- \tau(\tilde{t}_{k})\bigr)\bigr) \\ \geq& -a(\tilde{N}+\varepsilon)x(\tilde{t}_{k}),\quad k=1, 2, \ldots. \end{aligned}$$
(2.17)

Consider the following inequality:

$$ x^{\Delta}(t)\geq-a(\tilde{N}+\varepsilon)x(t), \quad \mbox{with } x \bigl(t_{0}^{\ast}\bigr)>0, t_{0}^{\ast}\geq t_{0}. $$

For \(t>t_{0}^{\ast}\geq t_{0}\), we have

$$ x(t)\geq x\bigl(t_{0}^{\ast} \bigr)e_{-a(\tilde{N}+\varepsilon)}\bigl(t, t_{0}^{\ast}\bigr). $$
(2.18)

From (2.17) and (2.18), we obtain

$$ x(\tilde{t}_{k})\geq x\bigl(\tilde{t}_{k}- \tau(\tilde{t}_{k})\bigr)e_{-a(N+\varepsilon)}\bigl(\tilde{t}_{k}, \tilde{t}_{k}-\tau(\tilde{t}_{k})\bigr). $$
(2.19)

For every \(\theta\in\mathbb{T}\), if \(\mu(\theta)=0\), then

$$ \xi_{\mu}\bigl(-a(\tilde{N}+\varepsilon)\bigr)=-a(\tilde{N}+ \varepsilon), $$

if \(\mu(\theta)\neq0\), then

$$\begin{aligned} \xi_{\mu}\bigl(-a(\tilde{N}+\varepsilon)\bigr) =&\frac{\log(1-a(\tilde{N} +\varepsilon)\mu(\theta))}{\mu(\theta)} \\ \geq&\frac{\log(1-a(\tilde{N}+\varepsilon)\bar{\mu})}{\bar{\mu}} \ \bigl(< -a(\tilde{N}+\varepsilon) \bigr). \end{aligned}$$

Hence, for every \(\theta\in\mathbb{T}\), we have

$$\begin{aligned}& \int_{\tilde{t}_{k}-\tau(\tilde{t}_{k})}^{\tilde{t}_{k}}\xi_{\mu }\bigl(-a( \tilde{N}+\varepsilon)\bigr)\Delta\theta \\& \quad \geq \min \biggl\{ \int_{\tilde{t}_{k}-\tau(\tilde{t}_{k})}^{\tilde{t}_{k}}-a( \tilde{N}+\varepsilon)\Delta\theta, \int_{\tilde{t}_{k}-\tau (\tilde{t}_{k})}^{\tilde{t}_{k}} \frac{\log(1-a(\tilde{N}+\varepsilon )\bar{\mu})}{\bar{\mu}}\Delta\theta \biggr\} \\& \quad = \frac{\tau(\tilde{t}_{k})\log(1-a(\tilde{N}+\varepsilon)\bar{\mu })}{\bar{\mu}} \\& \quad \geq \frac{\bar{\tau}\log(1-a(\tilde{N}+\varepsilon)\bar{\mu})}{\bar {\mu}}, \quad k=1, 2, \ldots, \end{aligned}$$

so

$$ \exp \biggl\{ \int_{\tilde{t}_{k}-\tau(\tilde{t}_{k})}^{\tilde{t}_{k}}\xi _{\mu} \bigl(-a(\tilde{N}+\varepsilon)\bigr) \biggr\} \Delta\theta \geq\exp \biggl\{ \frac{\bar{\tau}\log(1-a(\tilde{N}+\varepsilon)\bar{\mu })}{\bar{\mu}} \biggr\} , \quad k=1, 2, \ldots. $$

Thus

$$ e_{-a(\tilde{N}+\varepsilon)}\bigl(\tilde{t}_{k}, \tilde{t}_{k}-\tau(\tilde {t}_{k})\bigr)\geq\exp \biggl\{ \frac{\bar{\tau}\log(1-a(\tilde{N}+\varepsilon )\bar{\mu})}{\bar{\mu}} \biggr\} , \quad k=1, 2, \ldots. $$
(2.20)

By use of (2.19) and (2.20), we obtain

$$\begin{aligned} x(\tilde{t}_{k}) \geq& x\bigl(\tilde{t}_{k}-\tau( \tilde{t}_{k})\bigr)\exp \biggl\{ \frac{\bar{\tau}\log(1-a(\tilde{N}+\varepsilon)\bar{\mu})}{\bar{\mu }} \biggr\} \\ \geq&\frac{b}{a}\exp \biggl\{ \frac{\bar{\tau}\log(1-a(\tilde {N}+\varepsilon)\bar{\mu})}{\bar{\mu}} \biggr\} , \quad k=1, 2, \ldots. \end{aligned}$$

Letting \(\varepsilon\rightarrow0\), we have

$$ \liminf_{k\rightarrow+\infty}x(\tilde{t}_{k})\geq \frac{b}{a}\exp \biggl\{ \frac{\bar{\tau}\log(1-a\tilde{N}\bar{\mu})}{\bar{\mu}} \biggr\} =\tilde {m}, \quad k=1, 2, \ldots. $$

Similarly, we can get

$$ \liminf_{t\rightarrow+\infty}x(t)\geq\tilde{m}. $$

The proof of Lemma 2.12 is completed. □

3 Permanence

In this section, we give our main results about the permanence of system (1.3). For convenience, we introduce the following notations:

$$\begin{aligned}& x_{i}^{M}=\ln \biggl\{ \frac{ a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u}}{b_{i}^{l}}\exp \biggl\{ - \frac{\tau^{+}\log (1-(a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u})\bar{\mu})}{\bar{\mu }} \biggr\} \biggr\} , \\& x_{i}^{m}=\ln \biggl\{ \frac{a_{i}^{l}}{b_{i}^{u}}\exp \biggl\{ \frac{\tau ^{+}\log(1-b_{i}^{u}e^{x_{i}^{M}}\bar{\mu})}{\bar{\mu}} \biggr\} \biggr\} ,\quad i=1, 2,\ldots,n, \end{aligned}$$

where \(\bar{\mu}=\sup_{t\in\mathbb{T}}\{\mu(t)\}\).

(H3):

\(a_{i}^{l}\exp \{\frac{\tau^{+}\log(1-b_{i}^{u}e^{x_{i}^{M}}\bar {\mu})}{\bar{\mu}} \}>b_{i}^{u}\), \(-(a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u})\in\mathcal{R}^{+}\) and \(-b_{i}^{u}e^{x_{i}^{M}}\in \mathcal{R}^{+}\), \(i=1, 2,\ldots,n\).

Lemma 3.1

Assume that (H1)-(H3) hold. Let \(x(t)=(x_{1}(t), x_{2}(t),\ldots, x_{n}(t))\) be any solution of system (1.3) with initial condition (1.6), then

$$ x_{i}^{m}\leq\liminf_{t\rightarrow+\infty}x_{i}(t) \leq\limsup_{t\rightarrow +\infty}x_{i}(t)\leq x_{i}^{M}, \quad i=1, 2,\ldots,n. $$

Proof

Let \(x(t)=(x_{1}(t), x_{2}(t),\ldots, x_{n}(t))\) be any solution of system (1.3) with initial condition (1.6). From (1.3) it follows that

$$ x_{i}^{\Delta}(t) \leq a_{i}^{u}+ \sum_{j=1,j\neq i}^{n}c_{ij}^{u}-b_{i}^{l}e^{x_{i}(t-\tau_{i}(t))}, \quad i=1,2,\ldots, n. $$

Let \(N_{i}(t)=e^{x_{i}(t)}\), obviously \(N_{i}(t)>0\), the above inequality yields that

$$ \bigl[\ln\bigl(N_{i}(t)\bigr)\bigr]^{\Delta}\leq a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u}-b_{i}^{l}N_{i} \bigl(t-\tau_{i}(t)\bigr), \quad i=1, 2,\ldots,n. $$

In view of Lemma 2.4, we have

$$ \frac{N_{i}^{\Delta}(t)}{N_{i}(\sigma(t))}\leq a_{i}^{u}+\sum _{j=1,j\neq i}^{n}c_{ij}^{u}-b_{i}^{l}N_{i} \bigl(t-\tau_{i}(t)\bigr), $$

then

$$ N_{i}^{\Delta}(t)\leq N_{i}\bigl(\sigma(t)\bigr) \Biggl[ a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u}-b_{i}^{l}N_{i} \bigl(t-\tau_{i}(t)\bigr) \Biggr],\quad i=1, 2,\ldots,n. $$

By applying Lemma 2.11, there exists a constant \(T_{0}\) such that

$$ N_{i}(t)\leq\frac{ a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u}}{b_{i}^{l}}\exp \biggl\{ -\frac{\tau^{+}\log (1-(a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u})\bar{\mu})}{\bar{\mu }} \biggr\} $$

for \(t\geq T_{0}+\tau^{+}\). That is, for \(i=1, 2,\ldots,n\),

$$\begin{aligned}& \limsup_{t\rightarrow+\infty}x_{i}(t) \\& \quad \leq \ln \biggl\{ \frac{ a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u}}{b_{i}^{l}}\exp \biggl\{ -\frac{\tau^{+}\log (1-(a_{i}^{u}+\sum_{j=1,j\neq i}^{n}c_{ij}^{u})\bar{\mu})}{\bar{\mu }} \biggr\} \biggr\} \\& \quad = x_{i}^{M}. \end{aligned}$$

On the other hand, from (1.3) it follows that

$$ x_{i}^{\Delta}(t) \geq a_{i}^{l}-b_{i}^{u}e^{x_{i}(t-\tau_{i}(t))}, \quad i=1,2,\ldots, n. $$

Let \(N_{i}(t)=e^{x_{i}(t)}\), obviously \(N_{i}(t)>0\), then the above inequality yields that

$$ \bigl[\ln\bigl(N_{i}(t)\bigr)\bigr]^{\Delta}\geq a_{i}^{l}-b_{i}^{u}N_{i} \bigl(t-\tau_{i}(t)\bigr). $$

In view of Lemma 2.3, we have

$$ \frac{N_{i}^{\Delta}(t)}{N_{i}(t)}\geq a_{i}^{l}-b_{i}^{u}N_{i} \bigl(t-\tau_{i}(t)\bigr), $$

then

$$ N_{i}^{\Delta}(t)\geq N_{i}(t)\bigl[ a_{i}^{l}-b_{i}^{u}N_{i} \bigl(t-\tau _{i}(t)\bigr)\bigr],\quad i=1,2,\ldots, n. $$

By applying Lemma 2.12 and \(a_{i}^{l}\exp \{\frac{\tau ^{+}\log(1-b_{i}^{u}e^{x_{i}^{M}}\bar{\mu})}{\bar{\mu}} \} >b_{i}^{u}\), there exists a constant \(T_{1}\) such that

$$ N_{i}(t)\geq\frac{a_{i}^{l}}{b_{i}^{u}}\exp \biggl\{ \frac{\tau^{+}\log (1-b_{i}^{u}e^{x_{i}^{M}}\bar{\mu})}{\bar{\mu}} \biggr\} ,\quad i=1,2,\ldots, n $$

for \(t\geq T_{1}+\tau^{+}\). Therefore,

$$ \liminf_{t\rightarrow+\infty}x_{i}(t) \geq\ln \biggl\{ \frac{a_{i}^{l}}{b_{i}^{u}}\exp \biggl\{ \frac{\tau^{+}\log (1-b_{i}^{u}e^{x_{i}^{M}}\bar{\mu})}{\bar{\mu}} \biggr\} \biggr\} =x_{i}^{m}, \quad i=1,2,\ldots, n. $$

The proof is complete. □

Theorem 3.1

Assume that (H1)-(H3) hold, then system (1.3) with initial condition (1.6) is permanent.

4 Global attractivity

In this section, we study the global attractivity of system (1.3).

Definition 4.1

System (1.3) is said to be globally attractive if any two positive solutions \(x(t)=(x_{1}(t), x_{2}(t),\ldots,x_{n}(t))\) with initial value \(\varphi(s)=(\varphi_{1}(s),\varphi_{2}(s),\ldots,\varphi _{n}(s))\) and \(y(t)=(y_{1}(t), y_{2}(t),\ldots,y_{n}(t))\) with initial value \(\psi(s)=(\psi_{1}(s),\psi_{2}(s),\ldots,\psi_{n}(s))\) of system (1.3) satisfy

$$ \lim_{t\rightarrow\infty}\bigl\vert x_{i}(t)-y_{i}(t) \bigr\vert =0, \quad i=1, 2,\ldots,n. $$

Theorem 4.1

Assume that (H1)-(H3) hold. Suppose further that

(H4):

\(\gamma_{i}>0\), where \(i=1, 2,\ldots,n\),

$$\begin{aligned} \gamma_{i} =&b_{i}^{l}e^{x_{i}^{m}}-2\bar{ \mu }\bigl(b_{i}^{u}e^{x_{i}^{M}}\bigr)^{2}- \frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar {\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+}-\tau^{-})}{1-\tau^{\Delta }} \\ &{}-{ \sum_{j=1,j\neq i}^{n}\frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta^{+}-\delta ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}} -{ \sum_{j=1,j\neq i}^{n}\frac {c_{ji}^{u}e^{x_{i}^{M}}(2\bar{\mu} b_{j}^{u}e^{x_{j}^{M}}+1)}{(d_{ji}+e^{x_{i}^{m}})^{2}}} \\ &{}\times \biggl[1+\frac{b_{j}^{u}e^{x_{j}^{M}}(\tau^{+}+\delta^{+}-\delta^{-})}{ 1-\delta^{\Delta}}+\frac{e^{x_{i}^{M}}b_{i}^{u}(\tau^{+}+\delta ^{+}-\tau^{-})}{1-\tau^{\Delta}} \biggr], \end{aligned}$$

where \(x_{i}^{m}\), \(x_{i}^{M}\) are defined in Lemma  3.1 and \(\bar{\mu}=\sup_{t\in\mathbb{T}}\{\mu(t)\}\).

Then system (1.3) is globally attractive.

Proof

Assume that \(x(t)=(x_{1}(t), x_{2}(t),\ldots,x_{n}(t))\) and \(y(t)=(y_{1}(t), y_{2}(t),\ldots,y_{n}(t))\) are any solutions of system (1.3) with the initial values \(\varphi(s)=(\varphi _{1}(s),\varphi_{2}(s),\ldots,\varphi_{n}(s))\) and \(\psi(s)=(\psi _{1}(s),\psi_{2}(s),\ldots,\psi_{n}(s))\), respectively. In view of system (1.3), we have

$$ \left \{ \textstyle\begin{array}{l} x_{i}^{\Delta}(t)=a_{i}(t)-b_{i}(t)e^{x_{i}(t-\tau_{i}(t))}+\sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{x_{j}(t-\delta _{j}(t))}}{d_{ij}+e^{x_{j}(t-\delta_{j}(t))}}, \quad i=1,2,\ldots, n, \\ y_{i}^{\Delta}(t)=a_{i}(t)-b_{i}(t)e^{y_{i}(t-\tau_{i}(t))}+\sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{y_{j}(t-\delta _{j}(t))}}{d_{ij}+e^{y_{j}(t-\delta_{j}(t))}}, \quad i=1,2,\ldots, n, \end{array}\displaystyle \right . $$

then

$$\begin{aligned}& \begin{aligned}[b] &\bigl(x_{i}(t)-y_{i}(t)\bigr)^{\Delta} \\ &\quad = -b_{i}(t) \bigl[e^{x_{i}(t-\tau_{i}(t))}-e^{y_{i}(t-\tau_{i}(t))} \bigr] \\ &\qquad {}+\sum_{j=1,j\neq i}^{n}c_{ij}(t) \biggl( \frac {e^{x_{j}(t-\delta_{j}(t))}}{d_{ij}+e^{x_{j}(t-\delta_{j}(t))}}-\frac{e^{y_{j} (t-\delta_{j}(t))}}{d_{ij}+e^{y_{j}(t-\delta_{j}(t))}} \biggr),\quad i=1,2,\ldots, n. \end{aligned} \end{aligned}$$
(4.1)

Using the mean value theorem, we get

$$ \left \{ \textstyle\begin{array}{l} e^{x_{i}(t-\tau_{i}(t))}-e^{y_{i}(t-\tau_{i}(t))}=e^{\xi _{i}(t)}(x_{i}(t-\tau_{i}(t))-y_{i}(t-\tau_{i}(t))), \\ \frac{e^{x_{j}(t-\delta_{j}(t))}}{d_{ij}+e^{x_{j}(t-\delta _{j}(t))}}-\frac{e^{y_{j} (t-\delta_{j}(t))}}{d_{ij}+e^{y_{j}(t-\delta_{j}(t))}}=\frac{e^{\eta_{j}(t)}}{(d_{ij}+e^{\eta_{j}(t)})^{2}}(x_{j}(t-\delta_{j}(t))-y_{j}(t-\delta_{j}(t))), \end{array}\displaystyle \right . $$
(4.2)

where \(\xi_{i}(t)\) lies between \(x_{i}(t-\tau_{i}(t))\) and \(y_{i}(t-\tau _{i}(t))\), \(\eta_{j}(t)\) lies between \(x_{j}(t-\delta_{j}(t))\) and \(y_{j}(t-\delta_{j}(t))\), \(i, j=1, 2,\ldots, n\), \(i\neq j\). Then, by use of (4.2), (4.1) can be written as

$$\begin{aligned}& \bigl(x_{i}(t)-y_{i}(t)\bigr)^{\Delta} \\& \quad = -b_{i}(t)e^{\xi_{i}(t)}\bigl(x_{i}(t- \tau_{i})-y_{i}(t-\tau _{i})\bigr) \\& \qquad {}+\sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{\eta_{j}(t)}}{ (d_{ij}+e^{\eta_{j}(t)})^{2}}\bigl(x_{j}(t-\delta_{j})-y_{j}(t- \delta _{j})\bigr), \quad i=1,2,\ldots, n. \end{aligned}$$

Let \(u_{i}(t)=x_{i}(t)-y_{i}(t)\), then

$$\begin{aligned}& u_{i}^{\Delta}(t) = -b_{i}(t)e^{\xi_{i}(t)}u_{i} \bigl(t-\tau _{i}(t)\bigr)+{ \sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{\eta_{j}(t)}}{ (d_{ij}+e^{\eta_{j}(t)})^{2}}u_{j}\bigl(t-\delta_{j}(t)\bigr)}, \\& \quad i=1, 2,\ldots, n. \end{aligned}$$

Consider the Lyapunov function

$$\begin{aligned}& V(t)=\sum_{i=1}^{n}V_{i}(t), \\& V_{i}(t)=V_{i1}(t)+V_{i2}(t)+V_{i3}(t)+V_{i4}(t)+V_{i5}(t), \end{aligned}$$

where

$$\begin{aligned}& V_{i1}(t)=\bigl\vert u_{i}(t)\bigr\vert , \\& V_{i2}(t)=\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{1-\tau^{\Delta}}\int_{-2\tau^{+}}^{-\tau ^{-}} \int_{s+t}^{t}\bigl\vert u_{i}(r)\bigr\vert \Delta r\Delta s, \\& V_{i3}(t)= \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}\int_{-\tau^{+}-\delta ^{+}}^{-\delta^{-}}\int _{s+t}^{t}\bigl\vert u_{j}(r)\bigr\vert \Delta r\Delta s, \\& V_{i4}(t)= \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta })}\int_{-\tau^{+}-\delta^{+}}^{-\tau^{-}}\int _{s+t}^{t}\bigl\vert u_{j}(r)\bigr\vert \Delta r\Delta s, \\& V_{i5}(t)= \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta })}\int_{-2\delta^{+}}^{-\delta^{-}}\int _{s+t}^{t}\bigl\vert u_{i}(r)\bigr\vert \Delta r\Delta s, \end{aligned}$$

then

$$\begin{aligned}& D^{+}V_{i1}^{\Delta}(t) \\& \quad \leq \operatorname{sign}\bigl(u_{i}^{\sigma}(t) \bigr)u_{i}^{\Delta}(t) \\& \quad = \operatorname{sign}\bigl(u_{i}^{\sigma}(t)\bigr) \Biggl[-b_{i}(t)e^{\xi _{i}(t)}u_{i}\bigl(t- \tau_{i}(t)\bigr)+{ \sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{\eta_{j}(t)}}{(d_{ij}+e^{\eta _{j}(t)})^{2}}u_{j}\bigl(t-\delta_{j}(t)\bigr)} \Biggr] \\ & \quad =-\operatorname{sign}\bigl(u_{i}^{\sigma}(t) \bigr)b_{i}(t)e^{\xi _{i}(t)}\bigl[u_{i}(t)+u_{i} \bigl(t-\tau_{i}(t)\bigr)-u_{i}(t)\bigr] \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{\eta_{j}(t)}}{ (d_{ij}+e^{\eta_{j}(t)})^{2}}\operatorname{sign}\bigl(u_{i}^{\sigma }(t) \bigr)\bigl[u_{j}(t)+u_{j}\bigl(t-\delta_{j}(t) \bigr)-u_{j}(t)\bigr]} \\ & \quad \leq -b_{i}(t)e^{\xi_{i}(t)}\operatorname{sign} \bigl(u_{i}^{\sigma }(t)\bigr)u_{i}(t)+b_{i}^{u}e^{x_{i}^{M}} \int_{t-\tau _{i}(t)}^{t}\bigl\vert u_{i}^{\Delta}(s) \bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert }+{ \sum _{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}(t)e^{\xi_{i}(t)}\operatorname{sign} \bigl(u_{i}^{\sigma }(t)\bigr)\bigl[u_{i}^{\sigma}(t)- \mu(t)u_{i}^{\Delta}(t)\bigr]+b_{i}^{u}e^{x_{i}^{M}} \int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{i}^{\Delta}(s) \bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert }+{ \sum _{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)+\mu(t)u_{i}^{\Delta}(t)\bigr\vert +\bar { \mu} b_{i}^{u}e^{x_{i}^{M}}\bigl\vert u_{i}^{\Delta }(t)\bigr\vert +b_{i}^{u}e^{x_{i}^{M}} \int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{i}^{\Delta }(s) \bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert }+{ \sum _{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}} \bigl\vert u_{i}^{\Delta}(t)\bigr\vert +b_{i}^{u}e^{x_{i}^{M}} \int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{i}^{\Delta}(s) \bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert }+{ \sum _{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}} \Biggl\vert -b_{i}(t)e^{\xi_{i}(t)}u_{i}\bigl(t-\tau _{i}(t)\bigr) \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}(t) \frac{e^{\eta _{j}(t)}}{(d_{ij}+e^{\eta_{j}(t)})^{2}}u_{j}\bigl(t-\delta_{j}(t)\bigr)} \Biggr\vert +b_{i}^{u}e^{x_{i}^{M}}\int_{t-\tau_{i}(t)}^{t} \bigl\vert u_{i}^{\Delta }(s)\bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert }+{ \sum _{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}\bigl(t-\tau_{i}(t) \bigr)\bigr\vert \\ & \qquad {}+ \sum_{j=1,j\neq i}^{n}\frac{2\bar{\mu} b_{i}^{u}c_{ij}^{u}e^{x_{i}^{M}}e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}} \bigl\vert u_{j}\bigl(t-\delta _{j}(t)\bigr)\bigr\vert \\ & \qquad {}+b_{i}^{u}e^{x_{i}^{M}}\int _{t-\tau_{i}(t)}^{t}\bigl\vert u_{i}^{\Delta }(s) \bigr\vert \Delta s+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert } \\& \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu } \bigl(b_{i}^{u}e^{x_{i}^{M}}\bigr)^{2}\int _{t-\tau_{i}(t)}^{t} \bigl\vert u_{i}^{\Delta}(s) \bigr\vert \Delta s \\ & \qquad {}+b_{i}^{u}e^{x_{i}^{M}}\int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{i}^{\Delta}(s)\bigr\vert \Delta s+{ \sum _{j=1,j\neq i}^{n}\frac{2\bar{\mu} b_{i}^{u}c_{ij}^{u}e^{x_{i}^{M}}e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert } \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac {e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert }+{ \sum _{j=1,j\neq i}^{n}\frac{2\bar{\mu} b_{i}^{u}c_{ij}^{u}e^{x_{i}^{M}}e^{x_{j}^{M}}}{(d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t} \bigl\vert u_{j}^{\Delta}(s)\bigr\vert \Delta s} \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n}c_{ij}^{u} \frac{e^{x_{j}^{M}}}{ (d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta_{j}(t)}^{t}\bigl\vert u_{j}^{\Delta }(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}(t)\bigr\vert +\bigl[2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}}\bigr)^{2}+b_{i}^{u}e^{x_{i}^{M}} \bigr] \int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{i}^{\Delta}(s)\bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert } \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta _{j}(t)}^{t}\bigl\vert u_{j}^{\Delta}(s)\bigr\vert \Delta s} \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}(t)\bigr\vert \\ & \qquad {}+b_{i}^{u}e^{x_{i}^{M}}\bigl[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1\bigr] \int_{t-\tau_{i}(t)}^{t} \Biggl\vert -b_{i}(s)e^{\xi_{i}(s)}u_{i}\bigl(s-\tau _{i}(s)\bigr) \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac{c_{ij}(s)e^{\eta_{j}(s)}}{ (d_{ij}+e^{\eta_{j}(s)})^{2}}u_{j}\bigl(s-\delta_{j}(s)\bigr)}\Biggr\vert \Delta s+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert } \\ & \qquad {}+ \sum_{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}} \int_{t-\delta _{j}(t)}^{t}\Biggl\vert -b_{j}(s)e^{\xi_{j}(s)}u_{j} \bigl(s-\tau_{j}(t)\bigr) \\ & \qquad {}+ \sum_{i=1,j\neq i}^{n} \frac{c_{ji}(s)e^{\eta _{i}(s)}}{(d_{ji}+e^{\eta_{i}(s)})^{2}}u_{i}\bigl(s-\delta_{i}(t)\bigr) \Biggr\vert \Delta s \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}(t)\bigr\vert \\ & \qquad {}+\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1 \bigr] \int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{i} \bigl(s-\tau_{i}(s)\bigr)\bigr\vert \Delta s \\ & \qquad {}+ \sum_{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{ (d_{ij}+e^{x_{j}^{m}})^{2}} \int_{t-\tau_{i}(t)}^{t}\bigl\vert u_{j}\bigl(s- \delta _{j}(s)\bigr)\bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}} \bigl\vert u_{j}(t)\bigr\vert \\& \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}\int_{t-\delta _{j}(t)}^{t}\bigl\vert u_{j}\bigl(s-\tau_{j}(t)\bigr)\bigr\vert \Delta s} \\ & \qquad {}+ \frac{(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{4}}\int_{t-\delta_{j}(t)}^{t} \bigl\vert u_{i}\bigl(s-\delta_{i}(t)\bigr)\bigr\vert \Delta s \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}(t)\bigr\vert \\ & \qquad {}+\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{1-\tau^{\Delta}}\int_{-2\tau^{+}}^{-\tau ^{-}}\bigl\vert u_{i}(s+t)\bigr\vert \Delta s \\ & \qquad {}+ \sum_{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})} \int_{-\tau^{+}-\delta ^{+}}^{-\delta^{-}}\bigl\vert u_{j}(s+t) \bigr\vert \Delta s \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert } \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta })}\int_{-\tau^{+}-\delta^{+}}^{-\tau^{-}}\bigl\vert u_{j}(s+t)\bigr\vert \Delta s} \\ & \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta })}\int_{-2\delta^{+}}^{-\delta^{-}}\bigl\vert u_{i}(s+t)\bigr\vert \Delta s}, \end{aligned}$$
(4.3)
$$\begin{aligned}& D^{+}V_{i2}^{\Delta}(t)= \frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{1-\tau^{\Delta}}\int _{-2\tau^{+}}^{-\tau ^{-}}\bigl[\bigl\vert u_{i}(t) \bigr\vert -\bigl\vert u_{i}(t+s)\bigr\vert \bigr]\Delta s \\ & \hphantom{D^{+}V_{i2}^{\Delta}(t)}= \frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+}-\tau^{-})}{1-\tau^{\Delta }}\bigl\vert u_{i}(t)\bigr\vert \\ & \hphantom{D^{+}V_{i2}^{\Delta}(t)={}}{}-\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{1-\tau^{\Delta}}\int_{-2\tau^{+}}^{-\tau ^{-}} \bigl\vert u_{i}(t+s)\bigr\vert \Delta s, \end{aligned}$$
(4.4)
$$\begin{aligned}& D^{+}V_{i3}^{\Delta}(t) ={ \sum _{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}\int_{-\tau^{+}-\delta ^{+}}^{-\delta^{-}} \bigl[\bigl\vert u_{j}(t)\bigr\vert -\bigl\vert u_{j}(t+s)\bigr\vert \bigr]\Delta s} \\ & \hphantom{D^{+}V_{i3}^{\Delta}(t)}= { \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](\tau^{+}+\delta^{+}-\delta^{-})}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}\bigl\vert u_{j}(t)\bigr\vert } \\ & \hphantom{D^{+}V_{i3}^{\Delta}(t)={}}{}-{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta })}\int_{-\tau^{+}-\delta^{+}}^{-\delta^{-}}\bigl\vert u_{j}(t+s)\bigr\vert \Delta s}, \end{aligned}$$
(4.5)
$$\begin{aligned}& D^{+}V_{i4}^{\Delta}(t) ={ \sum _{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta })}\int_{-\tau^{+}-\delta^{+}}^{-\tau^{-}} \bigl[\bigl\vert u_{j}(t)\bigr\vert -\bigl\vert u_{j}(t+s)\bigr\vert \bigr]\Delta s} \\ & \hphantom{D^{+}V_{i4}^{\Delta}(t)}= { \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(\tau^{+}+\delta^{+}-\tau ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta})}\bigl\vert u_{j}(t)\bigr\vert } \\ & \hphantom{D^{+}V_{i4}^{\Delta}(t)={}}{}-{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta })}\bigl\vert u_{j}(t+s)\bigr\vert \Delta s}, \end{aligned}$$
(4.6)
$$\begin{aligned}& D^{+}V_{i5}^{\Delta}(t) ={ \sum _{j=1,j\neq i}^{n}\frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta })}\int_{-2\delta^{+}}^{-\delta^{-}} \bigl[\bigl\vert u_{i}(t)\bigr\vert -\bigl\vert u_{i}(t+s)\bigr\vert \bigr]\Delta s} \\& \hphantom{D^{+}V_{i5}^{\Delta}(t)}= { \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta^{+}-\delta ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta })}\bigl\vert u_{i}(t)\bigr\vert } \\& \hphantom{D^{+}V_{i5}^{\Delta}(t)={}}{}-{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta })}\int_{-\delta_{j}-\delta_{i}}^{-\delta_{i}}\bigl\vert u_{i}(t+s)\bigr\vert \Delta s}. \end{aligned}$$
(4.7)

In view of (4.3)-(4.7), we can obtain

$$\begin{aligned}& D^{+}V_{i}^{\Delta}(t) \\ & \quad = D^{+}V_{i1}^{\Delta}(t)+D^{+}V_{i2}^{\Delta}(t)+D^{+}V_{i3}^{\Delta }(t)+D^{+}V_{i4}^{\Delta}(t)+D^{+}V_{i5}^{\Delta}(t) \\ & \quad \leq -b_{i}^{l}e^{x_{i}^{m}}\bigl\vert u_{i}(t)\bigr\vert +2\bar{\mu }\bigl(b_{i}^{u}e^{x_{i}^{M}} \bigr)^{2}\bigl\vert u_{i}(t)\bigr\vert +{ \sum _{j=1,j\neq i}^{n}\frac{c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}\bigl\vert u_{j}(t)\bigr\vert } \\ & \qquad {}+\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+}-\tau^{-})}{1-\tau^{\Delta }}\bigl\vert u_{i}(t)\bigr\vert \\& \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](\tau^{+}+\delta^{+}-\delta^{-})}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}\bigl\vert u_{j}(t)\bigr\vert } \\& \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(\tau^{+}+\delta^{+}-\tau ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta})}\bigl\vert u_{j}(t)\bigr\vert } \\& \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta^{+}-\delta ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}\bigl\vert u_{i}(t)\bigr\vert } \\& \quad = - \Biggl[b_{i}^{l}e^{x_{i}^{m}}-2\bar{ \mu }\bigl(b_{i}^{u}e^{x_{i}^{M}}\bigr)^{2}- \frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar {\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+}-\tau^{-})}{1-\tau^{\Delta }} \\& \qquad {}-{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta^{+}-\delta ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}} \Biggr]\bigl\vert u_{i}(t)\bigr\vert \\& \qquad {}+ \Biggl[{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}}} +{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](\tau^{+}+\delta^{+}-\delta^{-})}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}} \\& \qquad {}+{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(\tau^{+}+\delta^{+}-\tau ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta})}} \Biggr]\bigl\vert u_{j}(t)\bigr\vert \\& \quad = - \Biggl\{ b_{i}^{l}e^{x_{i}^{m}}-2\bar{\mu } \bigl(b_{i}^{u}e^{x_{i}^{M}}\bigr)^{2}- \frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar {\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+}-\tau^{-})}{1-\tau^{\Delta }} \\& \qquad {}-{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta^{+}-\delta ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}}-{ \sum_{j=1,j\neq i}^{n} \frac{c_{ji}^{u}e^{x_{i}^{M}}(2\bar{\mu} b_{j}^{u}e^{x_{j}^{M}}+1)}{(d_{ji}+e^{x_{i}^{m}})^{2}}} \\& \qquad {}-{ \sum_{j=1,j\neq i}^{n} \frac {c_{ji}^{u}e^{x_{i}^{M}}b_{j}^{u}e^{x_{j}^{M}}[2\bar{\mu} b_{j}^{u}e^{x_{j}^{M}}+1](\tau^{+}+\delta^{+}-\delta^{-})}{ (d_{ji}+e^{x_{i}^{m}})^{2}(1-\delta^{\Delta})}} \\& \qquad {}-{ \sum_{j=1,j\neq i}^{n} \frac {c_{ji}^{u}e^{2x_{i}^{M}}b_{i}^{u}(2\bar{\mu} b_{j}^{u}e^{x_{j}^{M}}+1)(\tau^{+}+\delta^{+}-\tau ^{-})}{(d_{ji}+e^{x_{i}^{m}})^{2}(1-\tau^{\Delta})}} \Biggr\} \bigl\vert u_{i}(t)\bigr\vert \\& \quad = - \Biggl\{ b_{i}^{l}e^{x_{i}^{m}}-2\bar{\mu } \bigl(b_{i}^{u}e^{x_{i}^{M}}\bigr)^{2}- \frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar {\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+}-\tau^{-})}{1-\tau^{\Delta }} \\& \qquad {}-{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta^{+}-\delta ^{-})}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}}-{ \sum_{j=1,j\neq i}^{n} \frac{c_{ji}^{u}e^{x_{i}^{M}}(2\bar{\mu} b_{j}^{u}e^{x_{j}^{M}}+1)}{(d_{ji}+e^{x_{i}^{m}})^{2}}} \\& \qquad {}\times \biggl[1+\frac{b_{j}^{u}e^{x_{j}^{M}}(\tau^{+}+\delta^{+}-\delta^{-})}{ 1-\delta^{\Delta}}+\frac{e^{x_{i}^{M}}b_{i}^{u}(\tau^{+}+\delta ^{+}-\tau^{-})}{1-\tau^{\Delta}} \biggr] \Biggr\} \bigl\vert u_{i}(t)\bigr\vert \\& \quad = -\gamma_{i}\bigl\vert u_{i}(t)\bigr\vert . \end{aligned}$$
(4.8)

From (4.8), we get

$$D^{+}V^{\Delta}(t)\leq\sum_{i=1}^{n}- \gamma_{i}\bigl\vert u_{i}(t)\bigr\vert , \quad t\in \mathbb{T}, $$

then

$$D^{+}V^{\Delta}(t)\leq0, \quad t\in\mathbb{T}, $$

and hence

$$ V(t)< V(t_{0}),\quad t\geq t_{0}, t_{0}\in\mathbb{T}. $$
(4.9)

By use of (4.8) and (4.9), we have

$$ \int_{t_{0}}^{t}\sum_{i=1}^{n} \gamma_{i}\bigl\vert u_{i}(s)\bigr\vert \Delta s\leq V(t_{0})-V(t), \quad t\geq t_{0}, t_{0}\in \mathbb{T}, i=1, 2,\ldots, n. $$

Consequently,

$$ \int_{t_{0}}^{\infty}\bigl\vert u_{i}(s) \bigr\vert \Delta s\leq\infty, \quad t_{0}\in\mathbb{T} $$

and \(u_{i}(t)=x_{i}(t)-y_{i}(t)\rightarrow0\) for \(t\rightarrow\infty\), \(i=1, 2,\ldots, n\). This completes the proof. □

5 Almost periodic solutions

In this section, we investigate the existence and uniqueness of almost periodic solutions of system (1.3) by use of the almost periodic functional hull theory on time scales.

Let \(\{s_{p}\}\subset\Pi\) be any sequence such that \(s_{p}\rightarrow +\infty\) as \(p\rightarrow+\infty\). According to Lemma 2.9, taking a subsequence if necessary, we have

$$\begin{aligned}& a_{i}(t+s_{p})\rightarrow a_{i}^{\ast}(t), \qquad b_{i}(t+s_{p})\rightarrow b_{i}^{\ast}(t), \qquad c_{ij}(t+s_{p})\rightarrow c_{ij}^{\ast}(t), \\& \tau_{i}(t+s_{p})\rightarrow\tau_{i}^{\ast}(t), \qquad \delta _{j}(t+s_{p})\rightarrow\delta_{j}^{\ast}(t), \quad p\rightarrow+\infty \end{aligned}$$

for \(t\in\mathbb{T}\), \(i, j= 1, 2,\ldots,n\), \(i\neq j\). Then we get the hull equations of system (1.3) as follows:

$$\begin{aligned} x_{i}^{\Delta}(t) =&a_{i}^{\ast}(t)-b_{i}^{\ast}(t)e^{x_{i}(t-\tau _{i}^{\ast}(t))} +\sum_{j=1,j\neq i}^{n}c_{ij}^{\ast}(t) \frac {e^{x_{j}(t-\delta_{j}^{\ast}(t))}}{d_{ij}+e^{x_{j}(t-\delta_{j}^{\ast }(t))}},\quad i= 1, 2,\ldots,n. \end{aligned}$$
(5.1)

By use of the almost periodic theory on time scales and Lemma 2.7, it is easy to obtain the following lemma.

Lemma 5.1

If system (1.3) satisfies (H1)-(H4), then the hull equations (5.1) also satisfy (H1)-(H4).

Theorem 5.1

Assume that (H1)-(H4) hold, then there exists a unique strictly positive almost periodic solution of system (1.3).

Proof

By Lemma 2.9, in order to prove the existence of a unique strictly positive almost periodic solution of system (1.3), we only need to prove that each hull equation of system (1.3) has a unique strictly positive solution.

Firstly, we prove the existence of a strictly positive solution of hull equations (5.1). By the almost periodicity of \(a_{i}(t)\), \(b_{i}(t)\) and \(c_{ij}(t)\), \(i, j= 1, 2,\ldots,n\), \(i\neq j\), for an arbitrary sequence \(\omega=\{\omega _{p}\}\subset\Pi\) with \(\omega_{p}\rightarrow+\infty\) as \(p\rightarrow +\infty\), we have, for \(i, j= 1, 2,\ldots,n\), \(i\neq j\),

$$\begin{aligned}& a_{i}^{\ast}(t+\omega_{p})\rightarrow a_{i}^{\ast}(t), \qquad b_{i}^{\ast }(t+ \omega_{p})\rightarrow b_{i}^{\ast}(t), \qquad c_{ij}^{\ast}(t+\omega _{p})\rightarrow c_{ij}^{\ast}(t), \\& \tau_{i}^{\ast}(t+\omega_{p})\rightarrow \tau_{i}^{\ast}(t),\qquad \delta _{j}^{\ast}(t+ \omega_{p})\rightarrow\delta_{j}^{\ast}(t),\quad p \rightarrow+\infty. \end{aligned}$$

Suppose that \(x(t)=(x_{1}(t), x_{2}(t),\ldots,x_{n}(t))\) is any solution of hull equations (5.1). Let ε be an arbitrary small positive number. Since (H1)-(H3) hold, by the proof of Lemma 3.1, then there exists \(t_{1}\in\mathbb{T}\) (\(t_{1}\geq t_{0}\)) such that

$$ x_{i}^{m}-\varepsilon \leq x_{i}(t)\leq x_{i}^{M}+\varepsilon \quad \mbox{for } t\geq t_{1}, i= 1, 2,\ldots,n. $$

Write \(x_{ip}(t)=x_{i}(t+\omega_{p})\) for \(t\geq t_{1}\), \(p= 1, 2,\ldots \) , \(i= 1, 2,\ldots,n\). For any positive integer q, it is easy to see that there exist sequences \(\{x_{ip}(t):p\geq q\}\) such that the sequences \(\{x_{ip} (t)\}\) have subsequences, denoted by \(\{x_{ip} (t)\}\) again, converging on any finite interval of \(\mathbb{T}\) as \(p\rightarrow+\infty\), respectively. Thus we have sequences \(\{y_{i}(t)\}\) such that

$$ x_{ip} (t)\rightarrow y_{i}(t)\quad \mbox{for } t\in \mathbb{T}, \mbox{as } p\rightarrow+\infty, i= 1, 2,\ldots,n. $$

Since

$$\begin{aligned} x_{ip}^{\Delta}(t) =&a_{i}^{\ast}(t+ \omega_{p})-b_{i}^{\ast}(t+\omega _{p})e^{x_{i}(t+\omega_{p}-\tau_{i}(t+\omega_{p}))} \\ &{}+\sum_{j=1,j\neq i}^{n}c_{ij}^{\ast}(t+ \omega_{p}) \frac {e^{x_{j}(t+\omega_{p}-\delta_{j}(t+\omega _{p}))}}{d_{ij}+e^{x_{j}(t+\omega_{p}-\delta_{j}(t+\omega_{p}))}}, \end{aligned}$$

by use of Lemma 3.5 in [32], we have

$$ y_{i}^{\Delta}(t)=a_{i}^{\ast}(t)-b_{i}^{\ast}(t)e^{y_{i}(t-\tau _{i}^{\ast}(t))}+ \sum_{j=1,j\neq i}^{n}c_{ij}^{\ast}(t) \frac{e^{y_{j}(t-\delta_{j}^{\ast}(t))}}{d_{ij}+e^{y_{j}(t-\delta _{j}^{\ast}(t))}},\quad i=1,2,\ldots,n. $$

We can easily see that \(y(t)=(y_{1}(t), y_{2}(t),\ldots,y_{n}(t))\) is a solution of system (5.1) and \(x_{i}^{m}-\varepsilon \leq y_{i}(t)\leq x_{i}^{M}+\varepsilon \) for \(t\in\mathbb{T}\), \(i= 1, 2,\ldots ,n\). Since ε is an arbitrary small positive number, it follows that \(x_{i}^{m}\leq y_{i}(t)\leq x_{i}^{M}\) for \(t\in\mathbb{T}\), \(i= 1, 2,\ldots,n\), which implies that each of the hull equations (5.1) has at least one strictly positive solution.

Now, we prove the uniqueness of the strictly positive solution of each of the hull equations (5.1). Suppose that the hull equations (5.1) have two arbitrary strictly positive solutions \(x^{\ast}(t)=(x_{1}^{\ast }(t), x_{2}^{\ast}(t),\ldots,x_{n}^{\ast}(t))\) and \(y^{\ast }(t)=(y_{1}^{\ast}(t), y_{2}^{\ast}(t),\ldots,y_{n}^{\ast}(t))\). Let \(u_{i}^{\ast}(t)=x_{i}^{\ast}(t)-y_{i}^{\ast}(t)\), \(i=1, 2,\ldots,n\). Consider a Lyapunov function

$$V^{\ast}(t)=\sum_{i=1}^{n}V_{i}^{\ast}(t), $$

where

$$\begin{aligned}& V_{i}^{\ast}(t)=V_{i1}^{\ast}(t)+V_{i2}^{\ast}(t)+V_{i3}^{\ast }(t)+V_{i4}^{\ast}(t)+V_{i5}^{\ast}(t), \\& V_{i1}^{\ast}(t)=\bigl\vert u_{i}^{\ast}(t) \bigr\vert , \\& V_{i2}^{\ast}(t)=\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{1-\tau^{\Delta}}\int_{-2\tau^{+}}^{-\tau ^{-}} \int_{s+t}^{t}\bigl\vert u_{i}^{\ast}(r) \bigr\vert \Delta r\Delta s, \\& V_{i3}^{\ast}(t)= \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1]}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}\int_{-\tau^{+}-\delta ^{+}}^{-\delta^{-}}\int _{s+t}^{t}\bigl\vert u_{j}^{\ast}(r) \bigr\vert \Delta r\Delta s, \\& V_{i4}^{\ast}(t)={ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta })}\int_{-\tau^{+}-\delta^{+}}^{-\tau^{-}}\int _{s+t}^{t}\bigl\vert u_{j}^{\ast }(r) \bigr\vert \Delta r\Delta s}, \\& V_{i5}^{\ast}(t)={ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta })}\int_{-2\delta^{+}}^{-\delta^{-}}\int _{s+t}^{t}\bigl\vert u_{i}^{\ast }(r) \bigr\vert \Delta r\Delta s}. \end{aligned}$$

Similar to the proof of Theorem 4.1, we have

$$ D^{+}\bigl(V^{\ast}\bigr)^{\Delta}(t)\leq- \sum_{i=1}^{n}\gamma_{i}\bigl\vert u_{i}^{\ast}(t)\bigr\vert . $$
(5.2)

From (5.2), we get

$$ D^{+}\bigl(V^{\ast}\bigr)^{\Delta}(t)\leq0,\quad t\in \mathbb{T}, $$

and hence

$$ V^{\ast}(t)>V^{\ast}(t_{0}),\quad t\leq t_{0}, t_{0}\in\mathbb{T}. $$

Then we have

$$ \int_{t}^{t_{0}}\gamma_{i}\bigl\vert u_{i}^{\ast}(s)\bigr\vert \Delta s\leq V^{\ast }(t_{0})-V^{\ast}(t), \quad t\leq t_{0}, t_{0}\in\mathbb{T}, i=1, 2,\ldots, n. $$

Consequently,

$$ \int_{-\infty}^{t_{0}}\bigl\vert u_{i}^{\ast}(s) \bigr\vert \Delta s\leq\infty,\quad t_{0}\in \mathbb{T}, $$

and \(u_{i}^{\ast}(t)=x_{i}^{\ast}(t)-y_{i}^{\ast}(t)\rightarrow0\) for \(t\rightarrow-\infty\), \(i=1, 2,\ldots, n\).

For \(i=1,2,\ldots,n\), let

$$\begin{aligned} P_{i} =&1+\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+})^{2}}{1-\tau^{\Delta}} \\ &{}+{ \sum_{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](\tau^{+}+\delta^{+})^{2}}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}} \\ &{}+{ \sum_{j=1,j\neq i}^{n}\frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(\tau^{+}+\delta ^{+})^{2}}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta})}} \\ &{}+{ \sum_{j=1,j\neq i}^{n}\frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta ^{+})^{2}}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}}. \end{aligned}$$

For arbitrary \(\varepsilon >0\), there exists a positive integer \(K_{1}\) such that

$$ \bigl\vert x_{i}^{\ast}(t)-y_{i}^{\ast}(t) \bigr\vert < \frac{\varepsilon }{P_{i}}, \quad \forall t< -K_{1}, i=1, 2, \ldots, n. $$

Hence, for \(i, j=1, 2,\ldots, n\) with \(i\neq j\), one has

$$\begin{aligned}& V_{i1}^{\ast}(t)\leq\frac{\varepsilon }{P_{i}}, \quad \forall t< -K_{1}, \\& V_{i2}^{\ast}(t)\leq\frac{(b_{i}^{u}e^{x_{i}^{M}})^{2}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](2\tau^{+})^{2}}{1-\tau^{\Delta}}\frac{\varepsilon }{P_{i}}, \quad \forall t< -K_{1}, \\& V_{i3}^{\ast}(t)\leq{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{x_{j}^{M}}b_{i}^{u}e^{x_{i}^{M}}[2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1](\tau^{+}+\delta^{+})^{2}}{ (d_{ij}+e^{x_{j}^{m}})^{2}(1-\delta^{\Delta})}\frac{\varepsilon }{P_{i}}},\quad \forall t< -K_{1}, \\& V_{i4}^{\ast}(t)\leq{ \sum_{j=1,j\neq i}^{n} \frac {c_{ij}^{u}e^{2x_{j}^{M}}b_{j}^{u}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(\tau^{+}+\delta ^{+})^{2}}{(d_{ij}+e^{x_{j}^{m}})^{2}(1-\tau^{\Delta})}\frac{\varepsilon }{P_{i}}}, \quad \forall t< -K_{1}, \\& V_{i5}^{\ast}(t)\leq{ \sum_{j=1,j\neq i}^{n} \frac {(c_{ij}^{u}e^{x_{j}^{M}})^{2}(2\bar{\mu} b_{i}^{u}e^{x_{i}^{M}}+1)(2\delta ^{+})^{2}}{(d_{ij}+e^{x_{j}^{m}})^{4}(1-\delta^{\Delta})}\frac{\varepsilon }{P_{i}}}, \quad \forall t< -K_{1}, \end{aligned}$$

which imply that

$$ V^{\ast}(t)< \varepsilon ,\quad \forall t< -K_{1}. $$

So,

$$ \lim_{t\rightarrow-\infty}V^{\ast}(t)=0. $$

Note that \(V^{\ast}(t)\) is a nonincreasing nonnegative function on \(\mathbb{T}\) and that \(V^{\ast}(t)=0\). That is,

$$ x_{i}^{\ast}(t)=y_{i}^{\ast}(t),\quad t\in \mathbb{T}, i=1,2,\ldots,n. $$

Therefore, each of the hull equations (5.1) has a unique strictly positive solution. In view of the previous discussion, any of the hull equations (5.1) has a unique strictly positive solution. By Lemma 2.9, system (1.3) has a unique strictly positive almost periodic solution. The proof is completed. □

6 An example

Consider the following multispecies Lotka-Volterra mutualism system with time delays on almost periodic time scale \(\mathbb{T}\):

$$\begin{aligned} x_{i}^{\Delta}(t) =&a_{i}(t)-b_{i}(t)e^{x_{i}(t-\tau_{i}(t))} \\ &{}+\sum_{j=1,j\neq i}^{2}c_{ij}(t) \frac{e^{x_{j}(t-\delta _{j}(t))}}{d_{ij}+e^{x_{j}(t-\delta_{j}(t))}}, \quad i=1,2, t\in{\mathbb{T}}. \end{aligned}$$
(6.1)

Example 6.1

When we take \(\mathbb{T}=\mathbb{R}\), then \(\mu(t)=0\). Let

$$\begin{aligned}& a_{1}(t)=0.7-0.02\sin(\sqrt{2}t),\qquad a_{2}(t)=0.61-0.02 \sin(\sqrt{3}t), \\& b_{1}(t)=0.58-0.01\cos(\sqrt{2}t), \qquad b_{2}(t)=0.55-0.01 \sin(\sqrt{2}t), \\& \tau_{1}(t)=0.003-0.001\cos t, \qquad \tau_{2}(t)=0.002+0.001 \sin t, \\& \delta_{1}(t)=0.004-0.002\cos t,\qquad \delta_{2}(t)=0.002, \\& \bigl(c_{ij}(t)\bigr)_{2\times2}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 0.06+0.05\sin(2t) & 0.005+0.005\cos(\sqrt{5}t) \\ 0.15+0.02\cos(\sqrt{3}t) & 0.08+0.02\sin(\sqrt{2}t) \end{array}\displaystyle \right ), \\& (d_{ij})_{2\times2}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 1.2 & 1 \\ 1 & 1.1 \end{array}\displaystyle \right ), \end{aligned}$$

then

$$\begin{aligned}& {a_{1}^{u}}=0.72, \qquad {a_{1}^{l}}=0.68, \qquad {a_{2}^{u}}=0.63,\qquad {a_{2}^{l}}=0.59, \qquad {b_{1}^{u}}=0.59, \qquad {b_{1}^{l}}=0.57, \\& {b_{2}^{u}}=0.56,\qquad {b_{2}^{l}}=0.54, \qquad {c_{11}^{u}}=0.11,\qquad {c_{12}^{u}}=0.01, \qquad {c_{21}^{u}}=0.17, \qquad {c_{22}^{u}}=0.1, \\& \tau^{+}=0.004, \qquad \tau^{-}=0.001, \qquad \delta^{+}=0.006,\qquad \delta^{-}=0.002, \\& \tau^{\Delta}=\max_{1\leq i\leq2}\sup_{t\in\mathbb{R}} \bigl\{ \tau_{i}'(t)\bigr\} =0.001, \qquad \delta^{\Delta}=\max_{1\leq j\leq2}\sup_{t\in\mathbb{R}} \bigl\{ \delta_{j}'(t)\bigr\} =0.002. \end{aligned}$$

By calculating, we have

$$\begin{aligned}& x_{1}^{M}=\ln \biggl\{ \frac{ a_{1}^{u}+c_{12}^{u}}{b_{1}^{l}}\exp\bigl\{ \bigl( a_{1}^{u}+c_{12}^{u}\bigr) \tau^{+}\bigr\} \biggr\} \approx0.250,\qquad x_{1}^{m}= \ln \biggl\{ \frac{a_{1}^{l}}{b_{1}^{u}}e^{-b_{1}^{u}e^{x_{1}^{M}}\tau^{+}} \biggr\} \approx0.139, \\& x_{2}^{M}=\ln \biggl\{ \frac{ a_{2}^{u}+c_{21}^{u}}{b_{2}^{l}}\exp\bigl\{ \bigl( a_{2}^{u}+c_{21}^{u}\bigr) \tau^{+}\bigr\} \biggr\} \approx0.396,\qquad x_{2}^{m}= \ln \biggl\{ \frac{a_{2}^{l}}{b_{2}^{u}}e^{-b_{2}^{u}e^{x_{2}^{M}}\tau^{+}} \biggr\} \approx0.052, \end{aligned}$$

then

$$ \gamma_{1}\approx0.604>0,\qquad \gamma_{2}\approx0.527>0. $$

Thus, (H1)-(H4) are satisfied. According to Theorem 3.1, Theorem 4.1 and Theorem 5.1, system (6.1) has a unique almost periodic solution, which is globally attractive.

Example 6.2

When we take \(\mathbb{T}=\mathbb{Z}\), then \(\mu(t)=1\). Let

$$\begin{aligned}& a_{1}(t)=0.3-0.02\sin(\sqrt{2}t),\qquad a_{2}(t)=0.25-0.02 \sin(\sqrt{3}t), \\& b_{1}(t)=0.27, \qquad b_{2}(t)=0.22,\qquad \tau_{1}(t)=\frac {2+(-1)^{t}}{1\text{,}000}, \qquad \tau_{2}(t)=0.001, \\& \delta_{1}(t)=\frac{3+(-1)^{t}}{1\text{,}000}, \qquad \delta_{2}(t)=0.002, \\& \bigl(c_{ij}(t)\bigr)_{2\times2}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 0.03+0.02\sin(2t) & 0.01+0.01\cos(\sqrt{5}t) \\ 0.006+0.004\cos(\sqrt{3}t) & 0.08+0.02\sin(\sqrt{2}t) \end{array}\displaystyle \right ), \\& (d_{ij})_{2\times2}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 1.2 & 1 \\ 1 & 1.1 \end{array}\displaystyle \right ), \end{aligned}$$

then

$$\begin{aligned}& {a_{1}^{u}}=0.32, \qquad {a_{1}^{l}}=0.28, \qquad {a_{2}^{u}}=0.27,\qquad {a_{2}^{l}}=0.23, \qquad {b_{1}^{u}}={b_{1}^{l}}=0.27, \\& {b_{2}^{u}}={b_{2}^{l}}=0.22,\qquad {c_{11}^{u}}=0.05,\qquad {c_{12}^{u}}=0.02, \qquad {c_{21}^{u}}=0.01,\qquad {c_{22}^{u}}=0.1, \\& \tau^{+}=0.003, \qquad \tau^{-}=0.001,\qquad \delta^{+}=0.004, \qquad \delta^{-}=0.002, \\& \tau^{\Delta}=\max_{1\leq i\leq2}\sup_{t\in\mathbb{Z}} \bigl\{ \Delta\tau_{i}(t)\bigr\} =0.002, \qquad \delta^{\Delta}= \max_{1\leq j\leq 2}\sup_{t\in\mathbb{Z}}\bigl\{ \Delta \delta_{j}(t)\bigr\} =0.002. \end{aligned}$$

By calculating, we have

$$\begin{aligned}& x_{1}^{M}=\ln \biggl\{ \frac{ a_{1}^{u}+c_{12}^{u}}{b_{1}^{l}}\exp\bigl\{ -\tau ^{+}\log\bigl(1-\bigl(a_{1}^{u}+c_{12}^{u} \bigr)\bigr)\bigr\} \biggr\} \approx0.232, \\& x_{1}^{m}=\ln \biggl\{ \frac{a_{1}^{l}}{b_{1}^{u}}\exp \bigl\{ \tau^{+}\log \bigl(1-b_{1}^{u}e^{x_{1}^{M}} \bigr) \bigr\} \biggr\} \approx0.035, \\& x_{2}^{M}=\ln \biggl\{ \frac{ a_{2}^{u}+c_{21}^{u}}{b_{2}^{l}}\exp\bigl\{ -\tau ^{+}\log\bigl(1-\bigl(a_{2}^{u}+c_{21}^{u} \bigr)\bigr)\bigr\} \biggr\} \approx0.242, \\& x_{i}^{m}=\ln \biggl\{ \frac{a_{2}^{l}}{b_{2}^{u}}\exp \bigl\{ \tau^{+}\log \bigl(1-b_{2}^{u}e^{x_{2}^{M}} \bigr) \bigr\} \biggr\} \approx0.044, \end{aligned}$$

then

$$ \gamma_{1}\approx0.041>0,\qquad \gamma_{2}\approx0.059>0. $$

Thus, (H1)-(H4) are satisfied. According to Theorem 3.1, Theorem 4.1 and Theorem 5.1, system (6.1) has a unique almost periodic solution, which is globally attractive.

References

  1. Xia, YH, Cao, JD, Cheng, SS: Periodic solutions for a Lotka-Volterra mutualism system with several delays. Appl. Math. Model. 31, 1960-1969 (2007)

    Article  Google Scholar 

  2. Li, YK, Zhang, HT: Existence of periodic solutions for a periodic mutualism model on time scales. J. Math. Anal. Appl. 343, 818-825 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  3. Wang, YM: Asymptotic behavior of solutions for a Lotka-Volterra mutualism reaction-diffusion system with time delays. Comput. Math. Appl. 58, 597-604 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Wang, CY, Wang, S, Yang, FP, Li, LR: Global asymptotic stability of positive equilibrium of three-species Lotka-Volterra mutualism models with diffusion and delay effects. Appl. Math. Model. 34, 4278-4288 (2010)

    Article  MathSciNet  Google Scholar 

  5. Liu, M, Wang, K: Analysis of a stochastic autonomous mutualism model. J. Math. Anal. Appl. 402, 392-403 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  6. Zhang, H, Li, YQ, Jing, B, Zhao, WZ: Global stability of almost periodic solution of multispecies mutualism system with time delays and impulsive effects. Appl. Math. Comput. 232, 1138-1150 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  7. Yan, XP, Li, WT: Bifurcation and global periodic solutions in a delayed facultative mutualism system. Physica D 227, 51-69 (2007)

    Article  MathSciNet  Google Scholar 

  8. Wu, H, Xia, Y, Lin, M: Existence of positive periodic solution of mutualism system with several delays. Chaos Solitons Fractals 36, 487-493 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  9. Chen, F, Yang, J, Chen, L, Xie, X: On a mutualism model with feedback controls. Appl. Math. Comput. 214, 581-587 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Li, YK: On a periodic mutualism model. ANZIAM J. 42, 569-580 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  11. Xia, YH, Cao, JD, Zhang, HY, Chen, FD: Almost periodic solutions n-species competitive system with feedback controls. J. Math. Anal. Appl. 294, 504-522 (2004)

    Article  MathSciNet  Google Scholar 

  12. Huang, ZK, Chen, FD: Almost periodic solution of two species model with feedback regulation and infinite delay. J. Eng. Math. 20, 33-40 (2004)

    Google Scholar 

  13. He, C: On almost periodic solutions of Lotka-Volterra almost periodic competition systems. Ann. Differ. Equ. 9, 26-36 (1993)

    MATH  Google Scholar 

  14. Chen, FD: Almost periodic solution of the non-autonomous two-species competitive model with stage structure. Appl. Math. Comput. 181, 685-693 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  15. Wang, Q, Dai, BX: Almost periodic solution for n-species Lotka-Volterra competitive system with delay and feedback controls. Appl. Math. Comput. 200, 133-146 (2008)

    Article  MathSciNet  Google Scholar 

  16. Meng, XZ, Chen, LS: Periodic solution and almost periodic solution for a nonautonomous Lotka-Volterra dispersal system with infinite delay. J. Math. Anal. Appl. 339, 125-145 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  17. Xie, Y, Li, X: Almost periodic solutions of single population model with hereditary effects. Appl. Math. Comput. 203, 690-697 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  18. Zhang, TW, Li, YK, Ye, Y: Persistence and almost periodic solutions for a discrete fishing model with feedback control. Commun. Nonlinear Sci. Numer. Simul. 16, 1564-1573 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  19. Zhang, H, Li, YQ, Jing, B: Global attractivity and almost periodic solution of a discrete mutualism model with delays. Math. Methods Appl. Sci. 37, 3013-3025 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  20. Wu, L, Chen, F, Li, Z: Permanence and global attractivity of a discrete Schoener’s competition model with delays. Math. Comput. Model. 49, 1607-1617 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  21. Chen, FD: Permanence for the discrete mutualism model with time delay. Math. Comput. Model. 47, 431-435 (2008)

    Article  MATH  Google Scholar 

  22. Liao, YZ, Zhang, TW: Almost periodic solutions of a discrete mutualism model with variable delays. Discrete Dyn. Nat. Soc. 2012, Article ID 742102 (2012)

    Article  MathSciNet  Google Scholar 

  23. Wang, Z, Li, Y: Almost periodic solutions of a discrete mutualism model with feedback controls. Discrete Dyn. Nat. Soc. 2010, Article ID 286031 (2010)

    Google Scholar 

  24. Zhang, H, Jing, B, Li, YQ, Fang, XF: Global analysis of almost periodic solution of a discrete multispecies mutualism system. J. Appl. Math. 2014, Article ID 107968 (2014)

    MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  26. Teng, ZD: On the positive almost periodic solutions of a class of Lotka-Volterra type systems with delays. J. Math. Anal. Appl. 249, 433-444 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  27. Meng, XZ, Chen, LS: Almost periodic solution of non-autonomous Lotka-Volterra predator-prey dispersal system with delays. J. Theor. Biol. 243, 562-574 (2006)

    Article  MathSciNet  Google Scholar 

  28. Meng, XZ, Chen, LS: Periodic solution and almost periodic solution for a nonautonomous Lotka-Volterra dispersal system with infinite delay. J. Math. Anal. Appl. 339, 125-145 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  29. Li, YK, Zhang, TW: Permanence and almost periodic sequence solution for a discrete delay logistic equation with feedback control. Nonlinear Anal., Real World Appl. 12, 1850-1864 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  30. Zhang, TW, Gan, XR: Almost periodic solutions for a discrete fishing model with feedback control and time delays. Commun. Nonlinear Sci. Numer. Simul. 19, 150-163 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  31. Zhang, HT, Zhang, FD: Permanence of an N-species cooperation system with time delays and feedback controls on time scales. J. Appl. Math. Comput. 46, 17-31 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  32. Li, YK, Wang, C: Uniformly almost periodic functions and almost periodic solutions to dynamic equations on time scales. Abstr. Appl. Anal. 2011, Article ID 341520 (2011)

    Google Scholar 

  33. He, CY: Almost Periodic Differential Equations. Higher Education Publishing House, Beijing (1992) (in Chinese)

    Google Scholar 

Download references

Acknowledgements

This work is supported by the National Natural Sciences Foundation of People’s Republic of China under Grant 11361072.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yongkun Li.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

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). https://doi.org/10.1186/s13662-015-0573-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0573-9

Keywords