Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2011, Article ID 147926, 17 pages
http://dx.doi.org/10.1155/2011/147926
Research Article

On a Difference Equation with Exponentially Decreasing Nonlinearity

1Department of Mathematics and Statistics, University of Calgary, 2500 University Drive N.W, Calgary, AB, Canada T2N 1N4
2Department of Mathematics, King Saud University, Riyadh 11451, Saudi Arabia
3Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt

Received 7 April 2011; Accepted 1 June 2011

Academic Editor: Antonia Vecchio

Copyright © 2011 E. Braverman and S. H. Saker. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We establish a necessary and sufficient condition for global stability of the nonlinear discrete red blood cells survival model and demonstrate that local asymptotic stability implies global stability. Oscillation and solution bounds are investigated. We also show that, for different values of the parameters, the solution exhibits some time-varying dynamics, that is, if the system is moved in a direction away from stability (by increasing the parameters), then it undergoes a series of bifurcations that leads to increasingly long periodic cycles and finally to deterministic chaos. We also study the chaotic behavior of the model with a constant positive perturbation and prove that, for large enough values of one of the parameters, the perturbed system is again stable.

1. Introduction

In 1950–1980 various biological and medical phenomena were for the first time described using differential equations, among them the blood cell production [13].

The general approach was to describe the cell production dynamics as 𝑁=𝑝(𝑡,𝑁(𝑡))𝑑(𝑡,𝑁(𝑡)),(1.1) where 𝑁 is the number of cells, 𝑝(𝑡,𝑁) is the cell production rate at time 𝑡 under the condition that the population size is 𝑁, and 𝑑(𝑡,𝑁) is the mortality rate. It was a common belief that the mortality is proportional to the amount of blood cells in the circulation 𝑑(𝑡,𝑁(𝑡))=𝜇𝑁(𝑡), where 𝜇 can be time dependent or not, and that higher per capita production rates correspond to smaller numbers of existing cells 𝑁. However, if there exists a constant equilibrium 𝑁, 𝑝 and 𝑑 are time independent and 𝑝(𝑁)=𝑑(𝑁), while 𝑝(𝑁)>𝑑(𝑁) for 0<𝑁<𝑁, 𝑝(𝑁)<𝑑(𝑁) for 𝑁>𝑁, then the dynamics of (1.1) is very simple: all solutions with 𝑁(0)>0 are positive and monotonically converge to the constant equilibrium. Real data suggest that such models poorly describe the oscillatory and chaotic behavior which frequently occurs in observations. As the next stage, it was suggested to introduce delay in the production term (the maturation delay): in fact, cell production in the bone marrow takes some time before the cell is released into circulation. The resulting delay equations can demonstrate oscillatory and chaotic behavior; see, for example, [1, 2, 4].

The delay differential equation 𝑁(𝑡)=𝜇𝑁(𝑡)+𝑃𝑒𝑞𝑁(𝑡𝜏),𝑡0,(1.2) was introduced by Ważewska-Czyżewska and Lasota [3] to describe the survival of red blood cells in an animal. Here, as above, 𝑁(𝑡) is the number of the mature red blood cells at time 𝑡, 𝜇>0 is the per capita death rate (the probability of death for blood cells which currently circulate), and 𝑃>0 and 𝑞>0 define the red blood cell production function: 𝑃 can be described as the limit production when the number of cells tends to zero, the decay of cell production for large cell number becomes faster with the growth of 𝑞, and delay 𝜏 is the time required to produce a red blood cell. Equation (1.2) is considered with a nonnegative initial function and a positive initial value which describe the number of cells in the past: 𝑁(𝑡)=𝜑(𝑡),𝜑(𝑡)0,𝜏𝑡<0,𝑁(0)=𝑁0>0.(1.3) Evidently (1.2) with initial condition (1.3) has a unique solution which is positive for any 𝑡0. Equation (1.2) has a positive equilibrium 𝑁 which satisfies the equation 𝑃𝑁=𝜇𝑒𝑞𝑁.(1.4)

After (1.2) was introduced in [3], this equation and its nonautonomous modification 𝑁(𝑡)=𝜇(𝑡)𝑁(𝑡)+𝑃(𝑡)𝑒𝑞𝑁(𝑡𝜏(𝑡)),𝑡0,(1.5) where 𝜇(𝑡)>0, 𝑃(𝑡)>0, 𝑞>0, 𝜏(𝑡)0, were intensively studied [48], and some results were presented in the monograph [9]. Later on, several generalizations of (1.2) were investigated, for example, equations with impulses [1013] and a distributed delay [14].

Discrete modifications of (1.2), (1.5) are much less studied; see, for example, [15]. Discretization of (1.5) can be obtained by the assumption that 𝑡𝜏(𝑡) is a piecewise constant function, for example, 𝑡𝜏(𝑡)=[𝑡/]: 𝑁(𝑡)=𝜇(𝑡)𝑁(𝑡)+𝑃(𝑡)𝑒𝑞𝑁([𝑡/]),(1.6) where [𝑥] is the integer part of 𝑥, and successive integration of this equation over the interval of length . After integrating (1.6) over [𝑛,𝑡], where 𝑛𝑡(𝑛+1), we obtain at 𝑡𝑛𝑡𝑁(𝑡)=𝑁(𝑛𝑡)𝑒𝑡𝑛𝜇(𝑠)𝑑𝑠+𝑡𝑛𝑃(𝜏)𝑒𝑡𝜏𝜇(𝑠)𝑑𝑠𝑒𝑑𝜏𝑞𝑁(𝑛),(1.7)

