# Group Classification of a General Bond-Option Pricing Equation of Mathematical Finance

Authors: Tanki Motsepa; Chaudry Masood Khalique; Motlatsi Molati
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

We carry out group classification of a general bond-option pricing equation. We show that the equation admits a three-dimensional equivalence Lie algebra. We also show that some of the values of the constants which result from group classification give us well-known models in mathematics of finance such as Black-Scholes, Vasicek, and Cox-Ingersoll-Ross. For all such values of these arbitrary constants we obtain Lie point symmetries. Symmetry reductions are then obtained and group invariant solutions are constructed for some cases.


---

## Body

## 1. Introduction

The theory of option pricing began in 1900 when the French mathematician Bachelier [1] deduced an option pricing formula based on the assumption that stock prices follow a Brownian motion. The Black-Scholes equation
(1)
u
t
+
1
2
x
2
σ
2
u
x
x
+
r
(
x
u
x
-
u
)
=
0
was introduced by Black and Scholes [2] as the general equilibrium theory of option pricing which is particularly attractive because the final formula is a function of observable variables. Merton [3] extended the Black-Scholes theory of option pricing by introducing more assumptions and found new explicit formulas for pricing both the call and put options as well as the warrants and the down-and-out options. The equation is mainly used to find the fair price of a financial instrument (option or derivative) and to find the implied volatility.The first bond pricing equation(2)
u
t
+
1
2
σ
2
u
x
x
+
κ
(
θ
-
x
)
u
x
-
x
u
=
0
was introduced by Vasicek [4] and thereafter many other researchers (see, e.g., [5–12]) came up with other one-factor models which modelled the term structure of interest rates.Many differential equations, including financial mathematics equations, involve parameters, arbitrary elements, or functions, which need to be determined. Usually, these arbitrary parameters are determined experimentally. However, the Lie symmetry approach through the method of group classification has proven to be a versatile tool in specifying the forms of these parameters systematically (see, e.g., [13–20]).In 1881, Lie [21] was the first one to investigate the problem of group classification. In this regard, he studied a linear second-order partial differential equation with two independent variables. Suppose a differential equation contains an arbitrary element f
(
u
). The main idea of group classification of this differential equation is to find the Lie point symmetries of the differential equation with arbitrary element f
(
u
) and then find all possible forms of f
(
u
) for which the principal Lie algebra can be extended.Semi-invariants for the(
1
+
1
) linear parabolic equations with two independent variables and one dependent variable were derived by Johnpillai and Mahomed [22]. In addition, joint invariant equation was obtained for the linear parabolic equation and the (
1
+
1
) linear parabolic equation was reducible via a local equivalence transformation to the one-dimensional heat equation. In [23], a necessary and sufficient condition for the parabolic equation to be reducible to the classical heat equation under the equivalence group was provided which improved the work done in [22].Goard [24] found group invariant solutions of the bond pricing equation by the use of classical Lie method. The solutions obtained were shown to satisfy the condition for the bond price, that is, P
(
r
,
T
)
=
1, where P is the price of the bond. Here r is the short-term interest rate which is governed by the stochastic differential equation and T is time to maturity.In [25], the fundamental solutions were obtained for a number of zero-coupon bond models by transforming the one-factor bond pricing equations corresponding to the bond models to the one-dimensional heat equation whose fundamental solution is well known. Subsequently, the transformations were used to construct the fundamental solutions for zero-coupon bond pricing equations.Sinkala et al. [26] computed the zero-coupon bonds (group invariant solutions satisfying the terminal condition u
(
T
,
T
)
=
1) using symmetry analysis for the Vasicek and Cox-Ingersoll-Ross (CIR) equations, respectively. In [27] an optimal system of one-dimensional subalgebras was derived and used to construct distinct families of special closed-form solutions of CIR equation. In [20], group classification of the linear second-order parabolic partial differential equation
(3)
u
t
+
1
2
ρ
2
x
2
γ
u
x
x
+
(
α
+
β
x
-
λ
ρ
x
γ
)
u
x
-
x
u
=
0
,
where α, β, λ, ρ, and γ are constants, was carried out. Lie point symmetries and group invariant solutions were found for certain values of γ. Also the forms where equation (3) admitted the maximal seven Lie point symmetry algebra were transformed into the heat equation. Vasicek, CIR, and Longstaff models were recovered from group classification and some other equations were derived which had not been considered before in the literature. Furthermore, Mahomed et al. [28] used the invariant conditions developed in [23] to carry out group classification of [20] and some new cases were discovered.Dimas et al. [29] investigated some of the well-known equations that arise in mathematics of finance, such as Black-Scholes, Longtsaff, Vasicek, CIR, and heat equations. Lie point symmetries of these equations were found and their algebras were compared with those of the heat equation. The equations with seven symmetries were transformed to the heat equation.In this paper, we study a general bond-option pricing equation. The partial differential equation which will be investigated is a generalisation of (1) and (2) and is given by
(4)
u
t
+
α
x
p
u
x
x
+
λ
(
β
-
x
)
u
x
+
γ
x
q
u
=
0
,
where t is time, x is the stock (share or equity) price or instantaneous short-term interest rate at current time t, and u
(
t
,
x
) is the current value of the option or bond. Here p
≥
0, q
≥
0, and α, γ, λ, and β are constants with α, λ, γ
≠
0. When q
=
0, (4) is the option pricing equation and it is the bond pricing PDE when q
=
1.This paper is structured as follows. In Section2, we find two classifying equations on which group classification of (4) depends, one for p
≠
2 and the other for p
=
2. Then we use the two equations to find possible values for arbitrary constants for which (4) admits nontrivial Lie point symmetry algebras. In Section 3, we obtain symmetry reductions and construct group-invariant solutions for Case 2.1(1) and finally in Section 4 we give conclusions.


## 2. Determination of Classifying Equations of (4)

The Lie point symmetries for (4) are given by the vector field:
(5)
X
=
τ
(
t
,
x
,
u
)
∂
∂
t
+
ξ
(
t
,
x
,
u
)
∂
∂
x
+
η
(
t
,
x
,
u
)
∂
∂
u
,
if and only if
(6)
X
[
2
]
(
u
t
+
α
x
p
u
x
x
+
λ
(
β
-
x
)
u
x
+
γ
x
q
u
)
|
(
4
)
=
0
,
where X
[
2
] is the second prolongation of X defined as
(7)
X
[
2
]
=
X
+
ζ
1
∂
∂
u
t
+
ζ
2
∂
∂
u
x
+
ζ
22
∂
∂
u
x
x
.
Here ζ
i’s are given by
(8)
ζ
1
=
D
t
(
η
)
-
u
t
D
t
(
τ
)
-
u
x
D
t
(
ξ
)
,
ζ
2
=
D
x
(
η
)
-
u
t
D
x
(
τ
)
-
u
x
D
x
(
ξ
)
,
ζ
22
=
D
x
(
ζ
2
)
-
u
t
x
D
x
(
τ
)
-
u
x
x
D
x
(
ξ
)
,
where the total derivatives D
t and D
x are defined as
(9)
D
t
=
∂
∂
t
+
u
t
∂
∂
u
+
u
t
x
∂
∂
u
x
+
u
t
t
∂
∂
u
t
+
⋯
,
D
x
=
∂
∂
x
+
u
x
∂
∂
u
+
u
x
x
∂
∂
u
x
+
u
t
x
∂
∂
u
t
+
⋯
.
To perform the group classification of (4) it turns out that we need to consider two cases of p separately: p
≠
2 and p
=
2.


### 2.1. Classifying Equation of (4) for p
≠
2

Expanding the determining equation (6), we obtain
(10)
γ
ξ
q
u
x
q
-
1
-
γ
u
x
q
η
u
+
γ
u
x
q
ξ
u
u
x
+
γ
η
x
q
+
η
t
-
ξ
t
u
x
-
λ
ξ
u
x
+
β
λ
η
x
-
λ
x
η
x
+
γ
u
x
q
τ
t
-
γ
2
u
2
x
2
q
τ
u
+
γ
λ
u
x
q
+
1
τ
u
u
x
+
β
λ
τ
t
u
x
-
λ
x
τ
t
u
x
-
β
λ
u
x
ξ
x
+
λ
x
u
x
ξ
x
-
γ
λ
u
x
q
+
1
τ
x
-
β
γ
λ
u
x
q
τ
u
u
x
+
β
γ
λ
u
x
q
τ
x
+
λ
2
x
2
u
x
τ
x
+
β
2
λ
2
u
x
τ
x
-
2
β
λ
2
x
u
x
τ
x
-
2
α
x
p
τ
u
u
x
u
t
x
-
2
α
x
p
τ
x
u
t
x
+
α
ξ
p
x
p
-
1
u
x
x
-
2
α
x
p
ξ
u
u
x
u
x
x
-
2
α
x
p
ξ
x
u
x
x
+
x
p
×
(
α
β
λ
τ
x
u
x
x
+
α
u
x
2
η
u
u
+
2
α
u
x
η
x
u
α
τ
t
u
x
x
-
α
γ
u
τ
u
u
x
x
x
q
-
α
λ
x
τ
x
u
x
x
+
α
β
λ
τ
x
u
x
x
+
α
u
x
2
η
u
u
+
2
α
u
x
η
x
u
)
+
α
γ
u
u
x
2
τ
u
u
x
p
+
q
-
α
λ
x
p
+
1
u
x
3
τ
u
u
-
α
x
p
u
x
3
ξ
u
u
-
2
α
x
p
u
x
2
ξ
x
u
-
α
x
p
u
x
ξ
x
x
+
α
x
p
η
x
x
+
2
α
γ
u
u
x
x
p
+
q
τ
x
u
+
α
2
x
2
p
u
x
2
τ
u
u
u
x
x
-
2
α
λ
x
p
+
1
u
x
2
τ
x
u
+
α
β
λ
x
p
(
u
x
3
τ
u
u
+
2
u
x
2
τ
x
u
)
+
α
γ
u
τ
x
x
x
p
+
q
+
α
2
x
2
p
u
x
x
(
2
u
x
τ
x
u
+
τ
x
x
)
-
α
λ
x
p
+
1
u
x
τ
x
x
+
α
β
λ
x
p
u
x
τ
x
x
=
0
.
Separating (10) with respect to the derivatives of u, since the functions τ, ξ, and η do not depend on them, leads to the following linear PDEs:
(11)
τ
u
=
0
,
(12)
ξ
u
=
0
,
(13)
η
u
u
=
0
,
(14)
τ
x
=
0
,
(15)
p
ξ
+
x
(
τ
t
-
2
ξ
x
)
=
0
,
(16)
u
γ
x
q
η
u
+
x
λ
η
x
-
q
u
γ
x
q
-
1
ξ
-
γ
x
q
η
-
α
x
p
η
x
x
-
u
γ
x
q
τ
t
-
η
t
-
β
λ
η
x
=
0
,
(17)
λ
ξ
+
α
x
p
ξ
x
x
+
x
λ
τ
t
+
ξ
t
+
λ
(
β
-
x
)
ξ
x
-
2
α
x
p
η
x
u
-
β
λ
τ
t
=
0
.
To solve the above system of equations, we first observe from (11) and (14) that τ does not depend on x and u, which means that τ is a function of t. Thus
(18)
τ
=
τ
(
t
)
.
Equation (12) implies that ξ depends on both t and x but not on u. Hence
(19)
ξ
=
ξ
(
t
,
x
)
.
Integration of (13) with respect to u twice gives
(20)
η
(
t
,
x
,
u
)
=
A
(
t
,
x
)
u
+
B
(
t
,
x
)
,
where A
(
t
,
x
) and B
(
t
,
x
) are arbitrary functions of t and x. Using the expressions for τ and ξ in (15) and integrating with respect to x lead to
(21)
ξ
(
t
,
x
)
=
c
(
t
)
x
p
/
2
-
x
τ
′
(
t
)
p
-
2
,
p
≠
2
,
where c
(
t
) is an arbitrary function of t. Using (18), (20), and (21) in (17) yields
(22)
8
α
x
p
+
1
A
x
(
t
,
x
)
(
2
-
p
)
+
c
(
t
)
α
p
x
-
1
+
3
p
/
2
(
p
-
2
)
2
-
2
c
(
t
)
λ
x
1
+
p
/
2
(
p
-
2
)
2
-
4
x
2
τ
′′
(
t
)
+
2
β
λ
p
C
(
t
)
x
p
/
2
(
p
-
2
)
+
4
x
p
/
2
x
c
′
(
t
)
(
p
-
2
)
+
λ
(
4
x
2
(
p
-
2
)
+
4
β
x
(
1
-
p
)
)
τ
′
(
t
)
=
0
.
Integrating (22) with respect to x and solving for A we obtain
(23)
A
(
t
,
x
)
=
d
(
t
)
+
x
-
p
-
1
4
α
(
p
-
2
)
2
×
{
(
p
-
2
)
2
x
p
/
2
c
(
t
)
(
p
α
x
p
+
2
λ
x
(
x
-
β
)
)
-
2
x
3
τ
t
t
}
-
x
-
p
-
1
4
α
(
p
-
2
)
2
×
{
2
x
2
(
2
(
p
-
2
)
x
p
/
2
c
′
(
t
)
+
(
2
-
p
)
λ
τ
′
(
t
)
(
β
-
x
)
)
}
,
where d
(
t
) is an arbitrary function of t.Using (18)–(21) and (23) in (16) gives
(24)
16
α
(
p
-
2
)
2
x
2
+
p
/
2
(
α
x
p
B
x
x
+
B
γ
x
q
+
B
t
+
β
λ
B
x
-
λ
x
B
x
)
+
8
u
α
(
p
-
2
)
x
2
+
p
/
2
(
2
γ
(
p
-
q
-
2
)
x
q
-
λ
(
p
-
2
)
(
p
-
1
)
)
τ
t
-
8
u
λ
2
(
p
-
2
)
2
x
4
-
p
/
2
τ
t
+
8
β
λ
u
(
p
-
2
)
×
{
α
(
p
-
1
)
p
x
1
+
p
/
2
τ
t
-
β
λ
(
p
-
1
)
x
2
-
p
/
2
τ
t
+
λ
(
2
p
-
3
)
x
3
-
p
/
2
τ
t
}
+
u
{
8
(
p
-
2
)
(
2
α
(
p
-
2
)
d
t
x
2
+
p
/
2
+
α
(
p
-
1
)
x
2
+
p
/
2
τ
t
t
-
2
x
3
c
t
t
)
+
8
x
4
-
p
/
2
τ
t
t
t
}
+
α
(
p
-
2
)
2
c
(
t
)
x
p
-
1
u
{
α
p
3
x
p
-
6
α
p
2
x
p
+
8
α
p
x
p
-
8
β
λ
p
x
+
16
γ
q
x
q
+
2
}
+
4
λ
2
(
p
-
2
)
2
x
u
c
(
t
)
(
x
-
β
)
(
-
β
p
+
p
x
-
2
x
)
=
0
.
Since the functions B, c, d, and τ do not depend on u, we split (24) with respect to u and get
(25)
1
:
B
t
+
α
x
p
B
x
x
+
λ
(
β
-
x
)
B
x
+
γ
x
q
B
=
0
,
(26)
u
:
8
α
(
p
-
2
)
x
2
+
p
/
2
(
2
γ
(
p
-
q
-
2
)
x
q
-
λ
(
p
-
2
)
(
p
-
1
)
)
τ
t
-
8
λ
2
(
p
-
2
)
2
x
4
-
p
/
2
τ
t
+
8
β
λ
(
p
-
2
)
×
(
α
(
p
-
1
)
p
x
1
+
p
/
2
τ
t
-
β
λ
(
p
-
1
)
x
2
-
p
/
2
τ
t
+
λ
(
2
p
-
3
)
x
3
-
p
/
2
τ
t
)
+
(
8
(
p
-
2
)
(
2
α
(
p
-
2
)
d
t
x
2
+
p
/
2
+
α
(
p
-
1
)
x
2
+
p
/
2
τ
t
t
-
2
x
3
c
t
t
)
+
8
x
4
-
p
/
2
τ
t
t
t
)
+
α
(
p
-
2
)
2
c
(
t
)
x
p
-
1
(
α
p
3
x
p
-
6
α
p
2
x
p
+
8
α
p
x
p
-
8
β
λ
p
x
+
16
γ
q
x
q
+
2
)
+
4
λ
2
(
p
-
2
)
2
x
c
(
t
)
(
x
-
β
)
(
-
β
p
+
p
x
-
2
x
)
=
0
.
It is clear that B satisfies the original equation of (4). Rewriting (26) yields our classifying equation as
(27)
h
0
(
t
)
x
5
p
/
2
+
h
1
(
t
)
x
q
+
2
+
3
p
/
2
+
h
2
(
t
)
x
1
+
3
p
/
2
+
h
3
(
t
)
x
4
+
h
4
(
t
)
x
3
+
h
5
(
t
)
x
p
+
2
+
h
6
(
t
)
x
p
+
q
+
3
+
h
7
(
t
)
x
p
+
3
+
h
8
(
t
)
x
3
+
p
/
2
+
h
9
(
t
)
x
2
+
p
/
2
+
h
10
(
t
)
x
4
+
p
/
2
+
h
11
(
t
)
x
5
=
0
,
where
(28)
h
0
(
t
)
=
α
2
(
p
-
4
)
(
p
-
2
)
3
p
c
(
t
)
,
h
1
(
t
)
=
16
α
γ
(
p
-
2
)
2
q
c
(
t
)
,
h
2
(
t
)
=
-
8
α
β
λ
(
p
-
2
)
2
p
c
(
t
)
,
h
3
(
t
)
=
8
β
λ
2
(
p
-
2
)
(
2
p
-
3
)
τ
′
(
t
)
,
h
4
(
t
)
=
-
8
β
2
λ
2
(
p
-
2
)
(
p
-
1
)
τ
′
(
t
)
,
h
5
(
t
)
=
8
α
β
λ
(
p
-
2
)
(
p
-
1
)
p
τ
′
(
t
)
,
h
6
(
t
)
=
16
α
γ
(
p
-
2
)
(
p
-
q
-
2
)
τ
′
(
t
)
,
h
7
(
t
)
=
8
α
(
p
-
2
)
(
(
p
-
1
)
τ
′′
(
t
)
-
λ
(
p
-
2
)
×
(
p
-
1
)
τ
′
(
t
)
+
2
(
p
-
2
)
d
′
(
t
)
)
,
h
8
(
t
)
=
-
8
β
λ
2
(
p
-
2
)
2
(
p
-
1
)
c
(
t
)
,
h
9
(
t
)
=
4
β
2
λ
2
(
p
-
2
)
2
p
c
(
t
)
,
h
10
(
t
)
=
4
(
p
-
2
)
(
4
λ
2
c
(
t
)
-
4
c
′′
(
t
)
λ
2
p
2
c
(
t
)
-
4
λ
2
p
c
(
t
)
+
4
λ
2
c
(
t
)
-
4
c
′′
(
t
)
)
,
h
11
(
t
)
=
-
8
(
λ
2
p
2
τ
′
(
t
)
-
4
λ
2
p
τ
′
(
t
)
+
4
λ
2
τ
′
(
t
)
-
τ
′′′
(
t
)
)
.


### 2.2. Classifying Equation of (4) for p
=
2

In the case whenp
=
2 in (4), we proceed as above to obtain the determining equation as
(29)
q
u
γ
ξ
x
q
-
1
+
γ
η
x
q
+
u
γ
τ
t
x
q
-
u
β
γ
λ
u
x
τ
u
x
q
+
u
β
γ
λ
τ
x
x
q
+
u
γ
u
x
ξ
u
x
q
-
u
γ
η
u
x
q
-
u
2
γ
2
τ
u
x
2
q
+
u
γ
λ
u
x
τ
u
x
q
+
1
-
u
γ
λ
τ
x
x
q
+
1
-
u
α
γ
τ
u
u
x
x
x
q
+
2
+
u
α
γ
u
x
2
τ
u
,
u
x
q
+
2
+
2
u
α
γ
u
x
τ
x
u
x
q
+
2
+
u
α
γ
τ
x
x
x
q
+
2
+
α
2
u
x
2
u
x
x
τ
u
u
x
4
+
2
α
2
u
x
u
x
x
τ
x
u
x
4
+
α
2
u
x
x
τ
x
x
x
4
-
α
λ
τ
x
u
x
x
x
3
-
α
λ
u
x
3
τ
u
u
x
3
-
2
α
λ
u
x
2
τ
x
u
x
3
-
α
λ
u
x
τ
x
x
x
3
+
λ
2
u
x
τ
x
x
2
-
2
α
u
x
τ
u
u
t
x
x
2
-
2
α
τ
x
u
t
x
x
2
+
α
τ
t
u
x
x
x
2
+
α
β
λ
τ
x
u
x
x
x
2
-
2
α
u
x
ξ
u
u
x
x
x
2
-
2
α
ξ
x
u
x
x
x
2
+
α
β
λ
u
x
3
τ
u
u
x
2
+
2
α
β
λ
u
x
2
τ
x
u
x
2
+
α
β
λ
u
x
τ
x
x
x
2
-
α
u
x
3
ξ
u
u
x
2
-
2
α
u
x
2
ξ
x
u
x
2
-
α
u
x
ξ
x
x
x
2
+
α
u
x
2
η
u
u
x
2
+
2
α
u
x
η
x
u
x
2
+
α
η
x
x
x
2
-
λ
u
x
τ
t
x
-
2
β
λ
2
u
x
τ
x
x
+
λ
u
x
ξ
x
x
-
λ
η
x
x
+
2
α
ξ
u
x
x
x
-
λ
u
x
ξ
+
β
λ
u
x
τ
t
+
β
2
λ
2
u
x
τ
x
-
u
x
ξ
t
-
β
λ
u
x
ξ
x
+
η
t
+
β
λ
η
x
=
0
.
As before, splitting (29) on derivatives of u and simplifying lead to
(30)
τ
u
=
0
,
(31)
ξ
u
=
0
,
(32)
η
u
u
=
0
,
(33)
τ
x
=
0
,
(34)
2
α
η
x
u
x
3
-
α
ξ
x
x
x
3
-
λ
ξ
x
x
2
+
λ
ξ
x
-
ξ
t
x
+
β
λ
ξ
x
x
-
2
β
λ
ξ
=
0
,
(35)
2
x
ξ
x
-
2
ξ
-
x
τ
t
=
0
,
(36)
x
q
(
u
γ
ξ
(
q
-
2
)
+
x
(
γ
η
-
u
γ
η
u
+
2
u
γ
ξ
x
)
)
+
x
2
α
η
x
x
x
+
x
λ
η
x
(
β
-
x
)
+
x
η
t
=
0
.
Equations (30) and (33) imply that
(37)
τ
=
τ
(
t
)
,
whereas (31) means that ξ does not depend on u; that is,
(38)
ξ
=
ξ
(
t
,
x
)
,
and (32) gives
(39)
η
(
t
,
x
,
u
)
=
A
(
t
,
x
)
u
+
B
(
t
,
x
)
,
after integrating twice by u and for some arbitrary functions A and B. Substituting (37) and (38) into (35), we get a linear first-order ODE in ξ which can be easily integrated with respect to x to give
(40)
ξ
(
t
,
x
)
=
x
e
(
t
)
+
1
2
x
τ
′
(
t
)
ln
⁡
⁡
x
,
where e
(
t
) is an arbitrary function of t. If we substitute (37), (40), and (39) into (34) and solve the resulting differential equation for A, we get
(41)
A
(
t
,
x
)
=
1
8
α
x
[
{
x
[
4
e
′
(
t
)
+
ln
⁡
⁡
x
τ
′′
(
t
)
]
+
2
τ
′
(
t
)
[
x
(
α
+
λ
)
-
β
λ
]
}
ln
⁡
⁡
x
-
4
β
λ
e
(
t
)
]
+
f
(
t
)
,
where f
(
t
) is an arbitrary function of t. Substituting (41) and (40) into (36), we obtain
(42)
8
α
2
x
4
B
x
x
-
8
α
λ
x
3
B
x
+
8
α
β
λ
x
2
B
x
+
8
α
x
2
B
t
+
8
α
γ
x
q
+
2
B
+
u
(
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
-
4
α
x
2
e
′
(
t
)
-
4
λ
x
2
e
′
(
t
)
+
4
e
(
t
)
×
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
+
4
x
2
e
′′
(
t
)
ln
⁡
⁡
x
+
8
α
x
2
f
′
(
t
)
+
8
α
γ
x
q
+
2
τ
′
(
t
)
+
4
α
γ
q
x
q
+
2
τ
′
(
t
)
ln
⁡
x
-
2
β
2
λ
2
τ
′
(
t
)
-
2
α
2
x
2
τ
′
(
t
)
-
4
α
λ
x
2
τ
′
(
t
)
+
2
α
x
2
τ
′′
(
t
)
-
2
λ
2
x
2
τ
′
(
t
)
+
x
2
τ
(
3
)
(
t
)
ln
⁡
2
x
+
4
β
λ
2
x
τ
′
(
t
)
+
8
α
β
λ
x
τ
′
(
t
)
-
4
α
β
λ
x
τ
′
(
t
)
ln
⁡
⁡
x
+
2
β
2
λ
2
τ
′
(
t
)
ln
⁡
x
-
2
β
λ
2
x
τ
′
(
t
)
ln
⁡
⁡
x
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
)
=
0
.
Splitting (42) on u yields
(43)
1
:
B
t
+
α
x
2
B
x
x
+
λ
(
β
-
x
)
B
x
+
γ
x
q
B
=
0
,
(44)
u
:
(
4
x
2
e
′′
(
t
)
+
4
α
γ
q
x
q
+
2
τ
′
(
t
)
+
2
β
2
λ
2
τ
′
(
t
)
-
4
α
β
λ
x
τ
′
(
t
)
-
2
β
λ
2
x
τ
′
(
t
)
)
ln
⁡
⁡
x
-
4
α
x
2
e
′
(
t
)
-
4
λ
x
2
e
′
(
t
)
+
4
e
(
t
)
×
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
+
8
α
x
2
f
′
(
t
)
+
8
α
γ
x
q
+
2
τ
′
(
t
)
-
2
β
2
λ
2
τ
′
(
t
)
-
2
α
2
x
2
τ
′
(
t
)
-
4
α
λ
x
2
τ
′
(
t
)
+
2
α
x
2
τ
′′
(
t
)
-
2
λ
2
x
2
τ
′
(
t
)
+
x
2
τ
′′′
(
t
)
ln
⁡
2
x
+
8
α
β
λ
x
τ
′
(
t
)
+
4
β
λ
2
x
τ
′
(
t
)
=
0
.
Rewriting (44) we get our classifying equation as
(45)
b
0
(
t
)
+
b
1
(
t
)
ln
⁡
⁡
x
+
x
(
b
2
(
t
)
+
b
3
(
t
)
ln
⁡
⁡
x
)
+
x
2
(
b
4
(
t
)
+
b
5
(
t
)
ln
⁡
⁡
x
+
b
6
(
t
)
ln
⁡
2
x
)
+
x
q
+
2
(
b
7
(
t
)
+
b
8
(
t
)
ln
⁡
⁡
x
)
=
0
,
where
(46)
b
0
(
t
)
=
4
β
2
λ
2
e
(
t
)
-
2
β
2
λ
2
τ
′
(
t
)
,
b
(
1
)
=
2
β
2
λ
2
τ
′
(
t
)
,
b
2
(
t
)
=
-
4
β
λ
(
2
α
+
λ
)
(
e
(
t
)
-
τ
′
(
t
)
)
,
b
3
(
t
)
=
-
2
β
λ
(
2
α
+
λ
)
τ
′
(
t
)
,
b
4
(
t
)
=
8
α
f
′
(
t
)
-
4
(
α
+
λ
)
e
′
(
t
)
-
2
(
α
+
λ
)
2
τ
′
(
t
)
+
2
α
τ
′′
(
t
)
,
b
5
(
t
)
=
4
e
′′
(
t
)
,
b
6
(
t
)
=
τ
′′′
(
t
)
,
b
7
(
t
)
=
4
α
γ
(
2
q
e
(
t
)
+
2
τ
′
(
t
)
)
,
b
8
(
t
)
=
4
α
γ
q
τ
′
(
t
)
.


