Next Article in Journal
Effects of Initial Symmetry on the Global Symmetry of One-Dimensional Legal Cellular Automata
Next Article in Special Issue
Symbolic and Iterative Computation of Quasi-Filiform Nilpotent Lie Algebras of Dimension Nine
Previous Article in Journal
Fault Detection Based on Multi-Scale Local Binary Patterns Operator and Improved Teaching-Learning-Based Optimization Algorithm
Previous Article in Special Issue
An Elementary Derivation of the Matrix Elements of Real Irreducible Representations of so(3)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Nonlocal Symmetries of Diffusion-Convection Equations and Their Connection with Generalized Hodograph Transformation

by
Valentyn Tychynin
Prydniprovs'ka State Academy of Civil Engineering and Architecture, 24a Chernyshevsky Street, Dnipropetrovsk 49005, Ukraine
Symmetry 2015, 7(4), 1751-1767; https://doi.org/10.3390/sym7041751
Submission received: 23 June 2015 / Revised: 16 September 2015 / Accepted: 18 September 2015 / Published: 29 September 2015
(This article belongs to the Special Issue Lie Theory and Its Applications)

Abstract

:
Additional nonlocal symmetries of diffusion-convection equations and the Burgers equation are obtained. It is shown that these equations are connected via a generalized hodograph transformation and appropriate nonlocal symmetries arise from additional Lie symmetries of intermediate equations. Two entirely different techniques are used to search nonlocal symmetry of a given equation: the first is based on usage of the characteristic equations generated by additional operators, another technique assumes the reconstruction of a parametrical Lie group transformation from such operator. Some of them are based on the nonlocal transformations that contain new independent variable determined by an auxiliary differential equation and allow the interpretation as a nonlocal transformation with additional variables. The formulae derived for construction of exact solutions are used.

1. Introduction

We continue the nonlocal symmetries search of the diffusion-convection equations, connected by a generalized hodograph transformation (GHT) [1]. For this purpose we use the additional Lie symmetries (that are additional operators of invariance Lie algebras of higher dimension) of the intermediate equations arising at steps of this transformation, which consists of potential substitution and usual hodograph transformation. One can find many references and the extensive bibliography in researches devoted to studying the potential symmetries of nonlinear partial differential equations and systems [2,3,4,5,6,7,8]. The notion of potential symmetries of differential equations was introduced by Bluman et al. [2,3]. Later, Lisle proposed in [9,10] the concept of potential equivalence transformations. It was successfully applied in [11] for deriving complete list of potential symmetries for wide classes of diffusion-convection equations.
On the other hand a number of interesting results for nonlinear equations are obtained for present day within the nonlocal transformations approach.
Analogously to continuous groups of usual transformations, the theory of groups of Lie–Bäcklund transformations, i.e., continuous groups of transformations involving derivatives of dependent variables, was developed by Anderson and Ibragimov [12]. An effective tool for this method application is the notion of recursion operator proposed by Olver [13].
A method for constructing nonlocally related PDE systems was introduced in [14,15]. Potential and nonlocal symmetries has been investigated for wide classes of nonlinear PDE systems there. It was shown that each point symmetry of a PDE system systematically yields a nonlocally related PDE system. Appropriate nonlocal symmetries were presented in the form including a potential variable.
The use of finite nonlocal transformations allowed to construct the formulae of generation of solutions and nonlocal nonlinear superposition for wide variety of nonlinear partial differential equations. This approach is based on the nonlocal transformations technic [16,17,18,19,20,21], which we regularly use for study of symmetries of the given nonlinear equations in [1] and in the current paper.
To start with, we remind the main concepts and notions which are necessary for understanding of the subsequent material. Let’s assume that finite nonlocal transformation of variables
T : x i = h i ( y , v ( k ) ) , i = 1 , , n , u K = H K ( y , v ( k ) ) , K = 1 , , m
exists and maps the given equation
F 1 ( x , u ( n ) ) = 0
into the equation Φ ( y , v ( q ) ) = 0 of order q = n + k . Suppose, that this equation admits a factorization to another equation
F 2 ( y , v ( s ) ) = 0
i.e., Φ ( y , v ( q ) ) = λ F 2 ( y , v ( s ) ) . Here λ is a differential operator of order n + k - s . Then we say that Equations (1) and (2) are connected by the nonlocal transformation T
F 1 ( x , u ( n ) ) = λ F 2 ( y , v ( s ) )
Here the symbol u ( r ) denotes the tuple of derivatives of the function u from order zero up to order r. In the case of two independent variables we use the special notation of the variables: x 1 = x , x 2 = t and thus u t = u / t = t u , u x = u / x = x u .
Nonlocal transformations can be effectively used for construction of the formulae generating solutions in both cases: for nonlocal invariance of equation
F 2 ( y , v ( n ) ) = F 1 ( y , v ( n ) )
and when the connected equations are different. In a special case, when equation F 2 is linear, one can construct the formulae of nonlinear nonlocal superposition of solutions for nonlinear equation F 1 [1,17,22]. We consider a case when the intermediate equations, connected by components of the generalized hodograph transformation exist, and these equations possess invariance Lie algebras of higher dimension. These, the last, we use for construction of corresponding nonlocal symmetries of the given equations and for deriving the formulae generating solutions.
The paper is organized as follows: In Section 2 we introduce a chain of the equations connected by steps of the GHT and compare the Lie invariance algebras obtained. Then (in Section 3) we construct nonlocal symmetries of these equations, which are generated by additional operators of invariance Lie algebras of the intermediate equations. Section 4 is devoted to the construction of finite nonlocal invariance transformations for a given equation and appropriate formulae generating their solutions. Namely, we combine the Lie symmetry transformation, generated by an additional operator X, which has been admitted by the intermediate equation, with a transformation, mapping this intermediate equation into the given one.

