Nonlinear stability of explicit and diagonally implicit Runge–Kutta methods for neutral delay differential equations in Banach space

https://doi.org/10.1016/j.amc.2007.10.040Get rights and content

Abstract

This paper is devoted to the investigations into the nonlinear stability properties of explicit and diagonally implicit Runge–Kutta methods for solving neutral delay differential equations in Banach space. Two approaches to numerically treating “neutral term” are considered, which allow us to prove several results on numerical stability and conditional contractivity of explicit and diagonally implicit Runge–Kutta methods. In particular, some new results on stiff ODEs and stiff DDEs, which can be regarded as the generalizations of previous results in the literature, are obtained.

Introduction

Neutral delay differential equations (NDDEs) has found applications in many areas of science (see, e.g., [1], [4], [8]). In the last several decades, a multitude of papers have been devoted to the linear stability of numerical methods (see, e.g., [5], [9], [11], [17], [19], [20], [30], [3]). Several researchers have investigated the stability of the solutions to nonlinear NDDEs with different forms in Hilbert space (see [2], [22], [23], [31], [24], [25], [26]), but little work has been published on the general variable delay problem and explicit and diagonally implicit Runge–Kutta methods, which have less computational amount per integration step than full implicit methods.

On the other hand, in order to surmount the restrict of inner product norm, Nevanlinna and Liniger [18] first, in 1979, considered ODEs test problem and studied nonlinear stability of one-leg methods applied to ODEs in Banach space. In 1983, Vanselow [21] researched stability of linear multistep methods for classes K1, K2λ and K3μ in Banach space. In 1987, Shoufu Li [12], [13] introduced test problem class K(α, λ) of stiff ODEs in Banach space, obtained a series of stability results of numerical methods for test problem class K(α, λ) (α  0), including linear multistep methods and explicit and diagonally implicit Runge–Kutta methods, and proved that some numerical methods can preserve the contractivity of the systems (α  0) under some conditions. Recently, Wen et al. [28], [29] have extended these results to test problem class D(α, β, λ) of stiff delay differential equations (DDEs) and obtained some stability results of numerical methods (α  0). Wang et al. [27] also studied the stability of θ-methods for nonlinear NDDEs with constant delays in Banach space.

The purpose of this paper is to investigate the stability and conditional contractivity of explicit and diagonally implicit Runge–Kutta methods for nonlinear NDDEs with variable delay in Banach space. We follow the approach designed by Shoufu Li for ODEs. In particular, Theorem 4.1 has its analogue in [14], with major changes in the proof. The main obstacle to our development is the numerical treatment of “neutral term”, resulting in direct evaluation and interpolation approximation for “neutral term”. This makes many of the arguments essentially different compared with the cases of ODEs and DDEs. In reward, we obtain some numerical results on stiff ODEs with α > 0 and stiff DDEs with α > 0.

The main results are proved in Section 4. The preceding sections give some basic concepts, including the problem classes D(α, β,γ, L, λ), Dδ(α, β, γ, L, λ) introduced in Section 2 and B0-stability of explicit and diagonally implicit Runge–Kutta methods introduced in Section 3. The stability of the presented methods for problem class Dδ(α, β, γ, L, λ) is discussed in Section 5. The final part of the paper gives some examples and two numerical experiments, which further confirm the main results.

Section snippets

Test problem

Let X be a real Banach space with the norm ∥·∥, D be a infinity subset of X, T > 0 be constant, and f:[0, T] × D × D × D  X be a given continuous mapping. Consider the initial value problemy(t)=f(t,y(t),y(η(t)),y(η(t))),tIT=[0,T],y(t)=ϕ(t),tI0=[t-1,0],where t-1=inftIT{η(t)}, and η(t)  t, ∀t  IT. Here η(·) is continuous and ϕ(·) is differentiable on its domain of definition. Conditions will be imposed later upon f.

For any given y1, y2, u, v  D, t  [0, T], a nonnegative function G(λ) can be defined from

Explicit and diagonally implicit Runge–Kutta methods

An explicit and diagonally implicit Runge–Kutta methodfor ODEs (cf. [14]) can generally lead to an explicit and diagonally implicit Runge–Kutta methodYi(n)=yn+hj=1iaijf(tn,j,Yj(n),yh(η(tn,j)),y¯h(η(tn,j))),i=1,2,,s,yn+1=yn+hj=1sbjf(tn,j,Yj(n),yh(η(tn,j)),y¯h(η(tn,j)))for solving problem (2.1), where yn  D is an approximation to true solution y(tn), tn,j = tn + cjh = nh + cjh, tn (n = 0,1,  , N) are net points, h = T/N > 0 is the fixed integration stepsize, aij, bi, ci (i = 1,2,  , s; j = 1,2,  , i) are real

Stability analysis about D(α, β, γ, L, λ)

In this section, we investigate the stability of Runge–Kutta (3.2) applied to problem class D(α, β, γ, L, λ). It is convenient to defineXnmaxmax1inyi-zi,maxtI0ϕ(t)-ψ(t),maxtI0ϕ(t)-ψ(t).

Stability analysis about Dδ(α, β, γ, L, λ)

In this section, we focus on the stability analysis of Runge–Kutta methods (3.2) for the problem (2.1) which belongs to the class Dδ(α, β, γ, L, λ).

Examples and numerical experiment

Example 6.1

For the classical stiff ODEs [7]y1=-0.04y1+104y2y3,y1(0)=1,y2=0.04y1-104y2y3-3·107y22,y2(0)=0,y3=3·107y22,y3(0)=0,we have α = 2 × 104|y2| under 1-norm. “We observe that the solution y2 rapidly reaches a quasi-stationary position in the vicinity of y2=0, which in the beginning (y1 = 1, y3 = 0) is at 0.043×107y22, hence y2  3.65 × 10−5, and then very slowly goes back to zero again” (see [7, pp. 3–4]). Therefore, problem (6.1) belongs to the class D(α, 0, 0, L,0) with α = 0.73 and L = 4.38 × 103. Consider

References (31)

  • G.D. Hu et al.

    Stability analysis of numerical methods for systems of neutral delay-differential equations

    BIT

    (1995)
  • V.B. Kolmanovskii et al.

    Introduction to the Theory and Applications of Functional Differential Equations

    (1999)
  • J.X. Kuang et al.

    The asymptotic stability of one-parameter methods for neutral differential equations

    BIT

    (1994)
  • S.F. Li

    Nonlinear stability of a class of linear multistep methods

    Numer. Math. A J. Chinese Univ.

    (1987)
  • S.F. Li

    Nonlinear stability of explicit and diagonal implicit Runge–Kutta methods

    Math. Numer. Sinica

    (1987)
  • Cited by (9)

    • Explicit exponential Runge–Kutta methods for semilinear parabolic delay differential equations

      2020, Mathematics and Computers in Simulation
      Citation Excerpt :

      Thus the numerical treatment of DDEs attracts a lot of attention. There has been much research work on analyzing the error behavior and stability property of numerical methods for DDEs, see [33–36]. We refer the reader to the monograph [1] for a review.

    • The continuous Galerkin finite element methods for linear neutral delay differential equations

      2019, Applied Mathematics and Computation
      Citation Excerpt :

      Neutral delay differential equations (NDDEs) is frequently arised in many scientific fields and have attracted considerable interest because of their ability to model many natural phenomena (See e.g. [1–6]).

    View all citing articles on Scopus

    This work was supported by a grant from the Major State Basic Research Development Program of China (973 Program) (No. 2005CB321703) and the National Natural Science Foundation of China (Grant No. 10271100). Also supported by the Scientific Research Fund of Hunan Provincial Education Department.

    View full text