# Numerical stability and oscillation of the Runge-Kutta methods for equation ${x}^{\prime}(t)=ax(t)+{a}_{0}x(M[\frac{t+N}{M}])$

- Minghui Song
^{1}Email author and - MZ Liu
^{1}

**2012**:146

https://doi.org/10.1186/1687-1847-2012-146

© Song and Liu; licensee Springer 2012

**Received: **27 April 2012

**Accepted: **23 July 2012

**Published: **28 August 2012

## Abstract

This paper deals with the numerical properties of Runge-Kutta methods for the alternately of retarded and advanced equation ${x}^{\prime}(t)=ax(t)+{a}_{0}x(M[\frac{t+N}{M}])$. Necessary and sufficient conditions for the stability and oscillation of the numerical solution are given. The conditions that the Runge-Kutta methods preserve the stability and oscillations of the analytic solutions are obtained. Some numerical experiments are illustrated.

## Keywords

## 1 Introduction

where $[\cdot ]$ is the greatest integer function, and *M* and *N* are positive integers such that $N<M$. Differential equations of this form have simulated considerable interest and have been studied by Wiener and Aftabizadeh [11]. Cooke and Wiener [2] studied the special cases of this form with $M=1$, $N=\frac{1}{2}$ and $M=2$, $N=1$. In these equations the argument derivation $T(t)=t-M[\frac{t+N}{M}]$ are piecewise linear periodic function with periodic *M*. Also, $T(t)$ is negative for $Mn-N\le t<Mn$ and positive for $Mn<t<M(n+1)-N$ (*n* is integer). Therefore, Eq. (1.1) is of advanced type on $[Mn-N,Mn)$ and of retarded type on $(Mn,M(n+1)-N)$.

EPCA describe hybrid dynamics systems, combine properties of both differential and difference equations, and have applications in certain biomedical models in the work of Busenberg and Cooke [1]. For these equations of mixed type, the change of sign in the argument derivation leads not only to interesting periodic properties but also to complications in the asymptotic and oscillatory behavior of solutions. Oscillatory, stability and periodic properties of the linear EPCA of the form with alternately of retarded and advanced have been investigated in [2].

There exist some papers concerning the stability of the numerical solutions of delay differential equations with piecewise continuous arguments, such as [5, 8, 12]. Also, there have been results concerning oscillations of delay differential equations and delay difference equations, even including delay differential equations with piecewise continuous arguments [6]. But there is no paper concerning with the stability and oscillation of the numerical solution of these equations.

In this paper, we will investigate the numerical properties, including the stability and oscillation of Runge-Kutta methods for equation ${x}^{\prime}(t)=ax(t)+{a}_{0}x(M[\frac{t+N}{M}])$. In Section 2 we give some preliminary results for the analytic solutions of this equation. In Section 3 we consider the adaptation of the Runge-Kutta methods. In Section 4 we give the conditions of the stability and oscillation of the Runge-Kutta methods. In Section 5 we investigate the preservation of the stability and oscillations of the Runge-Kutta methods. In Section 6 some numerical experiments are illustrated.

## 2 Preliminary results

where *a*, ${a}_{0}$ are constants, *M* and *N* are positive integers such that $N<M$ ($M\ne 2N$) and $[\cdot ]$ is the greatest integer function.

**Definition 2.1**[10]

- 1.
$x(t)$ is continuous on $[0,\mathrm{\infty})$.

- 2.
The derivative ${x}^{\prime}(t)$ exists at each point $t\in [0,\mathrm{\infty})$ with the possible exception of the points $t=Mn-N$ ($n=1,2,\dots $), where one-sided derivatives exist.

- 3.
Eq. (2.1) is satisfied on each interval $[Mn-N,M(n+1)-N)$ for $n=1,2,\dots $ .

The following theorems give the existence and uniqueness of solutions and then provide necessary and sufficient conditions for the asymptotic stability and the oscillation of all solutions of Eq. (2.1).