2. Lie Symmetries of Given and Intermediate Equations

We aim to consider two diffusion-convection equations from the class
u t - x ( C ( u ) + K ( u ) · u x ) = 0
which possess Lie invariance algebras of different dimensions. It is easy to check the mapping of the given equation
u t - x 1 2 u - 1 + u - 2 u x = 0
into the Burgers equation
z η - ξ - 1 2 z 2 + z ξ = 0
via all steps of the GHT. This transformation was found first by Storm in [23] for linearization of nonlinear heat equations. Later this transformation was re-discovered in [24] and applied in [22,25] for investigation of various nonlinear heat equations. The GHT includes the potential substitution
u = v x ( x , t )
which is being applied to Equation (4) transforms it into the potential equation
v t - 1 2 v x - 1 - v x - 2 v x x = 0
Then the hodograph transformation
v ( x , t ) = ξ , x = w ( ξ , η ) , t = η
maps Equation (7) into the equivalent form
w η + 1 2 w ξ 2 - w ξ ξ = 0
We will refer to Equation (9), Equation (7) obtained as “intermediate” equations.
Having applied one more potential substitution
w ξ = z
to Equations (9) we get the Burgers Equation (5). The composition of transformations Equations (6), (8) and (10) introduced above we mark further as T .
Note that the relation of Equation (4) with the equation
u t - x u - 2 u x = 0
is a particular case of the more general result established in [26]. The results concerning linearization of Equation (11) were obtained by Rosen [27]. An example with Equation (11), particularly, was considered in [14,15]. Nonlocal symmetries were described using a potential variable. Here we apply a traditional approach [1] for searching nonlocal symmetries and aim to construct appropriate formulae of generation of solutions to equations considered. Then we use them for construction of exact solutions.
Consider some results of the classical Lie symmetry analysis for the equations connected by all components of the transformation T . The maximal Lie algebra admitted by Equation (4) is four-dimensional (see for example [28])
X 1 = t , X 2 = x , X 3 = 2 t t + u u , X 4 = - 2 e 1 2 x x + e 1 2 x u u
while invariance algebra of the Burgers Equation (5) is spanned by five operators
X 1 = η , X 2 = ξ , X 3 = η ξ + z , X 4 = ξ ξ + 2 η η - z z , X 5 = η ξ ξ + η 2 η + ξ - z η z
The operator X 5 does not correspond to Lie symmetry of Equation (4). The appropriate nonlocal symmetry of Equation (4) corresponding to the Lie symmetry X 5 of the Burgers equation has been investigated in details in [1]. Here we will take into account symmetries of the intermediate equations for construction of the appropriate nonlocal symmetries of two given Equations (4) and (5).
The maximal Lie invariance algebra of Equation (7) is spanned by the generators
X 1 = t , X 2 = x , X 3 = v , X 4 = v x + t v , X 5 = 2 t t + v v , X 6 = t + 1 2 v 2 x + t 2 t + t v v X 7 = b ( v , t ) e 1 2 x x , b t - b v v = 0
Since Equation (9) is equivalent to Equation (7) it admits the Lie invariance algebra of the same structure
X 1 = η , X 2 = ξ , X 3 = w , X 4 = η ξ + ξ w , X 5 = ξ ξ + 2 η η , X 6 = η ξ ξ + η 2 η + 1 2 ξ 2 + η w , X 7 = b ( ξ , η ) e 1 2 w w , b η - b ξ ξ = 0
Note that both equations have two Lie symmetry generators more ( X 3 and X 7 ) than Equation (5) has. It will be interesting to compare the symmetries obtained above with those ones, which are admitted by a potential system, constructed for Equation (4)
v x - u = 0
2 v t - u - 1 - 2 u - 2 u x = 0
One can easily calculate the Lie symmetry of this system, which is spanned by generators
X 1 = t , X 2 = x , X 3 = v , X 4 = v x - u 2 u + t v , X 5 = 2 t t + u t u + v v , X 6 = t + 1 2 v 2 x + t 2 t + u t - v u u + t v v , X 7 = 2 b ( v , t ) e x 2 x - 2 u 2 v b ( v , t ) + u e x 2 b ( v , t ) u , b t ( v , t ) - b v v ( v , t ) = 0
Notice that to obtain an operator X 7 we chose it in the form
X 7 = 2 b ( v , t ) e x 2 x - 2 u 2 a ( x , t ) - u e x 2 b ( v , t ) u
where a ( x , t ) and b ( v ( x , t ) , t ) are unknown differentiable functions.
Applying this operator to the system Equations (15) and (16), we get such conditions for these functions:
a ( x , t ) b ( v ( x , t ) , t ) + D 1 b ( v ( x , t ) , t ) = 0
a ( x , t ) D 1 b ( v ( x , t ) , t ) u ( x , t ) + b ( v ( x , t ) , t ) a x ( x , t ) + D 2 b ( v ( x , t ) , t ) u ( x , t ) = 0
Here D 1 f ( α , β ) means the derivative of a function f ( α , β ) with respect to its first argument. Substituting a solution of the first equation
a ( x , t ) = - D 1 b ( v ( x , t ) , t ) b ( v ( x , t ) , t )
and an equality
v x = u
into the second equation, we receive the equation for b ( v , t )
b t ( v , t ) - b v v ( v , t ) = 0
In what follows we will use two entirely different techniques to search for nonlocal symmetry of a given equation. The first is based on usage of the characteristic equation generated by an additional operator. Another technique assumes reconstruction of a parametrical Lie group transformation from such operator.

