-
The bifurcation structure within robust chaos for two-dimensional piecewise-linear maps
Authors:
Indranil Ghosh,
Robert I. McLachlan,
David J. W. Simpson
Abstract:
We study two-dimensional, two-piece, piecewise-linear maps having two saddle fixed points. Such maps reduce to a four-parameter family and are well known to have a chaotic attractor throughout open regions of parameter space. The purpose of this paper is to determine where and how this attractor undergoes bifurcations. We explore the bifurcation structure numerically by using Eckstein's greatest c…
▽ More
We study two-dimensional, two-piece, piecewise-linear maps having two saddle fixed points. Such maps reduce to a four-parameter family and are well known to have a chaotic attractor throughout open regions of parameter space. The purpose of this paper is to determine where and how this attractor undergoes bifurcations. We explore the bifurcation structure numerically by using Eckstein's greatest common divisor algorithm to estimate from sample orbits the number of connected components in the attractor. Where the map is orientation-preserving the numerical results agree with formal results obtained previously through renormalisation. Where the map is orientation-reversing or non-invertible the same renormalisation scheme appears to generate the bifurcation boundaries, but here we need to account for the possibility of some stable low-period solutions. Also the attractor can be destroyed in novel heteroclinic bifurcations (boundary crises) that do not correspond to simple algebraic constraints on the parameters. Overall the results reveal a broadly similar component-doubling bifurcation structure in the orientation-reversing and non-invertible settings, but with some additional complexities.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Measure preservation and integrals for Lotka--Volterra tree-systems and their Kahan discretisation
Authors:
Peter H. van der Kamp,
Robert I. McLachlan,
David I. McLaren,
G. R. W. Quispel
Abstract:
We show that any Lotka--Volterra tree-system associated with an $n$-vertex tree, as introduced in Quispel et al., J. Phys. A 56 (2023) 315201, preserves a rational measure. We also prove that the Kahan discretisation of these tree-systems factorises and preserves the same measure. As a consequence, for the Kahan maps of Lotka--Volterra systems related to the subclass of tree-systems corresponding…
▽ More
We show that any Lotka--Volterra tree-system associated with an $n$-vertex tree, as introduced in Quispel et al., J. Phys. A 56 (2023) 315201, preserves a rational measure. We also prove that the Kahan discretisation of these tree-systems factorises and preserves the same measure. As a consequence, for the Kahan maps of Lotka--Volterra systems related to the subclass of tree-systems corresponding to graphs with more than one $n$-vertex subtree, we are able to construct rational integrals.
△ Less
Submitted 28 February, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Runge--Kutta methods determined from extended phase space methods for Hamiltonian systems
Authors:
Robert I McLachlan
Abstract:
We study two existing extended phase space integrators for Hamiltonian systems, the {\em midpoint projection method} and the {\em symmetric projection method}, showing that the first is a pseudosymplectic and pseudosymmetric Runge--Kutta method and the second is a monoimplicit symplectic Runge--Kutta method.
We study two existing extended phase space integrators for Hamiltonian systems, the {\em midpoint projection method} and the {\em symmetric projection method}, showing that the first is a pseudosymplectic and pseudosymmetric Runge--Kutta method and the second is a monoimplicit symplectic Runge--Kutta method.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Robust chaos in orientation-reversing and non-invertible two-dimensional piecewise-linear maps
Authors:
Indranil Ghosh,
Robert I. McLachlan,
David J. W. Simpson
Abstract:
This paper concerns the two-dimensional border-collision normal form -- a four-parameter family of piecewise-linear maps generalising the Lozi family and relevant to diverse applications. The normal form was recently shown to exhibit a chaotic attractor throughout an open region of parameter space. This was achieved by constructing a trapping region in phase space and an invariant expanding cone i…
▽ More
This paper concerns the two-dimensional border-collision normal form -- a four-parameter family of piecewise-linear maps generalising the Lozi family and relevant to diverse applications. The normal form was recently shown to exhibit a chaotic attractor throughout an open region of parameter space. This was achieved by constructing a trapping region in phase space and an invariant expanding cone in tangent space, but only allowed parameter combinations for which the normal form is invertible and orientation-preserving. This paper generalises the construction to include the non-invertible and orientation-reversing cases. This provides a more complete and unified picture of robust chaos by revealing its presence to be disassociated from the global topological properties of the map. We identify a region of parameter space in which the map exhibits robust chaos, and show that part of the boundary of this region consists of bifurcation points at which the chaotic attractor is destroyed.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Birational maps from polarization and the preservation of measure and integrals
Authors:
Robert I McLachlan,
David I McLaren,
G R W Quispel
Abstract:
The main result of this paper is the discretization of Hamiltonian systems of the form $\ddot x = -K \nabla W(x)$, where $K$ is a constant symmetric matrix and $W\colon\mathbb{R}^n\to \mathbb{R}$ is a polynomial of degree $d\le 4$ in any number of variables $n$. The discretization uses the method of polarization and preserves both the energy and the invariant measure of the differential equation,…
▽ More
The main result of this paper is the discretization of Hamiltonian systems of the form $\ddot x = -K \nabla W(x)$, where $K$ is a constant symmetric matrix and $W\colon\mathbb{R}^n\to \mathbb{R}$ is a polynomial of degree $d\le 4$ in any number of variables $n$. The discretization uses the method of polarization and preserves both the energy and the invariant measure of the differential equation, as well as the dimension of the phase space. This generalises earlier work for discretizations of first order systems with $d=3$, and of second order systems with $d=4$ and $n=1$.
△ Less
Submitted 12 July, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators
Authors:
Adrien Laurent,
Robert I. McLachlan,
Hans Z. Munthe-Kaas,
Olivier Verdier
Abstract:
Aromatic B-series were introduced as an extension of standard Butcher-series for the study of volume-preserving integrators. It was proven with their help that the only volume-preserving B-series method is the exact flow of the differential equation. The question was raised whether there exists a volume-preserving integrator that can be expanded as an aromatic B-series. In this work, we introduce…
▽ More
Aromatic B-series were introduced as an extension of standard Butcher-series for the study of volume-preserving integrators. It was proven with their help that the only volume-preserving B-series method is the exact flow of the differential equation. The question was raised whether there exists a volume-preserving integrator that can be expanded as an aromatic B-series. In this work, we introduce a new algebraic tool, called the aromatic bicomplex, similar to the variational bicomplex in variational calculus. We prove the exactness of this bicomplex and use it to describe explicitly the key object in the study of volume-preserving integrators: the aromatic forms of vanishing divergence. The analysis provides us with a handful of new tools to study aromatic B-series, gives insights on the process of integration by parts of trees, and allows to describe explicitly the aromatic B-series of a volume-preserving integrator. In particular, we conclude that an aromatic Runge-Kutta method cannot preserve volume.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
Using aromas to search for preserved measures and integrals in Kahan's method
Authors:
Geir Bogfjellmo,
Elena Celledoni,
Robert McLachlan,
Brynjulf Owren,
Reinout Quispel
Abstract:
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, t…
▽ More
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.
△ Less
Submitted 12 October, 2023; v1 submitted 2 September, 2022;
originally announced September 2022.
-
Backward error analysis for conjugate symplectic methods
Authors:
Robert I McLachlan,
Christian Offen
Abstract:
The numerical solution of an ordinary differential equation can be interpreted as the exact solution of a nearby modified equation. Investigating the behaviour of numerical solutions by analysing the modified equation is known as backward error analysis. If the original and modified equation share structural properties, then the exact and approximate solution share geometric features such as the e…
▽ More
The numerical solution of an ordinary differential equation can be interpreted as the exact solution of a nearby modified equation. Investigating the behaviour of numerical solutions by analysing the modified equation is known as backward error analysis. If the original and modified equation share structural properties, then the exact and approximate solution share geometric features such as the existence of conserved quantities. Conjugate symplectic methods preserve a modified symplectic form and a modified Hamiltonian when applied to a Hamiltonian system. We show how a blended version of variational and symplectic techniques can be used to compute modified symplectic and Hamiltonian structures. In contrast to other approaches, our backward error analysis method does not rely on an ansatz but computes the structures systematically, provided that a variational formulation of the method is known. The technique is illustrated on the example of symmetric linear multistep methods with matrix coefficients.
△ Less
Submitted 12 August, 2022; v1 submitted 11 January, 2022;
originally announced January 2022.
-
Functional equivariance and conservation laws in numerical integration
Authors:
Robert I. McLachlan,
Ari Stern
Abstract:
Preservation of linear and quadratic invariants by numerical integrators has been well studied. However, many systems have linear or quadratic observables that are not invariant, but which satisfy evolution equations expressing important properties of the system. For example, a time-evolution PDE may have an observable that satisfies a local conservation law, such as the multisymplectic conservati…
▽ More
Preservation of linear and quadratic invariants by numerical integrators has been well studied. However, many systems have linear or quadratic observables that are not invariant, but which satisfy evolution equations expressing important properties of the system. For example, a time-evolution PDE may have an observable that satisfies a local conservation law, such as the multisymplectic conservation law for Hamiltonian PDEs.
We introduce the concept of functional equivariance, a natural sense in which a numerical integrator may preserve the dynamics satisfied by certain classes of observables, whether or not they are invariant. After developing the general framework, we use it to obtain results on methods preserving local conservation laws in PDEs. In particular, integrators preserving quadratic invariants also preserve local conservation laws for quadratic observables, and symplectic integrators are multisymplectic.
△ Less
Submitted 31 July, 2022; v1 submitted 18 November, 2021;
originally announced November 2021.
-
Parametric study of E. coli incidence with reference to the New Zealand freshwater standards and the Manawatū-Whanganui region
Authors:
Stephen R Marsland,
Robert I McLachlan,
Christopher Tuffley
Abstract:
The New Zealand National Policy Statement for Freshwater Management 2020 sets several targets for freshwater quality, six of which are measurements of rivers; others relate to lakes. Each regional council is required to monitor freshwater quality and to respond as prescribed in order to meet the targets. One target of particular public interest is based on four criteria determined from recent E. c…
▽ More
The New Zealand National Policy Statement for Freshwater Management 2020 sets several targets for freshwater quality, six of which are measurements of rivers; others relate to lakes. Each regional council is required to monitor freshwater quality and to respond as prescribed in order to meet the targets. One target of particular public interest is based on four criteria determined from recent E. coli readings, and concerns the health risk of swimming in a river. However, the inherent variability of the data makes it difficult to determine the water quality state and trend reliably, particularly using traditional methods based on percentiles. Therefore, in this study we return to the parametric lognormal model of E. coli distribution, from which the official criteria were developed. We interpret the classification system in terms of the parametric model and show that the parametric model can reduce uncertainty and can incorporate more useful information, especially from very high E. coli readings, and is suitable for censored data. We apply the parametric model for state and trend to 135 sites in the Manawatū-Whanganui region.
△ Less
Submitted 4 October, 2021;
originally announced October 2021.
-
Unfolding globally resonant homoclinic tangencies
Authors:
Sishu Shankar Muni,
Robert I. McLachlan,
David J. W. Simpson
Abstract:
Global resonance is a mechanism by which a homoclinic tangency of a smooth map can have infinitely many asymptotically stable, single-round periodic solutions. To understand the bifurcation structure one would expect to see near such a tangency, in this paper we study one-parameter perturbations of typical globally resonant homoclinic tangencies. We assume the tangencies are formed by the stable a…
▽ More
Global resonance is a mechanism by which a homoclinic tangency of a smooth map can have infinitely many asymptotically stable, single-round periodic solutions. To understand the bifurcation structure one would expect to see near such a tangency, in this paper we study one-parameter perturbations of typical globally resonant homoclinic tangencies. We assume the tangencies are formed by the stable and unstable manifolds of saddle fixed points of two-dimensional maps. We show the perturbations display two infinite sequences of bifurcations, one saddle-node the other period-doubling, between which single-round periodic solutions are asymptotically stable. Generically these scale like $|λ|^{2 k}$, as $k \to \infty$, where $-1 < λ< 1$ is the stable eigenvalue associated with the fixed point. If the perturbation is taken tangent to the surface of codimension-one homoclinic tangencies, they instead scale like $\frac{|λ|^k}{k}$. We also show slower scaling laws are possible if the perturbation admits further degeneracies.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Tuning symplectic integrators is easy and worthwhile
Authors:
Robert I McLachlan
Abstract:
Many applications in computational physics that use numerical integrators based on splitting and composition can benefit from the development of optimized algorithms and from choosing the best ordering of terms. The cost in programming and execution time is minimal, while the performance improvements can be large.
Many applications in computational physics that use numerical integrators based on splitting and composition can benefit from the development of optimized algorithms and from choosing the best ordering of terms. The cost in programming and execution time is minimal, while the performance improvements can be large.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Backward error analysis for variational discretisations of partial differential equations
Authors:
Robert I McLachlan,
Christian Offen
Abstract:
In backward error analysis, an approximate solution to an equation is compared to the exact solution to a nearby modified equation. In numerical ordinary differential equations, the two agree up to any power of the step size. If the differential equation has a geometric property then the modified equation may share it. In this way, known properties of differential equations can be applied to the a…
▽ More
In backward error analysis, an approximate solution to an equation is compared to the exact solution to a nearby modified equation. In numerical ordinary differential equations, the two agree up to any power of the step size. If the differential equation has a geometric property then the modified equation may share it. In this way, known properties of differential equations can be applied to the approximation. But for partial differential equations, the known modified equations are of higher order, limiting applicability of the theory. Therefore, we study symmetric solutions of discretized partial differential equations that arise from a discrete variational principle. These symmetric solutions obey infinite-dimensional functional equations. We show that these equations admit second-order modified equations which are Hamiltonian and also possess first-order Lagrangians in modified coordinates. The modified equation and its associated structures are computed explicitly for the case of rotating travelling waves in the nonlinear wave equation.
△ Less
Submitted 13 June, 2022; v1 submitted 25 June, 2020;
originally announced June 2020.
-
Structure preserving deep learning
Authors:
Elena Celledoni,
Matthias J. Ehrhardt,
Christian Etmann,
Robert I McLachlan,
Brynjulf Owren,
Carola-Bibiane Schönlieb,
Ferdia Sherry
Abstract:
Over the past few years, deep learning has risen to the foreground as a topic of massive interest, mainly as a result of successes obtained in solving large-scale image processing tasks. There are multiple challenging mathematical problems involved in applying deep learning: most deep learning methods require the solution of hard optimisation problems, and a good understanding of the tradeoff betw…
▽ More
Over the past few years, deep learning has risen to the foreground as a topic of massive interest, mainly as a result of successes obtained in solving large-scale image processing tasks. There are multiple challenging mathematical problems involved in applying deep learning: most deep learning methods require the solution of hard optimisation problems, and a good understanding of the tradeoff between computational effort, amount of data and model complexity is required to successfully design a deep learning approach for a given problem. A large amount of progress made in deep learning has been based on heuristic explorations, but there is a growing effort to mathematically understand the structure in existing deep learning methods and to systematically design new deep learning methods to preserve certain types of structure in deep learning. In this article, we review a number of these directions: some deep neural networks can be understood as discretisations of dynamical systems, neural networks can be designed to have desirable properties such as invertibility or group equivariance, and new algorithmic frameworks based on conformal Hamiltonian systems and Riemannian manifolds to solve the optimisation problems have been proposed. We conclude our review of each of these topics by discussing some open problems that we consider to be interesting directions for future research.
△ Less
Submitted 5 June, 2020;
originally announced June 2020.
-
Homoclinic tangencies with infinitely many asymptotically stable single-round periodic solutions
Authors:
S. S. Muni,
R. I. McLachlan,
D. J. W. Simpson
Abstract:
We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical theory, this requires $f$ to have a homoclinic tangency. We show it also necessary for $f$ to satisfy a `global resonance' condition and for the eigenvalues asso…
▽ More
We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical theory, this requires $f$ to have a homoclinic tangency. We show it also necessary for $f$ to satisfy a `global resonance' condition and for the eigenvalues associated with the fixed point, $λ$ and $σ$, to satisfy $|λσ| = 1$. The phenomenon is codimension-three in the case $λσ= -1$, but codimension-four in the case $λσ= 1$ because here the coefficients of the leading-order resonance terms associated with $f$ at the fixed point must add to zero. We also identify conditions sufficient for the phenomenon to occur, illustrate the results for an abstract family of maps, and show numerically computed basins of attraction.
△ Less
Submitted 8 December, 2020; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Men will stretch out their eyes: Or, What happened to Christopher Wren's inaugural
Authors:
Robert I McLachlan
Abstract:
A discussion of Christopher Wren's inaugural address of 1657, and how it came to be widely misquoted so as to appear to be referring to the future discovery of exoplanets instead of contemporary discoveries in the solar system.
A discussion of Christopher Wren's inaugural address of 1657, and how it came to be widely misquoted so as to appear to be referring to the future discovery of exoplanets instead of contemporary discoveries in the solar system.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Principal symmetric space analysis
Authors:
Stephen R Marsland,
Robert I McLachlan,
Charles Curry
Abstract:
We develop a novel analogue of Euclidean PCA (principal component analysis) for data taking values on a Riemannian symmetric space, using totally geodesic submanifolds as approximating lower dimnsional submanifolds. We illustrate the technique on n-spheres, Grassmannians, n-tori and polyspheres.
We develop a novel analogue of Euclidean PCA (principal component analysis) for data taking values on a Riemannian symmetric space, using totally geodesic submanifolds as approximating lower dimnsional submanifolds. We illustrate the technique on n-spheres, Grassmannians, n-tori and polyspheres.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
The Lie algebra of classical mechanics
Authors:
Robert I McLachlan,
Ander Murua
Abstract:
Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied…
▽ More
Classical mechanical systems are defined by their kinetic and potential energies. They generate a Lie algebra under the canonical Poisson bracket. This Lie algebra, which is usually infinite dimensional, is useful in analyzing the system, as well as in geometric numerical integration. But because the kinetic energy is quadratic in the momenta, the Lie algebra obeys identities beyond those implied by skew symmetry and the Jacobi identity. Some Poisson brackets, or combinations of brackets, are zero for all choices of kinetic and potential energy, regardless of the dimension of the system. Therefore, we study the universal object in this setting, the `Lie algebra of classical mechanics' modelled on the Lie algebra generated by kinetic and potential energy of a simple mechanical system with respect to the canonical Poisson bracket. We show that it is the direct sum of an abelian algebra $\mathcal X$, spanned by `modified' potential energies isomorphic to the free commutative nonassociative algebra with one generator, and an algebra freely generated by the kinetic energy and its Poisson bracket with $\mathcal X$. We calculate the dimensions $c_n$ of its homogeneous subspaces and determine the value of its entropy $\lim_{n\to\infty} c_n^{1/n}$. It is $1.8249\dots$, a fundamental constant associated to classical mechanics. We conjecture that the class of systems with Euclidean kinetic energy metrics is already free, i.e., the only linear identities satisfied by the Lie brackets of all such systems are those satisfied by the Lie algebra of classical mechanics.
△ Less
Submitted 18 May, 2019;
originally announced May 2019.
-
Detection of high codimensional bifurcations in variational PDEs
Authors:
Lisa Maria Kreusser,
Robert I McLachlan,
Christian Offen
Abstract:
We derive bifurcation test equations for A-series singularities of nonlinear functionals and, based on these equations, we propose a numerical method for detecting high codimensional bifurcations in parameter-dependent PDEs such as parameter-dependent semilinear Poisson equations. As an example, we consider a Bratu-type problem and show how high codimensional bifurcations such as the swallowtail b…
▽ More
We derive bifurcation test equations for A-series singularities of nonlinear functionals and, based on these equations, we propose a numerical method for detecting high codimensional bifurcations in parameter-dependent PDEs such as parameter-dependent semilinear Poisson equations. As an example, we consider a Bratu-type problem and show how high codimensional bifurcations such as the swallowtail bifurcation can be found numerically. In particular, our original contributions are (1) the use of the Infinite-dimensional Splitting Lemma, (2) the unified and simplified treatment of all A-series bifurcations, (3) the presentation in Banach spaces, i.e. our results apply both to the PDE and its (variational) discretization, (4) further simplifications for parameter-dependent semilinear Poisson equations (both continuous and discrete), and (5) the unified treatment of the continuous problem and its discretisation.
△ Less
Submitted 14 November, 2019; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Symplectic integration of PDEs using Clebsch variables
Authors:
Robert I McLachlan,
Christian Offen,
Benjamin K Tapley
Abstract:
Many PDEs (Burgers' equation, KdV, Camassa-Holm, Euler's fluid equations,...) can be formulated as infinite-dimensional Lie-Poisson systems. These are Hamiltonian systems on manifolds equipped with Poisson brackets. The Poisson structure is connected to conservation properties and other geometric features of solutions to the PDE and, therefore, of great interest for numerical integration. For the…
▽ More
Many PDEs (Burgers' equation, KdV, Camassa-Holm, Euler's fluid equations,...) can be formulated as infinite-dimensional Lie-Poisson systems. These are Hamiltonian systems on manifolds equipped with Poisson brackets. The Poisson structure is connected to conservation properties and other geometric features of solutions to the PDE and, therefore, of great interest for numerical integration. For the example of Burgers' equations and related PDEs we use Clebsch variables to lift the original system to a collective Hamiltonian system on a symplectic manifold whose structure is related to the original Lie-Poisson structure. On the collective Hamiltonian system a symplectic integrator can be applied. Our numerical examples show excellent conservation properties and indicate that the disadvantage of an increased phase-space dimension can be outweighed by the advantage of symplectic integration.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
Three classes of quadratic vector fields for which the Kahan discretization is the root of a generalised Manin transformation
Authors:
Peter H. van der Kamp,
Elena Celledoni,
Robert I. McLachlan,
David I. McLaren,
Brynjulf Owren,
G. R. W. Quispel
Abstract:
We apply Kahan's discretisation method to three classes of 2-dimensional quadratic vector fields with quadratic, resp cubic, resp quartic Hamiltonians. We show that the maps obtained in this way can be geometrically understood as the composition of two involutions, one of which is a (linear) symmetry switch, and the other is a generalised Manin involution.
We apply Kahan's discretisation method to three classes of 2-dimensional quadratic vector fields with quadratic, resp cubic, resp quartic Hamiltonians. We show that the maps obtained in this way can be geometrically understood as the composition of two involutions, one of which is a (linear) symmetry switch, and the other is a generalised Manin involution.
△ Less
Submitted 15 June, 2018;
originally announced June 2018.
-
Symplectic integration of boundary value problems
Authors:
Robert I McLachlan,
Christian Offen
Abstract:
Symplectic integrators can be excellent for Hamiltonian initial value problems. Reasons for this include their preservation of invariant sets like tori, good energy behaviour, nonexistence of attractors, and good behaviour of statistical properties. These all refer to {\em long-time} behaviour. They are directly connected to the dynamical behaviour of symplectic maps $\varphi\colon M\to M$ on the…
▽ More
Symplectic integrators can be excellent for Hamiltonian initial value problems. Reasons for this include their preservation of invariant sets like tori, good energy behaviour, nonexistence of attractors, and good behaviour of statistical properties. These all refer to {\em long-time} behaviour. They are directly connected to the dynamical behaviour of symplectic maps $\varphi\colon M\to M$ on the phase space under iteration. Boundary value problems, in contrast, are posed for fixed (and often quite short) times. Symplecticity manifests as a symplectic map $\varphi\colon M\to M'$ which is not iterated. Is there any point, therefore, for a symplectic integrator to be used on a Hamiltonian boundary value problem? In this paper we announce results that symplectic integrators preserve bifurcations of Hamiltonian boundary value problems and that nonsymplectic integrators do not.
△ Less
Submitted 6 September, 2018; v1 submitted 23 April, 2018;
originally announced April 2018.
-
Hamiltonian boundary value problems, conformal symplectic symmetries, and conjugate loci
Authors:
Robert I McLachlan,
Christian Offen
Abstract:
In this paper we continue our study of bifurcations of solutions of boundary-value problems for symplectic maps arising as Hamiltonian diffeomorphisms. These have been shown to be connected to catastrophe theory via generating functions and ordinary and reversal phase space symmetries have been considered. Here we present a convenient, coordinate free framework to analyse separated Lagrangian boun…
▽ More
In this paper we continue our study of bifurcations of solutions of boundary-value problems for symplectic maps arising as Hamiltonian diffeomorphisms. These have been shown to be connected to catastrophe theory via generating functions and ordinary and reversal phase space symmetries have been considered. Here we present a convenient, coordinate free framework to analyse separated Lagrangian boundary value problems which include classical Dirichlet, Neumann and Robin boundary value problems. The framework is then used to {prove the existence of obstructions arising from} conformal symplectic symmetries on the bifurcation behaviour of solutions to Hamiltonian boundary value problems. Under non-degeneracy conditions, a group action by conformal symplectic symmetries has the effect that the flow map cannot degenerate in a direction which is tangential to the action. This imposes restrictions on which singularities can occur in boundary value problems. Our results generalise classical results about conjugate loci on Riemannian manifolds to a large class of Hamiltonian boundary value problems with, for example, scaling symmetries.
△ Less
Submitted 6 September, 2018; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Preservation of bifurcations of Hamiltonian boundary value problems under discretisation
Authors:
Robert I McLachlan,
Christian Offen
Abstract:
We show that symplectic integrators preserve bifurcations of Hamiltonian boundary value problems and that nonsymplectic integrators do not. We provide a universal description of the breaking of umbilic bifurcations by nonysmplectic integrators. We discover extra structure induced from certain types of boundary value problems, including classical Dirichlet problems, that is useful to locate bifurca…
▽ More
We show that symplectic integrators preserve bifurcations of Hamiltonian boundary value problems and that nonsymplectic integrators do not. We provide a universal description of the breaking of umbilic bifurcations by nonysmplectic integrators. We discover extra structure induced from certain types of boundary value problems, including classical Dirichlet problems, that is useful to locate bifurcations. Geodesics connecting two points are an example of a Hamiltonian boundary value problem, and we introduce the jet-RATTLE method, a symplectic integrator that easily computes geodesics and their bifurcations. Finally, we study the periodic pitchfork bifurcation, a codimension-1 bifurcation arising in integrable Hamiltonian systems. It is not preserved by either symplectic on nonsymplectic integrators, but in some circumstances symplecticity greatly reduces the error.
△ Less
Submitted 23 January, 2020; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Parallelisation, initialisation, and boundary treatments for the diamond scheme
Authors:
Stephen R Marsland,
Robert I McLachlan,
Matthew C Wilkins
Abstract:
We study a class of general purpose linear multisymplectic integrators for Hamiltonian wave equations based on a diamond-shaped mesh. On each diamond, the PDE is discretized by a symplectic Runge--Kutta method. The scheme advances in time by filling in each diamond locally. We demonstrate that this leads to greater efficiency and parallelization and easier treatment of boundary conditions compared…
▽ More
We study a class of general purpose linear multisymplectic integrators for Hamiltonian wave equations based on a diamond-shaped mesh. On each diamond, the PDE is discretized by a symplectic Runge--Kutta method. The scheme advances in time by filling in each diamond locally. We demonstrate that this leads to greater efficiency and parallelization and easier treatment of boundary conditions compared to methods based on rectangular meshes. We develop a variety of initial and boundary value treatments and present numerical evidence of their performance. In all cases, the observed order of convergence is equal to or greater than the number of stages of the underlying Runge--Kutta method.
△ Less
Submitted 15 March, 2018;
originally announced March 2018.
-
Bifurcation of solutions to Hamiltonian boundary value problems
Authors:
Robert I McLachlan,
Christian Offen
Abstract:
A bifurcation is a qualitative change in a family of solutions to an equation produced by varying parameters. In contrast to the local bifurcations of dynamical systems that are often related to a change in the number or stability of equilibria, bifurcations of boundary value problems are global in nature and may not be related to any obvious change in dynamical behaviour. Catastrophe theory is a…
▽ More
A bifurcation is a qualitative change in a family of solutions to an equation produced by varying parameters. In contrast to the local bifurcations of dynamical systems that are often related to a change in the number or stability of equilibria, bifurcations of boundary value problems are global in nature and may not be related to any obvious change in dynamical behaviour. Catastrophe theory is a well-developed framework which studies the bifurcations of critical points of functions. In this paper we study the bifurcations of solutions of boundary-value problems for symplectic maps, using the language of (finite-dimensional) singularity theory. We associate certain such problems with a geometric picture involving the intersection of Lagrangian submanifolds, and hence with the critical points of a suitable generating function. Within this framework, we then study the effect of three special cases: (i) some common boundary conditions, such as Dirichlet boundary conditions for second-order systems, restrict the possible types of bifurcations (for example, in generic planar systems only the A-series beginning with folds and cusps can occur); (ii) integrable systems, such as planar Hamiltonian systems, can exhibit a novel periodic pitchfork bifurcation; and (iii) systems with Hamiltonian symmetries or reversing symmetries can exhibit restricted bifurcations associated with the symmetry. This approach offers an alternative to the analysis of critical points in function spaces, typically used in the study of bifurcation of variational problems, and opens the way to the detection of more exotic bifurcations than the simple folds and cusps that are often found in examples.
△ Less
Submitted 8 March, 2018; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Multisymplecticity of hybridizable discontinuous Galerkin methods
Authors:
Robert I. McLachlan,
Ari Stern
Abstract:
In this paper, we prove necessary and sufficient conditions for a hybridizable discontinuous Galerkin (HDG) method to satisfy a multisymplectic conservation law, when applied to a canonical Hamiltonian system of partial differential equations. We show that these conditions are satisfied by the "hybridized" versions of several of the most commonly-used finite element methods, including mixed, nonco…
▽ More
In this paper, we prove necessary and sufficient conditions for a hybridizable discontinuous Galerkin (HDG) method to satisfy a multisymplectic conservation law, when applied to a canonical Hamiltonian system of partial differential equations. We show that these conditions are satisfied by the "hybridized" versions of several of the most commonly-used finite element methods, including mixed, nonconforming, and discontinuous Galerkin methods. (Interestingly, for the continuous Galerkin method in dimension greater than one, we show that multisymplecticity only holds in a weaker sense.) Consequently, these general-purpose finite element methods may be used for structure-preserving discretization (or semidiscretization) of canonical Hamiltonian systems of ODEs or PDEs. This establishes multisymplecticity for a large class of arbitrarily-high-order methods on unstructured meshes.
△ Less
Submitted 11 February, 2019; v1 submitted 24 May, 2017;
originally announced May 2017.
-
Currents and finite elements as tools for shape space
Authors:
James Benn,
Stephen Marsland,
Robert I McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
The nonlinear spaces of shapes (unparameterized immersed curves or submanifolds) are of interest for many applications in image analysis, such as the identification of shapes that are similar modulo the action of some group. In this paper we study a general representation of shapes that is based on linear spaces and is suitable for numerical discretization, being robust to noise. We develop the th…
▽ More
The nonlinear spaces of shapes (unparameterized immersed curves or submanifolds) are of interest for many applications in image analysis, such as the identification of shapes that are similar modulo the action of some group. In this paper we study a general representation of shapes that is based on linear spaces and is suitable for numerical discretization, being robust to noise. We develop the theory of currents for shape spaces by considering both the analytic and numerical aspects of the problem. In particular, we study the analytical properties of the current map and the $H^{-s}$ norm that it induces on shapes. We determine the conditions under which the current determines the shape. We then provide a finite element discretization of the currents that is a practical computational tool for shapes. Finally, we demonstrate this approach on a variety of examples.
△ Less
Submitted 8 November, 2018; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Two classes of quadratic vector fields for which the Kahan discretization is integrable
Authors:
Elena Celledoni,
Robert I. McLachlan,
David I. McLaren,
Brynjulf Owren,
G. R. W. Quispel
Abstract:
Applying Kahan's discretization to the reduced Nahm equations, we obtain two classes of integrable mappings.
Applying Kahan's discretization to the reduced Nahm equations, we obtain two classes of integrable mappings.
△ Less
Submitted 30 January, 2017;
originally announced February 2017.
-
Möbius Invariants of Shapes and Images
Authors:
Stephen Marsland,
Robert McLachlan
Abstract:
Identifying when different images are of the same object despite changes caused by imaging technologies, or processes such as growth, has many applications in fields such as computer vision and biological image analysis. One approach to this problem is to identify the group of possible transformations of the object and to find invariants to the action of that group, meaning that the object has the…
▽ More
Identifying when different images are of the same object despite changes caused by imaging technologies, or processes such as growth, has many applications in fields such as computer vision and biological image analysis. One approach to this problem is to identify the group of possible transformations of the object and to find invariants to the action of that group, meaning that the object has the same values of the invariants despite the action of the group. In this paper we study the invariants of planar shapes and images under the Möbius group $\mathrm{PSL}(2,\mathbb{C})$, which arises in the conformal camera model of vision and may also correspond to neurological aspects of vision, such as grouping of lines and circles. We survey properties of invariants that are important in applications, and the known Möbius invariants, and then develop an algorithm by which shapes can be recognised that is Möbius- and reparametrization-invariant, numerically stable, and robust to noise. We demonstrate the efficacy of this new invariant approach on sets of curves, and then develop a Möbius-invariant signature of grey-scale images.
△ Less
Submitted 11 August, 2016; v1 submitted 30 March, 2016;
originally announced March 2016.
-
The use of discrete gradient methods for total variation type regularization problems in image processing
Authors:
V Grimm,
R I McLachlan,
D McLaren,
G R W Quispel,
C-B Schönlieb
Abstract:
Discrete gradient methods are well-known methods of Geometric Numerical Integration, which preserve the dissipation of gradient systems. The preservation of the dissipation of a system is an important feature in numerous image processing tasks. We promote the use of discrete gradient methods in image processing by exhibiting experiments with nonlinear total variation (TV) deblurring, denoising, an…
▽ More
Discrete gradient methods are well-known methods of Geometric Numerical Integration, which preserve the dissipation of gradient systems. The preservation of the dissipation of a system is an important feature in numerous image processing tasks. We promote the use of discrete gradient methods in image processing by exhibiting experiments with nonlinear total variation (TV) deblurring, denoising, and inpainting.
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
-
Efficient and accurate methods for solving the time-dependent spin-1 Gross-Pitaevskii equation
Authors:
L. M. Symes,
R. I. McLachlan,
P. B. Blakie
Abstract:
We develop a numerical method for solving the spin-1 Gross-Pitaevskii equation. The basis of our work is a two-way splitting of the spin-1 evolution equation that leads to two exactly solvable flows. We use this to implement a second-order and a fourth-order symplectic integration method. These are the first fully symplectic methods for evolving spin-1 condensates. We develop two non-trivial numer…
▽ More
We develop a numerical method for solving the spin-1 Gross-Pitaevskii equation. The basis of our work is a two-way splitting of the spin-1 evolution equation that leads to two exactly solvable flows. We use this to implement a second-order and a fourth-order symplectic integration method. These are the first fully symplectic methods for evolving spin-1 condensates. We develop two non-trivial numerical tests to compare our methods against two other approaches.
△ Less
Submitted 21 February, 2016;
originally announced February 2016.
-
Symmetry reduction for central force problems
Authors:
Robert I McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We given an elementary illustration of symmetry reduction for central force problems, drawing phase portraits of the reduced dynamics as the intersection of Casimir and energy level sets in three dimensions. These systems form a classic example of symplectic reduction which can usefully be compared to the more-commonly seen case of the free rigid body.
We given an elementary illustration of symmetry reduction for central force problems, drawing phase portraits of the reduced dynamics as the intersection of Casimir and energy level sets in three dimensions. These systems form a classic example of symplectic reduction which can usefully be compared to the more-commonly seen case of the free rigid body.
△ Less
Submitted 14 December, 2015;
originally announced December 2015.
-
Butcher series: A story of rooted trees and numerical methods for evolution equations
Authors:
Robert I McLachlan,
Klas Modin,
Hans Munthe-Kaas,
Olivier Verdier
Abstract:
Butcher series appear when Runge-Kutta methods for ordinary differential equations are expanded in power series of the step size parameter. Each term in a Butcher series consists of a weighted elementary differential, and the set of all such differentials is isomorphic to the set of rooted trees, as noted by Cayley in the mid 19th century. A century later Butcher discovered that rooted trees can a…
▽ More
Butcher series appear when Runge-Kutta methods for ordinary differential equations are expanded in power series of the step size parameter. Each term in a Butcher series consists of a weighted elementary differential, and the set of all such differentials is isomorphic to the set of rooted trees, as noted by Cayley in the mid 19th century. A century later Butcher discovered that rooted trees can also be used to obtain the order conditions of Runge-Kutta methods, and he found a natural group structure, today known as the Butcher group. It is now known that many numerical methods also can be expanded in Butcher series; these are called B-series methods. A long-standing problem has been to characterize, in terms of qualitative features, all B-series methods. Here we tell the story of Butcher series, stretching from the early work of Cayley, to modern developments and connections to abstract algebra, and finally to the resolution of the characterization problem. This resolution introduces geometric tools and perspectives to an area traditionally explored using analysis and combinatorics.
△ Less
Submitted 27 February, 2017; v1 submitted 2 December, 2015;
originally announced December 2015.
-
Travelling wave solutions of multisymplectic discretizations of semi-linear wave equations
Authors:
Fleur McDonald,
Robert I McLachlan,
Brian E Moore,
G R W Quispel
Abstract:
How well do multisymplectic discretisations preserve travelling wave solutions? To answer this question, the 5-point central difference scheme is applied to the semi-linear wave equation. A travelling wave ansatz leads to an ordinary difference equation, whose solutions correspond to the numerical scheme and can be compared to travelling wave solutions of the corresponding PDE. For a discontinuous…
▽ More
How well do multisymplectic discretisations preserve travelling wave solutions? To answer this question, the 5-point central difference scheme is applied to the semi-linear wave equation. A travelling wave ansatz leads to an ordinary difference equation, whose solutions correspond to the numerical scheme and can be compared to travelling wave solutions of the corresponding PDE. For a discontinuous nonlinearity the difference equation is solved exactly. For continuous nonlinearities the difference equation is solved using a Fourier series, and resonances that depend on the grid-size are revealed for a smooth nonlinearity. In general, the infinite dimensional functional equation, which must be solved to get the travelling wave solutions, is intractable, but backward error analysis proves to be a powerful tool, as it provides a way to study the solutions of the equation through a simple ODE that describes the behavior to arbitrarily high order. A general framework for using backward error analysis to analyze preservation of travelling waves for other equations and discretisations is presented. Then, the advantages that multisymplectic methods have over other methods are briefly highlighted.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
Discretization of polynomial vector fields by polarization
Authors:
Elena Celledoni,
Robert I. McLachlan,
David I. McLaren,
Brynjulf Owren,
G. R. W. Quispel
Abstract:
A novel integration method for quadratic vector fields was introduced by Kahan in 1993. Subsequently, it was shown that Kahan's method preserves a (modified) measure and energy when applied to quadratic Hamiltonian vector fields. Here we generalize Kahan's method to cubic resp. higher degree polynomial vector fields and show that the resulting discretization also preserves modified versions of the…
▽ More
A novel integration method for quadratic vector fields was introduced by Kahan in 1993. Subsequently, it was shown that Kahan's method preserves a (modified) measure and energy when applied to quadratic Hamiltonian vector fields. Here we generalize Kahan's method to cubic resp. higher degree polynomial vector fields and show that the resulting discretization also preserves modified versions of the measure and energy when applied to cubic resp. higher degree polynomial Hamiltonian vector fields.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
Geometry of discrete-time spin systems
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
Classical Hamiltonian spin systems are continuous dynamical systems on the symplectic phase space $(S^2)^n$. In this paper we investigate the underlying geometry of a time discretization scheme for classical Hamiltonian spin systems called the spherical midpoint method. As it turns out, this method displays a range of interesting geometrical features, that yield insights and sets out general strat…
▽ More
Classical Hamiltonian spin systems are continuous dynamical systems on the symplectic phase space $(S^2)^n$. In this paper we investigate the underlying geometry of a time discretization scheme for classical Hamiltonian spin systems called the spherical midpoint method. As it turns out, this method displays a range of interesting geometrical features, that yield insights and sets out general strategies for geometric time discretizations of Hamiltonian systems on non-canonical symplectic manifolds. In particular, our study provides two new, completely geometric proofs that the discrete-time spin systems obtained by the spherical midpoint method preserve symplecticity.
The study follows two paths. First, we introduce an extended version of the Hopf fibration to show that the spherical midpoint method can be seen as originating from the classical midpoint method on $T^*\mathbf{R}^{2n}$ for a collective Hamiltonian. Symplecticity is then a direct, geometric consequence. Second, we propose a new discretization scheme on Riemannian manifolds called the Riemannian midpoint method. We determine its properties with respect to isometries and Riemannian submersions and, as a special case, we show that the spherical midpoint method is of this type for a non-Euclidean metric. In combination with Kähler geometry, this provides another geometric proof of symplecticity.
△ Less
Submitted 15 May, 2015;
originally announced May 2015.
-
B-series methods are exactly the affine equivariant methods
Authors:
Robert I. McLachlan,
Klas Modin,
Hans Munthe-Kaas,
Olivier Verdier
Abstract:
Butcher series, also called B-series, are a type of expansion, fundamental in the analysis of numerical integration. Numerical methods that can be expanded in B-series are defined in all dimensions, so they correspond to \emph{sequences of maps}---one map for each dimension. A long-standing problem has been to characterise those sequences of maps that arise from B-series. This problem is solved he…
▽ More
Butcher series, also called B-series, are a type of expansion, fundamental in the analysis of numerical integration. Numerical methods that can be expanded in B-series are defined in all dimensions, so they correspond to \emph{sequences of maps}---one map for each dimension. A long-standing problem has been to characterise those sequences of maps that arise from B-series. This problem is solved here: we prove that a sequence of smooth maps between vector fields on affine spaces has a B-series expansion if and only if it is \emph{affine equivariant}, meaning it respects all affine maps between affine spaces.
△ Less
Submitted 27 April, 2015; v1 submitted 3 September, 2014;
originally announced September 2014.
-
Integrability properties of Kahan's method
Authors:
Elena Celledoni,
Robert I McLachlan,
David I McLaren,
Brynjulf Owren,
G R W Quispel
Abstract:
We present several novel examples of integrable quadratic vector fields for which Kahan's discretization method preserves integrability. Our examples include generalized Suslov and Ishii systems, Nambu systems, Riccati systems, and the first Painlevé equation. We also discuss how Manin transformations arise in Kahan discretizations of certain vector fields.
We present several novel examples of integrable quadratic vector fields for which Kahan's discretization method preserves integrability. Our examples include generalized Suslov and Ishii systems, Nambu systems, Riccati systems, and the first Painlevé equation. We also discuss how Manin transformations arise in Kahan discretizations of certain vector fields.
△ Less
Submitted 15 May, 2014;
originally announced May 2014.
-
The multisymplectic diamond scheme
Authors:
R I McLachlan,
M C Wilkins
Abstract:
We introduce a class of general purpose linear multisymplectic integrators for Hamiltonian wave equations based on a diamond-shaped mesh. On each diamond, the PDE is discretized by a symplectic Runge--Kutta method. The scheme advances in time by filling in each diamond locally, leading to greater efficiency and parallelization and easier treatment of boundary conditions compared to methods based o…
▽ More
We introduce a class of general purpose linear multisymplectic integrators for Hamiltonian wave equations based on a diamond-shaped mesh. On each diamond, the PDE is discretized by a symplectic Runge--Kutta method. The scheme advances in time by filling in each diamond locally, leading to greater efficiency and parallelization and easier treatment of boundary conditions compared to methods based on rectangular meshes.
△ Less
Submitted 19 February, 2014; v1 submitted 17 February, 2014;
originally announced February 2014.
-
Symplectic integrators for spin systems
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We present a symplectic integrator, based on the canonical midpoint rule, for classical spin systems in which each spin is a unit vector in $\mathbb{R}^3$. Unlike splitting methods, it is defined for all Hamiltonians, and is $O(3)$-equivariant. It is a rare example of a generating function for symplectic maps of a noncanonical phase space. It yields an integrable discretization of the reduced moti…
▽ More
We present a symplectic integrator, based on the canonical midpoint rule, for classical spin systems in which each spin is a unit vector in $\mathbb{R}^3$. Unlike splitting methods, it is defined for all Hamiltonians, and is $O(3)$-equivariant. It is a rare example of a generating function for symplectic maps of a noncanonical phase space. It yields an integrable discretization of the reduced motion of a free rigid body.
△ Less
Submitted 26 October, 2014; v1 submitted 17 February, 2014;
originally announced February 2014.
-
A minimal-variable symplectic integrator on spheres
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We construct a symplectic, globally defined, minimal-coordinate, equivariant integrator on products of 2-spheres. Examples of corresponding Hamiltonian systems, called spin systems, include the reduced free rigid body, the motion of point vortices on a sphere, and the classical Heisenberg spin chain, a spatial discretisation of the Landau-Lifschitz equation. The existence of such an integrator is…
▽ More
We construct a symplectic, globally defined, minimal-coordinate, equivariant integrator on products of 2-spheres. Examples of corresponding Hamiltonian systems, called spin systems, include the reduced free rigid body, the motion of point vortices on a sphere, and the classical Heisenberg spin chain, a spatial discretisation of the Landau-Lifschitz equation. The existence of such an integrator is remarkable, as the sphere is neither a vector space, nor a cotangent bundle, has no global coordinate chart, and its symplectic form is not even exact. Moreover, the formulation of the integrator is very simple, and resembles the geodesic midpoint method, although the latter is not symplectic.
△ Less
Submitted 18 May, 2017; v1 submitted 13 February, 2014;
originally announced February 2014.
-
Collective symplectic integrators
Authors:
Robert I McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We construct symplectic integrators for Lie-Poisson systems. The integrators are standard symplectic (partitioned) Runge--Kutta methods. Their phase space is a symplectic vector space with a Hamiltonian action with momentum map $J$ whose range is the target Lie--Poisson manifold, and their Hamiltonian is collective, that is, it is the target Hamiltonian pulled back by $J$. The method yields, for e…
▽ More
We construct symplectic integrators for Lie-Poisson systems. The integrators are standard symplectic (partitioned) Runge--Kutta methods. Their phase space is a symplectic vector space with a Hamiltonian action with momentum map $J$ whose range is the target Lie--Poisson manifold, and their Hamiltonian is collective, that is, it is the target Hamiltonian pulled back by $J$. The method yields, for example, a symplectic midpoint rule expressed in 4 variables for arbitrary Hamiltonians on $\mathfrak{so}(3)^*$. The method specializes in the case that a sufficiently large symmetry group acts on the fibres of $J$, and generalizes to the case that the vector space carries a bifoliation. Examples involving many classical groups are presented.
△ Less
Submitted 29 August, 2013;
originally announced August 2013.
-
Collective Lie-Poisson integrators on $\mathbf{R}^{3}$
Authors:
Robert McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
We develop Lie-Poisson integrators for general Hamiltonian systems on $\mathbf{R}^{3}$ equipped with the rigid body bracket. The method uses symplectic realisation of $\mathbf{R}^{3}$ on $T^{*}\mathbf{R}^{2}$ and application of symplectic Runge-Kutta schemes. As a side product, we obtain simple symplectic integrators for general Hamiltonian systems on the sphere $S^{2}$.
We develop Lie-Poisson integrators for general Hamiltonian systems on $\mathbf{R}^{3}$ equipped with the rigid body bracket. The method uses symplectic realisation of $\mathbf{R}^{3}$ on $T^{*}\mathbf{R}^{2}$ and application of symplectic Runge-Kutta schemes. As a side product, we obtain simple symplectic integrators for general Hamiltonian systems on the sphere $S^{2}$.
△ Less
Submitted 15 November, 2013; v1 submitted 9 July, 2013;
originally announced July 2013.
-
Modified trigonometric integrators
Authors:
Robert I. McLachlan,
Ari Stern
Abstract:
We study modified trigonometric integrators, which generalize the popular class of trigonometric integrators for highly oscillatory Hamiltonian systems by allowing the fast frequencies to be modified. Among all methods of this class, we show that the IMEX (implicit-explicit) method, which is equivalent to applying the midpoint rule to the fast, linear part of the system and the leapfrog (Störmer/V…
▽ More
We study modified trigonometric integrators, which generalize the popular class of trigonometric integrators for highly oscillatory Hamiltonian systems by allowing the fast frequencies to be modified. Among all methods of this class, we show that the IMEX (implicit-explicit) method, which is equivalent to applying the midpoint rule to the fast, linear part of the system and the leapfrog (Störmer/Verlet) method to the slow, nonlinear part, is distinguished by the following properties: (i) it is symplectic; (ii) it is free of artificial resonances; (iii) it is the unique method that correctly captures slow energy exchange to leading order; (iv) it conserves the total energy and a modified oscillatory energy up to to second order; (v) it is uniformly second-order accurate in the slow components; and (vi) it has the correct magnitude of deviations of the fast oscillatory energy, which is an adiabatic invariant. These theoretical results are supported by numerical experiments on the Fermi-Pasta-Ulam problem and indicate that the IMEX method, for these six properties, dominates the class of modified trigonometric integrators.
△ Less
Submitted 4 April, 2014; v1 submitted 14 May, 2013;
originally announced May 2013.
-
Discrete gradient methods have an energy conservation law
Authors:
Robert I McLachlan,
G R W Quispel
Abstract:
We show for a variety of classes of conservative PDEs that discrete gradient methods designed to have a conserved quantity (here called energy) also have a time-discrete conservation law. The discrete conservation law has the same conserved density as the continuous conservation law, while its flux is found by replacing all derivatives of the conserved density appearing in the continuous flux by d…
▽ More
We show for a variety of classes of conservative PDEs that discrete gradient methods designed to have a conserved quantity (here called energy) also have a time-discrete conservation law. The discrete conservation law has the same conserved density as the continuous conservation law, while its flux is found by replacing all derivatives of the conserved density appearing in the continuous flux by discrete gradients.
△ Less
Submitted 18 February, 2013;
originally announced February 2013.
-
Geometric properties of Kahan's method
Authors:
Elena Celledoni,
Robert I McLachlan,
Brynjulf Owren,
G R W Quispel
Abstract:
We show that Kahan's discretization of quadratic vector fields is equivalent to a Runge--Kutta method. When the vector field is Hamiltonian on either a symplectic vector space or a Poisson vector space with constant Poisson structure, the map determined by this discretization has a conserved modified Hamiltonian and an invariant measure, a combination previously unknown amongst Runge--Kutta method…
▽ More
We show that Kahan's discretization of quadratic vector fields is equivalent to a Runge--Kutta method. When the vector field is Hamiltonian on either a symplectic vector space or a Poisson vector space with constant Poisson structure, the map determined by this discretization has a conserved modified Hamiltonian and an invariant measure, a combination previously unknown amongst Runge--Kutta methods applied to nonlinear vector fields. This produces large classes of integrable rational mappings in two and three dimensions, explaining some of the integrable cases that were previously known.
△ Less
Submitted 14 November, 2012; v1 submitted 5 September, 2012;
originally announced September 2012.
-
Symplectic integrators for index one constraints
Authors:
Robert I McLachlan,
Klas Modin,
Olivier Verdier,
Matt Wilkins
Abstract:
We show that symplectic Runge-Kutta methods provide effective symplectic integrators for Hamiltonian systems with index one constraints. These include the Hamiltonian description of variational problems subject to position and velocity constraints nondegenerate in the velocities, such as those arising in sub-Riemannian geometry and control theory.
We show that symplectic Runge-Kutta methods provide effective symplectic integrators for Hamiltonian systems with index one constraints. These include the Hamiltonian description of variational problems subject to position and velocity constraints nondegenerate in the velocities, such as those arising in sub-Riemannian geometry and control theory.
△ Less
Submitted 10 July, 2013; v1 submitted 17 July, 2012;
originally announced July 2012.
-
Geometric Generalisations of SHAKE and RATTLE
Authors:
Robert I. McLachlan,
Klas Modin,
Olivier Verdier,
Matt Wilkins
Abstract:
A geometric analysis of the Shake and Rattle methods for constrained Hamiltonian problems is carried out. The study reveals the underlying differential geometric foundation of the two methods, and the exact relation between them. In addition, the geometric insight naturally generalises Shake and Rattle to allow for a strictly larger class of constrained Hamiltonian systems than in the classical se…
▽ More
A geometric analysis of the Shake and Rattle methods for constrained Hamiltonian problems is carried out. The study reveals the underlying differential geometric foundation of the two methods, and the exact relation between them. In addition, the geometric insight naturally generalises Shake and Rattle to allow for a strictly larger class of constrained Hamiltonian systems than in the classical setting.
In order for Shake and Rattle to be well defined, two basic assumptions are needed. First, a nondegeneracy assumption, which is a condition on the Hamiltonian, i.e., on the dynamics of the system. Second, a coisotropy assumption, which is a condition on the geometry of the constrained phase space. Non-trivial examples of systems fulfilling, and failing to fulfill, these assumptions are given.
△ Less
Submitted 26 June, 2013; v1 submitted 13 July, 2012;
originally announced July 2012.
-
On Hodge decomposition and conformal variational problems
Authors:
Stephen Marsland,
Robert McLachlan,
Klas Modin,
Matthew Perlmutter
Abstract:
The main result is the identification of the orthogonal complement of the subalgebra of conformal vector field inside the algebra of all vector fields of a compact flat 2-manifold. As a fundamental tool, the complete Hodge decomposition for manifold with boundary is used. The identification allows the derivation of governing differential equations for variational problems on the space of conformal…
▽ More
The main result is the identification of the orthogonal complement of the subalgebra of conformal vector field inside the algebra of all vector fields of a compact flat 2-manifold. As a fundamental tool, the complete Hodge decomposition for manifold with boundary is used. The identification allows the derivation of governing differential equations for variational problems on the space of conformal vector fields. Several examples are given. In addition, the paper also gives a review, in full detail, of already known vector field decompositions involving subalgebras of volume preserving and symplectic vector fields.
△ Less
Submitted 20 March, 2012;
originally announced March 2012.
