Journal of Applied Mathematics and Physics
Vol.06 No.09(2018), Article ID:87218,15 pages
10.4236/jamp.2018.69156

Potential Symmetries, One-Dimensional Optimal System and Invariant Solutions of the Coupled Burgers’ Equations

Yuexing Bai1,2, Sudao Bilige1*, Temuer Chaolu2

1College of Sciences, Inner Mongolia University of Technology, Hohhot, China

2College of Arts and Sciences, Shanghai Maritime University, Shanghai, China

Copyright © 2018 by authors and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: August 9, 2018; Accepted: September 8, 201; Published: September 11, 2018

ABSTRACT

In this paper, we discuss one-dimensional optimal system and the invariant solutions of Coupled Burgers’ equations. By using Wu-differential characteristic set algorithm with the aid of Mathematica software, the classical symmetries of the Coupled Burgers’ equations are calculated, and the one-dimensional optimal system of Lie algebra is constructed. And we obtain the invariant solution of the Coupled Burgers’ equations corresponding to one element in one dimensional optimal system by using the invariant method. The results generalize the exact solutions of the Coupled Burgers’ equations.

Keywords:

Potential Symmetry, One-Dimensional Optimal System, Invariant Solution, Coupled Burgers’ Equations

1. Introduction

Lie group methods are perhaps the most powerful currently available in finding exact solutions of nonlinear partial differential equations (PDEs) [1] . This method has a profound impact on both pure and applied areas of mathematics, physics and mechanics, etc. [2] [3] [4] . Based on the symmetries of a PDEs, many important properties of the equation such as Lie algebras [5] , conservation laws [6] [7] [8] , exact solutions [9] [10] [11] , boundary value problem [12] can be considered successively.

In 1988, Bluman and Kumei [13] suggested a method to find a new class of symmetry for PDEs which can be written as conservative form. They analyzed the Lie symmetries of the system S that is obtained by introducing a potential as a further unknown function. In general, not all equations have potential symmetry, because the determining equations (DTEs) of potential symmetry are less than the DTEs of Lie symmetry. Potential symmetry can generate new symmetry and new invariant solutions which could not be obtained by Lie symmetry. Therefore, the study of potential symmetry of PDEs has become an important research topic in many fields [14] . Researchers such as Qu Changzheng [15] and Sophocleous [16] have made outstanding contributions in this field.

The plan of the paper is organized as follows. In Section 2, we obtained the potential symmetries and the one-dimensional optimal system of the Coupled Burgers’ equations based on differential characteristic set algorithm, and the corresponding Lie transformation groups are derived. In Section 3, we gave some new invariant solutions and exact solutions of the Coupled Burgers’ equations by applying Lie transformation groups on the invariant solutions. In Section 4, we give some discussions and conclusion remarks.

2. The Potential Symmetries, One-Dimensional Optimal System and Lie Transformation Groups of Coupled Burgers’ Equations

Let’s consider Coupled Burgers’ equations of Ref. [17] ,

u t u x x + 2 u u x + α ( u v ) x = 0 , (1)

v t v x x + 2 v v x + β ( u v ) x = 0. (2)

where α , β are constants. The conserved form of Equations (1) (2) have the following forms

u t [ u x u 2 α ( u v ) ] x = 0, (3)

v t [ v x v 2 β ( u v ) ] x = 0. (4)

For obtaining the potential symmetry of Coupled Burgers’ equations, we introduce the potential variables ϕ , ψ , then Equations (3) (4) are equivalent to the potential systems

{ ϕ x = u , ϕ t = u x u 2 α ( u v ) , ψ x = v , ψ t = v x v 2 β ( u v ) . (5)

The symmetry group of Equations (5) will be generated by the vector field of the form

X = ξ ( x , t , u , v , ϕ , ψ ) x + τ ( x , t , u , v , ϕ , ψ ) t + η 1 ( x , t , u , v , ϕ , ψ ) u + η 2 ( x , t , u , v , ϕ , ψ ) v + γ ( x , t , u , v , ϕ , ψ ) φ + δ ( x , t , u , v , ϕ , ψ ) ψ , (6)

where ξ = ξ ( x , t , u , v , ϕ , ψ ) , τ = τ ( x , t , u , v , ϕ , ψ ) , η 1 = η 1 ( x , t , u , v , ϕ , ψ ) , η 2 = η 2 ( x , t , u , v , ϕ , ψ ) , γ = γ ( x , t , u , v , ϕ , ψ ) , δ = δ ( x , t , u , v , ϕ , ψ ) are the infinitesimal functions.

Definition 1. If ξ ϕ 2 + τ ϕ 2 + η 1 ϕ 2 + η 2 ϕ 2 0 , ξ ψ 2 + τ ψ 2 + η 1 ψ 2 + η 2 ψ 2 0 , if and only if the infinitesimal functions ξ , τ , η 1 , η 2 have an essential dependence on the potential variables ϕ , ψ , then X is called the potential symmetry vector of Coupled Burgers’ Equations (1) (2).

2.1. The Potential Symmetries

In this section, we can divide it into three cases as following.

Case 1: α 0 , β 0 .

According to the Lie algorithm, we obtain the determining equations of symmetry (6), but it is too difficult to get its solutions. However, we can obtain the following equivalent system of the determining system by corresponding to the characteristic set which is equivalent to the determining equations by using the differential characteristic set algorithm of Ref. [18]

2 η 1 + u τ t = 0 , τ x = τ u = τ v = τ ϕ = τ ψ = 0 , η 1 x = η 1 t = η 1 v = η 1 ϕ = η 1 ψ = 0 ,

γ x = γ t = γ u = γ v = γ ϕ = γ ψ = 0 , δ x = δ t = δ u = δ v = δ ϕ = δ ψ = 0 ,

ξ t = ξ u = ξ v = ξ ϕ = ξ ψ = 0 , η 1 + u η 1 u = 0 , η 1 + u ξ x = 0 , v η 1 u η 2 = 0.

By solving above equations, we obtain the infinitesimal functions as follows:

ξ = c 3 x + c 5 , τ = 2 c 3 t + c 4 , η 1 = c 3 u , η 2 = c 3 v , γ = c 1 , δ = c 2 ,

where c i ( i = 1 , , 5 ) are arbitrary symmetry parameters, and can give five finite symmetries of Equations (1) (2):

X 1 = ϕ , X 2 = ψ , X 3 = x x 2 t t + u u + v v , X 4 = t , X 5 = x .

According to the definition 1, they are not potential symmetries.

Case 2: α = 0 , β 0 , Equations (1) (2) have the following forms:

u t u x x + 2 u u x = 0 , (7)

v t v x x + 2 v v x + β ( u v ) x = 0 , (8)

and Equations (5) have the following forms

{ ϕ x = u , ϕ t = u x u 2 , ψ x = v , ψ t = v x v 2 β ( u v ) . (9)

By the same manner, we can obtain the following equations:

ξ t = ξ u = ξ v = ξ ϕ = ξ ψ = 0 , τ x = τ u = τ v = τ ϕ = τ ψ = 0 ,

η 1 x = η 1 t = η 1 v = η 1 ϕ = η 1 ψ = 0 , η 2 x = η 2 t = η 2 u u = 0 ,

γ x = γ t = γ u = γ v = γ ϕ = γ ψ = 0 , δ x = δ t = δ u = δ v = 0 ,

η 1 u η 1 u = 0 , 2 η 1 + u τ t = 0 , η 1 + u ξ x = 0 , v η 1 u η 2 + u η 2 ψ = 0 ,

η 2 v η 2 v u η 2 u = 0 , η 2 ϕ + u η 2 u β u η 2 u v η 2 u = 0 ,

δ ϕ η 2 u = 0 , u v δ ψ + v η 1 u η 2 + u 2 η 2 u = 0.

By calculating above equations, we obtain the infinitesimal functions:

ξ = c 2 x + c 4 , τ = 2 c 2 t + c 3 , η 1 = c 2 u ,

η 2 = c 5 ( u + v 1 + β ) e ψ + ( 1 + β ) ϕ + c 2 v + c 6 v e ψ ,

γ = c 1 , δ = c 5 e ψ + ( 1 + β ) ϕ 1 + β + c 6 e ψ + c 7 ,

where c i ( i = 1 , , 7 ) are arbitrary symmetry parameters, and can give seven finite symmetries of Equations (7) (8):

X 1 = ϕ , X 2 = x x 2 t t + u u + v v , X 3 = t , X 4 = x ,

X 5 = ( u + v 1 + β ) e ψ + ( 1 + β ) ϕ v + e ψ + ( 1 + β ) ϕ 1 + β ψ ,

X 6 = v e ψ v + e ψ ψ , X 7 = ψ .

According to Definition 1, X 5 is the potential symmetry of Equations (7) (8).

Case 3: α 0 , β = 0 , Equations (1) (2) have the following forms:

u t u x x + 2 u u x + α ( u v ) x = 0 , (10)

v t v x x + 2 v v x = 0. (11)

and Equations (5) has the following forms

{ ϕ x = u , ϕ t = u x u 2 α ( u v ) , ψ x = v , ψ t = v x v 2 (12)

By the same manner, we can obtain the following equations:

ξ t = ξ u = ξ v = ξ ϕ = ξ ψ = 0 , τ x = τ u = τ v = τ ϕ = τ ψ = 0 ,

η 2 x = η 2 t = η 2 u = η 2 ϕ = η 2 ψ = 0 , η 1 x = η 1 t = η 1 u u = 0 ,

γ x = γ t = γ u = γ v = 0 , δ x = δ t = δ u = δ v = δ ϕ = δ ψ = 0 ,

η 2 v η 2 v = 0 , 2 η 2 + v τ t = 0 , η 2 + v ξ x = 0 ,

η 1 v η 1 v u η 1 u = 0 , v η 1 v η 1 ϕ u η 2 = 0 ,

u η 1 + v η 1 α v η 1 + v η 1 ψ + u 2 η 1 u u v η 1 u + α u v η 1 u = 0 ,

v γ ψ η 1 + u η 1 u = 0 , v γ ϕ v η 1 u + η 2 = 0.

By calculating above equations, we obtain the infinitesimal functions:

ξ = c 2 x + c 3 , τ = 2 c 2 t + c 4 , η 1 = c 5 ( v + u 1 + α ) e ϕ + ( 1 + α ) ψ + c 2 u + c 6 v e ϕ ,

η 2 = c 2 v , δ = c 1 , γ = c 5 e ϕ + ( 1 + α ) ψ 1 + α + c 6 e ϕ + c 7 ,

where c i ( i = 1 , , 7 ) are arbitrary symmetry parameters, and can give seven finite symmetries of Equations (10) (11):

X 1 = ψ , X 2 = x x 2 t t + u u + v v , X 3 = x , X 4 = t ,

X 5 = ( v + u 1 + α ) e ϕ + ( 1 + α ) ψ u + e ϕ + ( 1 + α ) ψ 1 + α ϕ , X 6 = u e ϕ u + e ϕ ϕ , X 7 = ϕ .

According to Definition 1, X 5 is the potential symmetry of Equations (10) (11).

2.2. One-Dimensional Optimal System of the Coupled Burgers’ Equations

As is mentioned in process of Ref. [3] , the problem of finding an optimal of subgroups is equivalent to that of finding an optimal system of subalgebras. In this section, we will construct the optimal system of one-dimensional subalgebras of Coupled Burgers’ equations Equations (7) (8) by using the method presented in process of Ref. [3] .

In the case 2, we have obtained seven operators X 1 ~ X 7 . Applying the commutator operators [ X m , X n ] = X m X n X n X m , we obtain the commutator table listed in Table 1 with the ( i , j ) -th entry indicating [ X i , X j ] . The commutation relations between these vector fields are given by the following table, the entry in row i and column j representing [ X i , X j ] .

From the above commutator table for this algebra, we use the Lie series and apply the following formula

A d ( exp ( ε X i ) ) X j = n = 0 ε n n ! ( a d X i ) n ( X j ) = X j ε [ X i , X j ] + ε 2 2 [ X i , [ X i , X j ] ] (13)

and compute the adjoint representation, we obtain the following table with the (i,j)-th entry indicating A d ( exp ( ε X i ) ) X j .

Table 1. Commutator title.

With the help of the adjoint representation Table 2, applying the adjoint action of X to X = a 1 X 1 + a 2 X 2 + a 3 X 3 + a 4 X 4 + a 5 X 5 + a 6 X 6 + a 7 X 7 , we have

A d ( exp ( ε 1 X 1 ) ) X = a 1 X 1 + a 2 X 2 + a 3 X 3 + a 4 X 4 + a 5 e ε 1 ( 1 + β ) X 5 + a 6 X 6 + a 7 X 7 = ( X 1 , X 2 , X 3 , X 4 , X 5 , X 6 , X 7 ) Q 1 ( a 1 , a 2 , a 3 , a 4 , a 5 , a 6 , a 7 ) Τ . (14)

It is easy to obtain Q 1 as follow,

Q 1 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 e ε 1 ( 1 + β ) 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 )

Similarly, the other matrices of the separate adjoint actions of the vectors Q 2 , Q 3 , Q 4 , Q 5 , Q 6 , Q 7 are found as follows:

Q 2 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 e 2 ε 2 0 0 0 0 0 0 0 e ε 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 ) , Q 3 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 ε 3 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 ) ,

Q 4 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 ε 4 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 ) , Q 5 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 ε 5 ( 1 + β ) 0 0 0 1 0 ε 5 0 0 0 0 0 1 0 0 0 0 0 0 0 1 ) ,

Q 6 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 ε 6 0 0 0 0 0 0 1 ) , Q 7 = ( 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 e ε 7 0 0 0 0 0 0 0 e ε 7 0 0 0 0 0 0 0 1 ) .

Then the general adjoint transformation matrix Q of the Coupled Burgers’ equations is

Q = ( a i , j ) 7 × 7 = Q 1 Q 2 Q 3 Q 4 Q 5 Q 6 Q 7 ,

Table 2. Adjoint title.

the general adjoint transformation equation of the Coupled Burgers’ equations is

1 a Q ( α 1 , α 2 , α 3 , α 4 , α 5 , α 6 , α 7 ) Τ = ( β 1 , β 2 , β 3 , β 4 , β 5 , β 6 , β 7 ) Τ , (15)

where a 0 . According to Equation (15), we got

(16)

Case 2.1 According to Equation (16), when α 7 0 , ( α 7 = a , β 7 = 1 ) , it can also be divided into four cases:

1) When α 1 0 , α 2 0 , let β 3 = β 4 = β 5 = β 6 = 0 , we have ε 3 = α 3 2 α 2 , ε 4 = α 4 α 2 , ε 5 = e ε 7 α 5 α 7 + α 1 ( 1 + β ) , ε 6 = e ε 7 α 6 α 7 and β 1 ¯ = ( λ , λ , 0 , 0 , 0 , 0 , 1 ) .

2) When α 1 0 , α 2 = 0 , Equation (16) has the follow formula

1 a ( α 1 0 α 3 e 2 ε 2 e ε 2 α 4 α 5 e ( 1 β ) ε 1 ε 7 + α 7 ε 5 e ( 1 β ) ε 1 + α 1 ε 5 ( 1 + β ) e ( 1 β ) ε 1 α 6 e ε 7 + α 7 ε 6 α 7 ) = ( β 1 β 2 β 3 β 4 β 5 β 6 β 7 ) . (17)

It can also be divided into four cases:

a) when α 3 0 , α 4 0 , let β 5 = β 6 = 0 , we have ε 5 = e ε 7 α 5 α 7 + α 1 ( 1 + β ) , ε 6 = e ε 7 α 6 α 7 and β 2 ¯ = ( λ ,0,1,1,0,0,1 ) .

b) when α 3 0 , α 4 = 0 , we can obtain β 4 = λ 3 and β 3 ¯ = ( λ , 0 , 1 , 0 , 0 , 0 , 1 ) .

c) when α 3 = 0 , α 4 0 , we have β 4 ¯ = ( λ , 0 , 0 , 1 , 0 , 0 , 1 ) .

d) when α 3 = 0 , α 4 = 0 . we have β 5 ¯ = ( λ , 0 , 0 , 0 , 0 , 0 , 1 ) .

3) When α 1 = 0 , α 2 0 , let β 3 = β 4 = β 5 = β 6 = 0 , we have ε 3 = α 3 2 α 2 , ε 4 = α 4 α 2 , ε 5 = e ε 7 α 5 α 7 , ε 6 = e ε 7 α 6 α 7 and β 6 ¯ = ( 0 , λ , 0 , 0 , 0 , 0 , 1 ) .

4) When α 1 = 0 , α 2 = 0 , we find that it can also be divided into four cases:

a) If α 3 0 , α 4 0 , let β 5 = β 6 = 0 , we have ε 5 = e ε 7 α 5 α 7 , ε 6 = e ε 7 α 6 α 7 and β 7 ¯ = ( 0 , 0 , 1 , 1 , 0 , 0 , 1 ) ;

b) If α 3 0 , α 4 = 0 , we have β 8 ¯ = ( 0 , 0 , 1 , 0 , 0 , 0 , 1 ) ;

c) If α 3 = 0 , α 4 0 , we have β 9 ¯ = ( 0 , 0 , 0 , 1 , 0 , 0 , 1 ) ;

d) If α 3 = 0 , α 4 = 0 , we have β 10 ¯ = ( 0 , 0 , 0 , 0 , 0 , 0 , 1 ) .

Case 2.2 When α 7 = 0 , α 6 0 , we obtain β 7 = 0 . Equation (16) has the follow formula

1 a ( α 1 α 2 α 3 e 2 ε 2 + 2 α 2 ε 3 e 2 ε 2 e ε 2 ( α 4 + α 2 ε 4 ) α 5 e ( 1 β ) ε 1 ε 7 + α 1 ε 5 ( 1 + β ) e ( 1 β ) ε 1 α 6 e ε 7 0 ) = ( β 1 β 2 β 3 β 4 β 5 β 6 β 7 ) . (18)

It can also be divided into four cases:

1) When α 1 0 , α 2 0 , we can obtain β 2 = λ 7 , adjust 1 a , make β 6 = 1 . Let β 3 = β 4 = β 5 = 0 , we can obtain ε 3 = α 3 2 α 2 , ε 4 = α 4 α 2 , ε 5 = e ε 7 α 5 α 1 ( 1 + β ) , we have β 11 ¯ = ( λ , λ , 0 , 0 , 0 , 1 , 0 ) .

2) When α 1 0 , α 2 = 0 , it can also be divided into four cases:

a) when α 3 0 , α 4 0 , we have β 12 ¯ = ( λ , 0 , 1 , 1 , 0 , 1 , 0 ) ;

b) when α 3 0 , α 4 = 0 , we have β 13 ¯ = ( 1 , 0 , 1 , 0 , 0 , 1 , 0 ) ;

c) when α 3 = 0 , α 4 0 , we have β 14 ¯ = ( λ , 0 , 0 , 1 , 0 , 1 , 0 ) ;

d) when α 3 = 0 , α 4 = 0 , we have β 15 ¯ = ( 1 , 0 , 0 , 0 , 0 , 1 , 0 ) .

3) When α 1 = 0 , α 2 0 , if α 5 0 ,

e ( 1 β ) ε 1 ε 7 α 5 = { 1 , α 5 > 0 1 , α 5 < 0

We have β 16 ¯ = ( 0 , 1 , 0 , 0 , ± 1 , 1 , 0 ) , if α 5 = 0 , we have β 17 ¯ = ( 0 , 1 , 0 , 0 , 0 , 1 , 0 ) .

4) When α 1 = 0 , α 2 = 0 , we find that it can also be divided into eight cases:

a) when α 3 0 , α 4 0 , α 5 0 , we have β 18 ¯ = ( 0 , 0 , 1 , 1 , ± 1 , 1 , 0 ) ;

b) when α 3 0 , α 4 = 0 , α 5 = 0 , we have β 19 ¯ = ( 0 , 0 , 1 , 0 , 0 , 1 , 0 ) ;

c) when α 3 = 0 , α 4 0 , α 5 = 0 , we have β 20 ¯ = ( 0 , 0 , 0 , 1 , 0 , 1 , 0 ) ;

d) when α 3 = 0 , α 4 = 0 , α 5 0 , we have β 21 ¯ = ( 0 , 0 , 0 , 0 , ± 1 , 1 , 0 ) ;

e) when α 3 0 , α 4 0 , α 5 = 0 , we have β 22 ¯ = ( 0 , 0 , 1 , 1 , 0 , 1 , 0 ) ;

f) when α 3 0 , α 4 = 0 , α 5 0 , we have β 23 ¯ = ( 0 , 0 , 1 , 0 , ± 1 , 1 , 0 ) ;

g) when α 3 = 0 , α 4 0 , α 5 0 , we have β 24 ¯ = ( 0 , 0 , 0 , 1 , ± 1 , 1 , 0 ) ;

h) when α 3 = 0 , α 4 = 0 , α 5 = 0 , we have β 25 ¯ = ( 0 , 0 , 0 , 0 , 0 , 1 , 0 ) .

Case 2.3 When α 7 = 0 , α 6 = 0 , α 5 0 , we obtain β 7 = 0 , β 6 = 0 . Equation (16) has the follow formula

1 a ( α 1 α 2 α 3 e 2 ε 2 + 2 α 2 ε 3 e 2 ε 2 e ε 2 ( α 4 + α 2 ε 4 ) α 5 e ( 1 β ) ε 1 ε 7 + α 1 ε 5 ( 1 + β ) e ( 1 β ) ε 1 0 0 ) = ( β 1 β 2 β 3 β 4 β 5 β 6 β 7 ) . (19)

We find that it can also be divided into four cases:

1) When α 1 0 , α 2 0 , let β 3 = β 4 = β 5 = 0 , we can obtain ε 3 = α 3 2 α 2 , ε 4 = α 4 α 2 , ε 5 = e ε 7 α 5 α 1 ( 1 + β ) , we have β 26 ¯ = ( λ , 1 , 0 , 0 , 0 , 0 , 0 ) .

2) When α 1 0 , α 2 = 0 , we find that it can also be divided four cases:

a) α 3 0 , α 4 0 , we have β 27 ¯ = ( λ , 0 , 1 , 1 , 0 , 0 , 0 ) ;

b) α 3 0 , α 4 = 0 , we have β 28 ¯ = ( 1 , 0 , 1 , 0 , 0 , 0 , 0 ) ;

c) α 3 = 0 , α 4 0 , we have β 29 ¯ = ( λ , 0 , 0 , 1 , 0 , 0 , 0 ) ;

d) α 3 = 0 , α 4 = 0 , we have β 30 ¯ = ( 1 , 0 , 0 , 0 , 0 , 0 , 0 ) .

3) When α 1 = 0 , α 2 0 , we have β 31 ¯ = ( 0 , 1 , 0 , 0 , ± 1 , 0 , 0 ) .

4) When α 1 = 0 , α 2 = 0 , we find that it can also be divided four cases:

a) α 3 0 , α 4 0 , we have β 32 ¯ = ( 0 , 0 , 1 , 1 , ± 1 , 0 , 0 ) ;

b) α 3 0 , α 4 = 0 , we have β 33 ¯ = ( 0 , 0 , 1 , 0 , ± 1 , 0 , 0 ) ;

c) α 3 = 0 , α 4 0 , we have β 34 ¯ = ( 0 , 0 , 0 , 1 , ± 1 , 0 , 0 ) ;

d) α 3 = 0 , α 4 = 0 , we have β 35 ¯ = ( 0 , 0 , 0 , 0 , 1 , 0 , 0 ) .

Case 2.4 When α 7 = 0 , α 6 = 0 , α 5 = 0 , α 4 0 , we obtain β 7 = 0 , β 6 = 0 . Equation (16) has the follow formula

1 a ( α 1 α 2 α 3 e 2 ε 2 + 2 α 2 ε 3 e 2 ε 2 e ε 2 ( α 4 + α 2 ε 4 ) α 1 ε 5 ( 1 + β ) e ( 1 β ) ε 1 0 0 ) = ( β 1 β 2 β 3 β 4 β 5 β 6 β 7 ) . (20)

we find that it can also be divided into four cases:

1) When α 1 0 , α 2 0 , let β 3 = 0 , we can obtain ε 3 = α 3 2 α 2 , ε 4 = α 4 α 2 , we have β 36 ¯ = ( 1 , λ , 0 , 1 , ± 1 , 0 , 0 ) .

2) When α 1 0 , α 2 = 0 , if α 3 0 , we have β 37 ¯ = ( λ , 0 , 1 , 1 , ± 1 , 0 , 0 ) , if α 3 = 0 , we have β 38 ¯ = ( λ , 0 , 0 , 1 , ± 1 , 0 , 0 ) .

3) When α 1 = 0 , α 2 0 , let β 3 = 0 , we obtain ε 3 = α 3 2 α 2 ε 4 = α 4 α 2 , we have β 39 ¯ = ( 0 , 1 , 0 , 1 , 0 , 0 , 0 ) .

4) When α 1 = 0 , α 2 = 0 , if α 3 0 , we have β 40 ¯ = ( 0 , 0 , 1 , 1 , 0 , 0 , 0 ) , if α 3 = 0 , we have β 41 ¯ = ( 0 , 0 , 0 , 1 , 0 , 0 , 0 ) .

Case 2.5 When α 7 = 0 , α 6 = 0 , α 5 = 0 , α 4 = 0 , α 3 0 , we obtain β 7 = 0 , β 6 = 0 . Equation (16) has the follow formula

1 a ( α 1 α 2 α 3 e 2 ε 2 + 2 α 2 ε 3 e 2 ε 2 e ε 2 α 2 ε 4 α 1 ε 5 ( 1 + β ) e ( 1 β ) ε 1 0 0 ) = ( β 1 β 2 β 3 β 4 β 5 β 6 β 7 ) . (21)

We find that it can also be divided into four cases:

1) When α 1 0 , α 2 0 , we have β 42 ¯ = ( λ , 1 , 0 , 0 , ± 1 , 0 , 0 ) ;

2) When α 1 0 , α 2 = 0 , we have β 43 ¯ = ( 1 , 0 , 1 , 0 , ± 1 , 0 , 0 ) ;

3) When α 1 = 0 , α 2 0 , we have β 44 ¯ = ( 0 , 1 , 0 , 0 , 0 , 0 , 0 ) ;

4) When α 1 = 0 , α 2 = 0 , we have β 45 ¯ = ( 0 , 0 , 1 , 0 , 0 , 0 , 0 ) .

Case 2.6 When α 7 = 0 , α 6 = 0 , α 5 = 0 , α 4 = 0 , α 3 = 0 , α 2 0 , Equation (16) has the follow formula

1 a ( α 1 α 2 2 α 2 ε 3 e 2 ε 2 e ε 2 α 2 ε 4 α 1 ε 5 ( 1 + β ) e ( 1 β ) ε 1 0 0 ) = ( β 1 β 2 β 3 β 4 β 5 β 6 β 7 ) . (22)

If α 1 0 , we have β 46 ¯ = ( λ , 1 , 1 , 0 , ± 1 , 0 , 0 ) ; If α 1 = 0 , we have β 47 ¯ = ( 0 , 1 , 1 , 0 , 0 , 0 , 0 ) .

Case 2.7 When α 7 = 0 , α 6 = 0 , α 5 = 0 , α 4 = 0 , α 3 = 0 , α 2 = 0 , α 1 0 , we have β 48 ¯ = ( 1 , 0 , 0 , 0 , ± 1 , 0 , 0 ) .

Following above calculate, where λ is constants and λ 0 , we have found one-dimensional optimal system of Coupled Burgers’ equations as follows:

L 1 , 1 = { λ X 1 + λ X 2 + X 7 } , L 1 , 2 = { λ X 1 + X 3 + X 4 + X 7 } ,

L 1 , 3 = { λ X 1 + X 3 + X 7 } , L 1 , 4 = { λ X 1 + X 4 + X 7 } , L 1 , 5 = { λ X 1 + X 7 } ,

L 1 , 6 = { λ X 2 + X 7 } , L 1 , 7 = { X 3 + X 4 + X 7 } , L 1 , 8 = { X 3 + X 7 } , L 1 , 9 = { X 4 + X 7 } ,

L 1 , 10 = { X 7 } , L 1 , 11 = { λ X 1 + λ X 2 + X 6 } , L 1 , 12 = { λ X 1 + X 3 + X 4 + X 6 } ,

L 1 , 13 = { X 1 + X 3 + X 6 } , L 1 , 14 = { λ X 1 + X 4 + X 6 } , L 1 , 15 = { X 1 + X 6 } ,

L 1 , 16 = { X 2 ± X 5 + X 6 } , L 1 , 17 = { X 2 + X 6 } , L 1 , 18 = { X 3 + X 4 ± X 5 + X 6 } ,

L 1 , 19 = { X 3 + X 6 } , L 1 , 20 = { X 4 + X 6 } , L 1 , 21 = { ± X 5 + X 6 } , L 1 , 22 = { X 3 + X 4 + X 6 } ,

L 1 , 23 = { X 3 ± X 5 + X 6 } , L 1 , 24 = { X 4 ± X 5 + X 6 } , L 1 , 25 = { X 6 } , L 1 , 26 = { λ X 1 + X 2 } ,

L 1 , 27 = { λ X 1 + X 3 + X 4 } , L 1 , 28 = { X 1 + X 3 } , L 1 , 29 = { λ X 1 + X 4 } , L 1 , 30 = { X 1 } ,

L 1 , 31 = { X 2 ± X 5 } , L 1 , 32 = { X 3 + X 4 ± X 5 } , L 1 , 33 = { X 3 ± X 5 } , L 1 , 34 = { X 4 ± X 5 } ,

L 1 , 35 = { X 5 } , L 1 , 36 = { X 1 + λ X 2 + X 4 ± X 5 } , L 1 , 37 = { λ X 1 + X 3 + X 4 ± X 5 } ,

L 1 , 38 = { λ X 1 + X 4 ± X 5 } , L 1 , 39 = { X 2 + X 4 } , L 1 , 40 = { X 3 + X 4 } , L 1 , 41 = { X 4 } ,

L 1 , 42 = { λ X 1 + X 2 ± X 5 } , L 1 , 43 = { X 1 + X 3 ± X 5 } , L 1 , 44 = { X 2 } , L 1 , 45 = { X 3 } ,

L 1 , 46 = { λ X 1 + X 2 + X 3 ± X 5 } , L 1 , 47 = { X 2 + X 3 } , L 1 , 48 = { X 1 ± X 5 } .

2.3. Invariant Solutions of Coupled Burgers’ Equations

In this section, we only consider the Case 2 which is α = 0 , β 0 . Let

X 8 = X 3 + X 4 + X 5 = x + t + ( u + v 1 + β ) e ψ + ( 1 + β ) ϕ v + e ψ + ( 1 + β ) ϕ 1 + β ψ .

The characteristic equations for the potential symmetry X 8 are as follows:

d x 1 = d t 1 = d u 0 = d v ( u + v 1 + β ) e ψ + ( 1 + β ) ϕ = d ϕ 0 = d ψ e ψ + ( 1 + β ) ϕ 1 + β . (23)

Solving Equations (23), we obtain the invariables θ = t x and u = c 1 , ϕ = c 2 , ψ = ln ( e c 2 + c 2 β x 1 β ) c 3 , v = c 1 e c 2 β x ( 1 + β ) + c 4 e c 2 β x + c 3 e c 2 ( 1 + β ) , where c 1 , c 2 , c 3 , c 4 are arbitrary constants, we make c 1 = A 1 ( θ ) , c 2 = A 2 ( θ ) , c 3 = A 3 ( θ ) , c 4 = A 4 ( θ ) .

By using the invariant form method, we can confirm that the solutions of Equations (23) are given as follows:

{ u = A 1 ( θ ) , v = A 1 ( θ ) e A 2 ( θ ) β x ( 1 + β ) + A 4 ( θ ) e A 2 ( θ ) β x + A 3 ( θ ) e A 2 ( θ ) ( 1 + β ) , ϕ = A 2 ( θ ) , ψ = ln [ e A 2 ( θ ) + A 2 ( θ ) β x 1 β A 3 ( θ ) ] . (24)

By substituting (24) into Equations (9), the system of ordinary differential equations we have got as follows:

A 1 ( θ ) + A 2 ( θ ) = 0, (25)

A 1 ( θ ) 2 + A 1 ( θ ) + A 2 ( θ ) = 0 , (26)

e β A 2 ( θ ) + A 4 ( θ ) e A 2 ( θ ) ( 1 + β ) A 3 ( θ ) = 0 , (27)

e β A 2 ( θ ) ( 2 + β ) A 2 ( θ ) + e A 2 ( θ ) ( 1 + β ) [ ( 1 + β A 2 ( θ ) ) A 3 ( θ ) A 3 ( θ ) ] = 0. (28)

We got the solutions of (25), (26) as follows:

{ A 1 ( θ ) = e θ e θ e C 1 , A 2 ( θ ) = C 2 ln ( e θ + e C 1 ) . (29)

We make C 1 = 0 and substitute A 1 ( θ ) , A 2 ( θ ) into the (27), (28), the solutions of A 1 ( θ ) , A 2 ( θ ) , A 3 ( θ ) , A 4 ( θ ) we have got as following

{ A 3 ( θ ) = C 4 + 1 ( 1 + β ) 2 e C 2 [ ( 1 + e θ ) 2 ] β ( e C 2 β + θ ( 1 + e θ ) β ( 2 + β ) θ + e C 2 β ( ( 1 + e θ ) β ( ( 1 + e θ ) 2 ) β ) ( 2 + β ) θ e C 2 + θ ( 1 e θ ) β × ( 1 + β ) C 3 e C 2 ( 1 e θ ) β ( 1 + ( 1 e θ ) β ) ( 1 + β ) C 3 e C 2 β + θ × ( ( 1 + e θ ) 2 ) β ( 2 3 β + β 2 ) H y p e r g e o m e t r i c P F Q [ ( 1 , 1 , β ) , ( 2 , 2 ) , e θ ] ) , A 4 ( θ ) = ( 1 e θ ) 1 β ( ( 1 + e θ ) 2 ) β ( C 3 e C 2 + θ ( 1 e θ ) 2 β ( 1 + β ) + e C 2 β ( ( 1 + e θ ) 2 ) β ( 1 + e θ ( 1 + ( 2 + β ) θ ) ) ) . (30)

where C 2 , C 3 , C 4 are arbitrary constants and HypergeometricPFQ is the generalized hypergeometric function. By substituting (29) (30) into (24), we confirm the invariant solutions of Equations (7) (8) are given as follows:

u ( x , t ) = 1 1 e t + x , (31)

v ( x , t ) = B 1 β ( B 1 2 ) β [ e C 2 β ( e 2 x B 2 2 ) β B 3 + C 3 e C 2 + t B 1 2 β ( 1 + β ) ] B 2 [ B 8 B 9 ( B 1 β B 9 1 B 7 C 3 e C 2 B 1 β B 6 ( 1 + β ) ) + B 12 ] , (32)

where B 13 = H y p e r g e o m e t r i c P F Q [ ( 1 , 1 , β ) , ( 2 , 2 ) , e t x ] , B 1 , B 2 , B 3 , B 4 , B 5 , B 6 , B 7 , B 8 , B 9 , B 10 , B 11 , B 12 have the following expressions:

B 1 = 1 e t x , B 2 = e t e x , B 3 = e x + e t ( 1 + x + t ( 2 + β ) ) ,

B 4 = e t ( x + t ( 2 + β ) ) , B 5 = e x ( x + ( t + B 1 β ( t + x ) ) ( 2 + β ) ) ,

B 6 = e t + e x ( 1 + ( 1 e t x ) β ) , B 7 = B 10 + C 4 B 11 , B 8 = 1 B 2 ( 1 + β ) ,

B 9 = ( e 2 x B 2 2 ) β , B 10 = e C 2 β ( B 4 + B 5 ) ,

B 11 = e C 2 + x B 1 β ( 1 + β ) 2 , B 12 = e t + C 2 β ( 2 + β ) B 13 e t e x .

It is important that these solutions cannot be obtained by the classical symmetries of Coupled Burgers’ equations. In this paper, we only consider β = 2 which the reason is that the form of solutions (31) (32) are too complex, and confirm the new solutions of Equations (7) (8) are given as follows:

u ( x , t ) = 1 1 e t + x , (33)

v ( x , t ) = e x [ C 3 e t + e C 2 ( e t e x + x e t ) ] ( e t + e x ) ( C 3 e t + C 4 ( e t + e x ) + e C 2 + x x ) . (34)

The Lie group method is probably the most powerful method to find the exact solutions of nonlinear PDEs. A symmetry group of PDEs is a group of transformations which maps any solution to another solution of PDEs. For obtaining more exact solutions of Coupled Burgers’ equations. Corresponding to the symmetry, Lie transformation group is determined. A one-parameter Lie transformation group corresponding to the symmetry X 9 = X 1 + X 2 + X 3 + X 5 satisfies the initial value problem

( I ) { x * = e ε x , t * = 1 2 ( 1 + e 2 ε ( 1 + 2 t ) ) , u * = e ε u , ϕ * = ε + ϕ , v * = ( e ε + β ϕ + ψ u + e β ( ε + ϕ ) + ψ u + e ε + ϕ v ( 1 + β ) ) ( 1 + β ) e β ϕ + ψ e ( 1 + β ) ε + β ϕ + ψ + e ϕ ( 1 + β ) 2 , ψ * = ln ( e ϕ ψ ( e β ϕ + ψ e ( 1 + β ) ε + β ϕ + ψ + e ϕ ( 1 + β ) 2 ) ( 1 + β ) 2 ) . (35)

By acting Lie transformation group (I) on the solution (33) (34) of Equations (7) (8), we obtain another solutions of Equations (7) (8).

u 1 ( x , t ) = e ε + 1 2 ( 1 e 2 ε + 2 e 2 ε t ) e 1 2 ( 1 e 2 ε + 2 e 2 ε t ) e e ε x , (36)

v 1 ( x , t ) = e C 2 + e 2 ε + ε + 2 e ε x D 0 ( C 3 + e C 2 + ε ( 1 + x ) ) ( e 1 2 + e 2 ε t e 1 2 e ε ( e ε + 2 x ) ) ( D 1 + D 2 ( 1 + e ε ( 1 + x ) ) ) . (37)

where D 0 = e 1 2 + e 2 ε 2 + ε + e 2 ε t + e ε x , D 1 = C 3 e 1 2 + e 2 ε t C 4 e 1 2 + e 2 ε t + C 4 e 1 2 e ε ( e ε + 2 x ) , D 2 = e C 2 + e 2 ε 2 + e ε x .

In addition, we can also continue the above calculation by acting Lie transformation groups and obtain more new solutions. Due to the lack of space, we omit the calculation steps.

3. Conclusions

In this paper, we expanded the classical symmetries of Coupled Burgers’ equations by the determining potential symmetries, and we obtained new exact solutions of Coupled Burgers’ equations. Firstly, we determined the classical symmetries and the potential symmetry of Coupled Burgers’ equations based on differential characteristic set algorithm. Secondly, we determined one-dimensional optimal system of Coupled Burgers’ equations. Finally, we obtained the invariant solutions of the potential symmetry and one-parameter Lie transformation groups of the potential symmetries. Moreover the exact solutions of Coupled Burgers’ equations are derived by applying Lie transformation groups (I). It is important that these solutions cannot be obtained from the classical symmetries of Coupled Burgers’ equations. These solutions are different from those solutions given in literature [17] .

We can also obtain the exact solutions of Coupled Burgers’ equations by using the modern algebraically methods, such as the tanh-function method [19] , the simplest equation method [20] etc. After that we construct new exact solutions by acting Lie transformation group of the potential symmetry on these exact solutions. Due to the lack of space, we omit the other calculation.

Acknowledgements

This work is supported by National Natural Science Foundation of China (11661060) (11571008). Natural Science Foundation of Inner Mongolia Autonomous Region of China (2018LH01013).

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

Cite this paper

Bai, Y.X., Bilige, S. and Chaolu, T. (2018) Potential Symmetries, One-Dimensional Optimal System and Invariant Solutions of the Coupled Burgers’ Equations. Journal of Applied Mathematics and Physics, 6, 1825-1839. https://doi.org/10.4236/jamp.2018.69156

References

  1. 1. Bluman, G.W. and Kumei, S. (1989) Symmetries and Differential Equations. Spring-Verlag, Berlin. https://doi.org/10.1007/978-1-4757-4307-4

  2. 2. Bluman, G.W., Cheviakov, A. and Anco, S. (2010) Applications of Symmetry Methods to Partial Differential Equations. Spring-Verlag, New York. https://doi.org/10.1007/978-0-387-68028-6

  3. 3. Olver, P.J. (1986) Applications of Lie Groups to Differential Equations. Spinger-Verlag, New York. https://doi.org/10.1007/978-1-4684-0274-2

  4. 4. Gaur, M. and Singh, K. (2017) Symmetry Analysis of Time-Fractional Potential Burgers’ Equation. Mathematical Communications, 22, 1-11.

  5. 5. Ma, W.X. (2013) A Soliton Hierarchy Associated with so(3,R). Applied Mathematics and Computation, 220, 117-122. https://doi.org/10.1016/j.amc.2013.04.062

  6. 6. Bluman, G.W. and Chaolu, T. (2005) Conservation Laws of Nonlinear Telegraph Equations. Journal of Mathematical Analysis and Applications, 310, 459-476. https://doi.org/10.1016/j.jmaa.2005.02.007

  7. 7. Motsepa, T., Khalique, C. and Gandarias, M. (2017) Symmetry Analysis and Conservation Laws of the Zoomeron Equation. Symmetry, 9, 27. https://doi.org/10.3390/sym9020027

  8. 8. Ma, W.X. (2015) Conservation Laws of Discrete Evolution Equations by Symmetries and Adjoint Symmetries. Symmetry, 7, 714-725. https://doi.org/10.3390/sym7020714

  9. 9. Wang, G.W., Liu, X.Q. and Zhang, Y.Y. (2013) Symmetry Reduction, Exact Solutions and Conservation Laws of a New Fifth Order Nonlinear Integrable Equation. Communications in Nonlinear Science and Numerical Simulation, 18, 2313-2320. https://doi.org/10.1016/j.cnsns.2012.12.003

  10. 10. Eerdun, B.H. and Bluman, G.W. (2015) Symmetry Reductions, Exact Solutions, and Conservation Laws of the Generalized Zakharov Equations. Journal of Mathematical Physics, 56, Article ID: 101501.

  11. 11. Gai, L.T., Bilige, S.D. and Jie, Y.M. (2016) The Exact Solutions and Approximate Analytic Solutions of (2+1)-Dimensional KP Equation Based on Symmetry Method. SpringerPlus, 5, 1267. https://doi.org/10.1186/s40064-016-2908-8

  12. 12. Bilige; S.D., Wang, X.M. and Morigen, W.Y. (2014) Application of the Symmetry Classification to the Boundary Value Problem of Nonlinear Partial Differential Equations. Acta Physica Sinica, 4, 6-12. (In Chinese)

  13. 13. Bluman, G.W., Reid, G.J. and Kumei, S. (1998) New Classes of Symmetries for Partial Differential Equations. Journal of Mathematical Physics, 29, 806-811. https://doi.org/10.1063/1.527974

  14. 14. Popovych, R.O., Kunzinger, M. and Ivanova, N.M. (2008) Conservation Laws and Potential Symmetries of Linear Parabolic Equations. Acta Applicandae Mathematicae, 100, 113-185. https://doi.org/10.1007/s10440-007-9178-y

  15. 15. Huang, Q., Qu, C.Z. and Zhdanov, R. (2011) Group-Theoretical Framework for Potential Symmetries of Evolution Equations. Journal of Mathematical Physics, 52, Article ID: 023514. https://doi.org/10.1063/1.3554692

  16. 16. Sophocleous, C. and Wiltshire, R.J. (2006) Linearisation and Potential Symmetries of Certain Systems of Diffusion Equations. Physica A, 370, 329-345. https://doi.org/10.1016/j.physa.2006.03.003

  17. 17. Seadawy, A. and El-Rashidy, R.K. (2015) Classification of Multiply Travelling Wave Solutions for Coupled Burgers, Combined KdV-Modified KdV, and Schrodinger-KdV Equations. Abstract and Applied Analysis, 2015, Article ID: 369294. https://doi.org/10.1155/2015/369294

  18. 18. Chaolu, T. and Bai, Y.S. (2010) A New Algorithmic Theory for Determining and Classifying Classical and Non-Classical Symmetries of Partial Differential Equations. Scientia Sinica, 40, 331-348. (In Chinese)

  19. 19. Soliman, A.A. (2006) The Modified Extended Tanh-Function Method for Solving Burgers-Type Equations. Physica A, 361, 394-404. https://doi.org/10.1016/j.physa.2005.07.008

  20. 20. Bilige, S.D. and Wang, X.M. (2015) A Generalized Simplest Equation Method and Its Application to the Boussinesq-Burgers Equation. PLoS ONE, 10, e0126635.