which after substituting 𝑡=(𝑛+1) and denoting 𝑥(𝑛)=𝑁(𝑛),𝑛,(1.8)𝛼(𝑛)=1𝑒(𝑛+1)𝑛𝜇(𝑠)𝑑𝑠>0,𝑝(𝑛)=(𝑛+1)𝑛𝑃(𝜏)𝑒𝜏(𝑛+1)𝜇(𝑠)𝑑𝑠𝑑𝜏(1.9)

can be rewritten as 𝑥(𝑛+1)=(1𝛼(𝑛))𝑥(𝑛)+𝑝(𝑛)𝑒𝑞𝑥(𝑛).(1.10) In the case when the delay is a multiple of the time step 𝑡𝜏(𝑡)=+𝑘,(1.11)

where {𝑥}=𝑥[𝑥] is the fractional part of the number, the same integration process as above leads to the delay difference equation 𝑥(𝑛+1)=(1𝛼(𝑛))𝑥(𝑛)+𝑝(𝑛)𝑒𝑞𝑥(𝑛𝑘).(1.12)

Compared to ordinary and delay differential equations, difference equations have certain advantages, and their study can be motivated by the following reasons.(1)On the one hand, compared to ordinary differential equations, difference models have much richer and more complex dynamics, including oscillation, cycles, and transition to chaos. On the other hand, due to a simpler form, they allow a relatively simple analysis of stability, bifurcations, and some other dynamics-related issues. Comparing two models, nondelay difference equation (1.10) and delay equation (1.12), we notice that already (1.10) inherits some main properties of the dynamics of original delay differential equation (1.2): existence of unstable positive solutions for some values of the parameters, sustainable oscillations, and chaotic behavior. (2)In practical implementations, discrete models are more convenient for both numerical analysis and parameter estimation from the scarce experimental data available. (3)Difference equations can be considered as a result of discretization or numerical approximation of differential equations, and their dynamics is interesting from the point of view of the properties of relevant numerical schemes.

As mentioned above, there have already been some publications on the discrete Lasota-Wazewska model. However, the present paper is either different or completes the existing results from the following points of view.(1)The model considered in the present paper is relatively simple (autonomous, without delay). However, for this equation we for the first time obtain strict solution bounds and sharp stability results, not just sufficient attractivity conditions. (2)The problems studied earlier for difference equations of this type were usually restricted to bounds, oscillation, and stability, and the analysis mainly referred to the range of parameters lower than those defining the first period-doubling bifurcation when the stable two-cycle appears. The present paper studies the whole range of parameters, including the chaotic areas. (3)For the first time, constant perturbation of the discrete Lasota-Wazewska model was introduced and the resulting period-halving bifurcations were investigated.

The paper is organized as follows. Section 2 presents known facts applied to (2.1) and contains some auxiliary results which will be applied later. In Section 3 we obtain lower and upper bounds for solutions of (2.1), present a sharp nonoscillation condition, and demonstrate that the local asymptotic stability of the positive equilibrium of (2.1) is equivalent to its global asymptotic stability. In Section 4 we investigate bifurcations of the map described by (2.1) in two parameters: 𝑝 and 𝑞. It is demonstrated that an addition of a small positive perturbation to the right hand side of (2.1) leads to stable behavior for 𝑞 large enough but does not change the character of the bifurcation diagram in 𝑝. Finally, in Section 5 the results of the present paper are summarized and several open problems are outlined.

2. Preliminaries

In the present paper the difference equation 𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑒𝑞𝑥(𝑛),𝑛0,(2.1) is considered, where 𝑝,𝑞(0,),𝛼(0,1).(2.2) By the biological interpretation (𝑥(𝑛) is the red blood cells count), we refer to positive solutions of (2.1) only; in particular, we assume that the initial condition is positive: 𝑥(0)>0.(2.3)

It is clear that the initial value problem (2.1) and (2.3) has a unique positive solution {𝑥(𝑛)}𝑛=1 which is bounded and persistent (see Kubiaczyk and Saker [16] and Li and Cheng [17]). Since the function 𝑔(𝑥)=𝛼𝑥𝑝𝑒𝑞𝑥(2.4) has exactly one root on (0,), (2.1) has a unique positive fixed point 𝑥.

The following stability definitions follow the monograph [18].

Definition 2.1. The point 𝑥 is a critical point of the difference equation 𝑥𝑛+1𝑥=𝑓𝑛(2.5) with a continuously differentiable function 𝑓(𝑥) if 𝑓(𝑥)=0. 𝑥 is a fixed point or an equilibrium point if 𝑓(𝑥)=𝑥. The equilibrium point is locally stable if for any 𝜀>0 there exists 𝛿>0 such that |𝑥0𝑥|<𝛿 implies |𝑥𝑛+1𝑥|=|𝑓𝑛(𝑥0)𝑥|<𝜀. The fixed point 𝑥 is globally asymptotically stable if it is locally stable and lim𝑛𝑥𝑛+1=lim𝑛𝑓𝑛(𝑥0)=𝑥 for any 𝑥0 in the domain including 𝑥; everywhere in this paper we assume that 𝑥0(0,).
Our purpose is to establish a new global stability condition for (2.1) which is both necessary and sufficient and prove that local stability implies global stability.
We will also use the following definition.

Definition 2.2. The difference equation 𝑥𝑛+1𝑥=𝑓𝑛(2.6) is persistent if there exists 𝑚>0 such that any solution with 𝑥0>0 satisfies limsup𝑛𝑥𝑛𝑚.(2.7)

In the recent decades the problems associated with understanding the dynamical behavior of nonlinear difference equations have been receiving intensive attention. The asymptotic behavior of solutions of (2.1) has been proposed as a research project by Kocić and Ladas [19, Project 4.6.1]. Since then several authors have expounded on various aspects of this model. For contributions, we refer the reader to the papers by Karakostas et al. [20], Zheng et al. [21], Ma and Yu [22], Meng and Yan [23], Li and Cheng [17], Ivanov [24], Györi and Trofimchuk [25], El-Morshedy and Liz [26], Wang and Li [15], and Saker [27].

The stability of fixed points is one of the most important issues in the study of population dynamics models. In fact, it is much easier to perform local stability analysis of a fixed point than its global stability analysis. For local stability of (2.1) we see that, if ||𝑓𝑥||=||1𝛼𝑝𝑞𝑒𝑞𝑥||<1,(2.8) where 𝑓(𝑥)=(1𝛼)𝑥+𝑝𝑒𝑞𝑥,(2.9) then the fixed point 𝑥 is locally stable. As a special case of the results established in the above mentioned papers for global stability, we have the following global stability conditions for the unique fixed point 𝑥 of (2.1).

We note that 𝛽 in (C7) is the unique solution of the equation 2(𝑥)=𝑥 in (0,𝑥), where (𝑥)=(1𝛼)1𝑝𝑒𝑞𝑥.

One can see that the global stability conditions (C1)–(C9) are different from the local stability condition (2.8). The natural question now is the following: can we obtain a new global stability condition for (2.1) which improves the above conditions? Our aim in this paper is to give an affirmative answer to this question and prove that the local stability condition (2.8) is also a global stability condition for (2.1). This means that the local stability implies the global stability for (2.1) Table 1.

tab1
Table 1

In general, local and global stability conditions for difference equations do not coincide and different methods should be used to investigate the conditions for global stability. On the one hand, it is possible for a model to be locally stable and fail to be globally stable when the peak (maximum) is too high and when the curve falls off too quickly. On the other hand, it is possible for a model to be globally stable and fail to be locally stable if the nonlinear function is not continuous. In fact, there is no obvious connection between local and global stability conditions, and there is still a gap between the most local and global stability tests.

Cull [28, 29] considered this problem and proved that local stability implies global stability for some discrete population models. The results in [28, 29] are based on the enveloping principle, where it is proved that the enveloping by a linear fractional function is sufficient for global stability. However, this proof is not easy for complicated models and the parameter in the enveloping function must be adjusted for each particular population model. Moreover, the map should be a unimodal function in the sense of [28], which is not applicable to the model (2.1) that we will study in this paper.

Further we will apply the following result on the equivalence of local and global stability; its exact statement is taken from [25, Proposition  7], see also [30, 31].

Lemma 2.3. Let the function 𝑔[𝑎,𝑏][𝑎,𝑏], where 𝑔𝐶3[𝑎,𝑏], have at most one critical point 𝑥 in [𝑎,𝑏]. If a unique fixed point 𝑥[𝑎,𝑏] of 𝑔 is locally asymptotically stable and the Schwarzian derivative 𝑔(𝑆𝑔)(𝑥)=(𝑥)𝑔(3𝑥)2𝑔(𝑥)𝑔(𝑥)2(2.10) is negative for 𝑥[𝑎,𝑏], 𝑥𝑥, then 𝑥 is globally asymptotically stable.

3. Global Attractivity

In this section, we study qualitative properties of (2.1) and we establish a new global stability condition by applying Lemma 2.3. Before we state stability results, let us discuss the properties of the function 𝑓(𝑥)=(1𝛼)𝑥+𝑝𝑒𝑞𝑥.(3.1) We have 𝑓(0)=𝑝>0. If 𝑝𝑞1𝛼, then 𝑓(𝑥) is increasing for any 𝑥>0. If 𝑝𝑞>1𝛼, then 𝑓(𝑥) is decreasing for 0<𝑥<𝑥 and 𝑓(𝑥) is increasing for 𝑥>𝑥, where 𝑥=1𝑞ln𝑝𝑞1𝛼.(3.2) This means that (2.1) is not a population model in the sense of Cull’s definition [28], which describes positive unimodal functions increasing for 𝑥<𝑥 and decreasing for 𝑥>𝑥. Thus the results obtained, for example, in [28, 29] cannot be applied to (2.1).

Theorem 3.1. If 𝑝𝑞1𝛼 or 𝑝𝑞>1𝛼,ln𝑝𝑞1𝛼1𝛼𝛼,(3.3) then all positive solutions of (2.1) either exceed the equilibrium 𝑥 for 𝑛2 or are less than 𝑥, or coincide with 𝑥 for any 𝑛0. If 𝑝𝑞1𝛼 or (3.3) is satisfied, then all solutions converge monotonically to 𝑥.

