# New Nonlinear Systems Admitting Virasoro-Type Symmetry Algebra and Group-Invariant Solutions

Authors: Lizhen Wang; Qing Huang; Yanmei Di
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

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.


---

## Body

## 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 [1–4]. 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 (2+1)-dimensional integrable models possess the following centerless Virasoro-type subalgebra:
(1)[σ(f1),σ(f2)]=σ(f˙1f2-f˙2f1),
where f1 and f2 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 f-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 (2+1)-dimensional and (3+1)-dimensional Virasoro integrable models have been derived [6–8].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 (2+1)-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 Section2. In Section 3, some (2+1)-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:(2)V→=X(x,y,t,u,v)∂x+Y(x,y,t,u,v)∂y+T(x,y,t,u,v)∂t+U(x,y,t,u,v)∂u+V(x,y,t,u,v)∂v.
We define the functions T, X, Y, U, and V as follows:
(3)T=f(t),{X,Y,U,V}={∑i=1n‍f(i)Xi,∑i=1n‍f(i)Yi,∑i=1n‍f(i)Ui,∑i=1n‍f(i)Vi},hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhn=1,2,3,…,
where f(i)=dif/dti, Xi, Yi, Ui, Vi, i=1,2,3,…, are functions of the variables {x,y,t,u,v} and should be selected to satisfy the commutation relation (1). In order to construct invariant kth-order partial differential equations, we should calculate the kth prolongation of the vector field V→ firstly. The general formula for the kth prolongation of a vector field V→ is given by
(4)pr(k)V→=V→+Ux∂ux+Uy∂uy+Ut∂ut+Vx∂vx+Vy∂vy+Vt∂vt+⋯+∑1≤i+j+l≤k‍Uxiyjtl∂uxiyjtl+∑1≤i+j+l≤k‍Vxiyjtl∂vxiyjtl,
with
(5)Uxiyjtl=DxUxi-1yjtl-(DxX)uxiyjtl-(DxY)uxi-1yj+1tl-(DxT)uxi-1yjtl+1=DyUxiyj-1tl-(DyX)uxi+1yj-1tl-(DyY)uxiyjtl-(DyT)uxiyj-1tl+1=DtUxiyjtl-1-(DtX)uxi+1yjtl-1-(DtY)uxiyj+1tl-1-(DtT)uxiyjtl,Vxiyjtl=DxVxi-1yjtl-(DxX)vxiyjtl-(DxY)vxi-1yj+1tl-(DxT)vxi-1yjtl+1=DyVxiyj-1tl-(DyX)vxi+1yj-1tl-(DyY)vxiyjtl-(DyT)vxiyj-1tl+1=DtVxiyjtl-1-(DtX)vxi+1yjtl-1-(DtY)vxiyj+1tl-1-(DtT)vxiyjtl,
where Dx, Dy, and Dt are total derivatives with respect to x, y, t, respectively. Thus we can calculate the kth prolongation of a concrete vector V→. It is well known that the invariant system should have the following form:
(6)Δ(x,y,t,u,v,ux,vx,uy,vy,ut,vt,…,uxiyjtl,vxiyjtl,…)=0,
where Δ satisfies
(7)pr(k)V→(Δ)|Δ=0=0.
In order to construct group invariant equations, we should solve the corresponding characteristic equations
(8)dtT=dxX=dyY=duU=dvVhh=⋯=duxiyjtlUxiyjtl=dvxiyjtlVxiyjtl=⋯.
After solving the above system, we can obtain a set of elementary invariants
(9)Im(x,y,t,u,v,…,uxiyjtl,vxiyjtl)≡Im(1≤i+j+l≤k,m=1,2,3,…).
The general V→ invariant system has the following form:
(10)H1(I1,I2,I3,…,Ir,…)=0,H2(I1,I2,I3,…,Ir,…)=0.
According to the definition of the Virasoro integrability, the model should be f-independent. Therefore, when we find out the f-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
(11)V→=f∂t+C1f˙x∂x+C2f˙y∂y+C3f˙p∂p+(C4f˙r+C5f¨x)∂r,
where f˙, f¨, and f⃛ denote the first, second, and third order derivatives of function f=f(t) with respect to t, respectively, and Ci, i=1,…,5, are arbitrary constants. It is easy to verify that V→ is a Virasoro type symmetry when C1-C4=1. According to the prolongation formula (4), one can obtain the corresponding kth prolongation of V→ with the aid of symbolic computation by Maple:
(12)pr(k)V→=V→+(C3-C1)f˙px∂px-(f˙rx-C5f¨)∂rx+(C3-C2)f˙py∂py+(C4-C2)f˙ry∂ry+[(C3-1)f˙pt+C3pf¨-C1f¨xpx-C2f¨ypy]∂pt+[(C4-1)f˙rt+C4f¨r+C5f⃛x-C1f¨xrx-C2f¨yry]×∂rt+(C3-2C1)f˙pxx∂pxx-(1+C1)f˙rxx∂rxx+(C3-C2-C1)f˙pxy∂pxy-(1+C2)f˙rxy∂rxy+[(C3-C1-1)f˙pxt+(C3-C1)f¨pxhhhhhh-C1f¨xpxx-C2f¨ypxy]∂pxt+[-2f˙rxt-f¨rx+C5f⃛-C1f¨xrxx-C2f¨yrxy]∂rxt+(C3-2C2)pyyf˙∂pyy+(C4-2C2)ryyf˙∂ryy+[(C3-C2-1)f˙pyt+(C3-C2)f¨pyhhhhhh-C1f¨xpxy-C2f¨ypyy]∂pyt+[(C4-C2-1)f˙ryt+(C4-C2)f¨ryhhhhhh-C1xf¨rxy-C2f¨yryy]∂ryt+[(C3-2)f˙ptt+(2C3-1)f¨pt+C3pf⃛-C1xf⃛pxhhhhhh-2C1xf¨pxt-C2yf⃛py-2C2yf¨pyt]∂ptt+[(C4-2)f˙rtt+(2C4-1)f¨rt+C4rf⃛+C5xf(4)hhhhhh-C1xf⃛rx-2C1xf¨rxt-C2yf⃛ry-2C2yf¨ryt]∂rtt+(C3-3C1)f˙pxxx∂pxxx+(C4-3C1)f˙rxxx∂rxxx+(C3-2C1-C2)f˙pxxy∂pxxy+(C4-2C1-C2)f˙rxxy∂rxxy+[(C3-2C1)f¨pxx+(C3-2C1-1)f˙pxxthhh-C1xf¨pxxx-C2yf¨pxxy]∂pxxt+[(C4-2C1)f¨rxx+(C4-2C1-1)f˙rxxthhh-C1xf¨rxxx-C2yf¨rxxy]∂rxxt+⋯.
The corresponding characteristic equations of pr(k)V→ are
(13)dtf=dxC1f˙x=dyC2f˙y=dpC3pf˙=drC4rf˙+C5xf¨hh=⋯=duxiyjtrUxiyjtr=dvxiyjtrVxiyjtr.
After solving the above characteristic equations, we can obtain the explicit elementary invariants of V→ and some of them are listed as follows:
(14)I1=xf-C1,I2=yf-C2,I3=pf-C3,I4=rf-C4-C5I1f˙,I5=pxf-(C3-C1),I6=rxf-C5f,˙I7=pyf-(C3-C2),I8=ryf-(C4-C2),I9=ptf1-C3-C3I3f˙+C1I1I5f˙+C2I2I7f˙,I10=rtf1-C4-C5I4f˙-12C52I1(f˙)2+C5I1(ff¨-12(f˙)2)-C1I1I6f˙-C2I2I8f˙-12C1I1C5f˙2,I11=pxxf-(C3-2C1),I12=rxxf1+C1,I13=pxyf-(C3-C2-C1),I14=rxyf1+C2,I15=pxtf1+C1-C3-((C3-C1)I5-C1I1I11-C2I2I13)f˙,I16=rxtf2+I6f˙+12C5(f˙)2+C5(ff¨-12(f˙)2)-C1I1I12f˙-C2I2I14f˙,I17=f2C2-C3pyy,I18=f2C2-C4ryy,I19=f1+C2-C3pyt-(C3-C2)I7f˙+C1I1I13f˙+C2I2I17f˙,I20=rytf1+C2-C4-[(C4-C2)I8-C1I1I14-C2I2I18]f˙,I21=pxxxf3C1-C3,I22=rxxxf3C1-C4,I23=pxxyf2C1+C2-C3,I24=rxxyf2C1+C2-C4.
Substituting the above invariants into (10), one can establish various (2+1)-dimensional nonlinear systems. Generally speaking, it is difficult to find out all of the f-independent invariant systems. Here we only list some concrete examples.Case 1.
When selectingC1=1/3, C2=0, C3=-1/3, C4=-2/3, and C5=-1/9, we obtain the following group invariant system:
(15)H1≡I9+I21-3(I4I5+I3I6)+k1I12+k2I132=0,H2≡I8+k3I5+k4I172+k5I18=0.
Here and hereafter ki, i=1,…,5, are arbitrary constants. From the above invariant system, we deduce the corresponding Virasoro f-independent integrable system:
(16)pt+pxxx-3rpx-3prx+k1rxx+k2pxy2=0,ry+k3px+k4pyy2+k5ryy=0.
Taking ki=0, i=1,2,4,5, and k3=-1, the above system is changed to be the asymmetry NNV equation which is considered as a model for an incompressible fluid and where p and r are the components of the velocity.Case 2.
LetC1=2, C2=0, Ci=1, i=3,4,5. We find the following group invariant system:
(17)H1≡I15+I5I6+2I11I4+k1I52+k2I132+k3I142=0,H2≡I9+2I1I5I6-I3I6=0,
from which we construct the Virasoro f-independent integrable system as follows:
(18)pxt+pxrx+2rpxx+k1px2+k2pxy2+k3rxy2=0,pt+2xrxpx-prx=0.Case 3.
When choosingC1=C3=1/2, C2=1, C4=C5=-1/2, one can arrive at the following group invariant system:
(19)H1≡I9+I3I6-2I2I6I7-I1I5I6+k1I7+k2I11=0,H2≡I19-I6I7-I4I13-2I2I6I17+k3I8+k4I17+k5I23=0.
Using the above system, we construct the corresponding Virasoro f-independent integrable system as follows:
(20)pt+prx-2ypyrx-xpxrx+k1py+k2pxx=0,pyt-pyrx-rpxy-2ypyyrx+k3ry+k4pyy+k5pxxy=0.
In the next section, we will find the group invariant solutions to the special case of the above system which reads
(21)pt+prx-2ypyrx-xpxrx=0,pyt-pyrx-rpxy-2ypyyrx=0.Case 4.
TakingCi=-1, i=1,2,3,5, and C4=-2, we have the following group invariant system:
(22)H1≡I9-I3I6+I4I5+I2I6I7+k1I82+k2I32=0,H2≡I20-I6I8-I4I14+I2I6I18+k3I32I82+k4I32=0,
from which one can construct the Virasoro f-independent integrable system as follows:
(23)pt-prx+pxr+yrx+k1ry2+k2p2=0,ryt+rxry-rrxy+yrx+k3ry2+k4p2=0.


