International Journal of Differential Equations
Volume 2018 (2018), Article ID 3048428, 17 pages
https://doi.org/10.1155/2018/3048428

Research Article

Linearization of Fifth-Order Ordinary Differential Equations by Generalized Sundman Transformations

Supaporn Suksern1,2 and Kwanpaka Naboonmee¹

¹Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand
²Research Center for Academic Excellence in Mathematics, Naresuan University, Phitsanulok 65000, Thailand

Correspondence should be addressed to Supaporn Suksern; supapornsu@nu.ac.th

Received 24 April 2017; Revised 6 August 2017; Accepted 24 September 2017; Published 2 January 2018

Academic Editor: Patricia J. Y. Wong

Copyright © 2018 Supaporn Suksern and Kwanpaka Naboonmee. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

In this article, the linearization problem of fifth-order ordinary differential equation is presented by using the generalized Sundman transformation. The necessary and sufficient conditions which allow the nonlinear fifth-order ordinary differential equation to be transformed to the simplest linear equation are found. There is only one case in the part of sufficient conditions which is surprisingly less than the number of cases in the same part for order 2, 3, and 4. Moreover, the derivations of the explicit forms for the linearizing transformation are exhibited. Examples for the main results are included.

1. Introduction

Nonlinear problems are of interest to engineers, physicists, mathematicians and many other scientists since most equations are inherently nonlinear in nature. Although linear ordinary differential equations can be solved by a large number of methods but this situation does not hold for nonlinear equations. One common method to solve nonlinear ordinary differential equations is to change their unknowns by suitable variables so as to get linear ordinary differential equations.

The main tools used to solve the linearization problem are transformations such as point, contact, tangent, and generalized Sundman transformations.

It was recognized that Lie [1] is the first person who solved linearization problem for ordinary differential equations in 1883. He discovered the linearization of second-order ordinary differential equations by point transformations. Later, Liouville [2] and Tresse [3] attacked the equivalence problems for second-order ordinary differential equations via group of point transformations. Moreover, Cartan [4] approached the second-order ordinary differential equations by geometric structure of a certain form.

Mahomed and Leach [5] indicated that the th-order () linear ordinary differential equation has exactly one of , , or point symmetries. They suggested that the necessary and sufficient conditions for the th-order () to be linearizable by a point transformation must admit the dimensional Abelian algebra.

The linearization problem of third-order ordinary differential equations under point transformations was solved by Bocharov et al. [6], Grebot [7], and Ibragimov and Meleshko [8]. Fourth-order ordinary differential equation was studied by Ibragimov et al. [9]. They found the necessary and sufficient conditions for a complete linearization problem. The linearization problem of a fifth-order ordinary differential equation with respect to fiber preserving transformations was considered by Suksern and Pinyo [10].

In the series of articles [8, 11–14] the linearization problem of a third-order ordinary differential equation via the contact transformations was solved. For a fourth-order ordinary differential equation, this problem was studied in [15, 16]. The criteria of the linearization problem of fifth-order ordinary differential equations were discovered by Suksern [17].

The linearization problems of third-order and fourth-order ordinary differential equations by the tangent transformations are examined in [18, 19]. These are the first application of tangent (essentially) transformations to the linearization problems of third-order and fourth-order ordinary differential equations. Necessary and sufficient conditions for third-order and fourth-order ordinary differential equations to be linearizable are obtained there.

Sundman introduced the generalized Sundman transformations in 1992. Later on Duarte et al. [20] applied this method to transform second-order ordinary differential equations into free particle equations. In addition, Muriel and Romero [21] characterized the equations that can be linearized by means of generalized Sundman transformations in terms of first integral. A new characterization of linearizable equations in terms of the coefficients of ordinary differential equation and one auxiliary function was given by Mustafa et al. [22]. Moreover, Nakpim and Meleshko [23] pointed out that the solution given by Duarte et al. using the Laguerre form is not complete.

For the third-order ordinary differential equations, the linearization by the generalized Sundman transformation was investigated by [24] for the form and [25] for the Laguerre form. Some applications of the generalized Sundman transformation to ordinary differential equations can be found in [26]. More information of the generalized Sundman transformation are collected in the book [27].

The linearization problem of a fourth-order ordinary differential equation with respect to generalized Sundman transformations was studied in [28]. They found the necessary and sufficient conditions which allow the fourth-order ordinary differential equation to be transformed to the simplest linear equation.

In this article, we intend to use the generalized Sundman transformations to linearize the fifth-order ordinary differential equations in some particular cases. We use computer algebra system Reduce to compute the necessary and sufficient conditions of the linearization. We provide some examples to illustrate the conditions that we have found and also obtain the linearizing transformations.

2. Necessary Conditions

We now concentrate on finding the fifth-order ordinary differential equations

which can be transformed to the linear equation

under the generalized Sundman transformation

It turns out that those equations must be in the form of the following theorem.

Theorem 1. Any linearizable fifth-order ordinary differential equations that can be transformed by a generalized Sundman transformation has to be in the form

Here , , , , and are some functions of and . Expressions of these coefficients are presented in the appendix.

