Open Access

Almost periodic solutions for a delayed Nicholson’s blowflies model with a nonlinear density-dependent mortality term

Advances in Difference Equations20142014:72

https://doi.org/10.1186/1687-1847-2014-72

Received: 2 July 2013

Accepted: 7 February 2014

Published: 20 February 2014

Abstract

A delayed Nicholson’s blowflies model with a nonlinear density-dependent mortality term is studied in this paper. Some sufficient conditions are obtained to guarantee the existence and global exponential stability of positive almost periodic solutions of this model. An example with numerical simulations is given to illustrate our main results.

MSC: 34C25, 34K13.

Keywords

Nicholson’s blowflies modelnonlinear density-dependent mortality termtime-varying delaypositive almost periodic solution

1 Introduction

In population dynamics, the classic Nicholson’s blowflies equation developed by Gurney et al. [1] takes the following form:
x ( t ) = P x ( t τ ) e α x ( t τ ) γ x ( t ) ,
where x ( t ) denotes the population of sexually mature adults at time t, P is the maximum possible per capita egg production rate, 1 / α is the population size at which the whole population reproduces at its maximum rate, τ is the generation time, and the mortality rate γ is assumed to be a constant. Such an assumption is reasonable for populations at low densities, but may not be valid any more when the populations are at high densities. A straightforward extension thus assumes that the mortality rate is density-dependent, for instance, Berezansky et al. [2] proposed the following Nicholson’s blowflies equation:
x ( t ) = D ( x ( t ) ) + P x ( t τ ) e x ( t τ ) ,
(1.1)

where the nonlinear density-dependent mortality function D ( x ) might have one of the following forms: D ( x ) = a x b + x or D ( x ) = a b e x with positive constants a , b > 0 .

Since variable coefficients and delays in differential equations of population and ecology problems are much more realistic in the real world, (1.1) has been often generalized as follows:
x ( t ) = D ( t , x ( t ) ) + P ( t ) x ( t τ ) e x ( t τ ( t ) ) ,
(1.2)

where coefficients and delays are time-varying with D ( t , x ) = a ( t ) x b ( t ) + x or D ( t , x ) = a ( t ) b ( t ) e x . Moreover, the dynamic behaviors on the existence of positive solutions, periodic solutions, persistence, permanence, oscillation and stability of Nicholson’s blowflies model (1.2) and its analogous equations have been studied extensively. We refer the reader to [39] and the references cited therein. On the other hand, the variation of the environment plays an important role in many biological and ecological dynamical systems. Fink [10] and He [11] pointed out that periodically varying environment and almost periodically varying environment are foundations for the theory of nature selection. Compared with periodic effects, almost periodic effects are more frequent. Hence, the effects of almost periodic environment on evolutionary theory have been the object of intensive analysis by numerous authors, and some of these results on Nicholson’s blowflies model without nonlinear density-dependent mortality term can be found in [1214]. In particular, these results were obtained by using exponential dichotomy theory on almost periodic differential equations or functional differential equations with linear part. However, there is not any linear part in Nicholson’s blowflies model with a nonlinear density-dependent mortality term. Thus, many classical and traditional approaches fail to almost periodic problems on (1.2). Therefore, a new method must be sought to investigate the existence and stability of positive almost periodic solutions of (1.2).

Motivated by the above discussions, in this paper, we employ a novel method to establish some criteria on the existence and global exponential stability of almost periodic solutions for the nonlinear density-dependent mortality Nicholson’s blowflies model given by
x ( t ) = a ( t ) + b ( t ) e x ( t ) + j = 1 m β j ( t ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) ,
(1.3)

where a , b , β j , γ j : R ( 0 , + ) and τ j : R [ 0 , + ) are almost periodic functions, and j = 1 , 2 , , m .

For convenience, we introduce some notations. In the following part of this paper, given a bounded continuous function g defined on R, let g + and g be defined as
g + = sup t R g ( t ) , g = inf t R g ( t ) .
It will be assumed that
r = max 1 j m τ j + , a > 0 , b > 0 , β j > 0 , γ j 1 , j = 1 , 2 , , m .
(1.4)

Throughout this paper, let R + denote a nonnegative real number space, C = C ( [ r , 0 ] , R ) be the continuous functions space equipped with the usual supremum norm , and let C + = C ( [ r , 0 ] , R + ) . If x ( t ) is continuous and defined on [ r + t 0 , σ ) with t 0 , σ R , then we define x t C , where x t ( θ ) = x ( t + θ ) for all θ [ r , 0 ] .

It is biologically reasonable to assume that only positive solutions of model (1.3) are meaningful and therefore admissible. Much can be learned by considering admissible initial conditions
x t 0 = φ , φ C + and φ ( 0 ) > 0 .
(1.5)
Define a continuous map f : R × C + R by setting
f ( t , φ ) = a ( t ) + b ( t ) e φ ( 0 ) + j = 1 m β j ( t ) φ ( τ j ( t ) ) e γ j ( t ) φ ( τ j ( t ) ) .

