x
+ 3xu
u
Case 3: f(u) = e
u
v
1
=
x
,
v
2
=
t
,
v
3
= x
x
+ 4t
t
v
4
= x
x
4
u
v
5
= t
t
+
u
.
II. OPTIMAL SYSTEMS AND REDUCTIONS
In order to construct the one-dimensional optimal system,
following Olver, we construct the commutator table and the
adjoint table which shows the separate adjoint actions of each
element in v
i
, i = 1 . . . 5, as it acts on all other elements.
This construction is done easily by summing the Lie series.
An example of these tables, corresponding to f(u) = u
a
,
appear in the Appendix.
In [13], reductions of the equation (4) to ODEs were
obtained using the generators of the optimal system.
A. Reductions for f arbitrary
1 Reduction with the generator v
1
+v
2
z = x t, u = , (7)
and the ODE
f(w)
= 0 (8)
2 Reduction with the generator v
1
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 806
WSEAS TRANSACTIONS ON MATHEMATICS 3
z = t, u = , (9)
and the ODE
= 0 (10)
3 Reduction with the generator v
3
z =
x
t
1/4
, u = , (11)
and the ODE
4f(w)
+ z
= 0 (12)
B. Reductions for f = u
a
=
1
, =
4+
2
1 Reduction with ( +
4
a
3
2
)v
3
+v
4
z = t
x, u = t
, (13)
and the ODE
w
a
+ z
= 0 (14)
2 Reduction with v
2
+ (
4
a
3
2
)v
3
+v
4
z = xe
, u = e
4t
a
, (15)
and the ODE
aw
+ az
4 = 0 (16)
3 Reduction with (
4
a
3
2
)v
3
+v
4
z = t, u = x
4
a
, (17)
and the ODE
4
a
(
4
a
1)(
4
a
2)(
4
a
3)
a+1
= 0 (18)
4 Reduction with v
1
+v
3
z = x +
a
ln|t|, u = t
1
a
, (19)
and the ODE
w
+ = 0 (20)
5 Reduction with the generator v
1
+v
2
z = x t, u = , (21)
and the ODE
= 0 (22)
6 Reduction with the generator v
1
z = t, u = , (23)
and the ODE
= 0 (24)
C. Reductions for f = u
8
3
Besides the previous reductions we get
7 Reduction with
2
1
v
1
+
2
v
2
+v
5
z =
1
1
atan
x
2
,
u = (x
2
+
2
1
)
3
2
,
(25)
and the ODE
8
3
+ 10
2
1
8
3
+ 9
4
1
11
3
= 0 (26)
8 Reduction with
2
1
v
1
+
2
v
3
+v
5
z =
1
1
atan
x
1
+
3
8
2
ln|t|,
u = (x
2
+
2
1
)
3
2
e
1
atan
x
1
,
(27)
and the ODE
8k
8
3
_
+ 4k
+ 2(5
2
1
+ 3k
2
)
+
4k(5
2
1
+ k
2
)
) 3e
8k
3
z
+
8k(k
4
+ 10
2
1
k
2
+ 9
4
1
_
11
3
= 0
(28)
9 Reduction with v
2
+v
5
z =
1
x
+
t
,
u = x
3
,
(29)
and the ODE
8
3
= 0 (30)
10 Reduction with v
3
+v
5
z =
1
x
+
3
8
ln|t|,
u = x
3
e
x
,
(31)
and the ODE
8k
8
3
(
+ 4k
6k
2
+ 4k
3
)
3e
8k
3
z
8k
5
11
3
= 0
(32)
11 Reduction with
2
v
1
+v
5
z = t, (x
2
+
2
)
3
2
, (33)
and the ODE
9
4
11
3
= 0 (34)
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 807
WSEAS TRANSACTIONS ON MATHEMATICS 4
D. Reductions for f = e
u
Besides the previous reductions for f arbitrary we get
12 Reduction with v
3
+ v
4
z = xt
1
,
u =
4
ln|t| + ,
(35)
and the ODE
e
+ z
+ 4 = 0 (36)
13 Reduction with v
2
+v
3
z = e
x,
u =
4t
,
(37)
and the ODE
e
+ z
+ 4 = 0 (38)
14 Reduction with v
3
z = t,
u = 4ln|x| + ,
(39)
and the ODE
24e
= 0 (40)
15 Reduction with v
1
+v
4
z = x ln|t|,
u = + ln|t|,
(41)
and the ODE
e
1 = 0 (42)
16 Reduction with v
1
+v
4
z = x t,
u = ,
(43)
and the ODE
e
= 0 (44)
17 Reduction with v
1
z = t,
u = ,
(45)
and the ODE
= 0 (46)
In [13] we have discussed some interpretation of the simi-
larity variables in the reductions of the lubrication equation as
well as in the reductions of the modied lubrication equation
and we have provided some particular solutions.
For f(u) = u
a
, Eq. (18) is a rst order equation that can
be easily solved, in this way we have obtained a family
of waiting-time solutions (if a = 2 or 4) given by
u(x, t) =
_
x
4
a
[A(t
0
t)]
1
a
x 0
0 x < 0
A = 4(
4
a
+ 1)(
4
a
1)(
4
a
2)(
4
a
3)
For f(u) = e
u
Eq. (40) is a rst order equation, solving
it we get that the corresponding similarity solution
u(x, t) = ln
(x x
0
)
4
24(t + t
0
)
describes a localized blow-up at x = x
0
.
For f(u) = u
8
3
, using reduction (33) we get a new
solution with blow-up at t = t
0
, given by
u(x, t) =
_
3(x
2
+
2
)
4
8
4
(t
0
t)
_
.
III. ADJOINT AND SELF-ADJOINT NONLINEAR EQUATIONS
The following denitions of adjoint equations and self-
adjoint equations are applicable to any system of linear and
non-linear differential equations, where the number of equa-
tions is equal to the number of dependent variables (see [20]),
and contain the usual denitions for linear equations as a
particular case. Since we will deal in our paper with scalar
equations, we will formulate these denitions in the case of
one dependent variable only.
Consider an sth-order partial differential equation
F(x, u, u
(1)
, . . . , u
(s)
) = 0 (47)
with independent variables x = (x
1
, . . . , x
n
) and a dependent
variable u, where u
(1)
= {u
i
}, u
(2)
= {u
ij
}, . . . denote the
sets of the partial derivatives of the rst, second, etc. orders,
u
i
= u/x
i
, u
ij
=
2
u/x
i
x
j
. The adjoint equation to
(47) is
F
(x, u, v, u
(1)
, v
(1)
, . . . , u
(s)
, v
(s)
) = 0, (48)
with
F
(x, u, v, u
(1)
, v
(1)
, . . . , u
(s)
, v
(s)
) =
(v F)
u
, (49)
where
u
=
u
+
s=1
(1)
s
D
i1
D
is
u
i1is
(50)
denotes the variational derivatives (the Euler-Lagrange opera-
tor), and v is a new dependent variable. Here
D
i
=
x
i
+ u
i
u
+ u
ij
u
j
+
are the total differentiations.
Eq. (47) is said to be self-adjoint if the equation obtained
from the adjoint equation (48) by the substitution v = u :
F
(x, u, u, u
(1)
, u
(1)
, . . . , u
(s)
, u
(s)
) = 0,
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 808
WSEAS TRANSACTIONS ON MATHEMATICS 5
is identical with the original equation (47). In other words, if
F
(x, u, u
(1)
, u
(1)
, . . . , u
(s)
, u
(s)
) =
(x, u, u
(1)
, . . .) F(x, u, u
(1)
, . . . , u
(s)
).
(51)
A. General theorem on conservation laws
We use the following theorem on conservation laws proved
in [21].
Theorem Any Lie point, Lie-B acklund or non-local symmetry
X =
i
(x, u, u
(1)
, . . .)
x
i
+ (x, u, u
(1)
, . . .)
u
(52)
of Eqs.(47) provides a conservation law D
i
(C
i
) = 0 for the
simultaneous system (47), (48). The conserved vector is given
by
C
i
=
i
L + W
_
L
u
i
D
j
_
L
u
ij
_
+ D
j
D
k
_
L
u
ijk
_
_
+D
j
(W)
_
L
u
ij
D
k
_
L
u
ijk
_
+
_
+D
j
D
k
(W)
_
L
u
ijk
_
+ ,
(53)
where W and L are dened as follows:
W =
j
u
j
, L = v F
_
x, u, u
(1)
, . . . , u
(s)
_
. (54)
B. The class of self-adjoint equations
Let us single out quasi-self-adjoint equations from the
equations of the form (4),
u
t
= f(u)u
xxxx
The result was given in [8] by the following statement.
Theorem
Eq. (4) is self-adjoint if and only
f(u) =
a
u
.
Proof. Eq. (49) yields
F
=
u
[v(u
t
fu
xxxx
)]
= D
t
v D
4
x
(fv) f
vu
xxxx
,
(55)
where
D
4
x
(fv) = fv
xxxx
+ 4f
u
x
v
xxx
+6f
u
xx
v
xx
+ 6f
(u
x
)
2
v
xx
+4f
u
xxx
v
x
+ 12f
u
x
u
xx
v
x
+4f
(u
x
)
3
v
x
+ f
u
xxxx
v
+4f
u
x
u
xxx
v + 3f
(u
xx
)
2
v
+6f
(u
x
)
2
u
xx
v + f
(u
x
)
4
v.
(56)
By substituting (56) into (55) it follows that the class of adjoint
equations to class of equations (4) is
v
t
fv
xxxx
4f
u
x
v
xxx
6f
u
xx
v
xx
6f
(u
x
)
2
v
xx
4f
u
xxx
v
x
12f
u
x
u
xx
v
x
4f
(u
x
)
3
v
x
f
u
xxxx
v
4f
u
x
u
xxx
v 3f
(u
xx
)
2
v
6f
(u
x
)
2
u
xx
v f
(u
x
)
4
v f
vu
xxxx
= 0.
(57)
After setting v = u in (57) we obtain that F
= (u
t
fu
xxxx
) if and only if f(u) satises
f + uf
= 0,
whose solution is
f =
a
u
.
Many equations having remarkable symmetry properties and
physical signicance are not self-adjoint. Therefore one cannot
eliminate the nonlocal variables from conservation laws of
these equations by setting v = u. In [21] the concept of
self-adjoint equation has been generalized by introducing the
denition of quasi-self-adjoint equations.
Equation (47) is said to be quasi-self-adjoint if the the
adjoint equation (48) is equivalent to the original equation (47)
upon the substitution v = h(u) with a certain function h(u)
such that h
u
t
v
x
= h
u
x
v
xx
= h
u
xx
+ h
u
2
x
v
xxx
= h
u
xx x
+ 3 h
u
x
u
x x
+ h
(u
x
)
3
v
xxxx
= h
u
xxxx
+ 4h
u
x
u
xxx
+ 3h
uu
(u
xx
)
2
+6 h
uuu
(u
x
)
2
u
xx
+ h
(u
x
)
4
in the adjoint equation (57) and we get
f h
u
x x x x
2 f
hu
xx x x
4 f h
u
x
u
x x x
8 f
u
x
u
xx x
4 f
hu
x
u
xx x
3 f h
(u
xx
)
2
6 f
(u
x x
)
2
3 f
h (u
xx
)
2
6 f h
(u
x
)
2
u
xx
18 f
(u
x
)
2
u
x x
18 f
(u
x
)
2
u
x x
6 f
h (u
x
)
2
u
x x
f h
(u
x
)
4
4 f
(u
x
)
4
6 f
(u
x
)
4
4 f
(u
x
)
4
f
h (u
x
)
4
h
u
t
= 0.
Hence the condition of quasi-self-adjointness is written as
follows
f h
u
x x x x
2 f
hu
xx x x
4 f h
u
x
u
x x x
8 f
u
x
u
xx x
4 f
hu
x
u
xx x
3 f h
(u
xx
)
2
6 f
(u
x x
)
2
3 f
h (u
xx
)
2
6 f h
(u
x
)
2
u
xx
18 f
(u
x
)
2
u
x x
18 f
(u
x
)
2
u
x x
6 f
h (u
x
)
2
u
x x
f h
(u
x
)
4
4 f
(u
x
)
4
6 f
(u
x
)
4
4 f
(u
x
)
4
f
h (u
x
)
4
h
u
t
= 0
[u
t
f(u)u
xxxx
] = 0
where is an undetermined coefcient.
Hence the following conditions must be satised
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 809
WSEAS TRANSACTIONS ON MATHEMATICS 6
+ h
= 0
f f h
2 f
h = 0
f h
+ 2 f
+ f
h = 0
f h
+ 3 f
+ 3 f
+ f
h = 0
3 f h
+ 6 f
+ 3 f
h = 0
f h
+ 4 f
+ 6 f
+
4 f
+ f
h = 0
Hence = h
and h =
k
f(u)
, namely the adjoint
equation becomes equivalent to the original equation upon the
substitution v =
k
f(u)
.
C. Conservation laws for a subclass of quasi-self-adjoint
lubrication equations
1 Let us apply the Theorem in conservation-laws to the quasi-
self-adjoint equation (4) with f(u) arbitrary: in this case we
have
L =
_
u
t
f(u)u
xxxx
)
_
v. (58)
We will write generators of point transformation group admit-
ted by Eq. (4) in the form
X =
1
t
+
2
x
+
u
by setting t = x
1
, x = x
2
. The conservation law will be
written
D
t
(C
1
) + D
x
(C
2
) = 0. (59)
Since we will deal with fourth-order equations, we will use
Eqs. (53) in the following form:
C
i
=
i
L + W
_
L
u
i
D
j
_
L
u
ij
_
+ D
j
D
k
_
L
u
ijk
_
D
j
D
k
D
l
_
L
u
ijkl
__
+D
j
(W)
_
L
u
ij
D
k
_
L
u
ijk
_
+D
k
D
l
_
L
u
ijkl
__
+D
j
D
k
(W)
_
L
u
ijk
D
l
_
L
u
ijkl
__
+D
j
D
k
D
l
(W)
_
L
u
ijkl
_
.
(60)
Let us nd the conservation law provided by the following
obvious scaling symmetry of Eq. (4):
X = 4t
t
+ x
x
. (61)
In this case we have W = 4tu
t
xu
x
and Eqs. (53) yield
the conservation law (59) with
C
1
=
k u
x
x
f
D
x
(4 k u
xx x x
) ,
C
2
=
k u
t
x
f
k u
x x x
D
t
(4 k u
x x x x
) .
We simplify the conserved vector by transferring the terms of
the form D
x
(. . .) from C
1
to C
2
and obtain
C
1
=
k u
x
x
f
,
C
2
=
k u
t
x
f
k u
xx x
.
2 Let us nd the conservation law for f(u) = u
a
provided by
the following obvious symmetry of Eq. (4):
X = at
t
+ u
u
. (62)
In this case we have W = atu
t
+ u and Eqs. (53) yield the
conservation law (59) with
C
1
= ku
1a
+ D
x
(aktu
xxx
),
C
2
= k(1 a)u
xxx
D
t
(aktu
xxx
).
We simplify the conserved vector by transferring the terms of
the form D
x
(. . .) from C
1
to C
2
and obtain
C
1
= ku
1a
,
C
2
= k(1 a)u
xxx
.
3 Let us nd the conservation law for f(u) = u
a
provided by
the following symmetry of Eq. (4):
X = x
x
+ (4
3
2
a)t
t
+
3
2
u
u
. (63)
In this case we have
W =
3
2
u xu
x
(4
3
2
a)tu
t
and Eqs. (53) yield the conservation law (59) with
C
1
=
_
kxu
x
u
a
3ku
1a
2
_
+
D
x
_
kt(4
3a
2
)u
xxx
_
,
C
2
=
kxu
t
u
a
+
k
2
(5 3a)u
xxx
D
t
_
kt(4
3a
2
)u
xxx
_
.
We simplify the conserved vector by transferring the terms of
the form D
x
(. . .) from C
1
to C
2
and obtain
C
1
=
_
kxu
x
u
a
3ku
1a
2
_
,
C
2
=
kxu
t
u
a
+
k
2
(5 3a)u
xxx
.
4 Let us nd the conservation law for f(u) = u
8
3
provided by
the following symmetry of Eq. (4):
X = x
x
+ (4
3
2
a)t
t
+
3
2
u
u
. (64)
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 810
WSEAS TRANSACTIONS ON MATHEMATICS 7
In this case we have
W = 3xu x
2
u
x
and Eqs. (53) yield the conservation law (59) with
C
1
=
3 k u
x
x
2
2 u
8
3
+ D
x
_
3 k x
2
2 u
5
3
_
,
C
2
=
3 k u
t
x
2
2 u
8
3
3 k u
xx x
x + 3 k u
xx
D
t
_
3 k x
2
2 u
5
3
_
.
We simplify the conserved vector by transferring the terms of
the form D
x
(. . .) from C
1
to C
2
and obtain
C
1
=
3 k u
x
x
2
2 u
8
3
,
C
2
=
3 k u
t
x
2
2 u
8
3
3 k u
x x x
x + 3 k u
x x
.
5 Let us nd the conservation law for f(u) = e
u
provided
by the following symmetry of Eq. (4):
X = x
x
4
u
. (65)
In this case we have
W = 4 xu
x
and Eqs. (53) yield the conservation law (59) with
C
1
= 3 k e
u
u
x
x + D
x
(4 k e
u
x) ,
C
2
= 3 k e
u
u
t
x 3 k u
xx x
D
t
(4 k e
u
x) .
We simplify the conserved vector by transferring the terms of
the form D
x
(. . .) from C
1
to C
2
and obtain
C
1
= 3 k e
u
u
x
x,
C
2
= 3 k e
u
u
t
x 3 k u
x x x
.
IV. CONCLUSIONS
In this work we have considered the class of modied
nonlinear diffusion equations. By using free software Maxima,
we have derived the Lie classical symmetries. If f(u) = u
a
or f(u) = e
u
the equation admits additional classical sym-
metries. We have determined the subclasses of this equations
which are self-adjoint and quasi-self adjoint. By using a
general theorem on conservation laws proved by Nail Ibrag-
imov we found conservation laws for some of these partial
differential equations without classical Lagrangians
V. ACKNOWLEDGMENTS
The support of DGICYT project MTM2009-11875, Junta
de Andaluca group FQM-201 are gratefully acknowledged.
REFERENCES
[1] S.C. Anco and G. Bluman Direct constrution method for conservation
laws for partial differential equations Part II: General treatment Euro.
Jnl of Applied mathematics 41, 2002, pp. 567-585.
[2] Bruzon, M. S., Gandarias, M. L., Medina, E. and Muriel, C.: New
symmetry reductions for a lubrication model. In: Ablowitz M. J., Boiti
M., Pempinelli F. and Prinari B. (eds.) Nonlinear Physics: Theory and
Experiment. II, 2002, pp. 143-148. World Scientic, Singapore.
[3] M.S. Bruz on and M.L. Gandarias, New solutions for a Generalized
Benjamin-Bona-Mahony-Burgers Equation, Proceedings of American
Conference on Applied Mathematics, Cambridge, Massachusetts, USA,
2008, pp. 159164.
[4] M.S. Bruz on and M.L. Gandarias, New Exact Solutions for a Benjamin-
Bona-Mahony Equation, . International Conference on System Science
and Simulation in Engineering, Venecia, Italia, 2008, pp. 159164.
[5] M.S. Bruz on and M.L. Gandarias, Symmetries Analysis of a Mathematic
Model with a MACSYMA Program, Proceedings of SOFTWARE EN-
GINEERING, PARALLEL and DISTRIBUTED SYSTEMS, Cambridge,
UK, 2010, pp. 196200.
[6] M.S. Bruz on and M.L. Gandarias, Classical potential symmetries of the
K(m, n) equation with generalized evolution term, WSEAS TRANSAC-
TIONS on MATHEMATICS, Issue 4, Volume 9, April 2010.
[7] M.S. Bruz on and M.L. Gandarias, Some travelling wave solutions for a
Generalized Benjamin-Bona-Mahony-Burgers equation by using MAX-
IMA program, Recent Researches in Software Engineering, Parallel and
Distributed Systems, Cambridge, UK, 2011, pp. 138143.
[8] M.S. Bruzon,M.L. Gandarias and N.H. Ibragimov Self-adjoint sub-
classes of generalized thin lm equations, J. Math. Anal. Appl., 357,
2009, pp.307313.
[9] B. Champagne, W. Hereman and P. Winternitz, The computer calculation
of Lie point symmetries of large systems of differential equations, Comp.
Phys. Comm. 66, 1991, pp. 319-340.
[10] Qu., Changzheng, Symmetries and solutions to the thin lm equations,
Journal of Mathematical Analysis and Applications, 317, 2006, pp. 381-
397.
[11] Gandarias, M. L. and Ibragimov, N. H., Equivalence group of a fourth-
order evolution equation unifying various non-linear models, Comm.
Nonlin. Sci. Num. Sim. 13, 2008, pp. 259-268.
[12] Gandarias, M.L. and Medina, E., Analysis of a lubrication model
through symmetry reductions, Europhys. Lett., 55, 2001, pp. 143-149.
[13] Gandarias, M.L. and Medina, E., Symmetry reductions of fourth-
order nonlinear difusion equations: lubrication model and some gen-
eralizations, Proceedings NEEDS 1999, Procceedings of Nonlinearity,
integrability an all that: twenty years after NEEDS 1979., 55, 2001, pp.
143-149.
[14] M.L. Gandarias and M.S. Bruz on, Travelling wave solutions for a
generalized Boussinesq equation by using free software, Proceedings
of SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYS-
TEMS, Cambridge, UK, 2010, pp. 196200.
[15] M.L. Gandarias, Similarity solutions for a generalized lubrication equa-
tion, . International Conference on System Science and Simulation in
Engineering, Venecia, Italia, 2008, pp. 195199.
[16] M.L. Gandarias and M.S. Bruz on, Exact solutions through symmetry
reductions for a new integrable equation, WSEAS TRANSACTIONS on
MATHEMATICS, Issue 4, Volume 9, April 2010.
[17] M.L. Gandarias and M.S. Bruz on, Symmetries and conservation laws
for a subclass of lubrication equations by using free software, Recent
Researches in Software Engineering, Parallel and Distributed Systems,
Cambridge, UK, 2011, pp. 153159.
[18] A.S. Fokas On a class of physically important integrable equations.
Physica D, 87, 1995, pp. 145150;
[19] M.L.Gandarias and M.S.Bruzon. Exact solutions through symmetry
reductions for a new integrable equation. WSEAS Transactions on
Mathematics., 4, 9, 2010, pp. 254-263.
[20] N.H. Ibragimov. A new conservation theorem. J. Math. Anal. Appl., 333,
2007, pp. 311328.
[21] N.H. Ibragimov. Quasi-self-adjoint differential equations, Preprint
Archives of Alga., 4, 2007, pp. 55-60. N.H. Ibragimov. The answer
to the question put to me by L.V. Ovsyannikov 33 years ago. Archives
of ALGA, 3, 2006, pp. 53-80.
[22] D. J. Korteweg and G. de Vries, On the change of form of long
waves advancing in a rectangular canal, and on a new type of long
stationaryWaves, Philosophical Magazine, 39, 1895, pp. 422443.
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 811
WSEAS TRANSACTIONS ON MATHEMATICS 8
APPENDIX A
APPENDIX
(eta1[u1]) f, (eta1[u1u1]) f, (eta1[u1u1u1]) f,
(eta1[u1u1u1u1]) f, (eta2[u1]) f
2
, (eta2[x1]) f
2
,
(eta2[x1x1]) f
2
, (eta2[x1x1x1]) f
2
,
f (2 (eta2[u1]) (f[u1]) + (eta2[u1u1]) f),
f ((eta2[x1]) (f[u1]) + (eta2[u1x1]) f),
f ((eta2[x1x1]) (f[u1]) + (eta2[u1x1x1]) f),
f ((eta2[x1x1x1]) (f[u1]) + (eta2[u1x1x1x1]) f
eta1[u1]), f (3 (eta2[u1]) (f[u1u1])+
3 (eta2[u1u1]) (f[u1])+
(eta2[u1u1u1]) f),
f ((eta2[x1]) (f[u1u1]) + 2 (eta2[u1x1]) (f[u1])+
(eta2[u1u1x1]) f), f ((eta2[x1x1]) (f[u1u1])+
2 (eta2[u1x1x1]) (f[u1]) + (eta2[u1u1x1x1]) f),
f (4 (eta2[u1]) (f[u1u1u1]) + 6 (eta2[u1u1]) (f[u1u1])+
4 (eta2[u1u1u1]) (f[u1]) + (eta2[u1u1u1u1]) f),
f ((eta2[x1]) (f[u1u1u1]) + 3 (eta2[u1x1]) (f[u1u1])+
3 (eta2[u1u1x1]) (f[u1]) + (eta2[u1u1u1x1]) f),
(f[u1]) phi1 + (eta2[x1x1x1x1]) f
2
+ (eta2[x2]) f
4 (eta1[x1]) f, f (2 (phi1[u1x1]) 3 (eta1[x1x1])),
f (3 (phi1[u1x1x1]) 2 (eta1[x1x1x1])),
4 f (phi1[u1x1x1x1]) (eta1[x1x1x1x1]) f eta1[x2],
f (phi1[u1u1] 4 (eta1[u1x1])),
f (2 (phi1[u1u1x1])
3 (eta1[u1x1x1])), f (3 (phi1[u1u1x1x1])
2 (eta1[u1x1x1x1])), f (phi1[u1u1u1] 4 (eta1[u1u1x1])),
f (2 (phi1[u1u1u1x1]) 3 (eta1[u1u1x1x1])),
f (phi1[u1u1u1u1] 4 (eta1[u1u1u1x1])),
phi1[x2] + f (phi1[x1x1x1x1])
TABLE I
COMMUTATOR TABLE FOR THE LIE ALGEBRA v
i
.
v
1
v
2
v
3
v
4
v
1
0 0 0 v
1
v
2
0 0 av
2
0
v
3
0 av
2
0 0
v
4
v
1
(
3a
2
4)v
2
0 0
TABLE II
ADJOINT TABLE FOR THE LIE ALGEBRA v
i
.
v
1
v
2
v
3
v
4
v
1
v
1
v
2
v
3
v
4
v
1
v
2
v
1
v
2
v
3
+ av
2
v
4
v
3
0 e
a
v
2
0 0
v
4
e
v
1
e
(
3a
2
4)
v
2
e
v
3
e
v
4
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Issue 4, Volume 5, 2011 812