# American Institute of Mathematical Sciences

March  2011, 3(1): 81-111. doi: 10.3934/jgm.2011.3.81

## A theoretical framework for backward error analysis on manifolds

 1 Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilberforce Rd, Cambridge, CB3 0WA, United Kingdom

Received  September 2010 Revised  March 2011 Published  April 2011

Backward Error Analysis (BEA) has been a crucial tool when analyzing long-time behavior of numerical integrators, in particular, one is interested in the geometric properties of the perturbed vector field that a numerical integrator generates. In this article we present a new framework for BEA on manifolds. We extend the previously known "exponentially close" estimates from $\mathbb{R}^n$ to smooth manifolds and also provide an abstract theory for classifications of numerical integrators in terms of their geometric properties. Classification theorems of type "symplectic integrators generate symplectic perturbed vector fields" are known to be true in $\mathbb{R}^n.$ We present a general theory for proving such theorems on manifolds by looking at the preservation of smooth $k$-forms on manifolds by the pull-back of a numerical integrator. This theory is related to classification theory of subgroups of diffeomorphisms. We also look at other subsets of diffeomorphisms that occur in the classification theory of numerical integrators. Typically these subsets are anti-fixed points of group homomorphisms.
Citation: Anders C. Hansen. A theoretical framework for backward error analysis on manifolds. Journal of Geometric Mechanics, 2011, 3 (1) : 81-111. doi: 10.3934/jgm.2011.3.81
##### References:
 [1] R. Abraham, J. E. Marsden and T. Ratiu, "Manifolds, Tensor Analysis, and Applications," volume 75 of "Applied Mathematical Sciences,", Springer-Verlag, (1988). [2] V. I. Arnold, "Mathematical Methods of Classical Mechanics," volume 60 of "Graduate Texts in Mathematics,", Springer-Verlag, (1989). [3] G. Benettin and A. Giorgilli, On the Hamiltonian interpolation of near-to-the-identity symplectic mappings with application to symplectic integration algorithms,, J. Statist. Phys., 74 (1994), 1117. doi: 10.1007/BF02188219. [4] M. P. Calvo, A. Murua and J. M. Sanz-Serna, Modified equations for ODEs,, In, 172 (1993), 63. [5] E. Cartan, Les groupes de transformations continus, infinis, simples,, Ann. Sci. École Norm. Sup. (3), 26 (1909), 93. [6] D. G. Ebin and J. Marsden, Groups of diffeomorphisms and the notion of an incompressible fluid,, Ann. of Math. (2), 92 (1970), 102. doi: 10.2307/1970699. [7] O. Gonzalez, D. J. Higham and A. M. Stuart, Qualitative properties of modified equations,, IMA J. Numer. Anal., 19 (1999), 169. doi: 10.1093/imanum/19.2.169. [8] E. Hairer, Global modified Hamiltonian for constrained symplectic integrators,, Numer. Math., 95 (2003), 325. doi: 10.1007/s00211-002-0428-7. [9] E. Hairer and C. Lubich, The life-span of backward error analysis for numerical integrators,, Numer. Math., 76 (1997), 441. doi: 10.1007/s002110050271. [10] E. Hairer, C. Lubich and G. Wanner, "Geometric Numerical Integration," volume 31 of "Springer Series in Computational Mathematics,", Springer Series in Computational Mathematics, 31 (2002). [11] E. Hairer, S. P. Nørsett and G. Wanner, "Solving Ordinary Differential Equations. I," volume 8 of "Springer Series in Computational Mathematics,", Springer Series in Computational Mathematics, 8 (1993). [12] A. Iserles, H. Z. Munthe-Kaas, S. P. Nørsett and A. Zanna, Lie-group methods,, Acta Numerica, 2000, 9 (2000), 215. [13] J. M. Lee, "Introduction to Smooth Manifolds," volume 218 of "Graduate Texts in Mathematics,", Graduate Texts in Mathematics, 218 (2003). [14] R. I. McLachlan and G. R. W. Quispel, Splitting methods,, Acta Numer., 11 (2002), 341. doi: 10.1017/S0962492902000053. [15] H. Omori, "Infinite-dimensional Lie Groups," volume 158 of "Translations of Mathematical Monographs,", Translations of Mathematical Monographs, 158 (1997). [16] R. S. Palais, "Foundations of Global Non-linear Analysis,", Foundations of Global Non-linear Analysis, (1968). [17] S. Reich, "Numerical Integration of the Generatized Euler Equations,", Technical report, (1993). [18] S. Reich, On higher-order semi-explicit symplectic partitioned Runge-Kutta methods for constrained Hamiltonian systems,, Numer. Math., 76 (1997), 231. doi: 10.1007/s002110050261. [19] S. Reich, Backward error analysis for numerical integrators,, SIAM J. Numer. Anal., 36 (1999), 1549. doi: 10.1137/S0036142997329797. [20] R. Schmid, Infinite-dimensional Lie groups with applications to mathematical physics,, J. Geom. Symmetry Phys., 1 (2004), 54.

show all references

##### References:
 [1] R. Abraham, J. E. Marsden and T. Ratiu, "Manifolds, Tensor Analysis, and Applications," volume 75 of "Applied Mathematical Sciences,", Springer-Verlag, (1988). [2] V. I. Arnold, "Mathematical Methods of Classical Mechanics," volume 60 of "Graduate Texts in Mathematics,", Springer-Verlag, (1989). [3] G. Benettin and A. Giorgilli, On the Hamiltonian interpolation of near-to-the-identity symplectic mappings with application to symplectic integration algorithms,, J. Statist. Phys., 74 (1994), 1117. doi: 10.1007/BF02188219. [4] M. P. Calvo, A. Murua and J. M. Sanz-Serna, Modified equations for ODEs,, In, 172 (1993), 63. [5] E. Cartan, Les groupes de transformations continus, infinis, simples,, Ann. Sci. École Norm. Sup. (3), 26 (1909), 93. [6] D. G. Ebin and J. Marsden, Groups of diffeomorphisms and the notion of an incompressible fluid,, Ann. of Math. (2), 92 (1970), 102. doi: 10.2307/1970699. [7] O. Gonzalez, D. J. Higham and A. M. Stuart, Qualitative properties of modified equations,, IMA J. Numer. Anal., 19 (1999), 169. doi: 10.1093/imanum/19.2.169. [8] E. Hairer, Global modified Hamiltonian for constrained symplectic integrators,, Numer. Math., 95 (2003), 325. doi: 10.1007/s00211-002-0428-7. [9] E. Hairer and C. Lubich, The life-span of backward error analysis for numerical integrators,, Numer. Math., 76 (1997), 441. doi: 10.1007/s002110050271. [10] E. Hairer, C. Lubich and G. Wanner, "Geometric Numerical Integration," volume 31 of "Springer Series in Computational Mathematics,", Springer Series in Computational Mathematics, 31 (2002). [11] E. Hairer, S. P. Nørsett and G. Wanner, "Solving Ordinary Differential Equations. I," volume 8 of "Springer Series in Computational Mathematics,", Springer Series in Computational Mathematics, 8 (1993). [12] A. Iserles, H. Z. Munthe-Kaas, S. P. Nørsett and A. Zanna, Lie-group methods,, Acta Numerica, 2000, 9 (2000), 215. [13] J. M. Lee, "Introduction to Smooth Manifolds," volume 218 of "Graduate Texts in Mathematics,", Graduate Texts in Mathematics, 218 (2003). [14] R. I. McLachlan and G. R. W. Quispel, Splitting methods,, Acta Numer., 11 (2002), 341. doi: 10.1017/S0962492902000053. [15] H. Omori, "Infinite-dimensional Lie Groups," volume 158 of "Translations of Mathematical Monographs,", Translations of Mathematical Monographs, 158 (1997). [16] R. S. Palais, "Foundations of Global Non-linear Analysis,", Foundations of Global Non-linear Analysis, (1968). [17] S. Reich, "Numerical Integration of the Generatized Euler Equations,", Technical report, (1993). [18] S. Reich, On higher-order semi-explicit symplectic partitioned Runge-Kutta methods for constrained Hamiltonian systems,, Numer. Math., 76 (1997), 231. doi: 10.1007/s002110050261. [19] S. Reich, Backward error analysis for numerical integrators,, SIAM J. Numer. Anal., 36 (1999), 1549. doi: 10.1137/S0036142997329797. [20] R. Schmid, Infinite-dimensional Lie groups with applications to mathematical physics,, J. Geom. Symmetry Phys., 1 (2004), 54.
 [1] Eleonora Bardelli, Andrea Carlo Giuseppe Mennucci. Probability measures on infinite-dimensional Stiefel manifolds. Journal of Geometric Mechanics, 2017, 9 (3) : 291-316. doi: 10.3934/jgm.2017012 [2] Elena Celledoni, Markus Eslitzbichler, Alexander Schmeding. Shape analysis on Lie groups with applications in computer animation. Journal of Geometric Mechanics, 2016, 8 (3) : 273-304. doi: 10.3934/jgm.2016008 [3] Xin Chen, Ana Bela Cruzeiro. Stochastic geodesics and forward-backward stochastic differential equations on Lie groups. Conference Publications, 2013, 2013 (special) : 115-121. doi: 10.3934/proc.2013.2013.115 [4] Qing Xu. Backward stochastic Schrödinger and infinite-dimensional Hamiltonian equations. Discrete & Continuous Dynamical Systems - A, 2015, 35 (11) : 5379-5412. doi: 10.3934/dcds.2015.35.5379 [5] André Caldas, Mauro Patrão. Entropy of endomorphisms of Lie groups. Discrete & Continuous Dynamical Systems - A, 2013, 33 (4) : 1351-1363. doi: 10.3934/dcds.2013.33.1351 [6] Gerard Thompson. Invariant metrics on Lie groups. Journal of Geometric Mechanics, 2015, 7 (4) : 517-526. doi: 10.3934/jgm.2015.7.517 [7] Dennis I. Barrett, Rory Biggs, Claudiu C. Remsing, Olga Rossi. Invariant nonholonomic Riemannian structures on three-dimensional Lie groups. Journal of Geometric Mechanics, 2016, 8 (2) : 139-167. doi: 10.3934/jgm.2016001 [8] Jan J. Dijkstra and Jan van Mill. Homeomorphism groups of manifolds and Erdos space. Electronic Research Announcements, 2004, 10: 29-38. [9] Velimir Jurdjevic. Affine-quadratic problems on Lie groups. Mathematical Control & Related Fields, 2013, 3 (3) : 347-374. doi: 10.3934/mcrf.2013.3.347 [10] M. F. Newman and Michael Vaughan-Lee. Some Lie rings associated with Burnside groups. Electronic Research Announcements, 1998, 4: 1-3. [11] Firas Hindeleh, Gerard Thompson. Killing's equations for invariant metrics on Lie groups. Journal of Geometric Mechanics, 2011, 3 (3) : 323-335. doi: 10.3934/jgm.2011.3.323 [12] Gregory S. Chirikjian. Information-theoretic inequalities on unimodular Lie groups. Journal of Geometric Mechanics, 2010, 2 (2) : 119-158. doi: 10.3934/jgm.2010.2.119 [13] Adriano Da Silva, Alexandre J. Santana, Simão N. Stelmastchuk. Topological conjugacy of linear systems on Lie groups. Discrete & Continuous Dynamical Systems - A, 2017, 37 (6) : 3411-3421. doi: 10.3934/dcds.2017144 [14] Robert L. Griess Jr., Ching Hung Lam. Groups of Lie type, vertex algebras, and modular moonshine. Electronic Research Announcements, 2014, 21: 167-176. doi: 10.3934/era.2014.21.167 [15] Nikolaos Karaliolios. Differentiable Rigidity for quasiperiodic cocycles in compact Lie groups. Journal of Modern Dynamics, 2017, 11: 125-142. doi: 10.3934/jmd.2017006 [16] Benjamin Couéraud, François Gay-Balmaz. Variational discretization of thermodynamical simple systems on Lie groups. Discrete & Continuous Dynamical Systems - S, 2018, 0 (0) : 1-28. doi: 10.3934/dcdss.2020064 [17] Pascal Hubert, Gabriela Schmithüsen. Infinite translation surfaces with infinitely generated Veech groups. Journal of Modern Dynamics, 2010, 4 (4) : 715-732. doi: 10.3934/jmd.2010.4.715 [18] Rafael de la Llave, A. Windsor. Smooth dependence on parameters of solutions to cohomology equations over Anosov systems with applications to cohomology equations on diffeomorphism groups. Discrete & Continuous Dynamical Systems - A, 2011, 29 (3) : 1141-1154. doi: 10.3934/dcds.2011.29.1141 [19] Luca Capogna. Optimal regularity for quasilinear equations in stratified nilpotent Lie groups and applications. Electronic Research Announcements, 1996, 2: 60-68. [20] Anahita Eslami Rad, Enrique G. Reyes. The Kadomtsev-Petviashvili hierarchy and the Mulase factorization of formal Lie groups. Journal of Geometric Mechanics, 2013, 5 (3) : 345-364. doi: 10.3934/jgm.2013.5.345

2017 Impact Factor: 0.561

## Metrics

• PDF downloads (10)
• HTML views (0)
• Cited by (1)

## Other articlesby authors

• on AIMS
• on Google Scholar

[Back to Top]