arxiv: v1 [nlin.si] 27 Aug 2012

Transcription

1 Characteristic Lie rings and symmetries of differential Painlevé I and Painlevé III equations arxiv: v [nlin.si] 27 Aug 202 O. S. Kostrigina Ufa State Aviation Technical University, 2, K. Marx str., Ufa, Russia, A. V. Zhiber 2 Institute of mathematics with computer centre RAS, 2, Chernyshevsky str., Ufa, Russia, Abstract. Two-component hyperbolic system of equations generated by ordinary differential Painlevé I u yy = 6u 2 +y and Painlevé III yuu yy = yu 2 y uu y +δy +βu+αu 3 +γyu 4 equations are considered, where α,β,γ,δ are complex numbers. The structure of characteristic Lie rings is studied and higher symmetries of Lie-Bäcklund are obtained. Keywords: characteristic vector field, characteristic ring, x and y integrals, higher symmetries. Introduction Characteristic Lie rings and higher symmetries of Lie-Bäcklund for Painlevé I u yy = 6u 2 +y and Painlevé III yuu yy = yu 2 y uu y +δy +βu+αu 3 +γyu 4 2 equations are considered, where α,β,γ,δ are complex numbers. For definition of characteristic Lie ring of ordinary differential equations consider hyperbolic system of eqautions see [] u i xy = Fi x,y,u,u x,u y, i =,2,...,n, u = u,u 2,...,u n. 3 We introduce a set of independent variables u = u x, ū = u y, u 2 = u xx, ū 2 = u yy,... and denote by DD an operator of full differentiation with respect to y x. kostrigina@mail.ru 2 zhiber@mail.ru

2 Definition Function ω = ωx,y,u,u,...,u m is called an x integral of order m of n 2 ω equations 3 if 0 and Dω = 0. Similarly, ω = ωx,y,u,ū,...,ū p is an i= u i m y integral of order p of equations 3, if n 2 ω 0 and D ω = 0. i= Denote an area of locally analytical functions by I, where every function depends on a finite number of variables x,y,ū,u,u,u 2,...,u k,... Operator D acts on functions from I as follows: D = ū i 2 X i +X n+, where X i = ū i X n+ = y +ūi u i +Fi u i ū i p, i =,2,...,n, +DF i +...+D k F i u i 2 u i k +... The x characteristic Lie ring of equations 3 is a ring A generated by vector fields X,X 2,...,X n+. Similarly, the y characteristic Lie ring Ā is defined. Notice that the concept of characteristic vector field first was introduced by the Goursat in [2]. Denote a linear area of commutator of length n, n =,2,3,... by L n. For example L is a linear span of vector fields X,X 2,...,X n+ and L 2 is generated by operators X ij = [X i,x j ], i,j =,2,...,n+ etc. Then the x ring is represented in the form For y characteristic ring Ā we have A = Ā = L i. i= L i. i= In [3] it was conjectured that dimension of linear areas L i L i for integrable equations grows slowly. Further this hypothesis was confirmed by numerous examples of integrable continuous and discrete models. Property of minimal growth became a kind of classification criterion for integrable equations. From [4] it is follows that this property of the ring and the property of existence of hierarchy of higher symmetries for integrable equations are equally universal. Definition 2 Symmetry of equations 3 is a set of functions satisfying the defining equations f i = f i x,y,u,u,...,u r,ū,...,ū s, i =,2,...,n, D Df i = F i u j +Fi D +F ī u j uf j, i =,2,...,n. j 2