Then f is a locally Lipschitz map with respect to φ C + , which ensures the existence and uniqueness of the solution of (1.3) with admissible initial conditions (1.5).

We denote by x t ( t 0 , φ ) ( x ( t ; t 0 , φ ) ) an admissible solution of admissible initial value problem (1.3) and (1.5). Also, let [ t 0 , η ( φ ) ) be the maximal right-interval of the existence of x t ( t 0 , φ ) .

Since the function 1 x e x is decreasing with the range [ 0 , 1 ] , it follows easily that there exists a unique κ ( 0 , 1 ) such that
1 κ e κ = 1 e 2 .
(1.6)
Obviously,
sup x κ | 1 x e x | = 1 e 2 .
(1.7)
Moreover, since x e x increases on [ 0 , 1 ] and decreases on [ 1 , + ) , let κ ˜ be the unique number in ( 1 , + ) such that
κ e κ = κ ˜ e κ ˜ .
(1.8)

The remainder of this paper is organized as follows. In Section 2, we give some definitions and lemmas, which tell us that some kinds of solutions to (1.3) are bounded. These results play an important role in Section 3 to establish the existence of almost periodic solutions of (1.3). Here we also study the local exponential stability of almost periodic solutions. The paper concludes with an example to illustrate the effectiveness of the obtained results by numerical simulation.

2 Preliminary results

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

Definition 2.1 (see [10, 11])

A continuous function u : R R is said to be almost periodic on R if, for any ϵ > 0 , the set T ( u , ϵ ) = { δ : | u ( t + δ ) u ( t ) | < ϵ  for all  t R } is relatively dense, i.e., for any ϵ > 0 , it is possible to find a real number l = l ( ϵ ) > 0 with the property that, for any interval with length l ( ϵ ) , there exists a number δ = δ ( ϵ ) in this interval such that | u ( t + δ ) u ( t ) | < ϵ for all t R .

From the theory of almost periodic functions in [10, 11], it follows that for any ϵ > 0 , it is possible to find a real number l = l ( ϵ ) > 0 ; for any interval with length l ( ϵ ) , there exists a number δ = δ ( ϵ ) in this interval such that
{ | a ( t + δ ) a ( t ) | < ϵ , | b ( t + δ ) b ( t ) | < ϵ , | β j ( t + δ ) β j ( t ) | < ϵ , | τ j ( t + δ ) τ j ( t ) | < ϵ , | γ j ( t + δ ) γ j ( t ) | < ϵ
(2.1)

for all t R and j = 1 , 2 , , m .

Lemma 2.1 Suppose that there exists a positive constant M such that
γ j + κ ˜ M , j = 1 , 2 , , m ,
(2.2)
sup t R { a ( t ) + b ( t ) e M + j = 1 m β j ( t ) γ j ( t ) 1 e } < 0 , inf t R , s [ 0 , κ ] { a ( t ) + b ( t ) e s + j = 1 m β j ( t ) γ j ( t ) s e s } > 0 . }
(2.3)
Then the set of { x t ( t 0 , φ ) : t [ t 0 , η ( φ ) ) } is bounded, and η ( φ ) = + . Moreover, there exists t φ > t 0 such that
κ < x ( t ; t 0 , φ ) < M for all  t t φ .
(2.4)
Proof Let x ( t ) = x ( t ; t 0 , φ ) . We first claim:
x ( t ) > 0 for all  t [ t 0 , η ( φ ) ) .
(2.5)
Suppose, for the sake of contradiction, that there exists t ¯ ( t 0 , η ( φ ) ) such that
x ( t ¯ ) = 0 , x ( t ) > 0 for all  t [ t 0 , t ¯ ) .
It follows that x ( t ¯ ) 0 . But
x ( t ¯ ) = a ( t ¯ ) + b ( t ¯ ) e x ( t ¯ ) + j = 1 m β j ( t ¯ ) x ( t ¯ τ j ( t ¯ ) ) e γ j ( t ¯ ) x ( t ¯ τ j ( t ¯ ) ) a ( t ¯ ) + b ( t ¯ ) inf t R , s [ 0 , κ ] { a ( t ) + b ( t ) e s + j = 1 m β j ( t ) γ j ( t ) s e s } > 0 .

This contradiction means that x ( t ) > 0 for all t [ t 0 , η ( φ ) ) .

For each t [ t 0 r , η ( φ ) ) , we define
M ( t ) = max { ξ : ξ t , x ( ξ ) = max t 0 r s t x ( s ) } .
We now show that x ( t ) is bounded on [ t 0 , η ( φ ) ) . In the contrary case, observe that M ( t ) η ( φ ) as t η ( φ ) , we have
lim t η ( φ ) x ( M ( t ) ) = + .
(2.6)
On the other hand,
x ( M ( t ) ) = max t 0 r s t x ( s ) and so x ( M ( t ) ) 0 , where  M ( t ) > t 0 .
Thus, in view of the fact that sup u 0 u e u = 1 e , we get
0 x ( M ( t ) ) = a ( M ( t ) ) + b ( M ( t ) ) e x ( M ( t ) ) + j = 1 m β j ( M ( t ) ) γ j ( M ( t ) ) γ j ( M ( t ) ) x ( M ( t ) τ j ( M ( t ) ) ) e γ j ( M ( t ) ) x ( M ( t ) τ j ( M ( t ) ) ) a ( M ( t ) ) + b ( M ( t ) ) e x ( M ( t ) ) + j = 1 m β j ( M ( t ) ) γ j ( M ( t ) ) 1 e , where  M ( t ) > t 0 .
Letting t η ( φ ) leads to
0 lim ¯ t η ( φ ) [ a ( t ) + j = 1 m β j ( t ) γ j ( t ) 1 e ] sup t R { a ( t ) + b ( t ) e M + j = 1 m β j ( t ) γ j ( t ) 1 e } < 0 ,

which is a contradiction and implies that x ( t ) is bounded on [ t 0 , η ( φ ) ) . From Theorem 2.3.1 in [15], we easily obtain η ( φ ) = + .

