Showing 1–34 of 34 results for author: Hereman, W

Symbolic computation of solitary wave solutions and solitons through homogenization of degree

Authors: Willy Hereman, Unal Goktas

Abstract: A simplified version of Hirota's method for the computation of solitary waves and solitons of nonlinear PDEs is presented. A change of dependent variable transforms the PDE into an equation that is homogeneous of degree. Solitons are then computed using a perturbation-like scheme involving linear and nonlinear operators in a finite number of steps. The method is applied to a class of fifth-order… ▽ More A simplified version of Hirota's method for the computation of solitary waves and solitons of nonlinear PDEs is presented. A change of dependent variable transforms the PDE into an equation that is homogeneous of degree. Solitons are then computed using a perturbation-like scheme involving linear and nonlinear operators in a finite number of steps. The method is applied to a class of fifth-order KdV equations due to Lax, Sawada-Kotera, and Kaup-Kupershmidt. The method works for non-quadratic homogeneous equations for which the bilinear form might not be known. Furthermore, homogenization of degree allows one to compute solitary wave solutions of nonlinear PDEs that do not have solitons. Examples include the Fisher and FitzHugh-Nagumo equations, and a combined KdV-Burgers equation. When applied to a wave equation with a cubic source term, one gets a bi-soliton solution describing the coalescence of two wavefronts. The method is largely algorithmic and is implemented in Mathematica. △ Less

Submitted 30 November, 2023; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: Revisions: Photograph added, improved figures, minor corrections. To appear as a book chapter in: "Nonlinear and Modern Mathematical Physics," Proceedings of the 6th Workshop on Nonlinear and Modern Mathematical Physics (NMMP2022). Springer Proceedings in Mathematics and Statistics, Springer-Verlag, New York (2024), 61 pages, in press

MSC Class: 35C08; 37K40; 35Q53; 68W30

Lax Pairs for Edge-constrained Boussinesq Systems of Partial Difference Equations

Authors: Terry J. Bridgman, Willy Hereman

Abstract: The method due to Nijhoff and Bobenko & Suris to derive Lax pairs for partial difference equations (PDeltaEs) is applied to edge constrained Boussinesq systems. These systems are defined on a quadrilateral. They are consistent around the cube but they contain equations defined on the edges of the quadrilateral. By properly incorporating the edge equations into the algorithm, it is straightforwar… ▽ More The method due to Nijhoff and Bobenko & Suris to derive Lax pairs for partial difference equations (PDeltaEs) is applied to edge constrained Boussinesq systems. These systems are defined on a quadrilateral. They are consistent around the cube but they contain equations defined on the edges of the quadrilateral. By properly incorporating the edge equations into the algorithm, it is straightforward to derive Lax matrices of minimal size. The 3 by 3 Lax matrices thus obtained are not unique but shown to be gauge-equivalent. The gauge matrices connecting the various Lax matrices are presented. It is also shown that each of the Boussinesq systems admits a 4 by 4 Lax matrix. For each system, the gauge-like transformations between Lax matrices of different sizes are explicitly given. To illustrate the analogy between continuous and lattice systems, the concept of gauge-equivalence of Lax pairs of nonlinear partial differential equations is briefly discussed. The method to find Lax pairs of PDeltaEs is algorithmic and is being implemented in Mathematica. The Lax pair computations for this chapter helped further improve and extend the capabilities of the software under development. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: 30 pages, 3 figures. To appear in: Nonlinear Systems and Their Remarkable Mathematical Structures. Volume 2. Eds.: Norbert Euler and Maria Clara Nucci. CRC Press, Boca Raton, FL (2019)

Collisions of acoustic solitons and their electric fields in plasmas at critical compositions

Authors: Frank Verheest, Willy A. Hereman

Abstract: Acoustic solitons obtained through a reductive perturbation scheme are normally governed by a Korteweg-de Vries (KdV) equation. In multispecies plasmas at critical compositions the coefficient of the quadratic nonlinearity vanishes. Extending the analytic treatment then leads to a modified KdV (mKdV) equation, which is characterized by a cubic nonlinearity and is even in the electrostatic potentia… ▽ More Acoustic solitons obtained through a reductive perturbation scheme are normally governed by a Korteweg-de Vries (KdV) equation. In multispecies plasmas at critical compositions the coefficient of the quadratic nonlinearity vanishes. Extending the analytic treatment then leads to a modified KdV (mKdV) equation, which is characterized by a cubic nonlinearity and is even in the electrostatic potential. The mKdV equation admits solitons having opposite electrostatic polarities, in contrast to KdV solitons which can only be of one polarity at a time. A Hirota formalism has been used to derive the two-soliton solution. That solution covers not only the interaction of same-polarity solitons but also the collision of compressive and rarefactive solitons. For the visualisation of the solutions, the focus is on the details of the interaction region. A novel and detailed discussion is included of typical electric field signatures that are often observed in ionospheric and magnetospheric plasmas. It is argued that these signatures can be attributed to solitons and their interactions. As such, they have received little attention. △ Less

Submitted 19 January, 2019; originally announced January 2019.

Comments: 15 pages, 15 figures

Journal ref: Journal of Plasma Physics, Vol. 85, Issue 1, Art. No. 905850106, 2019

Traveling Wave Solutions to Fifth- and Seventh-order Korteweg-de Vries Equations: Sech and Cn Solutions

Authors: Stefan C. Mancas, Willy A. Hereman

Abstract: In this paper we review the physical relevance of a Korteweg-de Vries (KdV) equation with higher-order dispersion terms which is used in the applied sciences and engineering. We also present exact traveling wave solutions to this generalized KdV equation using an elliptic function method which can be readily applied to any scalar evolution or wave equation with polynomial terms involving only odd… ▽ More In this paper we review the physical relevance of a Korteweg-de Vries (KdV) equation with higher-order dispersion terms which is used in the applied sciences and engineering. We also present exact traveling wave solutions to this generalized KdV equation using an elliptic function method which can be readily applied to any scalar evolution or wave equation with polynomial terms involving only odd derivatives. We show that the generalized KdV equation still supports hump-shaped solitary waves as well as cnoidal wave solutions provided that the coefficients satisfy specific algebraic constraints. Analytical solutions in closed form serve as benchmarks for numerical solvers or comparison with experimental data. They often correspond to homoclinic orbits in the phase space and serve as separatrices of stable and unstable regions. Some of the solutions presented in this paper correct, complement, and illustrate results previously reported in the literature, while others are novel. △ Less

Submitted 3 October, 2018; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: 12 pages, 4 figures, minor text modifications, updated bibliography

Journal ref: J. Phys. Soc. Jpn. 87, 114002 (2018) [8 Pages]

Collision properties of overtaking supersolitons with small amplitudes

Authors: C. P. Olivier, F. Verheest, W. A. Hereman

Abstract: The collision properties of overtaking small-amplitude supersolitons are investigated for the fluid model of a plasma consisting of cold ions and two-temperature Boltzmann electrons. A reductive perturbation analysis is performed for compositional parameters near the supercritical composition. A generalized Korteweg-de Vries equation with a quartic nonlinearity is derived, referred to as the modif… ▽ More The collision properties of overtaking small-amplitude supersolitons are investigated for the fluid model of a plasma consisting of cold ions and two-temperature Boltzmann electrons. A reductive perturbation analysis is performed for compositional parameters near the supercritical composition. A generalized Korteweg-de Vries equation with a quartic nonlinearity is derived, referred to as the modified Gardner equation. Criteria for the existence of small-amplitude supersolitons are derived. The modified Gardner equation is shown to be not completely integrable, implying that supersoliton collisions are inelastic, as confirmed by numerical simulations. These simulations also show that supersolitons may reduce to regular solitons as a result of overtaking collisions. △ Less

Submitted 9 April, 2018; originally announced April 2018.

Comments: 6 pages, 2 figures

Journal ref: Phys. Plasmas 25, 032309 (2018)

Modified Korteweg-de Vries solitons at supercritical densities in two-electron temperature plasmas

Authors: Frank Verheest, Carel P. Olivier, Willy A. Hereman

Abstract: The supercritical composition of a plasma model with cold positive ions in the presence of a two-temperature electron population is investigated, initially by a reductive perturbation approach, under the combined requirements that there be neither quadratic nor cubic nonlinearities in the evolution equation. This leads to a unique choice for the set of compositional parameters and a modified Korte… ▽ More The supercritical composition of a plasma model with cold positive ions in the presence of a two-temperature electron population is investigated, initially by a reductive perturbation approach, under the combined requirements that there be neither quadratic nor cubic nonlinearities in the evolution equation. This leads to a unique choice for the set of compositional parameters and a modified Korteweg-de Vries equation (mKdV) with a quartic nonlinear term. The conclusions about its one-soliton solution and integrability will also be valid for more complicated plasma compositions. Only three polynomial conservation laws can be obtained. The mKdV equation with quartic nonlinearity is not completely integrable, thus precluding the existence of multi-soliton solutions. Next, the full Sagdeev pseudopotential method has been applied and this allows for a detailed comparison with the reductive perturbation results. This comparison shows that the mKdV solitons have slightly larger amplitudes and widths than those obtained from the more complete Sagdeev solution and that only slightly superacoustic mKdV solitons have acceptable amplitudes and widths, in the light of the full solutions. △ Less

Submitted 9 April, 2016; originally announced April 2016.

Comments: 13 pages, 3 figures

MSC Class: 35Q51

Journal ref: Journal of Plasma Physics, vol. 82, Art. No. 905820208, 13 pages (2016)

Symbolic Computation of Lax Pairs of Partial Difference Equations Using Consistency Around the Cube

Authors: Terry Bridgman, Willy A. Hereman, G. Reinout W. Quispel, Peter H. van der Kamp

Abstract: A three-step method due to Nijhoff and Bobenko & Suris to derive a Lax pair for scalar partial difference equations (PΔEs) is reviewed. The method assumes that the PΔEs are defined on a quadrilateral, and consistent around the cube. Next, the method is extended to systems of PΔEs where one has to carefully account for equations defined on edges of the quadrilateral. Lax pairs are presented for sca… ▽ More A three-step method due to Nijhoff and Bobenko & Suris to derive a Lax pair for scalar partial difference equations (PΔEs) is reviewed. The method assumes that the PΔEs are defined on a quadrilateral, and consistent around the cube. Next, the method is extended to systems of PΔEs where one has to carefully account for equations defined on edges of the quadrilateral. Lax pairs are presented for scalar integrable PΔEs classified by Adler, Bobenko, and Suris and systems of PΔEs including the integrable 2-component potential Korteweg-de Vries lattice system, as well as nonlinear Schroedinger and Boussinesq-type lattice systems. Previously unknown Lax pairs are presented for PΔEs recently derived by Hietarinta (J. Phys. A: Math. Theor., 44, 2011, Art. No. 165204). The method is algorithmic and is being implemented in Mathematica. △ Less

