Integrable Mappings Related to the Extended Discrete KP Hierarchy ANDREI K. SVININ Institute of System Dynamics and Control Theory, Siberian Branch of Russian Academy of Sciences, P.O. Box 1233, 664033 Iruts, Russia arxiv:nlin/0408012v2 [nlin.si] 15 Sep 2004 Abstract. We investigate self-similar solutions of the extended discrete KP hierarchy. It is shown that corresponding ansatzes lead to purely discrete equations with dependence on some number of parameters together with equations governing deformations with respect to these parameters. Some examples are provided. In particular it is shown that well nown discrete first Painlevé equation (dp I and its hierarchy arises as self-similar reduction of Volterra lattice hierarchy which in turn can be treated as reduction of the extended discrete KP hierarchy. It is written down equations which naturally generalize dp I in the sense that they have the P I in continuous limit. We also consider Miura transformations relating different infinite- and finite-field integrable mappings. Simplest example of this ind of Miura transformations is given. Keywords: extended discrete KP hierarchy, self-similar solutions, discrete Painlevé equations 1. Preliminaries In Refs. [10], [11] we exhibit and investigate two-parameter class of invariant submanifolds of Darboux-KP (DKP chain which is in fact the chain of copies of (differential KP hierarchy glued together by Darboux map. The DKP chain is formulated in terms of formal Laurent series h(i = z + =2 h (iz +1, a(i = z + =1 a (iz +1 : i Z} and reads as [6] p h(i = H (p (i, p a(i = a(i(h (p (i + 1 H (p (i with H (p (i : p 1} (with fixed value of i being the currents calculated at the point h(i [1]. Restriction on invariant submanifold S n l is defined by condition z l n+1 a [n] (i H + (i, i Z where H + (i =< 1,H (1 (i,h (2 (i,... > and a [] (i s are Faà di Bruno discrete iterates defined by recurrence relation a [+1] (i = a(ia [] (i with a [0] (i 1. As was shown in Refs. [10], [11], the restriction of DKP (1 This wor was supported by INTAS grant 2000-15 and RFBR grant 03-01- 00102. c 2008 Kluwer Academic Publishers. Printed in the Netherlands. svin5.tex; 27/02/2008; 5:31; p.1
2 ANDREI K. SVININ chain on S n 0 leads to linear discrete systems (see also [8] and with the pair of discrete operators Q r (n Ψ = zr Ψ (2 z p(n 1 p (n Ψ = (Q pn (n +Ψ, (3 Q r (n Λr + 1 q (n,r z (n 1 Λ r n and (Q pn (n + Λ pn + p =1 q (n,pn (iz (n 1 Λ (p n whose coefficients q (n,r = q (n,r (i uniquely defined as polynomials in coordinates a (i with the help of the relation z r = a [r] (i + z n 1 q (n,r 1 (ia [r n] (i + z 2(n 1 q (n,r 2 (ia [r 2n] (i +... The consistency condition of (2 and (3 reads as Lax equation z p(n 1 p (n Q r (n = [(Qpn (n +,Q r (n ] and can be rewritten in explicit form (n p q (n,r + p (i = Q (n,r p,p (i = q(n,r +p (i + pn q(n,r +p (i q s (n,pn (i q (n,r s+p (i + (p sn q s (n,pn (i + r ( s + pn q (n,r s+p (i. (4 The formula (4 is proved to be a container for many differentialdifference systems (cf. [7], [9] but to deduce them from (4 one needs to tae into account purely algebraic relations q (n,r 1+r 2 (i = q (n,r 1 1 (i+ q (n,r 1 s (i q (n,r 2 s (i+r 1 sn+q (n,r 2 (i+r 1 = q (n,r 1 2 (i + q (n,r 2 s (i q (n,r 1 s (i + r 2 sn + q (n,r 1 (i + r 2 (5 svin5.tex; 27/02/2008; 5:31; p.2
Integrable Mappings 3 which are coded in permutability operator relation Q r 1+r 2 (n = Q r 1 (n Qr 2 (n = Qr 2 (n Qr 1 (n. It is quite obvious that equations (4 admit reductions with the help of simple conditions q (n,r (i 0, l + 1, l 1. which are also consistent with the algebraic relations (5. As was shown in [10], [11], this reductions can be properly described in geometric setting as double intersections of invariant manifolds of DKP chain: S n,r,l = S0 n Sln r l 1. In particular, the restriction of the DKP chain on S 2,1,1 yields Volterra lattice hierarchy. Our principal goal in this article is to investigate self-similar solutions of equations (4 supplemented by (5. We show below that corresponding ansatzes yield a large class of purely discrete systems supplemented by equations governing deformations of parameters entering these systems. As a particular case we deduce dp I and some equations which can be treated as higher members in dp I hierarchy [2]. 2. Self-similar solutions of the extended discrete KP hierarchy and integrable mappings 2.1. Preliminary calculations and conjectures To prepare a ground for further investigations, we need in Proposition 2.1. Q (n,pn p,1 (i = Q (n,n 1,p (i. (6 Proof. Write (6 in explicit form q (n,pn p+1 (i + n + q (n,n = q (n,n p+1 (i + pn + q(n,pn q (n,n p+1 (i q(n,pn 1 (iq p (n,pn 1 (iq p (n,n 1 (i (p 1nq p (n,n One can easy to rewrite the latter as q (n,pn p+1 (i+q (n,pn = q (n,n p+1 (i+q(n,n 1 (iq p (n,n 1 (iq p (n,pn (i q (n,pn p+1 (i q (n,n 1 (iq p (n,pn (i (i + (p 1n +... + q p (n,pn (iq (n,n 1 (i (i... q p (n,pn (iq (n,n 1 (i. (i+(p 1n+...+q p (n,pn (iq (n,n 1 (i+q (n,n p+1 (i+pn (i+...+q p (n,n (iq (n,pn 1 (i (p 1n+q (n,pn p+1 (i+n svin5.tex; 27/02/2008; 5:31; p.3
4 ANDREI K. SVININ and see that this relation is nothing but (5 with r 1 = pn, r 2 = n and = p + 1. The formula (6, by definition of Q (n,r,p, can be written in the form of local conservation law attached to the discrete variable i ( n (n q p (n,pn (i = p (n q (n,n 1 (i = p (n q (n,1 1 (i + s 1 = Q (n,1 1,p (i + s 1. Each Q (n,1 1,p (i is uniquely expressed as a polynomial of q (i q (n,1 (i. So, we can suppose that there exists the polynomials ξ p (n (i in q (i such that q p (n,pn (i = ξ p (n (i + s 1, p 1 (7 and consequently (n ξ (n p (i = (n p For example, we can write down the following: q 1 (i = Q (n,1 1,p (i. (8 ξ (n 1 (i = q 1 (i, ξ (n 2 (i = q 2 (i + q 2 (i + n + q 1 (i n+1 n q 1 (i + s. Unfortunately we cannot by now to write down the polynomials ξ (n 3 (i,ξ (n 4 (i,... in explicit form for arbitrary n, but we believe that one can do it for arbitrary concrete values of n. We propose the following Conjecture. By virtue of equations of motion of the extended discrete KP hierarchy, (n q ξ (n p (i = p (n ξ q (n (i, q,p 1. Note that (8 represent a particular case of the latter. Fixing any integer p 2, let us define i = p t (n ξ(n (i. =1 Taing into account the above conjecture, we obtain q (n i = qξ q (n (i + p t (n (n q =1 ξ (n (i svin5.tex; 27/02/2008; 5:31; p.4
Integrable Mappings 5 } p q + t (n (n p = qξ q (n (i+ t (n (n ξ(n q (i = ξ q (n (i, q = 1,...,p. =1 =1 (9 In what follows, we are going to investigate some class of self-similar solutions of extended discrete KP hierarchy and the latter auxiliary formula, unfortunately based on the above conjecture, is of great importance from the point of view of constructing purely discrete systems to which lead corresponding ansatzes. 2.2. Solutions of (4 and (5 invariant under dilations It is evident, that linear systems (2 and (3 and its consistency relations (4 and (5 are invariant under group of dilations q (n,r (i ǫ q (n,r (i, t l ǫ l t l, z ǫz, Ψ i ǫ i Ψ i. In what follows we consider dependence only on finite number of evolution parameters t (n 1,...,t(n p. Invariants of this group are T l = t (n l (pt (n p l = 1,...,p 1, ξ = (pt(n p l/p, 1/p z, ψ i = z i Ψ i, x (n,r (i = (pt (n p /p q (n,r (i. From this one gets the ansatzes for self-similar solutions q (n,r (i = 1 /px(n,r (pt p (n (i, Ψ i = z i ψ i (ξ;t 1,...,T p 1. (10 Here x (n,r (i s are supposed to be unnown functions of T 1,...,T p 1. Direct substitution of (10 into (4 gives and Y (n,r,p Tl x (n,r (i = X (n,r,l (i, l = 1,...,p 1 (11 (i = x (n,r (i + T 1 X (n,r,1 (i + 2T 2X (n,r,2 (i +... +(p 1T p 1 X (n,r,p 1 (i + X(n,r,p (i = 0, l = 1,...,p 1. (12 Here X (n,r,l (i s are rhs s of (4 where q (n,r (i s are replaced by x (n,r (i s. Moreover, we must tae into account algebraic relations x (n,r 1+r 2 (i = x (n,r 1 1 (i+ x (n,r 1 s (i x (n,r 2 s (i+r 1 sn+x (n,r 2 (i+r 1 svin5.tex; 27/02/2008; 5:31; p.5
6 ANDREI K. SVININ = x (n,r 1 2 (i + x (n,r 2 s (i x (n,r 1 s (i + r 2 sn + x (n,r 1 (i + r 2 (13 which follows from (5. Corresponding auxiliary linear equations are transformed to the following form: ξψ ξ = where T 1 (X n (n + + 2T 2 (X 2n Tl ψ = (X ln (n +ψ, l = 1,...,p 1, X r (n ξλr + 1 (n + +... + (p 1(X (p 1n X r (n ψ = ξψ, (n ξ 1 x (n,r Λ r n, r Z. } + + (X pn (n + ψ, Let us now observe that if q (n,r (i} represent self-similar solution than by virtue of (9 the quantities i do not depend on t (n 1,...,t(n p. Moreover, one can write p 1 i (i = T ζ (n (i + ζ(n p (i, =1 with ζ (n (i = (pt(n p /n ξ (n (i. So, one can state that i (i in these circumstances do not depend on parameters T 1,...,T p 1. 2.3. Discrete equations corresponding to the case r = 1 and p = 2 Most simple situation in which one can easily to derive pure discrete equations from (12 supplemented by deformation equations in a nice form is when r = 1 and p = 2. Equations (12 are specified in this case as 1 Y (n,1,2 (i = x (i + T 1 X (n,1,1 (i + X (n,1,2 (i = 0. (14 In addition, one must tae into account deformation equations T1 x (i = X (n,1,1 (i = x +1(i + n x +1 (i ( n + x (i x 1 (i + s 1 x 1 (i + s n. (15 1 In what follows, x (i x (n,1 (i svin5.tex; 27/02/2008; 5:31; p.6
Integrable Mappings 7 Proposition 2.2. The relations (14 read as infinite-field mapping i = T 1 x 1 (i + x 1 (i n 1 n x 1 (i + s + x 2 (i + x 2 (i + n, (16 ( X (i = x (i + n i+s 1 i+s n ( 2 +x +1 (i + n T 1 + x 1 (i + s 1 ( 2 x +1 (i T 1 + x 1 (i + s ( + 1n +x +2 (i + 2n x +2 (i = 0, 1 (17 with i s being arbitrary constants. Remar 2.1. Observe that the mapping (16, (17, by simple substitutions x (i x (i ( 1n/2 can be cast into symmetric form i = T 1 x 1 (i + x 1 (i n 1 n x 1 (i + s + x 2 (i n/2 + x 2 (i + n/2, ( X (i = x (i + n i+s+( 1 n 2 1 i s ( 1 n 2 +1 + x +1 (i + n/2 x +1 (i n/2 ( ( T 1 + T 1 + 2 2 x 1 (i + s + ( 1n/2 1 x 1 (i s ( 1n/2 + 1 + x +2 (i + n x +2 (i n = 0, 1 (18 as well as the deformation equations (15 T1 x (i = x +1 (i + n/2 x +1 (i n/2 ( n +x (i x 1 (i + s + ( 1n/2 1 x 1 (i s ( 1n/2 + 1. svin5.tex; 27/02/2008; 5:31; p.7
8 ANDREI K. SVININ Proof of Proposition 2.2. The proposition is proved by straightforward calculations. In what follows we use the formula (7 with p = 1,2, where q (i s are replaced by x (i s. We have X (n,1 (,1 (i = x +1(i+n x +1 (i+x (i x (n,n 1 (i x (n,n 1 (i + 1 n ( n = x +1 (i + n x +1 (i + x (i ξ (n 1 (i + s 1 ξ (n 1 (i + s n, (19 X (n,1,2 (i = x +2(i + 2n + x (n,2n 1 (ix +1 (i + n + x (n,2n 2 (ix (i x +2 (i x (n,2n 1 (i + 1 ( + 1nx +1 (i x (n,2n 2 (i + 1 nx (i = x +2 (i+2n+x +1 (i+n x +2 (i x +1 (i 2 2 x 1 (i+s 1+x (i x 1 (i+s ( +1n x (i ξ (n 2 (i+s 1 ξ (n 2 (i+s n. (20 One can easily chec that substituting (19 and (20 into (14 gives (17 given by (16. Moreover, it is already proved that i s do 1,...,t(n p and therefore on T 1,...,T p 1 but perhaps it is worth to remember that this proof is based on the above conjecture. It is obvious that the system (16 and (17 admits as well as equations (15 reduction with the help of simple condition with i not depend on t (n x (i 0, > l, l 1. Then l-th equation in (17 is specified as x l (i l + n i+s 1 } i+s ln = 0. Since it is supposed that x l (i 0 then the constants i to be subjects of constraint are forced l + i+s 1 n i+s ln = 0. svin5.tex; 27/02/2008; 5:31; p.8
2.4. dp I and its hierarchy Integrable Mappings 9 Let us consider, as a simplest example, the case corresponding to Volterra lattice hierarchy, that is n = 2, r = 1, l = 1. Tae p = 2. The equations (14 and (15 are written down as follows: x i = x i (x i+1 x i 1, / T 1, (21 x i + T 1 x i x (2,2 1 (i x (2,2 } 1 (i 1 + x i x (2,4 2 (i x (2,4 } 2 (i 1 = 0. (22 Here we denote x i = x (2,1 1 (i. Using (6 one calculates x (2,2 1 (i = x i + x i+1, x (2,4 2 (i = x i (x i 1 + x i + x i+1 + x i+1 (x i + x i+1 + x i+2. Taing into account these relations, the equation (22 turns into One can rewrite (23 as T 1 x i + x i (x i 1 + x i + x i+1 = α (2 i, (23 1 + α (2 i+1 α(2 i 1 = 0. x i 1 + x i + x i+1 = T 1 + α(2 i, (24 x i where α (2 i s are some constants forced to be subjects of the quasiperiodicity constraint: α (2 i+2 = α(2 i 1. One can immediately to write down the solution of this equation: α (2 i = α 1 2 i + β( 1i, where α and β are some constants. Provided these conditions, (24 is dp I [3]. Observe that evolution equation (21 with (24 turns into x i = 2x i x i+1 + x 2 i + T 1 x i α (2 i. It can be easily checed that together with (24 this lattice is equivalent to the pair of ordinary first-order differential equations w 1 = 2w 1w 2 + w 2 1 + T 1w 1 + a, w 2 = 2w 1w 2 w 2 2 T 1w 2 b (25 with discrete symmetry transformation (cf. [5] w 1 = w 2, w 2 = w 1 w 2 T 1 b w 2, a = b, b = a + 1, svin5.tex; 27/02/2008; 5:31; p.9
10 ANDREI K. SVININ where w 1 x i, w 2 = x i+1, a α (2 i, b α (2 i+1 for some fixed (but arbitrary value i = i 0. In turn the system (25 is equivalent to second-order equation w = (w 2 2w + 3 ( T 2 w3 + 2T 1 w 2 2 + 1 2 + a 2b + 1 w a2 2w, w w 1 with corresponding symmetry transformation w = w w 2 T 1 w a, a = b, b = a + 1. 2w In fact this is P IV with Bäclund transformation [5]. By rescaling T 1 2T1, w w/ 2 it can be turned to following canonical form: w = (w 2 2w + 3 2 w3 + 4T 1 w 2 + 2(T1 2 + a 2b + 1w 2a2 w (26 w = w w 2 2T 1 w 2a, a = b, b = a + 1. 2w As a result, we obtain the well-nown relationship between dp I (24 and P IV (26 (see, for example [4]. Remar 2.2. The equations (25 can be interpreted as self-similar reduction of Levi system with the help of the ansatz v 1t2 = ( v 1 + v2 1 + 2v 1v 2, v 2t2 = (v 2 + v2 2 + 2v 1v 2 v = 1 (2t 2 1/2 w (T 1, = 1,2. Let us discuss now the higher members in dp I hierarchy. To construct them, one needs to consider the cases p = 3,4 and so on, that is x i + T 1 x i x (2,2 1 (i x (2,2 1 (i 1 } + 2T 2 x i +x i x (2,6 3 (i x (2,6 } 2 (i 1 x i + T 1 x i x (2,2 1 (i x (2,2 1 (i 1 +3T 3 x i x (2,6 3 (i x (2,6 } 2 (i 1 + } + 2T 2 x i x (2,4 2 (i x (2,4 2 (i 1 } = 0, (27 x (2,4 2 (i x (2,4 } 2 (i 1 x (2,8 4 (i x (2,8 } 4 (i 1 = 0. (28 svin5.tex; 27/02/2008; 5:31; p.10
We have calculated, to wit the following x (2,6 Integrable Mappings 11 3 (i = ζ (2 3 (i + ζ(2 3 (i + 1 with ζ (2 3 (i = x i ζ (2 2 } (i 1 + ζ(2 2 (i + ζ(2 2 (i + 1 + x i 1x i+1 and with x (2,8 4 (i = ζ (2 4 (i + ζ(2 4 (i + 1 ζ (2 4 (i = x i ζ (2 3 (i 1 +ζ (2 } 3 (i + ζ(2 3 (i + 1 + x i 1x i+1 (x i 2 + x i 1 + x i + x i+1 + x i+2. Substituting the latter formulas into (27 and (28 we get the higher members in dp I hierarchy in the form T 1 x i + 2T 2 ζ (2 2 (i + ζ(2 3 (i = α(2 i, T 1 x i + 2T 2 ζ (2 2 (i + 3T 3ζ (2 3 (i + ζ(2 4 (i = α(2 i, with corresponding constants α (2 i being subjected to the constraint 1 + α (2 i+1 α(2 i 1 = 0. These results entirely correspond to that of the wor [2]. 2.5. Generalizations of dp I Let us consider one-field reductions of the system given by equations (16 and (17 when n is arbitrary. The analogues of the equations (21 and (22 in this case are x i = x i We tae into account that x (n,n 1 (i = ( n 1 n 1 x i+s x i s, (29 x i + T 1 x i x (n,n 1 (i x (n,n } 1 (i + 1 n +x i x (n,2n 2 (i x (n,2n } 2 (i + 1 n = 0. (30 x i+s 1, x (n,2n 2 (i = 2n 1 x i+s 1 x i+s1 +s n 1. s 1 =1 svin5.tex; 27/02/2008; 5:31; p.11
12 ANDREI K. SVININ Then the equation (30 can be cast into the form T 1 x i + x i (x i+1 n +... + x i+n 1 = i, n 1 1 + n 1 i+s i s = 0. (31 So, one concludes that in this case self-similar ansatz leads to equation x i+1 n +... + x i+n 1 = T 1 + α(n i, (32 x i when the constants i s are connected with each other by (31. Standard analysis of singularity confinement shows that this property for (32 is valid provided that i+n α(n i = i+2n 1 α(n i+n 1. (33 but one can show that this equation do not contradict to (31 and it is more general. Indeed, it follows from (31 that 1 = i+s+n 1 n i+s = n i+s+n 2 n i+s 1. (34 Second equality in (34 can be rewritten in the form n 1 s=2 i+s+n 1 + α(n = n i+n + s=3 n 2 i+2n 1 n 1 i+s+n 2 α(n i i+s α(n i+n 1 s=2 i+s 1. From the latter one obtains (33. Finally, let us show that autonomous version of (32, for any n, is integrable discretization of P I : w = 6w 2 + t. Let us prove this. Let =. One divides real axis into segments of equal length ε. So, it can be written t = iε. Values of the function w, respectively, is taen for all such values of the variable t. Then one can denote w(t = w i. Let x i = 1 + ε 2 w i, = 1 2n ε 4 t, T 1 = 2n + 1. (35 i Substituting (35 in the equation (32, taing into account the relations of the form x i+1 = 1 + ε 2 w i+1 = 1 + ε 2 w + εw + ε2 2 w +...} svin5.tex; 27/02/2008; 5:31; p.12
Integrable Mappings 13 and turning then ε to zero we obtain, in continuous limit the equation n 1 (n s 2 w = t (2n 1w 2 which, by suitable rescaling, can be deduced to canonical form of P I. 3. Miura transformations We showed in Ref. [11] that symmetry transformation a(i z 1 a [] (i g : h(i h(i on the space of DKP chain solutions is a suitable basis for constructing lattice Miura transformations. In the language of invariant submanifolds we have g (S0 n Sn 0 and g (S n,r,l S n,r,l. In terms of coordinate q s (n,r (i one can use simple relation q s (n,r (i = q s (n,r (i but to get lattice Miura transformation in the form q (n,r (i = F(q s (n,r (i} one needs to mae use algebraic relations (5. For example, Miura transformation g 2 (S0 2 S1 0 reads = q (2,1 1 (2i + q (2,1 q (1,1 (i = q (2,2 (2i (5 s (2i q (2,1 s (2i 2s + 1 + q(2,1 (2i + 1. (36 We believe that this approach can be applied for constructing Miura transformations relating different integrable mappings. Let us show the simplest example. Denote y (i = x (1,1 (i and β i = α (1 i. The equations (16 and (17 defining integrable mapping in this case are specified as β i = T 1 y 1 (i + y 2 1 (i + y 2(i + y 2 (i + 1, (37 Y (i = y (i( + β i β i +1 + y +1 (i + 1(T 1 + y 1 (i + y 1 (i + 1 y +1 (i(t 1 + y 1 (i + y 1 (i + 1 + y +2 (i + 2 y +2 (i = 0, 1. (38 Denote x (i = x (2,1 (i and α i = α (2 i. Integrable mapping in the case n = 2 is α i = T 1 x 1 (i+x 1 (i(x 1 (i 1+x 1 (i+x 1 (i+1+x 2 (i+x 2 (i+2, (39 svin5.tex; 27/02/2008; 5:31; p.13
14 ANDREI K. SVININ X (i = x (i( + α i + α i+1 α i 2+1 α i 2+2 + x +1 (i + 2(T 1 + x 1 (i + x 1 (i + 1 + x 1 (i + 2 + x 1 (i + 3 x +1 (i(t 1 + x 1 (i 2 1 + x 1 (i 2 + x 1 (i 2 + 1 + x 1 (i 2 + 2 + x +2 (i + 4 x +2 (i = 0, 1. (40 Restriction of the latter system on S 2,1,1 gives dp I (24, while the restriction of the system (37 and (38 on S 1,1,2 yields two-field system β i = T 1 y 1 (i + y 2 1(i + y 2 (i + y 2 (i + 1, y 1 (i+y 2 (i+1(t 1 +y 1 (i+y 1 (i+1 y 2 (i(t 1 +y 1 (i 1+y 1 (i = 0, (41 2 + β i β i 1 = 0. One can easily write down Miura transformation relating infinitefield mappings (37, (38 and (39, (40 by replacing q (1,1 1 (i y (i and q (2,1 1 (i x (i in (36, to wit 1 y (i = x (2i + x s (2i x s (2i 2s + 1 + x (2i + 1. (42 Moreover we have β i = α 2i + α 2i+1. By straightforward but tedious calculations one can chec that substituting (42 into (38 gives 1 Y (i (42 = X (2i + X s (2i X s (2i 2s + 1 + X (2i + 1 = 0. As for transformation g 2 (S 2,1,1 S 1,1,2 relating dp I with the system (41, we have it in the form y 1 (i = x(2i + x(2i + 1, y 2 (i = x(2i 1(2i, β i = α 2i + α 2i+1. 4. Asymmetric form of infinite-field version of dp I An asymmetric variant of dp I is used for deriving the special solutions of P IV in Ref. [4]. One can easily to write down the mapping given by (16 and (17, for any n 2, in an asymmetric form, but here we restrict ourselves to the simplest and, on the other hand, important case n = 2 which is infinite-field counterpart of dp I. It is convenient to start with its symmetric form (18 which is α i = T 1 x 1 (i+x 1 (i(x 1 (i 1+x 1 (i+x 1 (i+1+x 2 (i 1+x 2 (i+1, svin5.tex; 27/02/2008; 5:31; p.14
Integrable Mappings 15 X (i = x (i( + α i+ 1 + α i+ α i +1 α i + x +1 (i + 1(T 1 + x 1 (i + 1 + x 1 (i + + x 1 (i + + 1 + x 1 (i + + 2 x +1 (i 1(T 1 + x 1 (i + 1 + x 1 (i + x 1 (i 1 + x 1 (i 2 + x +2 (i + 2 x +2 (i 2 = 0, 1. Identifying u (i = x (2i, v (i = x (2i + 1, b i = α 2i and c i = α 2i+1, one can write b i = T 1 u 1 (i + u 1 (i(v 1 (i 1 + u 1 (i + v 1 (i + v 2 (i 1 + v 2 (i, c i = T 1 v 1 (i + v 1 (i(u 1 (i + v 1 (i + u 1 (i + 1 + u 2 (i + u 2 (i + 1, U 2l (i = u 2l (i(2l + c i+l 1 + b i+l b i l c i l + v 2l+1 (i(t 1 + v 1 (i + l 1 + u 1 (i + l + v 1 (i + l + u 1 (i + l + 1 v 2l+1 (i 1(T 1 + v 1 (i l + u 1 (i l + v 1 (i l 1 + u 1 (i l 1 + u 2l+2 (i + 1 u 2l+2 (i 1 = 0, l 1, V 2l (i = v 2l (i(2l + b i+l + c i+l c i l b i l+1 + u 2l+1 (i + 1(T 1 + u 1 (i + l + v 1 (i + l + u 1 (i + l + 1 + v 1 (i + l + 1 u 2l+1 (i(t 1 + u 1 (i l + 1 + v 1 (i l + u 1 (i l + v 1 (i l 1 + v 2l+2 (i + 1 v 2l+2 (i 1 = 0, l 1, U 2l+1 (i = u 2l+1 (i(2l + 1 + b i+l + c i+l c i l 1 b i l + v 2l+2 (i(t 1 + u 1 (i + l + v 1 (i + l + u 1 (i + l + 1 + v 1 (i + l + 1 v 2l+2 (i 1(T 1 + u 1 (i l + v 1 (i l 1 + u 1 (i l 1 + v 1 (i l 2 + u 2l+3 (i + 1 u 2l+3 (i 1 = 0, l 0, V 2l+1 (i = v 2l+1 (i(2l + 1 + c i+l + b i+l+1 b i l c i l + u 2l+2 (i + 1(T 1 + v 1 (i + l + u 1 (i + l + 1 + v 1 (i + l + 1 + u 1 (i + l + 2 v 2l+2 (i(t 1 + v 1 (i l + u 1 (i l + v 1 (i l 1 + u 1 (i l 1 + v 2l+3 (i + 1 v 2l+3 (i 1 = 0, l 0. svin5.tex; 27/02/2008; 5:31; p.15
16 ANDREI K. SVININ References 1. P. Casati, G. Falqui, F. Magri, M. Pedroni, The KP theory revisited I, II, III, IV, SISSA preprints 1996, ref. SISSA/2-5/96/FM. 2. C. Cresswell, N. Joshi, The discrete Painlevé I hierarchy, In: Symmetries and Integrability of Difference Equations, Proc. of the 2nd Int. Conf. (Caunterbury, UK, July 1-5, 1996, Lond. Math. Soc. Lect. Notes Ser. V. 255, Eds. P.A. Clarson et al. Cambridge: Cambridge Univ. Press. (1999 pp. 197-205, solvint/9710021. 3. Grammaticos, B., Ramani, A., Papageorgiou, V.: Do integrable mapping have the Painlevé property?, Phys. Rev. Lett., 67 (1991 1825-1828. 4. Grammaticos, B., Ramani, A.,: From continuous Painlevé IV to the asymmetric discrete Painlevé I, J. Phys. A: Math. Gen., 31 (1998 5787-5798. 5. Groma, V.I.: On parametric families of solutions of Painlevé equations, Diff. uravnenia, 14 (1978 2131-2135, (in Russian. 6. Magri, F., Pedroni, M., Zubelli J.P.: On the geometry of Darboux transformations for the KP hierarchy and its connection with the discrete KP hierarchy, Commun. Math. Phys., 188 (1997, 305-325. 7. Svinin, A.K.: A class of integrable lattices and KP hierarchy, J. Phys. A: Math. Gen., 34 (2001, 10559-10568. 8. Svinin, A.K.: Extension of the discrete KP hierarchy, J. Phys. A: Math. Gen., 35 (2002 2045-2056. 9. Svinin, A.K.: Integrable chains and hierarchies of differential evolution equations, Theor. Math. Phys., 130 (2002, 11-24. 10. Svinin, A.K.: Extended discrete KP hierarchy and its reductions from a geometric viewpoint, Lett. Math. Phys., 61 (2002, 231-239. 11. Svinin, A.K.: Invariant submanifolds of the Darboux-KP chain and extension of the discrete KP hierarchy, Theor. Math. Phys., (accepted for publication; nlin.si/0401008. svin5.tex; 27/02/2008; 5:31; p.16