3 It is known that any Lie-Bäcklund symmetry f i, i =,2,...,n is represented in the form f i = f i +fi 2, where functionsf i are depends on variablesx,y,u,u,u 2,..., and functionsf2 i are depends on variables x,y,u,ū,ū 2,... And besides f i and fi 2 are symmetries itself. Concept of characteristic Lie ring for a system of ordinary differential equations u i y = fi x,y,u, i =,2,...,n, u = u,u 2,...,u n, 4 was introduced in [5]. In this work two definitions for characteristic ring were proposed 4. First definition is based on change in which equations 4 are take the form u i = pi x, i =,2,...,n, p i xy = f i x,y,v x, i =,2,...,n, v = v,v 2,...,v n. 5 The x and y characteristic Lie rings of hyperbolic system 5 are called characteristic Lie rings of initial system of ordinary differential equations 4. Another definition of characteristic Lie ring for system 4 is associated with the following hyperbolic system of equations u i xy = fi x +fi u u k k x, i =,2,...,n. 6 In the first section characteristic Lie ring for system of equations 5 and 6 corresponding to Painlevé I equation are considered. We show that these Lie rings are rings of slow growth. Namely, for the system of equations 5 dimension of x ring is equal to three, and for y ring dim L = 3, dim L n = n, n = 2,3,4; dim L 5 5. For the hyperbolic system 6, corresponding to the equation Painlevé I, it is shown that dimension of y ring is four, and for x ring the following formalus are true diml = 3, diml k =, k = 2,3,4,5,6; dim 6 i= L i = 8. In the second and third sections the higher symmetries of Lie-Bäcklund for system of equations 5 corresponding to equations and 2 are obtained. Lie rings for Painlevé I equation We rewrite equation as u y = v, v y = 6u 2 +y. Then the corresponding hyperbolic system of equations 5 and 6 take the form p xy = q x, q xy = 6p 2 x +y u = p x, v = q x 7 and u xy = v x, v xy = 2uu x. 8 3

4 In this section we study the characteristic Lie ring of systems of equations 7 and 8. For the system 7 x characteristic Lie ring is generated by vector fields X = p, X 2 = q, X 3 = y +q +6p 2 p +y +q 2 +2p p q p 2 q 2 Since [X,X 2 ] = [X,X 3 ] = [X 2,X 3 ] = 0, then dimension of x ring is equal to three. Herewith x integrals ω = ωy,p,q and w = wy,p,q are defined from partial derivative equations y +q +6p 2 p +y F = 0. 9 q Note, that ω = const and w = const are define integrals of initial equation. The y characteristic Lie ring of equations 7 is defined by vector fields where Y =, Y 2 =, p q Y 3 = x +p p +q +6p 2 +y +2p q + + λ λ 2 λ 3 +2q 2 +72p3 +2yp λ q p 2 +2p +36yq λ p p q 2 +48q +576yp 2 +36y2 +..., λ i = p i + q i, i =,2,... It is easy to see, that the vector fields Y, [Y,Y 3 ], [Y,[Y,Y 3 ]], [Y,[Y,[Y,Y 3 ]]],... are linearly independent, and hence y ring is infinite. Since D and D commute, we have [ D,D]Fx,y,p,q,p,q, p, q, p 2, q 2,... = = Dp 2 Y +q 2 Y 2 +Y 3 F p 2 Y +q 2 Y 2 +Y 3 DF = = p 2 [Y,Y ]+q 2 [Y,Y 2 ]+[Y,Y 3 ]+q 2 Y +2p p 2 Y 2 F = 0. Here Y is the operator of full differentiation with respect to y in the area of functions depending on a finite set of variables x,y,p,q,p,q, p, q, p 2, q 2,... Y = y + p p + q q +q +6p 2 +y + p 2 + q 2 + p 3 + q p q p q p 2 q 2 The following statement is true. 4

5 Lemma Let the vector field Z is given by Z = i= α i p i +β i q i, α i = α i y,p,q, β i = β i y,p,q. Then the equality [Y, Z] = 0 is true if and only if Z = 0. Proof. We have [Y, Z] = i= Yα i +Yβ i p i q i i= α i +β i = 0, p i q i that is α = 0, β = 0, α i+ = Yα i, β i+ = Yβ i, i =,2,... Hence α i = 0, β i = 0,i =,2,... and Z = 0. Lemma is proved. From it is follows that [Y,Y ] = 2p Y 2, [Y,Y 2 ] = Y, [Y,Y 3 ] = 0. 2 The linear area L 2 is generated by operators Y 3 and Y 23 : Y 3 = p +2p +2q +26p 2 λ 2 λ +2y +720p q λ 4 λ p q 2 +52yp +..., 3 Y 23 = λ +2p λ 3 +24q λ p 2 +36y λ p q , Using the Jacobi identity, we obtain [Y,Y 3 ] = [Y 3,[Y,Y ]]+[Y,[Y,Y 3 ]], [Y,Y 23 ] = [Y 3,[Y,Y 2 ]]+[Y 2,[Y,Y 3 ]], or, using 2, we have Thus, we have the following relations [Y,Y 3 ] = [Y 3, 2p Y 2 ], [Y,Y 23 ] = [Y 3, Y ]. [Y,Y 3 ] = 2p Y 23, [Y,Y 23 ] = Y 3. 4 The linear area L 3 is generated by commutators Y 3, Y 23, Y 23, Y 223. Herewith Y 23 = Y 23 and Y 3 = 2 λ p λ q λ p 2 +52y +..., Y 23 = 2 λ p λ q +..., 5 Y 223 = 24 λ p

