Abstract

An explicit Runge-Kutta-Nyström method is developed for solving second-order differential equations of the form where the solutions are oscillatory. The method has zero-dissipation with minimal phase-lag at a cost of three-function evaluations per step of integration. Numerical comparisons with RKN3HS, RKN3V, RKN4G, and RKN4C methods show the preciseness and effectiveness of the method developed.

1. Introduction

This paper deals with numerical method for second-order ODEs, in which the derivative does not appear explicitly, for which it is known in advance that their solutions are oscillating. Such problems often arise in different areas of engineering and applied sciences such as celestial mechanics, quantum mechanics, elastodynamics, theoretical physics, chemistry, and electronics (see, e.g., [13]).

For ODEs of type (1.1), it is preferable to use a direct numerical method, instead of reducing it into first-order system. One such method is Runge-Kutta-Nyström (RKN) method. Oscillatory problems (1.1) are usually considered as difficult to handle. Many methods with constant coefficients have already been derived for solving (1.1), see [2, 46]. Explicit RKN methods which relate to dispersion (or phase-lag) and dissipation (or amplification error) was first introduced by van der Houwen and Sommeijer [6], these properties are useful when dealing with periodic problems rather than just minimizing the truncation error of the methods. The objective of the study here is to construct RKN method with zero-dissipation and minimal phase-lag to ensure that the problem will be integrated as precisely as possible and the approximate solutions remain in phase especially for the harmonic oscillatory problem. To our knowledge, method of algebraic order greater than three with zero-dissipation and minimal phase-lag has not been done yet so far. Therefore, this motivates us to start the investigation with method of algebraic order three with zero-dissipation and minimal phase-lag.

When solving (1.1) numerically, attention has to be given to the algebraic order of the method used, since this is the main criterion for achieving high accuracy for long-range integration. Therefore, it is desirable to have a lower stage RKN method with maximal order. This will reduced the computational cost. Moreover, if it is initially known that the solution of (1.1) is periodic in nature then it is essential to consider phase-lag and dissipation. These are actually two types of truncation errors beside the truncation error due to the algebraic order. The first is the angle between the true and the approximate solutions, while the second is the distance from a standard cyclic solution. Essentially, the method derived should ideally have the properties of zero dissipation, minimal phase-lag and small truncation error coefficients. In this paper, we developed an efficient a zero-dissipative explicit RKN method with minimal phase-lag in constant time step mode.

2. General Theory

An explicit Runge-Kutta-Nyström (RKN) method for the numerical integration of the initial value problem (IVP) is given by where

The RKN parameters and are assumed to be real and is the number of stages of the method. Introduce the -dimensional vectors , and and matrix , where , , and , respectively. An explicit of RKN methods of order can be expressed in Butcher notation by the table of coefficients

Now, the phase-lag analysis of the method (2.1) is investigated using the homogeneous test equation (see [6])

By applying the general method (2.1) to the test equation (2.4) we obtain the following recursive relation: where , and are polynomials in , completely determined by the parameters of the method (2.1). The characteristic equation for (2.5) is given by The exact solution of (2.4) is given by where or where is the length of the vector . Substituting in (2.7), we have

Now let us assume that the eigenvalues of are , and the corresponding eigenvectors are , , , The numerical solution of (2.5) is where

If are complex conjugates, then and where and is the length of the vector and , respectively. By substituting in (2.9), we have

Equations (2.8) and (2.11) led us to the following definition.

Definition 2.1. For the RKN method corresponding to the characteristic equation (2.6) the quantities are the phase-lag (or dispersion) and dissipation (or amplification error), respectively. If , then the RKN method is said to have phase-lag order and if , then the RKN method is said to have dissipation order . If at a point , , then the RKN method has zero dissipation.

From Definition 2.1 it follows that where and defined by

Following [6], for a zero-dissipative RKN method and since is at most degree then the maximal attainable order of dispersion is . The method with maximum order of the phase-lag is said to be a method with minimal phase-lag. The dispersion relations up to order four are already satisfied due to consistency condition of the method. Altogether, the condition to have phase-lag order six, the highest possible for a three-stage zero-dissipative explicit method, is

We next discuss the stability properties of method for solving (1.1) by considering once again the expression (2.5). The matrix in (2.5) can be written as where , , . The is called the stability matrix. Following [7], we say that the numerical method (2.1) has interval of periodicity or interval of zero dissipation if and for all . Notice that is a necessary condition for the existence of a nonempty periodicity interval. Method with zero-dissipation is also known as method with dissipation of order infinity.

Definition 2.2. An interval is called interval of periodicity of the method (2.1) if, for all , and .

3. Construction of the Method

In the following we shall derive zero-dissipative minimal phase-lag RKN method. The RKN parameters must satisfy the following algebraic conditions as given in [8, 9]:

All indexes are from 1 to . Also the Nyström row sum conditions need to be satisfied

In addition, we try to minimize the following norms of truncation error which is discussed by Dormand [9]: where and are defined as in [2],

