Numerical oscillations for first-order nonlinear delay differential equations in a hematopoiesis model
© Wang et al.; licensee Springer 2013
Received: 12 November 2012
Accepted: 24 May 2013
Published: 10 June 2013
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 one-leg θ-method, several conditions, under which the numerical solutions oscillate, are obtained. Moreover, it is proved that every non-oscillatory numerical solution tends to an equilibrium point of the original system. Some numerical experiments are provided to support the theoretical results.
Keywordsnonlinear delay differential equations numerical solutions oscillations non-oscillations
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 Runge-Kutta methods for a linear EPCA were considered, respectively. Wang et al.  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 . Different from , in our paper, we consider another nonlinear DDEs in a hematopoiesis model and get some new results.
is the flux function, which depends on the size of cells and at times t and , respectively, and τ is the time of maturation. The model (1) has been recently investigated by several researchers. Kubiaczyk and Saker  considered Equation (1) and gave a sufficient condition for oscillations of all solutions about the positive unique equilibrium point K and proved that every non-oscillatory positive solution of Equation (1) tends to K as . Following up the investigation in , Saker and Agarwal  studied the oscillations and global attractivity of Equation (1) with time periodic coefficients. Song et al.  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 non-oscillatory 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 non-oscillatory solutions, and the results of some numerical experiments are given in Section 5. Finally, conclusions are drawn in Section 6.
Definition 2.1 A solution of Equation (1) is said to oscillate about K if has arbitrarily large zeros. Otherwise, is called non-oscillatory. When , we say that oscillates about zero or simply oscillates.
Definition 2.2 A sequence is said to oscillate about if is neither eventually positive nor eventually negative. Otherwise, is called non-oscillatory. If is a constant sequence, we simply say that oscillates about . When , we say that 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 )
Every solution of Equation (3) oscillates;
The characteristic equation has no positive roots.
Theorem 2.5 (see )
Lemma 2.6 For and , we have .
Lemma 2.7 For and , we have .
Lemma 2.8 (see )
if and only if for , for ;
if and only if for , for ,
where and M is a positive constant.
Theorem 2.9 (see )
is the unique positive equilibrium point of Equation (1).
3 Oscillations of numerical solutions
with Equation (1), where , .
Then oscillates about K if and only if oscillates.
3.2 The difference scheme
where , , m is a positive integer. and are approximations to and of Equation (9) at , respectively.
The convergence of the exponential θ-method is given in the following theorem.
Proof By the method of steps which is introduced in , we can easily get this proof. □
3.3 Oscillation analysis
It follows from  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 or such that (11) oscillates for . Similarly, we say that the exponential θ-method preserves the non-oscillations of Equation (1) if Equation (1) non-oscillates, then there is a or such that (11) non-oscillates for .
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.
where the function , θ is a parameter in the exponential θ-method.
then the characteristic equation of (13) is given by (15). This completes the present proof. □
Lemma 3.6 If , then the characteristic equation (15) has no positive roots for .
therefore we have the following two cases.
Case I: If , then , we arrive at the contradiction with the condition .
so , which is also a contradiction to .
which implies that the characteristic equation (15) has no positive roots. The proof is completed. □
Without loss of generality, in the case of , we assume that .
holds under certain conditions.
We examine two cases depending on the position of Tτ: Either or .
Case I: If , in view of , then (19) holds true.
holds for and , which implies that the characteristic equation (15) has no positive roots. This completes the proof. □
Remark 3.8 Since , then , thus is meaningful.
In view of (12), Lemmas 3.6, 3.7 and Theorem 2.4, we have the first main theorem of this paper.
where is defined in Lemma 3.7.
4 Asymptotic behavior of non-oscillatory solutions
In this section, we investigate the asymptotic behavior of non-oscillatory solutions of (11). The following lemma is a useful result on asymptotic behavior of Equation (1).
Lemma 4.1 (see )
Let be a positive solution of Equation (1), which does not oscillate about K. Then .
From the relationship between Equations (1) and (9), we know that the non-oscillatory solution of Equation (9) satisfies if Lemma 4.1 holds. Next, we will prove that the numerical solution of Equation (1) can inherit this property.
Lemma 4.2 Let be a non-oscillatory solution of (10), then .
Thus as , 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 be a positive solution of (11), which does not oscillate about K, then .
5 Numerical experiments
Obviously, the parameters are , , , and in Equation (1) and the positive equilibrium is . In the following, we give three different values of τ and discuss the accuracy of the numerical solution and the oscillatory behavior of Equation (22).
Comparisons of errors between the exponential θ -method and the Euler method
θ = 0.2
θ = 0.5
θ = 0.7
m = 7
m = 14
7.8091e − 4
m = 28
5.1373e − 4
3.9864e − 4
m = 35
4.5459e − 4
3.5275e − 4
m = 70
3.7574e − 4
2.9156e − 4
All the above numerical examples are in agreement with the main results in this paper.
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 one-leg θ-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 non-oscillatory numerical solutions can preserve the corresponding properties of the analytic solutions. It is pointed out that the stepsize in Lemma 3.7 is not optimal, which gives us the further working direction.
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).
- Agarwal RP, Karakoc F: Oscillation of impulsive partial difference equations with continuous variables. Math. Comput. Model. 2009, 50: 1262-1278. 10.1016/j.mcm.2009.07.013MathSciNetView ArticleGoogle Scholar
- Yamaoka N: Oscillation criteria for second-order nonlinear difference equations of Euler type. Adv. Differ. Equ. 2012., 2012: Article ID 218Google Scholar
- Muroya Y: New contractivity condition in a population model with piecewise constant arguments. J. Math. Anal. Appl. 2008, 346: 65-81. 10.1016/j.jmaa.2008.05.025MathSciNetView ArticleGoogle Scholar
- Song MH, Liu MZ:Numerical stability and oscillation of the Runge-Kutta methods for equation . Adv. Differ. Equ. 2012., 2012: Article ID 146Google Scholar
- Jia BG, Erbe L, Peterson A: A Wong-type oscillation theorem for second order linear dynamic equations on time scales. J. Differ. Equ. Appl. 2010, 16: 15-36. 10.1080/10236190802409312MathSciNetView ArticleGoogle Scholar
- Candan T: Oscillation criteria for second-order nonlinear neutral dynamic equations with distributed deviating arguments on time scales. Adv. Differ. Equ. 2013., 2013: Article ID 112Google Scholar
- Kubiaczyk I, Saker SH: Oscillation of delay parabolic differential equations with several coefficients. J. Comput. Appl. Math. 2002, 147: 263-275. 10.1016/S0377-0427(02)00427-2MathSciNetView ArticleGoogle Scholar
- Wang CY, Wang S, Yan XP: Oscillation of a class of partial functional population model. J. Math. Anal. Appl. 2010, 368: 32-42. 10.1016/j.jmaa.2010.03.005MathSciNetView ArticleGoogle Scholar
- Liu LH, Bai YZ: New oscillation criteria for second-order nonlinear neutral delay differential equations. J. Comput. Appl. Math. 2009, 231: 657-663. 10.1016/j.cam.2009.04.009MathSciNetView ArticleGoogle Scholar
- Bonotto EM, Gimenes LP, Federson M: Oscillation for a second-order neutral differential equation with impulses. Appl. Math. Comput. 2009, 215: 1-15. 10.1016/j.amc.2009.04.039MathSciNetView ArticleGoogle Scholar
- Zhang CH, Li TX, Sun B, et al.: On the oscillation of higher-order half-linear delay differential equations. Appl. Math. Lett. 2011, 24: 1618-1621. 10.1016/j.aml.2011.04.015MathSciNetView ArticleGoogle Scholar
- Li TX, Han ZL, Zhao P, et al.: Oscillation of even-order neutral delay differential equations. Adv. Differ. Equ. 2010., 2010: Article ID 184180Google Scholar
- Gopalsamy K: Stability and Oscillations in Delay Differential Equations of Population Dynamics. Kluwer Academic, Dordrecht; 1992.View ArticleGoogle Scholar
- Bainov DD, Mishev DP: Oscillation Theory for Neutral Differential Equations with Delay. Hilger, New York; 1991.Google Scholar
- Liu MZ, Gao JF, Yang ZW: Oscillation analysis of numerical solution in the θ -methods for equation . Appl. Math. Comput. 2007, 186: 566-578. 10.1016/j.amc.2006.07.119MathSciNetView ArticleGoogle Scholar
- Liu MZ, Gao JF, Yang ZW:Preservation of oscillations of the Runge-Kutta method for equation . Comput. Math. Appl. 2009, 58: 1113-1125. 10.1016/j.camwa.2009.07.030MathSciNetView ArticleGoogle Scholar
- 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: 1542-1552. 10.1016/j.cam.2010.08.041MathSciNetView ArticleGoogle Scholar
- Gao JF, Song MH, Liu MZ: Oscillation analysis of numerical solutions for nonlinear delay differential equations of population dynamics. Math. Model. Anal. 2011, 16: 365-375. 10.3846/13926292.2011.601768MathSciNetView ArticleGoogle Scholar
- Nazarenko VG: Influence of delay on auto-oscillation in cell populations. Biofisika 1976, 21: 352-356.Google Scholar
- Kubiaczyk I, Saker SH: Oscillation and stability in nonlinear delay differential equations of population dynamics. Math. Comput. Model. 2002, 35: 295-301. 10.1016/S0895-7177(01)00166-2MathSciNetView ArticleGoogle Scholar
- Saker SH, Agarwal S: Oscillation and global attractivity in a nonlinear delay periodic model of population dynamics. Appl. Anal. 2002, 81: 787-799. 10.1080/0003681021000004429MathSciNetView ArticleGoogle Scholar
- Song YL, Wei JJ, Han MA: Local and global Hopf bifurcation in a delayed hematopoiesis model. Int. J. Bifurc. Chaos 2004, 14: 3909-3919. 10.1142/S0218127404011697MathSciNetView ArticleGoogle Scholar
- Gyori I, Ladas G: Oscillation Theory of Delay Differential Equations with Applications. Academic Press, Oxford; 1993.Google Scholar
- Song MH, Yang ZW, Liu MZ: Stability of θ -methods for advanced differential equations with piecewise continuous arguments. Comput. Math. Appl. 2005, 49: 1295-1301. 10.1016/j.camwa.2005.02.002MathSciNetView ArticleGoogle Scholar
- Hale JK: Theory of Functional Differential Equations. Springer, New York; 1977.View ArticleGoogle Scholar
- Yang ZW, Liu MZ, Song MH:Stability of Runge-Kutta methods in the numerical solution of equation . Appl. Math. Comput. 2005, 162: 37-50. 10.1016/j.amc.2003.12.081MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.