We next show that there exists t # [ t 0 , + ) such that
x ( t # ) < M .
(2.7)
Otherwise,
x ( t ) M for all  t [ t 0 , + ) ,
which together with (2.3) implies that
x ( t ) = a ( t ) + b ( t ) e x ( t ) + j = 1 m β j ( t ) γ j ( t ) γ j ( t ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) a ( t ) + b ( t ) e M + j = 1 m β j ( t ) γ j ( t ) 1 e < 0 for all  t t 0 .
This yields that
x ( t ) = x ( t 0 ) + t 0 t x ( s ) d s x ( t 0 ) + sup t R { a ( t ) + b ( t ) e M + j = 1 m β j ( t ) γ j ( t ) 1 e } ( t t 0 ) , t t 0 .
Thus
lim t + x ( t ) = ,
which contradicts with (2.5). Hence, (2.7) holds. In the sequel, we prove that
x ( t ) < M for all  t [ t # , + ) .
(2.8)
Suppose, for the sake of contradiction, that there exists t ˜ ( t # , + ) such that
x ( t ˜ ) = M , x ( t ) < M for all  t [ t # , t ˜ ) .
(2.9)
Calculating the derivative of x ( t ) , together with the fact that sup x R x e x = 1 e , (1.3), (2.3) and (2.9) imply that
0 x ( t ˜ ) = a ( t ˜ ) + b ( t ˜ ) e x ( t ˜ ) + j = 1 m β j ( t ˜ ) γ j ( t ˜ ) γ j ( t ˜ ) x ( t ˜ τ j ( t ˜ ) ) e γ j ( t ˜ ) x ( t ˜ τ j ( t ˜ ) ) a ( t ˜ ) + b ( t ˜ ) e M + j = 1 m β j ( t ˜ ) γ j ( t ˜ ) 1 e < 0 .

This contradiction yields that (2.8) holds.

We finally show that l = lim inf t x ( t ) > κ . By way of contradiction, we assume that 0 l κ . By the fluctuation lemma [[16], Lemma A.1], there exists a sequence { t k } k 1 such that
t k + , x ( t k ) lim inf t x ( t ) , x ( t k ) 0 as  k + .
Since { x t k } is bounded and equicontinuous, by the Ascoli-Arzelá theorem, there exists a subsequence, still denoted by itself for simplicity of notation, such that
x t k φ for some  φ C + .
Moreover,
φ ( 0 ) = l φ ( θ ) M for  θ [ r , 0 ) .
Without loss of generality, we assume that all a ( t k ) , b ( t k ) , β j ( t k ) , τ j ( t k ) and γ j ( t k ) are convergent to a , b , β j , τ j and γ j , respectively. This can be achieved because of almost periodicity. Then (1.4) and (2.2) lead to
l γ j φ ( τ j ) γ j M κ ˜ , j = 1 , 2 , , m .
It follows from
x ( t k ) = a ( t k ) + b ( t k ) e x ( t k ) + j = 1 m β j ( t k ) γ j ( t k ) γ j ( t k ) x ( t k τ j ( t k ) ) e γ j ( t k ) x ( t k τ j ( t k ) )
that (taking limits)
0 = a + b e l + j = 1 m β j γ j γ j φ ( τ j ) e γ j φ ( τ j ) a + b e l + j = 1 m β j γ j l e l inf t R , s [ 0 , κ ] { a ( t ) + b ( t ) e s + j = 1 m β j ( t ) γ j ( t ) s e s } > 0 ,
a contradiction. This proves that l > κ . Hence, from (2.8), we can choose t φ > t 0 such that
κ < x ( t ; t 0 , φ ) < M for all  t t φ .

This ends the proof of Lemma 2.1. □

Lemma 2.2 Suppose that (2.2) and (2.3) hold, and
sup t R { b ( t ) e M + 1 e 2 j = 1 m β j ( t ) } < 0 .
(2.10)
Moreover, assume that x ( t ) = x ( t ; t 0 , φ ) is a solution of equation (1.3) with the initial condition (1.5) and φ is bounded continuous on [ r , 0 ] . Then, for any ϵ > 0 , there exists l = l ( ϵ ) > 0 such that every interval [ α , α + l ] contains at least one number δ for which there exists N > 0 satisfying
| x ( t + δ ) x ( t ) | ϵ for all  t > N .
(2.11)
Proof Define a continuous function Γ ( u ) by setting
Γ ( u ) = sup t R { [ b ( t ) e M u ] + j = 1 m β j ( t ) 1 e 2 e u r } , u [ 0 , 1 ] .
(2.12)
Then we have
Γ ( 0 ) = sup t R { b ( t ) e M + j = 1 m β j ( t ) 1 e 2 } < 0 ,
which implies that there exist two constants η > 0 and λ ( 0 , 1 ] such that
Γ ( λ ) = sup t R { [ b ( t ) e M λ ] + j = 1 m β j ( t ) 1 e 2 e λ r } < η < 0 .
(2.13)
For t ( , t 0 r ] , we add the definition of x ( t ) with x ( t ) x ( t 0 r ) . Set
ϵ ( δ , t ) = [ b ( t + δ ) b ( t ) ] e x ( t + δ ) + j = 1 m [ β j ( t + δ ) β j ( t ) ] x ( t + δ τ j ( t + δ ) ) e γ j ( t + δ ) x ( t + δ τ j ( t + δ ) ) + j = 1 m β j ( t ) [ x ( t + δ τ j ( t + δ ) ) e γ j ( t + δ ) x ( t + δ τ j ( t + δ ) ) x ( t τ j ( t ) + δ ) e γ j ( t + δ ) x ( t τ j ( t ) + δ ) ] + j = 1 m β j ( t ) [ x ( t τ j ( t ) + δ ) e γ j ( t + δ ) x ( t τ j ( t ) + δ ) x ( t τ j ( t ) + δ ) e γ j ( t ) x ( t τ j ( t ) + δ ) ] [ a ( t + δ ) a ( t ) ] , t R .
(2.14)
By Lemma 2.1, the solution x ( t ) is bounded and
κ < x ( t ) < M for all  t t φ ,
(2.15)
which implies that the right-hand side of (1.3) is also bounded, and x ( t ) is a bounded function on [ t 0 r , + ) . Thus, in view of the fact that x ( t ) x ( t 0 r ) for t ( , t 0 r ] , we obtain that x ( t ) is uniformly continuous on R. From (2.1), for any ϵ > 0 , there exists l = l ( ϵ ) > 0 such that every interval [ α , α + l ] , α R , contains δ for which
| ϵ ( δ , t ) | 1 2 η ϵ for all  t R .
(2.16)
Let N 0 max { t 0 , t 0 δ , t φ + r , t φ + r δ } . For t R , denote
u ( t ) = x ( t + δ ) x ( t ) .
Then, for all t N 0 , we get
d u ( t ) d t = b ( t ) [ e x ( t + δ ) e x ( t ) ] + j = 1 m β j ( t ) [ x ( t τ j ( t ) + δ ) e γ j ( t ) x ( t τ j ( t ) + δ ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) ] + ϵ ( δ , t ) .
(2.17)
From (1.7), (2.14), (2.17) and the inequalities
( e s e t ) sgn ( s t ) = e ( s + θ ( t s ) ) | s t | e M | s t | , where  s , t [ κ , M ] , 0 < θ < 1
(2.18)
and
| s e s t e t | = | 1 ( s + θ ( t s ) ) e s + θ ( t s ) | | s t | 1 e 2 | s t | , where  s , t [ κ , + ) , 0 < θ < 1 ,
(2.19)
we obtain
D ( e λ s | u ( s ) | ) | s = t λ e λ t | u ( t ) | + e λ t { b ( t ) [ e x ( t + δ ) e x ( t ) ] sgn ( x ( t + δ ) x ( t ) ) + | j = 1 m β j ( t ) [ x ( t τ j ( t ) + δ ) e γ j ( t ) x ( t τ j ( t ) + δ ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) ] + ϵ ( δ , t ) | } = λ e λ t | u ( t ) | + e λ t { b ( t ) [ e x ( t + δ ) e x ( t ) ] sgn ( x ( t + δ ) x ( t ) ) + | j = 1 m β j ( t ) γ j ( t ) [ γ j ( t ) x ( t τ j ( t ) + δ ) e γ j ( t ) x ( t τ j ( t ) + δ ) γ j ( t ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) ] + ϵ ( δ , t ) | } λ e λ t | u ( t ) | + e λ t { b ( t ) e M | u ( t ) | + j = 1 m β j ( t ) 1 e 2 | u ( t τ j ( t ) ) | + | ϵ ( δ , t ) | } = [ b ( t ) e M λ ] e λ t | u ( t ) | + j = 1 m β j ( t ) 1 e 2 e λ τ j ( t ) e λ ( t τ j ( t ) ) | u ( t τ j ( t ) ) | + e λ t | ϵ ( δ , t ) | for all  t N 0 .
(2.20)
Let
U ( t ) = sup < s t { e λ s | u ( s ) | } .
(2.21)

It is obvious that e λ t | u ( t ) | U ( t ) and U ( t ) is non-decreasing.

Now, we distinguish two cases to finish the proof.

Case one.
U ( t ) > e λ t | u ( t ) | for all  t N 0 .
(2.22)
We claim that
U ( t ) U ( N 0 ) is a constant for all  t N 0 .
(2.23)
Assume, by way of contradiction, that (2.23) does not hold. Then there exists t 1 > N 0 such that U ( t 1 ) > U ( N 0 ) . Since
e λ t | u ( t ) | U ( N 0 ) for all  t N 0 ,
there must exist β ( N 0 , t 1 ) such that
e λ β | u ( β ) | = U ( t 1 ) U ( β ) ,
which contradicts (2.22). This contradiction implies that (2.23) holds. It follows that there exists t 2 > N 0 such that
| u ( t ) | e λ t U ( t ) = e λ t U ( N 0 ) < ϵ for all  t t 2 .
(2.24)
Case two. There is t 0 N 0 such that U ( t 0 ) = e λ t 0 | u ( t 0 ) | . Then, in view of (2.13) and (2.20), we get
0 D ( e λ s | u ( s ) | ) | s = t 0 [ b ( t 0 ) e M λ ] e λ t 0 | u ( t 0 ) | + j = 1 m β j ( t 0 ) 1 e 2 e λ τ j ( t 0 ) e λ ( t 0 τ j ( t 0 ) ) | u ( t 0 τ j ( t 0 ) ) | + e λ t 0 | ϵ ( δ , t 0 ) | { [ b ( t 0 ) e M λ ] + j = 1 m β j ( t 0 ) 1 e 2 e λ r } U ( t 0 ) + 1 2 η ϵ e λ t 0 < η U ( t 0 ) + η ϵ e λ t 0 ,
(2.25)
which yields that
e λ t 0 | u ( t 0 ) | = U ( t 0 ) < ϵ e λ t 0 and | u ( t 0 ) | < ϵ .
(2.26)
For any t > t 0 , with the same approach as that in deriving of (2.26), we can show
e λ t | u ( t ) | < ϵ e λ t and | u ( t ) | < ϵ
(2.27)

if U ( t ) = e λ t | u ( t ) | .

On the other hand, if U ( t ) > e λ t | u ( t ) | and t > t 0 , we can choose t 0 t 3 < t such that
U ( t 3 ) = e λ t 3 | u ( t 3 ) | and U ( s ) > e λ s | u ( s ) | for all  s ( t 3 , t ] ,
which, together with (2.27), yields
| u ( t 3 ) | < ϵ .
With a similar argument as that in the proof of case one, we can show that
U ( s ) U ( t 3 ) is a constant for all  s ( t 3 , t ] ,
(2.28)
which implies that
| u ( t ) | < e λ t U ( t ) = e λ t U ( t 3 ) = | u ( t 3 ) | e λ ( t t 3 ) < ϵ .

In summary, there must exist N > max { t 0 , N 0 , t 2 } such that | u ( t ) | ϵ holds for all t > N . The proof of Lemma 2.2 is now complete. □

3 Main results

In this section, we establish sufficient conditions on the existence and global exponential stability of almost periodic solutions of (1.3).

Theorem 3.1 Under the assumptions of Lemma  2.2, equation (1.3) has at least one positive almost periodic solution x ( t ) . Moreover, x ( t ) is globally exponentially stable, i.e., there exist constants K φ , x and t φ , x such that
| x ( t ; t 0 , φ ) x ( t ) | < K φ , x e λ t for all  t > t φ , x .
Proof Let v ( t ) = v ( t ; t 0 , φ v ) be a solution of equation (1.3) with initial conditions satisfying the assumptions in Lemma 2.2. We also add the definition of v ( t ) with v ( t ) v ( t 0 r ) for all t ( , t 0 r ] . Set
ϵ ( k , t ) = [ b ( t + t k ) b ( t ) ] e v ( t + t k ) + j = 1 m [ β j ( t + t k ) β j ( t ) ] v ( t + t k τ j ( t + t k ) ) e γ j ( t + t k ) v ( t + t k τ j ( t + t k ) ) + j = 1 m β j ( t ) [ v ( t + t k τ j ( t + t k ) ) e γ j ( t + t k ) v ( t + t k τ j ( t + t k ) ) v ( t τ j ( t ) + t k ) e γ j ( t + t k ) v ( t τ j ( t ) + t k ) ] + j = 1 m β j ( t ) [ v ( t τ j ( t ) + t k ) e γ j ( t + t k ) v ( t τ j ( t ) + t k ) v ( t τ j ( t ) + t k ) e γ j ( t ) v ( t τ j ( t ) + t k ) ] [ a ( t + t k ) a ( t ) ] , t R ,
(3.1)
where { t k } is any sequence of real numbers. By Lemma 2.1, the solution v ( t ) is bounded and
κ < v ( t ) < M for all  t t φ v ,
(3.2)
which implies that the right-hand side of (1.3) is also bounded, and v ( t ) is a bounded function on [ t 0 r , + ) . Thus, in view of the fact that v ( t ) v ( t 0 r ) for t ( , t 0 r ] , we obtain that v ( t ) is uniformly continuous on R. Then, from the almost periodicity of a, b, τ j , γ j and β j , we can select a sequence { t k } + such that
| a ( t + t k ) a ( t ) | 1 k , | b ( t + t k ) b ( t ) | 1 k , | τ j ( t + t k ) τ j ( t ) | 1 k , | β j ( t + t k ) β j ( t ) | 1 k , | γ j ( t + t k ) γ j ( t ) | 1 k , | ϵ ( k , t ) | 1 k }
(3.3)

for all j, t.

Since { v ( t + t k ) } k = 1 + is uniformly bounded and equiuniformly continuous, by the Arzelá-Ascoli lemma and the diagonal selection principle, we can choose a subsequence { t k j } of { t k } such that v ( t + t k j ) (for convenience, we still denote it by v ( t + t k ) ) uniformly converges to a continuous function x ( t ) on any compact set of R, and
κ x ( t ) M for all  t R .
(3.4)
Now, we prove that x ( t ) is a solution of (1.3). In fact, for any t t 0 and Δ t R , from (3.3), we have
x ( t + Δ t ) x ( t ) = lim k + [ v ( t + Δ t + t k ) v ( t + t k ) ] = lim k + t t + Δ t { a ( μ + t k ) + b ( μ + t k ) e v ( μ + t k ) + j = 1 m β j ( μ + t k ) v ( μ + t k τ j ( μ + t k ) ) e γ j ( μ + t k ) v ( μ + t k τ j ( μ + t k ) ) } d μ = lim k + t t + Δ t { a ( μ ) + b ( μ ) e v ( μ + t k ) + j = 1 m β j ( μ ) v ( μ + t k τ j ( μ ) ) e γ j ( μ ) v ( μ + t k τ j ( μ ) ) + ϵ ( k , μ ) } d μ = t t + Δ t { a ( μ ) + b ( μ ) e x ( μ ) + j = 1 m β j ( μ ) x ( μ τ j ( μ ) ) e γ j ( μ ) x ( μ τ j ( μ ) ) } d μ + lim k + t t + Δ t ϵ ( k , μ ) d μ = t t + Δ t { a ( μ ) + b ( μ ) e x ( μ ) + j = 1 m β j ( μ ) x ( μ τ j ( μ ) ) e γ j ( μ ) x ( μ τ j ( μ ) ) } d μ ,
(3.5)
where t + Δ t t 0 . Consequently, (3.5) implies that
d d t { x ( t ) } = a ( t ) + b ( t ) e x ( t ) + j = 1 m β j ( t ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) .
(3.6)

Therefore, x ( t ) is a solution of (1.3).

Secondly, we prove that x ( t ) is an almost periodic solution of (1.3). From Lemma 2.2, for any ϵ > 0 , there exists l = l ( ϵ ) > 0 such that every interval [ α , α + l ] contains at least one number δ for which there exists N > 0 satisfying
| v ( t + δ ) v ( t ) | ϵ for all  t > N .
(3.7)
Then, for any fixed s R , we can find a sufficient large positive integer N 1 > N such that for any k > N 1 ,
s + t k > N , | v ( s + t k + δ ) v ( s + t k ) | ϵ .
(3.8)
Let k + , we obtain
| x ( s + δ ) x ( s ) | ϵ ,

which implies that x ( t ) is an almost periodic solution of equation (1.3).

Finally, we prove that x ( t ) is globally exponentially stable.

Let x ( t ) = x ( t ; t 0 , φ ) and y ( t ) = x ( t ) x ( t ) , where t [ t 0 r , + ) . Then
y ( t ) = b ( t ) [ e x ( t ) e x ( t ) ] + j = 1 m β j ( t ) [ x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) ] .
(3.9)
It follows from Lemma 2.1 that there exists t φ , x > t 0 such that
κ x ( t ) , x ( t ) M for all  t [ t φ , x r , + ) .
(3.10)
We consider the Lyapunov functional
V ( t ) = | y ( t ) | e λ t .
(3.11)
Calculating the upper left derivative of V ( t ) along the solution y ( t ) of (3.9), we have
D ( V ( t ) ) b ( t ) [ e x ( t ) e x ( t ) ] sgn ( x ( t ) x ( t ) ) e λ t + j = 1 m β j ( t ) | x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) | e λ t + λ | y ( t ) | e λ t for all  t > t φ , φ .
(3.12)
We claim that
V ( t ) = | y ( t ) | e λ t < e λ t φ , x ( max t [ t 0 r , t φ , x ] | x ( t ) x ( t ) | + 1 ) : = K φ , x for all  t > t φ , x .
(3.13)
Contrarily, there must exist t > t φ , x such that
V ( t ) = K φ , x and V ( t ) < K φ , x for all  t [ t 0 r , t ) .
(3.14)
Since
κ γ j ( t ) x ( t τ j ( t ) ) , γ j ( t ) x ( t τ j ( t ) ) γ j + M κ ˜ , j = 1 , 2 , , m .
Together with (2.18), (2.19), (3.12) and (3.14), we obtain
0 D ( V ( t ) ) b ( t ) [ e x ( t ) e x ( t ) ] sgn ( x ( t ) x ( t ) ) e λ t + j = 1 m β j ( t ) | x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) | e λ t + λ | y ( t ) | e λ t b ( t ) e M | y ( t ) | e λ t + j = 1 m β j ( t ) | x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) | e λ t + λ | y ( t ) | e λ t = [ b ( t ) e M λ ] | y ( t ) | e λ t + j = 1 m β j ( t ) γ j ( t ) | γ j ( t ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) γ j ( t ) x ( t τ j ( t ) ) e γ j ( t ) x ( t τ j ( t ) ) | e λ t [ b ( t ) e M λ ] | y ( t ) | e λ t + j = 1 m β j ( t ) 1 e 2 | y ( t τ j ( t ) ) | e λ ( t τ j ( t ) ) e λ τ j ( t ) { [ b ( t ) e M λ ] + j = 1 m β j ( t ) 1 e 2 e λ r } K φ , x .
Thus,
0 [ b ( t ) e M λ ] + j = 1 m β j ( t ) 1 e 2 e λ r ,
which contradicts with (2.13). Hence, (3.13) holds. It follows that
| y ( t ) | < K φ , x e λ t for all  t > t φ , x .

