Faà di Bruno Hopf Algebras, Dyson–Schwinger Equations, and Lie–Butcher Series

Full-Text PDF (522 KB) | Book articles | Book details

pp: 219–263

DOI: 10.4171/143-1/5

On algebraic structures of numerical integration on vector spaces and manifolds

Alexander Lundervold[1] and Hans Z. Munthe-Kaas[2]

(1) Department of Computing, Mathematics and Physics, Bergen University College, Postbox 7030, 5020, BERGEN, NORWAY
(2) Department of Mathematics, University of Bergen, Postbox 7800, 5020, BERGEN, NORWAY

Numerical analysis of time-integration algorithms has applied advanced algebraic techniques for more than fourty years. An explicit description of the group of characters in the Butcher–Connes–Kreimer Hopf algebra first appeared in Butcher’s work on composition of integration methods in 1972. In more recent years, the analysis of structure preserving algorithms, geometric integration techniques and integration algorithms on manifolds have motivated the incorporation of other algebraic structures in numerical analysis. In this paper we will survey algebraic structures that have found applications within these areas. This includes pre-Lie structures for the geometry of flat and torsion free connections appearing in the analysis of numerical flows on vector spaces. The much more recent post-Lie and D-algebras appear in the analysis of flows on manifolds with flat connections with constant torsion. Dynkin and Eulerian idempotents appear in the analysis of non-autonomous flows and in backward error analysis. Non-commutative Bell polynomials and a non-commutative Faà di Bruno Hopf algebra are other examples of structures appearing naturally in the numerical analysis of integration on manifolds.

Keywords: Geometric numerical integration, Butcher series, Lie{Butcher series, combinatorial Hopf algebras