Skip to main content

Existence and exponential stability of the unique positive almost periodic solution for the Lasota-Wazewska difference model

Abstract

In this paper, a discrete Lasota-Wazewska model is studied. By using the fixed point theorem of decreasing operator, we obtain sufficient conditions for the existence of a unique positive almost periodic solution. Particularly, we give iterative sequence which converges to the positive almost periodic solution. Moreover, we investigate exponential stability of the positive almost periodic solution by the Lyapunov functional.

MSC:39A24, 39A30.

1 Introduction

Biological dynamic models are very important and hot research topics. In 1976, Wazewska-Czyzewska and Lasota [1] investigated the Lasota-Wazewska model

x (t)=ax(t)+b e p x ( t τ )
(1.1)

which described the survival of red blood cells in animals. Kulenovic and Ladas [2] investigated the oscillation and global attractivity of the above model (1.1). Moreover, the model (1.1) and some generalized models have been investigated by many authors; see Graef et al. [3], Kulenovic et al. [4], Xu and Li [5], Jiang [6], Li and Wang [7].

The assumption that the environment is constant is rarely the case in real life. When the environmental fluctuation is taken into account, a model must be nonautonomous. Due to the various seasonal effects of the environmental factors in a real life situation (e.g., seasonal effects of weather, food supplies, mating habits, harvesting, etc.), it is rational and practical to study the biological system with periodic coefficients or almost periodic coefficients. Many authors [6, 7] have studied nonautonomous differential equations with periodic coefficients of the above model (1.1).

Though most models are described with differential equations, the discrete-time models governed by difference equations are more appropriate than the continuous ones when the size of the population is rarely small or the population has non-overlapping generations. It is also known that the discrete models can provide more efficient computational methods for numerical simulations [810]. However, the studies in the past [27] were concerned with the continuous case of the above model (1.1).

To our knowledge, studies on the uniqueness and exponential stability of positive almost periodic solutions for discrete models are scarce.

Motivated by the above facts, in this paper, we investigate the following Lasota-Wazewska difference equation:

Δx(k)=a(k)x(k)+b(k) e β ( k ) x ( k τ ) ,
(1.2)

where Δx(k)=x(k+1)x(k), a(k):Z(0,1), b(k):Z(0,+), β(k):Z(0,+), a(k), b(k), β(k) are bounded almost periodic functions, τ Z + . Due to biological reasons, we restrict our attention to positive solutions of equation (1.2). The initial condition of equation (1.2) is x(k)=ϕ(k)>0 for τk0.

In the study of biological systems, an important ecological problem is concerned with the existence of positive periodic solutions or positive almost periodic solutions. Recently, many authors investigated the existence of positive periodic solutions by using the Krasnoselskii cone fixed point theorem and Mawhin’s coincidence degree theory [6, 7, 1113]. Most of the past studies are concerned with the existence of at least one positive periodic solution [6, 11, 12, 14].

Almost periodicity is more practical and more close to the reality in biological systems [15, 16], the recent contributions such as the almost periodic solutions of delay and impulsive differential equations [1720] have appeared.

However, few papers study the existence and exponential stability of unique positive almost periodic solutions for discrete models. For the existence and uniqueness of a positive almost periodic solution, the method used in most of the past studies is the contraction mapping fixed point theorem.

In this paper, different from the past studies, we aim to obtain sufficient conditions that guarantee the existence of a unique positive almost periodic solution of discrete model (1.2) by using the fixed point theorem of decreasing operator. Particularly, we give an iterative sequence which converges to the positive almost periodic solution. We also obtain sufficient conditions for the exponential stability of the unique positive almost periodic solution by means of the Lyapunov functional. The results of this paper are new and more valuable in applications, which complement the previously obtained results in [27].

2 Preliminaries

For any bounded sequence {f(k)}, we define f ¯ = sup k Z f(k), f ̲ = inf k Z f(k).

For equation (1.2), we assume that the bounded almost periodic sequences {a(k)}, {b(k)}, {β(k)} satisfy 0< a ̲ a(k) a ¯ <1, 0< b ̲ b(k) b ¯ , 0< β ̲ β(k) β ¯ .

Definition 1 [21]

A sequence x(k):ZR is called an almost periodic sequence if the ε-translation set E{ε,x}={δZ:|x(k+δ)x(k)|<ε,kZ} is a relatively dense set in Z for all ε>0; that is, for any ε>0, there exists a constant l(ε)>0 such that each interval of length l(ε) contains a number δE{ε,x} such that |x(k+δ)x(k)|<ε for all kZ.

δ is called the ε-translation number of x(k).

Definition 2 Let X be a Banach space and P be a closed, nonempty subset of X. P is called a cone if

  1. (i)

    xP, λ0 implies λxP;

  2. (ii)

    xP, xP implies x=θ.

Every cone PX induces an ordering in X, we define ‘≤’ with respect to P by xy if and only if yxP.

Definition 3 A cone P of X is called a normal cone if there exists a positive constant σ such that x+yσ for any x,yP, x=y=1.

Definition 4 Let P be a cone of X and A:PP be an operator. A is called decreasing if θxy implies AxAy.

The following fixed point theorem of decreasing operator (see [22]) is an important tool in our proofs.

Lemma 1 [22]

Suppose that

  1. (i)

    P is a normal cone of the Banach space X, the operator A:PP is decreasing;

  2. (ii)

    Aθ>θ, A 2 θ ε 0 Aθ, where ε 0 >0;

  3. (iii)

    For 0<a<c<1, there exists η=η(a,c)>0 such that

    A(λx) [ λ ( 1 + η ) ] 1 Axfor aλc and θ<xAθ.

Then A has a unique positive fixed point x >θ. Moreover, x k x 0 (k), where x k =A x k 1 (k=1,2,) for any initial x 0 P.

In this paper, we will use the above Lemma 1 to investigate the existence of a unique positive almost periodic solution of model (1.2).

Remark In Lemma 1, the operator A does not need continuity and compactness.

Lemma 2 Every solution x(k) of equation (1.2) is positive.

Proof Let x(k) be the solution of equation (1.2), then we have

x(k+1) [ 1 a ( k ) ] x(k)=b(k) e β ( k ) x ( k τ ) .

Hence we get

( E 1 ) x ( k ) [ 1 a ( k 1 ) ] x ( k 1 ) = b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) , ( E 2 ) x ( k 1 ) [ 1 a ( k 2 ) ] x ( k 2 ) = b ( k 2 ) e β ( k 2 ) x ( k 2 τ ) , ( E 3 ) x ( k 2 ) [ 1 a ( k 3 ) ] x ( k 3 ) = b ( k 3 ) e β ( k 3 ) x ( k 3 τ ) , ( E k 1 ) x ( 2 ) [ 1 a ( 1 ) ] x ( 1 ) = b ( 1 ) e β ( 1 ) x ( 1 τ ) , ( E k ) x ( 1 ) [ 1 a ( 0 ) ] x ( 0 ) = b ( 0 ) e β ( 0 ) x ( 0 τ ) .

Multiplying two sides of (E2), (E3), …, ( E k 1 ), (E k ) by 1a(k1), [1a(k1)][1a(k2)], …, [1a(k1)][1a(k2)][1a(2)], [1a(k1)][1a(k2)][1a(2)][1a(1)], respectively, we get

( E 2 ) [ 1 a ( k 1 ) ] x ( k 1 ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] x ( k 2 ) = b ( k 2 ) e β ( k 2 ) x ( k 2 τ ) [ 1 a ( k 1 ) ] , ( E 3 ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] x ( k 2 ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( k 3 ) ] x ( k 3 ) = b ( k 3 ) e β ( k 3 ) x ( k 3 τ ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] , ( E k 1 ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] x ( 2 ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] [ 1 a ( 1 ) ] x ( 1 ) = b ( 1 ) e β ( 1 ) x ( 1 τ ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] , ( E k ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] [ 1 a ( 1 ) ] x ( 1 ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] [ 1 a ( 1 ) ] [ 1 a ( 0 ) ] x ( 0 ) = b ( 0 ) e β ( 0 ) x ( 0 τ ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] [ 1 a ( 1 ) ] .

