The homotopy operator method for symbolic integration by parts and inversion of divergences with applications

References

• Cohen , MM . 1973 . A Course in Simple-homotopy Theory, Graduate Texts in Mathematics Vol. 10 , New York : Springer-Verlag .
   Google Scholar
• Tu , LW . 2008 . An Introduction to Manifolds, Universitext Series 1 , New York : Springer-Verlag .
   Google Scholar
• Volterra , V . 1913 . Leçons sur les Fonctions de Lignes , Paris : Gauthier-Villars .
   Google Scholar
• Flanders , H . 1963 . Differential Forms with Applications to the Physical Sciences , London : Academic Press .
   Google Scholar
• Olver , PJ . 1993 . Applications of Lie Groups to Differential Equations, , 2nd , Graduate Texts in Mathematics Vol. 107 , New York : Springer .
   Google Scholar
• Ablowitz , MJ and Clarkson , PA . 1991 . Solitons, Nonlinear Evolution Equations and Inverse Scattering , Cambridge, , UK : Cambridge University Press .
   Google Scholar
• Adams , PJ . 2003 . Symbolic computation of conserved densities and fluxes for systems of partial differential equations with transcendental nonlinearities , M.S. thesis Colorado School of Mines .
   Google Scholar
• Hereman , W , Adams , PJ , Eklund , HL , Hickman , MS and Herbst , BM . 2009 . “ Direct methods and symbolic software for conservation laws of nonlinear equations ” . In Advances in Nonlinear Waves and Symbolic Computation , Edited by: Yan , Z . 19 – 78 . New York : Nova Science Publishers .
   Google Scholar
• Hereman , W , Colagrosso , M , Sayers , R , Ringler , A , Deconinck , B , Nivala , M and Hickman , MS . 2005 . “ Continuous and discrete homotopy operators and the computation of conservation laws ” . In Differential Equations with Symbolic Computation , Edited by: Wang , D and Zheng , Z . 249 – 285 . Basel : Birkhäuser Verlag .
   Google Scholar
• Hereman , W . 2006 . Symbolic computation of conservation laws of nonlinear partial differential equations in multi-dimensions . Int. J. Quant. Chem. , 106 : 278 – 299 .
   Web of Science ®Google Scholar
• Poole , LD . 2009 . Symbolic computation of conservation laws of nonlinear partial differential equations using homotopy operators , Ph.D. diss. Colorado School of Mines .
   Google Scholar
• Kruskal , MD , Miura , RM , Gardner , CS and Zabusky , NJ . 1970 . Korteweg-de Vries equation and generalizations V. Uniqueness and nonexistence of polynomial conservation laws . J. Math. Phys. , 11 : 952 – 960 .
   Web of Science ®Google Scholar
• L.D. Poole and W. Hereman, A Mathematica package for the application of the homotopy method for (i) integration by parts of expressions involving unspecified functions of one variable and (ii) the inversion of a total divergence involving unspecified functions of two or three independent variables (2009). Available at http://inside.mines.edu/~whereman under scientific software.
   Google Scholar
• B. Deconinck and M. Nivala, INTSUM, Maple software for the symbolic integration and summation of expressions that may or may not be exact (2005). Available at http://www.amath.washington.edu/~bernard/software/intsum
   Google Scholar
• B. Deconinck and M. Nivala, Symbolic integration using homotopy methods, Math. Comput. Simul. 80 (2009), pp. 825–836.
   Google Scholar
• I.M. Anderson, The Vessiot package (2004). Available at http://www.math.usu.edu/~fg_mp/Pages/SymbolicsPage/VessiotDownloads.html
   Google Scholar
• Cheviakov , AF . 2007 . GeM software package for computation of symmetries and conservation laws of differential equations . Comp. Phys. Comm. , 76 : 48 – 61 .
   Web of Science ®Google Scholar
• A.F. Cheviakov Computation of fluxes of conservation laws, J. Eng. Math. (2009), DOI: 10.1007/s10665-009-3907-x. Available online at http://www.springerlink.com/index/c4745vp3m2908tg1.pdf
   Google Scholar
• Zakharov , VE and Kuznetsov , EA . 1974 . Three dimensional solitons . Sov. Phys. JETP , 39 : 285 – 286 .
   Google Scholar
• Poole , LD and Hereman , W . 2009 . A Mathematica package for the symbolic computation of conservation laws of nonlinear partial differential equations in multiple space variables , Available at http://inside.mines.edu/~whereman under scientific software
   Google Scholar
• Hereman , W , Deconinck , B and Poole , LD . 2006 . Continuous and discrete homotopy operators: A theoretical approach made concrete . Math. Comput. Simul. , 74 : 352 – 360 .
   Web of Science ®Google Scholar
• Göktaş , Ü and Hereman , W . 1997 . Symbolic computation of conserved densities for systems of nonlinear evolution equations . J. Symb. Comp. , 24 : 591 – 621 .
   Web of Science ®Google Scholar
• Infeld , E . 1985 . Self-focusing nonlinear waves . J. Plasma Phys. , 33 : 171 – 182 .
   Web of Science ®Google Scholar
• Shivamoggi , BK , Rollins , DK and Fanjul , R . 1993 . Analytic aspects of the Zakharov–Kuznetsov equation . Phys. Scr. , 47 : 15 – 17 .
   Web of Science ®Google Scholar
• Shivamoggi , BK . 2009 . private communication
   Google Scholar