The algebraic conditions (3.1)-(3.2) together with dispersion relation (2.15) and zero-dissipation condition (i.e., ) formed a system of nonlinear equations. Letting as the free parameter and solving all nonlinear equations simultaneously yield the following one-parameter family of solution in term of : where

The above set of solution will give and can be written in terms of . By using minimize command in MAPLE, has a minimum value zero at . Since RKN is a one-step method, we only consider the case where lies between . We developed a equidistant nodes code where The method gives an accurate results for most of the problems tested when , which will also gives and the dispersion constant is with a periodicity interval of approximately . The new method which is denoted by RKN3NEW can be represented by the following array (see Table 1).

In Table 1 where The coefficients of RKN3NEW is generated using computer algebra package MAPLE whose environment variable Digits which control the number of significant digits which is set to 15. Table 2 shows the comparisons of the characteristics of the method derived against the methods due to Van de Vyver [2], RKN3V Calvo and Sanz-Serna [10], RKN4C van der Houwen and Sommeijer [6], RKN3HS and García et al. [11], RKN4G.

Please note that the RKN3NEW, RKN3V, RKN4G, and RKN3HS methods have three function evaluations per step. The RKN4C method has five stages with FSAL technique applied meaning that it has four effective stages per step.

4. Problem Tested

In order to evaluate the preciseness and effectiveness of the new RKN3NEW method, we solved several physical problems which have oscillatory solutions using constant time step. The RKN3NEW algorithm is coded and executed on Intel Pentium IV processor with double precision arithmetic. Figures 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, and 13 show the numerical results for all methods used. These codes have been denoted by the following.(i)RKN3NEW: The new zero-dissipative three-stage third-order RKN method with minimal phase-lag derived in this paper. (ii)RKN3V: The zero-dissipative three-stage third-order RKN method given in Van de Vyver [2]. (iii)RKN4C: The zero-dissipative five-stage fourth-order RKN method with FSAL technique given in Calvo and Sanz-Serna [10]. (iv)RKN3HS: The dissipative three-stage third-order RKN method given in van der Houwen and Sommeijer [6]. (v)RKN4G: The dissipative three-stage fourth-order RKN method derived by García et al. [11].

To illustrate some properties of zero-dissipative with minimal phase-lag integrator, the following physical problems are tested.

Problem 1 (Harmonic oscillator). One has
Exact solution:
Total energy as given in [1], where depends on the initial conditions.

Problem 2 (An “almost” Periodic Orbit problem studied by Stiefel and Bettis [12]). One has
Exact solution:
We write in the equivalent form Exact solution ,

Problem 3 (An “almost” Periodic Orbit problem studied by Franco and Palacios [13]). One has where and . The analytical solution is given by

Problem 4 (Problem studied by van der Houwen and Sommeijer [6]). One has where
Exact solution is . Numerical result is for the case .

Problem 5 (Inhomogeneous system studied by Franco [5]). One has
Exact solution:

Problem 6 (The undamped Duffing's equations as given in [14]). One has The exact solution computed by the Galerkin method and given by with , , , , and .

The results show the typical properties of zero-dissipative with minimal phase-lag integrator, RKN3NEW which we have derived. We compare the method with the dissipative method of high order of dispersion, RKN3HS [6]. Figure 1 shows the error of energy at each integration point. It can be seen that the zero-dissipative with minimal phase-lag algorithm conserved the energy with energy error one order magnitude smaller than the energy error for dissipative algorithm. In Figures 27, we plotted the global error versus the time of integration for different time step, for various physical problems. From the figures we observed that the global error produced by the RKN3NEW method do not increased over time. This means that the approximate solutions remain in phase over a long-range of integration. Clearly, the global error propagated faster over the time for dissipative RKN3HS method. Next we study the global error growth and the efficiency of the method over a long period of integration.

Figures 813 presented the efficiency of the method developed by plotting the graph of the decimal logarithm of the maximum global error against the logarithm number of function evaluations for long periods of computations. The RKN3NEW is significantly more efficient than the RKN4C method and the dissipative RKN3HS and RKN4G methods for the homogeneous and nonhomogeneous problems. It is also found that the RKN3NEW is competitive when compared with the symplectic RKN3V method. This validate the fact that the zero-dissipation with minimal phase-lag is an important element when solving ODEs in which the solutions are in oscillating form. The dissipative methods RKN3HS and RKN4G are less accurate and hence the global error accumulated faster when the integration is done over a longer interval. For the nonlinear oscillator problem, it is necessary to compare the method with another method of the same algebraic order because the global error is dominated by the truncation error due to algebraic order rather than the dispersion error, see [15].

5. Conclusion

In this paper we have derived an explicit zero-dissipative RKN3NEW method with minimal phase-lag which is suitable for problems with oscillating solutions especially for long-range integration. From the numerical results, we can conclude that the new RKN3NEW method is more promising compared to dissipative method RKN3HS, RKN4G and with symplectic method, RKN4C and as competitive when compared with symplectic RKN3V method. One can obtain higher-order accuracy by extending the idea given in this paper.

Acknowledgment

This work is partially supported by IPTA Fundamental Research Grant, Universiti Putra Malaysia (Project no. 05-10-07-385FR).