**Theorem 2.2**[10]

*Assume that*$a,{a}_{0},{x}_{0}\in \mathbb{R}$,

*then the initial value problem*(2.1)

*has on*$[0,\mathrm{\infty})$

*a unique solution*$x(t)$

*given by*

*if*${\lambda}_{-1}\ne 0$, *where*$T(t)=t-M[\frac{t+N}{M}]$.

**Theorem 2.3**[10]

*The solution*$x=0$*of Eq*. (2.1) *is asymptotically stable as*$t\to +\mathrm{\infty}$*if and only if*$|\frac{{\lambda}_{1}}{{\lambda}_{-1}}|<1$.

**Lemma 2.4**[10]

*For*$M\ne 2N$,

*the equation*

*has a unique nonzero solution with respect to* *a*. *This solution is negative if*$M>2N$*and positive if*$M<2N$.

**Theorem 2.5**[10]

*Let*${a}^{\ast}$*be the nonzero solution of* (2.3). *The solution*$x=0$*of Eq*. (2.1) *is asymptotically stable* ($x(t)\to 0$*as*$t\to +\mathrm{\infty}$) *if any one of the following hypotheses is satisfied*:

(${A}_{1}$) $a>{a}^{\ast}$, $\frac{-a({e}^{Ma}+1)}{\phi (a)}<{a}_{0}<-a$;

(${A}_{2}$) $a<{a}^{\ast}$, ${a}_{0}>\frac{-a({e}^{Ma}+1)}{\phi (a)}$*or*${a}_{0}<-a$;

(${A}_{3}$) $a={a}^{\ast}$, ${a}_{0}<-a$.

In the following, we will give the definition of the oscillation and the non-oscillation.

**Definition 2.6** A nontrivial solution of (2.1) is said to be oscillatory if there exists a sequence $\{{t}_{k}\}$ such that ${t}_{k}\to \mathrm{\infty}$ as $k\to \mathrm{\infty}$ and $x({t}_{k})x({t}_{k-1})\le 0$. Otherwise it is called non-oscillatory. We say Eq. (2.1) is oscillatory if all nontrivial solutions of Eq. (2.1) are oscillatory. We say Eq. (2.1) is non-oscillatory if all nontrivial solutions of Eq. (2.1) are non-oscillatory.

**Theorem 2.7**[10]

*A necessary and sufficient condition for all solutions of Eq*. (2.1) *to be oscillatory is that either of the conditions*${a}_{0}<-\frac{a}{{e}^{a(M-N)}-1}{e}^{a(M-N)}$, ${a}_{0}>\frac{a}{{e}^{aN}-1}$*holds*.

## 3 The Runge-Kutta methods

In this section we consider the adaptation of the Runge-Kutta methods $(A,b,c)$. Let $h=\frac{1}{m}$ be a given stepsize with integer $m\ge 1$ and the gridpoints be defined by ${t}_{n}=nh$ ($n=0,1,2,\dots $).

For the Runge-Kutta methods we always assume that ${b}_{1}+{b}_{2}+\cdots +{b}_{\nu}=1$ and $0\le {c}_{1}\le {c}_{2}\le \cdots \le {c}_{\nu}\le 1$.

where matrix $A={({a}_{ij})}_{\nu \times \nu}$, vectors $b={({b}_{1},{b}_{2},\dots ,{b}_{\nu})}^{T}$, $c={({c}_{1},{c}_{2},\dots ,{c}_{\nu})}^{T}$ and ${x}_{n}$ is an approximation to $x(t)$ at ${t}_{n}$, ${y}_{i}^{n}$ and ${z}_{i}^{n}$ are approximation to $x({t}_{n}+{c}_{i}h)$ and $x(M[\frac{{t}_{n}+{c}_{i}h+N}{M}])$, respectively.

