Symmetry Classification of First Integrals for Scalar Linearizable Second-Order ODEs

Symmetries of the fundamental first integrals for scalar second-order ordinary differential equations ODEs which are linear or linearizable by point transformations have already been obtained. Firstly we show how one can determine the relationship between the symmetries and the first integrals of linear or linearizable scalar ODEs of order two. Secondly, a complete classification of point symmetries of first integrals of such linear ODEs is studied. As a consequence, we provide a counting theorem for the point symmetries of first integrals of scalar linearizable second-order ODEs. We show that there exists the 0-, 1-, 2-, or 3-point symmetry cases. It is shown that the maximal algebra case is unique.


Introduction
First integrals or constants of the motion of ordinary differential equations ODEs are quite an active and interesting area of research at the present time.Whenever one is dealing with differential equations and especially with their solutions, you have to deal with first integrals.In fact, first integrals are the first primary steps towards finding the solutions of differential equations.First integrals have great importance in mechanics as it deals with second-order systems of equations and constants of the motion.The maximum number of symmetries for scalar nth-order ODEs was investigated by Lie 1 see Mahomed 2 .Lie showed that scalar first-order ODEs have infinite number of point symmetries.In the case of scalar second-order ODEs Lie proved that the maximum is eight, and this is achieved by the free particle and indeed linearizable by point transformation equations.In recent work by Mahomed and Leach 3 , they discovered the symmetries of the maximal cases of scalar linear nth-order ODEs, n ≥ 3.These cases are n 1, n 2, and n 4.There is yet another contribution by Leach and Mahomed 4 , in which they have found that the Lie algebra of the fundamental first integrals and their quotient of scalar linear second-order ODEs are three-dimensional and have very interesting properties.This also applies to linearizable by invertible transformations second-order ODEs which are given as examples in their paper.In the case of scalar third-order linear ODEs, Govinder and Leach 5 provided the algebraic structure of the basic first integrals.They showed that in the three equivalence classes each has certain first integrals with a specific number of point symmetries.So far, none of these authors consider the classification of the symmetries of first integrals of scalar linear nthorder ODEs, n ≥ 1, nor even investigate what could be the maximal numbers of symmetries for the first integrals of these linear or linearizable equations.They do give insights into the algebraic structure of the fundamental first integrals and in some cases their quotients.
In this paper we give the complete classification of point symmetries for the first integrals of scalar linear second-order ODEs and the relationship between the symmetries and first integrals.For this purpose we use the projective transformations to find the different cases of symmetries for the first integrals of scalar second-order ODEs which are linear or linearizable by point transformations.Since all scalar second-order ODEs which are linear or linearizable by point transformations are transformable to the free particle equation, we utilize this as our base ODE.We find that there are the no-symmetry, one-symmetry, twosymmetry, and unique three-symmetry cases.
It is well known that the second-order ODE E x, y, y , y 0 1.1 is invariant under the infinitesimal generator if and only if where in which D x is the total differentiation operator, is called the second prolongation of the generator X.
Now we can say that 1.2 is the point symmetry of 1.1 , whereas, in the case of first integrals, the first integral of the ODE 1.1 , is annihilated by X, that is, 1.2 is the symmetry generator of 1.6 if and only if Here X annihilates I and does not leave it invariant as in the case of symmetries of equations.Note that the procedure for finding symmetries of ODEs is different to that of finding symmetries of first integrals.In fact the symmetries of the first integrals are a subalgebra of the symmetries of the equation itself see Kara and Mahomed 6 .
It is essential to point out that 1.1 is linearizable by point transformation to the free particle equation if and only if it is cubic in the first derivatives as where the functions from A to D satisfy the invariant conditions see Tresse 7 and also 8 1.9 As an example we revisit the well-known modified Emden equation which has eight point symmetries 9 y 3yy y 3 0.

1.10
This ODE satisfies 1.8 and 1.9 and is reducible to the free particle equation y 0 via the map see 9 Therefore in the sequel we consider the free particle equation as representative of all linearizable by point transformations scalar second-order ODEs.
In the next section we give the classifying relation for the symmetries of the first integrals of the free particle equation.

