Next Article in Journal
Some Dissimilarity Measures of Branching Processes and Optimal Decision Making in the Presence of Potential Pandemics
Previous Article in Journal
Optimization of Probabilistic Shaping for Nonlinear Fiber Channels with Non-Gaussian Noise
Previous Article in Special Issue
Stability Analysis of the Explicit Difference Scheme for Richards Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Conditional Lie-Bäcklund Symmetries and Differential Constraints of Radially Symmetric Nonlinear Convection-Diffusion Equations with Source

Department of Information and Computational Science, He’nan Agricultural University, Zhengzhou 450002, China
*
Author to whom correspondence should be addressed.
Entropy 2020, 22(8), 873; https://doi.org/10.3390/e22080873
Submission received: 20 May 2020 / Revised: 3 August 2020 / Accepted: 3 August 2020 / Published: 8 August 2020
(This article belongs to the Special Issue Applications of Nonlinear Diffusion Equations)

Abstract

:
A conditional Lie-Bäcklund symmetry method and differential constraint method are developed to study the radially symmetric nonlinear convection-diffusion equations with source. The equations and the admitted conditional Lie-Bäcklund symmetries (differential constraints) are identified. As a consequence, symmetry reductions to two-dimensional dynamical systems of the resulting equations are derived due to the compatibility of the original equation and the additional differential constraint corresponding to the invariant surface equation of the admitted conditional Lie-Bäcklund symmetry.

1. Introduction

The method of conditional Lie-Bäcklund symmetry (CLBS) that was introduced by Fokas and Liu [1], and independently by Zhdanov [2], is the generalization of Lie-Bäcklund symmetry [3] and of conditional (non-classical) symmetry [4,5]. As an application of this method, physically interesting exact solutions, including multi-shock and multi-soliton solutions, are constructed for a large number of nonlinear non-integrable evolution equations in [1,6]. The exact solutions related to invariant subspace for nonlinear equations with quadratic nonlinearity are derived due to linear CLBS in [7]. CLBS is also responsible for the method of invariant subspaces [8], in which the partial differential equation (PDE) is reduced to a system of ordinary differential equations (ODEs). The property of reducibility of evolution equation to several ODEs is in one-to-one correspondence with its CLBS was carried out by Zhdanov in [2]. The CLBSs related to invariant subspace [9], sign-invariant [10,11] and separation of variables [12] are proved to be very powerful to study the classifications and reductions of nonlinear diffusion equations. The reduction theorem for CLBS of evolution system, which generalize the one for scalar case in [2], was presented by Ji and Qu in [13]. The studies about CLBS related to invariant subspace and sign-invariant of nonlinear diffusion system can refer to our work [13,14].
It is stated that the conditional invariance criterion and the compatibility condition are always the same for the evolution equations [14,15]. In fact, the invariant surface condition is right the different constraint (DC) [16] compatible with the considered equation. The method of DC may be too difficult to be practical, since the compatibility condition is too general to be efficient. The effective way is to study CLBSs and DCs in particular cases [9,10,11,12].
Various generalizations of the diffusion equations have been widely studied due to the wide range of applications covering almost every field. An important nonlinear generalization of the diffusion equation is given by
u t = u k | u x | m 1 u x x ,
which is due to the nonlinear Fourier law and it has been applied in some situations, including nonlinear heat conduction [17] and nonlinear shear flows of non-Newtonian fluids [18]. The presence of external force and absorbent (source) term will extend the above nonlinear diffusion equation to
u t = u k | u x | m 1 u x x + C ( x , u ) u x + A ( x , u ) ,
where C ( x , u ) and A ( x , u ) denotes the external force and absorbent rate, respectively. This equation can model numerous scenarios, such as the viscous fluid [19], turbulent diffusion [20], and diffusion in superconductors [21].
A direct multi-dimensional generalization to the nonlinear equation reads as
u t = d i v u k | u | m 1 u + C ( x 1 , x 2 , , x n , u ) · u + A ( x 1 , x 2 , , x n , u ) ,
where C ( x 1 , x 2 , , x n , u ) and A ( x 1 , x 2 , , x n , u ) are, respectively, the drift and source terms. Lie’s classical symmetry [22,23,24,25,26,27] and conditional symmetry [27,28] has been used to study reductions of (1 + 2)-dimensional and (1 + 3)-dimensional nonlinear diffusion equations, which are right various different particular cases of this multi-dimensional diffusion equation.
The purpose of this manuscript is to study second-order CLBS with the characteristic
σ = u r r + H ( u ) u r 2 + G ( r , u ) u r + F ( r , u )
of the radially symmetric nonlinear convection-diffusion equation
u t = 1 r n 1 r n 1 u k u r m r + Q ( r , u ) u r + P ( r , u ) .
It is noted that H , G , F , P , and Q in (1) and (2) are analytic functions of the indicated variables. The studies from applicability point of view about variant special forms of (2) is referred to [29,30,31]. The complete descriptions of the Lie symmetries of the special case of (2) can refer to the recent paper [26].
In [10,11,32], second-order CLBS possessing the form (1) has been proved to be very powerful to study classifications and reductions for all kinds of variant forms of Equation (2). Second-order CLBS of nonlinear diffusion equation can be translated into first-order Hamilton–Jacobi sign-invariant of the considered equation, which is extensively discussed in [10,11,32]. Here, we are mainly concerned with finding all possible CLBSs with the form (1) admitted by Equation (2). As a consequence, the resulting CLBS admitted by Equation (2) will yield the corresponding symmetry reductions due to the compatibility of the original Equation (2) and the invariant surface equation
σ = u r r + H ( u ) u r 2 + G ( r , u ) u r + F ( r , u ) = 0 ,
which is right second-order DC of Equation (2).
The outline of the following paper is listed, as below. We review some basic definitions and notations about the CLBS method and DC method in the next section. Equation (2) admitting CLBSs (1) are identified in Section 3. The consequent reductions of the resulting Equation (2) that are listed in Section 3 are constructed in Section 4. The last section is a summary and discussion about our results.

2. General Statement