Let $n=Mkm+l$, $l=-Nm,-Nm+1,\dots ,(M-N)m-1$ for $k\ge 1$; $l=0,1,\dots ,(M-N)m-1$ for $k=0$. Then ${z}_{i}^{(Mkm+l)}$ can be defined as ${x}_{Mkm}$ according to Definition 2.1 ($i=1,\dots ,\nu $).

where $x=ha$, $R(x)=1+x{b}^{T}{(I-xA)}^{-1}e$ is the stability function of the method.

## 4 Stability and oscillation of the Runge-Kutta methods

In this section we will discuss stability and oscillation of the Runge-Kutta methods.

### 4.1 Numerical stability

**Definition 4.1** The Runge-Kutta method is called asymptotically stable at $(a,{a}_{0})$ if there exists a constant *C* such that Eq. (3.1) defines ${x}_{n}$ ($n\ge 1$) that satisfy ${lim}_{n\to \mathrm{\infty}}{x}_{n}=0$ for all $h=\frac{1}{m}$ ($m>C$) and any given ${x}_{0}$.

which implies $0<\frac{R(x)-1}{x}<\mathrm{\infty}$, ${\delta}_{1}<x<{\delta}_{2}$.

**Remark 4.2**[7]

It is known that $R(x)$ is an increasing function in $[-1,1]$, and $1<R(x)<\mathrm{\infty}$ for $0<x<1$, $0<R(x)<1$ for $-1\le x<0$. Hence we can take ${\delta}_{1}=-1$, ${\delta}_{2}=1$ for simplicity.

In the following, we always suppose $h<\frac{1}{|a|}$, *i.e.*, $C=|a|$. It is easy to see from (3.4) and (3.5) that ${x}_{n}\to 0$ as $n\to \mathrm{\infty}$ if and only if ${x}_{Mkm}\to 0$ as $k\to \mathrm{\infty}$. Hence we have the following theorem.

**Theorem 4.3** *The Runge*-*Kutta method is asymptotically stable if any one of the following hypotheses is satisfied*:

(${N}_{1}$) $\frac{-a({R}^{Mm}(x)+1)}{\overline{\phi}(x)}<{a}_{0}<-a$, $a>\overline{a}$;

(${N}_{2}$) ${a}_{0}>\frac{-a({R}^{Mm}(x)+1)}{\overline{\phi}(x)}$*or*${a}_{0}<-a$, $a<\overline{a}$;

(${N}_{3}$) ${a}_{0}<-a$, $a=\overline{a}$,

*where*$x=ha$, $\overline{\phi}(x)\equiv {R}^{Mm}(x)-2{R}^{Nm}(x)+1$, $h\overline{a}$*is a nonzero solution of*$\overline{\phi}(x)$.

*Proof*Let $\overline{{\lambda}_{1}}={R}^{(M-N)m}(x)+\frac{{a}_{0}}{a}({R}^{(M-N)m}(x)-1)$, $\overline{{\lambda}_{-1}}={R}^{-Nm}(x)+\frac{{a}_{0}}{a}({R}^{-Nm}(x)-1)$. From (3.5), we only need to verify the inequalities $|\frac{\overline{{\lambda}_{1}}}{\overline{{\lambda}_{-1}}}|<1$. Assume $\overline{{\lambda}_{-1}}>0$,

*i.e.*, ${a}_{0}<\frac{a}{{R}^{Nm}(x)-1}$. Then $-1<\frac{\overline{{\lambda}_{1}}}{\overline{{\lambda}_{-1}}}<1$ is equivalent to

*i.e.*, ${a}_{0}>\frac{a}{{R}^{Nm}(x)-1}$. Then $-1<\frac{\overline{{\lambda}_{1}}}{\overline{{\lambda}_{-1}}}<1$ is equivalent to

The theorem is proved. □

### 4.2 Numerical oscillation

**Definition 4.4** A nontrivial solution $\{{a}_{n}\}$ of (4.2) is said to be oscillatory if there exists a sequence $\{{n}_{k}\}$ such that ${n}_{k}\to \mathrm{\infty}$ as $k\to \mathrm{\infty}$ and ${a}_{{n}_{k}}{a}_{{n}_{k}-1}\le 0$. Otherwise, it is called non-oscillatory. Eq. (4.2) is said to be oscillatory if all nontrivial solutions of Eq. (4.2) are oscillatory. Eq. (4.2) is said to be non-oscillatory if all nontrivial solutions of Eq. (4.2) are non-oscillatory.

**Theorem 4.5**[3]

*Eq*. (4.2) *is oscillatory if and only if the characteristic equation* (4.3) *has no positive roots*.

We obtain the following theorem

**Theorem 4.6**

*Suppose*${x}_{n}$

*and*${x}_{Mkm}$

*are given by*(3.4)

*and*(3.5)

*respectively*,

*then the following statements are equivalent*:

- 1.
${x}_{n}$

*is oscillatory*; - 2.
${x}_{Mkm}$

*is oscillatory*; - 3.
${a}_{0}<-\frac{a{R}^{(M-N)m}(x)}{{R}^{(M-N)m}(x)-1}$,

*or*${a}_{0}>\frac{a}{{R}^{Nm}(x)-1}$.

*Proof*$\{{x}_{Mkm}\}$ is not oscillatory if and only if

*i.e.*,

In view of (3.4), $\{{x}_{n}\}$ is not oscillatory.

□

## 5 Preservation of stability and oscillations of the Runge-Kutta methods

In this section, we will investigate the conditions under which the numerical solution and the analytic solution are oscillatory simultaneously. We will study the stability and the oscillation of Runge-Kutta methods with the stability function which is given by the $(r,s)$-*padé* approximation to ${e}^{z}$.

In order to do this, the following lemmas and corollaries will be useful.

*The*$(r,s)$-

*padé approximation to*${e}^{z}$

*is given by*

*where*

*with error*

It is the unique rational approximation to ${e}^{z}$ of order $r+s$, such that the degree of numerator and denominator are *r* and *s*, respectively.

*If*$R(z)$

*is the*$(r,s)$-

*padé approximation to*${e}^{z}$,

*then*

- 1.
*there are**s**bounded star sectors in the right*-*half plane*,*each containing a pole of*$R(z)$; - 2.
*there are**r**bounded white sectors in the left*-*half plane*,*each containing a zero of*$R(z)$; - 3.
*all sectors are symmetric with respect to the real axis*.

We can obtain the following corollary.

*Suppose*$R(z)$

*is the*$(r,s)$-

*padé approximation to*${e}^{z}$.

*Then*

- 1.
$x>0$:

$R(x)<{e}^{x}$*for all*$x>0$*if and only if* *s* *is even*,

*for all*$\xi >x>0$

*if and only if*

*s*

*is odd*,

- 2.
$x<0$:

$R(x)>{e}^{x}$*for all*$x<0$*if and only if* *r* *is even*,

$R(x)<{e}^{x}$*for all*$\eta <x<0$*if and only if* *r* *is odd*,

*where*$\xi >1$*is a real zero of*${Q}_{s}(z)$*and*$\eta <-1$*is a real zero of*${P}_{r}(z)$.

### 5.1 Preservation of the stability

In this subsection, in order to analyse preservation of stability, the following lemmas are useful.

**Lemma 5.4**

*Let*$f(r)={r}^{M}-2{r}^{N}+1$.

*Then*

- 1.
*the function*$f(r)$*has a minimum at*${r}_{1}={(\frac{2N}{M})}^{\frac{1}{M-N}}$,*and*$f(r)$*is decreasing in*$[0,{r}_{1})$*and increasing in*$({r}_{1},\mathrm{\infty})$; - 2.
*the function*$f(r)$*has a unique solution*${r}_{0}\ne 1$,*which is less than one when*$M>2N$*and larger than one when*$M<2N$; - 3.
*when*$M>2N$:

$f(r)<0$*if*$r\in ({r}_{0},1)$,

$f(r)>0$*if*$r\in [0,{r}_{0})$*or*$r\in (1,\mathrm{\infty})$;

*when*$M<2N$:

$f(r)<0$*if*$r\in (1,{r}_{0})$,

$f(r)>0$*if*$r\in [0,1)$*or*$r\in ({r}_{0},\mathrm{\infty})$.

**Lemma 5.5**

*Let*$g(y)=\frac{{y}^{M}+1}{{y}^{M}-2{y}^{N}+1}$.

*Then*

- 1.
*the function*$g(y)$*has extremum at*${y}_{1}={(\frac{N}{M-N})}^{\frac{1}{M}}$; - 2.
*when*$M>2N$:

$g(y)$*is increasing in*$(0,{r}_{0})$*and*$({r}_{0},{y}_{1})$,

*is decreasing in*$({y}_{1},1)$

*and*$(1,\mathrm{\infty})$;

- 3.
*when*$M<2N$:

$g(y)$*is increasing in*$(0,1)$*and*$(1,{y}_{1})$,

$g(y)$*is decreasing in*$({y}_{1},{r}_{0})$*and*$({r}_{0},\mathrm{\infty})$.

**Lemma 5.6**

*Assume that*${r}_{0}\ne 1$

*is a unique solution of the function*$f(r)={r}^{M}-2{r}^{N}+1$, ${r}_{1}={(\frac{2N}{M})}^{\frac{1}{M-N}}$, ${y}_{1}={(\frac{N}{M-N})}^{\frac{1}{M}}$.

*Then the following hypothesis are satisfied*:

- 1.
${r}_{0}<{y}_{1}<{r}_{1}<1$,

*if*$M>2N$; - 2.
$1<{y}_{1}<{r}_{1}<{r}_{0}$,

*if*$M<2N$.

*Proof*By virtue of Bernoulli inequality, we obtain

By virtue of Lemma 5.4, the proof is complete. □

**Theorem 5.7**

*Assume that Eq*. (2.1)

*is asymptotically stable and*$M>2N$.

*Then the Runge*-

*Kutta method is asymptotically stable if one of the following conditions is satisfied*.

- (i)
${R}^{m}(x)\le {e}^{a}$ ($a\le ln{y}_{1}$);

- (ii)
${R}^{m}(x)\ge {e}^{a}$ ($ln{y}_{1}<a<0$);

- (iii)
${R}^{m}(x)\le {e}^{a}$ ($a\ge 0$).

*Proof*In view of Theorem 2.5 and Theorem 4.3 we will prove that the conditions $({N}_{1})$, $({N}_{2})$, $({N}_{3})$ are satisfied under conditions $({A}_{1})$, $({A}_{2})$, $({A}_{3})$. It is known from ${R}^{m}(x)\le {e}^{a}$ ($a\le ln{y}_{1}$) and Lemma 5.4 and Lemma 5.5 that $f(r)$ is decreasing and $g(y)$ is increasing. Hence ${a}^{\ast}<\overline{a}$ and

If $a>{a}^{\ast}$, then $({A}_{1})$ holds which together with (5.4) imply $({N}_{1})$, $({N}_{2})$, $({N}_{3})$. If $a<{a}^{\ast}$, then $({A}_{2})$ holds which together with (5.4) imply $({N}_{2})$. If $a={a}^{\ast}$, then $({A}_{3})$ holds which implies $({N}_{2})$. The proof is complete. □

**Theorem 5.8**

*Assume that Eq*. (2.1)

*is asymptotically stable and*$M<2N$.

*Then the Runge*-

*Kutta method is asymptotically stable if one of the following conditions is satisfied*.

