The free tracial post-Lie-Rinehart algebra of planar aromatic trees for the design of divergence-free Lie-group methods

TL;DR

This paper generalizes aromatic trees to manifolds, introducing planar aromatic trees that form the free tracial post-Lie-Rinehart algebra, enabling the design of divergence-free Lie-group integrators with high accuracy.

Contribution

It extends aromatic tree theory to manifolds, establishing planar aromatic trees as the free tracial post-Lie-Rinehart algebra and applying them to develop divergence-free Lie-group methods.

Findings

Planar aromatic trees span the free tracial post-Lie-Rinehart algebra.

New divergence-free Lie-group methods achieve high-order accuracy.

The approach preserves geometric divergence-free features in numerical integration.

Abstract

Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, prove that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.