A new modified iterative scheme for finding common fixed points in Banach spaces: application in variational inequality problems

Shahram Rezapour; Maryam Iqbal; Afshan Batool; Sina Etemad; Thongchai Botmart; Shahram Rezapour; Maryam Iqbal; Afshan Batool; Sina Etemad; Thongchai Botmart

doi:10.3934/math.2023301

AIMS Mathematics

2023, Volume 8, Issue 3: 5980-5997. doi: 10.3934/math.2023301

Previous Article Next Article

Research article

A new modified iterative scheme for finding common fixed points in Banach spaces: application in variational inequality problems

1.
Department of Mathematics, Azarbaijan Shahid Madani University, Tabriz, Iran
2.
Department of Mathematics, Kyung Hee University, 26 Kyungheedae-ro, Dongdaemun-gu, Seoul, Republic of Korea
3.
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung, Taiwan
4.
Department of Mathematical Sciences, Fatima Jinnah Women University, Rawalpindi, Pakistan
5.
Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand

Received: 30 October 2022 Revised: 11 December 2022 Accepted: 19 December 2022 Published: 28 December 2022
MSC : 47H09, 47H10

This paper reports a modified F-iterative process for finding the fixed points of three generalized $\alpha$ -nonexpansive mappings. We assume certain assumptions to establish the weak and strong convergence of the scheme in the context of a Banach space. We suggest a numerical example of generalized $\alpha$ -nonexpansive mappings which exceeds, properly, the category of functions furnished with a condition (C). After that, we show that our modified F-iterative scheme of this example converges to a common fixed point of three generalized $\alpha$ -nonexpansive mappings. As an application of our main findings, we suggest a new projection-type iterative scheme to solve variational inequality problems in the setting of generalized $\alpha$ -nonexpansive mappings. The main finding of the paper is new and extends many known results of the literature.

Keywords:

F-iteration,
common fixed point,
generalized $\alpha$ -nonexpansive mapping,
convergence,
condition (Ⅰ)

Citation: Shahram Rezapour, Maryam Iqbal, Afshan Batool, Sina Etemad, Thongchai Botmart. A new modified iterative scheme for finding common fixed points in Banach spaces: application in variational inequality problems[J]. AIMS Mathematics, 2023, 8(3): 5980-5997. doi: 10.3934/math.2023301

Related Papers:

[1]	Nouf Almutiben, Edward L. Boone, Ryad Ghanam, G. Thompson . Classification of the symmetry Lie algebras for six-dimensional co-dimension two Abelian nilradical Lie algebras. AIMS Mathematics, 2024, 9(1): 1969-1996. doi: 10.3934/math.2024098
[2]	Yuqiang Feng, Jicheng Yu . Lie symmetry analysis of fractional ordinary differential equation with neutral delay. AIMS Mathematics, 2021, 6(4): 3592-3605. doi: 10.3934/math.2021214
[3]	Mobeen Munir, Muhammad Athar, Sakhi Sarwar, Wasfi Shatanawi . Lie symmetries of Generalized Equal Width wave equations. AIMS Mathematics, 2021, 6(11): 12148-12165. doi: 10.3934/math.2021705
[4]	Huizhang Yang, Wei Liu, Yunmei Zhao . Lie symmetry reductions and exact solutions to a generalized two-component Hunter-Saxton system. AIMS Mathematics, 2021, 6(2): 1087-1100. doi: 10.3934/math.2021065
[5]	Amjad Hussain, Muhammad Khubaib Zia, Kottakkaran Sooppy Nisar, Velusamy Vijayakumar, Ilyas Khan . Lie analysis, conserved vectors, nonlinear self-adjoint classification and exact solutions of generalized $\left(N+1\right)$ -dimensional nonlinear Boussinesq equation. AIMS Mathematics, 2022, 7(7): 13139-13168. doi: 10.3934/math.2022725
[6]	Miao Yang, Lizhen Wang . Lie symmetry group, exact solutions and conservation laws for multi-term time fractional differential equations. AIMS Mathematics, 2023, 8(12): 30038-30058. doi: 10.3934/math.20231536
[7]	Youness Chatibi, El Hassan El Kinani, Abdelaziz Ouhadan . Lie symmetry analysis of conformable differential equations. AIMS Mathematics, 2019, 4(4): 1133-1144. doi: 10.3934/math.2019.4.1133
[8]	Yang Pan, Yanyong Hong . Varieties of a class of elementary subalgebras. AIMS Mathematics, 2022, 7(2): 2084-2101. doi: 10.3934/math.2022119
[9]	Ziying Qi, Lianzhong Li . Lie symmetry analysis, conservation laws and diverse solutions of a new extended (2+1)-dimensional Ito equation. AIMS Mathematics, 2023, 8(12): 29797-29816. doi: 10.3934/math.20231524
[10]	A. Tomar, H. Kumar, M. Ali, H. Gandhi, D. Singh, G. Pathak . Application of symmetry analysis and conservation laws to a fractional-order nonlinear conduction-diffusion model. AIMS Mathematics, 2024, 9(7): 17154-17170. doi: 10.3934/math.2024833

Abstract

1. Introduction

Any Lie group is equipped with a natural linear connection $\nabla$ , and therefore, a canonical system of geodesic equations. This connection was introduced in 1926 by Cartan and Schouten ^[1]. Recently, a lot of work has been done on the symmetries of the geodesic equations of the canonical connection. Ghanam and Thompson considered the problem for all three and four-dimensional indecomposable Lie algebras ^[2]. They also considered six-dimensional nilpotent Lie algebras ^[3]. Almusawa et al. ^[4] considered the probelm for the five-dimensional indecomposable Lie algebras with co-dimension one abelian nilradical.

Recently, Almutiben et al. considered the problem for the case where the nilradical is of co-dimension two. In dimension four, there is only one such indecompsable Lie algebra with co-dimensional two nilradical, namely, $A_{4, 12}$ in the Winternitz list ^[5]. In dimension five, there are three five-dimensional Lie algebras with co-dimension two abelian nilradical. These algebras are $A_{5, 33}$ – $A_{5, 35}$ in ^[5]. In all these cases, a comprehensive analysis of the symmetries of the geodesic equations was performed. Almutiben et al. ^[6] also considered the problem for the six-dimensional solvable indecomposable Lie algebras. Following the classification given by Turkowski ^[7], there are forty classes of non-isomorphic six-dimensional Lie algebras. Among these forty algebras, the first nineteen $A_{6, 1}$ – $A_{6, 19}$ have a four-dimensional, or equivalently co-dimension two, abelian nilradical and a two-dimensional abelian complement. Almutiben et al has given a comprehensive analysis of the symmetries in these nineteen cases ^[6].

In this paper, we continue to study the symmetries corresponding to the eight algebras $A_{6, 20}$ – $A_{6, 27}$ in ^[7]. These algebras are characterized by the property that they have a four-dimensional abelian nilradical and a one-dimensional center.

An outline of the paper is as follows: In Section 2, we provide some background material that helps to motivate our analysis. We do not give very specific details, but do provide some useful references. In Section 3, we give the definition of the canonical connection $\nabla$ on a Lie group and a summary of its properties. In Section 4, we review the symmetries of differential equations and the Lie invariance condition. In Section 5, for each algebra $A_{6, 20}$ – $A_{6, 27}$ in Turkowski's list, we give the geodesic equations, a basis for the symmetry algebra in terms of vector fields, and, finally, we identify the symmetry Lie algebra in terms of the nilradical and its complement. We will use $\rtimes$ to denote a semi-direct product and $\oplus$ for the direct sum of algebras.

2. Background concepts

In order to motivate some of the material, we shall sketch a few of the key ideas encountered below. We shall be considering certain systems of second order ordinary differential equations. The space of independent variables that occur serve as a system of local coordinates on a Lie group $G$ . We shall take for granted the basic definitions and properties of Lie groups. One may think of a Lie group as being an object that is intermediate between a vector space and a differentiable manifold. In particular, on a Lie group, one may make sense of various geometric objects (vector fields and one-forms primarily) as being left or right invariant. We refer the reader to ^[8,9,10] for readable introductions to the topic, that will be helpful in understanding the present article. In addition, these references help to explain the relationship between Lie groups and Lie algebras in a pragmatic way. Although the differential equations treated here technically "live" on a Lie group, in practice, all of our calculations are done at the Lie algebra level. Another more advanced source that covers the same material is ^[11].

As regarding precise definitions related to Lie algebras, we refer in the first instance to ^[12] and also to ^[11]. For a solvable Lie algebra, one should think roughly of a subspace of upper triangular matrices and for a nilpotent Lie algebra, a subspace of the strictly upper triangular matrices. Nonetheless, abelian sub-algebras are nilpotent, so subspaces of diagonal matrices are also nilpotent.

An important construct that we shall make use of is the semi-direct product of Lie algebras. The idea can be understood in various ways, but perhaps the simplest is to say that an algebra is a semi-direct product of Lie algebras if it is a vector space direct sum of a sub-algebra and an ideal. Solvable, not nilpotent, Lie algebras are only semi-direct products when there is an abelian complement to the nilradical. In this article, we shall be concerned with the Lie algebras $A_{6, 20}$ – $A_{6, 27}$ in ^[7]. Of these eight classes, only three, $A_{6, 22}, A_{6, 23}, A_{6, 27}$ for which $\epsilon = 0$ , are semi-direct products. However, we shall see the appearance of semi-direct products again when we analyze the symmetry algebras in Section 5. In general, a symmetry algebra need not be solvable, but rather will have a Levi decomposition, that is, it will be a semi-direct product of a solvable ideal (that itself may or may not be a semi-direct product) and a semi-simple sub-algebra. All of the algebras $A_{6, 20}$ – $A_{6, 27}$ studied in Section 5, produce semi-simple sub-algebras.

Concerning the definition of a linear connection, one may refer to ^[11] among a host of many excellent references. In relation to the current paper, one really only needs to understand that a linear connection produces a system of second order ordinary differential equations, the geodesics. These systems are similar to equations encountered in particle mechanics; the simplest example arises from the flat connection on Euclidean space (in arbitrary dimension), and the corresponding differential equations are the equations of motion of a free particle. More general connections introduce, as well as second order terms, first order terms that are quadratic in velocities.

Finally, we come to the notion of symmetry of a differential equation. Lie's original idea was that a differential equation that could be integrated explicitly must possess an underlying symmetry. By the term "symmetry", we understand a change of variables may be both independent and dependent variables, such that after applying a finite transformation, the differential equation remains invariant. For a determined system of ordinary differential equations, and later, partial differential equations, the set of such symmetries comprises what was to become known as a Lie transformation group. Very quickly it was realized that the underlying structure need not be associated to a differential equation at all, and led to the idea of an abstract Lie group. It was also understood by Lie and his contemporaries, that it would be virtually impossible to calculate Lie transformation groups explicitly, even in some of the simplest cases. That circumstance led Lie to another great insight: that it would be far easier to work at the infinitesimal level and find not the Lie group, but rather its Lie algebra. In fact, Lie frequently uses the term "group", whereas today we would be more careful and refer to the "Lie algebra".

In this work, Lie groups and Lie algebras appear at two levels. First of all, the differential equations that we study constitute an intrinsic part of the Lie group on which they are defined. Second, the set of symmetries of the differential equations itself forms a Lie group. However, the relationship between the two Lie groups and, more importantly, their associated Lie algebras is not a simple one in general. It is only in the case where the first Lie algebra has a trivial center that one can be sure that the first Lie algebra is isomorphic to a sub-algebra of the second; the sub-algebra in question is then either the algebra of left or right-invariant vector fields. In fact, the Lie algebras studied below in Section 5 all have a one-dimensional center.

3. The canonical connection on Lie groups

On left-invariant vector fields $X$ and $Y$ , the canonical symmetric connection $\nabla$ on a Lie group $G$ is defined by

$\begin{equation} \nabla_XY = \frac{1}{2} \ [X, Y], \end{equation}$

(3.1)

and then extended to arbitrary vector fields using linearity and the Leibnitz rule. The connection $\nabla$ is left-invariant. One could just as well use right-invariant vector fields to define $\nabla$ , but one must check that $\nabla$ is well-defined. Properties of the canonical connection have been studied in ^[11], and we will summarize them in the following proposition:

Proposition 1. For the canonical connection defined by (3.1):

(1) The torsion is zero.

(2) The curvature tensor $R$ is given by $R(X, Y)Z = \frac{1}{4}[[X, Y], Z]$ .

(3) The curvature tensor $R$ is covariantly constant.

(4) The curvature tensor $R$ is zero if, and only if, the Lie algebra is two-step nilpotent.

(5) The Ricci tensor is symmetric and in fact a multiple of the Killing form.

(6) The Ricci tensor is bi-invariant.

4. Symmetries of the geodesic equations

In this section, we explain the algorithm for finding the Lie symmetries of the geodesic equations. In local coordinates and in dimension $n$ , the geodesic equations are given by

$\begin{equation} \frac{d^2x^i}{dt^2}+\Gamma^i_{jk} \frac{dx^j}{dt}\frac{dx^k}{dt} = 0, \end{equation}$

(4.1)

where $\Gamma^i_{jk}$ are the connection components or Christoffel symbols, where $i, j, k = 1, ..., n$ . In dimension six, let's take our coordinates to be $t, p, q, x, y, z, w$ , where $t$ is the independent variable and $p, q, x, y, z, w$ are the dependant variables, so are functions of $t$ . Define $\Gamma$ to be

$\begin{equation} \Gamma = T \frac{\partial}{\partial t} + P \frac{\partial}{\partial p} + Q \frac{\partial}{\partial q} + X \frac{\partial}{\partial x} + Y \frac{\partial}{\partial y} + Z \frac{\partial}{\partial z} + W \frac{\partial}{\partial w}, \end{equation}$

(4.2)

where $T, P, Q, X, Y, Z$ , and $W$ are unknown functions of $(t, p, q, x, y, z, w)$ . The first prolongation $\Gamma^1$ and second prolongation $\Gamma^2$ of $\Gamma$ are given by

$\begin{align} \Gamma^{1} & = \Gamma + P_{t} \frac{\partial}{\partial\dot p} + Q_{t} \frac{\partial}{\partial \dot q} + X_{t} \frac{\partial}{\partial \dot x} + Y_{t} \frac{\partial}{\partial \dot y} + Z_{t} \frac{\partial}{\partial \dot z} + W_{t} \frac{\partial}{\partial \dot w}, \end{align}$

(4.3)

$\begin{align} \Gamma^{2} & = \Gamma^{1} + P_{tt} \frac{\partial}{\partial\ddot p} + Q_{tt} \frac{\partial}{\partial \ddot q} + X_{tt} \frac{\partial}{\partial \ddot x} + Y_{tt} \frac{\partial}{\partial \ddot y} + Z_{tt} \frac{\partial}{\partial \ddot z} + W_{tt} \frac{\partial}{\partial \ddot w}, \end{align}$

(4.4)

where

$\begin{align} \begin{array}{ll} & \quad P_{t} = D_{t}(P) - \dot {p} D_{t}(T), \quad \quad P_{tt} = D_{t}(P_{t}) - \ddot {p} D_{t}(T), \\ & \quad Q_{t} = D_{t}(Q) - \dot {q} D_{t}(T), \quad \quad Q_{tt} = D_{t}(Q_{t}) - \ddot {q} D_{t}(T) , \\ & \quad X_{t} = D_{t}(X) - \dot {x} D_{t}(T), \quad \quad X_{tt} = D_{t}(X_{t}) - \ddot {x} D_{t}(T) , \\ & \quad Y_{t} = D_{t}(Y) - \dot {y} D_{t}(T), \quad \quad Y_{tt} = D_{t}(Y_{t}) - \ddot {y} D_{t}(T) , \\ & \quad Z_{t} = D_{t}(Z) - \dot {z} D_{t}(T), \quad \quad Z_{tt} = D_{t}(Z_{t}) - \ddot {z} D_{t}(T), \\ &W_{t} = D_{t}(W) - \dot {w} D_{t}(T), \quad W_{tt} = D_{t}(W_{t}) - \ddot {w} D_{t}(T), \end{array} \end{align}$

(4.5)

and $D_{t}$ is given by

