Abstract
A REDUCE program LIEPDE to formulate and automatically solve conditions for determining Lie-symmetries of PDE-systems is described and examples with timings are given. Mainly responsible for the improved efficiency are two modules of the REDUCE package CRACK, which is used to solve the symmetry conditions. These modules integrate exact PDEs and perform a generalized separation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E.A. Arais, V.P. Shapeev and N.N. Janenko, DAN SSSR 214, 296 (1974)
A.V. Bocharov, M.L. Bronstein, Efficiently implementing two methods of the geometrical theory of differential equations: An experience in algorithm and software design, Acta Appl. Math. 16, 143–166 (1988)
J. Carminati, J.S. Devitt and G.J. Fee, Isogroups of differential equations using algebraic computing, J. Sym. Comp. 14, 103–120 (1992)
B. Champagne, W. Hereman and P. Winternitz, The computer calculation of Lie point symmetries of large systems of differential equation, Comp. Phys. Comm. 66, 319–340 (1991)
W.I. Fushchych, V.V. Kornyak, Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations, J. Symb. Comp. 7, no 6, 611–619 (1989)
V.G. Ganja, S.V. Meleshko, F.A. Murzin, V.P. Shapeev and N.N. Janenko, DAN SSSR 261, 1044 (1981)
V.G. Ganzha and N.N. Yanenko, Compatibility Analysis for Systems of Differential Equations on a Computer, ITPM Preprint # 20–82 (ITPM, Novosibirsk, USSR, in Russian) (1982)
V.P. Gerdt and A.Yu. Zharkov, Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems, in: Proc. ISSAC’90, Tokyo, Japan, Eds.: S. Watenabe and M. Nagata (ACM Press, New York) 250–254 (1990)
W. Hereman, Review of Symbolic Software for the Computation of Lie Symmetries of Differential Equations, to appear in Euromath Bulletin 2, no 1 (1993)
S. Herod, MathSym: A Mathematica program for computing Lie symmetries, Preprint, Program in Applied Mathematics (The University of Colorado, Boulder, Colorado, 1992) submitted to the Mathematica Journal (1993)
M. Janet, J. Math. 3, 65–151 (1920)
M. Janet, Lecons sur les Systemes d’Equations aux Derivees (Gauthier-Villars, Paris, 1929)
M. Janet, Equations aux Derivees Partielles (CNRS, Paris, 1956)
E. Kamke, Differentialgleichungen, Lösungsmethoden und Lösungen, Band 1, Gewöhnliche Differentialgleichungen, Chelsea Publishing Company, New York, (1959)
V.I. Karpman, Phys. Lett. A 136, 216 (1989)
V.V. Kornyak and W.I. Fushchych, A program for symmetry analysis of differential equations, Proc. of the 1991 International symposium on Symbolic and Algebraic Computation, (S. Watt, ed.), ACM Press, Bonn, 315–316 (1991)
M.A.H. MacCallum, An Ordinary Differential Equation Solver for REDUCE, Proc. ISAAC’88, Springer Lect. Notes in Comp Sci. 358, 196–205.
M.A.H. MacCallum, F.J. Wright, Algebraic Computing with REDUCE, Clarendon Press, Oxford (1991).
M.C. Nucci, Interactive REDUCE programs for calculating, classical, non-classical, and Lie-Bäcklund symmetries of differential equations, Preprint, School of Mathematics, Georgia Institute of Technology, Atlanta, (1990)
P.J. Olver, Applications of Lie Groups to Differential Equations, Springer-Verlag New York (1986)
G.J. Reid, J. Phys. A: Math. Gen. 23, L853–L859 (1990)
G.J. Reid, Algorithmic determination of Lie symmetry algebras of differential equations, Lie Theory, Differential Equations and Representation Theory, (V. Hussin, ed.) Les Publications de Centres de Recherches Mathématiques, Montreal, Canada, 363–372 (1990)
G.J. Reid, A triangularization algorithm which determines the Lie symmetry algebra of any system of PDEs, J. Phys. A: Math. Gen. 23, L853–L859 (1990)
G.J. Reid, Finding symmetries of differential equations without integrating determining equations, Europ. J. Appl. Math. 2, 293–340 (1991)
G.J. Reid and A. Boulton, Reduction of systems of differential equations to standard form and their integration using directed graphs, in: Proc. ISSAC’91, Bonn, Germany, Ed.: M. Watt (ACM Press, New York), 308–312 (1991)
C. Riquier, Les systemes d’equations aux derives partielles, Paris Gauthier-Villars (1910)
W. Sarlet and J. Vanden Bonne, REDUCE-procedures for the study of adjoint symmetries of second-order differential equations, J. Sym. Comp. 13, 683–693 (1992)
F. Schwarz, Physica D 11, 243–251 (1984)
F. Schwarz, Automatically determining symmetries of partial differential equations, Computing 34, 91–106 (1985)
F. Schwarz, Addendum: Computing 36, 279–80 (1986)
F. Schwarz, Symmetries of differential equations from Sophus Lie to computer algebra, SIAM Review 30, 450–81 (1988)
F. Schwarz, An Algorithm for Determining the Size of Symmetry Groups, Computing 49, 95–115 (1992)
J. Sherring and G. Prince, DIMSYM — Symmetry determination and linear differential equations package, Report, LaTrobe University, Bundoora, Australia (1992)
S. Steinberg, Symmetries of differential equations, MACSYMA Newsletter 7, 3–7 (1990)
H. Stephani, Differential Equations, Their solution using symmetries, Edit. M.A.H. MacCallum, Cambridge Univ. Press (1989)
J. Thomas, Differential Systems, Colloquium Publications 21, AMS, New York (1937)
V.L. Topunov, Acta Appl. Math. 16, 191–206 (1989)
P. Vafeades, PDELIE: A partial differential equation solver, Macsyma Newsletter 9, 1–13 (1992)
T. Wolf, The Symbolic Integration of Exact PDEs, preprint (1991).
T. Wolf, A. Brand, The Computer Algebra Package CRACK for Investigating PDEs, preprint, manual for the package in the REDUCE network library and in Proceedings of ERCIM School on Partial Differential Equations and Group Theory, April 1992 in Bonn, GMD Bonn.
T. Wolf, An analytic algorithm for decoupling and integrating systems of nonlinear partial differential equations, J. of Comp. Phys. 60, no 3, 437–46 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wolf, T. (1993). An Efficiency Improved Program Liepde for Determining Lie-Symmetries of PDES. In: Ibragimov, N.H., Torrisi, M., Valenti, A. (eds) Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2050-0_40
Download citation
DOI: https://doi.org/10.1007/978-94-011-2050-0_40
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4908-5
Online ISBN: 978-94-011-2050-0
eBook Packages: Springer Book Archive