Research Article | Open Access
On the Fiber Preserving Transformations for the Fifth-Order Ordinary Differential Equations
This paper is devoted to the study of the linearization problem of fifth-order ordinary differential equations by means of fiber preserving transformations. The necessary and sufficient conditions for linearization are obtained. The procedure for obtaining the linearizing transformations is provided in explicit form. Examples demonstrating the procedure of using the linearization theorems are presented.
1.1. The Research Problem and Its Significance
In mathematics, a nonlinear equation is an equation which is not linear; that is, an equation which does not satisfy the superposition principle, or whose output is not directly proportional to its input. Less technically, a nonlinear equation is any problem where the variables to be solved for cannot be written as a linear combination of independent components.
Nonlinear problems are of interest to engineers, physicists, and mathematicians because most physical systems are inherently nonlinear in nature. Nonlinear equations are difficult to solve and give rise to interesting phenomena. While solving problems related to nonlinear ordinary differential equations, it is often expedient to simplify equations by a suitable change of variables. One of the fundamental methods to solve this relies upon the transformation of a given equation to another equation of standard form. The transformation may be to an equation of equal order or of greater or lesser order. In particular, the possibility that a given equation could be linearized, that is, transformed to a linear equation, was a most attractive proposition due to the special properties of linear differential equations. The reduction of an ordinary differential equation to a linear ordinary differential equation besides simplification allows us to construct an exact solution of the original equation.
One type of the classification problem is the equivalence problem. Two equations of differential equations are said to be equivalent if there exists an invertible transformation which transforms any solution of one equation to a solution of the other equation and vice versa. The linearization problem is a particular case of the equivalence problem, where one of the equations is a linear equation. It is one of the essential parts in the study of nonlinear equations.
The main difficulty in solving the linearization problem comes from the large number of complicated calculations. Because of this difficulty, no one attempts to solve this problem for nonlinear equations are higher than fourth. However if we can solve the linearization problem of fifth-order ordinary differential equations, then we should set a new process to solve the problems in Physics or Engineering.
1.2. Historical Review
The linearization, that is, mapping a nonlinear differential equation into a linear differential equation, is an important tool in the theory of differential equations. The problem of linearization of ordinary differential equations attracted attention of mathematicians such as Lie and Cartan. The first linearization problem for ordinary differential equations was solved by Lie [1, 2]. He found the general form of all ordinary differential equations of second-order that can be reduced to a linear equation by changing the independent and dependent variables. He showed that any linearizable second-order equation should be at most cubic in the first-order derivative and provided a linearization test in terms of its coefficients. The linearization criterion is written through relative invariants of the equivalence group. Liouville  and Tresse  treated the equivalence problem for second-order ordinary differential equations in terms of relative invariants of the equivalence group of point transformations. There are other approaches for solving the linearization problem of a second-order ordinary differential equation. For example, one was developed by Cartan . The idea of his approach was to associate with every differential equation a uniquely defined geometric structure of a certain form.
In 1993, Bocharov et al.  considered the linearization problem of third-order with respect to point transformations. Grebot  studied the linearization of third-order ordinary differential equations by means of a restricted class of point transformations, namely, and . However, the problem was not completely solved. Complete criteria for linearization by means of point transformations were obtained by Ibragimov and Meleshko .
In 2008, Ibragimov et al.  solved the linearization problem for fourth-order ordinary differential equations by using point transformation.
Nowadays, the linearization problem of fifth-order ordinary differential equations via point transformations still is an unsolved one.
1.3. The Mapping of a Function by a Point Transformation
Definition 1. A transformation, where and are sufficiently smooth functions, is called a point transformation. If , a transformation (1) is called a fiber preserving transformation.
Let us explain how a point transformation maps one function into another.
Assume that is a given function, the transformed function is defined by the following two steps. On the first step one has to solve with respect to the equation Using the Inverse Function Theorem we find that is a solution of this equation. The transformed function is determined by the formula Conversely, if one has the function , then for finding the function one has to solve the ordinary differential equation
2. Necessary Conditions of Linearization
We begin with investigating the necessary conditions for linearization. Recall that according to the Laguerre theorem a linear fifth-order ordinary differential equation has the form Here we consider the fifth-order ordinary differential equations which can be transformed to the linear equation (5) with under the fiber preserving transformation So we arrive at the following theorem.
Proof. Applying a fiber preserving transformation (7), one obtains the following transformation of derivatives: where is a total derivative. Substituting into the linear equation (5), we have Denoting , , , , and as (10)–(21), we obtain the necessary form (8). These prove the theorem.
3. Formulation of the Linearization Theorem
We have shown in the previous section that every linearizable fifth-order ordinary differential equation belongs to the class of (8). In this section, we formulate the main theorems containing necessary and sufficient conditions for linearization as well as the methods for constructing the linearizing transformations.
Theorem 3. Sufficient conditions for (8) to be linearizable via a fiber preserving transformation are as follows:
Proof. For obtaining sufficient conditions, one has to solve the compatibility problem. Considering the representations of the coefficients , , , , and through the unknown functions and . We first rewrite the expressions (9) and (10) for and in the following form:
Differentiating (50) with respect to , one obtains the condition (33). Substituting the expressions of and into (11), (12), (13), (15), (16), (17), (18), (21), and (22) one gets conditions (34)–(42), respectively. From (14) we have
Comparing the mixed derivative one obtains the condition (43). Equations (19), (20), (23), (24), and (25) provide the conditions (44)–(48), respectively.
Consider the form of one can solve that where and . Since then and cannot be zero. From , we found the relation Relations and provide the conditions respectively, and the relation (52) satisfied the condition . cComposing the relation , one has the equation Consider ; one can solve that where . Because of then Since then . Substituting into and we obtain the additional conditions respectively, and these satisfied the relations , , and . From (26), setting , , and as , (see Appendix) then we obtain By the proof of Theorem 3, we arrive at the following Corollary.
Corollary 4. Provided that the sufficient conditions in Theorem 3 are satisfied, the transformation (7) of mapping equation (8) to a linear equation is obtained by solving the compatible system of equations (49), (50), (56), (55), and (59) for the functions and .
Example 1. Consider the nonlinear ordinary differential equation It is an equation of the form (8) with the coefficients Applying Theorem 3 for checking the linearity, the coefficients in (61) obey all the conditions in Theorem 3, so that one concludes that equation (60) is linearizable. Applying Corollary 4, the linearizing transformation is found by solving the following equations: Since , then one can take the simplest solution Thus, (62) becomes ; the solution for this equation is Choosing , we have This solution satisfied (63). Equation (64) becomes Choosing the particular solution Hence (65) is in the form So one obtains the linearizing transformation Thus, the nonlinear equation (60) can be mapped by transformation of (72) into the linear equation . Next, we will find the solution of (60). Since then we get the general solution where , , , , and are arbitrary constants. Substituting (72) into (74) we get
Example 2. Consider the nonlinear ordinary differential equation It is an equation of the form equation (8) with the coefficients Applying Theorem 3 for checking the linearity, the coefficients in (77) obey all conditions in Theorem 3, so that one concludes that (76) is linearizable. Applying Corollary 4, the linearizing transformation is found by solving the following equations: From (78), Taking the particular solution , then the solution of (82) is Choosing , we have This solution satisfied (79). Equation (80) becomes Choosing the particular solution Hence (81) is in the form So one obtains the linearizing transformation Thus, the nonlinear equation (76) can be mapped by transformation of (88) into the linear equation . Next, we will find the solution of (76). Since then we get the general solution where , , , , and are arbitrary constants. Substituting (88) into (90) we get
Equations in Section 3
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This research was financially supported by Naresuan University, Thailand.
- 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.
- S. Lie, “Klassifikation und integration von gewöhnlichen differentialgleichungen zwischen x,y, die eine Gruppe von Transformationen gestatten. III,” in Gessammelte Abhandlungen, S. Lie, Ed., vol. 5, paper XIY, pp. 362–427, 1924.
- R. Liouville, “Sur les invariantes de certaines equations,” Journal de l'École Polytechnique, vol. 59, pp. 7–88, 1889.
- A. M. Tresse, Détermination des Invariants Ponctuels de L'Équation Différentielle Ordinaire du Second Ordre y″ = f (x, y, y′), Preisschriften der Fürstlichen Jablonowski'schen Gesellschaft XXXII, S.Herzel, Leipzig, Germany, 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.
- A. V. Bocharov, V. V. Sokolov, and S. I. Svinolupov, On Some Equivalence Problems for Differential Equations, Preprint ESI 54, 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, 19 pages, 2008.
Copyright © 2014 S. Suksern and W. Pinyo. 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.