Proof. Let 𝑝𝑞1𝛼. Then 𝑓(𝑥) is increasing for any 𝑥>0, and all solutions converge monotonically to 𝑥 (thus, {𝑥(𝑛)} is increasing if 𝑥(0)<𝑥, since 𝑥(𝑛)<𝑥 implies 𝑥(𝑛)<𝑥(𝑛+1)<𝑥, and is decreasing for 𝑥(0)>𝑥).
Further, let 𝑝𝑞>1𝛼. Since 𝑓(𝑥) is decreasing for 0<𝑥<𝑥 and increasing for 𝑥>𝑥, then all positive solutions are oscillatory about the positive equilibrium whenever 𝑥<𝑥. In fact, if 𝑥<𝑥, then 𝑥(𝑛)<𝑥 implies 𝑥(𝑛+1)>𝑥, since 𝑓(𝑥)>𝑥 for any 𝑥[0,𝑥). There is also 𝐾>𝑥 such that 𝑓(𝐾)=𝑥 (e.g., in Figure 2(b), 𝐾3.9, where 𝑓(𝐾)=𝑥1.96). If 𝑥(𝑛)𝐾 then there exists 𝑗 such that either 𝑥(𝑛+𝑗)<𝐾, which implies 𝑥(𝑛+𝑗+1)<𝑥, or all 𝑥(𝑛+𝑗)=𝑥 for 𝑗 large enough.
All solutions are nonoscillatory for 𝑥𝑥: they either exceed 𝑥 beginning with the second iteration if at least one of the inequalities 𝑥(0)>𝑥 and 𝑓(𝑥(0))>𝑥 is satisfied or are less than 𝑥 for any 𝑛, otherwise. The fact that 𝑥𝑥 is equivalent to 𝑓(𝑥)𝑥, or 1𝛼𝑞ln𝑝𝑞+1𝛼1𝛼𝑞1𝑞ln𝑝𝑞1𝛼ln𝑝𝑞1𝛼1𝛼𝑞,(3.4)completes the proof.

We note that in the nonoscillatory case we have monotone convergence to 𝑥; such monotonically convergent solutions for 𝛼=0.5,𝑝=0.6, and 𝑞=2 are illustrated in Figure 1.

147926.fig.001
Figure 1: The graph of the function (3.1) demonstrates that, unlike most unimodal functions in population dynamics models, 𝑓(𝑥) decreases for small 𝑥 and increases for large 𝑥, thus having a minimum, not a maximum. Here 𝛼=0.5, 𝑝=0.6, 𝑞=2, 𝑥0.438, 𝑥0.47>𝑥. The graph incorporates some iterations which converge (monotonically, beginning with the second iteration) to the positive equilibrium.
fig2
Figure 2: Some iterations for (2.1) with 𝛼=0.5,𝑝=10,𝑞=2 (a) and 𝛼=0.5,𝑝=50,𝑞=2 (b). In the former case all positive solutions converge (oscillatory) to the positive equilibrium 𝑥1.35, and in the latter case the solution converges to a stable two-cycle 2.86, 1.59.

Remark 3.2. Theorem 3.1 presents nonoscillation conditions for (2.1). Moreover, the proof yields that these conditions are sharp: if they are not satisfied, all positive solutions (which are not identically equal to 𝑥 for 𝑛 large enough) are oscillatory about 𝑥.

Remark 3.3. In the proof of Theorem 3.1 we have applied the fact that will be used in future: if 𝑓(𝑥)>0 for 𝑥>0, the map 𝑓 has the only positive equilibrium 𝑥 and is increasing on (𝑥,), where 𝑥<𝑥, then all trajectories with 𝑥(0)>0 are eventually monotone and converge to 𝑥.

Theorem 3.4. For any positive solution 𝑥(𝑛) of (2.1) one has liminf𝑛𝑥(𝑛)=limsup𝑛𝑥(𝑛)=𝑥(3.5) if either 𝑝𝑞1𝛼 or (3.3) is satisfied. If none of the above holds, then liminf𝑛𝑥𝑥(𝑛)𝑓,limsup𝑛𝑥𝑓𝑥(𝑛)𝑓,(3.6) where 𝑓(𝑥) and 𝑥 are defined in (3.1) and (3.2), respectively.

Proof. If either 𝑝𝑞1𝛼 or (3.3) is satisfied, then by Theorem 3.1 we have monotone convergence, so we will just consider the case when 𝑝𝑞>1𝛼 and (3.3) does not hold. Since 𝑥 is the absolute minimum point for 𝑓(𝑥), 𝑥0, then all 𝑥(𝑛) but probably 𝑥(0) satisfy 𝑥(𝑛)𝑓(𝑥). We have 𝑥>𝑥, so the sequence 𝑥(𝑛) with 𝑥(𝑛)>𝑥 is decreasing until 𝑓(𝑥(𝑛))<𝑥. We note that, since 𝑓(𝑥) is decreasing for 𝑥(0,𝑥), then max[𝑥𝑓(𝑥),𝑥]𝑓𝑓𝑥(𝑥)=𝑓,(3.7) which completes the proof.

Remark 3.5. Let us note that in the case when we have a stable 2𝑘-cycle, sharper bounds than (3.6) can be obtained. Moreover, if 𝑞 grows, then even for the deterministic chaos the attraction domain of the solution becomes narrow (see Figure 5(a)), for the bifurcation diagram).

Theorem 3.6. If ||1𝛼𝑝𝑞𝑒𝑞𝑥||<1,(3.8) then the positive equilibrium point 𝑥 of (2.1) is globally stable, that is, the local stability of 𝑥 implies its global stability.

Proof. We can omit the monotonic convergence case 𝑥<𝑥 and assume that 𝑥(0,𝑥). Since 𝑓(0)=𝑝 and 𝑓(𝑥) is decreasing in (0,𝑥), then for any 𝑏max{𝑝,𝑥} the function 𝑓 maps the segment [0,𝑏] onto itself. The Schwarzian derivative of function 𝑓 defined by (3.1) is negative, (𝑆𝑓)(𝑥)=𝑝𝑞3𝑝𝑞+2𝑒𝑞𝑥(1𝛼)2[𝑒𝑞𝑥](1𝛼)𝑝𝑞2<0,(3.9) if 𝑥𝑥=ln(𝑝𝑞/(1𝛼))/𝑞, so by Lemma 2.3 a locally asymptotically stable equilibrium 𝑥 is also globally asymptotically stable.

