On implicit Runge-Kutta methods with high stage order

It is well known that high stage order is a desirable property for implicit Runge-Kutta methods. In this paper it is shown that it is always possible to construct ans-stage IRK method with a given stability function and stage orders−1 if the stability function is an approximation to the exponential function of at least orders. It is further indicated how to construct such methods as well as in which cases the constructed methods will be stiffly accurate.     

A criterion forP-stability properties of Runge-Kutta methods

P-stability is an analogous stability property toA-stability with respect to delay differential equations. It is defined by using a scalar test equation similar to the usual test equation ofA-stability. EveryP-stable method isA-stable, but anA-stable method is not necessarilyP-stable. We considerP-stability of Runge-Kutta (RK) methods and its variation which was originally introduced for multistep methods by Bickart, and derive a sufficient condition for an RK method to have the stability properties on the basis of an algebraic characterization ofA-stable RK methods recently obtained by Schere and Müller. By making use of the condition we clarify stability properties of some SIRK and SDIRK methods, which are easier to implement than fully implicit methods, applied to delay differential equations.     

Equilibria of Runge-Kutta methods

Summary It is known that certain Runge-Kutta methods share the property that, in a constant-step implementation, if a solution trajectory converges to a bounded limit then it must be a fixed point of the underlying differential system. Such methods are calledregular. In the present paper we provide a recursive test to check whether given method is regular. Moreover, by examining solution trajectories of linear equations, we prove that the order of ans-stage regular method may not exceed 2[(s+2)/2] and that the maximal order of regular Runge-Kutta method with an irreducible stability function is 4.     

A bound on the maximum strong order of stochastic Runge-Kutta methods for stochastic ordinary differential equations

In Burrage and Burrage [1] it was shown that by introducing a very general formulation for stochastic Runge-Kutta methods, the previous strong order barrier of order one could be broken without having to use higher derivative terms. In particular, methods of strong order 1.5 were developed in which a Stratonovich integral of order one and one of order two were present in the formulation. In this present paper, general order results are proven about the maximum attainable strong order of these stochastic Runge-Kutta methods (SRKs) in terms of the order of the Stratonovich integrals appearing in the Runge-Kutta formulation. In particular, it will be shown that if ans-stage SRK contains Stratonovich integrals up to orderp then the strong order of the SRK cannot exceed min{(p+1)/2, (s−1)/2},p≥2,s≥3 or 1 ifp=1.     

A stability property ofA-stable natural Runge-Kutta methods for systems of delay differential equations

A natural Runge-Kutta method is a special type of Runge-Kutta method for delay differential equations (DDEs); it is known that any one-step collocation method is equivalent to one of such methods. In this paper, we consider a linear constant-coefficient system of DDEs with a constant delay, and discuss the application of natural Runge-Kutta methods to the system. We show that anA-stable method preserves the asymptotic stability property of the analytical solutions of the system.     

Generalized Runge-Kutta methods of order four with stepsize control for stiff ordinary differential equations

Summary GeneralizedA()-stable Runge-Kutta methods of order four with stepsize control are studied. The equations of condition for this class of semiimplicit methods are solved taking the truncation error into consideration. For application anA-stable and anA(89.3°)-stable method with small truncation error are proposed and test results for 25 stiff initial value problems for different tolerances are discussed.     

On implicit Runge-Kutta methods with a stability function having distinct real poles

Because of their potential for offering a computational speed-up when used on certain multiprocessor computers, implicit Runge-Kutta methods with a stability function having distinct poles are analyzed. These are calledmultiply implicit (MIRK) methods, and because of the so-calledorder reduction phenomenon, their poles are required to be real, i.e., only real MIRK's are considered. Specifically, it is proved that a necessary condition for aq-stage, real MIRK to beA-stable with maximal orderq+1 is thatq=1, 2, 3 or 5. Nevertheless, it is shown that for every positive integerq, there exists aq-stage, real MIRK which is stronglyA ₀-stable with orderq+1, and for every evenq, there is aq-stage, real MIRK which isI-stable with orderq. Finally, some useful examples of algebraically stable real MIRK's are given.This work was supported by the National Aeronautics and Space Administration under NASA Contract No. NAS1-18107 while the author was in residence at the Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, Hampton, VA 23665-5225.     

Local error estimation for singly-implicit formulas by two-step Runge-Kutta methods

In this paper it is shown that the local discretization error ofs-stage singly-implicit methods of orderp can be estimated by embedding these methods intos-stage two-step Runge-Kutta methods of orderp+1, wherep=s orp=s+1. These error estimates do not require any extra evaluations of the right hand side of the differential equations. This is in contrast with the error estimation schemes based on embedded pairs of two singly-implicit methods proposed by Burrage.The work of A. Bellen and M. Zennaro was supported by the CNR and MPI. The work of Z. Jackiewicz was supported by the CNR and by the NSF under grant DMS-8520900.     

NP-stability of Runge-Kutta methods based on classical quadrature

Recently Bellen, Jackiewicz and Zennaro have studied stability properties of Runge-Kutta (RK) methods for neutral delay differential equations using a scalar test equation. In particular, they have shown that everyA-stable collocation method isNP-stable, i.e., the method has an analogous stability property toA-stability with respect to the test equation. Consequently, the Gauss, Radau IIA and Lobatto IIIA methods areNP-stable. In this paper, we examine the stability of RK methods based on classical quadrature by a slightly different approach from theirs. As a result, we prove that the Radau IA and Lobatto IIIC methods equipped with suitable continuous extensions are alsoNP-stable by virtue of fundamental notions related to those methods such as simplifying conditions, algebraic stability, and theW-transformation.     

