Mathematical Physics
[Submitted on 16 May 2015 (v1), last revised 24 Aug 2015 (this version, v2)]
Title:Lie algebras of conservation laws of variational partial differential equations
View PDFAbstract:We establish a version of the first Noether Theorem, according to which the (equivalence classes of) conserved quantities of given Euler-Lagrange equations in several independent variables are in one-to-one correspondence with the (equivalence classes of) vector fields satisfying an appropriate pair of geometric conditions, namely: (a) they preserve the class of vector fields tangent to holonomic submanifolds of a jet space; (b) they leave invariant the action, from which the Euler-Lagrange equations are derived, modulo terms identically vanishing along holonomic submanifolds. Such correspondence between symmetries and conservation laws is built on an explicit linear map f_A from the vector fields satisfying (a) and (b) into the conserved differential operators, and not into their divergences as it occurs in other proofs of Noether Theorem. This map f_A is not new: it is the map determined by contracting symmetries with a form of Poincare'-Cartan type A and it is essentially the same considered for instance in a paper by Kupershmidt. There it was shown that f_A determines a bijection between symmetries and conservation laws in a special form. Here we show that, if appropriate regularity assumptions are satisfied, any conservation law is equivalent to one that belongs to the image of f_A, proving that the corresponding induced map F_A between equivalence classes of symmetries and equivalence classes of conservation laws is actually a bijection. All results are given coordinate-free formulations and rely just on basic differential geometric properties of finite-dimensional manifolds.
Submission history
From: Andrea Spiro [view email][v1] Sat, 16 May 2015 09:20:35 UTC (33 KB)
[v2] Mon, 24 Aug 2015 18:04:27 UTC (35 KB)
Current browse context:
math
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.