Abstract
In this work, a pair of embedded explicit exponentially-fitted Runge–Kutta–Nyström methods is formulated for solving special second-order ordinary differential equations (ODEs) with periodic solutions. A variable step-size technique is used for the derivation of the 5(3) embedded pair, which provides a cheap local error estimation. The numerical results obtained signify that the new adapted method is more efficient and accurate compared with the existing methods.
1. Introduction
In this work, we focus on the numerical solution of the special second-order ordinary differential equation of the form:
whose solution have a notable periodic character, where and is sufficiently differentiable. Problems of such form occur frequently in the scientific areas such as molecular dynamics, quantum mechanics, chemistry, nuclear physics, and electronics. Due to its applications, many researchers are motivated to study the numerical solution of Equation (1) (see [1,2,3,4,5,6,7]). Senu [8] proposed an embedded explicit RKN method for solving oscillatory problems, Fawzi et al. [9] derived an embedded 6(5) pair of explicit Runge–Kutta methods for periodic ivps, Franco [10] developed two new embedded pairs of explicit Runge–Kutta methods adapted to the numerical solution of oscillatory problems, and Anastassi [11] constructed a 6(4) optimized embedded Runge–Kutta–Nyström pair for the numerical solution of periodic problems. Recently, Demba et al. [12,13] constructed two new embedded explicit trigonometrically-fitted RKN methods for solving the problem in Equation (1). A new embedded explicit exponentially-fitted RKN method based on the 5(3) embedded pair of explicit type derived in [14] is constructed in this work for solving Equation (1). This method can integrate exactly the test equation , and the numerical results show the efficiency of the proposed method in comparison with other existing RKN methods in the scientific literature.
The paper is structured as follows. In Section 2, we explain the fundamental concepts of an explicit RKN pair, the basic definition of exponentially-fitted RKN method, and the derivation of an explicit exponentially-fitted RKN method. Section 3 deals with the construction of the proposed method. In Section 4, we analyze the algebraic order of the constructed method from their local truncation error (LTE) and we present a detailed information about the stability of the constructed method. In Section 5, we give the numerical results. In Section 6, we present a brief discussion about the graphs obtained, and a conclusion is drawn in the last section of the paper.
2. Fundamental Concepts
A Runge–Kutta–Nyström method of explicit type is represented generally as:
where and denote the approximations of and , respectively, and The corresponding Butcher tableau is given by:
where A is a matrix , , and
An embedded pair of RKN methods is based on the method of order m and the other RKN method () of order n (). The higher order method yields the approximate solution , , while the lower order method yields the approximate solution , which is only used for the estimation of the local truncation error.
A pair of embedded explicit RKN method is generally represented by the following Butcher tableau:
In this study, a variable step-size procedure is utilized. Local error estimation at the point is determined by and To control the the step size h, we use the local error estimation given by . We utilize the step-size control procedure in [4] for the numerical solution of Equation (1). That is:
- if ;
- if and
- if and repeat the step.
Here, is the tolerance. Note that the approximation is used as the initial value for the (n+1)th step.
Definition 1.
A Runge–Kutta–Nyström method (Equations (2)–(4)) is said to be exponentially-fitted if it integrates exactly the functions and with , the principal frequency of the problem.
When an explicit Runge–Kutta–Nyström method (Equations (2)–(4)) is applied to the test equation , we obtain the following equations:
where
Let , evaluating the value of , and and, putting in Equations (5)–(8), we get the system of equations below:
where
3. Construction of the Proposed Method
In this section, we construct a new embedded explicit exponentially-fitted RKN method.
In this study, the RKN5(3) embedded pair is used as given in [14]. The coefficients of the method are given in Table 1.
Table 1.
RKN5(3) method in [14].
To obtain the adapted method in the embedding procedure, we consider firstly the coefficients of the lower-order method (order 3) in the RKN5(3) pair. We solve the system of equations in Equations (9) and (10) considering those coefficients but taking two of them as unknowns, specifically the parameters . We obtain the following solution:
In Taylor series form, we have:
As , the coefficients and of the lower-order adapted method reduce to the coefficients of the original lower-order method in the RKN5(3) approach. In a similar way, solving the above system in Equations (9) and (10) using the coefficients of the higher-order method (order 5) taking as unknowns the coefficients and , we obtain the following solution:
In Taylor series form, we have:
As , the coefficients and of the higher-order adapted method reduce to the coefficients of the original higher-order method in the RKN5(3) approach.
The obtained coefficients depending on together with the rest of coefficients of the original RKN5(3) method form the new adapted embedded method, which is named as EEERKN5(3).
4. Algebraic Order and Error Analysis
In this part, we carry out the local truncation error and orders of convergence analysis based on the Taylor series expansion as given below:
The and of the lower-order method (order 3) are:
From Equation (16), we can observe that the algebraic order of the lower-order method is 3 because all of the coefficients up to turns to zero. Similarly, the and of the higher-order method (order 5) are:
From Equation (17), the higher-order method has order 5 because all of the coefficients up to turns to zero.
Analysis of Stability
The linear stability of the RKN method in Equations (2)–(4) is obtained by applying it to the test equation . In particular, for the method given in Table 1, setting , the numerical solution satisfies the following recurrence system:
where
is the corresponding matrix of coefficients and I is the identity matrix of fourth order,
It is considered that has complex conjugate eigenvalues for sufficiently small values of [15]. With this consideration, a periodic numerical solution is obtained. The periodic behavior depends on the eigenvalues of , which is called the stability matrix and its characteristic equation can be written as:
.
Definition 2.
An interval corresponding to the RKN method in Equations (2)–(4) is said to be an interval of absolute stability if, for all , it holds that , where are the roots of the above characteristic equation.
Definition 3.
An interval corresponding to the RKN method in Equations (2)–(4) is said to be periodic if, for every , , with , where are the roots of the above characteristic equation.
Using Maple package, as well as the definitions in Equations (2) and (3), we find that the higher-order method of our new embedded pair (EEERKN5(3)) has a non-vanishing interval of absolute stability, while the lower-order method of our new embedded pair (EEERKN5(3)) has a non-vanishing interval of periodicity. Therefore, the higher-order method of our new embedded pair (EEERKN5(3)) has as the interval of absolute stability, while the lower-order method of our new embedded pair (EEERKN5(3)) has as the interval of periodicity.
5. Numerical Experiments
To show the robustness of the constructed method, we consider the following standard embedded RKN methods for the numerical comparison:
- EEERKN5(3): The new embedded pair constructed in this paper;
- RKN5(3): A 5(3) pair of explicit RKN methods given by Van de Vyver in [14];
- ARKN5(3): A 5(3) pair of explicit ARKN methods derived by Franco in [16];
- RKN6(4)6ER-PFAF: A 6(4) optimized embedded RKN pair obtained by Anastassi and Kosti in [11]; and
- FRKN4: A Runge–Kutta–Nyström pair obtained by Van de Vyver in [17],
They are used to integrate the following periodic initial value problems:
Problem 1.
(Almost Periodic Problem) in [18]
The exact solution is
We take to apply our method and the adapted methods in [11,16,17].
Problem 2.
(Two-Body Problem) in [19]
The exact solution is
We solve this problem in taking for the adapted methods considered.
Problem 3.
(Almost Periodic Problem) Van de Vyver in [17]
The exact solution is
where and .
For the application of the adapted method developed in this paper and the methods by Anastassi and Kosti in [11], Franco in [16], and Van de Vvyver in [17], we consider .
Problem 4.
(Nonlinear Problem) in [20]
with and , the exact solution is
.
We solve this problem in taking for the adapted methods considered.
Table 2.
Numerical results for Problem 1.
Table 3.
Numerical results for Problem 2.
Table 4.
Numerical results for Problem 3.
Table 5.
Numerical results for Problem 4.
To further show the efficacy of the constructed method (EEERKN5(3)), we use the graphical approach to display the performance of EEERKN5(3) in comparison with other existing methods in the literature, as shown in Figure 1, Figure 2, Figure 3 and Figure 4. Tol =
Figure 1.
Efficiency curves for Problem 1.
Figure 2.
Efficiency curves for Problem 2.
Figure 3.
Efficiency curves for Problem 3.
Figure 4.
Efficiency curves for Problem 4.
6. Discussion
Our proposed method (EEERKN5(3)) has the least error norm and least computational time, signifying that it is highly efficient and accurate for solving Equation (1), as shown in Table 2, Table 3, Table 4 and Table 5 and Figure 1, Figure 2, Figure 3 and Figure 4. The graphs show the accuracy, measured in versus the . Therefore, we can deduce that (EEERKN5(3)) is more suitable for solving Equation (1) than the other existing methods in the scientific literature.
7. Conclusions
In this work, we construct a new efficient embedded explicit exponentially-fitted RKN method for solving periodic initial value problems. The constructed method contains four variable coefficients that depend on a parameter which is given by the product of the parameter of the method w and the step-length h [21,22]. The numerical experiment performed show clearly that EEERKN5(3) is more efficient for solving problem in Equation (1) than the other existing methods used for comparison.
Author Contributions
Conceptualization, M.A.D. and P.K.; methodology, M.A.D.; software, P.P.; validation, M.A.D., P.K., and W.W.; formal analysis, M.A.D.; investigation, P.P.; resources, P.K.; data curation, M.A.D.; writing—original draft preparation, M.A.D.; writing—review and editing, P.K.; visualization, M.A.D.; supervision, P.K.; project administration, W.W.; and funding acquisition, P.K. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by the Center of Excellence in Theoretical and Computational Science (TaCS-CoE), King Mongkut’s University of Technology, Thonburi.
Acknowledgments
The authors appreciate the efforts made by the reviewers of this manuscript for their constructive comments and also appreciate the financial support provided by the Center of Excellence in Theoretical and Computational Science (TaCS-CoE), King Mongkut’s University of Technology, Thonburi. The first author with Grant No.: 15/2562 was supported by the Petchra Pra Jom Klao PhD Research Scholarship from King Mongkut’s University of Technology, Thonburi.
Conflicts of Interest
The authors declare no conflict of interest.
Abbreviations
The following abbreviations are used in this manuscript:
| RKN | Runge–Kutta–Nyström |
| IVP | Initial value problem |
| LTE | Local Truncation error |
References
- Simos, T.E. Exponentially fitted modified Runge-Kutta-Nyström method for the numerical solution of initial-value problems with oscillating solutions. Appl. Math. Lett. 2002, 15, 217–225. [Google Scholar] [CrossRef]
- Van de Vyver, H. An embedded exponentially-fitted Runge-Kutta-Nyström method for the numerical solution of orbital problems. New Astron. 2006, 11, 577–587. [Google Scholar] [CrossRef]
- Kalogiratou, Z.; Simos, T.E. Construction of trigonometrically-fitted and exponentially-fitted Runge-Kutta-Nyström methods for the numerical solution of schrödinger equation and related problems-a method of 8th algebraic order. J. Math. Chem. 2002, 31, 211–232. [Google Scholar] [CrossRef]
- Liu, S.; Zheng, J.; Fang, Y. A new modified embedded 5(4) pair of explicit Runge-Kutta methods for the numerical solution of schrödinger equation. J. Math. Chem. 2002, 15, 217–225. [Google Scholar] [CrossRef]
- Kosti, A.A.; Anastassi, Z.A. Explicit almost P-stable Runge–Kutta–Nyström methods for the numerical solution of the two-body problem. Comput. Appl. Math. 2015, 34, 647–659. [Google Scholar] [CrossRef]
- Kosti, A.A.; Anastassi, Z.A.; Simos, T.E. Construction of an optimized explicit Runge–Kutta–Nyström method for the numerical solution of oscillatory initial value problems. Comput. Math. Appl. 2011, 61, 3381–3390. [Google Scholar] [CrossRef]
- Ahmad, N.A.; Senu, N. New 4 (3) pair two derivative Runge-Kutta method with FSAL property for solving first order initial value problems. AIP Conf. Proc. 2017, 1870, 040053. [Google Scholar]
- Senu, N.; Suleiman, M.; Ismail, F. An embedded explicit Runge-Kutta-Nyström method for solving oscillatory problems. Phys. Scr. 2009, 80, 015005. [Google Scholar] [CrossRef]
- Fawzi, F.A.; Senu, N.; Ismail, F.; Majid, Z.A. An embedded 6(5) pair of explicit Runge-Kutta method for periodic ivps. Far East J. Math. Sci. 2016, 100, 1841. [Google Scholar] [CrossRef]
- Franco, J.; Khiar, Y.; Randez, L. Two new embedded pairs of explicit Runge-Kutta methods adapted to the numerical solution of oscillatory problems. Appl. Math. Comput. 2014, 232, 416–423. [Google Scholar] [CrossRef]
- Anastassi, Z.; Kosti, A. A 6(4) optimized embedded Runge-Kutta Nyström pair for the numerical solution of periodic problems. J. Comput. Appl. Math. 2015, 275, 311–320. [Google Scholar] [CrossRef]
- Demba, M.A.; Senu, N.; Ismail, F. A 5(4) Embedded Pair of Explicit Trigonometrically-Fitted Runge–Kutta–Nyström Methods for the Numerical Solution of Oscillatory Initial Value Problems. Math. Comput. Appl. 2016, 21, 46. [Google Scholar] [CrossRef]
- Demba, M.A.; Senu, N.; Ismail, F. An Embedded 4(3) Pair of Explicit Trigonometrically-Fitted Runge-Kutta-Nyström Method for Solving Periodic Initial Value Problems. Appl. Math. Sci. 2017, 11, 819–838. [Google Scholar] [CrossRef][Green Version]
- Vyver, H.V. A 5(3) pair of explicit Runge-Kutta-Nyström methods for oscillatory problems. Math. Comput. Model. 2007, 45, 708–716. [Google Scholar] [CrossRef]
- Van der Houwen, P.; Sommeijer, B. Diagonaly implicit Runge-Kutta Nyström methods for oscillatory problems. SIAM J. Numer. Anal. 1989, 26, 414–429. [Google Scholar] [CrossRef]
- Franco, J. A 5(3) pair of explicit ARKN methods for the numerical integration of pertubed oscillators. J. Comput. Appl. Math. 2003, 161, 283–293. [Google Scholar] [CrossRef]
- Vyver, H.V. A Runge-Kutta-Nyström pair for the numerical integration of pertubed oscillators. Comput. Phys. Commun. 2005, 167, 129–142. [Google Scholar] [CrossRef]
- Demba, M.A. Trigonometrically-Fitted Explicit Runge-Kutta-Nyström Methods for Solving Special Second Order Order Differential Equations with Periodic Solutions. Master’s Thesis, Department of Mathematics, Faculty of Science, Serdang, Malaysia, 2016. [Google Scholar]
- Senu, N. Runge-Kutta Nyström Methods for Solving Oscillatory Problems. Ph.D. Thesis, Department of Mathematics, Faculty of Science, Serdang, Malaysia, 2009. [Google Scholar]
- Berghe, G.V.; de Meyer, H.; Marnix, V.D.; Tanja, V.H. Exponentially-fitted explicit Runge–Kutta methods. Comput. Phys. Commun. 1999, 123, 7–15. [Google Scholar] [CrossRef]
- Ramos, H.; Vigo-Aguiar, J. On the frequency choice in trigonometrically fitted methods. Appl. Math. Lett. 2010, 23, 1378–1381. [Google Scholar] [CrossRef]
- Vigo-Aguiar, J.; Ramos, H. On the choice of the frequency in trigonometrically-fitted methods for periodic problems. J. Comput. Appl. Math. 2015, 277, 94–105. [Google Scholar] [CrossRef]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).