arXiv subjects

Geir Bogfjellmo

Publications and source records attributed to Geir Bogfjellmo.

13 recordsLinked to original sources

arXiv2026

Finite element discretization of Yang--Mills connections

We propose a finite element method for Yang--Mills connections on nontrivial principal bundles with abelian structure group. Local connection forms satisfy internal jump conditions induced by the transition functions of the bundle. We discretize these forms in broken finite element exterior calculus spaces and enforce the jump conditions weakly by Lagrange multipliers. We prove well-posedness of the resulting saddle-point problem and derive an a priori convergence estimate. A numerical experiment for the Hopf fibration illustrates the method and exhibits linear convergence when the sphere is approximated by a piecewise linear mesh.

math.NA↗

arXiv2023

Using aromas to search for preserved measures and integrals in Kahan's method

The numerical method of Kahan applied to quadratic differential equations is known to often generate integrable maps in low dimensions and can in more general situations exhibit preserved measures and integrals. Computerized methods based on discrete Darboux polynomials have recently been used for finding these measures and integrals. However, if the differential system contains many parameters, this approach can lead to highly complex results that can be difficult to interpret and analyze. But this complexity can in some cases be substantially reduced by using aromatic series. These are a mathematical tool introduced independently by Chartier and Murua and by Iserles, Quispel and Tse. We develop an algorithm for this purpose and derive some necessary conditions for the Kahan map to have preserved measures and integrals expressible in terms of aromatic functions. An important reason for the success of this method lies in the equivariance of the map from vector fields to their aromatic funtions. We demonstrate the algorithm on a number of examples showing a great reduction in complexity compared to what had been obtained by a fixed basis such as monomials.

math.NA↗

arXiv2023

The Prytz connections

The Prytz planimeter is a simple mechanical device that historically was used to approximate areas of plane regions. In this article, we present a mathematical description and analysis of the planimeter in terms of sub-Riemannian geometry and in terms of connections and horizontal lifts -- central concepts in differential geometry.

math.DG↗

arXiv2019

Algebraic structure of aromatic B-series

Aromatic B-series are a generalization of B-series. Some of the operations defined for B-series can be defined analogically for aromatic B-series. This paper derives combinatorial formulas for the composition and substitution laws for aromatic B-series.

math.NA↗

arXiv2018

Collective Symplectic Integrators on $S_2^N \times T^*\mathbb{R}^M$

A novel symplectic integrator for Hamiltonian equations on $S_2^n \times T^{\ast} \RR^m$ is developed and studied. Partitioned Runge--Kutta methods for Hamiltonian systems on products of Hamiltionian manifolds are studied, specifically, algebraic conditions for their symplecticity are derived.

math.NA↗

arXiv2017

Overview of (pro-)Lie group structures on Hopf algebra character groups

Character groups of Hopf algebras appear in a variety of mathematical and physical contexts. To name just a few, they arise in non-commutative geometry, renormalisation of quantum field theory, and numerical analysis. In the present article we review recent results on the structure of character groups of Hopf algebras as infinite-dimensional (pro-)Lie groups. It turns out that under mild assumptions on the Hopf algebra or the target algebra the character groups possess strong structural properties. Moreover, these properties are of interest in applications of these groups outside of Lie theory. We emphasise this point in the context of two main examples: The Butcher group from numerical analysis and character groups which arise from the Connes--Kreimer theory of renormalisation of quantum field theories.

math.GR↗

arXiv2017

The geometry of characters of Hopf algebras

Character groups of Hopf algebras appear in a variety of mathematical contexts such as non-commutative geometry, renormalisation of quantum field theory, numerical analysis and the theory of regularity structures for stochastic partial differential equations. In these applications, several species of "series expansions" can then be described as characters from a Hopf algebra to a commutative algebra. Examples include ordinary Taylor series, B-series, Chen-Fliess series from control theory and rough paths. In this note we explain and review the constructions for Lie group and topological structures for character groups. The main novel result of the present article is a Lie group structure for characters of graded and not necessarily connected Hopf algebras (under the assumption that the degree zero subalgebra is finite-dimensional). Further, we establish regularity (in the sense of Milnor) for these Lie groups.