A- andB-stability for Runge-Kutta methods-characterizations and equivalence

Summary Using a special representation of Runge-Kutta methods (W-transformation), simple characterizations ofA-stability andB-stability have been obtained in [9, 8, 7]. In this article we will make this representation and their conclusions more transparent by considering the exact Runge-Kutta method. Finally we demonstrate by a numerical example that for difficult problemsB-stable methods are superior to methods which are onlyA-stable.Talk, presented at the conference on the occasion of the 25th anniversary of the founding ofNumerische Mathematik, TU Munich, March 19–21, 1984     

On theA-stability of implicit Runge-Kutta processes

A new technique to calculate the characteristic functions and to examine theA-stability of implicit Runge-Kutta processes is presented. This technique is based on a direct algebraic approach and an application of theC-polynomial theory of Nørsett. New processes are suggested. These processes can be exponentially fitted in anA-stable manner.     

On the stability of Runge-Kutta methods for delay integral equations

Summary We present a class of Runge-Kutta methods for the numerical solution of a class of delay integral equations (DIEs) described by two different kernels and with a fixed delay . The stability properties of these methods are investigated with respect to a test equation with linear kernels depending on complex parameters. The results are then applied to collocation methods. In particular we obtain that any collocation method for DIEs, resulting from anA-stable collocation method for ODEs, with a stepsize which is submultiple of the delay , preserves the asymptotic stability properties of the analytic solutions.This work was supported by CNR (Italian National Council of Research)     

On symmetrizers for Gauss methods

Summary In this paper the maximum attainable order of a special class of symmetrizers for Gauss methods is studied. In particular, it is shown that a symmetrizer of this type for thes-stage Gauss method can attain order 2s-1 only for 1 s 3, and that these symmetrizers areL-stable. A classification of the maximum attainable order of symmetrizers for some higher stages is presented. AnL-stable symmetrizer is also shown to exist for each of the methods studied.     

A uniqueness result related to the stability of explicit Runge-Kutta methods

The polynomial associated with the largest disk of stability of anm-stage explict Runge-Kutta method of orderp is unique.     

Optimum first and second order extrapolations of Successive Overrelaxation type methods for certain classes of matrices

This paper deals with the iterative solution of the linear systemx=Bx+c when its Jacobi matrixB is weakly 2-cyclic consistently ordered and has a complex eigenvalue spectrum which lies on a straight-line segment. The optimization problem of the following three methods is considered and solved: i) The extrapolation of the optimum Successive Overrelaxation (SOR) ii) The second order extrapolation of a good SOR and iii) The second order extrapolation of the Gauss-Seidel method. In addition a variant of the second order methods considered, suitable for the solution of the system even ifB isnot necessarily weakly 2-cyclic consistently ordered, is proposed. Finally a reference to a theoretical comparison of the various optimum methods in the paper is made and their asymptotic convergence factors for selected eigenvalue spectra are illustrated in a Table in support of the theory developed.     

The symmetric procrustes problem

The following symmetric Procrustes problem arises in the determination of the strain matrix of an elastic structure: find the symmetric matrixX which minimises the Frobenius (or Euclidean) norm ofAX — B, whereA andB are given rectangular matrices. We use the singular value decomposition to analyse the problem and to derive a stable method for its solution. A perturbation result is derived and used to assess the stability of methods based on solving normal equations. Some comparisons with the standard, unconstrained least squares problem are given.     

High order algebraically stable Runge-Kutta methods

In Burrage and Butcher [3] the concept of Algebraic Stability was introduced in the study of Runge-Kutta methods. In this paper an analysis is made of the family ofs-stage Runge-Kutta methods of order 2s—2 or more which possesses this property.     

A necessary condition forB-stability

A necessary condition forB-stability is derived. Then it is shown that the Runge-Kutta methods of Lobatto type III _A and III _B and some other methods are notB-stable.     

Convergence properties of the Runge-Kutta-Chebyshev method

Summary The Runge-Kutta-Chebyshev method is ans-stage Runge-Kutta method designed for the explicit integration of stiff systems of ordinary differential equations originating from spatial discretization of parabolic partial differential equations (method of lines). The method possesses an extended real stability interval with a length proportional tos ². The method can be applied withs arbitrarily large, which is an attractive feature due to the proportionality of withs ². The involved stability property here is internal stability. Internal stability has to do with the propagation of errors over the stages within one single integration step. This internal stability property plays an important role in our examination of full convergence properties of a class of 1st and 2nd order schemes. Full convergence means convergence of the fully discrete solution to the solution of the partial differential equation upon simultaneous space-time grid refinement. For a model class of linear problems we prove convergence under the sole condition that the necessary time-step restriction for stability is satisfied. These error bounds are valid for anys and independent of the stiffness of the problem. Numerical examples are given to illustrate the theoretical results.Dedicated to Peter van der Houwen for his numerous contributions in the field of numerical integration of differential equations.Paper presented at the symposium Construction of Stable Numerical Methods for Differential and Integral Equations, held at CWI, March 29, 1989, in honor of Prof. Dr. P.J. van der Houwen to celebrate the twenty-fifth anniversary of his stay at CWI