Discrete Dynamics in Nature and Society
Volume 2015 (2015), Article ID 217578, 11 pages
http://dx.doi.org/10.1155/2015/217578

Research Article

Optimized Hybrid Methods for Solving Oscillatory Second Order Initial Value Problems

N. Senu,¹ F. Ismail,¹ S. Z. Ahmad,² and M. Suleiman¹

¹Department of Mathematics and Institute for Mathematical Research, Universiti Putra Malaysia (UPM), 43400 Serdang, Selangor, Malaysia
²Department of Mathematics, Universiti Putra Malaysia (UPM), 43400 Serdang, Selangor, Malaysia

Received 25 October 2014; Accepted 6 January 2015

Academic Editor: Xiaohua Ding

Copyright © 2015 N. Senu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Two-step optimized hybrid methods of order five and order six are developed for the integration of second order oscillatory initial value problems. The optimized hybrid method (OHMs) are based on the existing nonzero dissipative hybrid methods. Phase-lag, dissipation or amplification error, and the differentiation of the phase-lag relations are required to obtain the methods. Phase-fitted methods based on the same nonzero dissipative hybrid methods are also constructed. Numerical results show that OHMs are more accurate compared to the phase-fitted methods and some well-known methods appeared in the scientific literature in solving oscillating second order initial value problems. It is also found that the nonzero dissipative hybrid methods are more suitable to be optimized than phase-fitted methods.

1. Introduction

Many differential equations which appear in practice are system of second-order initial value problem (IVP), in which the first derivative does not appear explicitly:

This type of ordinary differential equations (ODEs) often appears in many scientific areas of engineering and applied sciences such as celestial mechanics, molecular dynamics, quantum mechanics, and theoretical physics. Quite often the solution of (1) exhibits a pronounced oscillatory character. Oscillatory problems are usually harder to solve than the nonoscillatory problems. Coleman [1] in his paper developed the order conditions of hybrid method up to order nine. With the order condition developed by Coleman [1], Franco [2] constructed explicit two-step hybrid methods of fourth, fifth, and sixth order for solving second order IVPs.

To obtain a more efficient process for solving oscillatory problems, numerical methods are constructed by taking into account the nature of the problem. This results in methods in which the coefficients depend on the problem. Some important classes of numerical methods, such as exponentially fitted or phase-fitted methods, can be obtained if a good estimate of the period is known.

Phase-lag or dispersion error is the angle between the true and the approximated solutions. The analysis of phase-lag or dispersion error was first introduced by Brusa and Nigro [3]. Several authors such as van der Houwen and Sommeijer [4, 5] and Thomas [6] studied in detail the phase-lag of numerical methods for solving (1). Several authors in their papers [6–9] have developed hybrid methods with the purpose of making the phase-lag of the method smaller. The technique of vanishing the phase-lag, the amplification error, and their first integral of phase-lag was introduced by Papadopoulos and Simos [10]. Numerical results indicated that such technique produced methods which are very efficient for solving Schrodinger equation. Kosti et al. [11] in their work developed an optimized explicit Runge-Kutta Nyström method with four stages and fifth algebraic order for the numerical solution of orbital and related periodic initial value problems. Other than phase-lag much research is also focused on methods having high dissipative order; dissipation is the distance of the computed solution from the standard cyclic solution. Hence, for solving oscillatory problems, it is the aim of every researcher to derive numerical method which has high algebraic order, phase-lag order, and dissipative order. Methods having dissipative order infinity are called a zero-dissipative methods.

In this work, we will derive methods in which the coefficients depend on the problems. The first two methods are called optimized methods which are developed using the same approach introduced by Kosti et al. [11]. They are optimized by imposing the phase-lag, dissipative or amplification error, and the first derivative of the phase-lag relation. The second two methods derived are called phase-fitted methods which are obtained by minimizing the phase-lag. The new optimized and phase-fitted hybrid methods are based on the nonzero-dissipative, four-stage fifth-order and five-stage sixth-order hybrid methods developed by Franco [2].

The comparison of the new methods with other methods in the scientific literature has shown that the optimized methods are more efficient for solving problems of oscillating in nature.

2. Analysis Phase-Lag of the Methods

An -stage two-step hybrid method for numerical integration of the IVP (1) is in the form

where , , and can be represented in Butcher notation by the table of coefficients.

-stage hybrid methods are as follows:

The methods of the form (2) are defined by

where , , and and the first two nodes are and . The method only requires to evaluate , for each step after starting procedure. This method is considered as two-step hybrid method with stages per step and can be written in Butcher tableau;  -stage explicit hybrid methods are as follows:

In order to construct the new method, we use the test equation

By replacing into (2) we have

Define , so (7) can also be written as

Alternatively (8) can be written in vector form as follows:

where ,  , ,

From (9) we obtain

Substituting (12) into (10) gives

Rewrite (13) and then the following recursion is obtained

where

The following definition is given by van der Houwen and Sommeijer [4] for Runge-Kutta Nyström method and has been used by Franco [2] for hybrid method.

Definition 1. Apply the hybrid method (2) to (6). Next we define the phase-lag, and dissipation, and

If , then the hybrid method is said to have phase-lag order . If , then the hybrid method is said to have dissipation order .

3. Derivation of the New Hybrid Methods

In this section, we construct optimized hybrid methods of four-stage fifth order and five-stage sixth order. First, let us denote (15) in polynomials form as follows:

The relations between phase-lag (dispersion), dissipation (amplification error), and the derivative of phase-lag are taken into consideration throughout obtaining the new methods. On the other hand, phase-fitted methods which are based on the same hybrid methods are also developed. The effectiveness of the new optimized methods is compared with that of the phase-fitted method as well as other existing methods in the literature.

3.1. Optimized Hybrid Methods

Polynomials (17) for hybrid method which satisfied algebraic order conditions up to order six can be written in these expressions:

(i)for ,

(ii)for ,

In order to develop optimized hybrid method the following relations must hold:

 the phase-lag condition,

 dissipation condition,

 and the first derivative of (20),

The hybrid method in Franco (2006) [2], which is four-stage fifth order with dispersion order eight and dissipation order five or which we called nonzero dissipative method since the order of the dissipation is finite, is then substituted into the nullifying equations (20)–(22), and the equations are solved numerically. The coefficients of the method with , , and taken as free parameters can be written in Butcher tableau as follows (see (26)).

The optimized hybrid method is obtained with , , and given by

An optimized four stage fifth-order hybrid method is as follows:

and the free parameters in Taylor expansion are given by

For the construction of five-stage sixth-order optimized hybrid methods, we substitute (18) into (20)–(22) and using the coefficients of the five-stage sixth-order method which is nonzero dissipative given in Franco (2006) [2] (see (30)).

An optimized five-stage sixth-order hybrid method is as follows:

Choosing , , and as the free parameters, the optimized sixth-order hybrid method is obtained:

and the free parameters in Taylor expansion are given as follows:

3.2. Phase-Fitted Hybrid Methods

In this paper, we also develop the phase-fitted the original hybrid methods. To develop phase-fitted method, (20) must hold. Equation (18) is substituted into (20), choosing as the free parameter and using the same coefficients as in (26), together with

We obtain a phase-fitted hybrid method of four-stage fifth-order with the solution of which is given by

and the Taylor expansion of the free parameter is

For the construction of five-stage sixth-order phase-fitted hybrid method, we substitute (19) into (20) and set as the free parameter. We use the coefficients given in (30) together with

Choosing as the free parameter, we get a phase-fitted hybrid method of five-stage sixth-order and is given by

and the Taylor expansion of is

4. Problems Tested and Numerical Results

In this section, we compare the optimized methods of order five and order six with the phase-fitted methods together with a few existing methods in the literature in order to determine the accuracy of the new optimized methods. The existing methods are the original hybrid method by Franco [2], optimized Runge-Kutta Nyström method order five developed by Kosti et al. [11], phase-fitted Runge-Kutta Nyström method of order four developed by Papadopoulos et al. [12], Runge-Kutta Nyström method of order five by Hairer et al. [13], Runge-Kutta method of order six given in Butcher [14], and phase-fitted and amplification-fitted Runge-Kutta Nyström method of order four developed in Papadopoulos et al. [12]. Efficiency curves of the fifth and sixth order methods are given in Figures 1–7 and 8–14, respectively. The test problems are listed below.

Figure 1: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 2 with and , .

Figure 2: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 3 with and , .

Figure 3: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 4 with and , .

Figure 4: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 5 with and , .

Figure 5: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 6 with and , .

Figure 6: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 7 with and , .

Figure 7: The efficiency curves of the optimized and phase-fitted order five methods and their comparisons for Problem 8 with and , .

Figure 8: The efficiency curves of the optimized order six method and their comparisons for Problem 2 with and , .

Figure 9: The efficiency curves of the optimized order six method and their comparisons for Problem 3 with and , .

Figure 10: The efficiency curves of the optimized order six method and their comparisons for Problem 4 with and , .

Figure 11: The efficiency curves of the optimized order six method and their comparisons for Problem 5 with and , .

Figure 12: The efficiency curves of the optimized order six method and their comparisons for Problem 6 with and , .

Figure 13: The efficiency curves of the optimized order six method and their comparisons for Problem 7 with and , .

Figure 14: The efficiency curves of the optimized order six method and their comparisons for Problem 8 with and , .

Problem 2 (Chawla and Rao [15]). Consider

and the fitted frequency, .

Exact solution is .

Problem 3 (Attili et al. [16]). Consider

and the fitted frequency, . Exact solution is as follows: and .

Problem 4 (Allen Jr. and Wing [17]). Consider

and the fitted frequency, . Exact solution is .

Problem 5 (Lambert and Watson [18]). Consider

Exact solution is as folllows: , , is chosen to be , and parameters and are 20 and 0.1, respectively.

Problem 6 (Papadopoulos et al. [19]). Consider

The analytical solution is .

Problem 7 (Stiefel and Bettis [20]). Consider

Exact solution is

Problem 8 (Franco [2]). Consider

and whose analytic solution is given by

The following notations are used in Figures 1–14:

(i)OPHM5: new optimized hybrid method four-stage fifth order derived in this paper;(ii)OPHM6: new optimized hybrid method five-stage sixth order derived in this paper;(iii)PFHM5: new phase-fitted hybrid method four-stage fifth order derived in this paper;(iv)PFHM6: new phase-fitted hybrid method five-stage sixth order derived in this paper;(v)E-HM5: explicit hybrid method of four-stage fifth-order with dispersion of order eight and dissipation of order five developed by Franco [2];(vi)E-HM6: explicit hybrid method of five-stage sixth-order developed by Franco [2];(vii)OPRKN5: Optimized Runge-Kutta Nyström method of four-stage fifth-order developed by Kosti et al. [11];(viii)PFRKN4: Phase-fitted Runge-Kutta Nyström method of four-stage fourth-order by Papadopoulos et al. [19];(ix)RKN5: A classical Runge-Kutta Nyström method order five in Hairer et al. [13].(x)RK6: A Runge-Kutta method of order six with seven stages by Butcher [14].(xi)PAFRKN4(4): A four-stage fourth-order phase-fitted and amplification-fitted Runge-Kutta Nyström method developed by Papadopoulos et al. [12].

A measure of the accuracy is examined using absolute error which is defined by

where is the exact solution and is the computed solution.

From the observation on efficiency curves in Figures 1–5, it is shown that OPHM5 is more accurate compared to other methods in the literature followed by OPRKN5 and then PAFRKN4 method. However, for Problem 7, OPHM5 is just as good as OPRKN5, but still OPHM5 required less time to integrate the problem till the end of the interval, while for Problem 8, OPHM5 is the most accurate method followed by PFHM5 or E-HM5 and then OPRKN5. From the efficiency curves we noticed that the phase-fitted version of the hybrid method did not improve the accuracy of the method, whereas optimized method improved the accuracy of the method; hence it performed much better than the original hybrid method and other existing methods.

For method of order six the efficiency curves are shown in Figures 8–14. In Figures 8 and 9, OPHM6 is better in accuracy compared to OPRKN5 followed closely by PAFRKN4 and PFHM6. In Figures 10–12, as the time increases OPHM6 is gradually better in accuracy compared to OPRKN5 followed by PAFRKN4, PFHM6, and the rest of the methods. In Figure 13, again OPHM6 is the most efficient method followed by OPRKN5 PFHM6 and PAFRKN4 and other methods in the literature, while in Figure 4, the most efficient method is OPHM6, followed by PFHM6, E-HM6, and OPRKN5 methods. Consequently, examining the results in Figures 8–14 the optimized sixth order method is very efficient in solving oscillating IVPs. Phase-fitted method improved the accuracy of the method slightly compared to the original hybrid method but could not compete with the optimized method.

5. Conclusion

In this paper, optimized hybrid methods of order five and order six are constructed based on the existing hybrid methods which have high phase-lag or dispersion order but are not zero-dissipative, originally developed by Franco [2]. Phase-fitted methods based on the same existing methods are also constructed, and numerical results are shown in Figures 1–14. From the numerical results we conclude that the new optimized methods are more efficient for integrating oscillatory initial value problems of second order ODEs compared to the phase-fitted methods and other well-known existing methods in the scientific literature.

Furthermore, from the numerical results, it is proven that in solving oscillating special second order ODEs, the nonzero dissipative hybrid methods are more suitable to be optimized than phase-fitted methods. The results are not quite true for zero-dissipative methods (see Ahmad et al. [21]) in which it is found that the phase-fitted method is very efficient in solving oscillating problems.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

