Conditional Lie-Bäcklund Symmetry Reductions and Exact Solutions of a Class of Reaction-Diffusion Equations

Abstract

The method of conditional Lie-Bäcklund symmetry is applied to solve a class of reaction-diffusion equations , which have wide range of applications in physics, engineering, chemistry, biology, and financial mathematics theory. The resulting equations are either solved exactly or reduced to some finite-dimensional dynamical systems. The exact solutions obtained in concrete examples possess the extended forms of the separation of variables.

1. Introduction

In this paper, we analyze a class of reaction-diffusion equations (RDEs)which admit certain conditional Lie-Bäcklund symmetries (CLBSs). Equation (1) can be simplified from the following RDEs:which have wide range of applications in physics, engineering, chemistry, biology, and financial mathematics theory [1–5]. Here the coefficient functions depend upon the variable which typically represents the value of the underlying asset, such as the price of a stock upon which an option is placed. There exist several special cases of (2), say, the Black-Scholes-Merton equation, the Longstaff equation [6], the Vasicek equation [7], and the Cox-Ingersoll-Ross equation [8], in which is zero. In order to keep the computations as simple as and consistent with this requirement, authors in [4] transform (2) into (1) by using an equivalence point transformation, namely, by means of with Equation (2) can be transformed into where the primes denote differentiation with respect to x. Then, with the inverse transformation , this equation can be performed as (1) on reversion to lower case variables and redefinition of the coefficient functions as appropriate. When and , (1) becomes which can simplify the linear form of under the transformation with .

It is known that symmetry reductions and exact solutions play important roles in the study of RDEs. The conditional Lie-Bäcklund symmetry (CLBS) method introduced by Zhdanov [9] and Fokas and Liu [10, 11] firstly has been proved to be very powerful to classify equations or specify the functions appeared in the equations and construct the corresponding group invariant solutions. Furthermore, authors have shown that CLBS is closely related to the invariant subspace; namely, exact solutions defined on invariant subspaces for equations or their variant forms can be obtained by using the CLBS method [12–24].

Motivated by the form of (1), we set the following second-order nonlinear CLBSs:which are very powerful to specify the functions appeared in (1) and construct the corresponding exact solutions. The remainder of this paper is organized as follows. In Section 2, some equations of the form (1) admitting CLBSs generated by (8) are obtained. CLBS reductions and exact solutions of two concrete examples are used to illustrate the results. Section 3 is devoted to conclusions and discussions.

2. Equations Admitting CLBSs and Two Examples

To consider further, we need the following proposition derived in [9, 10].

Proposition 1. RDEs (1) admit CLBSs (8) if and only if whenever satisfies (1) and , where the prime denotes the Gateaux derivative, that is, and .

A direct computation from the above proposition yieldsTo vanish all the coefficients of (9), we have the following overdetermined system:Solving this system, we can obtain the unknown functions in (1) and the corresponding CLBSs (8). From the first and seventh equations of system (10), it is apparent that the solutions can be divided into two cases including and .

Case 1 (). Substituting , into the third equation of the above system (10), we can obtain . Furthermore we can derive , , or from the eighth equation of (10) by substituting all these.
When , we can obtain from the sixth equation of (10). Then substituting into (10) again, we obtain or , resulting in these two cases:(i),(ii), When , substituting into the sixth equation of system (10), it arrives at . Then this system is reduced to However, there are two unknown functions , to be determined with only one determining equation, resulting in Noting that when , it leads to , which reveals and implies that is independent of which we are not interested. Therefore, it is impossible to obtain the general solutions. However we can solve it explicitly for several special cases.
If , we derive . Then let , , ; the solution becomes(i),If , then . For , consequently can not be easily solved. If (), then leading to the fact that also can not be easily solved.
If , then . To make solvable, we let , , ; then the solution becomes(i),If , then . To make solvable, we let , , ; then the solution becomes(i),

Case 2 (). By similar calculation, we can get , , and , then system (10) is transformed into the following equations: This system is so complicated that we can not even obtain general formations. Consequently, special solutions of the above system are given as follows:(i),(ii),(iii),(iv),(v),

Case 1 (). In this case, after a lengthy calculation, we have Special solutions of the above system are given as follows:(i),(ii),(iii),(iv),(v),

Case 2 (). By similar calculation, we can obtain and , then system (10) is reduced to We solve out the result with special cases listed in the following:(i),(ii),(iii),(iv),(v),(vi),

Thus we have obtained 21 classes of equations (11)-(36) with form (1) which admit certain second-order CLBSs. To reduce and solve equations by means of corresponding CLBSs, one solves to obtain as a function of with -independent integration constants and then substitutes this solution into (1) to determine the time evolution of these constants. Next, we only present two examples to illustrate this approach.

Example 1. Equation admits the CLBS The corresponding solutions are given by where and satisfy the finite-dimensional dynamical system Exact solutions can be obtained as with two arbitrary constants and .

Example 2. Equation admits the CLBS The corresponding solutions are given by where and satisfy the system This dynamical system can be solved and exact solutions are with two arbitrary constants and . Here the solutions preserve the forms of the separation of variables , which are associated with the invariant subspace mentioned in [3] and the references therein.

3. Conclusions and Discussions

In this paper, we have discussed RDEs (1) by means of CLBS with characteristic (8). The key for this method is to determine presumably the form of the CLBS. For (1), we found that nonlinear CLBS (8) is very effective, which can yield some interesting symmetry reductions and exact solutions. Two examples are considered to illustrate this method in terms of the compatibility of CLBSs and the governing equations. Generally speaking, the obtained solutions cannot be derived within the framework of Lie’s classical method and nonclassical method.

In addition, it must be pointed out that, for the corresponding equations with certain fractional derivative [25], we can do similar work including CLBS classification, reductions, and exact solutions.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work is supported in part by the Foundation of the Department of Education of Zhejiang Province (Grants nos. Y201432067; Y201432097).