6 As above, we can prove the following formulas [Y,Y 23 ] = Y 3 2p Y 223, [Y,Y 3 ] = 2Y 23 24p Y 23, [Y,Y 223 ] = 2Y The linear area L 4 is generated by operators Y 3, Y 23, Y 23, Y 223, Y 223, Y 2223, [Y 3,Y 23 ], herewith Y 23 = Y 23, Y 223 = Y 223, [Y 3,Y 23 ] = 0 and We can show that Y 3 = 432 λ p +..., Y 23 = 720 λ 5 +0 Y 223 = , Y 2223 = , [Y,Y 3 ] = 36p Y 23 36Y 23, [Y,Y 223 ] = 2Y 23 2p Y From 0, 3, 5 it is follows that dim L = 3, dim L 2 = 2, dim L 3 = 3. Let us show that the operators Y 223,Y 3,Y 23,Y 223,Y 2223 are linearly independent. If they are dependent then according to 5, 7 we must have Y Y 223 = p Y 223. According to Lemma, this relation is equivalent to Using the formulas 6, 8, we have or [Y,Y 3 ] 8[Y,Y 223 ] = 8q Y p [Y,Y 223 ]. 36p Y 23 36Y Y 23 = 8q Y p 2Y 23 2p Y 2223 q Y 223 2p 2 Y 2223 = 0. That it is impossible. Hence operatorsy 223,Y 3,Y 23,Y 223,Y 2223 are linearly independent and dim L 4 = 4. The area L 5 is generated by commutators Y 3, Y 23, Y 23, Y 223, Y 223, Y 2223, Y 2223, Y 22223, and among them there are pairs of equal operators. Namely Y 23 = Y 23, Y 223 = Y 223, Y 2223 = Y Thus dim L 5 5. Based on the above results, it seems possible to assume the validity of the following formulas dim L k k, k 6. Then we have dim L + L L n n k, k=6

7 or dim L + L L n n2 2 + n Thus, we can hypothesize that the y ring of 7 is a ring of slow growth. Next, we consider the characteristic Lie ring of equations 8. Y characteristic Lie ring of 8 is generated by operators Y =, Y 2 =, u v Y 3 = u u +2u v +2u ū 2 +2ū v v v + ū +2u v Clearly that Y 3 = u Y 3 + v Y 23 and operators Y, Y 2, Y 3, Y 23 form a basis of y characteristic ring. Thus, the dimension of y ring is equal to 4. And equations 8 has two y integrals of the first order: ω = ū v, w = v 6u 2. Consider x characteristic ring. The operator of full differentiation with respect to y in the area of functions depending on a set of variables u,v,u,v,u 2,v 2,... is given by D = ū X + v X 2 +X 3,. where X = u, X 2 = v, X 3 = v +v 2 +v u u 2 u 3 +2 uu +uu 2 +u 2 v +uu 3 +3u u v 2 v 3. Since operators D and D commute, we have [ D,D]Fu,v,u,v,u 2,v 2,... = = Dū X + v X 2 +X 3 ū X + v X 2 +X 3 DF = 9 = ū [D,X ]+ v [D,X 2 ]+[D,X 3 ]+v X +2uu X 2 F = 0. Here X is the operator of full differentiation with respect to x in the area of functions depending on a set of variables u,v,u,v,u 2,v 2,... X = u u +v v +u 2 +v u v For the operator X we can prove the following statement similarly as in the lemma. 7

8 Lemma 2 Let the vector field Z is given by Z = δ i +ǫ i, u i v i i= δ i = δ i u,v,u,v,u 2,v 2,...,u ni,v ni, ǫ i = ǫ i u,v,u,v,u 2,v 2,...,u ki,v ki. Then [X,Z] = 0 if and only if Z = 0. From 9 it is follows [X,X ] = 0, [X,X 2 ] = 0, [X,X 3 ] = v X 2uu X It is easy to see that the dimension of the linear area L L = L X,X 2,X 3 is equal to three. Since the coefficients of the vector field X 3 are independent of v, then commutator X 23 = 0. And commutator X 3 has the form X 3 = 2 u +u 2 +u 3 +u v v 2 v 3 v 4 Thus diml 2 =. Herewith or, using 20, we have that is [X,X 3 ] = [X 3,[X,X ]]+[X,[X,X 3 ]], [X,X 3 ] = [X, v X 2uu X 2 ], [X,X 3 ] = 2u X 2. 2 The form of the operators X, X 2, X 3 and X 3 implies that X 3 and X 23 are zero, and the commutator X 33 has the form X 33 = 2 v +v 2 +v 3 +v v v 2 v 3 v 4 2 u +u 2 +u 3 +u u u 2 u 3 u 4 Taking into account 20, 2, we have [X,X 33 ] = [X 3,[X,X 3 ]]+[X 3,[X,X 3 ]] = [X 3, v X 2uu X 2 ]+[X 3, 2u X 2 ], or [X,X 33 ] = 2u X 2v X Let show that the operatorsx 3, X 3 andx 33 are linearly independent. Indeed, if they are linearly dependent, then there exists functionsα, β of the variablesu,v,u,v,u 2,v 2,... such that X 33 = αx 3 +βx 3. Last equality, according to Lemma 2, is equivalent to [X,X 33 ] = DαX 3 +DβX 3 +α[x,x 3 ]+β[x,x 3 ]. 8

9 Or using 20, 2, 22, we have 2u X 2v X 2 = XαX 3 +XβX 3 +α v X 2uu X 2 +β 2u X 2. Equating the coefficients of the independent operators X and X 3, we obtain the system of equations Xα = 0, 2u = v α. The first equality implies that α = const. This contradicts the second equation. Consequently, the operators X 3, X 3 and X 33 are linearly independent and diml 3 =. The linear area L 4 is generated by the operators X 33, X 233 and X 333. Thus, it is easy to see that X 33 = X 233 = 0, and the commutator X 333 has the form Using formulas 20, 22, we find X 333 = 24v u +288uu v +... [X,X 333 ] = [X 33,[X,X 3 ]]+[X 3,[X,X 33 ]] = = [X 33, v X 2uu X 2 ]+[X 3,2u X 2v X 2 ], hence [X,X 333 ] = 24v X 288uu X 2 2u X Let show that the operators X 3, X 3, X 33 and X 333 are linearly independent. Suppose to the contrary, that X 333 = αx 3 + βx 3 + δx 33, where α, β, δ is a function of the variables u,v,u,v,u 2,v 2,... According to Lemma 2 and formulas 20-23, we have 24v X 288uu X 2 2u X 3 = XαX 3 +XβX 3 +XδX α v X 2uu X 2 +β 2u X 2 +δ2u X 2v X 2. Equating coefficients of the operatorsx 3, X 33, X andx 2, X 3 in the resulting correlation, we have Xα = 0, Xδ = 0, 24v = v α+2u δ, 288uu = 2uu α 2u β 2v δ, 2u = Xβ. From the first three equations follows that α = 24, δ = 0. Substituting the values α and δ in the fourth equation we find that β = 48u. This contradicts the condition 2u = Xβ. Hence diml 4 =. The area L 5 is the linear span of commutators X 333, X 2333, X 3333, [X 3,X 33 ]. Using the Jacobi identity and the formulas 2-23, we can show that [X,X 333 ] = 288u X 2, [X,X 2333 ] = 0, [X,[X 3,X 33 ]] = 288u X 2. Then, according to Lemma 2 and equality 2, we obtain X 333 = 24X 3, X 2333 = 0, [X 3,X 33 ] = 24X 3. 9