## 2.1. Classifying Equation of (4) for p
≠
2

Expanding the determining equation (6), we obtain
(10)
γ
ξ
q
u
x
q
-
1
-
γ
u
x
q
η
u
+
γ
u
x
q
ξ
u
u
x
+
γ
η
x
q
+
η
t
-
ξ
t
u
x
-
λ
ξ
u
x
+
β
λ
η
x
-
λ
x
η
x
+
γ
u
x
q
τ
t
-
γ
2
u
2
x
2
q
τ
u
+
γ
λ
u
x
q
+
1
τ
u
u
x
+
β
λ
τ
t
u
x
-
λ
x
τ
t
u
x
-
β
λ
u
x
ξ
x
+
λ
x
u
x
ξ
x
-
γ
λ
u
x
q
+
1
τ
x
-
β
γ
λ
u
x
q
τ
u
u
x
+
β
γ
λ
u
x
q
τ
x
+
λ
2
x
2
u
x
τ
x
+
β
2
λ
2
u
x
τ
x
-
2
β
λ
2
x
u
x
τ
x
-
2
α
x
p
τ
u
u
x
u
t
x
-
2
α
x
p
τ
x
u
t
x
+
α
ξ
p
x
p
-
1
u
x
x
-
2
α
x
p
ξ
u
u
x
u
x
x
-
2
α
x
p
ξ
x
u
x
x
+
x
p
×
(
α
β
λ
τ
x
u
x
x
+
α
u
x
2
η
u
u
+
2
α
u
x
η
x
u
α
τ
t
u
x
x
-
α
γ
u
τ
u
u
x
x
x
q
-
α
λ
x
τ
x
u
x
x
+
α
β
λ
τ
x
u
x
x
+
α
u
x
2
η
u
u
+
2
α
u
x
η
x
u
)
+
α
γ
u
u
x
2
τ
u
u
x
p
+
q
-
α
λ
x
p
+
1
u
x
3
τ
u
u
-
α
x
p
u
x
3
ξ
u
u
-
2
α
x
p
u
x
2
ξ
x
u
-
α
x
p
u
x
ξ
x
x
+
α
x
p
η
x
x
+
2
α
γ
u
u
x
x
p
+
q
τ
x
u
+
α
2
x
2
p
u
x
2
τ
u
u
u
x
x
-
2
α
λ
x
p
+
1
u
x
2
τ
x
u
+
α
β
λ
x
p
(
u
x
3
τ
u
u
+
2
u
x
2
τ
x
u
)
+
α
γ
u
τ
x
x
x
p
+
q
+
α
2
x
2
p
u
x
x
(
2
u
x
τ
x
u
+
τ
x
x
)
-
α
λ
x
p
+
1
u
x
τ
x
x
+
α
β
λ
x
p
u
x
τ
x
x
=
0
.
Separating (10) with respect to the derivatives of u, since the functions τ, ξ, and η do not depend on them, leads to the following linear PDEs:
(11)
τ
u
=
0
,
(12)
ξ
u
=
0
,
(13)
η
u
u
=
0
,
(14)
τ
x
=
0
,
(15)
p
ξ
+
x
(
τ
t
-
2
ξ
x
)
=
0
,
(16)
u
γ
x
q
η
u
+
x
λ
η
x
-
q
u
γ
x
q
-
1
ξ
-
γ
x
q
η
-
α
x
p
η
x
x
-
u
γ
x
q
τ
t
-
η
t
-
β
λ
η
x
=
0
,
(17)
λ
ξ
+
α
x
p
ξ
x
x
+
x
λ
τ
t
+
ξ
t
+
λ
(
β
-
x
)
ξ
x
-
2
α
x
p
η
x
u
-
β
λ
τ
t
=
0
.
To solve the above system of equations, we first observe from (11) and (14) that τ does not depend on x and u, which means that τ is a function of t. Thus
(18)
τ
=
τ
(
t
)
.
Equation (12) implies that ξ depends on both t and x but not on u. Hence
(19)
ξ
=
ξ
(
t
,
x
)
.
Integration of (13) with respect to u twice gives
(20)
η
(
t
,
x
,
u
)
=
A
(
t
,
x
)
u
+
B
(
t
,
x
)
,
where A
(
t
,
x
) and B
(
t
,
x
) are arbitrary functions of t and x. Using the expressions for τ and ξ in (15) and integrating with respect to x lead to
(21)
ξ
(
t
,
x
)
=
c
(
t
)
x
p
/
2
-
x
τ
′
(
t
)
p
-
2
,
p
≠
2
,
where c
(
t
) is an arbitrary function of t. Using (18), (20), and (21) in (17) yields
(22)
8
α
x
p
+
1
A
x
(
t
,
x
)
(
2
-
p
)
+
c
(
t
)
α
p
x
-
1
+
3
p
/
2
(
p
-
2
)
2
-
2
c
(
t
)
λ
x
1
+
p
/
2
(
p
-
2
)
2
-
4
x
2
τ
′′
(
t
)
+
2
β
λ
p
C
(
t
)
x
p
/
2
(
p
-
2
)
+
4
x
p
/
2
x
c
′
(
t
)
(
p
-
2
)
+
λ
(
4
x
2
(
p
-
2
)
+
4
β
x
(
1
-
p
)
)
τ
′
(
t
)
=
0
.
Integrating (22) with respect to x and solving for A we obtain
(23)
A
(
t
,
x
)
=
d
(
t
)
+
x
-
p
-
1
4
α
(
p
-
2
)
2
×
{
(
p
-
2
)
2
x
p
/
2
c
(
t
)
(
p
α
x
p
+
2
λ
x
(
x
-
β
)
)
-
2
x
3
τ
t
t
}
-
x
-
p
-
1
4
α
(
p
-
2
)
2
×
{
2
x
2
(
2
(
p
-
2
)
x
p
/
2
c
′
(
t
)
+
(
2
-
p
)
λ
τ
′
(
t
)
(
β
-
x
)
)
}
,
where d
(
t
) is an arbitrary function of t.Using (18)–(21) and (23) in (16) gives
(24)
16
α
(
p
-
2
)
2
x
2
+
p
/
2
(
α
x
p
B
x
x
+
B
γ
x
q
+
B
t
+
β
λ
B
x
-
λ
x
B
x
)
+
8
u
α
(
p
-
2
)
x
2
+
p
/
2
(
2
γ
(
p
-
q
-
2
)
x
q
-
λ
(
p
-
2
)
(
p
-
1
)
)
τ
t
-
8
u
λ
2
(
p
-
2
)
2
x
4
-
p
/
2
τ
t
+
8
β
λ
u
(
p
-
2
)
×
{
α
(
p
-
1
)
p
x
1
+
p
/
2
τ
t
-
β
λ
(
p
-
1
)
x
2
-
p
/
2
τ
t
+
λ
(
2
p
-
3
)
x
3
-
p
/
2
τ
t
}
+
u
{
8
(
p
-
2
)
(
2
α
(
p
-
2
)
d
t
x
2
+
p
/
2
+
α
(
p
-
1
)
x
2
+
p
/
2
τ
t
t
-
2
x
3
c
t
t
)
+
8
x
4
-
p
/
2
τ
t
t
t
}
+
α
(
p
-
2
)
2
c
(
t
)
x
p
-
1
u
{
α
p
3
x
p
-
6
α
p
2
x
p
+
8
α
p
x
p
-
8
β
λ
p
x
+
16
γ
q
x
q
+
2
}
+
4
λ
2
(
p
-
2
)
2
x
u
c
(
t
)
(
x
-
β
)
(
-
β
p
+
p
x
-
2
x
)
=
0
.
Since the functions B, c, d, and τ do not depend on u, we split (24) with respect to u and get
(25)
1
:
B
t
+
α
x
p
B
x
x
+
λ
(
β
-
x
)
B
x
+
γ
x
q
B
=
0
,
(26)
u
:
8
α
(
p
-
2
)
x
2
+
p
/
2
(
2
γ
(
p
-
q
-
2
)
x
q
-
λ
(
p
-
2
)
(
p
-
1
)
)
τ
t
-
8
λ
2
(
p
-
2
)
2
x
4
-
p
/
2
τ
t
+
8
β
λ
(
p
-
2
)
×
(
α
(
p
-
1
)
p
x
1
+
p
/
2
τ
t
-
β
λ
(
p
-
1
)
x
2
-
p
/
2
τ
t
+
λ
(
2
p
-
3
)
x
3
-
p
/
2
τ
t
)
+
(
8
(
p
-
2
)
(
2
α
(
p
-
2
)
d
t
x
2
+
p
/
2
+
α
(
p
-
1
)
x
2
+
p
/
2
τ
t
t
-
2
x
3
c
t
t
)
+
8
x
4
-
p
/
2
τ
t
t
t
)
+
α
(
p
-
2
)
2
c
(
t
)
x
p
-
1
(
α
p
3
x
p
-
6
α
p
2
x
p
+
8
α
p
x
p
-
8
β
λ
p
x
+
16
γ
q
x
q
+
2
)
+
4
λ
2
(
p
-
2
)
2
x
c
(
t
)
(
x
-
β
)
(
-
β
p
+
p
x
-
2
x
)
=
0
.
It is clear that B satisfies the original equation of (4). Rewriting (26) yields our classifying equation as
(27)
h
0
(
t
)
x
5
p
/
2
+
h
1
(
t
)
x
q
+
2
+
3
p
/
2
+
h
2
(
t
)
x
1
+
3
p
/
2
+
h
3
(
t
)
x
4
+
h
4
(
t
)
x
3
+
h
5
(
t
)
x
p
+
2
+
h
6
(
t
)
x
p
+
q
+
3
+
h
7
(
t
)
x
p
+
3
+
h
8
(
t
)
x
3
+
p
/
2
+
h
9
(
t
)
x
2
+
p
/
2
+
h
10
(
t
)
x
4
+
p
/
2
+
h
11
(
t
)
x
5
=
0
,
where
(28)
h
0
(
t
)
=
α
2
(
p
-
4
)
(
p
-
2
)
3
p
c
(
t
)
,
h
1
(
t
)
=
16
α
γ
(
p
-
2
)
2
q
c
(
t
)
,
h
2
(
t
)
=
-
8
α
β
λ
(
p
-
2
)
2
p
c
(
t
)
,
h
3
(
t
)
=
8
β
λ
2
(
p
-
2
)
(
2
p
-
3
)
τ
′
(
t
)
,
h
4
(
t
)
=
-
8
β
2
λ
2
(
p
-
2
)
(
p
-
1
)
τ
′
(
t
)
,
h
5
(
t
)
=
8
α
β
λ
(
p
-
2
)
(
p
-
1
)
p
τ
′
(
t
)
,
h
6
(
t
)
=
16
α
γ
(
p
-
2
)
(
p
-
q
-
2
)
τ
′
(
t
)
,
h
7
(
t
)
=
8
α
(
p
-
2
)
(
(
p
-
1
)
τ
′′
(
t
)
-
λ
(
p
-
2
)
×
(
p
-
1
)
τ
′
(
t
)
+
2
(
p
-
2
)
d
′
(
t
)
)
,
h
8
(
t
)
=
-
8
β
λ
2
(
p
-
2
)
2
(
p
-
1
)
c
(
t
)
,
h
9
(
t
)
=
4
β
2
λ
2
(
p
-
2
)
2
p
c
(
t
)
,
h
10
(
t
)
=
4
(
p
-
2
)
(
4
λ
2
c
(
t
)
-
4
c
′′
(
t
)
λ
2
p
2
c
(
t
)
-
4
λ
2
p
c
(
t
)
+
4
λ
2
c
(
t
)
-
4
c
′′
(
t
)
)
,
h
11
(
t
)
=
-
8
(
λ
2
p
2
τ
′
(
t
)
-
4
λ
2
p
τ
′
(
t
)
+
4
λ
2
τ
′
(
t
)
-
τ
′′′
(
t
)
)
.


## 2.2. Classifying Equation of (4) for p
=
2

In the case whenp
=
2 in (4), we proceed as above to obtain the determining equation as
(29)
q
u
γ
ξ
x
q
-
1
+
γ
η
x
q
+
u
γ
τ
t
x
q
-
u
β
γ
λ
u
x
τ
u
x
q
+
u
β
γ
λ
τ
x
x
q
+
u
γ
u
x
ξ
u
x
q
-
u
γ
η
u
x
q
-
u
2
γ
2
τ
u
x
2
q
+
u
γ
λ
u
x
τ
u
x
q
+
1
-
u
γ
λ
τ
x
x
q
+
1
-
u
α
γ
τ
u
u
x
x
x
q
+
2
+
u
α
γ
u
x
2
τ
u
,
u
x
q
+
2
+
2
u
α
γ
u
x
τ
x
u
x
q
+
2
+
u
α
γ
τ
x
x
x
q
+
2
+
α
2
u
x
2
u
x
x
τ
u
u
x
4
+
2
α
2
u
x
u
x
x
τ
x
u
x
4
+
α
2
u
x
x
τ
x
x
x
4
-
α
λ
τ
x
u
x
x
x
3
-
α
λ
u
x
3
τ
u
u
x
3
-
2
α
λ
u
x
2
τ
x
u
x
3
-
α
λ
u
x
τ
x
x
x
3
+
λ
2
u
x
τ
x
x
2
-
2
α
u
x
τ
u
u
t
x
x
2
-
2
α
τ
x
u
t
x
x
2
+
α
τ
t
u
x
x
x
2
+
α
β
λ
τ
x
u
x
x
x
2
-
2
α
u
x
ξ
u
u
x
x
x
2
-
2
α
ξ
x
u
x
x
x
2
+
α
β
λ
u
x
3
τ
u
u
x
2
+
2
α
β
λ
u
x
2
τ
x
u
x
2
+
α
β
λ
u
x
τ
x
x
x
2
-
α
u
x
3
ξ
u
u
x
2
-
2
α
u
x
2
ξ
x
u
x
2
-
α
u
x
ξ
x
x
x
2
+
α
u
x
2
η
u
u
x
2
+
2
α
u
x
η
x
u
x
2
+
α
η
x
x
x
2
-
λ
u
x
τ
t
x
-
2
β
λ
2
u
x
τ
x
x
+
λ
u
x
ξ
x
x
-
λ
η
x
x
+
2
α
ξ
u
x
x
x
-
λ
u
x
ξ
+
β
λ
u
x
τ
t
+
β
2
λ
2
u
x
τ
x
-
u
x
ξ
t
-
β
λ
u
x
ξ
x
+
η
t
+
β
λ
η
x
=
0
.
As before, splitting (29) on derivatives of u and simplifying lead to
(30)
τ
u
=
0
,
(31)
ξ
u
=
0
,
(32)
η
u
u
=
0
,
(33)
τ
x
=
0
,
(34)
2
α
η
x
u
x
3
-
α
ξ
x
x
x
3
-
λ
ξ
x
x
2
+
λ
ξ
x
-
ξ
t
x
+
β
λ
ξ
x
x
-
2
β
λ
ξ
=
0
,
(35)
2
x
ξ
x
-
2
ξ
-
x
τ
t
=
0
,
(36)
x
q
(
u
γ
ξ
(
q
-
2
)
+
x
(
γ
η
-
u
γ
η
u
+
2
u
γ
ξ
x
)
)
+
x
2
α
η
x
x
x
+
x
λ
η
x
(
β
-
x
)
+
x
η
t
=
0
.
Equations (30) and (33) imply that
(37)
τ
=
τ
(
t
)
,
whereas (31) means that ξ does not depend on u; that is,
(38)
ξ
=
ξ
(
t
,
x
)
,
and (32) gives
(39)
η
(
t
,
x
,
u
)
=
A
(
t
,
x
)
u
+
B
(
t
,
x
)
,
after integrating twice by u and for some arbitrary functions A and B. Substituting (37) and (38) into (35), we get a linear first-order ODE in ξ which can be easily integrated with respect to x to give
(40)
ξ
(
t
,
x
)
=
x
e
(
t
)
+
1
2
x
τ
′
(
t
)
ln
⁡
⁡
x
,
where e
(
t
) is an arbitrary function of t. If we substitute (37), (40), and (39) into (34) and solve the resulting differential equation for A, we get
(41)
A
(
t
,
x
)
=
1
8
α
x
[
{
x
[
4
e
′
(
t
)
+
ln
⁡
⁡
x
τ
′′
(
t
)
]
+
2
τ
′
(
t
)
[
x
(
α
+
λ
)
-
β
λ
]
}
ln
⁡
⁡
x
-
4
β
λ
e
(
t
)
]
+
f
(
t
)
,
where f
(
t
) is an arbitrary function of t. Substituting (41) and (40) into (36), we obtain
(42)
8
α
2
x
4
B
x
x
-
8
α
λ
x
3
B
x
+
8
α
β
λ
x
2
B
x
+
8
α
x
2
B
t
+
8
α
γ
x
q
+
2
B
+
u
(
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
-
4
α
x
2
e
′
(
t
)
-
4
λ
x
2
e
′
(
t
)
+
4
e
(
t
)
×
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
+
4
x
2
e
′′
(
t
)
ln
⁡
⁡
x
+
8
α
x
2
f
′
(
t
)
+
8
α
γ
x
q
+
2
τ
′
(
t
)
+
4
α
γ
q
x
q
+
2
τ
′
(
t
)
ln
⁡
x
-
2
β
2
λ
2
τ
′
(
t
)
-
2
α
2
x
2
τ
′
(
t
)
-
4
α
λ
x
2
τ
′
(
t
)
+
2
α
x
2
τ
′′
(
t
)
-
2
λ
2
x
2
τ
′
(
t
)
+
x
2
τ
(
3
)
(
t
)
ln
⁡
2
x
+
4
β
λ
2
x
τ
′
(
t
)
+
8
α
β
λ
x
τ
′
(
t
)
-
4
α
β
λ
x
τ
′
(
t
)
ln
⁡
⁡
x
+
2
β
2
λ
2
τ
′
(
t
)
ln
⁡
x
-
2
β
λ
2
x
τ
′
(
t
)
ln
⁡
⁡
x
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
)
=
0
.
Splitting (42) on u yields
(43)
1
:
B
t
+
α
x
2
B
x
x
+
λ
(
β
-
x
)
B
x
+
γ
x
q
B
=
0
,
(44)
u
:
(
4
x
2
e
′′
(
t
)
+
4
α
γ
q
x
q
+
2
τ
′
(
t
)
+
2
β
2
λ
2
τ
′
(
t
)
-
4
α
β
λ
x
τ
′
(
t
)
-
2
β
λ
2
x
τ
′
(
t
)
)
ln
⁡
⁡
x
-
4
α
x
2
e
′
(
t
)
-
4
λ
x
2
e
′
(
t
)
+
4
e
(
t
)
×
(
2
α
γ
q
x
q
+
2
+
β
λ
(
β
λ
-
x
(
2
α
+
λ
)
)
)
+
8
α
x
2
f
′
(
t
)
+
8
α
γ
x
q
+
2
τ
′
(
t
)
-
2
β
2
λ
2
τ
′
(
t
)
-
2
α
2
x
2
τ
′
(
t
)
-
4
α
λ
x
2
τ
′
(
t
)
+
2
α
x
2
τ
′′
(
t
)
-
2
λ
2
x
2
τ
′
(
t
)
+
x
2
τ
′′′
(
t
)
ln
⁡
2
x
+
8
α
β
λ
x
τ
′
(
t
)
+
4
β
λ
2
x
τ
′
(
t
)
=
0
.
Rewriting (44) we get our classifying equation as
(45)
b
0
(
t
)
+
b
1
(
t
)
ln
⁡
⁡
x
+
x
(
b
2
(
t
)
+
b
3
(
t
)
ln
⁡
⁡
x
)
+
x
2
(
b
4
(
t
)
+
b
5
(
t
)
ln
⁡
⁡
x
+
b
6
(
t
)
ln
⁡
2
x
)
+
x
q
+
2
(
b
7
(
t
)
+
b
8
(
t
)
ln
⁡
⁡
x
)
=
0
,
where
(46)
b
0
(
t
)
=
4
β
2
λ
2
e
(
t
)
-
2
β
2
λ
2
τ
′
(
t
)
,
b
(
1
)
=
2
β
2
λ
2
τ
′
(
t
)
,
b
2
(
t
)
=
-
4
β
λ
(
2
α
+
λ
)
(
e
(
t
)
-
τ
′
(
t
)
)
,
b
3
(
t
)
=
-
2
β
λ
(
2
α
+
λ
)
τ
′
(
t
)
,
b
4
(
t
)
=
8
α
f
′
(
t
)
-
4
(
α
+
λ
)
e
′
(
t
)
-
2
(
α
+
λ
)
2
τ
′
(
t
)
+
2
α
τ
′′
(
t
)
,
b
5
(
t
)
=
4
e
′′
(
t
)
,
b
6
(
t
)
=
τ
′′′
(
t
)
,
b
7
(
t
)
=
4
α
γ
(
2
q
e
(
t
)
+
2
τ
′
(
t
)
)
,
b
8
(
t
)
=
4
α
γ
q
τ
′
(
t
)
.


## 3. Results of Group Classification

We note that our classifying equations (27) and (45) are satisfied if we choose
(47)
c
(
t
)
=
e
(
t
)
=
0
,
d
(
t
)
=
f
(
t
)
=
c
2
,
τ
(
t
)
=
c
1
,
for some constants c
1 and c
2. Thus using these values, for both cases, the coefficients of the infinitesimal operator are
(48)
τ
=
c
1
,
ξ
=
0
,
η
=
c
2
u
+
B
(
t
,
x
)
,
where B
(
t
,
x
) is any solution of (4).Case  0 (
α
,
γ
,
λ
,
β
,
p
,
q
arbitrary). We obtain the following Lie point symmetries:
(49)
X
1
=
∂
∂
t
,
X
2
=
u
∂
∂
u
,
X
B
=
B
(
t
,
x
)
∂
∂
u
,
where the symmetry associated with B is the solution symmetry. Lie symmetries (49) generate what is called the principal Lie algebra.By equating the powers ofx in (27) and solving for p we infer that possible extensions of the principal Lie algebra are possible for the following values of p:
(50)
0,1
,
3
2
,
4
3
,
6
5
,
8
5
,
8
3
,
3,4
,
6
.
In this paper, we consider p
=
0,1, and 2, as these values of p provide us with very important equations in mathematics of finance. For example, when p
=
2 and q
=
0, we have the Black-Scholes equation. We obtain the Vasicek equation when p
=
0 and q
=
1 and CIR equation when p
=
1 and q
=
1.We show only the different combinations of parameters which extend the principal Lie algebra.Case  1  (
p
=
0
)Case  1.1   (
q
=
0
). In this case, the principal Lie algebra extends by the following Lie point symmetries:
(51)
X
3
=
e
2
λ
t
2
λ
∂
∂
t
+
e
2
λ
t
(
x
2
-
β
2
)
∂
∂
x
+
u
e
2
λ
t
(
β
2
λ
2
α
-
γ
2
λ
+
λ
x
2
2
α
-
β
λ
x
α
-
1
2
)
∂
∂
u
,
X
4
=
e
-
2
λ
t
2
λ
[
-
∂
∂
t
+
λ
(
x
-
β
)
∂
∂
x
+
γ
u
∂
∂
u
]
,
X
5
=
e
λ
t
[
∂
∂
x
+
λ
α
u
(
x
-
β
)
∂
∂
u
]
,
X
6
=
e
-
λ
t
∂
∂
x
.Case  1.2  (
q
=
1
). The principal Lie algebra extends by
(52)
X
3
=
e
2
λ
t
2
λ
∂
∂
t
+
e
2
λ
t
(
-
α
γ
λ
2
-
β
2
+
x
2
)
∂
∂
x
+
u
e
2
λ
t
(
β
2
λ
2
α
+
α
γ
2
2
λ
3
+
β
γ
λ
+
λ
x
2
2
α
-
β
λ
x
α
-
3
γ
x
2
λ
-
1
2
)
∂
∂
u
,
X
4
=
e
-
2
λ
t
2
λ
[
-
∂
∂
t
+
1
λ
(
λ
2
(
x
-
β
)
-
2
α
γ
)
∂
∂
x
+
γ
u
λ
2
(
λ
2
x
-
α
γ
)
∂
∂
u
]
,
X
5
=
e
λ
t
[
∂
∂
x
+
u
α
λ
(
-
α
γ
-
β
λ
2
+
λ
2
x
)
∂
∂
u
]
,
X
6
=
e
-
λ
t
[
∂
∂
x
+
γ
u
λ
∂
∂
u
]
.
It should be noted that this case results in the Vasicek equation [26].Case  1.3  (
q
=
2
). (1) Consider α
≠
λ
2
/
4
γ. The additional Lie point symmetries are given by
(53)
X
3
=
e
2
κ
t
2
κ
∂
∂
t
+
e
2
κ
t
(
1
2
x
-
β
λ
2
2
κ
)
∂
∂
x
+
u
e
2
κ
t
4
α
κ
3
(
-
2
α
β
2
γ
λ
2
+
(
κ
+
λ
)
×
(
(
κ
x
-
β
λ
)
(
κ
2
x
-
β
λ
2
)
-
α
κ
2
)
)
∂
∂
u
,
X
4
=
-
e
-
2
κ
t
2
κ
∂
∂
t
+
e
-
2
κ
t
2
κ
2
(
κ
2
x
-
β
λ
2
)
∂
∂
x
-
u
e
-
2
t
κ
4
α
κ
3
(
α
λ
(
2
β
2
γ
λ
+
κ
(
κ
+
λ
)
)
-
4
α
2
γ
κ
-
β
2
λ
3
(
κ
+
λ
)
+
κ
3
x
2
(
κ
-
λ
)
+
β
κ
λ
x
(
κ
-
λ
)
2
(
2
β
2
γ
λ
+
κ
(
κ
+
λ
)
)
)
∂
∂
u
,
X
5
=
e
κ
t
[
∂
∂
x
+
1
2
α
κ
u
(
κ
+
λ
)
(
x
κ
+
β
λ
)
∂
∂
u
]
,
X
6
=
e
-
κ
t
[
∂
∂
x
-
1
2
α
κ
u
(
κ
-
λ
)
(
x
κ
-
β
λ
)
∂
∂
u
]
,
where κ
=
λ
2
-
4
α
γ.(2) Considerα
=
λ
2
/
4
γ. The additional Lie point symmetries are
(54)
X
3
=
t
∂
∂
t
+
(
x
2
-
3
4
β
λ
2
t
2
)
∂
∂
x
+
u
(
β
γ
x
λ
1
2
β
2
γ
λ
2
t
3
+
3
2
β
2
γ
λ
t
2
-
3
2
β
γ
λ
t
2
x
+
β
2
γ
t
-
λ
t
2
-
3
β
γ
t
x
+
γ
x
2
λ
-
β
γ
x
λ
)
∂
∂
u
,
X
4
=
t
2
∂
∂
t
+
(
t
x
-
1
2
β
λ
2
t
3
)
∂
∂
x
+
u
(
1
4
β
2
γ
λ
2
t
4
+
β
2
γ
λ
t
3
-
β
γ
λ
t
3
x
+
β
2
γ
t
2
-
λ
t
2
2
-
3
β
γ
t
2
x
+
2
γ
t
x
2
λ
-
2
β
γ
t
x
λ
-
t
2
+
γ
x
2
λ
2
)
∂
∂
u
,
X
5
=
∂
∂
x
+
u
(
2
γ
x
λ
-
2
β
γ
t
)
∂
∂
u
,
X
6
=
t
∂
∂
x
+
u
(
-
β
γ
t
2
-
2
β
γ
t
λ
+
2
γ
t
x
λ
+
2
γ
x
λ
2
)
∂
∂
u
.Case  2  (
p
=
1
)Case  2.1  (
q
=
0
)(1) Consider
β
≠
α
/
2
λ and β
≠
3
α
/
2
λ. The principal Lie algebra is extended by
(55)
X
3
=
e
λ
t
[
1
λ
∂
∂
t
+
x
∂
∂
x
+
u
(
λ
x
α
-
β
λ
α
-
γ
λ
)
∂
∂
u
]
,
X
4
=
e
-
λ
t
λ
[
-
∂
∂
t
+
x
λ
∂
∂
x
+
γ
u
∂
∂
u
]
.(2) Considerβ
=
α
/
2
λ. The additional Lie point symmetries are
(56)
X
3
=
e
λ
t
[
1
λ
∂
∂
t
+
x
∂
∂
x
+
u
(
λ
x
α
-
γ
λ
-
1
2
)
∂
∂
u
]
,
X
4
=
e
-
λ
t
λ
[
-
∂
∂
t
+
x
λ
∂
∂
x
+
γ
u
∂
∂
u
]
,
X
5
=
x
e
λ
t
/
2
∂
∂
x
+
λ
u
x
e
λ
t
/
2
α
∂
∂
u
,
X
6
=
x
e
-
λ
t
/
2
∂
∂
x
.(3) Considerβ
=
3
α
/
2
λ. The Lie point symmetries that extend the principal Lie algebra are
(57)
X
3
=
e
λ
t
λ
∂
∂
t
+
x
e
λ
t
∂
∂
x
+
e
λ
t
(
λ
x
α
-
γ
λ
-
3
2
)
u
∂
∂
u
,
X
4
=
-
e
-
λ
t
λ
∂
∂
t
+
x
e
-
λ
t
∂
∂
x
+
γ
u
e
-
λ
t
λ
∂
∂
u
,
X
5
=
x
e
λ
t
/
2
∂
∂
x
+
e
λ
t
/
2
(
λ
x
α
-
1
2
x
)
u
∂
∂
u
,
X
6
=
x
e
-
λ
t
/
2
∂
∂
x
-
u
e
-
λ
t
/
2
2
x
∂
∂
u
.Case  2.2  (
q
=
1
/
2
). This has two subcases.(1) Considerβ
=
α
/
2
λ. This case results in the following extra Lie point symmetries:
(58)
X
3
=
e
λ
t
λ
∂
∂
t
+
e
λ
t
(
x
-
2
α
γ
x
λ
2
)
∂
∂
x
+
u
e
λ
t
(
λ
x
α
-
3
γ
x
λ
+
α
γ
2
λ
3
-
1
2
)
∂
∂
u
,
X
4
=
-
e
-
λ
t
λ
∂
∂
t
+
e
-
λ
t
(
x
-
2
α
γ
x
λ
2
)
∂
∂
x
+
u
e
-
λ
t
(
γ
x
λ
-
α
γ
2
λ
3
)
∂
∂
u
,
X
5
=
x
e
λ
t
/
2
∂
∂
x
+
u
e
λ
t
/
2
(
λ
x
α
-
γ
λ
)
∂
∂
u
,
X
6
=
x
e
-
λ
t
/
2
∂
∂
x
+
γ
u
e
-
λ
t
/
2
λ
∂
∂
u
.(2) Considerβ
=
3
α
/
2
λ. The extra Lie point symmetries are
(59)
X
3
=
e
λ
t
λ
∂
∂
t
+
e
λ
t
(
x
-
2
α
γ
x
λ
2
)
∂
∂
x
+
e
λ
t
(
α
γ
2
λ
3
-
3
2
+
α
γ
λ
2
x
+
λ
x
α
-
3
γ
x
λ
)
u
∂
∂
u
,
X
4
=
-
e
-
λ
t
λ
∂
∂
t
+
e
-
λ
t
(
x
-
2
α
γ
x
λ
2
)
∂
∂
x
+
e
-
λ
t
(
-
α
γ
2
λ
3
+
α
γ
λ
2
x
+
γ
x
λ
)
u
∂
∂
u
,
X
5
=
x
e
-
λ
t
2
∂
∂
x
+
e
-
λ
t
2
(
γ
λ
-
1
2
x
)
u
∂
∂
u
,
X
6
=
x
e
λ
t
2
∂
∂
x
+
e
λ
t
2
(
λ
x
α
-
γ
λ
-
1
2
x
)
u
∂
∂
u
.Case  2.3    (
q
=
1
).  This leads to six subcases.(1) Considerβ
≠
α
/
2
λ and β
≠
3
α
/
2
λ and α
≠
λ
2
/
4
γ. The principal Lie algebra is extended by
(60)
X
3
=
e
t
κ
κ
∂
∂
t
+
x
e
t
κ
∂
∂
x
+
u
e
t
κ
2
α
(
x
κ
-
β
λ
2
κ
+
λ
x
-
β
λ
)
∂
∂
u
,
X
4
=
-
e
-
t
κ
κ
∂
∂
t
+
x
e
-
t
κ
∂
∂
x
+
u
e
-
t
κ
2
α
(
β
λ
2
κ
-
β
λ
+
λ
x
-
x
κ
)
∂
∂
u
,
where κ
=
λ
2
-
4
α
γ. We note that this case gives us the CIR equation [26, 27].(2) Considerα
=
λ
2
/
4
γ, β
≠
α
/
2
λ, and β
≠
3
α
/
2
λ. The extra symmetries that extend the principal Lie algebra are given by
(61)
X
3
=
t
∂
∂
t
+
x
∂
∂
x
+
γ
u
(
2
x
λ
-
2
β
t
)
∂
∂
u
,
X
4
=
t
2
∂
∂
t
+
2
t
x
∂
∂
x
+
γ
u
(
4
t
x
λ
+
4
x
λ
2
-
2
β
t
2
-
4
β
t
λ
)
∂
∂
u
.(3) Considerα
=
λ
2
/
4
γ, β
=
α
/
2
λ. Additional Lie point symmetries are
(62)
X
3
=
t
∂
∂
t
+
x
∂
∂
x
+
u
(
2
γ
x
λ
-
1
4
λ
t
)
∂
∂
u
,
X
4
=
t
2
∂
∂
t
+
2
t
x
∂
∂
x
+
u
(
4
γ
t
x
λ
-
1
4
λ
t
2
-
1
2
t
+
4
γ
x
λ
2
)
∂
∂
u
,
X
5
=
x
∂
∂
x
+
2
γ
u
x
λ
∂
∂
u
,
X
6
=
t
x
∂
∂
x
+
2
γ
u
x
(
2
λ
2
+
t
λ
)
∂
∂
u
.(4) Considerα
=
λ
2
/
4
γ, β
=
3
α
/
2
λ. Additional Lie point symmetries to the principal Lie algebra are given by
(63)
X
3
=
t
∂
∂
t
+
x
∂
∂
x
+
u
(
2
γ
x
λ
-
3
4
λ
t
)
∂
∂
u
,
X
4
=
t
2
∂
∂
t
+
2
t
x
∂
∂
x
+
u
(
4
γ
t
x
λ
-
3
2
t
+
4
γ
x
λ
2
-
3
4
λ
t
2
)
∂
∂
u
,
X
5
=
x
∂
∂
x
+
u
(
2
γ
x
λ
-
1
2
x
)
∂
∂
u
,
X
6
=
t
x
∂
∂
x
+
u
(
2
γ
t
x
λ
-
t
2
x
+
4
γ
x
λ
2
)
∂
∂
u
.(5) Considerβ
=
α
/
2
λ, α
≠
λ
2
/
4
γ. The extra Lie point symmetries are
(64)
X
3
=
e
t
κ
κ
∂
∂
t
+
x
e
t
κ
∂
∂
x
+
u
e
t
κ
(
x
κ
2
α
-
1
4
-
λ
4
κ
+
λ
x
2
α
)
∂
∂
u
,
X
4
=
-
e
-
t
κ
κ
∂
∂
t
+
x
e
-
t
κ
∂
∂
x
+
u
e
-
t
κ
(
λ
4
κ
-
1
4
+
λ
x
2
α
-
x
κ
2
α
)
∂
∂
u
,
X
5
=
x
e
(
1
/
2
)
t
κ
∂
∂
x
+
u
x
e
(
1
/
2
)
t
κ
λ
+
κ
2
α
∂
∂
u
,
X
6
=
x
e
-
(
1
/
2
)
t
κ
∂
∂
x
+
u
x
e
-
(
1
/
2
)
t
κ
λ
-
κ
2
α
∂
∂
u
,
where κ
=
λ
2
-
4
α
γ.(6) Considerβ
=
3
α
/
2
λ, α
≠
λ
2
/
4
γ. The principal Lie algebra is extended by
(65)
X
3
=
e
κ
t
κ
∂
∂
t
+
x
e
κ
t
∂
∂
x
+
e
κ
t
(
κ
x
2
α
-
3
λ
4
κ
-
3
4
+
λ
x
2
α
)
u
∂
∂
u
,
X
4
=
-
e
-
κ
t
κ
∂
∂
t
+
x
e
-
κ
t
∂
∂
x
+
e
-
κ
t
(
3
λ
4
κ
-
3
4
+
λ
x
2
α
-
κ
x
2
α
)
u
∂
∂
u
,
X
5
=
x
e
κ
t
/
2
∂
∂
x
+
e
κ
t
/
2
(
λ
x
2
α
+
κ
x
2
α
-
1
2
x
)
u
∂
∂
u
,
X
6
=
x
e
-
κ
t
/
2
∂
∂
x
+
e
-
κ
t
/
2
(
λ
x
2
α
-
κ
x
2
α
-
1
2
x
)
u
∂
∂
u
,
where κ
=
λ
2
-
4
α
γ.Case  3  (
p
=
2
). We can conclude from (45) that q can only take the value 0. Proceeding as before, we find that the principal Lie algebra extends for the case when β
=
0 by the following symmetry operators:
(66)
X
3
=
t
∂
∂
t
+
1
2
x
ln
⁡
x
∂
∂
x
+
u
(
λ
2
t
4
α
+
1
4
α
t
-
γ
t
+
1
2
λ
t
+
λ
ln
⁡
x
4
α
+
1
4
ln
⁡
x
)
∂
∂
u
,
X
4
=
t
2
∂
∂
t
+
t
x
ln
⁡
x
∂
∂
x
+
u
(
λ
2
t
2
4
α
+
1
4
α
t
2
-
γ
t
2
+
1
2
λ
t
2
-
1
2
t
+
λ
t
ln
⁡
x
2
α
+
1
2
t
ln
⁡
x
+
ln
⁡
2
x
4
α
)
∂
∂
u
,
X
5
=
x
∂
∂
x
,
X
6
=
t
x
∂
∂
x
+
u
(
λ
t
2
α
+
1
2
t
+
ln
⁡
x
2
α
)
∂
∂
u
.
This case gives us the Black-Scholes equation [30].


## 4. Symmetry Reductions and Group Invariant Solutions

We obtain symmetry reductions [31] and construct group invariant solutions of Case 2.1(1), that is, when p
=
1, q
=
0, β
≠
α
/
(
2
λ
), and β
≠
3
α
/
(
2
λ
), while all other constants in (4) are arbitrary. Equation (4) is then given by
(67)
u
t
+
α
x
u
x
x
+
λ
(
β
-
x
)
u
x
+
γ
u
=
0
.Case  2.1  (
X
1
). The operator X
1 results in two invariants J
1
=
x and J
2
=
u. The group invariant solution is given by u
=
f
(
x
), where f solves
(68)
α
x
f
′′
(
x
)
+
λ
(
β
-
x
)
f
′
(
x
)
+
γ
f
(
x
)
=
0
.Case  2.2  (
X
3
). The operator X
3 gives the following two invariants:
(69)
J
1
=
x
e
-
λ
t
,
J
2
=
u
exp
⁡
⁡
{
α
γ
t
+
β
λ
2
t
-
λ
x
α
}
.
Hence, the invariant solution of (67) under X
3 is given by
(70)
u
=
f
(
x
e
-
λ
t
)
exp
⁡
⁡
{
λ
x
-
t
(
α
γ
+
β
λ
2
)
α
}
,
where f satisfies
(71)
α
z
f
′′
(
z
)
+
β
λ
f
′
(
z
)
=
0
,
z
=
x
e
-
λ
t
.
The solution of the above equation is
(72)
f
(
z
)
=
c
1
α
z
(
α
-
β
λ
)
/
α
α
-
β
λ
+
c
2
,
where c
1 and c
2 are arbitrary constants. Hence, the group invariant solution under X
3 is
(73)
u
(
t
,
x
)
=
[
c
1
α
(
x
e
-
λ
t
)
(
α
-
β
λ
)
/
α
α
-
β
λ
+
c
2
]
×
exp
⁡
{
λ
x
-
t
(
α
γ
+
β
λ
2
)
α
}
.Case  2.3  (
X
4
). The symmetry operator X
4 gives the invariants J
1
=
x
e
λ
t and J
2
=
u
e
γ
t. Thus, the group invariant solution in this case is given by
(74)
u
(
t
,
x
)
=
[
c
1
α
(
x
e
λ
t
)
(
α
-
β
λ
)
/
α
α
-
β
λ
+
c
2
]
e
-
γ
t
,
where c
1 and c
2 are arbitrary constants.It should be noted that the operatorsX
2 and X
B do not provide invariant solutions.


## 5. Conclusions

In this paper we carried out group classification of the general bond-option pricing PDE (4) for p
=
0,1, and 2. The principal Lie algebra was found to be three-dimensional. These values of p resulted in 16 cases, which extended the principal Lie algebra. We presented the Lie point symmetries for each case. Three cases gave us the option pricing equations, which were given by Cases 1.1, 2.1(1), and 3. In the last case, Black-Scholes equation was recovered. Seven bond pricing equations were obtained and these were Case 1.2 and Cases 2.3(1)–2.3(6). Cases 1.2 and 2.3(1) were found to be the Vasicek and CIR equations, respectively. Finally, symmetry reductions and construction of group invariant solutions for Case 2.1(1) were presented.



---

*Source: 709871-2014-04-13.xml*