Symmetries of the Fundamental First Integrals
We consider the free particle equation which has the maximum number of symmetries, namely, eight given by we list them here as we use these in what follows

2.2
It is clear that the free particle equation 2.1 has two functionally independent first integrals

2.3b
The first integral 2.3a has three symmetries 4 and 2.3b also has three symmetries 4

2.5
We observe that the symmetries of the first integral of 2.3a are the same as that of 2.3b if we multiply the symmetries of 2.3a by x which is the multiplier or characteristic of the free particle equation that results in the integral I 2 .
Let us see what happens if we find the symmetries of the quotient of the first integrals 2.3a and 2.3b , namely, As shown in 4 , 2.6 possesses three symmetries as well.These are which are the same as the symmetries 2.4 if we multiply the symmetries of 2.3a by y.However, this is not a multiplier of our equation.It was demonstrated, in the seminal paper 4 , that the Lie algebras of the symmetries of the first integrals I 1 , I 2 and their quotient I 2 /I 1 are isomorphic.Also each triplet 2.4 , 2.5 , and 2.7 can be mapped into the other by a projective transformation.Furthermore, it was noted in 4 that the three triplets together generate the Lie algebra sl 3, R of the free particle equation.

Classifying Relation for the Symmetries
We know see 4 the symmetries of the functionally independent first integrals I 1 and I 2 or their quotient of the free particle equations.These are what we briefly reviewed and commented on in the previous section.Now the question arises if we want to know the symmetry properties of say the product I 1 I 2 .We then need to compute them from first principles by using the symmetry condition.Instead of doing this each time from the beginning principles, can one obtain the relationship between the symmetries and first integrals?This is what we do here.The benefit of having such a relation enables us to also classify the first integrals of the free particle equation in terms of their point symmetries.
Let then F be an arbitrary function of I 1 and I 2 , namely, F F I 1 , I 2 .The symmetry of this general function of the first integrals is where

3.3
These are the coefficients of X 1 which are obtained by setting where X i s are the free particle symmetries as given in 2.2 , and the a i s are constants.The reason for this is that the symmetries of the first integrals are always the symmetries of the free particle equation see 6 .
After substituting the values of X 1 I 1 , X

3.5
Then by using the relations I 1 y and I 2 xy − y from 2.3a and 2.3b , we finally arrive at the classifying relation

3.6
The relation 3.6 provides the relationship between the symmetries and first integrals of the free particle equation.We remind the reader that any symmetry of a first integral of the free particle equation is contained in the condition 3.6 .We use this to classify the first integrals according to their symmetries.

Symmetry Structure of First Integrals
We invoke the classifying relation 3.6 to establish the number of symmetries possessed by the first integrals of the free particle equation.
There arise four cases.
Case 1 no symmetry .If F is any arbitrary function of I 1 and I 2 , then F I 1 and F I 2 are not related to each other.In this case we have from 3.6 that

4.1
It is easy to see from 4.1 that all the as are zero.Therefore there exists no symmetry for this case.
As an illustrative example, if we take F I 1 ln I 2 , then 3.6 yields

4.2
This straightforwardly results in all the as being zero.
The results here are quite unexpected and surprising.One will not have imagined a zero symmetry case for a first integral of the simplest equation!The consequence of this is as follows.
If we set the first integral to be a constant as in the example, we have To integrate this kind of messy integral 4.3 and find the solution of the free particle equation from it is not easy.But this difficulty is avoidable.One does not usually obtain complicated first integral such as 4.3 in ones computation in the first place by using the approaches such as the direct method, Noether's theorem, and multiplier approach.
Case 2 one Symmetry .Firstly we notice that if F satisfies the classifying relation 3.6 , then X, which is a linear combination of the free particle generators, is a symmetry of this classifying relation.We also observe from 3.6 that if one has any of the free symmetry generators X i as a symmetry of a first integral of the equation, then one ends up with three symmetries!That is one can have more than one symmetry.Say if we take a 2 arbitrary, that is, X ∂/∂y, then 3.6 yields since ∂F/∂I 2 0 and ∂F/∂I 1 / 0 which in turn implies that a 1 is arbitrary and a 3 a 4 as well.Thus we get more than one symmetry.
We in fact arrive at the three symmetries given in 2.4 .The same applies for the other symmetries taken one at a time.
However, we do have several cases when exactly one symmetry occurs.If we take F I 1 I 2 or any function of the product, then the relation 3.As a matter of interest there are infinitely many one-symmetry cases.
To see this we consider the first integral The relation 3.6 then yields