Summing (E1), ( E 2 ), ( E 3 ), …, ( E k 1 ), ( E k ), we get

x ( k ) [ 1 a ( k 1 ) ] [ 1 a ( k 2 ) ] [ 1 a ( 2 ) ] [ 1 a ( 1 ) ] [ 1 a ( 0 ) ] x ( 0 ) = b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = 0 k 2 ( b ( s ) e β ( s ) x ( s τ ) i = s + 1 k 1 ( 1 a ( i ) ) ) .

That is,

x(k)=x(0) s = 0 k 1 ( 1 a ( s ) ) +b(k1) e β ( k 1 ) x ( k 1 τ ) + s = 0 k 2 ( b ( s ) e β ( s ) x ( s τ ) i = s + 1 k 1 ( 1 a ( i ) ) ) .

Since x(k)=ϕ(k)>0 for τk0, we can deduce that x(1)>0, x(2)>0, …, and x(k)>0 for all k Z + . The proof is complete. □

Let X={x(k)x(k):ZR,x(k) be an almost periodic function}. For xX, we define x= sup k Z |x(k)|, then X is a Banach space.

It is easy to verify that x(k) is the solution of equation (1.2) if and only if x(k) is the solution of the following equation:

x(k)=b(k1) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) i = s + 1 k 1 ( 1 a ( i ) ) ) .

We define the operator A:XX

(Ax)(k)=b(k1) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) i = s + 1 k 1 ( 1 a ( i ) ) ) .

Obviously, x(k)X is the almost periodic solution of equation (1.2) if and only if x is the fixed point of the operator A.

Let

W(k,s)= i = s + 1 k 1 ( 1 a ( i ) ) ,<s<k1,sZ.

Then

W(k,s)= i = s + 1 k 1 ( 1 a ( i ) ) i = s + 1 k 1 (1 a ̲ )= ( 1 a ̲ ) k 1 s 1 a ̲ <1.

Define

m= inf k Z , s Z < s < k 1 W(k,s),

then m<1.

For xX, we define

J x = sup k Z { s = k 1 e β ̲ x ( s τ ) } , Q x = inf k Z { s = k 1 e β ¯ x ( s τ ) } , J ¯ = sup x X { J x } , Q ̲ = inf x X { Q x } .

Define the cone

Ω= { x x X , x ( k ) 0 , x ( k ) γ x } ,

here γ= m b ̲ Q ̲ J ¯ b ¯ <1.

Lemma 3 AΩΩ.

Proof For xΩ,

A x = sup k Z | ( A x ) ( k ) | = sup k Z | b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) | sup k Z { b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + ( 1 a ̲ ) s = k 2 ( b ( s ) e β ( s ) x ( s τ ) ) } sup k Z { b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) ) } sup k Z { b ¯ e β ̲ x ( k 1 τ ) + b ¯ s = k 2 e β ̲ x ( s τ ) } = sup k Z { b ¯ s = k 1 e β ̲ x ( s τ ) } = b ¯ sup k Z { s = k 1 e β ̲ x ( s τ ) } = b ¯ J x b ¯ J ¯ .

On the other hand,

( A x ) ( k ) = b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) b ̲ e β ¯ x ( k 1 τ ) + m b ̲ s = k 2 e β ¯ x ( s τ ) > m b ̲ e β ¯ x ( k 1 τ ) + m b ̲ s = k 2 e β ¯ x ( s τ ) = m b ̲ s = k 1 e β ¯ x ( s τ ) m b ̲ Q x m b ̲ Q . ̲

Hence

(Ax)(k)m b ̲ Q ̲ = m b ̲ Q ̲ J ¯ J ¯ m b ̲ Q ̲ J ¯ A x b ¯ =γAx.

Thus AxΩ, so we have AΩΩ. The proof is complete. □

3 Existence and uniqueness of a positive almost periodic solution

Let B + = sup k Z s = k b(s), B = inf k Z s = k b(s).

Theorem 1 Assume that β ¯ [ b ¯ +(1 a ̲ ) B + ]1, then equation (1.2) has a unique almost periodic positive solution x (k). Moreover, x k x 0 (k), where x k =A x k 1 (k=1,2,) for any initial x 0 Ω.

Proof It is clear that Ω is a normal cone, A:ΩΩ is a decreasing operator.

Now, we will show that condition (ii) of Lemma 1 is satisfied.

b ¯ + ( 1 a ̲ ) B + b ¯ + ( 1 a ̲ ) s = k 2 b ( s ) ( A θ ) ( k ) = b ( k 1 ) + s = k 2 ( b ( s ) W ( k , s ) ) b ( k 1 ) + m s = k 2 b ( s ) > 0 ,

which implies Aθ>θ.

Again, we have

( A 2 θ ) ( k ) = b ( k 1 ) e β ( k 1 ) ( A θ ) ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) ( A θ ) ( s τ ) i = s + 1 k 1 ( 1 a ( i ) ) ) b ( k 1 ) e β ( k 1 ) [ b ¯ + ( 1 a ̲ ) B + ] + s = k 2 ( b ( s ) e β ( s ) [ b ¯ + ( 1 a ̲ ) B + ] i = s + 1 k 1 ( 1 a ( i ) ) ) b ( k 1 ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] + s = k 2 ( b ( s ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] i = s + 1 k 1 ( 1 a ( i ) ) ) = e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] [ b ( k 1 ) + s = k 2 ( b ( s ) i = s + 1 k 1 ( 1 a ( i ) ) ) ] = e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] ( A θ ) ( k ) = ε 0 ( A θ ) ( k ) ,

which implies A 2 θ ε 0 Aθ, here ε 0 = e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] .

Finally, we show that condition (iii) of Lemma 1 is satisfied.

Let 0<a<c<1, for aλc and θ<xAθ, we have 0<xAθ b ¯ +(1 a ̲ ) B + .

A ( λ x ) ( k ) = b ( k 1 ) e β ( k 1 ) λ x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) λ x ( s τ ) i = s + 1 k 1 ( 1 a ( i ) ) ) = b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) e ( 1 λ ) β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) e ( 1 λ ) β ( s ) x ( s τ ) W ( k , s ) ) b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) e ( 1 λ ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) e ( 1 λ ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] W ( k , s ) ) = 1 λ λ e ( 1 λ ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] [ b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) ] .

Let f(x)=x e ( 1 x ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] , we have

f ( x ) = e ( 1 x ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] x β ¯ [ b ¯ + ( 1 a ̲ ) B + ] e ( 1 x ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] = ( 1 x β ¯ [ b ¯ + ( 1 a ̲ ) B + ] ) e ( 1 x ) β ¯ [ b ¯ + ( 1 a ̲ ) B + ] .

Since β ¯ [ b ¯ +(1 a ̲ ) B + ]1, we know f (x)>0 for 0<x<1, so we have

0=f(0)<f(a)f(λ)f(c)<f(1)=1.

Hence we get

A ( λ x ) ( k ) 1 λ f ( λ ) [ b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) ] 1 λ f ( c ) [ b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) ] = 1 λ f ( c ) ( A x ) ( k ) = 1 λ 1 1 + η ( c ) ( A x ) ( k ) ,

here η=η(c)= 1 f ( c ) 1>0.

By Lemma 1, we know that the operator A has a unique positive fixed point x >θ, x k x 0 (k), x k =A x k 1 (k=1,2,) for any initial x 0 Ω. The proof of Theorem 1 is complete. □

Remark 1 Theorem 1 of this paper not only gives sufficient conditions for the existence of a unique positive almost periodic solution, but also gives the iterative sequence { x k } which converges to the positive almost periodic solution x (k).

Remark 2 From the above proof, we have

x ( k ) = ( A x ) ( k ) = b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) b ¯ + ( 1 a ̲ ) s = k 2 b ( s ) b ¯ + ( 1 a ̲ ) B + .

We also have