Proof. By a generalized Sundman transformation (3), we have

where is a total derivative. Replacing in (2), we get that

Denoting , and as (A.1)–(A.18), we obtain the necessary form (4). This proves the theorem.

3. Sufficient Conditions and Linearizing Transformation

To get the sufficient conditions, we consider (A.1)–(A.18) appearing in the previous section. After using the compatibility theory to those equations, we derive the following results.

Theorem 2. Equation (4) can be linearizable by the generalized Sundman transformation if its coefficients satisfy the following equations:

and (A.19), (A.20), (A.21), (A.22), (A.23), (A.24), (A.25) (moved to the appendix in order to avoid the huge expressions), where

Proof. We start with the coefficients , , , , and in Theorem 1 through the unknown functions and . From (A.1) and (A.2), we have the derivatives

From (A.4), one obtains the derivative

where

From (A.5), one gets the derivative

where

From (A.6), one finds the derivative

where

From (A.3), one obtains the derivative

where

We note that, for the case , the generalized Sundman transformations are indeed the point transformations. We then suppose , which also implies .
The relations and provide condition (7) and the derivative

where

The relation gives the derivative

where

Substituting into and , one obtains the conditions

From (A.8), we have

where

The relations and provide conditions (8) and (9). From (A.18), (A.15), (A.17), (A.13), and (A.11), we obtain conditions (A.19)–(A.21), (10), (A.22). Substituting the relation into , one obtains condition (A.23). Equations (A.9), (A.10), and (A.12) provide conditions (11), (12), (A.24). Comparing the mixed derivatives , , , , we obtain conditions (13)–(16). Substituting the relation into , one obtains condition (A.25). Comparing the mixed derivative , one arrives at condition (17). From (A.7), one obtains condition (18). This proves the theorem.

Corollary 3. Under the sufficient conditions in Theorem 2, the transformation (3) mapping equation (4) to a linear equation (2) can be solved by the compatible system of (20), (28), (30), and (35).

Remark 4. In the part of sufficient conditions for second-order, there are 2 cases in [20] and 3 cases in [23]. For the third-order, there are 3 cases in [24] and 4 cases in [25]. For the fourth-order, there are 2 cases in [28]. But for the fifth-order there is only one case.

4. Examples

Example 1. For the fifth-order ordinary differential equation

we can verify that this equation cannot be linearized by a point transformation [10] or contact transformation [17]. However, (37) is in fact the form (4) in Theorem 1 with the coefficients

Moreover, these coefficients also satisfy the conditions in Theorem 2. We now conclude that (37) is linearizable by a generalized Sundman transformation. Corollary 3 yields the linearizing transformation by solving the following equations:

Considering (40), one arrives at

Considering (41), one obtains

From (43) and (44), one can choose and ; then we have

Considering (39), one gets

Considering (42), one arrives at

From (46) and (47), one can choose , , and ; then we obtain

So the linearizing transformation is

Hence, by (49), (37) becomes

The general solution of (50) is

where , , and are arbitrary constants. Substituting (49) into (51), the general solution of (37) is

where the function is a solution of the equation

Example 2. For the fifth-order ordinary differential equation

we can verify that this equation cannot be linearized by a point transformation [10] or contact transformation [17]. However, (54) is in fact the form (4) in Theorem 1 with the coefficients

Moreover, these coefficients also satisfy the conditions in Theorem 2. We now conclude that (54) is linearizable by a generalized Sundman transformation. Corollary 3 yields the linearizing transformation by solving the following equations:

Considering (57), one arrives at

Considering (58), one obtains

From (60) and (61), one can choose and ; then we obtain

Equation (59) becomes

and by Cauchy method, one arrives at

This solution satisfies (56), so the linearizing transformation is

Hence, by (65), (54) becomes

The general solution of (66) is

where , , , , and are arbitrary constants. Substituting (65) into (67), the general solution of (54) is

where the function is a solution of the equation

Appendix

Equations for Theorem 1 in Section 2

Equations for Theorem 2 in Section 3

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The first author would like to thank Naresuan University, Thailand, for the partial financial support of this project under Grant no. R2560C104.

References

S. Lie, “Klassifikation und Integration von gewöhnlichen Differentialgleichungen zwischen x,y, die eine Gruppe von Transformationen gestatten. III,” Archiv for Matematik og Naturvidenskab, vol. 8, no. 4, pp. 371–427, 1883.

R. Liouville, “Sur les Invariantes de Certaines Equations,” J. de lÉcole Polytechnique, vol. 59, p. 88, 1889.

A. M. Tresse, “Détermination des Invariants Ponctuels de lÉquation Différentielle Ordinaire du Second Ordre y''=f(x,y,y'),” in Preisschriften der fürstlichen Jablonowski schen Geselschaft XXXII, S. Herzel, Ed., S.Herzel, Leipzig, 1896.

E. Cartan, “Sur les variétés à connexion projective,” Bulletin de la Société Mathématique de France, vol. 52, pp. 205–241, 1924.

F. M. Mahomed and P. G. Leach, “Symmetry Lie algebras of nth order ordinary differential equations,” Journal of Mathematical Analysis and Applications, vol. 151, no. 1, pp. 80–107, 1990.

A. V. Bocharov, V. V. Sokolov, and S. I. Svinolupov, “On some equivalence problems for differential equations,” Preprint ESI, Vienna 54, 12 pages, 1993.

G. Grebot, “The characterization of third order ordinary differential equations admitting a transitive fiber-preserving point symmetry group,” Journal of Mathematical Analysis and Applications, vol. 206, no. 2, pp. 364–388, 1997.

N. H. Ibragimov and S. V. Meleshko, “Linearization of third-order ordinary differential equations by point and contact transformations,” Journal of Mathematical Analysis and Applications, vol. 308, no. 1, pp. 266–289, 2005.

N. H. Ibragimov, S. V. Meleshko, and S. Suksern, “Linearization of fourth-order ordinary differential equations by point transformations,” Journal of Physics A: Mathematical and Theoretical, vol. 41, no. 23, Article ID 235206, 2008.

S. Suksern and W. Pinyo, “On the fiber preserving transformations for the fifth-order ordinary differential equations,” Journal of Applied Mathematics, vol. 2014, Article ID 735910, 2014.

S.-s. Chern, “The geometry of the differential equation y'''=F(x,y,y',y''),” in Rep. Nat, vol. 4, pp. 97–111, Tsing Hua Univ, 1940.

B. Doubrov, “Contact trivialization of ordinary differential equations,” in Proceedings of the 8th International Conference on Differential Geometry and Its Applications, O. Kowalski, D. Krupka, and., and J. Slovak, Eds., pp. 73–84, Silesian University in Opava, Opava, Czech Republic, 2001.

B. Doubrov, B. Komrakov, and T. Morimoto, “Equivalence of holonomic differential equations,” Lobachevskii Journal of Mathematics, vol. 3, pp. 39–71, 1999.

V. N. Gusyatnikova and V. A. Yumaguzhin, “Contact transformations and local reducibility of ODE to the form y'''=0,” Acta Applicandae Mathematicae, vol. 56, no. 2-3, pp. 155–179, 1999.

R. Dridi and S. Neut, “On the geometry of y(4)=f(x,y,y',y'',y'''),” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1311–1317, 2006.

S. Suksern, S. V. Meleshko, and N. H. Ibragimov, “Criteria for fourth-order ordinary differential equations to be linearizable by contact transformations,” Communications in Nonlinear Science and Numerical Simulation, vol. 14, no. 6, pp. 2619–2628, 2009.

S. Suksern, “Reduction of fifth-order ordinary differential equations to linearizable form by contact transformations,” Differential Equations and Dynamical Systems, 2017.

W. Nakpim, “Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations,” Journal of Symbolic Computation, vol. 77, pp. 63–77, 2016.

S. Suksern and S. V. Meleshko, “Applications of tangent transformations to the linearization problem of fourth-order ordinary differential equations,” Far East Journal of Applied Mathematics, vol. 86, no. 2, pp. 145–172, 2014.

L. G. S. Duarte, I. C. Moreira, and F. C. Santos, “Linearization under nonpoint transformations,” Journal of Physics A: Mathematical and General, vol. 27, no. 19, pp. L739–L743, 1994.

C. Muriel and J. L. Romero, “Nonlocal transformations and linearization of second-order ordinary differential equations,” Journal of Physics A: Mathematical and Theoretical, vol. 43, no. 43, Article ID 434025, 2010.

M. T. Mustafa, A. Y. Al-Dweik, and R. A. Mara'beh, “On the linearization of second-order ordinary differential equations to the laguerre form via generalized Sundman transformations,” Symmetry, Integrability and Geometry: Methods and Applications (SIGMA), vol. 9, article no. 041, 2013.

W. Nakpim and S. V. Meleshko, “Linearization of second-order ordinary differential equations by generalized sundman transformations,” Symmetry, Integrability and Geometry: Methods and Applications (SIGMA), vol. 6, article no. 051, 2010.

N. Euler, T. Wolf, P. G. Leach, and M. Euler, “Linearizable third-order ordinary differential equations and generalized Sundman transformations: The Case X'''=0,” Acta Applicandae Mathematicae, vol. 76, no. 1, pp. 89–115, 2003.

W. Nakpim and S. V. Meleshko, “Linearization of third-order ordinary differential equations by generalized Sundman transformations: The case X'''+αX=0,” Communications in Nonlinear Science and Numerical Simulation, vol. 15, no. 7, pp. 1717–1723, 2010.

L. M. Berkovich, “The integration of ordinary differential equations: factorization and transformations,” Mathematics and Computers in Simulation, vol. 57, no. 3-5, pp. 175–195, 2001.

L. M. Berkovich, “Factorization and transformations of differential equations,” Methods and applications, RC Dynamics, 2002 (Russian).

S. Suksern and S. Tammakun, “Linearizability of nonlinear fourth-order ordinary differential equations by a generalized sundman transformation,” Far East Journal of Applied Mathematics, vol. 86, no. 3, pp. 183–210, 2014.