This completes the proof of Theorem 3.1. □

4 Example

In this section, we present an example and its numerical simulation to check the validity of results we obtained in the previous sections.

Example 4.1 Consider the following Nicholson’s blowflies model with a nonlinear density-dependent mortality term:
x ( t ) = e ( 1 + 0.08 cos 2 2 t ) + ( 1 + 0.001 cos 3 t ) e x ( t ) + 1 + cos 2 t 2 , 000 x ( t 2 e sin 4 t ) e x ( t 2 e sin 4 t ) + 1 + cos 2 2 t 2 , 000 x ( t 2 e cos 4 t ) e x ( t 2 e cos 4 t ) .
(4.1)
Obviously, r = 2 e , a = e 1.08 , a + = e 1 , b = 0.999 , b + = 1.001 , β j = 0.000 5 , β j + = 0.00 1 , γ j = γ j + = 1 , j = 1 , 2 . Let M = 1.3 , from (1.6) and (1.8), we get
κ 0.7215355 , κ ˜ 1.342276 , a = e 1.08 > 1.001 e 1.3 + 2 × 0.00 1 e = b + e M + j = 1 2 β j + e γ j , a + = e 1 0.3678794 < b e κ = 0.999 e κ 0.999 e 0.7215355 0.4855194
and
b e M = 0.999 e 1.3 0 . 272 > 1 e 2 j = 1 m β j + = 0.00 2 e 2 0.000 27 for all  t R ,
which implies that the Nicholson’s blowflies model (4.1) satisfies the assumptions of Theorem 3.1. Hence, equation (4.1) has a unique positive almost periodic solution x ( t ) , which is globally exponentially stable with the exponential convergent rate λ 0.01 . The numerical simulation in Figure 1 strongly supports the conclusion.
Figure 1

