Abstract
In the last few decades, Runge-Kutta-Nyström (RKN) methods have made significant progress and the study of RKN-type methods for solving highly oscillatory differential equations has received a great deal of attention. In this paper, from the point of view of geometric integration, the oscillation-preserving behaviour of the existing RKN-type methods in the literature are analysed in detail. To this end, it is convenient to introduce the concept of oscillation preservation for RKN-type methods. It turns out that if both the internal stages and the updates of an RKN-type method respect the qualitative and global features of the highly oscillatory solution, then the method is oscillation preserving. Since the internal stages of standard RKN and adapted RKN (ARKN) methods are inimical to the oscillation-preserving structure, neither ARKN methods nor the symplectic and symmetric RKN methods, and standard RKN methods are oscillation preserving. Other concerns relating to oscillation preservation are also considered. In particular, we are concerned with the computational issues for efficiently solving semi-discrete wave equations such as semi-discrete Klein-Gordon (KG) equations and damped sine-Gordon equations. The results of numerical experiments show the importance of the oscillation-preserving property for an RKN-type method and the remarkable superiority of oscillation-preserving integrators when applied to nonlinear multi-frequency highly oscillatory systems.
Similar content being viewed by others
References
Bao, W.Z., Dong, X.C.: Analysis and comparison of numerical methods for the Klein–Gordon equation in the nonrelativistic limit regime. Numer. Math. 120, 189–229 (2012)
Baker, T.S., Dormand, J.R., Gilmore, J.P., Prince, P.J.: Continuous approximation with embedded Runge-Kutta methods. Appl. Numer. Math. 22, 51–62 (1996)
Brugnano, L., Montijano, J.I., Rández, L.: On the effectiveness of spectral methods for the numerical solution of multi-frequency highly oscillatory Hamiltonian problems. Numer. Algor. 81, 345–376 (2019). https://doi.org/10.1007/s11075-018-0552-9
Celledoni, E., McLachlan, R.I., Owren, B., Quispel, G.R.W.: Energy-preserving integrators and the structure of B-series. Found. Comput. Math. 10, 673–693 (2010)
Cohen, D., Jahnke, T., Lorenz, K., Lubich, C.H.: Numerical integrators for highly oscillatory Hamiltonian systems: a review. In: Mielke, A. (ed.) Analysis, modeling and simulation of multiscale problems, pp. 553–576. Springer, Berlin (2006)
Drazin, P.J., Johnson, R.S.: Solitons: An Introduction. Cambridge University Press, Cambridge (1989)
Deuflhard, P.: A study of extrapolation methods based on multistep schemes without parasitic solutions, Z. angew. Math. Phys. 30, 177–189 (1979)
Feng, K., Qin, M.: Symplectic geometric algorithms for hamiltonian systems. Springer, Berlin (2010)
Filon, L.N.G.: On a quadrature formula for trigonometric integrals. Proc. Royal Soc. Edinburgh 49, 38–47 (1928)
Franco, J.M.: Runge–Kutta–Nyström methods adapted to the numerical integration of perturbed oscillators. Comput. Phys. Commun. 147, 770–787 (2002)
Franco, J.M.: New methods for oscillatory systems based on ARKN methods. Appl. Numer. Math. 56, 1040–1053 (2006)
GarcÍa-Archillay, B., Sanz-Serna, J.M., Skeel, R.D.: Long-time-step methods for oscillatory differential equations. SIAM J. Sci. Comput. 20, 930–963 (1998)
Gautschi, W.: Numerical integration of ordinary differential equations based on trigonometric polynomials. Numer. Math. 3, 381–397 (1961)
González, A.B., Martín, P., Farto, J.M.: A new family of Runge–Kutta type methods for the numerical integration of perturbed oscillators. Numer. Math. 82, 635–646 (1999)
Grimm, V.: On error bounds for the Gautschi-type exponential integrator applied to oscillatory second-order differential equations. Numer. Math. 100, 71–89 (2005)
Grimm, V., Hochbruck, M.: Error analysis of exponential integrators for oscillatory second-order differential equations. J. Phys. A 39 (2006)
Grubmüller, H., Heller, H., Windemuth, A., Schulten, K.: Generalized Verlet algorithm for efficient molecular dynamics simulations with long-range interactions. Mol. Simul. 6, 121–142 (1991)
Hairer, E.: Energy-preserving variant of collocation methods. J.AIAM J. Numer. Anal. Ind. Appl. Math. 5, 73–84 (2010)
Hairer, E., Lubich, C.: Long-time energy conservation of numerical methods for oscillatory differential equations. SIAM J. Numer. Anal. 38, 414–441 (2000)
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations, 2nd edn. Springer-Verlag, Berlin (2006)
Hairer, E., Nørsett, S.P., Wanner, G.: Solving Ordinary Differential Equations I: Nonstiff Problems. Springer-Verlag, Berlin (1993)
Hersch, J.: Contribution à la méthode des équations aux différences. ZAMP 9a, 129–180 (1958)
Hochbruck, M., Lubich, Ch.: A Gautschi-type method for oscillatory second-order differential equations. Numer. Math. 83, 403–426 (1999)
Hochbruck, M., Ostermann, A.: Exponential integrators. Acta Numer. 19, 209–286 (2010)
Van der Houwen, P.J., Sommeijer, B.P.: Explicit Runge–Kutta (–Nyström) methods with reduced phase errors for computing oscillating solution. SIAM J. Numer. Anal. 24, 595–617 (1987)
Iserles, A.: A first course in the numerical analysis of differential equations, 2nd edn. Cambridge University Press, Cambridge (2008)
Iserles, A., Levin, D.: Asymptotic expansion and quadrature of composite highly oscillatory integrals. Math. Comput. 80, 279–296 (2011)
Kovacic, I., Brennan, M.J.: The duffing equation: nonlinear oscillators. Wiley (2011)
Li, J., Shi, W., Wu, X.: The existence of explicit symplectic ARKN methods with several stages and algebraic order greater than two. J. Comput. Appl. Math. 353, 204–209 (2019)
Li, J., Wu, X.: Energy-preserving continuous stage extended Runge-Kutta-Nyström methods for oscillatory Hamiltonian systems. Appli. Numer. Math. 145, 469–487 (2019). https://doi.org/10.1016/j.apnum.2019.05.009
Li, Y. W., Wu, X.: Functionally fitted energy-preserving methods for solving oscillatory nonlinear Hamiltonian systems. SIAM J. Numer. Anal. 54, 2036–2059 (2016)
Li, Y.W., Wu, X.: Exponential integrators preserving first integrals or Lyapunov functions for conservative or dissipative systems. SIAM J. Sci. Comput. 38, 1876–1895 (2016)
Liu, C., Iserles, A., Wu, X.: Symmetric and arbitrarily high-order Brikhoff-Hermite time integrators and their long-time behavior for solving nonlinear Klein-Gordon equations. J. Comput. Phys. 356, 1–30 (2018)
Liu, K, Shi, W., Wu, X.: An extended discrete gradient formula for oscillatory Hamiltonian systems. J. Phys. A: Math. Theor. 46, 165203 (1–19) (2013)
Liu, K., Wu, X., Shi, W.: Extended phase properties and stability analysis of RKN-type integrators for solving general oscillatory second-order initial value problems. Numer. Algo. 77, 37–56 (2018)
Liu, C., Wu, X.: Arbitrarily high-order time-stepping schemes based on the operator spectrum theory for high-dimensional nonlinear Klein–Gordon equations. J. Comput. Phys. 340, 243–275 (2017)
Liu, C., Wu, X.: The boundness of the operator-valued functions for multidimensional nonlinear wave equations with applications. Appl. Math. Lett. 74, 60–67 (2017)
Lorenz, K., Jahnke, T., Lubich, C.: Adiabatic integrators for highly oscillatory second-order linear differential equations with time-varying eigendecomposition. BIT 45, 9–115 (2005)
McLachlan, R.I., Quispel, G.R.W., Robidoux, N.: Geometric integration using discrete gradients. Philos. Trans. R. Soc. A 357, 1021–1046 (1999)
McLachlan, R.I., Quispel, G.R.W., Tse, P.S.P.: Linearization-preserving selfadjoint and symplectic integrators. BIT Numer. Math. 49, 177–197 (2009)
Mei, L., Liu, C., Wu, X.: An essential extension of the finite-energy condition for extended Runge–Kutta–Nyström integrators when applied to nonlinear wave equations. Commun. Comput. Phys. 22, 742–764 (2017)
Mei, L., Wu, X.: The construction of arbitrary order ERKN methods based on group theory for solving oscillatory Hamiltonian systems with applications. J. Comput. Phys. 323, 171–190 (2016)
Nyström, E.J.: Ueber die numerische Integration von Differentialgleichungen. Acta. Soc. Sci. Fenn. 50, 1–54 (1925)
Owren, B., Zennaro, M.: Order barriers for continuous explicit Runge-Kutta methods. Math. Comput. 56, 645–661 (1991)
Owren, B., Zennaro, M.: Derivation of efficient, continuous, explicit Runge-Kutta methods. SIAM J. Sci. Stat. Comput. 13, 1488–1501 (1992)
Papakostas, S.N., Tsitouras, C.: Highly continuous interpolants for one-step ODE solvers and their application to Runge–Kutta methods. SIAM J. Numer. Analy. 34, 22–47 (1997)
Petzold, L.R., Jay, L.O., Yen, J.: Numerical solution of highly oscillatory ordinary differential equations. Acta Numerica 7, 437–483 (1997)
Quispel, G.R.W., McLaren, D.I.: A new class of energy-preserving numerical integration methods. J. Phys. A, Math. Theor. 41, 045206, 1–7 (2008)
Sanz-Serna, J.M.: Symplectic integrators for Hamiltonian problems: an overview. Acta Numer. 1, 243–286 (1992)
Schiesser, W.E., Griffiths, G.W.: A Compendium of Partial Differential Equation Models: Method of Lines Analysis with Matlab. Cambridge University Press, Cambridge (2009)
Shi, W., Wu, X.: A note on symplectic and symmetric ARKN methods. Comput. Phys. Comm. 184, 2408–2411 (2013)
Shi, W., Wu, X.: Explicit Gautschi-type integrators for nonlinear multi-frequency oscillatory second-order initial value problems. Numer. Algo. 81, 1275–1294 (2019)
Tocino, A., Vigo-Aguiar, J.: Symplectic conditions for exponential fitting Runge-Kutta-Nyström methods. Math. Comput. Model. 42, 873–876 (2005)
Verner, J.H., Zennaro, M.: The orders of embedded continuous explicit Runge-Kutta methods. BIT 35, 406–416 (1995)
Wang, B., Iserles, A., Wu, X.: Arbitrary–order trigonometric Fourier collocation methods for multi-frequency oscillatory systems. Found. Comput. Math. 16, 151–181 (2016)
Wang, B., Meng, F., Fang, Y.: Efficient implementation of RKN-type Fourier collocation methods for second-order differential equations. Appl. Numer. Math. 119, 164–178 (2017)
Wang, B., Wu, X.: A new high precision energy-preserving integrator for system of oscillatory second-order differential equations. Phys. Lett. A. 376, 1185–1190 (2013)
Wang, B., Wu, X.: The formulation and analysis of energy-preserving schemes for solving high-dimensional nonlinear Klein–Gordon equations. IMA J. Numer. Anal. 39, 2016–2044 (2019)
Wang, B., Wu, X.: Global error bounds of one-stage extended RKN integrators for semilinear wave equations. Numer. Algo. 81, 1203–1218 (2019)
Wang, B., Wu, X.: Long-time momentum and actions behaviour of energy-preserving methods for semi-linear wave equations via spatial spectral semi-discretisations. Adv. Comput. Math. 45, 2921–2952 (2019)
Wang, B., Yang, H., Meng, F.: Sixth order symplectic and symmetric explicit ERKN schemes for solving multi-frequency oscillatory nonlinear Hamiltonian equations. Calcolo 54, 117–140 (2017)
Wright, K.: Some relationships between implicit Runge-Kutta, collocation and Lanczos τ methods, and their stability properties. BIT 10, 217–227 (1970)
Wu, X., Liu, C.: An integral formula adapted to different boundary conditions for arbitrarily high-dimensional nonlinear Klein-Gordon equations with its applications. J. Math, Phys. 57, 021504 (2016)
Wu, X., Liu, K., Shi, W.: Structure-Preserving Algorithms for Oscillatory Differential Equations II. Springer-Verlag, Heidelberg (2015)
Wu, X., Wang, B.: Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations, Springer Nature Singapore Pte Ltd (2018)
Wu, X., Wang, B.: Multidimensional adapted Runge-Kutta-Nyström methods for oscillatory systems. Comput. Phys. Commmun. 181, 1955–1962 (2010)
Wu, X., Wang, B., Shi, W.: Efficient energy-preserving integrators for oscillatory Hamiltonian systems. J. Comput. Phys. 235, 587–605 (2013)
Wu, X., Wang, B., Xia, J.: Explicit symplectic multidimensional exponential fitting modified Runge-Kutta-Nyström methods. BIT 52, 773–795 (2012)
Wu, X., You, X., Shi, W., Wang, B.: ERKN integrators for systems of oscillatory second-order differential equations. Comput. Phys. Commun. 181, 1873–1887 (2010)
Wu, X., You, X., Wang, B.: Structure-Preserving Algorithms for Oscillatory Differential Equations. Springer-Verlag, Berlin (2013)
Wu, X., You, X., Li, J.: Note on derivation of order conditions for ARKN methods for perturbed oscillators. J. Comput. Appl. Math. 225, 347–355 (2008)
Wu, X., You, X., Xia, J.: Order conditions for ARKN methods solving oscillatory systems. Comput. Phys. Commun. 180, 2250–2257 (2009)
Yang, H., Zeng, X., Wu, X., Ru, Z.: A simplified Nyström-tree theory for extended Runge-Kutta-Nyström integrators solving multi-frequency oscillatory systems. Comput. Phys. Commun. 185, 2841–2850 (2014)
You, X., Zhao, J., Yang, H., Fang, Y., Wu, X.: Order conditions for RKN methods solving general second-order oscillatory systems. Numer. Algor. 66, 147–176 (2014)
Zeng, X., Yang, H., Wu, X.: An improved tri-colored rooted-tree theory and order conditions for ERKN methods for general multi-frequency oscillatory systems. Numer Algor. 75, 909–935 (2017)
Acknowledgments
We are grateful to Professor Christian Lubich for his careful reading and helpful comments on this manuscript. This work was done in part in Tübingen when the first author visited to UNIVERSITÄT TÜBINGEN in 2108.
Funding
The research is supported in part by the National Natural Science Foundation of China under Grants 11671200, 11401333, 11801377 and by Natural Science Foundation of Shandong Province under Grant ZR2014AQ003.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Wu, X., Wang, B. & Mei, L. Oscillation-preserving algorithms for efficiently solving highly oscillatory second-order ODEs. Numer Algor 86, 693–727 (2021). https://doi.org/10.1007/s11075-020-00908-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-020-00908-7
Keywords
- Highly oscillatory second-order ODEs
- Oscillation-preserving algorithms
- ERKN integrators
- TCF methods
- RKN-type methods
- AVF methods