To illustrate the main result in Theorem 3.6, we consider the following examples.

Example 3.7. Consider the model 1𝑥(𝑛+1)=2𝑥(𝑛)+10𝑒2𝑥(𝑛).(3.10) Here 𝑝=10, 𝑞=2, and 𝛼=0.5. The fixed point of (3.10) is given by 𝑥1.3484. One can see that conditions (C1)–(C9) are not satisfied, so these results cannot be applied to establish stability of (3.10). Since ||1𝛼𝑞𝑝𝑒𝑞𝑥|||||11220𝑒2(1.348)|||0.85<1,(3.11)then by Theorem 3.6 the equilibrium 𝑥 is globally stable. For illustration see Figure 2(a).

Example 3.8. Consider the model 1𝑥(𝑛+1)=2𝑥(𝑛)+50𝑒2𝑥(𝑛).(3.12)Here 𝑝=50, 𝑞=2, 𝛼=1/2. We note that for the positive fixed point 𝑥1.965 of (3.12) ||1𝛼𝑞𝑝𝑒𝑞𝑥|||||112100𝑒(2)1.965|||1.464>1,(3.13) thus 𝑥 is neither locally nor globally stable. Instead of a stable equilibrium, there is a stable two-cycle 2.86, 1.59, see Figure 2(b). The bifurcation diagram in Figure 4 demonstrates that 𝑝=50 is in the range of parameter 𝑝 where (2.1) has a stable 2-cycle.

Remark 3.9. We also illustrate Theorem 3.6 by applying the Coppel result [32] which claims that the single positive equilibrium 𝑥 of 𝑓(𝑥) is globally stable whenever the equation 𝑥=𝑓(𝑓(𝑥)) has the only positive solution 𝑥. For (3.10), by Theorem 3.6 the positive equilibrium point is globally stable. This is illustrated by the graph in Figure 3(a), where the curve of 𝑦=𝑓(𝑓(𝑥)) intersects 𝑦=𝑥 only once. By Theorem 3.6 for (3.12) the positive equilibrium point is unstable. Figure 3(b), illustrates that there are more than one intersection points (really, three: the middle one corresponds to the equilibrium, while the left and the right points form a stable two-cycle) of 𝑦=𝑓(𝑓(𝑥)) and 𝑦=𝑥, so 𝑥 is unstable.

fig3
Figure 3: The unique equilibrium point is stable if the equation has no two-cycle, or the curve 𝑦=𝑓(𝑓(𝑥)) intersects 𝑦=𝑥 only once. Here 𝑓(𝑥) is defined in (3.1), 𝛼=0.5, 𝑞=2, where 𝑝=10 (a) and 𝑝=50 (b). For 𝑝=10 there is one intersection point (stability) while for 𝑝=50 there are three intersection points (the two-cycle is stable rather than the positive equilibrium).
fig4
Figure 4: The bifurcation diagram for (2.1), with 𝛼=0.5,𝑞=2, as 𝑝 is growing (a), and for the perturbed model (4.6) with 𝛼=0.5,𝑞=2,and𝜆=0.2 (b). For 𝑝<𝑝𝑐=0.75𝑒315.06 all trajectories of (2.1) converge to the equilibrium point 𝑥. As 𝑝 increases beyond 𝑝𝑐, there is a series of period-doubling bifurcations leading to a deterministic chaos. We see that the two bifurcation diagrams are similar, with bifurcations for larger 𝑝 in (4.6) compared to (2.1); chaotic behavior is observed in the perturbed equation for any 𝑝, as well as in the original one.
fig5
Figure 5: The bifurcation diagram for (2.1), with 𝛼=0.5,𝑝=2, as 𝑞 is growing (a) and for the perturbed model (4.6) with 𝛼=0.5,𝑝=2,and𝜆=0.2 (b). We see that there is a deterministic chaos in (2.1) for 𝑞 large enough, while the perturbed model experiences chaos and then (as 𝑞 grows) the break of chaos through period-halving bifurcations.

4. Bifurcations and Chaos

Stability properties of (2.1) can also be illustrated using the bifurcation diagram. The critical point 𝑝𝑐 at which the unique positive equilibrium 𝑥 loses its stability (𝑓(𝑥)=1) can be easily computed as 𝑝𝑐=𝛼𝑞𝑥exp𝑥,where𝑥=2𝛼𝑞𝛼.(4.1) For 𝑝<𝑝𝑐, all positive solutions converge to the equilibrium point 𝑥 (see Figure 4(a)). As 𝑝 increases beyond 𝑝𝑐, there is a series of period-doubling bifurcations leading to a deterministic chaos. This means that for parameters close to the stable region, this will be a stable two-cycle and if the system is moved in a direction away from stability, by increasing the parameters, then the dynamics becomes more complex and the system undergoes a series of bifurcations leading to increasingly longer periodic cycles and finally deterministic chaos.