math.GR↗

arXiv2017

A Numerical Algorithm for C2-splines on Symmetric Spaces

Cubic spline interpolation on Euclidean space is a standard topic in numerical analysis, with countless applications in science and technology. In several emerging fields, for example computer vision and quantum control, there is a growing need for spline interpolation on curved, non-Euclidean space. The generalization of cubic splines to manifolds is not self-evident, with several distinct approaches. One possibility is to mimic the acceleration minimizing property, which leads to Riemannian cubics. This, however, require the solution of a coupled set of non-linear boundary value problems that cannot be integrated explicitly, even if formulae for geodesics are available. Another possibility is to mimic De~Casteljau's algorithm, which leads to generalized B\'ezier curves. To construct C2-splines from such curves is a complicated non-linear problem, until now lacking numerical methods. Here we provide an iterative algorithm for C2-splines on Riemannian symmetric spaces, and we prove convergence of linear order. In terms of numerical tractability and computational efficiency, the new method surpasses those based on Riemannian cubics. Each iteration is parallel, thus suitable for multi-core implementation. We demonstrate the algorithm for three geometries of interest: the $n$-sphere, complex projective space, and the real Grassmannian.

math.NA↗

arXiv2015

The tame Butcher group

The Butcher group is a powerful tool to analyse integration methods for ordinary differential equations, in particular Runge--Kutta methods. Recently, a natural Lie group structure has been constructed for this group. Unfortunately, the associated topology is too coarse for some applications in numerical analysis. In the present paper, we propose to remedy this problem by replacing the Butcher group with the subgroup of all exponentially bounded elements. This "tame Butcher group" turns out to be an infinite-dimensional Lie group with respect to a finer topology. As a first application we then show that the correspondence of elements in the tame Butcher group with their associated B-series induces certain Lie group (anti)morphisms.

math.GR↗

arXiv2015

Character groups of Hopf algebras as infinite-dimensional Lie groups

In this article character groups of Hopf algebras are studied from the perspective of infinite-dimensional Lie theory. For a graded and connected Hopf algebra we construct an infinite-dimensional Lie group structure on the character group with values in a locally convex algebra. This structure turns the character group into a Baker--Campbell--Hausdorff--Lie group which is regular in the sense of Milnor. Furthermore, we show that certain subgroups associated to Hopf ideals become closed Lie subgroups of the character group. If the Hopf algebra is not graded, its character group will in general not be a Lie group. However, we show that for any Hopf algebra the character group with values in a weakly complete algebra is a pro-Lie group in the sense of Hofmann and Morris.

math.GR↗

arXiv2014

The Lie group structure of the Butcher group

The Butcher group is a powerful tool to analyse integration methods for ordinary differential equations, in particular Runge--Kutta methods. In the present paper, we complement the algebraic treatment of the Butcher group with a natural infinite-dimensional Lie group structure. This structure turns the Butcher group into a real analytic Baker--Campbell--Hausdorff Lie group modelled on a Fr\'echet space. In addition, the Butcher group is a regular Lie group in the sense of Milnor and contains the subgroup of symplectic tree maps as a closed Lie subgroup. Finally, we also compute the Lie algebra of the Butcher group and discuss its relation to the Lie algebra associated to the Butcher group by Connes and Kreimer.

math.GR↗

arXiv2014

Rooted trees, non-rooted trees and hamiltonian B-series

We explore the relationship between (non-planar) rooted trees and free trees, i.e. without root. We give in particular, for non-rooted trees, a substitute for the Lie bracket given by the antisymmetrization of the pre-Lie product.

math.NA↗

arXiv2013

High order symplectic partitioned Lie group methods

In this article, a unified approach to obtain symplectic integrators on T*G from Lie group integrators on a Lie group G is presented. The approach is worked out in detail for symplectic integrators based on Runge--Kutta--Munthe-Kaas methods and Crouch--Grossman methods. These methods can be interpreted as symplectic partitioned Runge--Kutta methods extended to the Lie group setting in two different ways. In both cases, we show that it is possible to obtain symplectic integrators of arbitrarily high order by this approach.

math.NA↗