Numerical solution x ( t ) of equation ( 4.1 ) for initial value φ ( s ) 2 , s [ 2 e , 0 ] .

Remark 4.1 To the best of our knowledge, few authors have studied the problems of positive almost periodic solutions of Nicholson’s blowflies delayed systems with nonlinear density-dependent mortality terms. It is clear that the results in [1113] and the references therein cannot be applicable to system (4.1) to prove the global exponential stability of a positive almost periodic solution. Moreover, one can find that the main results of [17] are restricted to considering the Nicholson’s blowflies delayed systems with the nonlinear density-dependent mortality term a ( t ) x b ( t ) + x and give no opinions about a ( t ) b ( t ) e x . This implies that the results of the present paper are new and complement previously known results.

Declarations

Acknowledgements

The author would like to express his sincere appreciation to the reviewers for their helpful comments in improving the presentation and quality of the paper. This work was supported by the construct program of the key discipline in Hunan province (Mechanical Design and Theory), the Scientific Research Fund of Hunan Provincial Natural Science Foundation of P.R. China (Grant No. 11JJ6006), the Natural Scientific Research Fund of Hunan Provincial Education Department of P.R. China (Grants Nos. 11C0916, 11C0915).

Authors’ Affiliations

(1)
College of Mathematics and Computer Science, Hunan University of Arts and Science

References

  1. Gurney MS, Blythe SP, Nisbee RM: Nicholson’s blowflies revisited. Nature 1980, 287: 17–21. 10.1038/287017a0View ArticleGoogle Scholar
  2. Berezansky L, Braverman E, Idels L: Nicholson’s blowflies differential equations revisited: main results and open problems. Appl. Math. Model. 2010, 34: 1405–1417. 10.1016/j.apm.2009.08.027MathSciNetView ArticleGoogle Scholar
  3. Liu B, Gong S: Permanence for Nicholson-type delay systems with nonlinear density-dependent mortality terms. Nonlinear Anal., Real World Appl. 2011, 12: 1931–1937. 10.1016/j.nonrwa.2010.12.009MathSciNetView ArticleGoogle Scholar
  4. Liu B: Permanence for a delayed Nicholson’s blowflies model with a nonlinear density-dependent mortality term. Ann. Pol. Math. 2011, 101(2):123–128. 10.4064/ap101-2-2View ArticleGoogle Scholar
  5. Chen W: Permanence for Nicholson-type delay systems with patch structure and nonlinear density-dependent mortality terms. Electron. J. Qual. Theory Differ. Equ. 2012., 2012: Article ID 73. http://www.math.u-szeged.hu/ejqtde/Google Scholar
  6. Wang W: Positive periodic solutions of delayed Nicholson’s blowflies models with a nonlinear density-dependent mortality term. Appl. Math. Model. 2012, 36: 4708–4713. 10.1016/j.apm.2011.12.001MathSciNetView ArticleGoogle Scholar
  7. Wang W: Exponential extinction of Nicholson’s blowflies system with nonlinear density-dependent mortality terms. Abstr. Appl. Anal. 2012., 2012: Article ID 302065 10.1155/2012/302065Google Scholar
  8. Chen W, Wang L: Positive periodic solutions of Nicholson-type delay systems with nonlinear density-dependent mortality terms. Abstr. Appl. Anal. 2012., 2012: Article ID 843178 10.1155/2012/843178Google Scholar
  9. Hou X, Duan L, Huang Z: Permanence and periodic solutions for a class of delay Nicholson’s blowflies models. Appl. Math. Model. 2013, 37: 1537–1544. 10.1016/j.apm.2012.04.018MathSciNetView ArticleGoogle Scholar
  10. Fink AM Lecture Notes in Mathematics 377. In Almost Periodic Differential Equations. Springer, Berlin; 1974.Google Scholar
  11. He CY: Almost Periodic Differential Equation. Higher Education Publishing House, Beijing; 1992. (in Chinese)Google Scholar
  12. Chen W, Liu B: Positive almost periodic solution for a class of Nicholson’s blowflies model with multiple time-varying delays. J. Comput. Appl. Math. 2011, 235: 2090–2097. 10.1016/j.cam.2010.10.007MathSciNetView ArticleGoogle Scholar
  13. Wang W, Wang L, Chen W: Existence and exponential stability of positive almost periodic solution for Nicholson-type delay systems. Nonlinear Anal., Real World Appl. 2011, 12: 1938–1949. 10.1016/j.nonrwa.2010.12.010MathSciNetView ArticleGoogle Scholar
  14. Long F: Positive almost periodic solution for a class of Nicholson’s blowflies model with a linear harvesting term. Nonlinear Anal., Real World Appl. 2012, 13: 686–693. 10.1016/j.nonrwa.2011.08.009MathSciNetView ArticleGoogle Scholar
  15. Hale JK, Verduyn Lunel SM: Introduction to Functional Differential Equations. Springer, New York; 1993.View ArticleGoogle Scholar
  16. Smith HL: An Introduction to Delay Differential Equations with Applications to the Life Sciences. Springer, New York; 2011.View ArticleGoogle Scholar
  17. Xu YL: Existence and global exponential stability of positive almost periodic solutions for a delayed Nicholson’s blowflies model. J. Korean Math. Soc. 2014, 51(3):1–21.MathSciNetView ArticleGoogle Scholar

Copyright

© Liu; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.