Next Article in Journal
A Shortcut Method to Solve for a 1D Heat Conduction Model under Complicated Boundary Conditions
Next Article in Special Issue
Regularity and Decay of Global Solutions for the Generalized Benney-Lin Equation Posed on Bounded Intervals and on a Half-Line
Previous Article in Journal
On Entire Function Solutions to Fermat Delay-Differential Equations
Previous Article in Special Issue
Finite Time Blowup in a Fourth-Order Dispersive Wave Equation with Nonlinear Damping and a Non-Local Source
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

On the Method of Differential Invariants for Solving Higher Order Ordinary Differential Equations

by
Winter Sinkala
* and
Molahlehi Charles Kakuli
Department of Mathematical Sciences and Computing, Faculty of Natural Sciences, Walter Sisulu University, Private Bag X1, Mthatha 5117, South Africa
*
Author to whom correspondence should be addressed.
Axioms 2022, 11(10), 555; https://doi.org/10.3390/axioms11100555
Submission received: 24 September 2022 / Revised: 11 October 2022 / Accepted: 12 October 2022 / Published: 14 October 2022
(This article belongs to the Special Issue Higher Order Differential Equations)

Abstract

:
There are many routines developed for solving ordinary differential Equations (ODEs) of different types. In the case of an nth-order ODE that admits an r-parameter Lie group ( 3 r n ) , there is a powerful method of Lie symmetry analysis by which the ODE is reduced to an ( n r ) th-order ODE plus r quadratures provided that the Lie algebra formed by the infinitesimal generators of the group is solvable. It would seem this method is not widely appreciated and/or used as it is not mentioned in many related articles centred around integration of higher order ODEs. In the interest of mainstreaming the method, we describe the method in detail and provide four illustrative examples. We use the case of a third-order ODE that admits a three-dimensional solvable Lie algebra to present the gist of the integration algorithm.

1. Introduction

The study of ODEs poses significant challenges, especially in cases involving equations of higher order that are nonlinear. As a result, various methods have been proposed for investigating different types of ODEs. Chandrasekar et al. [1], for example, propose a method that unifies and generalises known linearising transformations for finding general solutions of third-order nonlinear ODEs. Related work is done by Mohanasubha et al. [2] who propose a method of solution that involves deriving linearising transformations for a class of second-order nonlinear ordinary differential equations. In [3], conditions are provided for the linearisation of third-order ODEs by tangent transformations (see also the references in [3] for related work on the problem of transforming a given differential equation into a linear equation). It turns out that “symmetry properties", which are central in Lie symmetry analysis of differential equations, by and large, provide a basis for systematically solving the majority of ordinary differential equations for which exact solutions can be found [3,4,5,6,7,8,9,10,11,12,13].
There are several ways in which the symmetry group associated with a differential equation can be used to analyse the equation. For a given differential equation, the symmetry group may be used to derive new solutions of the equation from old ones [5,7], to reduce the order of the equation [5,7,8] or to establish whether or not the equation can be linearised, and to construct explicit linearisations when such exist [14,15,16]. Other uses include the derivation of conserved quantities [7].
Many symmetry-based approaches for solving ODEs involve reduction of order, whereby for a given ODE of order n , the problem is reduced to that of solving one or more ODEs of order at most n 1 . Lie symmetry analysis has well-established algorithms for solution methods based on reduction of order. It is well known, in particular, that if an nth-order ODE admits a one-parameter Lie symmetry group, then the order of the equation can be reduced by one. The method of differential invariants extends this in that an ODE of order n is reduced to an ODE of order n 1 plus r quadratures (where 3 r n ) provided that the ODE is invariant under an r-parameter Lie group whose infinitesimal generators form an r-dimensional solvable Lie algebra [5,12,17]. The method is essentially a general integration procedure for solving (or, at least, reduction of order of) any higher order ODE that admits a solvable lie algebra of the right dimension. It consists of a number of successive iterations that reduce the problem to integration of a number of first-order ODEs each of which has an admitted Lie point symmetry. Therefore, each of the first-order ODEs may be integrated routinely using the admitted Lie point symmetry [4,5,6,7,8,9]. It seems that the method of differential invariants has not been used widely to study higher order ODEs as we could not find many applications in the literature.
In this paper, we describe the method of differential invariants and provide four instructive examples involving nonlinear third-order ODEs that arise in different contexts.
The rest of the article is organised as follows: In Section 2, we present the algorithm of the method of differential invariants in the case where a third-order ODE admits a three-dimensional solvable Lie algebra. In Section 3, we provide four illustrative examples. We give concluding remarks in Section 4.

