arxiv: v6 [math-ph] 24 Dec 2016

Transcription

1 A REFORMULATION OF THE GENERALIZED q-painlevé VI SYSTEM WITH W(A () 2n+ ) SYMMETRY TAKAO SUZUKI arxiv: v6 [mah-ph] 24 Dec 206 Absrac In he previous work we inroduced he higher order q-painlevé sysem q-p (n+n+) as a generalizaion of he Jimbo-Sakai s q-painlevé VI equaion I is derived from a q-analogue of he Drinfeld-Sokolov hierarchy of ype A () 2n+ and admis a paricular soluion in erms of he Heine s q-hypergeomeric funcion n+ φ n However he obained sysem is insufficien as a generalizaion of q-p VI due o some reasons In his aricle we rewrie he sysem q-p (n+n+) o a more suiable one Key Words: Discree Painlevé equaions Affine Weyl groups Basic hypergeomeric funcions 200 Mahemaics Subec Classificaion: 39A3 33D5 34M55 Inroducion Several generalizaions of he Painlevé VI equaion (P VI ) have been proposed ([ ]) We focus on he higher order Painlevé sysem P (n+n+) given in [ 4] or equivalenly he Schlesinger sysemh n+ given in [9] among hem I can be regarded as a generalizaion from a viewpoin of a paricular soluion in erms of he hypergeomeric funcion n+f n ([3 20]) The aim of his aricle is o inroduce is q-analogue This q-difference equaion becomes a generalizaion of he q-painlevé VI equaion (q-p VI ) given in [4] The invesigaion of generalizaions of q-p VI has been developed in recen years ([ ]) In he previous work [6] we proposed he higher order q-painlevé sysem q-p (n+n+) whose explici formula will be given in Secion 2 as a q-analogue of P (n+n+) I is derived from he q-drinfeld-sokolov hierarchy of ype A () 2n+ conains q-p VI in he case of n= and admis a paricular soluion in erms of he q-hypergeomeric funcion n+ φ n However his sysem is insufficien as a generalizaion of q-p VI due o he following wo reasons () The sysem q-p (n+n+) is probably reducible and reduces o a sysem of 2n-h order (2) We do no express he backward q-shifs (x i y i ) as funcions in (x i y i ) The aim of his aricle is o solve hose wo problems We reduce he sysem q-p (n+n+) o a more suiable one as a generalizaion of q-p VI This aricle is organized as follows In Secion 2 we recall he definiion of q-p (n+n+) and is properies namely a Lax pair an affine Weyl group symmery a relaionship wih q-p VI and a paricular soluion in erms of n+ φ n In Secion 3 we formulae a sysem of q-difference equaions of 2n-h order which is equivalen o q-p VI in he case of n= I is he main resul of his aricle In Secion 4 we describe an acion of he affine Weyl group on he 2n-h order sysem given in he previous secion In he following we use noaions 2 Review: Higherorder q-painlevésysem q-p (n+n+) x()= x(q) x()= x(q )

2 q C and q < The sysem q-p (n+n+) given in [6] is expressed as a sysem of q-difference equaions x i x i = b i x i a i x i + x i y i + x i y i y i y i = a iy i b (i= n+) iy i + x i y i + x i y i wih a consrain n+ a i i= + x i y i = q n/2 (2) + x i y i b 0 = qb n+ x 0 = x n+ y 0 = q y n+ Remark 2 In he previous work [8] a higher order generalizaions of q-p VI were presened by Tsuda Since his q-painlevé sysem can be regarded as a q-analogue of he Schlesinger sysem H n+ we conecure ha his sysem coinsides wih q-p (n+n+) However a relaionship beween boh q-painlevé sysems has no been clarified ye We derived he sysem q-p (n+n+) by a similariy reducion from he q-drinfeld-sokolov hierarchy of ype A () 2n+ Hence he following heorem is obained naurally via he consrucion of he sysem Theorem 22 ([6]) The sysem q-p (n+n+) is given as he compaibiliy condion of a sysem of linear q-difference equaions Ψ(q z )= M(z )Ψ(z ) Ψ(z q )= B(z )Ψ(z ) (22) wih (2n+2) (2n+2) marices a ϕ b ϕ 2 a 2 ϕ 3 b 2 ϕ 4 M(z )= ϕ 2n b n ϕ 2n z a n+ ϕ 2n+ ϕ 0 z z b n+ 2