4.9
Separation with respect to powers of I 1 and I 2 gives rise to aa 1 a 5 .Therefore we have the parameter-dependent symmetry X X 1 aX 5 .

4.10
Yet a more complicated one is X X 1 aX 5 aX 6 , a / 0.

4.11
This symmetry is associated with the first integral which can be constructed just as before.Similarly, there are many possibilities for one symmetry.
Therefore the one symmetry case is not unique.Next we discuss the two symmetry case.
Case 3 two symmetries .We have already seen from Case 2 that the translations in x and y symmetries further imply the uniform scaling symmetry.Thus one cannot have two symmetries of translations alone that are associated with a first integral of the free particle equation.Likewise the same applies for the translations in y and the uniform scaling symmetries.
Further if we have the symmetries which forms a two-dimensional non-Abelian algebra.Here again this two-dimensional algebra is not admitted by any integral of the equation.

Journal of Applied Mathematics
So when do two symmetries occur for a first integral of the free particle equation?From the above it is clear that the simple type of symmetry combinations does not form two symmetries of an integral.Thus there have to be combinations of the symmetries.One such combination is

4.16
The Lie algebra formed by 4.16 is two dimensional with commutator X, Y −Y .Here the combination of symmetries means that a 3 −a 1 and a 5 −a 2 .The use of these in the relation 3.6 forces F to satisfy the one condition ∂F ∂I 1 ∂F ∂I 2 0, 4.17 which gives the independent integral

4.18
Hence this F admits two symmetries.
We now look at a case in which at least one of the symmetries has a parameter in it.This is provided by the operators X X 1 aX 6 , a / 0 Y X 2 aX 4 .

4.19
The symmetries 4.19 span a two-dimensional algebra with X, Y −aX.

4.20
Here F is given by We conclude by saying that the two symmetry case is not unique.
Case 4 three symmetry .We now present a detailed study of possible three-dimensional algebra of symmetries admitted by first integrals of the free particle equation.Two essential deductions come out of our analysis.Firstly we show that the three-dimensional algebra admitted by a first integral is unique.Secondly we prove that three is the maximal dimension admitted by any integral.We utilize the realizations of three-dimensional Lie algebras in the real plane given by Mahomed and Leach 10 .However, we use the notation given in and Mahomed  Mahomed 2 , that is, L α 3;i , where 3 refers to the dimension of the algebra, i to the number of the algebra in some given ordering and α is the realization as an algebra may have more than one realization.For example, L II 3;4 denotes the second realization of the fourth Lie algebra of dimension 3.
All canonical forms of three-dimensional real Lie algebras in the plane is given in Table 1.This is taken from 2 .
Remark 4.1.We point out that the Lie algebras L 3;1 and L IV 3;8 are not admitted by any scalar second-order ODE.Hence we do not consider these hereafter see 10 .3;8 , are free particle symmetry generators.We utilize these in our analysis below.