2. Reduction Algorithm for an n th-Order ODE ( n 3 ) with a Solvable Lie Algebra

Let us assume that an nth-order ODE admits an r-parameter Lie group of transformations. There is a reduction algorithm [5] by means of which the ODE can be reduced to an ( n 1 ) th-order ODE plus r quadratures provided that the infinitesimal generators of the admitted Lie group form an r-dimensional solvable Lie algebra. We present the reduction algorithm in the simplified case involving a third-order ODE that admits a 3-parameter solvable Lie algebra. In this case, the reduction algorithm results in the general solution of the ODE.
Consider a third-order
f ( x , y , y , y , y ) = 0
that admits a 3-parameter Lie group of point transformations, and for which the associated infinitesimal generators Y 1 , Y 2 , Y 3 form a solvable Lie algebra. Without loss of generality, we can assume that the infinitesimal generators have the following commutation relations:
[ Y i , Y j ] = k = 1 j 1 C i j k Y k , 1 i < j , j = 2 , 3 .
for some real structure constants C i j k [5].
Let r 1 ( x , y ) , v 1 ( x , y , y ) be such that
Y 1 r 1 = 0 , Y 1 ( 1 ) v 1 = 0 ,
so that
w 1 = d v 1 d r 1
is a differential invariant, i.e., Y 1 ( 2 ) w 1 = 0 . In terms of the invariants r 1 and v 1 , and the differential invariant w 1 , (1) is reduced to a second-order ODE
w 1 = ψ 1 ( r 1 , v 1 ) ,
for some function ψ 1 . Writing Y 2 ( 1 ) in terms of r 1 and v 1 , we obtain
Y 2 ( 1 ) = α 1 ( r 1 ) r 1 + β 1 ( r 1 , v 1 ) v 1 ,
with the first extension given by
Y 2 ( 2 ) = Y 2 ( 1 ) + γ 1 ( r 1 , v 1 , w 1 ) w 1 ,
where
α 1 ( r 1 ) = Y 2 r 1 , β 1 ( r 1 , v 1 ) = Y 2 ( 1 ) v 1 , γ 1 ( r 1 , v 1 , w 1 ) = Y 2 ( 2 ) w 1 ,
for some functions α 1 , β 1 and γ 1 . It is noteworthy that (5) is admitted by Equation (4).
Let r 2 ( r 1 , v 1 ) , v 2 ( r 1 , v 1 , w 1 ) be such that
Y 2 ( 1 ) r 2 = 0 , Y 2 ( 2 ) v 2 = 0 ,
so that
w 2 = d v 2 d r 2
is a differential invariant, i.e., Y 2 ( 3 ) w 2 = 0 . In terms of the invariants r 2 , v 2 and w 2 , the ODE (1) reduces to a first-order ODE
w 2 = ψ 2 ( r 2 , v 2 ) ,
for some function ψ 2 . Writing Y 3 ( 2 ) in terms of r 2 and v 2 , we obtain
Y 3 ( 2 ) = α 2 ( r 2 ) r 2 + β 2 ( r 2 , v 2 ) v 2 ,
with the first extension given by
Y 3 ( 3 ) = Y 3 ( 2 ) + γ 2 ( r 2 , v 2 , w 2 ) w 2 ,
where
α 2 ( r 2 ) = Y 3 ( 1 ) r 2 , β 2 ( r 2 , v 2 ) = Y 3 ( 2 ) v 2 , γ 2 ( r 2 , v 2 , w 2 ) = Y 3 ( 3 ) w 2 ,
for some functions α 2 , β 2 and γ 2 . Here also (9) is admitted by Equation (8).
In light of the admitted symmetry (10), the first-order Equation (8) can be integrated routinely to give a solution of the form
v 2 = ω 2 ( r 2 )
for some function ω 2 . Expressing (11) in terms of v 1 and r 1 , we obtain a first-order ODE
d v 1 d r 1 = ψ 1 ( v 1 , r 1 ) ,
i.e., we determine the hitherto unknown function ψ 1 in (4). Solving Equation (12), we obtain a solution of the form
v 1 = ω 1 ( r 1 )
for some function ω 1 . Again, the solution (13) can be expressed in terms of x and y to obtain the last first-order ODE in the form
d y d x = ψ 0 ( x , y ) ,
for some function ψ 0 . Equation (14) admits Y 1 and, when solved, provides the general solution of Equation (1).

3. Illustrative Examples

In this section, we use the method of differential invariants to find general solutions of four third-order ODEs, each of which admits a symmetry Lie algebra of order greater than three. In each case, we identify a three-dimensional solvable subalgebra and use it to perform complete integration of the ODE.
Example 1.
Consider the ODE
y 2 y 2 y y 2 + y y y = 0 ,
which arises in the context of group classification of the 1 + 1 Fokker–Planck diffusion-convection equation [18]
θ t = D ( θ ) θ z z K ( θ ) θ z ,
where t is time, z is the depth, θ ( t , z ) is the volumetric soil water content, D ( θ ) is the soil water diffusivity and K ( θ ) is the hydraulic conductivity, with K ( θ ) = d K d θ 0 .
Besides the translation symmetries
X 1 = z a n d X 2 = t ,
which are clearly admitted by (16), additional symmetries are possible only if D solves this third-order nonlinear ODE [19]
D ( θ ) 2 D ( θ ) 2 D ( θ ) D ( θ ) 2 + D ( θ ) D ( θ ) D ( θ ) = 0 ,
which is Equation (15) with θ and D replaced with x and y , respectively.
Equation (15) admits a four-dimensional symmetry Lie algebra spanned by the operators
X 1 = x , X 2 = x x , X 3 = y y , X 4 = y ln y y .
We use the solvable algebra X 1 , X 3 , X 4 , for which
[ X 3 , X 4 ] = X 3
is the only nonzero Lie bracket. We relabel the symmetries as follows:
X 3 Y 1 , X 4 Y 2 , X 1 Y 3 ,
to ensure that the commutation relations of the operators Y 1 , Y 2 and Y 3 satisfy (2).
To carry out the reduction algorithm, we first need the following extended infinitesimal generators:
Y 1 ( 1 ) = y y + y y Y 2 ( 2 ) = y ln y y + y 1 + ln y y + y 2 y + y + y ln y y Y 3 ( 3 ) = x .
Starting with Y 1 ( 1 ) , we solve the corresponding characteristic equations
d x 0 = d y y = d y y
to obtain invariants
r 1 = x , v 1 = y y ,
and derive the differential invariant
w 1 = d v 1 d r 1 = y y ( y ) 2 y 2 .
Writing Y 2 ( 2 ) in terms of r 1 , v 1 and w 1 , we obtain
Y 2 ( 2 ) = v 1 v 1 + w 1 w 1 .
From the corresponding characteristic equation
d r 1 0 = d v 1 v 1 = d w 1 w 1 ,
we obtain invariants
r 2 = r 1 a n d v 2 = w 1 v 1 ,
which, in view of (23), can be written in terms of x , y , y and y as follows:
r 2 = x a n d v 2 = y y ( y ) 2 y y .
From (28) we derive the differential invariant
w 2 = d v 2 d r 2 = ( y ) 2 y 2 y y + y y ( y ) 2 ( y ) 2 .
Equation (15) can now be reduced into a first-order ODE of the form
d v 2 d r 2 = ψ 2 ( r 2 , v 2 )
for some function ψ 2 . To find ψ 2 , we express Equation (15) as
y = 2 y ( y ) 2 ( y ) 2 y y y .
and replace y in (29) by the right hand-side of (30). We obtain
d v 2 d r 2 = y y ( y ) 2 y y 2 = v 2 2 ,
which is a first-order ODE that admits Y 3 ( 2 ) written in terms of r 2 and v 2 , i.e.,
Y 3 ( 2 ) = r 2 .
Solving (31) we obtain
v 2 = 1 r 2 + κ 1 ,
where κ 1 is an arbitrary constant. In terms of r 1 and v 1 , Equation (33) is transformed, via (27), into another first-order ODE,
d v 1 d r 1 = v 1 r 1 + κ 1 ,
which admits symmetry (25). Equation (34) is another simple ODE, the solution of which is
v 1 = κ 2 r 1 + κ 1 ,
where κ 2 is another arbitrary constant. Using (23), we write (35) as a first-order ODE in the variables x and y , namely
y = κ 2 y x + κ 1 ,
which admits symmetry Y 1 from (21). Equation (36) is the last first-order ODE in the series of iterations and is also a simple variables-separable equation. The solution of (36) is
y = κ 3 ( x + κ 1 ) κ 2 ,
where κ 3 is a further arbitrary constant. This is in fact the general solution of Equation (15).
Example 2.
Consider the nonlinear ODE
y = 3 2 y 2 y ,
which is the canonical form of every third ODE that admits a transitive fiber-preserving six-dimensional point symmetry group [20].
Equation (38) admits a six-dimensional symmetry Lie algebra L 6 spanned by the operators
X 1 = x X 2 = x x X 3 = x 2 x X 4 = y X 5 = y y X 6 = y 2 y .
The symmetries X 2 , X 3 and X 4 span a solvable Lie algebra which has
[ X 2 , X 3 ] = X 3
as the only nonzero Lie bracket. With relabelling
X 3 Y 1 , X 2 Y 2 , X 4 Y 3 ,
the commutation relations of the operators Y 1 , Y 2 and Y 3 satisfy (2).
We extend the identified infinitesimal generators:
Y 1 ( 1 ) = x 2 x 2 x y y Y 2 ( 2 ) = x x y y 2 y y Y 3 ( 3 ) = y .
Solving the characteristic equations
d x x 2 = d y 0 = d y 2 x y
arising from Y 1 ( 1 ) , we obtain invariants
r 1 = y , v 1 = x 2 y ,
and derive the differential invariant
w 1 = d v 1 d r 1 = x x y y + 2 .
In terms of r 1 , v 1 and w 1 , Y 2 ( 2 ) becomes
Y 2 ( 2 ) = v 1 v 1 + w 1 w 1 .
From the corresponding characteristic equation
d r 1 0 = d v 1 v 1 = d w 1 w 1 ,
we obtain the next set of invariants
r 2 = r 1 a n d v 2 = w 1 v 1 ,
which, in view of (43), can be written in terms of x , y , y and y as follows:
r 2 = y a n d v 2 = 2 y + x y x y 2 .
From (48) we derive the differential invariant
w 2 = d v 2 d r 2 = y y 3 2 y 2 y 4 2 y x y 3 2 x 2 y 2 .
Equation (38) can now be reduced into a first-order ODE of the form
d v 2 d r 2 = ψ 2 ( r 2 , v 2 )
for some function ψ 2 . To find ψ 2 , substitute out y from (49) using (38) and then use (48) to write the resulting equation in terms of r 2 and v 2 . We obtain the first-order ODE
d v 2 d r 2 = v 2 2 2 ,
which admits Y 3 ( 2 ) , written in terms of r 2 and v 2 , i.e.,
Y 3 ( 2 ) = r 2 .
The solution of (50) is
v 2 = 2 r 2 κ 1 ,
where κ 1 is an arbitrary constant. In terms of r 1 and v 1 , Equation (52) is transformed, using (47), into the next first-order ODE
d v 1 d r 1 = 2 v 1 r 1 κ 1 ,
which admits symmetry (45). Equation (53) is solved easily. We obtain
v 1 = κ 2 ( κ 1 r 1 ) 2 ,
where κ 2 is another arbitrary constant. Using (43) we write (54) as a first-order ODE in the variables x and y , namely
y = κ 2 ( y κ 1 ) 2 x 2 .
Equation (55) admits Y 1 , i.e., the symmetry X 4 from (39) and is the last ODE in the series of iterations. Furthermore, it is a variables-separable ODE, the solution of which is
y = x κ 2 κ 3 x + κ 1 ,
where κ 3 is another arbitrary constant. This is the general solution of Equation (38).
Example 3.
Consider the nonlinear ODE
y + x y 2 + 1 x y = 0 ,
an example of third-order ODEs that are equivalent to linear second-order ODEs via tangent transformations [3]. Equation (57) admits a four-dimensional symmetry Lie algebra spanned by the operators
X 1 = x 2 x + x ( y + ln x 1 ) y , X 2 = x x , X 3 = y , X 4 = x y
.
The commutator relations of X 2 , X 3 and X 4 are such that
[ X 2 , X 4 ] = X 4
is the only nonzero Lie bracket. This means that X 1 , X 2 and X 4 span a solvable Lie algebra and satisfy (2), with the following labelling:
X 4 Y 1 , X 2 Y 2 , X 3 Y 3 .
The extensions of the identified infinitesimal generators are:
Y 1 ( 1 ) = x y + y Y 2 ( 2 ) = x x y y 2 y y Y 3 ( 3 ) = y .
We solve characteristic equations
d x 0 = d y x = d y 1
associated with Y 1 ( 1 ) , we obtain invariants
r 1 = x , v 1 = y y x ,
and derive the differential invariant
w 1 = d v 1 d r 1 = y x 2 y x + y .
Writing Y 2 ( 2 ) in terms of r 1 , v 1 and w 1 , we obtain
Y 2 ( 2 ) = r 1 r 1 v 1 v 1 2 w 1 w 1 ,
for which the corresponding characteristic equations are
d r 1 r 1 = d v 1 v 1 = d w 1 2 w 1 .
We obtain from the solution of (65) invariants
r 2 = r 1 v 1 a n d v 2 = w 1 v 1 2 ,
which, in view of (62), can be written in terms of x , y , y and y as follows:
r 2 = x y y a n d v 2 = y + x ( x y y ) ( y x y ) 2 .
From (67) we derive the differential invariant
w 2 = d v 2 d r 2 = x ( y y 3 y y ) + 3 y y + x 2 2 y 2 y y y ( y x y ) 3 .
Equation (57) can now be reduced into a first-order ODE of the form
d v 2 d r 2 = ψ 2 ( r 2 , v 2 )
for some function ψ 2 . To find ψ 2 , we use (57) to substitute out y from (68) and then use (67) to write the resulting equation in terms of r 2 and v 2 . We obtain the first-order ODE
d v 2 d r 2 = ( r 2 + 2 ) v 2 + 1 r 2 ,
that admits Y 3 ( 2 ) written in terms of r 2 and v 2 , i.e.,
Y 3 ( 2 ) = r 2 + 2 r 2 v 2 + 1 r 2 2 v 2 .
The solution of (69) is
v 2 = κ 1 e r 2 r 2 + 1 r 2 2 ,
where κ 1 is an arbitrary constant. In terms of r 1 and v 1 , Equation (71) is transformed, using (66), into another first-order ODE
d v 1 d r 1 = κ 1 e r 1 v 1 r 1 v 1 + 1 r 1 2 ,
which admits symmetry (64). The solution of (72) is
e r 1 v 1 = κ 2 r 1 κ 1 ,
where κ 2 is another arbitrary constant. Finally, we use (62) to write (73) as an ODE in the variables x and y . We obtain
e x y y = x κ 2 κ 1 ,
which admits Y 1 , i.e., the symmetry X 4 from (58). The solution of (74), namely
y = x ln κ 1 x κ 2 κ 2 / κ 1 ( κ 2 x κ 1 ) 1 / x + κ 3 x , κ 1 0 ,
where κ 3 is another arbitrary constant is the general solution of Equation (57).
Example 4.
The equation we consider here
y + 3 y y y 3 y 3 y 2 y + 2 y = 0 ,
drawn from [1] admits a seven-dimensional symmetry Lie algebra spanned by the operators
X 1 = x , X 2 = 1 y y , X 3 = 2 x + y y X 4 = e x x + e x y + 1 y y , X 5 = e x x , X 6 = e x y y X 7 = e 2 x y y .
Using the solvable algebra X 1 , X 3 , X 7 , for which nonzero Lie brackets are
[ X 1 , X 7 ] = 2 X 7 and [ X 3 , X 7 ] = 2 X 7 ,
we relabel the symmetries as follows:
X 7 Y 1 , X 3 Y 2 , X 1 Y 3 ,
to ensure that the commutation relations of Y 1 , Y 2 and Y 3 satisfy (2).
As in the previous examples, the following extensions of Y 1 , Y 2 and Y 3 are needed in the calculations that follow:
Y 1 ( 1 ) = e 2 x y y + e 2 x 2 y y y 2 y Y 2 ( 2 ) = 2 x + y y + y y + y y Y 3 ( 3 ) = x .
We compute two invariants of Y 1 ( 1 ) ,
r 1 = x , v 1 = y y y 2 ,
from which we derive the differential invariant
w 1 = d v 1 d r 1 = y ( y 2 y ) + y 2 .
In terms of r 1 , v 1 and w 1 , Y 2 ( 2 ) becomes
Y 2 ( 2 ) = r 1 + v 1 v 1 + w 1 w 1 .
Invariants of (82) are
r 2 = e r 1 v 1 a n d v 2 = w 1 v 1 ,
or, in terms of x , y and the derivatives,
r 2 = y e x ( y y ) a n d v 2 = y ( y 2 y ) + y 2 y ( y y ) .
The differential invariant derived from (84) is
w 2 = d v 2 d r 2 = e x [ y 3 ( 2 y y ) y 2 2 y 2 + y ( y y ) + y 2 y 4 + y y 2 ( 2 y + y ) ] y 2 ( y y ) 2 y 2 + y ( y 3 y ) + y 2 1 .
We now use Equation (76) to substitute out y from (85) and then express the resulting equation in terms of r 2 and v 2 using (84). We obtain
d v 2 d r 2 = v 2 r 2 ,
a first-order ODE that admits Y 3 ( 2 ) written in terms of r 2 and v 2 , i.e.,
Y 3 ( 2 ) = r 2 r 2 .
The solution of (86) is
v 2 = κ 1 r 2 ,
where κ 1 is an arbitrary constant. We now use (83) to express (88) in terms of r 1 and v 1 . We obtain
d v 1 d r 1 = κ 1 e r 1 ,
which admits symmetry (82). Upon solving (89), we obtain
v 1 = κ 1 e r 1 + κ 2 ,
where κ 2 is another arbitrary constant. Using (80) we write (90) an order ODE in the variables x and y ,
y = κ 1 e x + κ 2 + y 2 y ,
which admits Y 1 , i.e., the symmetry X 7 from (77). Equation (91) is easily solved and we obtain
y = κ 3 e 2 x 2 κ 1 e x κ 2 1 / 2 ,
where κ 3 is another arbitrary constant. This is in fact the general solution of Equation (76).

4. Concluding Remarks

In this paper, we have provided a clear exposition of the method of differential invariants for integrating (or, at least, reduction of order of) any higher order ODE that admits a solvable Lie algebra. We have included in the paper four illustrative examples that involve nonlinear ODEs of different classes and drawn from different contexts, each of which admits a three-dimensional solvable lie algebra. The presentation of the reduction algorithm in this paper is instructive in that the exposition is based on a third-order ODE, which makes the method easy to appreciate. In this connection, it is our hope that this paper will serve as an invitation to others to consider using the method of differential invariants on ODEs that they encounter.

Author Contributions

Conceptualization, W.S.; methodology, W.S. and M.C.K.; software, W.S. and M.C.K.; formal analysis, W.S. and M.C.K.; writing—original draft preparation, M.C.K. writing—review and editing, W.S. and M.C.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

We would like to thank the Directorate of Research Development and Innovation of Walter Sisulu University for continued support. We also thank the anonymous reviewers for their careful reading of our manuscript and their insightful comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chandrasekar, V.K.; Senthilvelan, M.; Lakshmanan, M. On the complete integrability and linearization of nonlinear ordinary differential equations. II. Third-order equations. Proc. R. Soc. A Math. Phys. Eng. Sci. 2006, 462, 1831–1852. [Google Scholar] [CrossRef] [Green Version]
  2. Mohanasubha, R.; Chandrasekar, V.K.; Senthilvelan, M. A note on deriving linearizing transformations for a class of second-order nonlinear ordinary differential equations. Nonlinear Anal. Real World Appl. 2018, 39, 202–212. [Google Scholar] [CrossRef] [Green Version]
  3. Nakpim, W. Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations. J. Symb. Comput. 2016, 77, 63–77. [Google Scholar] [CrossRef]
  4. Schwarz, F. Algorithmic Lie Theory for Solving Ordinary Differential Equations; Chapman & Hall/CRC: New York, NY, USA, 2008. [Google Scholar]
  5. Bluman, G.W.; Kumei, S. Symmetries and Differential Equations; Springer: New York, NY, USA, 1989. [Google Scholar]
  6. Bluman, G.W.; Cheviakov, A.F.; Anco, S.C. Applications of Symmetry Methods to Partial Differential Equations; Springer: New York, NY, USA, 2010. [Google Scholar]
  7. Olver, P.J. Applications of Lie Groups to Differential Equations; Springer: New York, NY, USA, 1993. [Google Scholar]
  8. Hydon, P.E. Symmetry Methods for Differential Equations: A Beginner’s Guide; Cambridge University Press: New York, NY, USA, 2000. [Google Scholar]
  9. Cantwell, B.J. Introduction to Symmetry Analysis; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar]
  10. Senthilvelan, M.; Chandrasekar, V.K.; Mohanasubha, R. Symmetries of Nonlinear Ordinary Differential Equations: The Modified Emden Equation as a Case Study. Pramana—J. Phys. 2015, 85, 755–787. [Google Scholar] [CrossRef] [Green Version]
  11. Ibragimov, N.H.; Meleshko, S.V. Linearization of third-order ordinary differential equations by point and contact transformations. J. Math. Anal. 2005, 308, 266–289. [Google Scholar] [CrossRef] [Green Version]
  12. Naz, R.; Mahomed, F.M.; Mason, D.P. Symmetry Solutions of a Third-Order Ordinary Differential Equation which Arises from Prandtl Boundary Layer Equations. J. Nonlinear Math. Phys. 2008, 15, 179–191. [Google Scholar] [CrossRef] [Green Version]
  13. Mahomed, F.M. Symmetry group classification of ordinary differential equations: Survey of some results. Math. Meth. Appl. Sci. 2007, 30, 1995–2012. [Google Scholar] [CrossRef]
  14. Bluman, G.W.; Kumei, S. Symmetry-based algorithms to relate partial differential equations. I. Local symmetries. Eur. J. Appl. Math. 1990, 1, 189–216. [Google Scholar] [CrossRef] [Green Version]
  15. Kumei, S.; Bluman, G.W. When nonlinear differential equations are equivalent to linear differential equations. SIAM J. Appl. Math. 1982, 42, 1157–1173. [Google Scholar] [CrossRef] [Green Version]
  16. Mahomed, F.M.; Leach, P.G.L. The Lie Algebra SL(3,R) and Linearization. Quaest. Math. 1989, 12, 121–139. [Google Scholar] [CrossRef]
  17. Ibragimov, N.H.; Nucci, M.C. Integration of third-order ordinary differential equations by Lie’s method: Equations admitting three-dimensional Lie algebras. Lie Groups Appl. 1994, 1, 49–64. [Google Scholar]
  18. Broadbridge, P.; White, L. Constant rate rainfall infiltration-A versatile nonlinear model. 1, Analytic solutions. Water Resour. Res. 1988, 24, 145–154. [Google Scholar] [CrossRef]
  19. Kakuli, M.C. Lie Symmetry Analysis of a Nonlinear Fokker–Planck Diffusion-Convection model. Master’s Dissertation, Walter Sisulu University, Mthatha, South Africa, 2017. [Google Scholar]
  20. Grebot, G. The Characterization of third-order Ordinary Differential Equations Admitting a Transitive Fiber-Preserving Point Symmetry Group. J. Math. Anal. Appl. 1997, 206, 364–388. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Sinkala, W.; Kakuli, M.C. On the Method of Differential Invariants for Solving Higher Order Ordinary Differential Equations. Axioms 2022, 11, 555. https://doi.org/10.3390/axioms11100555

AMA Style

Sinkala W, Kakuli MC. On the Method of Differential Invariants for Solving Higher Order Ordinary Differential Equations. Axioms. 2022; 11(10):555. https://doi.org/10.3390/axioms11100555

Chicago/Turabian Style

Sinkala, Winter, and Molahlehi Charles Kakuli. 2022. "On the Method of Differential Invariants for Solving Higher Order Ordinary Differential Equations" Axioms 11, no. 10: 555. https://doi.org/10.3390/axioms11100555

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop