Abstract
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of highly oscillatory systems. For first-order systems we give explicitly the form of the averaged systems with \(\mathcal{O}(\epsilon^{j})\) errors, j=1,2,3 (2π ε denotes the period of the fast oscillations). For second-order systems with large \(\mathcal{O}(\epsilon^{-1})\) forces, we give the explicit form of the averaged systems with \(\mathcal{O}(\epsilon^{j})\) errors, j=1,2. A variant of the Fermi–Pasta–Ulam model and the inverted Kapitsa pendulum are used as illustrations. For the former it is shown that our approach establishes the adiabatic invariance of the oscillatory energy. Finally we use B-series to analyze multiscale numerical integrators that implement the method of averaging. We construct integrators that are able to approximate not only the simplest, lowest-order averaged equation but also its high-order counterparts.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
G. Ariel, B. Engquist, R. Tsai, A multiscale method for highly oscillatory ordinary differential equations with resonance, Math. Comput. 78, 929–956 (2009).
V.I. Arnold, Geometrical Methods in the Theory of Ordinary Differential Equations, 2nd edn. (Springer, New York, 1988).
V.I. Arnold, Mathematical Methods of Classical Mechanics, 2nd edn. (Springer, New York, 1989).
M.P. Calvo, J.M. Sanz-Serna, Canonical B-series, Numer. Math. 67, 161–175 (1994).
M.P. Calvo, J.M. Sanz-Serna, Instabilities and inaccuracies in the integration of highly oscillatory problems, SIAM J. Sci. Comput. 31, 1653–1677 (2009).
M.P. Calvo, J.M. Sanz-Serna, Carrying an inverted pendulum on a bumpy road, DCDS B (to appear).
M.P. Calvo, J.M. Sanz-Serna, Heterogeneous multiscale methods for mechanical systems with vibrations (submitted).
M.P. Calvo, Ph. Chartier, A. Murua, J.M. Sanz-Serna, A stroboscopic numerical method for highly oscillatory problems (submitted).
P. Chartier, E. Hairer, G. Vilmart, Algebraic structures of B-series, Found. Comput. Math. (to appear).
W. E, Analysis of the heterogeneous multiscale method for ordinary differential equations, Commun. Math. Sci. 1, 423–436 (2003).
W. E, B. Engquist, The heterogeneous multiscale methods, Commun. Math. Sci. 1, 87–132 (2003).
W. E, B. Engquist, X. Li, W. Ren, E. Vanden-Eijnden, Heterogeneous multiscale methods: a review, Commun. Comput. Phys. 2, 367–450 (2007).
B. Engquist, R. Tsai, Heterogeneous multiscale methods for stiff ordinary differential equations, Math. Comput. 74, 1707–1742 (2005).
R.P. Fedorenko, Derivation and justification of equations in slow time (the stroboscopic method), Comput. Math. Math. Phys. 14, 81–118 (1974).
E. Hairer, Backward error analysis of numerical integrators and symplectic methods, Ann. Numer. Math. 1, 107–132 (1994).
E. Hairer, Ch. Lubich, Long-time energy conservation of numerical methods for oscillatory differential equations, SIAM J. Numer. Anal. 38, 414–441 (2000).
E. Hairer, G. Wanner, On the Butcher group and general multi-value methods, Computing 13, 287–303 (1974).
E. Hairer, S.P. Nørsett, G. Wanner, Solving Ordinary Differential Equations I, Nonstiff Problems, 2nd edn. (Springer, Berlin, 1993).
E. Hairer, Ch. Lubich, G. Wanner, Geometric Numerical Integration, 2nd edn. (Springer, Berlin, 2006).
A. Iserles, On the global error of discretization methods for highly-oscillatory ordinary differential equations, BIT Numer. Math. 42, 561–599 (2002).
P.L. Kapitsa, Dynamical stability of a pendulum when its point of suspension vibrates, in Collected Papers, vol. II, ed. by P.L. Kapitsa (Pergamon, Oxford, 1965), pp. 714–725.
H.-O. Kreiss, J. Lorenz, Manifolds of slow solutions for highly oscillatory problems, Indiana Univ. Math. J. 42, 1169–1191 (1993).
M. Levi, Geometry and physics of averaging with applications, Physica D 132, 150–164 (1999).
J. Li, P.G. Kevrekidis, C.W. Gear, I.G. Kevrekidis, Deciding the nature of the coarse equation through microscopic simulations: the baby-bathwater scheme, SIAM Rev. 49, 469–487 (2007).
A. Murua, Formal series and numerical integrators. Part I: systems of ODEs and symplectic integrators, Appl. Numer. Math. 29, 221–251 (1999).
L.M. Perko, Higher order averaging and related methods for perturbed periodic and quasi-periodic systems, SIAM J. Appl. Math. 17, 698–724 (1968).
J.A. Sanders, F. Verhulst, J. Murdock, Averaging Methods in Nonlinear Dynamical Systems, 2nd edn. (Springer, New York, 2007).
J.M. Sanz-Serna, Stabilizing with a hammer, Stoch. Dyn. 8, 45–57 (2008).
J.M. Sanz-Serna, Modulated Fourier expansions and heterogeneous multiscale methods, IMA J. Numer. Anal. 29, 595–605 (2009).
J.M. Sanz-Serna, M.P. Calvo, Numerical Hamiltonian Problems (Chapman and Hall, London, 1994).
R. Sharp, Y.-H. Tsai, B. Engquist, Multiple time scale numerical methods for the inverted pendulum problem, in Multiscale Methods in Science and Engineering, ed. by B. Engquist, P. Lötsdedt, O. Runborg. Lect. Notes Comput. Sci. Eng., vol. 44 (Springer, Berlin, 2005), pp. 241–261.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Arieh Iserles.
Dedicated to Ernst Hairer on his 60th birthday.
Rights and permissions
About this article
Cite this article
Chartier, P., Murua, A. & Sanz-Serna, J.M. Higher-Order Averaging, Formal Series and Numerical Integration I: B-series. Found Comput Math 10, 695–727 (2010). https://doi.org/10.1007/s10208-010-9074-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-010-9074-0
Keywords
- Averaging
- High-order stroboscopic averaging
- Highly oscillatory problems
- Hamiltonian problems
- Multiscale numerical methods
- Numerical integrators
- Formal series
- B-series
- Trees
- Fermi–Pasta–Ulam problem
- Adiabatic invariants
- Inverted Kapitsa’s pendulum