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.
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.
KeywordsHomotopy operator conservation law integrability testing
Unable to display preview. Download preview PDF.
- M. J. Ablowitz and P. A. Clarkson, Solitons, Nonlinear Evolution Equations and Inverse Scattering. Cambridge University Press, Cambridge (1991).Google Scholar
- M. J. Ablowitz and H. Segur, Solitons and the Inverse Scattering Transform. SIAM Studies in Applied Mathematics 4, SIAM, Philadelphia (1981).Google Scholar
- 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
- I. M. Anderson, Introduction to the Variational Bicomplex. Contemp. Math. 132. American Mathematical Society, Providence, Rhode Island (1992), pp. 51–73.Google Scholar
- 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
- 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
- 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
- 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
- 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
- Ü. 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
- Ü. Göktaş and W. Hereman, Computation of Conservation Laws for Nonlinear Lattices. Physica D 132 (1998), 425–436.Google Scholar
- 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
- 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
- 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
- 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
- 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
- J. E. Marsden and A. J. Tromba, Vector Calculus (3rd edn.). W. H. Freeman and Company, New York (1988).Google Scholar
- P. J. Olver, Applications of Lie Groups to Differential Equations (2nd edn.). Grad. Texts in Math. 107, Springer, New York (1993).Google Scholar
- Y. B. Suris, The Problem of Discretization: Hamiltonian Approach. Birkhäuser, Basel (2003).Google Scholar
- M. Toda, Theory of Nonlinear Lattices. Springer, Berlin (1981).Google Scholar