$\begin{equation} D_{t} = \frac{\partial}{\partial t} + \dot p \frac{\partial}{\partial p} + \dot q \frac{\partial}{\partial q} + \dot x \frac{\partial}{\partial x} + \dot y \frac{\partial}{\partial y} + \dot z \frac{\partial}{\partial z} + \dot w \frac{\partial}{\partial w} + \ddot p \frac{\partial}{\partial \dot p} + \ddot q \frac{\partial}{\partial \dot q} + \ddot x \frac{\partial}{\partial \dot x} + \ddot y \frac{\partial}{\partial \dot y} + \ddot z \frac{\partial}{\partial \dot z} + \ddot w \frac{\partial}{\partial \dot w}. \end{equation}$

(4.6)

Finally, $\Gamma$ is said to be a Lie symmetry of the system of the geodesic equations if

$\begin{equation} \Gamma^{2} (\Delta_{i}^{(2)}) |_{\Delta_{i}^{(2)} = 0} = 0, \end{equation}$

(4.7)

where

$\begin{equation} \Delta_{i}^{(2)} = \frac{d^2x^i}{dt^2}-f^{i} (t, x^{i}), \ \ \ \quad i = 1, 2, ..., 6. \end{equation}$

(4.8)

Equation (4.7) is called the Lie invariance condition. We equate the coefficients of the linearly independent derivation terms to zero, and this yields to an over-determined system of partial differential equations. For a good reference on symmetries of differential equations, we refer the reader to ^[13].

5. Lie symmetry algebras of $A_{6, 20}$ – $A_{6, 27}$

In this section, we consider the eight six-dimensional Lie algebras with co-dimension two nilradical and one-dimensional center, $A_{6, 20}$ – $A_{6, 27}$ in ^[7]. For each Lie algebra, we will list the nonzero brackets, the system of the geodesic equations and, the symmetry vector fields. Finally, we analyze the symmetry Lie algebra in terms of its nilradical, complement, and semi-simple sub-algebra.

5.1. Algebra $A^{ab}_{6, 20} (ab$ : $a^{2}+b^{2} \not = 0)$

The nonzero brackets for the algebra $A^{ab}_{6, 20}$ are given by

$\begin{equation} \begin{array}{lllll} [e_1, e_4] = ae_4, & [e_1, e_6] = e_6, & [e_2, e_4] = be_{4}, & [e_1, e_2] = e_{3}, & [e_2, e_5] = e_{5}. \end{array} \end{equation}$

(5.1)

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}( a \dot{z}+ b \dot{w} ), & \ddot{q} = \dot{q} \dot{z}, & \ddot{x} = \dot{x} \dot{w}, & \ddot{y} = \dot{z} \dot{w}, & \ddot{z} = 0, & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.2)

For the general case $A^{a \not = 0, b \not = 0}_{6, 20}$ , the symmetry Lie algebra is spanned by:

$\begin{equation} \begin{array}{lllll} e_{1} = D_{w}, & e_{2} = D_{z}, & e_{3} = t D_{t} , & e_{4} = D_{t}, & e_{5} = t D_{y}, \\ e_{6} = D_{p}, & e_{7} = D_{y}, & e_{8} = D_{q}, & e_{9} = D_{x}, & e_{10} = p D_{p}, \\ e_{11} = wD_{t}, & e_{12} = z D_{t}, & e_{13} = w D_{y}, & e_{14} = z D_{y}, & e_{15} = q D_{q}, \\ e_{16} = x D_{x}, & e_{17} = e^{z}D_{q}, & e_{18} = e^{w}D_{x}, & e_{19} = (w z-2y)D_{t}, & e_{20} = (w z-2y)D_{y}, \\ e_{21} = e^{bw}e^{az}D_{p}. \end{array} \end{equation}$

(5.3)

We make the following change of basis:

$\begin{equation} \begin{array}{lllll} \overline{e}_{1} = e_{4}, & \overline{e}_{2} = e_{6}, & \overline{e}_{3} = e_{7} , & \overline{e}_{4} = e_{8}, & \overline{e}_{5} = e_{9}, \\ \overline{e}_{6} = e_{11}, & \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, & \overline{e}_{9} = e_{14}, & \overline{e}_{10} = e_{17}, \\ \overline{e}_{11} = e_{18}, & \overline{e}_{12} = e_{21}, & \overline{e}_{13} = e_{1}+\frac{e_{14}}{2}, & \overline{e}_{14} = e_{2}+\frac{e_{13}}{2}, & \overline{e}_{15} = e_{3}-\frac{e_{20}}{2}, \\ \overline{e}_{16} = e_{10}, & \overline{e}_{17} = e_{15}, & \overline{e}_{18} = e_{16}, & \overline{e}_{19} = e_{3}+\frac{e_{20}}{2}, & \overline{e}_{20} = e_{5}, \\ \overline{e}_{21} = e_{19}. \end{array} \end{equation}$

(5.4)

The nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{array}{llll} \left[e_{1} , e_{15}\right] = e_{1}, & \left[e_{1} , e_{19}\right] = e_1, & \left[e_{1}, e_{20}\right] = e_3, & \left[e_{2}, e_{16}\right] = e_{2}, \\ \left[e_{3}, e_{15}\right] = e_{3}, & \left[e_{3}, e_{19}\right] = - e_{3}, & \left[e_{3}, e_{21}\right] = -2 e_{1}, & \left[e_{4}, e_{17}\right] = e_{4}, \\ \left[e_{5}, e_{18}\right] = e_{5}, & \left[e_{6}, e_{13}\right] = - e_{1}, & \left[e_{6}, e_{15}\right] = e_{6}, & \left[e_{6}, e_{19}\right] = e_{6}, \\ \left[e_{6}, e_{20}\right] = e_{8}, & \left[e_{7}, e_{14}\right] = -e_{1}, & \left[e_{7}, e_{15}\right] = e_{7}, & \left[e_{7}, e_{19}\right] = e_{7}, \\ \left[e_{7}, e_{20}\right] = e_{9}, & \left[e_{8}, e_{13}\right] = - e_{3}, & \left[e_{8}, e_{15}\right] = e_{8}, & \left[e_{8}, e_{19}\right] = -e_{8}, \\ \left[e_{8}, e_{21}\right] = -2 e_{6}, & \left[e_{9}, e_{14}\right] = - e_{3}, & \left[e_{9}, e_{15}\right] = e_{9}, & \left[e_{9}, e_{19}\right] = -e_{9}, \\ \left[e_{9}, e_{21}\right] = -2 e_{7}, & \left[e_{10}, e_{14}\right] = - e_{10}, & \left[e_{10}, e_{17}\right] = e_{10}, & \left[e_{11}, e_{13}\right] = - e_{11}, \\ \left[e_{11}, e_{18}\right] = e_{11}, & \left[e_{12}, e_{13}\right] = -b e_{12}, & \left[e_{12}, e_{14}\right] = -a e_{12}, & \left[e_{12}, e_{16}\right] = e_{12}, \\ \left[e_{19}, e_{20}\right] = 2 e_{20}, & \left[e_{19}, e_{21}\right] = -2 e_{21}, & \left[e_{20}, e_{21}\right] = -2 e_{19}. \end{array} \end{equation}$

(5.5)

We describe the symmetry algebra by the following proposition:

Proposition 2. The symmetry Lie algebra is a twenty-one-dimensional Lie algebra. It is a semi-direct product of eighteen-dimensional solvable Lie algebra and $sl(2, \mbox{ $\Bbb R$ })$ . The solvable part is $(\mbox{ $\Bbb R$ }^{12} \rtimes \mbox{ $\Bbb R$ }^6)$ a semi-direct product of $\mbox{ $\Bbb R$ }^{12}$ and $\mbox{ $\Bbb R$ }^6$ . Therefore, the symmetry algebra can be identified as $(\mbox{ $\Bbb R$ }^{12} \rtimes \mbox{ $\Bbb R$ }^6) \rtimes sl(2, \mbox{ $\Bbb R$ })$ .

5.2. Algebra $A^{a}_{6, 21}$

The nonzero brackets for the algebra $A^{a}_{6, 21}$ are given by

$\begin{equation} \begin{array}{lllll} \left[e_1, e_4\right] = e_4, \quad \left[e_1, e_5\right] = e_6, \quad \left[e_2, e_4\right] = ae_{4}, \quad \left[e_2, e_5\right] = e_{5}, \quad \left[e_2, e_6\right] = e_{6}, \quad \left[e_1, e_2\right] = e_{3}. \end{array} \end{equation}$

(5.6)

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}( \dot{z}+ a \dot{w} ), & \ddot{q} = \dot{w}( \dot{q} - x\dot{z}) + \dot{z}\dot{x}, & \ddot{x} = \dot{x} \dot{w}, & \ddot{y} = \dot{z} \dot{w}, & \ddot{z} = 0, & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.7)

For the general case $A^{a \not = 0}_{6, 21}$ , the symmetry Lie algebra is spanned by

$\begin{equation} \begin{array}{llll} e_{1} = D_{t}, & e_{2} = tD_{y}, & e_{3} = D_{y} , & e_{4} = D_{p}, \\ e_{5} = D_{q}, & e_{6} = D_{z}, & e_{7} = D_{w}, & e_{8} = tD_{t}, \\ e_{9} = pD_{p}, & e_{10} = wD_{t}, & e_{11} = zD_{t}, & e_{12} = wD_{y}, \\ e_{13} = zD_{y}, & e_{14} = xD_{q}, & e_{15} = zD_{q}+D_{x}, & e_{16} = qD_{q}+xD_{x}, \\ e_{17} = e^{w}D_{q}, & e_{18} = e^{w}D_{x}, & e_{19} = (wz-2y)D_{t}, & e_{20} = (wz-2y)D_{y}, \\ e_{21} = e^{aw}e^{z}D_{p}. \end{array} \end{equation}$

(5.8)

We make the following change of basis:

$\begin{equation} \begin{array}{llllll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{3}, & \overline{e}_{3} = e_{4} , & \overline{e}_{4} = e_{5}, & \overline{e}_{5} = e_{10}, & \overline{e}_{6} = e_{11}, \\ \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, & \overline{e}_{9} = e_{14}, & \overline{e}_{10} = e_{15}, & \overline{e}_{11} = e_{17}, & \overline{e}_{12} = e_{18}, \\ \overline{e}_{13} = e_{21}, & \overline{e}_{14} = e_{6}+\frac{e_{21}}{2}, & \overline{e}_{15} = e_{7}+\frac{e_{13}}{2}, & \overline{e}_{16} = e_{8}-\frac{e_{20}}{2}, & \overline{e}_{17} = e_{9}, & \overline{e}_{18} = e_{16}, \\ \overline{e}_{19} = e_{2}, & \overline{e}_{20} = e_{8}+\frac{e_{20}}{2}, & \overline{e}_{21} = e_{19}. \end{array} \end{equation}$

(5.9)

The nonzero brackets of the symmetry algebra are given by:

$\begin{equation} \begin{array}{llll} \left[e_{1} , e_{15}\right] = -e_{1}, & \left[e_{1} , e_{18}\right] = e_{1}, & \left[e_{2}, e_{18}\right] = e_{2}, & \left[e_{3}, e_{5}\right] = e_{1}, \\ \left[e_{3}, e_{15}\right] = -e_{3}, & \left[e_{3}, e_{18}\right] = e_{3}, & \left[e_{4}, e_{5}\right] = e_{2}, & \left[e_{4}, e_{14}\right] = -e_{2}, \\ \left[e_{4}, e_{18}\right] = e_{4}, & \left[e_{6}, e_{14}\right] = - e_{9}, & \left[e_{6}, e_{16}\right] = e_{6}, & \left[e_{6}, e_{19}\right] = e_{8}, \\ \left[e_{6}, e_{20}\right] = e_{6}, & \left[e_{7}, e_{15}\right] = -e_{10}, & \left[e_{7}, e_{16}\right] = e_{7}, & \left[e_{7}, e_{20}\right] = -e_{7}, \\ \left[e_{7}, e_{21}\right] = -2e_{12}, & \left[e_{8}, e_{14}\right] = - e_{10}, & \left[e_{8}, e_{16}\right] = e_{8}, & \left[e_{8}, e_{20}\right] = -e_{8}, \\ \left[e_{8}, e_{21}\right] = -2 e_{6}, & \left[e_{9}, e_{16}\right] = e_{9}, & \left[e_{9}, e_{19}\right] = e_{10}, & \left[e_{9}, e_{20}\right] = e_{9}, \\ \left[e_{10}, e_{16}\right] = e_{10}, & \left[e_{10}, e_{20}\right] = - e_{10}, & \left[e_{10}, e_{21}\right] = -2e_{9}, & \left[e_{11}, e_{17}\right] = e_{11}, \\ \left[e_{12}, e_{15}\right] = - e_{9}, & \left[e_{12}, e_{16}\right] = e_{12}, & \left[e_{12}, e_{19}\right] = e_{7}, & \left[e_{12}, e_{20}\right] = e_{12}, \\ \left[e_{13}, e_{14}\right] = - e_{13}, & \left[e_{13}, e_{15}\right] = -a e_{13}, & \left[e_{13}, e_{17}\right] = e_{13}, & \left[e_{19}, e_{20}\right] = -2 e_{19}, \\ \left[e_{19}, e_{21}\right] = -2 e_{20}, & \left[e_{20}, e_{21}\right] = -2 e_{21}. \end{array} \end{equation}$

(5.10)

We describe the symmetry algebra by the following proposition:

Proposition 3. The symmetry Lie algebra is a twenty-one-dimensional Lie algebra. It is a semi-direct product of eighteen-dimensional solvable Lie algebra and $sl(2, \mbox{ $\Bbb R$ })$ . The nilradical is thirteen-dimensional decomposable Lie algebra. In fact, the nilradical is a direct sum of $A_{5, 1}$ in Winternitz ^[5] and $\mbox{ $\Bbb R$ }^8$ . The nilradical has a five-dimensional abelian complement. Therefore, the symmetry algebra can be identified as

$( (A_{5, 1}\oplus \mathbb{R}^8) \rtimes \mathbb{R}^5) \rtimes sl(2, \mathbb{R}),$

where the nonzero brackets of $A_{5.1}$ are given by

$\begin{equation} [e_3, e_5] = e_1, \quad [e_4, e_5] = e_2. \end{equation}$

(5.11)

5.3. Algebra $A^{a\epsilon}_{6, 22} (a \epsilon$ : $a^{2}+\epsilon^{2}\not = 0, \epsilon= 0, 1)$

The nonzero brackets for the algebra $A^{a\epsilon}_{6, 22}$ are given by

$\begin{equation} \begin{array}{lllll} \left[e_1, e_3\right] = e_3, & \left[e_1, e_5\right] = e_6, & \left[e_2, e_4\right] = e_{4}, & \left[e_2, e_3\right] = a e_{3}, & \left[e_1, e_2\right] = \epsilon e_{5}. \end{array} \end{equation}$

(5.12)

5.3.1. $A^{\epsilon=0}_{6, 22}$

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{z}\dot{y} , & \ddot{q} = \dot{w} \dot{q}, & \ddot{x} = \dot{x} (\dot{z} + a\dot{w}), & \ddot{y} = 0, & \ddot{z} = 0 , & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.13)

For the general case $A^{a \not = 0, \epsilon = 0}_{6, 22}$ , the symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{llll} e_{1} = D_{y}, & e_{2} = D_{w}, & e_{3} = D_{z} , & e_{4} = tD_{t}, \\ e_{5} = D_{x}, & e_{6} = D_{t}, & e_{7} = t D_{p}, & e_{8} = D_{p}, \\ e_{9} = D_{q}, & e_{10} = x D_{x}, & e_{11} = w D_{t}, & e_{12} = y D_{t}, \\ e_{13} = z D_{t}, & e_{14} = w D_{p}, & e_{15} = y D_{p}, & e_{16} = z D_{p}, \\ e_{17} = q D_{q}, & e_{18} = p D_{p} +yD_{y}, & e_{19} = e^{w} D_{q}, & e_{20} = \frac{z^{2}}{2} D_{p} + z D_{y}, \\ e_{21} = \frac{zt}{2} D_{p} + t D_{y}, & e_{22} = (yz-2p) D_{t}, & e_{23} = (yz-2p) D_{p} , & e_{24} = \frac{wz}{2} D_{p} + w D_{y}, \\ e_{25} = e^{aw} e^{z} D_{x}, & e_{26} = (\frac{yz^{2}}{2} - pz )D_{p} + (yz-2p) D_{y}. \end{array}\end{aligned} \end{equation}$

(5.14)

We consider the following change of basis:

$\begin{equation} \begin{array}{lllll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{5}, & \overline{e}_{3} = e_{6} , & \overline{e}_{4} = e_{8}, & \overline{e}_{5} = e_{9}, \\ \overline{e}_{6} = e_{11}, & \overline{e}_{7} = e_{13}, & \overline{e}_{8} = e_{14}, & \overline{e}_{9} = e_{16}, & \overline{e}_{10} = e_{19}, \\ \overline{e}_{11} = e_{20}, & \overline{e}_{12} = e_{24}, & \overline{e}_{13} = e_{25}, & \overline{e}_{14} = e_{2}, & \overline{e}_{15}\ = e_{3}+\frac{e_{15}}{2}, \\ \overline{e}_{16} = e_{4}+ e_{18}, & \overline{e}_{17} = e_{10}, & \overline{e}_{18} = e_{17}, & \overline{e}_{19} = e_{4} +\frac{e_{23}}{2}, & \overline{e}_{20} = e_{7}, \\ \overline{e}_{21} = e_{12}, & \overline{e}_{22} = e_{15}, & \overline{e}_{23} = e_{18}+ e_{23}, & \overline{e}_{24} = e_{21}, & \overline{e}_{25} = e_{22}, \\ \overline{e}_{26} = e_{26}. \end{array} \end{equation}$

(5.15)

The nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{array}{lll} \left[e_{1} , e_{15}\right] = \frac{e_{4}}{2}, & \left[e_{1} , e_{16}\right] = e_{1}, & \left[e_{1}, e_{19}\right] = \frac{e_{9}}{2}, \\ \left[e_{1}, e_{21}\right] = e_{3}, & \left[e_{1}, e_{22}\right] = e_{4}, & \left[e_{1}, e_{23}\right] = e_{1} + e_{9}, \\ \left[e_{1}, e_{25}\right] = e_{7}, & \left[e_{1}, e_{26}\right] = e_{11}, & \left[e_{2}, e_{17}\right] = e_{2}, \\ \left[e_{3}, e_{16}\right] = e_{3}, & \left[e_{3}, e_{19}\right] = e_{3}, & \left[e_{3}, e_{20}\right] = e_{4}, \\ \left[e_{3}, e_{24}\right] = e_{1} + \frac{e_{9}}{2}, & \left[e_{4}, e_{16}\right] = e_{4}, & \left[e_{4}, e_{19}\right] = - e_{4}, \\ \left[e_{4}, e_{23}\right] = - e_{4}, & \left[e_{4}, e_{25}\right] = -2 e_{3}, & \left[e_{4}, e_{26}\right] = -2 e_{1} - e_{9}, \\ \left[e_{5}, e_{18}\right] = e_{5}, & \left[e_{6}, e_{14}\right] = -e_{3}, & \left[e_{6}, e_{16}\right] = e_{6}, \\ \left[e_{6}, e_{19}\right] = e_{6}, & \left[e_{6}, e_{20}\right] = e_{8}, & \left[e_{6}, e_{24}\right] = e_{12}, \\ \left[e_{7}, e_{15}\right] = - e_{3}, & \left[e_{7}, e_{16}\right] = e_{7}, & \left[e_{7}, e_{19}\right] = e_{7}, \\ \left[e_{7}, e_{20}\right] = e_{9}, & \left[e_{7}, e_{24}\right] = e_{11}, & \left[e_{8}, e_{14}\right] = - e_{4}, \\ \left[e_{8}, e_{16}\right] = e_{8}, & \left[e_{8}, e_{19}\right] = - e_{8}, & \left[e_{8}, e_{23}\right] = - e_{8}, \\ \left[e_{8}, e_{25}\right] = -2 e_{6}, & \left[e_{8}, e_{26}\right] = -2 e_{12}, & \left[e_{9}, e_{15}\right] = - e_{4}, \\ \left[e_{9}, e_{16}\right] = e_{9}, & \left[e_{9}, e_{19}\right] = - e_{9}, & \left[e_{9}, e_{23}\right] = - e_{9}, \\ \left[e_{9}, e_{25}\right] = -2 e_{7}, & \left[e_{9}, e_{26}\right] = -2 e_{11}, & \left[e_{10}, e_{14}\right] = - e_{10}, \\ \left[e_{10}, e_{18}\right] = e_{10}, & \left[e_{11}, e_{15}\right] = - e_{1} - \frac{9}{2}, & \left[e_{11}, e_{16}\right] = e_{11}, \\ \left[e_{11}, e_{21}\right] = e_{7}, & \left[e_{11}, e_{22}\right] = e_{9}, & \left[e_{11}, e_{23}\right] = e_{11}, \\ \left[e_{12}, e_{14}\right] = - e_{1} - \frac{9}{2}, & \left[e_{12}, e_{16}\right] = e_{12}, & \left[e_{12}, e_{21}\right] = e_{6}, \\ \left[e_{12}, e_{22}\right] = e_{8}, & \left[e_{12}, e_{23}\right] = e_{12}, & \left[e_{13}, e_{14}\right] = -a e_{13}, \\ \left[e_{13}, e_{15}\right] = - e_{13}, & \left[e_{13}, e_{17}\right] = e_{13}, & \left[e_{19}, e_{20}\right] = 2 e_{20}, \\ \left[e_{19}, e_{21}\right] = - e_{21}, & \left[e_{19}, e_{22}\right] = e_{22}, & \left[e_{19}, e_{24}\right] = e_{24}, \\ \left[e_{19}, e_{25}\right] = -2 e_{25}, & \left[e_{19}, e_{26}\right] = - e_{26}, & \left[e_{20}, e_{21}\right] = - e_{22}, \\ \left[e_{20}, e_{23}\right] = - e_{20}, & \left[e_{20}, e_{25}\right] = -2 e_{19}, & \left[e_{20}, e_{26}\right] = -2 e_{24}, \\ \left[e_{21}, e_{23}\right] = - e_{21}, & \left[e_{21}, e_{24}\right] = - e_{19} + e_{23}, & \left[e_{21}, e_{26}\right] = - e_{25}, \\ \left[e_{22}, e_{23}\right] = -2 e_{22}, & \left[e_{22}, e_{24}\right] = - e_{20}, & \left[e_{22}, e_{25}\right] = -2 e_{21}, \\ \left[e_{22}, e_{26}\right] = -2 e_{23}, & \left[e_{23}, e_{24}\right] = - e_{24}, & \left[e_{23}, e_{25}\right] = - e_{25}, \\ \left[e_{23}, e_{26}\right] = -2 e_{26}, & \left[e_{24}, e_{25}\right] = - e_{26}. \end{array} \end{equation}$

(5.16)

We describe the symmetry algebra by the following proposition:

Proposition 4. The symmetry Lie algebra is a twenty-six-dimensional Lie algebra. It is a semi-direct product of an eighteen-dimensional solvable Lie algebra and $sl(3, \mbox{ $\Bbb R$ })$ . The solvable part is $(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5)$ , a semi-direct product of $\mbox{ $\Bbb R$ }^{13}$ and $\mbox{ $\Bbb R$ }^5$ . Therefore, the symmetry algebra can be identified as $(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })$ .

5.3.2. $A^{\epsilon=1}_{6, 22}$

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}(a \dot{z} + \dot{w}) , & \ddot{q} = \dot{q} \dot{z}, & \ddot{x} = \dot{y} \dot{w}, & \ddot{y} = \dot{z} \dot{w}, & \ddot{z} = 0 , & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.17)

For the general case $A^{a \not = 0, \epsilon = 1}_{6, 22}$ , the symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{llll} e_{1} = D_{t}, & e_{2} = t D_{x}, & e_{3} = D_{p} , & e_{4} = D_{x}, \\ e_{5} = D_{y}, & e_{6} = D_{q}, & e_{7} = D_{w}, & e_{8} = D_{z}, \\ e_{9} = t D_{t}, & e_{10} = p D_{p}, & e_{11} = w D_{t}, & e_{12} = z D_{t}, \\ e_{13} = z D_{x}, & e_{14} = w D_{x}, & e_{15} = q D_{q}, & e_{16} = y D_{x} + z D_{y}, \\ e_{17} = e^{z} D_{q}, & e_{18} = tw D_{x} + 2t D_{y}, & e_{19} = \frac{w^{2}}{2} D_{x} + w D_{y}, & e_{20} = wz D_{x} + 2z D_{y}, \\ e_{21} = (yz-2y) D_{t}, & e_{22} = e^{w} e^{az} D_{p}, & e_{23} = (wy-\frac{w^{2}z}{2}) D_{x} + (-wz+2y)D_{y}. \end{array}\end{aligned} \end{equation}$

(5.18)

We consider the following change of basis:

$\begin{equation} \begin{aligned} \begin{array}{lllll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{2}, & \overline{e}_{3} = e_{3} , & \overline{e}_{4} = e_{4}, & \overline{e}_{5} = e_{5}, \\ \overline{e}_{6} = e_{6}, & \overline{e}_{7} = e_{11}, & \overline{e}_{8} = e_{12}, & \overline{e}_{9} = e_{13}, & \overline{e}_{10} = e_{14}, \\ \overline{e}_{11} = e_{16}, & \overline{e}_{12} = e_{17}, & \overline{e}_{13} = e_{19}, & \overline{e}_{14} = e_{20}, & \overline{e}_{15} = e_{22}, \\ \overline{e}_{16} = e_{7}, & \overline{e}_{17} = e_{8}, & \overline{e}_{18} = e_{9} +\frac{e_{23}}{2} , & \overline{e}_{19} = e_{10}, & \overline{e}_{20} = e_{15}, \\ \overline{e}_{21} = e_{9} - \frac{e_{23}}{2}, & \overline{e}_{22} = e_{18}, & \overline{e}_{23} = e_{21}. \end{array}\end{aligned} \end{equation}$

(5.19)

The nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{aligned} \begin{array}{lll} \left[e_{1} , e_{2}\right] = e_{4}, & \left[e_{1} , e_{18}\right] = e_{1}, & \left[e_{1}, e_{21}\right] = e_{1}, \\ \left[e_{1}, e_{22}\right] = e_{10} + 2 e_{5}, & \left[e_{2}, e_{7}\right] = - e_{10}, & \left[e_{2}, e_{8}\right] = - e_{9}, \\ \left[e_{2}, e_{18}\right] = - e_{2}, & \left[e_{2}, e_{21}\right] = - e_{2}, & \left[e_{2}, e_{23}\right] = 2 e_{11} - e_{14}, \\ \left[e_{3}, e_{19}\right] = e_{3}, & \left[e_{5}, e_{11}\right] = e_{4}, & \left[e_{5}, e_{18}\right] = e_{5} + \frac{e_{10}}{2}, \\ \left[e_{5}, e_{21}\right] = - e_{5} - \frac{e_{10}}{2}, & \left[e_{5}, e_{23}\right] = -2 e_{1}, & \left[e_{6}, e_{20}\right] = e_{6}, \\ \left[e_{7}, e_{16}\right] = - e_{1}, & \left[e_{7}, e_{18}\right] = e_{7}, & \left[e_{7}, e_{21}\right] = e_{7}, \\ \left[e_{7}, e_{22}\right] = 2 e_{13}, & \left[e_{8}, e_{17}\right] = -e_{1}, & \left[e_{8}, e_{18}\right] = e_{8}, \\ \left[e_{8}, e_{21}\right] = e_{8}, & \left[e_{8}, e_{22}\right] = e_{14}, & \left[e_{9}, e_{17}\right] = - e_{4}, \\ \left[e_{10}, e_{16}\right] = - e_{4}, & \left[e_{11}, e_{13}\right] = - e_{10}, & \left[e_{11}, e_{14}\right] = - e_{9}, \\ \left[e_{11}, e_{17}\right] = - e_{5}, & \left[e_{11}, e_{18}\right] = - e_{11} + e_{14}, & \left[e_{11}, e_{21}\right] = e_{11} - e_{14}, \\ \left[e_{11}, e_{22}\right] = -2 e_{2}, & \left[e_{11}, e_{23}\right] = -2 e_{8}, & \left[e_{12}, e_{17}\right] = - e_{12}, \\ \left[e_{12}, e_{20}\right] = e_{12}, & \left[e_{13}, e_{16}\right] = - e_{10} - e_{5}, & \left[e_{13}, e_{18}\right] = e_{18}, \\ \left[e_{13}, e_{21}\right] = - e_{13}, & \left[e_{13}, e_{23}\right] = -2 e_{7}, & \left[e_{14}, e_{16}\right] = - e_{9}, \\ \left[e_{14}, e_{17}\right] = - e_{10} -2 e_{5}, & \left[e_{14}, e_{18}\right] = e_{14}, & \left[e_{14}, e_{21}\right] = - e_{14}, \\ \left[e_{14}, e_{23}\right] = -4 e_{8}, & \left[e_{15}, e_{16}\right] = - e_{15}, & \left[e_{15}, e_{17}\right] = -a e_{15}, \\ \left[e_{15}, e_{19}\right] = e_{15}, & \left[e_{16}, e_{18}\right] = \frac{e_{11}}{2} - \frac{e_{14}}{2}, & \left[e_{16}, e_{21}\right] = - \frac{e_{11}}{2} + \frac{e_{14}}{2}, \\ \left[e_{16}, e_{22}\right] = e_{2}, & \left[e_{16}, e_{23}\right] = e_{8}, & \left[e_{17}, e_{18}\right] = - \frac{e_{13}}{2}, \\ \left[e_{17}, e_{21}\right] = \frac{e_{13}}{2}, & \left[e_{17}, e_{23}\right] = e_{7}, & \left[e_{21}, e_{22}\right] = 2 e_{22}, \\ \left[e_{21}, e_{23}\right] = -2 e_{23}, & \left[e_{22}, e_{23}\right] = -4 e_{21}. \end{array}\end{aligned} \end{equation}$

(5.20)

We describe the symmetry algebra by the following proposition:

Proposition 5. The symmetry Lie algebra is a twenty-three-dimensional Lie algebra. It is a semi-direct product of twenty-dimensional solvable Lie algebra and $sl(2, \mbox{ $\Bbb R$ })$ . The solvable part is $(\mbox{ $\Bbb R$ }^{15} \rtimes \mbox{ $\Bbb R$ }^5)$ , a semi-direct product of $\mbox{ $\Bbb R$ }^{15}$ and $\mbox{ $\Bbb R$ }^5$ . Therefore, the symmetry algebra can be identified as $(\mbox{ $\Bbb R$ }^{15} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$ .

5.4. Algebra $A^{a\epsilon}_{6, 23}(a \epsilon$ : $a \ge 0, \epsilon= 0, 1)$

The nonzero brackets for the algebra $A^{a\epsilon}_{6, 23}$ are given by

$\begin{equation} \begin{array}{llll} \left[e_1, e_3\right] = e_3, & \left[e_1, e_4\right] = e_4, & \left[e_1, e_5\right] = e_{6}, & \left[e_2, e_3\right] = e_{4}, \\ \left[e_2, e_4\right] = - e_{3}, & \left[e_2, e_5\right] = a e_{6}, & \left[e_1, e_2\right] = \epsilon e_{5}. \end{array} \end{equation}$

(5.21)

5.4.1. Case 1: $A^{a, \epsilon = 0}_{6, 23}$

The geodesic equations when $\epsilon = 0$ are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}\dot{z} - \dot{q}\dot{w} , & \ddot{q} = \dot{p}\dot{w} + \dot{q} \dot{z}, & \ddot{x} = \dot{y} (\dot{z} + a\dot{w}), & \ddot{y} = 0, & \ddot{z} = 0 , & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.22)

The symmetry Lie algebra is spanned by

$\begin{equation} \begin{array}{ll} e_{1} = D_{t}, & e_{2} = D_{p}, \\ e_{3} = D_{q} , & e_{4} = tD_{x}, \\ e_{5} = D_{x}, & e_{6} = D_{y}, \\ e_{7} = D_{w}, & e_{8} = D_{z}, \\ e_{9} = t D_{t}, & e_{10} = w D_{t}, \\ e_{11} = y D_{t}, & e_{12} = z D_{t}, \\ e_{13} = y D_{x}, & e_{14} = z D_{x}, \\ e_{15} = w D_{x}, & e_{16} = p D_{p} + q D_{q}, \\ e_{17} = x D_{x} + y D_{y}, & e_{18} = q D_{p} - p D_{q}, \\ e_{19} = \frac{t(aw+z)}{2} D_{x} + t D_{y}, & e_{20} = ((aw+z)y-2x) D_{x} , \\ e_{21} = \frac{w(aw+z)}{2} D_{x} + w D_{y}, & e_{22} = \frac{z(aw+z)}{2} D_{x} + z D_{y}, \\ e_{23} = \frac{((aw+z)y-2x)}{a} D_{t} , & e_{24} = \cos{(w)}e^{z} D_{p} + \sin{(w)}e^{z} D_{q}, \\ e_{25} = \sin{(w)}e^{z} D_{p} - \cos{(w)}e^{z} D_{q}, & e_{26} = \frac{(\frac{aw}{2}+\frac{z}{2})(awy+yz-2x)}{a} D_{x} + \frac{((aw+z)y-2x)}{a} D_{y}. \end{array} \end{equation}$

(5.23)

We consider the following change of basis:

$\begin{equation} \begin{array}{llllll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{2}, & \overline{e}_{3} = e_{3} , & \overline{e}_{4} = e_{5}, & \overline{e}_{5} = e_{6}, & \overline{e}_{6} = e_{10}, \\ \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{14}, & \overline{e}_{9} = e_{15}, & \overline{e}_{10} = e_{21}, & \overline{e}_{11} = e_{22}, & \overline{e}_{12} = e_{24}, \\ \overline{e}_{13} = e_{25}, & \overline{e}_{14} = e_{7} + \frac{ae_{13}}{2}, & \overline{e}_{15} = e_{8}+\frac{e_{13}}{2}, & \overline{e}_{16} = e_{9}+ e_{17}, & \overline{e}_{17} = e_{16}, & \overline{e}_{18} = e_{18}, \\ \overline{e}_{19} = e_{4} , & \overline{e}_{20} = e_{9} +\frac{e_{20}}{2}, & \overline{e}_{21} = e_{11}, & \overline{e}_{22} = e_{13}, & \overline{e}_{23} = e_{17}+ e_{20}, & \overline{e}_{24} = e_{19}, \\ \overline{e}_{25} = e_{23}, & \overline{e}_{26} = e_{26}. \end{array} \end{equation}$

(5.24)

The nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{array}{lll} \left[e_{1} , e_{16}\right] = e_{1}, & \left[e_{1} , e_{19}\right] = e_{4}, & \left[e_{1}, e_{20}\right] = e_{1}, \\ \left[e_{1}, e_{24}\right] = \frac{ae_{9}}{2} + e_{5} + \frac{e_{8}}{2}, & \left[e_{2}, e_{17}\right] = e_{2}, & \left[e_{2}, e_{18}\right] = - e_{3}, \\ \left[e_{3}, e_{17}\right] = e_{3}, & \left[e_{3}, e_{18}\right] = e_{2}, & \left[e_{4}, e_{16}\right] = e_{4}, \\ \left[e_{4}, e_{20}\right] = - e_{4}, & \left[e_{4}, e_{23}\right] = - e_{4}, & \left[e_{4}, e_{25}\right] = - \frac{2e_{1}}{a} , \\ \left[e_{4}, e_{26}\right] = - e_{9} - \frac{e_{8}}{a} - \frac{2 e_{5}}{a}, & \left[e_{5}, e_{14}\right] = \frac{ae_{4}}{2}, & \left[e_{5}, e_{15}\right] = \frac{e_{4}}{2}, \\ \left[e_{5}, e_{16}\right] = e_{5}, & \left[e_{5}, e_{20}\right] = \frac{a e_{9}}{2} + \frac{e_{8}}{2}, & \left[e_{5}, e_{21}\right] = e_{1}, \\ \left[e_{5}, e_{22}\right] = e_{4}, & \left[e_{5}, e_{23}\right] = a e_{9} + e_{5} + e_{8}, & \left[e_{5}, e_{25}\right] = \frac{e_{7}}{a}+e_{6}, \\ \left[e_{5}, e_{26}\right] = \frac{e_{11}}{a}+e_{10}, & \left[e_{6}, e_{14}\right] = - e_{1}, & \left[e_{6}, e_{16}\right] = e_{6}, \\ \left[e_{6}, e_{19}\right] = e_{9}, & \left[e_{6}, e_{20}\right] = e_{6}, & \left[e_{6}, e_{24}\right] = e_{10}, \\ \left[e_{7}, e_{15}\right] = - e_{1}, & \left[e_{7}, e_{16}\right] = e_{7}, & \left[e_{7}, e_{19}\right] = e_{8}, \\ \left[e_{7}, e_{20}\right] = e_{7}, & \left[e_{7}, e_{24}\right] = e_{11}, & \left[e_{8}, e_{15}\right] = - e_{4}, \\ \left[e_{8}, e_{16}\right] = e_{8}, & \left[e_{8}, e_{20}\right] = - e_{8}, & \left[e_{8}, e_{23}\right] = - e_{8}, \\ \left[e_{8}, e_{25}\right] = - \frac{2e_{7}}{a}, & \left[e_{8}, e_{26}\right] = - \frac{2e_{11}}{a}, & \left[e_{9}, e_{14}\right] = - e_{4}, \\ \left[e_{9}, e_{16}\right] = e_{9}, & \left[e_{9}, e_{20}\right] = - e_{9}, & \left[e_{9}, e_{23}\right] = - e_{9}, \\ \left[e_{9}, e_{25}\right] = - \frac{2e_{6}}{a}, & \left[e_{9}, e_{26}\right] = - \frac{2e_{10}}{a}, & \left[e_{10}, e_{14}\right] = - \frac{a e_{9}}{2} - e_{5} - \frac{e_{8}}{2}, \\ \left[e_{10}, e_{16}\right] = e_{10}, & \left[e_{10}, e_{21}\right] = e_{6}, & \left[e_{10}, e_{22}\right] = e_{9}, \\ \left[e_{10}, e_{23}\right] = e_{10}, & \left[e_{11}, e_{15}\right] = - \frac{a e_{9}}{2} - e_{5} - \frac{e_{8}}{2}, & \left[e_{11}, e_{16}\right] = e_{11}, \\ \left[e_{11}, e_{21}\right] = e_{7}, & \left[e_{11}, e_{22}\right] = e_{8}, & \left[e_{11}, e_{23}\right] = e_{11}. \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{12}, e_{14}\right] = e_{13}, & \left[e_{12}, e_{15}\right] = - e_{12}, & \left[e_{12}, e_{17}\right] = e_{12}, \\ \;\;\;\;\;\;\;\;\;\;\;\;\; \left[e_{12}, e_{18}\right] = e_{13}, & \left[e_{13}, e_{14}\right] = - e_{12}, & \left[e_{13}, e_{15}\right] = - e_{13}, \\\;\;\;\;\;\;\;\;\;\;\;\;\; \left[e_{13}, e_{17}\right] = e_{13}, & \left[e_{13}, e_{18}\right] = - e_{12}, & \left[e_{19}, e_{20}\right] = -2 e_{19}, \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{19}, e_{21}\right] = - e_{22}, & \left[e_{19}, e_{23}\right] = - e_{19}, & \left[e_{19}, e_{25}\right] = - \frac{2 e_{20}}{a} , \\\;\;\;\;\;\;\;\;\;\;\;\;\; \left[e_{19}, e_{26}\right] = - \frac{2 e_{24}}{a} , & \left[e_{20}, e_{21}\right] = - e_{21}, & \left[e_{20}, e_{22}\right] = e_{22}, \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{20}, e_{24}\right] = e_{24}, & \left[e_{20}, e_{25}\right] = -2 e_{25}, & \left[e_{20}, e_{26}\right] = - e_{26}, \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{21}, e_{23}\right] = - e_{21}, & \left[e_{21}, e_{24}\right] = - e_{20} + e_{23}, & \left[e_{21}, e_{26}\right] = - e_{25}, \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{22}, e_{23}\right] = -2 e_{22}, & \left[e_{22}, e_{24}\right] = - e_{19}, & \left[e_{22}, e_{25}\right] = - \frac{2 e_{21}}{a} , \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{22}, e_{26}\right] = - \frac{2 e_{23}}{a} , & \left[e_{23}, e_{24}\right] = - e_{24}, & \left[e_{23}, e_{25}\right] = - e_{25}, \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\left[e_{23}, e_{26}\right] = -2 e_{26}, & \left[e_{24}, e_{25}\right] = - e_{26}. \end{array} \end{equation}$

(5.25)

We describe the symmetry algebra by the following proposition:

Proposition 6. The symmetry Lie algebra is a twenty-six- dimensional Lie algebra. It is a semi-direct product of eighteen-dimensional solvable Lie algebra and $sl(3, \mbox{ $\Bbb R$ })$ . The solvable part is $(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5)$ , a semi-direct product of $\mbox{ $\Bbb R$ }^{13}$ and $\mbox{ $\Bbb R$ }^5$ . Therefore, the symmetry algebra can be identified as $(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })$ .

5.5. Case 2: $A^{a, \epsilon = 1}_{6, 23}$

5.5.1. $A^{a \not = 0, \epsilon = 1}_{6, 23}$

For $A^{a \not = 0, \epsilon = 1}_{6, 23}$ , the geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p} \dot{z} + \dot{w}\dot{q} , & \ddot{q} = - \dot{p} \dot{w} +\dot{q} \dot{z}, & \ddot{x} = \dot{y}(\dot{z} +a \dot{w}), & \\ \ddot{y} = \dot{z}(\dot{z} +a \dot{w}), & \ddot{z} = 0 , & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.26)

The symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{lll} e_{1} = D_{w}, & e_{2} = D_{q}, & e_{3} = D_{p} , \\ e_{4} = D_{y}, & e_{5} = t D_{x}, & e_{6} = D_{z}, \\ e_{7} = D_{x}, & e_{8} = t D_{t}, & e_{9} = D_{t}, \\ e_{10} = w D_{x}, & e_{11} = z D_{x}, & e_{12} = w D_{t}, \\ e_{13} = z D_{t}, & e_{14} = y D_{x} + z D_{y}, & e_{15} = p D_{p} + q D_{q}, \\ e_{16} = -q D_{p} + p D_{q}, & e_{17}\ = \frac{t (aw+z)D_{x}}{2} + t D_{y}, & e_{18} = \frac{ (awz+z^{2}-2y)D_{x}}{a}, \\ e_{19} = \frac{ (awz+z^{2}-2y)D_{t}}{a} , & e_{20} = \frac{(\frac{a^{2} w^{2}}{2} - \frac{z^{2}}{2} + y)D_{x}}{a} + w D_{y}, & e_{21} = \sin(w) e^{z} D_{p} + \cos(w) e^{z} D_{q}, \\ e_{22} = - \cos(w) e^{z} D_{p} + \sin(w) e^{z} D_{q}, & e_{23} = \frac{(\frac{aw}{2} + \frac{z}{2}) (awz+ z^{2}- 2y)D_{x}}{a} + \frac{(awz+z^{2}-2y)D_{y}}{a}. \end{array}\end{aligned} \end{equation}$

(5.27)

We consider the following change of basis:

$\begin{equation} \begin{array}{lllll} \overline{e}_{1} = e_{4}, & \overline{e}_{2} = e_{5}, & \overline{e}_{3} = e_{7} , & \overline{e}_{4} = e_{9}, & \overline{e}_{5} = e_{10}, \\ \overline{e}_{6} = e_{11}, & \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, & \overline{e}_{9} = e_{14}, & \overline{e}_{10} = e_{18}, \\ \overline{e}_{11} = e_{20}, & \overline{e}_{12} = e_{2}, & \overline{e}_{13} = e_{3}, & \overline{e}_{14} = e_{21}, & \overline{e}_{15} = e_{22}, \\ \overline{e}_{16} = e_{1}, & \overline{e}_{17} = e_{6}, & \overline{e}_{18} = e_{8} -\frac{a e_{23}}{2} , & \overline{e}_{19} = e_{15}, & \overline{e}_{20} = e_{16}, \\ \overline{e}_{21} = e_{8} + \frac{a e_{23}}{2}, & \overline{e}_{22} = e_{17}, & \overline{e}_{23} = e_{19}. \end{array} \end{equation}$

(5.28)

The nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{aligned} \begin{array}{ll} \left[e_{1} , e_{9}\right] = e_{3}, & \left[e_{1} , e_{10}\right] = - \frac{2 e_{3}}{a}, \\ \left[e_{1}, e_{11}\right] = \frac{e_{3}}{a}, & \left[e_{1}, e_{18}\right] = \frac{e_{6}}{2} + \frac{a e_{5}}{2} + e_{1}, \\ \left[e_{1}, e_{21}\right] = - \frac{e_{6}}{2} - \frac{a e_{5}}{2} - e_{1}, & \left[e_{1}, e_{23}\right] = - \frac{ 2 e_{4}}{2}, \\ \left[e_{2}, e_{4}\right] = - e_{3}, & \left[e_{2}, e_{7}\right] = - e_{5}, \\ \left[e_{2}, e_{8}\right] = - e_{6}, & \left[e_{2}, e_{18}\right] = - e_{2}, \\ \left[e_{2}, e_{21}\right] = - e_{2}, & \left[e_{2}, e_{23}\right] = - e_{10} , \\ \left[e_{4}, e_{18}\right] = e_{4} , & \left[e_{4}, e_{21}\right] = e_{4}, \\ \left[e_{4}, e_{22}\right] = \frac{e_{6}}{2} + \frac{a e_{5}}{2} + e_{1}, & \left[e_{5}, e_{16}\right] = - e_{3}, \\ \left[e_{6}, e_{17}\right] = - e_{3}, & \left[e_{7}, e_{16}\right] = - e_{4}, \\ \left[e_{7}, e_{18}\right] = e_{7}, & \left[e_{7}, e_{21}\right] = e_{7}, \\ \left[e_{7}, e_{22}\right] = \frac{e_{10}}{2} + e_{11}, & \left[e_{8}, e_{17}\right] = - e_{4}, \\ \left[e_{8}, e_{18}\right] = e_{8}, & \left[e_{8}, e_{21}\right] = e_{8}, \\ \left[e_{8}, e_{22}\right] = \frac{a e_{10}}{2} + e_{9}, & \left[e_{9}, e_{10}\right] = - \frac{2 e_{6}}{a}, \\ \left[e_{9}, e_{11}\right] = \frac{ e_{6}}{a} - e_{5}, & \left[e_{9}, e_{17}\right] = - e_{1}, \\ \left[e_{9}, e_{18}\right] = a e_{10} + e_{9}, & \left[e_{9}, e_{21}\right] = -a e_{10} - e_{9}, \\ \left[e_{9}, e_{22}\right] = - e_{2}, & \left[e_{9}, e_{23}\right] = - \frac{2 e_{8}}{a}, \\ \left[e_{10}, e_{11}\right] = \frac{2 e_{5}}{a}, & \left[e_{10}, e_{16}\right] = - e_{6}, \\ \left[e_{10}, e_{17}\right] = - \frac{2 e_{6}}{a} - e_{5}, & \left[e_{10}, e_{18}\right] = - e_{10}, \\ \left[e_{10}, e_{21}\right] = e_{10}, & \left[e_{10}, e_{22}\right] = \frac{2 e_{2}}{a}, \\ \left[e_{11}, e_{16}\right] = -a e_{5} - e_{1}, & \left[e_{11}, e_{17}\right] = \frac{e_{6}}{a}, \\ \left[e_{11}, e_{18}\right] = e_{10} + e_{11}, & \left[e_{11}, e_{21}\right] = - e_{10} - e_{11}, \\ \left[e_{11}, e_{22}\right] = -\frac{e_{2}}{a}, & \left[e_{11}, e_{23}\right] = - \frac{2 e_{7}}{a}, \\ \left[e_{12}, e_{19}\right] = e_{12}, & \left[e_{12}, e_{20}\right] = - e_{13}, \\ \left[e_{13}, e_{19}\right] = e_{13}, & \left[e_{13}, e_{20}\right] = e_{12}, \\ \left[e_{14}, e_{16}\right] = e_{15}, & \left[e_{14}, e_{17}\right] = - e_{14}, \\ \left[e_{14}, e_{19}\right] = e_{14}, & \left[e_{14}, e_{20}\right] = e_{15}. \end{array}\end{aligned} \end{equation}$

(5.29)