There are many models which demonstrate similar behavior (period-doubling bifurcations leading to deterministic chaos), for example, the Ricker model [33] 𝑥𝑛+1=𝑥𝑛𝑟exp1𝑥𝑛(4.2) and the modification of the Hassel map [34]𝑓𝑟(𝑥)=𝑟𝑥1+(𝑎𝑥)𝛾,𝑟>0,𝑎>0,𝛾>1.(4.3) Since in ecological systems chaotic dynamics is difficult to observe, it was suggested [35, 36] that perturbations can be a reason for this phenomenon. In fact, the perturbed Ricker model 𝑥𝑛+1=𝑥𝑛𝑟exp1𝑥𝑛+𝜆,𝜆>0,(4.4) does not experience chaotic behavior for 𝑟 large enough; see [37] for some more details and relevant references. With the growth of 𝑟 the period-doubling route to chaos, which is characteristic to (4.4), will break down, giving rise to distinctive period-halving bifurcations and a stable two-cycle [35, 36] for 𝑟 large enough (and also for perturbation 𝜆<1, since for 𝜆>1 there is a stable equilibrium). Not all perturbed models demonstrate the same phenomenon for 𝑟 large. For example, the perturbed logistic model 𝑥𝑛+1=𝑟𝑥𝑛1𝑥𝑛+𝜆,𝜆>0,(4.5) is chaotic for large 𝑟, whether 𝜆=0 or not.

Let us consider the perturbed version of model (2.1) 𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑒𝑞𝑥(𝑛)+𝜆,𝑛0.(4.6) There are two parameters (𝑝 and 𝑞) in the model (4.6), and we will study bifurcation in both of them.

If we consider bifurcations of (2.1) in 𝑞, then there is again transition to deterministic chaos through the series of period-doubling bifurcations (see Figure 5(a)). The perturbed model (4.6) demonstrates a similar picture, up to a certain value of 𝑞; further, we observe period-doubling reversals leading to a stable equilibrium. This type of behavior can be rigorously justified.

Theorem 4.1. For fixed 𝑝>0, 𝛼(0,1), and 𝜆>0, there exists 𝑞0 such that for any 𝑞>𝑞0 the positive equilibrium of (4.6) is globally asymptotically stable; moreover, the convergence is monotone.

Proof. We recall that the right-hand side of (4.6) 𝑔(𝑥)=(1𝛼)𝑥(𝑛)+𝑝𝑒𝑞𝑥(𝑛)+𝜆 has a minimum point at 𝑥, where 𝑥=1𝑞ln𝑝𝑞1𝛼,lim𝑞1𝑞ln𝑝𝑞1𝛼=0.(4.7) Thus for fixed 𝑝, 𝛼, and 𝜆, there exists 𝑞0>0 such that 𝑥=1𝑞ln𝑝𝑞1𝛼<𝜆for𝑞>𝑞0;(4.8)hence we also have 𝑓(𝑥)>𝜆>𝑥. This means that 𝑔(𝑥) is monotone increasing on the interval (𝑥,) including the equilibrium. By Remark 3.3 the only positive equilibrium of (4.6) is globally asymptotically stable; moreover, there is a monotone convergence to this equilibrium.

As far as bifurcations in 𝑞 are considered, the perturbed equation (4.6) behaves like the perturbed version of the Ricker (4.2) and some other (4.3) population dynamics models: it demonstrates period-halving bifurcations and stable behavior for large 𝑞. If we follow bifurcations in 𝑝, then chaos is observed for any large 𝑝, similar to the perturbed logistic model (4.5).

5. Discussion and Open Problems

In the context of the model of red blood cells production, the mathematical properties of solutions can be interpreted in the following way.

Convergence to the equilibrium solution usually means healthy (normal) blood cell production, while sustainable oscillations correspond to a dynamic disease. In particular, if convergence to the equilibrium is monotone, then, in addition to normal blood cell production, parameter determination from data sampling is relatively easy compared to oscillatory cases. If the difference equation is considered as a numerical approximation of the continuous model, convergence to the equilibrium means that the numerical scheme is stable, in addition to the similar property of the continuous equation.

Deterministic chaos in the difference equation can mean one of the following two possibilities: first, blood cell production can be irregular (which occurs in practice, but was usually modeled by the addition of noise, or more general stochastic terms, or by introducing randomized parameters in the model), or, second, the numerical (discrete) approximation can create irregularity. In the case of the chaotic behavior, the range of parameters (which, as can be seen in Figures 4 and 5, can be separated from zero and bounded) are indicative for comparison with the normal (ideal) blood cells production. A small positive constant perturbation can correspond to a drug administration or other external influence stimulating blood cells production at a constant level.

The results of the present paper can be summarized as follows.(1)The model studied in the present paper can be considered as a discretization of the Lasota-Wazewska equation [3]. For the difference equation, we have presented solution bounds and strict nonoscillation conditions. Moreover, we have demonstrated that local asymptotic stability of the unique positive equilibrium is equivalent to its global asymptotic stability.(2)Bifurcations were investigated in both parameters 𝑝 and 𝑞 involved in the equation. We also considered the linearly perturbed model. As 𝑝 grows, the bifurcation diagram of the perturbed equation does not differ qualitatively from the nonperturbed model (while demonstrating later bifurcations and transition to chaos than the original model). However, for large 𝑞 the perturbed equation exhibits stable behavior. To the best of our knowledge, the chaotic behavior of (2.1) and (4.6) has never been studied before.

