 Research
 Open access
 Published:
Numerical oscillations for firstorder nonlinear delay differential equations in a hematopoiesis model
Advances in Difference Equations volume 2013, Article number: 163 (2013)
Abstract
In this paper, we consider the oscillations of numerical solutions for the nonlinear delay differential equations in a hematopoiesis model. Using two θmethods, namely the linear θmethod and the oneleg θmethod, several conditions, under which the numerical solutions oscillate, are obtained. Moreover, it is proved that every nonoscillatory numerical solution tends to an equilibrium point of the original system. Some numerical experiments are provided to support the theoretical results.
MSC:65L05, 65L20.
1 Introduction
In recent years, there has been much research activity concerning the oscillatory behavior of solutions of difference equations [1, 2], differential equations with piecewise continuous arguments (EPCA) [3, 4], dynamic equations [5, 6] and partial differential equations [7, 8]. Among these investigations, oscillations of solutions of delay differential equations (DDEs) have also been the subject of many recent studies [9–12]. The strong interest in this study is motivated by the fact that it has many useful applications in some mathematical models such as biology, ecology, spread of some infectious diseases in humans and so on. For more information on this study, the reader can see [13, 14] and the references therein.
Relative to the investigation of the oscillations of the analytic solutions, much research has been focused on the corresponding behavior of the numerical solutions for DDEs. In [15, 16], oscillations of numerical solutions in θmethods and RungeKutta methods for a linear EPCA {x}^{\prime}(t)+ax(t)+{a}_{1}x([t1])=0 were considered, respectively. Wang et al. [17] studied numerical oscillations of alternately advanced and retarded EPCA, the conditions of oscillations for the θmethods are obtained. To the best of our knowledge, until now very few results dealing with the oscillations of the numerical solutions for nonlinear DDEs have been reported except for [18]. Different from [18], in our paper, we consider another nonlinear DDEs in a hematopoiesis model and get some new results.
In this paper, we consider the following equation:
with the conditions
Equation (1) is one of the models proposed by Nazarenko [19] to study the control of a single population of cells. Here x(t) is the size of the population of cells, and cells are lost at a rate p, and the function
is the flux function, which depends on the size of cells x(t) and x(t\tau ) at times t and t\tau, respectively, and τ is the time of maturation. The model (1) has been recently investigated by several researchers. Kubiaczyk and Saker [20] considered Equation (1) and gave a sufficient condition for oscillations of all solutions about the positive unique equilibrium point K and proved that every nonoscillatory positive solution of Equation (1) tends to K as t\to \mathrm{\infty}. Following up the investigation in [20], Saker and Agarwal [21] studied the oscillations and global attractivity of Equation (1) with time periodic coefficients. Song et al. [22] considered the existence of local and global Hopf bifurcations of Equation (1). Up to now, few results on the properties of numerical solutions for Equation (1) were established. In the present paper, we investigate some sufficient conditions under which the numerical solutions are oscillatory. We also consider the asymptotic behavior of nonoscillatory numerical solutions.
The remainder of this paper is organized as follows. In the next section, some necessary concepts and results for oscillations of the analytic solutions are given. In Section 3, we obtain a recurrence relation by applying the θmethods to the simplified form which comes from making an invariant oscillation transformation on Equation (1). Moreover, the oscillations of the numerical solutions are discussed and conditions under which the numerical solutions oscillate are obtained. In Section 4, we investigate the asymptotic behavior of nonoscillatory solutions, and the results of some numerical experiments are given in Section 5. Finally, conclusions are drawn in Section 6.
2 Preliminaries
Definition 2.1 A solution x(t) of Equation (1) is said to oscillate about K if x(t)K has arbitrarily large zeros. Otherwise, x(t) is called nonoscillatory. When K=0, we say that x(t) oscillates about zero or simply oscillates.
Definition 2.2 A sequence \{{x}_{n}\} is said to oscillate about \{{y}_{n}\} if \{{x}_{n}{y}_{n}\} is neither eventually positive nor eventually negative. Otherwise, \{{x}_{n}\} is called nonoscillatory. If \{{y}_{n}\}=\{y\} is a constant sequence, we simply say that \{{x}_{n}\} oscillates about \{y\}. When \{{y}_{n}\}=\{0\}, we say that \{{x}_{n}\} oscillates about zero or simply oscillates.
Definition 2.3 We say Equation (1) oscillates if all of its solutions are oscillatory.
Theorem 2.4 (see [23])
Consider the difference equation
assume that k,l\in \mathbf{N} and {q}_{j}\in \mathbf{R} for j=k,\dots ,l. Then the following statements are equivalent:

(i)
Every solution of Equation (3) oscillates;

(ii)
The characteristic equation \lambda 1+{\sum}_{j=k}^{l}{q}_{j}{\lambda}^{j}=0 has no positive roots.
Theorem 2.5 (see [23])
Consider the difference equation
where n=0,1,2,\dots , \omega \in \mathbf{R} and k\in \mathbf{Z}. Then every solution of Equation (4) oscillates if and only if one of the following conditions holds:

(i)
k=1 and \omega \le 1;

(ii)
k=0 and \omega \ge 1;

(iii)
k\in \{\dots ,3,2\}\cup \{1,2,\dots \} and \omega {(k+1)}^{k+1}/{k}^{k}>1.
Lemma 2.6 For x>1 and x\ne 0, we have ln(1+x)>x/(1+x).
Lemma 2.7 For x<1 and x\ne 0, we have {e}^{x}<1/(1x).
Lemma 2.8 (see [24])
For all m\ge M,

(i)
{(1+a/(m\theta a))}^{m}\ge {e}^{a} if and only if 1/2\le \theta \le 1 for a>0, \phi (1)\le \theta \le 1 for a<0;

(ii)
{(1+a/(m\theta a))}^{m}<{e}^{a} if and only if 0\le \theta <1/2 for a<0, 0\le \theta \le \phi (1) for a>0,
where \phi (x)=1/x1/({e}^{x}1) and M is a positive constant.
Theorem 2.9 (see [20])
Assume that condition (2) holds, then every solution of Equation (1) oscillates about K if and only if
where
is the unique positive equilibrium point of Equation (1).
For simplicity, let
then (5) can be written as
3 Oscillations of numerical solutions
3.1 Transformation
We associate an initial condition of the form
with Equation (1), where \psi \in C([\tau ,0],(0,\mathrm{\infty})), \psi (0)>0.
According to the corresponding method in [20], let us introduce an invariant oscillation transformation x(t)=K{e}^{z(t)}, then Equation (1) can be reduced to
where
Then x(t) oscillates about K if and only if z(t) oscillates.
3.2 The difference scheme
Applying the linear θmethod and the oneleg θmethod to Equation (9), we obtain the same recurrence relation
where 0\le \theta \le 1, h=\tau /m, m is a positive integer. {z}_{n+1} and {z}_{n+1m} are approximations to z(t) and z(t\tau ) of Equation (9) at {t}_{n+1}, respectively.
Let {z}_{n}=ln({x}_{n}/K), then we have
Definition 3.1 We call the iteration formula (11) the exponential θmethod for Equation (1), where \theta \in [0,1], h=\tau /m, m\in \mathbf{N}=\{1,2,\dots \}, {x}_{n+1} and {x}_{n+1m} are approximations to x(t) and x(t\tau ) of Equation (1) at {t}_{n+1}, respectively.
The convergence of the exponential θmethod is given in the following theorem.
Theorem 3.2 The exponential θmethod (11) is convergent with order
Proof By the method of steps which is introduced in [25], we can easily get this proof. □
3.3 Oscillation analysis
It is not difficult to show that {x}_{n} oscillates about K if and only if {z}_{n} is oscillatory. In order to study the oscillations of (11), we only need to consider the oscillations of (10). The following conditions which are taken from [20] will be used in the next analysis:
For (10), its linearized form is given by
Then, by taking into account (6), Equation (13) is equivalent to
It follows from [23] that (10) oscillates if (14) oscillates under condition (12).
Definition 3.3 The iteration (11) is said to be oscillatory if all of its solutions are oscillatory.
Definition 3.4 We say that the exponential θmethod preserves the oscillations of Equation (1) if Equation (1) oscillates, then there is a {h}_{0}>0 or {h}_{0}=\mathrm{\infty} such that (11) oscillates for h<{h}_{0}. Similarly, we say that the exponential θmethod preserves the nonoscillations of Equation (1) if Equation (1) nonoscillates, then there is a {h}_{0}>0 or {h}_{0}=\mathrm{\infty} such that (11) nonoscillates for h<{h}_{0}.
In the following, we study whether the exponential θmethod preserves the oscillations of Equation (1). That is, when Theorem 2.9 holds, we investigate the conditions under which (11) is oscillatory.
Lemma 3.5 The characteristic equation of (13) is given by
where the function R(x)=1+x/(1\theta x), θ is a parameter in the exponential θmethod.
Proof Let {z}_{n}={\xi}^{n}{z}_{0} in (13), we have
That is,
which is equivalent to
In view of [26], the stability function of the θmethod is
then the characteristic equation of (13) is given by (15). This completes the present proof. □
Lemma 3.6 If T\tau >1/e, then the characteristic equation (15) has no positive roots for 0\le \theta \le 1/2.
Proof Let V(\xi )=\xi R(hT{\xi}^{m}). By Lemma 2.8, we know that
Now we are going to prove that W(\xi )=\xi exp(hT{\xi}^{m})>0 for \xi >0. Suppose the opposite, that is, there exists a {\xi}_{0}>0 such that W({\xi}_{0})\le 0, then {\xi}_{0}\le exp(hT{\xi}_{0}^{m}), and
Multiplying both sides of the inequality (17) by T\tau e{\xi}_{0}^{m}, we obtain
which gives
therefore we have the following two cases.
Case I: If 1T\tau {\xi}_{0}^{m}=0, then T\tau e\le 1, we arrive at the contradiction with the condition T\tau >1/e.
Case II: If 1T\tau {\xi}_{0}^{m}\ne 0, then according to Lemma 2.7, we get
that is,
so T\tau e<1, which is also a contradiction to T\tau >1/e.
Consequently, for \xi >0,
which implies that the characteristic equation (15) has no positive roots. The proof is completed. □
Without loss of generality, in the case of 1/2<\theta \le 1, we assume that m>1.
Lemma 3.7 If T\tau >1/e and 1/2<\theta \le 1, then the characteristic equation (15) has no positive roots for h<{h}_{0}, where
Proof Since R(hT{\xi}^{m}) is an increasing function of θ when \xi >0, then for \xi >0 and 1/2<\theta \le 1,
In the following, we prove that the inequality
holds under certain conditions.
From (18), it follows that
where
so we only need to prove \rho (\xi )>0 for \xi >0. It is easy to know that \rho (\xi ) is the characteristic polynomial of the following difference scheme:
According to Theorems 2.4 and 2.5, we have that \rho (\xi ) has no positive roots if and only if
or, equivalently,
We examine two cases depending on the position of Tτ: Either T\tau \ge 1 or T\tau <1.
Case I: If T\tau \ge 1, in view of m>1, then (19) holds true.
Case II: If T\tau <1 and h<\tau (1+lnT\tau ), then by Lemma 2.6 we obtain
Therefore the inequality (18) holds for h<{h}_{0}, where
So we arrive at
holds for h<{h}_{0} and \xi >0, which implies that the characteristic equation (15) has no positive roots. This completes the proof. □
Remark 3.8 Since T\tau \in (1/e,1), then {h}_{0}=\tau (1+lnT\tau )>0, thus {h}_{0} is meaningful.
In view of (12), Lemmas 3.6, 3.7 and Theorem 2.4, we have the first main theorem of this paper.
Theorem 3.9 If T\tau >1/e, then (11) is oscillatory for
where {h}_{0} is defined in Lemma 3.7.
4 Asymptotic behavior of nonoscillatory solutions
In this section, we investigate the asymptotic behavior of nonoscillatory solutions of (11). The following lemma is a useful result on asymptotic behavior of Equation (1).
Lemma 4.1 (see [20])
Let x(t) be a positive solution of Equation (1), which does not oscillate about K. Then {lim}_{t\to \mathrm{\infty}}x(t)=K.
From the relationship between Equations (1) and (9), we know that the nonoscillatory solution of Equation (9) satisfies {lim}_{t\to \mathrm{\infty}}z(t)=0 if Lemma 4.1 holds. Next, we will prove that the numerical solution of Equation (1) can inherit this property.
Lemma 4.2 Let {z}_{n} be a nonoscillatory solution of (10), then {lim}_{n\to \mathrm{\infty}}{z}_{n}=0.
Proof Without loss of generality, we may assume that {z}_{n}>0 for sufficiently large n. Then by condition (12) we know that f({z}_{i})>0 for sufficiently large i. Moreover, it can be seen from (10) that
which gives
hence {z}_{n+1}{z}_{n}<0, then \{{z}_{n}\} is decreasing. So there exists an \eta \ge 0 such that
Now we are going to prove that \eta =0. If this is not the case, that is, if \eta >0, then there exists N\in \mathbf{N} and \epsilon >0 such that for nm>N, 0<\eta \epsilon <{z}_{n}<\eta +\epsilon. Hence \eta \epsilon <{z}_{nm} and \eta \epsilon <{z}_{n1+m}. So (20) yields
which implies that {z}_{n+1}{z}_{n}<A<0, where
Thus {z}_{n}\to \mathrm{\infty} as n\to \mathrm{\infty}, which is a contradiction to (21). Hence, we finish the proof. □
Therefore, the second main theorem of this paper is as follows.
Theorem 4.3 Let {x}_{n} be a positive solution of (11), which does not oscillate about K, then {lim}_{n\to \mathrm{\infty}}{x}_{n}=K.
5 Numerical experiments
In this section, we give some numerical examples to illustrate our results, consider the nonlinear DDEs [22]
Obviously, the parameters are p=1, q=2, r=1, \alpha =2 and q/p=2>1 in Equation (1) and the positive equilibrium is K=1. In the following, we give three different values of τ and discuss the accuracy of the numerical solution and the oscillatory behavior of Equation (22).
First of all, we consider the equation
with initial value x(t)=1.5 for t\le 0. Let the stepsize h=1.4/m, we shall use the exponential θmethod with different θ and the Euler method to get the numerical solution at t=5. On the other hand, the exact solution is x(5)\approx 1.2887. In Table 1 we have listed the absolute errors (AE) and the relative errors (RE) at t=5. We can see from this table that the errors of the Euler method are larger than those of the exponential θmethod. Therefore, compared with the classical Euler method, the exponential θmethod has higher accuracy. Furthermore, in Figures 1 and 2, the plots of the error as a function of time and as a function of the stepsize for a sequence of stepsizes are presented. The two figures also show that the effect of approximation of the numerical solution is good.
In addition, it is easy to see that condition (5) holds true. That is, the analytic solutions of Equation (23) are oscillatory. In Figures 35, we draw the figures of the analytic solutions and the numerical solutions of Equation (23), respectively. In Figure 4, m=28, \theta =1/5\in [0,1/2] and T\tau =1.4>1/e. Simultaneously, in Figure 5, m=70, \theta =4/5\in (1/2,1] and T\tau =1.4\ge 1>1/e. From the two figures, we can see that the numerical solutions of Equation (23) oscillate about K=1, which is in agreement with Theorem 3.9.
Next, we consider the following equation:
with initial value x(t)=1.5 for t\le 0. In Equation (24), it is not difficult to see that condition (5) is fulfilled. That is, the analytic solutions of Equation (24) are oscillatory. In Figures 68, we draw the figures of the analytic solutions and the numerical solutions of Equation (24), respectively. In Figure 7, m=40, \theta =2/5\in [0,1/2] and T\tau =0.8>1/e. Further, in Figure 8, m=20, \theta =3/4\in (1/2,1]. By simple calculation, we have 1/e<T\tau =0.8<1 and h=\tau /m=0.04<{h}_{0}=0.6215. We can see from the three figures that the numerical solutions of Equation (24) oscillate about K=1, which are consistent with Theorem 3.9. On the other hand, we notice that h=0.04\le 0.4<{h}_{0}=0.6215 under the assumption 1<m\in \mathbf{N}, so the stepsize {h}_{0} is not optimal.
Moreover, we consider another equation
with initial value x(t)=1.5 for t\le 0. For Equation (25), it is easy to see that T\tau =0.3<1/e, so condition (5) is not satisfied. That is, the analytic solutions of Equation (25) are nonoscillatory. In Figures 911, we draw the figures of the analytic solutions and the numerical solutions of Equation (25), respectively. In Figure 9, we can see that x(t)\to K=1 as t\to \mathrm{\infty}. From Figures 10 and 11, we can also see that the numerical solutions of Equation (25) satisfy {x}_{n}\to K=1 as n\to \mathrm{\infty}. That is, the numerical method preserves the asymptotic behavior of nonoscillatory solutions of Equation (25), which coincides with Theorem 4.3.
Finally, by Definition 3.4, we can see from these figures that the exponential θmethod preserves the oscillations of Equations (23) and (24) and the nonoscillations of Equation (25), respectively.
All the above numerical examples are in agreement with the main results in this paper.
6 Conclusions
In this paper, we discuss the oscillations of the numerical solutions of a nonlinear
DDEs in a hematopoiesis model. The convergent exponential θmethod, namely the linear θmethod and the oneleg θmethod in an exponential form, is constructed. We obtain some conditions under which the numerical solutions oscillate in the case of oscillations of the analytic solutions. We also prove that nonoscillatory numerical solutions can preserve the corresponding properties of the analytic solutions. It is pointed out that the stepsize {h}_{0} in Lemma 3.7 is not optimal, which gives us the further working direction.
References
Agarwal RP, Karakoc F: Oscillation of impulsive partial difference equations with continuous variables. Math. Comput. Model. 2009, 50: 12621278. 10.1016/j.mcm.2009.07.013
Yamaoka N: Oscillation criteria for secondorder nonlinear difference equations of Euler type. Adv. Differ. Equ. 2012., 2012: Article ID 218
Muroya Y: New contractivity condition in a population model with piecewise constant arguments. J. Math. Anal. Appl. 2008, 346: 6581. 10.1016/j.jmaa.2008.05.025
Song MH, Liu MZ:Numerical stability and oscillation of the RungeKutta methods for equation {x}^{\prime}(t)=ax(t)+{a}_{0}x(M[(t+N)/M])=0. Adv. Differ. Equ. 2012., 2012: Article ID 146
Jia BG, Erbe L, Peterson A: A Wongtype oscillation theorem for second order linear dynamic equations on time scales. J. Differ. Equ. Appl. 2010, 16: 1536. 10.1080/10236190802409312
Candan T: Oscillation criteria for secondorder nonlinear neutral dynamic equations with distributed deviating arguments on time scales. Adv. Differ. Equ. 2013., 2013: Article ID 112
Kubiaczyk I, Saker SH: Oscillation of delay parabolic differential equations with several coefficients. J. Comput. Appl. Math. 2002, 147: 263275. 10.1016/S03770427(02)004272
Wang CY, Wang S, Yan XP: Oscillation of a class of partial functional population model. J. Math. Anal. Appl. 2010, 368: 3242. 10.1016/j.jmaa.2010.03.005
Liu LH, Bai YZ: New oscillation criteria for secondorder nonlinear neutral delay differential equations. J. Comput. Appl. Math. 2009, 231: 657663. 10.1016/j.cam.2009.04.009
Bonotto EM, Gimenes LP, Federson M: Oscillation for a secondorder neutral differential equation with impulses. Appl. Math. Comput. 2009, 215: 115. 10.1016/j.amc.2009.04.039
Zhang CH, Li TX, Sun B, et al.: On the oscillation of higherorder halflinear delay differential equations. Appl. Math. Lett. 2011, 24: 16181621. 10.1016/j.aml.2011.04.015
Li TX, Han ZL, Zhao P, et al.: Oscillation of evenorder neutral delay differential equations. Adv. Differ. Equ. 2010., 2010: Article ID 184180
Gopalsamy K: Stability and Oscillations in Delay Differential Equations of Population Dynamics. Kluwer Academic, Dordrecht; 1992.
Bainov DD, Mishev DP: Oscillation Theory for Neutral Differential Equations with Delay. Hilger, New York; 1991.
Liu MZ, Gao JF, Yang ZW: Oscillation analysis of numerical solution in the θ methods for equation {x}^{\prime}(t)+ax(t)+{a}_{1}x([t1])=0. Appl. Math. Comput. 2007, 186: 566578. 10.1016/j.amc.2006.07.119
Liu MZ, Gao JF, Yang ZW:Preservation of oscillations of the RungeKutta method for equation {x}^{\prime}(t)+ax(t)+{a}_{1}x([t1])=0. Comput. Math. Appl. 2009, 58: 11131125. 10.1016/j.camwa.2009.07.030
Wang Q, Zhu QY, Liu MZ: Stability and oscillations of numerical solutions for differential equations with piecewise continuous arguments of alternately advanced and retarded type. J. Comput. Appl. Math. 2011, 235: 15421552. 10.1016/j.cam.2010.08.041
Gao JF, Song MH, Liu MZ: Oscillation analysis of numerical solutions for nonlinear delay differential equations of population dynamics. Math. Model. Anal. 2011, 16: 365375. 10.3846/13926292.2011.601768
Nazarenko VG: Influence of delay on autooscillation in cell populations. Biofisika 1976, 21: 352356.
Kubiaczyk I, Saker SH: Oscillation and stability in nonlinear delay differential equations of population dynamics. Math. Comput. Model. 2002, 35: 295301. 10.1016/S08957177(01)001662
Saker SH, Agarwal S: Oscillation and global attractivity in a nonlinear delay periodic model of population dynamics. Appl. Anal. 2002, 81: 787799. 10.1080/0003681021000004429
Song YL, Wei JJ, Han MA: Local and global Hopf bifurcation in a delayed hematopoiesis model. Int. J. Bifurc. Chaos 2004, 14: 39093919. 10.1142/S0218127404011697
Gyori I, Ladas G: Oscillation Theory of Delay Differential Equations with Applications. Academic Press, Oxford; 1993.
Song MH, Yang ZW, Liu MZ: Stability of θ methods for advanced differential equations with piecewise continuous arguments. Comput. Math. Appl. 2005, 49: 12951301. 10.1016/j.camwa.2005.02.002
Hale JK: Theory of Functional Differential Equations. Springer, New York; 1977.
Yang ZW, Liu MZ, Song MH:Stability of RungeKutta methods in the numerical solution of equation {u}^{\prime}(t)=au(t)+{a}_{0}u([t])+{a}_{1}u([t1]). Appl. Math. Comput. 2005, 162: 3750. 10.1016/j.amc.2003.12.081
Acknowledgements
The authors would like to express their deep gratitude to the referees for their valuable suggestions and comments. The first author would like to thank Professor Mingzhu Liu and Doctor Zhanwen Yang for their selfless help. This work is financially supported by the National Natural Science Foundation of China (No. 11201084).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
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.
About this article
Cite this article
Wang, Q., Wen, J., Qiu, S. et al. Numerical oscillations for firstorder nonlinear delay differential equations in a hematopoiesis model. Adv Differ Equ 2013, 163 (2013). https://doi.org/10.1186/168718472013163
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013163