Elsevier Science Home
Computer Physics Communications Program Library
Full text online from Science Direct
Programs in Physics & Physical Chemistry
CPC Home

[Licence| Download | New Version Template] adyz_v2_0.tar.gz(109 Kbytes)
Manuscript Title: Finding higher symmetries of differential equations using the MAPLE package DESOLVII
Authors: K. T. Vu, G. F. Jefferson, J. Carminati
Program title: DESOLVII
Catalogue identifier: ADYZ_v2_0
Distribution format: tar.gz
Journal reference: Comput. Phys. Commun. 183(2012)1044
Programming language: MAPLE internal language.
Computer: PCs and workstations.
Operating system: Linux, Windows XP and Windows 7.
RAM: Depends on the type of problem and the complexity of the system (small ≈ MB, large ≈ GB)
Keywords: Lie-Bächlund symmetries, Symbolic computing, Differential equations, Maple.
PACS: 02.30.J, 02.02.S, 02.70..
Classification: 4.3, 5.

Does the new version supersede the previous version?: Yes

Nature of problem:
There are a number of approaches one may use to find solutions to systems of differential equations. These include numerical, perturbative, and algebraic methods. Unfortunately, approximate or numerical solution methods may be inappropriate in many cases or even impossible due to the nature of the system and hence exact methods are important. In their own right, exact solutions are valuable not only as a yardstick for approximate/numerical solutions but also as a means of elucidating the physical meaning of fundamental quantities in systems.
One particular method of finding special exact solutions is afforded by the work of Sophus Lie and the use of continuous transformation groups. The power of Lie's group theoretic method lies in its ability to unify a number of ad hoc integration methods through the use of symmetries, that is, continuous groups of transformations which leave the differential system "unchanged". These symmetry groups may then be used to find special solutions. Solutions found in this manner are called similarity or invariant solutions.
The method of finding symmetry transformations initially requires the generation of a large overdetermined system of linear, homogeneous, coupled PDEs. The integration of this system is usually reasonably straightforward requiring the (often elementary) integration of equations by splitting the system according to dependency on different orders and degrees of the dependent variable/s. Unfortunately, in the case of contact and Lie-Bäcklund symmetries, the integration of the determining system becomes increasingly more difficult as the order of the symmetry is increased. This is because the symmetry generating functions become dependent on higher orders of the derivatives of the dependent variables and this diminishes the overall resulting "separable" differential conditions derived from the main determining system. Furthermore, typical determining systems consist of tens to hundreds of equations and this, combined with standard mechanical solution methods, makes the process well suited to automation using computer algebra systems.
The new MAPLE package DESOLVII, which is a major upgrade of DESOLV, now includes routines allowing the determination of higher symmetries (contact and Lie-Bäcklund) for systems of both ordinary and partial differential equations. In addition, significant improvements have been implemented to the algorithm for PDE solution. Finally, we have made some improvements in the overall automated process so as to improve user friendliness by reducing user intervention where possible.

Solution method:
See "Nature of problem" above.

Reasons for new version:
New and improved functionality.

Summary of revisions:
  1. New functionality - can now compute generalised symmetries.
  2. Much improved efficiency (speed and memory use) of existing routines.

Restrictions:
Sufficient memory may be required for complex systems.

Running time:
Depends on the type of problem and the complexity of the system (small ≈ seconds, large ≈ hours)