Submitted 25 August, 2013; originally announced August 2013.

Comments: Paper dedicated to Peter Olver as part of a special issue of FoCM in honor of his 60th birthday

MSC Class: 37K10; 39A10; 82B20

Journal ref: Foundations of Computational Mathematics, 13(4), 517-544 (2013)

Shallow Water Waves and Solitary Waves

Authors: Willy Hereman

Abstract: Encyclopedic article covering shallow water wave models used in oceanography and atmospheric science. Sections: Definition of the Subject; Introduction and Historical Perspective; Completely Integrable Shallow Water Wave Equations; Shallow Water Wave Equations of Geophysical Fluid Dynamics; Computation of Solitary Wave Solutions; Numerical Methods; Water Wave Experiments and Observations; Future D… ▽ More Encyclopedic article covering shallow water wave models used in oceanography and atmospheric science. Sections: Definition of the Subject; Introduction and Historical Perspective; Completely Integrable Shallow Water Wave Equations; Shallow Water Wave Equations of Geophysical Fluid Dynamics; Computation of Solitary Wave Solutions; Numerical Methods; Water Wave Experiments and Observations; Future Directions, and Bibliography. △ Less

Submitted 25 August, 2013; originally announced August 2013.

Comments: 27 pages, 8 figures. Updated article to appear in the 2013 online and 2015 print editions of the Encyclopedia of Complexity and Applied System Science, edited by Robert A. Meyers, Springer-Verlag, Heidelberg, 2013

Journal ref: Original article was published in the Encyclopedia of Complexity and Applied System Science, ed. Robert A. Meyers, Entry 480, pp. 8112-8125, Springer-Verlag, Heidelberg, 2009, ISBN 978-0-387-75888-6

The Korteweg-de Vries Equation

Authors: Willy Hereman

Abstract: Two page encyclopedic article about the Korteweg-de Vries equation covering historical perspective, solitary wave and periodic solutions, modern developments, properties and applications, and further reading. Two page encyclopedic article about the Korteweg-de Vries equation covering historical perspective, solitary wave and periodic solutions, modern developments, properties and applications, and further reading. △ Less

Submitted 24 August, 2013; originally announced August 2013.

Comments: To appear in The Princeton Companion to Applied Mathematics edited by Nicholas J. Higham, Mark Dennis, Paul Glendinning, Paul Martin, Fadil Santosa and Jared Tanner and published by Princeton University Press. All rights reserved

Scaling Invariant Lax Pairs of Nonlinear Evolution Equations

Authors: Mark Hickman, Willy Hereman, Jennifer Larue, Unal Goktas

Abstract: A completely integrable nonlinear partial differential equation (PDE) can be associated with a system of linear PDEs in an auxiliary function whose compatibility requires that the original PDE is satisfied. This associated system is called a Lax pair. Two equivalent representations are presented. The first uses a pair of differential operators which leads to a higher order linear system for the au… ▽ More A completely integrable nonlinear partial differential equation (PDE) can be associated with a system of linear PDEs in an auxiliary function whose compatibility requires that the original PDE is satisfied. This associated system is called a Lax pair. Two equivalent representations are presented. The first uses a pair of differential operators which leads to a higher order linear system for the auxiliary function. The second uses a pair of matrices which leads to a first-order linear system. In this paper we present a method, which is easily implemented in Maple or Mathematica, to compute an operator Lax pair for a set of PDEs. In the operator representation, the determining equations for the Lax pair split into a set of kinematic constraints which are independent of the original equation and a set of dynamical equations which do depend on it. The kinematic constraints can be solved generically. We assume that the operators have a scaling symmetry. The dynamical equations are then reduced to a set of nonlinear algebraic equations. This approach is illustrated with well-known examples from soliton theory. In particular, it is applied to a three parameter class of fifth-order KdV-like evolution equations which includes the Lax fifth-order KdV, Sawada-Kotera and Kaup-Kuperschmidt equations. A second Lax pair was found for the Sawada--Kotera equation. △ Less

Submitted 4 October, 2011; originally announced October 2011.

Comments: To appear in special issue of Applicable Analysis dedicated to the memory of Alan Jeffrey

MSC Class: 37J35; 37K40; 35Q51

Symbolic Computation of Conservation Laws, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations

Authors: Ünal Göktaş, Willy Hereman

Abstract: Algorithms for the symbolic computation of polynomial conservation laws, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations (DDEs) are presented. The algorithms can be used to test the complete integrability of nonlinear DDEs. The ubiquitous Toda lattice illustrates the steps of the algorithms, which have been implemented in {\em Mathematica}… ▽ More Algorithms for the symbolic computation of polynomial conservation laws, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations (DDEs) are presented. The algorithms can be used to test the complete integrability of nonlinear DDEs. The ubiquitous Toda lattice illustrates the steps of the algorithms, which have been implemented in {\em Mathematica}. The codes {\sc InvariantsSymmetries.m} and {\sc DDERecursionOperator.m} can aid researchers interested in properties of nonlinear DDEs. △ Less

Submitted 23 April, 2011; originally announced April 2011.

Comments: 16 pages, will appear as Chapter 7 in a Springer Book entitled "Nonlinear Systems and Methods For Mechanical, Electrical and Biosystems" with editors: Albert Luo, J.A. Tenreiro Machado and Dumitru Baleanu, expected to be published in 2011

Symbolic Computation of Recursion Operators for Nonlinear Differential-Difference equations

Authors: Ünal Göktaş, Willy Hereman

Abstract: An algorithm for the symbolic computation of recursion operators for systems of nonlinear differential-difference equations (DDEs) is presented. Recursion operators allow one to generate an infinite sequence of generalized symmetries. The existence of a recursion operator therefore guarantees the complete integrability of the DDE. The algo-rithm is based in part on the concept of dilation invarian… ▽ More An algorithm for the symbolic computation of recursion operators for systems of nonlinear differential-difference equations (DDEs) is presented. Recursion operators allow one to generate an infinite sequence of generalized symmetries. The existence of a recursion operator therefore guarantees the complete integrability of the DDE. The algo-rithm is based in part on the concept of dilation invariance and uses our earlier algorithms for the symbolic computation of conservation laws and generalized symmetries. The algorithm has been applied to a number of well-known DDEs, including the Kac-van Moerbeke (Volterra), Toda, and Ablowitz-Ladik lattices, for which recursion opera-tors are shown. The algorithm has been implemented in Mathematica, a leading com-puter algebra system. The package DDERecursionOperator.m is briefly discussed. △ Less

Submitted 20 April, 2011; originally announced April 2011.

Journal ref: Mathematical and Computational Applications, 16, 1-12, 2011

Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions

Authors: Douglas Poole, Willy Hereman

Abstract: A method for symbolically computing conservation laws of nonlinear partial differential equations (PDEs) in multiple space dimensions is presented in the language of variational calculus and linear algebra. The steps of the method are illustrated using the Zakharov-Kuznetsov and Kadomtsev-Petviashvili equations as examples. The method is algorithmic and has been implemented in Mathematica. The sof… ▽ More A method for symbolically computing conservation laws of nonlinear partial differential equations (PDEs) in multiple space dimensions is presented in the language of variational calculus and linear algebra. The steps of the method are illustrated using the Zakharov-Kuznetsov and Kadomtsev-Petviashvili equations as examples. The method is algorithmic and has been implemented in Mathematica. The software package, ConservationLawsMD.m, can be used to symbolically compute and test conservation laws for polynomial PDEs that can be written as nonlinear evolution equations. The code ConservationLawsMD.m has been applied to (2+1)-dimensional versions of the Sawada-Kotera, Camassa-Holm, and Gardner equations, and the multi-dimensional Khokhlov-Zabolotskaya equation. △ Less

Submitted 4 August, 2011; v1 submitted 29 July, 2010; originally announced July 2010.

Comments: 26 pages. Paper will appear in Journal of Symbolic Computation (2011). Presented at the Special Session on Geometric Flows, Moving Frames and Integrable Systems, 2010 Spring Central Sectional Meeting of the American Mathematical Society, Macalester College, St. Paul, Minnesota, April 10, 2010

MSC Class: 37K10; 70H06; 68W30; 33F10 ACM Class: G.4

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

Authors: Douglas Poole, Willy Hereman

Abstract: Using standard calculus, explicit formulas for one-, two- and three-dimensional homotopy operators are presented. A derivation of the one-dimensional homotopy operator is given. A similar methodology can be used to derive the multi-dimensional versions. The calculus-based formulas for the homotopy operators are easy to implement in computer algebra systems such as Mathematica, Maple, and REDUCE.… ▽ More Using standard calculus, explicit formulas for one-, two- and three-dimensional homotopy operators are presented. A derivation of the one-dimensional homotopy operator is given. A similar methodology can be used to derive the multi-dimensional versions. The calculus-based formulas for the homotopy operators are easy to implement in computer algebra systems such as Mathematica, Maple, and REDUCE. Several examples illustrate the use, scope, and limitations of the homotopy operators. The homotopy operator can be applied to the symbolic computation of conservation laws of nonlinear partial differential equations (PDEs). Conservation laws provide insight into the physical and mathematical properties of the PDE. For instance, the existence of infinitely many conservation laws establishes the complete integrability of a nonlinear PDE. △ Less

Submitted 20 August, 2009; v1 submitted 4 August, 2009; originally announced August 2009.

Comments: 22 pages. To appear in a Special Issue of Applicable Analysis on Continuous and Discrete Integrable Systems (2009)

A Symbolic Algorithm for Computing Recursion Operators of Nonlinear PDEs

Authors: D. E. Baldwin, W. Hereman

Abstract: A recursion operator is an integro-differential operator which maps a generalized symmetry of a nonlinear PDE to a new symmetry. Therefore, the existence of a recursion operator guarantees that the PDE has infinitely many higher-order symmetries, which is a key feature of complete integrability. Completely integrable nonlinear PDEs have a bi-Hamiltonian structure and a Lax pair; they can also be… ▽ More A recursion operator is an integro-differential operator which maps a generalized symmetry of a nonlinear PDE to a new symmetry. Therefore, the existence of a recursion operator guarantees that the PDE has infinitely many higher-order symmetries, which is a key feature of complete integrability. Completely integrable nonlinear PDEs have a bi-Hamiltonian structure and a Lax pair; they can also be solved with the inverse scattering transform and admit soliton solutions of any order. A straightforward method for the symbolic computation of polynomial recursion operators of nonlinear PDEs in (1+1) dimensions is presented. Based on conserved densities and generalized symmetries, a candidate recursion operator is built from a linear combination of scaling invariant terms with undetermined coefficients. The candidate recursion operator is substituted into its defining equation and the resulting linear system for the undetermined coefficients is solved. The method is algorithmic and is implemented in Mathematica. The resulting symbolic package PDERecursionOperator.m can be used to test the complete integrability of polynomial PDEs that can be written as nonlinear evolution equations. With PDERecursionOperator.m, recursion operators were obtained for several well-known nonlinear PDEs from mathematical physics and soliton theory. △ Less

Submitted 15 May, 2009; originally announced May 2009.

Comments: 27 pages, for a special issue of IJCM

Journal ref: International Journal of Computer Mathematics, vol. 87(5), pp. 1094-119 (2010)

Direct Methods and Symbolic Software for Conservation Laws of Nonlinear Equations

Authors: Willy Hereman, Paul J. Adams, Holly L. Eklund, Mark S. Hickman, Barend M. Herbst

Abstract: We present direct methods and symbolic software for the computation of conservation laws of nonlinear partial differential equations (PDEs) and differential-difference equations (DDEs).The methods are applied to nonlinear PDEs in (1+1) dimensions with polynomial nonlinearities which include the Korteweg-de Vries (KdV), Boussinesq, and Drinfel'd-Sokolov-Wilson equations. An adaptation of the meth… ▽ More We present direct methods and symbolic software for the computation of conservation laws of nonlinear partial differential equations (PDEs) and differential-difference equations (DDEs).The methods are applied to nonlinear PDEs in (1+1) dimensions with polynomial nonlinearities which include the Korteweg-de Vries (KdV), Boussinesq, and Drinfel'd-Sokolov-Wilson equations. An adaptation of the methods is applied to PDEs with transcendental nonlinearities. Examples include the sine-Gordon, sinh-Gordon, and Liouville equations. With respect to nonlinear DDEs, our methods are applied to Kac-van Moerbeke, Toda, and Ablowitz-Ladik lattices. To overcome the shortcomings of the undetermined coefficients method, we designed a new direct method which uses leading order analysis. That method is applied to discretizations of the KdV and modified KdV equations, and a combination thereof. Additional examples include lattices due to Bogoyavlenskii, Belov-Chaltikian, and Blaszak-Marciniak. The undetermined coefficient methods for PDEs and DDEs have been implemented in Mathematica. The code "TransPDEDensityFlux.m" computes densities and fluxes of systems of PDEs with or without transcendental nonlinearities. The code "DDEDensityFlux.m" does the same for polynomial nonlinear DDEs. Starting from the leading order terms, the new Maple library "discrete" computes densities and fluxes of nonlinear DDEs. △ Less

Submitted 1 March, 2008; originally announced March 2008.

Comments: Book chapter dedicated to Martin D. Kruskal. Manuscript prepared for Advances in Nonlinear Waves and Symbolic Computation, Zhenya Yan (ed.), Nova Science Publishers,New York, 2008, 60 pages

Conformally parametrized surfaces associated with CP^(N-1) sigma models

Authors: A. M. Grundland, W. A. Hereman, I. Yurdusen

Abstract: Two-dimensional conformally parametrized surfaces immersed in the su(N) algebra are investigated. The focus is on surfaces parametrized by solutions of the equations for the CP^(N-1) sigma model. The Lie-point symmetries of the CP^(N-1) model are computed for arbitrary N. The Weierstrass formula for immersion is determined and an explicit formula for a moving frame on a surface is constructed. T… ▽ More Two-dimensional conformally parametrized surfaces immersed in the su(N) algebra are investigated. The focus is on surfaces parametrized by solutions of the equations for the CP^(N-1) sigma model. The Lie-point symmetries of the CP^(N-1) model are computed for arbitrary N. The Weierstrass formula for immersion is determined and an explicit formula for a moving frame on a surface is constructed. This allows us to determine the structural equations and geometrical properties of surfaces in R^(N^2-1). The fundamental forms, Gaussian and mean curvatures, Willmore functional and topological charge of surfaces are given explicitly in terms of any holomorphic solution of the CP^2 model. The approach is illustrated through several examples, including surfaces immersed in low-dimensional su(N) algebras. △ Less

Submitted 23 October, 2007; originally announced October 2007.

Comments: 32 pages

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 065204

Continuous and Discrete Homotopy Operators: A Theoretical Approach made Concrete

Authors: W. Hereman, B. Deconinck, L. D. Poole

Abstract: Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational complex. The continuous homotopy operator automates integration by parts on the jet space. Its discrete analogue can be used in applications where summation by… ▽ More Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational complex. The continuous homotopy operator automates integration by parts on the jet space. Its discrete analogue can be used in applications where summation by parts is essential. Several examples illustrate the use of the homotopy operators. The calculus-based formulas for the homotopy operators are easy to implement in computer algebra systems such as Mathematica and Maple. The homotopy operators can be readily applied to the symbolic computation of conservation laws of nonlinear partial differential equations and differential-difference equations. △ Less

Submitted 28 June, 2006; v1 submitted 25 October, 2005; originally announced October 2005.

Comments: Revised version: 13 pages, to be published in "Mathematics and Computers in Simulation", Special Issue on Nonlinear Waves: Computation and Theory, Fourth IMACS Int. Conf. on Nonlinear Evolution Equations and Wave Phenomena: Computation and Theory. Athens, GA, April 11-14, 2005

Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multi-dimensions

Authors: Willy Hereman

Abstract: 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 wit… ▽ More 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 for 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. △ Less

Submitted 27 June, 2005; originally announced June 2005.

Comments: To appear in: Thematic Issue on ``Mathematical Methods and Symbolic Calculation in Chemistry and Chemical Biology'' of the International Journal of Quantum Chemistry. Eds.: Michael Barnett and Frank Harris (2006)

Symbolic Software for the Painleve Test of Nonlinear Ordinary and Partial Differential Equations

Authors: Douglas Baldwin, Willy Hereman

Abstract: The automation of the traditional Painleve test in Mathematica is discussed. The package PainleveTest.m allows for the testing of polynomial systems of ordinary and partial differential equations which may be parameterized by arbitrary functions (or constants). Except where limited by memory, there is no restriction on the number of independent or dependent variables. The package is quite robust… ▽ More The automation of the traditional Painleve test in Mathematica is discussed. The package PainleveTest.m allows for the testing of polynomial systems of ordinary and partial differential equations which may be parameterized by arbitrary functions (or constants). Except where limited by memory, there is no restriction on the number of independent or dependent variables. The package is quite robust in determining all the possible dominant behaviors of the Laurent series solutions of the differential equation. The omission of valid dominant behaviors is a common problem in many implementations of the Painleve test, and these omissions often lead to erroneous results. Finally, our package is compared with the other available implementations of the Painleve test. △ Less

Submitted 2 February, 2006; v1 submitted 1 May, 2005; originally announced May 2005.

Comments: Published in the Journal of Nonlinear Mathematical Physics (http://www.sm.luth.se/math/JNMP/), vol. 13(1), pp. 90-110 (Feb. 2006). The software can be downloaded at either http://www.douglasbaldwin.com or http://www.mines.edu/fs_home/whereman

Journal ref: Journal of Nonlinear Mathematical Physics, vol. 13(1), pp. 90-110 (2006)

Continuous and Discrete Homotopy Operators with Applications in Integrability Testing

Authors: Willy Hereman, Michael Colagrosso, Ryan Sayers, Adam Ringler, Bernard Deconinck, Michael Nivala, Mark S. Hickman

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 differe… ▽ More 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. By analogy 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 system, 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. △ Less

Submitted 19 January, 2005; originally announced January 2005.

Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations

Authors: Douglas Baldwin, Unal Goktas, Willy Hereman

Abstract: A new algorithm is presented to find exact traveling wave solutions of differential-difference equations in terms of tanh functions. For systems with parameters, the algorithm determines the conditions on the parameters so that the equations might admit polynomial solutions in tanh. Examples illustrate the key steps of the algorithm. Parallels are drawn through discussion and example to the ta… ▽ More A new algorithm is presented to find exact traveling wave solutions of differential-difference equations in terms of tanh functions. For systems with parameters, the algorithm determines the conditions on the parameters so that the equations might admit polynomial solutions in tanh. Examples illustrate the key steps of the algorithm. Parallels are drawn through discussion and example to the tanh-method for partial differential equations. The new algorithm is implemented in Mathematica. The package DDESpecialSolutions.m can be used to automatically compute traveling wave solutions of nonlinear polynomial differential-difference equations. Use of the package, implementation issues, scope, and limitations of the software are addressed. △ Less

Submitted 1 December, 2003; originally announced December 2003.

Comments: 19 pages submitted to Computer Physics Communications. The software can be downloaded at http://www.mines.edu/fs_home/whereman

Symbolic Computation of Conserved Densities, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations

Authors: Willy Hereman, Jan A. Sanders, Jack Sayers, **g ** Wang

Abstract: Algorithms for the symbolic computation of conserved densities, fluxes, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations are presented. In the algorithms we use discrete versions of the Frechet and variational derivatives, as well as discrete Euler and homotopy operators. The algorithms are illustrated for prototypical nonlinear lattice… ▽ More Algorithms for the symbolic computation of conserved densities, fluxes, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations are presented. In the algorithms we use discrete versions of the Frechet and variational derivatives, as well as discrete Euler and homotopy operators. The algorithms are illustrated for prototypical nonlinear lattices, including the Kac-van Moerbeke (Volterra) and Toda lattices. Results are shown for the modified Volterra and Ablowitz-Ladik lattices. △ Less

Submitted 16 November, 2003; originally announced November 2003.

Comments: 15 pages for the CRM Proceedings of the Workshop on Group Theory and Numerical Methods

Symbolic algorithms for the Painleve test, special solutions, and recursion operators for nonlinear PDEs

Authors: Douglas Baldwin, Willy Hereman, Jack Sayers

Abstract: This paper discusses the algorithms and implementations of three Mathematica packages for the study of integrability and the computation of closed-form solutions of nonlinear polynomial PDEs. The first package, PainleveTest.m, symbolically performs the Painleve integrability test. The second package, PDESpecialSolutions.m, computes exact solutions expressible in hyperbolic or elliptic function… ▽ More This paper discusses the algorithms and implementations of three Mathematica packages for the study of integrability and the computation of closed-form solutions of nonlinear polynomial PDEs. The first package, PainleveTest.m, symbolically performs the Painleve integrability test. The second package, PDESpecialSolutions.m, computes exact solutions expressible in hyperbolic or elliptic functions. The third package, PDERecursionOperator.m, generates and tests recursion operators. △ Less

Submitted 16 November, 2003; originally announced November 2003.

Comments: 15 pages for the CRM Proceedings of the Workshop on Group Theory and Numerical Methods

Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs

Authors: D. Baldwin, U. Goktas, W. Hereman, L. Hong, R. S. Martino, J. Miller

Abstract: Algorithms are presented for the tanh- and sech-methods, which lead to closed-form solutions of nonlinear ordinary and partial differential equations (ODEs and PDEs). New algorithms are given to find exact polynomial solutions of ODEs and PDEs in terms of Jacobi's elliptic functions. For systems with parameters, the algorithms determine the conditions on the parameters so that the differential… ▽ More Algorithms are presented for the tanh- and sech-methods, which lead to closed-form solutions of nonlinear ordinary and partial differential equations (ODEs and PDEs). New algorithms are given to find exact polynomial solutions of ODEs and PDEs in terms of Jacobi's elliptic functions. For systems with parameters, the algorithms determine the conditions on the parameters so that the differential equations admit polynomial solutions in tanh, sech, combinations thereof, Jacobi's sn or cn functions. Examples illustrate key steps of the algorithms. The new algorithms are implemented in Mathematica. The package DDESpecialSolutions.m can be used to automatically compute new special solutions of nonlinear PDEs. Use of the package, implementation issues, scope, limitations, and future extensions of the software are addressed. A survey is given of related algorithms and symbolic software to compute exact solutions of nonlinear differential equations. △ Less

Submitted 16 November, 2003; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: 39 pages. Software available from Willy Hereman's home page at http://www.mines.edu/fs_home/whereman/

Integrability Tests for Nonlinear Evolution Equations

Authors: Willy Hereman, Unal Goktas

Abstract: Discusses several integrability tests for nonlinear evolution equations. Discusses several integrability tests for nonlinear evolution equations. △ Less

Submitted 30 April, 1999; v1 submitted 28 April, 1999; originally announced April 1999.

Comments: uses 31x47jw.sty, chapter in: Computer Algebra Systems: A Practical Guide (Ed. Michael Wester), Wiley and Sons, New York, in press

The Painlevé Integrability Test

Authors: Willy Hereman

Abstract: The Painlevé test is a widely applied and quite successful technique to investigate the integrability of nonlinear ODEs and PDEs by analyzing the singularity structure of the solutions. The test is named after the French mathematician Paul Painlevé .... The Painlevé test is a widely applied and quite successful technique to investigate the integrability of nonlinear ODEs and PDEs by analyzing the singularity structure of the solutions. The test is named after the French mathematician Paul Painlevé .... △ Less

Submitted 6 March, 1998; originally announced March 1998.

Comments: For chapter in book `Computer Algebra in Germany', Eds.: J. Grabmeier et al. (Springer Verlag, 1998), Submitted to Werner Seiler, March 5, 1998, Latex

Algorithmic Integrability Tests for Nonlinear Differential and Lattice Equations

Authors: Willy Hereman, Unal Goktas, Michael D. Colagrosso, Antonio J. Miller

Abstract: Three symbolic algorithms for testing the integrability of polynomial systems of partial differential and differential-difference equations are presented. The first algorithm is the well-known Painlevé test, which is applicable to polynomial systems of ordinary and partial differential equations. The second and third algorithms allow one to explicitly compute polynomial conserved densities and h… ▽ More Three symbolic algorithms for testing the integrability of polynomial systems of partial differential and differential-difference equations are presented. The first algorithm is the well-known Painlevé test, which is applicable to polynomial systems of ordinary and partial differential equations. The second and third algorithms allow one to explicitly compute polynomial conserved densities and higher-order symmetries of nonlinear evolution and lattice equations. The first algorithm is implemented in the symbolic syntax of both Macsyma and Mathematica. The second and third algorithms are available in Mathematica. The codes can be used for computer-aided integrability testing of nonlinear differential and lattice equations as they occur in various branches of the sciences and engineering. Applied to systems with parameters, the codes can determine the conditions on the parameters so that the systems pass the Painlevé test, or admit a sequence of conserved densities or higher-order symmetries. △ Less

Submitted 6 March, 1998; originally announced March 1998.

Comments: Submitted to: Computer Physics Communications, Latex, uses the style files elsart.sty and elsart12.sty

Computation of Higher-order Symmetries for Nonlinear Evolution and Lattice Equations

Authors: Unal Goktas, Willy Hereman

Abstract: A straightforward algorithm for the symbolic computation of higher-order symmetries of nonlinear evolution equations and lattice equations is presented. The scaling properties of the evolution or lattice equations are used to determine the polynomial form of the higher-order symmetries. The coefficients of the symmetry can be found by solving a linear system. The method applies to polynomial sys… ▽ More A straightforward algorithm for the symbolic computation of higher-order symmetries of nonlinear evolution equations and lattice equations is presented. The scaling properties of the evolution or lattice equations are used to determine the polynomial form of the higher-order symmetries. The coefficients of the symmetry can be found by solving a linear system. The method applies to polynomial systems of PDEs of first-order in time and arbitrary order in one space variable. Likewise, lattices must be of first order in time but may involve arbitrary shifts in the discretized space variable. The algorithm is implemented in Mathematica and can be used to test the integrability of both nonlinear evolution equations and semi-discrete lattice equations. With our Integrability Package, higher-order symmetries are obtained for several well-known systems of evolution and lattice equations. For PDEs and lattices with parameters, the code allows one to determine the conditions on these parameters so that a sequence of higher-order symmetries exist. The existence of a sequence of such symmetries is a predictor for integrability. △ Less

Submitted 30 January, 1998; originally announced February 1998.

Comments: Submitted to: Advances in Computational Mathematics, 23 pages, Latex, uses the style file bal.sty

Invariants and Symmetries for Partial Differential Equations and Lattices

Authors: Unal Goktas, Willy Hereman

Abstract: Methods for the computation of invariants and symmetries of nonlinear evolution, wave, and lattice equations are presented. The algorithms are based on dimensional analysis, and can be implemented in any symbolic language, such as Mathematica. Invariants and symmetries are shown for several well-known equations. Our Mathematica package allows one to automatically compute invariants and symmetr… ▽ More Methods for the computation of invariants and symmetries of nonlinear evolution, wave, and lattice equations are presented. The algorithms are based on dimensional analysis, and can be implemented in any symbolic language, such as Mathematica. Invariants and symmetries are shown for several well-known equations. Our Mathematica package allows one to automatically compute invariants and symmetries. Applied to systems with parameters, the package determines the conditions on these parameters so that a sequence of invariants or symmetries exists. The software can thus be used to test the integrability of model equations for wave phenomena. △ Less

Submitted 26 January, 1998; originally announced January 1998.

Comments: To appear in Proceedings of Fourth International Conference on Mathematical and Numerical Aspects of Wave Propagation (June 1-5, 1998, Golden, CO), 5 pages, Latex, uses the style file proc209.sty

Computation of conservation laws for nonlinear lattices

Authors: Unal Goktas, Willy Hereman

Abstract: An algorithm to compute polynomial conserved densities of polynomial nonlinear lattices is presented. The algorithm is implemented in Mathematica and can be used as an automated integrability test. With the code diffdens.m, conserved densities are obtained for several well-known lattice equations. For systems with parameters, the code allows one to determine the conditions on these parameters so… ▽ More An algorithm to compute polynomial conserved densities of polynomial nonlinear lattices is presented. The algorithm is implemented in Mathematica and can be used as an automated integrability test. With the code diffdens.m, conserved densities are obtained for several well-known lattice equations. For systems with parameters, the code allows one to determine the conditions on these parameters so that a sequence of conservation laws exist. △ Less

Submitted 22 January, 1998; originally announced January 1998.

Comments: To appear in Physica D, 17 pages, Latex, uses the style files elsart.sty and elsart12.sty

Computation of conserved densities for systems of nonlinear differential-difference equations

Authors: Unal Goktas, Willy Hereman, Grant Erdmann

Abstract: A new method for the computation of conserved densities of nonlinear differential-difference equations is applied to Toda lattices and discretizations of the Korteweg-de Vries and nonlinear Schrodinger equations. The algorithm, which can be implemented in computer algebra languages such as Mathematica, can be used as an indicator of integrability. A new method for the computation of conserved densities of nonlinear differential-difference equations is applied to Toda lattices and discretizations of the Korteweg-de Vries and nonlinear Schrodinger equations. The algorithm, which can be implemented in computer algebra languages such as Mathematica, can be used as an indicator of integrability. △ Less

Submitted 23 April, 1997; originally announced April 1997.

Comments: submitted to Phys. Lett A, 10 pages, latex

Report number: MCS-97-02

Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations

Authors: Unal Goktas, Willy Hereman

Abstract: A new algorithm for the symbolic computation of polynomial conserved densities for systems of nonlinear evolution equations is presented. The algorithm is implemented in Mathematica. The program condens.m automatically carries out the lengthy symbolic computations for the construction of conserved densities. The code is tested on several well-known partial differential equations from soliton the… ▽ More A new algorithm for the symbolic computation of polynomial conserved densities for systems of nonlinear evolution equations is presented. The algorithm is implemented in Mathematica. The program condens.m automatically carries out the lengthy symbolic computations for the construction of conserved densities. The code is tested on several well-known partial differential equations from soliton theory. For systems with parameters, condens.m can be used to determine the conditions on these parameters so that a sequence of conserved densities might exist. The existence of a large number of conservation laws is a predictor for integrability of the system. △ Less

Submitted 27 February, 1997; originally announced February 1997.

Comments: 31 pages, Latex, uses jsc.sty, submitted to J. Symbolic Computation

Report number: MCS-96-06

Complete integrability of a modified vector derivative nonlinear Schroedinger equation

Authors: Ralph Willox, Willy Hereman, Frank Verheest

Abstract: Oblique propagation of magnetohydrodynamic waves in warm plasmas is described by a modified vector derivative nonlinear Schroedinger equation, if charge separation in Poisson's equation and the displacement current in Ampere's law are properly taken into account. This modified equation cannot be reduced to the standard derivative nonlinear Schroedinger equation and hence its possible integrabili… ▽ More Oblique propagation of magnetohydrodynamic waves in warm plasmas is described by a modified vector derivative nonlinear Schroedinger equation, if charge separation in Poisson's equation and the displacement current in Ampere's law are properly taken into account. This modified equation cannot be reduced to the standard derivative nonlinear Schroedinger equation and hence its possible integrability and related properties need to be established afresh. Indeed, the new equation is shown to be integrable by the existence of a bi--Hamiltonian structure, which yields the recursion operator needed to generate an infinite sequence of conserved densities. Some of these have been found explicitly by symbolic computations based on the symmetry properties of the new equation. Since the new equation includes as a special case the derivative nonlinear Schroedinger equation, the recursion operator for the latter one is now readily available. △ Less

Submitted 14 July, 1994; originally announced July 1994.

Comments: LateX (17 pages)