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

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.


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 exists and maps the given equation into the equation Φ(y, v (q) ) = 0 of order q = n + k.Suppose, that this equation admits a factorization to another equation i.e., Φ(y, 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 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: Nonlocal transformations can be effectively used for construction of the formulae generating solutions in both cases: for nonlocal invariance of equation 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.

Lie Symmetries of Given and Intermediate Equations
We aim to consider two diffusion-convection equations from the class which possess Lie invariance algebras of different dimensions.It is easy to check the mapping of the given equation into the Burgers equation 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 which is being applied to Equation ( 4) transforms it into the potential equation Then the hodograph transformation maps Equation (7) into the equivalent form We will refer to Equation (9), Equation (7) obtained as "intermediate" equations.
Having applied one more potential substitution 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 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 u∂ u while invariance algebra of the Burgers Equation ( 5) is spanned by five operators 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 Since Equation ( 9) is equivalent to Equation ( 7) it admits the Lie invariance algebra of the same structure 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) One can easily calculate the Lie symmetry of this system, which is spanned by generators Notice that to obtain an operator X 7 we chose it in the form 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: Here D 1 f (α, β) means the derivative of a function f (α, β) with respect to its first argument.Substituting a solution of the first equation and an equality into the second equation, we receive the equation for b(v, t) 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.

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.

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 ξ Then, substituting w ξ = z into above equation, we find the characteristic equation which determines appropriate nonlocal symmetry of Equation ( 5) Therefore the "lacking" operator for the Burgers equation should be written in the form 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) Taking into account substitution Equation (20), this equation takes the form 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/2b 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) 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 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) 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 and then integrate the result with respect to Having applied this transformation to Equation ( 4) and use the conditions 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 is a solution of Equation (30) with respect to v. Using potential substitution Equation ( 20) we obtain equality Differentiating and simplifying this expression, we get the presentation of the onetime integrated characteristic equation which determines nonlocal symmetry of Equation ( 4) Here α, c i , (i = 1, 2, 3) are arbitrary constants.This equation has two solutions for v(x, t) Excluding the variable v from Equation (31), we can rewrite it as follows Finally we obtain two the onetime integrated characteristic equations which determine nonlocal symmetries of Equation ( 4) 32), in particular, c 2 = 0, c 3 = 1, and integrating this equation, we obtain two ansatzes which contain arbitrary functions of t, which must be specialized by Equation (4).So, finally we obtain two solutions of this equation 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 (33) where ∂ x I v I (x I , t) = u I (x I , t) and b I (v I (x I , t), t) is 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 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)dx 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). and 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 II 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)

The Operator X 4th Case
The Lie invariance algebra Equation ( 13) of Equation ( 7) includes one operator than invariance algebra of Equation ( 4) has.This operator yields the characteristic equation Differentiating Equation (35) with respect to x and using substitution Equation ( 20) we obtain Excluding v(x, t) from this equation we get the second order differential equation for u which determines nonlocal symmetry of Equation ( 4) Solving Equation (37), we find non-Lie ansatzes of Equation ( 4) Substitution them into Equation ( 4) and splitting a result with respect to x yields the reduced system of two ordinary differential equations allows us to construct appropriate solutions of Equation ( 4) 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 They, obviously, coincide with Equations (36) and (35) accordingly.The solution of this system yields the reduced system of ordinary differential equations and, consequently, yields appropriate solution to the system Equations ( 39) and ( 40) If we set c 2 = 0 in Equation (38), we will obtain the previous expression for the function u.

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.
The proof of this statement for transformation Equation (46).Let us choose, for instance, the operator 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 Excluding in these formulae v with the help of expression v = u (x, t) dx, 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 and substitute the integro-differential consequences of Equation ( 4) 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) , which yields the group-invariant transformation of the potential system Equations ( 15) and ( 16) 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 dx 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 (the second characteristic equation for X 4 ).Solving the last equation for v(x, t) and differentiating it with respect to x, we obtain Using here potential substitution Equation ( 20) and simplifying result, we get corresponding nonlocal symmetry of the Equation ( 4) Integrating this equation we find two ansatzes for Equation ( 4) They depend on arbitrary functions f 1 (t) and f 2 (t).Specializing them by Equation ( 4 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.

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.

u
, t s (t) e −1/2x u x = 0 (31)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:

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 = −2e − 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 = −2e x I 2 + c 1 , we find b I = e c 2 t+ √ c 2 (−2e x I 2 +c 1 ) ), we find two solutionsu = ± √ t − c 2 2c 1 e 3 − 2 ln | − t + c 2 | + 2(x + c 3 )