In this paper, a detailed analysis of an important nonlinear model system, the two dimensional generalized Kuramoto-Sivashinsky (2D gKS) equation, is presented by group analysis.
The basic Lie symmetry method is applied in order to determine the general symmetry group of our analyzed nonlinear model.
The symmetry group of the equation and some results related to the algebraic structure of the Lie algebra of symmetries are obtained. Also, a complete classification of the subalgebras of the symmetry algebra is resulted.
It is proved that the Lie algebra of symmetries admits no three dimensional subalgebra. Mainly, all the group invariant solutions and the similarity reduced equations associated to the infinitesimal symmetries are obtained.
Keywords:Two dimensional generalized Kuramoto-Sivanshsky (2D gKS) equation; Lie symmetry method; Invariant solutions; Optimal system; Similarity reduced equations
The idea of studying the differential equations by applying the transformation groups implied a new theory: the symmetry group theory, which is due to Sophus Lie . This method, the so called classical Lie method of infinitesimal transformations, has been applied last year to important partial differential equations (PDEs) which arise from mathematics and physics. Indeed, the symmetry group of a PDEs system can be regarded as the largest (connected) local Lie group of transformations acting on the space of the independent and dependent variables of the system, with an important property of conserving the set of solutions. This group in the Lie’s theory is consists of geometric transformations which act on the set of solutions by transforming their graphs. A lot of properties both of the system and their solutions can be implied from the knowledge of the symmetry group. Determining the group invariant solutions, construction of new solutions for the system from the known ones, classification of the group invariant solutions, reduction of the order of ordinary differential equations, detection of linearizing transformations, and mapping solutions to other solutions are the other important applications of Lie groups in the theory of differential equations. For many other applications of Lie symmetries refer to [2-5].
In this paper, we analyze the problem of symmetries of the two-dimensional generalized Kuramoto-Sivashinsky (2D gKS) equation:
where is the Laplacian in two dimensions and already transformed with to a coordinate system with constant speed c, x, and z are streamwise and spanwise surface coordinates, respectively, and denotes the local film thickness .
In the work of Toh et al. , the original equation was presented as a model system to study the pattern formation in nonlinear systems with dispersion and dissipation. More generally, in the strongly dispersive limit, Equation (1) describes a variety of physical phenomena that involve localized structures in two dimensions including Rossby waves, solitary vortices in plasma, magmons in magma segregation in earth’s mantle, and localized rolls in nematic crystals (see  and the references therein). In the context of thin liquid films, the 2D gKS equation has been derived by Frenkel and Indireshkumar  for a film falling down a vertical plane assuming strong face tension and near critical conditions. However, for the same problem, different limits of Equation (1) were obtained in [9-11].
The structure of the present paper is as follows: In section 2, using the basic Lie symmetry method, the most general Lie point symmetry group of the 2D gKS equation is determined. In section 3, some results obtained from the algebraic structure of the Lie algebra of symmetries are given. Section 4 is devoted to obtaining the one-parameter subgroups and the most general group-invariant solutions of 2D gKS equation. In section 5, the classification of the subalgebras of the 2D gKS equation symmetry Lie algebra is presented. In section 6, the Lie invariants and the similarity solutions of the analyzed model are computed, and its reduced form corresponding to the infinitesimal symmetries are determined. Some concluding remarks are mentioned at the end of the paper.
Lie symmetries of the 2D gKS equation
In this section, we will perform the Lie group method for Equation (1). Firstly, let us consider a one-parameter Lie group of infinitesimal transformation:
The fourth prolongation of V is the vector field
By theorem (6.5) in the work of Olver , the invariance condition for the 2D gKS equation is given by the relation:
The invariance condition in Equation (5) is equivalent with the following equation:
In substituting Equation (4) into invariance condition in Equation (6), we are left with a polynomial equation involving the various derivatives of H(x, z, and t) whose coefficients are certain derivatives of , , , and . Since , , , and depend only on x, z, t, and H, we can equate the individual coefficients to zero, leading to the complete set of determining equations:
By solving this system of PDEs, we find that:
The infinitesimal generators of every one-parameter Lie group of point symmetries of the 2D gKS equation are:
The commutator table of symmetry generators of the 2D gKS equation is given in Table 1, where the entry in the row and column is defined as
Table 1. Commutation relations satisfied by infinitesimal generators
The structure of the Lie algebra of symmetries
In this part, we determine the structure of symmetry Lie algebra of the 2D gKS equation. The g has no non-trivial Levi decomposition in the form , because g has no any non-trivial radical, i.e., if r be the radical of g, then . The Lie algebra g is solvable and non-semisimple. It is solvable, because if , we have:
is degenerated. Taking into account the table of commutators, g has two abelians, and four and two dimensional subalgebras which are spanned by and , respectively, such that the first one is an ideal in g.
Symmetry transformations and group invariant solutions of 2D gKS equation
The Equation (1) can be regarded as a submanifold of the jet space . Thus, in order to obtain the group transformation which is generated by the infinitesimal generators for , it is necessary to solve the following four systems of differential equations:
Recall that generally, to each one-parameter subgroups of the full symmetry group of a system, there will correspond a family of solutions called invariant solutions. Consequently, we can state the following theorem:
Now, the general group of symmetries can be obtained by considering a general linear combination of the given vector fields. Particularly, if G is the action of the symmetry group near identity, it can be represented in the form . Consequently, from the above theorem it is deduced that:
Classification of subalgebras for the 2D gKS equation
The main motivation for computing the symmetries of a differential equation is the search for the so called invariant solutions. It is well known that the problem of classifying invariant solutions is equivalent to the problem of classifying the subgroups of the full symmetry group under conjugation. Let H and be connected, dimensional Lie subgroups of the Lie group G with corresponding Lie subalgebras h and of the Lie algebra g of G. Then are conjugate subgroups if and only are conjugate subalgebras. Thus, the problem of finding an optimal system of subgroups is equivalent to that of finding an optimal system of subalgebras, and thus, we concentrate on it [5,13]. The latter problem tends to determine a list of conjugacy inequivalent subalgebras with the property that any other subalgebra is equivalent to a unique member of the list under some element of the adjoint representation for some element of a considered Lie group.
Optimal system of one-dimensional subalgebras of the 2D gKS equation
In fact, for one-dimensional subalgebras, the classification problem is essentially the same as the problem of classifying the orbits of the adjoint representation. If we take only one representative from each family of equivalent subalgebras, an optimal set of subalgebras is created. The corresponding set of invariant solutions is then the minimal list from which we can get all other invariant solutions of one-dimensional subalgebras simply via transformations.
where is the commutator for the Lie algebra, is a parameter, and (). In Table 2, all the adjoints are representations of the 2D gKS Lie group, with the entry indicating . Therefore, we can state the following theorem:
Table 2. Adjoint representation generated by the basis symmetries of the 2D gKS Lie algebra
An optimal system of one-dimensional subalgebras of the 2D gKS equation Lie algebra g is given by
Now, we can simplify V as follows:
At this stage, by acting adjoint representations on , we find that no more simplification of is possible. Thus, each of and are arbitrary. By scaling if necessary, we can assume that . This assumption suggests Case (1).
Two-dimensional optimal system
The next step is constructing the two-dimensional optimal system, i.e., the classification of two-dimensional subalgebras of g. This process is performed by selecting one of the vector fields as stated in theorem (5.1). Let us consider (or ). Corresponding to it, a vector field , where ’s are smooth functions of is chosen, so we must have:
Equation (13) leads us to the system
The solutions of Equation (14) give one of the two-dimensional generator, and the second generator is ors if selected. After the construction of all two-dimensional subalgebras, for every vector fields of theorem 6, they need to be simplified by the action of adjoint matrices (5.11) in the manner analogous to the way of one-dimensional optimal system. Hence, we can state the following theorem:
An optimal system of two-dimensional Lie algebra of 2D gKS equation is provided by those generated by
Three-dimensional optimal system
This system can be developed by the method of the expansion of the two-dimensional optimal system. For this, we take any of the two-dimensional subalgebras in Equation (15); let us consider the first two vector fields of Equation (15) and call them and ; thus, we have a subalgebra with basis ; and we should find a vector field , where ’s are smooth functions of , such that the triple generates a basis of a three-dimensional algebra. For this purpose, it is necessary and sufficient that the vector field Y satisfies the following equations:
and following from Equation (16), we obtain the system
Assume that be a three-dimensional Lie subalgebra of g, by performing the above procedure for all two couples of vector fields in Equation (15); hence, it is concluded that . By a suitable change of the bases for , we can assume that so that is not a three-dimensional subalgebra. Thus, we infer that:
Similarity reduction of (2D)(KS) equation
The 2D gKS Equation (1) is expressed in the coordinates , so we should search for the form of this equation in specific coordinates in order to reduce it. The coordinates will be constructed by looking for independent invariants corresponding to the infinitesimal symmetry generators. Hence, by applying the chain rule, the expression of the equation in the new coordinate leads to the reduced equation. We can now compute the invariants associated with the symmetry operators. They can be obtained by integrating the characteristic equations. For example for the operator, ,this means:
The corresponding invariants are as follows:
Taking into account the last invariant, we assume a similarity solution of the form:
Having determined the infinitesimals, the Lie invariants and similarity solutions , , , and are listed in Table 3. The similarity reduced forms of the 2D gKS equation associated to symmetry generators are listed in Table 4.
Results and Discussion
In this paper, following the classical Lie method, the preliminary group classification and the algebraic structure of the symmetry group for the 2D gKS equation are obtained. The classification is deduced by constructing an optimal system with the aid of Theorems 5.1 and 5.2. The result of the work is summarized in Table 3. The corresponding reduced equations are presented in Table 4.
In this paper, the criterion of invariance of the equation under the infinitesimal prolonged infinitesimal generators is applied in order to determine the most general Lie point symmetry group of a well-known nonlinear dynamical system: 2D gKS equation. The algebraic structure of g, the Lie algbera of symmetries of the analyzed model is discussed and it is proved that g is a solvable, non-semisimple algebra. The one-parameter groups and the symmetry transformations associated to symmetry generators are obtained. Also, a complete classification of the subalgebras of g is presented, and it is shown that g has no three-dimensional subalgebra. Mainly, the Lie invariants and similarity reduced equations of 2D gKS equation corresponding to infinitesimal symmetries are obtained.
In this paper, the basic Lie symmetry method is performed for the comprehensive analysis of the 2D gKS equation.
The authors declare that they have no competing interests.
MN conceived of the study, and participated in its design and coordination. FA carried out the related physical studies and numerical computations, participated in the design and coordination of the study and drafted the manuscript. All authors read and approved the final manuscript.
The authors gratefully acknowledge the financial and other supports of this research, provided by the Islamic Azad University, Karaj Branch, Iran.
Saprykin, S, Demekhin, EA, Kalliadasis, S: Two-dimensional wave dynamics in thin films. I. Stationary solitary pulses. Phys. of Fluids. 17, 117105 (2005). Publisher Full Text
Frenkel, L, Indireshkumar, K: Wavy film flows down an inclined plane: perturbation theory and general evolution equation. Phys. Rev. E. 60, 4143 (1999). Publisher Full Text
Lin, SP, Krishna, MVG: Stability of liquid film with respect to initially finite three-dimensional disturbances. Phys. Fluids. 20, 2005 (1977). Publisher Full Text
Roskes, GJ: Three-dimensional long waves on liquid film. Phys. Fluids. 13, 1440 (1970). Publisher Full Text