- (i)
${R}^{m}(x)\le {e}^{a}$ ($a\le 0$);

- (ii)
${R}^{m}(x)\ge {e}^{a}$ ($a>0$

*and*${R}^{m}(x)\le {y}_{1}$); - (iii)
${R}^{m}(x)\le {e}^{a}$ (${y}_{1}<{R}^{m}(x)$).

*Proof* In view of Theorem 2.5 and Theorem 4.3 we will prove that the conditions $({N}_{1})$, $({N}_{2})$, $({N}_{3})$ are satisfied under conditions $({A}_{1})$, $({A}_{2})$, $({A}_{3})$. It is known from ${R}^{m}(x)\le {e}^{a}$ (${y}_{1}\le {R}^{m}(x)$) and Lemma 5.4 and Lemma 5.5 that $f(r)$ is increasing and $g(y)$ is decreasing. Hence ${a}^{\ast}<\overline{a}$. The rest of the proof is similar to that in Theorem 5.7. □

From Theorem 5.7 and Theorem 5.8, we obtain the following corollary.

**Corollary 5.9** *The* *v*-*stage A*-*stable higher order Runge*-*Kutta method preserves the stability of Eq*. (2.1), *if one of the following conditions is satisfied*.

*When*$M>2N$:

- (i)
*for Gauss*-*Legendre and Lobatto IIIC methods*,

*v* *is odd*, *if*${e}^{a}\le {y}_{1}$,

*v*

*is even*,

*if*${e}^{a}>{y}_{1}$;

- (ii)
*for Lobatto IIIA and Lobatto IIIC methods*,

*v* *is even*, *if*${e}^{a}\le {y}_{1}$,

*v*

*is odd*,

*if*${e}^{a}>{y}_{1}$;

- (iii)
*for Radau IA and IIA methods*,

*v* *is even*, *if*${y}_{1}<{e}^{a}<1$,

*v* *is odd*, *otherwise*.

*When*$M<2N$:

- (i)
*for Gauss*-*Legendre and Lobatto IIIC methods*,

*v* *is odd*, *if*${R}^{m}(x)\le {y}_{1}$,

*v*

*is even*,

*if*${R}^{m}(x)>{y}_{1}$;

- (ii)
*for Lobatto IIIA and Lobatto IIIC methods*,

*v* *is even*, *if*${R}^{m}(x)\le {y}_{1}$,

*v*

*is odd*,

*if*${R}^{m}(x)>{y}_{1}$;

- (iii)
*for Radau IA and IIA methods*,

*v* *is odd*, *if*${R}^{m}(x)\le {y}_{1}$,

*v* *is even*, *otherwise*.

### 5.2 Preservation of the oscillation

In the subsection we will investigate the conditions under which the Runge-Kutta method preserves the oscillation of Eq. (2.1).

Hence the following theorem is obvious.

**Theorem 5.10**

*The Runge*-

*Kutta method preserves the oscillation of Eq*. (2.1)

*if and only if*

**Corollary 5.11**

*The*

*v*-

*stage A*-

*stable higher order Runge*-

*Kutta method preserves the oscillation of Eq*. (2.1)

*if and only if*

- (i)
*for Gauss*-*Legendre and Lobatto IIIC methods*,*v**is odd*; - (ii)
*for Lobatto IIIA and Lobatto IIIC methods*,*v**is even*; - (iii)
*for Radau IA and IIA methods*,*v**is even if*$a<0$,*v**is odd if*$a\ge 0$.

### 5.3 The explicit Runge-Kutta methods

*ν*-stage explicit Runge-Kutta methods with $p=\nu =1,2,3,4$ possess the stability function (see [4])

which is the $(\nu ,0)$-*padé* approximation to ${e}^{x}$.

**Theorem 5.12**

*The*

*ν*-

*stage explicit Runge*-

*Kutta methods with*$p=\nu =1,2,3,4$

*preserve the asymptotic stability of Eq*. (2.1)

*if*$a\ge 0$

*and*

- (i)
*ν**is odd for*$a\le ln{y}_{1}\le 0$*and*$M>2N$; - (ii)
*ν**is even for*$ln{y}_{1}\le a<0$*and*$M>2N$; - (iii)
*ν**is odd for*$a<0$*and*$M>2N$.

**Theorem 5.13** *The* *ν*-*stage explicit Runge*-*Kutta methods with*$p=\nu =1,2,3,4$*preserve the oscillation of Eq*. (2.1) *with*$a<0$*if* *ν* *is odd*.

## 6 Numerical examples

## Declarations

### Acknowledgements

The financial support from the National Natural Science Foundation of China (No.11071050) is gratefully acknowledged.

## Authors’ Affiliations

## References

- Busenberg S, Cooke KL: Models of vertically transmitted diseases with sequential-continuous dynamics. In
*Nonlinear Phenomena in Mathematical Sciences*. Edited by: Lakshmikantham V. Academic Press, New York; 1982.Google Scholar - Cooke KL, Wiener J: An equation alternately of retarded and advanced type.
*Proc. Am. Math. Soc.*1987, 99: 726–732. 10.1090/S0002-9939-1987-0877047-8MathSciNetView ArticleGoogle Scholar - Györi I, Ladas G:
*Oscillation Theory of Delay Differential Equations*. Clarendon Press, Oxford; 1991.Google Scholar - Hairer E, Wanner G Stiff and Differential Algebraic Problems. In
*Solving Ordinary Differential Equations II*. Springer, New York; 1993.Google Scholar - Liu MZ, Song MH, Yang ZW:Stability of Runge-Kutta methods in the numerical solution of equation ${u}^{\prime}(t)=au(t)+{a}_{0}u([t])$.
*J. Comput. Appl. Math.*2004, 166: 361–370. 10.1016/j.cam.2003.04.002MathSciNetView ArticleGoogle Scholar - Liu MZ, Gao JF, Yang ZW: Oscillation analysis of numerical solution in the
*θ*-methods for equation ${x}^{\prime}(t)+ax(t)+{a}_{1}x([t-1])=0$.*Appl. Math. Comput.*2007, 186(1):566–578. 10.1016/j.amc.2006.07.119MathSciNetView ArticleGoogle Scholar - Ran XJ, Liu MZ, Zhu QY: Numerical methods for impulsive differential equation.
*Math. Comput. Model.*2008, 48: 46–55. 10.1016/j.mcm.2007.09.010MathSciNetView ArticleGoogle Scholar - Song MH, Yang ZW, Liu MZ: Stability of
*θ*-methods advanced differential equations with piecewise continuous argument.*Comput. Math. Appl.*2005, 49: 1295–1301. 10.1016/j.camwa.2005.02.002MathSciNetView ArticleGoogle Scholar - Wanner G, Hairer E, Nøsett SP: Order stars and stability theorems.
*BIT Numer. Math.*1978, 18: 475–489. 10.1007/BF01932026View ArticleGoogle Scholar - Wiener J:
*Generalized Solutions of Functional Differential Equations*. World Scientific, Singapore; 1993.View ArticleGoogle Scholar - Wiener J, Aftabizadeh AR: Differential equations alternately of retarded and advanced type.
*J. Math. Anal. Appl.*1988, 129: 243–255. 10.1016/0022-247X(88)90246-6MathSciNetView ArticleGoogle Scholar - Yang ZW, Liu MZ, Song MH:Stability of Runge-Kutta methods in the numerical solution of equation ${u}^{\prime}(t)=au(t)+{a}_{0}u([t])+{a}_{1}u([t-1])$.
*Appl. Math. Comput.*2005, 162: 37–50. 10.1016/j.amc.2003.12.081MathSciNetView ArticleGoogle Scholar

## Copyright

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.