x ( k ) = ( A x ) ( k ) = b ( k 1 ) e β ( k 1 ) x ( k 1 τ ) + s = k 2 ( b ( s ) e β ( s ) x ( s τ ) W ( k , s ) ) b ( k 1 ) e β ( k 1 ) [ b ¯ + ( 1 a ̲ ) B + ] + s = k 2 ( b ( s ) e β ( s ) [ b ¯ + ( 1 a ̲ ) B + ] W ( k , s ) ) b ̲ e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] + m s = k 2 ( b ( s ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] ) = ( b ̲ + m s = k 2 b ( s ) ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] ( b ̲ + m B ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] .

So, we get ( b ̲ +m B ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] x (k) b ¯ +(1 a ̲ ) B + .

4 Exponential stability of a positive almost periodic solution

In this section, we study the exponential stability of a positive almost periodic solution.

Theorem 2 Assume that β ¯ [ b ¯ +(1 a ̲ ) B + ]1 and a ̲ > β ¯ b ¯ , then equation (1.2) has a unique exponentially stable almost periodic positive solution.

Proof Since β ¯ [ b ¯ +(1 a ̲ ) B + ]1 holds, by Theorem 1 we know equation (1.2) has a unique almost periodic positive solution x (k), and ( b ̲ +m B ) e β ¯ [ b ¯ + ( 1 a ̲ ) B + ] x (k) b ¯ +(1 a ̲ ) B + . Now we prove that x (k) is exponentially stable.

Suppose that x(k) is an arbitrary solution of equation (1.2) with the initial function x(k)=ϕ(k)>0 for τk0. Assume that the initial function of the almost periodic positive solution x (k) is x (k)=ψ(k)>0 for τk0.

Consider the function H(x)= β ¯ b ¯ e ( τ + 1 ) x a ̲ e x + e x 1, x[0,1].

Since H(0)= β ¯ b ¯ a ̲ <0, then there exists a constant μ(0,1) such that H(μ)<0.

That is,

a ̲ e μ + e μ + β ¯ b ¯ e ( τ + 1 ) μ <1.
(4.1)

Let y(k)=x(k) x (k), we define V(k)=|y(k)| e μ k , then we get

Δ V ( k ) = V ( k + 1 ) V ( k ) = | y ( k + 1 ) | e μ ( k + 1 ) | y ( k ) | e μ k = | y ( k + 1 ) | e μ ( k + 1 ) | y ( k ) | e μ ( k + 1 ) + | y ( k ) | e μ ( k + 1 ) | y ( k ) | e μ k = ( | y ( k + 1 ) | | y ( k ) | ) e μ ( k + 1 ) + ( e μ 1 ) | y ( k ) | e μ k = ( | x ( k + 1 ) x ( k + 1 ) | | x ( k ) x ( k ) | ) e μ ( k + 1 ) + ( e μ 1 ) | y ( k ) | e μ k .
(4.2)

Notice that

|x(k+1) x (k+1)||x(k) x (k)|a(k)|x(k) x (k)|+b(k)| e β ( k ) x ( k τ ) e β ( k ) x ( k τ ) |,

which, together with (4.2), leads to

Δ V ( k ) = V ( k + 1 ) V ( k ) ( a ( k ) | x ( k ) x ( k ) | + b ( k ) | e β ( k ) x ( k τ ) e β ( k ) x ( k τ ) | ) e μ ( k + 1 ) + ( e μ 1 ) | y ( k ) | e μ k = ( a ( k ) e μ + e μ 1 ) | y ( k ) | e μ k + b ( k ) e μ | e β ( k ) x ( k τ ) e β ( k ) x ( k τ ) | e μ k = ( a ( k ) e μ + e μ 1 ) V ( k ) + b ( k ) e μ | e β ( k ) x ( k τ ) e β ( k ) x ( k τ ) | e μ k .
(4.3)

Let M= b ¯ +(1 a ̲ ) B + + max τ k 0 , k Z |ϕ(k)ψ(k)|.

For k[τ,0],

V ( k ) = | y ( k ) | e μ k | y ( k ) | = | x ( k ) x ( k ) | = | ϕ ( k ) ψ ( k ) | max τ k 0 , k Z | ϕ ( k ) ψ ( k ) | < b ¯ + ( 1 a ̲ ) B + + max τ k 0 , k Z | ϕ ( k ) ψ ( k ) | = M .

We claim that

V(k)<Mfor all k>0,kZ.
(4.4)

Suppose that claim (4.4) is not true, then there must exist K Z + such that V( K )M and V(k)<M for τk< K , kZ.

It follows from (4.3) that

V ( K ) V ( K 1 ) ( a ( K 1 ) e μ + e μ 1 ) V ( K 1 ) + b ( K 1 ) e μ | e β ( K 1 ) x ( K 1 τ ) e β ( K 1 ) x ( K 1 τ ) | e μ ( K 1 ) ( a ̲ e μ + e μ 1 ) V ( K 1 ) + b ¯ e μ | e β ( K 1 ) x ( K 1 τ ) e β ( K 1 ) x ( K 1 τ ) | e μ ( K 1 ) .
(4.5)

By the mean value theorem, we have

| e β ( K 1 ) x ( K 1 τ ) e β ( K 1 ) x ( K 1 τ ) | = | e ξ ( β ( K 1 ) x ( K 1 τ ) β ( K 1 ) x ( K 1 τ ) ) | | β ( K 1 ) ( x ( K 1 τ ) x ( K 1 τ ) ) | β ¯ | x ( K 1 τ ) x ( K 1 τ ) | ,
(4.6)

in which ξ lies between β( K 1)x( K 1τ) and β( K 1) x ( K 1τ).

Thus, from (4.5) and (4.6), we get

V ( K ) V ( K 1 ) ( a ̲ e μ + e μ 1 ) V ( K 1 ) + b ¯ e μ β ¯ | x ( K 1 τ ) x ( K 1 τ ) | e μ ( K 1 ) = ( a ̲ e μ + e μ 1 ) V ( K 1 ) + b ¯ e μ β ¯ | x ( K 1 τ ) x ( K 1 τ ) | e μ ( K 1 τ ) e μ τ = ( a ̲ e μ + e μ 1 ) V ( K 1 ) + b ¯ e μ β ¯ | y ( K 1 τ ) | e μ ( K 1 τ ) e μ τ = ( a ̲ e μ + e μ 1 ) V ( K 1 ) + b ¯ e μ β ¯ V ( K 1 τ ) e μ τ .
(4.7)

From (4.7), we obtain

V ( K ) ( a ̲ e μ + e μ ) V ( K 1 ) + b ¯ e μ β ¯ V ( K 1 τ ) e μ τ < ( a ̲ e μ + e μ ) M + b ¯ e μ β ¯ M e μ τ = ( a ̲ e μ + e μ + β ¯ b ¯ e μ ( τ + 1 ) ) M < M ,

which contradicts V( K )M.

So claim (4.4) is true. Hence V(k)=|y(k)| e μ k <M for all k>0, kZ.

That is, |x(k) x (k)|<M e μ k for all k>0, kZ, which means that x (k) is exponentially stable.

The proof of Theorem 2 is complete. □

Author’s contributions

The author is entirely responsible for this research. The author read and approved the final manuscript.