Let us recall basic facts on CLBS and DC of nonlinear evolution equation.
Consider a nonlinear evolution equation
u t = E ( t , x , u , u r , , u n r )
with evolutionary vector field
V = k = 0 D r k η ( r , t , u , u r , , u l r ) u k r ,
where we use the following notations
D r = r + k = 0 u ( k + 1 ) r u k r , D r j + 1 = D r ( D r j ) , D r 0 = 1 , u k r = k u r k .
Definition 1.
[3] The evolutionary vector field (5) is said to be a Lie-Bäcklund symmetry of Equation (4) if and only if
V ( u t E ) | L = 0 ,
where L is the set of all differential consequences of (4), i.e.,
D r j D t k ( u t E ) = 0 , j , k = 0 , 1 , 2 , .
Definition 2.
[1,2] The evolutionary vector field (5) is said to be a CLBS of Equation (4) if and only if
V ( u t E ) | L M r = 0 ,
where M r denotes the set of all differential consequences of equation η = 0 with respect to r, i.e., D r j η = 0 , j = 0 , 1 , 2 , .
A direct computation of (6) will yield
D t η | L M r = 0 ,
which is nothing but the compatibility condition of the original Equation (4) and the additional DC
η ( r , t , u , u r , , u l r ) = 0 .
Definition 3.
[33] The DC (8) and the evolution Equation (4) satisfy the compatibility condition if
D t η | L r M r = 0 ,
where L r denotes the set of all differential consequences of (4) with respect to r, i.e., D r j ( u t E ) = 0 , j = 0 , 1 , 2 , .

3. CLBSs (1) of Equation (2)

Because Equation (2) admits of CLBS (1), a direct computation of the conditional invariance criterion (7) gives
D t σ | L M r [ D ( 3 m + 1 ) H D 3 m H D + m ( 3 m + 2 ) H 2 D m D H m 2 ( m + 1 ) D H 3 + m ( 3 m + 1 ) D H H ] u r m + 3
+ { n 1 r D ( 2 m 1 ) H D + m ( m 1 ) D H 2 ( m 1 ) D H ( 3 m + 2 ) G D + m [ 3 ( 2 m + 1 ) H D G + ( 3 m + 1 ) D G H m ( 3 m + 1 ) D G H 2 + ( 3 m 1 ) D H G u 3 D G u D G u u ] } u r m + 2 { n 1 r ( m 1 ) D G u + 2 m G D 2 m ( m 1 ) D H G + 2 ( n 1 ) r 2 [ D ( m 1 ) D H ] + ( 3 m + 1 ) D G r + 3 ( m + 1 ) F D m [ ( 3 m + 1 ) G 2 D m ( 3 m 1 ) D H G 2 + ( 3 m 1 ) D H G r + ( 3 m 1 ) D G G u + 2 ( 3 m + 1 ) H F D + ( 3 m + 1 ) D F H + 3 ( m 1 ) D H F u ( 3 m 2 m + 2 ) D F H 2 3 F u D D F u u 2 D G r u ] } u r m + 1 { n 1 r [ m D G r m ( m 1 ) D G 2 2 m ( m 1 ) D H F + ( m 1 ) D F u + ( 2 m + 1 ) F D ] n 1 r 2 D ( 2 m 1 ) G + 2 r + ( 3 m + 1 ) D F r + m [ 2 D F r u + D G r r ( 3 m 1 ) D G G r + m ( m 1 ) D G 3 3 ( m 1 ) D H F r ( 3 m 1 ) D F G u ( 6 m + 1 ) D G F + 2 ( 3 m 2 3 m + 2 ) D F G H 3 ( m 1 ) D G F r ] } u r m m { n 1 r D F r 2 ( m 1 ) F G 2 r F 3 ( m 1 ) D G F r ( 3 m 1 ) D F G r 3 ( m 1 ) D F F u + D F r r + ( 3 m 2 3 m + 2 ) D F 2 H 3 m F 2 D + ( m 1 ) ( 3 m 2 ) D G 2 F } u r m 1 m ( m 1 ) D F ( 3 m 4 ) F G 3 F r n 1 r F u r m 2 m ( m 1 ) ( m 2 ) D F 3 u r m 3 + ( H Q u + Q u u ) u r 3 + ( H P + H P u + P u u + 2 Q r u 2 G Q u ) u r 2 + ( 2 P r u + 2 H P r + P G u + Q r r 3 Q u F Q G r G Q r ) u r + P r r + P F u P u F + G P r Q F r 2 Q r F ,
where the prime denotes the derivative with respect to u and the subscripts denotes the partial derivative with respect to the indicated variables. It is noted that D = u k hereafter.
For general m, it follows from the expression (10) that the coefficient functions H ( u ) , G ( r , u ) , F ( r , u ) , Q ( r , u ) , and P ( r , u ) in (1) and (2) satisfy the following over-determined system
D ( 3 m + 1 ) H D 3 m H D + m ( 3 m + 2 ) H 2 D m D H m 2 ( m + 1 ) D H 3 + m ( 3 m + 1 ) D H H = 0 , n 1 r D ( 2 m 1 ) H D + m ( m 1 ) D H 2 ( m 1 ) D H ( 3 m + 2 ) G D + m [ 3 ( 2 m + 1 ) H D G + ( 3 m + 1 ) D G H m ( 3 m + 1 ) D G H 2 + ( 3 m 1 ) D H G u 3 D G u D G u u ] = 0 , n 1 r ( m 1 ) D G u + 2 m G D 2 m ( m 1 ) D H G + 2 ( n 1 ) r 2 [ D ( m 1 ) D H ] + ( 3 m + 1 ) D G r + 3 ( m + 1 ) F D m [ ( 3 m + 1 ) G 2 D m ( 3 m 1 ) D H G 2 + ( 3 m 1 ) D H G r 2 D G r u
+ ( 3 m 1 ) D G G u + 2 ( 3 m + 1 ) H F D + ( 3 m + 1 ) D F H D F u u + 3 ( m 1 ) D H F u ( 3 m 2 m + 2 ) D F H 2 3 F u D ] = 0 , n 1 r [ m D G r m ( m 1 ) D G 2 2 m ( m 1 ) D H F + ( m 1 ) D F u + ( 2 m + 1 ) F D ] n 1 r 2 D ( 2 m 1 ) G + 2 r + ( 3 m + 1 ) D F r + m [ 2 D F r u + D G r r ( 3 m 1 ) D G G r 3 ( m 1 ) D H F r + m ( m 1 ) D G 3 ( 3 m 1 ) D F G u + 2 ( 3 m 2 3 m + 2 ) D F G H ( 6 m + 1 ) D G F 3 ( m 1 ) D G F r ] = 0 , n 1 r D F r 2 ( m 1 ) F G 2 r F 3 ( m 1 ) D G F r + D F r r ( 3 m 1 ) D F G r 3 ( m 1 ) D F F u + ( 3 m 2 3 m + 2 ) D F 2 H 3 m F 2 D + ( m 1 ) ( 3 m 2 ) D G 2 F = 0 , D F ( 3 m 4 ) F G 3 F r n 1 r F = 0 , H Q u + Q u u = 0 , H P + H P u + P u u + 2 Q r u 2 G Q u = 0 , 2 P r u + 2 H P r + P G u + Q r r 3 Q u F Q G r G Q r = 0 , P r r + P F u P u F + G P r Q F r 2 Q r F = 0 , D F 3 = 0 .
The last one of (11) implies F = 0 . As a consequence, the determining system can be reduced to
D ( 3 m + 1 ) H D 3 m H D + m ( 3 m + 2 ) H 2 D m D H m 2 ( m + 1 ) D H 3 + m ( 3 m + 1 ) D H H = 0 , n 1 r D ( 2 m 1 ) H D + m ( m 1 ) D H 2 ( m 1 ) D H ( 3 m + 2 ) G D + m [ 3 ( 2 m + 1 ) H D G + ( 3 m + 1 ) D G H m ( 3 m + 1 ) D G H 2 + ( 3 m 1 ) D H G u 3 D G u D G u u ] = 0 , 2 ( n 1 ) r 2 [ D ( m 1 ) D H ] + n 1 r [ ( m 1 ) D G u + 2 m G D 2 m ( m 1 ) D H G ] + ( 3 m + 1 ) D G r m [ ( 3 m + 1 ) G 2 D 2 D G r u m ( 3 m 1 ) D H G 2 + ( 3 m 1 ) D H G r + ( 3 m 1 ) D G G u ] = 0 , n 1 r 2 D ( 2 m 1 ) G + 2 r + n 1 r m D G r m ( m 1 ) D G 2 + m D G r r ( 3 m 1 ) D G G r + m ( m 1 ) D G 3 = 0 , H Q u + Q u u = 0 , H P + H P u + P u u + 2 Q r u 2 G Q u = 0 , 2 P r u + 2 H P r + P G u + Q r r Q G r G Q r = 0 , P r r + G P r = 0 .
Substituting D = u k into the first one of the system (12), we deduce that H satisfies the second-order ODE
m u 3 H + m [ 3 k u 2 ( 3 m + 1 ) u 3 H ] H + m 2 ( m + 1 ) ( u H ) 3 m ( 3 m + 2 ) k ( u H ) 2 + ( 3 m + 1 ) k ( k 1 ) u H k ( k 1 ) ( k 2 ) = 0 .
It is a nontrivial task to construct the general solution of this nonlinear ODE about H ( u ) . Thus, we cannot list the general solutions of the nonlinear system of PDEs (12). However, even finding particular CLBS (1) can lead to symmetry reductions of the considered Equation (2). In practice, the principle direction of such research is to content oneself with finding CLBS in particular case, and the proper choice is the additional assumption H ( u ) = h / u . It is noted that h is an arbitrary constant. Substituting H ( u ) = h / u into (13), we get h satisfy the algebraic equation
( m h k ) ( m h k + 1 ) ( m h + h k + 2 ) = 0 .
Therefore,
H ( u ) = k m u , H ( u ) = k 1 m u , H ( u ) = k 2 ( m + 1 ) u
are determined. For the case of H ( u ) = k / m / u , the second one of system (12) will be reduced to a linear ODE about G ( r , u ) . The form of G ( r , u ) can be determined by solving the second-order linear ODE. When considering the third one and fourth one of system (12), the two undetermined function about r in G ( r , u ) can be made certain. Finally, P ( r , u ) and Q ( r , u ) will be presented by solving the last four linear ODE. Here, we omit the detailed procedure for solving system (12) and just summarize the corresponding results in Table 1. The software Maple is used to help us complete the computation procedure.
It is noted from (10) that the terms there may be combined for m = 3 , 2 , 1 , 2 , 3 , 4 , 5 , 6 . Consequently, the over-determined systems for these cases are different with (11) for general m. However, new results are only found for the case of m = 2 , 1 , 2 . Here, we consider the case of m = 2 . The over-determined system is listed as
H Q u + Q u u = 0 , H P + H P u + P u u + 2 Q r u 2 G Q u = 0 , D + 5 H D + 6 H D + 8 H 2 D + 2 D H + 4 D H 3 + 10 D H H + 2 P r u + 2 H P r + P G u + Q r r Q G r G Q r = 0 , n 1 r [ D + 5 H D + 6 D H 2 + 3 D H ] + 4 G D + 18 H D G + 10 D G H + 20 D G H 2 + 14 D H G u + 6 D G u + 2 D G u u + G P r + P r r = 0 , 2 ( n 1 ) r 2 ( D + 3 D H ) + n 1 r ( 3 D G u + 4 G D + 12 D H G ) + 5 D G r + 10 G 2 D + 28 D H G 2 + 14 D H G r + 14 D G G u + 4 D G r u = 0 , 2 ( n 1 ) r 3 D 5 ( n 1 ) r 2 D G + 2 ( n 1 ) r ( D G r + 3 D G 2 ) + 2 D G r r + 14 D G G r + 12 D G 3 = 0 .
F ( r , u ) = 0 holds for this case. We omit the computational procedure and just list the obtained solutions of this nonlinear system in Table 2. Similarly, we can also present the corresponding results for m = 1 and m = 2 in Table 2. It is noted that h 1 = ( m n + 2 m n + 2 ) / ( m n + m n + 1 ) and k 1 = ( m 2 n + 2 m 2 2 m n + m 1 ) / ( m n + m n + 1 ) in Table 1, and a , b , c , d , e , h , p , and q in Table 1 and Table 2 are some arbitrary constants. All of the results in Table 1 and Table 2 are also suitable for the special case of n = 1 .

4. Exact Solutions of Equation (2)

The governing Equation (2) and the corresponding CLBS (1) are determined in Section 3. Because the compatibility of the nonlinear diffusion Equation (2) and the invariant surface condition (3) is the key point of CLBS, we first solve the DC (3) to give the form of u and then substitute the obtained results into Equation (2) to finally identify u. Here, we just list several examples to present the reduction procedure.
Example 1.
Equation
u t = 1 r n 1 ( r n 1 u k u r m ) r + h r + q r n 1 m ( m + k ) p ( m + 1 n ) r 2 m + 1 n m + 1 + a r n 1 m e r m n + 1 u m + k m u r + c u + b u k m + e k + m u 2 m + k m + p u + d u k m r m + 1 n m
with k m and m n 1 admits of the CLBS
σ = u r r + k m u u r 2 + n 1 m r u r .
The corresponding reduction of (14) imply
u ( r , t ) = ( m + k ) α ( t ) m + 1 n r m + 1 n m + β ( t ) m m m + k ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = ( m + k ) a m α 2 + 1 m ( m + k ) c + ( m + 1 n ) h α + ( m + k ) ( m + 1 n ) p m 2 β + ( m + k ) e m 2 α β + ( m + 1 n ) d m , β = ( m + k ) a m α β + ( m + k ) e m 2 β 2 + ( m + k ) c m β + q α + b .
It is noted that the solutions blow up along the curves r = ( m + 1 n ) β ( t ) / m α ( t ) + m m + 1 n for the case of m ( m + k ) < 0 and extinguish along the curves for the case of m ( m + k ) > 0 . The ansatz (15) leads to the known time-independent exact solutions of the particular case
u t = 1 r n 1 ( r n 1 u k u r m ) r .
This type of time-independent solutions has been presented in [26] for the case of n = 2 and k = 0 , where the solutions are constructed due to Lie’s classical symmetry reductions. Another particular case of Equation (14) is listed as
u t = ( u r m ) r + a u u r ,
which is a generalization of the well-known Burgers equation. The non-trivial solution
u ( r , t ) = r + c 2 a t c 1
can be derived due to the ansatz (15). Moreover, exact solutions
u ( r , t ) = c 2 m ( m + k ) ( m + k ) ( m + 1 n ) a t + c 1 r m + 1 n m m m + k
can be obtained due to the ansatz (15) for the particular case
u t = 1 r n 1 ( r n 1 u k u r m ) r + a r n 1 m u m + k m u r
of Equation (14) and the solutions (16) are not obtainable by Lie symmetries.
Example 2.
Equation
u t = 1 r n 1 ( r n 1 u k u r n 1 ) r + h + q ln r ( k 1 + n ) p n 1 ln 2 r + ( a e ln r ) u k 1 + n n 1 r u r + c u + b u k n 1 + ( n 1 ) e k 1 + n u 2 n 2 + k n 1 + p u + d u k n 1 ln r
with k 1 n admits of the CLBS
σ = u r r + k ( n 1 ) u u r 2 + 1 r u r .
The corresponding reduction carry out
u ( r , t ) = k 1 + n n 1 α ( t ) ln r + β ( t ) n 1 k 1 + n ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = ( k 1 + n ) a n 1 α 2 + ( k 1 + n ) e n 1 α β + ( k 1 + n ) c n 1 + q α + ( k 1 + n ) p n 1 β + d , β = ( k 1 + n ) e n 1 β 2 + ( k 1 + n ) a n 1 α β + ( k 1 + n ) c n 1 β + h α + b .
The solutions blow up along the curves r = exp β ( t ) / α ( t ) for the case of ( n 1 ) ( k 1 + n ) < 0 and extinguish along the curves for the case of ( n 1 ) ( k 1 + n ) > 0 .
Example 3.
Equation
u t = 1 r n 1 ( r n 1 u 1 n u r n 1 ) r + h + q ln r d ln 2 r + ( a + e ln r ) ln u r u r + [ c + b ln u e ln 2 u + ( p + d ln u ) ln r ] u
admits of the CLBS
σ = u r r 1 u u r 2 + 1 r u r .
The corresponding reduction lead to
u ( r , t ) = r α ( t ) exp [ β ( t ) ] ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = a α 2 e α β + ( b + q ) α + d β + p , β = e β 2 + a α β + b β + h α + c .
Example 4.
Equation
u t = 1 r n 1 ( r n 1 u m + 1 u r m ) r + h r + q r 1 m m d m + 1 r 2 m + 1 m + a r 1 m + e m + 1 r ln u u r + c + b ln u e m ln 2 u + ( p + d ln u ) r m + 1 m u
with m 1 admits of the CLBS
σ = u r r 1 u u r 2 1 m r u r .
The corresponding reduction yield
u ( r , t ) = exp m m + 1 α ( t ) r m + 1 m + β ( t ) ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = m + 1 m α m + 1 e m α β + a α 2 + ( m + 1 ) h m + b α + ( m + 1 ) d m β + ( m + 1 ) p m , β = n α m e m β 2 + a α β + b β + q α + c .
Example 5.
Equation
u t = 1 r n 1 ( r n 1 u 3 u r 2 ) r + { q r + s r 4 ( h + 1 ) a r 3 2 ( h + 1 ) ( 4 n h + 4 n + 2 h + 3 ) r 2 + ( p r + e r ) u h + 1 } u r + c + 2 a r 4 ( h + 1 ) ( 3 n h + 3 n + 2 h + 3 ) r u e 2 ( h + 1 ) u 2 + h + ( d + b r ) u h
with h 1 admits of the CLBS
σ = u r r + h u u r 2 + 1 2 r u r .
The corresponding reduction bring about
u ( r , t ) = [ ( h + 1 ) ( α ( t ) r + β ( t ) ) ] 1 h + 1 ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = ( h + 1 ) p α 2 ( h + 1 ) e 2 α β + ( h + 1 ) a β + ( h + 1 ) c + s 2 α + 1 2 ( h + 1 ) 2 ( 6 n h + 6 n + 2 h + 3 ) α 1 β 2 + b 2 , β = ( h + 1 ) e 2 β 2 + ( h + 1 ) p α β + ( h + 1 ) c β + q α + n ( h + 1 ) 3 α 2 β 3 + d .
The solutions blow up along the curves r = β ( t ) / α ( t ) 2 for the case of h < 1 and extinguish along the curves for the case of h > 1 .
Example 6.
Equation
u t = 1 r n 1 ( r n 1 u 2 u r 1 ) r + s + q ln r ( h + 1 ) [ ( h + 1 ) n + a ] ln 2 r + ( e + p ln r ) u h + 1 r u r + c u + d u h p h + 1 u h + 2 + a u + b u h ln r
with h 1 admits of the CLBS
σ = u r r + h u u r 2 + 1 r u r .
The corresponding reduction suggest
u ( r , t ) = [ ( h + 1 ) ( α ( t ) ln r + β ( t ) ) ] 1 h + 1 ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = ( h + 1 ) e α 2 ( h + 1 ) p α β + [ ( h + 1 ) ( h + 2 + c ) + q ] α + ( h + 1 ) [ 2 ( h + 1 ) n + a ] β + b , β = ( h + 1 ) p β 2 + ( h + 1 ) e α β + ( h + 1 ) 2 n α 1 β 2 + ( h + 1 ) ( h + 2 + c ) β + s α + d .
The solutions blow up along the curves r = exp β ( t ) / α ( t ) for the case of h < 1 and extinguish along the curves for the case of h > 1 .
Example 7.
Equation
u t = 1 r n 1 r n 1 u 3 n n 1 u r 2 r + ( n 1 ) ( n 7 ) 4 u 2 n 1 r 2 + ( n 1 ) a r 1 2 + b r 3 2 u 1 n 1 u r + c r 3 2 + d r 1 2 u n 2 n 1 + 1 2 ( n 1 ) 2 ( a 3 b r 2 ) r 3 2 u n n 1
admits of the CLBS
σ = u r r + 2 n ( n 1 ) u u r 2 3 ( n 1 ) u 4 r 2 .
The corresponding reduction indicate
u ( r , t ) = α ( t ) β ( t ) r 2 2 ( n 1 ) r n 1 ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = 1 2 α β 2 a α β b α 2 + 2 d , β = 3 2 β 3 a β 2 b α β 2 c .
Example 8.
Equation
u t = 1 r n 1 ( r n 1 u 1 u r 2 ) r + [ s + l r p r 2 + ( n 1 ) e 3 ln r + ( n 1 ) d 3 ( ln r 1 ) r + ( n 1 ) ( n 3 ) 3 r 2 + ( e + d r ) ln u ] u r d u ln 2 u + q + p r + ( n 1 ) e 3 r 2 ( n 1 ) d 3 ln r u ln u ( n 1 ) 2 d 9 u ln 2 r + ( n 1 ) p 3 ( ln r 1 ) r u + ( n 1 ) 2 e u ln r 9 r + ( n 1 ) q 3 u ln r + ( n 1 ) s u 3 r + ( n 1 ) 3 u 27 r 3 + a r u + b
admits of the CLBS
σ = u r r 1 u u r 2 ( n 1 ) u 3 r 2 .
The corresponding reduction provide
u ( r , t ) = exp α ( t ) r + β ( t ) r 1 n 3 ,
where α ( t ) and β ( t ) satisfy two-dimensional dynamical system
α = e α 2 d α β + 2 3 ( n 1 ) d + q + l α + p β + a , β = α 3 + e α β d β 2 + s α + 1 3 ( 1 n ) d + q β + l 3 ( 1 n ) + d 9 ( n 1 ) 2 + b .

5. Conclusions

In this paper, second-order CLBS (1) is used to study classifications and symmetry reductions of the radially symmetric nonlinear convection-diffusion equations with source (2). The resulting Equation (2) admitting CLBS (1) is reduced to two-dimensional dynamical system due to the compatibility of the original Equation (2) and the additional DC (3), which is right the invariant surface equation of the admitted CLBS (1). The obtained results generalize the ones for m = 1 and n = 1 in [10,11] and the special case of Q ( r , u ) = 0 [32]. Exact solutions for certain particular case of Equation (14) are constructed. The obtained solutions include the time-independent cases, the variable separation solutions. The similar discussion can be done for other equations in Examples 2–8. It is shown that some solutions can be derived within the framework of Lie’s classical symmetry, and some of them can be obtained by conditional symmetry. In fact, the second-order CLBS
σ = u r r + k m u u r 2 + n 1 m r u r
of Equation (2) will yield the first-order invariant surface condition
u t Q ( r , u ) u r P ( r , u ) = 0 ,
which is corresponding to conditional symmetry of Equation (2). The CLBSs of Examples 1, 2, and 3 all degenerate to conditional symmetry cases. In addition, the phenomena of blow up and extinguish are also described due to the resulting solutions.

Author Contributions

All authors contributed equally. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Chinese National Natural Science Foundation (Grant No. 11501175) and Key project of Colleges and Universities in Henan Province (Grant No. 20A110017).

Acknowledgments

Our deepest gratitude goes to the anonymous reviewers for their careful work and thoughtful suggestions that have helped improve this paper substantially.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
CLBSconditional Lie-Bäcklund symmetry
PDEpartial differential equation
ODEsordinary differential equations
DCdifferential constraint

References

  1. Fokas, A.S.; Liu, Q.M. Nonlinear interaction of traveling waves of nonintegrable equations. Phys. Rev. Lett. 1994, 72, 3293–3296. [Google Scholar] [CrossRef] [PubMed]
  2. Zhdanov, R.Z. Conditional Lie-Bäcklund symmetry and reductions of equations. J. Phys. A Math. Gen. 1995, 28, 3841–3850. [Google Scholar] [CrossRef] [Green Version]
  3. Ibragimov, N.H. Transformation Groups Applied to Mathematical Physics; D. Reidel: Dordrecht, The Netherlands, 1989. [Google Scholar]
  4. Bluman, G.W.; Cheviakov, A.F.; Anco, S.C. Applications of Symmetry Methods to Partial Differential Equations; Springer: New York, NY, USA, 2010. [Google Scholar]
  5. Cherniha, R.; Serov, M.; Pliukhin, O. Nonlinear Reaction-Diffusion-Convection Equations: Lie and Conditional Symmetry, Exact Solutions and Their Applications; Chapman and Hall/CRC: New York, NY, USA, 2018. [Google Scholar]
  6. Liu, Q.M.; Fokas, A.S. Exact interaction of solitary waves for certain non-integrable equations. J. Math. Phys. 1996, 37, 324–345. [Google Scholar] [CrossRef]
  7. Liu, Q.M. Exact solutions to nonlinear equations with quadratic nonlinearity. J. Phys. A Math. Gen. 2001, 34, 5083–5088. [Google Scholar] [CrossRef]
  8. Galaktionov, V.A.; Svirshchevskii, S.R. Exact Solutions and Invariant Subspaces of Nonlinear Partial Differential Equations in Mechanics and Physics; Chapman and Hall: London, UK, 2007. [Google Scholar]
  9. Ji, L.N.; Qu, C.Z. Conditional Lie-Bäcklund symmetries and invariant subspaces to nonlinear diffusion equaitons with convection and source. Stud. Appl. Math. 2013, 131, 266–301. [Google Scholar]
  10. Qu, C.Z.; Estévez, P.G. On nonlinear diffusion equations with x-dependent convection and absorption. Nonl. Anal. TMA 2004, 37, 549–557. [Google Scholar] [CrossRef]
  11. Qu, C.Z.; Ji, L.N.; Wang, L.Z. Conditional Lie-Bäcklund symmetries and sign-invarints to quasi-linear diffusion equations. Stud. Appl. Math. 2007, 119, 355–391. [Google Scholar] [CrossRef]
  12. Qu, C.Z.; Zhang S., L.; Liu, R.C. Separation of variables and exact solutions to quasilinear diffusion equations with nonlinear source. Physica D 2000, 144, 97–123. [Google Scholar] [CrossRef]
  13. Ji, L.N.; Qu C., Z.; Shen, S.F. Conditional Lie-Bäcklund symmetry of evolution system and applications for reaction-diffusion system. Stud. Appl. Math. 2014, 133, 118–149. [Google Scholar] [CrossRef]
  14. Wang, J.P.; Ji, L.N. Conditional Lie-Bäcklund symmetry, secon-order differential constraints and direct reduction of diffusion systems. J. Math. Anal. Appl. 2015, 427, 1101–1118. [Google Scholar] [CrossRef]
  15. Olver, P. Direct reduction and differential constraints. Proc. R. Soc. Lond. A 1994, 444, 509–523. [Google Scholar]
  16. Sidorov, A.F.; Shapeev, V.P.; Yanenko, N.N. Method of Differential Constraints and Its Applications to Gas Dynamics; Nauka: Novosibirsk, Russia, 1984. [Google Scholar]
  17. Pascal, J.P.; Pascal, H. On some diffusive waves in non-linear heat conduction. Int. J. Nonlinear Mech. 1993, 28, 641–649. [Google Scholar] [CrossRef]
  18. Pascal, J.P.; Pascal, H. On some non-linear shear flows of non-Newtonian fluids. Int. J. Nonlinear Mech. 1995, 30, 487–500. [Google Scholar] [CrossRef]
  19. Dieza, J.A.; Gratton, R.; Gratton, J. Self-similar solution of the second kind for a convergent viscous grabity currrent. Phys. Fluids A 1992, 4, 1148–1155. [Google Scholar] [CrossRef] [Green Version]
  20. Grarilov, V.P.; Klepikova, N.V.; Rodean, H.C. Trial of nonlinear diffusion equation as a model of turbulent diffusion. Atmos. Environ. 1995, 29, 2317–2322. [Google Scholar]
  21. Vinokur, V.M.; Feigel’man, M.V.; Geshkenbein, V.B. Exact solution for flux creep with logarithmic U(j) dependence: Self-organized critical state in high-Tc superconductors. Phys. Rev. Lett. 1991, 67, 915–918. [Google Scholar] [CrossRef]
  22. Bokhari, A.H.; AI Deweik, A.Y.; Kara, A.H.; Zaman, F.D. A symmetry analysis of some classes of evolutionary nonlinear (2+1)-diffusion equations with variable diffusivity. Nonlinear Dyn. 2010, 62, 127–138. [Google Scholar] [CrossRef]
  23. Edwards, M.P.; Broadbridge, P. Exact transient solutions to nonlinear diffusion-convection equations in higher dimensions. J. Phys. A Math. Gen. 1994, 27, 5455–5465. [Google Scholar] [CrossRef]
  24. Cherniha, R.; Kovalenko, S. Lie symmetries and reductions of multi-dimensional boundary value problems of the Stefan type. J. Phys. A Math. 2011, 44, 485202. [Google Scholar] [CrossRef]
  25. Cherniha, R.; Serov, M.; Prystavks, Y. A complete Lie symmetry classification of a class of (1+2)-dimensional reaction-diffusion-convection equations. Commun. Nonlinear Sci. Numer. Simul. 2020. [Google Scholar] [CrossRef]
  26. Cherniha, R.; King, J.R.; Kovalenko, S. Lie symmetry properties of nonlinear reaction-diffusion equations with gradient-dependent diffusivity. Commun. Nonl. Sci. Numer. Simul. 2016, 36, 98–108. [Google Scholar] [CrossRef] [Green Version]
  27. Cherniha, R.; King, J.R. Lie and conditional symmetries of a class of nonlinear (1+2)-dimensional boundary value problems. Symmetry 2015, 7, 1410–1435. [Google Scholar] [CrossRef] [Green Version]
  28. Broadbridge, P.; Daly, E.; Goard, J.M. Exact solutions of the Richards equation with nonlinear pant-root extraction. Water Resour. Res. 2017, 53, 9679–9691. [Google Scholar] [CrossRef]
  29. Barenblatt, G.I. On self-similar motions of compressible fluid in a porous medium. Prikl. Math. Mekh. 1952, 16, C679–C698. (In Russian) [Google Scholar]
  30. Perona, P.; Malik, J. Scale-space and edge detection using anisotropic diffusion. IEEE Trans. Pattern Anal. Mach. Intell. 1990, 12, 629–639. [Google Scholar] [CrossRef] [Green Version]
  31. Pascal, J.P. Similarity solutions for axisymmetric plane radial power law fluid flows through a porous meidum. Comput. Math. Appl. 1992, 23, 25–41. [Google Scholar] [CrossRef] [Green Version]
  32. Ji, L.N.; Feng, W. Second-order conditional Lie-Bäcklund symmetries and differential constraints of nonlinear reaction-diffuison equations with gradient-dependent diffusivity. Symmetry 2018, 10, 267. [Google Scholar] [CrossRef] [Green Version]
  33. Andreev, V.K.; Kaptsov, O.V.; Pukhnachev V., V.; Rodionov, A.A. Applications of Group-Theoretic Methods in Hydrodynamics; Kluwer: Dordrecht, The Netherlands, 1998. [Google Scholar]
Table 1. CLBS (1) of Equation (2) for general m with F ( r , u ) = 0 .
Table 1. CLBS (1) of Equation (2) for general m with F ( r , u ) = 0 .
No. Q ( r , u ) P ( r , u ) H ( u ) G ( r , u ) km
1 h r + q r n 1 m ( m + k ) p ( m + 1 n ) r 2 m + 1 n m + 1 c u + b u k m + e k + m u 2 m + k m k m u n 1 m r k m m n 1
+ a r n 1 m e r m n + 1 u m + k m + p u + d u k m r m + 1 n m
2 [ h + q ln r ( k 1 + n ) p n 1 ln 2 r c u + b u k n 1 + ( n 1 ) e k 1 + n u 2 n 2 + k n 1 k ( n 1 ) u 1 r k 1 n m = n 1
+ ( a e ln r ) u k 1 + n n 1 ] r + p u + d u k n 1 ln r
3 h r + q r n 1 m m d m + 1 n r 2 m + 1 n m [ c + b ln u + e m ln 2 u 1 u n 1 m r k = m m n 1
+ a r n 1 m e r m + 1 n ln u + ( p + d ln u ) r m + 1 n m ] u
4 [ h + q ln r d ln 2 r [ c + b ln u e ln 2 u 1 u 1 r k = 1 n m = n 1
+ ( a + e ln r ) ln u ] r + ( p + d ln u ) ln r ] u
5 h r + q r 1 m ( m + k 1 ) p m + 1 r 2 m + 1 m c u + b u 1 k m e m + k 1 u 2 m + k 1 m k 1 m u 1 m r k m + 1 m 1
+ a r 1 m + e m + 1 r u k + m 1 m + p u + d u 1 k m r m + 1 m
6 h r + q r 1 m m d m + 1 r 2 m + 1 m [ c + b ln u e m ln 2 u 1 u 1 m r k = m + 1 m 1
+ a r 1 m + e m + 1 r ln u + ( p + d ln u ) r m + 1 m ] u
7 h r + q r 2 m 1 + ( m 1 ) p m n + m n + 1 r 2 m m 1 c u + b u m n + 2 m n + 2 m n + m n + 1 h 1 u 2 ( m 1 ) r k = k 1 m 1
+ a r 2 m 1 + e m + 1 r u m + 1 m n + m n + 1 + ( m n + m n + 1 ) e ( m 1 ) ( m + 1 ) u m n n m n + m n + 1
+ p u + d u m n + 2 m n + 2 m n + m n + 1 r m + 1 m 1
8 h r + q r n 1 m + m p m n + 1 r 2 m n + 1 m c u + b u 2 e m 2 u n 1 m r k = 2 m m n 1
+ a r n 1 m e m + 1 n r u 1 + ( p u + d u 2 ) r m + 1 n m
9 h + q ln r + p ln 2 r + a e ln r u 1 r e + c u + b u 2 + ( p u + d u 2 ) ln r 2 u 1 r k = 2 2 n m = n 1
Table 2. CLBS (1) of Equation (2) for m = 2 , 1 , 2 .
Table 2. CLBS (1) of Equation (2) for m = 2 , 1 , 2 .
No. Q ( r , u ) P ( r , u ) H ( u ) G ( r , u ) F ( r , u ) km
1 q r + s r + 2 ( k 3 ) a r 3 2 c + a r u + [ d + b r 2 k u 1 2 r 0 k 3 m = 2
+ ( p r + e r ) u 3 k 2 ( k 3 ) ( 2 k n + k 6 n
4 ) r ] u k 2
2 q r + s r 4 ( h + 1 ) [ a r 3 2 [ c + 2 a r 4 ( h + 1 ) ( 3 n h h u 1 2 r 0 k = 3 m = 2
( h + 1 ) ( 4 n h + 4 n + 2 h + 3 n + 2 h + 3 ) r ] u e 2 ( h + 1 )
+ 3 ) r 2 ] + ( p r + e r ) u h + 1 u 2 + h + ( d + b r ) u h
3 q r + s r + 2 b r 3 2 + ( e r ( a + b r ) u + ( d + 2 c r 2 u 1 2 r 0 k = 4 m = 2
+ p r ) u 1 4 n r ) u 2 + p 2
4 s r 2 3 + q r 9 2 e r 4 3 c u + d u 3 ( 3 n + 2 ) 9 n + 5 + 3 n + 5 3 3 ( 3 n + 2 ) ( 9 n + 5 ) u 2 3 r 0 k = 3 m = 2
+ 9 ( 3 n + 1 ) ( 9 n + 5 ) 3 r 2 a u 9 n + 4 9 n + 5 + 9 ( 3 n + 1 ) ( 9 n + 5 ) 2 r u
+ b r 2 3 + a r u 1 9 n + 5 + 3 p u 9 n + 6 9 n + 5 ( 9 n + 5 ) e 2 u r 1 3
5 q r + s r + 2 a 3 ( 2 n + 1 ) r 3 2 ( c + a r ) u 2 ( 3 n + 2 ) 3 ( 2 n + 1 ) u 1 2 r 0 k = 2 ( 9 n + 4 ) 3 ( 2 n + 1 ) m = 2
+ [ 8 n 27 ( 2 n + 1 ) 3 r 2 + p r + ( d + b r ) u 2 ( 3 n + 2 ) 3 ( 2 n + 1 )
+ e r ] u 1 3 ( 2 n + 1 ) + 9 ( 2 n + 1 ) 3 p + 8 n r 6 ( 2 n + 1 ) 2 u 2 ( 3 n + 1 ) 3 ( 2 n + 1 )
6 q r 2 3 + s r 9 2 e r 4 3 + ( b r 2 3 3 n + 1 3 ( 2 n + 1 ) 2 r u 2 ( 3 n + 2 ) 3 ( 2 n + 1 ) + d u 2 ( 3 n + 2 ) 3 ( 2 n + 1 ) u 2 3 r 0 k = 2 ( 9 n + 5 ) 3 ( 2 n + 1 ) m = 2
+ a r ) u 1 3 ( 2 n + 1 ) + ( 2 n + 1 ) a u 2 ( 3 n + 1 ) 3 ( 2 n + 1 ) + b u 2 ( 3 n + 2 ) 3 ( 2 n + 1 )
+ 3 p u 2 ( 3 n + 2 ) 3 ( 2 n + 1 ) 3 ( 2 n + 1 ) 2 e u r 1 3
7 [ s + q ln r + k 2 1 a ln 2 r c u + d u k 2 + 2 p k 2 u 2 k 2 k 2 u k 1 k 2 u 1 r 0 k 2 m = 1
+ ( e + p ln r ) u 1 k 2 ] r + ( a u + b u k 2 ) ln r
8 { s + q ln r ( h + 1 ) [ ( h + 1 ) n c u + d u h p h + 1 u h + 2 h u 1 r 0 k = 2 m = 1
+ a ] ln 2 r + ( e + p ln r ) u h + 1 } r + a u + b u h ln r
9 { s + q ln r + [ e + p ln r + ( k c u + d u 3 k 2 k 2 7 k + p + 6 k 2 u k 1 k 3 u 1 r 0 k 2 m = 1
2 ) 2 n ln 2 r ] u k 2 } r + 2 n ( 2 k ) u k 1 + b u 3 k ln r
10 s r + q r 1 n ( h + 1 ) d n r n + 1 ( c h 2 + d r n ) u h u n 1 r 0 k = 2 m = 1
+ e r + p r 1 n u h + 1 + ( a + b r n ) u h n e h + 1 u h + 2
11 s r + q r 1 n d n r n + 1 ( a 1 + b r n ) u + ( c + d r n ) u 1 u n 1 r 0 k = 2 m = 1
+ e r + p r 1 n ln u ln u n e u ln 2 u
12 ( n 1 ) ( n 7 ) 4 u 2 n 1 r 2 + ( n c r 3 2 + d r 1 2 u n 2 n 1 + 1 2 ( n 2 n ( n 1 ) u 0 3 ( n 1 ) u 4 r 2 k = 3 n n 1 m = 2
1 ) a r 1 2 + b r 3 2 u 1 n 1 1 ) 2 ( a 3 b r 2 ) r 3 2 u n n 1
13 s + l r p r 2 + ( n 1 ) e 3 ln r d u ln 2 u + [ q + p r + ( n 1 ) e 3 r 1 u 0 ( n 1 ) u 3 r 2 k = 1 m = 2
+ ( n 1 ) d 3 ( ln r 1 ) r 2 ( n 1 ) d 3 ln r ] u ln u ( n 1 ) 2 d 9
+ ( n 1 ) ( n 3 ) 3 r 2 u ln 2 r + ( n 1 ) p 3 ( ln r 1 ) r u
+ ( e + d r ) ln u + ( n 1 ) 2 e u ln r 9 r + ( n 1 ) q 3 u ln r
+ ( n 1 ) s u 3 r + ( n 1 ) 3 u 27 r 3 + a r u + b
14 6 ( 3 k + 9 + k n + n ) ( k + 1 ) 2 r 2 u k + 1 ( a + b r 3 ) u 1 k 2 k 1 2 u 2 r 0 k 1 m = 2
15 ( n 9 ) a 9 r 4 u 9 n 9 + ( n 9 ) 2 3 r 2 u 18 n 9 a + b r 3 u n 18 n 9 + ( n 9 ) 3 27 r 3 u n + 9 n 9 18 n ( n 9 ) u 4 r 0 k = 27 n n 9 m = 2
16 a r 2 + b r ln u 9 ln 2 u r 2 ( c + d r 3 ) u 3 b u ln 2 u 1 u 2 r 0 k = 1 m = 2
17 3 n + d u + c u r 3 r 2 u 2 ( a + b r 3 ) u 2 3 c 2 u 2 r 0 k = 3 m = 2

Share and Cite

MDPI and ACS Style

Ji, L.; Wang, R. Conditional Lie-Bäcklund Symmetries and Differential Constraints of Radially Symmetric Nonlinear Convection-Diffusion Equations with Source. Entropy 2020, 22, 873. https://doi.org/10.3390/e22080873

AMA Style

Ji L, Wang R. Conditional Lie-Bäcklund Symmetries and Differential Constraints of Radially Symmetric Nonlinear Convection-Diffusion Equations with Source. Entropy. 2020; 22(8):873. https://doi.org/10.3390/e22080873

Chicago/Turabian Style

Ji, Lina, and Rui Wang. 2020. "Conditional Lie-Bäcklund Symmetries and Differential Constraints of Radially Symmetric Nonlinear Convection-Diffusion Equations with Source" Entropy 22, no. 8: 873. https://doi.org/10.3390/e22080873

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop