Symbolic computation of polynomial conserved densities, generalized symmetries, and recursion operators for nonlinear differential-difference equations

Algorithms for the symbolic computation of polynomial conserved densities, fluxes, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations are presented. In the algorithms we use discrete versions of the Frechet and variational derivatives, as well as discrete Euler and homotopy operators. The algorithms are illustrated for prototypical nonlinear polynomial lattices, including the Kac-van Moerbeke (Volterra) and Toda lattices. Results are shown for the modified Volterra and Ablowitz-Ladik lattices.

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

[2]  Mark J. Ablowitz,et al.  Nonlinear differential−difference equations , 1975 .

[3]  Elizabeth L. Mansfield,et al.  A Variational Complex for Difference Equations , 2004, Found. Comput. Math..

[4]  On recursion operators , 2001 .

[5]  J. Sanders,et al.  Integrable systems and their recursion operators , 2001 .

[6]  戸田 盛和.  Theory of nonlinear lattices , 1981 .

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

[8]  M. Wester.  Computer algebra systems: a practical guide , 1999 .

[9]  Joshua A. Leslie,et al.  The Geometrical Study of Differential Equations , 2001 .

[10]  A. Meshkov.  Computer Package for Investigation of the Complete Integrability , 2000 .

[11]  Elizabeth L. Mansfield,et al.  Towards a variational complex for the finite element method , 2005 .

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

[13]  Symbolic algorithms for the Painleve test, special solutions, and recursion operators for nonlinear PDEs. , 2003, nlin/0311028.

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

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

[16]  W. Strampp,et al.  On the correspondence between symmetries and conservation laws of evolution equations , 1982 .

[17]  M. Hickman,et al.  Computation of densities and fluxes of nonlinear differential‐difference equations , 2003, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[18]  W. Hereman,et al.  Algorithmic Computation of Higher-order Symmetries for Nonlinear Evolution and Lattice Equations , 1998, solv-int/9802004.

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

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

[21]  Michael D. Colagrosso,et al.  Algorithmic integrability tests for nonlinear differential and lattice equations , 1998, solv-int/9803005.

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

[23]  On the equivalence of linearization and formal symmetries as integrability tests for evolution equations , 1993 .

[24]  Alexey Borisovich Shabat,et al.  Symmetry Approach to the Integrability Problem , 2000 .