Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy
We consider the extended discrete KP hierarchy and show that similarity reduction of its subhierarchies lead to purely discrete equations with dependence on some number of parameters together with equations governing deformations with respect to these parameters. It is written down discrete equation...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут математики НАН України
2006
|
| Назва видання: | Symmetry, Integrability and Geometry: Methods and Applications |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/146423 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy / A.K. Svinin // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 22 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-146423 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1464232019-02-10T01:25:45Z Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy Svinin, A.K. We consider the extended discrete KP hierarchy and show that similarity reduction of its subhierarchies lead to purely discrete equations with dependence on some number of parameters together with equations governing deformations with respect to these parameters. It is written down discrete equations which naturally generalize the first discrete Painlevé equation dPI in a sense that autonomous version of these equations admit the limit to the first Painlevé equation. It is shown that each of these equations describes Bäcklund transformations of Veselov-Shabat periodic dressing lattices with odd period known also as Noumi-Yamada systems of type A2(n-1)⁽¹⁾. 2006 Article Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy / A.K. Svinin // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 22 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 37K10 http://dspace.nbuv.gov.ua/handle/123456789/146423 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
We consider the extended discrete KP hierarchy and show that similarity reduction of its subhierarchies lead to purely discrete equations with dependence on some number of parameters together with equations governing deformations with respect to these parameters. It is written down discrete equations which naturally generalize the first discrete Painlevé equation dPI in a sense that autonomous version of these equations admit the limit to the first Painlevé equation. It is shown that each of these equations describes Bäcklund transformations of Veselov-Shabat periodic dressing lattices with odd period known also as Noumi-Yamada systems of type A2(n-1)⁽¹⁾. |
| format |
Article |
| author |
Svinin, A.K. |
| spellingShingle |
Svinin, A.K. Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Svinin, A.K. |
| author_sort |
Svinin, A.K. |
| title |
Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy |
| title_short |
Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy |
| title_full |
Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy |
| title_fullStr |
Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy |
| title_full_unstemmed |
Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy |
| title_sort |
integrable discrete equations derived by similarity reduction of the extended discrete kp hierarchy |
| publisher |
Інститут математики НАН України |
| publishDate |
2006 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/146423 |
| citation_txt |
Integrable Discrete Equations Derived by Similarity Reduction of the Extended Discrete KP Hierarchy / A.K. Svinin // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 22 назв. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT svininak integrablediscreteequationsderivedbysimilarityreductionoftheextendeddiscretekphierarchy |
| first_indexed |
2025-07-10T23:57:55Z |
| last_indexed |
2025-07-10T23:57:55Z |
| _version_ |
1837306353069064192 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications Vol. 2 (2006), Paper 005, 11 pages
Integrable Discrete Equations Derived by Similarity
Reduction of the Extended Discrete KP Hierarchy
Andrei K. SVININ
Institute for System Dynamics and Control Theory,
134 Lermontova Str., P.O. Box 1233, Irkutsk, 664033 Russia
E-mail: svinin@icc.ru
Received November 16, 2005, in final form January 08, 2006; Published online January 19, 2006
Original article is available at http://www.emis.de/journals/SIGMA/2006/Paper005/
Abstract. We consider the extended discrete KP hierarchy and show that similarity reduc-
tion of its subhierarchies lead to purely discrete equations with dependence on some number
of parameters together with equations governing deformations with respect to these para-
meters. It is written down discrete equations which naturally generalize the first discrete
Painlevé equation dPI in a sense that autonomous version of these equations admit the limit
to the first Painlevé equation. It is shown that each of these equations describes Bäcklund
transformations of Veselov–Shabat periodic dressing lattices with odd period known also as
Noumi–Yamada systems of type A(1)
2(n−1).
Key words: extended discrete KP hierarchy; similarity reductions; discrete Painlevé equa-
tions
2000 Mathematics Subject Classification: 37K10
1 Introduction
The main goal of the present paper is to exhibit an approach, which aims to construct a broad
community of one-dimensional discrete systems over finite number of fields sharing the property
of having Lax pair. It is achieved by similarity reduction of equations of the so-called extended
discrete KP (edKP) hierarchy [18, 19, 20], which itself is proved to be a basis for construction
of many classes of integrable differential-difference systems (see, for example, [20] and references
therein). By analogy with the situation when Painlevé equations and its hierarchies arise as
a result of similarity reduction of integrable partial differential evolution equations [2, 6], discrete
equations (like dPI) and its corresponding hierarchies also can be obtained by application of
group-theoretic methods.
In this connection it is necessary to mention various approaches aiming to select integrable
purely discrete one-dimensional equations, for instance, by applying the confinement singularity
test [9], from Bäcklund transformations for the continuous Painlevé equations [8, 14], by imposing
integrable boundary conditions for two-dimensional discrete equations and reductions to one-
dimensional ones [12, 11, 10, 15], deriving discrete systems from proper chosen representations
of some affine Weyl group [16].
In the article we propose a scheme for constructing purely discrete equations by similarity
reductions of equations of edKP hierarchy and then investigate more specific cases. Namely we
analyze one-component generalizations of dPI — discrete equations which turn out to serve as
discrete symmetry transformation for Veselov–Shabat periodic dressing lattices with odd period.
The latter also known in the literature as Noumi–Yamada systems of type A(1)
l due to series
of works by Noumi with collaborators (see, for example, [17]) where they selected the systems
of ordinary differential equations admitting a number of discrete symmetries which realized as
mailto:svinin@icc.ru
http://www.emis.de/journals/SIGMA/2006/Paper005/
2 A.K. Svinin
automorphisms on field of rational functions of corresponding variables and constitute some
representation of extended affine Weyl group W̃ (A(1)
l ).
The paper is organized as follows. In Section 2, we give necessary information on Darboux-
KP chain, its invariant manifolds and the edKP hierarchy. In Section 3, we show that self-similar
ansatzes yield a large class of purely discrete systems supplemented by equations governing defor-
mations with respect to parameters entering these systems. In Section 4, we show one-component
discrete equations naturally generalizing dPI. We prove that these discrete equations together
with deformation equations are equivalent to Veselov–Shabat periodic dressing chains. Finally,
in this section we show that each of these discrete systems or more exactly its autonomous
version has continuous limit to PI.
2 Darboux-KP chain and edKP hierarchy
2.1 Darboux-KP chain and its invariant submanifolds
In this section we give a sketch of the edKP hierarchy on the basis of approach using the notion
of Darboux-KP (DKP) chain introduced in [13]. Equations of DKP chain are defined in terms
of two bi-infinite sets of formal Laurent series. The first set{
h(i) = z +
∞∑
s=2
hs(i)z−s+1 : i ∈ Z
}
consists of generating functions for Hamiltonian densities of KP hierarchy, and second one{
a(i) = z +
∞∑
s=1
as(i)z−s+1 : i ∈ Z
}
is formed by Laurent series a(i) each of which relates two nearest neighbors h(i) and h(i + 1)
by Darboux map h(i) → h(i + 1) = h(i) + ax(i)/a(i). The DKP chain can be interpreted as
a result of successive iterations of Darboux map applying to any fixed solution of KP hierarchy,
say h(0), in forward and backward directions. It is given by two equations
∂kh(i) = ∂H(k)(i),
∂ka(i) = a(i)(H(k)(i+ 1)−H(k)(i)), ∂k ≡ ∂/∂tk, ∂ ≡ ∂/∂x (1)
first of which defines evolution equations of KP hierarchy in the form of local conservation
laws, and the second one serves as compatibility condition of KP flows with Darboux map. The
Laurent series H(k) = H(k)(i) in (1) is the current of corresponding conservation law constructed
as special linear combination over Faà di Bruno polynomials h(k) = (∂ + h)k(1) by requiring to
be projection of zk on H+ = 〈1, h, h(2), . . .〉 [4].
In [19, 20] we have exhibited two-parameter class of invariant submanifolds of DKP chain Sn
l
each of which is specified by condition
zl−n+1a[n](i) ∈ H+(i) ∀ i ∈ Z. (2)
Here a[k] = a[k](i) is the discrete Faà di Bruno iteration calculated with the help of the recurrence
relation a[k+1](i) = a(i)a[k](i+ 1) with a[0] ≡ 1.
The invariant submanifolds S1
l were presented in [13]. It was shown there that the restriction
of DKP chain on S1
0 is equivalent to discrete KP hierarchy [21]. Restriction of DKP chain on S1
0 ,
S2
0 , S3
0 and so on leads to the notion of edKP hierarchy which is an infinite collection of discrete
KP like hierarchies attached to multi-times t(n) ≡ (t(n)
1 , t
(n)
2 , . . .) with n ≥ 1. All these hierarchies
Integrable Discrete Equations 3
“live” on the same phase-space M which can be associated with hyperplane whose points are
parametrized by infinite number of functions of discrete variable: {ak = ak(i) : k ≥ 1}. One can
treat these functions as analytic ones whose the domain of definition is restricted to Z. We have
shown in [19] that the flows on Sn
0 are given in the form of local conservation laws as
zk(n−1)∂
(n)
k ln a(i) = K
[kn]
(n) (i+ 1)−K
[kn]
(n) (i), (3)
that is on Sn
0 one has H(k) = zk(1−n)K
[kn]
(n) with
K
[pn]
(n) ≡
p∑
k=0
q
(n,pn)
k zk(n−1)a[(p−k)n].
Here the coefficients q(n,r)
k are some polynomials in variables {a(s)
l ≡ Λs(al)} (for definition, see
below (5)). In what follows, we refer to (3) as nth subhierarchy of edKP hierarchy. In the
following subsection we show Lax pair for edKP hierarchy and write down evolution equations
on the functions q(n,r)
k generated by (3) in its explicit form.
2.2 Lax representation for edKP hierarchy
First, let us recall the relationship between Faà di Bruno iterations and formal Baker–Akhiezer
function of KP hierarchy [4, 13] ψ = ψi =
(
1 +
∑
s≥1
ws(i)z−s
)
eξ(t,z) with ξ(t, z) =
∑
k≥1
tkz
k. One
has
h(k) =
∂k(ψ)
ψ
, H(k) =
∂k(ψ)
ψ
, a[k](i) =
Ψi+k
Ψi
, Ψi ≡ ziψi.
These relations allow representing the DKP chain constrained by relation (2) as compatibility
condition of auxiliary linear systems. As was shown in [19, 20], the restriction of DKP chain
on Sn
0 leads to linear discrete systems (see also [18])
Qr
(n)Ψ = zrΨ, zk(n−1)∂
(n)
k Ψ = (Qkn
(n))+Ψ (4)
with the pair of discrete operators
Qr
(n) ≡
∑
s≥0
q(n,r)
s zs(n−1)Λr−sn, (Qkn
(n))+ ≡
k∑
s=0
q(n,kn)
s zs(n−1)Λ(k−s)n.
Here Λ is a usual shift operator acting on arbitrary function f = f(i) of the discrete variable
as (Λf)(i) = f(i + 1). The coefficients q(n,r)
s = q
(n,r)
s (i) are uniquely defined as polynomial
functions on M in coordinates al through the relation1
zr =
∑
s≥0
zs(n−1)q(n,r)
s a[r−sn], r ∈ Z. (5)
We assign to a(s)
l its scaling dimension: [a(s)
l ] = l. One says that any polynomial Qk in al is a
homogeneous one with degree k if Qk → εkQk when al → εlal.
1As was mentioned above, in fact, these are polynomials in a
(s)
l . For notational convenience we assume that
q
(n,r)
0 ≡ 1 for all possible n and r.
4 A.K. Svinin
The consistency condition for the pair of equations (4) reads as Lax equation
zk(n−1)∂
(n)
k Qr
(n) = [(Qkn
(n))+, Q
r
(n)]
and can be rewritten in its explicit form as
∂
(n)
k q(n,r)
s (i) = Q
(n,r)
s,k (i) ≡
k∑
j=0
q
(n,kn)
j (i) · q(n,r)
s−j+k(i+ (k − j)n)
−
k∑
j=0
q
(n,kn)
j (i+ r − (s− j + k)n) · q(n,r)
s−j+k(i). (6)
It is important also to take into account algebraic relations
q
(n,r1+r2)
k (i) =
k∑
j=0
q
(n,r1)
j (i) · q(n,r2)
k−j (i+ r1 − jn) =
s∑
j=0
q
(n,r2)
j (i) · q(n,r1)
k−j (i+ r2 − jn) (7)
coded in permutability operator relation Qr1+r2
(n) = Qr1
(n)Q
r2
(n) = Qr2
(n)Q
r1
(n).
It is quite obvious that equations (6) and (7) admit reductions with the help of simple
conditions q(n,r)
s ≡ 0 (∀ s ≥ l + 1) for some fixed l ≥ 1. As was shown in [19, 20], these
reductions can be properly described in geometric setting as double intersections of invariant
manifolds of DKP chain: Sn,r,l = Sn
0 ∩ S
ln−r
l−1 . The formula (6) when restricting to Sn,r,l is
proved to be a container for many integrable differential-difference systems (lattices) which can
be found in the literature (for reference see e.g. [20]).
2.3 Conservation laws for edKP hierarchy
The conserved densities for edKP hierarchy can be constructed in standard way as residues
h(n)
s = Res
(
Qsn
(n)
)
= q(n,sn)
s . (8)
Corresponding currents are easily derived from (6). One has
∂
(n)
k q(n,sn)
s (i) = Q
(n,sn)
s,k (i) = J
(n)
s,k (i+ n)− J
(n)
s,k (i) = I
(n)
s,k (i+ 1)− I
(n)
s,k (i) (9)
with
J
(n)
s,k (i) =
k−1∑
l=0
k−l∑
j=1
q
(n,kn)
l (i+ (j + l − k − 1)n) · q(n,sn)
s+k−l(i+ (j − 1)n)
and
I
(n)
s,k (i) =
n∑
j=1
J
(n)
s,k (i+ j − 1) =
k−1∑
l=0
(k−l)n∑
j=1
q
(n,kn)
l (i+ j + (l − k)n− 1) · q(n,sn)
s+k−l(i+ j − 1).
We observe that by virtue of relations (7) with r1 = ln, r2 = sn and k = l + s, the relation
Q
(n,ln)
l,s = Q
(n,sn)
s,l with arbitrary l, s ∈ N is identity and therefore we can write down exactness
property relation
∂(n)
s h
(n)
l = ∂
(n)
l h(n)
s ∀ s, l ≥ 1. (10)
Integrable Discrete Equations 5
Looking at (9), it is natural to suppose that there exist some homogeneous polynomials ξ(n)
s
in qk such that
h(n)
s (i) =
n∑
j=1
ξ(n)
s (i+ j − 1) ∀ s ≥ 1. (11)
If so, then one must recognize that {ξ(n)
s : s ≥ 1} is an infinite collection of conserved densities
of nth subhierarchy of edKP hierarchy, i.e.
∂
(n)
k ξ(n)
s (i) = J
(n)
s,k (i+ 1)− J
(n)
s,k (i).
Then the formula (11) says that each ξ(n)
s is equivalent to h(n)
s /n modulo adding trivial densities.
Substituting (11) into (7) with r1 = 1 and r2 = kn leaves us with the following equation2:
ξ(n)
s (i+ n)− ξ(n)
s (i) =
s∑
j=1
qj(i+ jn) · q(n,sn)
s−j (i)−
s∑
j=1
qj(i) · q(n,sn)
s−j (i+ 1− jn).
One can check that solution of this equation is given by
ξ(n)
s (i) =
s∑
l=1
l∑
j=1
ql(i+ (j − 1)n) · q(n,sn−1)
s−l (i+ 1 + (j − l − 1)n). (12)
For example, we can write down the following:
ξ
(n)
1 (i) = q1(i), ξ
(n)
2 (i) = q2(i) + q2(i+ n) + q1(i) ·
n−1∑
j=1−n
q1(i+ j),
ξ
(n)
3 (i) = q3(i) + q3(i+ n) + q3(i+ 2n) + q2(i) ·
n−1∑
j=1−2n
q1(i+ j)
+ q2(i+ n) ·
2n−1∑
j=1−n
q1(i+ j) + q1(i) ·
2n−1∑
j=1−n
q2(i+ j)
+
n−1∑
l=1−n
n−1∑
j=1−n
q1(i+ l) · q1(i+ j + l) +
n−1∑
l=1
n−1∑
j=l
q1(i+ l − n) · q1(i+ j)
.
Now let us show that conserved densities ξ(n)
s satisfy some characteristic equations. From (8)
one derives
δh
(n)
s
δql
(i) = n
δξ
(n)
s
δql
(i) = snq
(n,sn−1)
s−l (i+ 1− ln).
Substituting the latter in (12) one gets
sξ(n)
s (i) =
s∑
l=1
l∑
j=1
ql(i+ (j − 1)n)
δξ
(n)
s
δql
(i+ (j − 1)n).
2Here and in what follows qk(i) ≡ q
(n,1)
k (i). It is important to note that the mapping {ak} → {qk} is invertible
and one can use {qk} as coordinates of M.
6 A.K. Svinin
3 Self-similar ansatzes for edKP hierarchy
and integrable discrete equations
In what follows, we consider nth edKP subhierarchy restricted to the first p time variables
{t(n)
1 , . . . , t
(n)
p } with p ≥ 2. This system is obviously invariant under the group of scaling trans-
formations
Gp =
{
g : qk → εkqk (k ≥ 1), t
(n)
l → ε−lt
(n)
l (l = 1, . . . , p)
}
.
Since q(n,r)
k , Q(n,r)
k,s , ξ(n)
k are homogeneous polynomials in qk of corresponding degrees, the trans-
formation g yields
q
(n,r)
k → εkq
(n,r)
k , Q
(n,r)
k,s → εk+sQ
(n,r)
k,s , ξ
(n)
k → εkξ
(n)
k .
Let us consider similarity reductions of nth edKP subhierarchy requiringk +
p∑
j=1
jt
(n)
j ∂
(n)
j
qk = kqk +
p∑
j=1
jt
(n)
j Q
(n,1)
k,j = 0 ∀ k ≥ 1. (13)
Then any homogeneous polynomial in ql satisfies corresponding self-similarity condition. In
particular, one hask +
p∑
j=1
jt
(n)
j ∂
(n)
j
q
(n,r)
k = kq
(n,r)
k +
p∑
j=1
jt
(n)
j Q
(n,r)
k,j = 0. (14)
More explicitly, one can rewrite (14) as
q
(n,r)
k (i)
(
k + α
(n,n)
i − α
(n,n)
i+r−kn
)
+
p∑
s=1
q
(n,r)
k+s (i+ sn)
p∑
j=s
jt
(n)
j q
(n,jn)
j−s (i)
−
p∑
s=1
q
(n,r)
k+s (i)
p∑
j=s
jt
(n)
j q
(n,jn)
j−s (i+ r − (k + s)n) = 0
with
α
(n,n)
i ≡
p∑
j=1
jt
(n)
j h
(n)
j (i) =
n∑
s=1
α
(n)
i+s−1,
where α(n) ≡
p∑
j=1
jt
(n)
j ξ
(n)
j . We observe that α(n,n) do not depend on evolution parameters
{t(n)
1 , . . . , t
(n)
p } provided that (13) is valid. Indeed, taking into account exactness property (10)
one has
∂(n)
s α(n,n) = sh(n)
s +
p∑
j=1
jt
(n)
j ∂(n)
s h
(n)
j =
s+
p∑
j=1
jt
(n)
j ∂
(n)
j
h(n)
s = 0.
For Baker–Akhiezer function, one has the corresponding self-similarity condition in the formz∂z −
p∑
j=1
jt
(n)
j ∂
(n)
j
ψ = 0
Integrable Discrete Equations 7
or
z∂zψi = α
(n,n)
i ψi +
p∑
s=1
ψi+sn
p∑
j=s
jt
(n)
j q
(n,jn)
j−s .
One can rewrite the above formulas in terms of self-similarity ansatzes
Tl =
t
(n)
l
(pt(n)
p )l/p
, l = 1, . . . , p− 1, ξ = (pt(n)
p )1/pz,
q(n,r)
s =
1
(pt(n)
p )s/p
x(n,r)
s , Q
(n,r)
s,k =
1
(pt(n)
p )(s+k)/p
X
(n,r)
s,k , ξ(n)
s =
1
(pt(n)
p )s/p
ζ(n)
s .
At this point we can conclude that similarity reduction of nth edKP subhierarchy yields the
system of purely discrete equations
x
(n,r)
k (i)
(
k + α
(n,n)
i − α
(n,n)
i+r−kn
)
+
p−1∑
s=1
x
(n,r)
k+s (i+ sn)
p−1∑
j=s
jTjx
(n,jn)
j−s (i) + x
(n,pn)
p−s (i)
−
p−1∑
s=1
x
(n,r)
k+s (i)
p−1∑
j=s
jTjx
(n,jn)
j−s (i+ r − (k + s)n) + x
(n,pn)
p−s (i+ r − (k + s)n)
+ x
(n,r)
k+p (i+ pn)− x
(n,r)
k+p (i) = 0, (15)
α(n) =
p−1∑
j=1
jTjζ
(n)
j + ζ(n)
p (16)
supplemented by deformation equations
∂Tk
x(n,r)
s = X
(n,r)
s,k , k = 1, . . . , p− 1.
These equations appear as a consistency condition of the following linear isomonodromy problem
ξψi+r +
∑
k≥1
ξ1−kx
(n,r)
k ψi+r−kn = ξψi,
∂Tk
ψi = ξkψi+kn +
k∑
s=1
ξk−sx(n,kn)
s ψi+(k−s)n, k = 1, . . . , p− 1,
ξ∂ξψi = α
(n,n)
i ψi +
p∑
s=1
ψi+sn
p−1∑
j=s
jTjx
(n,jn)
j−s (i) + x
(n,pn)
p−s (i)
.
The pair of equations (15) and (16) when restricting dynamics on Sn,r,l becomes a system
over finite number of fields. If one requires x(n,r)
k (i) ≡ 0 (∀ k ≥ l + 1) then l-th equation in (15)
is specified as
x
(n,r)
l (i) ·
{
l +
n∑
s=1
α
(n)
i+s−1 −
n∑
s=1
α
(n)
i+r−ln+s−1
}
= 0.
Since it is supposed that x(n,r)
l 6≡ 0 then the constants α(n)
i are forced to be subjects of constraint
l +
n∑
s=1
α
(n)
i+s−1 −
n∑
s=1
α
(n)
i+r−ln+s−1 = 0. (17)
Remark that this equation makes no sense in the case r = ln. In the following section we
consider restriction on Sn,1,1 corresponding to Bogoyavlenskii lattice.
8 A.K. Svinin
4 Examples of one-field discrete equations
4.1 One-field discrete system generalizing dPI and its hierarchies
Let us consider reductions corresponding to Sn,1,1 with arbitrary n ≥ 2. For p = 2 one obtains
one-field system3
T +
n−1∑
s=1−n
xi+s =
α
(n)
i
xi
, 1 +
n−1∑
s=1
α
(n)
i+s −
n−1∑
s=1
α
(n)
i−s = 0 (18)
together with deformation equation
x′i = xi
(
n−1∑
s=1
xi+s −
n−1∑
s=1
xi−s
)
(19)
which is nothing else but Bogoyavlenskii lattice. The pair of equations (18) is a specification
of (16) and (17). In the case n = 2, (18) becomes dPI while (19) turns into Volterra lattice.
Hierarchy of dPI appears to be related with a matrix model of two-dimensional gravity (see, for
example, [7] and references therein). In [5] Joshi and Cresswell found out representation of dPI
hierarchy with the help of recursion operator.
We are in position to exhibit hierarchy of more general equation (18) by considering the cases
p = 3, 4 and so on. From (12) one has
ζ(n)
s (i) = xix
(n,sn−1)
s−1 (i+ 1− n).
Substituting this into (16) leads to
T1 +
p−1∑
j=2
jTjx
(n,jn−1)
j−1 (i+ 1− n) + x
(n,pn−1)
p−1 (i+ 1− n) =
α
(n)
i
xi
, (20)
where α(n)
i ’s are constants which are supposed to solve the same algebraic equations as in (18).
As an example, for p = 3, one has
T1 + 2T2
n−1∑
s=1−n
xi+s +
n−1∑
s=1−n
n−1∑
j=1−n
xi+sxi+j+s +
n−1∑
s=1
n−1∑
j=s
xi+s−nxi+j =
α
(n)
i
xi
.
Equation (20) should be complemented by deformation ones
∂Tk
xi = xi
(
n−1∑
s=1
ζ
(n)
k (i+ s)−
n−1∑
s=1
ζ
(n)
k (i− s)
)
, k = 1, . . . , p− 1
which are higher members in Bogoyavlenskii lattice hierarchy.
4.2 Equivalence (18) and (19) to Veselov–Shabat periodic dressing lattices
Here we restrict ourselves by consideration only (18) and (19) without their hierarchies. Our aim
is to show equivalence of this pair of equations to well-known Veselov–Shabat periodic dressing
lattices. To this end, we introduce the variables {r0, . . . , r2(n−1)} by identifying
xi+k−1 = −r2k − r2k+1, xi+n+k−2 = −r2k−1 − r2k, k = 1, . . . , n− 1,
3Here xi ≡ x
(n,1)
1 (i) and T ≡ T1.
Integrable Discrete Equations 9
2(n−1)∑
s=1
xi+s−1 + T = r0 + r1,
where subscripts are supposed to be elements of Z/(2n − 1)Z. One can show that with the
constants
c2k = α
(n)
i+k−1, c2k−1 = −α(n)
i+k+n−2, k = 1, . . . , n− 1,
c0 = 1−
n−1∑
s=1
α
(n)
i+s−1 +
n−1∑
s=1
α
(n)
i+s+n−2
the equations (18) and (19) can be rewritten as Veselov–Shabat periodic dressing chain [22, 1]
r′k + r′k+1 = r2k+1 − r2k + ck, rk+N = rk, ck+N = ck (21)
with N = 2n − 1. For N = 3 this system is known to be equivalent to PIV. In the variables
fk = rk + rk+1 the system (21) has the form [22]
f ′k = fk
(
n−1∑
r=1
fk+2r−1 −
n−1∑
r=1
fk+2r
)
+ ck, k = 0, . . . , 2(n− 1). (22)
The system (22) for n ≥ 3 can be considered as higher-order generalization of PIV written
in symmetric form. It was investigated in [17] where Noumi and Yamada showed its invariance
with respect to discrete symmetry transformations (or Bäcklund–Schlesinger transformations)
which are realized as a number of automorphisms {π, s0, . . . , s2(n−1)} on the field of rational
functions in variables {c0, . . . , c2(n−1)} and {f0, . . . , f2(n−1)} as follows:
sk(ck) = −ck, sk(cl) = cl + ck, l = k ± 1, sk(cl) = cl, l 6= k, k ± 1,
sk(fk) = fk, sk(fl) = fl ±
ck
fk
, l = k ± 1, sk(fl) = fl, l 6= k, k ± 1,
π(fk) = fk+1, π(ck) = ck+1.
One can easily rewrite the formulas of action of automorphisms on generators rk as follows:
sk(rk) = rk −
ck
rk + rk+1
, sk(rk+1) = rk +
ck
rk + rk+1
,
sk(rl) = rl, l 6= k, k + 1, π(rk) = rk+1.
It is known by [16] that this set of automorphisms define a representation of the extended
affine Weyl group W̃ (A(1)
l ) = 〈π, s0, . . . , sl〉 with l = 2(n − 1) whose generators satisfy the
relations
s2k = 1, sksm = smsk, m 6= k ± 1, (sksm)3 = 1, m = k ± 1
for k,m = 0, . . . , l and
πl+1 = 1, πsk = sk+1π.
The shift governed by discrete equations (18) affects on the system (21) as Bäcklund trans-
formation
r0 = r2 +
c1
r1 + r2
, rk = rk+2, k = 1, . . . , 2n− 3,
r2(n−1) = r1 −
c1
r1 + r2
,
c0 = c1 + c2, ck = ck+2, k = 1, . . . , 2n− 4,
c2n−3 = c0 + c1, c2(n−1) = −c2(n−1).
By direct calculations one can check that it coincides with τ = s1π
2 ∈ W̃
(
A
(1)
2(n−1)
)
.
10 A.K. Svinin
4.3 Continuous limit of stationary version of (18)
Let us show in this subsection that stationary version of the equation (18)
T +
n−1∑
s=1−n
xi+s =
α
xi
, (23)
for any n, is integrable discretization of PI: w′′ = 6w2 + t.
One divides the real axis into segments of equal length ε. One considers discrete set of values
{t = iε : i ∈ Z}. Values of the function w, respectively, are taken for all such values of the
variable t. Therefore one can denote w(t) = wi. Let
xi = 1 + ε2wi, α = 1− 2n− ε4t, T1 = −2n+ 1. (24)
Substituting (24) in the equation (23) and taking into account the relations of the form
xi+1 = 1 + ε2wi+1 = 1 + ε2
{
w + εw′ +
ε2
2
w′′ + · · ·
}
and turning then ε to zero we obtain, in continuous limit, the equation
n−1∑
s=1
(n− s)2 · w′′ = −t− (2n− 1)w2
which, by suitable rescaling, can be deduced to canonical form of PI. This situation goes in
parallel with that when Bogoyavlenskii lattice (19), for all values of n ≥ 2, has continuous limit
to Korteweg–de Vries equation [3].
5 Conclusion
We have considered in the paper edKP hierarchy restricted to p evolution parameters {t(n)
1 , . . .,
t
(n)
p }. It was shown that self-similarity constraint imposed on this system is equivalent to purely
discrete equations (15) and (16) supplemented by (p − 1) deformation equations which in fact
are evolution equations governing (p−1) flows of nth edKP subhierarchy. What is crucial in our
approach is that we selected quantities α(n,n) which enter these discrete equations and turn out
to be independent on evolution parameters due to exactness property for conserved densities.
Discrete systems over finite number of fields arise when one restricts edKP hierarchy on in-
variant submanifold Sn,r,l. In the present paper we considered only one-field discrete equations
corresponding to Sn,1,1 with n ≥ 2. It is our observation that in this case discrete equation under
consideration supplemented by deformation one is equivalent to Veselov–Shabat periodic dres-
sing lattice with odd period. It is known due to Noumi and Yamada that this finite-dimensional
system of ordinary differential equations admits finitely generated group of Bäcklund transfor-
mations which realizes representation of extended affine Weyl group W̃ (A(1)
2(n−1)). It is natural to
expect that restriction of edKP hierarchy to other its invariant submanifolds also can yield finite-
dimensional systems invariant under some finitely generated groups of discrete transformations.
We are going to present relevant results on this subject in subsequent publications.
Acknowledgements
The author thanks the organizers of Sixth International Conference “Symmetry in Nonlinear
Mathematical Physics” (June 20–26, 2005, Kyiv) for hospitality and their work which allows to
create friendly atmosphere during this Conference. The present paper is the written version of
the talk delivered by the author at this conference.
Integrable Discrete Equations 11
[1] Adler V.E., Nonlinear chains and Painlevé equations, Phys. D, 1994, V.73, 335–351.
[2] Airault H., Rational solutions of Painlevé equations, Stud. Appl. Math., 1979, V.61, 31–53.
[3] Bogoyavlenskii O.I., Breaking solitons: nonlinear integrable equations, Moscow, Nauka, 1991 (in Russian).
[4] Casati P., Falqui G., Magri F., Pedroni, M., The KP theory revisited I, II, III, IV, SISSA Preprint, 1996,
SISSA/2-5/96/FM.
[5] Cresswell C., Joshi N., The discrete first, second and thirty-fourth Painlevé hierarchies, J. Phys. A: Math.
Gen., 1999, V.32, 655–669.
[6] Flaschka H., Newell A.C., Monodromy- and spectrum-preserving deformations I, Comm. Math. Phys., 1980,
V.76, 65–116.
[7] Fokas A.S., Its A.R., Kitaev A.R., The isomonodromy approach to matrix models in 2D quantum gravity,
Comm. Math. Phys., 1992, V.147, 395–430.
[8] Fokas A.S., Grammaticos B., Ramani A., From continuous to discrete Painlevé equations, J. Math. Anal.
Appl., 1993, V.180, 342–360.
[9] Grammaticos B., Ramani A., Papageorgiou V., Do integrable mapping have the Painlevé property?, Phys.
Rev. Lett., 1991, V.67, 1825–1828.
[10] Grammaticos B., Papageorgiou V., Ramani A., Discrete dressing transformations and Painlevé equations,
Phys. Lett. A, 1997, V.235, 475–479.
[11] Grammaticos B., Ramani A., Satsuma J., Willox R., Carstea A.S., Reductions of integrable lattices, J. Non-
linear Math. Phys., 2005, V.12, suppl. 1, 363–371.
[12] Kazakova T.G., Finite-dimensional reductions of the discrete Toda chain, J. Phys. A: Math. Gen., 2004,
V.37, 8089–8102.
[13] 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, Comm. Math. Phys., 1997, V.188, 305–325.
[14] Nijhoff F.W., Satsuma J., Kajiwara K., Grammaticos B., Ramani A., A study of the alternative discrete
Painlevé-II equation, Inverse Problems, 1996, V.12, 697–716.
[15] Nijhoff F.W., Papageorgiou V.G., Similarity reductions of integrable lattices and discrete analogues of the
Painlevé II equation, Phys. Lett. A, 1991, V.153, 337-344.
[16] Noumi M., Yamada Y., Affine Weyl groups, discrete dynamical systems and Painlevé equations, Comm.
Math. Phys., 1998, V.199, 281–295.
[17] Noumi M., Yamada Y., Higher order Painlevé equations of type A
(1)
l , Funkcial. Ekvac., 1998, V.41, 483–503.
[18] Svinin A.K., Extension of the discrete KP hierarchy, J. Phys. A: Math. Gen., 2002, V.35, 2045–2056.
[19] Svinin A.K., Extended discrete KP hierarchy and its reductions from a geometric viewpoint, Lett. Math.
Phys., 2002, V.61, 231–239.
[20] Svinin A.K., Invariant submanifolds of the Darboux–Kadomtsev–Petviashvili chain and an extension of the
discrete Kadomtsev–Petviashili hierarchy, Theor. Math. Phys., 2004, V.141, 1542–1561.
[21] Ueno K., Takasaki K., Toda lattice hierarchy. I, II, Proc. Japan Acad. Ser. A Math. Sci., 1983, V.59, 167–170;
215–218.
[22] Veselov A.P., Shabat A.B., Dressing chains and the spectral theory of the Schrödinger operator, Funct.
Anal. Appl., 1993, V.27, 81–96.
1 Introduction
2 Darboux-KP chain and edKP hierarchy
2.1 Darboux-KP chain and its invariant submanifolds
2.2 Lax representation for edKP hierarchy
2.3 Conservation laws for edKP hierarchy
3 Self-similar ansatzes for edKP hierarchy and integrable discrete equations
4 Examples of one-field discrete equations
4.1 One-field discrete system generalizing dPI and its hierarchies
4.2 Equivalence (18) and (19) to Veselov-Shabat periodic dressing lattices
4.3 Continuous limit of stationary version of (18)
5 Conclusion
|