Non-Noether symmetries in integrable models

George Chavchanidze
Department of Theoretical Physics,A. Razmadze Institute of Mathematics,1 Aleksidze Street, Tbilisi 0193, Georgia
abstract. In the present paper the non-Noether symmetries of theToda model, nonlinear Schödinger equation andKorteweg-de Vries equations (KdV and mKdV) arediscussed. It appears that these symmetries yield thecomplete sets of conservation laws in involution andlead to the bi-Hamiltonian realizations of the above mentionedmodels.
keywords. Non-Noether symmetries; Integrable models; bi-Hamiltonian systems;nonlinear Schrödinger equation; Korteweg-de Vries equation;Toda chain
msc. 70H33, 70H06, 58J70, 53Z05, 35A30
J. Phys. A: Math. Gen. 37 (2004) 2253-2260
Because of their exceptional properties the non-Noether symmetries could beeffectively used in analysis of Hamiltonian dynamical systems.From the geometric point of view these symmetries are importantbecause of their tight relationship with geometric structures on phase spacesuch as bi-Hamiltonian structures, Frölicher-Nijenhuis operators,Lax pairs and bicomplexes [1]. The correspondencebetween non-Noether symmetries and conservation laws is also interesting andin regular Hamiltonian systems on 2n dimensional Poisson manifoldup to n integrals of motion could be associated with each generatorof non-Noether symmetry [1] [3].As a result non-Noether symmetries could be especially useful in analysis ofHamiltonian systems with many degrees of freedom, as well as infinite dimensionalHamiltonian systems, where large (and even infinite) number of conservation lawscould be constructed from thesingle generator of such a symmetry. Under certain conditions satisfied by thesymmetry generator these conservation laws appear to be involutive and ensureintegrability of the dynamical system.
The n-particle non periodic Toda model is one of integrable modelsthat possesses such a nontrivial symmetry. In this model non-Noether symmetry(which is one-parameter group of noncannonical transformations)yields conservation laws that appear to be functionally independent,involutive and ensure the integrability of this dynamical system.Well known bi-Hamiltonian realizationof the Toda model is also related to this symmetry.
Nonlinear Schrödinger equation is another important examplewhere symmetry (again one-parameter group) leads to the infinite sequence ofconservation laws in involution. The KdV and mKdV equations also possessnon-Noether symmetries which are quite nontrivial (but symmetry group isstill one-parameter) and in each model the infinite set of conservation laws isassociated with the single generator of the symmetry.
Before we consider these models in detail we briefly remind some basic factsconcerning symmetries of Hamiltonian systems. Since throughout the articlecontinuous one-parameter groups of symmetries play central role let us remind thateach vector field E on the phase space M of theHamiltonian dynamical system defines continuous one-parameter group oftransformations (flow)gz = ezLEwhere LE denotes Lie derivative along thevector field E. Action of this group on observables (smoothfunctions on M) is given by expansiongz(f) = ezLE(f) =f + zLEf + ½(zLE)2f + ⋯Further it will be assumed that M is 2n dimensionalsymplectic manifold and the group of transformations gzwill be called symmetry of Hamiltonian system if it preserves manifold of solutionsof Hamilton's equationddtf = {h , f}(here { , } denotes Poisson bracket defined in a standard mannerby Poisson bivector field {f , g} = W(df ∧ dg) and his smooth function on M called Hamiltonian) or in other words if foreach f satisfying Hamilton's equation gz(f)also satisfies it. This happens when gz commuteswith time evolution operatorddtgz(f) = gz(ddtf)If in addition the generator E of the group gzdoes not preserve Poisson bracket structure[E , W] ≠ 0 then the gz is callednon-Noether symmetry. Let us briefly recall some basic features of non-Noethersymmetries. First of all if E generates non-Noether symmetrythen the n functionsYk =iWk(LEω)k      k = 1,2, ... n(where ω is symplectic form obtained by inverting Poissonbivector W and s denotes contraction) are integralsof motion (see [1] [3])and if additionally the symmetry generatorE satisfies Yang-Baxter equation[[E[E , W]]W] = 0these conservation laws Yk appear to be in involution{Yk, Ym} = 0while the bivector fields W and [E , W](or in terms of 2-forms ω and LEω)form bi-Hamiltonian system (see [1]). Due to this featuresnon-Noether symmetries could be effectively used in construction of conservation lawsand bi-Hamiltonian structures.
Now let us focus on non-Noether symmetry of the Toda model –2n dimensional Hamiltonian system that describes the motionof n particles on the line governed by the exponential interaction.Equations of motion of the non periodic n-particle Toda model areddtqs = psddtps =ε(s − 1)eqs − 1 − qs −ε(n − s)eqs − qs + 1(ε(k) = − ε(− k) = 1 for any natural k and ε(0) = 0) and could be rewritten in Hamiltonian form(3) with canonical Poisson bracket derived from symplectic formω = ns = 1dps ∧ dqsand Hamiltonian equal toh = ½ns=1ps2 +n−1s=1eqs − qs + 1The group of transformations gz generated by the vector fieldE will be symmetry of Toda chain if for eachps, qs satisfying Toda equations(7)gz(ps), gz(qs)also satisfy it.Substituting infinitesimal transformationsgz(ps) = ps + zE(ps) + O(z2)gz(ps) = qs + zE(qs) + O(z2)into (7) and grouping first order terms gives rise to theconditionsddtE(qs) = E(ps)ddtE(ps) = ε(s − 1)eqs − 1 − qs(E(qs − 1) − E(qs))− ε(n − s)eqs − qs + 1(E(qs) − E(qs + 1))One can verify that the vector field defined byE(ps) = ½ps2 +ε(s − 1)(n − s + 2)eqs − 1 − qs −ε(n − s)(n − s) eqs − qs + 1 + t2(ε(s − 1)(ps − 1 + ps)eqs − 1 − qs −ε(n − s)(ps + ps + 1)eqs − qs + 1E(qs) = (n − s + 1)ps −½s−1k=1pknk=s+1pk+ t2(ps2 +ε(s − 1)eqs − 1 − qs +ε(n − s)eqs − qs + 1)satisfies (11) and generates symmetry of Toda chain. It appears that this symmetry is non-Noether since it does notpreserve Poisson bracket structure [E , W] ≠ 0and additionally one can check that Yang-Baxter equation[[E[E , W]]W] = 0 is satisfied.This symmetry could play important role inanalysis of Toda model. First let us note that calculating LEωleads to the following 2-formLEω = ns=1psdps ∧ dqs +n−1s=1eqs − qs + 1dqs ∧ qs + 1 +  r < sdpr ∧ dpsand together ω and LEω give rise tobi-Hamiltonian structure of Toda model (compare with [2]).The conservation laws (5)associated with the symmetry reproduce well knownset of conservation laws of Toda chain.I1 = Y1 = ns=1psI2 = ½Y12 − Y2ns=1ps2 +n−1s=1eqs − qs + 1I3 = 13Y13 − Y1Y2 + Y3 =13ns=1ps3 +n−1s=1(ps + ps + 1)eqs − qs + 1I4 = ¼Y14 −Y12Y2 + ½Y22 +Y1Y3 − Y4= ¼ns=1ps4 +n−1s=1(ps2 + 2psps + 1 +ps + 12) eqs − qs + 1+ ½n−1s=1e2(qs − qs + 1) +n−2s=1eqs − qs + 2 Im = (− 1)mYm + m− 1m−1k=1(− 1)kIm − kYkThe condition [[E[E , W]]W] = 0 satisfied by generator of thesymmetry E ensures that the conservation laws are in involutioni. e. {Yk,Ym} = 0.Thus the conservation laws as well as the bi-Hamiltonian structureof the non periodic Toda chain appear to be associated with non-Noether symmetry.
Unlike the Toda model the dynamical systems in our next examples areinfinite dimensional and in order to ensure integrability one should constructinfinite number of conservation laws. Fortunately in several integrable modelsthis task could be effectively done by identifying appropriate non-Noether symmetry.First let us consider well known infinite dimensional integrable Hamiltonian system –nonlinear Schrödinger equation (NSE)ut = i(uxx + 2u2ū)where u is a smooth complex function of(t, x) ∈ ℝ2. On this stage we will not specify anyboundary conditions and will just focus on symmetries of NSE. Supposing that thevector field E generates the symmetry of NSE one gets the followingrestrictionE(u)t = i[E(u)xx + 2u2E(ū)+ 4uūE(u)](obtained by substituting infinitesimal transformationu → u + zE(u) + O(z2) generated by Einto NSE). It appears that NSE possesses nontrivial symmetry that is generated by thevector fieldE(u) = i(ux + x2uxx + uv + xu2ū) −t(uxxx + 6uūux)(here v is defined by vx = uū).In order to construct conservation laws we also need to know Poisson bracketstructure and it appears that invariant Poisson bivector field could be definedif u is subjected to either periodicu(t, − ∞) = u(t, + ∞) or zerou(t, − ∞) = u(t, + ∞) = 0 boundaryconditions. In terms of variational derivatives the explicit form of the Poisson bivector field isW = i+ ∞− ∞dx δδuδδūwhile corresponding symplectic form obtained by inverting W isω = i+ ∞− ∞dx δu ∧ δūNow one can check that NSE could be rewritten in Hamiltonian formut = {h , u}with Poisson bracket { , } defined by W andh = + ∞− ∞dx (u2ū2 − uxūx)Knowing the symmetry of NSE that appears to be non-Noether([E, W] ≠ 0) one can construct bi-Hamiltonian structure andconservation laws. First let us calculate Lie derivative of symplectic form along the symmetrygeneratorLEω = + ∞− ∞[δux ∧ δū + uδv ∧ δū + ūδv ∧ δu]dxThe couple of 2-forms ω and LEωexactly reproduces the bi-Hamiltonian structure of NSE proposed by Magri[4] while the conservation laws associated with this symmetryare well known conservation laws of NSEI1 = Y1 = 2+ ∞− ∞uū dxI2 = Y12 − 2Y2 = i+ ∞− ∞xu − uxū) dxI3 = Y13 − 3Y1Y2+ 3Y3 = 2+ ∞− ∞ (u2ū2 − uxūx) dxI4 = Y14 − 4Y12Y2 +2Y22 + 4Y1Y3 − 4Y4 = + ∞− ∞[i(ūxuxx − uxūxx)+ 3i(ūu2ūx − uū2ux)] dx Im = (− 1)mmYm +m − 1k = 1(− 1)kIm − kYkThe involutivity of the conservation laws of NSE{Yk, Ym} = 0 is related to the fact thatE satisfies Yang-Baxter equation [[E[E , W]]W] = 0.
Now let us consider other important integrable models –Korteweg-de Vries equation (KdV) and modified Korteweg-de Vries equation (mKdV).Here symmetries are more complicated but generator of the symmetry still can beidentified and used in construction of conservation laws. The KdV and mKdV equationshave the following formut + uxxx + uux = 0 [KdV]andut + uxxx − 6u2ux = 0 [mKdV](here u is smooth function of (t, x) ∈ ℝ2).The generators of symmetries of KdV and mKdV should satisfy conditionsE(u)t + E(u)xxx + uxE(u) + uE(u)x = 0 [KdV]andE(u)t + E(u)xxx − 12uuxE(u) − 6u2E(u)x = 0 [mKdV](again this conditions are obtained by substituting infinitesimal transformationu → u + zE(u) + O(z2) into KdV and mKdV, respectively).Further we will focus on the symmetries generated by the following vector fieldsE(u) = 12uxx + 16u2 +124uxv + x8(uxxx + uux)t16(6uxxxxx + 20uxuxx +10 uuxxx + 5u2ux) [KdV]andE(u) = − 32uxx + 2u3+ uxw − x2(uxxx − 6u2ux)3t2(uxxxxx − 10u2uxxx− 40uuxuxx − 10ux3+ 30u4ux) [mKdV](here v and w are defined by vx = uand wx = u2)To construct conservation laws we need to know Poisson bracket structureand again like in the case of NSE the Poisson bivector field is well definedwhen u is subjected to either periodicu(t, − ∞) = u(t, + ∞) or zerou(t, − ∞) = u(t, + ∞) = 0 boundaryconditions. For both KdV and mKdV the Poisson bivector field isW = + ∞− ∞dx δδuδδvwith corresponding symplectic formω = + ∞− ∞dx δu ∧ δvleading to Hamiltonian realization of KdV and mKdV equationsut = {h , u}with Hamiltoniansh = + ∞− ∞(ux2u33) dx [KdV]andh = + ∞− ∞(ux2 + u4) dx [mKdV]By taking Lie derivative of thesymplectic form along the generators of the symmetries one getsanother couple of symplectic formsLEω = + ∞− ∞dx (δu ∧ δux + 23uδu ∧ δv) [KdV]LEω = + ∞− ∞dx (δu ∧ δux − 2uδu ∧ δw) [mKdV]involved in bi-Hamiltonian realization of KdV/mKdV hierarchies andproposed by Magri [4]. The conservation laws associated withthe symmetries reproduce infinite sequence of conservation laws of KdV equationI1 = Y1 =23+ ∞− ∞u dx I2 = Y1 − 2Y2 =49+ ∞− ∞u2 dx I3 = Y13 − 3Y1Y2 + 3Y3 =89+ ∞− ∞(u33 − ux2) dx I4 = Y14 − 4Y12Y2 +2Y22 + 4Y1Y3 − 4Y4 = 6445+ ∞− ∞(536u453uux2 + uxx2) dx Im = (− 1)mmYm +m − 1k = 1(− 1)kIm − kYkand mKdV equationI1 = Y1 = − 4+ ∞− ∞u2 dx I2 = Y1 − 2Y2 = 16+ ∞− ∞(u4 + ux2) dx I3 = Y13 − 3Y1Y2+ 3Y3 = − 32+ ∞− ∞(2u6 + 10 u2ux2+ uxx2) dx I4 = Y14 − 4Y12Y2 +2Y22 + 4Y1Y3 − 4Y4 = 2565+ ∞− ∞(5 u8+ 70u4ux2 − 7ux4+ 14u2uxx2 + uxxx2) dx Im = (− 1)mmYm +m − 1k = 1(− 1)kIm − kYkThe involutivity of these conservation laws is well known and in terms of the symmetrygenerators it is ensured by conditions [[E[E , W]]W] = 0.Thus the conservation laws and bi-Hamiltonian structures of KdV and mKdVhierarchies are related to the non-Noether symmetries of KdV and mKdV equations.
summary. The purpose of the present paper was to illustrate some features ofnon-Noether symmetries discussed in [1] andto show that in several important integrable models existence of complete sets ofconservation laws could be related to the such symmetries.

References

  1. G. Chavchanidze Non-Noether symmetries and their influence on phase space geometry J. Geom. Phys. 48, 190-202 2003
  2. A. Das Integrable models World Scientific Lecture Notes in Physics, Vol. 30, World Scientific, Singapore 1989
  3. M. Lutzky New derivation of a conserved quantity for Lagrangian systems J. of Phys. A: Math. Gen. 15 L721-722 1998
  4. F. Magri A simple model of the integrable Hamiltonian equation J. Math. Phys. 19 (5) 1156-1162 1978