J. P. Coleman, “Order conditions for a class of two-step methods for ,” IMA Journal of Numerical Analysis, vol. 23, no. 2, pp. 197–220, 2003.

J. M. Franco, “A class of explicit two-step hybrid methods for second-order IVPs,” Journal of Computational and Applied Mathematics, vol. 187, no. 1, pp. 41–57, 2006.

L. Brusa and L. Nigro, “A one-step method for direct in tegration of structural dynamic equations,” International Journal for Numerical Methods in Engineering, vol. 15, no. 5, pp. 685–699, 1980.

P. J. van der Houwen and B. P. Sommeijer, “Explicit Runge-Kutta (-Nyström) methods with reduced phase errors for computing oscillating solutions,” SIAM Journal on Numerical Analysis, vol. 24, no. 3, pp. 595–617, 1987.

P. J. van der Houwen and B. P. Sommeijer, “Diagonally implicit Runge-Kutta-Nyström methods for oscillatory problems,” SIAM Journal on Numerical Analysis, vol. 26, no. 2, pp. 414–429, 1989.

R. M. Thomas, “Phase Properties of higher order, almost P-stable formulae,” BIT Numerical Mathematics, vol. 24, no. 2, pp. 225–238, 1984.

H. van de Vyver, “A symplectic Runge-Kutta-Nyström method with minimal phase-lag,” Physics Letters A, vol. 367, no. 1-2, pp. 16–24, 2007.

R. D'Ambrosio, M. Ferro, and B. Paternoster, “Trigonometrically fitted two-step hybrid methods for special second order ordinary differential equations,” Mathematics and Computers in Simulation, vol. 81, no. 5, pp. 1068–1084, 2011.

F. Samat, F. Ismail, and M. Suleiman, “High order explicit hybrid methods for solving second-order ordinary differential equations,” Sains Malaysiana, vol. 41, no. 2, pp. 253–260, 2012.

D. F. Papadopoulos and T. E. Simos, “A new methodology for the construction of optimized Runge-Kutta-Nyström methods,” International Journal of Modern Physics C. Computational Physics and Physical Computation, vol. 22, no. 6, pp. 623–634, 2011.

A. A. Kosti, Z. A. Anastassi, and T. E. Simos, “An optimized explicit Runge-Kutta-Nyström method for the numerical solution of orbital and related periodical initial value problems,” Computer Physics Communications, vol. 183, no. 3, pp. 470–479, 2012.

D. F. Papadopoulos, Z. A. Anastassi, and T. E. Simos, “A modified phase-fitted and amplification-fitted Runge-Kutta-Nyström method for the numerical solution of the radial Schrödinger equation,” Journal of Molecular Modeling, vol. 16, no. 8, pp. 1339–1346, 2010.

E. Hairer, S. P. Nrsett, and G. Wanner, Solving Ordinary Differential Equations, vol. 1, Springer, Berlin, Germany, 2010.

J. C. Butcher, Numerical Methods for Ordinary Differential Equations, John Wiley & Sons, England, UK, 2008.

M. M. Chawla and P. S. Rao, “High-accuracy P-stable methods for ,” IMA Journal of Numerical Analysis, vol. 5, no. 2, pp. 215–220, 1985.

B. S. Attili, K. Furati, and M. I. Syam, “An efficient implicit Runge-Kutta method for second order systems,” Applied Mathematics and Computation, vol. 178, no. 2, pp. 229–238, 2006.

J. Allen Jr. and G. M. Wing, “An invariant imbedding algorithm for the solution of inhomogeneous linear two-point boundary value problems,” Journal of Computational Physics, vol. 14, pp. 40–58, 1974.

J. D. Lambert and I. A. Watson, “Symmetric multistep methods for periodic initial value problems,” Journal of the Institute of Mathematics and Its Applications, vol. 18, no. 2, pp. 189–202, 1976.

D. F. Papadopoulos, Z. A. Anastassi, and T. E. Simos, “A phase-fitted Runge-Kutta Nyström method for the numerical solution of initial value problems with oscillating solutions,” Computer Physics Communications, vol. 180, no. 10, pp. 1839–1846, 2009.

E. Stiefel and D. G. Bettis, “Stabilization of Cowell's method,” Numerische Mathematik, vol. 13, pp. 154–175, 1969.

S. Z. Ahmad, F. Ismail, N. Senu, and M. Suleiman, “Zero-dissipative phase-fitted hybrid methods for solving oscillatory second order ordinary differential equations,” Applied Mathematics and Computation, vol. 219, no. 19, pp. 10096–10104, 2013.