Research Article Group Classification of a Generalized Lane-Emden System Ben Muatjetjeja,

advertisement
Hindawi Publishing Corporation
Journal of Applied Mathematics
Volume 2013, Article ID 305032, 12 pages
http://dx.doi.org/10.1155/2013/305032
Research Article
Group Classification of a Generalized Lane-Emden System
Ben Muatjetjeja,1 Chaudry Masood Khalique,1 and Fazal Mahmood Mahomed2
1
Department of Mathematical Sciences, International Institute for Symmetry Analysis and Mathematical Modelling,
North-West University, Mafikeng Campus, Private Bag X2046, Mmabatho 2735, South Africa
2
Centre for Differential Equations, Continuum Mechanics and Applications, School of Computational and Applied Mathematics,
University of the Witwatersrand, (Wits), Johannesburg 2050, South Africa
Correspondence should be addressed to Chaudry Masood Khalique; masood.khalique@nwu.ac.za
Received 11 September 2012; Accepted 25 November 2012
Academic Editor: Mehmet Pakdemirli
Copyright © 2013 Ben Muatjetjeja et al. 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.
We perform the group classification of the generalized Lane-Emden system π‘₯𝑒󸀠󸀠 + 𝑛𝑒󸀠 + π‘₯𝐻(𝑣) = 0, π‘₯𝑣󸀠󸀠 + 𝑛𝑣󸀠 + π‘₯𝑔(𝑒) = 0, which
occurs in many applications of physical phenomena such as pattern formation, population evolution, and chemical reactions. We
obtain four cases depending on the values of n.
1. Introduction
The celebrated Lane-Emden equation
𝑑2 𝑦 𝑛 𝑑𝑦
+
+ 𝑓 (𝑦) = 0,
𝑑π‘₯2 π‘₯ 𝑑π‘₯
(1)
where 𝑛 is a real constant and 𝑓(𝑦) is a real-valued function of
the variable 𝑦, has many applications in mathematical physics
and astrophysics. Equation (1), for certain fixed values of 𝑛
and 𝑓(𝑦), models several phenomena such as the theory of
stellar structure, the thermal behavior of a spherical cloud of
gas, isothermal gaseous sphere, and the theory of thermionic
currents [1–3]. Several methods for the solution and many
applications of the Lane-Emden Equation (1) can be found in
the literature. The interested reader is referred to [4] and the
references therein. It is worth mentioning that Wong [5], in
his review paper of 1975, presented more than 140 references
on this topic.
A natural extension of (1), called the generalized LaneEmden system [6], is given by
2. Equivalence Transformations
2
𝑑 𝑒 𝑛 𝑑𝑒
+
+ 𝐻 (𝑣) = 0,
𝑑π‘₯2 π‘₯ 𝑑π‘₯
𝑑2 𝑣 𝑛 𝑑𝑣
+
+ 𝐺 (𝑒) = 0.
𝑑π‘₯2 π‘₯ 𝑑π‘₯
Such systems arise in the modeling of several physical
phenomena, such as pattern formation, population evolution,
chemical reactions, and so on [7], and in the past few years
have attracted much attention. Various researchers have
worked on existence and uniqueness results for the LaneEmden systems [8, 9] and other related systems [10–12].
In [6] the authors studied Noether operators with respect
to the standard Lagrangian of the generalized coupled LaneEmden system (2). They obtained seven cases out of which six
cases resulted in Noether point symmetries. The first integrals
corresponding to the Noether operators in each case were also
constructed.
The objective of this paper is to perform the Lie group
classification of the generalized Lane-Emden system (2). The
paper is organized as follows. In Section 2, we calculate
the equivalence transformations of the Lane-Emden system
(2). We determine the principal Lie algebra and perform
the group classification of system (2) in Section 3. Finally,
concluding remarks are presented in Section 4.
(2)
An equivalence transformation (see, e.g., [13]) of the system
(2) is an invertible transformation involving the variables π‘₯,
𝑒, and 𝑣 that map system (2) into itself, with possibly the
form of the transformed functions being different from that
2
Journal of Applied Mathematics
of the original functions 𝐻(𝑣) and 𝐺(𝑒). We write system (2)
as
𝑋1 : π‘₯ = π‘’π‘Ž1 π‘₯,
2
𝑑 𝑒 𝑛 𝑑𝑒
+
+ 𝐻 (𝑣) = 0,
𝑑π‘₯2 π‘₯ 𝑑π‘₯
𝐻𝑒 = 0,
𝐺π‘₯ = 0,
(3)
𝐺𝑣 = 0,
𝑋3 : π‘₯ = π‘₯,
πœ•
πœ•
+ πœ‡1 (π‘₯, 𝑒, 𝑣, 𝐻, 𝐺)
πœ•π‘£
πœ•π»
𝐻 = 𝐻,
𝑋4 : π‘₯ = π‘₯,
𝑣 = 𝑣,
Case 1 (𝑛 =ΜΈ − 1, 1, 3). In this case system (3) has the ninedimensional equivalence Lie algebra spanned by the equivalence generators
𝑣 = π‘’π‘Ž3 𝑣,
𝐺 = π‘’π‘Ž3 𝐺,
𝐻 = 𝐻,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝑣 = 𝑣 + π‘Ž5 ,
𝐺 = 𝐺,
𝐻 = 𝐻,
𝑋7 : π‘₯ = π‘₯,
We apply Lie’s infinitesimal approach by using the prolongation of π‘Œ to involve the derivatives in system (3) as, for
example, in [14].
We summarize our results below.
𝐺 = 𝐺,
𝑒 = 𝑒 + π‘Ž6 π‘₯1−𝑛 ,
𝑋6 : π‘₯ = π‘₯,
𝑣 = 𝑣,
πœ•
+ πœ‡ (π‘₯, 𝑒, 𝑣, 𝐻, 𝐺)
.
πœ•πΊ
2
𝑣 = 𝑣,
𝑒 = 𝑒 + π‘Ž4 ,
𝐻 = 𝐻,
(4)
𝐺 = 𝑒−2π‘Ž1 𝐺,
𝑒 = 𝑒,
𝑋5 : π‘₯ = π‘₯,
πœ•
πœ•
+ πœ‚1 (π‘₯, 𝑒, 𝑣)
π‘Œ = πœ‰ (π‘₯, 𝑒, 𝑣)
πœ•π‘₯
πœ•π‘’
𝑣 = 𝑣,
𝑒 = π‘’π‘Ž2 𝑒,
𝑋2 : π‘₯ = π‘₯,
𝐻 = π‘’π‘Ž2 𝐻,
where 𝑒 and 𝑣 are differential variables with independent
variable π‘₯, and 𝐻 is a differential function of the independent
variables π‘₯ and 𝑣, whereas 𝐺 is a differential function of the
independent variables π‘₯ and 𝑒. We obtain the generators of
the group of equivalence transformations as
+ πœ‚2 (π‘₯, 𝑒, 𝑣)
𝑒 = 𝑒,
𝐻 = 𝑒−2π‘Ž1 𝐻,
𝑑2 𝑣 𝑛 𝑑𝑣
+
+ 𝐺 (𝑒) = 0,
𝑑π‘₯2 π‘₯ 𝑑π‘₯
𝐻π‘₯ = 0,
and hence the nine-parameter equivalence group is given by
𝑒 = 𝑒,
𝐻 = 𝐻,
𝐺 = 𝐺,
𝑣 = 𝑣 + π‘Ž7 π‘₯1−𝑛 ,
𝐺 = 𝐺,
𝑒 = 𝑒 + π‘Ž8 π‘₯2 ,
𝑋8 : π‘₯ = π‘₯,
𝐻 = 𝐻 − 2 (1 + 𝑛) π‘Ž8 ,
𝑋9 : π‘₯ = π‘₯,
𝑒 = 𝑒,
𝐻 = 𝐻,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑣 = 𝑣 + π‘Ž9 π‘₯2 ,
𝐺 = 𝐺 − 2 (1 + 𝑛) π‘Ž9 .
(6)
𝑋1 = π‘₯
πœ•
πœ•
πœ•
− 2𝐻
− 2𝐺 ,
πœ•π‘₯
πœ•π»
πœ•πΊ
𝑋2 = 𝑒
πœ•
πœ•
+𝐻
,
πœ•π‘’
πœ•π»
π‘₯ = π‘’π‘Ž1 π‘₯,
𝑋3 = 𝑣
πœ•
πœ•
+𝐺 ,
πœ•π‘£
πœ•πΊ
𝑒 = π‘’π‘Ž2 (𝑒 + π‘Ž8 π‘₯2 + π‘Ž6 π‘₯1−𝑛 + π‘Ž4 ) ,
Thus the composition of these transformations gives
𝑣 = π‘’π‘Ž3 (𝑣 + π‘Ž9 π‘₯2 + π‘Ž7 π‘₯1−𝑛 + π‘Ž5 ) ,
πœ•
𝑋4 =
,
πœ•π‘’
𝑋5 =
(7)
𝐻 = π‘’π‘Ž2 −2π‘Ž1 (𝐻 − 2 (1 + 𝑛) π‘Ž8 ) ,
πœ•
,
πœ•π‘£
(5)
𝑋6 = π‘₯1−𝑛
πœ•
,
πœ•π‘’
𝑋7 = π‘₯1−𝑛
πœ•
,
πœ•π‘£
𝐺 = π‘’π‘Ž3 −2π‘Ž1 (𝐺 − 2 (1 + 𝑛) π‘Ž9 ) .
Case 2 (𝑛 = −1). In this case system (3) has the ninedimensional equivalence Lie algebra spanned by the equivalence generators
𝑋8 = π‘₯2
πœ•
πœ•
− 2 (1 + 𝑛)
,
πœ•π‘’
πœ•π»
𝑋1 = π‘₯
πœ•
πœ•
πœ•
− 2𝐻
− 2𝐺 ,
πœ•π‘₯
πœ•π»
πœ•πΊ
𝑋9 = π‘₯2
πœ•
πœ•
− 2 (1 + 𝑛)
πœ•π‘£
πœ•πΊ
𝑋2 = 𝑒
πœ•
πœ•
+𝐻
,
πœ•π‘’
πœ•π»
Journal of Applied Mathematics
𝑋3 = 𝑣
3
πœ•
πœ•
+𝐺 ,
πœ•π‘£
πœ•πΊ
𝑋4 =
πœ•
,
πœ•π‘’
𝑋5 =
πœ•
,
πœ•π‘£
Hence the composition of these transformations gives
π‘₯ = π‘’π‘Ž1 π‘₯,
𝑒 = π‘’π‘Ž2 (𝑒 + π‘Ž6 π‘₯2 ln π‘₯ + π‘₯2 π‘Ž8 + π‘Ž4 ) ,
𝑣 = π‘’π‘Ž3 (𝑣 + π‘Ž7 π‘₯2 ln π‘₯ + π‘₯2 π‘Ž9 + π‘Ž5 ) ,
πœ•
πœ•
𝑋6 = π‘₯2 ln π‘₯
−2
,
πœ•π‘’
πœ•π»
𝑋7 = π‘₯2 ln π‘₯
𝑋8 = π‘₯2
πœ•
,
πœ•π‘’
𝑋9 = π‘₯2
πœ•
πœ•π‘£
𝐻 = π‘’π‘Ž2 −2π‘Ž1 (𝐻 − 2π‘Ž6 ) ,
πœ•
πœ•
−2 ,
πœ•π‘£
πœ•πΊ
𝐺 = π‘’π‘Ž3 −2π‘Ž1 (𝐺 − 2π‘Ž7 ) .
Case 3 (𝑛 = 1). In this case system (3) has the ninedimensional equivalence Lie algebra spanned by the equivalence generators
(8)
and hence the nine-parameter equivalence group is given by
𝑋1 : π‘₯ = π‘’π‘Ž1 π‘₯,
𝑒 = 𝑒,
𝐻 = 𝑒−2π‘Ž1 𝐻,
𝑋2 : π‘₯ = π‘₯,
𝑋3 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋4 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋5 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋6 : π‘₯ = π‘₯,
𝑣 = 𝑣,
𝐺 = 𝑒−2π‘Ž1 𝐺,
𝑒 = π‘’π‘Ž2 𝑒,
𝐻 = π‘’π‘Ž2 𝐻,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑣 = π‘’π‘Ž3 𝑣,
𝑒 = 𝑒,
π‘Ž3
𝐺 = 𝑒 𝐺,
𝑒 = 𝑒 + π‘Ž4 ,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝑣 = 𝑣 + π‘Ž5 ,
𝐺 = 𝐺,
𝑒 = 𝑒 + π‘Ž6 π‘₯2 ln π‘₯,
𝐻 = 𝐻,
𝑋8 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋9 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑒 = 𝑒,
𝑋2 = 𝑒
πœ•
πœ•
+𝐻
,
πœ•π‘’
πœ•π»
𝑋3 = 𝑣
πœ•
πœ•
+𝐺 ,
πœ•π‘£
πœ•πΊ
𝑋4 =
πœ•
,
πœ•π‘’
𝑋5 =
πœ•
,
πœ•π‘£
(11)
𝑋6 = ln π‘₯
πœ•
,
πœ•π‘’
𝑋7 = ln π‘₯
πœ•
,
πœ•π‘£
𝑋8 = π‘₯2
πœ•
πœ•
−4
,
πœ•π‘’
πœ•π»
𝑋9 = π‘₯2
πœ•
πœ•
−4
πœ•π‘£
πœ•πΊ
𝑒 = 𝑒,
𝐻 = 𝑒−2π‘Ž1 𝐻,
𝑋2 : π‘₯ = π‘₯,
𝐺 = 𝐺 − 2π‘Ž7 ,
𝑋3 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑣 = 𝑣 + π‘Ž9 π‘₯2 ,
𝑋4 : π‘₯ = π‘₯,
𝐺 = 𝐺.
(9)
𝐻 = 𝐻,
𝑣 = 𝑣,
𝐺 = 𝑒−2π‘Ž1 𝐺,
𝑒 = π‘’π‘Ž2 𝑒,
𝐻 = π‘’π‘Ž2 𝐻,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑒 = 𝑒,
πœ•
πœ•
πœ•
− 2𝐻
− 2𝐺 ,
πœ•π‘₯
πœ•π»
πœ•πΊ
𝑋1 : π‘₯ = π‘’π‘Ž1 π‘₯,
𝑣 = 𝑣 + π‘Ž7 π‘₯2 ln π‘₯,
𝑒 = 𝑒 + π‘Ž8 π‘₯2 ,
𝑋1 = π‘₯
and hence the nine-parameter equivalence group is given by
𝑣 = 𝑣,
𝐻 = 𝐻 − 2π‘Ž6 , 𝐺 = 𝐺,
𝑋7 : π‘₯ = π‘₯,
(10)
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝑣 = π‘’π‘Ž3 𝑣,
𝐺 = π‘’π‘Ž3 𝐺,
𝑒 = 𝑒 + π‘Ž4 ,
𝐺 = 𝐺,
𝑣 = 𝑣,
4
Journal of Applied Mathematics
Table 1: Lie symmetries for 𝑛 =ΜΈ − 1, 1, 3, for various functions 𝐻(𝑣) and 𝐺(𝑒).
𝐻(𝑣) arbitrary, 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑐π‘₯2 + 2𝑛𝑣 + 2𝑣)
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) arbitrary
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑑π‘₯2 + 2𝑛𝑒 + 2𝑒)
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑑π‘₯2 + 2𝑛𝑒 + 2𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
+ (2𝑛 − 6)π‘₯(1−𝑛) ,
𝑋4 = 𝛽π‘₯(3−𝑛)
πœ•π‘£
πœ•π‘’
πœ•
πœ•
𝑋5 = (2𝑛 + 2)
− 𝛽π‘₯2 ,
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
𝑋6 = (2𝑛2 + 8𝑛 + 6) π‘₯
− 4 (𝑛2 𝑒 + 3𝑑π‘₯2 + 4𝑛𝑒 + 3𝑒 + 𝑛𝑑π‘₯2 )
+ (𝛽𝑑π‘₯2 − 2𝛼𝑛 − 6𝛼)π‘₯2 ,
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
− (4𝑛 + 12)𝑑π‘₯2
+ (8𝑛2 𝑣 + 32𝑛𝑣 + 𝛽𝑑π‘₯4 + 24𝑣)
𝑋7 = (16𝑛π‘₯ + 4𝑛2 π‘₯ + 12π‘₯)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−𝑝 , 𝛼, 𝑝, and 𝛽 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) ,
πœ•π‘£ 2
πœ•π‘£
πœ•
πœ•
πœ•
+ (2𝑛𝑒 + 2𝑒)
− (2𝑛𝑝𝑣 − 2𝑛𝑣 + 𝛼𝑝π‘₯2 + 2𝑝𝑣 − 2𝑣) ,
𝑋3 = (𝑛π‘₯ + π‘₯)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•
𝑋4 = (2𝑒 + 2𝑛𝑒 + 𝑑π‘₯2 )
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−π‘˜π‘’ , 𝛼, π‘˜, and 𝛽 constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑑π‘₯2 + 2𝑛𝑒 + 2𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
− (π›Όπ‘˜π‘₯2 + 2π‘˜π‘›π‘£ + 2π‘˜π‘£)
𝑋4 = (2𝑛 + 2)
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽 ln 𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑑π‘₯2 + 2𝑛𝑒 + 2𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
+ (2𝑒 + 2𝑛𝑒)
+ (2𝑛𝑣 − 𝛽π‘₯2 + 2𝑣)
𝑋4 = (π‘₯𝑛 + π‘₯)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋2 = π‘₯(1−𝑛) , 𝑋3 = (𝑐π‘₯2 + 2𝑛𝑣 + 2𝑣) ,
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•
πœ•
+ (2𝑛 − 6)π‘₯(1−𝑛) ,
𝑋4 = 𝑏π‘₯(3−𝑛)
πœ•π‘’
πœ•π‘£
πœ•
πœ•
− (2𝑛 + 2) ,
𝑋5 = 𝑏π‘₯2
πœ•π‘’
πœ•π‘£
πœ•
πœ•
− (4𝑐𝑛π‘₯2 + 24𝑣 + 8𝑛2 𝑣 + 32𝑛𝑣 + 12π‘₯2 ) ,
𝑋6 = (𝑏𝑐π‘₯4 − 32𝑛𝑒 − 12π‘Žπ‘₯2 − 24𝑒 − 8𝑛2 𝑒 − 4π‘Žπ‘›π‘₯2 )
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
+ (8𝑛2 𝑒 + 24𝑒 + 32𝑛𝑒 + 𝑏𝑐π‘₯4 )
− (12𝑐π‘₯2 + 4𝑐𝑛π‘₯2 )
𝑋7 = (16𝑛π‘₯ + 4𝑛2 π‘₯ + 12π‘₯)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
𝑋1 = 𝐹(π‘₯) , 𝑋2 = π‘Š(π‘₯) , 𝑋3 = 𝑒
+𝑣 ,
πœ•π‘£
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•
πœ•
+ 𝛽𝑒
𝑋4 = 𝑏𝑣
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝑏π‘₯ + 𝑏𝑝π‘₯)
+ 4𝑏𝑒
+ (2π‘Ž + 2𝑏𝑣 − 2π‘Žπ‘ − 2𝑏𝑝𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘π‘˜π‘₯
+ 4𝑏
− (2π‘Žπ‘˜ + 2π‘π‘˜π‘£)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
Journal of Applied Mathematics
5
Table 1: Continued.
−π‘š
𝐻(𝑣) = π‘Ž + 𝑏𝑣 , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑐π‘₯2 + 2𝑛𝑣 + 2𝑣) ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•
πœ•
πœ•
+ (2𝑒 − 2π‘›π‘šπ‘’ + 2𝑛𝑒 − π‘Žπ‘šπ‘₯2 − 2π‘šπ‘’)
+ (2𝑛𝑣 + 2𝑣)
𝑋4 = (𝑛π‘₯ + π‘₯)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝛽π‘₯ + π›½π‘šπ‘₯)
+ (2𝛼 − 2π›Όπ‘š + 2𝛽𝑒 − 2π›½π‘šπ‘’)
+ 4𝛽𝑣
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (π‘π‘šπ‘₯ − π‘₯)
+ (2π‘šπ‘’ − 2𝑒)
+ (2𝑝𝑣 − 2𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘˜π‘šπ‘₯
+ (2π‘š − 2)
+ 2π‘˜π‘£
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑒−π‘šπ‘£ , π‘Ž, π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑐π‘₯2 + 2𝑛𝑣 + 2𝑣) ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•
πœ•
− 2(𝑛 + 1)
𝑋4 = (π‘Žπ‘₯2 + 2𝑒 + 2𝑛𝑒) π‘š
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒 (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π›½π‘šπ‘₯
− (2π›Όπ‘š + 2π›½π‘šπ‘’)
+ 4𝛽
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘π‘₯
+ 2π‘šπ‘’
+ (2𝑝 − 2)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘˜π‘₯
+ 2π‘š
+ 2π‘˜
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏 ln 𝑣, π‘Ž, π‘š and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯(1−𝑛) , 𝑋3 = (𝑐π‘₯2 + 2𝑣 + 2𝑛𝑣) ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•
πœ•
πœ•
+ (2𝑛𝑒 − 𝑏π‘₯2 + 2𝑒)
+ (2𝑛𝑣 + 2𝑣)
𝑋4 = (𝑛 + 1)π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝑋5 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋6 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋7 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋8 : π‘₯ = π‘₯,
𝑒 = 𝑒,
𝐻 = 𝐻,
and so the composition of these transformations gives
π‘₯ = π‘’π‘Ž1 π‘₯,
𝐺 = 𝐺,
𝑒 = 𝑒 + π‘Ž6 ln π‘₯,
𝑒 = π‘’π‘Ž2 (𝑒 + π‘Ž6 ln π‘₯ + π‘Ž8 π‘₯2 + π‘Ž4 ) ,
𝑣 = 𝑣,
𝑣 = π‘’π‘Ž3 (𝑣 + π‘Ž7 ln π‘₯ + π‘Ž9 π‘₯2 + π‘Ž5 ) ,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝐺 = π‘’π‘Ž3 −2π‘Ž1 (𝐺 − 4π‘Ž9 ) .
𝑒 = 𝑒 + π‘Ž8 π‘₯2 ,
𝑒 = 𝑒,
(13)
𝐻 = π‘’π‘Ž2 −2π‘Ž1 (𝐻 − 4π‘Ž8 ) ,
𝑣 = 𝑣 + π‘Ž7 ln π‘₯,
𝐺 = 𝐺,
𝐻 = 𝐻 − 4π‘Ž8 ,
𝑋9 : π‘₯ = π‘₯,
𝑣 = 𝑣 + π‘Ž5 ,
Case 4 (𝑛 = 3). In this case system (3) has the ten-dimensional equivalence Lie algebra spanned by the equivalence
generators
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑣 = 𝑣 + π‘Ž9 π‘₯2 ,
𝑋1 = π‘₯
𝐺 = 𝐺 − 4π‘Ž9
(12)
πœ•
πœ•
πœ•
− 2𝐻
− 2𝐺 ,
πœ•π‘₯
πœ•π»
πœ•πΊ
𝑋2 = π‘₯−1
πœ•
πœ•
πœ•
− 2π‘₯−2 𝑒
− 2π‘₯−2 𝑣 ,
πœ•π‘₯
πœ•π‘’
πœ•π‘£
6
Journal of Applied Mathematics
Table 2: Lie symmetries for 𝑛 = −1, for various functions 𝐻(𝑣) and 𝐺(𝑒).
𝐻(𝑣) arbitrary, 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑐π‘₯2 ln π‘₯ + 2𝑣)
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) arbitrary
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 2𝑒)
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 2𝑒) , 𝑋4 = 𝛽π‘₯4
− 8π‘₯2 ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•π‘£
πœ•π‘’
πœ•
πœ•
𝑋5 = 𝛽π‘₯2 ln π‘₯ − 2 ,
πœ•π‘£
πœ•π‘’
πœ•
πœ•
𝑋6 = (4𝑑𝛽π‘₯4 ln π‘₯ − 32𝛼π‘₯2 ln π‘₯ − 3𝛽𝑑π‘₯4 − 64𝑣) − (32π‘₯2 ln π‘₯ + 64𝑒) ,
πœ•π‘£
πœ•π‘’
πœ•
πœ•
πœ•
+ (4𝑑𝛽π‘₯4 ln π‘₯ − 16𝛼π‘₯2 ln π‘₯ − 3 𝛽𝑑π‘₯4 ) − (32 𝑑π‘₯2 ln π‘₯ + 32𝑒)
𝑋7 = 16π‘₯
πœ•π‘₯
πœ•π‘£
πœ•π‘’
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−𝑝 , 𝛼, 𝑝, and 𝛽 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 2𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
+ 2𝑒
+ (2𝑣 − 2𝑝𝑣 − 𝛼𝑝π‘₯2 ln π‘₯)
𝑋4 = π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−π‘˜π‘’ , 𝛼, π‘˜, and 𝛽 constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 2𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
− (π›Όπ‘˜π‘₯2 ln π‘₯ + 2π‘˜π‘£)
𝑋4 = 2
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽 ln 𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 2𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
+ 2𝑒
+ (2𝑣 − 𝛽π‘₯2 ln π‘₯)
𝑋4 = π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑐π‘₯2 ln π‘₯ + 2𝑣) , 𝑋4 = 𝑐π‘₯2 ln π‘₯
−2 ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•
πœ•
− 8π‘₯2 ,
𝑋5 = 𝑏π‘₯4 ln π‘₯
πœ•π‘’
πœ•π‘£
πœ•
πœ•
− (32𝑐π‘₯2 ln π‘₯ + 64𝑣) ,
𝑋6 = (4𝑏𝑐π‘₯4 ln π‘₯ − 32π‘Žπ‘₯2 ln π‘₯ − 3𝑏𝑐π‘₯4 − 64𝑒)
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
+ (4𝑐𝑑π‘₯4 ln π‘₯ − 16π‘Žπ‘₯2 ln π‘₯ − 3𝑏𝑐π‘₯4 )
− (32𝑐π‘₯2 ln π‘₯ + 32𝑣)
𝑋7 = 16π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
𝑋1 = 𝐹(π‘₯) , 𝑋2 = π‘Š(π‘₯) , 𝑋3 = 𝑒
+𝑣 ,
πœ•π‘£
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•
πœ•
+ 𝛽𝑒
𝑋4 = 𝑏𝑣
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝑏π‘₯ + 𝑏𝑝π‘₯)
+ 4𝑏𝑒
+ (2π‘Ž + 2𝑏𝑣 − 2π‘Žπ‘ − 2𝑏𝑝𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘π‘˜π‘₯
+ 4𝑏
− (2π‘Žπ‘˜ + 2π‘π‘˜π‘£)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣−π‘š , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑐π‘₯2 ln π‘₯ + 2𝑣) ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•
πœ•
πœ•
+ (2𝑒 − π‘Žπ‘šπ‘₯2 ln π‘₯ − 2π‘šπ‘’)
+ 2𝑣
𝑋4 = π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
Journal of Applied Mathematics
7
Table 2: Continued.
−π‘š
𝐻(𝑣) = 𝑏𝑣 , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝛽π‘₯ + π›½π‘šπ‘₯)
+ (2𝛼 − 2π›Όπ‘š + 2𝛽𝑒 − 2π›½π‘šπ‘’)
+ 4𝛽𝑣
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝑝 and 𝛽 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (π‘π‘šπ‘₯ − π‘₯)
+ (2π‘šπ‘’ − 2𝑒)
+ (2𝑝𝑣 − 2𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , π‘˜ and 𝛽 constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘˜π‘šπ‘₯
+ (2π‘š − 2)
+ 2π‘˜π‘£
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑒−π‘šπ‘£ , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑐π‘₯2 ln π‘₯ + 2𝑣) , 𝑋4 = (π›Όπ‘šπ‘₯2 ln π‘₯ + 2π‘šπ‘’)
−2
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π›½π‘šπ‘₯
− (2π›Όπ‘š + 2π›½π‘šπ‘’)
+ 4𝛽
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘π‘₯
+ 2π‘šπ‘’
+ (2𝑝 − 2)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘˜π‘₯
+ 2π‘š
+ 2π‘˜
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏 ln 𝑣, π‘Ž, π‘š, and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯2 , 𝑋3 = (𝑐π‘₯2 ln π‘₯ + 2𝑣) , 𝑋4 = π‘₯
+ (2𝑒 − 𝑏π‘₯2 ln π‘₯)
+ 2𝑣
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝑋3 = 𝑒
πœ•
πœ•
+𝐻
,
πœ•π‘’
πœ•π»
𝑋3 : π‘₯ = π‘₯,
𝐻 = π‘’π‘Ž3 𝐻,
πœ•
πœ•
𝑋4 = 𝑣 + 𝐺 ,
πœ•π‘£
πœ•πΊ
𝑋4 : π‘₯ = π‘₯,
πœ•
,
πœ•π‘’
πœ•
,
𝑋6 =
πœ•π‘£
𝑋5 =
𝐻 = 𝐻,
𝑋5 : π‘₯ = π‘₯,
𝑋7 = π‘₯2
πœ•
πœ•
−8
,
πœ•π‘’
πœ•π»
𝑋8 = π‘₯2
πœ•
πœ•
−8 ,
πœ•π‘£
πœ•πΊ
𝑋9 = π‘₯−2
πœ•
,
πœ•π‘’
𝑋10 = π‘₯−2
πœ•
πœ•π‘£
𝑒 = π‘’π‘Ž3 𝑒,
𝐻 = 𝐻,
𝑋6 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑋7 : π‘₯ = π‘₯,
𝐺 = 𝐺,
(14)
and hence the ten-parameter equivalence group is given by
𝑋1 : π‘₯ = π‘’π‘Ž1 π‘₯, 𝑒 = 𝑒, 𝑣 = 𝑣,
𝐻 = 𝑒−2π‘Ž1 𝐻,
𝐺 = 𝑒−2π‘Ž1 𝐺,
1/2
𝑋2 : π‘₯ = (π‘₯2 + 2π‘Ž2 )
−1
−1
𝑣 = 𝑣π‘₯2 (π‘₯2 + 2π‘Ž2 ) ,
𝐻 = 𝐻,
𝑋9 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑒 = 𝑒π‘₯2 (π‘₯2 + 2π‘Ž2 ) ,
,
𝐻 = 𝐻,
𝐺 = 𝐺,
𝑋10 : π‘₯ = π‘₯,
𝐻 = 𝐻,
𝑣 = π‘’π‘Ž4 𝑣,
𝑒 = 𝑒,
𝐺 = π‘’π‘Ž4 𝐺,
𝑒 = 𝑒 + π‘Ž5 ,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝑣 = 𝑣 + π‘Ž6 ,
𝐺 = 𝐺,
𝑒 = 𝑒 + π‘Ž7 π‘₯2 ,
𝐻 = 𝐻 − 8π‘Ž7 ,
𝑋8 : π‘₯ = π‘₯,
𝑣 = 𝑣,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝑣 = 𝑣 + π‘Ž8 π‘₯2 ,
𝐺 = 𝐺 − 8π‘Ž8 ,
𝑒 = 𝑒 + π‘Ž9 π‘₯−2 ,
𝑣 = 𝑣,
𝐺 = 𝐺,
𝑒 = 𝑒,
𝑣 = 𝑣 + π‘Ž10 π‘₯−2 ,
𝐺 = 𝐺.
(15)
8
Journal of Applied Mathematics
Table 3: Lie symmetries for 𝑛 = 1, for various functions 𝐻(𝑣) and 𝐺(𝑒).
𝐻(𝑣) arbitrary, 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑐π‘₯2 + 4𝑣)
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) arbitrary
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 4𝑒)
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 4𝑒) , 𝑋4 = 𝛽π‘₯2
−4 ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•π‘£
πœ•π‘’
πœ•
πœ•
𝑋5 = (𝛽π‘₯2 ln π‘₯ − 𝛽π‘₯2 ) − 4 ln π‘₯ ,
πœ•π‘£
πœ•π‘’
πœ•
πœ•
+ (16𝛼π‘₯2 + 64𝑣 − 𝛽𝑑π‘₯4 ) ,
𝑋6 = (16𝑑π‘₯2 + 64𝑒)
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
− (8𝛼π‘₯2 − 𝛽𝑑π‘₯4 ) − (16𝑑π‘₯2 + 32𝑒)
𝑋7 = 16π‘₯
πœ•π‘₯
πœ•π‘£
πœ•π‘’
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−𝑝 , 𝛼, 𝑝, and 𝛽 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑑π‘₯2 ln π‘₯ + 4𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
𝑋4 = 2π‘₯
+ 4𝑒
− (4𝑣𝑝 + 𝛼𝑝π‘₯2 − 4𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−π‘˜π‘’ , 𝛼, π‘˜, and 𝛽 constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑑π‘₯2 + 4𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
− (π›Όπ‘˜π‘₯2 + 4π‘˜π‘£)
𝑋4 = 4
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽 ln 𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑑π‘₯2 + 4𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
+ 4𝑒
+ (4𝑣 − 𝛽π‘₯2 )
𝑋4 = 2π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑐π‘₯2 + 4𝑣) , 𝑋4 = 4 ln π‘₯ − (𝑏π‘₯2 ln π‘₯ − 𝑏π‘₯2 ) ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•π‘’
πœ•
πœ•
−4 ,
𝑋5 = 𝑏π‘₯2
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
𝑋6 = 32π‘₯
− 16𝑐π‘₯2
+ (𝑏𝑐π‘₯4 + 64𝑒) ,
πœ•π‘₯
πœ•π‘£
πœ•π‘’
πœ•
πœ•
πœ•
𝑋7 = 16π‘₯
− (8π‘Žπ‘₯2 − 𝑏𝑐π‘₯4 )
− (16𝑐π‘₯2 + 32𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
𝑋1 = 𝐹(π‘₯) , 𝑋2 = π‘Š(π‘₯) , 𝑋3 = 𝑒
+𝑣 ,
πœ•π‘£
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•
πœ•
+ 𝛽𝑒
𝑋4 = 𝑏𝑣
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝑏π‘₯ + 𝑏𝑝π‘₯)
+ 4𝑏𝑒
+ (2π‘Ž + 2𝑏𝑣 − 2π‘Žπ‘ − 2𝑏𝑝𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘π‘˜π‘₯
+ 4𝑏
− (2π‘Žπ‘˜ + 2π‘π‘˜π‘£)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣−π‘š , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋2 = ln π‘₯ , 𝑋3 = (𝑐π‘₯2 + 4𝑣) ,
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•
πœ•
πœ•
+ (4𝑒 − π‘Žπ‘šπ‘₯2 − 4π‘šπ‘’)
+ 4𝑣
𝑋4 = 2π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
Journal of Applied Mathematics
9
Table 3: Continued.
−π‘š
𝐻(𝑣) = 𝑏𝑣 , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝛽π‘₯ + π›½π‘šπ‘₯)
+ (2𝛼 − 2π›Όπ‘š + 2𝛽𝑒 − 2π›½π‘šπ‘’)
+ 4𝛽𝑣
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝑝 and 𝛽 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (π‘π‘šπ‘₯ − π‘₯)
+ (2π‘šπ‘’ − 2𝑒)
+ (2𝑝𝑣 − 2𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , π‘˜ and 𝛽 constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘˜π‘šπ‘₯
+ (2π‘š − 2)
+ 2π‘˜π‘£
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑒−π‘šπ‘£ , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑐π‘₯2 + 4𝑣) , 𝑋4 = (π‘Žπ‘šπ‘₯2 + 4π‘šπ‘’)
−4
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π›½π‘šπ‘₯
− (2π›Όπ‘š + 2π›½π‘šπ‘’)
+ 4𝛽
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘π‘₯
+ 2π‘šπ‘’
+ (2𝑝 − 2)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘˜π‘₯
+ 2π‘š
+ 2π‘˜ , 𝑋2 = (π‘šπ‘˜π‘₯ ln π‘₯ − π‘˜π‘šπ‘₯)
+ 2π‘š ln π‘₯
+ 2π‘˜ ln π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻 (𝑣) = π‘Ž + 𝑏 ln 𝑣, π‘Ž, π‘š, and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = ln π‘₯ , 𝑋3 = (𝑐π‘₯2 + 4𝑣) , 𝑋4 = 2π‘₯
+ (4𝑒 − 𝑏π‘₯2 )
+ 4𝑣
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘₯
πœ•π‘’
πœ•π‘£
Therefore the composition of these transformations gives
π‘₯ = π‘’π‘Ž1 (π‘₯2 + 2π‘Ž2 )
1/2
After some albeit tedious and lengthy calculations, the above
determining equation gives
,
πœ‰ = 𝑒 (π‘₯) ,
−1
𝑒 = π‘’π‘Ž3 (π‘₯2 + 2π‘Ž2 ) (π‘₯2 𝑒 + π‘Ž9 + π‘Ž7 π‘₯4 + π‘Ž5 π‘₯2 ) ,
π‘Ž4
−1
2
2
4
2
𝑣 = 𝑒 (π‘₯ + 2π‘Ž2 ) (π‘₯ 𝑣 + π‘Ž10 + π‘Ž8 π‘₯ + π‘Ž6 π‘₯ ) ,
π‘Ž3 −2π‘Ž1
𝐻=𝑒
(16)
(𝐻 − 8π‘Ž7 ) ,
3. Principal Lie Algebra and
Lie Group Classification
The generalized Lane-Emden system (2) admits a Lie point
symmetry
πœ•
πœ•
πœ•
+ πœ‚1 (π‘₯, 𝑒, 𝑣)
+ πœ‚2 (π‘₯, 𝑒, 𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
(17)
if
𝑋[2] (
𝑋[2] (
󡄨󡄨
𝑑2 𝑒 𝑛 𝑑𝑒
󡄨󡄨
󡄨󡄨 = 0,
+
+
𝐻
(𝑣))
󡄨󡄨
𝑑π‘₯2 π‘₯ 𝑑π‘₯
󡄨(2)
󡄨󡄨
𝑑2 𝑣 𝑛 𝑑𝑣
󡄨󡄨
󡄨󡄨 = 0.
+
+
𝐺
(𝑒))
󡄨󡄨
𝑑π‘₯2 π‘₯ 𝑑π‘₯
󡄨(2)
πœ‚2 = 𝑐 (π‘₯) 𝑣 + 𝑑 (π‘₯) ,
𝑛 σΈ€  𝑛
𝑒 − 2 𝑒 + 2π‘˜σΈ€  = 0,
π‘₯
π‘₯
𝑛
𝑛
−𝑒󸀠󸀠 + 𝑒󸀠 − 2 𝑒 + 2𝑐󸀠 = 0,
π‘₯
π‘₯
𝑛
σΈ€ 
σΈ€ 
(π‘˜π‘’ + 𝑙) 𝐺 (𝑒) + (2𝑒 − 𝑐) 𝐺 (𝑒) + 𝑑󸀠 + 𝑑󸀠󸀠 = 0,
π‘₯
𝑛
(𝑐𝑣 + 𝑑) 𝐻󸀠 (𝑣) + (2𝑒󸀠 − π‘˜) 𝐻 (𝑣) + 𝑙󸀠 + 𝑙󸀠󸀠 = 0.
π‘₯
−𝑒󸀠󸀠 +
𝐺 = π‘’π‘Ž4 −2π‘Ž1 (𝐺 − 8π‘Ž8 ) .
𝑋 = πœ‰ (π‘₯, 𝑒, 𝑣)
πœ‚1 = π‘˜ (π‘₯) 𝑒 + 𝑙 (π‘₯) ,
Consequently, we conclude that the principal Lie algebra of
(2) is trivial and the classifying relations are
(𝛼𝑒 + 𝛽) 𝐺󸀠 (𝑒) + 𝛾𝐺 (𝑒) + 𝛿 = 0,
(18)
(19)
(πœƒπ‘£ + πœ†) 𝐻󸀠 (𝑣) + πœ‘π» (𝑣) + πœ” = 0,
where 𝛼, 𝛽, 𝛾, 𝛿, πœƒ, πœ†, πœ“, and πœ” are constants.
(20)
10
Journal of Applied Mathematics
Table 4: Lie symmetries for 𝑛 = 3, for various functions 𝐻(𝑣) and 𝐺(𝑒).
𝐻(𝑣) arbitrary, 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑐π‘₯2 + 8𝑣)
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) arbitrary
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑑π‘₯2 + 8𝑒)
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑑π‘₯2 + 8𝑒) , 𝑋4 = 𝛽 ln π‘₯ − 2π‘₯−2 ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•π‘£
πœ•π‘’
πœ•
πœ•
−8 ,
𝑋5 = 𝛽π‘₯2
πœ•π‘£
πœ•π‘’
πœ•
πœ•
πœ•
− 24𝑑π‘₯2
+ (𝛽𝑑π‘₯4 + 192𝑣) ,
𝑋6 = 96π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•
πœ•
𝑋7 = (192𝑒 + 24𝑑π‘₯4 )
+ (192𝑣 − 𝛽𝑑π‘₯2 + 24𝛼π‘₯2 )
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−𝑝 , 𝛼, 𝑝, and 𝛽 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑑π‘₯2 + 8𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
+ 8𝑒
− (𝛼𝑝π‘₯2 − 8𝑣 + 8𝑝𝑣)
𝑋4 = 4π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽𝑒−π‘˜π‘’ , 𝛼, π‘˜, and 𝛽 constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑑π‘₯2 + 8𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
𝑋4 = 8
− (π›Όπ‘˜π‘₯2 + 8π‘˜π‘£)
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑑, 𝑑 a constant, 𝐺(𝑒) = 𝛼 + 𝛽 ln 𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑑π‘₯2 + 8𝑒) ,
πœ•π‘£ 2
πœ•π‘£
πœ•π‘£
πœ•
πœ•
πœ•
𝑋4 = 4π‘₯
+ 8𝑒
+ (8𝑣 − 𝛽π‘₯2 ) ,
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
𝑋5 = π‘₯−1
− 2π‘₯−2 𝑒
− (2π‘₯−2 𝑣 − 𝛽 ln π‘₯)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑐π‘₯2 + 8𝑣) , 𝑋4 = 𝑏 ln π‘₯
− 2π‘₯−2 ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•
πœ•
−8 ,
𝑋5 = 𝑏π‘₯2
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
𝑋6 = 96π‘₯
+ (𝑏𝑐π‘₯4 + 192𝑒)
− 24𝑐π‘₯2 ,
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•
πœ•
𝑋7 = (24π‘Žπ‘₯2 + 192𝑒 − 𝑏𝑐π‘₯4 )
+ (24𝑐π‘₯2 + 192𝑣)
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
πœ•
𝑋1 = 𝐹(π‘₯) , 𝑋2 = π‘Š(π‘₯) , 𝑋3 = 𝑒
+𝑣 ,
πœ•π‘£
πœ•π‘’
πœ•π‘’
πœ•π‘£
πœ•
πœ•
𝑋4 = 𝑏𝑣
+ 𝛽𝑒
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝑏π‘₯ + 𝑏𝑝π‘₯)
+ 4𝑏𝑒
+ (2π‘Ž + 2𝑏𝑣 − 2π‘Žπ‘ − 2𝑏𝑝𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑣, π‘Ž and 𝑏 constants (𝑏 =ΜΈ 0) 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘π‘˜π‘₯
+ 4𝑏
− (2π‘Žπ‘˜ + 2π‘π‘˜π‘£)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
Journal of Applied Mathematics
11
Table 4: Continued.
−π‘š
𝐻(𝑣) = π‘Ž + 𝑏𝑣 , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 a constant
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑐π‘₯2 + 8𝑣) ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•
πœ•
πœ•
+ (8𝑒 − π‘Žπ‘šπ‘₯2 − 8π‘šπ‘’)
+ 8𝑣
𝑋4 = 4π‘₯
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (𝛽π‘₯ + π›½π‘šπ‘₯)
+ (2𝛼 − 2π›Όπ‘š + 2𝛽𝑒 − 2π›½π‘šπ‘’)
+ 4𝛽𝑣
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = (π‘π‘šπ‘₯ − π‘₯)
+ (2π‘šπ‘’ − 2𝑒)
+ (2𝑝𝑣 − 2𝑣)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑣−π‘š , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘˜π‘šπ‘₯
+ (2π‘š − 2)
+ 2π‘˜π‘£
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏𝑒−π‘šπ‘£ , π‘Ž, π‘š, and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑐π‘₯2 + 8𝑣) , 𝑋4 = (π‘Žπ‘šπ‘₯2 + 8π‘šπ‘’)
−8
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛼 + 𝛽𝑒, 𝛼 and 𝛽 constants (𝛽 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π›½π‘šπ‘₯
− (2π›Όπ‘š + 2π›½π‘šπ‘’)
+ 4𝛽
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−𝑝 , 𝛽 and 𝑝 constants (𝛽, 𝑝 =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘π‘₯
+ 2π‘šπ‘’
+ (2𝑝 − 2)
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = 𝑏𝑒−π‘šπ‘£ , π‘š and 𝑏 constants (𝑏, π‘š =ΜΈ 0), 𝐺(𝑒) = 𝛽𝑒−π‘˜π‘’ , 𝛽 and π‘˜ constants (𝛽, π‘˜ =ΜΈ 0)
πœ•
πœ•
πœ•
𝑋1 = π‘šπ‘˜π‘₯
+ 2π‘š
+ 2π‘˜
πœ•π‘₯
πœ•π‘’
πœ•π‘£
𝐻(𝑣) = π‘Ž + 𝑏 ln 𝑣, π‘Ž, π‘š, and 𝑏 constants (𝑏 =ΜΈ 0), 𝐺(𝑒) = 𝑐, 𝑐 constant
πœ•
πœ•
πœ•
πœ•
πœ•
πœ•
𝑋1 =
, 𝑋 = π‘₯−2 , 𝑋3 = (𝑐π‘₯2 + 8𝑣) , 𝑋4 = 4π‘₯
+ (8𝑒 − 𝑏π‘₯2 )
+ 8𝑣 ,
πœ•π‘’ 2
πœ•π‘’
πœ•π‘’
πœ•π‘₯
πœ•π‘’
πœ•π‘£
πœ•
πœ•
πœ•
𝑋5 = π‘₯−1
− (2π‘₯−2 𝑒 − 𝑏 ln π‘₯)
− 2π‘₯−2 𝑣
πœ•π‘₯
πœ•π‘’
πœ•π‘£
These classifying relations are invariant under the equivalence transformation (7) if
The classifying relations (20) are also invariant under the
equivalence transformation (10) if
𝛼 = 𝛼,
𝛼 = 𝛼,
𝛽 = 𝛼 (π‘Ž8 π‘₯2 + π‘Ž6 π‘₯1−𝑛 + π‘Ž4 ) + 𝛽𝑒−π‘Ž2 ,
𝛽 = 𝛼 (π‘Ž8 π‘₯2 + π‘Ž6 π‘₯2 ln π‘₯ + π‘Ž4 ) + 𝛽𝑒−π‘Ž2 ,
𝛾 = 𝛾,
𝛾 = 𝛾,
𝛿 = 𝛿𝑒2π‘Ž1 −π‘Ž3 − 2𝛾 (1 + 𝑛) π‘Ž9 ,
𝛿 = 𝛿𝑒2π‘Ž1 −π‘Ž3 − 2π›Ύπ‘Ž7 ,
πœƒ = πœƒ,
(21)
πœƒ = πœƒ,
πœ† = πœƒ (π‘Ž9 π‘₯2 + π‘Ž7 π‘₯1−𝑛 + π‘Ž5 ) + πœ†π‘’−π‘Ž3 ,
πœ† = πœƒ (π‘Ž9 π‘₯2 + π‘Ž7 π‘₯2 ln π‘₯ + π‘Ž5 ) + πœ†π‘’−π‘Ž3 ,
πœ‘ = πœ‘,
πœ‘ = πœ‘,
πœ” = πœ”π‘’2π‘Ž1 −π‘Ž3 − 2πœ‘ (1 + 𝑛) π‘Ž8 .
πœ” = πœ”π‘’2π‘Ž1 −π‘Ž2 − 2πœ‘π‘Ž6 .
(22)
12
Journal of Applied Mathematics
It is also noted that the classifying relations (20) are invariant
under the equivalence transformation (13) if
𝛼 = 𝛼,
𝛽 = 𝛼 (π‘Ž6 ln π‘₯ + π‘Ž8 π‘₯2 + π‘Ž4 ) + 𝛽𝑒−π‘Ž2 ,
References
𝛾 = 𝛾,
𝛿 = 𝛿𝑒2π‘Ž1 −π‘Ž3 − 4π›Ύπ‘Ž9 ,
πœƒ = πœƒ,
(23)
πœ† = πœƒ (π‘Ž7 ln π‘₯ + π‘Ž9 π‘₯2 + π‘Ž5 ) + πœ†π‘’−π‘Ž3 ,
πœ‘ = πœ‘,
πœ” = πœ”π‘’2π‘Ž1 −π‘Ž2 − 4πœ‘π‘Ž8 .
The classifying relations (20) are also invariant under the
equivalence transformation (16) if
𝛼 = 𝛼,
𝛽 = 𝛼 (π‘Ž9 π‘₯−2 + π‘Ž7 π‘₯2 + π‘Ž5 ) + 𝛽 (1 + 2π‘Ž2 π‘₯−2 ) 𝑒−π‘Ž3 ,
𝛾 = 𝛾,
𝛿 = 𝛿𝑒2π‘Ž1 −π‘Ž4 − 8π›Ύπ‘Ž8 ,
πœƒ = πœƒ,
Differential Equations, and Applications: Galois Bicentenary,”
(SDEA2012) Conference for their kind hospitality during the
conference.
(24)
πœ† = πœƒ (π‘Ž10 π‘₯−2 + π‘Ž8 π‘₯2 + π‘Ž6 ) + πœ† (1 + 2π‘Ž2 π‘₯−2 ) 𝑒−π‘Ž4 ,
πœ‘ = πœ‘,
πœ” = πœ”π‘’2π‘Ž1 −π‘Ž3 − 8πœ‘π‘Ž7 .
The above relations are now used to find the nonequivalence
forms of 𝐻 and 𝐺 and their corresponding Lie point symmetry. Several cases arise and are presented in Tables 1, 2, 3, and
4.
The Noether symmetries given in [6] from (25) to (44)
always form a proper subalgebra of the Lie algebra that is
obtained above. This can be seen from Tables 1, 2, 3, and 4.
However, in [6] the first integrals were also presented.
4. Concluding Remarks
We have studied a generalized coupled Lane-Emden system
from the algebraic viewpoint. A complete group classification
of the underlying system was performed. We showed that the
generalized coupled Lane-Emden system admits a nine- or
ten-dimensional equivalence Lie algebra. The principal Lie
algebra, which was found to be trivial, had several possible
extensions. We deduced the results for all possible cases of
the values of 𝑛. There were in fact four cases that arose.
Acknowledgment
Two of the authors, B. Muatjetjeja and C. M. Khalique, would
like to thank the Organizing Committee of “Symmetries,
[1] S. Chandrasekhar, An Introduction to the Study of Stellar
Structure, Dover, New York, NY, USA, 1957.
[2] H. T. Davis, Introduction to Nonlinear Differential and Integral
Equations, Dover, New York, NY, USA, 1962.
[3] O. W. Richardson, The Emission of Electricity From Hot Bodies,
Longmans, Green & Co., London, UK, 2nd edition, 1921.
[4] B. Muatjetjeja and C. M. Khalique, “Exact solutions of the
generalized Lane-Emden equations of the first and second
kind,” Pramana—Journal of Physics, vol. 77, no. 3, pp. 545–554,
2011.
[5] J. S. W. Wong, “On the generalized Emden-Fowler equation,”
SIAM Review, vol. 17, pp. 339–360, 1975.
[6] B. Muatjetjeja and C. M. Khalique, “Lagrangian approach to a
generalized coupled Lane-Emden system: symmetries and first
integrals,” Communications in Nonlinear Science and Numerical
Simulation, vol. 15, no. 5, pp. 1166–1171, 2010.
[7] H. Zou, “A priori estimates for a semilinear elliptic system without variational structure and their applications,” Mathematische
Annalen, vol. 323, no. 4, pp. 713–735, 2002.
[8] J. Serrin and H. Zou, “Non-existence of positive solutions of
Lane-Emden systems,” Differential and Integral Equations, vol.
9, no. 4, pp. 635–653, 1996.
[9] J. Serrin and H. Zou, “Existence of positive solutions of the
Lane-Emden system,” Atti del Seminario Matematico e Fisico
dell’UniversitaΜ€ di Modena, vol. 46, supplement, pp. 369–380,
1998.
[10] Y.-W. Qi, “The existence of ground states to a weakly coupled
elliptic system,” Nonlinear Analysis: Theory, Methods & Applications, vol. 48, no. 6, pp. 905–925, 2002.
[11] R. Dalmasso, “Existence and uniqueness of solutions for a
semilinear elliptic system,” International Journal of Mathematics
and Mathematical Sciences, no. 10, pp. 1507–1523, 2005.
[12] Q. Dai and C. C. Tisdell, “Nondegeneracy of positive solutions
to homogeneous second-order differential systems and its
applications,” Acta Mathematica Scientia. Series B, vol. 29, no.
2, pp. 435–446, 2009.
[13] N. H. Ibragimov, “Small effects in physics hinted by the
Lie group philosophy: are they observable? I. From Galilean
principle to heat diffusion,” Lie Groups and Their Applications,
vol. 1, no. 1, pp. 113–123, 1994.
[14] L. V. Ovsiannikov, Group Analysis of Differential Equations,
Academic Press, New York, NY, USA, 1982.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download