## 4. Group-Invariant Solutions of System (21)

Since group-invariant solutions of nonlinear models play an important role in simulation of natural phenomena [10–16], 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 h1 generated by the following vector fields:
(24)V1=p∂p,V2=y∂y,V3=x∂p,V4=y∂p,V5=f(t)∂t-f˙(t)r∂r,V6=g(t)x∂x+2yg(t)∂y+g(t)p∂p+(g(t)r-g˙(t)x)∂r,
where f(t) and g(t) are arbitrary functions of t.We consider three special cases of functionsf(t) and g(t).Case 5.
Whenf(t)=0, the symmetry generators of system (21) are reduced to
(25)V1=p∂p,V2=y∂y,V3=x∂p,V4=y∂p,(26)V5=g(t)x∂x+2yg(t)∂y+g(t)p∂p+(g(t)r-g˙(t)x)∂r.
The nonzero commutators of V1, V2, V3, and V4 are
(27)[V1,V3]=-V3,[V1,V4]=-V4,[V2,V4]=12V4,[V3,V1]=V3,[V4,V1]=V4,[V4,V2]=-12V4.
With the help of the adjoint representation:
(28)Ad(exp⁡(βV))W=W-β[V,W]+β22[V,[V,W]]-⋯,
the adjoint action of the Lie group H1 on the Lie algebra h1 is listed in Table 1.
Applying the method initiated by Ovsiannikov [17], we obtain the following theorem.Table 1
The adjoint representation ofH1 on h1.
Ad
(
ε
·
)
V
1
V
2
V
3
V
4
V
5
V
1
V
1
V
2
e
ε
V
3
e
ε
V
4
V
5
V
2
V
1
V
2
V
3
cos
⁡
ε
2
V
4
V
5
V
3
V
1
-
ε
V
3
V
2
V
3
V
4
V
5
V
4
V
1
-
ε
V
4
V
2
+
ε
2
V
4
V
3
V
4
V
5
V
5
V
1
V
2
V
3
V
4
V
5Theorem 2.
The one-dimensional optimal systemθ1 of h1 is generated by
(29)r1=V3,r2=-V3,r3=V3+V5,r4=-V3+V5,r5=V2,r6=V2+V3,r7=V2-V3,r8=V2+αV5,r9=V2+V3+αV5,r10=V2-V3+αV5,r11=V1,r12=V1+αV5,r13=V1+αV2,r14=V1+αV2+βV5,
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 (2+1)-dimensional system to (1+1)-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 h(·), F(·), and k(·,·) are arbitrary functions with respect to their variables.Table 2
Solutions to system (21) of Case 5.
r
i
g
(
t
)
p
(
x
,
y
,
t
)
r
(
x
,
y
,
t
)
r
3
1
1
y
+
2
C
1
+
1
2
x
h
(
t
)
y
r
6
1
±
(
x
ln
⁡
y
-
2
x
ln
⁡
x
+
C
1
x
)
k
(
y
,
t
)
x
r
6
1
x
ln
⁡
y
+
2
e
∫
-
h
(
t
)
d
t
∫
t
e
h
(
a
)
x
/
∫
-
h
(
t
)
d
t
d
a
+
e
-
∫
‍
h
(
t
)
d
t
F
(
e
x
/
e
∫
-
h
(
t
)
d
t
)
h
(
t
)
x
r
7
1
-
x
ln
⁡
y
-
2
e
∫
-
h
(
t
)
d
t
∫
t
e
h
(
a
)
x
/
∫
-
h
(
t
)
d
t
d
a
+
e
-
∫
h
(
t
)
d
t
F
(
e
x
/
e
∫
-
h
(
t
)
d
t
)
h
(
t
)
x
r
13
1
y
1
/
α
h
(
t
)
x
h
˙
(
t
)
(
2
/
α
-
1
)
h
(
t
)
+
k
(
y
,
t
)
r
3
t
x
ln
⁡
x
t
+
C
1
x
+
C
2
y
1
/
2
+
x
h
(
t
)
-
x
ln
⁡
x
+
x
t
+
x
t
h
˙
(
t
)
+
F
(
t
)
yCase 6.
Wheng(t)=0, the symmetry generators of system (21) are reduced to
(30)V1=p∂p,V2=y∂y,V3=x∂p,V4=y∂p,V5=f(t)∂t-f˙(t)r∂r.In this case, the optimal system is the same as that in Theorem2 and we can find some new solutions which are listed in Table 3.Table 3
Solutions to system (21) of Case 6.
r
i
f
(
t
)
p
(
x
,
y
,
t
)
r
(
x
,
y
,
t
)
r
3
1
x
t
+
F
(
x
)
+
C
1
y
+
C
2
∫
x
x
F
˙
(
x
)
-
C
1
-
F
(
x
)
d
x
+
K
(
y
,
t
)
r
3
t
x
ln
⁡
t
+
F
(
x
)
+
C
1
y
+
C
2
∫
(
x
/
(
x
F
˙
(
x
)
-
C
1
-
F
(
x
)
)
)
d
x
t
+
F
(
y
)
t
r
3
t
2
-
x
t
+
F
(
x
)
+
C
1
y
+
C
2
∫
(
x
/
(
x
F
˙
(
x
)
-
C
1
-
F
(
x
)
)
)
d
x
t
2
+
F
(
y
)
t
2
r
8
1
C
1
x
K
(
x
,
y
α
e
-
t
)
r
8
1
F
(
x
)
h
(
y
α
e
-
t
)
r
8
1
C
1
x
+
C
2
x
C
3
y
e
t
/
2
α
-
x
2
α
C
3
r
8
1
C
1
x
+
C
2
(
y
α
e
-
t
)
C
3
C
3
x
1
-
2
C
3
α
+
h
(
y
α
e
-
t
)
r
8
t
C
1
x
K
(
x
,
y
α
e
-
t
)
t
r
8
t
F
(
x
)
h
(
y
α
e
-
t
)
t
r
8
t
C
3
x
+
C
2
x
C
1
y
t
1
/
2
a
-
x
2
a
C
1
r
8
t
C
2
C
3
x
y
α
C
1
-
t
C
1
C
2
y
α
C
1
(
1
+
2
C
1
α
)
h
(
y
α
/
t
)
-
C
1
x
(
1
+
2
C
1
α
)
t
r
8
t
2
C
1
x
k
(
x
,
y
e
1
/
α
t
)
t
2
r
8
t
2
F
(
x
)
h
(
y
e
1
/
α
t
)
t
2
r
8
t
2
C
1
x
+
C
2
x
C
3
y
e
1
/
2
α
t
-
x
2
C
3
α
t
2
r
8
t
2
C
1
x
+
C
2
(
y
e
1
/
α
t
)
C
3
-
C
3
x
(
2
C
3
-
1
)
α
t
2
+
h
(
y
e
1
/
α
t
)
t
2
r
9
1
x
t
α
+
C
3
x
2
(
y
α
e
-
t
)
1
/
2
α
-
2
x
(
2
ln
⁡
x
-
C
2
)
-
x
4
α
r
9
1
x
t
α
+
(
y
α
e
-
t
)
1
/
(
α
(
2
+
C
4
)
)
+
C
3
x
+
C
4
x
ln
⁡
x
x
4
α
+
h
(
y
α
e
-
t
)
r
9
1
x
(
α
ln
⁡
y
-
2
α
ln
⁡
x
+
C
1
α
)
α
x
h
(
y
α
e
-
t
)
r
9
1
x
t
α
+
(
h
(
y
α
e
-
t
)
-
2
ln
⁡
x
)
x
-
x
2
α
r
12
1
C
3
e
t
x
C
2
(
C
1
x
+
y
)
x
C
2
r
12
1
h
(
x
)
e
α
/
t
∫
h
(
x
)
α
(
x
h
˙
(
x
)
-
h
(
x
)
)
d
x
+
K
(
y
,
t
)
r
12
t
C
3
t
x
C
2
(
C
1
x
+
y
)
x
C
2
t
r
12
t
t
1
/
α
h
(
x
)
∫
h
(
x
)
/
(
α
(
x
h
˙
(
x
)
-
h
(
x
)
)
)
d
x
+
K
(
y
,
t
)
tCase 7.
Whenf(t)=1, g(t)=et, the symmetry generators of system (21) are
(31)V1=p∂p,V2=y∂y,V3=x∂p,V4=y∂p,V5=∂t,V6=et(x∂x+2y∂y+p∂p+(r-x)∂r).By simple calculation, we obtain that the optimal system in this case is the same as that in Theorem2. And we list the new solutions in Table 4.Table 4
Solutions to system (21) of Case 7.
r
i
p
(
x
,
y
,
t
)
r
(
x
,
y
,
t
)
r
3
x
t
+
F
(
x
)
+
C
1
+
C
2
y
∫
x
-
F
(
x
)
-
C
1
+
x
F
′
(
x
)
d
x
+
h
(
y
)
r
4
-
x
t
+
F
(
x
)
+
C
1
+
C
2
y
∫
-
x
-
F
(
x
)
-
C
1
+
x
F
′
(
x
)
d
x
+
h
(
y
)
r
8
C
1
x
K
(
x
,
y
e
t
/
α
)
r
8
F
(
x
)
h
(
y
e
t
/
α
)
r
8
C
3
x
+
C
2
x
1
C
y
e
t
/
2
α
-
x
2
α
C
1
r
8
C
3
x
+
C
2
y
C
1
e
(
C
1
t
)
/
α
C
1
x
α
(
1
-
2
C
1
)
+
F
(
y
e
t
/
α
)
r
9
x
t
α
+
F
(
x
)
∫
x
α
(
-
F
(
x
)
+
x
F
′
(
x
)
)
d
x
+
h
(
y
e
t
/
α
)
r
9
x
t
α
-
2
x
ln
⁡
(
C
3
x
)
+
C
1
x
+
C
3
x
y
e
t
/
α
-
x
2
α
r
9
x
t
α
+
(
(
(
C
2
-
2
)
ln
⁡
x
+
C
1
)
x
e
C
4
/
C
2
-
(
y
e
t
/
α
)
1
/
C
2
)
e
-
C
4
/
C
2
x
α
(
C
2
-
2
)
+
F
(
y
e
t
/
α
)
r
9
x
t
α
+
x
(
ln
⁡
(
y
e
t
/
α
)
+
C
1
-
2
ln
⁡
x
)
x
F
(
y
e
t
/
α
)
r
10
-
x
t
α
+
F
(
x
)
∫
-
x
α
(
-
F
(
x
)
+
x
F
′
(
x
)
)
d
x
+
h
(
y
e
t
/
α
)
r
10
-
x
t
α
+
2
x
ln
⁡
(
C
3
x
)
+
C
1
x
+
C
3
x
y
e
t
/
α
-
x
2
α
r
10
-
x
t
α
+
(
(
(
-
C
2
+
2
)
ln
⁡
x
+
C
1
)
x
e
C
4
/
C
2
-
(
y
e
t
/
α
)
1
/
C
2
)
e
-
C
4
/
C
2
x
α
(
C
2
-
2
)
+
F
(
y
e
t
/
α
)
r
10
-
x
t
α
+
x
(
-
ln
⁡
(
y
e
t
/
α
)
+
C
1
+
2
ln
⁡
x
)
x
F
(
y
e
t
/
α
)
r
12
e
t
/
α
+
C
1
x
+
C
2
y
h
(
y
)
+
x
α
r
14
y
1
/
α
F
(
x
)
(
y
e
α
t
/
β
)
-
1
/
α
∫
F
(
x
)
β
(
x
F
′
(
x
)
-
F
(
x
)
)
d
x
+
h
(
y
e
α
t
/
β
)
r
14
y
1
/
α
(
x
(
α
/
2
-
1
)
C
1
(
C
3
x
C
2
)
(
1
-
α
/
2
)
(
y
e
α
t
/
β
)
α
-
2
/
2
α
+
C
3
x
C
2
(
y
e
α
t
/
β
)
-
1
/
α
)
x
β
(
C
2
-
1
)
r
14
C
1
y
1
/
α
F
(
y
e
α
t
/
β
)


## 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).



---

*Source: 836737-2014-03-03.xml*