Symbolic computation of conservation laws of nonlinear partial differential equations in multi-dimensions

A direct method for the computation of polynomial conservation laws of polynomial systems of nonlinear partial differential equations (PDEs) in multi-dimensions is presented. The method avoids advanced differential-geometric tools. Instead, it is solely based on calculus, variational calculus, and linear algebra. Densities are constructed as linear combinations of scaling homogeneous terms with undetermined coefficients. The variational derivative (Euler operator) is used to compute the undetermined coefficients. The homotopy operator is used to compute the fluxes. The method is illustrated with nonlinear PDEs describing wave phenomena in fluid dynamics, plasma physics, and quantum physics. For PDEs with parameters, the method determines the conditions on the parameters so that a sequence of conserved densities might exist. The existence of a large number of conservation laws is a predictor of complete integrability. The method is algorithmic, applicable to a variety of PDEs, and can be implemented in computer algebra systems such as Mathematica, Maple, and REDUCE. © 2005 Wiley Periodicals, Inc. Int J Quantum Chem, 2006

[1]  M. P. Barnett,et al.  Symbolic calculation in chemistry: Selected examples , 2004 .

[2]  R. Johnson,et al.  Camassa–Holm, Korteweg–de Vries and related models for water waves , 2002, Journal of Fluid Mechanics.

[3]  Willy Hereman,et al.  Direct Methods and Symbolic Software for Conservation Laws of Nonlinear Equations. , 2008, 0803.0083.

[4]  H. Fogedby,et al.  Phase shift analysis of the Landau-Lifshitz equation , 1993 .

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

[6]  V. V. Sokolov,et al.  Lie algebras and equations of Korteweg-de Vries type , 1985 .

[7]  Leon A. Takhtajan,et al.  Hamiltonian methods in the theory of solitons , 1987 .

[8]  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.

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

[10]  Thomas Wolf,et al.  Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions , 1999, J. Symb. Comput..

[11]  Alan C. Newell,et al.  The history of the soliton , 1983 .

[12]  Willy Hereman,et al.  Continuous and Discrete Homotopy Operators and the Computation of Conservation Laws , 2005 .

[13]  B. Shivamoggi,et al.  Analytic aspects of the Zakharov–Kuznetsov equation , 1993 .

[14]  Stephen C. Anco,et al.  Direct construction method for conservation laws of partial differential equations Part I: Examples of conservation law classifications , 2001, European Journal of Applied Mathematics.

[15]  Mark J. Ablowitz,et al.  Multidimensional nonlinear evolution equations and inverse scattering , 1986 .

[16]  Min Gao,et al.  A REDUCE package for finding conserved densities of systems of nonlinear difference-difference equations , 2002 .

[17]  Continuous and discrete homotopy operators: A theoretical approach made concrete , 2007, Math. Comput. Simul..

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

[19]  Thomas Wolf,et al.  A comparison of four approaches to the calculation of conservation laws , 2002, European Journal of Applied Mathematics.

[20]  Alexei F. Cheviakov,et al.  GeM software package for computation of symmetries and conservation laws of differential equations , 2007, Comput. Phys. Commun..

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

[22]  C. S. Gardner,et al.  Korteweg‐de Vries Equation and Generalizations. II. Existence of Conservation Laws and Constants of Motion , 1968 .

[23]  Boris Konopelchenko,et al.  Some new integrable nonlinear evolution equations in 2 + 1 dimensions , 1984 .

[24]  Darryl D. Holm,et al.  An integrable shallow water equation with peaked solitons. , 1993, Physical review letters.

[25]  Conservation laws of scaling-invariant field equations , 2003, math-ph/0303066.

[26]  A. Bocharov,et al.  Symmetries and conservation laws for differential equations of mathematical physics , 1999 .

[27]  Dennis DeTurck,et al.  Vector Calculus and the Topology of Domains in 3-Space , 2002, Am. Math. Mon..

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

[29]  Mark J. Ablowitz,et al.  Solitons and the Inverse Scattering Transform , 1981 .

[30]  Dongming Wang,et al.  Differential equations with symbolic computation , 2005 .

[31]  Jesús María Sanz-Serna,et al.  An explicit finite-difference scheme with exact conservation properties , 1982 .

[32]  Robert M. Miura,et al.  Korteweg‐deVries Equation and Generalizations. V. Uniqueness and Nonexistence of Polynomial Conservation Laws , 1970 .

[33]  Jan A. Sanders,et al.  Hodge decomposition and conservation laws , 1997 .

[34]  Paul J. Dellar,et al.  Common Hamiltonian structure of the shallow water equations with horizontal temperature gradients and magnetic fields , 2003 .

[35]  N. O. Sharomet.  Symmetries, Invariant Solutions and Conservation Laws of the Nonlinear Acoustics Equation , 1989 .