arxiv: v1 [math-ph] 10 Apr 2010

Transcription

1 Lax formalism for -Painlevé euations with affine Weyl group symmetry of type E (1) n Yasuhiko Yamada arxiv: v1 [math-p0 Apr 2010 Department of Mathematics, Faculty of Science, Kobe University, Hyogo , Japan Abstract. An explicit form of the Lax pair for the -difference Painlevé euation with affine Weyl group symmetry of type E (1) 8 is obtained. Its degeneration to E (1) 7, E(1) 6 and D (1) 5 cases are also given. Key Words and Phrases: Painlevé euation, Lax formalism, -difference euation MSC Numbers : 34M55, 39A13, 34M56. 1 Introduction A Lax formalism for the elliptic difference Painlevé euation [9 was obtained in [14. The construction is concrete including the specification of the unknown variable (f, g) of the Painlevé euation. The explicit formula of the elliptic Painlevé euation and its Lax from, however, seems to be too complicated to write it down in tidy form. On the other hand, for the multiplicative (i.e. -difference) and additive cases, rather concise expressions for the Painlevé euations have been known [8. The aim of this paper is to adjust the construction of [14 to the -Painlevé euations in [8 and write down the corresponding Lax euations explicitly. We note that the Lax formulations of difference Painlevé euations were obtained in [1 for additive E (1) 6, [2 for additive E (1) 7, E (1) 8 and [10 for -E (1) 6 cases (see also [11). In general, the scalar Lax pair consists of a linear (difference) euation L 1 = 0, and its deformation euation L 2 = 0. Though the Lax euations L 1,L 2 in [14 were both of degree (3,2) in variables (f,g), other choices of euation L 2 are possible depending on the direction of deformation. In this paper, we will give an explicit expressions of the Lax pair L 1,L 2 for -Painlevé euation (7) corresponding to a distinguished direction. The first euation L 1 (14) is of degree (3,2) which is the explicit realiation of that in [14. The second euation L 2 (17) is of degree (1,1) and hence much more economical. The contents of this paper is as follows. In section 2, the explicit expression of the 1

2 -Painlevé euation of type E (1) 8 is recapitulated. (Its Weyl group symmetry is explained in Appendix A.) In section 3, corresponding Lax euations are given in explicit form. The compatibility is proved in section 4. Finally, in section 5, the degeneration to E (1) 7, E(1) 6 and D (1) 5 cases are considered. The Lax form for -E (1) 7 case seems also to be new. 2 Fundamental euations Let,h 2,u 1,...,u 8 and = h 2 1 h2 2 /(u 1 u 8 ) be complex parameters. We consider a configuration of the following eight points in P 1 P 1 : P i = P(u i ), P(u) = (f(u),g(u)), f(u) = u+ u, g(u) = u+ h 2 u. (1) The functions f = f(u),g = g(u) give a parametriation of a rational curve C 0 : ϕ(f,g) = 0 of degree (2,2), where We define a polynomial U() as ϕ(f,g) = (f g)( f g h 2 ) ( h 2 )( 1 1 h 2 ). (2) U() = 8 ( u i ) = Hence m 0 = 1, m 8 = h 2 1 h2 2 /. We also define P n(h,x),p d (h,x) by i=1 8 ( 1) i m 8 i i. (3) i=0 ( h )P n(h, + h ) = 1 3U() ( h )3 U( h ), ( h )P d(h, + h ) = 5 U( h ) (h )5 U(). (4) Then they satisfies P d (h, + h )+h3 2 P n (h, + h ) (h )3 ( + h )U() = 0, P d (h,g) = h 4 P n ( 1 h, g h ) m i m 8 i. (5) Explicitly, we have P n (h,g) = m 0 g 4 m 1 g 3 +(m 2 3hm 0 h 3 m 8 )g 2 +(2hm 1 m 3 +h 2 m 7 )g +(h 2 m 0 hm 2 +m 4 h 1 m 6 +h 2 m 8 ), P d (h,g) = m 8 g 4 hm 7 g 3 +(h 2 m 6 3hm 8 h 5 m 0 )g 2 +(2h 2 m 7 h 3 m 5 +h 5 m 1 )g +(h 6 m 0 h 5 m 2 +h 4 m 4 h 3 m 6 +h 2 m 8 ). (6) 2

3 The -Painlevé euation of type E (1) 8 can be described by the following bi-rational transformations [8: where and T : (,h 2,u 1,...,u 8 ;f,g) (,h 2,u 1,...,u 8 ;f,g), (7) (f g)(f g) ( h 2 )( h 2 ) 1 h 2 ( f g h 2 )( f g h 2 ) ( 1h 4 2 = h2 1 h 2 )( 1 1 h 2 )h 2 (f g)(f g) ( h 2 )( h 2 ) ( f g h 2 )(f g h 2 ) ( 1 h 2 )( 1 h 2 ) Under the transformation = h4 1 h2 2 P n (h 2,g) P d (h 2,g), (8) P n ( h1,f) 3 P d (,f). (9) f g, g f, h 2, h 2, (10) the euations (8) and (9) are transformed with each other. Define polynomial V = V(f 0,f) as [ V(f 0,f) = (f 0 g)(f g) ( h 2)( h 2 ) 1 P d (h 2,g) [ h 2 h 2 1h 4 2 ( f 0 g )( f g ) ( 1 )( 1 1 )h 2 P n (h 2,g). h 2 h 2 h 2 h 2 Then e.(8) is written as In the following, we also use the notation 3 Lax euations (11) V(f,f) = 0. (12) f(u) = u+ u, g(u) = u+ h 2 u. (13) Let us define the Lax pair for the -Painlevé euations (8), (9). The first euation L 1 = 0 is a three term -difference euation for Y( ),Y(),Y() defined by 5 U( L 1 = ) [ ( 2 2 ){f f( )} Y( ) g g( ) g g( ) Y() 8 U( + ) [ Y() g g() ( 2 )h 4 1{f f()} g g( ) Y() + ( h 2 ) 2 ( 2 )V(f( ),f) Y(), h 3 1h 3 2gϕ{g g( )}{g g( )} 3 (14)

4 where V is in e.(11). The following proposition shows that the euation L 1 = 0 has the geometric properties described in [14. Proposition 3.1 Put F(f,g) = ϕ{f f( )}{f f()}l 1. Then the algebraic curve F = 0 in P 1 P 1 satisfy the following properties: (i) It is of degree (3,2). (ii) It passes the 12 points P 1,...,P 8, P(), P( ), Q() and Q( ), where Q(u) = (f,g) is defined by f = f(u) and g g(u) g g( u ) = Y(u) Y(u), for u =,. Moreover, these conditions determine the curve F = 0 uniuely. Proof. (i) It is easy to see that the coefficients of Y() and Y( ) in F are polynomials in (f,g) of degree (3,2). The coefficient of Y() looks a rational function with numerator of degree (3,6) and denominator of degree (0,3). However its residues at g = 0, g = g( ), g = g( ) and leading term at g are proportional to P d (h 2,0) h 4 2 P n(h 2,0), at g = 0 P d (h 2,g( ))+h3 2( )2 P n (h 2,g( )) (h 2 )3 g( )U(), at g = g() P d (h 2,g( ))+h 3 2 ( ) 2 P n (h 2,g( )) ( h 2 ) 3 g( )U( ), at g = g( ) (h 2 1h 2 2m 0 m 8 )g 3, at g and all of them are ero due to es (5), (6). Hence the property (i) is proved. (ii) The coefficients of Y() and Y( ) of polynomial F trivially vanish at P 1,...,P 8, P() and P( ). The coefficient of Y() is proportional to (u )( u){p d (h 2,g(u))+h 3 2 u2 P n (h 2,g(u))} = (u )( u)( h 2 u )3 g(u)u(u) (16) under the specialiation f = f(u) and g = g(u). Hence, it also vanishes at P 1,...,P 8, P() and P( ). The vanishing of F at Q() and Q( ) can be directly seen from the structure of L 1. The property (ii) is proved. The uniueness follows from simple dimensional argument. In [14, the second Lax euation L 2 = 0 is also defined as a curve of degree (3,2) with similar vanishing conditions. However, the L 2 euation (the deformation euation) depends on the direction in E (1) 8 -translations and the one in [14 is not what we want here. In fact, we can take more simple Lax euation L 2 = 0 given by (15) L 2 = {g g( )}Y() {g g( )}Y()+{f f()}( ). (17) 2)Y( The following is the main result of this paper. Theorem 3.2 The compatibility of the euations L 1 = 0 (14) and L 2 = 0 (17) gives the Painlevé euation (8), (9). 4

5 4 Proof of the main theorem Here, we will prove the Theorem.3.2. Using L 2 = 0 (17) and its shift L 2 = 0, eliminate Y() and Y( ) from L 1 = 0 (14), we get L 1 = 3 U( ) {g g( )}Y( ) We introduce auxiliary variable W() by then, from e. (18) we have 7 U( h1 ) h 4 1 {g g( )} Y() + ( h 2 ) 2 ( 2 )V(f( ),f) Y() = 0. h 3 1 h3 2 gϕ{g g( )}{g g( )} W( ) = Y( 8 {g g( ) )} h {g g( )} U( U( ) (18) ) Y(), (19) 3 U( ) {g g( )}W( )+ ( h 2 ) 2 ( 2 )V(f( ),f) h 3 1 h3 2 gϕ{g Y() = 0. (20) g( )}{g g( )} From e.(20), (20) and L 2, we eliminate Y() and Y() and obtain W( )+ ( h 2 )( 2 )( 2 )(f f())v(f( ),f)2 gh 3 1 h 3 2 ϕ 5 (g g( ))(g g())u( ) Y() + ( 2 )(g g( ))U()V(f(),f) = 0. 4 ( 2 )(g g())u( )V(f(),f)W() (21) Lemma 4.1 We have where ϕ u = ϕ {f f,h1 }. (f x 1 )V(x 2,f) (f x 2 )V(f,x 1 ) = ( h 2 )ϕ, (22) ( h 2 )ϕ u Proof. The (LHS) of e.(22) is fractional liner function both in x 1 and x 2. Whose eros and poles cancel due to e.(12) hence it is constant. Taking a limit x 1,x 2, the constant is given by (f g)p d (h 2,g) h 3 2(fh 2 g )P n (h 2,g) (f g)p d (h 2,g) h 3 2 (fh 2 g /)P n (h 2,g). (23) From e.(8), this coincide with the (RHS) of e.(22). 5

6 By using e.(22), e.(21) can be written as W( )+ ( h 2 )( 2 )( 2 )(f f( ))V(f,f())2 gh 3 1 h 3 2 ϕ u 5 (g g( ))(g g())u( ) Y() + ( 2 )(f f( ))(g g( ))U() = 0. 4 ( 2 )(f f())(g g())u( )W() (24) Using e.(19), express W in terms of Y, we finally obtain U( L 1u = ) [ ( 2 2 ){f f( )} Y( 8 U( h1 ) ) g g( ) h U( ) g g( ) Y() 8 U( + ) [ ( 2 )h 4 1 {f f()} Y() h4 h 1 U() g g( 1 ) 4 8 U( ) g g() Y() + ( h 2 ) 2 ( 2 )V(f,f()) Y() = 0. h 3 1h gϕ u {g g( )}{g g()} This isthe threeterm difference euation fory(),y(),y( ) which should becompared with T-evolution of the e.l 1 for the compatibility. To do this, one should make further variable change from (f,g) to (f,g), where g and g are related by e.(9). Though the explicit computation of this variable change is rather complicated, one can bypass it by using the geometric method as [14. Lemma 4.2 The algebraic curve ϕ{f f( )}{f f()}l 1u = 0 in variables (f,g) P 1 P 1 is uniuely characteried by the following properties: (i) It is of degree (3,2). (ii) It passes the 10 points (f,g) = (f(u),g(u)) with u = u 1,...,u 8,,, and two more points defined by f = f(u) and 4 u 8 U( ) u g g(u) h 4 1 U(u) g g( ) = Y(u) u Y(u), for u =,. Proof. Since the structure of e.(25) is almost the same as e.(14), the lemma can be shown in the same way as Proposition.3.1. Lemma 4.3 The bi-rational transformation g = g(f,g) [its inverse g = g(f,g), resp. is uniuely characteried by the following properties. (i) It is given by a ratio of polynomials of degree (4,1) passing through the 8 points (f,g) = (f(u i ),g(u i )) [(f,g) = (f(u i ),g(u i )), resp.. (ii) For generic parameter u, it transforms as (25) (f,g) = (f( u ),g( )) (f,g) = (f(u),g(u)). (26) u 6

7 Proof. The transformation g = g(f,g) [g = g(f,g) is determined by e.(9), i.e. [(f 3 g)(f g) ( h 2 )( h 2 ) P d (,f) [ h 4 1 h2 2 ( f g h 2 )(f g h 2 ) ( 1 )( h 2 1 h 2 ) P n (,f) = 0. (27) This euation is linear in both g and g, and of degree 4 in f since degree 5 terms are cancelled. Hence g(f,g) [g(f,g) is of degree (4,1). By a similar computation as e.(16), the e.(27) is written as {g g( u )} { 3 P d (,f(u))+h3 1 u2 P n (,f(u)) } = {g g( u )}( u )3 f(u)u(u) = 0, (28) when f = f(u) and g = g(u). Then it follows that (1) if f = f(u i ) then g = g(u i ) (regardless of g) and (2) if f = f(u) and g = g(u) then g = g( ) for u u u i. Hence the properties (i), (ii) are verified. Finally the uniueness follows from dimensional argument. Lemma 4.4 Let F(f,g) = 0 be any curve of degree (3,2) passing through the 10 points in (ii) of Lemma.4.2. Then the curve in variables (f,g) obtained from F(f,g(f,g)) = 0 is also of degree (3,2) and passes the 10 points (f,g) = (f(u),g(u)) with u = u 1,...,u 8,,. Proof. From lemma 4.3, we have g = A 41 B 41 where A 41,B 41 are polynomials of degree (4,1) in (f,g) vanishing at the 8 points : (f(u i ),g(u i )) 8 i=1. Substitute this into F(f,g) we have F(f, A 41 B 41 ) = P 11,2 (B 41, where P ) 2 11,2 (f,g) is a polynomial of degree (11,2) vanishing at the 8 points with multiplicity 2. Since F(f,g(f,g)) f=f(ui ) = F(f(u i),g(u i )) = 0 (regardless of g), thepolynomialp 11,2 isfactoriedasp 11,2 = F 32 (f,g) 8 i=1 {f f(u i)}and F 32 = 0gives the desired curve of degree (3,2) passing through the 8 points. 1 The other two vanishing conditions follow from the relation F 32 (f(u),g(u)) = 0 F(f(u) = f( u ),g( )) = 0 u which holds for generic u( u i ). Lemma 4.5 The euation L 1u = 0 gives a curve of degree (3,2) in (f,g) passing through the 10 points (f,g) = (f(u),g(u)) with u = u 1,...,u 8,,. Proof. It follows from the Lemma 4.2 and Lemma 4.4. Lemma 4.5 ensures the vanishing properties of L 1u which must be satisfied by T- evolution of L 1 at the first 10 points. In order to prove the main theorem, it is enough to prove the following 1 In terms of the Picardlattice, this part correspondsto the fact that 3H 1 +2H 2 8 i=1 E i is invariant under the substitution H 2 4H 1 +H 2 8 i=1 E i, E i H 1 E i (i = 1,...,8). 7

8 Lemma 4.6 The euation L 1u vanishes at Q() and Q( ), where Q(u) = (f,g) is defined by f = f(u) and g g(u) g g( ) = Y(u) u Y(u), for u =,. Proof. When f = f( ), from e.(9) and e.(5), we have g g( ) g g( ) = g g( ) P d ( h1,f( ))+( ) 3 ( )2 P n (,f( )) g g( ) 2 P d (,f( ))+( ) 3 ( ) 2 P n (,f( )) = g g( ) h U( ) g g( ) 8 U( ). (29) Then, from the residue of e.(25) at f = f( ), we have Y( ) Y() = 8 U( h1 h ) g g( ) U( ) g g( ) = g g( ) g g( ). (30) This is the desired relation for u =. The relation for u = is similar. The proof of the main theorem is completed. 5 Degenerations In this section, we consider the degeneration limit of the E (1) 8 system to E (1) 7, E(1) 6, D(1) 5. For the corresponding -Painlevé euations see [5, [12 and references therein. 5.1 Degeneration from E (1) 8 to E (1) 7 We put (,h 2 ) = (tǫ, ǫ) and (u t 1,...,u 8 ) = (b 1,...,b 4, ǫ b 5,..., ǫ b 8 ), hence = b 5b 6 b 7 b 8 Under the limit ǫ 0 we have P n (h 2,g) g 4 B 1 ( 1 g ), P d(h 2,g) ǫ 4g4 B 2( 1 tg ), b 1 b 2 b 3 b 4. P n (,f) f 4 B 1 ( 1 f ), P d(,f) ǫ 4f4 B 2( t f ), (31) U( ) ( )8 B 1 ( ), U( ) ǫ 41 B 2( t ), where B 1 () = 4 (1 b i ), B 2 () = i=1 8 (1 b i ). (32) i=5 8

9 In addition to this limiting procedure, we also make a change of coordinate : g 1. g Then the configuration of the 8 points are (f,g) = (b i, 1 b i ) i=1,...,4, and (b i t, t b i ) i=5,...,8. They are on the curve (fg 1)(fg t 2 ) = 0. The -Painlevé euation of type E (1) 7 is then given by (b i,t,f,g) (b i, t,f,g), where The Lax pair is L 1 = (1 t2 ) g 2 + B 2( t ) t 2 (f ) + t2 B 1 ( ) (f ) (fg 1)(fg 1) (fg t 2 )(fg t 2 ) = B 1(g) t 4 B 2 ( g t ), (fg 1)(fg 1) (fg t 2 )(fg 2 t 2 ) = B1(1 3 B 2 ( t f ) f ). [ B 1 (g) (fg 1)(g ) t 4 B 2 ( g ) t (fg t 2 )(g t 2 ) [ Y() t2 (1 g) t 2 g Y() [ Y( ) t2 g t 2 ( g) Y() = 0, Y(x) (33) (34) and L 2 = t2 g Y()+(g )Y( g(f ) )+ Y( ) = 0. (35) t Degeneration from E (1) 7 to E (1) 6 Degeneration from E (1) 7 to E (1) 6 is obtained by putting b 5 b 5 /ǫ, b 6 b 6 /ǫ, b 7 b 7 ǫ, b 8 b 8 ǫ and t tǫ and taking the limit ǫ 0. The 8 points configuration: (f,g) = (b i, 1 b i ) i=1,...,4, (b i t,0) i=5,6 and (0, t b i ) i=7,8. The -Painlevé euation: (fg 1)(fg 1) ff (fg 1)(fg 1) gg = (b 1g 1)(b 2 g 1)(b 3 g 1)(b 4 g 1), b 5 b 6 (b 7 g t)(b 8 g t) = 2 (b 1 f)(b 2 f)(b 3 f)(b 4 f). (f b 5 t)(f b 6 t) (36) 9

10 The Lax pair: L 1 = (b 1 )(b 2 )(b 3 )(b 4 )t 2 [ Y( (f ) ) g 4 t 2 (g ) Y() [ (b1 g 1)(b 2 g 1)(b 3 g 1)(b 4 g 1) + b 5b 6 (b 7 g t)(b 8 g t) g(fg 1) 2 (g ) fg 3 + (b 5t )(b 6 t ) [ Y() (f ) 2 t 2 (g 1)t2 Y() g = 0, L 2 = g t Y()+( g(f ) 2 g)y( ) Y( ) = 0. 2 Y() (37) A 2 2 matrix Lax formalism for the -Painlevé euation with E (1) 6 -symmetry has been obtained by Sakai [10. The scalar Lax euation here may be euivalent to Sakai s one, though we could not confirm it so far. 5.3 Degeneration from E (1) 6 to D (1) 5 Degeneration from E (1) 6 to D (1) 5 is obtained by putting b 1 b 1 /ǫ, b 2 b 2 /ǫ, b 3 b 3 ǫ, b 4 b 4 ǫ, f fǫ, g gǫ, t tǫ, ǫ, Y ǫ 3 Y, and taking the limit ǫ 0. The8pointsconfiguration: (f,g) = (, 1 b i ) i=1,2,(b i, ) i=3,4,(b i t,0) i=5,6 and(0, t b i ) i=7,8. The -Painlevé euation: The Lax pair: ff = b 5b 6 (b 7 g t)(b 8 g t) (b 1 g 1)(b 2 g 1), gg = (f b 5t)(f b 6 t) 2 b 1 b 2 (b 3 f)(b 4 f). L 1 = b 1b 2 (b 3 )(b 4 )t 2 [ Y( )+ (f ) 2 t 2Y() [ (b1 g 1)(b 2 g 1) + g b 5b 6 (b 7 g t)(b 8 g t) fg + (b 5t )(b 6 t ) [ Y()+ t2 (f )t 2 g Y() = 0, L 2 = g g(f ) t 2 Y()+Y( ) Y( ) = 0. 2 Y() (38) (39) 10

11 This result is essentially euivalent to the original 2 2 construction by Jimbo-Sakai [3. Further degenerations of this has been comprehensively studied by Murata [7. The Lax formalism of Jimbo-Sakai is also derived from -KP/UC hierarchy, and this method is also effective to the higher order generaliations [13. A Weyl group actions Here, we will discuss the affine Weyl group symmetry of the -Painlevé euation (8) (9), based on the constructions in [4,[6 and [12. Define multiplicative transformations s ij, c, µ ij, ν ij (1 i j 8) acting on variables,h 2,u 1,...,u 8 as s ij = {u i u j }, c = { h 2 }, µ ij = { h 2 u i u j, u i h 2 u j, u j h 2 u i }, ν ij = {h 2 h 2 u i u j, u i u j, u j u i }. (40) These actions generate the affine Weyl group of type E (1) 8. A choice of simple reflections is s 12 (41) c µ 12 s 23 s 34 s 78. Thetransformations(40)naturallyactonthe8pointsconfiguration(f i,g i ) = (u i + u i,u i + h 2 u i ) as µ 12 (f 1 ) = u 1 + h 2 u 2, µ 12 (g 1 ) = u 1 + h 2 u 1 for example. Then one can extend the Weyl group actions bi-rationally including generic variables (f,g) P 1 P 1. The nontrivial actions are as follows: c(f) = g, c(g) = f, µ ij (f) = f, ν ij (g) = g, (42) where, f and g are rational functions in (f,g) defined by f µ ij (f i ) f µ ij (f j ) = (f f i)(g g j ) (f f j )(g g i ), g ν ij (g i ) g ν ij (g j ) = (g g i)(f f j ) (g g j )(f f i ). (43) Let r and T 1 be the following compositions r = s 12 µ 12 s 34 µ 34 s 56 µ 56 s 78 µ 78, T 1 = crcr. (44) 11

12 Their actions on variables (h i,u i,f,g) are given by r( ) = vh 2, r(h 2 ) = h 2, r(u i ) = h 2 u i, r(f) = fv, r(g) = g, T 1 ( ) = v 2, T 1 (h 2 ) = h 2 v 2, T 1 (u i ) = u i v, T 1 (f) = fv, T 1 (g) = gv, (45) where v = h 2 /. Hence, the evolution T of -Painlevé euation (7) is the affine Weyl group translation T 1 up to re-scaling of the parameters and variables. Acknowledgment. The author would like to thank N.Joshi, K.Kajiwara and T.Tsuda for their interests and discussions. This work is partly supported by JSPS KAKENHI No and S References [1 D.Arinkin and A.Borodin, Moduli spaces of d-connections and difference Painlevé euations, Duke Math. J. 134 (2006) [2 P.Boalch, Quivers and difference Painlevé euations, Groups and symmetries, 25 51, CRM Proc. Lecture Notes, 47, Amer. Math. Soc., Providence, RI, [3 M.Jimbo and H.Sakai, A -analog of the sixth Painlevé euation, Lett. Math. Phys. 38 (1996) [4 K.Kajiwara, T.Masuda, M.Noumi, Y.Ohta and Y.Yamada, 10 E 9 solution to the elliptic Painlevé euation, J. Phys. A36 (2003) L263-L272. [5 K.Kajiwara, T.Masuda, M.Noumi, Y.Ohta and Y.Yamada, Hypergeometric solutions to the -Painlevé euations, IMRN (2004) [6 M.Murata, New expressions for discrete Painlevé euations, Funkcial. Ekvac. 47 (2004) [7 M.Murata, Lax forms of the -Painlevé euations, J. Phys. A: Math. Theor. 42 (2009) [8 Y. Ohta, A. Ramani and B. Grammaticos, An affine Weyl group approach to the eight-parameter discrete Painlevé euation, J. Phys. A: Math. Gen. 34 (2001) [9 H.Sakai, Rational surfaces with affine root systems and geometry of the Painlevé euations, Commun. Math. Phys. 220 (2001)

13 [10 H.Sakai, Lax form of the -Painlevé euation associated with the A (1) 2 surface, J. Phys. A: Math. Gen. 39 (2006) [11 H.Sakai, Problem: discrete Painlevé euations and their Lax forms, RIMS Kokyuroku Bessatsu B2, (2007) [12 T.Tsuda, A geometric approach to tau-functions of difference Painlevé euations, Lett. Math. Phys. 85 (2008), [13 T.Tsuda, On an integrable system of -difference euations satisfied by the universal characters: Its Lax formalism and an application to -Painlevé euations, CMP 293 (2010) [14 Y.Yamada, A Lax formalism for the elliptic difference Painlevé euation, SIGMA 5 (2009),