References

  1. 1.

    Wazewska-Czyzewska M, Lasota A: Mathematical problems of the dynamics of red blood cells system. Rocz. Pol. Tow. Mat., 3 Mat. Stosow. 1976, 6: 23-40.

    MathSciNet  Google Scholar 

  2. 2.

    Kulenovic MRS, Ladas G: Linearized oscillations in population dynamics. Bull. Math. Biol. 1987, 49: 615-627. 10.1007/BF02460139

    MathSciNet  Article  MATH  Google Scholar 

  3. 3.

    Graef JR, Qian C, Spikes PW: Oscillation and global attractivity in a periodic delay equation. Can. Math. Bull. 1996, 38: 275-283.

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Kulenovic MRS, Ladas G, Sficas YG: Global attractivity in population dynamics. Comput. Math. Appl. 1989, 18: 925-928. 10.1016/0898-1221(89)90010-2

    MathSciNet  Article  MATH  Google Scholar 

  5. 5.

    Xu W, Li J: Global attractivity of the model for the survival of red blood cells with several delays. Ann. Differ. Equ. 1998, 14(2):357-363.

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Jiang DQ: Existence of positive periodic solutions for non-autonomous delay differential equations. Chin. Ann. Math., Ser. A 1999, 20(6):715-720.

    MATH  Google Scholar 

  7. 7.

    Li JW, Wang ZC: Existence and global attractivity of positive periodic solutions of a survival model of red blood cells. Comput. Math. Appl. 2005, 50(1-2):41-47. 10.1016/j.camwa.2005.03.003

    MathSciNet  Article  MATH  Google Scholar 

  8. 8.

    Agarwal RP Monographs and Textbooks in Pure and Applied Mathematics 228. In Difference Equations and Inequalities: Theory, Methods and Applications. 2nd edition. Dekker, New York; 2000.

    Google Scholar 

  9. 9.

    Agarwal RP, Wong PJY: Advanced Topics in Difference Equations. Kluwer Academic, Dordrecht; 1997.

    Google Scholar 

  10. 10.

    Elayadi S: An Introduction to Difference Equations. 3rd edition. Springer, New York; 2005.

    Google Scholar 

  11. 11.

    Fan M, Wang K: Global existence of positive periodic solutions of periodic predator-prey system with infinite delays. J. Math. Anal. Appl. 2001, 262(1):1-11. 10.1006/jmaa.2000.7181

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Ye D, Fan M: Periodicity in mutualism systems with impulse. Taiwan. J. Math. 2006, 10(3):723-737.

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Li WT, Huo HF: Existence and global attractivity of positive periodic solutions of functional differential equations with impulses. Nonlinear Anal. 2004, 59(6):857-877. 10.1016/j.na.2004.07.042

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Ma MJ, Yu JS: Existence of multiple positive periodic solutions for nonlinear functional difference equations. J. Math. Anal. Appl. 2005, 305(2):483-490. 10.1016/j.jmaa.2004.11.010

    MathSciNet  Article  MATH  Google Scholar 

  15. 15.

    Fink A Lecture Notes in Mathematics 377. In Almost Periodic Differential Equations. Springer, Berlin; 1974.

    Google Scholar 

  16. 16.

    He CY: Almost Periodic Differential Equations. Higher Education Press, Beijing; 1992.

    Google Scholar 

  17. 17.

    Yuan R: On almost periodic solutions of logistic delay differential equations with almost periodic time dependence. J. Math. Anal. Appl. 2007, 330: 780-798. 10.1016/j.jmaa.2006.08.027

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    Ahmad S, Stamov GT: Almost periodic solutions of n -dimensional impulsive competitive systems. Nonlinear Anal., Real World Appl. 2009, 10(3):1846-1853. 10.1016/j.nonrwa.2008.02.020

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Abbas S, Bahuguna D: Almost periodic solutions of neutral functional differential equations. Comput. Math. Appl. 2008, 55(11):2539-2601.

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Geng J, Xia Y: Almost periodic solutions of a nonlinear ecological model. Commun. Nonlinear Sci. Numer. Simul. 2011, 16(6):2575-2597. 10.1016/j.cnsns.2010.09.033

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Cheban D, Mammana C: Invariant manifolds, global attractors and almost periodic solutions of nonautonomous difference equations. Nonlinear Anal. 2004, 56(4):465-484. 10.1016/j.na.2003.09.009

    MathSciNet  Article  MATH  Google Scholar 

  22. 22.

    Guo D: Nonlinear Functional Analysis. Shandong Science and Technology Press, Jinan; 2001.

    Google Scholar 

Download references

Acknowledgements

The author thanks the referees for their valuable comments and suggestions in improving the presentation of the manuscript. This work is supported by Natural Science Foundation of Education Department of Anhui Province (KJ2014A043).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Zhijian Yao.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Yao, Z. Existence and exponential stability of the unique positive almost periodic solution for the Lasota-Wazewska difference model. Adv Differ Equ 2014, 206 (2014). https://doi.org/10.1186/1687-1847-2014-206

Download citation

Keywords

  • discrete Lasota-Wazewska model
  • almost periodic solution
  • uniqueness
  • exponential stability
  • fixed point theorem of decreasing operator