10 For operator X 3333 we have [X,X 3333 ] = [X 333,[X,X 3 ]]+[X 3,[X,X 333 ]] = = [X 333, v X 2uu X 2 ]+[X 3,24v X 288uu X 2 2u X 3 ]. Rearranging this equation, we obtain the equality [X,X 3333 ] = 576uu X 576uv X 2 60v X 3 2u X 33. Using this equality we can obtain, that the operators X 3, X 3, X 33, X 333 and X 3333 are linearly independent, and hence diml 5 =. Finally, we consider the area L 6 = L X 3333, X 23333, X 33333, [X 3,X 333 ]. Easy to check the validity of the following formulas X = 0, X 3333 = 48X 33, [X 3,X 333 ] = 24X 33, [X,X ] = 52uv X +692u 2 u X 2 296uu X 3 20v X 33 2u X 333. As above, we can prove that the operators X 3, X 3, X 33, X 333 and X are linearly independent and diml 6 =. Thus, we have shown that diml k =, k = 2,3,4,5,6; dim Apparently, these formulas are valid for any k and n, ie diml k =, k 2; dim n L i = 8, n = 6. i= n L i = n+2, and x ring of the system of equations 8 is a ring of slow growth. i= 2 Symmetries of Painlevé I equation In this section we calculate the higher symmetry of the system 7. Consider x symmetries of the form f = fx,y,p,q,p,q,...,p n,q n, g = gx,y,p,q,p,q,...,p n,q n, p τ = f, q τ = g. We move from variables x,y,p,q,p,q,...,p n,q n,... to x,y,p,q ω, w, ω, w,..., ω n, w n,... Then the symmetries of f and g can be written as f = fx,y,p,q,ω,w,ω,w,...,ω n,w n, g = gx,y,p,q,ω,w,ω,w,...,ω n,w n, where ω and w are x integrals of the first order of equations 7 and ω k = D k ω, w k = D k w, k =,2,... 0

11 The defining system of equations has the following view Further we introduce the notation D Df = Dg, D Dg = 2p Df. 24 Df = Fx,y,p,q,ω,w,ω,w,...,ω n,w n, Dg = Gx,y,p,q,ω,w,ω,w,...,ω n,w n. 25 Then equations 24 become DF = G, DG = 2p F. 26 From 25, 26 we get that F p = F q = G p = G q = 0 and, hence equations 26 are equivalent to the following F y = G, G y = 2p F. 27 Since equations 7 have x integrals of the first order, then there exists a function h = hy,ω,w such that p = h. Thus from 27 we get Consider the symmetry of the first order F yy = 2hy,ω,wF. 28 f = p, g = q. We have F = Df = Dh = h ω ω +h w w, and equation 28 becomes h ωyy ω +h wyy w = 2hh ω ω +h w w. Which implies that h ωyy = 2hh ω, h wyy = 2hh w. Hence the functions h ω andh w are particular solutions of 28. We show that the solutions h ω and h w are linearly independent. Indeed, if h ω = cω,wh w, then h = hy,αω,w = hy,w. And, therefore, system 7 has an integral W = Wy,p, which is impossible because of equality 9. Thus, the general solution of 28 has the form F = h ω Ax,ω,w,ω,w,...,ω n,w n +h w Bx,ω,w,ω,w,...,ω n,w n. 29 Finally from equations 25, 27, 29 it follows that the higher local x Lie-Bücklund symmetries of 7 are given by f = D h ω A+h w B, g = D h ωy A+h wy B,

12 where functions A = Ax,ω,w,ω,w,...,ω n,w n and B = Bx,ω,w,ω,w,...,ω n,w n satisfy δ δω h ωa+h w B = δ δw h ωa+h w B = 0. Further we construct the y symmetries ϕ = ϕx,y,p,q, p, q,..., p n, q n, ψ = ψx,y,p,q, p, q,..., p m, q m, p τ = ϕ, q τ = ψ for system 7. Let the order of variables p,q, p, q, p 2, q 2,... the functions Dϕ and Dψ be equal to n and m correspondingly. Then, from the defining equations it follows that n+ = m и m+ = n and hence D Dϕ = Dψ, D Dψ = 2p Dϕ 30 Dϕ = Fx,y,p,q, Dψ = Gx,y,p,q. On the other hand Dϕx,y,p,q, p, q,..., p n, q n = ϕ x +p ϕ p +q + p q +6p 2 +y + ϕ+2p q + + p 2 q p 3 q 2 ϕ+ ϕ+... Hence the function ϕ satisfies the equations ϕ x = αx,y, ϕ p = α 0x,y, + ϕ = α x,y, p q + ϕ = α 2 x,y,..., + ϕ = α n x,y. p 2 q p n q n It is easy to obtain from it, that ϕ = βx,y+β 0 yp+β y p +...+β n y p n +hy, ω, ω,..., ω n, 3 where ω = p q is the y integral of system 7. An analogous formula holds true for the function ψ : ψ = γx,y+γ 0 yp+γ y p +...+γ m y p m +Hy, ω, ω,..., ω m. 32 Since the functions ϕ = hy, ω, ω,..., ω n and ψ = Hy, ω, ω,..., ω m are define symmetries of the system 7 for any h and H, then we obtain from 3 and 32, that n m ϕ = βx,y+ β k y p k, ψ = γx,y+ γ k y p k 33 k=0 are also symmetries. Substituting 33 into defining system 30, we find, that ϕ = ϕy, ψ = ψy. Thus y symmetries of the equations 7 are calculated by formulae k=0 ϕ = hy, ω, ω,..., ω n, ψ = Hy, ω, ω,..., ω m. 2

13 3 Symmetries of Painlevé III equation System of equations 5 corresponding to Painlevé III equation have the form p xy = q x, yp x q xy = yq 2 x p xq x +δy +βp x +αp 3 x +γyp4 x. 34 In this section higher symmetries for the system 34 are built. The x characteristic Lie ring of system 34 is generated by vector fields X = p, X 2 = q, X 3 = y +q q 2 + q p p y +δ +β p y +αp2 y +γp q Since the coefficients of the vector field X 3 is independent of p and q, the dimension of x ring is equal to three and x integrals ω = ωy,p,q and w = wy,p,q are defined by the partial differential equation y +q + p q 2 p q y +δ p +β y +αp2 y +γp3 q Φ = 0. Note, that ω = const and w = const are define the integrals of the initial equation 2. Consider higher x symmetries for equations 34 f = fx,y,p,q,p,q,...,p n,q n, g = gx,y,p,q,p,q,...,p n,q n, p τ = f, q τ = g. We move from variables x,y,p,q,p,q,...,p n,q n,... to x,y,p,q ω, w, ω, w,..., ω n, w n,... Then the symmetry of f and g can be written as f = fx,y,p,q,ω,w,ω,w,...,ω n,w n, g = gx,y,p,q,ω,w,ω,w,...,ω n,w n. The defining system for system 34 has the form D Df = Dg, D Dg = 2 q Dg + q2 δ +2α p p y p 2 p 2 y +3γp2 Df, 35 which can be written as DF = G, DG = 2 q G+ q2 δ +2α p p y p 2 p 2 y +3γp2 F, 36 where Df = Fx,y,p,q,ω,w,ω,w,...,ω n,w n, Dg = Gx,y,p,q,ω,w,ω,w,...,ω n,w n. Clearly that F p = F q = G p = G q = 0 and the system 36 is equivalent to F y = G, G y = 2 q G+ q2 δ +2α p p y p 2 p 2 y +3γp2 F

14 Since the system 34 has x integrals of the first order, then there are functions h = hy,ω,w and H = Hy,ω,w such that p = h, q = H. Then the second equation 38 can be written as F yy = 2 H h F y + H2 y h δ 2 h +2αh 2 y +3γh2 F. 39 For the symmetry of the first order f = p, g = q equation 39 is transformed as follows h ωyy ω +h wyy w = 2 H h h ωy ω +h wy w + y or H2 h δ 2 h +2αh 2 y +3γh2 h ω ω +h w w, h ωyy = 2 H h h ωy + H2 y h δ 2 h +2αh 2 y +3γh2 h ω, h wyy = 2 H h h wy + H2 y h δ 2 h +2αh 2 y +3γh2 h w. Hence the functions h ω and h w are a particular solutions of 39. It is easy to show that they are linearly independent, and so the general solution 39 has the form F = h ω Ax,ω,w,ω,w,...,ω n,w n +h w Bx,ω,w,ω,w,...,ω n,w n. 40 Finally, from equations 37, 38, 40 it follows that the local higher x symmetry Lie- Bäcklund of the system 34 is defined from f = D h ω A+h w B, g = D h ωy A+h wy B, where functions A = Ax,ω,w,ω,w,...,ω n,w n and B = Bx,ω,w,ω,w,...,ω n,w n satisfy δ δω h ωa+h w B = δ δw h ωa+h w B = 0. The y characteristic Lie ring of equations 34 is defined by the vector fields Y =, Y 2 =, p q Y 3 = x +p p +q q +q + p q 2 p q y +δ p +β y +αp2 y +γp3 q +... It is easy to see that y ring is infinite. However, the system of equations 34 has y integral of the first order ω = p q. Define higher y symmetries ϕ = ϕx,y,p,q, p, q,..., p n, q n, ψ = ψx,y,p,q, p, q,..., p m, q m, p τ = ϕ, q τ = ψ 4

15 for equations 34. Let the order of variables p,q, p, q, p 2, q 2,... the functions Dϕ and Dψ be equal to n and m correspondingly. Then, from the defining system of equations D Dϕ = Dψ, D Dψ = 2 q p y Dψ+ it follows that n+ = m and m+ = m, hence q2 δ +2α p p 2 p 2 y +3γp2 Dϕ = Fx,y,p,q, Dψ = Gx,y,p,q. On the other hand Dϕx,y,p,q, p, q,..., p n, q n = ϕ x +p ϕ p +q + p q q 2 + q p y +δ +β p y +αp2 y +γp3 p 2 + q Dϕ 4 ϕ+ ϕ+... Therefore, the function ϕ satisfies the system ϕ x = αx,y, ϕ p = α 0x,y, + ϕ = α x,y, p q + ϕ = α 2 x,y,..., + ϕ = α n x,y. p 2 q p n q n It is easy to obtain from it, that ϕ = βx,y+β 0 yp+β y p +...+β n y p n +hy, ω, ω,..., ω n. 42 An analogous formula holds true for the function ψ : ψ = γx,y+γ 0 yp+γ y p +...+γ m y p m +Hy, ω, ω,..., ω m. 43 Since the functions ϕ = hy, ω, ω,..., ω n and ψ = Hy, ω, ω,..., ω m are symmetries of the system 34 for any h and H, then we obtain from 42 and 43, that n m ϕ = βx,y+ β k y p k, ψ = γx,y+ γ k y p k 44 k=0 are also symmetries. Substituting 44 into defining system 4, we find that ϕ = ϕy, ψ = ψy. Thus, y symmetry of the system of equations 34 are calculate by formulae k=0 ϕ = hy, ω, ω,..., ω n, ψ = Hy, ω, ω,..., ω m. Acknowledgments This work is supported by the Russian Foundation for Basic Research RFBR grants a and r-povolzhye-a and by Federal Task Program "Scientic and pedagogical staff of innovative Russia for contract no

16 References [] Kostrigina O.S., Zhiber A.V., Darboux-integrable two-component nonlinear hyperbolic systems of equations, J. Math. Phys. 52, ; doi:0.063/ pages. [2] Goursat E., Recherches sur quelques équations aux dérivées partielles du second ordre, Annales de la faculté des Sciences de I Université de Toulouse 2 e série, tome, n p.3-78 [3] Zhiber A.V., Murtazina R.D., On the characteristic Lie algebras for the equations u xy = fu,u x, Fundam. Prikl. Mat in Russian [4] Zhiber A.V., Murtazina R.D., Habibullin I.T., Shabat A.B., Characteristic Lie rings and integrable models in mathematical physics, Ufimskii Matem. Zhurnal, v.4, 3 202, pp [5] Gürser M., Zhiber A.V., Habibullin I.T., Characteristic Lie rings of differential equations, Ufimskii Matem. Zhurnal, v.4, 202, pp