Professional Documents
Culture Documents
Research Article
Linearization of Fifth-Order Ordinary Differential Equations by
Generalized Sundman Transformations
1,2
Supaporn Suksern and Kwanpaka Naboonmee1
1
Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand
2
Research Center for Academic Excellence in Mathematics, Naresuan University, Phitsanulok 65000, Thailand
Received 24 April 2017; Revised 6 August 2017; Accepted 24 September 2017; Published 2 January 2018
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.
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.
+ 𝐺3 (5𝐹𝑡𝑥 𝐺 − 𝐹𝑡 𝐹𝑥 − 10𝐹𝑥 𝐺𝑡 ) 𝑥(4) + ⋅ ⋅ ⋅] where 𝐷𝑡 = 𝜕/𝜕𝑡 + 𝑥 (𝜕/𝜕𝑥) + 𝑥 (𝜕/𝜕𝑥 ) + 𝑥 (𝜕/𝜕𝑥 ) +
𝑥(4) (𝜕/𝜕𝑥 )+𝑥(5) (𝜕/𝜕𝑥(4) )+⋅ ⋅ ⋅ is a total derivative. Replacing
= 𝑉 (𝑡, 𝑥, 𝑥 , 𝑥 , 𝑥 , 𝑥(4) , 𝑥(5) ) , 𝑋(5) (𝑇) in (2), we get that
(5)
Denoting 𝐴 𝑖 , 𝐵𝑖 , 𝐶𝑖 , 𝐷𝑖 , and 𝐻𝑖 as (A.1)–(A.18), we obtain the Theorem 2. Equation (4) can be linearizable by the gener-
necessary form (4). This proves the theorem. alized Sundman transformation if its coefficients satisfy the
following equations:
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 compatibil-
ity theory to those equations, we derive the following results.
+ 1519𝐴21 𝑆42 + 89180𝐴 1 𝐵2 𝑆4 + 72716𝐴 1 𝑆1 𝑆4 + 2604𝐴 1 𝑆43 − 548800𝐵22 − 260680𝐵2 𝑆1 + 11760𝐵2 𝑆42 + 54880000𝐻5 (10)
𝑆1𝑥 = (−78400𝐵2𝑥 − 637𝐴21 𝑆4 − 15680𝐴 1 𝐵2 − 5635𝐴 1 𝑆1 + 105𝐴 1 𝑆42 + 2940𝐵2 𝑆4 + 78400𝐷3 + 294𝑆1 𝑆4 + 30𝑆43 )
(11)
⋅ (5880)−1 ,
4 International Journal of Differential Equations
+ 1862784𝑆1 𝑆2 − 3235008𝑆1 𝑆5 − 8064𝑆1 𝑆6 − 2541𝑆1 𝑆8 − 1862784𝑆2 𝑆42 + 483392𝑆42 𝑆5 + 504𝑆42 𝑆6 + 2165𝑆42 𝑆8 ) (14)
−1
⋅ (18627840𝑆4 ) ,
𝑆3𝑥 = (− ((246400 (144 (3 (308𝐵0 + 491𝑆3 ) 𝑆4 + 5𝑆6𝑡 ) 𝑆42 − (337𝑆5𝑥 + 𝑆6𝑥 ) (112𝑆5 + 𝑆8 ))
− 77 (149022720𝑆3 𝑆42 − 23206400𝑆52 − 62720𝑆5 𝑆6 − 225680𝑆5 𝑆8 − 224𝑆6 𝑆8 + 21504𝑆7 − 765𝑆82 ) 𝑆1 + 443520 (32𝑆6 (15)
+ 23𝑆8 + 27344𝑆5 ) 𝑆2 𝑆42 + 77 (949760𝑆52 + 8960𝑆5 𝑆6 − 10000𝑆5 𝑆8 + 416𝑆6 𝑆8 + 21504𝑆7 − 765𝑆82 + 149022720𝑆3 𝑆42 )
−1
⋅ 𝐴 1 𝑆4 )) (65569996800𝑆43 ) ,
𝑆5𝑥 = (−155232𝐴 1 𝑆4 𝑆5 − 1617𝐴 1 𝑆4 𝑆8 + 362208𝑆1 𝑆5 + 1617𝑆1 𝑆8 − 680064𝑆2 𝑆42 − 69856𝑆42 𝑆5 − 136𝑆42 𝑆6 − 1449𝑆42 𝑆8 )
(16)
−1
⋅ (1034880𝑆4 ) ,
+ 1448832𝑆1 𝑆7 + 4719052800𝑆2 𝑆42 𝑆5 + 2069760𝑆2 𝑆42 𝑆6 + 17001600𝑆2 𝑆42 𝑆8 + 18255283200𝑆3 𝑆44 − 3786137600𝑆42 𝑆52 (17)
−1
− 18085760𝑆42 𝑆5 𝑆6 − 5225600𝑆42 𝑆5 𝑆8 − 30520𝑆42 𝑆62 − 3887𝑆42 𝑆6 𝑆8 − 1022336𝑆42 𝑆7 ) (4139520𝑆4 ) ,
and (A.19), (A.20), (A.21), (A.22), (A.23), (A.24), (A.25) 𝑆8 = −41580𝐵1 + 55440𝐶0 − 8316𝑆2 + 9176𝑆5
(moved to the appendix in order to avoid the huge expressions),
+ 27𝑆6 .
where
(19)
𝑆1 = −10𝐴 1𝑥 − 2𝐴21 + 5𝐵2 ,
Proof. We start with the coefficients 𝐴 𝑖 , 𝐵𝑖 , 𝐶𝑖 , 𝐷𝑖 , and 𝐻𝑖 in
𝑆2 = −20𝐴 0𝑥 − 4𝐴 0 𝐴 1 + 5𝐵1 , Theorem 1 through the unknown functions 𝐹 and 𝐺. From
(A.1) and (A.2), we have the derivatives
𝑆3 = 10𝐴 0𝑡 + 2𝐴20 − 5𝐵0 , (𝐹𝑥 (11𝐺𝑥 + 𝐴 1 𝐺))
𝐹𝑥𝑥 = , (20)
𝑆4 = −2𝐴 1 + 𝐵3 , (5𝐺)
(𝐹𝑡 𝐺𝑥 + 10𝐹𝑥 𝐺𝑡 + 𝐹𝑥 𝐴 0 𝐺)
𝑆5 = −80𝑆4𝑡 + 2𝐴 0 𝑆4 + 7𝑆2 , 𝐹𝑡𝑥 = . (21)
(5𝐺)
𝑆6 = −462𝐴 0 𝑆4 + 231𝑆2 − 337𝑆5 ,
From (A.4), one obtains the derivative
𝑆7 = −13860𝑆5𝑡 𝑆4 + 1386𝑆2 𝑆5 + 8316𝑆3 𝑆42 − 202𝑆52
(63𝐺𝑥2 + 𝐺𝑥 𝐴 1 𝐺 + 𝐺2 𝑆1 )
𝐺𝑥𝑥 = , (22)
+ 𝑆5 𝑆6 , (40𝐺)
International Journal of Differential Equations 5
where where
𝑆1 = −10𝐴 1𝑥 − 2𝐴21 + 5𝐵2 . (23)
𝑆2 = −20𝐴 0𝑥 − 4𝐴 0 𝐴 1 + 5𝐵1 . (25)
From (A.5), one gets the derivative
𝐺𝑡𝑥 From (A.6), one finds the derivative
(−9𝐹𝑡 𝐺𝑥2 + 135𝐹𝑥 𝐺𝑡 𝐺𝑥 + 𝐹x 𝐺 (2𝐺𝑥 𝐴 0 + 𝐺𝑆2 )) (24)
= ,
(80𝐹𝑥 𝐺)
(9𝐹𝑡2 𝐺𝑥2 + 225𝐹𝑡 𝐹𝑥 𝐺𝑡 𝐺𝑥 + 𝐹𝑡 𝐹𝑥 𝐺 (14𝐺𝑥 𝐴 0 − 𝐺𝑆2 ) + 400𝐹𝑥2 𝐺𝑡𝑡 𝐺 − 600𝐹𝑥2 𝐺𝑡2 + 8𝐹𝑥2 𝐺2 𝑆3 )
𝐹𝑡𝑡 = , (26)
(120𝐹𝑥 𝐺𝑥 𝐺)
From (A.3), one obtains the derivative 𝑆2𝑡 = (889680𝑆5𝑡 𝑆4 + 2640𝑆6𝑡 𝑆4 + 609840𝐵0 𝑆42
where The relations (𝐺𝑡 )𝑡 = 𝐺𝑡𝑡 and (𝐺𝑡 )𝑥 = 𝐺𝑡𝑥 provide conditions
(8) and (9). From (A.18), (A.15), (A.17), (A.13), and (A.11), we
𝑆5 = −80𝑆4𝑡 + 2𝐴 0 𝑆4 + 7𝑆2 . (31) obtain conditions (A.19)–(A.21), (10), (A.22). Substituting the
relation 𝐶0𝑡 into 𝐶0𝑡𝑡 , one obtains condition (A.23). Equations
The relation (𝐹𝑡 )𝑡 = 𝐹𝑡𝑡 gives the derivative (A.9), (A.10), and (A.12) provide conditions (11), (12), (A.24).
Comparing the mixed derivatives (𝐹𝑥𝑥 )𝑡 = (𝐹𝑡𝑥 )𝑥 , (𝐺𝑥𝑥 )𝑡 =
(−2156000𝐺𝑡2 𝑆42 + 385𝐺𝑡 𝐺𝑆4 𝑆6 + 4𝐺2 𝑆7 ) (𝐺𝑡𝑥 )𝑥 , (𝐹𝑡𝑡 )𝑥 = (𝐹𝑡𝑥 )𝑡 , (𝐹𝑡 )𝑥 = 𝐹𝑡𝑥 , we obtain conditions
𝐺𝑡𝑡 = , (32) (13)–(16). Substituting the relation 𝑆5𝑥 into 𝑆5𝑥𝑥 , one obtains
(1386000𝐺𝑆42 ) condition (A.25). Comparing the mixed derivative (𝐺𝑡𝑡 )𝑥 =
(𝐺𝑡𝑥 )𝑡 , one arrives at condition (17). From (A.7), one obtains
where
condition (18). This proves the theorem.
𝑆6 = −462𝐴 0 𝑆4 + 231𝑆2 − 337𝑆5 ,
Corollary 3. Under the sufficient conditions in Theorem 2, the
𝑆7 = −13860𝑆5𝑡 𝑆4 + 1386𝑆2 𝑆5 + 8316𝑆3 𝑆42 − 202𝑆52 (33) transformation (3) mapping equation (4) to a linear equation
(2) can be solved by the compatible system of (20), (28), (30),
+ 𝑆5 𝑆6 . and (35).
Substituting 𝐴 0 into 𝐴 0𝑥 and 𝐴 0𝑡 , one obtains the conditions Remark 4. In the part of sufficient conditions for second-
order, there are 2 cases in [20] and 3 cases in [23]. For the
𝑆2𝑥 = (94360𝑆5𝑥 𝑆4 + 280𝑆6𝑥 𝑆4 − 11319𝐴 1 𝑆2 𝑆4 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-
+ 16513𝐴 1 𝑆4 𝑆5 + 49𝐴 1 𝑆4 𝑆6 + 32340𝐵1 𝑆42 order there is only one case.
6 International Journal of Differential Equations
4. Examples 𝑆6 = 0,
𝑆7 = 0,
Example 1. For the fifth-order ordinary differential equation
𝑆8 = 0.
(5) 4 (4) 3 3 2 2
𝑥 𝑥 − 11𝑥 𝑥 𝑥 − 15𝑥 𝑥 𝑥 + 60𝑥 𝑥 𝑥 (38)
(37)
+ 70𝑥 𝑥2 𝑥2 − 210𝑥3 𝑥 𝑥 + 105𝑥5 = 0, Moreover, these coefficients also satisfy the conditions in
Theorem 2. We now conclude that (37) is linearizable by
we can verify that this equation cannot be linearized by a generalized Sundman transformation. Corollary 3 yields
a point transformation [10] or contact transformation [17]. the linearizing transformation by solving the following equa-
However, (37) is in fact the form (4) in Theorem 1 with the tions:
coefficients
𝐹𝑥𝑥 = 0, (39)
−11
𝐴1 = , 𝐺
𝑥 𝐺𝑥 = , (40)
𝑥
𝐴 0 = 0,
𝐺𝑡 = 0, (41)
−15
𝐵3 = ,
𝑥 𝐹𝑡 = 0. (42)
60
𝐵2 = , Considering (40), one arrives at
𝑥2
𝐵1 = 0, 𝐺 = 𝑥𝐾1 (𝑡) . (43)
𝐻0 = 0, 𝑋 = 𝑥,
(49)
−52 𝑑𝑇 = 𝑥𝑑𝑡.
𝑆1 = 2 ,
𝑥
Hence, by (49), (37) becomes
𝑆2 = 0,
𝑆3 = 0, 𝑋(5) = 0. (50)
(10𝐹𝑥𝑥𝑥 𝐺2 − 45𝐹𝑥𝑥 𝐺𝑥 𝐺 − 14𝐹𝑥 𝐺𝑥𝑥 𝐺 + 60𝐹𝑥 𝐺𝑥2 ) − 105𝐹𝑥𝑥 𝐺𝑥3 𝐺 − 𝐹𝑥 𝐺𝑥𝑥𝑥𝑥 𝐺3 + 15𝐹𝑥 𝐺𝑥𝑥𝑥 𝐺𝑥 𝐺2 (A.13)
𝐵2 = , (A.4)
(𝐹𝑥 𝐺2 ) 2
+ 10𝐹𝑥 𝐺𝑥𝑥 𝐺2 − 105𝐹𝑥 𝐺𝑥𝑥 𝐺𝑥2 𝐺 + 105𝐹𝑥 𝐺𝑥4 )
𝐵1 = (20𝐹𝑡𝑥𝑥 𝐺2 − 50𝐹𝑡𝑥 𝐺𝑥 𝐺 − 4𝐹𝑡 𝐺𝑥𝑥 𝐺 + 15𝐹𝑡 𝐺𝑥2 −1
⋅ (𝐹𝑥 𝐺4 ) ,
−1
(A.5)
− 40𝐹𝑥𝑥 𝐺𝑡 𝐺 − 24𝐹𝑥 𝐺𝑡𝑥 𝐺 + 105𝐹𝑥 𝐺𝑡 𝐺𝑥 ) (𝐹𝑥 𝐺2 ) , 𝐻4 = (5𝐹𝑡𝑥𝑥𝑥𝑥 𝐺4 − 40𝐹𝑡𝑥𝑥𝑥 𝐺𝑥 𝐺3 − 30𝐹𝑡𝑥𝑥 𝐺𝑥𝑥 𝐺3
𝐵0 = (−40𝐹𝑡𝑥 𝐺𝑡 𝐺 + 10𝐹𝑡𝑡𝑥 𝐺2 − 5𝐹𝑡𝑡 𝐺𝑥 𝐺 − 4𝐹𝑡 𝐺𝑡𝑥 𝐺 + 135𝐹𝑡𝑥𝑥 𝐺𝑥2 𝐺2 − 10𝐹𝑡𝑥 𝐺𝑥𝑥𝑥 𝐺3 + 120𝐹𝑡𝑥 𝐺𝑥𝑥 𝐺𝑥 𝐺2
−1
(A.6)
+ 15𝐹𝑡 𝐺𝑡 𝐺𝑥 − 10𝐹𝑥 𝐺𝑡𝑡 𝐺 + 45𝐹𝑥 𝐺𝑡2 ) (𝐹𝑥 𝐺2 ) , − 210𝐹𝑡𝑥 𝐺𝑥3 𝐺 − 𝐹𝑡 𝐺𝑥𝑥𝑥𝑥 𝐺3 + 15𝐹𝑡 𝐺𝑥𝑥𝑥 𝐺𝑥 𝐺2
International Journal of Differential Equations 9
2
+ 10𝐹𝑡 𝐺𝑥𝑥 𝐺2 − 105𝐹𝑡 𝐺𝑥𝑥 𝐺𝑥2 𝐺 + 105𝐹𝑡 𝐺𝑥4 𝐻1 = (−10𝐹𝑡𝑥 𝐺𝑡𝑡𝑡 𝐺3 + 120𝐹𝑡𝑥 𝐺𝑡𝑡 𝐺𝑡 𝐺2 − 210𝐹𝑡𝑥 𝐺𝑡3 𝐺
− 15𝐹𝑥𝑥 𝐺𝑡𝑥𝑥 𝐺3 + 120𝐹𝑥𝑥 𝐺𝑡𝑥 𝐺𝑥 𝐺2 + 60𝐹𝑥𝑥 𝐺𝑡 𝐺𝑥𝑥 𝐺2 − 20𝐹𝑡𝑡𝑡 𝐺𝑡𝑥 𝐺3 + 90𝐹𝑡𝑡𝑡 𝐺𝑡 𝐺𝑥 𝐺2 − 30𝐹𝑡𝑡𝑥 𝐺𝑡𝑡 𝐺3
− 315𝐹𝑥𝑥 𝐺𝑡 𝐺𝑥2 𝐺 − 4𝐹𝑥 𝐺𝑡𝑥𝑥𝑥 𝐺3 + 45𝐹𝑥 𝐺𝑡𝑥𝑥 𝐺𝑥 𝐺2 + 135𝐹𝑡𝑡𝑥 𝐺𝑡2 𝐺2 + 120𝐹𝑡𝑡 𝐺𝑡𝑥 𝐺𝑡 𝐺2 − 15𝐹𝑡𝑡 𝐺𝑡𝑡𝑥 𝐺3
+ 40𝐹𝑥 𝐺𝑡𝑥 𝐺𝑥𝑥 𝐺2 − 210𝐹𝑥 𝐺𝑡𝑥 𝐺𝑥2 𝐺 + 15𝐹𝑥 𝐺𝑡 𝐺𝑥𝑥𝑥 𝐺2 + 60𝐹𝑡𝑡 𝐺𝑡𝑡 𝐺𝑥 𝐺2 − 315𝐹𝑡𝑡 𝐺𝑡2 𝐺𝑥 𝐺 + 40𝐹𝑡 𝐺𝑡𝑥 𝐺𝑡𝑡 𝐺2 (A.17)
−1 − 210𝐹𝑡 𝐺𝑡𝑥 𝐺𝑡2 𝐺 − 4𝐹𝑡 𝐺𝑡𝑡𝑡𝑥 𝐺3 + 15𝐹𝑡 𝐺𝑡𝑡𝑡 𝐺𝑥 𝐺2
− 210𝐹𝑥 𝐺𝑡 𝐺𝑥𝑥 𝐺𝑥 𝐺 + 420𝐹𝑥 𝐺𝑡 𝐺𝑥3 ) (𝐹𝑥 𝐺4 ) ,
(A.14) + 45𝐹𝑡 𝐺𝑡𝑡𝑥 𝐺𝑡 𝐺2 − 210𝐹𝑡 𝐺𝑡𝑡 𝐺𝑡 𝐺𝑥 𝐺 + 420𝐹𝑡 𝐺𝑡3 𝐺𝑥
− 30𝐹𝑡𝑡𝑥 𝐺𝑥𝑥 𝐺3 + 135𝐹𝑡𝑡𝑥 𝐺𝑥2 𝐺2 − 5𝐹𝑡𝑡 𝐺𝑥𝑥𝑥 𝐺3 + 45𝐹𝑡𝑡𝑡 𝐺𝑡2 𝐺2 − 5𝐹𝑡𝑡 𝐺𝑡𝑡𝑡 𝐺3 + 60𝐹𝑡𝑡 𝐺𝑡𝑡 𝐺𝑡 𝐺2
(A.18)
+ 60𝐹𝑡𝑡 𝐺𝑥𝑥 𝐺𝑥 𝐺2 − 105𝐹𝑡𝑡 𝐺𝑥3 𝐺 − 4𝐹𝑡 𝐺𝑡𝑥𝑥𝑥 𝐺3 − 105𝐹𝑡𝑡 𝐺𝑡3 𝐺 − 𝐹𝑡 𝐺𝑡𝑡𝑡𝑡 𝐺3 + 15𝐹𝑡 𝐺𝑡𝑡𝑡 𝐺𝑡 𝐺2
−1
+ 45𝐹𝑡 𝐺𝑡𝑥𝑥 𝐺𝑥 𝐺2 + 40𝐹𝑡 𝐺𝑡𝑥 𝐺𝑥𝑥 𝐺2 − 210𝐹𝑡 𝐺𝑡𝑥 𝐺𝑥2 𝐺 + 10𝐹𝑡 𝐺𝑡𝑡2 𝐺2 − 105𝐹𝑡 𝐺𝑡𝑡 𝐺𝑡2 𝐺 + 105𝐹𝑡 𝐺𝑡4 ) (𝐹𝑥 𝐺4 ) .
+ 15𝐹𝑡 𝐺𝑡 𝐺𝑥𝑥𝑥 𝐺2 − 210𝐹𝑡 𝐺𝑡 G𝑥𝑥 𝐺𝑥 𝐺 + 420𝐹𝑡 𝐺𝑡 𝐺𝑥3 (A.15) Equations for Theorem 2 in Section 3
3
− 10𝐹𝑥𝑥𝑥 𝐺𝑡𝑡 𝐺 + 45𝐹𝑥𝑥𝑥 𝐺𝑡2 𝐺2 + 120𝐹𝑥𝑥 𝐺𝑡𝑥 𝐺𝑡 𝐺 2
𝑆3𝑡𝑡𝑡 = (23856004085760000000𝑆6𝑡𝑡𝑡 𝑆43 𝑆5
− 15𝐹𝑥𝑥 𝐺𝑡𝑡𝑥 𝐺3 + 60𝐹𝑥𝑥 𝐺𝑡𝑡 𝐺𝑥 𝐺2 − 315𝐹𝑥𝑥 𝐺𝑡2 𝐺𝑥 𝐺
+ 85200014592000000𝑆6𝑡𝑡𝑡 𝑆43 𝑆8
2 2 2
+ 45𝐹𝑥 𝐺𝑡𝑥𝑥 𝐺𝑡 𝐺 + 40𝐹𝑥 𝐺𝑡𝑥 𝐺 − 420𝐹𝑥 𝐺𝑡𝑥 𝐺𝑡 𝐺𝑥 𝐺 2 2
− 45181825920000000𝑆6𝑡 𝑆4 𝑆5
3 2 2
− 6𝐹𝑥 𝐺𝑡𝑡𝑥𝑥 𝐺 + 45𝐹𝑥 𝐺𝑡𝑡𝑥 𝐺𝑥 𝐺 + 20𝐹𝑥 𝐺𝑡𝑡 𝐺𝑥𝑥 𝐺
2 2
− 122636384640000𝑆6𝑡 𝑆4 𝑆8
− 105𝐹𝑥 𝐺𝑡𝑡 𝐺𝑥2 𝐺 − 105𝐹𝑥 𝐺𝑡2 𝐺𝑥𝑥 𝐺 + 630𝐹𝑥 𝐺𝑡2 𝐺𝑥2 )
− 8179201400832000000𝑆7𝑡𝑡𝑡 𝑆43
4 −1
⋅ (𝐹𝑥 𝐺 ) ,
+ 121461140802355200000000𝐻0 𝑆46
3
𝐻2 = (−30𝐹𝑡𝑥𝑥 𝐺𝑡𝑡 𝐺 + 135𝐹𝑡𝑥𝑥 𝐺𝑡2 𝐺2 + 240𝐹𝑡𝑥 𝐺𝑡𝑥 𝐺𝑡 𝐺 2
+ 1288224220631040000𝑆22 𝑆3 𝑆42 𝑆6
3 2
− 30𝐹𝑡𝑥 𝐺𝑡𝑡𝑥 𝐺 + 120𝐹𝑡𝑥 𝐺𝑡𝑡 𝐺𝑥 𝐺 − 630𝐹𝑡𝑥 𝐺𝑡2 𝐺𝑥 𝐺
+ 333433269227520000𝑆22 𝑆52 𝑆6
4 3 3
+ 10𝐹𝑡𝑡𝑡𝑥𝑥 𝐺 − 40𝐹𝑡𝑡𝑡𝑥 𝐺𝑥 𝐺 − 10𝐹𝑡𝑡𝑡 𝐺𝑥𝑥 𝐺
+ 202242458880000𝑆22 𝑆5 𝑆62
+ 45𝐹𝑡𝑡𝑡 𝐺𝑥2 𝐺2 − 60𝐹𝑡𝑡𝑥𝑥 𝐺𝑡 𝐺3 − 60𝐹𝑡𝑡𝑥 𝐺𝑡𝑥 𝐺3
+ 1247633114112000𝑆22 𝑆5 𝑆6 𝑆8
+ 270𝐹𝑡𝑡𝑥 𝐺𝑡 𝐺𝑥 𝐺2 − 15𝐹𝑡𝑡 𝐺𝑡𝑥𝑥 𝐺3 + 120𝐹𝑡𝑡 𝐺𝑡𝑥 𝐺𝑥 𝐺2
− 398786229338112000𝑆22 𝑆5 𝑆7
+ 60𝐹𝑡𝑡 𝐺𝑡 𝐺𝑥𝑥 𝐺2 − 315𝐹𝑡𝑡 𝐺𝑡 𝐺𝑥2 𝐺 + 45𝐹𝑡 𝐺𝑡𝑥𝑥 𝐺𝑡 𝐺2
2 2
+ 40𝐹𝑡 𝐺𝑡𝑥 𝐺 − 420𝐹𝑡 𝐺𝑡𝑥 𝐺𝑡 𝐺𝑥 𝐺 − 6𝐹𝑡 𝐺𝑡𝑡𝑥𝑥 𝐺3 + 2142294739200𝑆22 𝑆62 𝑆8
(A.16)
+ 45𝐹𝑡 𝐺𝑡𝑡𝑥 𝐺𝑥 𝐺2 + 20𝐹𝑡 𝐺𝑡𝑡 𝐺𝑥𝑥 𝐺2 − 105𝐹𝑡 𝐺𝑡𝑡 𝐺𝑥2 𝐺 − 169957431705600𝑆22 𝑆6 𝑆7
− 105𝐹𝑡 𝐺𝑡2 𝐺𝑥𝑥 𝐺 + 630𝐹𝑡 𝐺𝑡2 𝐺𝑥2 − 5𝐹𝑥𝑥 𝐺𝑡𝑡𝑡 𝐺3 − 1775000304000𝑆22 𝑆6 𝑆82
+ 211536𝑆62 𝑆8
+ 25818186240000 (4158000𝑆6𝑡 𝑆4
− 29151360𝑆6 𝑆7 + 120120𝑆6 𝑆82
− 415800𝑆2 𝑆6 + 1096381440𝑆3 𝑆42
+ 10810240𝑆7 𝑆8 + 129525𝑆83 )
− 129382400𝑆52
+ 93139200 (3160𝑆6 + 1397𝑆8
− 741880𝑆5 𝑆6 − 268800𝑆5 𝑆8
+ 879840𝑆5 ) 𝑆3 𝑆42
− 1280𝑆62 − 684𝑆6 𝑆8
+ 55440 (81088000𝑆52 − 565600𝑆5 𝑆6
− 4992𝑆7 − 825𝑆82 ) 𝑆3𝑡 𝑆43
+ 326560𝑆5 𝑆8 − 844𝑆6 𝑆8 + 467712𝑆7
+ 1022400175104000000 (77𝑆6 + 20𝑆8
− 1155𝑆82 + 838252800𝑆3 𝑆42 ) 𝑆2 ) 𝑆6𝑡 𝑆4 )
+ 23968𝑆5 ) 𝑆3𝑡𝑡 𝑆44
−1
⋅ (56681865707765760000000𝑆45 ) ,
− 619636469760000 (24213𝑆6
(A.19)
+ 4880𝑆8 + 4866176𝑆5 ) 𝑆32 𝑆44
𝑆6𝑡𝑥 = ((2 (40320 (2 (99 (259952𝑆22
+ 768000 ((417386935𝑆6
− 436299𝑆3 𝑆42 − 19404000𝐻3
+ 422682482𝑆8 ) 𝑆6
+ 1724800𝐶02 ) 𝑆4
− 88 (1252844464𝑆7 + 2443875𝑆82 )) 𝑆53
+ 672348600𝑆1𝑡𝑡 𝑆4
− 384𝑆7 + 280𝑆5 𝑆6 ) 𝑆23
+ 1280664000𝐶0𝑡𝑥 𝑆4
− 8520001459200000 (𝑆6 𝑆8
+ 18441561600000 + 330832𝑆5 ) 𝑆2 𝑆4 ) 𝑆4
− 24 (330129𝑆6 − 20551𝑆8
− 2209320960𝑆2 𝑆5
− 7096320𝑆2 𝑆6 + 94386224𝑆5 ) 𝑆3 𝑆43
+ 703120𝑆5 𝑆8 + (112𝑆5 + 𝑆8 ) 𝑆1 )
+ 17280𝑆62 + 3970𝑆6 𝑆8 + (120𝑆6 + 17𝑆8 + 60272𝑆5 ) 𝑆42 ) 𝐵0 𝑆42
+ 3094464𝑆7 + 13785𝑆82
− 91476000 (3696 (5040 (4𝐵0 + 𝑆3 ) 𝑆42
− 34379009280𝑆3 𝑆42 ) 𝑆2 𝑆4
+ (112𝑆5 + 𝑆8 ) 𝑆2 )
− 19958400 (2695𝑆1 − 7099𝑆42
− (603904𝑆52 + 1792𝑆5 𝑆6
+ 385𝐴 1 𝑆4 ) 𝑆3𝑡 𝑆42
+ 5392𝑆5 𝑆8 − 26𝑆6 𝑆8
− 2880 (2695𝑆1 − 3183𝑆42 − 539𝐴 1 𝑆4 ) 𝑆7𝑡
− 2688𝑆7 + 75𝑆82 )) 𝐴 1𝑡 𝑆42
+ 5940 (896𝑆7 − 25𝑆82
+ 11 (11176704000 (24𝑆6
+ 14𝑆6 𝑆8 + 2069760𝑆3 𝑆42 ) 𝐶0 𝑆4
− 11𝑆8 + 6856𝑆5
− 5544000 (24𝑆6 − 11𝑆8
− 5544𝑆2 ) 𝐵0 𝑆42
+ 6856𝑆5 − 5544𝑆2 ) 𝐷1 𝑆42 )
+ 21451820544000𝑆3 𝑆42 𝑆5
+ (160 ((4626885𝑆6 − 4733737𝑆8 ) 𝑆6
+ 71624044800𝑆3 𝑆42 𝑆6
+ 293259136𝑆7 +5053935𝑆82 ) 𝑆5
− 20676902400𝑆3 𝑆42 𝑆8
+ 13742136217600𝑆53
− 4004044800𝑆53
+ 150598419200𝑆52 𝑆6
+ 133593600𝑆52 𝑆6
− 63989446400𝑆52 𝑆8
− 107251200𝑆52 𝑆8
+ 1382400𝑆63 − 828024𝑆62 𝑆8
− 39200𝑆5 𝑆62 + 49007280𝑆5 𝑆6 𝑆8
+ 190854144𝑆6 𝑆7 − 2697315𝑆6 𝑆82
+ 3140157440𝑆5 𝑆7
− 214158080𝑆7 𝑆8 + 5466300𝑆83 ) 𝑆4 ) 𝑆4
− 81867600𝑆5 𝑆82 + 188188𝑆62 𝑆8
− 385 (776160 (𝑆6 𝑆8 − 192𝑆7
+ 12348672𝑆6 𝑆7 − 476955𝑆6 𝑆82
+ 280𝑆5 𝑆6 ) 𝑆2
− 10622080𝑆7 𝑆8
− (1341502525440𝑆3 𝑆42 𝑆5 + 249900𝑆83 − 55440 (847𝑆6 𝑆8
+ 3259872000𝑆3 𝑆42 𝑆6 + 59136𝑆7 − 1125𝑆82 + 7840𝑆5 𝑆6
+ 3520661760𝑆3 𝑆42 𝑆8 + 279417600𝑆3 𝑆42 ) 𝑆2 ) 𝐴 1 𝑆4 ))
− 40040448000𝑆53 − 183456000𝑆52 𝑆6 −1
⋅ (5532468480000𝑆44 ) ,
− 371804160𝑆52 𝑆8 − 431200𝑆5 𝑆62 (A.23)
− 274176𝑆5 𝑆6 𝑆8 + 19726336𝑆5 𝑆7
𝐵0𝑡 = (3688312320000𝑆3𝑡 𝑆43
− 3265920𝑆5 𝑆82 − 364𝑆62 𝑆8
− 620928000𝑆6𝑡 𝑆4 𝑆5
+ 182784𝑆6 𝑆7 − 441𝑆6 𝑆82 + 277200𝑆6𝑡 𝑆4 𝑆8
+ 103936𝑆7 𝑆8 − 11220𝑆83 )) 𝑆1 + 372556800𝑆7𝑡 𝑆4
16 International Journal of Differential Equations
− 1052792048𝑆1 𝑆5
+ 442597478400𝑆2 𝑆3 𝑆42
− 5588352𝑆1 𝑆6
+ 62092800𝑆2 𝑆5 𝑆6
+ 6852307𝑆1 𝑆8
− 27720𝑆2 𝑆6 𝑆8 − 74511360𝑆2 𝑆7
+ 2189453112𝑆2 𝑆42
− 826011648000𝑆3 𝑆42 𝑆5
− 3051480𝑆42 𝑆5
− 2567980800𝑆3 𝑆42 𝑆6
+ 2469168𝑆42 𝑆6
− 119750400𝑆3 𝑆42 𝑆8
− 4097730𝑆42 𝑆8 ) 𝐴 1 𝑆4
+ 572006400𝑆53
− (16666080𝑆6 + 97969487𝑆8
+ 15321600𝑆52 𝑆8 + 5600𝑆5 𝑆62
+ 1764 (7528052𝑆5
+ 36305920𝑆5 𝑆7 + 82800𝑆5 𝑆82
− 27160𝑆6 + 99515𝑆8
+ 512𝑆62 𝑆8 + 49728𝑆6 𝑆7
+ 15878940𝑆2 ) 𝑆1 𝑆42
− 1935𝑆6 𝑆82 − 34880𝑆7 𝑆8
+ 258720 (297𝑆6 + 14𝑆8
+2550𝑆83 )
+77780𝑆5 − 141372𝑆2 ) 𝐵2 𝑆42
−1
⋅ (11064936960000𝑆43 ) ,
− 3018400 (432𝑆6
(A.24)
− 485𝑆8 + 52960𝑆5
𝑆6𝑥𝑥 = (7 (33 (240 (108662400𝐻4
− 99792𝑆2 ) (𝐵2𝑥 − 𝐷3 ) 𝑆4
− 778447𝑆2 𝑆42 − 3773 (6912𝑆6 − 13183𝑆8
+ 2199120𝐷2 𝑆4
+ 819440𝑆5 − 1596672𝑆2 ) 𝐴21 𝑆42 )
− 18110400𝐷2𝑥 −1
⋅ (162993600𝑆42 ) .
− 1164240𝐵2𝑡 𝑆4 ) 𝑆42 (A.25)
− 136171 (112𝑆5 + 𝑆8 ) 𝑆12
Conflicts of Interest
− 53760 (4851𝑆1
The authors declare that there are no conflicts of interest
− 2188𝑆42 ) 𝐶0 𝑆42 ) regarding the publication of this paper.
+ 2 (4303031040𝐵2 𝑆2 Acknowledgments
− 2283635200𝐵2 𝑆5 The first author would like to thank Naresuan University,
Thailand, for the partial financial support of this project
− 18627840𝐵2 𝑆6 under Grant no. R2560C104.
International Journal of Differential Equations 17
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi
Optimization
Hindawi
www.hindawi.com Volume 2018 www.hindawi.com Volume 2018
International Journal of
Engineering International Journal of
Mathematics
Hindawi
Analysis
Hindawi
www.hindawi.com Volume 2018 www.hindawi.com Volume 2018