With the aid of symbolic computation by Maple, we extend the application of Virasoro-type symmetry prolongation method to coupled systems with two-component nonlinear equations. New nonlinear systems admitting infinitely dimensional centerless Virasoro-type symmetry algebra are constructed. Taking one of them as an example, we present some group-invariant solutions to one of the new model systems.

1. Introduction

Integrable models such as the KdV equation, the KP equation, the nonlinear Schrödinger equation, the NNV equation, the sine-Gordon equation, and the Toda lattice have played more and more important roles in almost all natural sciences. It becomes one of the most fundamental problems to seek for as much as possible new nonlinear equations and systems with some nice properties including Lax pair, Painlevé property, infinite number of conservation laws, and bi-Hamiltonian structures.

There exist many powerful methods to construct nonlinear equations and systems like the multiscale method, symmetry constraint method, and conformal invariant method [14]. Among these methods developed recently, the Virasoro-type symmetry prolongation (VSP) method is found to be very effective. Based on the fact that all the known ()-dimensional integrable models possess the following centerless Virasoro-type subalgebra: where and are arbitrary functions of the same argument and there are no known nonintegrable models owning such type symmetry algebra, Lou and Hu introduced an idea that if an -independent model possesses the Virasoro-type symmetry algebra (1), the model is Virasoro integrable [5]. By using this theory and selecting the special realizations, some new ()-dimensional and ()-dimensional Virasoro integrable models have been derived [68].

However, the VSP method and concrete realizations discussed above all belong to single equations. To our knowledge, there are few results concerning the construction of coupled systems with two-component nonlinear equations [9]. Therefore we extend the applications of this method to construct several ()-dimensional Virasoro integrable systems by selecting special realization of algebra (1).

The remainder of this paper is organized as follows. The general theory of the VSP method for nonlinear systems is presented in Section 2. In Section 3, some ()-dimensional Virasoro integrable systems are constructed by choosing appropriate realizations. For a concrete example, the one-dimensional optimal system and group-invariant solutions to system (21) are given in Section 4. The last section contains some concluding remarks.

2. The Generalized VSP Method

Firstly, let us give a brief account of the generalized VSP method for nonlinear systems. We consider the vector field with the following form: We define the functions , , , , and as follows: where , , , , , , are functions of the variables and should be selected to satisfy the commutation relation (1). In order to construct invariant th-order partial differential equations, we should calculate the th prolongation of the vector field firstly. The general formula for the th prolongation of a vector field is given by with where , , and are total derivatives with respect to , , , respectively. Thus we can calculate the th prolongation of a concrete vector . It is well known that the invariant system should have the following form: where satisfies In order to construct group invariant equations, we should solve the corresponding characteristic equations After solving the above system, we can obtain a set of elementary invariants The general invariant system has the following form: According to the definition of the Virasoro integrability, the model should be -independent. Therefore, when we find out the -independent group invariants, we can construct the new Virasoro integral models from (10). Compared with the VSP method (see [7]), this method can be used to deal with coupled systems with two-component nonlinear equations.

3. Applications

In this section, we will construct several coupled systems admitting Virasoro-type symmetry algebra by selecting concrete realization of (1). The realization we consider is where , , and denote the first, second, and third order derivatives of function with respect to , respectively, and , , are arbitrary constants. It is easy to verify that is a Virasoro type symmetry when . According to the prolongation formula (4), one can obtain the corresponding th prolongation of with the aid of symbolic computation by Maple: The corresponding characteristic equations of are After solving the above characteristic equations, we can obtain the explicit elementary invariants of and some of them are listed as follows: Substituting the above invariants into (10), one can establish various ()-dimensional nonlinear systems. Generally speaking, it is difficult to find out all of the -independent invariant systems. Here we only list some concrete examples.

Case 1. When selecting , , , , and , we obtain the following group invariant system: Here and hereafter , , are arbitrary constants. From the above invariant system, we deduce the corresponding Virasoro -independent integrable system: Taking , , and , the above system is changed to be the asymmetry NNV equation which is considered as a model for an incompressible fluid and where and are the components of the velocity.

Case 2. Let , , , . We find the following group invariant system: from which we construct the Virasoro -independent integrable system as follows:

Case 3. When choosing , , , one can arrive at the following group invariant system: Using the above system, we construct the corresponding Virasoro -independent integrable system as follows: In the next section, we will find the group invariant solutions to the special case of the above system which reads

Case 4. Taking , , and , we have the following group invariant system: from which one can construct the Virasoro -independent integrable system as follows:

4. Group-Invariant Solutions of System (21)

Since group-invariant solutions of nonlinear models play an important role in simulation of natural phenomena [1016], therefore we construct the group-invariant solutions to the system (21) as an example. We utilize the classical Lie symmetry group method to construct corresponding infinitesimals admitted by system (21) firstly.

Theorem 1. The symmetries of system (21) form a Lie algebra generated by the following vector fields: where and are arbitrary functions of .

We consider three special cases of functions and .

Case 5. When , the symmetry generators of system (21) are reduced to The nonzero commutators of , , , and are With the help of the adjoint representation: the adjoint action of the Lie group on the Lie algebra is listed in Table 1.
Applying the method initiated by Ovsiannikov [17], we obtain the following theorem.

Theorem 2. The one-dimensional optimal system of is generated by where , are nonzero real constants.

Therefore, we obtain 14 nonequivalent one-dimensional subalgebras and classify the group-invariant solutions into 14 nonequivalent types. After solving the characteristic equations, we can obtain the invariants and invariant forms. Substituting the invariant forms into system (21), we can reduce the original ()-dimensional system to ()-dimensional system. Since it is a tough task to find all solutions out for the every 14 nonequivalent subalgebras, we just show the results for the cases that we can deal with and list the solutions to system (21) in Table 2. Here and hereafter , , and are arbitrary functions with respect to their variables.

Case 6. When , the symmetry generators of system (21) are reduced to

In this case, the optimal system is the same as that in Theorem 2 and we can find some new solutions which are listed in Table 3.

Case 7. When , , the symmetry generators of system (21) are

By simple calculation, we obtain that the optimal system in this case is the same as that in Theorem 2. And we list the new solutions in Table 4.

5. Concluding Remarks

In this paper, we extend the Virasoro-type symmetry prolongation approach from single equations to coupled systems of two-component nonlinear equations. Four types of new nonlinear Virasoro integrable systems are constructed. Furthermore, we obtain the one-dimensional optimal system and group-invariant solutions to one of the model systems, namely, system (21).

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.


Parts of this research were done when Lizhen Wang was visiting the Institute of Mathematical Sciences (IMS) of the Chinese University of Hong Kong. This work is supported by the National Natural Science Foundations of China (Grant nos. 11201371, 11371323, 11101332, and 11071195), the National Natural Science Foundation of Shaanxi Province (Grant no. 2012JQ1013), and the Program of Shaanxi Provincial Department of Education (Grant no. 11JK0482).