Showing 1–23 of 23 results for author: McLaren, D

On a quadratic Poisson algebra and integrable Lotka-Volterra systems with solutions in terms of Lambert's W function

Authors: Peter H. van der Kamp, D. I. McLaren, G. R. W. Quispel

Abstract: We study a class of integrable nonhomogeneous Lotka-Volterra systems whose quadratic terms are defined by an antisymmetric matrix and whose linear terms consist of three blocks. We provide the Poisson algebra of their Darboux polynomials, and prove a contraction theorem. We then use these results to classify the systems according to the number of functionally independent (and, for some, commuting)… ▽ More We study a class of integrable nonhomogeneous Lotka-Volterra systems whose quadratic terms are defined by an antisymmetric matrix and whose linear terms consist of three blocks. We provide the Poisson algebra of their Darboux polynomials, and prove a contraction theorem. We then use these results to classify the systems according to the number of functionally independent (and, for some, commuting) integrals. We also establish separability/solvability by quadratures, given the solutions to the 2- and 3-dimensional systems, which we provide in terms of the Lambert W function. △ Less

Submitted 28 October, 2024; v1 submitted 26 August, 2024; originally announced August 2024.

Comments: 22 pages, 1 table, 24 references

On trilinear and quadrilinear equations associated with the lattice Gel'fand-Dikii hierarchy

Authors: P. H. van der Kamp, F. W. Nijhoff, D. I. McLaren, G. R. W Quispel

Abstract: Introduced in 2012, by Zhang, Zhao, and Nijhoff, the trilinear Boussinesq equation is the natural form of the equation for the $τ$-function of the lattice Boussinesq system. In this paper we study various aspects of this equation: its highly nontrivial derivation from the bilinear lattice AKP equation under dimensional reduction, a quadrilinear dual lattice equation, conservation laws, and periodi… ▽ More Introduced in 2012, by Zhang, Zhao, and Nijhoff, the trilinear Boussinesq equation is the natural form of the equation for the $τ$-function of the lattice Boussinesq system. In this paper we study various aspects of this equation: its highly nontrivial derivation from the bilinear lattice AKP equation under dimensional reduction, a quadrilinear dual lattice equation, conservation laws, and periodic reductions leading to higher-dimensional integrable maps and their Laurent property. Furthermore, we consider a higher Gel'fand-Dikii lattice system, its periodic reductions and Laurent property. As a special application, from both a trilinear Boussinesq recurrence as well as a higher Gel'fand-Dikii system of three bilinear recurrences, we establish Somos-like integer sequences. △ Less

Submitted 7 August, 2024; v1 submitted 15 July, 2024; originally announced July 2024.

Comments: 13 pages, 5 figures, Submitted to a special issue devoted to the celebration of 120 years from the day of birth of the famous Soviet mathematician A. Kolmogorov

Trees and superintegrable Lotka-Volterra families

Authors: Peter H. van der Kamp, G. R. W. Quispel, D. I. McLaren

Abstract: To any tree on $n$ vertices we associate an $n$-dimensional Lotka-Volterra system with $3n-2$ parameters and, for generic values of the parameters, prove it is superintegrable, i.e. it admits $n-1$ functionally independent integrals. We also show how these systems can be reduced to an ($n-1$)-dimensional system which is superintegrable and solvable by quadratures. To any tree on $n$ vertices we associate an $n$-dimensional Lotka-Volterra system with $3n-2$ parameters and, for generic values of the parameters, prove it is superintegrable, i.e. it admits $n-1$ functionally independent integrals. We also show how these systems can be reduced to an ($n-1$)-dimensional system which is superintegrable and solvable by quadratures. △ Less

Submitted 28 October, 2024; v1 submitted 25 November, 2023; originally announced November 2023.

Comments: 16 pages, 3 figures, 22 references

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.

Comments: 17 pages, 3 figures

MSC Class: 34A05; 39B99

Journal ref: Journal of Computational Dynamics, 2024

An Elementary Construction of Modified Hamiltonians and Modified Measures of 2D Kahan Maps

Authors: Giorgio Gubbiotti, David McLaren, G. R. W. Quispel

Abstract: We show how to construct in an elementary way the invariant of the KHK discretisation of a cubic Hamiltonian system in two dimensions. That is, we show that this invariant is expressible as the product of the ratios of affine polynomials defining the prolongation of the three parallel sides of a hexagon. On the vertices of such a hexagon lie the indeterminacy points of the KHK map. This result is… ▽ More We show how to construct in an elementary way the invariant of the KHK discretisation of a cubic Hamiltonian system in two dimensions. That is, we show that this invariant is expressible as the product of the ratios of affine polynomials defining the prolongation of the three parallel sides of a hexagon. On the vertices of such a hexagon lie the indeterminacy points of the KHK map. This result is obtained analysing the structure of the singular fibres of the known invariant. We apply this construction to several examples, and we prove that a similar result holds true for a case outside the hypotheses of the main theorem, leading us to conjecture that further extensions are possible. △ Less

Submitted 29 February, 2024; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 30 pages, 7 figures

MSC Class: 65 (Primary)

Journal ref: Open Communications in Nonlinear Mathematical Physics, Special Issue in Memory of Decio Levi (March 1, 2024) ocnmp:12249

Weakly Hadamard diagonalizable graphs and Quantum State Transfer

Authors: Darian McLaren, Hermie Monterde, Sarah Plosker

Abstract: Hadamard diagonalizable graphs are undirected graphs for which the corresponding Laplacian is diagonalizable by a Hadamard matrix. Such graphs have been studied in the context of quantum state transfer. Recently, the concept of a weak Hadamard matrix was introduced: a $\{-1,0, 1\}$-matrix $P$ such that $PP^T$ is tridiagonal, as well as the concept of weakly Hadamard diagonalizable graphs. We there… ▽ More Hadamard diagonalizable graphs are undirected graphs for which the corresponding Laplacian is diagonalizable by a Hadamard matrix. Such graphs have been studied in the context of quantum state transfer. Recently, the concept of a weak Hadamard matrix was introduced: a $\{-1,0, 1\}$-matrix $P$ such that $PP^T$ is tridiagonal, as well as the concept of weakly Hadamard diagonalizable graphs. We therefore naturally explore quantum state transfer in these generalized Hadamards. Given the infancy of the topic, we provide numerous properties and constructions of weak Hadamard matrices and weakly Hadamard diagonalizable graphs in order to better understand them. △ Less

Submitted 10 July, 2024; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 23 pages, 1 figure, 1 table

MSC Class: 15A18; 05C50; 81P45

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.

Comments: Updated to final pre-publication version

Centralizer clones relative to a strong limit cardinal

Authors: Rory B. B. Lucyshyn-Wright, Darian McLaren

Abstract: The notion of commutation of operations in universal algebra leads to the concept of centralizer clone and gives rise to a well-known class of problems that we call centralizer problems, in which one seeks to determine whether a given set of operations arises as a centralizer or, equivalently, coincides with its own double centralizer. Centralizer clones and centralizer problems in universal algeb… ▽ More The notion of commutation of operations in universal algebra leads to the concept of centralizer clone and gives rise to a well-known class of problems that we call centralizer problems, in which one seeks to determine whether a given set of operations arises as a centralizer or, equivalently, coincides with its own double centralizer. Centralizer clones and centralizer problems in universal algebra have been studied by several authors, with early contributions by Cohn, Kuznecov, Danil'čenko, and Harnau. In this paper, we work within a generalized setting of infinitary universal algebra relative to a regular cardinal $α$, thus allowing operations whose arities are sets of cardinality less than $α$, and we study a notion of centralizer clone that is defined relative to $α$. In this setting, we establish several new characterizations of centralizer clones and double centralizer clones, with special attention to the case in which $α$ is a strong limit cardinal, and we discuss how these results enable a novel method for treating centralizer problems. We apply these results to establish positive solutions to finitary and infinitary centralizer problems for several specific classes of algebraic structures, including vector spaces, free actions of a group, and free actions of a free monoid. △ Less

Submitted 28 September, 2022; originally announced September 2022.

MSC Class: 08A40; 08A62; 08A65

Deducing properties of ODEs from their discretization

Authors: G. R. W. Quispel, D. I. McLaren, C. Evripidou

Abstract: We show that some hard to detect properties of quadratic ODEs (eg certain preserved integrals and measures) can be deduced more or less algorithmically from their Kahan discretization, using Darboux Polynomials (DPs). Somewhat similar results hold for ODEs of higher degree/order using certain other birational discretization methods. We show that some hard to detect properties of quadratic ODEs (eg certain preserved integrals and measures) can be deduced more or less algorithmically from their Kahan discretization, using Darboux Polynomials (DPs). Somewhat similar results hold for ODEs of higher degree/order using certain other birational discretization methods. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Comments: 5 pages

MSC Class: 34A05 ACM Class: G.1.7; J.2

The Complete Positivity of Symmetric Tridiagonal and Pentadiagonal Matrices

Authors: Lei Cao, Darian McLaren, Sarah Plosker

Abstract: We provide a decomposition that is sufficient in showing when a symmetric tridiagonal matrix $A$ is completely positive. Our decomposition can be applied to a wide range of matrices. We give alternate proofs for a number of related results found in the literature in a simple, straightforward manner. We show that the cp-rank of any irreducible tridiagonal doubly stochastic matrix is equal to its ra… ▽ More We provide a decomposition that is sufficient in showing when a symmetric tridiagonal matrix $A$ is completely positive. Our decomposition can be applied to a wide range of matrices. We give alternate proofs for a number of related results found in the literature in a simple, straightforward manner. We show that the cp-rank of any irreducible tridiagonal doubly stochastic matrix is equal to its rank. We then consider symmetric pentadiagonal matrices, proving some analogous results, and providing two different decompositions sufficient for complete positivity. We illustrate our constructions with a number of examples. △ Less

Submitted 22 September, 2022; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: 19 pages; added section 4

MSC Class: 05C38; 05C50; 15B51; 15B57

Homogeneous Darboux polynomials and generalising integrable ODE systems

Authors: Peter H. van der Kamp, D. I. McLaren, G. R. W. Quispel

Abstract: We show that any system of ODEs can be modified whilst preserving its homogeneous Darboux polynomials. We employ the result to generalise a hierarchy of integrable Lotka-Volterra systems. We show that any system of ODEs can be modified whilst preserving its homogeneous Darboux polynomials. We employ the result to generalise a hierarchy of integrable Lotka-Volterra systems. △ Less

Submitted 14 June, 2020; v1 submitted 19 February, 2020; originally announced February 2020.

Comments: 6 pages

Centrosymmetric Stochastic Matrices

Authors: Lei Cao, Darian McLaren, Sarah Plosker

Abstract: We consider the convex set $Γ_{m,n}$ of $m\times n$ stochastic matrices and the convex set $Γ_{m,n}^π\subset Γ_{m,n}$ of $m\times n$ centrosymmetric stochastic matrices (stochastic matrices that are symmetric under rotation by 180 degrees). For $Γ_{m,n}$, we demonstrate a Birkhoff theorem for its extreme points and create a basis from certain $(0,1)$-matrices. For $Γ_{m,n}^π$, we characterize its… ▽ More We consider the convex set $Γ_{m,n}$ of $m\times n$ stochastic matrices and the convex set $Γ_{m,n}^π\subset Γ_{m,n}$ of $m\times n$ centrosymmetric stochastic matrices (stochastic matrices that are symmetric under rotation by 180 degrees). For $Γ_{m,n}$, we demonstrate a Birkhoff theorem for its extreme points and create a basis from certain $(0,1)$-matrices. For $Γ_{m,n}^π$, we characterize its extreme points and create bases, whose construction depends on the parity of $m$, using our basis construction for stochastic matrices. For each of $Γ_{m,n}$ and $Γ_{m,n}^π$, we further characterize their extreme points in terms of their associated bipartite graphs, we discuss a graph parameter called the fill and compute it for the various basis elements, and we examine the number of vertices of the faces of these sets. We provide examples illustrating the results throughout. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 12 pages, 1 table, 1 figure

MSC Class: 15B51; 05C35

Detecting and determining preserved measures and integrals of birational maps

Authors: Elena Celledoni, Charalambos Evripidou, David McLaren, Brynjulf Owren, Reinout Quispel, Benjamin Tapley

