arxiv: v1 [nlin.si] 1 Feb 2008

Transcription

1 Symmetry, Integrabiity and Geometry: Methods and Appications SIGMA 4 (2008, 011, 19 pages Cassica R-Operators and Integrabe Generaizations of Thirring Equations Taras V. SKRYPNYK SISSA, via Beirut 2-4, Trieste, Itay E-mai: srypny@sissa.it Bogoyubov Institute for Theoretica Physics, 14-b Metroogichna Str., Kyiv 03680, Uraine Received October 31, 2007, in fina form January 18, 2008; Pubished onine February 01, 2008 Origina artice is avaiabe at arxiv: v1 [nin.si] 1 Feb 2008 Abstract. We construct different integrabe generaizations of the massive Thirring equations corresponding oop agebras g σ in different gradings and associated trianguar R- operators. We consider the most interesting cases connected with the Coxeter automorphisms, second order automorphisms and with Kostant Ader Symes R-operators. We recover a nown matrix generaization of the compex Thirring equations as a partia case of our construction. Key words: infinite-dimensiona Lie agebras; cassica R-operators; hierarchies of integrabe equations 2000 Mathematics Subject Cassification: 17B70; 17B80; 37K10; 37K30; 70H06 1 Introduction A theory of hierarchies of integrabe equations in partia derivatives is based on the possibiity to represent each of the equations of the hierarchy in the so-caed zero-curvature form: U(x,t,u t V (x,t,u x + [U(x,t,u,V (x,t,u] = 0, (1 where U(x,t,u, V (x,t,u are g-vaued functions with dynamica variabe coefficients, g is simpe (reductive Lie agebra and u is an additiona compex parameter usuay caed spectra. In order for the equation (1 to be consistent it is necessary that U(x,t,u and V (x,t,u beong to some cosed infinite-dimensiona Lie agebra g of g-vaued functions of u. There are severa approaches to construction of zero-curvature equations (1 starting from Lie agebras g. A of them are based on the so-caed Kostant Ader Symes scheme. One of the most simpe and genera approaches is the approach of [3, 10] and [6, 7] that interprets equation (1 as a consistency condition for a two commuting Hamitonian fows written in the Euer Arnod or Lax form. In the framewor of this approach eements U(x, t, u and V (x, t, u coincide with the agebra-vaued gradients of the commuting Hamitonians constructed with the hep of the Kostant Ader Symes scheme, the cornerstone of which is a decomposition of the Lie agebra g (as a vector space in a direct sum of its two subagebras: g = g + + g. The agebra-vaued gradients of the commuting Hamitonians coincide with the restrictions of the agebra-vaued gradients of Casimir functions of g onto the subagebras g ±. Hence, such This paper is a contribution to the Proceedings of the Seventh Internationa Conference Symmetry in Noninear Mathematica Physics (June 24 30, 2007, Kyiv, Uraine. The fu coection is avaiabe at

2 2 T.V. Srypny approach permits [14] to construct using Lie agebra g the three types of integrabe equations: two types of equations with U-V pair beonging to the same Lie subagebras g ± and the third type of equations with U-operator beonging to g + and V -operator beonging to g (or vise verse. The atter equations are sometimes caed negative fows of integrabe hierarchies. Nevertheess the approach of [3, 6, 7] does not cover a integrabe equations. In particuar, it was not possibe to produce by means of this approach integrabe equations possessing U-V pairs with U-operator beonging to g + and V -operator beonging to g in the case g + g 0, i.e. in cases dropping out of the scope of Kostant Ader Symes method. An exampe of such situation is the Thirring integrabe equations with the standard s(2-vaued U-V pair [9]. In the present paper we generaize the method of [3, 10] of producing soiton equations and their U-V pairs, fiing the gap described above, i.e. maing the method to incude a nown soiton equations, and among them Thirring equation. We use the same idea as in [3] and [6], i.e. we interpret zero-curvature condition as a compatibiity condition for a set of commuting Hamitonian fows on g but constructed not with the hep of Kostant Ader Symes method but with the hep of its generaization method of the cassica R-operator, where R : g g, satisfies a modified Yang Baxter equation [12]. In this case one can aso define [12] two Lie subagebras g R± such that g R± + g R = g, but in this case this sum is not a direct sum of two vector spaces, i.e. g R± g R 0. Hence, in order to achieve our goa it is necessary to construct with the hep of the R- operator an agebra of mutuay commuting functions. Contrary to the cassica approach of [12] they shoud commute not with respect to the R-bracet {, } R but with respect to the initia Lie Poisson bracet {, } on g. In our previous paper [13] the corresponding functions were constructed using the ring of Casimir functions I G ( g. In more detai, we proved that the functions I R ± (L I ((R ± 1(L, where I (L,I (L I G ( g, constitute an Abeian subagebra in C ( g with respect to the standard Lie Poisson bracets {, } on g. The agebra-vaued gradients of functions the I R ± (L beong to the subagebras g R± correspondingy. In the case when the R-operator is of Kostant Ader Symes type, i.e. R = P + P, where P ± are projection operators onto subagebras g R± = g ± and g + g = 0 we re-obtain the resuts of [10] (see aso [14] as a partia case of our construction. In the cases of more compicated R-operators our scheme is new and generaizes the approach of [10]. In particuar, the important cass of U-V pairs satisfying zero-curvature equations that can be obtained by our method are connected with the so-caed trianguar R-operators. In more detai, if g possess a trianguar decomposition: g = g + + g 0 + g, where the sum is a direct sum of vector spaces, g ± and g 0 are cosed Lie subagebras and g ± are g 0 -modues, R 0 is a soution of the modified Yang Baxter equation on g 0, P ± are the projection operators onto the subagebras g ± then R = P + +R 0 P is a soution of the modified Yang Baxter equation on g (see [13] for the detaied proof. The Lie subagebras g R± have in this case the foowing form: g R± = g ± + g 0, i.e. g R+ g R 0. Such R-operators are connected with the Thirring-type integrabe modes. These R-operators were first considered in [4] and in [5], where the usua s(2-thirring equation was obtained using geometric technique. In order to obtain the Thirring integrabe equation and its various generaizations in the framewor of our agebraic approach we consider the case when g coincides with a oop agebra g = g Po(u 1,u or its twisted with the hep of finite-order automorphism σ subagebra g σ. The agebras g σ possess the natura trianguar decomposition with the agebra g 0 being a reductive subagebra of g stabe under the action of σ. For each agebra g σ with a natura trianguar decomposition and for each cassica R operator R 0 on g 0 we define an integrabe equation of the hyperboic type which we ca the non-abeian generaized Thirring equation. We show that in the case g = s(2, σ 2 = 1 and g 0 = h, where h is a Cartan subagebra of s(2 our construction yieds the usua Thirring equation and its standard s(2-vaued U-V pair. We consider in some detai the cases of the generaized Thirring equations that correspond to

3 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 3 the second order automorphism of g. For the case of such automorphisms and g = g(n and specia choice of R 0 we obtain the so-caed matrix generaization of compex Thirring equations obtained by other method in [15]. After a reduction to rea subagebra u(n these equations read as foows: ( ( 1 i x Ψ + = Ψ + (Ψ 1 κ Ψ + κ + Ψ, i x+ Ψ = (Ψ + Ψ + κ Ψ + κ Ψ +, + where Ψ ± Mat(p,q, κ ± R are constants, i.e. are exact matrix anaogues of the usua massive Thirring equations. We aso consider in detai the case of the generaized Thirring equations that correspond to the Coxeter automorphisms of g. We ca the generaized Thirring equations corresponding to the the Coxeter automorphisms the generaized Abeian Thirring equations. We show that the number of independent fieds in the generaized Abeian Thirring equation corresponding to Coxeter automorphism is equa to 2(dim g rang and the order of the equations grows with the growth of the ran of Lie agebra g. We consider in detai the generaized Abeian Thirring equations corresponding to the case g = s(3. For the sae of competeness we aso consider non-inear differentia equations of hyperboic type corresponding to g σ and the Kostant Ader Symes R-operator. We show that the obtained equations are in a sence intermediate between the generaized Thirring and non-abeian Toda equations. The cases of the second order and Coxeter automorphisms are considered. The s(2 and s(3 exampes are wored out in detai. The structure of the present paper is the foowing: in the second section we describe commutative subagebras associated with the cassica R operator. In the third section we obtain associated zero-curvature equations. At ast in the fourth section we consider integrabe hierarchies associated with oop agebras in different gradings and different R-operators. 2 Commutative subagebras and cassica R operator Let g be a Lie agebra (finite or infinite-dimensiona with a Lie bracet [, ]. Let R : g g be some inear operator on g. The operator R is caed the cassica R-operator if it satisfies modified Yang Baxter equation: R([R(X,Y ] + [X,R(Y ] [R(X,R(Y ] = [X,Y ] X,Y g. (2 We wi use, in addition to the operator R, the foowing operators: R ± R ± 1. As it is nown [2, 12] the maps R ± define Lie subagebras g R± g: g R± = ImR ±. It is easy to see from their definition g R+ + g R = g, but, in genera, this sum is not a direct sum of vector spaces, i.e., g R+ g R 0. Let g be the dua space to g and, : g g C be a pairing between g and g. Let {X i } be a basis in the Lie agebra g, {Xi } be a basis in the dua space g : Xj,X i = δ ij, L = L i Xi g be the generic eement of g, L i be the coordinate functions on g. i Let us consider the standard Lie Poisson bracet between F 1,F 2 C ( g : {F 1 (L,F 2 (L} = L,[ F 1, F 2 ], where F (L = i F (L X i L i is a so-caed agebra-vaued gradient of F. The summations hereafter are impied over a basic eements of g.

4 4 T.V. Srypny Let R be the operator dua to R, acting in the space g : R (Y,X Y,R(X, Y g, X g. Let I G ( g be the ring of invariants of the coadjoint representation of g. We wi consider the functions I R ± (L on g defined by the foowing formuas: I R ± (L I ((R ± 1(L I (R±(L. The foowing theorem hods true [13]: Theorem 1. Functions {I R + (L} and {I R (L}, where I (L,I (L I G ( g, generate an Abeian subagebra in C ( g with respect to the standard Lie Poisson bracets {, } on g : (i {I R + (L,I R + (L} = 0, (ii {I R (L,I R (L} = 0, (iii {I R + (L,I R (L} = 0. Remar 1. Note that the commutative subagebras constructed in this theorem differ from the commutative subagebras constructed using standard R-matrix scheme [12]. Indeed, our theorem states commutativity of functions {I R + (L} and {I R (L} with respect to the initia Lie Poisson bracet {, } on g. The standard R-matrix scheme states commutativity of the functions {I (L} with respect to the so-caed R-bracet {, } R, where: {F 1 (L,F 2 (L} R = L,[R( F 1, F 2 ] + [ F 1,R( F 2 ]. Theorem 1 provides us a arge Abeian subagebra in the space (C ( g, {, }. We wi consider the foowing two exampes of the R-operators and the corresponding Abeian subagebras. Exampe 1. Let us consider the case of the Lie agebras g with the so-caed Kostant Ader Symes (KAS decomposition into a direct sum of the two vector subspaces g ± : g = g + + g, where subspaces g ± are cosed Lie subagebras. Let P ± be the projection operators onto the subagebras g ± respectivey. Then it is nown [12] that in this case it is possibe to define the so-caed Kostant Ader Symes R-matrix: R = P + P. It is easy to see that R + = 1+R = 2P +, R = R 1 = 2P, are proportiona to the projection operators onto the subagebras g ±. It foows that g R± g ± and g R+ g R = 0. The Poisson commuting functions I R ± (L acquire the foowing simpe form: I R ± (L I ± (L I (L ±, where L ± P ± L, i.e. I ± (L are restrictions of the coadjoint invariants onto the dua spaces g ±. Exampe 2. Let us consider the case of Lie agebras g with the trianguar decomposition: g = g + + g 0 + g, where the sum is a direct sum of vector spaces, g ± and g 0 are cosed subagebras, and g ± are g 0 -modues. As it is nown [4] (see aso [13] for the detaied proof, if R 0 is a soution of the modified Yang Baxter equation (2 on g 0 then R = P + + R 0 P (3 is a soution of the modified Yang Baxter (2 equation on g if P ± are the projection operators onto the subagebras g ±.

5 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 5 In the case when R 0 = ±Id 0 (which are obviousy the soutions of the equation (2 on g 0 we obtain that R-matrix (3 passes to the standard Kostant Ader Symes R-matrix. Nevertheess in the considered trianguar cases there are other possibiities. For exampe, if a Lie subagebra g 0 is Abeian then (3 is a soution of (2 for any tensor R 0 on g 0. In the case of the R-matrix (3 we have: R + = 2P + + (P 0 + R 0, R = (2P + (P 0 R 0, g R± = g ± + Im (R 0 ±, where (R 0 ± = (R 0 ± P 0 are the R ± -operators on g 0 and g R+ g R = Im (R 0 + Im (R 0. The Poisson-commutative functions I R ± I R ± (L I R 0,± (L = I ( L ± + (1 ± R 0 2 (L 0, (L acquire the foowing form: where L ± P± L, L 0 P0 L. We wi use such functions constructing different generaizations of the Thirring mode. The Theorem 1 gives us a set of mutuay commutative functions on g with respect to the bracets {, } that can be used as an agebra of the integras of some Hamitonian system on g. For the Hamitonian function one may chose one of the functions I R ± (L or their inear combination. Let us consider the corresponding Hamitonian equation: dl i dt ± = {L i,i R ± (L}. (4 The foowing proposition is true [13]: Proposition 1. The Hamitonian equations of motion (4 can be written in the Euer Arnod (generaized Lax form: dl dt ± = ad V ± L, (5 where V ± IR ± (L. Remar 2. In the case when g can be identified with g and a coadjoint representation can be identified with an adjoint one, equation (5 may be written in the usua Lax (commutator form. In the present paper we wi not consider finite-dimensiona Hamitonian systems that coud be obtained in the framewor of our construction but wi use equation (5 in order to generate hierarchies of soiton equations in dimensions. 3 Integrabe hierarchies and cassica R-operators Let us remind one of the main Lie agebraic approaches to the theory of soiton equations [10]. It is based on the zero-curvature condition and its interpretation as a consistency condition of two commuting Lax fows. The foowing Proposition is true: Proposition 2. Let H 1,H 2 C ( g be two Poisson commuting functions: {H 1,H 2 } = 0, where {, } is a standard Lie Poisson bracets on g. Then their g-vaued gradients satisfy the modified zero-curvature equation: H 1 t 2 H 2 t 1 + [ H 1, H 2 ] = I, (6 where I is a Casimir function and t i are parameters aong the trajectories of Hamitonian equations corresponding to the Hamitonians H i and is an arbitrary constant.

6 6 T.V. Srypny For the theory of soiton equations one needs the usua zero-curvature condition (case = 0 in the above proposition and the infinite set of the commuting Hamitonians generating the corresponding U-V pairs. This can be achieved requiring that g is infinite-dimensiona of a specia type. In more detai, the foowing theorem is true: Theorem 2. Let g be an infinite-dimensiona Lie agebra of g-vaued function of the one compex variabe u and a Lie agebra g be semisimpe. Let R be a cassica R operator on g, L(u be the generic eement of the dua space g, I (L(u be Casimir functions on g such that functions I R ± (L(u are finite poynomias on g. Then the g-vaued functions I R ± (L(u satisfy the zero-curvature equations: I R ± (L(u t ± I R ± (L(u t IR ± (L(u t ± + [ I R ± (L(u, I R ± (L(u] = 0, (7 IR (L(u t ± + [ I R ± (L(u, I R (L(u] = 0. (8 Proof. As it foows from Proposition 2 and Theorem 1 the agebra-vaued gradients I R ± (L(u, I R ± (L(u and I R ± (L(u, I R (L(u satisfy the modified zero-curvature equations (6. On the other hand, as it is not difficut to show, for the case of the Lie agebras g described in the theorem the agebra-vaued gradients of the Casimir functions are proportiona to powers of the generic eement of the dua space L(u, i.e. to the forma power series. On the other hand, due to the condition that a I R ± (L(u are finite poynomias, their agebra-vaued gradients are finite inear combinations of the basic eements of the Lie agebra g. Hence the corresponding modified zero-curvature equations are satisfied if and ony if the corresponding coefficients in these equations are equa to zero, i.e. when they are reduced to the usua zero-curvature conditions. This proves the theorem. Remar 3. Note that equations (7, (8 define three types of integrabe hierarchies: two sma hierarchies associated with Lie subagebras g R± defined by equations (7 and one arge hierarchy associated with the whoe Lie agebra g that incude both types of equations (7 and (8. Equations (8 have an interpretation of the negative fows of the integrabe hierarchy associated with g R±. In the case g R+ g R the corresponding sma hierarchies are equivaent and the arge hierarchy associated with g may be caed a doube of the hierarchy associated with g R±. In the next subsection we wi consider in detai a simpe exampe of the above theorem when g is a oop agebra and R-operator is not of Kostant Ader Symes type but a trianguar one. We wi be interested in the arge hierarchy associated with g and, in more detai, in the simpest equation of this hierarchy which wi coincide with the generaization of the Thirring equation. 4 Loop agebras and generaized Thirring equations 4.1 Loop agebras and cassica R-operators In this subsection we remind severa important facts from the theory of oop agebras [8]. p 1 Let g be semisimpe (reductive Lie agebra. Let g = g j be Z p = Z/pZ grading of g, i.e.: [g i,g j ] g i+j where j denotes the cass of equivaence of the eements j Z modp Z. It is nown that the Z p -grading of g may be defined with the hep of some automorphism σ of the order p, such that σ(g i = e 2πi/p g i and g 0 is the agebra of σ-invariants: σ(g 0 = g 0. j=0

7 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 7 Let g = g Po(u,u 1 be a oop agebra. Let us consider the foowing subspace in g: g σ = j Z g j u j. It is nown [8] that this subspace is a cosed Lie subagebra and if we extend the automorphism σ to the map σ of the whoe agebra g, defining its action on the space g Po(u,u 1 in the standard way [8]: σ(x u = σ(x e 2πi/p u, then the subagebra g σ can be defined as the subagebra of σ-invariants in g: g σ = {X p(u g σ(x p(u = X p(u}. We wi ca the agebra g σ the oop subagebra twisted with the hep of σ. The basis in g σ consists of agebra-vaued functions {X j α X j αu j }, where X j α g j. Let us define the pairing between g σ and ( g σ in the standard way: X,Y = res u=0 u 1 (X(u,Y (u, where X g σ, Y ( g σ and (, is a biinear, invariant, nondegenerate form on g. It is easy to see that with respect to such a pairing the dua space ( g σ may be identified with the Lie agebra g σ itsef. The dua basis in ( g σ has the form: {Y j α X j,α u j }, where X j,α is a dua basis in the space g j. The Lie agebra g σ possesses KAS decomposition g σ = g σ+ + g σ [11], where g σ+ = j 0 g j u j, g σ = j<0 g j u j. It defines in a natura way the Kostant Ader Symes R-operator: R = P + P, where P ± are projection operators onto Lie agebra g σ±. The twisted oop agebra g σ aso possesses trianguar decomposition: g σ = g σ + + g 0 + g σ, where g σ g σ, g σ+ g σ + + g 0. It defines in a natura way the trianguar R-operator R = P + + R 0 P, where P ± are the projection operators onto Lie agebra g σ± and R 0 is an R-operator on g 0. The Lie agebra g 0 in this decomposition is a reductive Lie subagebra of the Lie agebra g. Due to the fact that a ot of soutions of the modified cassica Yang Baxter equations on reductive Lie agebras are nown, one can construct expicity R-operators R 0 on g 0, the Lie subagebras g R± = g ± + Im(R 0 ± and the Poisson-commutative functions constructed in the Theorem Generaized Thirring modes As we have seen in the previous subsection, each of the gradings of the oop agebras, corresponding to the different automorphisms σ yieds its own trianguar decomposition. Let us consider the simpest equations of integrabe hierarchies, corresponding to different trianguar

8 8 T.V. Srypny decompositions in more detai. The generic eements of the dua space to the Lie agebras g R± are written as foows: dimg 0 dimg j ± ± L ± (u = r± L 0 αx 0,α + L (j α X j,α u j = r±(l (0 + L (j u j, α=1 j=±1 α=1 where L ( j g j and in order to simpify the notations we put r ± (1±R 0 2. Let (, be an invariant nondegenerated form on the underying semisimpe (reductive Lie agebra g. Then I 2 (L = 1 2 (L,L is a second order Casimir function on g. The corresponding generating function of the second order integras has the form: I 2 ± (L(u = I 2(L ± (u = 1 r 2 ±(L (0 + = ± =0 I p 2 u p, ± j=±1 L (j u j,r ±(L (0 + where p is an order of σ. The simpest of these integras are: I 2 ±0 = 1 ( r 2 ± (L (0,r±(L (0, I ±p 2 = ( r±(l (0,L (±p The agebra-vaued gradients of functions I ±p 2 read as foows: I ±p p 1 p 1 ± j=±1 j=±1 L (j u j ( L (±j,l (±(p j. 2 (u = u±p r± (L(0 + u ±(p j L (±j + r ± (L (±p. (9 j=1 They coincide with the U-V pair of the generaized Thirring mode. The corresponding zerocurvature condition: I +p 2 (L(u x I p 2 (L(u + [ I +p 2 (L(u, I p 2 (L(u] = 0 (10 x + yieds the foowing system of differentia equations in partia derivatives: x r + (L(0 = [r + (L(0,r (L ( p ], x+ r (L (0 = [r + (L (p,r (L (0 ], x L (p j = [L (p j,r (L ( p ] + x+ L (j p = [r + (L (p,l (j p ] + p 1 i=j+1 p 1 i=j+1 j=1 (11a (11b [L (p i,l (i j p ] + [r + (L(0,L ( j ], (11c [L (p+j i,l (j p ] + [L (j,r (L (0 ],j 1,p 1, (11d x+ r (L ( p x r + (L (p = [r+(l (0,r (L (0 ] + [L (p i,l (i p ] p 1 i=1 + [r + (L (p,r (L ( p ]. (11e These equations are integrabe generaization of Thirring equations corresponding to Lie agebra g, its Z p -grading defined with the hep of the automorphism σ of the order p and the cassica R-operator R 0 on g 0. We wi ca this system of equations the non-abeian generaized Thirring system. In order to recognize in this compicated system of hyperboic equations generaization of Thirring equations we wi consider severa exampes.

9 Cassica R-Operators and Integrabe Generaizations of Thirring Equations Case of the second-order automorphism Let us consider the case when automorphism σ is invoutive, i.e. p = 2. Then g 1 = g 1 and Lax matrices L ± (u are the foowing: L ± (u = r ± (L(0 + u 1 L (±1 + u 2 L (±2 +, and the U-V pair (9 acquire more simpe form: I ±2 2 (u = u±2 r ± (L(0 + u ±1 L (±1 + r ± (L (±2. (12 The corresponding zero-curvature condition yieds the foowing system of differentia equations in partia derivatives: x r + (L(0 = [r (L ( 2,r + (L(0 ], x+ r (L (0 = [r + (L (2,r (L (0 ], x L (1 = [r (L ( 2,L (1 ] + [L ( 1,r + (L(0 ], x+ L ( 1 = [r + (L (2,L ( 1 ] + [L (1,r (L (0 ], x+ r (L ( 2 x r + (L (2 = [r +(L (0,r (L (0 ] + [L (1,L ( 1 ] (13a (13b (13c (13d + [r + (L (2,r (L ( 2 ]. (13e The system of equations (13 is sti sufficienty compicated. In order to recognize in this system the usua Thirring equations we have to consider the case g = s(2. Exampe 3. Let g = s(2 and σ be the Cartan invoution, i.e. s(2 0 = h = diag (α, α and s(2 1 consists of the matrices with zeros on the diagona. The Lax matrices L ± (u have the foowing form: L ± (u = r ± ( α (0 0 0 α (0 + u 1 ( 0 β (±1 γ (±1 0 + u 2 ( α (±2 0 0 α (±2 +. Due to the fact that s(2 0 is Abeian the one-dimensiona inear maps r ± are written as foows: r ± (L(0 = ± L (0 where ± are some constants, such that + + = 1. The simpest Hamitonians obtained in the framewor of our scheme are: I ±0 2 = ± (α (0 2, I ±2 2 = 2 ± α (0 α (±2 + β (±1 γ (±1. As it foows from the Theorem 1 and, as it is aso easy to verify by the direct cacuations, these Hamitonians commute with respect to the standard Lie Poisson bracets on s(2 σ : {α (2,β (2+1 } = β (2(++1, {α (2,γ (2+1 } = γ (2(++1, {β (2+1,γ (2+1 } = 2α (2(++2, {α (2,α (2 } = {β (2+1,β (2+1 } = {γ (2+1,γ (2+1 } = 0. As a consequence, they produce the correct U-V pair for zero-curvature equations: ( ( ( I 2 ±2 α (±2 0 = ± 0 α (±2 + u ±1 0 β (±1 γ (±1 + ± u ±2 α ( α (0 where U I 2 +2, V I 2 2. Due to the fact that I 2 ±0 are constants of motion we have that α (0 is aso a constant of motion and equations (13a, (13b are satisfied automaticay. The integras I 2 ±2 are constants,

10 10 T.V. Srypny of motion too, that is why α (±2 are expressed via β (±1, γ (±1. Hence, equation (13e is not independent and foows from equations (13c, (13d. These equations are independent. The ast summand in the equations (13c, (13d gives the inear massive term in the Thirring equation. The first summand gives the cubic non-inearity. Let us write the equations (13c, (13d in the case at hand in more detai taing into account the expicit form of the matrices L ( and inear operators r ± : x γ (1 = 2 + α (0 γ ( 1 2 α ( 2 γ (1, x β (1 = 2 + α (0 β ( α ( 2 β (1, x+ γ ( 1 = 2 α (0 γ (1 2 + α (2 γ ( 1, x+ β ( 1 = 2 α (0 β ( α (2 β ( 1, (14 where we have put I ±2 2 = 0 and, hence, α (±2 = 1 2 ± α (0 (β (±1 γ (±1. The system of equations (14 admits a reduction α (0 = ic, γ (±1 = β (±1 ψ ±1, which corresponds to the restriction onto the rea subagebra su(2 of the compex Lie agebra s(2. After such a reduction the system of equations (14 is simpified and acquires the form: ic x ψ 1 = 2 + c 2 ψ 1 + ψ 1 2 ψ 1, ic x+ ψ 1 = 2 c 2 ψ 1 + ψ 1 2 ψ 1. In the case + = = 1 2 these equations are usua Thirring equations with a mass m = c Matrix generaization of Thirring equation Let us return to the generaized Thirring mode in the case of the higher ran Lie agebra g, its automorphism of the second order and corresponding Z 2 -grading of g: g = g 0 + g 1. We are interested in the cases that wi be maximay cose to the case of the ordinary Thirring equation. In particuar, we wish to have r ±(L (0 that enter into our U-V pair (12 near the second order of spectra parameter to be constant aong a time fows. As it foows from the equations (13a, (13b, this is not true for the genera r-matrix R 0 on g 0. Fortunatey there are very specia cases when it is indeed so. The foowing proposition hods true: Proposition 3. Let g 0 admit the decomposition into direct sum of two reductive subagebras: g 0 = g + 0 g 0. Let L(0 = L (0 be the corresponding decomposition of the eement of the + + L(0 dua space. Let ζ(g be a center of the subagebra, K(L(0 ± 0 g± 0 ± be a part of L(0 ± dua to the center of the subagebra g ± 0. Then R 0 = P 0 + P 0 is the R operator on g 0, r + (L (0 = L (0 r (L (0 = L (0 are constant aong a time fows and the reduction L(0 = K + + K, where K ± is a constant eement of ζ(g ± 0, is consistent with a equations of the hierarchy (7, (8 corresponding to the oop agebra g σ and trianguar R-operator on g σ with the described above KAS R-operator R 0 on g 0. Proof. Let us at first note that in the case under consideration r± = r ±. Let us show that r±(l (0 = r ± (L (0 are constant aong a time fows generated by the second order Hamitonians I 2 ±2. It is easy to show that the corresponding agebra-vaued gradients have in this case the foowing form: I 2 ±2 = P ± (u 2 L ± (u + r ± (L (±2 = u 2 L ± (u P (u 2 L ± (u r (L (±2, where P ± are the projection operators onto the subagebras g σ ± in the trianguar decomposition of the Lie agebra g σ and we too into account that r + +r = 1. Let us substitute this expression into the Lax equation: dl(u dt ± 2 = [ I ±2 2,L(u], (15 +,

11 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 11 and tae into account that the case under consideration corresponds to the Kostant Ader Symes decomposition and, hence, we have correcty defined the decomposition L(u = L + (u + L (u, and each of two infinite-component Lax equation (15 is correcty restricted to each of the subspaces L ± (u: dl ± (u dt ± 2 dl ± (u dt 2 = [ P (u 2 L ± (u r (L (±2,L ± (u], = [P (u 2 L (u + r (L ( 2,L ± (u]. Maing projection onto the subagebra g 0 in these equations we obtain the equations: dr ± (L (0 dt ± 2 = [r (L (±2,r ± (L (0 ], dr ± (L (0 dt 2 = [r (L ( 2,r ± (L (0 ]. Due to the fact that our r-matrix is of Kostant Ader Symes type, we have [r (X,r ± (Y ] = 0, X,Y g 0 and, hence, r + (L (0 L (0 +, r (L (0 L (0 are constant aong a time fows generated by I 2 ±2. In anaogous way it is shown that L (0 = L (0 + + L(0 are constant with respect to the time fows generated by the higher order integras I ±2 m. Hence, in this case components of L (0 beong to the agebra of the integras of motion of our infinite-component Hamitonian or Lax system. This agebra of integras is, generay speaing, non-commutative γ, where c γ αβ are structure constants of the Lie agebra g 0. That is why i.e. { (0 α, (0 β } = cγ αβ (0 in order to have a correct and consistent reduction with respect to these integras we have to restrict the dynamics to the surface of zero eve of the integras beonging to ([g 0,g 0]. Other part of (g 0, namey the one beonging to (g 0/[g 0,g 0] = (ζ(g 0 = (ζ(g (ζ(g 0, may be put to be equa to a constant, i.e. correct reduction is: L (0 = K + + K, where K ± is a constant eement of ζ(g ± 0. Hence, in this case we have the foowing form of simpest U-V pair (12 for the zero-curvature condition: I 2 ±2 (u = u±2 K ± + u ±1 L (±1 + L (±2 ±, (16 where L (±2 ± = P 0 ± (L(±2 g. The corresponding equations (13a, (13b are satisfied automaticay and the rest of equations of the system (13 ± 0 are: x L (1 = [L ( 2,L(1 ] + [L ( 1,K + ], (17a x+ L ( 1 = [L (2 +,L( 1 ] + [L (1,K ], (17b x+ L ( 2 x L (2 + = [L(1,L ( 1 ], (17c where we have again used that in our case [r + (X,r (Y ] = 0, X,Y g 0. The equations (17a, (17b are the simpest possibe generaizations of the Thirring equations. The first term in the right-hand-side of this equation is an anaog of the cubic non-inearity of Thirring equation. The second term is an anaog of inear massive term of the Thirring equations. In a the cases one can express L (±2 ± via L (±1, and equation (17c wi foow from equations (17a, (17b. In order to show this we wi consider the foowing exampe. Exampe 4. Let us consider the case g = g(n, with the foowing Z 2 -grading: g = g(n 0 + g(n 1, where g(n 0 = g(p + g(q and g(n 1 = C 2pq, i.e. ( ( ˆα 0 0 ˆβ g(n 0 =, g(n 1 =, 0 ˆδ ˆγ 0 where ˆα g(p, ˆδ g(q, ˆβ Mat(p,q, ˆγ Mat(q,p.

12 12 T.V. Srypny In this case g + 0 = g(p, g 0 = g(q, ζ(g+ 0 = +1 p, ζ(g 0 = 1 q. The corresponding U-V pair (16 has the form: I +2 2 (u = +u 2 ( 1p I 2 2 (u = u 2 ( q ( 0 ˆβ+ + u ˆγ u 1 ( 0 ˆβ ˆγ 0 ( ˆα , ( ˆδ The corresponding zero-curvature condition yieds in this case the foowing equations: x ˆβ+ = (ˆβ +ˆδ + + ˆβ, x ˆγ + = (ˆδ ˆγ + + +ˆγ, (18a x+ ˆβ = (ˆα + ˆβ + ˆβ+, x+ˆγ = (ˆγ ˆα + + ˆγ +, (18b x+ˆδ = (ˆγ + ˆβ ˆγ ˆβ+, x ˆα + = (ˆβ ˆγ + ˆγ ˆβ+. (18c By direct verification it is easy to show that the substitution of variabes: ˆδ = 1 ˆγ ˆβ, ˆα + = 1 + ˆβ+ˆγ + soves equation (18c and yieds the foowing non-inear differentia equations: x ˆβ+ = 1 ˆβ+ (ˆγ ˆβ + ˆβ, x ˆγ + = 1 (ˆγ ˆβ γ + + +ˆγ, x+ ˆβ = 1 + (ˆβ +ˆγ + ˆβ + ˆβ+, x+ˆγ = 1 + ˆγ (ˆβ +ˆγ + ˆγ +. These equations are matrix generaization of the compex Thirring system [15]. They admit severa reductions (restrictions to the different rea form of the agebra g(n. For the case of an u(n reduction we have ˆγ ± = ˆβ ± = Ψ ±, ± = iκ ±, κ ± R and we obtain the foowing non-inear matrix equations in partia derivatives: i x Ψ + = 1 κ Ψ + (Ψ Ψ + κ + Ψ, i x+ Ψ = 1 κ + (Ψ + Ψ + Ψ + κ Ψ +. These equations are a matrix generaization of the massive Thirring equations ( Ψ ± Mat(p,q. In the case of p = n 1, q = 1 or p = 1, q = n 1 we obtain a vector generaization of Thirring equations. In the specia case n = 2, p = q = 1 and κ = κ + we recover the usua scaar massive Thirring equations with mass m = (κ Case of Coxeter automorphism Let σ be a Coxeter automorphism. In this case p = h, where h is a Coxeter number of g and agebra g 0 is Abeian. That is why a tensors R 0 are soutions of the mybe on g 0 and maps r ± are arbitrary (moduo the constraint r + +r = 1. Moreover, in this case the foowing proposition hods: Proposition 4. Let σ be a Coxeter automorphism of g and maps r ± on g be nondegenerated. In this case L (0 is constant aong a time fows and components of L (±h are expressed as poynomias of components of L (±1,...,L (±(h 1.

13 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 13 Proof. In the considered case we have that dimg 0 = rang. On the other hand there exist r = rang independent Casimir functions I (L, 1,h, on g. Hence there exist 2rang integras of the foowing form: I ±0 = I (r ± (L(0. They are constant aong a time fows generated by a other integras I ±. That is why we may put them to be equa to constants. On the other hand, it is not difficut to see that a r independent components of L (0 can be functionay expressed via I ±0. Hence, they are constants too. At ast, we have 2ran g integras I ±h, which are constant aong a time fows and we may put them to be equa to constants I ±h = const ±h. It easy to see that I±h are inear in L (±h and, on the surface of eve of I ±h, a components of L(±h are expressed poynomiay via components of L (±1,...,L (±(h 1 if the maps r ± are non-degenerate. This proposition has the foowing important coroary: Coroary 1. The number of independent fieds in the generaized Thirring equation (10, corresponding to Coxeter automorphism, is equa to 2 h 1 dimg j = 2(dim g rang. Let us expicity consider Thirring-type equations (11 in the case of the Coxeter automorphisms. In this case g 0 g h is Abeian and equations (11a, (11b become trivia. Moreover, due to the fact that L (±h is expressed via L (±j where j < h, equation (11d becomes a consequence of equations (11c, (11d. In the resuting system of equations (11 is simpified to the foowing system: x L (h j = [r (L ( h,l (h j ] + x+ L (j h = [r + (L (h,l (j h ] + h 1 i=j+1 h 1 i=j+1 j=1 [L (i j h,l (h i ] + [L ( j,r + (L(0 ], [L (h+j i,l (j h ] + [L (j,r (L (0 ], (19 where j {1,h 1}, L (0 is a constant matrix and L (±h is poynomia in L (±j. We ca this system of equations the Abeian generaized Thirring equations. The ast summand in equations (19 is an anaog of the massive term in the Thirring equation. The first summand is an anaog of the cubic non-inearity in the Thirring equation, but with the growth of the ran of g the degree of this term is aso growing. The other terms are of the second order in dynamica variabes. They are absent in the ordinary Thirring system corresponding to the case g = s(2. Let us expicity consider the simpest exampe, which aready possesses a features of the generaized Thirring equation: Exampe 5. Let g = g(3. Its Z 3 -grading corresponding to the Coxeter automorphism has the foowing form: α β γ 3 g(3 0 = 0 α 2 0, g(3 1 = 0 0 β 2, g(3 2 = γ 1 0 0, 0 0 α 3 β γ 2 0 g(3 3 = g(3 0, g(3 1 = g(3 2, g(3 2 = g(3 1. The Lax operators beonging to the dua spaces to g(3 R± are: L ± (u = r ± (L(0 + L (±1 u 1 + L (±2 u 2 + L (±3 u 3 +, where L (0,L (±3 g(3 0, L (1,L ( 2 g(3 2, L (2,L ( 1 g(3 1.

14 14 T.V. Srypny In order to simpify the form of the resuting soiton equations we wi use the foowing notations: α γ + L (0 = 0 α 2 0, L ( β + = 0 0 γ 2 +, L (1 3 = β 0 0 α 3 γ , β L (±3 = δ ± δ ± δ ± 3, L ( 1 = 0 β β 2 β 3 0 0, L ( 2 = 0 0 γ 3 γ γ 2 0 The generating functions of the Poisson-commuting integras of the corresponding integrabe system are: I (L ± (u = 1 tr (L± (u = m=0 I ±m u m. In particuar, we have the foowing integras: I ±0 = 1 tr (r ± (L(0, 1,3. From the fact that they are fixed aong a the time fows we obtain that a α i are constants of motion. We aso have the foowing integras: I ±3 1 = tr L (±3, I ±3 2 = tr (r ±(L (0 L (±3 + tr (L (±1 L (±2, I ±3 3 = 1 3 tr (L(±1 3 + tr ( r ±(L (0 (L (±1 L (±2 + L (±2 L (±1 + tr ( r ±(L (0 2 L (±3. These integras permit us to express components of L (±3 via components of L (±1 and L (±2 in the case of the non-degenerated maps r ±. Let us do this expicity. For the sae of simpicity we wi put that r ±(L (0 = ± L (0, where ± are some constants and + + = 1. In this case we wi have the foowing expicit form of the above integras: I ±3 1 = 3 i=1 I ±3 3 = 2 ± δ ± i, I±3 2 = ± 3 α 2 i δ i ± + ± i=1 3 α i δ i ± + i=1 3 β i ± γ± i, i=1 3 α i (β i ± γ± i + β i 1 ± γ± i 1 + β± 1 β± 2 β± 3, i=1 where we have impied in the ast summation that β ± 0 β± 3,γ± 0 γ± 3. The U-V pair corresponding to the Hamitonians I ±3 2 have the form: I ±3 2 (u = u±3 r ± (L(0 + u ±2 L (±1 + u ±1 L (±2 + r ± (L (±3. The corresponding zero-curvature equation reads as foows: x L (1 = [r (L ( 3,L (1 ] + [L ( 2,r + (L(0 ], x+ L ( 1 = [r + (L (3,L ( 1 ] + [L (2,r (L (0 ], x L (2 = [r (L ( 3,L (2 ] + [L ( 1,r +(L (0 ] + [L (1,L ( 2 ], x+ L ( 2 = [r + (L (3,L ( 2 ] + [L (1,r (L(0 ] + [L (2,L ( 1 ]. In the component form we have the foowing equations: x β + i = (δ i δ i+1 β+ i + + (c i+1 c i γ i,.

15 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 15 x+ β i = + (δ + i δ + i+1 β i + (c i+1 c i γ + i, x γ + i = (δ i+1 δ i γ+ i + + (c i c i+1 β i + (β + γ j β+ j γ, x+ γ i + = + (δi+1 δ i γ+ i + (c i c i+1 βi + (γ j + β γ+ β j, (20 where c i α i, indices i, j, constitute a cycic permutation of the indices 1, 2, 3, and it is impied that δ 3+1 ± δ± 1, c 3+1 c 1. Taing into account that a the integras I±3 are constants of motion and putting their vaues to be equa to zero we can expicity express variabes δ i ± via α i = c i, β i ±, γ± i : δ i ± 1 = ± 2 (c i c j (c i c ( 3 ± (c j + c β ± γ ± ± =1 3 c (β ± γ ± + β ± 1 γ± 1 β± 1 β± 2 β± 3, (21 =1 where indices j and are compementary to the index i in the set {1,2,3}. Due to the fact that c i are constants of motion this expression is poynomia of the third order in dynamica variabes. At ast, substituting (21 into the equations (20 we obtain a system of noninear differentia equations for the dynamica variabes β i ± and γ i ±. These equations are a g(3 generaization of compex Thirring equations. Unfortunatey, neither these equations nor more compicated g(n compex Thirring equations do not admit reductions to the rea forms u(3 or u(n respectivey. 4.3 The case of Kostant Ader Symes R-operators Let us now consider integrabe hierarchies corresponding to the case r + = 1, r = 0 (or r = 0, r = 1, i.e. corresponding to the Kostant Ader Symes decomposition of t oop agebras. As it was reminded in Subsection 4.1, each of the gradings of the oop agebras corresponding to the different automorphisms σ of order p provides its own Kostant Ader Symes decomposition: g σ = g σ+ + g σ, and, hence, provides commuting Hamitonian fows and hierarchies of integrabe equations. Let us consider the simpest equations of integrabe hierarchies corresponding to them. We have the foowing generic eements of the dua spaces ( g σ± : L + (u = L (0 + L (j u j, L (u = j=1 L ( j u j, where L ( g, and the foowing generating functions of the commutative integras: I (L + (u = I m u m, I (L (u = m=0 j=1 n=1 I n u n, where I (L are Casimir functions of g. We wi be interested in the foowing Hamitonians and their Hamitonian fows: p 1 I p 2 = ( L (0,L (p + 1 ( L (j,l (p j, Ip p = I p (L ( 1. 2 j=1

16 16 T.V. Srypny The agebra-vaued gradients of functions I p 2, I p p p 1 I p 2 (u = up L (0 + u (p j L (j + L (p, j=1 read as foows: I p p (u = u 1 L(1, where L (1 dim g 1 i=1 I p p L (1 α X 1 α g 1. The corresponding zero-curvature condition yieds the foowing system of equations: x L (0 = 0, x L ( = [ L (1,L ( 1 ], {1,p}, (23 x+ L(1 = [L (p, L (1 ]. Remar 4. The gradient I p 2 (u is an anaog of the U operator of the generaized Thirring hierarchy. The other gradient Ip p (u is an anaog of the V operator of the non-abeian Toda equation. Hence the corresponding integrabe equations may be considered as an intermediate case between generaized Thirring and (non-abeian Toda equation Case of second order automorphism Let us consider the case of the automorphism of the second order σ 2 = 1 (p = 2, the corresponding Hamitonians, their matrix gradients and zero-curvature conditions. We wi use commuting second order Hamitonians of the foowing form: I2 2 = ( L (0,L (2 + 1 ( 2 L (1,L (1, I2 2 = 1 2 (L( 1,L ( 1. The agebra-vaued gradients of functions I 2 2, I 2 2 read as foows: (22 (24 I 2 2 (u = u2 L (0 + ul (1 + L (2, I p p (u = u 1 L ( 1. The corresponding zero-curvature condition yieds the foowing simpe system of differentia equations of hyperboic type: x L (0 = 0, x L (1 = [L ( 1,L (0 ], x L (2 = [L ( 1,L (1 ], x+ L ( 1 = [L (2,L ( 1 ], (25 where L (0,L (2 g 0, L (±1 g 1. Let us consider the foowing exampe of these equations: Exampe 6. Let g = s(2 and σ be a Cartan invoution, i.e. s(2 0 = diag (α, α and s(2 1 consists of the matrices with zeros on the diagona. The simpest Hamitonians obtained in the framewor of Kostant Ader Symes scheme are: I 0 2 = (α(0 2, I 2 2 = 2α(0 α (2 + β (1 γ (1, I 2 2 = β( 1 γ ( 1. They produce the foowing U-V pair for zero-curvature equations: ( ( ( I2 2 α (2 0 0 β (1 = 0 α (2 + u γ (1 + u 2 α ( α (0 I 2 2 = u 1 ( 0 β ( 1 γ ( 1 0.,

17 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 17 Due to the fact that I 0 2 are constants of motion we have that α(0 is aso a constant of motion. Moreover, using the fact that I 2 2 is a constant of motion one can express α(2 via β (1, γ (1. Hence we obtain from the equations (25 the foowing independent equations for the variabes β (±1, γ (±1 : x γ (1 = 2α (0 γ ( 1, x β (1 = 2α (0 β ( 1, x+ γ ( 1 = 2α (2 γ ( 1, x+ β ( 1 = 2α (2 β ( 1. (26a (26b (26c (26d From the equation (26b it foows that β ( 1 = x β(1 2α (0. Substituting this into equation (26d and taing into account that α (0 is a constant aong a time fows we obtain the foowing equation: 2 x + x β (1 = 2α (2 x β (1. (27 Taing into account that α (2 = 1 (β (1 γ (1, where we have put that I 2 2α (0 2 = 0, and maing the reduction to the Lie agebra su(2: α (0 = ic, γ (1 = β (1 ψ we obtain the foowing integrabe equation in partia derivatives: 2 x + x ψ + i c ψ 2 x ψ = 0. This equation is (in a some sense intermediate between Thirring and sine-gordon equations Case of Coxeter automorphism (principa gradation Let us consider again the case of the principa gradation. In this case p = h and a subagebra g 0 is Abeian. In the same way as it was done in the case of the generaized Abeian Thirring modes it is possibe to show that L (0 is constant aong a time fows and components of L (h are expressed poynomiay via the components of L (, < h. Let us assume that constants of motion L (0 are such that the operator ad L (0 is nondegenerate. In such a case we may sove the first of the equations (23 in the foowing way: L (1 = ad 1 L (0 ( x L (1. Substituting this expression into equation (24 and taing into account commutativity of g 0 and, hence, operators ad 1 and ad L (0 L (h, we finay obtain the foowing matrix differentia equation in partia derivatives: x+ x L (1 = [ L (h (L (1,...,L (h 1, x L (1], where L (, {2,h 1} satisfy the foowing set of ordinary differentia equations: x L ( = [L ( 1,ad 1 L (0 ( x L (1 ]. Let us consider the foowing exampe. Exampe 7. Let g = g(3, h = 3. In this case we have the foowing differentia equations: x+ x L (1 = [L (3 (L (1,L (2, x L (1 ], (28 x L (2 = [L (1,ad 1 ( L (0 x L (1 ].

18 18 T.V. Srypny Let L (0, L (1, L (2, L (3 are parametrized as in the Exampe 5, i.e. α β 3 L (0 = 0 α 2 0, L (1 = β 1 0 0, 0 0 α 3 0 β 2 0 L (2 = 0 γ γ 2 γ 3 0 0, L (3 = δ δ δ 3 In such coordinates equation (28 acquires the foowing form: 2 x x + β i = (δ i+1 (β,γ δ i (β,γ x β i, i {1,3}. (29 where, ie in the Exampe 5, δ i (β,γ are expressed via β j, γ and constants α i c i : ( δ i (β,γ = (c j + c β γ c (β γ + β 1 γ 1 β 1 β 2 β 3. (30 (c i c j (c i c =1 This equation is an exact anaog of the equation (27. Unfortunatey in this case there is no su(3 reduction and variabes γ i are not conjugated to β i but satisfy the foowing differentia equations: x γ i = ǫ ij β j (c c +1 1 x β, i {1,3}. (31 Equations (29 (31 are intermediate between the Abeian g(3-toda equations and the generaized Abeian g(3-thirring equations. Acnowedgements Author is gratefu to Professors A. Mihaiov and P. Hood for attracting his attention to Thirring mode and to M. Tsuchida for usefu discussion. References [1] Beavin A., Drinfed V., On soutions of the cassica Yang Baxter equations for simpe Lie agebra, Funct. Ana. App. 16 (1982, no. 3, [2] Beavin A., Drinfed V., Trianguar equation and simpe Lie agebras, Preprint no. 18, Institute of Theoretica Physics, Chernogoova, [3] Fascha H., Newe A., Ratiu T., Kac Moody Lie agebras and soiton equations. II. Lax equations associated with A (1 1, Phys. D 9 (1983, Fascha H., Newe A., Ratiu T., Kac Moody Lie agebras and soiton equations. III. Stationary equations associated with A (1 1, Phys. D 9 (1983, [4] Gui F., Banach Lie groups and integrabe systems, Inverse Probems 5 (1989, [5] Gui F., Manas M., The homogeneous Heisenberg subagebra and equations of AKS type, Lett. Math. Phys. 19 (1990, [6] Hood P., Integrabe Hamitonian systems on the orbits of affine Lie groups and periodica probem for mkdv equation, Preprint ITF R, Institute for Theoretica Physics, Kyiv, 1982 (in Russian. [7] Hood P., Hamitonian systems on the orbits of affine Lie groups and finite-band integration of noninear equations, in Proceedings of the Internationa Conference Noninear and Turbuent Process in Physics (1983, Kiev, Harwood Academic Pub., Chur, 1984, [8] Kac V., Infinite-dimensiona Lie agebras, Moscow, Mir, [9] Mihaiov A., Integrabiity of the two dimensiona thirring mode, Pis ma Zh. Esper. Teoret. Fiz. 23 (1976, (in Russian. =1.

19 Cassica R-Operators and Integrabe Generaizations of Thirring Equations 19 [10] Newe A., Soitons in mathematics and physics, University of Arizona, Society for Industria and Appied Mathematics, [11] Reyman A., Semenov-Tian-Shansy M., Group theoretica methods in the theory of finite-dimensiona integrabe systems, VINITI, Current Probems in Mathematics. Fundamenta Directions 6 (1989, (in Russian. [12] Semenov-Tian-Shansy M., What cassica r-matrix reay is?, Funct. Ana. App. 17 (1983, [13] Srypny T., Dua R-matrix integrabiity, Theoret. and Math. Phys., to appear. [14] Srypny T., Quasigraded Lie agebras, Kostant Ader scheme and integrabe hierarchies, Theoret. and Math. Phys. 142 (2005, [15] Tsuchida T., Wadati M., Compete integrabiity of the derivative non-inear Shcrödinger-type equations, sov-int/