Aromatic Butcher Series

Abstract

We show that without other further assumption than affine equivariance and locality, a numerical integrator has an expansion in a generalized form of Butcher series (B-series) which we call aromatic B-series. We obtain an explicit description of aromatic B-series in terms of elementary differentials associated to aromatic trees, which are directed graphs generalizing trees. We also define a new class of integrators, the class of aromatic Runge-Kutta methods, that extends the class of Runge-Kutta methods, and have aromatic B-series expansion but are not B-series methods. Finally, those results are partially extended to the case of more general affine group equivariance.

References in corpus (1)

• Time-Periodic Solutions of the Burgers Equation

Cited by in corpus (18)

• On the Lie enveloping algebra of a post-Lie algebra
• B-series methods are exactly the affine equivariant methods
• Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds
• Exotic aromatic B-series for the study of long time integrators for a class of ergodic SDEs
• The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators
• Integrators on homogeneous spaces: Isotropy choice and connections
• Functional equivariance and conservation laws in numerical integration
• The Lie derivative and Noether's theorem on the aromatic bicomplex for the study of volume-preserving numerical integrators
• The universal equivariance properties of exotic aromatic B-series
• Multi-indice B-series
• Multi-indices coproducts from ODEs to singular SPDEs
• Hopf algebra structures for the backward error analysis of ergodic stochastic differential equations
• Functional equivariance and modified vector fields
• Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration
• Volume preservation of Butcher series methods from the operad viewpoint
• Pseudo-Energy-Preserving Explicit Runge-Kutta Methods
• B-series for SDEs with application to exponential integrators for non-autonomous semi-linear problems
• Curved Schemes for SDEs on Manifolds