Instead of using the realizations
As L 3;1 is not admitted by the free particle equation, we begin with L 3;2 .We want this algebra to be admitted by a first integral of the free particle equation.We utilize the classifying relation 3.6 .Therefore a 1 , a 2 , and a 5 are arbitrary which imply that F is constant.Hence this algebra is not admitted by any first integral.
The same applies to the algebras L I 3;3 , L II 3;3 , L I 3;4 , L II 3;4 , L II 3;5 , L I 3;6 , L II 3;6 , L I 3;7 , L II 3;7 and L I 3;8 .We separately consider the algebra L II 3;8 .We show that this algebra is not admitted by an integral as well.For what follows we utilize the free particle representation 4.23 .We find that these operators correspond to a 1 a 5 , 2a 3 a 4 , and a 6 −a 7 .The substitution of the latter in the relation 3.6 results in the three conditions on F, namely,

4.25
The first two imply that F is constant which satisfy the third.Thus there is no algebra of this type admitted by a first integral of the free particle equation.The analysis for L III 3;8 is similar and this algebra too is not admitted.
For L 3;9 , the operators imply that a 6 −a 5 , a 7 a 1 , and a 8 a 2 , the insertion of which into the relation 3.6 gives a condition on F with a 1 , a 2 , and a 5 arbitrary.Then the result that F must be constant arises.Thus this algebra is not admitted as well.
In the case of L I 3;5 we have that I 1 has this algebra.This is precisely the algebra of the symmetries given in 2.4 .We mention that the symmetries given in 2.5 and 2.7 also form the algebra L I 3;5 as a projective transformation see 4 maps each of the representations to the one given in 2.4 .
In conclusion, we have that the only three-dimensional algebra admitted by a first integral of the free particle equation is L I 3;5 .We can state the following theorems.

Theorem 4.2. A first integral of the free particle or any scalar linearizable, by point transformation, second-order ODE admits a three-dimensional algebra if and only if the algebra is L
The proof follows from the preceding discussion.Also we note that this algebra L I 3;5 is admitted by the integrals I 1 , I 2 or I 2 /I 1 .
Theorem 4.3.The maximum dimension of the algebra admitted by any first integral of the free particle or any scalar linearizable, by point transformation, second-order ODE is three, and the algebra is L I 3;5 .
Proof.A first integral of the free particle or scalar second-order ODE, which is linearizable by point transformation, cannot admit a maximal algebra of dimension more than three since the functionally independent integrals or their quotient has the unique three-dimensional algebra which corresponds to L I 3;5 .The other integrals possess lower-dimensional algebras.

Concluding Remarks
In this work we have provided the algebraic structure of first integrals of the free particle or any scalar linearizable, via point transformation, ODE.Firstly, we derived the relationship between the symmetries and the first integrals of the free particle equation.By analyzing this classifying relation 3.6 , we were able to establish the number of symmetries possessed by any first integral of the free particle equation.We obtained the important result that the symmetries admitted by a first integral can be 0, 1, 2, or 3.It was observed that the zero symmetry case was rather surprising or unexpected as one does not have a route to the integration of the equation due to the lack of any symmetry and this too for the simplest equation.The one-and two-symmetry cases were not unique; there were many first integrals with differing one-and two-symmetry structures.These were carefully discussed.Finally, we studied completely the situation when a first integral has three symmetries.We used the classification of realizations in the plane adapted as free particle symmetries.We showed that the only three-dimensional algebra admitted by a first integral of the free particle equation is L I 3;5 which is admitted by the functionally independent integrals I 1 and I 2 as well as their quotient I 2 /I 1 .Although this triplet of symmetries was discovered before in the seminal work of Leach and Mahomed 4 , these authors did not prove that it was unique nor the maximum algebra.However, they did emphasize the important result that the algebras of the triplets of symmetries were isomorphic and that the three triplets of symmetries generate the sl 3, R symmetry of the equation.We showed that the maximum algebra is indeed the threedimensional algebra L I 3;5 by completely analyzing all representations of the three-dimensional algebras.

y A x, y y 3 B x, y y 2 C
1 I 2 as in 3.2 , with ξ, η, and ζ x as in 3.3 , in 3.1 , we get after some calculations −y a 3 y a 4 a 5 − y − a 2 ya 4 xa 5 xya 7 y 2 a 8 ∂F ∂I 2 0.

Table 1 :
Realizations of three-dimensional algebras in the real plane.