Hostname: page-component-7c8c6479df-p566r Total loading time: 0 Render date: 2024-03-27T04:27:25.726Z Has data issue: false hasContentIssue false

Finding abstract Lie symmetry algebras of differential equations without integrating determining equations

Published online by Cambridge University Press:  16 July 2009

Gregory J. Reid
Affiliation:
Mathematics Department, University of British Columbia, Vancouver, British Columbia, Canada, V6T 1Y4

Abstract

There are symbolic programs based on heuristics that sometimes, but not always, explicitly integrate the determining equations for the infinitesimal Lie symmetries admitted by systems of differential equations. We present a heuristic-free algorithm ‘Structure constant’, which can always determine whether the Lie symmetry group of a given system of PDEs is finite- or infinite-dimensional. If the group is finite-dimensional then ‘Structure constant’ can determine the dimension and structure constants of its associated Lie algebra without the heuristics of integration involved in other methods. If the group is infinite-dimensional, then ‘Structure constant’ computes the number of arbitrary functions which determine the infinite-dimensional component of its Lie symmetry algebra and also calculates the dimension and structure of its associated finite-dimensional subalgebra. ‘Structure constant’ employs the algorithms ‘Standard form’ and ‘Taylor’, described elsewhere. ‘Standard form’ is a heuristic-free algorithm which brings any system of determining equations to a standard form by including all integrability conditions in the system. ‘Taylor’ uses the standard form of a system of differential equations to calculate its Taylor series solution. These algorithms have been implemented in the symbolic language MAPLE. ‘Structure constant’ can also automatically determine the dimension and structure constants of the Lie symmetry algebras of entire classes of differential equations dependent on variable coefficients. In particular, we obtain new group classification results for some physically interesting classes of nonlinear telegraph equations depending on two variable coefficients, one representing a nonlinear wave speed and the other representing a nonlinear dispersion.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Anderson, R. L., Kumei, S. & Wulfman, C. E. 1972 Generalization of the concept of invariance of differential equations. Phys. Rev. Lett. 28, 988991.CrossRefGoogle Scholar
Olver, P. J. 1986 Applications of Lie Groups to Differential Equations, Springer-Verlag.CrossRefGoogle Scholar
Kumei, S. & Bluman, G. W. 1982 When nonlinear differential equations are equivalent to linear differential equations. SIAM J. Appl. Math. 42, 11571173.CrossRefGoogle Scholar
Bluman, G. W. & Kumei, S. 1989 Symmetries and Differential Equations, Springer-Verlag.CrossRefGoogle Scholar
Bluman, G. W. & Kumei, S. 1990 Symmetry-based algorithms to relate partial differential equations: I. Local symmetries. Euro. J. Appl. Math. 1, 189216.CrossRefGoogle Scholar
Bluman, G. W. & Kumei, S. 1987 On invariance properties of the wave equation. J. Math. Phys. 28, 307318.CrossRefGoogle Scholar
Bluman, G. W., Kumei, S. & Reid, G. J. 1988 New classes of symmetries for partial differential equations. J. Math. Phys. 29, 806811. Erratum. J. Math. Phys. 29, 2320.CrossRefGoogle Scholar
Kersten, P. H. M. 1987 Infinitesimal symmetries: A computational approach. CWI Tracts. 34.Google Scholar
Rosencrans, S. I. 1985 Computation of higher order symmetries using MACSYMA. Comput. Phys. Comm. 38 (3), 347356.CrossRefGoogle Scholar
Schwarz, F. 1985 Automatically determining symmetries of partial differential equations. Computing. 34, 91106.CrossRefGoogle Scholar
Head, A. K. 1990 LIE: A muMATH Program for the calculation of the LIE algebra of differential equations, CSIRO Division of Material Sciences, Clayton, Australia.Google Scholar
Champagne, B. & Winternitz, P. 1985 A MACSYMA program for calculating the symmetry group of a system of differential equations, Report CRM-1278, Centre de Recherches Mathématiques, Université de Montréal.Google Scholar
Reid, G. J. 1991 Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution (to appear in Euro. J. Appl. Math.).CrossRefGoogle Scholar
Reid, G. J. 1990 A triangularization algorithm which determines the Lie symmetry algebra of any system of PDEs. J. Phys. A: Math. Gen. 23, L853L859.CrossRefGoogle Scholar
Reid, G. J. 1989 Algorithmic determination of Lie symmetry algebras of differential equations. Proc. Ann. Seminar Canadian Math. Soc. on Lie theory, dfferential equations and Representation theory, Montreal.Google Scholar
Riquier, C. 1910 Les systèmes d'équations aux dérivés partielles, Gauthier-Villars.Google Scholar
Janet, M. 1920 Sur les systèmes d'équations aux dérivés partielles. J. Math. 3, 65151.Google Scholar
Schwarz, F. 1984 The Riquier–Janet theory and its application to nonlinear evolution equations. Physica. 11D, 243251.Google Scholar
Topunov, V. L. 1989 Reducing systems of linear differential equations to a passive form. Acta Appl. Math. 16, 191206.CrossRefGoogle Scholar
Eisenhart, L. P. 1949 Riemannian Geometry,Princeton University Press.Google Scholar
Ovsiannikov, L. V. 1982 Group Analysis of Dfferential Equations,Academic Press.Google Scholar
Winternitz, P., Grundland, A. M. & Tuszyński, J. A. 1987 Exact solutions of the multidimensional ø6-field equations obtained by symmetry reduction. J. Math. Phys. 28, 21942211.CrossRefGoogle Scholar
Tresse, A. 1896 Détermination des invariants ponctuels de l'équation différentiel ordinaire dt second ordre y″ = ω(x, y, y′), Hirzel.Google Scholar
Galaktionov, V. A., Dorodnitsyn, V. A., Elenin, G. G., Kurdyumov, S. P. & Samarskii, A. A. 1988 A quasi-linear heat equation with a source: peaking, localization, symmetry, exact solutions, asymptotics, structures. J. Sov. Math. 41, 12221292.CrossRefGoogle Scholar
Reid, G. J. New classes of symmetries for nonlinear telegraph equations (in preparation).Google Scholar
Ames, W. F., Lohner, R. J. & Adams, E. 1981 Group properties of utt = [f(u)ux]x. Int. J. Nonlin. Mech. 16, 439447.CrossRefGoogle Scholar
Rand, D. W., Winternitz, P. & Zassenhaus, H. 1987 PASCAL programs for identification of Lie algebras II. Comput. Phys. Comm. 46 (2), 297309.CrossRefGoogle Scholar
Rand, D. W., Winternitz, P. & Zassenhaus, H. 1988 On the identification of a Lie algebra given by its structure constants. I. Direct decompositions, Levi decompositions, and Nilradicals. Lin. Alg. Appl. 109, 197246.CrossRefGoogle Scholar
Bluman, G. W. 1989 Potential symmetries. Proc. Ann. Seminar Canadian Math. Soc. on Lie theory, differential equations and Representation theory, Montreal.Google Scholar
Ma, A. 1990 Extended Group Analysis of the Wave Equation. MSc Thesis, University of British Columbia.Google Scholar
Lisle, I. G. Infinitesimal Equivalence Transformations for Classes of Differential Equations. PhD Thesis, University of British Columbia (in preparation).Google Scholar
Bluman, G. W. & Reid, G. J. 1988 New symmetries for ordinary differential equations. IMA J. Appl. Math. 40, 8794.CrossRefGoogle Scholar
Reid, G. J. & Boulton, A. 1991 Reduction of systems of differential equations to standard form and their integration using directed graphs. Proc. Int. Symposium on Symbolic and Algebraic Computation, Bonn.Google Scholar
Varley, E. & Seymour, B. 1985 Exact solutions for large amplitude waves in dispersive and dissipative systems. Stud. Appl. Math. 72, 241262.CrossRefGoogle Scholar