- Open Access
Existence and exponential stability of the unique positive almost periodic solution for the Lasota-Wazewska difference model
Advances in Difference Equations volume 2014, Article number: 206 (2014)
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.
Biological dynamic models are very important and hot research topics. In 1976, Wazewska-Czyzewska and Lasota  investigated the Lasota-Wazewska model
which described the survival of red blood cells in animals. Kulenovic and Ladas  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. , Kulenovic et al. , Xu and Li , Jiang , Li and Wang .
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 [8–10]. However, the studies in the past [2–7] 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:
where , , , , , , are bounded almost periodic functions, . Due to biological reasons, we restrict our attention to positive solutions of equation (1.2). The initial condition of equation (1.2) is for .
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, 11–13]. 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 [17–20] 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 [2–7].
For any bounded sequence , we define , .
For equation (1.2), we assume that the bounded almost periodic sequences , , satisfy , , .
Definition 1 
A sequence is called an almost periodic sequence if the ε-translation set is a relatively dense set in Z for all ; that is, for any , there exists a constant such that each interval of length contains a number such that for all .
δ is called the ε-translation number of .
Definition 2 Let X be a Banach space and P be a closed, nonempty subset of X. P is called a cone if
, implies ;
, implies .
Every cone induces an ordering in X, we define ‘≤’ with respect to P by if and only if .
Definition 3 A cone P of X is called a normal cone if there exists a positive constant σ such that for any , .
Definition 4 Let P be a cone of X and be an operator. A is called decreasing if implies .
The following fixed point theorem of decreasing operator (see ) is an important tool in our proofs.
Lemma 1 
P is a normal cone of the Banach space X, the operator is decreasing;
, , where ;
For , there exists such that
Then A has a unique positive fixed point . Moreover, (), where () for any initial .
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 of equation (1.2) is positive.
Proof Let be the solution of equation (1.2), then we have
Hence we get
Multiplying two sides of (E2), (E3), …, (), (E k ) by , , …, , , respectively, we get
Summing (E1), (), (), …, (), (), we get
Since for , we can deduce that , , …, and for all . The proof is complete. □
Let . For , we define , then X is a Banach space.
It is easy to verify that is the solution of equation (1.2) if and only if is the solution of the following equation:
We define the operator
Obviously, is the almost periodic solution of equation (1.2) if and only if x is the fixed point of the operator A.
For , we define
Define the cone
Lemma 3 .
Proof For ,
On the other hand,
Thus , so we have . The proof is complete. □
3 Existence and uniqueness of a positive almost periodic solution
Let , .
Theorem 1 Assume that , then equation (1.2) has a unique almost periodic positive solution . Moreover, (), where () for any initial .
Proof It is clear that Ω is a normal cone, is a decreasing operator.
Now, we will show that condition (ii) of Lemma 1 is satisfied.
which implies .
Again, we have
which implies , here .
Finally, we show that condition (iii) of Lemma 1 is satisfied.
Let , for and , we have .
Let , we have
Since , we know for , so we have
Hence we get
By Lemma 1, we know that the operator A has a unique positive fixed point , (), () for any initial . 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 which converges to the positive almost periodic solution .
Remark 2 From the above proof, we have
We also have
So, we get .
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 and , then equation (1.2) has a unique exponentially stable almost periodic positive solution.
Proof Since holds, by Theorem 1 we know equation (1.2) has a unique almost periodic positive solution , and . Now we prove that is exponentially stable.
Suppose that is an arbitrary solution of equation (1.2) with the initial function for . Assume that the initial function of the almost periodic positive solution is for .
Consider the function , .
Since , then there exists a constant such that .
Let , we define , then we get
which, together with (4.2), leads to
We claim that
Suppose that claim (4.4) is not true, then there must exist such that and for , .
It follows from (4.3) that
By the mean value theorem, we have
in which ξ lies between and .
Thus, from (4.5) and (4.6), we get
From (4.7), we obtain
which contradicts .
So claim (4.4) is true. Hence for all , .
That is, for all , , which means that is exponentially stable.
The proof of Theorem 2 is complete. □
The author is entirely responsible for this research. The author read and approved the final manuscript.
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.
Kulenovic MRS, Ladas G: Linearized oscillations in population dynamics. Bull. Math. Biol. 1987, 49: 615-627. 10.1007/BF02460139
Graef JR, Qian C, Spikes PW: Oscillation and global attractivity in a periodic delay equation. Can. Math. Bull. 1996, 38: 275-283.
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
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.
Jiang DQ: Existence of positive periodic solutions for non-autonomous delay differential equations. Chin. Ann. Math., Ser. A 1999, 20(6):715-720.
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
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.
Agarwal RP, Wong PJY: Advanced Topics in Difference Equations. Kluwer Academic, Dordrecht; 1997.
Elayadi S: An Introduction to Difference Equations. 3rd edition. Springer, New York; 2005.
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
Ye D, Fan M: Periodicity in mutualism systems with impulse. Taiwan. J. Math. 2006, 10(3):723-737.
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
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
Fink A Lecture Notes in Mathematics 377. In Almost Periodic Differential Equations. Springer, Berlin; 1974.
He CY: Almost Periodic Differential Equations. Higher Education Press, Beijing; 1992.
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
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
Abbas S, Bahuguna D: Almost periodic solutions of neutral functional differential equations. Comput. Math. Appl. 2008, 55(11):2539-2601.
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
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
Guo D: Nonlinear Functional Analysis. Shandong Science and Technology Press, Jinan; 2001.
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).
The author declares that they have no competing interests.
About this article
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
- discrete Lasota-Wazewska model
- almost periodic solution
- exponential stability
- fixed point theorem of decreasing operator