Hereman, W., Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bull., 1(1994), 45--82.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....the linearized form of such transformations, satisfy an associated linear system of overdetermined partial di erential equations. There are many computer algebra programs for automatically generating such in nitesimal symmetry determining systems (see the extensive review article by Hereman [7], and also see [9] Applications of symmetries include mapping known solutions to new solutions, reducing the order of ode and the 1 Support from the Natural Sciences and Engineering Research Council of Canada is gratefully acknowledged. The assistance of Mark Hickman, with his package Symmetry ....

W. Hereman, Review of symbolic software for the computation of Lie symmetries of dierential equations, Euromath Bull., 1 (1994), pp. 45-79.

....solution for determining radical differential ideal membership. The differential elimination algorithms of these and related approaches are based on extending Ritt s concept of a (differential) characteristic set [3, 12] Applications of differential elimination algorithms are given in [20, 7, 13, 5, 4, 9, 8, 3]. Our paper is based on results in Rust s Ph.D thesis [18] which is available on the web. 1 2 Preliminaries 2.1 Functions and Derivatives In theoretical arguments we represent differential equations as functions, much as in algebra polynomials have long since largely replaced polynomial ....

W. Hereman, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bull., 1 (1994), pp. 45--79.

....solutions of the system they are amenable to computer implementation. The development of flexible, efficient computer algebra systems such as Maple, Mathematica, Macsyma and Reduce has prompted vigorous activity in the development and computer implementation of dec algorithms. The review article [20] and the introduction of [42] discuss and give numerous references to implementations of such methods. Well developed theory and efficient computer implementations of dec algorithms are now available for linear systems. Indeed systems containing thousands of linear pde have now been successfully ....

Hereman, W. 1994. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 1 45--79.

....indices. The infinitesimals i of a symmetry operator are found by solving an associated system of (linear homogeneous partial differential) defining equations for (x) Defining equations are derived by an explicit algorithm [1, 19] for which many computer implementations are available [11]. Although heuristic programs for solving infinitesimal defining equations exist [11] there is no algorithm which always succeeds in this solution process. Symmetry operators (1) span a Lie algebra [1, 19] that is, a vector space closed under the skew symmetric commutator bracket [P; Q] PQ ....

.... associated system of (linear homogeneous partial differential) defining equations for (x) Defining equations are derived by an explicit algorithm [1, 19] for which many computer implementations are available [11] Although heuristic programs for solving infinitesimal defining equations exist [11], there is no algorithm which always succeeds in this solution process. Symmetry operators (1) span a Lie algebra [1, 19] that is, a vector space closed under the skew symmetric commutator bracket [P; Q] PQ Gamma QP: 2) If P = P j (x) x j , and Q = Q j (x) x j , their ....

W. Hereman. 1994. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 1: 45--79.

....theory ffl Differential Galois Theory Symmetry analysis. This approach has made the strongest impact on computer algebra applications to differential equations. There exist so many implementations that it is very difficult to keep an overview. We must refer here to a recent survey by Hereman [20] (an updated and extended version will appear in [21] Most packages just set up the determining system for symmetry generating vector fields. A few of the packages also try some heuristics to solve it [19, 44] usually they can cope, however, only with rather simple examples. Singularity ....

W. Hereman. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 2:45--82, 1994.

....For further details and for the methods available see its online documentation. mathPAD PointStyle=Circles,PointWidth=40,Title= Euler ,TitlePosition= 8.5,5] exsol : op(solve(ode( y (t) y(t) 2,y(0) 1 ,y(t) 1) exact : Mode=Curve, t,exsol] t= 0,0. 9] Title= Exact ,TitlePosition=[8,1],Color= Flat, 0,0,1] mde : detools: modode(F,EULER1, z] t,h,4) 1] ModF : proc(t,y) begin [subs(mde,h=0.1,z=y[1] end proc: modsol : numeric: odesolve(0. 0.95,ModF, 1] RKF78,Alldata) mod4 : detools: odeplot(modsol, 1] Title= ModEuler ,TitlePosition= 9,3] ....

....Thus it is not surprising that already very early in the history of computer algebra the first packages for the symmetry analysis of differential equations emerged. Today it is almost impossible to maintain an overview on the many existing packages; comparatively recent surveys can be found in [8, 9]. MuPAD has been the only one among the major general purpose computer algebra system without a symmetry package. Therefore the first larger component of the detools library is such a package. In this first version it contains basically only methods for setting up determining systems; later ....

W. Hereman. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 2:45--82, 1994.

....bibliography is of course far from being exhaustive. As a further source of references one should mention the survey by Singer [115] It gives much more details, especially on the more algebraic approaches, and contains a large bibliography. The same holds for the more focused surveys by Hereman [57, 58] covering symmetry theory and related fields and the one by MacCallum [74] on the integration of ordinary differential equations. In addition there have been three conferences devoted exclusively to differential equations and computer algebra. Their proceedings [114, 123, 124] contain a number of ....

....than the original equation. Often the repeated application of rather simple heuristics suffices to completely solve at least the determining system. There exist so many implementations of symmetry methods that it is rather difficult to keep an overview; we refer again to the surveys by Hereman [57, 58] with their huge bibliography. In almost any computer algebra system one can find at least a package for setting up the determining system which sometimes also tries to solve it. Some packages are even able to use the symmetries to compute automatically closed form solutions for some classes of ....

W. Hereman. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 2:45--82, 1994.

....bibliography is of course far from being exhaustive. As a further source of references one should mention the survey [104] by Singer. It gives much more details, especially on the more algebraic approaches, and contains a large bibliography. The same holds for the more focused surveys by Hereman [50, 51] covering symmetry theory and related fields and the one by MacCallum [65] on the integration of ordinary differential equations. In addition there have been three conferences devoted exclusively to differential equations and computer algebra. Their proceedings [103, 112, 113] contain a number of ....

....in many cases of practical interest it turns out that is much simpler to solve these linear partial differential equations than the original equation. There exist so many implementations of symmetry methods that it is rather difficult to keep an overview; we refer again to the surveys by Hereman [50, 51]. In almost any computer algebra system one can find a package for setting up the determining system. A few of the packages try furthermore some heuristics to solve it automatically. Again it is rather surprising how often this suffices to obtain the complete symmetry algebra. The symmetry package ....

W. Hereman. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 2:45--82, 1994.

....= 0; Delta 2 = 0; Delta 3 = 0; Delta 4 = 0g ; 2.2) of solutions of the system (2.1) Lie s algorithm [10,59] yields a linear system of overdetermined PDE for the infinitesimals i (x; U ) i = 1; 2; 3, x; U) and OE j (x; U ) j = 1; 2; 3; 4. It has been implemented in many computer packages [40]. The calculations in this section were carried out in MAPLE V Release 5, on a 333 MHZ Pentium II PC running under Linux. When time derivatives in (2.1) were chosen as the terms to be substituted in the prolongation, Hickman s program Symmetry [41] automatically generated a raw classical ....

....x 2 V y 3 V z V t Gamma OE 3 = 0; 4 j 1 S x 2 S y 3 S z S t Gamma OE 4 = 0: 2. 3) Several packages are now available which include heuristics to integrate the determining equations; an excellent survey article by Hereman gives the details of what is currently available [40] (see also [44] Ch. 13) For equations containing parameters, the package diffgrob2 and rif can be used to find the special values of the parameters for which additional symmetries exist [53,69] For equations containing arbitrary functions, so that a classification problem needs to be solved, ....

W. Hereman, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bull. 1 (1994) 45--79.

....without a great deal of study and unfortunately, the indices in general were of fairly limited utility (Mathematica s was the best of the lot) Other people have also reviewed the software in or made comparisons of multiple CASs, emphasizing different aspects than was done here. For example, see [Har91, Her94, Sim92]. In summary, the general purpose CASs surveyed here are all quite powerful, each with its own particular strengths and weaknesses. This review should only be used as a guide, not as a definitive basis for comparison. Comments are welcome and additional problems are actively solicited. ....

W. Hereman, "Review of Symbolic Software for the Computation of Lie Symmetries of Differential Equations", Euromath Bulletin, Volume 1, Number 2, 1994, 45--79.

....physical system of pdes they require the analysis of an associated complex overdetermined system of pdes. In the analysis of pdes for Lie symmetries this associated system is linear and computer algebra packages have been developed which have often succeeded in explicitly solving these systems [26]. Generalizations of Lie s method yield associated systems which are often nonlinear. For example, analysis of differential equations for nonclassical reductions using the methods of Clarkson and Mansfield [18, 17] and the search for discrete symmetries [47] often requires analysis of large ....

....1. 1 Approaches to linear systems Early references to computer implementation of formal methods for systems of pdes are given in [60, 1, 20] Algorithms for simplifying linear systems by including integrability conditions have been extensively developed and have been useful in applications [26]. Schwarz [53] with his implementation of the Riquier Janet method in the symbolic language Reduce, demonstrated the utility of such formal methods in the determination of Backlund transformations. Such algorithms have been used as simplifiers of infinitesimal determining systems for Lie ....

[Article contains additional citation context not shown here]

Hereman, W. 1994. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 1 45--79.

.... all cases of interest the infinitesimal defining system of Lie pseudogroups of symmetries of differential equations can be algorithmically derived [10] Many programs are now available for deriving and attempting to integrate infinitesimal defining systems of these Lie pseudogroups of symmetries [18]. Recently methods which directly extract information from infinitesimal defining systems without integration have become available, and several computer algebra programs now implement these methods [47, 36, 49, 11] Reid [34, 36] and Schwarz [47, 48] independently showed how to obtain the ....

Hereman, W. 1994. Review of symbolic software for the computation of Lie symmetries of differential equations. Euromath Bull., 1 45--79.

....of Lie symmetries for systems of di erential equations. The software is grouped according to the underlying CAS. The review of the available code intentionally focuses on packages written 4 after 1985. More details about pioneering e orts and software written prior to 1985 can be found elsewhere [138]. In Section 13.5, three examples illustrate the results that can be obtained with the software packages. Finally, in Section 13.6 we draw some conclusions. Although no survey can be considered exhaustive, our study intended to cover all the Lie symmetry software, with the exclusion of software ....

....In this section we review the most modern Lie symmetry programs, classi ed according to the underlying computer algebra system. Focusing on new trends, packages written before 1985 are only brie y mentioned. Researchers interested in more details about some of the pioneering work could consult [138]. 13.4.1. COMPUTER IMPLEMENTATION Ideally, a fully automated software package for Lie symmetries should consist of e ective, powerful algorithms and fast procedures for the following tasks: 1. derivation of the determining equations for large or complicated systems of equations; 2. reduction ....

W. Hereman, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bulletin 1, no. 2 (1994) 45-82.

....the calculation of the continuous symmetry group of a modest system of di erential equations is prone to errors, if done with pencil and paper. Computer algebra systems (CAS) such as Mathematica, MACSYMA, Maple, REDUCE, AXIOM and MuPAD are extremely useful for such computations. Symbolic packages [40, 41, 43], written in the language of these CAS, can nd the determining equations of the Lie symmetry group. The most sophisticated packages then reduce these into an equivalent but more suitable system, subsequently solve that system in closed form, and go on to calculate the in nitesimal generators that ....

....on Lie symmetry software for classical Lie point symmetries, contact (or dynamical) generalized (or Lie B acklund) symmetries, nonclassical (or conditional) symmetries. Most of these packages were written in the last decade. Researchers interested in details about pioneering work should consult [13, 40, 41]. In Section 5, two examples illustrate results that can be obtained with Lie symmetry software. In Section 6 we draw some conclusions. Lack of space forces us to give only a few key references for the Lie symmetry packages. A comprehensive survey of the literature devoted to theoretical as well ....

W. Hereman, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bulletin 1(2), 45-82 (1994).

.... 1 = u 2 v 2 ; 58) 2 = 1 2 (u 2 v 2 ) 2 uv x u x v u 2 ; 59) 3 = 1 4 (u 2 v 2 ) 3 1 2 (u 2 x v 2 x ) u 3 v x v 3 u x 4 (u 4 v 4 ) 60) the remaining two can be found in [22] 5 Lie Point Symmetries 5. 1 Purpose The program SYMMGRP.MAX [3, 5, 6, 7] automatically computes the determining equations for the coecients in the vector eld that realizes the Lie algebra of point symmetries. With a feedback mechanism, these determining equations can then be solved explicitly. 11 The program SYMMGRP.MAX has been adapted in two ways. It now allows ....

....a symbolic package, will give the explicit forms of the i (x; u) and l (x; u) The procedure, which is thoroughly discussed in [19] consists of two major steps: deriving the determining equations, and solving them explicitly. Details on how this can be done by computer can be found in [5, 6, 7]. In these papers we also presented a survey of available codes, including a discussion of their strengths and weaknesses. 5.3 Examples Consider the Dym Kruskal equation [1] u t u 3 u xxx = 0: 69) The program SYMMGRP.MAX automatically computes the determining equations for the coecients ....

W. Hereman, Review of Symbolic Software for the Computation of Lie Symmetries of Dierential Equations, Euromath Bulletin 1, no. 2 (1994) 45-82.

....that span the Lie algebra of symmetries. The group invariant solutions obtained via Lie s approach then provide insight into the physical models themselves, or into the accuracy of numerical and approximate treatments. There exists a large amount of literature on Lie symmetries, see e.g. [20]. Here we just mention some books [5, 6, 14, 27, 32, 33, 50] We particularly recommend the special issues of Acta Applicandae Mathematicae on Symmetries of Partial Di erential Equations [58] now available in book form [59] In this paper, we present the program SYMMGRP.MAX, written in MACSYMA ....

....be obtained. In Section 6 we indicate directions for future research and development of symbolic software for Lie symmetries. We draw a brief conclusion in Section 7. 2 Symbolic software for Lie symmetries We review the newest symbolic programs. A more in depth survey will be published shortly [20]. The programs PDELIE and SYM DE have been added to the MACSYMA out of core library. PDELIE by Vafeades [55, 56, 57] attempts to produce the determining equations and the generators of the Lie group automatically. The package PDELIE tries to nd the invariants of the symmetry group and ....

[Article contains additional citation context not shown here]

W. Hereman, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bulletin 2, no. 1 (1993) (to appear).

No context found.

Hereman, W., Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bull., 1(1994), 45--82.

No context found.

Hereman W, Review of symbolic software for the computation of Lie symmetries of differential equations, 1994 Euromath. Bull. 1 45

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC