arxiv:nlin/ v1 [nlin.si] 29 May 2002

Transcription

1 arxiv:nlin/ v1 [nlinsi] 29 May 2002 On a q-difference Painlevé III Equation: II Rational Solutions Kenji KAJIWARA Graduate School of Mathematics, Kyushu University Hakozaki, Higashi-ku, Fukuoka , Japan Abstract Rational solutions for a q-difference analogue of the Painlevé III equation are considered A Determinant formula of Jacobi-Trudi type for the solutions is constructed 1 Introduction This paper is the second half of our work on a q-difference Painlevé III equation (q-p III ), f 1 q2n+1 c 2 f 0 f a 0 q n f 0 a 0 q n + f 0, f 0 q2n+1 c 2 f 0 f 1 a 1 q n+ν + f a 1 q n+ν f 1, where f i f i (n; ν, N) (i 0, 1) are dependent variables, n Z is the independent variable, ν,n Z are parameters, and q, a 0, a 1, c are constants Moreover, f i and f i denote f i (n + 1; ν, N) and f i (n 1; ν, N), respectively In the previous paper[1], we have discussed the derivations, symmetry and particular solutions of Riccati type In this paper, we consider the rational solutions of q-p III (1) The six Painlevé equations (P J, JI,II,,VI), except for P I, admits two classes of classical solutions for special values of parameters; one is so-called transcendental classical solutions, namely, one-parameter family of particular solutions expressible in terms of classical special functions of hypergeometric type Another class is algebraic or rational solutions There are two classes among algebraic or rational solutions One class consists of such solutions that can be regarded as special case of transcendental classical solutions Another class of solutions are expressed in terms of log derivative or ratio of certain characteristic polynomials (after some change of independent variable), and satisfy recurrence relations of Toda type We call such polynomials special polynomials for the Painlevé equations They are sometimes refered as Yablonskii-Vorob ev polynomials for P II, Okamoto polynomials for P IV, Umemura polynomials for P III, P V and P VI It may be natural then to ask a question: what are those special polynomials? One answer is that the special polynomials are specialization of the Schur function or its generalizations Such description has been established through the Jacobi-Trudi type determinant formulas for the special polynomials Moreover, the entries are expressed in terms of classical special polynomials [2, 3, 4, 5, 6, 7, 8, 9] Compared to the continous case, the amount of known results for discrete Painlevé equations is not so much So far the rational solutions are systematically discussed for the standard discrete Painlevé II equation[10], a q-difference Painlevé IV equation[23, 24] and a q-difference Painlevé V equation[11](determinant formula for rational solutions of standard discrete Painlevé IV equation is conjectured in [12]) The purpose of this paper is to construct a class of rational solutions for q-p III (1) and present a determinant formula of Jacobi-Trudi type This paper is organized as follows In section 2 we give a brief review for rational solutions of P III and show that all the rational solutions admit determinant formula of Jacobi-Trudi type In section 3 we construct a class of rational solutions for q-p III and present the Jacobi-Trudi type determinant formula, which is the main result of this paper We give the proof in section 4 (1)

2 2 Rational Solutions of P III It is known that the Painlevé III equation(p III ), d 2 v dx 1 v ( ) 2 dv 1 dx x dv dx + 1 x ( αv 2 + β ) + γv 3 + δ, γ δ 4, (2) v admits a class of rational solutions expressible in terms of determinant of Jacobi-Trudi type associated with the two-core partition λ (N, N 1,, 1) Theorem 21 [3] Let p k (x, s), k Z be polynomials in x defined by p k (x, s)λ k (1 + λ) s+1/2 e 2xλ, k 0, p k (x, s) 0, k < 0 (3) k0 For each N Z 0, we define the polynomials U N (x, s) by p N (x, s) p N+1 (x, s) p 2N 1 (x, s) p N 2 (x, s) p N 1 (x, s) p 2N 3 (x, s) U N (x, s), p N+2 (x, s) p N+3 (x, s) p 1 (x, s) U 0 1 (4) Then, v U N(x, s 1)U N 1 (x, s) U N (x, s)u N 1 (x, s 1), (5) satisfies P III (2) with α 4(s + N), β 4( s + N) This theorem asserts that a class of rational solutions of P III is given by ratio of specialization of the Schur functions assosiated with partition λ (N, N 1,, 1) We note that p k (x, s) is nothing but the Laguerre polynomial L (s+1/2 k) ( 2x) The polynomials U N (x, s) (after some rescaling) is sometimes called the Umemura polynomials for P III It may not be meaningless to state here that the above solutions essentially cover all the rational solutions of P III Classification of rational solutions for P III is discussed in [16, 13] According to [13], the result is summarized as follows Theorem 22 [13] (1) Let α 4θ and β 4(θ 0 + 1) in P III (2) Then P III admits rational solutions if and only if there exists an integer I such that (i) θ + θ I or (ii) θ θ 0 1 2I (2) If P III has rational solutions, then the number of rational solutions for each (θ,θ 0 ) is two or four Furthermore, P III admit four rational solutions if and only if there exists two integers I and J such that θ + θ I and θ θ 0 1 2J Obviously, the solutions in Theorem 21 corresponds to the case (ii) with I 0, since in this case (θ, θ 0 ) is given by (θ, θ 0 ) ( s N, s + N 1) with N Z 0 We next remark that if we define U N (N < 0) by U N ( 1) N(N+1)/2 U N 1, (6) then Theorem 21 is extended to all N Z In fact, Theorem 21 was proved based on the fact that if U N satisfies the Toda equation, [ (2N + 1)U N+1 U N 1 x d 2 2 ( ) ] 2 U N dun U N 1 ( du N 2 dx dx 2 dx U N + 2x + s + 1 ) UN 2 2, (7) with the initial condition, U 1 U 0 1, (8)

3 UN(x,s 1)UN 1(x,s) then v U satisfies P N(x,s)U N 1(x,s 1) III for N Z >0 This fact is easilly generalized to N Z by extending U N according to the Toda equation (7) to N Z <0 Therefore, the rational solutions in Theorem 21 with the extension (6) cover one class of rational solutions of the case (ii) According to Theorem 22, there must be another class of rational solutions for case (ii) However, noticing that P III (2) admits a Bäcklund transformation, (θ, θ 0 ) (θ, θ 0 ) ( θ 0 1, θ 1), (x, v) (u, V ) (x, 1/v), (9) UN(x, s)un 1(x, s 1) we see that V U also satisfies P N(x, s 1)U N 1(x, s) III with (θ, θ 0 ) ( s N, s + N 1) Since it is clear that v and V give different functions, we obtain two rational solutions for each (θ, θ 0 ) ( s N, s + N 1) which cover the case (ii) Rational solutions for the case (i) are obtained from those for the case (i) by the following Bäcklund transformation, (θ, θ 0 ) (θ, θ 0 ) ( θ, θ 0 ), (x, v) (u, V ) (ξx, ξv), ξ ±i (10) This implies that for each integer N, the functions v i U N(x/i, s 1)U N 1 (x/i, s) U N (x/i, s)u N 1 (x/i, s 1), i U N(x/i, s)u N 1 (x/i, s 1) U N (x/i, s 1)U N 1 (x/i, s), (11) give two rational solutions for (θ, θ 0 ) ( s + N 1, s + N), which cover the case (i) Summarizing the discussions above, we arrive at the following conclusion: Theorem 23 Let U N (x, s) (N Z) be polynomials in x defined by eqs(3), (4) and (6) Then, all the rational solutions for P III is given as follows: (1) For any integer N, v U N(x, s 1)U N 1 (x, s) U N (x, s)u N 1 (x, s 1), v U N(x, s)u N 1 (x, s 1) U N (x, s 1)U N 1 (x, s), (12) give two rational solutions of P III with (θ, θ 0 ) ( s N, s + N 1) (2) For any integer N, v i U N(x/i, s 1)U N 1 (x/i, s) U N (x/i, s)u N 1 (x/i, s 1), v i U N(x/i, s)u N 1 (x/i, s 1) U N (x/i, s 1)U N 1 (x/i, s), (13) give two rational solutions of P III with (θ, θ 0 ) (s + N, s + N 1) (3) For any integers M and N, v U N(x, M 1)U N 1 (x, M) U N (x, s)u N 1 (x, M 1), v U N(x, M)U N 1 (x, M 1) U N (x, M 1)U N 1 (x, M), v i U M(x/i, N)U M 1 (x/i, N 1) U M (x/i, N 1)U M 1 (x/i, N), v i U M(x/i, N 1)U M 1 (x/i, N) U M (x/i, N)U M 1 (x/i, N 1), (14) give four rational solutions P III with (θ, θ 0 ) ( M N, M + N 1) Remark 24 The case γδ 0 of P III (2) should be distinguished from other cases because of the essential difference of type of space of initial conditions [18], namely, defining manifold of the equation More precisely, P III should be divided into four cases; (i) α 0, γ 0 (or β 0, δ 0), (ii) Type D 7 (γ 0, αδ 0 or δ 0, βγ 0), (iii) Type D 8 (γ δ 0, αβ 0), (iv) Type D 6 (generic case) First, in the case (i) P III is known to be solvable by quadratures[17, 19, 14] Second, type D 8 does not admit any classical solutions except for two trivial constant solutions[21] Also, type D 7 does not admit transcendental classical solutions[21, 22] Algebraic solutions for type D 7 are studied by many authors[14, 15, 17, 20, 21] We do not discuss such class of solutions in this paper

4 3 Rational Solutions of q-p III In this section we construct a class of rational solutions of q-p III For notational simplicity, we introduce z a 0 q n, y a 0 a 1 q ν, (15) and write eq(1) as c zf 0 (n; ν, c) f 1 (qz; y, c) f 0 (z; y, c)f 1 (z; y, c) z + f 0 (n; ν, c), c 2 y/z + f 1 (z; y, c) f 0 (z/q; y, c) f 0 (z; y, c)f 1 (z; y, c) 1 + y/zf 1 (z; y, c) (16) A Bäcklund transformation is presented in [1, 24] as f 0 (z; y, qc) y f 1 (z; y, c) 1 + q/y f 2(n; ν, c) + qz/y f 2 (z; y, c)f 0 (z; y, c), 1 + z f 0 (z; y, c) + y f 0 (z; y, c)f 1 (z; y, c) (17) 1 + z f 0 (n; ν, c) + y f 0 (z; y, c)f 1 (z; y, c) f 1 (z; y, qc) q/z f 2 (z; y, c) 1 + y/z f 1 (z; y, c) + q/z f 1 (z; y, c)f 2 (z; y, c), where f 2 (z; y, c) c 2 /(f 0 (z; y, c)f 1 (z; y, c)) Now we see that eq(16) admits a trivial solution, Applying the Bäcklund transformation (17), we observe that f 0 f 1 1, c 1 (18) f 0 (z; y, q) y + qz + q 1 + y + z qψ 1(y/q, z) ψ 1 (y, z), f 1(z; y, q) q 1 + y + z y + z + q ψ 1(y, z) ψ 1 (y/q, z/q), (19) where ψ 1 (y, z) y + z + 1, (20) is also a solution for c q Similarly, one can construct higher order rational solutions as, f 0 (z; y, q 2 ) q 2 ψ 1(y, z)ψ 2 (y/q, z) ψ 1 (y/q, z)ψ 2 (y, z), f 1(z; y, q 2 ) ψ 1(y/q, z/q)ψ 2 (y, z) ψ 1 (y, z)ψ 2 (y/q, z/q), (21) f 0 (z; y, q 3 ) q 2 ψ 2(y, z)ψ 3 (y/q, z) ψ 2 (y/q, z)ψ 3 (y, z), f 1(z; y, q 3 ) ψ 2(y/q, z/q)ψ 3 (y, z) ψ 2 (y, z)ψ 3 (y/q, z/q), (22) where ψ 2 (y, z) and ψ 3 (y, z) are polynomials in y and z given by ψ 2 (y, z) y 3 + (q q 1 )y 2 z + (q q 1 )yz 2 + z 3 + (q q 1 )(y 2 + 2yz + z 2 ) + (q q 1 )(y + z) + 1, (23)

5 ψ 3 (y, z) y 6 + y 5 z(q q 1 )(q + q 1 ) + y 4 z 2 (q 2 + q q 1 + q 2 )(q q 1 ) + 2y 3 z 3 (q 2 + q q 1 + q 2 )(q + q 1 ) + y 2 z 4 (q 2 + q q 1 + q 2 )(q q 1 ) + yz 5 (q q 1 )(q + q 1 ) + z 6 + (q q 1 ) { (y 5 (q + q 1 ) + 2y 4 z(q 2 + q q 1 + q 2 ) + y 3 z 2 (q 2 + q q 1 + q 2 )(q 1/2 + q 1/2 ) 2 } +y 2 z 3 (q 2 + q q 1 + q 2 )(q 1/2 + q 1/2 ) 2 + 2yz 4 (q 2 + q q 1 + q 2 ) + z 5 (q + q 1 ) + (q 2 + q q 1 + q 2 )(q q 1 ) {y 4 + y 3 z(q 1/2 + q 1/2 ) 2 + 2y 2 z 2 (q q 1 ) + yz 3 (q 1/2 + q 1/2 ) 2 + z 4} + (q 2 + q q 1 + q 2 ) { } 2y 3 (q + q 1 ) + y 2 z(q q 1 )(q 1/2 + q 1/2 ) 2 + yz 2 (q q 1 )(q 1/2 + q 1/2 ) 2 + 2z 3 (q + q 1 ) + (q 2 + q q 1 + q 2 )(q q 1 )(y 2 + 2yz + z 2 ) + (q q 1 )(q + q 1 )(y + z) + 1, (24) respectively In general, we see that f 0 (z; y, q N ) and f 1 (z; y, q N ) (N Z >0 ) may be factorized as f 0 (z; y, q N ) q N ψ N 1(y, z)ψ N (y/q, z) ψ N 1 (y/q, z)ψ N (y, z), f 1(z; y, q N ) ψ N 1(y/q, z/q)ψ N (y, z) ψ N 1 (y, z)ψ N (y/q, z/q), (25) respectively, where ψ N (y, z) is the polynomial in y and z with the following nice properties: (1) ψ N (y, z) is the polynomial of degree N(N + 1)/2 (2) ψ N (y, z) is symmetric with respect to y and z (3) ψ N (y, z) is symmetric with respect to q and q 1 Now we present a determinant formula of Jacobi-Trudi type for the above polynomials Theorem 31 Let p k (y, z)(k Z) be polynomials in y and z defined by p n (y, z)t n ( (1 q)t; q), p k (y, z) 0, for k < 0, (26) ((1 q)yt; q) ((1 q)zt; q) n0 where (a; q) is given by (a; q) (1 aq i ) (27) i0 For each N Z, we define φ N (y, z) by p N (y, z) p N+1 (y, z) p 2N 1 (y, z) p N 2 (y, z) p N 1 (y, z) p 2N 3 (y, z) N > 0, φ N (y, z) p N+2 (y, z) p N+3 (y, z) p 1 (y, z) 1 N 0, ( 1) N(N+1)/2 φ N 1 N < 0 (28) Then, satisfy q-p III (16) with c q N f 0 (z; y, q N ) q N φ N 1(y, z)φ N (y/q, z) φ N 1 (y/q, z)φ N (y, z), f 1(z; y, q N ) φ N 1(y/q, z/q)φ N (y, z) φ N 1 (y, z)φ N (y/q, z/q), (29)

6 Remark 32 (1) φ N (y, z) is quite similar to the q-schur function associated with two-core partition λ (N, N 1,, 1) which appeared in the rational solutions for q-kp hierarchy[23] However, they are different due to the factor ( (1 q)t; q) in the numerator of the generating function in eq(26) The first few p k (y, z) are given by, p 0 (y, z) 1, p 1 (y, z) y + z + 1, p 2 (y, z) p 3 (y, z) p 4 (y, z) y 2 z2 + yz q 1 + q + y + z + q 1 + q, (32) y 3 (1 + q + q 2 )(1 + q) + y2 z 1 + q + yz2 1 + q + z 3 (1 + q + q 2 )(1 + q), + y2 z2 + yz q 1 + q + yq 1 + q + zq 1 + q + q 3 (1 + q + q 2 )(1 + q), (33) y 4 (1 + q + q 2 + q 3 )(1 + q + q 2 )(1 + q) + y 3 z (1 + q + q 2 )(1 + q) + y2 z 2 (1 + q) 2 yz 3 + (1 + q + q 2 )(1 + q) + z 4 (1 + q + q 2 + q 3 )(1 + q + q 2 )(1 + q) y 3 + q 3 + 2q 2 + 2q y2 z 1 + q + yz2 1 + q + z 3 (1 + q + q 2 )(1 + q) + y2 q (1 + q) 2 + yzq 1 + q + z2 q (1 + q) 2 yq 3 + (1 + q + q 2 )(1 + q) + zq 3 (1 + q + q 2 )(1 + q) + q 6 (1 + q + q 2 + q 3 )(1 + q + q 2 )(1 + q) (34) Moreover, from eq(26), p k (y, z) satisfy the following contiguity relations, (2) ψ N (y, z) and φ N (y, z) are related as (1 + q + + q k 1 )p k (y, z) (y + z + q k 1 )p k 1 (y, z) (1 q)yz p k 2 (y, z), (35) p k (y, qz) p k (y, z) (q 1)z p k 1 (y, z), (36) p k (qy, z) p k (y, z) (q 1)y p k 1 (y, z) (37) (30) (31) ψ N (y, z) c N φ N (y, z), (N 1)N(N+1) c N q 6 N [2k 1]!! (38) k1 where [k] 1 qk, [2k 1]!! [2k 1][2k 3] [3][1] (39) 1 q In terms of the hook-length h i,j for the partition λ (λ 1, λ 2, ) (N, N 1,, 1)[25], the constant c N is also expressed as c N q i (i 1)λi [h i,j ] (40) (i,j) λ Theorem 31 is a direct consequence of the following multiplicative formula

7 Proposition 33 The following formulas hold 1 + z f 0 (z; y, q N ) (1 + z) φ N 1(y/q, z/q)φ N (y, qz), (41) φ N 1 (y/q, z)φ N (y, z) ( z f 0(z; y, q N ) q N ) φn 1 (y, qz)φ N (y/q, z/q), (42) z φ N 1 (y/q, z)φ N (y, z) 1 + y ( z f 1(z; y, q N ) 1 + y ) φn 1 (y/q, z)φ N (y, z/q) z φ N 1 (y, z)φ N (y/q, z/q), (43) 1 + z ( y f 1(z; y, q N ) 1 + z ) φn 1 (y, z/q)φ N (y/q, z) y φ N 1 (y, z)φ N (y/q, z/q) (44) In fact, it is easy to check that q-p III (16) follows by using Proposition 33 and eq(29) Moreover, Proposition 33 is derived from the bilinear difference equations Proposition 34 φ N (x, y) satisfies the following bilinear difference equations φ N+1 (y, z)φ N (y/q, z) + q N+1 z φ N+1 (y/q, z)φ N (y, z) (1 + z) φ N+1 (y, qz)φ N (y/q, z/q), (45) q N 1 z φ N+1 (y, z)φ N (y/q, z) + φ N+1 (y/q, z)φ N (y, z) (1 + z) φ N+1 (y/q, z/q)φ N (y, qz), (46) z φ N+1 (y/q, z/q)φ N (y, z) + y φ N+1 (y, z)φ N (y/q, z/q) (y + z) φ N+1 (y, z/q)φ N (y/q, z), (47) y φ N+1 (y/q, z/q)φ N (y, z) + z φ N+1 (y, z)φ N (y/q, z/q) (y + z) φ N+1 (y/q, z)φ N (y, z/q) (48) Eqs(41)-(44) is derived from eqs(45)-(48), respectively, by shifting N to N 1, and dividing the both sides by the first term of each equation Therefore, we have to prove Proposition 34 in order to establish Theorem 31, which will be given in the next section 4 Proof of Proposition 34 We will prove the following set of bilinear equations instead of eqs(45)-(48): Proposition 41 φ N (y, z) satisfies the following bilinear equations y φ N+1 (y/q, z)φ N (y, z/q) z φ N+1 (y, z/q)φ N (y/q, z) (y z)φ N+1 (y/q, z/q)φ N (y, z), (49) y φ N+1 (y, z/q)φ N (y/q, z) z φ N+1 (y/q, z)φ N (y, z/q) (y z) φ N+1 (y, z)φ N (y/q, z/q), (50) q N 1 z φ N+1 (y, z)φ N (y/q, z) + φ N+1 (y/q, z)φ N (y, z) (1 + z) φ N+1 (y/q, z/q)φ N (y, qz), (51) φ N+1 (y/q, z)φ N 1 (y, z) φ N+1 (y, z)φ N 1 (y/q, z) (1 q)y/q φ N (y/q, z)φ N (y, z), (52) φ N+1 (y, z/q)φ N 1 (y, z) φ N+1 (y, z)φ N 1 (y, z/q) (1 q)z/q φ N (y, z/q)φ N (y, z) (53) q 2N y φ N (y/q, z)φ N (y, z) + q N (1 + z) φ N (y, qz)φ N (y/q, z/q) 1 q2n+1 1 q φ N+1 (y, z)φ N 1 (y/q, z) (54) In fact, the bilinear equations in Proposition 34 is derived as follows Eq(47) is derived by adding eq(49) multiplied by z to eq(50) multiplied by y Similary, we get eq(48) by adding eq(49) multiplied by y to eq(50) multiplied by z Eq(51)

8 is the same as eq(46) Finally, eq(45) is derived from eqs (51) (54) as follows, φ N+1 (y, qz)φ N (y/q, z/q) φ N+1(y, z)φ N 1 (y, qz) (1 q)z φ N (y, z)φ N (y, qz) φ N (y/q, z/q) φ N 1 (y, z) φ [ N+1(y, z) q N φ N 1 (y, z) z 1 + z φ N(y, z)φ N 1 (y/q, z) + 1 ] 1 + z φ N(y/q, z)φ N 1 (y, z) (1 q)z φ N(y, z)φ N (y, qz)φ N (y/q, z/q) φ N 1 (y, z) φ N (y, z) φ N 1 (y, z) q N z 1 + z [ φ N+1 (y, z)φ N 1 (y/q, z) (1 q)q N (1 + z) φ N (y, qz)φ N (y/q, z/q) ] z φ N+1(y, z)φ N (y/q, z) φ N (y, z) φ N 1 (y, z) q N z 1 + z [ (1 q)q 2N y φ N (y/q, z)φ N (y, z) + q 2N+1 φ N+1 (y, z)φ N 1 (y/q, z) ] z φ N+1(y, z)φ N (y/q, z) φ N (y, z) φ N 1 (y, z) qn+1 z 1 + z φ N+1(y/q, z)φ N 1 (y, z) z φ N+1(y, z)φ N (y/q, z) 1 [ q N+1 z φ N+1 (y/q, z)φ N (y, z) + φ N+1 (y, z)φ N (y/q, z) ], 1 + z where we have used eq(53) with q qz in the first equality, eq(51) with N N 1 in the second equality, eq(54) in the fourth equality and eq(52) in fifth equality, respectively Remark 42 The set of equations eqs(49)-(53) is invariant with respect to the transformation, N M N, (55) from the relation φ N ( 1) N(N+1)/2 φ N 1 Eq(54) itself is not invariant with respect to this transformation, but if we consider the bilinear equation, q 2(N+1) y φ N (y/q, z)φ N (y, z) + q (N+1) (1 + z) φ N (y, qz)φ N (y/q, z/q) 1 q (2N+1) 1 q φ N 1 (y, z)φ N+1 (y/q, z), (56) then the set of equations (54) and (56) is invariant Eq(56) is derived by combining eqs(52)-(54) From this symmetry of bilinear equations, we only have to prove Proposition 41 for N Z 0 Proposition 41 is proved by the similar technique of determinants used in the previous paper[1] Namely, we first prepare difference formulas which relate φ N (y, z) with some determinants whose column is properly shifted from original φ N (y, z) Then, choosing suitable Plücker relations, which are quadratic identities among determinants whose columns are shifted, we obtain the bilinear equations In this section, we demonstrate the derivation of eq(49) as an example Since other bilinear equations in Proposition 41 are derived by using similar technique, we give the complete proof in the appendix To this end, we first prepare a difference formula Lemma 43 (Difference Formula I) N + 2, N + 3,,0,1 φ N (y, z), (57) N + 2y/q, N + 3,,0,1 φn (y/q, z), (58) N + 2z/q, N + 3,,0,1 φn (y, z/q), (59) N + 3 y/q, N + 3,,0,1 (1 q)y/q φ N (y/q, z), (60) N + 3z/q, N + 3,,0,1 (1 q)z/q φn (y, z/q), (61) N + 3z/q, N + 3 y/q, N + 4,0,1 (1 q)/q (z y) φn (y/q, z/q), (62)

9 where k y is the column vector, z k y z p k+2 (y, z) p k (y, z), (63) and indices are abbribiated when unnecessary Proof of Lemma 43: Eq(57) follows from the definition of φ N (y, z) (N Z 0 ), p N (y, z) p N+1 (y, z) p 2N 1 (y, z) p N 2 (y, z) p N 1 (y, z) p 2N 3 (y, z) φ N (y, z) p N+2 (y, z) p N+3 (y, z) p 1 (y, z), (64) and eq(63) We shift y y/q in eq(64) Then, subtracting (k 1)-st column multiplied by ()y/q from k-th column for k N, N 1,, 2 and using the contiguity relation (37), we have φ N (y/q, z) N + 2 y/q, N + 3 y/q,,0 y/q,1 y/q (1 q)y/q 0 y/q N + 2 y/q, N + 3 y/q,,0 y/q,1 N + 2 y/q, N + 3,,0,1, which is eq(58) Moreover, in the last equality, adding the second column to the first column multipled by (1 q)y/q, and using the contiguity relation (37), we have (1 q)y/q φ N (y/q, z) (1 q)y/q ( N + 2 y/q ) + ( N + 3), N + 3,,0,1 N + 3 y/q, N + 3,,0,1, which is eq(59) Eqs(60) and (61) are derived by the same procedure by using the contiguity relation (36) Finally, shifting y y/q in eq(61), subtracting (k 1)-st column multiplied by (1 q)y/q from k-th column for k N, N 1,, 3 and using the contiguity relation (37), we have (1 q)z/q φ N (y/q, z/q) N + 3 y/q, N + 3 y/q, N + 4 y/q,0 y/q,1 y/q z/q N + 3 y/q, N + 3 y/q, N + 4,0,1 z/q Multiplying the first column by z y and using the contiguity relation which follows from eqs(37) and (36), we obtain z p k (y, z/q) y p k (y/q, z) (z y) p k (y/q, z/q), (65) (1 q)z/q (z y) φ N (y/q, z/q) (z y) ( N + 3 y/q ), N + 3 y/q, N + 4,,0,1 z/q z ( N + 3 z/q ) y ( N + 3 y/q ), N + 3 y/q, N + 4,,0,1 which is eq(62) This completes the proof of Lemma 43 Consider the Plücker relation, z N + 3 z/q, N + 3 y/q, N + 4,,0,1, 0 ϕ, N + 2, N + 3,,1 N + 2 z/q, N + 2 y/q, N + 3,,1 N + 2z/q, N + 2, N + 3,,1 ϕ, N + 2y/q, N + 3,,1 + N + 2y/q, N + 2, N + 3,,1 ϕ, N + 2z/q, N + 3,,1, (66)

10 where ϕ is the column vector, ϕ (67) After expanding with respect to the column ϕ, we apply Lemma 43 to eq(66) Then we obtain, 0 φ N (y, z) (1 q)/q (z y) φ N+1 (y/q, z/q) (1 q)z/q φ N+1 (y/q, z) φ N (y/q, z) + (1 q)y/q φ N+1 (y, z/q) φ N (y, z/q), which yields eq(49) For the derivation of eqs(50)-(54), see appendix 5 Concluding Remarks In this and previous[1] papers, we have considered q-p III and shown that it has the following properties: q-p III is derived from the (generalizaztion of) discrete-time relativistic Toda lattice q-p III and q-p IV are realized as the dynamical systems on the root lattice of type A (1) 1 A (1) 2 The former equation describes the Bäcklund (Schlesinger) transformation of the latter, and vice versa q-p III admits symmetry of affine Weyl group of type A (1) 1 A (1) 1 as the group of Bäcklund transformations q-p III admits two classes of Riccati type solutions One class consists of such solutions that are expressed by Jackson s q-modified Bessel functions These solutions are also the solutions for q-p IV Another class consists of q-p III specific solutions Those classes of solutions admit determinant formula of Hankel or Toeplitz type q-p III admits rational solutions which are expressed by ratio of some subtraction-free special polynomials Those special polynomials admit determinant formula of Jacobi-Trudi type associated with two-core partition It might be an interesting problem to find connections or applications of q-p III to other fields of mathematical and physical sciences, such as q-orthogonal polynomials, matrix integrations or discrete geometry Moreover, there are many discrete Painlevé equations to be studied in Sakai s classification[18] It might be an important problem to consider their solutions, in particular, solutions for the equations with larger symmetries than q-p VI, which are expected to be beyond the hypergeometric world[26] Acknowledgement The author would like to express his sincere thanks to Prof M Noumi, Prof Y Yamada and Dr T Masuda for discussions, encouragement and many advices References [1] K Kajiwara and K Kimura, On a q-difference Painlevé III Equation I: Derivations, Symmetry and Riccati Type Solutions, preprint, arxiv:nlinsi/ [2] K Kajiwara and Y Ohta, Determinant Structure of Rational Solutions for the Painlevé II Equation, J Math Phys 37 (1996), [3] K Kajiwara and T Masuda, On the Umemura Polynomials for the Painlevé III Equation, Phys Lett A260(1999)

11 [4] K Kajiwara and Y Ohta, Determinant Structure of the Rational Solutions for the Painlevé IV Equation, J Phys A 31(1998) [5] M Noumi and Y Yamada, Symmetries in the Fourth Painlevé Equation and Okamoto Polynomials, Nagoya Math J 153(1999) [6] Y Yamada, Determinant Formulas for the τ-functions of the Painlevé Equations of type A, Nagoya Math J 156(1999) [7] M Noumi and Y Yamada, Umemura Polynomials for the Painlevé V Equation, Phys Lett A247(1999) [8] T Masuda, Y Ohta and K Kajiwara, A Determinant Formula for a Class of Rational Solutions of Painlevé V Equation, to appear in Nagoya Math J(2002) [9] T Masuda, On a Class of Algebraic Solutions to Painlevé VI Equation, Its Determinant Formula and Coalescence Cascade, preprint, arxiv:nlinsi/ [10] K Kajiwara, Y Ohta and K Yamamoto, Rational Solutions for the Discrete Painlevé II Equation, Phys Lett A232(1997), [11] T Masuda, On the Rational Solutions of q-painlevé V Equation, preprint, arxiv:nlinsi/ , to appear in Nagoya Math J(2002) [12] J Hietarinta and K Kajiwara, Rational Solutions to d-p IV, in Proceedings of the Second Workshop on Symmetries and Integrability of Difference Equations (Cambridge, 1999), [13] Y Murata, Classical Solutions of the Third Painlevé Equation, Nagoya Math J, 139(1995) [14] VI Gromak, Solutions of the Third Painlevé Equation, Diff Eq 9(1973) [15] VI Gromak, Algebraic Solutions of the Third Painlevé Equation, Dokl Akad Nauk BSSR, 23(1979) [16] VI Gromak, Reducibility of Painlevé Equations, Diff Eq 20(1985) [17] NA Lukashevich, Elementary Solutions of Certain Painlevé Equations, Diff Eq 1(1965) [18] H Sakai, Rational Surfaces Associated with Affine Root Systems and Geometry of the Painlevé Equations, Commun Math Phys 220(2001) [19] K Okamoto, Studies in Painlevé Equations IV Third Painlevé Equation, Funkcial Ekvac 30(1987) [20] NA Lukashevich, On the Theory of the Third Painlevé Equation, Diff Eq 3(1967) [21] Y Ohyama, Particular Solutions of the Painlevé Equations, RIMS Kokyuroku 1239 Painlevé Systems and Hypergeometric Systems, Kyoto Univ(2002) [22] H Umemura and H Watanabe, Solutions of the Third Painlevé Equation I, Nagoya Math J 151(1998) 1-24 [23] K Kajiwara, M Noumi and Y Yamada, q-painlevé Systems Arising from q-kp Hierarchy, preprint, arxiv:nlinsi/ [24] K Kajiwara, M Noumi and Y Yamada, A Study on the fourth q-painlevé Equation, J Phys A: Math Gen 34(2001) [25] IG Macdonald, Symmetric Functions and Hall Polynomials, Second Edition, Oxford University Press, 1995 [26] A Ramani, B Grammaticos, T Tamizhmani and KM Tamizhmani, Special Function Solutions of the Discrete Painlevé Equations, Computers and Mathematics with Applications 42(2001)

12 A Proof of Bilinear Equations In this appendix, we give the data which are necessary for proving the bilinear equations in Proposition 41 Following the procedure mentioned in section 4, we first give the difference formulas Lemma A1 (Difference Formula II) N(N 1) [N 1], [N 2],, [1], [0] (q 1) 2 z N(N 1) (N 2)(N 1)N 2 q 6 φ N (y, z), (68) [N 1],, [2], [1], [0 ] y/q ( 1) N 1 N(N 1) (N 1)(N 2) (q 1) 2 z 2 q N(N2 +5) 6 φ N (y/q, z), (69) [N 1],, [2], [1], [1 ] y/q ( 1) N 1 N(N 1) (N 1)(N 2) (q 1) 2 z 2 q N(N2 +5) 6 (1 + qz) φ N (y/q, z), (70) where [k] and [k ] are column vectors, respectively [k] p 3 (y, q k z) p 1 (y, q k z), [k ] q 3 p 3 (y, q k z) q p 1 (y, q k z), (71) Lemma A2 (Difference Formula III) [N], [N 1],, [1], [0] [N], [N 1],, [1], [0 y/q ] [N], [N 1],, [1], [1 y/q] {(q 1)z} N(N+1) (N 1)N(N+1) 2 q 6 φ N (y, z), (72) N+1 N(N+1)(N+5) q 6 y N {(q 1)z} N(N+1) 1 q 2 1 q 2j 1 φ N(y/q, z), (73) j1 q N(N+1)(N+5) 6 y N 1 {(q 1)z} N(N+1) 2 (1 + qz) N+1 1 q 1 q 2j 1 φ N(y/q, z), (74) j1 where [k] and [k ] are column vectors given by, respectively [k] p 2 (y, q k z) p 0 (y, q k z), [k ] q 2 q 0 p 2 2 (y, q k z) p 0 0 (y, q k z), (75) We prove Lemmas A1 and A2 in the appendix B We next give the list of the Plücker relation and difference formula which is necessary for the derivation of each bilinear equation (1) eq(49) Plücker relation 0 ϕ, N + 2, N + 3,,1 N + 2z/q, N + 2 y/q, N + 3,,1 N + 2z/q, N + 2, N + 3,,1 ϕ, N + 2y/q, N + 3,,1 Difference formula Lemma 43 (2) eq(50) + N + 2y/q, N + 2, N + 3,,1 ϕ, N + 2z/q, N + 3,,1 (76)

13 Plücker relation 0 N + 1, N + 2,,0,1 N + 1z/q, N + 1 y/q, N + 2,,0 N + 1z/q, N + 1, N + 2,,0 N + 1y/q, N + 2,,0,1 Difference formula Lemma 43 Remark A relation (3) eq(51) + N + 1 y/q, N + 1, N + 2,,0 N + 1 z/q, N + 2,,0,1 (77) is used for the derivation Plücker relation Difference formula Lemma A1 (4) eq(52) Plücker relation p N (y, z) p N+1 (y, z) p 2N 1 (y, z) p N 2 (y, z) p N 1 (y, z) p 2N 3 (y, z) φ N (y, z) p N+2 (y, z) p 0 (y, z) p 1 (y, z) p N (y, z) p N+1 (y, z) p 2N 1 (y, z) p 2N (y, z) p N 2 (y, z) p N 1 (y, z) p 2N 3 (y, z) p 2N 2 (y, z) p N+2 (y, z) p 0 (y, z) p 1 (y, z) p 2 (y, z) p N (y, z) p 2 (y, z) p 1 (y, z) p 0 (y, z) N, N + 1,,0 (78) 0 [N], [N 1],, [1], [0 ] y/q [N 1],, [1], [0], ϕ [N], [N 1],, [1], ϕ [N 1],, [1], [0], [0 ] y/q [N 1],, [1], [0 ] y/q, ϕ [N], [N 1],, [1], [0] (79) 0 N + 1y/q, N + 1, N + 2,0 N + 2,0,1, ϕ + N + 1, N + 2,0,1 N + 1y/q, N + 2,0, ϕ Difference formula Lemma 43 with eq(78) (5) eq(53) Plücker relation N + 1, N + 2,0, ϕ N + 1 y/q, N + 2,0,1, (80) 0 N + 1 z/q, N + 1, N + 2,0 N + 2,0,1, ϕ + N + 1, N + 2,0,1 N + 1z/q, N + 2,0, ϕ Difference formula Lemma 43 with eq(78) (6) eq(54) N + 1, N + 2,0, ϕ N + 1z/q, N + 2,0,1, (81)

14 Plücker relation 0 [N], [N 1],, [1], [0] [N 1],, [1], [0 y/q ], ϕ [N], [N 1],, [1], [0 y/q] [N 1],, [1], [0], ϕ + [N], [N 1],, [1], ϕ [N 1],, [1], [0], [0, (82) y/q] Difference formula Lemma A2 In the above data, note that ϕ is a column vector given in eq(67), and difference formulas should be applied after expanding the determinant with respect to the column ϕ B Proof of Lemmas A1 and A2 In this appendix, we give the proof of difference formulas Lemmas A1 and A2 B1 Lemma A1 We first rewrite φ N (y, z) (28) in terms of the Casorati determinant in z as follows Lemma B1 φ N (y, z) {(q 1)z} N(N 1)/2 q (N 2)(N 1)N/6 p 2N 1 (y, q N 1 z) p 2N 1 (y, q N 2 z) p 2N 1 (y, qz) p 2N 1 (y, z) p 2N 3 (y, q N 1 z) p 2N 3 (y, q N 2 z) p 2N 3 (y, qz) p 2N 3 (y, z) p 1 (y, q N 1 z) p 1 (y, q N 2 z) p 1 (y, qz) p 1 (y, z) (83) Proof of Lemma B1: Adding (k + 1)-st column to k-th column multiplied by (q 1)z for k 1,, N 1 and using the contiguity relation (36), we have φ N (y, z) {(q 1)z} (N 1) p N+1 (y, qz) p N+2 (y, qz) p 2N 1 (y, qz) p 2N 1 (y, z) p N 1 (y, qz) p N (y, qz) p 2N 3 (y, qz) p 2N 3 (y, z) p N+3 (y, qz) p N+4 (y, qz) p 1 (y, qz) p 1 (y, z) Moreover, adding (k + 1)-st column to k-th column multiplied by (q 1)qz for k 1,, N 2, and continuing this procedure, we finally obtain, φ N (y, z) which is desired result We put φ N (y, z) {(q 1)z} (N 1) {(q 1)qz} (N 2) { (q 1)q N 2 z } 1 p 2N 1 (y, q N 1 z) p 2N 1 (y, q N 2 z) p 2N 1 (y, qz) p 2N 1 (y, z) p 2N 3 (y, q N 1 z) p 2N 3 (y, q N 2 z) p 2N 3 (y, qz) p 2N 3 (y, z), p 1 (y, q N 1 z) p 1 (y, q N 2 z) p 1 (y, qz) p 1 (y, z) p 2N 1 (y, q N 1 z) p 2N 1 (y, q N 2 z) p 2N 1 (y, qz) p 2N 1 (y, z) p 2N 3 (y, q N 1 z) p 2N 3 (y, q N 2 z) p 2N 3 (y, qz) p 2N 3 (y, z) p 1 (y, q N 1 z) p 1 (y, q N 2 z) p 1 (y, qz) p 1 (y, z) {(q 1)z} N(N 1)/2 q (N 2)(N 1)N/6 φ N (y, z) (85) (84)

15 Proof of Lemma A1: Eq(83) is nothing but eq(68) In order to prove eqs(69) and (70), we use the contiguity relation, q k z p k (y, z) + p k (y/q, z) (1 + z) p k (y/q, z/q), (86) which follows from eqs(35)-(37) Using eq(86) for the first column of φ N (y/q, z), we have p 2N 1 (y/q, q N 1 z) p 2N 1 (y/q, q N 2 z) p 2N 1 (y/q, z) p 2N 3 (y/q, q N 1 z) p 2N 3 (y/q, q N 2 z) p 2N 3 (y/q, z) φ N (y/q, z) p 1 (y/q, q N 1 z) p 1 (y/q, q N 2 z) p 1 (y/q, z) q 2N+1 (q N 1 z)p 2N 1 (y, q N 1 z) + (1 + q N 1 z)p 2N 1 (y/q, q N 2 z) q 2N+3 (q N 1 z)p 2N 3 (y, q N 1 z) + (1 + q N 1 z)p 2N 3 (y/q, q N 2 z) q 1 (q N 1 z)p 1 (y, q N 1 z) + (1 + q N 1 z)p 1 (y/q, q N 2 z) q 2N+1 p 2N 1 (y, q N 1 z) p 2N 1 (y/q, q N 2 z) p 2N 1 (y/q, z) q N 1 q 2N+3 p 2N 3 (y, q N 1 z) p 2N 3 (y/q, q N 2 z) p 2N 3 (y/q, z) z q 1 p 1 (y, q N 1 z) p 1 (y/q, q N 2 z) p 1 (y/q, z) Continuing this precedure from the second column to the (N 1)-st column, we have, φ N (y/q, z) ( q N 1 z) ( qz) q 2N+1 p 2N 1 (y, q N 1 z) q 2N+1 p 2N 1 (y, qz) p 2N 1 (y/q, z) q 2N+3 p 2N 3 (y, q N 1 z) q 2N+3 p 2N 3 (y, qz) p 2N 3 (y/q, z) q 1 p 1 (y, q N 1 z) q 1 p 1 (y, qz) p 1 (y/q, z) (87) ( q N 1 z) ( qz)q N2 p 2N 1 (y, q N 1 z) p 2N 1 (y, qz) q 2N 1 p 2N 1 (y/q, z) p 2N 3 (y, q N 1 z) p 2N 3 (y, qz) q 2N 3 p 2N 3 (y/q, z), p 1 (y, q N 1 z) p 1 (y, qz) q p 1 (y/q, z)

16 which yields eq(69) by noticing eq(85) In eq(87), multiplying the N-th column by (1 + qz) and using eq(86), we have φ N (y/q, z) ( q N 1 1 z) ( qz) 1 + qz q 2N+1 p 2N 1 (y, q N 1 z) q 2N+1 p 2N 1 (y, qz) (1 + qz)p 2N 1 (y/q, z) q 2N+3 p 2N 3 (y, q N 1 z) q 2N+3 p 2N 3 (y, qz) (1 + qz)p 2N 3 (y/q, z) q 1 p 1 (y, q N 1 z) q 1 p 1 (y, qz) (1 + qz)p 1 (y/q, z) ( q N 1 1 z) ( qz) 1 + qz q 2N+1 p 2N 1 (y, qz) q 2N+1 (qz)p 2N 1 (y, qz) + p 2N 1 (y/q, qz) q 2N+3 p 2N 3 (y, qz) q 2N+3 (qz)p 2N 3 (y, qz) + p 2N 3 (y/q, qz) q 1 p 1 (y, qz) q 1 (qz)p 1 (y, qz) + p 1 (y/q, qz) q 2N+1 p 2N 1 (y, qz) p 2N 1 (y/q, qz) ( q N 1 1 z) ( qz) 1 + qz q 2N+3 p 2N 3 (y, qz) p 2N 3 (y/q, qz) q 1 p 1 (y, qz) p 1 (y/q, qz) ( q N 1 1 z) ( qz) 1 + qz q N2 p 2N 1 (y, q N 1 z) p 2N 1 (y, qz) q 2N 1 p 2N 1 (y/q, qz) p 2N 3 (y, q N 1 z) p 2N 3 (y, qz) q 2N 3 p 2N 3 (y/q, qz) p 1 (y, q N 1 z) p 1 (y, qz) q p 1 (y/q, qz) which yields eq(70) This completes the proof of Lemma A1 We finally prove Lemma A2 We start from eq(78), and rewrite it in terms of Casorati determinant in z by using the same technique in Lemma B1 Lemma B2 We put φ N (y, z) {(q 1)z} N(N+1)/2 q (N 1)N(N+1)/6 φ N (y, z) p 2N (y, q N z) p 2N (y, q N 1 z) p 2N (y, qz) p 2N (y, z) p 2N 2 (y, q N z) p 2N 2 (y, q N 1 z) p 2N 2 (y, qz) p 2N 2 (y, z) p 2 (y, q N z) p 2 (y, q N 1 z) p 2 (y, qz) p 2 (y, z) p 0 (y, q N z) p 0 (y, q N 1 z) p 0 (y, qz) p 0 (y, z) p 2N (y, q N z) p 2N (y, q N 1 z) p 2N (y, qz) p 2N (y, z) p 2N 2 (y, q N z) p 2N 2 (y, q N 1 z) p 2N 2 (y, qz) p 2N 2 (y, z) p 2 (y, q N z) p 2 (y, q N 1 z) p 2 (y, qz) p 2 (y, z) p 0 (y, q N z) p 0 (y, q N 1 z) p 0 (y, qz) p 0 (y, z) (88) {(q 1)z} N(N+1)/2 q (N 1)N(N+1)/6 φ N (y, z) (90) Proof of Lemma A2: Eq(88) is nothing but eq(72) In order to prove eqs(73) and (74), we use the congituity relation, k 1 qk+1 q p k+1 (qy, z) (1 + z) p k (y, z/q) + qy p k (y, z) (91) 1 q (89)

17 which follows from eqs(35)-(37) We add the second column multiplied by (1 + q N z) to the first colum multiplied by qy Using eq(91), we have p 2N (y, q N z) p 2N (y, q N 1 z) p 2N (y, qz) p 2N (y, z) p 2N 2 (y, q N z) p 2N 2 (y, q N 1 z) p 2N 2 (y, qz) p 2N 2 (y, z) φ N (y, z) p 2 (y, q N z) p 2 (y, q N 1 z) p 2 (y, qz) p 2 (y, z) p 0 (y, q N z) p 0 (y, q N 1 z) p 0 (y, qz) p 0 (y, z) qy p 2N (y, q N z) + (1 + q N z)p 2N (y, q N 1 z) p 2N (y, q N 1 z) 1 qy p 2N 2 (y, q N z) + (1 + q N z)p 2N 2 (y, q N 1 z) p 2N 2 (y, q N 1 z) qy qy p 0 (y, q N z) + (1 + q N z)p 0 (y, q N 1 z) p 0 (y, q N 1 z) 2N 2N+1 q p 2N+1 (qy, q N z) p 2N (y, q N 1 z) 1 1 2N+2 2N q p 2N 1 (qy, q N z) p 2N 2 (y, q N 1 z) qy q 0 1 p 1(qy, q N z) p 0 (y, q N 1 z) Continuing this procedure from the second to the N-th columns, we obtain ( ) N 1 φ N (y, z) qy 2N 2N+1 q p 2N+1 (qy, q N 2N 2N+1 z) q p 2N+1 (qy, qz) p 2N (y, z) 1 2N+2 2N q p 2N 1 (qy, q N z) q 2N+2 2N 1 p 2N 1 (qy, qz) p 2N 2 (y, z) q 0 1 p 1(qy, q N z) q 0 1 p 1(qy, qz) p 0 (y, z) ( ) N N+1 1 q 2j (1 q 2j 1 ) qy 1 q j1 p 2N+1 (qy, q N 2N z) p 2N+1 (qy, qz) q p 2N+1 2N (y, z) p 2N 1 (qy, q N 2N 2 z) p 2N 1 (qy, qz) q 2N 1 p 2N 2 (y, z) p 1 (qy, q N z) p 1 (qy, qz) q 0 p 1 0 (y, z) (92)

18 which yields eq(73) by noticing eq(90) Furthermore, in eq(92), adding the (N 1)-st column to the N-th column multiplied by (1 + qz) and using eq(91), we have ( ) N 1 1 φ N (y, z) qy 1 + qz 2N 2N+1 2N 2N+1 q p 2N+1 (qy, qz) q p 2N+1 (qy, qz) (1 + qz)p 2N (y, z) 1 2N+2 2N q p 2N 1 (qy, qz) q 2N+2 2N 1 p 2N 1 (qy, qz) (1 + qz)p 2N 2 (y, z) q 0 1 p 1(qy, qz) q 0 1 p 1(qy, qz) (1 + qz)p 0 (y, z) 2N 2N+1 q ( ) p 2N+1 (qy, qz) qy p 2N (y, qz) 1 N 1 1 2N+2 2N qy 1 + qz q p 2N 1 (qy, qz) qy p 2N 2 (y, qz) q 0 1 p 1(qy, qz) qy p 0 (y, qz) ( ) N 1 N q 2(j 1) (1 q 2j 1 ) qy 1 + qz 1 q j1 p 2N+1 (qy, q N 2N z) p 2N+1 (qy, qz) q p 2N+1 2N (y, qz) p 2N 1 (qy, q N 2N 2 z) p 2N 1 (qy, qz) q 2N 1 p 2N 2 (y, qz) p 1 (qy, q N z) p 1 (qy, qz) q 0 p 1 0 (y, qz), which gives eq(74) This completes the proof of Lemma A2