Algorithmic computation of generalized symmetries of nonlinear evolution and lattice equations

A straightforward algorithm for the symbolic computation of generalized (higher‐order) symmetries of nonlinear evolution equations and lattice equations is presented. The scaling properties of the evolution or lattice equations are used to determine the polynomial form of the generalized symmetries. The coefficients of the symmetry can be found by solving a linear system. The method applies to polynomial systems of PDEs of first order in time and arbitrary order in one space variable. Likewise, lattices must be of first order in time but may involve arbitrary shifts in the discretized space variable.The algorithm is implemented in Mathematica and can be used to test the integrability of both nonlinear evolution equations and semi‐discrete lattice equations. With our Integrability Package, generalized symmetries are obtained for several well‐known systems of evolution and lattice equations. For PDEs and lattices with parameters, the code allows one to determine the conditions on these parameters so that a sequence of generalized symmetries exists. The existence of a sequence of such symmetries is a predictor for integrability.

[1]  Mark Kac,et al.  On an Explicitly Soluble System of Nonlinear Differential Equations Related to Certain Toda Lattices , 1975 .

[2]  J. D. Gibbon,et al.  The prolongation structure of a higher order Korteweg-de Vries equation , 1978, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[3]  David J. Kaup,et al.  On the Inverse Scattering Problem for Cubic Eigenvalue Problems of the Class ψxxx + 6Qψx + 6Rψ = λψ , 1980 .

[4]  W. Hereman,et al.  Computation of conserved densities for systems of nonlinear differential-difference equations1 , 1997, solv-int/9704016.

[5]  Jan A. Sanders,et al.  One symmetry does not imply integrability , 1998 .

[6]  Allan P. Fordy,et al.  Some remarkable nonlinear transformations , 1980 .

[7]  Vladimir P. Gerdt,et al.  Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems , 1990, ISSAC '90.

[8]  D. Levi,et al.  Symmetries and conditional symmetries of differential difference equations , 1993 .

[9]  Ryogo Hirota,et al.  Resonance of Solitons in One Dimension , 1983 .

[10]  B. Fuchssteiner,et al.  Symmetries, conserved quantities, and hierarchies for some lattice systems with soliton structure , 1991 .

[11]  R. Hirota,et al.  Soliton solutions of a coupled Korteweg-de Vries equation , 1981 .

[12]  M. Ablowitz,et al.  Solitons, Nonlinear Evolution Equations and Inverse Scattering , 1992 .

[13]  W. Hereman,et al.  Algorithmic computation of symmetries, invariants and recursion operators for systems of nonlinear evolution and differential-difference equations , 1998 .

[14]  M. Ablowitz,et al.  Nonlinear differential–difference equations and Fourier analysis , 1976 .

[15]  V. Sokolov,et al.  The Symmetry Approach to Classification of Integrable Equations , 1991 .

[16]  Willy Hereman,et al.  Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations , 1997, J. Symb. Comput..

[17]  M. Hénon,et al.  Integrals of the Toda lattice , 1974 .

[18]  Mark J. Ablowitz,et al.  A Nonlinear Difference Scheme and Inverse Scattering , 1976 .

[19]  B. Fuchssteiner,et al.  Mastersymmetries and Multi-Hamiltonian Formulations for Some Integrable Lattice Systems , 1989 .

[20]  Morikazu Toda,et al.  Theory Of Nonlinear Lattices , 1981 .

[21]  Y. Suris.  New integrable systems related to the relativistic Toda lattice , 1996, solv-int/9605006.

[22]  David J. Kaup,et al.  A Bäcklund Transformation for a Higher Order Korteweg-De Vries Equation , 1977 .

[23]  G. Bluman,et al.  Erratum: Integrating factors and first integrals for ordinary differential equations , 1999, European Journal of Applied Mathematics.

[24]  Decio Levi,et al.  Conditions for the existence of higher symmetries of evolutionary equations on the lattice , 1997 .

[25]  K. M. Tamizhmani,et al.  An integrability test for differential-difference systems , 1992 .

[26]  B. Fuchssteiner,et al.  Algorithmic determination of infinite-dimensional symmetry groups for integrable systems in 1 + 1 dimensions , 1997 .

[27]  P. Olver.  Applications of Lie Groups to Differential Equations , 1986 .

[28]  Willy Hereman,et al.  Review of symbolic software for lie symmetry analysis , 1997 .

[29]  Y. Suris.  On some integrable systems related to the Toda lattice , 1996, solv-int/9605010.

[30]  Masaaki Ito.  A reduce program for finding symmetries of nonlinear evolution equations with uniform rank , 1986 .

[31]  D. J. Benney.  Some Properties of Long Nonlinear Waves , 1973 .

[32]  V. Rosenhaus,et al.  On symmetries, conservation laws, and variational problems for partial differential equations , 1994 .

[33]  Peter J. Olver,et al.  Evolution equations possessing infinitely many symmetries , 1977 .

[34]  W. Hereman,et al.  Integrability Tests for Nonlinear Evolution Equations , 1999, solv-int/9904022.

[35]  P. Lax.  INTEGRALS OF NONLINEAR EQUATIONS OF EVOLUTION AND SOLITARY WAVES. , 1968 .

[36]  Willy Hereman,et al.  Computation of conservation laws for nonlinear lattices , 1998, solv-int/9801023.

[37]  G. Bluman,et al.  Direct Construction of Conservation Laws from Field Equations , 1997 .

[38]  S. Sawada,et al.  A Method for Finding N-Soliton Solutions of the KdV and KdV-Like Equation , 1974 .

[39]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[40]  G. Wilson,et al.  Modifying Lax equations and the second Hamiltonian structure , 1980 .

[41]  Athanassios S. Fokas,et al.  A symmetry approach to exactly solvable evolution equations , 1980 .

[42]  Masaaki Ito,et al.  SYMCD—a REDUCE package for finding symmetries and conserved densities of systems of nonlinear evolution equations , 1994 .

[43]  B. Fuchssteiner,et al.  Computer-algebra methods for investigation of hereditary operators of higher order soliton equations , 1987 .

[44]  Athanassios S. Fokas,et al.  Symmetries and Integrability , 1987 .