Some well known inequalities on two dimensional convex mappings by means of Pseudo $ \mathcal{L-R} $ interval order relations via fractional integral operators having non-singular kernel

Zareen A. Khan; Waqar Afzal; Mujahid Abbas; Jong-Suk Ro; Abdullah A. Zaagan; Zareen A. Khan; Waqar Afzal; Mujahid Abbas; Jong-Suk Ro; Abdullah A. Zaagan

doi:10.3934/math.2024778

AIMS Mathematics

2024, Volume 9, Issue 6: 16061-16092. doi: 10.3934/math.2024778

Previous Article Next Article

Research article

Some well known inequalities on two dimensional convex mappings by means of Pseudo $\mathcal{L-R}$ interval order relations via fractional integral operators having non-singular kernel

1.
Department of Mathematical Sciences, College of Science, Princess Nourah bint Abdulrahman University, P.O. Box 84428, Riyadh 11671, Saudi Arabia
2.
Department of Mathematics, Government College University, Katchery Road, Lahore 54000, Pakistan
3.
Department of Medical Research, China Medical University, Taichung 406040, Taiwan
4.
School of Electrical and Electronics Engineering, Chung-Ang University, Dongjak-gu, Seoul 06974, Republic of Korea
5.
Department of Intelligent Energy and Industry, Chung-Ang University, Dongjak-gu, Seoul 06974, Republic of Korea
6.
Department of Mathematics, College of Science, Jazan University, P.O. Box 114, Jazan 45142, Saudi Arabia

Received: 01 March 2024 Revised: 10 April 2024 Accepted: 15 April 2024 Published: 07 May 2024
MSC : 26A48, 26A51, 33B10, 39A12, 39B62

Fractional calculus and convex inequalities combine to form a comprehensive mathematical framework for understanding and analyzing a variety of problems. This note develops Hermite-Hadamard, Fejér, and Pachpatte type integral inequalities within pseudo left-right order relations by applying fractional operators with non-singular kernels. Recently, results have been developed using classical Riemann integral operators in addition to various other partial order relations that have some defects that we explained in literature in order to demonstrate the unique characteristics of pseudo order relations. To verify the developed results, we constructed several interesting examples and provided a number of remarks that demonstrate that this type of fractional operator generalizes several previously published results when different things are set up. This work can lead to improvements in mathematical theory, computational methods, and applications across a wide range of disciplines.

Keywords:

Citation: Zareen A. Khan, Waqar Afzal, Mujahid Abbas, Jong-Suk Ro, Abdullah A. Zaagan. Some well known inequalities on two dimensional convex mappings by means of Pseudo $\mathcal{L-R}$ interval order relations via fractional integral operators having non-singular kernel[J]. AIMS Mathematics, 2024, 9(6): 16061-16092. doi: 10.3934/math.2024778

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]	V. E. Tarasov, On history of mathematical economics: Application of fractional calculus, Mathematics, 7 (2019), 509. https://doi.org/10.3390/math7060509 doi: 10.3390/math7060509
[2]	L. Debnath, A brief historical introduction to fractional calculus, Int. J. Math. Educ. Sci. Technol., 35 (2004), 487–501. https://doi.org/10.1080/00207390410001686571 doi: 10.1080/00207390410001686571
[3]	B. Acay, R. Ozarslan, E. Bas, Fractional physical models based on falling body problem, AIMS Mathematics, 5 (2020), 2608–2628. http://doi.org/2010.3934/math.2020170
[4]	M. A. Noor, K. I. Noor, M. U. Awan, New perspective of log-convex functions, Appl. Math. Inf. Sci., 14 (2020), 847–854. http://doi.org/10.18576/amis/140512 doi: 10.18576/amis/140512
[5]	W. Afzal, K. Shabbir, M. Arshad, J. K. K. Asamoah, A. M. Galal, Some novel estimates of integral inequalities for a generalized class of harmonical convex mappings by means of center-radius order relation, J. Math., 2023 (2023), 8865992. https://doi.org/10.1155/2023/8865992 doi: 10.1155/2023/8865992
[6]	Y. Almalki, W. Afzal, Some new estimates of Hermite-Hadamard inequalities for harmonical Cr-hconvex functions via generalized fractional integral operator on set-valued mappings, Mathematics, 11 (2023), 4041. https://doi.org/10.3390/math11194041 doi: 10.3390/math11194041
[7]	S. Sezer, Z. Eken, G. Tınaztepe, G. Adilov, p-Convex functions and some of their properties, Numer. Funct. Anal. Optim., 43 (2021), 443–459. https://doi.org/10.1080/01630563.2021.1884876 doi: 10.1080/01630563.2021.1884876
[8]	Y. An, G. Ye, D. Zhao, W. Liu, Hermite-Hadamard type inequalities for interval $(h_1, h_2)$ -convex functions, Mathematics, 7 (2019), 436. https://doi.org/10.3390/math7050436 doi: 10.3390/math7050436
[9]	J. Pečarić, I. Perić, G. Roqia, Exponentially convex functions generated by Wulbert's inequality and Stolarsky-type means, Math. Comput. Model., 55 (2012), 1849–1857. https://doi.org/10.1016/j.mcm.2011.11.032 doi: 10.1016/j.mcm.2011.11.032
[10]	W. Afzal, M. Abbas, S. M. Eldin, Z. A. Khan, Some well known inequalities for $(h_1, h_2)$ -convex stochastic process via interval set inclusion relation, AIMS Mathematics, 8 (2023), 19913–19932. https://doi.org/10.3934/math.20231015 doi: 10.3934/math.20231015
[11]	W. Afzal, N. M. Aloraini, M. Abbas, J. S. Ro, A. A. Zaagan, Some novel Kulisch-Miranker type inclusions for a generalized class of Godunova-Levin stochastic processes, AIMS Mathematics, 9 (2024), 5122–5146. https://doi.org/10.3934/math.2024249 doi: 10.3934/math.2024249
[12]	W. Afzal, M. Abbas, W. Hamali, A. M. Mahnashi, M. D. Sen, Hermite-Hadamard-type inequalities via Caputo-Fabrizio fractional integral for $h$ -Godunova-Levin and $(h_1, h_2)$ -convex functions, Fractal Fract., 7 (2023), 687. https://doi.org/10.3390/fractalfract7090687 doi: 10.3390/fractalfract7090687
[13]	V. Stojiljkovic, Twice differentiable Ostrowski type tensorial norm inequality for continuous functions of selfadjoint operators in Hilbert spaces, Eur. J. Pure Appl. Math., 16 (2023), 1421–1433. https://doi.org/10.29020/nybg.ejpam.v16i3.4843 doi: 10.29020/nybg.ejpam.v16i3.4843
[14]	V. Stojiljković, R. Ramaswamy, O. A. A. Abdelnaby, Some refinements of the tensorial inequalities in Hilbert spaces, Symmetry, 15 (2023), 925. https://doi.org/10.3390/sym15040925 doi: 10.3390/sym15040925
[15]	T. Saeed, W. Afzal, K. Shabbir, S. Treant¸a, M. De la Sen, Some novel estimates of Hermite-Hadamard and Jensen type inequalities for $(h_1, h_2)$ -convex functions pertaining to total order relation, Mathematics, 10 (2022), 4777. https://doi.org/10.3390/math10244777 doi: 10.3390/math10244777
[16]	J. Hadamard, Essai sur l'étude des fonctions données par leur développement de Taylor, J. Math. Pures Appl., 9 (1892), 101–186.
[17]	S. S. Dragomir, On the Hadamard's inequality for convex functions on the co-ordinates in a rectangle from the plane, Taiwanese J. Math., 5 (2001), 775–788.
[18]	D. Zhao, M. A. Ali, G. Murtaza, Z. Zhang, On the Hermite-Hadamard inequalities for interval-valued coordinated convex functions, Adv. Differ. Equ., 2020 (2020), 570. https://doi.org/10.1186/s13662-020-03028-7 doi: 10.1186/s13662-020-03028-7
[19]	K. K. Lai, S. K. Mishra, J. Bisht, M. Hassan, Hermite-Hadamard type inclusions for interval-valued coordinated preinvex functions, Symmetry, 14 (2022), 771. https://doi.org/10.3390/sym14040771 doi: 10.3390/sym14040771
[20]	F. Wannalookkhee, K. Nonlaopon, J. Tariboon, S. K. Ntouyas, On Hermite-Hadamard type inequalities for coordinated convex functions via (p, q)-calculus, Mathematics, 9 (2021), 698. https://doi.org/10.3390/math9070698 doi: 10.3390/math9070698
[21]	H. Kalsoom, S. Rashid, M. Idrees, F. Safdar, S. Akram, D. Baleanu, et al., Post quantum integral inequalities of Hermite-Hadamard-type associated with coordinated higher-order generalized strongly pre-invex and quasi-pre-invex mappings, Symmetry, 12 (2020), 443. https://doi.org/10.3390/sym12030443 doi: 10.3390/sym12030443
[22]	A. Akkurt, M. Z. Sarıkaya, H. Budak, H. Yıldırım, On the Hadamard's type inequalities for co-ordinated convex functions via fractional integrals, J. King Saud Univ. Sci., 29 (2017), 380–387. https://doi.org/10.1016/j.jksus.2016.06.003 doi: 10.1016/j.jksus.2016.06.003
[23]	F. Shi, G.Ye, D. Zhao, W. Liu, Some fractional Hermite-Hadamard type inequalities for interval-valued functions, Mathematics, 8 (2020), 534. https://doi.org/10.3390/math8040534 doi: 10.3390/math8040534
[24]	T. Saeed, A. Cătaș, M. B. Khan, A. M. Alshehri, Some new fractional inequalities for coordinated convexity over convex set pertaining to fuzzy-number-valued settings governed by fractional integrals, Fractal Fract., 7 (2023), 856. https://doi.org/10.3390/fractalfract7120856 doi: 10.3390/fractalfract7120856
[25]	X. Wu, J. Wang, J. Zhang, Hermite-Hadamard-type inequalities for convex functions via the fractional integrals with exponential kernel, Mathematics, 7 (2019), 845. https://doi.org/10.3390/math7090845 doi: 10.3390/math7090845
[26]	B. Ahmad, A. Alsaedi, M. Kirane, B. T. Torebek, Hermite-Hadamard, Hermite-Hadamard-Fejér, Dragomir-Agarwal and Pachpatte type inequalities for convex functions via new fractional integrals, J. Comput. Appl. Math., 353 (2019), 120–129. https://doi.org/10.1016/j.cam.2018.12.030 doi: 10.1016/j.cam.2018.12.030
[27]	M. B. Khan, H. A. Othman, G. Santos-García, T. Saeed, M. S. Soliman, On fuzzy fractional integral operators having exponential kernels and related certain inequalities for exponential trigonometric convex fuzzy-number valued mappings, Chaos Soliton Fract., 169 (2023), 113274. https://doi.org/10.1016/j.chaos.2023.113274 doi: 10.1016/j.chaos.2023.113274
[28]	M. Alomari, M. Darus, Co-ordinated s-convex function in the first sense with some Hadamard-type inequalities, Int. J. Contemp. Math. Sci., 3 (2008), 1557–1567.
[29]	M. Alomari, M. Darus, On the Hadamard's inequality for log-convex functions on the coordinates, J. Inequal. Appl., 2009 (2009), 283147. https://doi:10.1155/2009/283147 doi: 10.1155/2009/283147
[30]	T. Du, T. Zhou, On the fractional double integral inclusion relations having exponential kernels via interval-valued co-ordinated convex mappings, Chaos Soliton Fract., 156 (2022), 111846. https://doi.org/10.1016/j.chaos.2022.111846 doi: 10.1016/j.chaos.2022.111846
[31]	H. Budak, M. A. Ali, M. Tarhanaci, Some new quantum Hermite-Hadamard-like inequalities for coordinated convex functions, J. Optim. Theory Appl., 186 (2020), 899–910. https://doi.org/10.1007/s10957-020-01726-6 doi: 10.1007/s10957-020-01726-6
[32]	T. Saeed, E. R. Nwaeze, M. B. Khan, K. H. Hakami, New version of fractional Pachpatte-type integral inequalities via coordinated h-convexity via left and right order relation, Fractal Fract., 8 (2024), 125. https://doi.org/10.3390/fractalfract8030125 doi: 10.3390/fractalfract8030125
[33]	V. Stojiljković, R. Ramaswamy, O. A. A. Abdelnaby, S. Radenović, Some novel inequalities for LR-(k, h-m)-p convex interval valued functions by means of pseudo order relation, Fractal Fract., 6 (2022), 726. https://doi.org/10.3390/fractalfract6120726 doi: 10.3390/fractalfract6120726
[34]	M. B. Khan, M. A. Noor, J. E. Macías-Díaz, M. S. Soliman, H. G Zaini, Some integral inequalities for generalized left and right log convex interval-valued functions based upon the pseudo-order relation, Demonstr. Math., 55 (2022), 387–403. https://doi.org/10.1515/dema-2022-0023 doi: 10.1515/dema-2022-0023
[35]	H. M. Srivastava, S. K. Sahoo, P. O. Mohammed, B. Kodamasingh, Y. S. Hamed, New Riemann-Liouville fractional-order inclusions for convex functions via interval-valued settings associated with Pseudo-order relations, Fractal Fract., 6 (2022), 212. https://doi.org/10.3390/fractalfract6040212 doi: 10.3390/fractalfract6040212
[36]	W. Liu, F. Shi, G. Ye, D. Zhao, Some inequalities for Cr-log-h-convex functions, J. Inequal. Appl., 2022 (2022), 160. https://10.1186/s13660-022-02900-2 doi: 10.1186/s13660-022-02900-2
[37]	W. Liu, F. Shi, G. Ye, D. Zhao, The properties of harmonically Cr-h-convex function and its applications, Mathematics, 10 (2022), 2089. https://doi.org/10.3390/math10122089 doi: 10.3390/math10122089
[38]	W. Afzal, N. M. Aloraini, M. Abbas, J. S. Ro, A. A. Zaagan, Hermite-Hadamard, Fejér and trapezoid type inequalities using Godunova-Levin Preinvex functions via Bhunia's order and with applications to quadrature formula and random variable, Math. Biosci. Eng., 21 (2024), 3422–3447. https://doi.org/10.3934/mbe.2024151 doi: 10.3934/mbe.2024151
[39]	A. A. H. Ahmadini, W. Afzal, M. Abbas, E. S. Aly, Weighted Fejér, Hermite-Hadamard, and Trapezium-type inequalities for $(h_1, h_2)$ -Godunova-Levin Preinvex function with applications and two open problems, Mathematics, 12 (2024), 382. https://doi.org/10.3390/math12030382 doi: 10.3390/math12030382
[40]	H. Zhou, M. S. Saleem, W. Nazeer, A. F. Shah, Hermite-Hadamard type inequalities for interval-valued exponential type pre-invex functions via Riemann-Liouville fractional integrals, AIMS Mathematics, 7 (2022), 2602–2617. https://doi.org/10.3934/math.2022146 doi: 10.3934/math.2022146
[41]	D. Zhao, T. An, G. Ye, W. Liu, New Jensen and Hermite-Hadamard type inequalities for h-convex interval-valued functions, J. Inequal. Appl., 2018 (2018), 302. https://doi.org/10.1186/s13660-018-1896-3 doi: 10.1186/s13660-018-1896-3
[42]	H. Román-Flores, V. Ayala, A. Flores-Franulič, Milne type inequality and interval orders, J. Comput. Appl. Math., 40 (2021), 130. https://doi.org/10.1007/s40314-021-01500-y doi: 10.1007/s40314-021-01500-y
[43]	F. Jarad, S. K. Sahoo, K. S. Nisar, S. Treanţă, H. Emadifar, T. Botmart, New stochastic fractional integral and related inequalities of Jensen-Mercer and Hermite-Hadamard-Mercer type for convex stochastic processes, J. Inequal. Appl., 2023 (2023), 51. https://doi.org/10.1186/s13660-023-02944-y doi: 10.1186/s13660-023-02944-y
[44]	M. B. Khan, H. M. Srivastava, P. O. Mohammed, K. Nonlaopon, Y. S. Hamed, Some new estimates on coordinates of left and right convex interval-valued functions based on pseudo order relation, Symmetry, 14 (2022), 473. https://doi.org/10.3390/sym14030473 doi: 10.3390/sym14030473
[45]	T. Zhou, Z. Yuan, T. Du, On the fractional integral inclusions having exponential kernels for interval-valued convex functions, Math. Sci., 17 (2023), 107–120. https://doi.org/10.1007/s40096-021-00445-x doi: 10.1007/s40096-021-00445-x
[46]	M. A. Latif, M. Alomari, Hadamard-type inequalities for product two convex functions on the co-ordinates, Int. Math. Forum., 47 (2009), 2327–2338.

Reader Comments

Your name:*

Email:*
© 2024 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(1161) PDF downloads(66) Cited by(3)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Mathematics

Some well known inequalities on two dimensional convex mappings by means of Pseudo $\mathcal{L-R}$ interval order relations via fractional integral operators having non-singular kernel

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

Other Articles By Authors

Catalog

AIMS Mathematics

Some well known inequalities on two dimensional convex mappings by means of Pseudo L−R \mathcal{L-R} interval order relations via fractional integral operators having non-singular kernel

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

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Some well known inequalities on two dimensional convex mappings by means of Pseudo $\mathcal{L-R}$ interval order relations via fractional integral operators having non-singular kernel

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}$