3 and u v u 2 v 2 0 u 3 v 3 u 4 v 4 B(z )= v 2n u 2n v 2n 0 z u 2n+ v 2n+ v 0 z 0 u 2n+2 ϕ 2i 2 = x i x i ϕ 2i = y i y i (i= n+) a i u 2i = u 2i = + x i y i v 2i = y i (i= n+) + x i y i v 0 = x n+ v 2i = x i (i= n) The sysem q-p (n+n+) admis he affine Weyl group symmery of ype A () 2n+ Theorem 23 Le r 0 r 2n+ be biraional ransformaions defined by r 2 2 (a )=b r 2 2 (b )=a r 2 2 (x )= x r 2 2 (y )=y b a x x r 2 2 (a i )=a i r 2 2 (b i )=b i r 2 2 (x i )= x i r 2 2 (y i )=y i (i ) for = n+ and r 2 (a )=b r 2 (b )=a r 2 (x )= x a b y y r 2 (y )=y r 2 (a i )=a i r 2 (b i )=b i r 2 (x i )= x i r 2 (y i )=y i for = n+ Also leπbe a biraional ransformaion defined by π(a i )=q ρ b i π(b i )=q ρ a i+ (i= n) (i ) π(a n+ )=q ρ b n+ π(b n+ )=q ρ a π(ρ )= ρ n+ π(x i )=q 2ρ ρ y i π(y i )=q ρ ρ x i+ (i= n) (23) (24) (25) π(x n+ )=q 2ρ ρ y n+ π(y n+ )=q ρ + ρ x π()= q2 q ρ = (q n a b a n+ b n+ ) /(n+) Then he sysem q-p (n+n+) is invarian under acions of he ransformaions r 0 r 2n+ andπ Furhermore he group of symmeries r 0 r 2n+ π is isomorphic o he exended affine Weyl group of ype A () 2n+ Namely hose ransformaions saisfy he fundamenal relaions r 2 i= (r i r ) 2 a i = (i =0 2n+; i ) π 2n+2 = πr i = r i+ π πr 2n+ = r 0 π (i=0 2n) 3

4 a ii = 2 a ii+ = a 2n+0 = a i+i = a 02n+ = a i = 0 The sysem q-p (22) can be reduced o q-p VI Theorem 24 ([6]) If in he sysem q-p (22) we se (i=0 2n+) (i=0 2n) (oherwise) f= (x 2 x )ξ ξ 2 g= x 2(q+x y 2 )ψ (+ x 2 y 2 )ψ 2 (26) ξ = (x x 2 )(y 0 y ) (a b ) ξ 2 = (x 2 x )(x x 2 )(y 0 y )+(a b )x +{(b a 2 ) (a a 2 )}x 2 ψ = q /2 (q /2 a b )x 2 y 2 + ( q /2 a b ) ψ 2 = q /2 a 2 (q /2 a b )x x 2 y 2 + a ( q /2 b a 2 )x (a a 2 )x 2 hen hey saisfy he q-painlevé VI equaion wih parameers f f = (g β )(g β 2 ) α 3 α 4 (g β 3 )(g β 4 ) gg = ( f α )( f α 2 ) β 3 β 4 ( f α 3 )( f α 4 ) α = α 2 = q /2 a b α 3 = α 4 = q /2 a 2 b 2 β = q /2 b β 2 = q /2 a β 3 = β 4 = qa 2 b 2 Remark 25 In [6] we defined he ransformaionπ by π(a i )=b i π(b i )=a i+ (i= n) π(a n+ )=b n+ π(b n+ )= a q π(x i )=y i π(y i )= x i+ (i= n) π(x n+ )=y n+ π(y n+ )= q x π()= q2 As a maer of fac unless we replace consrain (2) wih n+ i= a /2 i b /2 i + x i y i + x i y i = q /4 he sysem q-p (n+n+) is no invarian under an acion ofπ If we do so hen he sysem q-p (22) seems o reduce no o q-p VI bu o a q-analogue of he Painlevé V equaion This q-difference equaion was derived in [7] from a binaional represenaion of he exended affine Weyl group of ype A () A () 3 given in [6] Aferward ha equaion was found o be a subsysem of q-p VI in [7] The sysem q-p (n+n+) admis a paricular soluion in erms of he q-hypergeomeric funcion n+φ n defined by he formal power series [ ] α α n α n+ (α ; q) k (α n ; q) k (α n+ ; q) k n+φ n ; q = β β k n (β ; q) k (β n ; q) k (q; q) k k=0 4

5 (α; q) k sands for he q-shifed facorial (α; q) 0 = (α; q) k = ( α)( qα) ( q k α) (k ) Theorem 26 ([6]) If in he sysem q-p (n+n+) we assume ha y i = 0 (i= n+) n+ a i = q n/2 hen a vecor of he variables x= [x x n+ ] saisfies a sysem of linear q-difference equaions ( x= A 0 + A ) x (27) q wih (n+) (n+) marices b b 2 a 2 b 3 a 3 b n a n b n+ a n+ b 2 b 3 a 3 b n a n b n+ a n+ A 0 = b n a n b n+ a n+ O b n b n+ a n+ b n+ [ ] A = a b a 2 b 2 a 3 b 3 a n b n a n+ b n+ Furhermore sysem (27) admis a soluion i= φ x= log q a φ n+ b i a φ = n+φ n a i+ a q a b q a b a q a a 2 q a a i= b a a a + a a n b n a b n+ ; q q (n+2)/2 b b n+ Therefore we wan o regard he sysem q-p (n+n+) as a generalizaion of q-p VI from a viewpoin of a paricular soluion in erms of he q-hypergeomeric funcion However as is seen in Secion we have wo problems In [6] we derived q-p VI by reducing linear sysem (22) o he one wih 2 2 marices given in [4] from q-p (22) We could no use a similar mehod in a general case alhough we reduced linear sysem (22) o he one wih (n+) (n+) marices in [2] Definiion of dependen variables (26) is complicaed and hence unsuiable for a generalizaion In his aricle we choose a suiable se of 2n dependen variables ( f i g i ) and reduce he sysem q-p (n+n+) o a one of 2n-h order In he obained sysem he forward q-shifs ( f i g i ) is expressed as funcions in ( f i g i ) 5

6 3 Main resul The key o solving is he affine Weyl group symmery of q-p (n+n+) We can simplify definiion of dependen variables (26) as r r 2 ( f )= x x 2 r r 2 (g)= a 2 x 2 (+ x y ) x 2 x q /2 x (+ x 2 y ) This fac suggess a choice of dependen variables of a 2n-h order sysem Theorem 3 If in he sysem q-p (n+n+) we se f i = x i x i+ x i+(+ x i y i ) g i = a i+ x n+ x x i (+ x i+ y i ) hen hey saisfy a sysem of q-difference equaions and f i f i = q F if i+ g 0 (b i g i )(g i a i+ ) F n+ F g i (b 0 g 0 )(g 0 a ) (i= n) (3) (i= n) (32) g i g i = F i+g i F i G i+ (i= n) (33) b 0 = qb n+ g 0 = F i = G i = i = + n =i k=i i + q n = q (n 2)/2 n i= n + =i b k a k+ n l= + g l l= g l = qa x (+ x n+ y n+ ) g i x n+ (+ x y 0 ) + q n/2 b n+ a n k= b ka k+ i k= b k a k+ n b k a k+ k=i n l= + g l l= g l = a x (+ x 0 y 0 ) x 0 (+ x y 0 ) (i= n+) Furhermore if we se h=x n+ x hen i saisfies a linear q-difference equaion h= F n+f (b 0 g 0 )(g 0 a ) ( ) 2 g 0 h (34) Sysem (32) (33) is equivalen o q-p VI in he case of n= In his secion we prove his heorem We also discuss he relaionship beween he dependen variables f i g i h (i= n) and he ones x y ( = n+) in more deail a he end of his secion 3 Proof of equaion (32) Definiion of dependen variables (3) implies g i a i+ = a i+ x i x i+ x i (+ x i+ y i ) The firs equaion of q-p (n+n+) can be rewrien o (i=0 n) (35) b i g i = + x iy i x i (x i x i+ ) (i=0 n) (36) 6

7 Combining hem we obain (b 0 g 0 )(g 0 a ) g 0 = (x n+ x )(x n+ x ) x n+ x (b i g i )(g i a i+ ) g i = (x i x i+)(x i x i+) x i x i+ (i= n) (37) Hence we can derive equaion (32) by using F i = ( )x i x n+ x (i=n+) 32 Proof of equaions (33) and (34) Equaion (35) can be rewrien o y 0 = x 0g 0 a x x 0 x (g 0 a ) = x n+g 0 qa x x n+ x (g 0 a ) = q y n+ y i = x ig i a i+ x i+ x i x i+ (g i a i+ ) (i= n) Subsiuing i o he second equaion of q-p (n+n+) we obain I implies y i y i = y n y n+ = x i g i x i (x i x i ) a i x i x i + b ia i+x i+ x i (x i x i+ )g i x n g n x n+ (x n x n+ ) a n+ x n x n+ + b i x i x i+ qb n+ a x x n+ (x n+ qx )g 0 b i (x i x i )+a i (x i x i+ )+(x i x i )(x i x i+ )(y i y i ) (i= n) b n+ x n+ qx = x i x i+ (x i x i+ )g i + b i a i+ (x i x i ) (i= n) x i x i g i b n+ (x n x n+ )+a n+ (x n+ x )+(x n x n+ )(x n+ x )(y n y n+ ) (38) = x n x n+ (x n+ x )g n + b n+ a x x n+ (x n x n+ ) g 0 On he oher hand equaion (36) can be rewrien o y 0 = g 0 b 0 x 0 x x 0 = g 0 qb n+ x n+ x q x n+ = q y n+ y i = g i b i x i x i+ x i (i= n) 7

8 Combining i wih equaion (37) we obain y i y i = g i b i x i x i+ + x i g i b i x i x i x i We can rewrie i o = g i x i x i+ b i x i x i+ + b i a i (x i x i )g i y n y n+ = g 0 qb n+ q(x n+ x n ) + x n+ g n b n x n x n+ x n = g 0 q(x n+ x ) b n+ x n+ x + a i x i x i b n a n+ (x n x n+ )g n a n+ x n x n+ b i (x i x i )+a i (x i x i+ )+(x i x i )(x i x i+ )(y i y i ) = (x i x i )g i + b i a i (x i x i+ ) (i= n) g i (i= n) b n+ (x n x n+ )+a n+ (x n+ x )+(x n x n+ )(x n+ x )(y n y n+ ) (39) = q (x n x n+ )g 0 + b n a n+ (x n+ x ) g n Combining equaions (38) and (39) we obain f F n+ F g 0 + b a 2 F 2 F g = g + qb n+ a f g 0 F i F i+ f i g F i + b i a i+ f i = f i g i + b i a i f i i F i g i g i F n F g F n + b n+ a f n = n+ F n+ g 0 q f ng 0 + b n a n+ g n (i=2 n) (30) Since equaion (30) is equivalen o (33) in he case of n= we consider he case of n 2 Then equaion (30) is ransformed o ( G n+ q n g ) 0g + qb n+ a G + q n b a 2 2 g 0g G 2 = 0 f f ( ) fi g i g i f i g i g i G i + b i a i G i + b i a i+ G i+ = 0 (i=2 n) (3) f i f i ( ) G n q f ng n g 0 + b n a n+ G n+ + q n b n+ a f n g n g 0 G = 0 via a ransformaion g i = F i+g i g i F i G i+ g 0 = n q n/2 i= (i= n) g i = 8 q n 2 F G n+ g 0 F n+ G

9 Furhermore equaion (3) is reduced o a sysem of linear equaions α β G 0 α 2 β 2 G 2 0 α 3 β 3 G 3 = 0 (32) α n 2 β n 2 G n 2 0 α n G n β n G n+ β n G n α n G n+ α i = f ig i g i+ f i g i g i+ + b i a i+ β i = b i+ a i+2 (i= n ) f i+ f i+ α n = q f ng n g 0 + b n a n+ β n = q n b n+ a f n g n g 0 In fac equaion (3) can be rewrien o G b a 2 G 2 = q f g 0 g f i ( ) q n G n+ b n+ a G G i b i a i+ G i+ = (G i b i a i G i ) (i=2 n) (33) f i g i g i q n G n+ b n+ a G = (G q n n b n a n+ G n+ ) f n g n g 0 and he firs equaion of (33) is derived from a combinaion of he oher equaions as follows q n G n+ b n+ a G = (G q n n b n a n+ G n+ ) f n g n g 0 = = q n f n g n g 2 ng 0 (G n b n a n G n ) q n f g g 2 2 g2 n g (G b a 2 G 2 ) 0 = g 0g q f (G b a 2 G 2 ) We will solve sysem (32) for G i (i= n) in order o derive equaion (33) For his purpose we inroduce he following lemma Lemma 32 The deerminan of he coefficien marix of sysem (32) is given by α β α 2 β 2 α 3 β 3 n n = +q n/2 l= + b n+ a b k a g l k+ α n 2 β n 2 = k= l= g l α n β n 9

10 Proof We obain α β α 2 β 2 α 3 β 3 = +( ) n β n n α n 2 β n 2 α n β n α β α 2 β 2 i = α 3 β 3 α i β i α i via a cofacor expansion The deerminan of he ridiagonal marix i saisfies a recurrence relaion By solving his relaion we obain I implies 0 = = α i = α i i β i i 2 (i=2 3) i+ i = ( ) i b k a k+ = k= i g l g l+ (i=2 3) f i+ l= ( ) n β n n = q n b n+ a f n g n g 0 n = q n/2 b n+ a = k= n n b k a k+ = k= b k a k+ n l= + g l l= g l l= g l g l+ f n Thanks o Lemma 32 we can find ha sysem (32) admis only one soluion for G i (i = n) Hence we only have o verify ha n n l= + G i = b k a g l n i k+ =i k=i l= g + q n/2 b k a k+ + q n b n+ a n k= b n ka k+ l= + g l i l k=i = k= b ka k+ l= g l saisfy sysem (32) I is shown since G i b i a i+ G i+ = qn b n+ a n n l=i+ b k a k+ g l q n G n+ b n+ a G = n q n/2 qn b n+ a b k a k+ k= saisfy equaion (33) From he above we have derived equaion (33) 0 k= i l= g l f i (i= n)

11 In he las we prove equaion (34) The firs equaion of (37) is rewrien o x n+ x = (b 0 g 0 )(g 0 a ) g 0 x n+ x x n+ x from which we obain equaion (34) immediaely 33 Relaionship beween wo ypes of dependen variables In equaion (3) we define he dependen variables ( f i g i h) as raional funcions in (x y ) wih consrain (2) Conversely he dependen variables (x y ) are given as raional funcions in ( f i g i h) We obain from equaion (34) and from equaion (37) They imply = (b 0 g 0 )(g 0 a ) x i q g 0 h + q We also obain i = = (b 0 g 0 )(g 0 a ) x x n+ g 0 h = (b i g i )(g i a i+ ) (i= n) x i+ x i f i g i h (b g )(g a + ) g h + q q n =i (b g )(g a + ) g h y i = g i/x i+ a i+ /x i (i= n) g i a i+ from equaion (35) The res variable y n+ is given by consrain (2) (i= n+) (34) Remark 33 Equaion (34) allows us o express he backward q-shifs f f n as raional funcions in ( f i g i ) Also we can express he backward q-shifs g g n as raional funcions in ( f i g i ) by solving equaion (30) for g g n We don give is deail here We nex sae a relaionship beween he variables ( f i g i h) and he ones (x y ) Equaion (39) is rewrien o q y n+ y = (g b ) ( ) f h + a qb n+ g 0 h y i y i = (g i b i ) ( ) f i h + a i b i (i=2 n) (35) g i f i h y n y n+ = q (g 0 qb n+ ) ( ) h + a n+ b n g n f n h Recall ha x n+ x = h x i x i+ = f ih (i= n) Hence we can give he variables (x y ) as raional funcions in ( f i g i h) Conversely since equaion (35) admis only one soluion for g g n he variables ( f i g i h) are given as raional funcions in (x y ) Then one consrain beween he variables (x y ) is obained ogeher We

12 don give heir explici formulas here Those facs allows us o express he backward q-shifs (x y ) as funcions in (x y ) 4 Affine Weyl group symmery As is seen in Secion 2 he sysem q-p (n+n+) is invarian under he acion of he group of symmeries r 0 r 2n+ π W(A () 2n+ ) This acion can be resriced o sysem (32) (33) Theorem 4 The biraional ransformaions r 0 r 2n+ π defined by (23) (24) and (25) ac on he dependen variables f i g i (i= n) as follows for = n+ R aaa r ( f )= f R bab R bab r 2 ( )= R baa r (g )=g R baa r 2 ( f i )= f i r 2 (g i )=g i R bab n+ r 2n+ ( f n )= f n R aaa n+ for =2 n and r 2 2 ( f i )= f i r 2 2 (g i )=g i (4) R bbb R baa r ( f i )= f i R bbb r 2 (g )=g (i ) R bbb n+ r 2n+ (g n )=g n R baa n+ R baa R bab r (g i )=g i (i ) R aaa r 2 ( )= r 2n+ ( f i )= f R baa n+ i R aaa n+ R baa R baa r 2 (g )=g r 2n+ (g i )=g i (i n) R bbb (42) π( f i )= q2 (g i R i b i+ R i+ )(b i+ g i+ )(R i+ + q ) f (g 0 R 0 b R )(b g )(R + q ) f i+ π(g i )= a i+ q ρ π( f n )=q (g nr n b n+ R 0 )(b 0 g 0 )(R 0 + ) f q (g 0 R 0 b R )(b g )(R + ) f π(g n )= a n+ q 0 q ρ and R i= f i b i g i q f i i = b i g i Here we se f 0 = R αβγ = (g α ) ( + β b R αβγ n+ = q (g 0 qα n+ )+ =0 i = R baa + n+ R baa =i+ q ( a + g )(b g ) ) γ g ( β n+ b n γ n+ g n ) f n + ( q a i+ g i )(b i g i ) f i + 2 b n+ R 0 g n R n b i+ R i+ g i R i ( n+) n =i+ (i n) ( a + g )(b g ) (43)

13 Recall ha b 0 = qb n+ g 0 = In his secion we prove his heorem q (n 2)/2 g g n q ρ = (q n a b a n+ b n+ ) /(n+) 4 Proof of acion (4) The acion of r 2 2 on he dependen variables wih he excepion of y is rivial for any = n+ Hence we only have o verify ha r 2 2 (g )=g is saisfied And i is shown by using he firs equaion of q-p (n+n+) as follows x b a x x x + x y r 2 2 (g )=b x + x y b a x a (+ x y ) = b x b (+ x y ) = g x x x 42 Proof of acion (42) The acion of r 2 on he dependen variables wih he excepion of x is rivial for any = n + Hence we have o invesigae he following acions: r ( f ) r (g ) r ( f i ) (i ) r 2 ( ) r 2 (g ) r 2 ( ) r 2 (g ) r 2n+ ( f n ) r 2n+ (g n ) r 2n+ ( f i ) (i n) We firs consider he acion r 2 ( ) I is described in erms of he variables x i y i as r 2 ( )= x a b y y x + = (x x + )(y y ) (a b ) (44) x n+ x (x n+ x )(y y ) Subsiuing equaion (35) o (44) we obain (g a ) + a (b g ) r 2 ( )= (g b ) + a (b g ) ( = n+) The oher acions on he variables f f n can be shown in a similar way We nex consider he acion r 2 (g ) By using he sysem q-p (n+n+) wice we can describe i in erms of he variables x i y i as ( ) x + + x y a b y y y r 2 (g )=a + ( ) x a b y y (+ x + y ) = g a x (y y ) b (+ x y ) a (+ x y ) = g (x x )(y y ) (x x )(y y ) (a b )(b g ) 3 (45)

14 Then subsiuing equaion (35) o (45) we obain (g b ) + a (b g ) r 2 (g )=g (g b ) + b (b g ) ( = n+) The oher acions on he variables g g n can be shown in a similar way 43 Proof of acion (43) The acionπ( f i ) is rewrien by he second equaion of q-p (n+n+) and equaion (36) o π( f i )= q2 π( f n )= q2 On he oher hand we obain ( q )(x 0 x ) q x i = from equaion (37) and y i y i+ y 0 y = q2 y n y n+ y 0 y = q x x 0 i =0 x x i+ g i f i b i g i y i b i+ f i+ b i+ g i+ y i+ g 0 b 0 g 0 y 0 b f b g y g n f n b n g n y n b n+ b 0 g 0 y 0 g 0 b 0 g 0 y 0 b f b g y q ( a + g )(b g ) + n =i ( a + g )(b g ) (i= n ) (46) (i=0 n) (47) ( )(x q 0 x ) y i = i =0 q ( a + g )(b g ) + ( q a i+ g i )(b i g i ) f i + n =i+ ( a + g )(b g ) (i=0 n) (48) from equaion (35) Subsiuing equaions (47) and (48) o (46) we can show he acionπ( f i ) The acionπ(g i ) is rewrien by equaion (36) o π(g i )= b i+ q ρ π(g n )= b n+ q ρ y i+ (+ x i y i ) y i (+ x i+ y i+ ) = a i+ q ρ y n+ (+ x n y n ) y n (+ x n+ y n+ ) = a n+ q ρ b i+ f i+ b i+ g i+ y i+ g i f i b i g i y i b n+ b 0 g 0 y 0 g n f n b n g n y n Subsiuing equaion (48) o (49) we can show he acionπ(g i ) (i= n ) (49) Acknowledgemen The auhor would like o express his graiude o Professors Masaoshi Noumi and Yasuhiko Yamada for helpful commens and advices This work was suppored by JSPS KAKENHI Gran Number 5K049 4

15 References [] K Fui and T Suzuki Drinfeld-Sokolov hierarchies of ype A and fourh order Painlevé sysems Funkcial Ekvac 53 (200) [2] T Suzuki and K Fui Higher order Painlevé sysems of ype A Drinfeld-Sokolov hierarchies and Fuchsian sysems RIMS Kokyuroku Bessasu B30 (202) [3] R Garnier Sur des équaions différenielles du roisiéme ordre don l inégrale es uniform e sur une classe d équaions nouvelles d ordre supérieur don l inégrale générale a ses poin criiques fixés Ann Sci École Norm Sup 29 (92) 26 [4] M Jimbo and H Sakai A q-analog of he sixh Painlevé equaion Le Mah Phys 38 (996) [5] H Kawakami Marix Painlevé sysems J Mah Phys 56 (205) [6] K Kaiwara M Noumi and Y Yamada Discree dynamical sysems wih W(A () m A() n ) symmery Le Mah Phys 60 (2002) 2 29 [7] T Masuda On he raional soluions of q-painlevé V equaion Nagoya Mah J 69 (2003) 9 43 [8] T Masuda A q-analogue of he higher order Painlevé ype equaions wih he affine Weyl group symmery of ype D Funkcial Ekvac 58 (205) [9] H Nagao and Y Yamada Sudy of q-garnier sysem by Padé mehod arxiv: [0] H Sakai A q-analog of he Garnier sysem Funkcial Ekvac 48 (2005) [] H Sakai Isomonodromic deformaion and 4-dimensional Painlevé ype equaions UTMS (Univ of Tokyo 200) 2 [2] Y Sasano Higher order Painlevé equaions of ype D () l RIMS Koukyuroku 473 (2006) [3] T Suzuki A paricular soluion of a Painlevé sysem in erms of he hypergeomeric funcion n+ F n SIGMA 6 (200) 078 [4] T Suzuki A class of higher order Painlevé sysems arising from inegrable hierarchies of ype A AMS Conemp Mah 593 (203) 25 4 [5] T Suzuki Six-dimensional Painlevé sysems and heir paricular soluions in erms of rigid sysems J Mah Phys 55 (204) [6] T Suzuki A q-analogue of he Drinfeld-Sokolov hierarchy of ype A and q-painlevé sysem AMS Conemp Mah 65 (205) [7] T Takenawa Weyl group symmery of ype D () 5 in he q-painlevé V equaion Funkcial Ekvac 46 (2003) [8] T Tsuda On an inegrable sysem of q-difference equaions saisfied by he universal characers: is Lax formalism and an applicaion o q-painlevé equaions Comm Mah Phys 293 (200) [9] T Tsuda UC hierarchy and monodromy preserving deformaion J Reine Angew Mah 690 (204) 34 [20] T Tsuda Hypergeomeric soluion of a cerain polynomial Hamilonian sysem of isomonodromy ype Quar J Mah 63 (202) Deparmen of Mahemaics Kindai Universiy 3-4- Kowakae Higashi-Osaka Osaka Japan address: suzuki@mahkindaiacp 5