Discretization of 2D-Toda lattice: symmetries and integrals

4 downloads 62 Views 453KB Size Report
integrals. Sergey V. Smirnov. Moscow State University. Nonlinear Mathematical Physics: 20 years of JNMP. Nordfjordeid, Norway. June 6, 2013. Sergey V.
Outline Introduction Continuous case Semidiscrete case Further perspectives

Discretization of 2D-Toda lattice: symmetries and integrals Sergey V. Smirnov Moscow State University

Nonlinear Mathematical Physics: 20 years of JNMP Nordfjordeid, Norway June 6, 2013

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Introduction Continuous case Semidiscrete case Further perspectives

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Two-dimensional Toda lattice I

qxy (j) = exp(q(j + 1) − q(j)) − exp(q(j) − q(j − 1)),

I

or (ln h(j))xy = h(j + 1) − 2h(j) + h(j − 1), where h(j) = exp(q(j + 1) − q(j)),

I

or uxy (j) = exp(u(j + 1) − 2u(j) + u(j − 1)) where h(j) = uxy (j).

This system is two-dimensional analog of one-dimensional Toda chain.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

How to obtain a finite system? I

Trivial boundary conditions: u(−1) = u(r ) = −∞.

I

Periodic boundary conditions: u(j + r ) = u(j).

I

Any other ideas?

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

How to obtain a finite system? I

Trivial boundary conditions: u(−1) = u(r ) = −∞.

I

Periodic boundary conditions: u(j + r ) = u(j).

I

Any other ideas?

Finite Toda lattice is a particular case of the so-called exponential system:   r X uxy (i) = exp  aij u(j) , i = 1, 2, . . . , r , j=1

where aij = const.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Integrable boundary conditions I

Matrix form: uxy = exp(K u), where  −2 1 0 ...  1 −2 1 . . .   1 −2 . . . K = (aij ) =  0  .. ..  . . 0 0 0 ...

Sergey V. Smirnov

0 0 0 .. .



   .   −2

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Integrable boundary conditions I

Matrix form: uxy = exp(K u), where  −2 1 0 ...  1 −2 1 . . .   1 −2 . . . K = (aij ) =  0  .. ..  . . 0 0 0 ...

0 0 0 .. .



   .   −2

I

Notice that −K is the Cartan matrix of an A-series Lie algebra. There are other simple Lie algebras!

I

Mikhailov, Olshanetsky, Perelomov (1981): uxy = exp(K u) admits Lax representation if −K is the Cartan matrix of a simple Lie algebra. Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Various approaches to integrability

I

Mikhailov, Olshanetsky, Perelomov (1979-1981): Lax representation depending on spectral parameter

I

Leznov (1980): explicit integration

I

Shabat, Yamilov (1981): integrals and characteristic algebra

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Various approaches to integrability

I

Mikhailov, Olshanetsky, Perelomov (1979-1981): Lax representation depending on spectral parameter

I

Leznov (1980): explicit integration

I

Shabat, Yamilov (1981): integrals and characteristic algebra

Boundary conditions corresponding to simple Lie algebras are integrable whatever definition of integrability is being used.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Laplace invariants and Toda lattice

Definition Functions h = by − ab − c and k = ax − ab − c are called the Laplace invariants of the hyperbolic differential operator L = ∂x ∂y + a∂x + b∂y + c.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Consider a sequence of hyperbolic operators Lj = ∂x ∂y + a(j)∂x + b(j)∂y + c(j) such that any two neighboring operators are related by a Darboux-Laplace transformation: Lj+1 Dj = Dj+1 Lj , where Dj = ∂x + b(j). Then the Laplace invariants of these operators satisfy the two-dimensional Toda lattice: k(j + 1) = h(j),

h(j + 1) = 2h(j) − k(j) + (ln h(j))xy .

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Involutions and boundary conditions In terms of the variables h(j) all A − C -series Toda lattices are obtained by the trivial boundary condition h(r ) = 0 on the right edge and by the following boundary conditions on the left edge: I

h(−1) = 0 for A-series (trivial);

I

h(−j) = h(j − 1) for B-series (involution);

I

h(−j) = h(j) for C -series (involution).

Boundary condition for the D-series Toda lattice can not be expressed in terms of the variables h(j).

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Reductions of the A-series lattice

I

B-series lattice is a reduction of the A series lattice of the length 2r defined by the boundary condition h(−j) = h(j − 1);

I

C -series lattice is a reduction of the A series lattice of the length 2r + 1 defined by the boundary condition h(−j) = h(j);

I

D-series lattice is also a reduction of the A series lattice (Habibullin, 2005).

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Nonlocal variables In one-dimensional case symmetries of the Toda chain are expressed in terms of the dynamical variables, but in two-dimensional case symmetries are expressed in terms of non-local variables (Shabat, 1995). Rewrite the infinite Toda lattice as follows: by (j) = h(j) − h(j − 1), where b(j) = qx (j) and define the variables b (1) (j) by ∂x b(j) = b (1) (j) − b (1) (j − 1),

∂y b (1) (j) = ∂x h(j).

Consistency of these equations is provided by the Toda equation.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

One has to introduce further non-localities in order to define ∂x b (1) (j): ∂x b (1) (j) = b (1) (b(j + 1) − b(j)) + b (2) (j) − b (2) (j − 1); consistency leads to the following relation: ∂y b (2) (j) = h(j)b (1) (j + 1) − h(j + 1)b (1) (j), etc...

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Lemma Non-local variables b (k) (j), where k = 2, 3, . . . , satisfy the following relations:  ∂y b (k) (j) = h(j)b (k−1) (j + 1) − h(j + k − 1)b (k−1) (j) ∂x b (k) (j) = b (k) (j) (b(j + k) − b(j)) + b (k+1) (j) − b (k+1) (j − 1) Consistency of these equations for any k = 2, 3, . . . is provided by the first of them for k + 1.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Integrals of the infinite lattice The functions I2 =

X

 b 2 (j) + 2b (1) (j)

j∈Z

and I3 =

X

 b 3 (j) + 3b (1) (j)(b(j) + b(j + 1)) + 3b (2) (j)

j∈Z

are formal y -integrals of the infinite lattice. More integrals can be obtained using non-localities of higher grading.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries of the infinite lattice The infinite Toda lattice admits the following symmetries: I

second order symmetry qt (j) = b 2 (j) + b (1) (j) + b (1) (j − 1);

I

third order symmetry qt (j) = b 3 (j) + b (2) (j) + b (2) (j − 1) + b (2) (j − 2) + + b (1) (j) (2b(j) + b(j + 1)) + + b (1) (j − 1) (2b(j) + b(j − 1)) ;

I

higher-order symmetries are expressed in terms of higher non-localities. Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries of finite lattices

G¨ urel, Habibullin, 1997:

Theorem i) Only trivial boundary condition is compatible with the second order symmetry.

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries of finite lattices

G¨ urel, Habibullin, 1997:

Theorem i) Only trivial boundary condition is compatible with the second order symmetry. ii) Boundary conditions corresponding to A − D-series are compatible with the third order symmetry. This is complete classification of boundary conditions of a certain type compatible with this test symmetry.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Non-local variables and cut-off constraints

I

Under the A-series reduction non-local variables become local.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Non-local variables and cut-off constraints

I

Under the A-series reduction non-local variables become local.

I

Since B − D-series lattices are reductions of the A-series lattice, non-local variables for each of them also become local.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

y -integrals Since h(r ) = h(r + 1) = · · · = 0 for A-series lattice, functions b (k) (r ) are y -integrals for any k > 0: ∂y b (k) (r ) = h(j)b (k−1) (r + 1) − h(r + k − 1)b (k−1) (r ) = 0.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

y -integrals Since h(r ) = h(r + 1) = · · · = 0 for A-series lattice, functions b (k) (r ) are y -integrals for any k > 0: ∂y b (k) (r ) = h(j)b (k−1) (r + 1) − h(r + k − 1)b (k−1) (r ) = 0. Explicit formulas for y -integrals: b

(1)

(r ) =

b (2) (r ) =

r X j=0 r X

bx (j), ((r − i + 1)bxx (j) + b(j)bx (j)) .

j=0

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Independence of integrals

Definition Integrals I1 , I2 , . . . , Ir of orders k1 , k2 , . . . , kr resp. are called independent, if ! ∂Ii det 6= 0, i, j = 1, 2, . . . , r . ∂(∂xki b(j))

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Lemma The y -integrals I1 , I2 , . . . , Ir for the since  1 1  1 2  !   1 3 ∂Ii det = det   1 4 ki ∂(∂x b(j))  . .  . .  . . 1 r

Sergey V. Smirnov

Toda lattice are independent 1 3 6 10

1 4 10 20

... ... ... ...

r (r −1) 2

...

...

1 r r (r −1) 2

...

      = 1.    

...

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Darboux integrability

Toda lattice equations are symmetric about the change of variables x ↔ y . Therefore, the similar construction allows to obtain x-integrals J 1 , J2 , . . . J r as well. These integrals are independent.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Darboux integrability

Toda lattice equations are symmetric about the change of variables x ↔ y . Therefore, the similar construction allows to obtain x-integrals J 1 , J2 , . . . J r as well. These integrals are independent.

Theorem A − D-series Toda lattices are Darboux integrable.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Laplace invariants

Definition Functions kn = acnn − (ln an )0x − bn and hn = acnn − bn are called the Laplace invariants of hyperbolic differential-difference operator L = ∂x T + a∂x + bT + c, where T is the shift operator: T ψn = ψn+1 .

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

DLT and Toda lattice Consider the sequence of hyperbolic operators Lj = ∂x T + an (j)∂x + bn (j)T + cn (j) such that any two neighboring operators are related by Darboux-Laplace transformation: Lj+1 Dj = Dj+1 Lj , where Dj = ∂x + bn (j).

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Then the Laplace invariants of these operators satisfy the following equations: ( kn (j + 1) = hn (j) 0  . n (j) = hn+1 (j + 1) − hn+1 (j) − hn (j) + hn (j − 1) ln hhn+1 (j) x

Introduce another set of variables by hn (j) = exp(qn+1 (j + 1) − qn (j)); then the latter equation can be rewritten as follows: qn,x (j)−qn+1,x (j) = exp(qn+1 (j+1)−qn (j))−exp(qn+1 (j)−qn (j−1)). These equations are two forms of the semidiscrete Toda lattice. Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Finite semidiscrete Toda lattices

How to obtain a finite system? I

Trivial boundary conditions: hn (−1) = hn (r ) = 0.

I

Periodic boundary conditions.

I

How to introduce semidiscrete analogs of Toda lattices, corresponding to simple Lie algebras?

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Semidiscrete exponential systems In terms of the variable un (j), where hn (j) = un,x (j) − un+1,x (j), semidiscrete Toda lattice can be rewritten as a particular case of semidiscrete analog of exponential system (Habibullin, Zheltukhin, Yangubaeva, 2011):   r X un,x (i)−un+1,x (i) = exp  aij+ un+1 (j) + aij− un (j) , i = 1, 2, . . . , r . j=1

Here K + = (aij+ ) and K − = (aij− ) are upper- and lower-triangular constant matrices with −1 on the diagonal.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Semidiscrete exponential systems In terms of the variable un (j), where hn (j) = un,x (j) − un+1,x (j), semidiscrete Toda lattice can be rewritten as a particular case of semidiscrete analog of exponential system (Habibullin, Zheltukhin, Yangubaeva, 2011):   r X un,x (i)−un+1,x (i) = exp  aij+ un+1 (j) + aij− un (j) , i = 1, 2, . . . , r . j=1

Here K + = (aij+ ) and K − = (aij− ) are upper- and lower-triangular constant matrices with −1 on the diagonal. For semidiscrete analogs of Toda lattices corresponding to simple Lie algebras K = K − + K + is the Cartan matrix. Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Involutions in the semidiscrete case I

I

In the continuous case the Toda lattice admits two types of involutions: reflection about an integer point (e.g. h(−j) = h(j) that corresponds to C -series) and reflection about a half-integer point (e.g. h(−j) = h(j + 1) that corresponds to B-series). In the semidiscrete case there are no reflections about half-integer points! Involution hn (−j) → hn+j−c (j − d) defines a reduction of the Toda lattice only if c = −2d. The choice c = −1 leads to the boundary condition hn (−2) = hn+1 (0) corresponding to C -series. Rewrite it as follows: qn (−1) − qn−1 (−2) = qn+1 (1) − qn (0).

I

C -series lattice is a reduction of an A series lattice of the length 2r . Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Non-local variables

In the semi-discrete case symmetries and integrals are also (1) expressed in terms of non-local variables. Non-localities bn (j) are defined as follows: (1)

(1)

∂x bn (j) = bn (j) − bn (j − 1),

(1)

∂n bn (j) = ∂x hn (j).

Consistency of these equations is provided by the Toda lattice.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Further non-localities are defined by the following

Lemma

(k)

Non-local variables bn (j), where k = 2, 3, . . . , satisfy the following relations:  (k) (k−1) (k−1)  ∂n bn (j) = hn (j)bn+1 (j + 1) − hn+k−1 (j + k − 1)bn+1 (j)     ∂ bn(k) (j) = bn(k) (j) (b x n+k (j + k)  − bn (j)) +  (k) (k)  + hn+k−1 (j + k − 1) bn (j − 1) − bn (j) +     (k+1) (k+1) + bn (j) − bn (j − 1) Consistency of these equations for any k = 2, 3, . . . is provided by the first of them for k + 1.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Integrals of the infinite lattice The functions I2 =

X

 (1) bn2 (j) + 2bn (j)

j∈Z

and I3 =

X

 (1) (2) bn3 (j) + 3bn (j)(bn (j) + bn (j + 1) − hn (j + 1)) + 3bn (j)

j∈Z

are formal n-integrals of the infinite lattice. More integrals can be obtained using nonlocalities of higher grading.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries of the infinite lattice The infinite semidiscrete Toda lattice admits the following symmetries: I

second order symmetry (1)

(1)

qn,t (j) = bn2 (j) + bn (j) + bn (j − 1); I

third order symmetry (2)

(2)

(2)

qn,t (j) = qn3 (j) + bn (j) + bn (j − 1) + bn (j − 2) + (1)

+ bn (j) (2bn (j) + bn (j + 1)) + (1)

= bn (j − 1) (2bn (j) + bn (j − 1)) − (1)

(1)

(1)

− bn (j)hn (j + 1) − bn (j − 1)hn (j) − bn (j − 2)hn (j − 1

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries of finite lattices

Theorem i) Only trivial boundary condition is compatible with the second order symmetry.

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries of finite lattices

Theorem i) Only trivial boundary condition is compatible with the second order symmetry. ii) Boundary conditions corresponding to A- and C -series are compatible with the third order symmetry. This is complete classification of boundary conditions of a certain type compatible with this test symmetry.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Non-local variables and cut-off constraints

I

Under the A-series reduction non-local variables become local.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Non-local variables and cut-off constraints

I

Under the A-series reduction non-local variables become local.

I

Since C -series lattice is a reduction of the A-series lattice, non-local variables for it also become local.

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

n-integrals Since h(r ) = h(r + 1) = · · · = 0 for A-series lattice, functions (k) bn (r ) are n-integrals for any k > 0: (k)

(k−1)

(k−1)

∂n bn (r ) = hn (r )bn+1 (r + 1) − hn+k−1 (r + k − 1)bn+1 (r ) = 0

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

n-integrals Since h(r ) = h(r + 1) = · · · = 0 for A-series lattice, functions (k) bn (r ) are n-integrals for any k > 0: (k)

(k−1)

(k−1)

∂n bn (r ) = hn (r )bn+1 (r + 1) − hn+k−1 (r + k − 1)bn+1 (r ) = 0 Explicit formulas for n-integrals: (1) bn (r )

=

r X

bn,x (j),

(2) bn (r )

=

j=0

r X

((r − i + 1)bn,xx (j) + b(j)bn,x (j)) .

j=0

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

n-integrals Since h(r ) = h(r + 1) = · · · = 0 for A-series lattice, functions (k) bn (r ) are n-integrals for any k > 0: (k)

(k−1)

(k−1)

∂n bn (r ) = hn (r )bn+1 (r + 1) − hn+k−1 (r + k − 1)bn+1 (r ) = 0 Explicit formulas for n-integrals: (1) bn (r )

=

r X

bn,x (j),

(2) bn (r )

=

j=0

Theorem

(1)

r X

((r − i + 1)bn,xx (j) + b(j)bn,x (j)) .

j=0

(2)

Functions bn (r ), bn (r ), . . . form a complete family of independent n-integrals for A- and C -series in semidiscrete case. Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

x-integrals in semidiscrete case Denote cn (j) = qn (j) − qn+1 (j); then the following functions are x-integrals for the A-series lattice: J1 =

r X

cn (j),

j=0

Sergey V. Smirnov

J2 =

r X

e cn+j (j) .

j=0

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

x-integrals in semidiscrete case Denote cn (j) = qn (j) − qn+1 (j); then the following functions are x-integrals for the A-series lattice: J1 =

r X

cn (j),

J2 =

j=0

r X

e cn+j (j) .

j=0

How to construct another set of non-local variables (1)

(2)

cn (j), cn (j), . . . in order to obtain the complete family of independent x-integrals?

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Purely discrete case Sequence of linear hyperbolic difference operators linked by Darboux-Laplace transformations lead to the equations for discrete Laplace invariants: (1 + hn,m (j + 1))(1 + hn−1.m+1 (j − 1) hn,m+1 (j)hn−1,m (j) = . hn,m (j)hn−1,m+1 (j) (1 + hn,m (j))(1 + hn−1,m+1 (j)) Substitution hn,m (j) = exp(qn+1,m−1 (j + 1) − qn,m (j)) allows to rewrite this lattice in another form: exp(qn+1,m+1 (j) + qn,m (j) − qn+1,m (j) − qn,m+1 (j)) = 1 + exp(qn+1,m (j + 1) − qn,m+1 (j)) = . 1 + exp(qn+1,m (j) − qn,m+1 (j − 1)) These are two forms of purely discrete 2D-Toda lattice. This system is a particular case of the so-called purely discrete exponential system (Garifullin, Habibullin, Yangubaeva, 2012). Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Symmetries and integrals in purely discrete case Functions I =

r X

(qn,m (j) − qn,m+1 (j)), J =

j=0

r X

(qn,m (j) − qn+1,m (j))

j=0

are n- and m-integrals resp. Proper definition of non-local variables will allow I

to obtain a complete family of n- and m-integrals for A-series lattice due to the symmetry n ↔ −m;

I

to obtain symmetries for purely discrete lattices.

C -series lattice is also a reduction of the A-series lattice. Therefore, Darboux integrability of the A-series lattice implies Darboux integrability of the C -series lattice. Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals

Outline Introduction Continuous case Semidiscrete case Further perspectives

Thank you!

Sergey V. Smirnov

Discretization of 2D-Toda lattice: symmetries and integrals