Differential Equations with Symbolic Computation pp 255-290 | Cite as

# Continuous and Discrete Homotopy Operators and the Computation of Conservation Laws

## Abstract

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.

Analogous to the continuous case, we also present concrete formulas for the discrete Euler and homotopy operators. Essentially, the discrete homotopy operator carries out summation by parts. We use it to algorithmically invert the forward difference operator. We apply the discrete operator to compute fluxes of differential-difference equations in (1 + 1) dimensions.

Our calculus-based approach allows for a straightforward implementation of the operators in major computer algebra systems, such as Mathematica and Maple. The symbolic algorithms for integration and summation by parts are illustrated with elementary examples. The algorithms to compute conservation laws are illustrated with nonlinear PDEs and their discretizations arising in fluid dynamics and mathematical physics.

## Keywords

Homotopy operator conservation law integrability testing## Preview

Unable to display preview. Download preview PDF.

## References

- [1]M. J. Ablowitz and P. A. Clarkson,
*Solitons, Nonlinear Evolution Equations and Inverse Scattering*. Cambridge University Press, Cambridge (1991).Google Scholar - [2]M. J. Ablowitz and H. Segur,
*Solitons and the Inverse Scattering Transform*. SIAM Studies in Applied Mathematics**4**, SIAM, Philadelphia (1981).Google Scholar - [3]P. J. Adams,
*Symbolic Computation of Conserved Densities and Fluxes for Systems of Partial Differential Equations with Transcendental Nonlinearities*. Master of Science Thesis, Department of Mathematical and Computer Sciences, Colorado School of Mines, Golden, Colorado (2003).Google Scholar - [4]V. E. Adler, A. B. Shabat and R. I. Yamilov, Symmetry Approach to the Integrability Problem. Theor. Math. Phys.
**125**(2000), 1603–1661.MathSciNetCrossRefGoogle Scholar - [5]S. C. Anco,
*Conservation Laws of Scaling-invariant Field Equations*. J. Phys. A: Math. Gen.**36**(2003), 8623–8638.zbMATHMathSciNetCrossRefGoogle Scholar - [6]S. C. Anco and G. Bluman,
*Direct Construction Method for Conservation Laws of Partial Differential Equations. Part I: Examples of Conservation Law Classifications*. Euro. J. Appl. Math.**13**(2002), 545–566.MathSciNetGoogle Scholar - [7]S. C. Anco and G. Bluman,
*Direct Construction Method for Conservation Laws of Partial Differential Equations. Part II: General Treatment*. Euro. J. Appl. Math.**13**(2002), 567–585.MathSciNetGoogle Scholar - [8]I. M. Anderson,
*Introduction to the Variational Bicomplex*. Contemp. Math.**132**. American Mathematical Society, Providence, Rhode Island (1992), pp. 51–73.Google Scholar - [9]I. M. Anderson,
*The Variational Bicomplex. Department of Mathematics*, Utah State University, Logan, Utah (November, 2004), 318 pages. Manuscript of book is available at http://www.math.usu.edu/~fg_mp/Publications/VB/vb.pdf.Google Scholar - [10]I. M. Anderson,
*The Vessiot Package*, Department of Mathematics, Utah State University, Logan, Utah (November, 2004), 253 pages. Available at http://www.math.usu.edu/~fg_mp/Pages/SymbolicsPage/VessiotDownloads.html.Google Scholar - [11]I. M. Anderson and T. Duchamp,
*On the Existence of Global Variational Principles*. Amer. J. Math.**92**(1980), 781–868.MathSciNetGoogle Scholar - [12]A. Barone, F. Esposito, C. J. Magee, and A. C. Scott,
*Theory and Applications of the Sine-Gordon Equation*. Riv. Nuovo Cim.**1**(1971), 227–267.Google Scholar - [13]B. Deconinck and M. Nivala,
*A Maple Package for the Computation of Conservation Laws*. Available at http://www.amath.washington.edu/~bernard/papers.html.Google Scholar - [14]P. Dellar,
*Common Hamiltonian Structure of the Shallow Water Equations with Horizontal Temperature Gradients and Magnetic Fields*. Phys. Fluids**15**(2003), 292–297.MathSciNetCrossRefGoogle Scholar - [15]R. K. Dodd and R. K. Bullough,
*Polynomial Conserved Densities for the Sine-Gordon Equations*. Proc. R. Soc. Lond. A**352**(1977), 481–503.MathSciNetGoogle Scholar - [16]H. Eklund,
*Symbolic Computation of Conserved Densities and Fluxes for Nonlinear Systems of Differential-Difference Equations*. Master of Science Thesis, Department of Mathematical and Computer Sciences, Colorado School of Mines, Golden, Colorado (2003).Google Scholar - [17]Ü. Göktaş and W. Hereman,
*Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations*. J. Symb. Comput.**24**(1997), 591–621.Google Scholar - [18]Ü. Göktaş and W. Hereman,
*Computation of Conservation Laws for Nonlinear Lattices*. Physica D**132**(1998), 425–436.Google Scholar - [19]Ü. Göktaş and W. Hereman,
*Algorithmic Computation of Higher-order Symmetries for Nonlinear Evolution and Lattice Equations*. Adv. Comput. Math.**11**(1999), 55–80.MathSciNetGoogle Scholar - [20]W. Hereman, TransPDEDensityFlux.m, PDEMultiDimDensityFlux.m, and DDEDensityFlux. m:
*Mathematica*Packages for the Symbolic Computation of Conservation Laws of Partial Differential Equations and Differential-difference Equations. Available from the software section at http://www.mines.edu/fs_home/whereman/.Google Scholar - [21]W. Hereman, J. A. Sanders, J. Sayers, and J. P. Wang,
*Symbolic Computation of Conserved Densities, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-difference Equations*. In:*Group Theory and Numerical Methods*, CRM Proc. Lect. Ser.**39**(P. Winternitz and D. Gomez-Ullate, eds.). American Mathematical Society, Providence, Rhode Island (2005), pp. 267–282.Google Scholar - [22]M. Hickman and W. Hereman,
*Computation of Densities and Fluxes of Nonlinear Differential-difference Equations, Proc*. Roy. Soc. Lond. A**459**(2003), 2705–2729.MathSciNetGoogle Scholar - [23]R. Hirota and J. Satsuma,
*Soliton Solutions of a Coupled Korteweg-de Vries Equation*. Phys. Lett.**85A**(1981) 407–408.MathSciNetGoogle Scholar - [24]P. E. Hydon and E. L. Mansfield,
*A Variational Complex for Difference Equations*. Found. Comp. Math.**4**(2004), 187–217.MathSciNetGoogle Scholar - [25]M. Kac and P. van Moerbeke,
*On an Explicitly Soluble System of Nonlinear Differential Equations Related to Certain Toda Lattices*. Adv. Math.**16**(1975), 160–169.CrossRefGoogle Scholar - [26]A. H. Kara and F. M. Mahomed,
*Relationship Between Symmetries and Conservation Laws*. Int. J. Theor. Phys.**39**(2000), 23–40.MathSciNetGoogle Scholar - [27]I. S. Krasil’shchik and A. M. Vinogradov,
*Symmetries and Conservation Laws for Differential Equations of Mathematical Physics*. American Mathematical Society, Providence, Rhode Island (1998).Google Scholar - [28]M. D. Kruskal, R. M. Miura, C. S. Gardner, and N. J. Zabusky,
*Korteweg-de Vries Equation and Generalizations V. Uniqueness and Nonexistence of Polynomial Conservation Laws*. J. Math. Phys.**11**(1970), 952–960.MathSciNetCrossRefGoogle Scholar - [29]G. L. Lamb,
*Analytical Descriptions of Ultra Short Optical Propagation in a Resonant Medium*. Rev. Mod. Phys.**43**(1971), 99–124.MathSciNetCrossRefGoogle Scholar - [30]E. L. Mansfield and P. E. Hydon,
*On a Variational Complex for Difference Equations*. In:*The Geometrical Study of Differential Equations*(J. A. Leslie and T. P. Robart, eds.). American Mathematical Society, Providence, Rhode Island (2002), pp. 121–129.Google Scholar - [31]E. L. Mansfield and G. R. W. Quispel,
*Towards a Variational Complex for the Finite Element Method*. In:*Group Theory and Numerical Methods*, CRM Proc. Lect. Ser.**39**(P. Winternitz and D. Gomez-Ullate, eds.). American Mathematical Society, Providence, Rhode Island (2005), pp. 207–231.Google Scholar - [32]J. E. Marsden and A. J. Tromba,
*Vector Calculus*(3rd edn.). W. H. Freeman and Company, New York (1988).Google Scholar - [33]P. J. Olver,
*Applications of Lie Groups to Differential Equations*(2nd edn.). Grad. Texts in Math.**107**, Springer, New York (1993).Google Scholar - [34]Y. B. Suris,
*The Problem of Discretization: Hamiltonian Approach*. Birkhäuser, Basel (2003).Google Scholar - [35]M. Toda,
*Theory of Nonlinear Lattices*. Springer, Berlin (1981).Google Scholar - [36]T. Wolf,
*A Comparison of Four Approaches to the Calculation of Conservation Laws*. Euro. J. Appl. Math.**13**(2002), 129–152.zbMATHGoogle Scholar