arXiv subjects

Elizabeth L. Mansfield

Publications and source records attributed to Elizabeth L. Mansfield.

9 recordsLinked to original sources

arXiv2023

On discrete analogues of potential vorticity for variational shallow water systems

We outline how discrete analogues of the conservation of potential vorticity may be achieved in Finite Element numerical schemes for a variational system which has the particle relabelling symmetry, typically shallow water equations. We show that the discrete analogue of the conservation law for potential vorticity converges to the smooth law for potential vorticity, and moreover, for a strong solution, is the weak version of the potential vorticity law. This result rests on recent results by the author with T. Pryer concerning discrete analogues of conservation laws in Finite Element variational problems, together with an observation by P. Hydon concerning how the conservation of potential vorticity in smooth systems arises as a consequence of the linear momenta. The purpose of this paper is to provide all the necessary information for the implementation of the schemes and the necessary numerical tests. A brief tutorial on Noether's theorem is included to demonstrate the origin of the laws and to demonstrate that the numerical method follows the same basic principle, which is that the law follows directly from the Lie group invariance of the Lagrangian.

math.NA↗

arXiv2014

Moving Frames and Noether's Conservation Laws - the General Case

In recent works, the authors considered various Lagrangians, which are invariant under a Lie group action, in the case where the independent variables are themselves invariant. Using a moving frame for the Lie group action, they showed how to obtain the invariantized Euler-Lagrange equations and the space of conservation laws in terms of vectors of invariants and the adjoint representation of a moving frame. In this paper, we show how these calculations extend to the general case where the independent variables may participate in the action. We take for our main expository example the standard linear action of SL(2) on the two independent variables. This choice is motivated by applications to variational fluid problems which conserve potential vorticity. We also give the results for Lagrangians invariant under the standard linear action of SL(3) on the three independent variables.

math.DG↗

arXiv2012

Moving Frames and Conservation Laws for Euclidean Invariant Lagrangians

Noether's First Theorem yields conservation laws for Lagrangians with a variational symmetry group. The explicit formulae for the laws are well known and the symmetry group is known to act on the linear space generated by the conservation laws. In recent work the authors showed the mathematical structure behind both the Euler-Lagrange system and the set of conservation laws, in terms of the differential invariants of the group action and a moving frame. In this paper we demonstrate that the knowledge of this structure considerably eases finding the extremal curves for variational problems invariant under the special Euclidean groups SE(2) and SE(3).

math.DG↗

arXiv2011

On Moving Frames and Noether's Conservation Laws

Noether's Theorem yields conservation laws for a Lagrangian with a variational symmetry group. The explicit formulae for the laws are well known and the symmetry group is known to act on the linear space generated by the conservation laws. The aim of this paper is to explain the mathematical structure of both the Euler-Lagrange system and the set of conservation laws, in terms of the differential invariants of the group action and a moving frame. For the examples we demonstrate, knowledge of this structure allows the Euler-Lagrange equations to be integrated with relative ease. Our methods take advantage of recent advances in the theory of moving frames by Fels and Olver, and in the symbolic invariant calculus by Hubert. The results here generalise those appearing in Kogan and Olver [1] and in Mansfield [2]. In particular, we show results for high dimensional problems and classify those for the three inequivalent SL(2) actions in the plane.

math.DG↗

arXiv2011

Extensions of Noether's Second Theorem: from continuous to discrete systems

A simple local proof of Noether's Second Theorem is given. This proof immediately leads to a generalization of the theorem, yielding conservation laws and/or explicit relationships between the Euler--Lagrange equations of any variational problem whose symmetries depend upon a set of free or partly-constrained functions. Our approach extends further to deal with finite difference systems. The results are easy to apply; several well-known continuous and discrete systems are used as illustrations.

math-ph↗

arXiv1994

Symmetry Reductions and Exact Solutions of Shallow Water Wave Equations

In this paper we study symmetry reductions and exact solutions of the shallow water wave (SWW) equation $$u_{xxxt} + αu_x u_{xt} + βu_t u_{xx} - u_{xt} - u_{xx} = 0,\eqno(1)$$ where $α$ and $β$ are arbitrary, nonzero, constants, which is derivable using the so-called Boussinesq approximation. Two special cases of this equation, or the equivalent nonlocal equation obtained by setting $u_x=U$, have been discussed in the literature. The case $α=2β$ was discussed by Ablowitz, Kaup, Newell and Segur [{\it Stud.\ Appl.\ Math.}, {\bf53} (1974) 249], who showed that this case was solvable by inverse scattering through a second order linear problem. This case and the case $α=β$ were studied by Hirota and Satsuma [{\it J.\ Phys.\ Soc.\ Japan}, {\bf40} (1976) 611] using Hirota's bi-linear technique. Further the case $α=β$ is solvable by inverse scattering through a third order linear problem. In this paper a catalogue of symmetry reductions is obtained using the classical Lie method and the nonclassical method due to Bluman and Cole [{\it J.\ Math.\ Mech.\/}, {\bf 18} (1969) 1025]. The classical Lie method yields symmetry reductions of (1) expressible in terms of the first, third and fifth \p\ transcendents and Weierstrass elliptic functions. The nonclassical method yields a plethora of exact solutions of (1) with $α=β$ which possess a rich variety of qualitative behaviours. These solutions all like a two-soliton solution for $t<0$ but differ radically for $t>0$ and may be viewed as a nonlinear superposition of two solitons, one travelling to the left with arbitrary speed and the other to the right with equal and opposite speed.

solv-int↗

arXiv1994

Algorithms for the Nonclassical Method of Symmetry Reductions

In this article we present first an algorithm for calculating the determining equations associated with so-called ``nonclassical method'' of symmetry reductions (a la Bluman and Cole) for systems of partial differentail equations. This algorithm requires significantly less computation time than that standardly used, and avoids many of the difficulties commonly encountered. The proof of correctness of the algorithm is a simple application of the theory of Grobner bases. In the second part we demonstrate some algorithms which may be used to analyse, and often to solve, the resulting systems of overdetermined nonlinear PDEs. We take as our principal example a generalised Boussinesq equation, which arises in shallow water theory. Although the equation appears to be non-integrable, we obtain an exact ``two-soliton'' solution from a nonclassical reduction.

solv-int↗

arXiv1994

On a Shallow Water Wave Equation

In this paper we study a shallow water equation derivable using the Boussinesq approximation, which includes as two special cases, one equation discussed by Ablowitz et. al. [Stud. Appl. Math., 53 (1974) 249--315] and one by Hirota and Satsuma [J. Phys. Soc. Japan}, 40 (1976) 611--612]. A catalogue of classical and nonclassical symmetry reductions, and a Painleve analysis, are given. Of particular interest are families of solutions found containing a rich variety of qualitative behaviours. Indeed we exhibit and plot a wide variety of solutions all of which look like a two-soliton for t>0 but differ radically for t<0. These families arise as nonclassical symmetry reduction solutions and solutions found using the singular manifold method. This example shows that nonclassical symmetries and the singular manifold method do not, in general, yield the same solution set. We also obtain symmetry reductions of the shallow water equation solvable in terms of solutions of the first, third and fifth Painleve equations. We give evidence that the variety of solutions found which exhibit ``nonlinear superposition'' is not an artefact of the equation being linearisable since the equation is solvable by inverse scattering. These solutions have important implications with regard to the numerical analysis for the shallow water equation we study, which would not be able to distinguish the solutions in an initial value problem since an exponentially small change in the initial conditions can result in completely different qualitative behaviours.

solv-int↗

arXiv1993

Symmetry Reductions and Exact Solutions of a class of Nonlinear Heat Equations

Classical and nonclassical symmetries of the nonlinear heat equation $$u_t=u_{xx}+f(u),\eqno(1)$$ are considered. The method of differential Gröbner bases is used both to find the conditions on $f(u)$ under which symmetries other than the trivial spatial and temporal translational symmetries exist, and to solve the determining equations for the infinitesimals. A catalogue of symmetry reductions is given including some new reductions for the linear heat equation and a catalogue of exact solutions of (1) for cubic $f(u)$ in terms of the roots of $f(u)=0$.

solv-int↗