Finally, let us formulate some relevant open problems.(A)Consider bifurcations and chaos in a one-parameter version of (4.6) when neither 𝑝 nor 𝑞 is fixed but there is a connecting relation 𝑝=𝑓(𝑞). For example, similar to Theorem 4.1, the global stability can be easily justified for 𝑝=𝑞𝑘, 𝑘>0 large enough and 𝜆>0 in (4.6). Can a general theory be developed for some models similar to (2.1) which have a unique positive equilibrium and a unique critical point (which is a minimum rather than a maximum) and their linearly perturbed versions? Again, Theorem 4.1 demonstrates that, if the unique critical point tends to zero as the bifurcation parameter grows, then the perturbed model is stable for this parameter when it is large enough. Here we note that perturbed models with 𝜆<0 were investigated in [38] and encourage the study of models with negative constant perturbations which can describe immigration.(B)There are results for the analogue of (2.1) with periodic coefficients [27]. However, sharp oscillation and stability conditions are still an open problem.(C)Strictly speaking, the Lasota-Wazewska equation [3] involves a delay, so its discretization should be 𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑒𝑞𝑥(𝑛𝑘),𝑛0.(5.1) Prove that the local stability of the positive equilibrium of (5.1) implies its global stability.(D)As was mentioned in the beginning, the difference equation (2.1) was considered as a numerical discretization of the Lasota-Wazewska equation. A similar model for the Mackey-Glass equation was studied in [39], where the right-hand side is a unimodal function. If we consider the model corresponding to the Nicholson blowflies equation 𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑥(𝑛𝑘)𝑒𝑞𝑥(𝑛𝑘)(5.2) and its nondelay version 𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑥(𝑛)𝑒𝑞𝑥(𝑛),(5.3) then the right-hand side of (5.3), generally, has more than one critical point. However, it still has the only positive equilibrium, and it was demonstrated in [40] that local asymptotic stability implies global asymptotic stability of (5.3). Establish necessary and sufficient oscillation and global stability conditions for (5.2). Explore bifurcations and chaos for the perturbed version of (5.3).(E)The difference equation 𝐾𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑥(𝑛)ln𝑥(𝑛)(5.4) can be considered as a discretization of the Gompertz differential equation. Obtain conditions on 𝛼,𝑝, and 𝐾 which guarantee that all solutions with 0<𝑥(0)<𝑀 for some 𝑀>0 remain positive. Deduce local stability conditions for the unique positive equilibrium and demonstrate that they imply global stability. Explore the delay version of this model 𝐾𝑥(𝑛+1)=(1𝛼)𝑥(𝑛)+𝑝𝑥(𝑛)ln𝑥(𝑛𝑘)(5.5) and deduce global stability results.

Acknowledgments

The first author was partially supported by the NSERC grant. The second author was partially supported by the Deanship of Scientific Research and the Research Centre in College of Science, King Saud University. The authors are grateful to anonymous referees for valuable comments and remarks which greatly improved the presentation of the paper.

