Abstract
In this investigation, we present symmetry algebras of the canonical geodesic equations of the indecomposable solvable Lie groups of dimension five, confined to algebras to . For each algebra, the related system of geodesics is provided. Moreover, a basis for the associated Lie algebra of the symmetry vector fields, as well as the corresponding nonzero brackets, are constructed and categorized.
1. Introduction
The use of Lie symmetry methods has become an increasingly important part of the study of differential equations, ranging from obtaining new solutions from known ones [1,2], reducing the order of a given equation [1,2,3], deriving conserved quantities [1], to determining whether or not a differential equation can be linearized and construct explicit linearization when one exists [4,5,6]. Moreover, it can be used to classify equations in accordance with their symmetry algebra [7,8]. This method was devised by Sophus Lie [9,10,11]. Currently, vast literature exists discussing such techniques, and readers can refer to books by Olver [1], Bluman and Kumei [2], Hydon [3], and Arrigo [12].
Very recently, Lie’s symmetry method has been extended to a special case of the inverse problem for geodesic equations of the canonical symmetric connection belonging to any Lie group G. Ghanam and Thompson initiated an investigation of symmetry algebras of canonical geodesic equations for Lie groups of dimensions two and three [13], as well as four [14]. Furthermore, the first author, together with Ghanam and Thompson, extended the investigation to dimension five [15]. In [15], we concentrated merely on the systems of geodesic equations of indecomposable nilpotent Lie groups whose Lie algebras appeared in the article by Patera et al. [16]. We were able to determine the basis of symmetry algebras for each given system of geodesic equations, and then proceeded to classify their corresponding symmetry algebras.
The canonical connection, which we denote by ∇, belonging to any Lie group G was introduced by Cartan and Schouten [17]. Two of the current authors investigated the inverse problem for canonical connection ∇ in the case of Lie groups of dimension five and less [18,19,20,21]. In the following section, we present a brief summary of salient features of the canonical connection on a Lie group.
The current article continues the investigation for symmetry algebras of systems of geodesic equations of five-dimensional indecomposable Lie algebras. In particular, we focus on the geodesics of solvable Lie algebras 7 through 18. In each given case, nontrivial infinitesimal symmetries are detected, and the corresponding Lie algebra of symmetries are identified.
The paper is structured as follows. Section 2 provides a succinct description of the canonical Lie group connection. Section 3 describes the methodology for finding symmetry algebras. Section 4 is the main thrust of the article. In this section, we determine the basis of symmetry algebras for geodesic equations and subsequently calculate their Lie brackets; thereafter, we identify all possible symmetry algebras admitted by the governing systems of equations. We discuss our conclusions and future research in Section 5.
2. Canonical Connection of a Lie Group
This section aims to present a brief overview of canonical symmetric connection ∇ on a Lie group without going into all the details. The background and main properties of such a canonical connection have been well-described in the literature [19,20,21]. Let X and Y be left-invariant vector fields on a Lie group G; then, the canonical symmetric connection ∇ on G is defined by
and then extended to arbitrary vector fields via linearity and the Leibnitz rule. We now quote the following result. For a more detailed presentation, interested readers are referred to Ghanam et al. [19].
Lemma 1.
In the definition of ∇, we can equally assume that X and Y are right-invariant vector fields; hence, ∇ is also right-invariant and hence bi-invariant.
Following the above Lemma, connection ∇ is symmetric, bi-invariant, and the curvature tensor on the left-invariant vector fields is obtained by
Furthermore, G is a symmetric space in the sense that R is a parallel tensor field. Ricci tensor of ∇ is symmetric and bi-invariant. If is the basis of left-invariant vector fields, then
where are the structure constants and relative to this basis; Ricci tensor is given by
from which the symmetry of is apparent. Since is a parallel tensor field, and is symmetric, it follows that Ricci gives rise to a quadratic Lagrangian that may, however, not be regular. We assume that G is indecomposable in the sense that Lie algebra of G is not a direct sum of lower-dimensional algebras.
Since our starting point is the Lie algebra of a Lie group, it was of interest to ask how the ideals of are related to ∇. We quote the following result [22].
Proposition 1.
Let ∇ denote a symmetric connection on a smooth manifold M. The necessary and sufficient condition that there exist a submersion from M to a quotient space Q, such that ∇ is projectable to Q, is that there exists an integrable distribution D on M that satisfies:
- (i)
- belongs to D whenever Y belongs to D and X is arbitrary.
- (ii)
- belongs to D whenever Z belongs to D, and X and Y are arbitrary vector fields on M, where R denotes the curvature of ∇.
In the case of the canonical connection on a Lie group G, we deduce
Proposition 2.
Every ideal of gives rise to a quotient space Q consisting of the leaf space of the integrable distribution determined by and ∇ on G projects to Q.
For the sake of completeness, we state the following results, see Ghanam et al. [19].
Proposition 3.
Let ∇ be canonical connection on a Lie group G and R denotes the curvature of ∇, then the following results hold:
- (i)
- Curvature tensor R is covariantly constant.
- (ii)
- Connection has torsion zero.
- (iii)
- Curvature tensor R is zero if and only if the Lie algebra is two-step nilpotent.
- (iv)
- Ricci tensor is symmetric and in fact a multiple of the Killing form.
- (v)
- Ricci tensor is bi-invariant.
- (vi)
- Any left- or right-invariant vector field is a symmetry of the connection.
- (vii)
- Any left- or right-invariant one-form on G gives rise to a first integral on , i.e., any left- or right-invariant one-form defines a linear first integral of the geodesics.
- (viii)
- Geodesic curves are translations of one-parameter subgroups.
- (ix)
- Any vector field in the center of the Lie algebra is bi-invariant.
As a way of trying to understand the meaning of symmetry algebras, we note that every left- and right-invariant vector field appears, and they are independent except at identity, and their intersection of course will comprise the bi-invariant vector fields. Any vector field in the center is, as such, a bi-invariant vector field. Thus every symmetry algebra is guaranteed to have a certain number of basic symmetries, that is left and right-invariant vector fields. The more “symmetric” that a certain geodesic system is, the more it will have extra symmetry vector fields, that cannot be so readily interpreted. Closely related to this issue is the fact that many of the Lie algebras in the range 5.7–5.18 in [16] depend on one or more parameters. For certain special values of these parameters, “symmetry is broken”, in the parlance of physicists; one sees this phenomenon particularly in the first example , where there is a variety of cases. In each subcase for each class of Lie algebra, we list at the top the values of the parameters and present the symmetry algebra accordingly. We provide a list of symmetry generators and the non-zero Lie brackets that they engender.
Next, we obtain a formula for connection components of ∇ in a coordinate system . Suppose that right-invariant Maurer–Cartan forms of G are . Then, there must exist a matrix of functions such that
The fact that such a matrix exists is the content of Lie’s third theorem (Helgason [23]). We denote the right-invariant vector fields dual to the by . It follows that
where is the inverse of . We denote the structure constants of relative to the basis by . Then, by definition,
By Equation (7), we find the following condition relating to and :
Taking the symmetric part of Equation (8), we obtain
3. Formulation of Symmetry Algebra
This section is designed to succinctly discuss Lie’s algorithm, adapted to obtain the symmetry algebra of the geodesic system of equations. Consider a system of second-order ordinary differential equations
where t is the independent variable, are dependent variables, and denote the first-order derivatives of with respect to t. The Lie algebra of symmetry algebra of Equation is realized by vector fields
with first- and second-order extensions defined as
respectively. Expressions and are given as
where is the total t-derivative defined as
Applying second prolongation to , we have
Splitting the resulting expression with respect to the linearly independent derivative terms lead to an overdetermined system of linear PDEs. Such a system is known as a system of determining equations, and its solution is the set of all possible infinitesimals , and W, from which we obtain the basis for symmetry algebra .
4. Geodesics and Their Symmetry Algebras
The systems of geodesic equations of all indecomposable solvable Lie algebras of dimension five were constructed by Strugar and Thompson [21]. The list of algebras was based on the 1976 list given by Patera et al. [16]. As mentioned in the Introduction, the focus of this article is to construct and classify the symmetry algebras of geodesic equations of solvable Lie algebras. To be more specific, we consider the geodesic systems of algebras through . Following [16], we denote each of the five-dimensional algebras as , which means the algebra of dimension p and the superscripts, if any, represent the continuous parameters upon which the algebra depends. It turns out that, of the twelve solvable Lie algebras that are examined, three involve three parameters, two involve two, and five involve a single parameter. The symmetry algebras may vary, as the parameters take on certain specific values.
In each case, we methodically provide the nonzero brackets of the original Lie algebra, the associated system of geodesic equations, a basis for the symmetry vector fields, and the corresponding nonvanishing Lie brackets. Subsequently, we summarize our findings. An additional point to emphasize is that determining the symmetry algebra basis and identifying its Lie algebraic structure in each of these cases constitutes a major challenge. The intensive computational process was facilitated and verified by the MAPLE symbolic manipulation program. Throughout this section, and their dots represent the position coordinates and the corresponding velocities coordinates as described in [21]; moreover, denotes a semidirect product of abelian Lie algebras, in which is a subalgebra and an ideal. Further, H and N are abbreviated to the Heisenberg Lie algebra and nilpotent Lie algebra, respectively. Finally, we use, for example, shorthand for to denote a coordinate vector field.
4.1. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For a generic case, it is a 16-dimensional indecomposable solvable. It has a 10-dimensional abelian nilradical spanned by and a 6-dimensional abelian complement spanned by . The symmetry algebra as a whole is isomorphic to .
4.1.1. :
Symmetries and nonzero Lie brackets are, respectively,
4.1.2. :
Symmetries and nonzero Lie brackets are, respectively,
4.1.3. :
Symmetries and nonzero Lie brackets are, respectively,
For all subcases, the Lie symmetry algebra for each subcase is indecomposable Levi decomposition , where the semisimple part is spanned by . The radical consists of a 10-dimensional indecomposable nilradical spanned by and a 5-dimensional abelian complement spanned by .
4.1.4. :
Symmetries and nonzero Lie brackets are, respectively,
4.1.5. :
Symmetries and nonzero Lie brackets are, respectively,
For both subcases, the symmetry algebra is a 22-dimensional indecomposable Levi decomposition with an 8-dimensional semisimple spanned by as well as a 14-dimensional solvable consisting of a 10-dimensional abelian nilradical spanned by and a 4-dimensional abelian complement spanned by .
4.1.6. :
Symmetries and nonzero Lie brackets are, respectively,
This is a 28-dimensional indecomposable with nontrivial Levi decomposition . The semisimple is spanned by . The radical is a semidirect product of a 10-dimensional indecomposable nilradical spanned by and a 3-dimensional abelian complement spanned by .
4.2. :
System of geodesic equations:
The symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, the symmetry algebra is . The semisimple part is spanned by ; the abelian nilradical is spanned by , and the abelian complement to is spanned by .
:
Symmetries and nonzero brackets are, respectively,
The algebra is a Levi decomposition algebra. The semisimple factor is direct sum of spanned by and spanned by . The radical comprises a 10-dimensional indecomposable nilradical spanned by and a 3-dimensional abelian complement spanned by .
4.3. :
System of geodesic equations:
The symmetry basis and nonzero brackets are, respectively,
For the generic case, the symmetry algebra is a 16-dimensional indecomposable solvable . The nonabelian nilradical is . Here, H denotes the 5-dimensional Heisenberg algebra spanned by , and the summand is spanned by . The complement to the nilradical is abelian spanned by .
4.3.1. :
Symmetries and nonzero brackets are, respectively,
4.3.2. :
Symmetries and nonzero brackets are, respectively,
For both subcases, the symmetry algebra is an 18-dimensional indecomposable solvable algebra. The nilrdaical is an nonabelian Lie algebra, , where is a 9-dimensional indecomposable nilpotent spanned by , and is spanned by . The complement to the nilradical is a 5-dimensional abelian spanned by .
4.3.3.
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is a Levi decomposition, where the radical consists of a decomposable nilradical spanned by and , respectively, as well as an abelian complement spanned by . The semisimple part is spanned by .
4.3.4.
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is indecomposable Levi decomposition with a 22-dimensional. It has a 19-dimensional solvable consisting of a 15-dimensional nonabelian nilradical spanned by and a 4-dimensional abelian complement spanned by . The part is semisimple spanned by .
4.4. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
The symmetry algebra is a 22-dimensional indecomposable Levi decomposition, where the semisimple is spanned by and the nilradical is nonabelian spanned by .
4.5. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, the symmetry algebra is a 16-dimensional indecomposable solvable Lie algebra . The nilradical is composed of a 12-dimensional decomposable, a direct sum of 9-dimensional nilpotent spanned by and spanned by . The complement to the nilradical is a 4-dimensional abelian spanned by .
:
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is indecomposable solvable. It has a 14-dimensional nonabelian nilradical spanned by and a 4-dimensional abelian complement spanned by .
4.6. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
It is a 16-dimensional indecomposable solvable algebra. The nilradical is a 19-dimensional nonabelian spanned by , where its complement is abelian, spanned by .
4.7. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, it is indecomposable solvable Lie algebra. The nilradical and its complement are abelian, spanned by and , respectively.
4.7.1. :
Symmetries and nonzero brackets are, respectively,
4.7.2. :
Symmetries and nonzero brackets are, respectively,
For both subcases, the symmetry algebra is , where is spanned by . The factor is spanned by and the nilradical is spanned by .
4.7.3. :
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is indecomposable solvable where the nilradical and its complement are abelian, spanned by and , respectively.
4.8. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, the symmetry algebra has a Levi decomposition, where the semisimple part is spanned by . The radical is spanned by and .
Symmetries and nonzero brackets are, respectively,
The symmetry algebra has a Levi decomposition algebra. The semisimple part is spanned by and , respectively. The solvable comprises a 3-dimensional abelian complement spanned by and 10-dimensional abelian nilradical spanned by .
4.9. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, the symmetry algebra is indecomposable solvable, where the decomposable nilradical comprises a five-dimensional Heisenberg spanned by and a 7-dimensional nilpotent spanned by . The factor is abelian, spanned by .
4.9.1.
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is 22-dimensional indecomposable, . The radical is a semidirect product with an 11-dimensional nonabelian nilradical spanned by and , respectively, as well as a 3-dimensional abelian complement spanned by . The semisimple part is , spanned by .
4.9.2. :
Symmetries and nonzero brackets are, respectively,
It is a 20-dimensional indecomposable. The semisimple part is spanned by . The radical constitutes a 3-dimensional abelian complement and a 14- dimensional nonabelian nilradical spanned by and , respectively.
4.10. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, the symmetry algebra is a 16-dimensional indecomposable solvable. The nilradical is an 11-dimensional decomposable, , spanned by and . The complement to the nilradical is a five-dimensional abelian spanned by .
4.10.1. :
Symmetries and nonzero brackets are, respectively,
They symmetry algebra is an 18-dimensional indecomposable Levi decomposition. The semisimple is spanned by , whereas the radical comprises an 11-dimensional decomposable nilradical spanned by and , respectively, as well as a 4-dimensional abelian complement spanned by .
4.10.2. :
Symmetries and nonzero brackets are, respectively,
4.10.3. :
Symmetries and nonzero brackets are, respectively,
For both subcases, the symmetry algebra is indecomposable solvable. Its nilradical is an 11-dimensional nonabelian spanned by and . The complement to the nilradical is abelian spanned by .
4.11. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, the symmetry algebra comprises a 16-dimensional semidirect product, . The nilradical and its complement are abelian, spanned by and , respectively.
4.11.1. :
Symmetries and nonzero brackets are, respectively,
4.11.2. :
Symmetries and nonzero brackets are, respectively,
For both subcases, the symmetry algebra is Levi decomposition algebra. The radical comprises a five-dimensional abelian complement and a 10-dimensional abelian nilradical spanned by and , respectively. The is spanned by .
4.11.3. :
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is indecomposable with Levi factor , where the semisimple has two copies of spanned by and . The nilradical and its complement are abelian, spanned by and , respectively.
4.11.4. :
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is 16-dimensional indecomposable solvable , where the nilradical and its complement are abelian, spanned by and , respectively.
4.12. :
System of geodesic equations:
Symmetry algebra basis and nonvanishing brackets are, respectively,
For the generic case, it is a 16-dimensional indecomposable solvable Lie algebra with a 12-dimensional nonabelian nilradical spanned by and a 4-dimensional abelian complement spanned by .
:
Symmetries and nonzero brackets are, respectively,
The symmetry algebra is with nontrivial Levi decomposition. The semisimple part is spanned by , whereas nilradical and its complement are abelian, spanned by and , respectively.
5. Conclusions and Future Work
In this work, we investigated the Lie symmetry algebras properties of second-order systems of geodesic equations of the five-dimensional Lie groups and elaborated on the methods of obtaining them. We specifically considered the geodesic systems of solvable Lie algebras –. For each system, we found a basis for the symmetry algebra and calculated the corresponding Lie brackets. We then proceeded to identify each symmetry Lie algebra, noting whether it was solvable, semisimple, or neither, and, in the latter case, gave the semidirect sum of semisimple and solvable algebras.
Algebras through have a four-dimensional abelian nilradical, as described by [16], are mutually nonisomorphic, are unlike many of the low-dimensional nilpotent Lie algebras, and belong to continuous families that include parameters.
We remarked that, for exceptional values of the parameters, the dimension of symmetry algebras appeared to be larger than that of other comparable algebras. There may be two underlying causes that help to describe this phenomenon. First, solvable algebras, at least in dimension five, depend on parameters. Furthermore, it seems as though geodesic systems for some solvable Lie algebras do not always contain more than one trivial geodesic equation, that is, when the right-hand side is zero. Finally, we observed that the complement of the radical of case ten was not a Lie algebra, and this may be because its geodesics were trivial and did not contain parameters. In the future, we plan to apply our procedures to the geodesics of algebras to , and the six and higher dimensional algebras, though new methods are required.
Author Contributions
The authors have equally contributed to this work.
Funding
This research received no external funding.
Acknowledgments
The authors are very grateful to the anonymous reviewers for their constructive comments leading to the substantial improvement of the paper. Additionally, the first author would like to acknowledge and express his gratitude to Jazan University for sponsoring his Ph.D. work, as well as to the Virginia Commonwealth University’s Department of Mathematics and Applied Mathematics for the support through a graduate teaching assistantship.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Olver, P.J. Applications of Lie Groups to Differential Equations; Springer Science & Business Media: New York, NY, USA, 2000; Volume 107. [Google Scholar]
- Bluman, G.W.; Kumei, S. Symmetries and Differential Equations; Springer Science & Business Media: New York, NY, USA, 2013; Volume 81. [Google Scholar]
- Hydon, P.E. Symmetry Methods for Differential Equations: A Beginner’s Guide; Cambridge University Press: Cambridge, UK, 2000; Volume 22. [Google Scholar]
- Bluman, G.; Kumei, S. Symmetry-based algorithms to relate partial differential equations: I. Local symmetries. Eur. J. Appl. Math. 1990, 1, 189–216. [Google Scholar] [CrossRef]
- Kumei, S.; Bluman, G.W. When nonlinear differential equations are equivalent to linear differential equations. SIAM J. Appl. Math. 1982, 42, 1157–1173. [Google Scholar] [CrossRef]
- Mahomed, F.; Leach, P. The Lie algebra sl (3, R) and linearization. Quaest. Math. 1989, 12, 121–139. [Google Scholar] [CrossRef]
- Gagnon, L.; Winternitz, P. Symmetry classes of variable coefficient nonlinear Schrodinger equations. J. Phys. A Math. Gen. 1993, 26, 7061. [Google Scholar] [CrossRef]
- Šnobl, L.; Winternitz, P. Classification and Identification of Lie Algebras; American Mathematical Society: Providence, RI, USA, 2014; Volume 33. [Google Scholar]
- Lie, S. Classification und Integration von gewöhnlichen Differentialgleichungen zwischenxy, die eine Gruppe von Transformationen gestatten. Math. Ann. 1888, 32, 213–281. [Google Scholar] [CrossRef]
- Lie, S. Vorlesungen über Differentialgleichungen mit Bekannten Infinitesimalen Transformationen; BG Teubner: Leipzig, Germany, 1891. [Google Scholar]
- Hermann, R. Sophus Lie’s 1880 Transformation Group Paper; Math Science Press: Brookline, MA, USA, 1975. [Google Scholar]
- Arrigo, D.J. Symmetry Analysis of Differential Equations: An Introduction; John Wiley & Sons: Hoboken, NJ, USA, 2015. [Google Scholar]
- Ghanam, R.; Thompson, G. Symmetry algebras of the canonical Lie group geodesic equations in dimension three. Math. Aeterna 2018, 8, 37–47. [Google Scholar]
- Ghanam, R.; Thompson, G. Lie Symmetries of the canonical geodesic equations for four-dimensional Lie groups. Math. Aeterna 2018, 8, 57–70. [Google Scholar]
- Almusawa, H.; Ghanam, R.; Thompson, G. Symmetries of the canonical geodesic equations of five-dimensional nilpotent lie algebras. J. Gen. Lie Theory Appl. 2019, 13, 1–5. [Google Scholar] [CrossRef]
- Patera, J.; Sharp, R.T.; Winternitz, P.; Zassenhaus, H. Invariants of real low dimension Lie algebras. J. Math. Phys. 1976, 17, 986–994. [Google Scholar] [CrossRef]
- Cartan, E.; Schouten, J. On the geometry of the group-manifold of simple and semi-simple groups. Proc. Akad. Wetensch. Amst. 1926, 29, 803–815. [Google Scholar]
- Thompson, G. Variational connections on Lie groups. Differ. Geom. Its Appl. 2003, 18, 255–270. [Google Scholar] [CrossRef]
- Ghanam, R.; Miller, E.; Thompson, G. Variationality of four-dimensional Lie group connections. J. Lie Theory 2004, 14, 395–425. [Google Scholar]
- Muzsnay, Z.; Thompson, G. Inverse problem of the calculus of variations on Lie groups. Differ. Geom. Appl. 2005, 23, 257–281. [Google Scholar] [CrossRef]
- Strugar, I.; Thompson, G. Inverse problem for the canonical Lie group connection in dimension five. Houst. J. Math. 2009, 35, 373–409. [Google Scholar]
- Kossowski, M.; Thompson, G. Submersive second order ordinary differential equations. Math. Proc. Camb. Philos. Soc. 1991, 110, 207–224. [Google Scholar] [CrossRef]
- Helgason, S. Differential Geometry, Lie Groups, and Symmetric Spaces; Academic Press: Cambridge, MA, USA, 1979; Volume 80. [Google Scholar]
© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).