Processing math: 47%
Research article

On fixed-point approximations for a class of nonlinear mappings based on the JK iterative scheme with application

  • The goal of this manuscript is to introduce the JK iterative scheme for the numerical reckoning of fixed points in generalized contraction mappings. Also, weak and strong convergence results are investigated under this scheme in the setting of Banach spaces. Moreover, two numerical examples are given to illustrate that the JK iterative scheme is more effective than some other iterative schemes in the literature. Ultimately, as an application, the JK iterative scheme is applied to solve a discrete composite functional differential equation of the Volterra-Stieljes type.

    Citation: Junaid Ahmad, Kifayat Ullah, Hasanen A. Hammad, Reny George. On fixed-point approximations for a class of nonlinear mappings based on the JK iterative scheme with application[J]. AIMS Mathematics, 2023, 8(6): 13663-13679. doi: 10.3934/math.2023694

    Related Papers:

    [1] Nouf Almutiben, Ryad Ghanam, G. Thompson, Edward L. Boone . Symmetry analysis of the canonical connection on Lie groups: six-dimensional case with abelian nilradical and one-dimensional center. AIMS Mathematics, 2024, 9(6): 14504-14524. doi: 10.3934/math.2024705
    [2] 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
    [3] 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
    [4] Yang Pan, Yanyong Hong . Varieties of a class of elementary subalgebras. AIMS Mathematics, 2022, 7(2): 2084-2101. doi: 10.3934/math.2022119
    [5] Yunpeng Xiao, Wen Teng . Representations and cohomologies of modified λ-differential Hom-Lie algebras. AIMS Mathematics, 2024, 9(2): 4309-4325. doi: 10.3934/math.2024213
    [6] 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
    [7] 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 (N+1)-dimensional nonlinear Boussinesq equation. AIMS Mathematics, 2022, 7(7): 13139-13168. doi: 10.3934/math.2022725
    [8] Baiying He, Siyu Gao . The nonisospectral integrable hierarchies of three generalized Lie algebras. AIMS Mathematics, 2024, 9(10): 27361-27387. doi: 10.3934/math.20241329
    [9] 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
    [10] 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
  • The goal of this manuscript is to introduce the JK iterative scheme for the numerical reckoning of fixed points in generalized contraction mappings. Also, weak and strong convergence results are investigated under this scheme in the setting of Banach spaces. Moreover, two numerical examples are given to illustrate that the JK iterative scheme is more effective than some other iterative schemes in the literature. Ultimately, as an application, the JK iterative scheme is applied to solve a discrete composite functional differential equation of the Volterra-Stieljes type.



    Symmetry methods for differential equations were introduced by Lie towards the end of the nineteenth century. Lie was looking for transformations that would change a differential equation to a simpler version, so that it might, for example, become separable and then easy to solve. Lie noticed that the ordinary differential equations (ODE's) are invariant under certain transformations, which later came to be known as Lie groups. The use of symmetry methods has become an increasingly important part of the study of differential equations. For example, we can obtain solutions of differential equations if we know their symmetries; we can also use symmetries to reduce the order of the ODE, and determine whether or not the ODE or partial differential equations (PDE) can be linearized. We can also classify differential equations based on their symmetry Lie algebras. For more information on the history of symmetry Lie algebras and their applications, we refer the reader to [1,2,3,4]. Another very accessible reference is [5].

    In this paper, we consider special systems of second order ordinary differential equations, known as geodesic equations. The geodesic equation is a second order differential equation, where the independent variable is t, which represents time, and the equation itself represents the motion of a particle moving in a curved space. In Riemannian geometry, a geodesic curve gives the shortest path between two points in that space. In general relativity, geodesic equations describe the motion in spacetime. In the case of a differentiable manifold with a connection, geodesic curves provide a generalization of straight lines in Euclidean space. On a smooth manifold, where (xi) are a system of local coordinates, and Γijk are the connection components or Christoffel symbols, the geodesic equation is given by

    d2xdt2+Γijkdxjdtdxkdt=0. (1.1)

    A significant amount of work has been done on analyzing the symmetry Lie algebras of the geodesic equations of the canonical connection on Lie groups. See [6,7,8,9] for further details about this connection. In [8], the main geometrical properties of this connection have been listed and proofs supplied. Ghanam and Thompson have considered the problem in dimensions two, three and four [10]. They have also considered the problem for six-dimensional nilpotent Lie algebras [11]. They have followed the list of algebras classified by Patera et al. [12] for indecomposable Lie algebras in dimension up to six. In recent articles, Almusawa et al. have considered the problem of classifying the symmetry Lie algebra of the geodesic equations for indecomposable nilpotent Lie algebras in dimension five [13], and they considered the problem for indecomposable five-dimensional solvable Lie algebras [14]. Finally, they considered the problem for a general n-dimensional Lie algebra with co-dimension one, and general results have been obtained [15]. In [16], the symmetry Lie algebras of the geodesic equations of the canonical connection on Lie groups whose Lie algebras have a co-dimension two abelian nilradical in dimensions four and five, were identified.

    In this paper, we continue our investigation of the Lie symmetries of the geodesic system of the canonical connection on a Lie group. The present article extends the investigation to indecomposable Lie algebras in dimensions six, that have a co-dimension two abelian nilradical, together with an abelian complement. The six-dimensional solvable real Lie algebras were classified into isomorphism classes by Turkowski [17] and comprise forty cases, some of which contain up to four parameters. Of these forty classes, the first nineteen, denoted by A6,1A6,19, have co-dimension two abelian nilradical and abelian complement. Since most of these algebras have parameters, we need to consider sub-cases based on the values of these parameters: Symmetry may be broken in the sense that, for exceptional values of the parameters, the symmetry algebra may have a higher dimension.

    The outline of the paper is as follows: In Section 2, we give the definition of the of the canonical connection on Lie groups and we review the main properties of . We also show how the definition is used to calculate the geodesic equations of the connection. In Section 3, we review the symmetries of differential equations and the Lie invariance condition. We also show how the Lie invariance condition leads to a system of partial differential equations. The solution of that PDE system gives the Lie symmetry of the geodesic equations. In Section 4, for each algebra A6,1A6,19 in Turkowski's list, we give the geodesic equations, a basis for the symmetry algebra in terms of vector fields is given and finally we identify and describe the symmetry algebra, which in all cases is a solvable Lie algebra, in terms of its nilradical and its complement. Regarding our notation, we use for the semi-direct product and for the direct sum of algebras.

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

    XY=12 [X,Y], (2.1)

    and then extended to arbitrary vector fields using linearity and the Leibnitz rule. is left-invariant. One could just as well use right-invariant vector fields to define , but one must check that is well defined, a fact that we will prove next.

    Proposition 1. In the definition of we can equally assume that X and Y are right-invariant vector fields and hence is also left-invariant and hence bi-invariant. Moreover is symmetric, that is, its torsion is zero.

    Proof. The fact that is symmetric is obvious from Eq (2.1). Now we choose a fixed basis in the tangent space at the identity TIG. We shall denote its left and right invariant extensions by {X1,X2,,Xn} and {Y1,Y2,,Yn}, respectively. Then there must exist a non-singular matrix A of functions on G such that Yi=ajiXj. We shall suppose that

    [Xi,Xj]=CkijXk. (2.2)

    Changing from the left-invariant basis to the right gives

    Ckijapk=akiamjCpkm. (2.3)

    Next, we use the fact that left and right vector fields commute to deduce that

    akjCmik+Xiamj=0, (2.4)

    where the second term in (2.4) denotes directional derivative. We note that necessarily

    [Yi,Yj]=CkijYk. (2.5)

    Now we compute

    YiYj+12CkijYk=12akiamjCpkm+aki(Xkapi)+12Ckijapk. (2.6)

    Next we use (2.4) to replace the second term on the right hand side of (2.6) so as to obtain

    YiYj+12CkijYk=12akiamjCpkmakiamjCpkm+12Ckijapk. (2.7)

    However, the right hand side of (2.7) is seen to be zero by virtue of (2.3). Thus

    XY=12[X,Y], (2.8)

    whenever X and Y are right invariant vector fields.

    An alternative proof of Proposition 1 uses the inversion map ψ defined by, for SG,

    ψ(S)=S1. (2.9)

    As such, one checks that ψI maps a left-invariant vector field evaluated at I to minus its right-invariant counterpart evaluated at I. Then ψI is an isomorphism and there is no change of sign in the structure constants, as compared with Eq (2.5). Since there are two minus signs in Eq (2.1) the same condition Eq (2.1) applies also to right-invariant vector fields.

    Proposition 2. (i) An element in the center of g engenders a bi-invariant vector field.

    (ii) A vector field in the center of g is parallel.

    (iii) A bi-invariant differential k-form θ is closed and so defines an element of the cohomology group Hk(M, R ).

    Proof. (i) Suppose that ZTIG is in the center of g and let exp(tZ) be the associated one-parameter subgroup of G so that Z corresponds to the equivalence class of curves [exp(tZ)] based at I. Let SG; then LSZ corresponds to the equivalence class of curves [Sexp(tZ)] based at S. Since Z is in the center of g then exp(tZ) will be in the center of G and hence

    [Sexp(tZ)]=[exp(tZ)S].

    It follows that any element in the center of g engenders a bi-invariant vector field.

    (ii) Obvious from Eq (2.1).

    (iii) A proof can be found in [18]. Spivak shows that

    ψ(θ)=(1)kθ,

    whereas dθ, which is also bi-invariant, changes by

    ψ(dθ)=(1)k+1dθ.

    It follows that dθ=0.

    Proposition 3. (i) The curvature tensor, which is also bi-invariant, on vector fields X,Y,Z is given by

    R(X,Y)Z=14 [[X,Y],Z]. (2.10)

    (ii) The connection is flat if and only if the Lie algebra g of G is two-step nilpotent.

    (iii) The tensor R is parallel in the sense that WR(X,Y)Z=0, where W is a fourth right invariant vector field, so that G is in a sense a symmetric space.

    (iv) The Ricci tensor Rij of is given by

    Rij=14 CljmCmil (2.11)

    and is symmetric and bi-invariant and is obtained by translating to the left or right one quarter of the Killing form. It engenders a bi-invariant pseudo-Riemannian metric if and only if the Lie algebra g is semi-simple.

    Proof. (i) Is obvious and applies to arbitrary vector fields since it is a tensorial object.

    (ii) Is obvious.

    (iii) This fact follows from a series of implications:

    4WR(X,Y)Z+4R(WX,Y)Z+4R(X,WY)Z+4R(X,Y)WZ=W[[X,Y],Z],4WR(X,Y)Z+2R([W,X],Y)Z+2R(X,[W,Y])Z+2R(X,Y)[W,Z]12[W,[[X,Y],Z]=0,4WR(X,Y)Z+12[[W,X],Y],Z]+12[X,[W,Y]],Z]+12[[X,Y],[W,Z]]12[W,[[X,Y],Z]=0,4WR(X,Y)Z+12[[W,X],Y],Z]+12[X,[W,Y]],Z]12[Z,[[X,Y],W]=0,WR(X,Y)Z=0. (2.12)

    (iv) The formula Eq (2.11) is obvious from Eqs (2.1) and (2.10). The last remark follows from Cartan's criterion.

    Proposition 4. (i) Any left or right-invariant vector field is geodesic.

    (ii) Any geodesic curve emanating from the identity is a one-parameter subgroup.

    (iii) An arbitrary geodesic curve is a translation, to the left or right, of a one-parameter subgroup.

    Proof. (i) Is obvious because of the skew-symmetry in Eq (2.1).

    (ii) By definition the curve t[Sexp(tX)] integrates a geodesic field X.

    (iii) If the geodesic curve at t=0 starts at S, translate the curve to I by multiplying on the left or right by S1 and apply (ii).

    Proposition 5. (i) A left or right-invariant vector field is a symmetry, a.k.a. affine collineation, of .

    (ii) Any left or right-invariant one-form engenders a first integral of the geodesic system of .

    Proof. (i) The following condition for vector fields X and Y says that vector field W is a symmetry or, affine collineation, of a symmetric linear connection:

    XYWXYWR(W,X)Y=0. (2.13)

    In the case at hand of the canonical connection, this condition just reduces to the Jacobi identity when W,X and Y are all left or right-invariant.

    (ii) A one-form α is a Killing one-form, if the following condition holds:

    Xα,Y+X,Yα=0. (2.14)

    In the case of the canonical connection, if X and Y are right-invariant and α is right-invariant then Eq (2.1) gives

    X,Yα=12[X,Y],α. (2.15)

    Clearly, (2.15) implies (2.14) so that every left or right-invariant one-form engenders a first integral of the geodesics: if the one-form is given in a coordinate system as αidxi on G, the first integral is αiui viewed as a function on the tangent bundle TG that is linear in the fibers.

    Proposition 6. Any left or right-invariant one-form α is closed if and only if [g,g],α=0, that is, α annihilates the derived algebra of g.

    Proof. Consider the identity

    dα(X,Y)=XY,αYX,α[X,Y],α. (2.16)

    If α is left-invariant and we take X and Y left-invariant, then the first and second terms in Eq (2.16) are zero. Now the conclusion of the proposition is obvious. The proof for right-invariant one-forms is similar.

    Proposition 7. Consider the following conditions for a one-form α on G:

    (i) α is bi-invariant.

    (ii) α is right-invariant and closed.

    (iii) α is left-invariant and closed.

    (iv) α is parallel.

    Then we have the following implications: (i)–(iii) are equivalent and any one of them implies (iv).

    Proof. The fact that (i) implies (ii) and (iii) follows from Proposition 2 part (iii). Now, suppose that (iii) holds and let X and Y be right and left-invariant vector fields, respectively. Then, consider again the identity

    dα(X,Y)=XY,αYX,α[X,Y],α. (2.17)

    Assuming that α is closed, then either because [X,Y]=0 or by using Proposition 6, we find that Eq (2.17) reduces to

    XY,α=YX,α. (2.18)

    Now, the left hand side of Eq (2.18) is zero, since Y and α are left-invariant. Hence, X,α is constant, which implies that α is right-invariant and hence bi-invariant. Thus, (iii) implies (i). The proof that (ii) implies (i) is similar. Finally, supposing that (ii) or (iii) holds we show that (iv) holds. Then as with any symmetric connection, the closure condition may be written, for arbitrary vector fields X and Y, as

    Xα,YX,Yα=0. (2.19)

    Clearly Eq (2.14) and Eq (2.19)imply that α is parallel. So a closed, invariant one-form is parallel.

    Of course, it may well be the case that there are no bi-invariant one-forms on G, for example if G is semi-simple so that [g,g]=g. However, there must be at least one such one-form if G is solvable and at least two if G is nilpotent.

    If we choose a basis of dimension dim g-dim [g,g] for the bi-invariant one-forms on G, it may be used to obtain a partial coordinate system on G, since each such form is closed. Such a partial coordinate system is significant in terms of the geodesic system, in that it gives rise to second order differential equations that resemble the system in Euclidean space.

    Proposition 8. Each of the bi-invariant one-forms on G projects to a one-form on the quotient space G/[G,G], assuming that the commutator subgroup [G,G] is closed topologically in G. Furthermore, the canonical connection on G projects to a flat connection on G/[G,G] and the induced system of one-forms on G/[G,G] comprises a "flat" coordinate system.

    Proof. The fact that a bi-invariant one-form on G projects to a one-form on G/[G,G] follows because each such form annihilates the vertical distribution of the principal right [G,G]-bundle GG/[G,G] and furthermore the equivariance, or Lie-derivative condition along the fibers, is trivially satisfied since the one-form is closed. The fact that projects to G/[G,G] follows because [G,G]G, as was noted in [19].

    In this section, we explain the algorithm of finding the Lie symmetry of the geodesic equations. Consider the system of the geodesic equations given by

    d2xdt2=fi(t,xi), i=1,2,,6, (3.1)

    where in in this case

    (x1,x2,x3,x4,x5,x6)=(p,q,x,y,z,w)

    and t is the independant variable and xi's are the dependant variables. We now consider a symmetry vector field Γ of the form:

    Γ=Tt+Pp+Qq+Xx+Yy+Zz+Ww, (3.2)

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

    Γ1=Γ+Pt˙p+Qt˙q+Xt˙x+Yt˙y+Zt˙z+Wt˙w,     (3.3)
    Γ2=Γ1+Ptt¨p+Qtt¨q+Xtt¨x+Ytt¨y+Ztt¨z+Wtt¨w, (3.4)

    where

    Pt=Dt(P)˙pDt(T),Ptt=Dt(Pt)¨pDt(T),Qt=Dt(Q)˙qDt(T),Qtt=Dt(Qt)¨qDt(T),Xt=Dt(X)˙xDt(T),Xtt=Dt(Xt)¨xDt(T),Yt=Dt(Y)˙yDt(T),Ytt=Dt(Yt)¨yDt(T),Zt=Dt(Z)˙zDt(T),Ztt=Dt(Zt)¨zDt(T),Wt=Dt(W)˙wDt(T),Wtt=Dt(Wt)¨wDt(T), (3.5)

    where Dt is given by

    Dt=t+˙pp+˙qq+˙xx+˙yy+˙zz+˙ww+¨p˙p+¨q˙q+¨x˙x+¨y˙y+¨z˙z+¨w˙w. (3.6)

    Finally, Γ is said to be a Lie symmetry of the system the geodesic equations if

    Γ2(Δ(2)i)|Δ(2)i=0=0, (3.7)

    where

    Δ(2)i=d2xdt2fi(t,xi),   i=1,2,,6. (3.8)

    Equation (3.7) is called the Lie invariance condition. We equate the coefficients of the linearly independent derivation terms to zero and this yields to an overdetermined system of PDEs.

    In this section, we consider the nineteen six-dimensional Lie algebra with co-dimension two abelian nilradical. For each Lie algebra, we will list the non-zero brackets, the system of the geodesic equations and the symmetry vector fields. Finally, we analyze the symmetry Lie algebra in terms of its nilradical and identify it.

    The non-zero brackets for the algebra Aabcd6,1 are given by

    [e1,e3]=ae3,[e1,e4]=ce4,[e1,e6]=e6,
    [e2,e3]=be3,[e2,e4]=de4,[e2,e5]=e5. (4.1)

    The geodesic equations are given by

    ¨p=˙p˙w,¨q=˙q˙z,¨x=˙x(d˙z+c˙w),¨y=˙y(b˙z+a˙w),¨z=0, ¨w=0. (4.2)

    For the general case Aa0,b0,c0,d06,1, the symmetry Lie algebra is spanned by

    e1=Dq,e2=Dt,e3=Dx,e4=Dy,e5=Dp,e6=wDt,e7=zDt,
    e8=ezDq,e9=ewDp,e10=ecw+dzDx,e11=eaw+bzDy,e12=Dw,
    e13=Dz,e14=tDt,e15=xDx,e16=qDq,e17=yDy.e18=pDp. (4.3)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e14]=e2,[e3,e15]=e3,[e4,e17]=e4,[e5,e18]=e5,
    [e6,e12]=e2,[e6,e14]=e6,[e7,e13]=e2,[e7,e14]=e7,[e8,e13]=e8,
    [e8,e16]=e8,[e9,e12]=e9,[e9,e18]=e9,[e10,e15]=e10,[e11,e17]=e11,
    [e10,e13]=de10,[e11,e12]=ae11,[e11,e13]=be11,[e10,e12]=ce10. (4.4)

    In this case, based on the Lie invariance condition, we have to consider eight subcases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: Aa=1,b06,1, Aa=c,a06,1, Ab=1,a06,1, Ab=d,b06,1, Ac=0,d06,1, Ac=16,1, Ad=0,c06,1 and Ad=16,1. In the generic and sub-cases, we find that the structure of the symmetry Lie algberas are the same. We summarize the results in the following proposition.

    Proposition 9. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e1e11 and a seven-dimensional abelian complement spanned by e12e18. Hence, it can be described as  R 11 R 7.

    The non-zero brackets for the algebra Aabc6,2 are given by

    [e1,e4]=e4,[e1,e5]=e6,[e2,e5]=e5,[e2,e6]=e6,
    [e2,e3]=be3,[e2,e4]=ce4,[e1,e3]=ae3. (4.5)

    The geodesic equations are given by

    ¨p=˙p˙z,¨q=˙p˙w+˙q˙z,¨x=˙x(c˙z+˙w),¨y=˙y(b˙z+a˙w),¨z=0,¨w=0. (4.6)

    For the general case Aa0,b0,c06,2, the symmetry Lie algebra is spanned by

    e1=ezDq,e2=Dq,e3=ezDp+wezDq,e4=Dp,e5=pDq,e6=Dt,
    e7=Dx,e8=Dy,e9=xDx,e10=xDt,e11=zDt,e12ww+czDx,
    e13=eaw+bzDy,e14=Dw,e15=Dz,e16=tDt,e17=yDy,e18=pDp=qDq. (4.7)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e15]=e1,[e2,e18]=e2,[e3,e16]=e3,[e4,e17]=e4,[e8,e10]=e9,
    [e5,e18]=e5,[e6,e13]=e1,[e6,e15]=e6,[e7,e14]=e1,[e7,e15]=e7,
    [e5,e8]=e2,[e9,e14]=e9,[e9,e18]=e9,[e12,e17]=e12,[e11,e16]=e11,
    [e10,e18]=e10,[e11,e13]=e11,[e10,e13]=e9,[e10,e14]=e10,
    [e12,e13]=ae12,[e12,e14]=be12,[e11,e14]=ce11. (4.8)

    In this case, based on the Lie invariance condition, we have to consider seven sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: Aa=0,b06,2, Aa=16,2, Ab=0,a06,2, Ab=16,2, Aa0,b=c6,2, Ac=06,2 and Ac=16,2. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 10. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6 where the non-zero brackets of A5,1 are given by

    [e3,e5]=e1,[e4,e5]=e2. (4.9)

    The non-zero brackets for the algebra Aa6,3 are given by

    [e1,e3]=e3,[e1,e4]=e4,[e1,e5]=e6,[e2,e5]=e5,
    [e2,e3]=ae3+e4,[e2,e4]=ae4,[e2,e6]=e6. (4.10)

    The geodesic equations are given by

    ¨p=˙p˙z+˙q˙w,¨q=˙q˙z,¨x=˙x(a˙z+˙w)+˙y˙z,¨y=˙y(a˙z+˙w), ¨z=0, ¨w=0. (4.11)

    {For the general case Aa06,3, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dx,e3=Dp,e4=Dy,e5=Dq,e6=wDt,e7=zDt,
    e8=yDx,e9=qDp,e10=ezDp,e11=wezDp+ezDq,e12=eweazDxa,
    e13=(az1)eaz+wDxa+eweazDy,e14=Dw,e15=Dz,
    e16=tDt,e17=xDx+yDy,e18=pDp+qDq. (4.12)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e17]=e2,[e3,e18]=e3,[e13,e15]=ae12ae13,
    [e5,e9]=e3,[e5,e18]=e5,[e6,e14]=e1,[e7,e15]=e1,  
    [e7,e16]=e7,[e9,e11]=e10,[e10,e15]=e10,[e10,e18]=e10,
    [e11,e14]=e10,[e11,e15]=e11,[e11,e18]=e11,[e4,e17]=e4, 
    [e4,e8]=e2,[e6,e16]=e6,[e8,e13]=ae12,[e12,e14]=e12,
    [e12,e17]=e12,[e13,e14]=e13,[e12,e15]=ae12,[e13,e17]=e13.      (4.13)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,3 and Aa=16,3. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 11. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13 and five-dimensional abelian complement spanned by e14e18. In fact, the nilradical is a direct sum of two copies of A5,1 and  R 3. Hence, the symmetry algebra is (A5,1A5,1 R 3) R 5, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,4 are given by

    [e1,e3]=e3,[e1,e4]=e4,[e1,e5]=e6,[e2,e3]=e4,
    [e2,e4]=e3,[e2,e5]=ae5+be6,[e2,e6]=ae6. (4.14)

    The geodesic equations are given by

    ¨p=˙z(a˙p+b˙q)+˙q˙w,¨q=a˙q˙z,¨x=˙x˙w˙y˙z,¨y=˙x˙z+˙y˙w,¨z=0,¨w=0. (4.15)

    For the general case Aa0,b06,4, the symmetry Lie algebra is spanned by

    e1=Dx,e2=Dy,e3=Dp,e4=Dq,e5=Dt,e6=qDp,
    e7=wDt,e8=zDt,e9=eazDpa,e10=ewcos(z)Dx+ewsin(z)Dy,
    e11=ewsin(z)Dxewcos(z)Dy,e12=((bz+w)ab)eazDpa+eazDq,e13=Dw,
    e14=Dz,e15=tDt,e16=pDp+qDq,e17=xDx+yDy,e18=yDxxDy. (4.16)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e17]=e1,[e1,e18]=e2,[e2,e17]=e2,[e2,e18]=e1,[e3,e16]=e3,
    [e4,e6]=e3,[e4,e16]=e4,[e15,e15]=e5,[e10,e17]=e10,[e7,e13]=e5,
    [e7,e15]=e7,[e8,e14]=e5,[e8,e15]=e8,[e10,e14]=e11,[e9,e16]=e9, 
    [e11,e13]=e11,[e11,e14]=e10,[e11,e17]=e11,[e11,e18]=e10,
    [e10,e18]=e11,[e10,e13]=e10,[e6,e12]=ae9,[e9,e14]=ae9,
    [e12,e13]=ae9,[e12,e14]=abe9ae12,[e12,e16]=e12. (4.17)

    In this case, based on the Lie invariance condition, we have to consider one sub-case based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The only case we consider is Ab=06,4. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 12. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,5 are given by

    [e1,e3]=ae3,[e1,e5]=e5+e6,[e1,e6]=e6,[e2,e3]=be3,[e2,e4]=e4. (4.18)

    The geodesic equations are given by

    ¨p=˙w(˙p+˙q),¨q=˙q˙w,¨x=˙x(b˙z+a˙w),¨y=˙y˙z,¨z=0,¨w=0. (4.19)

    For the general case Aa0,b06,5, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dx,e4=Dy,e5=Dq,e6=wDt,e7=zDt,
    e8=qDp,e9=ewDp,e10=ezDy,e11=(w1)ewDp+ewDq,e12=eawebzDx,
    e13=Dz,e14=Dw,e15=tDt,e16=xDx,e17=yDy,e18=pDp+qDq. (4.20)

    The non-zero brackets of the symmetry algebra are given by

    [e3,e16]=e3,[e4,e17]=e4,[e5,e8]=e2,[e11,e14]=e11e9,
    [e5,e18]=e5,[e6,e14]=e1,[e6,e15]=e6,[e7,e13]=e1,
    [e8,e11]=e9,[e9,e14]=e9,[e9,e18]=e9,[e10,e13]=e10,
    [e10,e17]=e10,[e7,e15]=e7,[e12,e13]=be12,[e11,e18]=e11,
    [e1,e15]=e1,[e2,e18]=e2,[e12,e14]=ae12,[e12,e16]=e12. (4.21)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=1,b06,5 and Aa0,b=16,5. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 13. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,6 are given by

    [e1,e3]=ae3,[e1,e4]=ae4,[e2,e4]=e4,[e1,e6]=e6,
    [e1,e5]=e5+e6,[e2,e3]=e3+e4,[e2,e5]=be6. (4.22)

    The geodesic equations are given by

    ¨p=˙w(˙p+˙q)+b˙q˙z,¨q=˙q˙w,¨x=˙x(˙z+a˙w)+˙y˙z,¨y=˙y(˙z+a˙w), ¨z=0, ¨w=0. (4.23)

    For the general case Aa0,b06,6, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dx,e3=Dp,e4=Dy,e5=Dq,e6=wDt,
    e7=zDt,e8=yDx,e9=qDp,e10=ewDp,e11=ezeawDx,
    e12=(bz+w1)ewDp+ewDq,e13=(z1)eaw+zDx+ezeawDy,
    e14=Dz,e15=Dw,e16=tDt,e17=xDx+yDy,e18=pDp+qDq. (4.24)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e17]=e2,[e3,e18]=e3,[e4,e8]=e2,[e4,e17]=e4,  
    [e5,e18]=e5,[e6,e15]=e1,[e6,e16]=e6,[e5,e9]=e3,[e7,e16]=e7,
    [e19,e12]=e10,[e10,e15]=e10,[e10,e18]=e10,[e11,e15]=ae11,
    [e11,e14]=e11,[e11,e17]=e11,[e8,e13]=e11,[e12,e18]=e12,
    [e12,e15]=e10e12,[e7,e14]=e1,[e12,e14]=be10,
    [e13,e14]=e11e13,[e13,e15]=ae13,[e13,e17]=e13.     (4.25)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=0,b06,6, Aa=16,6 and Aa0,b=06,6. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 14. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13 and five-dimensional abelian complement spanned by e14e18. In fact, the nilradical is a direct sum of two copies of A5,1 and  R 3. Hence, the symmetry algebra is (A5,1A5,1 R 3) R 5, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aabc6,7 are given by

    [e1,e3]=ae3,[e1,e4]=ae4,[e2,e5]=be6,[e1,e6]=e6,
    [e1,e5]=e5+e6,[e2,e3]=ce3+e4,[e2,e4]=e3+ce4.  (4.26)

    The geodesic equations are given by

    ¨p=˙p(c˙z+a˙w)+˙q˙z,  ¨q=˙z(˙p+c˙q)+a˙q˙w,  ¨x=˙x˙w,  ¨y=˙x(b˙z+˙w)+˙y˙w,  ¨z=0, ¨w=0. (4.27)

    For the general case Aa0,b0,c06,7, the symmetry Lie algebra is spanned by

    e1=Dq,e2=Dp,e3=Dy,e4=Dx,e5=Dt,
    e6=xDy,e7=wDt,e8=zDt,e9=ewDy,
    e10=ewDx+(bz+w1)ewDy,e11=sin(z)eaw+czDp+eczcos(z)eawDq,
    e12=cos(z)eaw+czDp+eczsin(z)eawDq,e13=Dz,e14=Dw,e15=tDt,
    e16=xDx+yDy,e17=pDp+qDq,e18=qDp+pDq. (4.28)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e17]=e1,[e1,e18]=e2,[e2,e17]=e2,[e9,e14]=e9,[e3,e16]=e3,
    [e4,e16]=e4,[e5,e15]=e5,[e6,e10]=e9,[e7,e14]=e5,[e7,e15]=e7,
    [e8,e15]=e8,[e2,e18]=e1,[e9,e16]=e9,[e11,e17]=e11,[e10,e16]=e10,
    [e11,e14]=ae11,[e10,e13]=be9,[e12,e18]=e11,[e11,e18]=e12,
    [e11,e13]=ce11+e12,[e12,e17]=e12,[e4,e6]=e3,[e8,e13]=e5,
    [e12,e13]=ce12e11,[e12,e14]=ae12,[e10,e14]=e10e9. (4.29)

    In this case, based on the Lie invariance condition, we have to consider four sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=0,b06,7, Aa=16,7, Aa0,b=06,7 and Ac=06,7. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 15. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra A6,8 are given by

    [e1,e3]=e3,[e1,e4]=e6,[e2,e5]=e5+e6,[e2,e6]=e6,[e2,e4]=e4. (4.30)

    The geodesic equations are given by

    ¨p=˙z(˙p+˙y)+˙q˙w,¨q=˙q˙z,¨x=˙x˙w,¨y=˙y˙z,¨z=0,¨w=0. (4.31)

    The symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dx,e4=Dq,e5=Dy,e6=wDt,
    e7=zDt,e8=qDp,e9=yDp,e10=ezDp,e11=ewDx,
    e12=wezDp+ezDq,e13=(z1)ezDp+ezDy,e14=Dz,
    e15=tDt,e16=Dw,e17=xDx,e18=pDp+qDq+yDy. (4.32)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e15]=e1,[e2,e18]=e2,[e3,e17]=e3,[e4,e8]=e2,[e4,e18]=e4,
    [e5,e9]=e2,[e5,e18]=e5,[e6,e15]=e6,[e6,e16]=e1,[e7,e15]=e7,
    [e7,e14]=e1,[e8,e12]=e10,[e9,e13]=e10,[e10,e14]=e10,
    [e10,e18]=e10,[e11,e16]=e11,[e11,e17]=e11,[e12,e14]=e12, 
    [e12,e16]=e10,[e12,e18]=e12,[e13,e14]=e10e13,[e13,e18]=e13. (4.33)

    Proposition 16. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13, which is a direct sum of an eight-dimensional indecomposable solvable Lie algebra B8(a=0) and a five-dimensional abelian Lie algebra. The complement of the nilradical is a another five-dimensional abelian Lie algebra spanned by e14e18. Therefore, the symmetry algebra can be identified as: (B8(a=0) R 5) R 5, where the non-zero brackets of B8a are given by Eq (4.38).

    The non-zero brackets for the algebra Aa6,9 are given by

    [e1,e3]=e3,[e1,e4]=e6,[e2,e4]=e4+e5,[e2,e5]=e5+ae6,[e2,e6]=e6. (4.34)

    The geodesic equations are given by

    ¨p=˙z(˙p+a˙y)+˙q˙w,  ¨q=˙q˙z,  ¨x=˙x˙w,  ¨y=˙z(˙q+˙y),  ¨z=0, ¨w=0. (4.35)

    For the general case Aa06,9, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dy,e3=Dp,e4=Dx,e5=Dq,e6=wDt,
    e7=zDt,e8=qDp,e9=ezDp,e10=ewDx,e11=ayDp+qDy,
    e12=(z1)aezDp+ezDy,e13=[(z22z+2)a2+w]ezDp+ezDq+(z1)ezDy,
    e14=Dw,e15=Dz,e16=tDt,e17=xDx,e18=pDp+qDq+yDy. (4.36)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e18]=e2,[e3,e18]=e3,[e4,e17]=e4,
    [e5,e11]=e2,[e5,e18]=e5,[e6,e14]=e1,[e6,e16]=e6,
    [e7,e15]=e1,[e8,e13]=e9,[e9,e15]=e9,[e9,e18]=e9,
    [e10,e14]=e10,[e11,e12]=ae9,[e2,e11]=ae3,[e11,e13]=e12,
    [e12,e18]=e12,[e5,e8]=e3,[e12,e15]=ae9e12,[e7,e16]=e7,
    \begin{equation} [e_{10} , e_{17}] = e_{10}, \quad [e_{13} , e_{14}] = - e_{9}, \quad [e_{13} , e_{15}] = - e_{12} - e_{13}, \quad [e_{13} , e_{18}] = e_{13}. \end{equation} (4.37)

    In this case, based on the Lie invariance condition, we have to consider one sub-case based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The only case we consider is A^{a = 0}_{6, 9} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 17. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e_{1} e_{13} , which is a direct sum of an eight-dimensional indecomposable solvable Lie algebra B_{8} and a five-dimensional abelian Lie algebra. The complement of the nilradical is a another five-dimensional abelian Lie algebra spanned by e_{14} e_{18} . Therefore, the symmetry algebra can be identified as (B_8 \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5 , where B_8 is the following solvable indecomposable eight-dimensional Lie algebra given by the non-zero brackets

    \begin{equation} [\mathit{e_3},\ \ \mathit{e_4}] = \mathit{e_2},\ \ [\mathit{e_3},\ \ \mathit{e_6}] = \mathit{e_1},\ \ [\mathit{e_4},\ \ \mathit{e_8}] = -\mathit{e_5},\ \ [ \mathit{e_6},\ \ \mathit{e_7}] = -a \mathit{e_5},\ \ [\mathit{e_6},\ \ \mathit{e_8}] = -\mathit{e_7}. \end{equation} (4.38)

    The non-zero brackets for the algebra A^{ab}_{6, 10} are given by

    \begin{equation*} [e_1,e_3] = a e_3,\quad [e_1,e_4] = e_{4} + b e_{6},\quad [e_1,e_5] = e_{5}, \quad \end{equation*}
    \begin{equation} [e_1,e_6] = e_{6}, \quad [e_2,e_3] = e_{3}, \quad [e_2,e_4] = e_{5}, \quad [e_2,e_5] = e_{6}. \end{equation} (4.39)

    The geodesic equations are given by

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

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

    \begin{equation*} e_{1} = D_{t}, \quad e_{2} = D_{q}, \quad e_{3} = D_{p}, \quad e_{4} = D_{y}, \quad e_{5} = D_{x}, \quad e_{6} = w D_{t}, \quad \end{equation*}
    \begin{equation*} e_{7} = z D_{t}, \quad e_{8} = x D_{p}, \quad e_{9} = q D_{p} + x D_{q}, \quad e_{10} = e^{w} D_{p}, \quad e_{11} = z e^{w} D_{p} + e^{w} D_{q}, \quad \end{equation*}
    \begin{equation*} e_{12} = e^{aw} e^{z} D_{y} , \quad e_{13} = [\frac{(2w-2)b}{2} +\frac{z^{2}}{2}] e^{w} D_{p}+ ze^{w} D_{q} +e^{w} D_{x}, \quad \end{equation*}
    \begin{equation} e_{14} = D_{z} , \quad e_{15} = D_{w} , \quad e_{16} = t D_{t}, \quad e_{17} = y D_{y}, \quad e_{18} = p D_{p} + q D_{q} + x D_{x}. \end{equation} (4.41)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{16}] = e_{1}, \quad [e_{2} , e_{9}] = e_{3},\quad [e_{2} , e_{18}] = e_{2},\quad [e_{3} , e_{18}] = e_{3},\quad [e_{4} , e_{17}] = e_{4},\quad \end{equation*}
    \begin{equation*} [e_{5} , e_{8}] = e_{3},\quad [e_{5} , e_{9}] = e_{2},\quad [e_{5} , e_{18}] = e_{5}, \quad [e_{6} , e_{15}] = -e_{1}, \quad [e_{6} , e_{16}] = e_{6},\quad \end{equation*}
    \begin{equation*} [e_{7} , e_{14}] = -e_{1},\quad [e_{7} , e_{16}] = e_{7},\quad [e_{8} , e_{13}] = -e_{10},\quad [e_{13} , e_{15}] = -b e_{10} - e_{13},\quad \end{equation*}
    \begin{equation*} [e_{9} , e_{13}] = - e_{11}, \quad [e_{10} , e_{15}] = - e_{10}, \quad [e_{10} , e_{18}] = e_{10}, \quad [e_{11} , e_{14}] = -e_{10}, \quad \end{equation*}
    \begin{equation*} [e_{11} , e_{18}] = e_{11}, \quad [e_{11} , e_{15}] = -e_{11} ,\quad [e_{12} , e_{14}] = - e_{12}, \quad [e_{12} , e_{15}] = - ae_{12} , \quad \end{equation*}
    \begin{equation} [e_{12} , e_{17}] = e_{12} ,\quad [e_{13} , e_{14}] = -e_{11} ,\quad [e_{9} , e_{11}] = -e_{10},\quad [e_{13} , e_{18}] = e_{13}. \end{equation} (4.42)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 10} , A^{a = 1}_{6, 10} and A^{ b = 0}_{6, 10} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 18. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e_{1} e_{13} , which is a direct sum of an eight-dimensional indecomposable solvable Lie algebra B_{8(a = 1)} and a five-dimensional abelian Lie algebra. The complement of the nilradical is a another five-dimensional abelian Lie algebra spanned by e_{14} e_{18} . Therefore, the symmetry algebra can be identified as (B_{8(a = 1)} \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5 , where the non-zero brackets of B_{8a} are given by Eq (4.38).

    The non-zero brackets for the algebra A^{a}_{6, 11} are given by

    \begin{equation*} [e_1,e_3] = e_4,\quad [e_2,e_4] = e_{4}, \quad [e_1,e_6] = e_{6} , \quad [e_2,e_3] = e_{3} , \quad \end{equation*}
    \begin{equation} [e_1,e_5] = e_{5} + e_{6},\quad [e_2,e_5] = a e_{5}, \quad [e_2,e_6] = a e_{6}.\quad \end{equation} (4.43)

    The geodesic equations are given by

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

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

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

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{16}] = e_{1}, \quad [e_{2} , e_{17}] = e_{2},\quad [e_{3} , e_{18}] = e_{3},\quad [e_{4} , e_{8}] = e_{2},\quad [e_{4} , e_{17}] = e_{4},\quad \end{equation*}
    \begin{equation*} [e_{6} , e_{14}] = -e_{1}, \quad [e_{6} , e_{16}] = e_{6},\quad [e_{13} , e_{15}] = -a e_{13}, \quad [e_{7} , e_{15}] = -e_{1},\quad \end{equation*}
    \begin{equation*} [e_{8} , e_{13}] = -e_{12},\quad [e_{9} , e_{11}] = -e_{10},\quad [e_{10} , e_{15}] = - e_{10},\quad [e_{10} , e_{18}] = e_{10}, \quad \end{equation*}
    \begin{equation*} [e_{11} , e_{15}] = - e_{11}, \quad [e_{11} , e_{18}] = e_{11}, \quad [e_{12} , e_{14}] = - e_{12} ,\quad [e_{5} , e_{9}] = e_{3},\quad \end{equation*}
    \begin{equation*} [e_{12} , e_{15}] = -a e_{12}, \quad [e_{11} , e_{14}] = -e_{10}, \quad [e_{13} , e_{14}] = - e_{12} - e_{13}, \quad \end{equation*}
    \begin{equation} [e_{12} , e_{17}] = e_{12}, \quad [e_{5} , e_{18}] = e_{5},\quad [e_{7} , e_{16}] = e_{7}, \quad [e_{13} , e_{17}] = e_{13}. \end{equation} (4.46)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 11} and A^{a = 1}_{6, 11} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 19. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e_{1} e_{13} and five-dimensional abelian complement spanned by e_{14} e_{18}. In fact, the nilradical is a direct sum of two copies of A_{5, 1} and \mbox{ $\Bbb R$ }^3 . Hence, the symmetry algebra is (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5 , where A_{5, 1} is given by Eq (4.9).

    The non-zero brackets for the algebra A^{ab}_{6, 12} are given by

    \begin{equation*} [e_1,e_4] = e_{4} ,\quad [e_1,e_5] = e_{5} + e_{6}, \quad [e_1,e_6] = e_{6}, \quad [e_2,e_3] = a e_{4} + e_{5} - b e_{6}, \quad \end{equation*}
    \begin{equation} [e_1,e_3] = e_{3} + e_{4},\quad [e_2,e_4] = e_{6}, \quad [e_2,e_5] = -e_{3} + b e_{4} + a e_{6}, \quad [e_2,e_6] = -e_{4}. \end{equation} (4.47)

    The geodesic equations are given by

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

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

    \begin{equation*} e_{1} = D_{y}, \quad e_{2} = D_{p}, \quad e_{3} = D_{q}, \quad e_{4} = D_{t}, \quad e_{5} = D_{x}, \quad \end{equation*}
    \begin{equation*} e_{6} = w D_{t}, \quad e_{7} = z D_{t}, \quad e_{8} = x D_{p} + y D_{q},\quad e_{9} = y D_{p} - x D_{q}, \quad \end{equation*}
    \begin{equation*} e_{10} = \cos(w) e^{z} D_{p} + \sin(w) e^{z} D_{q}, \quad e_{11} = \sin(w) e^{z} D_{p} - \cos(w) e^{z} D_{q} , \quad \end{equation*}
    \begin{equation*} e_{12} = ((aw +b+z-1)\ \cos(w) + b w\ \sin(w))\ e^{z} D_{p}+ ((aw +b + z-1) \sin(w) \end{equation*}
    \begin{equation*} - w\ \cos(w)b)\ e^{z} D_{q} + \cos(w)\ e^{z} D_{x}+ \sin(w)\ e^{z} D_{y}, \qquad \qquad \quad \quad \end{equation*}
    \begin{equation*} e_{13} = ((-bw +a)\ \cos(w) + \sin(w) (aw +z-1))\ e^{z} D_{p} + (- \cos(w) (aw + z-1) \end{equation*}
    \begin{equation*} - (bw - a) \sin(w))\ e^{z} D_{q} + \sin(w)\ e^{z} D_{x} - \cos(w)\ e^{z} D_{y},\ \quad \qquad \quad \end{equation*}
    \begin{equation*} e_{14} = t D_{t} ,\quad e_{15} = D_{z} , \quad e_{16} = D_{w} , \quad \end{equation*}
    \begin{equation} e_{17} = p D_{p} + q D_{q} + x D_{x}+ y D_{y} , \quad e_{18} = q D_{p} - p D_{q}+ y D_{x} - x D_{y} .\quad \end{equation} (4.49)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{8}] = e_{3}, \quad [e_{1} , e_{9}] = e_{2},\quad [e_{1} , e_{17}] = e_{1},\quad [e_{13} , e_{15}] = - e_{11}- e_{13}, \quad \end{equation*}
    \begin{equation*} [e_{13} , e_{16}] = 2be_{10} - e_{12} , \quad [e_{3} , e_{17}] = e_{3},\quad [e_{3} , e_{18}] = e_{2},\quad [e_{4} , e_{14}] = e_{4}, \quad \end{equation*}
    \begin{equation*} [e_{5} , e_{9}] = -e_{3},\quad [e_{5} , e_{17}] = e_{5},\quad [e_{5} , e_{18}] = -e_{1},\quad [e_{6} , e_{14}] = e_{6},\quad \end{equation*}
    \begin{equation*} [e_{7} , e_{14}] = e_{7}, \quad [e_{7} , e_{15}] = - e_{4}, \quad [e_{8} , e_{12}] = -e_{10}, \quad [e_{8} , e_{13}] = -e_{11}, \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{12}] = -e_{11}, \quad [e_{9} , e_{13}] = e_{10} ,\quad [e_{10} , e_{15}] = - e_{10}, \quad [e_{10} , e_{16}] = e_{11} , \quad \end{equation*}
    \begin{equation*} [e_{10} , e_{17}] = e_{10} ,\quad [e_{10} , e_{18}] = e_{11} ,\quad [e_{11} , e_{15}] = - e_{11} ,\quad [e_{11} , e_{16}] = -e_{10},\quad \end{equation*}
    \begin{equation*} [e_{11} , e_{17}] = e_{11}, \quad [e_{11} , e_{18}] = -e_{10} ,\quad [e_{5} , e_{8}] = e_{2}, \quad [e_{12} , e_{17}] = e_{12}, \quad \end{equation*}
    \begin{equation*} [e_{13} , e_{17}] = e_{13}, \quad [e_{12} , e_{18}] = -a e_{10} + b e_{11}+ e_{13} ,\quad [e_{1} , e_{18}] = e_{5},\quad \end{equation*}
    \begin{equation*} [e_{12} , e_{16}] = - 2ae_{10} + e_{13} , \quad [e_{2} , e_{17}] = e_{2},\quad [e_{12} , e_{15}] = - e_{10}- e_{12}, \quad \end{equation*}
    \begin{equation} [e_{2} , e_{18}] = -e_{3},\quad [e_{6} , e_{16}] = -e_{4},\quad [e_{13} , e_{18}] = a e_{11} + b e_{10}- e_{12}. \quad \end{equation} (4.50)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 12} and A^{ b = 0}_{6, 12} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 20. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e_{1} e_{13} and five-dimensional abelian complement spanned by e_{14} e_{18}. In fact, the nilradical is a direct sum of ten-dimensional solvable Lie algebra C_{10} and \mbox{ $\Bbb R$ }^3 . Hence, the symmetry algebra is (C_{10}\oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5 , where C_{10} is an indecoposable ten-dimensional solvable Lie algebra given by the non-zero brackets

    \begin{equation*} [ e_1, e_5] = e_3,\quad [e_1, e_6] = e_2,\quad [e_4, e_5] = e_2,\quad [e_4, e_6] = -e_3, \end{equation*}
    \begin{equation} [e_5, e_9] = -e_7,\quad[e_5,e_{10}] = -e_8,\quad [e_6, e_9] = -e_8,\quad [e_6, e_{10}] = e_7. \end{equation} (4.51)

    The non-zero brackets for the algebra A^{abcd}_{6, 13} are given by

    \begin{equation*} [e_1,e_3] = ae_3,\quad [e_1,e_4] = ce_4,\quad [e_1,e_5] = e_6,\quad [e_1,e_6] = -e_{5}, \quad \end{equation*}
    \begin{equation} [e_2,e_3] = be_{3}, \quad [e_2,e_4] = de_{4}, \quad [e_2,e_6] = e_{6}, \quad [e_2,e_5] = e_{5}.\quad\ \ \end{equation} (4.52)

    The geodesic equations 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{x}(d \dot{z} +c \dot{w}) , \ \ \ddot{y} = \dot{y}(b \dot{z} + a \dot{w}) ,\ \ \ddot{z} = 0 ,\ \ddot{w} = 0. \end{array} \end{equation} (4.53)

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

    \begin{equation*} e_{1} = D_{t}, \quad e_{2} = D_{p}, \quad e_{3} = D_{q}, \quad e_{4} = D_{x}, \quad e_{5} = D_{y}, \quad e_{6} = w D_{t}, \quad e_{7} = z D_{t}, \quad \end{equation*}
    \begin{equation*} e_{8} = e^{cw} e^{dz} D_{x}, \quad e_{9} = e^{aw} e^{bz} D_{y}, \quad e_{10} = \cos(w) e^{z} D_{p} + \sin(w) e^{z} D_{q}, \quad \end{equation*}
    \begin{equation*} e_{11} = \sin(w) e^{z} D_{p} - \cos(w) e^{z} D_{q}, \quad e_{12} = D_{w} , \quad e_{13} = D_{z}, \quad e_{14} = t D_{t}, \quad \end{equation*}
    \begin{equation} e_{15} = x D_{x}, \quad e_{16} = y D_{y}, \quad e_{17} = p D_{p} + q D_{q} \quad e_{18} = q D_{p} - p D_{q} . \end{equation} (4.54)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{14}] = e_{1}, \quad [e_{2} , e_{17}] = e_{2},\quad [e_{2} , e_{18}] = - e_{3},\quad [e_{3} , e_{17}] = e_{3},\quad [e_{3} , e_{18}] = e_{2},\quad \end{equation*}
    \begin{equation*} [e_{4} , e_{15}] = e_{4} ,\quad [e_{6} , e_{12}] = - e_{1}, \quad [e_{9} , e_{12}] = -a e_{9}, \quad [e_{6} , e_{14}] = e_{6},\quad\ \end{equation*}
    \begin{equation*} [e_{7} , e_{14}] = e_{7}, \quad [e_{8} , e_{12}] = -c e_{8},\quad [e_{8} , e_{13}] = -d e_{8}, \quad [e_{8} , e_{15}] = e_{8}, \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{16}] = e_{9},\quad [e_{10} , e_{12}] = e_{11},\quad [e_{10} , e_{13}] = - e_{10}, \quad [e_{10} , e_{17}] = e_{10}, \quad\ \end{equation*}
    \begin{equation*} [e_{11} , e_{13}] = - e_{11}, \quad [e_{9} , e_{13}] = -be_{9},\quad [e_{10} , e_{18}] = e_{11}, \quad [e_{7} , e_{13}] = - e_{1},\quad \end{equation*}
    \begin{equation} [e_{5} , e_{16}] = e_{5} , \quad [e_{11} , e_{12}] = - e_{10}, \quad [e_{11} , e_{17}] = e_{11}, \quad [e_{11} , e_{18}] = -e_{10}.\ \ \ \end{equation} (4.55)

    In this case, based on the Lie invariance condition, we have to consider eight sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: A^{a = 0, b\not = 0}_{6, 13} , A^{a = c, a \not = 0}_{6, 13} , A^{b = 0, a \not = 0 }_{6, 13} , A^{b = 1 }_{6, 13} , A^{b = d, b \not = 0}_{6, 13} , A^{c = 0, d \not = 0}_{6, 13} , A^{d = 1}_{6, 13} and A^{d = 0, c \not = 0}_{6, 13} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 21. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e_{1} e_{11} and a seven-dimensional abelian complement spanned by e_{12} e_{18} . Hence, it can be described as \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7 .

    The non-zero brackets for the algebra A^{abc}_{6, 14} are given by

    \begin{equation} [e_1,e_3] = ae_{3},\quad [e_1,e_5] = ce_{5} + e_{6},\quad [e_1,e_6] = e_{5} + c e_{6},\quad [e_2,e_3] = be_{3}, \quad [e_2,e_4] = e_{4}. \quad \end{equation} (4.56)

    The geodesic equations are given by

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

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

    \begin{equation*} e_{1} = D_{t}, \quad e_{2} = D_{q}, \quad e_{3} = D_{p}, \quad e_{4} = D_{y}, \quad e_{5} = D_{x}, \quad e_{6} = w D_{t}, \quad \end{equation*}
    \begin{equation*} e_{7} = z D_{t}, \quad e_{8} = e^{z} D_{x}, \quad e_{9} = e^{aw} e^{bz} D_{y}, \quad e_{10} = e^{cw} \sin(w) D_{p} + e^{cw} \cos(w) D_{q}, \quad \end{equation*}
    \begin{equation*} e_{11} = - e^{cw} \cos(w) D_{p} + e^{cw} \sin(w) D_{q}, \quad e_{12} = D_{z}, \quad e_{13} = D_{w}, \quad e_{14} = t D_{t}, \quad \end{equation*}
    \begin{equation} e_{15} = y D_{y}, \quad e_{16} = x D_{x}, \quad e_{17} = p D_{p} + q D_{q} , \quad e_{18} = -q D_{p} + p D_{q}. \end{equation} (4.58)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{14}] = e_{1}, \quad [e_{2} , e_{17}] = e_{2},\quad [e_{7} , e_{14}] = e_{7},\quad [e_{3} , e_{17}] = e_{3},\quad [e_{3} , e_{18}] = e_{2},\quad \end{equation*}
    \begin{equation*} [e_{4} , e_{15}] = e_{4},\quad [e_{5} , e_{16}] = e_{5},\quad [e_{6} , e_{13}] = -e_{1}, \quad [e_{6} , e_{14}] = e_{6}, \quad [e_{8} , e_{16}] = e_{8},\quad \end{equation*}
    \begin{equation*} [e_{11} , e_{13}] = -c e_{11}- e_{10},\quad [e_{11} , e_{17}] = e_{11}, \quad [e_{11} , e_{18}] = - e_{10},\quad [e_{7} , e_{12}] = - e_{1},\quad \end{equation*}
    \begin{equation*} [e_{9} , e_{15}] = e_{9}, \quad [e_{10} , e_{13}] = - ce_{10}+ e_{11}, \quad [e_{10} , e_{17}] = e_{10},\quad [e_{10} , e_{18}] = e_{11},\quad \end{equation*}
    \begin{equation} [e_{2} , e_{18}] = -e_{3},\quad [e_{8} , e_{12}] = -e_{8},\quad [e_{9} , e_{13}] = -ae_{9},\quad [e_{9} , e_{12}] = -be_{9}. \end{equation} (4.59)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: A^{b = 1, a \not = 0}_{6, 14} and A^{a = c, a \not = 0}_{6, 14} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 22. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e_{1} e_{11} and a seven-dimensional abelian complement spanned by e_{12} e_{18} . Hence, it can be described as \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7 .

    The non-zero brackets for the algebra A^{abcd}_{6, 15} are given by

    \begin{equation*} [e_1,e_3] = e_3,\quad [e_1,e_4] = e_4,\quad [e_1,e_5] = a e_5 + be_{6},\quad [e_1,e_6] = -be_{5} + ae_{6}, \quad \end{equation*}
    \begin{equation} [e_2,e_3] = ce_{3}+ e_{4}, \quad [e_2,e_4] = - e_{3}+c e_{4}, \quad [e_2,e_6] = d e_{6}, \quad [e_2,e_5] = d e_{5}.\quad \end{equation} (4.60)

    The geodesic equations are given by

    \begin{equation*} \begin{array}{lll} \ddot{p} = \dot{p}( c \dot{z} + \dot{w}) - \dot{q} \dot{z},& \ddot{q} = \dot{z}( \dot{p} + c \dot{q})+\dot{q} \dot{w} ,& \ddot{z} = 0 , \end{array} \end{equation*}
    \begin{equation} \begin{array}{lll} \ddot{x} = \dot{x}(d \dot{z} +a \dot{w})- b \dot{y}\dot{w} ,& \ddot{y} = b \dot{x}\dot{w}+\dot{y}(d \dot{z} + q \dot{w}) ,& \ddot{w} = 0. \end{array} \end{equation} (4.61)

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

    \begin{equation*} e_{1} = D_{p}, \quad e_{2} = D_{t}, \quad e_{3} = D_{w}, \quad e_{4} = D_{z}, \quad e_{5} = D_{x}, \quad e_{6} = D_{y} , \quad \end{equation*}
    \begin{equation} e_{7} = w D_{t}, \quad e_{8} = z D_{t}, \quad e_{9} = t D_{t} , \quad e_{10} = x D_{x} + y D_{y}. \quad \end{equation} (4.62)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{2} , e_{9}] = e_{2}, \quad [e_{3} , e_{7}] = e_{2},\quad [e_{4} , e_{8}] = e_{2},\quad [e_{5} , e_{10}] = e_{5},\quad \end{equation*}
    \begin{equation} [e_{6} , e_{10}] = e_{6},\quad [e_{7} , e_{9}] = e_{7} ,\quad [e_{8} , e_{9}] = e_{8} . \quad \end{equation} (4.63)

    In this case, based on the Lie invariance condition, we have to consider five sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 15} , A^{a = 1 }_{6, 15} , A^{c = 0 }_{6, 15} , A^{d = 0}_{6, 15} and A^{c = d }_{6, 15} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 23. The symmetry Lie algebra is a ten-dimensional solvable Lie algebra with eight -dimensional not abelian nilradical spanned by e_{1} e_{8} and two-dimensional abelian complement spanned by e_{9} and e_{10}. In fact, The nilradical is a direct sum of A_{5, 4} and \mbox{ $\Bbb R$ }^3 . Hence, the symmetry Lie algebra can be identified as (A_{5, 4} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^2 , where the non-zero brackets of A_{5, 4} are given by

    \begin{equation} [e_2,e_4] = e_1, \,\, [e_3,e_5] = e_1. \end{equation} (4.64)

    The non-zero brackets for the algebra A^{ab}_{6, 16} are given by

    \begin{equation*} [e_1,e_3] = e_4,\quad [e_2,e_4] = e_4,\quad [e_1,e_5] = a e_{5} + e_6,\quad [e_2,e_3] = e_{3}, \quad \end{equation*}
    \begin{equation} [e_1,e_6] = - e_{5} + a e_6, \quad [e_2,e_5] = b e_{5} , \quad [e_2,e_6] = b e_{6}. \end{equation} (4.65)

    The geodesic equations are given by

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

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

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

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{13}] = e_{1}, \quad [e_{2} , e_{19}] = e_{2},\quad [e_{3} , e_{19}] = e_{3},\quad [e_{10} , e_{14}] = -a e_{10}+ e_{11}, \quad \end{equation*}
    \begin{equation*} [e_{4} , e_{15}] = e_{4}, \quad [e_{4} , e_{17}] = e_{5},\quad [e_{5} , e_{16}] = e_{4},\quad [e_{11} , e_{14}] = -a e_{11}- e_{10},\quad \end{equation*}
    \begin{equation*} [e_{6} , e_{14}] = - e_{1}, \quad [e_{7} , e_{13}] = e_{7},\quad [e_{8} , e_{15}] = e_{8}, \quad [e_{16} , e_{17}] = -e_{15}+e_{18},\quad \end{equation*}
    \begin{equation*} [e_{15} , e_{17}] = e_{17},\quad [e_{16} , e_{18}] = -e_{16},\quad [e_{7} , e_{12}] = -e_{1}, \quad [e_{17} , e_{18}] = e_{17},\quad \end{equation*}
    \begin{equation*} [e_{2} , e_{20}] = - e_{3},\quad [e_{10} , e_{19}] = e_{10},\quad [e_{10} , e_{20}] = e_{11},\quad [e_{11} , e_{12}] = -b e_{11},\quad \end{equation*}
    \begin{equation*} [e_{11} , e_{19}] = e_{11}, \quad [e_{5} , e_{18}] = e_{5},\quad [e_{11} , e_{20}] = - e_{10}, \quad [e_{10} , e_{12}] = -b e_{10}, \quad \end{equation*}
    \begin{equation*} [e_{3} , e_{20}] = e_{2},\quad [e_{6} , e_{13}] = e_{6}, \quad [e_{8} , e_{12}] = - e_{8},\quad [e_{15} , e_{16}] = - e_{16},\quad \end{equation*}
    \begin{equation} [e_{8} , e_{17}] = e_{9}, \quad [e_{9} , e_{12}] = - e_{9} , \quad [e_{9} , e_{16}] = e_{8}, \quad [e_{9} , e_{18}] = e_{9}. \end{equation} (4.68)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 16} , A^{ b = 0}_{6, 16} and A^{ b = 1}_{6, 16} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 24. The symmetry Lie algebra is a twenty-dimensional semi direct product of seventeen solvable Lie algebra and three -dimensional semi-simple sl(2, \mbox{ $\Bbb R$ }) . Furthermore, the symmetry Lie algebra has eleven dimensional abelian nilradical and nine-dimensional complement. Therefore, the symmetry Lie algebra can be identified as (\mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^6)\rtimes sl(2, \mbox{ $\Bbb R$ }) .

    The non-zero brackets for the algebra A^{a}_{6, 17} are given by

    \begin{equation*} [e_1,e_3] = a e_3 + e_{4},\quad [e_1,e_4] = a e_4,\quad [e_1,e_5] = e_6,\quad \end{equation*}
    \begin{equation} [e_1,e_6] = - e_{5}, \quad [e_2,e_5] = e_{5}, \quad [e_2,e_6] = e_{6}. \end{equation} (4.69)

    The geodesic equations 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{w}( a \dot{x} + \dot{y}) ,& \ddot{y} = a \dot{y} \dot{w} ,& \ddot{z} = 0 ,& \ddot{w} = 0. \end{array} \end{equation} (4.70)

    Based on the system of PDE's obtained from the Lie Invarince Condition we consider the following subcases of certain values of the parameters.

    The symmetry Lie algebra is spanned by

    \begin{equation*} e_{1} = D_{x}, \quad e_{2} = D_{p}, \quad e_{3} = D_{q}, \quad e_{4} = D_{y}, \quad e_{5} = D_{t}, \quad e_{6} = yD_{x}, \quad \end{equation*}
    \begin{equation*} e_{7} = w D_{t}, \quad e_{8} = z D_{t}, \quad e_{9} = \frac{e^{aw} D_{x}}{a} , \quad e_{10} = \cos{(w)} e^{z} D_{p} + \sin{(w)}e^{z} D_{q}, \quad \end{equation*}
    \begin{equation*} e_{11} = \sin{(w)} e^{z} D_{p} - \cos{(w)}e^{z} D_{q}, \quad e_{12} = \frac{(aw - 1) e^{aw} D_{x}}{a} + e^{aw} D_{y}, \quad e_{13} = D_{z}, \quad \end{equation*}
    \begin{equation} e_{14} = D_{w} , \quad e_{15} = t D_{t}, \quad e_{16} = x D_{x} + y D_{y}, \quad e_{17} = p D_{p} + q D_{q}, \quad e_{18} = q D_{p} - p D_{q}. \end{equation} (4.71)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{16}] = e_{1}, \quad [e_{2} , e_{17}] = e_{2},\quad [e_{3} , e_{18}] = - e_{3},\quad [e_{3} , e_{17}] = e_{3},\quad [e_{3} , e_{18}] = e_{2},\quad \end{equation*}
    \begin{equation*} [e_{4} , e_{16}] = e_{4},\quad [e_{5} , e_{15}] = e_{5}, \quad [e_{6} , e_{12}] = -a e_{9}, \quad [e_{7} , e_{14}] = -e_{5},\quad [e_{7} , e_{15}] = e_{7},\quad \end{equation*}
    \begin{equation*} [e_{8} , e_{13}] = -e_{5}, \quad [e_{8} , e_{15}] = e_{8},\quad [e_{9} , e_{14}] = -ae_{9},\quad [e_{10} , e_{13}] = - e_{10}, \quad \end{equation*}
    \begin{equation*} [e_{10} , e_{14}] = e_{11}, \quad [e_{10} , e_{17}] = e_{10}, \quad [e_{10} , e_{18}] = e_{11},\quad [e_{11} , e_{13}] = - e_{11},\quad \end{equation*}
    \begin{equation*} [e_{11} , e_{17}] = e_{11}, \quad [e_{4} , e_{6}] = e_{1},\quad [e_{9} , e_{16}] = e_{9},\quad [e_{11} , e_{14}] = - e_{10}, \quad \end{equation*}
    \begin{equation} [e_{11} , e_{18}] = - e_{10} , \quad [e_{12} , e_{14}] = -a e_{12} -a e_{9}, \quad [e_{12} , e_{16}] = e_{12}. \end{equation} (4.72)

    Proposition 25. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e_{1} e_{12} and a six-dimensional abelian complement spanned by e_{12} e_{18} . In fact, the nilradical is a direct sum of A_{5, 1} in Winternitz list and \mbox{ $\Bbb R$ }^7 . Hence, symmetry algebra can be can be described as (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6 , where A_{5, 1} is given by Eq (4.9).

    The symmetry Lie algebra is spanned by

    \begin{equation*} e_{1} = D_{t}, \quad e_{2} = D_{x} , \quad e_{3} = D_{p}, \quad e_{4} = D_{q}, \quad e_{5} = D_{y}, \quad e_{6} = w D_{t} , \quad e_{7} = z D_{t}, \quad \end{equation*}
    \begin{equation*} e_{8} = z D_{x} , \quad e_{9} = w D_{x}, \quad e_{10} = \frac{1}{2}\ \ w^{2} D_{x} +w D_{y}, \quad e_{11} = \frac{1}{2}\ \ wz D_{x} + z D_{y} , \quad \end{equation*}
    \begin{equation*} e_{12} = \cos{(w)} e^{z} D_{p} + \sin{(w)} e^{z} D_{q} , \quad e_{13} = \sin{(w)} e^{z} D_{p} - \cos{(w)} e^{z} D_{q}, \quad \end{equation*}
    \begin{equation*} e_{14} = t D_{x} , \quad e_{15} = D_{z} , \quad e_{16} = D_{w} , \quad e_{17} = t D_{t} , \quad e_{18} = y D_{t} , \quad e_{19} = y D_{x} , \quad \end{equation*}
    \begin{equation*} e_{20} = p D_{p} + q D_{q}, \quad e_{21} = q D_{p} - p D_{q}, \quad e_{22} = \frac{1}{2}\ \ tw D_{x} +t D_{y}, \quad e_{23} = (wy-2x)D_{t} , \quad \end{equation*}
    \begin{equation} e_{24} = \frac{1}{2}\ \ wy D_{x} + y D_{y} , \quad e_{25} = (x - \frac{wy}{2}) D_{x} , \quad e_{26} = (\frac{1}{2}\ y w^{2} - wx) D_{x} + (wy - 2x) D_{y}. \end{equation} (4.73)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{14}] = e_{2}, \quad [e_{1} , e_{17}] = e_{1},\quad [e_{1} , e_{22}] = e_{5}+ \frac{e_{9}}{2},\quad [e_{2} , e_{23}] = - 2 e_{1},\quad \end{equation*}
    \begin{equation*} [e_{2} , e_{25}] = e_{2},\quad [e_{2} , e_{26}] = -2 e_{5}-e_{9},\quad [e_{3} , e_{20}] = e_{3},\quad [e_{3} , e_{21}] = - e_{4}, \quad \end{equation*}
    \begin{equation*} [e_{4} , e_{20}] = e_{4}, \quad [e_{4} , e_{21}] = e_{3},\quad [e_{5} , e_{18}] = e_{1},\quad [e_{5} , e_{19}] = e_{2}, \quad [e_{5} , e_{23}] = e_{6},\quad \end{equation*}
    \begin{equation*} [e_{5} , e_{24}] = e_{5}+\frac{e_{9}}{2},\quad [e_{5} , e_{25}] = \frac{e_{9}}{2},\quad [e_{5} , e_{26}] = e_{10}, \quad [e_{10} , e_{16}] = -e_{5}-e_{9}, \quad \end{equation*}
    \begin{equation*} [e_{6} , e_{16}] = - e_{1}, \quad [e_{6} , e_{17}] = e_{6},\quad [e_{6} , e_{22}] = e_{10},\quad [e_{7} , e_{14}] = e_{8}, \quad \end{equation*}
    \begin{equation*} [e_{7} , e_{15}] = - e_{1}, \quad [e_{7} , e_{17}] = e_{7},\quad [e_{7} , e_{22}] = e_{11},\quad [e_{8} , e_{15}] = - e_{2}, \quad \end{equation*}
    \begin{equation*} [e_{8} , e_{23}] = -2 e_{7}, \quad [e_{8} , e_{25}] = e_{8},\quad [e_{8} , e_{26}] = -2 e_{11},\quad [e_{9} , e_{16}] = - e_{2}, \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{23}] = -2 e_{6}, \quad [e_{9} , e_{25}] = e_{9},\quad [e_{9} , e_{26}] = -2 e_{10},\quad [e_{6} , e_{14}] = e_{9}, \quad \end{equation*}
    \begin{equation*} [e_{10} , e_{18}] = e_{6}, \quad [e_{10} , e_{19}] = e_{9},\quad [e_{10} , e_{24}] = e_{10},\quad [e_{11} , e_{15}] = - e_{5}-\frac{e_{9}}{2}, \quad \end{equation*}
    \begin{equation*} [e_{11} , e_{16}] = -\frac{e_{8}}{2} , \quad [e_{11} , e_{18}] = e_{7},\quad [e_{11} , e_{19}] = e_{8},\quad [e_{11} , e_{24}] = e_{11}, \quad \end{equation*}
    \begin{equation*} [e_{12} , e_{15}] = - e_{12}, \quad [e_{12} , e_{16}] = e_{13},\quad [e_{12} , e_{20}] = e_{12},\quad [e_{12} , e_{21}] = e_{13}, \quad \end{equation*}
    \begin{equation*} [e_{13} , e_{15}] = - e_{13}, \quad [e_{13} , e_{16}] = - e_{12},\quad [e_{13} , e_{20}] = e_{13},\quad [e_{13} , e_{21}] = - e_{12}, \quad \end{equation*}
    \begin{equation*} [e_{14} , e_{25}] = e_{14}, \quad [e_{14} , e_{26}] = -2 e_{22}, \quad [e_{16} , e_{22}] = \frac{e_{14}}{2},\quad [e_{17} , e_{18}] = -e_{18},\quad \end{equation*}
    \begin{equation*} [e_{16} , e_{26}] = e_{24}- e_{25},\quad [e_{14} , e_{18}] = - e_{19},\quad [e_{14} , e_{23}] = -2 e_{17}+2e_{25},\quad \end{equation*}
    \begin{equation*} [e_{16} , e_{23}] = e_{18},\quad [e_{16} , e_{24}] = \frac{e_{19}}{2}, \quad [e_{19} , e_{25}] = e_{19}, \quad [e_{17} , e_{23}] = - e_{23}, \quad \end{equation*}
    \begin{equation*} [e_{16} , e_{25}] = -\frac{e_{19}}{2}, \quad [e_{14} , e_{17}] = - e_{14}, \quad [e_{17} , e_{22}] = e_{22}, \quad [e_{19} , e_{22}] = - e_{14}, \quad \end{equation*}
    \begin{equation*} [e_{19} , e_{23}] = -2e_{18},\quad [e_{18} , e_{24}] = - e_{18},\quad [e_{18} , e_{26}] = -e_{23}, \quad [e_{22} , e_{23}] = -e_{26}, \quad \end{equation*}
    \begin{equation*} [e_{18} , e_{22}] = -e_{17}+e_{24},\quad [e_{19} , e_{24}] = -e_{19},\quad [e_{19} , e_{26}] = -2e_{24}+2e_{25}, \quad \end{equation*}
    \begin{equation} [e_{22} , e_{24}] = e_{22}, \quad [e_{23} , e_{25}] = -e_{23},\quad [e_{24} , e_{26}] = -e_{26},\quad [e_{25} , e_{26}] = e_{26}.\quad \end{equation} (4.74)

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

    The non-zero brackets for the algebra A^{abc}_{6, 18} are given by

    \begin{equation*} [e_1,e_3] = e_4,\quad [e_1,e_4] = -e_3,\quad [e_1,e_5] = ae_{5} + be_6,\quad [e_2,e_3] = e_{3}, \quad \end{equation*}
    \begin{equation} [e_1,e_6] = -be_{5}+ae_{6}, \quad [e_2,e_4] = e_{4}, \quad [e_2,e_5] = ce_{5}, \quad [e_2,e_6] = ce_{6}. \end{equation} (4.75)

    The geodesic equations are given by

    \begin{aligned} \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{x}( c \dot{z} -a \dot{w})+ b \dot{y} \dot{w} ,\ \ \ddot{y} = -b\dot{x} \dot{w} +\dot{y}(c \dot{z} - a \dot{w}) ,\ \ \ddot{z} = 0,\ \ddot{w} = 0. \end{array}\end{aligned} (4.76)

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

    \begin{equation*} e_{1} = D_{y}, \quad e_{2} = D_{q} , \quad e_{3} = D_{p}, \quad e_{4} = D_{t}, \quad e_{5} = D_{x}, \quad e_{6} = w D_{t}, \quad e_{7} = z D_{t}, \quad \end{equation*}
    \begin{equation*} e_{8} = \sin{(w)}e^{z} D_{p}+\cos{(w)}e^{z} D_{q},\quad e_{9} = -\cos{(w)}e^{z} D_{p}+\sin{(w)}e^{z} D_{q}, \quad \end{equation*}
    \begin{equation*} e_{10} = e^{cz}\sin{(bw)}e^{-aw} D_{x} +\cos{(bw)}e^{-aw+cz} D_{y},\quad e_{11} = e^{cz}\cos{(bw)}e^{-aw} D_{x}-\sin{(bw)}e^{-aw+cz} D_{y}, \quad \end{equation*}
    \begin{equation*} e_{12} = D_{z} , \quad e_{13} = t D_{t} , \quad e_{14} = D_{w} , \quad e_{15} = p D_{p} + q D_{q}, \quad \end{equation*}
    \begin{equation} e_{16} = x D_{x} + y D_{y},\quad e_{17} = -q D_{p} + p D_{q},\quad e_{18} = y D_{x} - x D_{y} . \end{equation} (4.77)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{16}] = e_{1}, \quad [e_{1} , e_{18}] = e_{5},\quad [e_{2} , e_{15}] = e_{2},\quad [e_{2} , e_{17}] = -e_{3},\quad [e_{10} , e_{18}] = e_{11},\quad \end{equation*}
    \begin{equation*} [e_{3} , e_{17}] = e_{2},\quad [e_{4} , e_{13}] = e_{4},\quad [e_{5} , e_{16}] = e_{5}, \quad [e_{5} , e_{18}] = - e_{1}, \quad \end{equation*}
    \begin{equation*} [e_{6} , e_{14}] = - e_{4},\quad [e_{7} , e_{12}] = -e_{4},\quad [e_{7} , e_{13}] = e_{7},\quad [e_{8} , e_{12}] = -e_{8},\quad \end{equation*}
    \begin{equation*} [e_{9} , e_{12}] = - e_{9},\quad [e_{9} , e_{14}] = -e_{8},\quad [e_{9} , e_{17}] = - e_{8},\quad [e_{10} , e_{12}] = -c e_{10}, \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{15}] = e_{9},\quad [e_{8} , e_{14}] = e_{9},\quad [e_{11} , e_{18}] = -e_{10},\quad [e_{11} , e_{12}] = -c e_{11}, \quad \end{equation*}
    \begin{equation*} [e_{8} , e_{15}] = e_{8}, \quad [e_{8} , e_{17}] = e_{9}, \quad [e_{10} , e_{14}] = a e_{10}-be_{11}, \quad [e_{10} , e_{16}] = e_{10},\quad \end{equation*}
    \begin{equation} [e_{3} , e_{15}] = e_{3},\quad [e_{11} , e_{14}] = a e_{11}+be_{10}, \quad [e_{10} , e_{16}] = e_{11},\quad [e_{6} , e_{13}] = e_{6}.\quad \end{equation} (4.78)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 18} , A^{c = 0}_{6, 18} and A^{c = 1}_{6, 18} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 27. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e_{1} e_{11} and a seven-dimensional abelian complement spanned by e_{12} e_{18} . Hence, it can be described as \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7 .

    The non-zero brackets for the algebra A_{6, 19} are given by

    \begin{equation*} [e_1,e_3] = e_{4} + e_{5},\quad [e_1,e_5] = e_{6},\quad [e_1,e_6] = -e_{5}, \quad [e_2,e_3] = e_{3}, \quad \end{equation*}
    \begin{equation} [e_1,e_4] = - e_{3}+e_6,\quad [e_2,e_4] = e_{4},\quad [e_2,e_5] = e_{5}, \quad [e_2,e_6] = e_{6}. \end{equation} (4.79)

    The geodesic equations are given by

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

    The symmetry Lie algebra is spanned by

    \begin{equation*} e_{1} = D_{y}, \quad e_{2} = D_{p}, \quad e_{3} = D_{q}, \quad e_{4} = D_{t}, \quad e_{5} = D_{x}, \quad e_{6} = w D_{t}, \quad \end{equation*}
    \begin{equation*} e_{7} = z D_{t}, \quad e_{8} = e^{z}e^{w} D_{p}- e^{z+w} D_{q} ,\quad e_{9} = e^{z}e^{-w} D_{p} + e^{z-w} D_{q} , \quad \end{equation*}
    \begin{equation*} e_{10} = \sin{(w)} e^{z} D_{p} +\cos{(w)} e^{z} D_{x}+\sin{(w)}e^{z} D_{y}, \quad \end{equation*}
    \begin{equation*} e_{11} = -\cos{(w)} e^{z} D_{p} +\sin{(w)} e^{z} D_{x}-\cos{(w)}e^{z} D_{y} , \quad e_{12} = D_{z} , \quad \end{equation*}
    \begin{equation*} e_{13} = t D_{t} , \quad e_{14} = D_{w} ,\quad e_{15} = p D_{p} + q D_{q}+ x D_{x}+ y D_{y} , \quad \end{equation*}
    \begin{equation} e_{16} = q D_{p} +(-y+p)D_q , \quad e_{17} = -x D_{p}+ y D_{x} - x D_{y} ,\quad e_{18} = (y-p) D_p-q D_{q} . \end{equation} (4.81)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{15}] = e_{1}, \quad [e_{1} , e_{16}] = -e_{3},\quad [e_{1} , e_{17}] = e_{5},\quad [e_{1} , e_{18}] = e_{2},\quad [e_{2} , e_{15}] = e_{2},\quad \end{equation*}
    \begin{equation*} [e_{2} , e_{16}] = e_{3},\quad [e_{2} , e_{18}] = - e_{2},\quad [e_{3} , e_{15}] = e_{3},\quad [e_{3} , e_{16}] = e_{2},\quad [e_{3} , e_{18}] = - e_{3},\quad \end{equation*}
    \begin{equation*} [e_{4} , e_{13}] = e_{4},\quad [e_{5} , e_{15}] = e_{5}, \quad [e_{5} , e_{17}] = -e_{1}- e_{2}, \quad [e_{6} , e_{13}] = e_{6}, \quad [e_{6} , e_{14}] = -e_{4},\quad \end{equation*}
    \begin{equation*} [e_{7} , e_{12}] = - e_{4},\quad [e_{7} , e_{13}] = e_{7},\quad [e_{8} , e_{12}] = -e_{8}, \quad [e_{8} , e_{14}] = e_{8}, \quad [e_{8} , e_{15}] = e_{8} , \quad \end{equation*}
    \begin{equation*} [e_{8} , e_{16}] = e_{8} , \quad [e_{8} , e_{18}] = - e_{8} , \quad [e_{9} , e_{12}] = - e_{9}, \quad [e_{9} , e_{14}] = -e_{9} , \quad [e_{9} , e_{15}] = e_{9} , \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{16}] = - e_{9} , \quad [e_{9} , e_{18}] = - e_{9},\quad [e_{10} , e_{12}] = - e_{10} , \quad [e_{10} , e_{14}] = e_{11} , \quad [e_{10} , e_{15}] = e_{10} , \quad \end{equation*}
    \begin{equation} [e_{10} , e_{17}] = e_{11}, \quad [e_{11} , e_{12}] = - e_{11} , \quad [e_{11} , e_{14}] = - e_{10} , \quad [e_{11} , e_{15}] = e_{11} , \quad [e_{11} , e_{17}] = -e_{10}. \end{equation} (4.82)

    Proposition 28. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e_{1} e_{11} and a seven-dimensional abelian complement spanned by e_{12} e_{18} . Hence, it can be described as \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7 .

    n this work, we have investigated the symmetry Lie algebra of the geodesic equations of the canonical connection on a Lie group. More precisely, we have considered six-dimensional indecomposable solvable Lie algebras with co-dimension two abelian nilradical and abelian complement. In dimension six, there are nineteen such algebras, namely, A_{6, 1} A_{6, 19} in [17]. In each case, we list the non-zero brackets of the Lie algebra, the geodesic equations and a basis for the symmetry Lie algebra in terms of vector fields. We also analyze the nilradical of the symmetry Lie algebra. In every case, we identify the symmetry Lie algebra, and a summary of our results is given in Table 1.

    Table 1.  Six-dimensional Lie algebras and identification of the symmetry algebra.
    Six-dimensional Lie algebras Dimension Identification
    A^{a \not= 0, b \not =0, c \not= 0, d \not= 0}_{6, 1} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 2} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a \not= 0}_{6, 3} 18 (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not = 0}_{6, 4} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a \not= 0, b \not = 0}_{6, 5} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a \not= 0, b \not = 0}_{6, 6} 18 (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 7} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A_{6, 8} 18 (B_{8(a=0)} \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0}_{6, 9} 18 (B_8 \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not= 0}_{6, 10} 18 (B_{8(a=1)} \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0}_{6, 11} 18 (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not= 0}_{6, 12} 18 (C_{10}\oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not =0, c \not= 0, d \not= 0}_{6, 13} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 14} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A^{a \not= 0, b \not =0, c \not= 0, d \not= 0}_{6, 15} 10 (A_{5, 4}\oplus \mbox{ $\Bbb R$ }^{3}) \rtimes \mbox{ $\Bbb R$ }^2
    A^{a \not= 0, b \not = 0}_{6, 16} 20 (\mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^6) \rtimes sl(2, \mbox{ $\Bbb R$ })
    A^{a \not= 0}_{6, 17} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a = 0}_{6, 17} 26 (\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 18} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A_{6, 19} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7

     | Show Table
    DownLoad: CSV

    In future work, we intend to consider the problem in dimension n . For an n dimensional solvable Lie algebra with co-dimension two abelian nilrdical and abelian complement, we plan to construct the system of geodesic equations in general, the Lie invariance conditions, and try to integrate, to the extent possible, the system of partial differential equations and obtain general results.

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

    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.

    The authors declare that they have no conflicts of interest.



    [1] O. Bouftouth, S. Kabbaj, T. Abdeljawad, A. Khan, Quasi controlled K -metric spaces over C^{\ast}-algebras with an application to stochastic integral equations, CMES Comput. Model. Eng. Sci., 135 (2023), 2649–2663. https://doi.org/10.32604/cmes.2023.023496 doi: 10.32604/cmes.2023.023496
    [2] K. Gopalan, S. T. Zubair, T. Abdeljawad, New fixed point theorems in operator valued extended hexagonal b-like metric spaces, Palestine J. Math., 11 (2022), 48–56.
    [3] K. Ullah, J. Ahmad, M. Arshad, Z. H. Ma, Approximation of fixed points for enriched Suzuki nonexpansive operators with an application in Hilbert spaces, Axioms, 11 (2022), 14. https://doi.org/10.3390/axioms11010014 doi: 10.3390/axioms11010014
    [4] S. Banach, Sur les operations dans les ensembles abstraits et leur application aux equations integrales, Fund. Math., 3 (1922), 133–181. http://eudml.org/doc/213289
    [5] F. E. Browder, Nonexpansive nonlinear operators in a Banach space, Proc. Natl. Acad. Sci., 54 (1965), 1041–1044. https://doi.org/10.1073/pnas.54.4.1041 doi: 10.1073/pnas.54.4.1041
    [6] S. Reich, The fixed point property for nonexpansive mappings I, Amer. Math. Monthly, 83 (1976), 266–268. https://doi.org/10.1080/00029890.1976.11994096 doi: 10.1080/00029890.1976.11994096
    [7] T. Suzuki, Fixed point theorems and convergence theorems for some generalized non-expansive mapping, J. Math. Anal. Appl. 340 (2008), 1088–1095. https://doi.org/10.1016/j.jmaa.2007.09.023 doi: 10.1016/j.jmaa.2007.09.023
    [8] R. P. Agarwal, D. O'Regon, D. R. Sahu, Iterative construction of fixed points of nearly asymptotically nonexpansive mappings, J. Nonlinear Convex Anal., 8 (2007), 61–79.
    [9] M. A. Noor, New approximation schemes for general variational inequalities, J. Math. Anal. Appl., 251 (2000), 217–229. https://doi.org/10.1006/jmaa.2000.7042 doi: 10.1006/jmaa.2000.7042
    [10] B. S. Thakur, D. Thakur, M. Postolache, A new iterative scheme for numerical reckoning fixed points of Suzuki's generalized nonexpansive mappings, Appl. Math. Comput., 275 (2016), 147–155. https://doi.org/10.1016/j.amc.2015.11.065 doi: 10.1016/j.amc.2015.11.065
    [11] J. Ahmad, K. Ullah, Z. H. Ma, A new iterative method for Suzuki mappings in Banach spaces, J. Math., 2021 (2021), 6622931. https://doi.org/10.1155/2021/6622931 doi: 10.1155/2021/6622931
    [12] H. A. Hammad, H. Ur Rehman, M. Zayed, Applying faster algorithm for obtaining convergence, stability, and data dependence results with application to functional-integral equations, AIMS Mathematics, 7 (2022), 19026–19056. https://doi.org/10.3934/math.20221046 doi: 10.3934/math.20221046
    [13] H. A. Hammad, H. Ur Rehman, M. De la Sen, A novel four-step iterative scheme for approximating the fixed point with a supportive application, Inf. Sci. Lett., 10 (2021), 333–339. http://doi.org/10.18576/isl/100214 doi: 10.18576/isl/100214
    [14] H. A. Hammad, H. Ur Rehman, M. De la Sen, Shrinking projection methods for accelerating relaxed inertial Tseng-type algorithm with applications, Math. Probl. Eng., 2020 (2020), 7487383. https://doi.org/10.1155/2020/7487383 doi: 10.1155/2020/7487383
    [15] T. M. Tuyen, H. A. Hammad, Effect of shrinking projection and CQ-methods on two inertial forward-backward algorithms for solving variational inclusion problems, Rend. Circ. Mat. Palermo (2), 70 (2021), 1669–1683. https://doi.org/10.1007/s12215-020-00581-8 doi: 10.1007/s12215-020-00581-8
    [16] R. Pandey, R. Pant, V. Rakocevic, R. Shukla, Approximating fixed points of a general class of nonexpansive mappings in Banach spaces with applications, Results Math., 74 (2019), 7. https://doi.org/10.1007/s00025-018-0930-6 doi: 10.1007/s00025-018-0930-6
    [17] S. Reich, Some remarks concerning contraction mappings, Canad. Math. Bull., 14 (1971), 121–124. https://doi.org/10.4153/CMB-1971-024-9 doi: 10.4153/CMB-1971-024-9
    [18] W. R. Mann, Mean value methods in iteration, Proc. Amer. Math. Soc., 4 (1953), 506–510. https://doi.org/10.1090/S0002-9939-1953-0054846-3 doi: 10.1090/S0002-9939-1953-0054846-3
    [19] S. Ishikawa, Fixed points by a new iteration method, Proc. Amer. Math. Soc., 44 (1974), 147–150. https://doi.org/10.1090/S0002-9939-1974-0336469-5 doi: 10.1090/S0002-9939-1974-0336469-5
    [20] M. Abbas, T. Nazir, A new faster iteration process applied to constrained minimization and feasibility problems, Mat. Vestn., 66 (2014), 223–234. http://hdl.handle.net/2263/43663
    [21] K. Goebel, S. Reich, Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, 1983.
    [22] J. A. Clarkson, Uniformly convex spaces, Trans. Amer. Math. Soc., 40 (1936) 396–414. https://doi.org/10.1090/S0002-9947-1936-1501880-4 doi: 10.1090/S0002-9947-1936-1501880-4
    [23] Z. Opial, Weak convergence of the sequence of successive approximations for nonexpansive mappings, Bull. Amer. Math. Soc., 73 (1967), 591–597. https://doi.org/10.1090/S0002-9904-1967-11761-0 doi: 10.1090/S0002-9904-1967-11761-0
    [24] R. P. Agarwal, D. O'Regan, D. R. Sahu, Fixed Point Theory for Lipschitzian-Type Mappings with Applications, New York: Springer, (2009).
    [25] K. Deimling, Nonlinear Functional Analysis, Heidelberg: Springer Berlin, 1985. https://doi.org/10.1007/978-3-662-00547-7
    [26] R. Pant, R. Pandey, Existence and convergence results for a class of nonexpansive type mappings in hyperbolic spaces, Appl. Gen. Topol., 20 (2019), 281–295. http://doi.org/10.4995/agt.2019.11057 doi: 10.4995/agt.2019.11057
    [27] J. Schu, Weak and strong convergence to fixed points of asymptotically nonexpansive mappings, Bull. Aust. Math. Soc., 43 (1991), 153–159. https://doi.org/10.1017/S0004972700028884 doi: 10.1017/S0004972700028884
    [28] H. F. Senter, W. G. Dotson, Approximating fixed points of nonexpansive mappings, Proc. Amer. Math. Soc., 44 (1974), 375–380. https://doi.org/10.2307/2040440 doi: 10.2307/2040440
    [29] A. M. A. El-Sayed, Y. M. Y. Omar, On the weak solutions of a delay composite functional integral equation of Volterr-Stieljes type in reflexive Banach space, Mathematics, 10 (2022), 245. https://doi.org/10.3390/math10020245 doi: 10.3390/math10020245
    [30] J. Banas, K. Sadarangani, Solvability of Volterra-Stieljes operator-integral equations and their application, Comput. Math. Appl., 41 (2001), 1535–1544. https://doi.org/10.1016/S0898-1221(01)00118-3 doi: 10.1016/S0898-1221(01)00118-3
    [31] H. A. Hammad, H. Ur Rehman, M. De la Sen, A New four-step iterative procedure for approximating fixed points with application to 2D Volterra integral equations, Mathematics, 10 (2022), 4257. https://doi.org/10.3390/math10224257 doi: 10.3390/math10224257
    [32] H. A. Hammad, M. Zayed, Solving a system of differential equations with infinite delay by using tripled fixed point techniques on graphs, Symmetry, 14 (2022), 1388. https://doi.org/10.3390/sym14071388 doi: 10.3390/sym14071388
    [33] H. A. Hammad, P. Agarwal, S. Momani, F. Alsharari, Solving a fractional-order differential equation using rational symmetric contraction mappings, Fractal Fract, 5 (2021), 159. https://doi.org/10.3390/fractalfract5040159 doi: 10.3390/fractalfract5040159
    [34] H. A. H. Saleem, A. M. A. El-Sayed, Weak solution for fractional order integral equations in reflexive Banach spaces, Math. Slovaca, 55 (2005), 169–181. http://eudml.org/doc/31966
  • This article has been cited by:

    1. Nouf Almutiben, Ryad Ghanam, G. Thompson, Edward L. Boone, Symmetry analysis of the canonical connection on Lie groups: six-dimensional case with abelian nilradical and one-dimensional center, 2024, 9, 2473-6988, 14504, 10.3934/math.2024705
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

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

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1658) PDF downloads(62) Cited by(2)

Article outline

Figures and Tables

Figures(1)  /  Tables(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog