Showing 1–15 of 15 results for author: Goktas, U

Using Symmetries to Investigate the Complete Integrability, Solitary Wave Solutions and Solitons of the Gardner Equation

Authors: Willy Hereman, Ünal Göktaş

Abstract: Using a scaling symmetry, it is shown how to compute polynomial conservation laws, generalized symmetries, recursion operators, Lax pairs, and bilinear forms of polynomial nonlinear partial differential equations thereby establishing their complete integrability. The Gardner equation is chosen as the key example for it comprises both the Korteweg-de Vries and modified Korteweg-de Vries (mKdV) equa… ▽ More Using a scaling symmetry, it is shown how to compute polynomial conservation laws, generalized symmetries, recursion operators, Lax pairs, and bilinear forms of polynomial nonlinear partial differential equations thereby establishing their complete integrability. The Gardner equation is chosen as the key example for it comprises both the Korteweg-de Vries and modified Korteweg-de Vries (mKdV) equations. The Gardner and Miura transformations which connect these equations are also computed using the concept of scaling homogeneity. Exact solitary wave solutions and solitons of the Gardner equation are derived using Hirota's method and other direct methods. The nature of these solutions depends on the sign of the cubic term in the Gardner equation and the underlying mKdV equation. It is shown that flat (table-top) waves of large amplitude only occur when the sign of the cubic nonlinearity is negative (defocusing case) whereas the focusing Gardner equation has the standard elastically colliding solitons. The paper's aim is to provide a review of integrability properties and solutions of the Gardner equation and illustrate the applicability of the scaling symmetry approach. The methods and algorithms used in this paper have been implemented in Mathematica but can be adapted for major computer algebra systems. △ Less

Submitted 14 October, 2024; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: Updated version of invited paper published in Special Issue on Symmetry Methods for Solving Differential Equations (Mehmet Pakdemirli, ed.) of Mathematical and Computational Applications (35 pages, 9 figures, 83 references). Minor corrections, text expanded, and several references added. Open access (2024)

MSC Class: Primary 35Q51; 35Q53. Secondary 37K10; 37K40

Journal ref: Mathematical and Computational Applications 29(5), 91, 35pp (2024)

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

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

Methods in Mathematica for Solving Ordinary Differential Equations

Authors: Ünal Göktaş, Devendra Kapadia

Abstract: An overview of the solution methods for ordinary differential equations in the Mathematica function DSolve is presented. An overview of the solution methods for ordinary differential equations in the Mathematica function DSolve is presented. △ Less

Submitted 20 April, 2011; originally announced April 2011.

Comments: 13 pages

Journal ref: Mathematical and Computational Applications, 16, 784-796, 2011

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 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

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