%0 Journal Article %1 Vu20121044 %A Vu, K.T. %A Jefferson, G.F. %A Carminati, J. %D 2012 %J Computer Physics Communications %K ODEs analysis mathematics software symmetry %N 4 %P 1044 - 1054 %R 10.1016/j.cpc.2012.01.005 %T Finding higher symmetries of differential equations using the MAPLE package DESOLVII %U http://www.sciencedirect.com/science/article/pii/S0010465512000070 %V 183 %X We present and describe, with illustrative examples, the MAPLE computer algebra package DESOLVII, which is a major upgrade of DESOLV. DESOLVII now includes new routines allowing the determination of higher symmetries (contact and Lie-Backlund) for systems of both ordinary and partial differential equations. 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-Backlund 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-Backlund) 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.

@article{Vu20121044, abstract = {We present and describe, with illustrative examples, the MAPLE computer algebra package DESOLVII, which is a major upgrade of DESOLV. DESOLVII now includes new routines allowing the determination of higher symmetries (contact and Lie-Backlund) for systems of both ordinary and partial differential equations. 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-Backlund 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-Backlund) 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. }, added-at = {2012-02-25T18:47:00.000+0100}, author = {Vu, K.T. and Jefferson, G.F. and Carminati, J.}, biburl = {https://www.bibsonomy.org/bibtex/29c48789455d475690ab2e7a875f7fa68/drmatusek}, description = {Finding higher symmetries of differential equations using the MAPLE package DESOLVII 10.1016/j.cpc.2012.01.005 : Computer Physics Communications | ScienceDirect.com}, doi = {10.1016/j.cpc.2012.01.005}, interhash = {ae257fa576987689da69de17f6658ee2}, intrahash = {9c48789455d475690ab2e7a875f7fa68}, issn = {0010-4655}, journal = {Computer Physics Communications}, keywords = {ODEs analysis mathematics software symmetry}, month = {April}, number = 4, pages = {1044 - 1054}, timestamp = {2013-03-23T16:22:51.000+0100}, title = {Finding higher symmetries of differential equations using the MAPLE package DESOLVII}, url = {http://www.sciencedirect.com/science/article/pii/S0010465512000070}, volume = 183, year = 2012 }