Continuous and Discrete Homotopy Operators and the Computation of Conservation Laws

We introduce calculus-based formulas for the continuous Euler and homotopy operators. The 1D continuous homotopy operator automates integration by parts on the jet space. Its 3D generalization allows one to invert the total divergence operator. As a practical application, we show how the operators can be used to symbolically compute local conservation laws of nonlinear systems of partial differential equations in multi-dimensions.

[1]  G. Bluman,et al.  Direct construction method for conservation laws of partial differential equations Part II: General treatment , 2001, European Journal of Applied Mathematics.

[2]  G. Lamb.  Analytical Descriptions of Ultrashort Optical Pulse Propagation in a Resonant Medium , 1971 .

[3]  Gennadi Sardanashvily,et al.  The variational bicomplex on graded manifolds and its cohomology , 2005 .

[4]  Tom Duchamp,et al.  On the Existence of Global Variational Principles , 1980 .

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

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

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

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

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

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

[11]  秦 孟兆,et al.  RELATIONSHIP BETWEEN SYMMETRIES AND CONSERVATION LAWS OF NONLINEAR EVOLUTION EQUATIONS , 1979 .

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

[13]  Willy Hereman,et al.  Algorithmic computation of generalized symmetries of nonlinear evolution and lattice equations , 1999, Adv. Comput. Math..

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

[15]  A. Jamiołkowski.  Book reviewApplications of Lie groups to differential equations : Peter J. Olver (School of Mathematics, University of Minnesota, Minneapolis, U.S.A): Graduate Texts in Mathematics, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1986, XXVI+497pp. , 1989 .

[16]  Willy Hereman,et al.  Symbolic Computation of Conserved Densities, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations , 2003 .

[17]  Y. Suris.  The Problem of Integrable Discretization: Hamiltonian Approach , 2003 .

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

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

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

[21]  Ian Anderson,et al.  Introduction to the Variational Bicomplex , 1992 .

[22]  R. K. Dodd,et al.  Polynomial conserved densities for the sine-Gordon equations , 1977, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

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

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

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

[26]  F. Esposito,et al.  Theory and applications of the sine-gordon equation , 1971 .

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

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

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

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