arXiv subjects

P. E. Hydon

Publications and source records attributed to P. E. Hydon.

4 recordsLinked to original sources

arXiv2021

A new technique for preserving conservation laws

This paper introduces a new symbolic-numeric strategy for finding semidiscretizations of a given PDE that preserve multiple local conservation laws. We prove that for one spatial dimension, various one-step time integrators from the literature preserve fully discrete local conservation laws whose densities are either quadratic or a Hamiltonian. The approach generalizes to time integrators with more steps and conservation laws of other kinds; higher-dimensional PDEs can be treated by iterating the new strategy. We use the Boussinesq equation as a benchmark and introduce new families of schemes of order two and four that preserve three conservation laws. We show that the new technique is practicable for PDEs with three dependent variables, introducing as an example new families of second-order schemes for the potential Kadomtsev-Petviashvili equation.

math.NA↗

arXiv2019

Moving Frames and Noether's Finite Difference Conservation Laws I

We consider the calculation of Euler--Lagrange systems of ordinary difference equations, including the difference Noether's Theorem, in the light of the recently-developed calculus of difference invariants and discrete moving frames. We introduce the difference moving frame, a natural discrete moving frame that is adapted to difference equations by prolongation conditions. For any Lagrangian that is invariant under a Lie group action on the space of dependent variables, we show that the Euler--Lagrange equations can be calculated directly in terms of the invariants of the group action. Furthermore, Noether's conservation laws can be written in terms of a difference moving frame and the invariants. We show that this form of the laws can significantly ease the problem of solving the Euler--Lagrange equations, and we also show how to use a difference frame to integrate Lie group invariant difference equations. In this Part I, we illustrate the theory by applications to Lagrangians invariant under various solvable Lie groups. The theory is also generalized to deal with variational symmetries that do not leave the Lagrangian invariant. Apart from the study of systems that are inherently discrete, one significant application is to obtain geometric (variational) integrators that have finite difference approximations of the continuous conservation laws embedded \textit{a priori}. This is achieved by taking an invariant finite difference Lagrangian in which the discrete invariants have the correct continuum limit to their smooth counterparts. We show the calculations for a discretization of the Lagrangian for Euler's elastica, and compare our discrete solution to that of its smooth continuum limit.

math.NA↗

arXiv2007

Multisymplectic formulation of fluid dynamics using the inverse map

We construct multisymplectic formulations of fluid dynamics using the inverse of the Lagrangian path map. This inverse map -- the ``back-to-labels'' map -- gives the initial Lagrangian label of the fluid particle that currently occupies each Eulerian position. Explicitly enforcing the condition that the fluid particles carry their labels with the flow in Hamilton's principle leads to our multisymplectic formulation. We use the multisymplectic one-form to obtain conservation laws for energy, momentum and an infinite set of conservation laws arising from the particle-relabelling symmetry and leading to Kelvin's circulation theorem. We discuss how multisymplectic numerical integrators naturally arise in this approach.

math.DS↗

arXiv2006

Integrability conditions for nonautonomous quad-graph equations

This paper presents a systematic investigation of the integrability conditions for nonautonomous quad-graph maps, using the Lax pair approach, the ultra-local singularity confinement criterion and direct construction of conservation laws. We show that the integrability conditions derived from each of the methods are the one and the same, suggesting that there exists a deep connection between these techniques for partial difference equations.

nlin.SI↗