3. Nonlocal Symmetries Generated by Additional Lie Symmetries of the Intermediate Equations

Here we apply additional operators of Lie algebras obtained for intermediate equations to search appropriate nonlocal symmetry of given equations and construct the formulae of generation their solutions.

3.1. The Operator X 7th Case

Comparison of Lie algebras Equations (12) and (14) shows that Equation (9) admits an additional (with respect to Equation (5)) generator X 7 . The characteristic equation corresponding to sum X 7 + X 3 of generators of algebra Equation (14) has the form
w + 2 ln | b | = 0
One can easily identify this formula with the known substitution linearizing Equation (9). To present this expression via the variable z ( ξ , η ) we will differentiate it with respect to ξ
w ξ + 2 b ξ b - 1 = 0
Then, substituting w ξ = z into above equation, we find the characteristic equation which determines appropriate nonlocal symmetry of Equation (5)
z + 2 b ξ b - 1 = 0
Therefore the “lacking” operator for the Burgers equation should be written in the form
X 7 = z + 2 ξ ln b z
Note that an expression Equation (23) is well known Cole–Hopf substitution.
Conversely, applying the transformation Equation (8) with its differential consequence w ξ = 1 / v x to the Equation (22), we find nonlocal symmetry for Equation (7)
v x + b / 2 b v = 0
Taking into account substitution Equation (20), this equation takes the form
u + b / 2 b v = 0
Here b ( v , t ) is an arbitrary solution of the linear heat Equation (21).
An application of the nonlocal transformation Equation (25) to Equation (4) generates an expression which after simplification vanishes identically on the manifold defined by Equation (7) and expression v x + b / 2 b v = 0 with its differential consequences.
Usage of a classical linear superposition principle in Equation (25) allows one to get the formula generating solutions of Equation (4)
u I + b I 2 b v I - 1 = 0 , u II + b II 2 b v II - 1 = 0 , u III = - b I + b II 2 b v I + 2 b v II - 1
On the other hand the generator X 7 of the Lie invariance algebra of the system Equations (15) and (16) determines a potential symmetry of Equation (4) and admits presentation by the characteristic equation
u x + u 2 b v ( v , t ) b ( v , t ) + 1 2 u = 0
where u ( x ; t ) and b ( v ; t ) satisfy Equations (21) and (20). Thus, the appropriate “lacking” operator for Equation (4) should be written in the form, depending on b ( v , t )
X 7 = b ( v , t ) e 1 2 x x - u 2 b v ( v , t ) b ( v , t ) + 1 2 u b ( v , t ) e 1 2 x u
Theorem 1. The characteristic Equation (27) determines nonlocal transformation with additional variables, which connects Equations (4) and (7) taking into account Equation (21) and condition Equation (20). Additional independent variable v ( x , t ) is determined by Equation (7) and additional dependent variable b ( v , t ) is an arbitrary solution of the Equation (21).
To prove the statement formulated above we will first rewrite Equation (27), using equality Equation (20) in the form
x ln | u | + x ln | b ( v , t ) | + 1 2 = 0
and then integrate the result with respect to x
u ( x , t ) = s ( t ) e - 1 / 2 x b ( v , t )
Having applied this transformation to Equation (4) and use the conditions
b t ( v , t ) - b v v ( v , t ) = 0 , v x x = v t v x 2 - 1 / 2 v x , v x x , t = s t e - 1 / 2 x b ( v , t )
we obtain a result, which vanishes identically after simplification.
The above assertion admits another form.
Theorem 2. The Equation (4) is invariant under action of the prolonged operator X 7 on the manifold, determined by Equation (7), condition Equation (20) and the Equation (21) with their differential consequences.
To deduce the characteristic equation, which corresponds to Equation (29) and determines nonlocal symmetry of the Equation (4) in terms of variables x , t , u ( x , t ) , we need to exclude a variable v ( x , t ) from expression Equation (30), where b v , t is a function belonging to the set of solutions of the linear heat Equation (21).
New designations will be necessary for us in what follows. Suppose that we can solve the functional equation b ( v , t ) = a with respect to the first argument of b. Then a function β ( a , t ) : b ( v , t ) = a v = β ( a , t ) , will denote a solution of this equation. Therefore
v x , t = β s t e - 1 / 2 x u , t
is a solution of Equation (30) with respect to v. Using potential substitution Equation (20) we obtain equality
u x , t - x β s t e - 1 / 2 x u x , t , t = 0
Differentiating and simplifying this expression, we get the presentation of the onetime integrated characteristic equation which determines nonlocal symmetry of Equation (4)
2 u 3 + D 1 β s t e - 1 / 2 x u , t s t e - 1 / 2 x u + 2 D 1 β s t e - 1 / 2 x u , t s t e - 1 / 2 x u x = 0
D 1 f ( α , β ) means the derivative of a function f ( α , β ) with respect to its first argument.
For instance, a given simple solution of the linear heat Equation (21)
b v , t = c 1 e α v + c 2 e - α v c 3 e α t
allows one to obtain the expression Equation (30) in such particular form:
c 1 e α v + c 2 e - α v c 3 e α t - s t e - 1 / 2 x u x , t = 0
Here α , c i , ( i = 1 , 2 , 3 ) are arbitrary constants. This equation has two solutions for v ( x , t )
v = ln s t e - 1 / 2 x ± s 2 t e - x - 4 c 3 2 e 2 α t u 2 c 1 c 2 2 c 1 c 3 e α t u α - 1
Excluding the variable v from Equation (31), we can rewrite it as follows
u - x ln s t e - 1 / 2 x ± s 2 t e - x - 4 c 3 2 e 2 α t u 2 c 1 c 2 2 c 1 c 3 e α t u α - 1 = 0
Finally we obtain two the onetime integrated characteristic equations which determine nonlocal symmetries of Equation (4)
2 u x + 2 α u 2 + u ± 8 α c 1 c 2 c 3 2 e 2 α t u 4 s 2 t e - x - 4 c 3 2 e 2 α t u 2 c 1 c 2 + s t e - 1 / 2 x = 0
Choosing in Equation (32), in particular, c 2 = 0 , c 3 = 1 , and integrating this equation, we obtain two ansatzes
u = ± 1 2 α - g ( t ) e 1 / 2 x
which contain arbitrary functions of t, which must be specialized by Equation (4). So, finally we obtain two solutions of this equation
u = ± 1 2 α - k e 1 / 2 x
Note that such functions can be obtained by means of the Lie ansatz.
Theorem 3. The operator Equation (28) allows one to construct the associated transformation determined by the formulas
2 ( e x I 2 + e x II 2 ) + ε b I ( v I ( x I , t ) , t ) e x I + x II 2 = 0
u II ( x II , t ) = - u I ( x I , t ) - 2 + b I ( v I ( x I , t ) , t ) ε e x I 2 2 + 2 u I ( x I , t ) D 1 b I ( v I ( x I , t ) , t ) ε e x I 2
where x I v I ( x I , t ) = u I ( x I , t ) and b I ( v I ( x I , t ) , t ) s any arbitrary solution of the Equation (21).
To prove this theorem we restore a Lie group transformation using the operator Equation (28). So, we obtain
2 ( e x 2 + e r 2 ) + ε b ( v ( x , t ) , t ) e x + r 2 = 0 , s = t , p ( r , s ) = - u ( x , t ) - 2 + b ( v ( x , t ) , t ) ε e x 2 2 + 2 u ( x , t ) D 1 b ( v ( x , t ) , t ) ε e x 2
Making here change of notations for new variables, we find the Equations (33) and (34).
The algorithm of generation of solutions for Equation (4) based on these formulae works, as follows. Let u I ( x I , t ) be any known solution of Equation (4), then v I ( x I , t ) = u I ( x I , t ) d x I + s ( t ) can be found. Here s ( t ) is arbitrary function which can be specialized by Equation (29). Substituting obtained v I and arbitrary solution of the linear heat equation b I ( v I ( x I , t ) , t ) into Equation (33) and solving the result with respect to x I , we get x I = χ ( x II , t ) . Finally, inserting this x I into Equation (34) we find a new solution of Equation (4).
Example 1. Choosing u I = e - x I 2 and integrating it with respect to x, we obtain v I = - 2 e - x I 2 + s ( t ) . Specializing arbitrary function by Equation (29), we get v I = - 2 e - x I 2 + c 1 . Set arbitrary solution of the linear heat equation b I = e c 2 t + c 2 v I , then D 1 b I = c 2 e c 2 t + c 2 v I . Rewriting these formulae and taking into account v I = - 2 e x I 2 + c 1 , we find
b I = e c 2 t + c 2 ( - 2 e x I 2 + c 1 )
and
D 1 b I = c 2 e c 2 t + c 2 ( - 2 e x I 2 + c 1 )
Substituting a found above b I into Equation (33) and solving this result with respect to x I , we get x I = χ ( x II , t )
x I = x II - 2 ln 1 2 LambertW c 2 ε e c 1 c 2 + t c 2 - 2 c 2 e - x II 2 e x II 2 + c 2 + ln | c 2 |
After simplification Equation (34) with obtained x I = χ ( x II , t ) , b I and D 1 b I we find a new solution of Equation (4)
u II ( x II , t ) = e c 1 c 2 + t c 2 - 2 c 2 e - x II 2 - x II 2 G - 1 ,
G = e c 1 c 2 + t c 2 - 2 c 2 e - x II 2 LambertW c 2 ε e c 1 c 2 + t c 2 - 2 c 2 e - x II 2 + 1

3.2. The Operator X 4th Case

The Lie invariance algebra Equation (13) of Equation (7) includes one operator X 4 = v · x + t · v more, than invariance algebra of Equation (4) has. This operator yields the characteristic equation
v · v x - t = 0
Differentiating Equation (35) with respect to x and using substitution Equation (20) we obtain
v u x + u 2 = 0
Excluding v ( x , t ) from this equation we get the second order differential equation for u which determines nonlocal symmetry of Equation (4)
- 3 u x 2 + u u x x = 0
Solving Equation (37), we find non-Lie ansatzes of Equation (4)
u = ± - 2 F 1 t x - 2 F 2 t - 1
Substitution them into Equation (4) and splitting a result with respect to x yields the reduced system of two ordinary differential equations
F 1 · t - F 1 t 2 = 0 , F 2 · t - F 1 t F 2 t - F 1 t 2 = 0
Solution of this system
F 1 t = - t - c 2 - 1 , F 2 t = ln t - c 2 - c 1 t - c 2
allows us to construct appropriate solutions of Equation (4)
u = ± 2 2 t - c 2 x - ln t - c 2 + c 1
The result obtained is closely connected with potential symmetry of Equation (4) determined by the generator X 4 of Lie algebra Equation (17). The characteristic equations corresponding to this operator, are
v · u x + u 2 = 0
v · v x - t = 0
They, obviously, coincide with Equations (36) and (35) accordingly. The solution of this system
u = t 2 · x · t + F 1 t + F 2 t · t , v = 2 x t + F 1 t
yields the reduced system of ordinary differential equations
F 2 ( t ) = 0 , t · F 1 · - F 1 t + 2 t = 0
and, consequently, yields appropriate solution to the system Equations (39) and (40)
u = t 2 x - 2 ln t + c 1 , v = t 2 x - 2 ln t + c 1
If we set c 2 = 0 in Equation (38), we will obtain the previous expression for the function u.

4. Nonlocal Invariance Transformations and Generation of Solutions

Here we construct the one-parameter group of Lie symmetries generated by operator, admitted by the potential system Equations (15) and (16), and it is used for construction of the corresponding formula for generation of solutions of Equation (4). This involves a successive implementation of the transformations T and the one-parameter group of point transformations associated with the corresponding infinitesimal operator which is admitted by the potential system.
Assume that the partial differential equation
F ( x , t , u ( k ) ) = 0
should admit at least one conservation law
D t ϕ t ( x , t , u ( r ) ) + D x ϕ x ( x , t , u ( r ) ) = 0
where D t and D x are total derivatives with respect to the variables t and x, ϕ t and ϕ x are conserved density and flux, respectively. When Equation (41) admits representation Equation (42) there exists the potential function v determined by the auxiliary system [2]
v x = ϕ t ( x , t , u ( r ) ) , v t = - ϕ x ( x , t , u ( r ) )
Potential symmetry of the Equation (41) is determined by the Lie symmetry generator
X = ξ 1 ( x , t , u , v ) x + ξ 2 ( x , t , u , v ) t + η 1 ( x , t , u , v ) u + η 2 ( x , t , u , v ) v
admitted by system Equation (43) with at least one nonzero partial derivative
v ξ 1 ( x , t , u , v ) , v ξ 1 ( x , t , u , v ) , v η 1 ( x , t , u , v )
In this case the one-parameter Lie point symmetry group associated with infinitesimal generator X exists
r = x = f 1 ( x , t , u , v ; ε ) , s = t = f 2 ( x , t , u , v ; ε ) , p ( r , s ) = u = g 1 ( x , t , u , v ; ε ) , q ( r , s ) = v = g 2 ( x , t , u , v ; ε )
Here ε is a group parameter.
As Equation (4) is connected with the potential system Equations (15) and (16), one can construct the projection of the corresponding transformation Equation (44) onto the space of variables ( x , t , u ( x , t ) ) using substitution Equation (20)
r = x = f 1 ( x , t , u , u x , t d x ; ε ) , s = t = f 2 ( x , t , u , u x , t d x ; ε ) , p ( r , s ) = u = g 1 ( x , t , u , u x , t d x ; ε )
This transformation is the finite Lie–Bäcklund transformation which leaves Equation (4) nonlocal-invariant. Stated above allows formulating the following statement.
Theorem 4. Equation (4) is nonlocal-invariant under the transformations
r = ln 2 2 - ε t + u d x 2 ε 4 - 2 ε t + x , s = 2 t 2 - ε t , p r , s = - 2 u ε t - u ε u d x - 2 ;
r = 2 ln - 2 - 2 + b u d x , t ε e 1 2 x - 1 + x , s = t , p r , s = - u - 2 + b u d x , t ε e 1 2 x 2 + 2 u D 1 b u d x , t ε e 1 2 x
and
r = 1 2 ε 2 t + ε u d x + x , s = t , p r , s = u u ε + 1
The proof of this statement for transformation Equation (46). Let us choose, for instance, the operator
X 6 = ( t + 1 2 v 2 ) x + t 2 t + - v u + t u u + t v v
This operator belongs to the Lie invariance algebra Equation (17) of the system Equations (15) and (16). The corresponding Lie group transformation has the form
r = ln 2 2 - ε t + v 2 ε 4 - 2 ε t + x , s = 2 t 2 - ε t , p r , s = - 2 u ε t - v u ε - 2 , q r , s = 2 v 2 - ε t
Excluding in these formulae v with the help of expression v = u x , t d x , we get a nonlocal transformation in space of variables r , s , p Equation (46). Then we apply the transformation Equation (46) to Equation (4), rewritten in new designations
s p r , s - r 1 2 p r , s - 1 + p r , s - 2 r p r , s = 0
and substitute the integro-differential consequences of Equation (4)
u x x = u 2 u t + 1 2 u x + 2 u - 1 u x 2
and
u t d x = 1 2 u - 1 + u - 2 u x
into the obtained result. After simplification the last vanishes identically.
To prove this statement for transformation Equation (47) we consider the generator of Lie algebra Equation (17)
X 7 = e 1 2 x b v , t x - u u b v b v , t + 1 2 b v , t e 1 2 x u
where D 2 b v , t - D 11 b v , t = 0 , v = v ( x , t ) , which yields the group-invariant transformation of the potential system Equations (15) and (16)
r = 2 ln - 2 - 2 + b v , t ε e 1 / 2 x - 1 + x , s = t , p r , s = - u - 2 + b v , t ε e 1 / 2 x 2 + 2 u D 1 b v , t ε e 1 / 2 x , q r , s = v
Hereinafter D i ( f ) ( α , β ) and D i , j ( f ) ( α , β ) , ( i , j = 1 , 2 ) denote total derivatives of a function f ( α , β ) with respect to i-th and j-th variables of the first and second order accordingly, ε is a group parameter associated with the operator X 7 . Having substituted into previous formulae v ( x , t ) = u d x we get a nonlocal transformation Equation (47).
To verify invariance of Equation (50) we apply to it Equation (47) and substitute Equations (51) and (52) and expressions
D 11 b u d x , t = D 2 b u d x , t , D 111 b u d x , t = D 12 b u d x , t ,
D 11 u x , t = 2 D 2 u x , t u x , t 3 + u x , t D 1 u x , t + 4 D 1 u x , t 2 2 u x , t
into the obtained result. The expression obtained vanishes identically after simplification.
The proof of Theorem 4 for transformation Equation (48). Another operator of the Lie invariance algebra Equation (17)
X 4 = v x - u 2 u + t v
generates the finite Lie-group transformation
r = 1 2 ε 2 t + ε v + x , s = t , p r , s = u u ε + 1 , q r , s = v + ε t
Projection of this transformation onto the space of variables ( x , t , u ( x , t ) ) admits the form Equation (48). This transformation leaves the Equation (4) nonlocal-invariant. The statement can be proved like in the previous cases.
Let us consider some applications of the Theorem 4. If p ( r , s ) is a known solution of the Equation (50), then the new solution of Equation (4) can be constructed by means of solution Equation (46) after subsequent specialization of the arbitrary function appearing as a result of integration in it.
Example 2. Inserting the solution of Equation (4) u x , t = - 1 2 e - 1 2 x into Equation (46), we obtain the formulae of transformation, which contain an arbitrary function F ( t )
r = ln 2 2 - t ε + x + ε ( e - 1 2 x + F ( t ) ) 2 4 - 2 t ε , s = - 2 t - 2 + ε t , p ( r , s ) = 2 ( - 1 2 e - 1 2 x ) 2 ε t - 1 2 e - 1 2 x ( e - 1 2 x + F ( t ) ) ε - 4
Specializing F ( t ) by Equation (4) and supposing F ( t ) = 0 for simplicity of evaluations, we obtain
r = ln 2 2 - t ε + x + ε e - x 4 - 2 t ε , s = - 2 t - 2 + ε t , p ( r , s ) = 2 e - 1 / 2 x 2 ε t + e - x ε - 4
Solving two first equations of the Equation (55) with respect to x and t, we get
x = r + LambertW - 1 16 ε ε s + 2 2 e r + ln 2 ε s + 2 - 1 , t = 2 s ε s + 2
Substituting these x, t into the third equation of system Equation (55) we receive after simplification the solution of Equation (50)
p r , s = - ε s + 2 2 e - 1 / 2 r 1 + LambertW - 1 16 ε ε s + 2 2 e - r - 1 - ε - 1 e r LambertW - 1 16 ε ε s + 2 2 e - r
Example 3. Let us apply Equation (46) to the solution u x , t = t 2 t x - ln t . We choose for simplicity the arbitrary function appearing as a result of integration, equal to zero. The change of the independent variables has such a form:
x = ln 2 s ε s + 2 + 2 r - 2 ln | s | ε s + 2 , t = 2 s ε s + 2
After substitution of new independent variables into the expression
p x , t = t 2 ( x - ln | t | )
we finally get the same solution of the Equation (4)
p r , s = s 2 ( r - ln | s | )
Hence, this solution is an invariant solution with respect to the nonlocal transformation considered.
Equations (47) and (48) too allow generating new solutions of the Equation (4) if p ( r ; s ) is its known solution.
The operator X 4 generates two corresponding characteristic equations
v v x - t = 0 ,
v u x + u 2 = 0
The first equation determines usual Lie point symmetry of Equation (7). Equation (57) determines potential symmetry of Equation (4). Both these equations are connected by the potential substitution Equation (20).
Solving Equation (57) with respect to v
v = - u 2 u x - 1
and substituting this into Equation (56), we obtain the second order differential equation, determining nonlocal symmetry of Equation (4)
u x x u 4 - 2 u x 2 u 3 + t u x 3 = 0
and, consequently, appropriate nonlocal ansatzes for a given equation
u = - f 1 ( t ) ± f 1 ( t ) 2 + 2 t f 2 ( t ) + 2 t x 2 ( f 2 ( t ) + x )
Here f i , ( i = 1 , 2 , 3 ) are the arbitrary functions of variable t. This ansatz can be used for construction of solutions to Equation (4).
Let us describe symmetry of Equation (4) corresponding to Lie symmetry Equation (56) of Equation (7). First we substitute v x = u into Equation (56)
v v x - t = v u - t = 0
and solve it for v ( x , t ) . Differentiating the result with respect to x, we get
v x + t · u - 2 u x = 0
Note that if we wrote obtained above expression using Equation (20) in a form u 3 + t u x = 0 , we would make a mistake, because such symmetry is not admitted by Equation (4).
So, using substitution v v x - t = 0 in the previous expression, we get
u 2 + v u x = 0
(the second characteristic equation for X 4 ). Solving the last equation for v ( x , t ) and differentiating it with respect to x, we obtain
v x = - 2 u + u 2 u x - 2 · u x x
Using here potential substitution Equation (20) and simplifying result, we get corresponding nonlocal symmetry of the Equation (4)
u x x u - 3 u x 2 = 0
Integrating this equation we find two ansatzes for Equation (4)
u = ± 1 - 2 f 1 ( t ) x - 2 f 2 ( t )
They depend on arbitrary functions f 1 ( t ) and f 2 ( t ) . Specializing them by Equation (4), we find two solutions
u = ± t - c 2 2 c 1 e 3 - 2 ln | - t + c 2 | + 2 ( x + c 3 )
Since Equation (4) is invariant with respect to the time and space translations generated by the operators X 1 and X 2 the last solution, Equation (38) and u-part of solution to the system Equations (39) and (40) represent the same exact solution.

5. Conclusions

Two given diffusion-convection equations, which allow connection by the generalized hodograph transformation are considered. It is shown in this paper that the intermediate equations possess the additional (with respect to given equations) operators of invariance Lie algebras. The appropriate additional operators allow to construct potential and nonlocal symmetries of the given differential equations. We have constructed the one-parameter groups of Lie symmetries generated by operators, admitted by the potential system Equations (15) and (16), and use them for construction of the corresponding formulae for generation of solutions of Equation (4). This involves a successive implementation of appropriate transformations T and the one-parameter group of point transformations associated with the corresponding infinitesimal operator admitted by the potential system. New formulae for generation of solutions have been constructed. Some of them are based on the nonlocal transformations that contain new independent variable determined by an auxiliary differential equation. This type of transformations allows interpretation as an example of the nonlocal transformation with additional variables. The obtained formulae allow transformation of a known solution of the given equation into another its solution. They have been used for construction of exact solutions, some of which are new. They are either obtained in explicit form or presented in a new parametrical representations, where a functional parameter is given implicitly. All found solutions can be extended to parametric families by means of the Lie symmetry transformations or by using other formulae for generation of solutions.

Acknowledgments

The author thanks the referees for a lot of helpful remarks and suggestions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Tychynin, V.A.; Petrova, O.V. Nonlocal symmetries and formulae for generation of solutions for a class of diffusion–convection equations. J. Math. Anal. Appl. 2011, 382, 20–33. [Google Scholar] [CrossRef]
  2. Bluman, G.W.; Reid, G.J.; Kumei, S. New classes of symmetries for partial differential equations. J. Math. Phys. 1988, 29, 806–811. [Google Scholar] [CrossRef]
  3. Bluman, G.W.; Kumei, S. Symmetries and Differential Equations; Springer: New York, NY, USA, 1989. [Google Scholar]
  4. Anderson, I.M.; Kamran, N.; Olver, P.J. Internal, external and generalized symmetries. Adv. Math. 1993, 100, 53–100. [Google Scholar] [CrossRef]
  5. Reyes, E.G. Nonlocal symmetries and the Kaup–Kupershmidt equation. J. Phys. A Math. Gen. 2005, 46, 073507:1–073507:19. [Google Scholar] [CrossRef]
  6. Bluman, G.W.; Doran-Wu, P. The use of factors to discover potential systems or linearizations. Acta Appl. Math. 1995, 41, 21–43. [Google Scholar] [CrossRef]
  7. Serov, M.; Omelyan, O.; Cherniha, R. Linearization of some systems of nonlinear diffusion equations by means of non-local transformations. Dop. Nat. Acad. Ukr. 2004, 10, 39–45. [Google Scholar]
  8. Sophocleous, C. Potential symmetries of nonlinear diffusion-convection equations. J. Phys. A Math. Gen. 1996, 29, 6951–6959. [Google Scholar] [CrossRef]
  9. Lisle, I.G. Equivalence Transformations for Classes of Differential Equations. Ph.D. Thesis, University of British Columbia, Vancouver, BC, Canada, 1992. [Google Scholar]
  10. Lisle, I.G.; Reid, G.J. Symmetry Classification Using Invariant Moving Frames; ORCCA Technical Report TR-00-08; University of Western Ontario: Ontario, Canada, 1992. [Google Scholar]
  11. Popovych, R.O.; Ivanova, N.M. Potential equivalence transformations for nonlinear diffusion—Convection equations. J. Phys. A Math. Gen. 2005, 38, 3145–3155. [Google Scholar] [CrossRef]
  12. Anderson, R.L.; Ibragimov, N.H. Lie-BÄcklund Transformations in Applications; SIAM: Philadelphia, PA, USA, 1979. [Google Scholar]
  13. Olver, P.J. Applications of Lie Groups to Differential Equations; Springer-Verlag: New York, NY, USA, 1993. [Google Scholar]
  14. Bluman, G.W.; Cheviakov, A.; Anco, S. Applications of Symmetry Methods to Partial Differential Equations; Applied Mathematical Sciences; Springer: New York, NY, USA, 2010; Volume 168, p. 367. [Google Scholar]
  15. Bluman, G.W.; Yang, Z.Z. A symmetry-based method for constructing nonlocally related PDE systems. J. Math. Phys. 2013, 54, 093504:1–093504:22. [Google Scholar] [CrossRef]
  16. Fuschych, W.I.; Tychynin, V.A. Preprint No 82.33; Institut of Mathematics: Kiev, Ukraine, 1982. [Google Scholar]
  17. Fuschych, W.I.; Tychynin, V.A. Exact solutions and superposition principle for nonlinear wave equation. Proc. Acad. Sci. Ukr. 1990, 5, 32–36. [Google Scholar]
  18. Tychynin, V.A. Nonlocal Symmetries and Solutions for Some Classes of Nonlinear Equations of Mathematical Physics. Ph.D. Thesis, Prydniprovsk State Academy of Civil Engineering and Architecture, Dnipropetrovsk, Ukraine, 1994. [Google Scholar]
  19. Tychynin, V.A. Non-local symmetry and generating solutions for Harry–Dym type equations. J. Phys. A Math. Gen. 1994, 14, 2787–2797. [Google Scholar] [CrossRef]
  20. Tychynin, V.A.; Petrova, O.V.; Tertyshnyk, O.M. Symmetries and Generation of Solutions for Partial Differential Equations. SIGMA 2007, 3, 019:1–019:14. [Google Scholar] [CrossRef]
  21. Rzeszut, W.; Vladimirov, V.; Tertyshnyk, O.M.; Tychynin, V.A. Linearizability and nonlocal superposition for nonlinear transport equation with memory. Rep. Math. Phys. 2013, 72, 235–252. [Google Scholar] [CrossRef]
  22. Fushchych, W.I.; Serov, M.I.; Tychynin, V.A.; Amerov, T.K. On non-local symmetry of nonlinear heat equation. Proc. Acad. Sci. Ukr. 1992, 11, 27–33. [Google Scholar]
  23. Storm, M.L. Heat conduction in simple metals. J. Appl. Phys. 1951, 22, 940–951. [Google Scholar] [CrossRef]
  24. Bluman, G.W.; Kumei, S. On the remarkable nonlinear diffusion equation x ( a ( u + b ) 2 u x ) u x = 0 . J. Math. Phys. 1980, 21, 1019–1023. [Google Scholar] [CrossRef]
  25. King, J.R. Some non-local transformations between nonlinear diffusion equations. J. Phys. A Math. Gen. 1990, 23, 5441–5464. [Google Scholar] [CrossRef]
  26. Cherniha, R.; Serov, M. Symmetries, Ansätze and Exact Solutions of Nonlinear Second-order Evolution Equations with Convection Terms, II. Eur. J. Appl. Math. 2006, 17, 597–605. [Google Scholar] [CrossRef]
  27. Rosen, G. Nonlinear heat conduction in solid. Phys. Rev. B 1979, 19, 2398–2399. [Google Scholar] [CrossRef]
  28. Cherniha, R.; Serov, M. Symmetries, Ansätze and Exact Solutions of Nonlinear Second-order Evolution Equations with Convection Terms. Eur. J. Appl. Math. 1998, 9, 527–542. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Tychynin, V. New Nonlocal Symmetries of Diffusion-Convection Equations and Their Connection with Generalized Hodograph Transformation. Symmetry 2015, 7, 1751-1767. https://doi.org/10.3390/sym7041751

AMA Style

Tychynin V. New Nonlocal Symmetries of Diffusion-Convection Equations and Their Connection with Generalized Hodograph Transformation. Symmetry. 2015; 7(4):1751-1767. https://doi.org/10.3390/sym7041751

Chicago/Turabian Style

Tychynin, Valentyn. 2015. "New Nonlocal Symmetries of Diffusion-Convection Equations and Their Connection with Generalized Hodograph Transformation" Symmetry 7, no. 4: 1751-1767. https://doi.org/10.3390/sym7041751

Article Metrics

Back to TopTop