References

  1. J. Losson, M. C. Mackey, and A. Longtin, “Solution multistability in first-order nonlinear differential delay equations,” Chaos, vol. 3, no. 2, pp. 167–176, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  2. M. C. Mackey and L. Glass, “Oscillation and chaos in physiological control systems,” Science, vol. 197, no. 4300, pp. 287–289, 1977. View at Google Scholar
  3. M. Ważewska-Czyżewska and A. Lasota, “Mathematical problems of the dynamics of the red blood cells system,” Applied Mathematics, vol. 17, pp. 23–40, 1976, Annals of the Polish Mathematical Society Series III. View at Google Scholar
  4. M. R. S. Kulenović and G. Ladas, “Linearized oscillations in population dynamics,” Bulletin of Mathematical Biology, vol. 49, no. 5, pp. 615–627, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  5. K. Gopalsamy and S. I. Trofimchuk, “Almost periodic solutions of Lasota-Wazewska-type delay differential equation,” Journal of Mathematical Analysis and Applications, vol. 237, no. 1, pp. 106–127, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  6. G. Liu, A. Zhao, and J. Yan, “Existence and global attractivity of unique positive periodic solution for a Lasota-Wazewska model,” Nonlinear Analysis, vol. 64, no. 8, pp. 1737–1746, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  7. E. Liz, C. Martínez, and S. Trofimchuk, “Attractivity properties of infinite delay Mackey-Glass type equations,” Differential and Integral Equations, vol. 15, no. 7, pp. 875–896, 2002. View at Google Scholar · View at Zentralblatt MATH
  8. E. Liz, M. Pinto, V. Tkachenko, and S. Trofimchuk, “A global stability criterion for a family of delayed population models,” Quarterly of Applied Mathematics, vol. 63, no. 1, pp. 56–70, 2005. View at Google Scholar · View at Zentralblatt MATH
  9. I. Győri and G. Ladas, Oscillation Theory of Delay Differential Equations with Applications, Clarendon Press, New York, NY, USA, 1991.
  10. L. Berezansky and E. Braverman, “Linearized oscillation theory for a nonlinear delay impulsive equation,” Journal of Computational and Applied Mathematics, vol. 161, no. 2, pp. 477–495, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  11. X. Liu and Y. Takeuchi, “Periodicity and global dynamics of an impulsive delay Lasota-Wazewska model,” Journal of Mathematical Analysis and Applications, vol. 327, no. 1, pp. 326–341, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  12. G. Tr. Stamov, “On the existence of almost periodic solutions for the impulsive Lasota-Wazewska model,” Applied Mathematics Letters, vol. 22, no. 4, pp. 516–520, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  13. J. Yan, “Existence and global attractivity of positive periodic solution for an impulsive Lasota-Wazewska model,” Journal of Mathematical Analysis and Applications, vol. 279, no. 1, pp. 111–120, 2003. View at Publisher · View at Google Scholar · View at Scopus
  14. L. Berezansky and E. Braverman, “Linearized oscillation theory for a nonlinear equation with a distributed delay,” Mathematical and Computer Modelling, vol. 48, no. 1-2, pp. 287–304, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  15. X. Wang and Z. Li, “Global dynamical behavior for discrete Lasota-Wazewska model with several delays and almost periodic coefficients,” International Journal of Biomathematics, vol. 1, no. 1, pp. 95–105, 2008. View at Publisher · View at Google Scholar
  16. I. Kubiaczyk and S. H. Saker, “Oscillation and global attractivity in a discrete survival red blood cells model,” Applicationes Mathematicae, vol. 30, no. 4, pp. 441–449, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  17. W.-T. Li and S. S. Cheng, “Asymptotic properties of the positive equilibrium of a discrete survival model,” Applied Mathematics and Computation, vol. 157, no. 1, pp. 29–38, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  18. S. Elaydi, An Introduction to Difference Equations, Undergraduate Texts in Mathematics, Springer, New York, NY, USA, 3rd edition, 2005.
  19. V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order, vol. 256 of Mathematics and Its Applications, Kluwer Academic, Dodrecht, The Netherlands, 1993.
  20. G. Karakostas, Ch. G. Philos, and Y. G. Sficas, “The dynamics of some discrete population models,” Nonlinear Analysis, vol. 17, no. 11, pp. 1064–1084, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  21. X. Y. Zheng, B. Shi et al., “Oscillation and global attractivity on a rational recursive sequence,” in Proceedings of the 7th International Conference on Difference Equations and Applications, A Satellite Conference of the 2002 Beiging International Congress of Mathematicians, Changsha, China, Augus 2002.
  22. M. Ma and J. Yu, “Global attractivity of xn+1=(1αxn)+βexp(γxnk),” Computers & Mathematics with Applications, vol. 49, no. 9-10, pp. 1397–1402, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  23. Q. Meng and J. R. Yan, “Global attractivity of delay difference equations,” Indian Journal of Pure and Applied Mathematics, vol. 30, no. 3, pp. 233–242, 1999. View at Google Scholar · View at Zentralblatt MATH
  24. A. F. Ivanov, “On global stability in a nonlinear discrete model,” Nonlinear Analysis, vol. 23, no. 11, pp. 1383–1389, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  25. I. Györi and S. I. Trofimchuk, “Global attractivity in x(t)=δx(t)+pf(x(tτ)),” Dynamic Systems and Applications, vol. 8, no. 2, pp. 197–210, 1999. View at Google Scholar
  26. H. A. El-Morshedy and E. Liz, “Convergence to equilibria in discrete population models,” Journal of Difference Equations and Applications, vol. 11, no. 2, pp. 117–131, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  27. S. H. Saker, “Qualitative analysis of discrete nonlinear delay survival red blood cells model,” Nonlinear Analysis, vol. 9, no. 2, pp. 471–489, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  28. P. Cull, “Local and global stability for population models,” Biological Cybernetics, vol. 54, no. 3, pp. 141–149, 1986. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  29. P. Cull, “Population models: stability in one dimension,” Bulletin of Mathematical Biology, vol. 69, no. 3, pp. 989–1017, 2007. View at Publisher · View at Google Scholar
  30. A. N. Sharkovsky, S. F. Kolyada, A. G. Sivak, and V. V. Fedorenko, Dynamics of One-Dimensional Maps, vol. 407, Kluwer Academic, Dodrecht, The Netherlands, 1997.
  31. D. Singer, “Stable orbits and bifurcation of maps of the interval,” SIAM Journal on Applied Mathematics, vol. 35, no. 2, pp. 260–267, 1978. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  32. W. A. Coppel, “The solution of equations by iteration,” Proceedings of the Cambridge Philosophical Society, vol. 51, pp. 41–43, 1955. View at Google Scholar · View at Zentralblatt MATH
  33. W. E. Ricker, “Stock and recruitment,” Journal of the Fisheries Research Board of Canada, vol. 11, pp. 559–623, 1954. View at Google Scholar
  34. T. S. Bellows, Jr., “The descriptive properties of some models for density dependence,” The Journal of Animal Ecology, vol. 50, no. 1, pp. 139–156, 1981. View at Publisher · View at Google Scholar
  35. H. I. McCallum, “Effects of immigration on chaotic population dynamics,” Journal of Theoretical Biology, vol. 154, no. 3, pp. 277–284, 1992. View at Google Scholar
  36. L. Stone, “Period-doubling reversals and chaos in simple ecological models,” Nature, vol. 365, no. 6447, pp. 617–620, 1993. View at Google Scholar
  37. E. Braverman and D. Kinzebulatov, “On linear perturbations of the Ricker model,” Mathematical Biosciences, vol. 202, no. 2, pp. 323–339, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  38. S. J. Schreiber, “Chaos and population disappearances in simple ecological models,” Journal of Mathematical Biology, vol. 42, no. 3, pp. 239–260, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  39. E. Braverman and S. H. Saker, “Permanence, oscillation and attractivity of the discrete hematopoiesis model with variable coefficients,” Nonlinear Analysis, vol. 67, no. 10, pp. 2955–2965, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  40. E. Liz, “Local stability implies global stability in some one-dimensional discrete single-species models,” Discrete and Continuous Dynamical Systems. Series B, vol. 7, no. 1, pp. 191–199, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH