Approximate Symmetry Analysis of a Class of Perturbed Nonlinear Reaction-Diffusion Equations
Abstract
The problem of approximate symmetries of a class of nonlinear reaction-diffusion equations called Kolmogorov-Petrovsky-Piskounov (KPP) equation is comprehensively analyzed. In order to compute the approximate symmetries, we have applied the method which was proposed by Fushchich and Shtelen (1989) and fundamentally based on the expansion of the dependent variables in a perturbation series. Particularly, an optimal system of one-dimensional subalgebras is constructed and some invariant solutions corresponding to the resulted symmetries are obtained.
1. Introduction
Nonlinear problems arise widely in various fields of science and engineering mainly due to the fact that most physical systems are inherently nonlinear in nature. But for nonlinear partial differential equations (PDEs), analytical solutions are rare and difficult to obtain. Hence, the investigation of the exact solutions of nonlinear PDEs plays a fundamental role in the analysis of nonlinear physical phenomena. One of the most famous and established procedures for obtaining exact solutions of differential equations is the classical symmetries method, also called group analysis. This method was originated in 1881 from the pioneering work of Sophus Lie [1]. The investigation of symmetries has been manifested as one of the most significant and fundamental methods in almost every branch of science such as in mathematics and physics. Nowadays, the application of Lie group theory for the construction of solutions of nonlinear PDEs can be regarded as one of the most active fields of research in the theory of nonlinear PDEs and many good books have been dedicated to this subject (such as [2–4]). For some nonlinear problems, however, symmetries are not rich to determine useful solutions. Hence, this fact was the motivation for the creation of several generalizations of the classical Lie group method. Consequently, several alternative reduction methods have been introduced, going beyond Lie′s classical procedure and providing further solutions. One of the techniques widely applied in analyzing nonlinear problems is the perturbation analysis. Perturbation theory comprises mathematical methods that are applied to obtain an approximate solution to a problem which cannot be solved exactly. Indeed, this procedure is performed by expanding the dependent variables asymptotically in terms of a small parameter. In order to combine the power of the Lie group theory and perturbation analysis, two different approximate symmetry theories have been developed recently. The first method is due to Baikov et al. [5, 6]. Successively another method for obtaining approximate symmetries was introduced by Fushchich and Shtelen [7].
Finally, after obtaining the approximate symmetries, the corresponding approximate solutions will be obtained via the classical Lie symmetry method [8].
In the second method due to Fushchich and Shtelen, first of all the dependent variables are expanded in a perturbation series. In the next step, terms are then separated at each order of approximation and as a consequence a system of equations to be solved in a hierarchy is determined. Finally, the approximate symmetries of the original equation are defined to be the exact symmetries of the system of equations resulting from perturbations [7, 9, 10]. Pakdemirli et al. in a recent paper [11] have compared these above two methods. According to their comparison, the expansion of the approximate operator applied in the first method does not reflect well an approximation in the perturbation sense, while the second method is consistent with the perturbation theory and results in correct terms for the approximate solutions. Consequently, the second method is superior to the first one according to the comparison in [11].
Nonlinear reaction-diffusion equations can be regarded as mathematical models which explain the change of the concentration of one or more substances distributed in space. Indeed, this variation occurs under the influence of two main processes including chemical reactions in which the substances are locally transformed into each other and diffusion which makes the substances spread out over a surface in space. From the mathematical point of view, reaction-diffusion systems generally take the form of semilinear parabolic PDEs. It is worth mentioning that the solutions of reaction-diffusion equations represent a wide range of behaviors, such as formation of wave-like phenomena and traveling waves as well as other self-organized patterns.
- (1)
If the reaction term R(u) vanishes, then the resulted equation displays a pure diffusion process and is defined by
()Note that the above equation is called Fick′s second law [12]. - (2)
By inserting R(u) = au(1 − u), a ≥ 0, the Fisher equation (or logistic equation) results as follows:
()This equation can be regarded as the archetypical deterministic model for the spread of a useful gene in a population of diploid individuals living in a one-dimensional habitat [13, 14]. - (3)
By inserting R(u) = u2(1 − u), the Zeldovich equation will be deduced as follows:
()This equation appears in combustion theory. The unknown u displays temperature, while the last term on the right-hand side is concerned with the generation of heat by combustion [15, 16]. - (4)
By inserting R(u) = u(1 − u2) the Newell-Whitehead-Segel (NWS) equation (or amplitude equation) results as follows:
()This equation arises in the analysis of thermal convection of a fluid heated from below after carrying out a suitable normalization [17].
This paper is organized as follows. Section 2 is devoted to the thorough investigation of the approximate symmetries and approximate solutions of the KPP equation. For this purpose, we will concentrate on the four special and significant forms of the KPP equation described above, that is, Fick′s second law, Fisher′s equation, Zeldovich equation, and Newell-Whitehead-Segel (NWS) equation. In Section 3, an optimal system of subalgebras is constructed and the corresponding symmetry transformations are obtained. Some concluding remarks are mentioned at the end of the paper.
2. Approximate Symmetries of the KPP Equation
In this section, first of all the problem of exact and approximate symmetries of Fick′s second law (3) with a small parameter is investigated. Then the approximate symmetries and the exact and approximate invariant solutions corresponding to the perturbed Fisher equation, Zeldovich equation, and Newell-Whitehead-Segel (NWS) equation will be determined.
2.1. Exact Symmetries of the Perturbed Fick Second Law
2.2. Exact Invariant Solutions
In this part, we compute some exact invariant solutions corresponding to the resulting infinitesimal generators.
Case 1. Consider the symmetry operator X = cX1 + X2, where c is a constant.
Now taking into account [2–4], by applying the Lie symmetry reduction technique the corresponding exact and approximate invariant solutions will be obtained as follows. The characteristic equation associated with the symmetry generator X is given by dx/c = dt/1 = du/0. By solving the above equation, the following Lie invariants resulting: x − ct = y, u = v(y). By substituting these invariants into (7) we obtain: εv′′(y) + cv′(y) = 0. Consequently, by solving the above resulting ODE, the following solution is deduced for (7): u(x, t) = c1 + c2exp (−c(x − ct)/ε).
Case 2. For the symmetry generator X3, the corresponding characteristic equation is dx/x = dt/2t = du/0. Thus, these Lie invariants are determined: u = v(y), y = x2/t. By substituting the above invariants into (7) the following ODE is inferred: 4εyv′′(y) + v′(y)(2ε + y) = 0. Hence, another solution is deduced for (7): , where c1 and c2 are arbitrary constants and erf is the error function given by .
2.3. Perturbed Fisher′s Equation
Now by acting the second prolongation of the symmetry generator (8) on the perturbed Fisher equation and solving the resulting determining equations, it is deduced that ξ = c2, τ = c1, and φ = 0, where c1 and c2 are arbitrary constants. Hence, the following exact trivial symmetries are obtained: X1 = ∂x, X2 = ∂t. For the infinitesimal symmetry generator X = c∂x + ∂t, the corresponding characteristic equation is given by dx/c = dt/1 = du/0.
2.3.1. Approximate Symmetries of the Perturbed Fisher Equation
In this section, we apply the method proposed in [7] in order to analyze the problem of approximate symmetries of Fisher′s equation with an accuracy of order one. First, we expand the dependent variable in perturbation series, and then we separate terms of each order of approximation, so that a system of equations will be formed. The derived system is assumed to be coupled and its exact symmetry will be considered as the approximate symmetry of the original equation.
Definition 1. The approximate symmetry of Fisher′s equation with a small parameter is called the exact symmetry of the system of differential equations (15).
Now, consider the following symmetry transformation group acting on the PDE system (15):
2.3.2. Approximate Invariant Solutions
In this section, the approximate solutions will be obtained from the approximate symmetries which resulted in the previous section.
Case 1 (X = x∂x − 2w∂w). By applying the classical Lie symmetry group method, the corresponding characteristic equation is dx/x = dt/0 = dv/0 = dw/(−2w). So that the resulted invariants are t = T, v = f(T), and w = g(T)/x2. After substituting these invariants into the first equation of the PDE system (15), we have
Case 2. Now consider X = X1 + cX2, where c is an arbitrary constant. The corresponding characteristic equation is defined by dx/c = dt/1 = dv/0 = dw/0. So, the associated Lie invariants are x − ct = y, v = f(y), and w = g(y). By substituting the resulting invariants into the first equation of the PDE system (15), the reduced equation is determined as cf′(y) + af(y)(1 − f(y)) = 0. Therefore, we have v(x, t) = 1/(c1ea(x−ct)/c + 1). Now by substituting v(x, t) into the second equation of the PDE system (15), it is inferred that
2.4. Perturbed Zeldovich Equation
By acting the symmetry operator (8) on the perturbed Zeldovich equation (26) and solving the resulted determining equations we have ξ = c1, τ = c2, φ = 0, where c1 and c2 are arbitrary constants. Hence, the corresponding infinitesimal symmetries will be spanned by these two vector fields X1 = ∂t and X2 = ∂x. The characteristic equation corresponding to the symmetry operator X = X1 + cX2 is given by dx/c = dt/1 = du/0. Hence, the Lie invariants are obtained as x − ct = y and u = f(y). After substituting these invariants into (26), the reduced equation is inferred as εf′′(y) + cf′(y)(1 − f(y)) = 0.
2.4.1. Approximate Symmetries of the Zeldovich Equation
2.4.2. Approximate Invariant Solutions
2.5. Perturbed NSW Equation
3. Optimal System of the KPP Equation
[Xi, Xj] | X1 | X2 | X3 |
---|---|---|---|
X1 | 0 | 0 | 0 |
X2 | 0 | 0 | X2 |
X3 | 0 | −X2 | 0 |
It is worth noting that each s-parameter subgroup corresponds to one of the group invariant solutions. Since any linear combination of the infinitesimal generators is also an infinitesimal generator, there are always infinitely many distinct symmetry subgroups for a differential equation. But it is not practical to find the list of all group invariant solutions of a system. Consequently, we need an effective and systematic means of classifying these solutions, leading to an “optimal system” of group invariant solutions from which every other such solutions can results. Let G be a Lie group and let g denote its Lie algebra. An optimal system of s-parameter subgroups is indeed a list of conjugacy inequivalent s-parameter subgroups with the property that any other subgroup is conjugate to precisely one subgroup in the list. Similarly, a list of s-parameter subalgebras forms an optimal system if every s-parameter subalgebra of g is equivalent to a unique member of the list under some element of the adjoint representation: , with g ∈ G.
According to the proposition (3.7) of [3], the problem of finding an optimal system of subgroups is equivalent to that of obtaining an optimal system of subalgebras. For one-dimensional subalgebras, this classification problem is essentially the same as the problem of classifying the orbits of the adjoint representation. Since each one-dimensional subalgebra is determined by a nonzero vector in g, this problem is attacked by the naive approach of taking a general element X in g and subjecting it to various adjoint transformations so as to simplify it as much as possible. Thus we will deal with the construction of an optimal system of subalgebras of g. The adjoint action is given by the Lie series: Ad(exp (εXi, Xj) = Xj − ε[Xi, Xj] + ε2/2)[Xi, [Xi, Xj]]−⋯, where [Xi, Xj] denotes the Lie bracket, ε is a parameter, and i, j = 1,2, 3 [3].
The adjoint representation Ad corresponding to the resulted approximate symmetries is presented in Table 2 with the (i, j)th entry indicating Ad(exp (εxi)xj).
Ad | X1 | X2 | X3 |
---|---|---|---|
X1 | X1 | X2 | X3 |
X2 | X1 | X2 | X3 − εX2 |
X3 | X1 | eεX2 | X3 |
Therefore, we can state the following theorem.
Theorem 2. An optimal system of one-dimensional subalgebras corresponding to the Lie algebra of approximate symmetries of the KPP equation is generated by (i) X1, (ii) αX1 + X2, and (iii) βX1 + X3, where α, β ∈ R are arbitrary constants.
Proof. Let be a linear map defined by X → Ad(exp (siXi)X) for i = 1, …, 3. The matrices of with respect to the basis {X1, X2, X3} are given by
If a2 ≠ 0, then we can make the coefficients of X3 vanish by by setting s1 = a3/a2. Scaling X if necessary, we can assume that a2 = 1. So, X is reduced to the case (ii). If a2 = 0 and a3 ≠ 0, by scaling we insert a3 = 1. So X is reduced to the case (iii). Finally, if a2 = a3 = 0, then X is reduced to the case (i). There are not any more possible cases for investigating and the proof is complete.
Theorem 3. If u = f(t, x) + εg(t, x) is a solution of the KPP equation, so are the following functions:
4. Conclusion
The investigation of the exact solutions of nonlinear PDEs plays an essential role in the analysis of nonlinear phenomena. Lie symmetry method greatly simplifies many nonlinear problems. Exact solutions are nevertheless hard to investigate in general. Furthermore, many PDEs in application depend on a small parameter; hence it is of great significance and interest to obtain approximate solutions. Perturbation analysis method was thus developed and it has a significant role in nonlinear science, particularly in obtaining approximate analytical solutions for perturbed PDEs. This procedure is mainly based on the expansion of the dependent variables asymptotically in terms of a small parameter. The combination of Lie group theory and perturbation theory yields two distinct approximate symmetry methods. The first method due to Baikov et al. generalizes symmetry group generators to perturbation forms [5, 6]. The second method proposed by Fushchich and Shtelen [7] is based on the perturbation of dependent variables in perturbation series and the approximate symmetry of the original equation is decomposed into an exact symmetry of the system resulting from the perturbation. Taking into account the comparison in [11] the second method is superior to the first one.
As it is well known, the solutions of nonlinear reaction-diffusion equations represent a wide class of behaviors, including the formation of wave-like phenomena and traveling waves as well as other self-organized patterns. In this paper we have comprehensively analyzed the approximate symmetries of a significant class of nonlinear reaction-diffusion equations called Kolmogorov-Petrovsky-Piskounov (KPP) equation. For this purpose, we have concentrated on four particular and important forms of this equation including Fick′s second law, Fisher′s equation, Zeldovich equation, and Newell-Whitehead-Segel (NWS) equation. It is worth mentioning that in order to calculate the approximate symmetries corresponding to these equations, we have applied the second approximate symmetry method which was proposed by Fushchich and Shtelen. Meanwhile, we have constructed an optimal system of subalgebras. Also, we have obtained the symmetry transformations and some invariant solutions corresponding to the resulted symmetries.
Acknowledgment
The authors wish to thank Miss Fatemeh Ahangari for careful reading and useful suggestions.