Abstract: In this paper we use the method of discrete Darboux polynomials to calculate preserved measures and integrals of rational maps. The approach is based on the use of cofactors and Darboux polynomials and relies on the use of symbolic algebra tools. Given sufficient computing power, most, if not all, rational preserved integrals can be found (and even some non-rational ones). We show, in a number o… ▽ More In this paper we use the method of discrete Darboux polynomials to calculate preserved measures and integrals of rational maps. The approach is based on the use of cofactors and Darboux polynomials and relies on the use of symbolic algebra tools. Given sufficient computing power, most, if not all, rational preserved integrals can be found (and even some non-rational ones). We show, in a number of examples, how it is possible to use this method to both determine and detect preserved measures and integrals of the considered rational maps. Many of the examples arise from the Kahan-Hirota-Kimura discretization of completely integrable systems of ordinary differential equations. △ Less

Submitted 13 May, 2022; v1 submitted 12 February, 2019; originally announced February 2019.

Geometric and integrability properties of Kahan's method

Authors: Elena Celledoni, David McLaren, Brynjulf Owren, Reinout Quispel

Abstract: Given a quadratic vector field on \mathbb{R}^n possessing a quadratic first integral depending on two of the independent variables, we give a constructive proof that Kahan's discretization method exactly preserves a nearby modifed integral. Building on this result, we present a family of integrable quadratic vector fields (including the Euler top) whose Kahan discretization is a novel 10-parameter… ▽ More Given a quadratic vector field on \mathbb{R}^n possessing a quadratic first integral depending on two of the independent variables, we give a constructive proof that Kahan's discretization method exactly preserves a nearby modifed integral. Building on this result, we present a family of integrable quadratic vector fields (including the Euler top) whose Kahan discretization is a novel 10-parameter family of integrable maps. △ Less

Submitted 10 January, 2019; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: 8 pages

On Operator Valued Measures

Authors: Darian McLaren, Sarah Plosker, Christopher Ramsey

Abstract: We consider positive operator valued measures whose image is the bounded operators acting on an infinite-dimensional Hilbert space, and we relax, when possible, the usual assumption of positivity of the operator valued measure seen in the quantum information theory literature. We define the Radon-Nikodym derivative of a positive operator valued measure with respect to a complex measure induced by… ▽ More We consider positive operator valued measures whose image is the bounded operators acting on an infinite-dimensional Hilbert space, and we relax, when possible, the usual assumption of positivity of the operator valued measure seen in the quantum information theory literature. We define the Radon-Nikodym derivative of a positive operator valued measure with respect to a complex measure induced by a given quantum state; this derivative does not always exist when the Hilbert space is infinite dimensional in so much as its range may include unbounded operators. We define integrability of a positive quantum random variable with respect to a positive operator valued measure. Emphasis is put on the structure of operator valued measures, and we develop positive operator valued versions of the Lebesque decomposition theorem and Johnson's atomic and nonatomic decomposition theorem. Beyond these generalizations, we make connections between absolute continuity and the "cleanness" relation defined on positive operator valued measures as well as to the notion of atomic and nonatomic measures. △ Less

Submitted 29 October, 2019; v1 submitted 31 December, 2017; originally announced January 2018.

Comments: 20 pages; fixed the proof of Theorem 3.10, and changed definition 2.3 to be an implicit definition

MSC Class: 46B22; 46G10; 47G10; 81P15

Perfect quantum state transfer in weighted paths with potentials (loops) using orthogonal polynomials

Authors: Steve Kirkland, Darian McLaren, Rajesh Pereira, Sarah Plosker, Xiaohong Zhang

Abstract: A simple method for transmitting quantum states within a quantum computer is via a quantum spin chain---that is, a path on $n$ vertices. Unweighted paths are of limited use, and so a natural generalization is to consider weighted paths; this has been further generalized to allow for loops (\emph{potentials} in the physics literature). We study the particularly important situation of perfect state… ▽ More A simple method for transmitting quantum states within a quantum computer is via a quantum spin chain---that is, a path on $n$ vertices. Unweighted paths are of limited use, and so a natural generalization is to consider weighted paths; this has been further generalized to allow for loops (\emph{potentials} in the physics literature). We study the particularly important situation of perfect state transfer with respect to the corresponding adjacency matrix or Laplacian through the use of orthogonal polynomials. Low-dimensional examples are given in detail. Our main result is that PST with respect to the Laplacian matrix cannot occur for weighted paths on $n\geq 3$ vertices nor can it occur for certain symmetric weighted trees. The methods used lead us to a conjecture directly linking the rationality of the weights of weighted paths on $n>3$ vertices, with or without loops, with the capacity for PST between the end vertices with respect to the adjacency matrix. △ Less

Submitted 22 March, 2019; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: 16 pages; some minor updates from previous version

MSC Class: 05C22; 05C50; 15A18; 42C05; 81P45

Journal ref: Linear and Multilinear Algebra (2018): 1-19

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.

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.

Comments: 20 pages

MSC Class: 94A08; 37N30; 65D18

Volume Preservation by Runge-Kutta Methods

Authors: Philipp Bader, David I McLaren, G. R. W. Quispel, Marcus Webb

Abstract: It is a classical theorem of Liouville that Hamiltonian systems preserve volume in phase space. Any symplectic Runge-Kutta method will respect this property for such systems, but it has been shown that no B-Series method can be volume preserving for all volume preserving vector fields (BIT 47 (2007) 351-378 and IMA J. Numer. Anal. 27 (2007) 381-405). In this paper we show that despite this result,… ▽ More It is a classical theorem of Liouville that Hamiltonian systems preserve volume in phase space. Any symplectic Runge-Kutta method will respect this property for such systems, but it has been shown that no B-Series method can be volume preserving for all volume preserving vector fields (BIT 47 (2007) 351-378 and IMA J. Numer. Anal. 27 (2007) 381-405). In this paper we show that despite this result, symplectic Runge-Kutta methods can be volume preserving for a much larger class of vector fields than Hamiltonian systems, and discuss how some Runge-Kutta methods can preserve a modified measure exactly. △ Less

Submitted 2 July, 2015; originally announced July 2015.

Comments: 17 pages, as submitted to journal

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.

MSC Class: 37K10; 37P05; 65P10

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.

Projection methods and discrete gradient methods for preserving first integrals of ODEs

Authors: R. A. Norton, D. I. McLaren, G. R. W. Quispel, A. Stern, A. Zanna

Abstract: In this paper we study linear projection methods for approximating the solution and simultaneously preserving first integrals of autonomous ordinary differential equations. We show that (linear) projection methods are a subset of discrete gradient methods. In particular, each projection method is equivalent to a class of discrete gradient methods (where the choice of discrete gradient is arbitrary… ▽ More In this paper we study linear projection methods for approximating the solution and simultaneously preserving first integrals of autonomous ordinary differential equations. We show that (linear) projection methods are a subset of discrete gradient methods. In particular, each projection method is equivalent to a class of discrete gradient methods (where the choice of discrete gradient is arbitrary) and earlier results for discrete gradient methods also apply to projection methods. Thus we prove that for the case of preserving one first integral, under certain mild conditions, the numerical solution for a projection method exists and is locally unique, and preserves the order of accuracy of the underlying method. In the case of preserving multiple first integrals the relationship between projection methods and discrete gradient methods persists. Moreover, numerical examples show that similar existence and order results should also hold for the multiple integral case. For completeness we show how existing projection methods from the literature fit into our general framework. △ Less

Submitted 12 February, 2013; originally announced February 2013.

Comments: 31 pages, 4 figures

MSC Class: 65D30; 65L20; 37M99; 65P10

Journal ref: Discrete Contin. Dyn. Syst., 35 (5), 2079-2098, 2015

Preserving energy resp. dissipation in numerical PDEs using the "Average Vector Field" method

Authors: E. Celledoni, V. Grimm, R. I. McLachlan, D. I. McLaren, D. O'Neale, B. Owren, G. R. W. Quispel

Abstract: We give a systematic method for discretizing Hamiltonian partial differential equations (PDEs) with constant symplectic structure, while preserving their energy exactly. The same method, applied to PDEs with constant dissipative structure, also preserves the correct monotonic decrease of energy. The method is illustrated by many examples. In the Hamiltonian case these include: the sine-Gordon, Kor… ▽ More We give a systematic method for discretizing Hamiltonian partial differential equations (PDEs) with constant symplectic structure, while preserving their energy exactly. The same method, applied to PDEs with constant dissipative structure, also preserves the correct monotonic decrease of energy. The method is illustrated by many examples. In the Hamiltonian case these include: the sine-Gordon, Korteweg-de Vries, nonlinear Schrodinger, (linear) time-dependent Schrodinger, and Maxwell equations. In the dissipative case the examples are: the Allen-Cahn, Cahn-Hilliard, Ginzburg-Landau, and heat equations. △ Less

Submitted 21 February, 2012; originally announced February 2012.