$\begin{equation} \begin{array}{ll} \left[e_{15}, e_{16}\right] = - e_{14}, & \left[e_{15}, e_{17}\right] = - e_{15}, \\ \left[e_{15}, e_{19}\right] = e_{15}, & \left[e_{15}, e_{20}\right] = - e_{14}, \\ \left[e_{16}, e_{18}\right] = - \frac{a^{2} e_{10}}{2} - \frac{a e_{9}}{2}, & \left[e_{16}, e_{21}\right] = \frac{a^{2} e_{10}}{2} + \frac{a e_{9}}{2}, \\ \left[e_{16}, e_{22}\right] = \frac{a e_{2}}{2}, & \left[e_{16}, e_{23}\right] = e_{8}\\ \left[e_{17}, e_{18}\right] = - \frac{a e_{11}}{2} - a e_{10} - e_{9}, & \left[e_{17}, e_{21}\right] = \frac{a e_{11}}{2}+ a e_{10} + e_{9}, \\ \left[e_{17}, e_{22}\right] = \frac{ e_{2}}{2}, & \left[e_{17}, e_{23}\right] = \frac{2 e_{8}}{a} + e_{7}, \\ \left[e_{21}, e_{22}\right] = 2 e_{22}, & \left[e_{21}, e_{23}\right] = -2 e_{23}, \\ \left[e_{22}, e_{23}\right] = -\frac{2 e_{21}}{a}. \end{array} \end{equation}$

(5.30)

We describe the symmetry algebra by the following proposition:

Proposition 7. The symmetry Lie algebra is a twenty-three- dimensional semi-direct product of twenty- dimensional solvable Lie algebra $S_{1, 20}$ and $sl(2, \mbox{ $\Bbb R$ })$ . The nilradical a fifteen-dimensional nilpotant Lie algebra $N_{1, 11} \oplus \mbox{ $\Bbb R$ }^4$ , which is a direct sum of $N_{1, 11}$ , an eleven-dimensional nilpotent Lie algebra, and a four-dimensional abelian Lie algebra $\mbox{ $\Bbb R$ }^4$ . The complement to the nilradical is a four-dimensional non-abelian. Therefore, the symmetry Lie algebra can be identified as $S_{1, 20}\rtimes sl(2, \mbox{ $\Bbb R$ })$ .

5.6. Algebra $A_{6, 24}$

The nonzero brackets for the algebra $A_{6, 24}$ are given by

$\begin{equation} \begin{array}{llll} \left[e_1, e_5\right] = e_5 + e_6, & \left[e_1, e_6\right] = e_6, & \left[e_2, e_4\right] = e_{4}, & \left[e_1, e_2\right] = e_{3}. \end{array} \end{equation}$

(5.31)

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}\dot{z}, & \ddot{q} = \dot{w}( \dot{q} + \dot{x}), & \ddot{x} = \dot{x} \dot{w}, & \ddot{y} = \dot{z} \dot{w}, & \ddot{z} = 0, & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.32)

The symmetry Lie algebra is spanned by

$\begin{equation} \begin{array}{lll} e_{1} = D_{t}, & e_{2} = tD_{y}, & e_{3} = D_{y} , \\ e_{4} = D_{p}, & e_{5} = D_{q}, & e_{6} = D_{x}, \\ e_{7} = D_{z}, & e_{8} = D_{w}, & e_{9} = t D_{t}, \\ e_{10} = p D_{p}, & e_{11} = w D_{t}, & e_{12} = z D_{t}, \\ e_{13} = w D_{y}, & e_{14} = z D_{y}, & e_{15} = x D_{q}, \\ e_{16} = q D_{q}+x D_{x}, & e_{17} = e^{w}D_{q}, & e_{18} = e^{z}D_{p}, \\ e_{19} = (wz-2y)D_{t}, & e_{20} = (wz-2y)D_{y}, & e_{21} = (w -1) e^{w} D_{q} + e^{w} D_{x}. \end{array} \end{equation}$

(5.33)

We consider the following change of basis:

$\begin{equation} \begin{array}{llll} \overline{e}_{1} = e_{5}, & \overline{e}_{2} = e_{17}, & \overline{e}_{3} = e_{6} , & \overline{e}_{4} = e_{21}, \\ \overline{e}_{5} = e_{15}, & \overline{e}_{6} = e_{1}, & \overline{e}_{7} = e_{3}, & \overline{e}_{8} = e_{4}, \\ \overline{e}_{9} = e_{11}, & \overline{e}_{10} = e_{12}, & \overline{e}_{11} = e_{13}, & \overline{e}_{12} = e_{14}, \\ \overline{e}_{13} = e_{18}, & \overline{e}_{14} = e_{7} +\frac{e_{13}}{2}, & \overline{e}_{15} = e_{8} +\frac{e_{14}}{2}, & \overline{e}_{16} = e_{9} -\frac{e_{20}}{2}, \\ \overline{e}_{17} = e_{10}, & \overline{e}_{18} = e_{16}, & \overline{e}_{19} = e_{2}, & \overline{e}_{20} = e_{9} +\frac{e_{20}}{2}, \\ \overline{e}_{21} = e_{19}, \end{array} \end{equation}$

(5.34)

and the nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{array}{llll} \left[e_{1} , e_{18}\right] = e_{1}, & \left[e_{2} , e_{15}\right] = - e_{2}, & \left[e_{2}, e_{18}\right] = e_{2}, & \left[e_{3}, e_{5}\right] = e_{1}, \\ \left[e_{3}, e_{18}\right] = e_{3}, & \left[e_{4}, e_{5}\right] = e_{2}, & \left[e_{4}, e_{15}\right] = - e_{2} - e_{4}, & \left[e_{4}, e_{18}\right] = e_{4}, \\ \left[e_{6}, e_{16}\right] = e_{6}, & \left[e_{6}, e_{19}\right] = e_{7}, & \left[e_{6}, e_{20}\right] = e_{6}, & \left[e_{7}, e_{16}\right] = e_{7}, \\ \left[e_{7}, e_{20}\right] = - e_{7}, & \left[e_{7}, e_{21}\right] = -2 e_{6}, & \left[e_{8}, e_{17}\right] = e_{8}, & \left[e_{9}, e_{15}\right] = - e_{6}, \\ \left[e_{9}, e_{16}\right] = e_{9}, & \left[e_{9}, e_{19}\right] = e_{11}, & \left[e_{9}, e_{20}\right] = e_{9}, & \left[e_{10}, e_{14}\right] = - e_{6}, \\ \left[e_{10}, e_{16}\right] = e_{10}, & \left[e_{10}, e_{19}\right] = e_{12}, & \left[e_{10}, e_{20}\right] = e_{10}, & \left[e_{11}, e_{15}\right] = -e_{7}, \\ \left[e_{11}, e_{16}\right] = e_{11}, & \left[e_{11}, e_{20}\right] = - e_{11}, & \left[e_{11}, e_{21}\right] = -2 e_{9}, & \left[e_{12}, e_{14}\right] = - e_{7}, \\ \left[e_{12}, e_{16}\right] = e_{12}, & \left[e_{12}, e_{20}\right] = - e_{12}, & \left[e_{12}, e_{21}\right] = -2 e_{10}, & \left[e_{13}, e_{14}\right] = - e_{13}, \\ \left[e_{13}, e_{17}\right] = e_{13}, & \left[e_{19}, e_{20}\right] = -2 e_{19}, & \left[e_{19}, e_{21}\right] = -2 e_{20}, & \left[e_{20}, e_{21}\right] = -2 e_{21}. \end{array} \end{equation}$

(5.35)

We describe the symmetry algebra by the following proposition:

Proposition 8. The symmetry Lie algebra is a twenty-one-dimensional Lie algebra. It is a semi-direct product of an eighteen-dimensional solvable Lie algebra and $sl(2, \mbox{ $\Bbb R$ })$ . The nilradical is a thirteen-dimensional decomposable Lie algebra. In fact, the nilradical is a direct sum of $A_{5, 1}$ in Winternitz ^[5] and $\mbox{ $\Bbb R$ }^8$ . The nilradical has a five-dimensional abelian complement. Therefore, the symmetry algebra can be identified as $((A_{5, 1}\oplus \mbox{ $\Bbb R$ }^8) \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$ , where the nonzero brackets of $A_{5.1}$ are given by

$\begin{equation} [e_3, e_5] = e_1, \; \; \; \; [e_4, e_5] = e_2. \end{equation}$

(5.36)

5.7. Algebra $A^{ab}_{6, 25} (ab$ : $a^{2}+b^{2} \not = 0$ )

The nonzero brackets for the algebra $A^{ab}_{6, 25}$ are given by

$\begin{equation} \begin{array}{llll} \left[e_1, e_4\right] = ae_4, & \left[e_1, e_5\right] = e_6, & \left[e_1, e_6\right] = -e_{5}, & \left[e_2, e_4\right] = be_{4}, \\ \left[e_2, e_5\right] = e_{5}, & \left[e_2, e_6\right] = e_{6}, & \left[e_1, e_2\right] = e_{3}. \end{array} \end{equation}$

(5.37)

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}( b \dot{w}+ a \dot{z} ), & \ddot{q} = -\dot{w} \dot{z}, & \ddot{x} = \dot{x} \dot{z} - \dot{y} \dot{w}, & \ddot{y} = \dot{x} \dot{w} - \dot{y} \dot{z}, & \ddot{z} = 0, & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.38)

For the general case $A^{a \not = 0, b \not = 0}_{6, 25}$ , the symmetry Lie algebra is spanned by

$\begin{equation} \begin{array}{lll} e_{1} = D_{t}, & e_{2} = tD_{q}, & e_{3} = D_{q} , \\ e_{4} = D_{y}, & e_{5} = D_{x}, & e_{6} = D_{p}, \\ e_{7} = D_{w}, & e_{8} = D_{z}, & e_{9} = t D_{t}, \\ e_{10} = p D_{p}, & e_{11} = w D_{q}, & e_{12} = z D_{q}, \\ e_{13} = w D_{t}, & e_{14}\ = z D_{t}, & e_{15} = x D_{x} + y D_{y}, \\ e_{16} = (wz + 2q) D_{q}, & e_{17} = (wz + 2q) D_{t}, & e_{18} = e^{bw} e^{az} D_{p}. \end{array} \end{equation}$

(5.39)

We implement the following change of basis:

$\begin{equation} \begin{array}{llll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{3}, & \overline{e}_{3} = e_{13} , & \overline{e}_{4} = e_{11}, \\ \overline{e}_{5} = - e_{7}+\frac{be_{8}}{a}, & \overline{e}_{6} = e_{4}, & \overline{e}_{7} = e_{5}, & \overline{e}_{8} = e_{6}, \\ \overline{e}_{9} = e_{11} + \frac{a e_{12}}{b}, & \overline{e}_{10} = e_{13}+\frac{a e_{14}}{b}, & \overline{e}_{11} = e_{18}, & \overline{e}_{12} = e_{8} -\frac{e_{11}}{2}, \\ \overline{e}_{13} = e_{9} +\frac{e_{16}}{2}, & \overline{e}_{14} = e_{10}, & \overline{e}_{15} = e_{15}, & \overline{e}_{16} = e_{2}, \\ \overline{e}_{17} = e_{9} -\frac{e_{16}}{2}, & \overline{e}_{18} = e_{17}, \end{array} \end{equation}$

(5.40)

and the nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{array}{llll} \left[e_{1} , e_{13}\right] = e_{1}, & \left[e_{1} , e_{16}\right] = e_{2}, & \left[e_{1}, e_{17}\right] = e_{1}, \\ \left[e_{2}, e_{13}\right] = e_{2}, & \left[e_{2}, e_{17}\right] = - e_{2}, & \left[e_{2}, e_{18}\right] = 2 e_{1}, \\ \left[e_{3}, e_{5}\right] = e_{1}, & \left[e_{3}, e_{13}\right] = e_{3}, & \left[e_{3}, e_{16}\right] = e_{4}, \\ \left[e_{3}, e_{17}\right] = e_{3}, & \left[e_{4}, e_{5}\right] = e_{2}, & \left[e_{4}, e_{13}\right] = e_{4}, \\ \left[e_{4}, e_{17}\right] = - e_{4}, & \left[e_{4}, e_{18}\right] = 2 e_{3}, & \left[e_{5}, e_{12}\right] = \frac{e_{2}}{2}, \\ \left[e_{5}, e_{13}\right] = - \frac{b e_{9}}{2a} + \frac{b e_{4}}{a}, & \left[e_{5}, e_{17}\right] = \frac{b e_{9}}{2a} - \frac{b e_{4}}{a}, & \left[e_{5}, e_{18}\right] = - \frac{b e_{10}}{a} + \frac{2 b e_{3}}{a}, \\ \left[e_{6}, e_{15}\right] = e_{6}, & \left[e_{7}, e_{15}\right] = e_{7}, & \left[e_{8}, e_{14}\right] = e_{8}, \\ \left[e_{9}, e_{12}\right] = - \frac{a e_{2}}{b}, & \left[e_{9}, e_{13}\right] = e_{9}, & \left[e_{9}, e_{17}\right] = - e_{9}, \\ \left[e_{9}, e_{18}\right] = 2 e_{10}, & \left[e_{10}, e_{12}\right] = - \frac{a e_{1}}{b}, & \left[e_{10}, e_{13}\right] = e_{10}, \\ \left[e_{10}, e_{16}\right] = e_{9}, & \left[e_{10}, e_{17}\right] = e_{10}, & \left[e_{11}, e_{12}\right] = -a e_{11}, \\ \left[e_{11}, e_{14}\right] = e_{11}, & \left[e_{16}, e_{17}\right] = -2 e_{16}, & \left[e_{16}, e_{18}\right] = 2 e_{17}, \\ \left[e_{17}, e_{18}\right] = -2 e_{18}. \end{array} \end{equation}$

(5.41)

We describe the symmetry algebra by the following proposition:.

Proposition 9. The symmetry Lie algebra is an eighteen-dimensional Lie algebra. It is a semi-direct product of fifteen-dimensional solvable Lie algebra and $sl(2, \mbox{ $\Bbb R$ })$ . The nilradical is an eleven-dimensional decomposable Lie algebra. In fact, the nilradical is a direct sum of $A_{5, 1}$ in Winternitz ^[5] and $\mbox{ $\Bbb R$ }^6$ . The nilradical has a four-dimensional abelian complement. Therefore, the symmetry algebra can be identified as $((A_{5, 1}\oplus \mbox{ $\Bbb R$ }^4) \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$ , where the nonzero brackets of $A_{5.1}$ are given by

$\begin{equation} [e_3, e_5] = e_1, \; \; \; \; [e_4, e_5] = e_2. \end{equation}$

(5.42)

5.8. Algebra $A^{a}_{6, 26}$

The nonzero brackets for the algebra $A^{a}_{6, 26}$ are given by

$\begin{equation} \begin{array}{llll} \left[e_1, e_5\right] = ae_5 + e_{6}, & \left[e_1, e_6\right] = ae_6 - e_{5}, & \left[e_2, e_4\right] = e_{4}, & \left[e_1, e_2\right] = e_{3}. \end{array} \end{equation}$

(5.43)

The geodesic equations are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p} \dot{z} , & \ddot{q} = \dot{w} \dot{z}, & \ddot{x} = \dot{w}(a \dot{x} - \dot{y} ), & \ddot{y} = \dot{w}( \dot{x} + a \dot{y} ), & \ddot{z} = 0, & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.44)

For the general case $A^{a \not = 0}_{6, 26}$ , the symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{llll} e_{1} = D_{t}, & e_{2} = t D_{q}, & e_{3} = D_{q} , & e_{4} = D_{x}, \\ e_{5} = D_{p}, & e_{6} = D_{y}, & e_{7} = D_{z}, & e_{8} = D_{w}, \\ e_{9} = t D_{t}, & e_{10} = p D_{p}, & e_{11} = w D_{q}, & e_{12} = z D_{q}, \\ e_{13} = w D_{t}, & e_{14} = z D_{t}, & e_{15} = x D_{x} + y D_{y}, & e_{16} = e^{z} D_{p}, \\ e_{17} = y D_{x} - x D_{y}, & e_{18} = (wz + 2q) D_{q}, & e_{19} = (wz + 2q) D_{t}, \\ e_{20} = e^{aw} \cos(w) D_{x} + e^{aw} \sin(w) D_{y}, & e_{21} = e^{aw} \sin(w) D_{x} - e^{aw} \cos(w) D_{y}. \end{array}\end{aligned} \end{equation}$

(5.45)

We consider the following change of basis:

$\begin{equation} \begin{array}{lllll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{3}, & \overline{e}_{3} = e_{4} , & \overline{e}_{4} = e_{5}, & \overline{e}_{5} = e_{6}, \\ \overline{e}_{6} = e_{11}, & \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, & \overline{e}_{9} = e_{14}, & \overline{e}_{10} = e_{16}, \\ \overline{e}_{11} = e_{20}, & \overline{e}_{12} = e_{21}, & \overline{e}_{13} = e_{7} +\frac{e_{11}}{2}, & \overline{e}_{14} = e_{8} +\frac{e_{12}}{2}, & \overline{e}_{15} = e_{9} -\frac{e_{18}}{2}, \\ \overline{e}_{16} = e_{10}, & \overline{e}_{17} = e_{15}, & \overline{e}_{18} = e_{17}, & \overline{e}_{19} = e_{2}, & \overline{e}_{20} = e_{9} +\frac{e_{18}}{2}, \\ \overline{e}_{21} = e_{19}. \end{array} \end{equation}$

(5.46)

The nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{array}{lll} \left[e_{1} , e_{15}\right] = e_{1}, & \left[e_{1} , e_{19}\right] = e_{2}, & \left[e_{1}, e_{20}\right] = e_{1}, \\ \left[e_{2}, e_{15}\right] = e_{2}, & \left[e_{2}, e_{20}\right] = - e_{2}, & \left[e_{2}, e_{21}\right] = -2 e_{1}, \\ \left[e_{3}, e_{17}\right] = e_{3}, & \left[e_{3}, e_{18}\right] = - e_{5}, & \left[e_{4}, e_{16}\right] = e_{4}, \\ \left[e_{5}, e_{17}\right] = e_{5}, & \left[e_{5}, e_{18}\right] = e_{3}, & \left[e_{6}, e_{14}\right] = - e_{2}, \\ \left[e_{6}, e_{15}\right] = e_{6}, & \left[e_{6}, e_{20}\right] = - e_{6}, & \left[e_{6}, e_{21}\right] = -2 e_{8}, \\ \left[e_{7}, e_{13}\right] = - e_{2}, & \left[e_{7}, e_{15}\right] = e_{7}, & \left[e_{7}, e_{20}\right] = - e_{7}, \\ \left[e_{7}, e_{21}\right] = -2 e_{9}, & \left[e_{8}, e_{14}\right] = - e_{1}, & \left[e_{8}, e_{15}\right] = e_{8}, \\ \left[e_{8}, e_{19}\right] = e_{6}, & \left[e_{8}, e_{20}\right] = e_{8}, & \left[e_{9}, e_{13}\right] = -e_{1}, \\ \left[e_{9}, e_{15}\right] = e_{9}, & \left[e_{9}, e_{19}\right] = e_{7}, & \left[e_{9}, e_{20}\right] = e_{9}, \\ \left[e_{10}, e_{13}\right] = - e_{10}, & \left[e_{10}, e_{16}\right] = e_{10}, & \left[e_{11}, e_{14}\right] = -a e_{11} + e_{12}, \\ \left[e_{11}, e_{17}\right] = e_{11}, & \left[e_{11}, e_{18}\right] = e_{12}, & \left[e_{12}, e_{14}\right] = -a e_{12} - e_{11}, \\ \left[e_{12}, e_{17}\right] = e_{12}, & \left[e_{12}, e_{18}\right] = - e_{11}, & \left[e_{19}, e_{20}\right] = -2 e_{19}, \\ \left[e_{19}, e_{21}\right] = -2 e_{20}, & \left[e_{20}, e_{21}\right] = -2 e_{21}. \end{array} \end{equation}$

(5.47)

We describe the symmetry algebra by the following proposition:

Proposition 10. The symmetry Lie algebra is a twenty-one-dimensional Lie algebra. It is a semi-direct product of an eighteen-dimensional solvable Lie algebra and $sl(2, \mbox{ $\Bbb R$ })$ . The nilradical is twelve-dimensional abelian Lie algebra and has a six-dimensional abelian complement. Therefore, the symmetry algebra can be identified as: $(\mbox{ $\Bbb R$ }^{12} \rtimes \mbox{ $\Bbb R$ }^{6}) \rtimes sl(2, \mbox{ $\Bbb R$ })$ .

5.8.1. Case 1: $A^{a = 0}_{6, 26}$

The symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{lll} e_{1} = D_{t}, & e_{2} = t D_{q}, & e_{3} = D_{q} , \\ e_{4} = D_{p}, & e_{5} = D_{x}, & e_{6} = D_{y}, \\ e_{7} = D_{z}, & e_{8} = D_{w}, & e_{9} = t D_{t}, \\ e_{10} = p D_{p}, & e_{11} = w D_{q}, & e_{12} = z D_{p}, \\ e_{13} = w D_{t}, & e_{14} = z D_{t} , & e_{15} = x D_{x} + y D_{y}, \\ e_{16} = e^{z} D_{p}, & e_{17} = y D_{x} - x D_{y}, & e_{18} = \cos(w) D_{x} + \sin(w) D_{y}, \\ e_{19} = (wz - 2q) D_{q} , & e_{20} = (wz - 2q) D_{t}, & e_{21} = \sin(w) D_{x} - \cos(w) D_{y}, \\ e_{22} = ( - \cos(w) y + x \sin(w)) D_{x} + (- \cos(w) x - y \sin(w)) D_{y}, & \\ e_{23} = ( \cos(w) x + y \sin(w)) D_{x} + (- \cos(w) y + x \sin(w)) D_{y}.& \\ \end{array}\end{aligned} \end{equation}$

(5.48)

We implement the following change of basis

$\begin{equation} \begin{array}{llll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{3}, & \overline{e}_{3} = e_{4} , & \overline{e}_{4} = e_{5}, \\ \overline{e}_{5} = e_{6}, & \overline{e}_{6} = e_{11}, & \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, \\ \overline{e}_{9} = e_{14}, & \overline{e}_{10} = e_{16}, & \overline{e}_{11} = e_{18}, & \overline{e}_{12} = e_{21}, \\ \overline{e}_{13} = e_{7} + \frac{e_{11}}{2}, & \overline{e}_{14} = e_{8} -\frac{e_{17}}{2} + \frac{e_{12}}{2}, & \overline{e}_{15} = e_{9} - \frac{e_{19}}{2}, & \overline{e}_{16} = e_{10}, \\ \overline{e}_{17} = e_{15}, & \overline{e}_{18} = e_{2}, & \overline{e}_{19} = e_{9} + \frac{e_{19}}{2}, & \overline{e}_{20} = e_{20}, \\ \overline{e}_{21} = e_{17}, & \overline{e}_{22} = e_{22}, & \overline{e}_{23} = e_{23}, \end{array} \end{equation}$

(5.49)

and the nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{aligned} \begin{array}{llll} \left[e_{1} , e_{15}\right] = e_{1}, & \left[e_{1} , e_{18}\right] = e_{2}, & \left[e_{1}, e_{19}\right] = - e_{1} , & \left[e_{2}, e_{15}\right] = e_{2}, \\ \left[e_{2}, e_{19}\right] = - e_{2}, & \left[e_{2}, e_{20}\right] = -2 e_{1}, & \left[e_{3}, e_{16}\right] = e_{3}, & \left[e_{4}, e_{14}\right] = \frac{ e_{5}}{2}, \\ \left[e_{4}, e_{17}\right] = e_{4}, & \left[e_{4}, e_{21}\right] = - e_{5}, & \left[e_{4}, e_{22}\right] = e_{12}, & \left[e_{4}, e_{23}\right] = e_{11} , \\ \left[e_{5}, e_{14}\right] = - \frac{ e_{4}}{2} , & \left[e_{5}, e_{17}\right] = e_{5}, & \left[e_{5}, e_{21}\right] = e_{4}, & \left[e_{5}, e_{22}\right] = - e_{11}, \\ \left[e_{5}, e_{23}\right] = e_{12}, & \left[e_{6}, e_{14}\right] = - e_{2}, & \left[e_{6}, e_{15}\right] = e_{6}, & \left[e_{6}, e_{19}\right] = - e_{6}, \\ \left[e_{6}, e_{20}\right] = -2 e_{8}, & \left[e_{7}, e_{13}\right] = - e_{2}, & \left[e_{7}, e_{15}\right] = e_{7}, & \left[e_{7}, e_{19}\right] = - e_{7}, \\ \left[e_{7}, e_{20}\right] = -2 e_{9}, & \left[e_{8}, e_{14}\right] = - e_{1}, & \left[e_{8}, e_{15}\right] = e_{8}, & \left[e_{8}, e_{18}\right] = e_{6}, \\ \left[e_{8}, e_{19}\right] = e_{8}, & \left[e_{9}, e_{13}\right] = - e_{1}, & \left[e_{9}, e_{15}\right] = e_{9} , & \left[e_{9}, e_{18}\right] = e_{7}, \\ \left[e_{9}, e_{19}\right] = e_{9}, & \left[e_{10}, e_{13}\right] = - e_{10}, & \left[e_{10}, e_{16}\right] = e_{10} , & \left[e_{11}, e_{14}\right] = \frac{ e_{12}}{2}, \\ \left[e_{11}, e_{17}\right] = e_{11}, & \left[e_{11}, e_{21}\right] = e_{12}, & \left[e_{11}, e_{22}\right] = - e_{5}, & \left[e_{11}, e_{23}\right] = e_{4}, \\ \left[e_{12}, e_{14}\right] = - \frac{ e_{11}}{2}, & \left[e_{12}, e_{17}\right] = e_{12}, & \left[e_{12}, e_{21}\right] = - e_{11}, & \left[e_{12}, e_{22}\right] = e_{4}, \\ \left[e_{12}, e_{23}\right] = e_{5}, & \left[e_{18}, e_{19}\right] = - e_{18}, & \left[e_{18}, e_{20}\right] = -2 e_{19}, & \left[e_{19}, e_{20}\right] = -2 e_{20}, \\ \left[e_{21}, e_{22}\right] = 2 e_{23}, & \left[e_{21}, e_{23}\right] = -2 e_{22}, & \left[e_{22}, e_{23}\right] = -2 e_{21}. \end{array}\end{aligned} \end{equation}$

(5.50)

We describe the symmetry algebra by the following proposition:

Proposition 11. The symmetry Lie algebra is a twenty-three-dimensional Lie algebra. It is a semi-direct product of a seventeen-dimensional solvable Lie algebra and two copies of $sl(2, \mbox{ $\Bbb R$ })$ . Furthermore, the symmetry Lie algebra has a twelve-dimensional abelian nilradical and five-dimensional abelian complement. Therefore, the symmetry algebra can be identified as

$( \mathbb{R}^{12} \rtimes \mathbb{R}^{5}) \rtimes (sl(2, \mathbb{R}) \oplus sl(2, \mathbb{R})).$

5.9. Algebra $A^{\epsilon}_{6, 27}$ : $(\epsilon = 0, 1$ )

The nonzero brackets for the algebra $A^{\epsilon}_{6, 27}$ are given by

$\begin{equation} \left[e_1, e_3\right] = e_4 , \; \; \; \left[e_1, e_5\right] = e_6 , \; \; \; \left[e_1, e_6\right] = - e_{5}, \; \; \; \left[e_2, e_5\right] = e_{5}, \; \; \; \left[e_2, e_6\right] = e_{6}, \; \; \; \left[e_1, e_2\right] = \epsilon e_{3}. \end{equation}$

(5.51)

5.9.1. $A^{\epsilon=0}_{6, 27}$

The geodesic equations where $\epsilon = 0$ are given by

$\begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p} \dot{w} - \dot{q} \dot{z} , & \ddot{q} = \dot{p} \dot{z} + \dot{q} \dot{w}, & \ddot{x} = 0, & \ddot{y} = \dot{x} \dot{z}, & \ddot{z} = 0, & \ddot{w} = 0.\\ \end{array} \end{equation}$

(5.52)

The symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{ll} e_{1} = D_{t}, & e_{2} = t D_{y}, \\ e_{3} = D_{y} , & e_{4} = D_{p}, \\ e_{5} = D_{q}, & e_{6} = D_{x}, \\ e_{7} = D_{w}, & e_{8} = D_{z}, \\ e_{9} = t D_{t}, & e_{10} = w D_{t}, \\ e_{11} = x D_{t}, & e_{12} = z D_{t}, \\ e_{13} = w D_{y}, & e_{14} = x D_{y}, \\ e_{15} = z D_{y}, & e_{16} = p D_{p} + q D_{q}, \\ e_{17} = x D_{x} + y D_{y}, & e_{18} = q D_{p} - p D_{q}, \\ e_{19} = t D_{x} + \frac{tz}{2} D_{y}, & e_{20} = z D_{x} + \frac{z^2}{2} D_{y} , \\ e_{21} = (xz - 2y) D_{t}, & e_{22}\ = (xz - 2y) D_{y}, \\ e_{23} = w D_{x} + \frac{wz}{2} D_{y} , & e_{24} = e^{w} \cos(z) D_{p} + e^{w} \sin(z) D_{q}, \\ e_{25} = e^{w} \sin(z) D_{p}- e^{w} \cos(z) D_{q}, & e_{26} = (xz- 2y )D_{x} + (\frac{x z^2}{2} - yz) D_{y}. \end{array}\end{aligned} \end{equation}$

(5.53)

We implement the following change of basis:

$\begin{equation} \begin{aligned} \begin{array}{llll} \overline{e}_{1} = e_{1}, & \overline{e}_{2} = e_{3}, & \overline{e}_{3} = e_{4} , & \overline{e}_{4} = e_{5}, \\ \overline{e}_{5} = e_{6}, & \overline{e}_{6} = e_{10}, & \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, \\ \overline{e}_{9} = e_{15}, & \overline{e}_{10} = e_{20}, & \overline{e}_{11} = e_{23}, & \overline{e}_{12} = e_{24}, \\ \overline{e}_{13} = e_{25}, & \overline{e}_{14} = e_{7} , & \overline{e}_{15} = e_{8} +\frac{e_{14}}{2}, & \overline{e}_{16} = e_{9}+ e_{17}, \\ \overline{e}_{17} = e_{16}, & \overline{e}_{18} = e_{18}, & \overline{e}_{19} = e_{2} , & \overline{e}_{20} = e_{9} +\frac{e_{22}}{2}, \\ \overline{e}_{21} = e_{11}, & \overline{e}_{22} = e_{14}, & \overline{e}_{23} = e_{17}+ e_{22}, & \overline{e}_{24} = e_{19}, \\ \overline{e}_{25} = e_{21}, & \overline{e}_{26} = e_{26}, \end{array}\end{aligned} \end{equation}$

(5.54)

and the nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{aligned} \begin{array}{lll} \left[e_{1} , e_{16}\right] = e_{1}, & \left[e_{1} , e_{19}\right] = e_{2}, & \left[e_{1}, e_{20}\right] = e_{1}, \\ \left[e_{1}, e_{24}\right] = e_{5} +\frac{e_{9}}{2}, & \left[e_{2}, e_{16}\right] = e_{2}, & \left[e_{2}, e_{20}\right] = - e_{2}, \\ \left[e_{2}, e_{23}\right] = - e_{2}, & \left[e_{2}, e_{25}\right] = -2 e_{1}, & \left[e_{2}, e_{26}\right] = -2 e_{5} - e_{9}, \\ \left[e_{3}, e_{17}\right] = e_{3}, & \left[e_{3}, e_{18}\right] = - e_{4}, & \left[e_{4}, e_{17}\right] = e_{4} , \\ \left[e_{4}, e_{18}\right] = e_{3}, & \left[e_{5}, e_{15}\right] = \frac{e_{2}}{2}, & \left[e_{5}, e_{16}\right] = e_{5}, \\ \left[e_{5}, e_{20}\right] = \frac{e_{9}}{2}, & \left[e_{5}, e_{21}\right] = e_{1}, & \left[e_{5}, e_{22}\right] = e_{2}, \\ \left[e_{5}, e_{23}\right] = e_{5} + e_{9}, & \left[e_{5}, e_{25}\right] = e_{7} , & \left[e_{5}, e_{26}\right] = e_{10}, \\ \left[e_{6}, e_{14}\right] = - e_{1}, & \left[e_{6}, e_{16}\right] = e_{6}, & \left[e_{6}, e_{19}\right] = e_{8}, \\ \left[e_{6}, e_{20}\right] = e_{6}, & \left[e_{6}, e_{24}\right] = e_{11}, & \left[e_{7}, e_{15}\right] = - e_{1}, \\ \left[e_{7}, e_{16}\right] = e_{7}, & \left[e_{7}, e_{19}\right] = e_{9}, & \left[e_{7}, e_{20}\right] = e_{7}, \\ \left[e_{7}, e_{24}\right] = e_{10}, & \left[e_{8}, e_{14}\right] = - e_{2}, & \left[e_{8}, e_{16}\right] = e_{8}, \\ \left[e_{8}, e_{20}\right] = - e_{8}, & \left[e_{8}, e_{23}\right] = - e_{8}, & \left[e_{8}, e_{25}\right] = -2 e_{6}, \\ \left[e_{8}, e_{26}\right] = -2 e_{11}, & \left[e_{9}, e_{15}\right] = - e_{2}, & \left[e_{9}, e_{16}\right] = e_{9}, \\ \left[e_{9}, e_{20}\right] = - e_{9}, & \left[e_{9}, e_{23}\right] = - e_{9}, & \left[e_{9}, e_{25}\right] = -2 e_{7}, \\ \left[e_{9}, e_{26}\right] = -2 e_{10}, & \left[e_{10}, e_{15}\right] = - e_{5} - \frac{e_{9}}{2}, & \left[e_{10}, e_{16}\right] = e_{10} , \\ \left[e_{10}, e_{21}\right] = e_{7}, & \left[e_{10}, e_{22}\right] = e_{9}, & \left[e_{10}, e_{23}\right] = e_{10}, \\ \left[e_{11}, e_{14}\right] = - e_{5} - \frac{e_{9}}{2}, & \left[e_{11}, e_{16}\right] = e_{11}, & \left[e_{11}, e_{21}\right] = e_{6}, \\ \left[e_{11}, e_{22}\right] = e_{8}, & \left[e_{11}, e_{23}\right] = e_{11}, & \left[e_{12}, e_{14}\right] = - e_{12}, \\ \left[e_{12}, e_{15}\right] = e_{13}, & \left[e_{12}, e_{17}\right] = e_{12}, & \left[e_{12}, e_{18}\right] = e_{13}, \\ \left[e_{13}, e_{14}\right] = - e_{13}, & \left[e_{13}, e_{15}\right] = - e_{12}, & \left[e_{13}, e_{17}\right] = e_{13}, \\ \left[e_{13}, e_{18}\right] = - e_{12}, & \left[e_{19}, e_{20}\right] = -2 e_{19}, & \left[e_{19}, e_{21}\right] = - e_{22}, \\ \left[e_{19}, e_{23}\right] = - e_{19}, & \left[e_{19}, e_{25}\right] = -2 e_{20}, & \left[e_{19}, e_{26}\right] = -2 e_{24} , \\ \left[e_{20}, e_{21}\right] = - e_{21} , & \left[e_{20}, e_{22}\right] = e_{22}, & \left[e_{20}, e_{24}\right] = e_{24}, \\ \left[e_{20}, e_{25}\right] = -2 e_{25}, & \left[e_{20}, e_{26}\right] = - e_{26}, & \left[e_{21}, e_{23}\right] = - e_{21}, \\ \left[e_{21}, e_{24}\right] = - e_{20} + e_{23}, & \left[e_{21}, e_{26}\right] = - e_{25} , & \left[e_{22}, e_{23}\right] = -2 e_{22}, \\ \left[e_{22}, e_{24}\right] = - e_{19}, & \left[e_{22}, e_{25}\right] = -2 e_{21}, & \left[e_{22}, e_{26}\right] = -2 e_{23} , \\ \left[e_{23}, e_{24}\right] = - e_{24} , & \left[e_{23}, e_{25}\right] = - e_{25}, & \left[e_{23}, e_{26}\right] = -2 e_{26}, \\ \left[e_{24}, e_{25}\right] = - e_{26}. \end{array}\end{aligned} \end{equation}$

(5.55)

We describe the symmetry algebra by the following proposition:

Proposition 12. The symmetry Lie algebra is a twenty-six-dimensional semi-direct product of an eighteen solvable Lie algebra and eight-dimensional semi-simple $sl(3, \mbox{ $\Bbb R$ })$ . Furthermore, the symmetry Lie algebra has a thirteen-dimensional abelian nilradical. Therefore, the symmetry algebra can be identified as: $(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })$ .

5.9.2. $A^{\epsilon=1}_{6, 27}$

The geodesic equations where $\epsilon = 1$ are given by

$\begin{equation} \ddot{p} = \dot{q} \dot{w} , \quad \ddot{q} = \dot{z} \dot{w}, \quad \ddot{x} = \dot{z} \dot{x} - \dot{w} \dot{y}, \quad \ddot{y} = \dot{z} \dot{y} + \dot{w} \dot{x}, \quad \ddot{z} = 0, \quad\ddot{w} = 0. \end{equation}$

(5.56)

The symmetry Lie algebra is spanned by

$\begin{equation} \begin{aligned} \begin{array}{llll} e_{1} = D_{z}, & e_{2} = D_{p}, & e_{3} = D_{x} , & e_{4} = D_{w}, \\ e_{5} = D_{y}, & e_{6} = D_{q}, & e_{7} = t D_{t}, & e_{8} = D_{t}, \\ e_{9} = t D_{p}, & e_{10} = z D_{p}, & e_{11} = w D_{p}, & e_{12} = w D_{t}, \\ e_{13} = z D_{t}, & e_{14} = q D_{p} + z D_{q}, & e_{15} = x D_{x} + y D_{y}, & e_{16} = y D_{x} - x D_{y}, \\ e_{17} = tw D_{p} + 2t D_{q}, & e_{18} = \frac{w^{2}}{2} D_{p} + w D_{q} , & e_{19} = wz D_{p} + 2z D_{q} , & e_{20} = (wz - 2q) D_{t}, \\ e_{21} = e^{z} \cos(w) D_{x} + e^{z} \sin(w) D_{y}, & e_{22} = e^{z} \sin(w) D_{x} - e^{z} \cos(w) D_{y}, \\ e_{23} = (qw- \frac{z w^{2}}{2})D_{p} + (-wz +2q) D_{q}. \end{array}\end{aligned} \end{equation}$

(5.57)

We implement the following change of basis:

$\begin{equation} \begin{array}{llll} \overline{e}_{1} = e_{2}, & \overline{e}_{2} = e_{6}, & \overline{e}_{3} = e_{8} , & \overline{e}_{4} = e_{9}, \\ \overline{e}_{5} = e_{10}, & \overline{e}_{6} = e_{11}, & \overline{e}_{7} = e_{12}, & \overline{e}_{8} = e_{13}, \\ \overline{e}_{9} = e_{14}, & \overline{e}_{10} = e_{18}, & \overline{e}_{11} = e_{19}, & \overline{e}_{12} = e_{3}, \\ \overline{e}_{13} = e_{5} , & \overline{e}_{14} = e_{21}, & \overline{e}_{15} = e_{22} , & \overline{e}_{16} = e_{1}, \\ \overline{e}_{17} = e_{4}, & \overline{e}_{18} = e_{7} + \frac{e_{23}}{2}, & \overline{e}_{19} = e_{15} , & \overline{e}_{20} = e_{16}, \\ \overline{e}_{21} = e_{7} - \frac{e_{23}}{2}, & \overline{e}_{22} = e_{17}, & \overline{e}_{23} = e_{20}, \end{array} \end{equation}$

(5.58)

and the nonzero brackets of the symmetry algebra are given by

$\begin{equation} \begin{aligned} \begin{array}{lll} \left[e_{2} , e_{9}\right] = e_{1} , & \left[e_{2} , e_{18}\right] = e_{2} + \frac{ e_{6}}{2}, & \left[e_{2}, e_{21}\right] = - e_{2} - \frac{ e_{6}}{2} , \\ \left[e_{2}, e_{23}\right] = -2 e_{3}, & \left[e_{3}, e_{4}\right] = e_{1}, & \left[e_{3}, e_{18}\right] = e_{3}, \\ \left[e_{3}, e_{21}\right] = e_{3}, & \left[e_{3}, e_{22}\right] = 2 e_{2} + e_{6}, & \left[e_{4}, e_{7}\right] = - e_{6}, \\ \left[e_{4}, e_{8}\right] = - e_{5}, & \left[e_{4}, e_{18}\right] = - e_{4}, & \left[e_{4}, e_{21}\right] = - e_{4} , \\ \left[e_{4}, e_{23}\right] = - e_{11} + 2 e_{9} , & \left[e_{5}, e_{16}\right] = - e_{1}, & \left[e_{6}, e_{17}\right] = - e_{1}, \\ \left[e_{7}, e_{17}\right] = - e_{3}, & \left[e_{7}, e_{18}\right] = e_{7}, & \left[e_{7}, e_{21}\right] = e_{7}, \\ \left[e_{7}, e_{22}\right] = 2 e_{10}, & \left[e_{8}, e_{16}\right] = - e_{3}, & \left[e_{8}, e_{18}\right] = e_{8}, \\ \left[e_{8}, e_{21}\right] = e_{8}, & \left[e_{8}, e_{22}\right] = e_{11}, & \left[e_{9}, e_{10}\right] = - e_{6}, \\ \left[e_{9}, e_{11}\right] = -2 e_{5}, & \left[e_{9}, e_{16}\right] = - e_{2}, & \left[e_{9}, e_{18}\right] = e_{11} - e_{9}, \\ \left[e_{9}, e_{21}\right] = - e_{11}+ e_{9}, & \left[e_{9}, e_{22}\right] = -2 e_{4}, & \left[e_{9}, e_{23}\right] = -2 e_{8}, \\ \left[e_{10}, e_{17}\right] = - e_{2} - e_{6} , & \left[e_{10}, e_{18}\right] = e_{10}, & \left[e_{10}, e_{21}\right] = - e_{10}, \\ \left[e_{10}, e_{23}\right] = -2 e_{7}, & \left[e_{11}, e_{16}\right] = -2 e_{2} - e_{6} , & \left[e_{11}, e_{17}\right] = - e_{5}, \\ \left[e_{11}, e_{18}\right] = e_{11}, & \left[e_{11}, e_{21}\right] = - e_{11}, & \left[e_{11}, e_{23}\right] = -4 e_{8}, \\ \left[e_{12}, e_{19}\right] = e_{12}, & \left[e_{12}, e_{20}\right] = - e_{13}, & \left[e_{13}, e_{19}\right] = e_{13}, \\ \left[e_{13}, e_{20}\right] = e_{12}, & \left[e_{14}, e_{16}\right] = - e_{14}, & \left[e_{14}, e_{17}\right] = e_{15}, \\ \left[e_{14}, e_{19}\right] = e_{14}, & \left[e_{14}, e_{20}\right] = e_{15}, & \left[e_{15}, e_{16}\right] = - e_{15}, \\ \left[e_{15}, e_{17}\right] = - e_{14}, & \left[e_{15}, e_{19}\right] = e_{15}, & \left[e_{15}, e_{20}\right] = - e_{14}, \\ \left[e_{16}, e_{18}\right] = -\frac{ e_{10}}{2}, & \left[e_{16}, e_{21}\right] = \frac{ e_{10}}{2}, & \left[e_{16}, e_{23}\right] = e_{7}, \\ \left[e_{17}, e_{18}\right] = - \frac{ e_{11}}{2}+\frac{ e_{9}}{2}, & \left[e_{17}, e_{21}\right] = \frac{ e_{11}}{2}-\frac{ e_{9}}{2}, & \left[e_{17}, e_{22}\right] = e_{4}, \\ \left[e_{17}, e_{23}\right] = e_{8}, & \left[e_{21}, e_{22}\right] = 2 e_{22}, & \left[e_{21}, e_{23}\right] = -2 e_{23}, \\ \left[e_{22}, e_{23}\right] = -4 e_{21}. \end{array}\end{aligned} \end{equation}$

(5.59)

We describe the symmetry algebra by the following proposition:

Proposition 13. The symmetry Lie algebra is a twenty-three-dimensional semi-direct product of twenty-dimensional solvable Lie algebra $S_{2, 20}$ , and $sl(2, \mbox{ $\Bbb R$ })$ . The nilradical is a fifteen-dimensional nilpotant Lie algebra $N_{2, 11} \oplus \mbox{ $\Bbb R$ }^4$ , which is a direct sum of $N_{2, 11}$ , an eleven-dimensional nilpotent Lie algebra, and a four-dimensional abelian Lie algebra $\mbox{ $\Bbb R$ }^4$ . The complement of the nilradical is four-dimensional non-abelian. Therefore, the symmetry Lie algebra can be identified as $S_{2, 20}\rtimes sl(2, \mbox{ $\Bbb R$ })$ .

6. Conclusions and future work

In this work, we have investigated the symmetry Lie algebra of the geodesic equations of the canonical connection on a Lie group corresponding to the eight classes of Lie algebra $A_{6, 20}$ – $A_{6, 27}$ in ^[7]. In each case, we list the nonzero brackets of the given Lie algebra, the geodesic equations, and a basis for the symmetry Lie algebra in terms of vector fields. For every symmetry Lie algebra, we identify its nilradical, solvable complement, and semi-simple factor; a summary of our results is given in . In future work, we plan to study the symmetry Lie algebras for the rest of the six-dimensional Lie algebras $A_{6, 28}$ – $A_{6, 40}$ in ^[7]. The results help to put symmetry Lie algebras into context since they are of very high dimension. It remains to use the symmetries to help integrate the geodesic equations. Another useful by-product is the construction of many large dimensional Levi decomposition Lie algebras, which is a topic of independent interest.

Table 1. Six-dimensional Lie algebras and identification of the symmetry algebra.

Six-dimensional Lie algebras	Dimension	Identification
$A^{ab}_{6, 20}\ (ab: a^{2}+b^{2} \not = 0)$	21	$(\mbox{ $\Bbb R$ }^{12} \rtimes \mbox{ $\Bbb R$ }^{6}) \rtimes sl(2, \mbox{ $\Bbb R$ })$
$A^{a}_{6, 21}$	21	$((A_{5, 1}\oplus \mbox{ $\Bbb R$ }^8) \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$
$A^{\epsilon=0}_{6, 22}$	26	$(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })$
$A^{\epsilon=1}_{6, 22}$	23	$(R^{15} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$
$A^{a, \epsilon = 0}_{6, 23}$	26	$(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })$
$A^{a, \epsilon = 1}_{6, 23}$	23	$S_{1, 20}\rtimes sl(2, \mbox{ $\Bbb R$ })$
$A_{6, 24}$	21	$((A_{5.1} \oplus \mbox{ $\Bbb R$ }^8) \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$
$A^{ab}_{6, 25}\ (ab: a^{2}+b^{2} \not = 0)$	18	$((A_{5, 1}\oplus \mbox{ $\Bbb R$ }^4) \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(2, \mbox{ $\Bbb R$ })$
$A^{a}_{6, 26}$	21	$(\mbox{ $\Bbb R$ }^{12} \rtimes \mbox{ $\Bbb R$ }^{6}) \rtimes sl(2, \mbox{ $\Bbb R$ })$
$A^{a=0}_{6, 26}$	23	$(\mbox{ $\Bbb R$ }^{12} \rtimes \mbox{ $\Bbb R$ }^{5}) \rtimes (sl(2, \mbox{ $\Bbb R$ }) \oplus sl(2, \mbox{ $\Bbb R$ }))$
$A^{\epsilon=0}_{6, 27}$	26	$(\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })$
$A^{\epsilon=1}_{6, 27}$	23	$S_{2, 20}\rtimes sl(2, \mbox{ $\Bbb R$ })$

| Show Table

DownLoad: CSV

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

Nouf Almutiben would like to thank Jouf University and Virginia Commonwealth University for their support. Ryad Ghanam and Edward Boone would like to thank Qatar Foundation and Virginia Commonwealth University in Qatar for their support through the Mathematical Data Science Lab.

Conflict of interest

The authors declare that they have no conflicts of interest.

References

[1]	W. A. Kirk, A fixed point theorem for mappings which do not increase distances, Amer. Math. Mon., 72 (1965), 1004–1006. https://doi.org/10.2307/2313345 doi: 10.2307/2313345
[2]	F. E. Browder, Nonexpansive nonlinear operators in a Banach space, Proc. Natl. Acad. Sci., 54 (1965), 1041–1044. https://doi.org/10.1073/pnas.54.4.1041 doi: 10.1073/pnas.54.4.1041
[3]	D. Göhde, Zum prinzip der kontraktiven abbildung, Math. Nachr., 30 (1965), 251–258. https://doi.org/10.1002/mana.19650300312 doi: 10.1002/mana.19650300312
[4]	K. Goebel, An elementary proof of the fixed-point theorem of Browder and Kirk, Michigan Math. J., 16 (1969), 381–383. https://doi.org/10.1307/mmj/1029000322 doi: 10.1307/mmj/1029000322
[5]	C. Byrne, A unified treatment of some iterative algorithms in signal processing and image reconstruction, Inverse Probl., 20 (2004), 103–120. https://doi.org/10.1088/0266-5611/20/1/006 doi: 10.1088/0266-5611/20/1/006
[6]	M. Feng, L. Shi, R. Chen, A new three-step iterative algorithm for solving the split feasibility problem, U.P.B. Sci. Bull., Ser. A, 81 (2019), 93–102.
[7]	H. K. Xu, Iterative methods for the split feasibility problem in infinite dimensional Hilbert spaces, Inverse Probl., 26 (2010), 105018. https://doi.org/10.1088/0266-5611/26/10/105018 doi: 10.1088/0266-5611/26/10/105018
[8]	T. Suzuki, Fixed point theorems and convergence theorems for some generalized nonexpansive mappings, J. Math. Anal. Appl., 340 (2008), 1088–1095. https://doi.org/10.1016/j.jmaa.2007.09.023 doi: 10.1016/j.jmaa.2007.09.023
[9]	K. Aoyama, F. Kohsaka, Fixed point theorem for $\alpha$ -nonexpansive mappings in Banach spaces, Nonlinear Anal.: Theory Methods Appl., 74 (2011), 4387–4391. https://doi.org/10.1016/j.na.2011.03.057 doi: 10.1016/j.na.2011.03.057
[10]	R. Pant, R. Shukla, Approximating fixed points of generalized $\alpha$ -nonexpansive mappings in Banach spaces, Numer. Funct. Anal. Optim., 38 (2017), 248–266. https://doi.org/10.1080/01630563.2016.1276075 doi: 10.1080/01630563.2016.1276075
[11]	G. I. Usurelu, M. Postolache, Convergence analysis for a three-step Thakur iteration for Suzuki-type nonexpansive mappings with visualization, Symmetry, 11 (2019), 1441. https://doi.org/10.3390/sym11121441 doi: 10.3390/sym11121441
[12]	E. Picard, Mémoire sur la théorie des équations aux dérivées partielles et la méthode des approximations successives, J. Math. Pures Appl., 6 (1890), 145–210.
[13]	S. Etemad, S. K. Ntouyas, Application of the fixed point theorems on the existence of solutions for $q$ -fractional boundary value problems, AIMS Math., 4 (2019), 997–1018. https://doi.org/10.3934/math.2019.3.997 doi: 10.3934/math.2019.3.997
[14]	S. Etemad, S. Rezapour, M. E. Samei, On a fractional Caputo-Hadamard inclusion problem with sum boundary value conditions by using approximate endpoint property, Math. Methods Appl. Sci., 43 (2020), 9719–9734. https://doi.org/10.1002/mma.6644 doi: 10.1002/mma.6644
[15]	L. Guran, Z. D. Mitrovic, G. S. M. Reddy, A. Belhenniche, S. Radenović, Applications of a fixed point result for solving nonlinear fractional and integral differential equations, Fractal Fract., 5 (2021), 211. https://doi.org/10.3390/fractalfract5040211 doi: 10.3390/fractalfract5040211
[16]	D. Paesano, C. Vetro, Multi-valued F-contractions in o-complete partial metric spaces with application to Voltera type integral equation, RACSAM, 108 (2014), 1005–1020. https://doi.org/10.1007/s13398-013-0157-z doi: 10.1007/s13398-013-0157-z
[17]	S. Rezapour, A. Imran, A. Hussain, F. Martinez, S. Etemad, M. K. A. Kaabar, Condensing functions and approximate endpoint criterion for the existence analysis of quantum integro-difference FBVPs, Symmetry, 13 (2021), 469. https://doi.org/10.3390/sym13030469 doi: 10.3390/sym13030469
[18]	S. Chandok, R. K. Sharma, S. Radenović, Multivalued problems via orthogonal contraction mappings with application to fractional differential equation, J. Fixed Point Theory Appl., 23 (2021), 14. https://doi.org/10.1007/s11784-021-00850-8 doi: 10.1007/s11784-021-00850-8
[19]	S. Etemad, M. M. Matar, M. A. Ragusa, S. Rezapour, Tripled fixed points and existence study to a tripled impulsive fractional differential system via measures of noncompactness, Mathematics, 10 (2022), 25. https://doi.org/10.3390/math10010025 doi: 10.3390/math10010025
[20]	S. Etemad, S. Rezapour, M. E. Samei, $\alpha$ - $\psi$ -contractions and solutions of a $q$ -fractional differential inclusion with three-point boundary value conditions via computational results, Adv. Differ. Equ., 2020 (2020), 218. https://doi.org/10.1186/s13662-020-02679-w doi: 10.1186/s13662-020-02679-w
[21]	S. K. Ntouyas, S. Etemad, J. Tariboon, Existence of solutions for fractional differential inclusions with integral boundary conditions, Bound. Value Probl., 2015 (2015), 92. https://doi.org/10.1186/s13661-015-0356-y doi: 10.1186/s13661-015-0356-y
[22]	T. O. Alakoya, O. T. Mewomo, Viscosity S-iteration method with inertial technique and self-adaptive step size for split variational inclusion, equilibrium and fixed point problems, Comput. Appl. Math., 41 (2022), 39. https://doi.org/10.1007/s40314-021-01749-3 doi: 10.1007/s40314-021-01749-3
[23]	E. C. Godwin, T. O. Alakoya, O. T. Mewomo, J. C. Yao, Relaxed inertial Tseng extragradient method for variational inequality and fixed point problems, Appl. Anal., 2022. https://doi.org/10.1080/00036811.2022.2107913 doi: 10.1080/00036811.2022.2107913
[24]	P. Debnath, Banach, Kannan, Chatterjea, and Reich-type contractive inequalities for multivalued mappings and their common fixed points, Math. Methods Appl. Sci., 45 (2022), 1587–1596. https://doi.org/10.1002/mma.7875 doi: 10.1002/mma.7875
[25]	P. Debnath, Common fixed-point and fixed-circle results for a class of discontinuous F-contractive mappings, Mathematics, 10 (2022), 1605. https://doi.org/10.3390/math10091605 doi: 10.3390/math10091605
[26]	L. Shanjit, Y. Rohen, S. Chandok, M. B. Devi, Some results on iterative proximal convergence and Chebyshev center, J. Funct. Spaces, 2021 (2021), 8863325. https://doi.org/10.1155/2021/8863325 doi: 10.1155/2021/8863325
[27]	L. Shanjit, Y. Rohen, K. A. Singh, Cyclic relatively nonexpansive mappings with respect to orbits and best proximity point theorems, J. Math., 2021 (2021), 6676660. https://doi.org/10.1155/2021/6676660 doi: 10.1155/2021/6676660
[28]	L. Shanjit, Y. Rohen, Non-convex proximal pair and relatively nonexpansive maps with respect to orbits, J. Inequal. Appl., 2021 (2021), 124. https://doi.org/10.1186/s13660-021-02660-5 doi: 10.1186/s13660-021-02660-5
[29]	W. R. Mann, Mean value methods in iteration, Proc. Amer. Math. Soc., 4 (1953), 506–510. https://doi.org/10.1090/S0002-9939-1953-0054846-3 doi: 10.1090/S0002-9939-1953-0054846-3
[30]	S. Ishikawa, Fixed points by a new iteration method, Proc. Amer. Math. Soc., 44 (1974), 147–150. https://doi.org/10.1090/S0002-9939-1974-0336469-5 doi: 10.1090/S0002-9939-1974-0336469-5
[31]	M. A. Noor, New approximation schemes for general variational inequalities, J. Math. Anal. Appl., 251 (2000), 217–229. https://doi.org/10.1006/jmaa.2000.7042 doi: 10.1006/jmaa.2000.7042
[32]	R. P. Agarwal, D. O'Regon, D. R. Sahu, Iterative construction of fixed points of nearly asymtotically nonexpansive mappings, J. Nonlinear Convex Anal., 8 (2007), 61–79.
[33]	M. Abbas, T. Nazir, A new faster iteration process applied to constrained minimization and feasibility problems, Math. Vesnik, 66 (2014), 223–234.
[34]	B. S. Thakur, D. Thakur, M. Postolache, A new iterative scheme for numerical reckoning fixed points of Suzuki's generalized nonexpansive mappings, Appl. Math. Comput., 275 (2016), 147–155. https://doi.org/10.1016/j.amc.2015.11.065 doi: 10.1016/j.amc.2015.11.065
[35]	K. Ullah, M. Arshad, Numerical reckoning fixed points for Suzuki's generalized nonexpansive mappings via new iteration process, Filomat, 32 (2008), 187–196. https://doi.org/10.2298/FIL1801187U doi: 10.2298/FIL1801187U
[36]	J. Ali, F. Ali, A new iterative scheme to approximating fixed points and the solution of a delay differential equation, J. Nonlinear Convex Anal., 21 (2020), 2151–2163.
[37]	J. Ahmad, K. Ullah, M. Arshad, M. de la Sen, Iterative approximation of fixed points by using F iteration process in Banach spaces, J. Funct. Spaces, 2021 (2021), 6994660. https://doi.org/10.1155/2021/6994660 doi: 10.1155/2021/6994660
[38]	W. Takahashi, Nonlinear functional analysis, Yokohoma: Yokohoma Publishers, 2000.
[39]	D. R. Sahu, D. O'Regan, R. P. Agarwal, Fixed point theory for Lipschitzian-type mappings with applications, Topological Fixed Point Theory and Its Applications, Vol. 6, Springer, 2009. https://doi.org/10.1007/978-0-387-75818-3
[40]	H. F. Senter, W. G. Dotson, Approximating fixed points of nonexpansive mappings, Proc. Amer. Math. Soc., 44 (1974), 375–380. https://doi.org/10.1090/S0002-9939-1974-0346608-8 doi: 10.1090/S0002-9939-1974-0346608-8
[41]	Z. Opial, Weak and strong convergence of the sequence of successive approximations for nonexpansive mappings, Bull. Amer. Math. Soc., 73 (1967), 591–597.
[42]	J. Schu, Weak and strong convergence to fixed points of asymtotically nonexpansive mappings, Bull. Aust. Math. Soc., 43 (1991), 153–159. https://doi.org/10.1017/S0004972700028884 doi: 10.1017/S0004972700028884
[43]	S. Banach, Sur les opérations dans les ensembles abstraits et leur application aux équations integrales, Fund. Math., 3 (1922), 133–181. https://doi.org/10.4064/fm-3-1-133-181 doi: 10.4064/fm-3-1-133-181

Reader Comments

Your name:*

Email:*
© 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

AIMS Mathematics

1.8 3.4

Metrics

Article views(1878) PDF downloads(105) Cited by(1)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Figures and Tables

Figures(2) / Tables(3)

AIMS Mathematics

A new modified iterative scheme for finding common fixed points in Banach spaces: application in variational inequality problems

Related Papers:

Abstract

1. Introduction

2. Background concepts

3. The canonical connection on Lie groups

4. Symmetries of the geodesic equations

5. Lie symmetry algebras of $A_{6, 20}$ – $A_{6, 27}$

5.1. Algebra $A^{ab}_{6, 20} (ab$ : $a^{2}+b^{2} \not = 0)$

5.2. Algebra $A^{a}_{6, 21}$

5.3. Algebra $A^{a\epsilon}_{6, 22} (a \epsilon$ : $a^{2}+\epsilon^{2}\not = 0, \epsilon= 0, 1)$

5.3.1. $A^{\epsilon=0}_{6, 22}$

5.3.2. $A^{\epsilon=1}_{6, 22}$

5.4. Algebra $A^{a\epsilon}_{6, 23}(a \epsilon$ : $a \ge 0, \epsilon= 0, 1)$

5.4.1. Case 1: $A^{a, \epsilon = 0}_{6, 23}$

5.5. Case 2: $A^{a, \epsilon = 1}_{6, 23}$

5.5.1. $A^{a \not = 0, \epsilon = 1}_{6, 23}$

5.6. Algebra $A_{6, 24}$

5.7. Algebra $A^{ab}_{6, 25} (ab$ : $a^{2}+b^{2} \not = 0$ )

5.8. Algebra $A^{a}_{6, 26}$

5.8.1. Case 1: $A^{a = 0}_{6, 26}$

5.9. Algebra $A^{\epsilon}_{6, 27}$ : $(\epsilon = 0, 1$ )

5.9.1. $A^{\epsilon=0}_{6, 27}$

5.9.2. $A^{\epsilon=1}_{6, 27}$

6. Conclusions and future work

Use of AI tools declaration

Acknowledgments

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Catalog

AIMS Mathematics

A new modified iterative scheme for finding common fixed points in Banach spaces: application in variational inequality problems

Related Papers:

Abstract

1. Introduction

2. Background concepts

3. The canonical connection on Lie groups

4. Symmetries of the geodesic equations

5. Lie symmetry algebras of A6,20 A_{6, 20} –A6,27 A_{6, 27}

5.1. Algebra Aab6,20(ab A^{ab}_{6, 20} (ab : a2+b2≠0) a^{2}+b^{2} \not = 0)

5.2. Algebra Aa6,21 A^{a}_{6, 21}

5.3. Algebra Aaϵ6,22(aϵ A^{a\epsilon}_{6, 22} (a \epsilon : a2+ϵ2≠0,ϵ=0,1) a^{2}+\epsilon^{2}\not = 0, \epsilon= 0, 1)

5.3.1. Aϵ=06,22 A^{\epsilon=0}_{6, 22}

5.3.2. Aϵ=16,22 A^{\epsilon=1}_{6, 22}

5.4. Algebra Aaϵ6,23(aϵ A^{a\epsilon}_{6, 23}(a \epsilon : a≥0,ϵ=0,1) a \ge 0, \epsilon= 0, 1)

5.4.1. Case 1: Aa,ϵ=06,23 A^{a, \epsilon = 0}_{6, 23}

5.5. Case 2: Aa,ϵ=16,23 A^{a, \epsilon = 1}_{6, 23}

5.5.1. Aa≠0,ϵ=16,23 A^{a \not = 0, \epsilon = 1}_{6, 23}

5.6. Algebra A6,24 A_{6, 24}

5.7. Algebra Aab6,25(ab A^{ab}_{6, 25} (ab : a2+b2≠0 a^{2}+b^{2} \not = 0 )

5.8. Algebra Aa6,26 A^{a}_{6, 26}

5.8.1. Case 1: Aa=06,26 A^{a = 0}_{6, 26}

5.9. Algebra Aϵ6,27 A^{\epsilon}_{6, 27} : (ϵ=0,1 (\epsilon = 0, 1 )

5.9.1. Aϵ=06,27 A^{\epsilon=0}_{6, 27}

5.9.2. Aϵ=16,27 A^{\epsilon=1}_{6, 27}

6. Conclusions and future work

Use of AI tools declaration

Acknowledgments

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

5. Lie symmetry algebras of $A_{6, 20}$ – $A_{6, 27}$

5.1. Algebra $A^{ab}_{6, 20} (ab$ : $a^{2}+b^{2} \not = 0)$

5.2. Algebra $A^{a}_{6, 21}$

5.3. Algebra $A^{a\epsilon}_{6, 22} (a \epsilon$ : $a^{2}+\epsilon^{2}\not = 0, \epsilon= 0, 1)$

5.3.1. $A^{\epsilon=0}_{6, 22}$

5.3.2. $A^{\epsilon=1}_{6, 22}$

5.4. Algebra $A^{a\epsilon}_{6, 23}(a \epsilon$ : $a \ge 0, \epsilon= 0, 1)$

5.4.1. Case 1: $A^{a, \epsilon = 0}_{6, 23}$

5.5. Case 2: $A^{a, \epsilon = 1}_{6, 23}$

5.5.1. $A^{a \not = 0, \epsilon = 1}_{6, 23}$

5.6. Algebra $A_{6, 24}$

5.7. Algebra $A^{ab}_{6, 25} (ab$ : $a^{2}+b^{2} \not = 0$ )

5.8. Algebra $A^{a}_{6, 26}$

5.8.1. Case 1: $A^{a = 0}_{6, 26}$

5.9. Algebra $A^{\epsilon}_{6, 27}$ : $(\epsilon = 0, 1$ )

5.9.1. $A^{\epsilon=0}_{6, 27}$

5.9.2. $A^{\epsilon=1}_{6, 27}$