Criteria for System of Three Second-Order Ordinary Differential Equations to Be Reduced to a Linear System via Restricted Class of Point Transformation ()
Keywords:Linearization Problem; Point Transformation; System of Three Second-Order Ordinary Differential Equation
1. Introduction
In general, physical applications of differential equations are in the form of nonlinear equations, which are very difficult to solve explicitly. Most of the solutions are approximate solutions. In solving nonlinear ordinary differential equations, one of the solving methods is reducing nonlinear ordinary differential equations to be linear ordinary differential equations, which makes the method easier and then we have exact solution of original equation.
The first linearization problem for single second-order ordinary differential equations was solved by S. Lie [1]. 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. A. M. Tresse [2] and R. Liouville [3] treated the equivalence problem for second-order ordinary differential equations in terms of relative invariants of the equivalence group of point transformations. In [4] an infinitesimal tech- nique for obtaining relative invariants was applied to the linearization problem. A different approach to tackling the equivalence problem of second-order ordinary differential equations was developed by E. Cartan [5]. The idea of his approach was to associate with every differential equation a uniquely defined geometric structure of a certain form.
The linearization problem for a system of second-order ordinary differential equations was studied in [6,7]. In [6], Wafo and Mahomed found the criteria for linearization of a system of two second-order ordinary differential equations which are related with the existence of an admitted four-dimensional Lie algebra. In [8], Aminova and Aminov gave the necessary and sufficient conditions for a system of second-order ordinary differential equations to be equivalent to the free particle equations. Particular class of systems of two (n = 2) second-order ordinary differential equations was considered by Mahomed and Qadir [9] and they also provided the construction of the linearizing point transformation by using complex variables. Some first-order and second-order relative invariants with respect to point transformations for a system of two ordinary differential equations were obtained in [10]. In [11], Sookmee and Meleshko proposed a new method of linearizing a system of equations, where a given system of equations is reduced to a single equation to which the Lie theorem on linearization is applied. In [12], necessary and sufficient conditions for a system of two second-order ordinary differential equations to be equivalent to the simplest equations were obtained by using the implementation of Cartan’s method. Linearization criteria for a system of two second-order ordinary under general point transformation were obtained in [13]. In [7], linearization criteria for a system of two second-order ordinary differential equations to be equivalent to the linear system with constant coefficients matrix via fiber preserving point transformations were achieved.
Nowadays, the linearization problem of a system of three second-order ordinary differential equations to be equivalent to linear system via point transformations is open. Hence, it’s worth solving this problem as essential part of a study of differential equations.
The manuscript is organized as follows. In Section 2, the necessary conditions of linearization of a system of three second-order ordinary differential equations in the general case of point transformations are presented. In particular, in Section 3, sufficient conditions for linearizing restricted class of point transformations are obtained. Examples which illustrate the procedure of using the linearization theorems are presented in Section 4.
2. Necessary Conditions for Linearization
We begin with investigating the necessary conditions for linearization. We consider a system of three secondorder ordinary differential equations
(1)
which can be transformed to a linear system
(2)
under the point transformation
(3)
So that we arrive at the following theorem.
Theorem 1. Any system of three second-order ordinary differential Equation (1) obtained from a linear system (2) by a point transformation (3) has to be the form
(4)
where
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)
(30)
(31)
(32)
(33)
(34)
(35)
(36)
(37)
(38)
(39)
(40)
and
Proof. Applying a point transformation (3), one obtains the following transformation of the first-order derivatives
The transformed second-order derivatives are
(41)
(42)
(43)
where
and
is a total derivatives. Replacing into Equations (41)-(43), one gets the system (4). □
3. Sufficient Conditions for Linearization
We have shown in the previous section that every linearizable system of three second-order ordinary differential equations belongs to the class of systems (4). In this section, we formulate the theorem containing sufficient conditions for linearization under the restricted class of point transformation
(44)
We arrive at the following theorem.
Theorem 2 System (4) is linearizable by restricted class of point transformation (44) if and only if its coefficients satisfied the following equations
(45)
(46)
(47)
(48)
(49)
(50)
(51)
(52)
(53)
(54)
(55)
(56)
(57)
(58)
(59)
(60)
(61)
(62)
(63)
(64)
(65)
(66)
(67)
(68)
(69)
(70)
(71)
(72)
(73)
(74)
(75)
(76)
(77)
(78)
(79)
(80)
(81)
Proof. Since and are 0, then where Considering equation one obtains From Equations (5)-(7), (9)-(13), (15)-(19), (23), (26) and (28)(29) one gets the conditions
The results from Equations (31)-(34), (8), (21), (22), (25), (27), (38), (36),(37), (14), (20), (24), (37), (39), (30) and (40) can be rewritten as
The relation
yield the conditions
respectively. Comparing the mixed derivatives
one arrives at the following conditions
respectively. The equations
provide the following conditions:
Mixing the derivative one obtains the derivative
Comparing the mixed derivatives one gets the conditions
All obtained results satisfied the equations
□
4. Linearizing Transformation
By the prove of Theorem 2, we arrive at the following corollary.
Corollary 3. Provided that the sufficient conditions in Theorem 2 are satisfied, the transformation (44) mapping system (4) to a linear system (2) is obtained by solving the following compatible system of equations for the functions and
(82)
(83)
(84)
(85)
(86)
(87)
(88)
(89)
(90)
(91)
(92)
(93)
(94)
(95)
(96)
(97)
(98)
(99)
(100)
(101)
(102)
5. Examples
Example 1. Consider the system of nonlinear ordinary differential equation.
(103)
It is a system of the form (4) with the coefficients
(104)
One can check that the coefficients (104) obey the conditions (45)-(81). Thus, the Equation (103) is linearizable. We have
(105)
(106)
(107)
(108)
(109)
(110)
(111)
(112)
(113)
(114)
(115)
(116)
(117)
(118)
(119)
(120)
(121)
(122)
(123)
(124)
(125)
From (105) and (106) we get
and
respectively. Since one can use any particular solution, we can take
and this solution satisfies (107). Now the Equation (108) becomes
and yields
Therefore
Since one can use any particular solution, we setand take
Now the Equations (109)-(111) are written
(126)
(127)
(128)
To consider (127) and (128), one takes
then
Since one can use any particular solution, we set and take
this solution satisfies (126). Now the Equations (112)-(115) are written as
(129)
(130)
(131)
(132)
To consider (129), after integration, one finds
Since one can use any particular solution, we set and take
this solution satisfies (130)-(132). Now the Equations (116)-(125) are written
(133)
(134)
(135)
(136)
(137)
(138)
(139)
(140)
(141)
(142)
To consider (136), (139), (141) and (142), one obtains
so that
Since one can use any particular solution, we setand take
this solution satisfies (133)-(135), (137)-(138) and (140). Then, one obtains the following transformations
(143)
Hence, the system (103) is mapped by the transformations (143) to the linear system
The solution of this linear system is
where are arbitrary constants. By using the transformation (143), one finds
Hence, the solution of the system (103) is
Example 2. Consider the system of nonlinear ordinary differential equation
(144)
It is a system of the form (4) with the coefficients
(145)
One can check that the coefficients (145) obey the conditions (45)-(81). Thus, the Equation (144) is linearizable. We have
(146)
(147)
(148)
(149)
(150)
(151)
(152)
(153)
(154)
(155)
(156)
(157)
(158)
(159)
(160)
(161)
(162)
(163)
(164)
(165)
(166)
From (146) and (147) we get
and
respectively. Since one can use any particular solution, we can take
and this solution satisfies (148). Now the Equation (149) becomes
and yields
Thus
Since one can use any particular solution, we set and take
Now the Equations (150)-(152) are written
(167)
(168)
(169)
To consider (168) and (169), one gets
Then
Since one can use any particular solution, we set and take
this solution satisfies (167). Now the Equations (153)-(156) are written as
(170)
(171)
(172)
(173)
To consider (170), after integration, one finds
Since one can use any particular solution, we set and take
this solution satisfies (171)-(173). Now the Equations (157)-(166) are written
(174)
(175)
(176)
(177)
(178)
(179)
(180)
(181)
(182)
(183)
To consider (177), (180) and (183), one takes
so that
Since one can use any particular solution, we setand take
this solution satisfies (174)-(176), (178)-(179), (181)-(182). Then, one obtains the following transformations
(184)
Hence, the system (144) is mapped by the transformations (184) to the linear system
The solution of this linear system is
where re arbitrary constants. By using the transformation (184), one finds
Hence, the solution of the system (144) is
Acknowledgements
This research was financially supported by Thailand Research Fund under Grant no. MRG5580053.