Skip to main content

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.A. Arais, V.P. Shapeev and N.N. Janenko, DAN SSSR 214, 296 (1974)

    Google Scholar 

  2. 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)

    Article  MathSciNet  Google Scholar 

  3. J. Carminati, J.S. Devitt and G.J. Fee, Isogroups of differential equations using algebraic computing, J. Sym. Comp. 14, 103–120 (1992)

    MathSciNet  MATH  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    Article  Google Scholar 

  6. V.G. Ganja, S.V. Meleshko, F.A. Murzin, V.P. Shapeev and N.N. Janenko, DAN SSSR 261, 1044 (1981)

    Google Scholar 

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

    Google Scholar 

  8. 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)

    Google Scholar 

  9. W. Hereman, Review of Symbolic Software for the Computation of Lie Symmetries of Differential Equations, to appear in Euromath Bulletin 2, no 1 (1993)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. M. Janet, J. Math. 3, 65–151 (1920)

    Google Scholar 

  12. M. Janet, Lecons sur les Systemes d’Equations aux Derivees (Gauthier-Villars, Paris, 1929)

    MATH  Google Scholar 

  13. M. Janet, Equations aux Derivees Partielles (CNRS, Paris, 1956)

    Google Scholar 

  14. E. Kamke, Differentialgleichungen, Lösungsmethoden und Lösungen, Band 1, Gewöhnliche Differentialgleichungen, Chelsea Publishing Company, New York, (1959)

    Google Scholar 

  15. V.I. Karpman, Phys. Lett. A 136, 216 (1989)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Google Scholar 

  17. M.A.H. MacCallum, An Ordinary Differential Equation Solver for REDUCE, Proc. ISAAC’88, Springer Lect. Notes in Comp Sci. 358, 196–205.

    Google Scholar 

  18. M.A.H. MacCallum, F.J. Wright, Algebraic Computing with REDUCE, Clarendon Press, Oxford (1991).

    MATH  Google Scholar 

  19. 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)

    Google Scholar 

  20. P.J. Olver, Applications of Lie Groups to Differential Equations, Springer-Verlag New York (1986)

    Book  MATH  Google Scholar 

  21. G.J. Reid, J. Phys. A: Math. Gen. 23, L853–L859 (1990)

    Article  MATH  Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Article  MATH  Google Scholar 

  24. G.J. Reid, Finding symmetries of differential equations without integrating determining equations, Europ. J. Appl. Math. 2, 293–340 (1991)

    Article  MATH  Google Scholar 

  25. 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)

    Google Scholar 

  26. C. Riquier, Les systemes d’equations aux derives partielles, Paris Gauthier-Villars (1910)

    Google Scholar 

  27. 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)

    Article  MATH  Google Scholar 

  28. F. Schwarz, Physica D 11, 243–251 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  29. F. Schwarz, Automatically determining symmetries of partial differential equations, Computing 34, 91–106 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  30. F. Schwarz, Addendum: Computing 36, 279–80 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  31. F. Schwarz, Symmetries of differential equations from Sophus Lie to computer algebra, SIAM Review 30, 450–81 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  32. F. Schwarz, An Algorithm for Determining the Size of Symmetry Groups, Computing 49, 95–115 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  33. J. Sherring and G. Prince, DIMSYM — Symmetry determination and linear differential equations package, Report, LaTrobe University, Bundoora, Australia (1992)

    Google Scholar 

  34. S. Steinberg, Symmetries of differential equations, MACSYMA Newsletter 7, 3–7 (1990)

    Google Scholar 

  35. H. Stephani, Differential Equations, Their solution using symmetries, Edit. M.A.H. MacCallum, Cambridge Univ. Press (1989)

    Google Scholar 

  36. J. Thomas, Differential Systems, Colloquium Publications 21, AMS, New York (1937)

    Google Scholar 

  37. V.L. Topunov, Acta Appl. Math. 16, 191–206 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  38. P. Vafeades, PDELIE: A partial differential equation solver, Macsyma Newsletter 9, 1–13 (1992)

    Google Scholar 

  39. T. Wolf, The Symbolic Integration of Exact PDEs, preprint (1991).

    Google Scholar 

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

    Google Scholar 

  41. 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)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics