On a new integrable discretization of the derivative nonlinear Schr\"odinger (Chen-Lee-Liu) equation
Extracted source text ยท arXiv 1501.01956
\documentclass[12pt,a4paper]{article}
\usepackage{amsmath,amsfonts,amsthm,graphicx,lscape}
\usepackage[dvips]{psfrag}
\usepackage{cite}
\usepackage[normalem]{ulem}
\usepackage{textcomp}
\usepackage{amsmath,amsthm,amssymb,mathrsfs,cases}
\usepackage{amsfonts,graphicx,lscape}
% Suris: tilde ... the discrete time *update* of $q_n$
% the parameter x is set equal to $0$.
%\usepackage{mathrsfs}
%\usepackage{hyperref}
\providecommand{\abs}[1]{\lvert#1\rvert}
\providecommand{\norm}[1]{\lVert#1\rVert}
\newcommand{\vt}[1]{\mbox{\boldmath$#1$}}
\newcommand{\sca}[2]{\langle #1, #2 \rangle}
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{conjecture}[theorem]{Conjecture}
\def\beqa{\begin{eqnarray}}
\def\enqa{\end{eqnarray}}
\def\beq{\begin{equation}}
\def\enq{\end{equation}}
\def\nonum{\nonumber}
%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\title{
%\vspace{-7mm}
%\vspace{-9mm}
On
%an
a new integrable
%Integrable
%integrable
%space
discretization
%discretizations
of the
%multicomponent
%vector/matrix
derivative nonlinear Schr\"odinger
(Chen--Lee--Liu)
%(derivative
%nonlinear Schr\"odinger)
%II)
equation
%and the massive Thirring model
%equations
%and
%the vector
%mKdV equation
%hierarchy
%local equations of motion
%A note on the high temperature expansion of the density matrix for
%the isotropic Heisenberg chain
}
\author{Takayuki \textsc{Tsuchida}
}
%\\
%\date{}
\maketitle
\begin{abstract}
%Using a Lax-pair representation,
We
propose
%a Lax-pair representation for
a
%rather
general
integrable
lattice system
%,
%It
%which involves
involving
%with several
%essential
%a number of free
%contains
%some
%arbitrary
%several
some free parameters,
%and
which
%possesses
%admits a Lax-pair representation and
contains
%reduces to
%some
%%well-
known
integrable
lattice
systems such as
the Ablowitz--Ladik
%lattice
%(an integrable space-discrete
%NLS
discretization of the nonlinear Schr\"odinger (NLS) equation
%system
%and
as
%in
special
%particular
%a special
%limiting case.
%certain
%limiting
cases.
%construct
%a Lax pair
%new
%Lax-pair representation
%for
%propose
With a suitable choice of the parameters,
it provides
a new
%an
integrable space-discretization
%a space-discrete analog
of the
derivative
%nonlinear Schr\"odinger (derivative NLS)
NLS equation
%,
%usually
%also
%referred to
known as the Chen--Lee--Liu equation.
%proposed by Chen, Lee and Liu in
%since 1979.
Analogously to the continuous case,
the space-discrete Chen--Lee--Liu system
%equation
possesses a Lax pair
%representation
and admits
%the
a complex conjugation reduction between the two dependent
variables.
%so
%is preserved in the discretization process, so
Thus,
we obtain a proper
%integrable
space-discretization of the
%scalar
Chen--Lee--Liu equation
defined
%that depends on the
%using
on the three
%neighboring
%lattice points
lattice sites \mbox{$n-1$}, $n$, \mbox{$n+1$}
%using only
%on three lattice sites
for the first time.
%certain limits.
%As
%By
Considering
a negative flow of
the discrete Chen--Lee--Liu
%the underlying
%this integrable
hierarchy,
we
%also
obtain
%an integrable
%``space"
%semi-
a proper
discretization of
the massive Thirring model in light-cone coordinates.
Multicomponent generalizations of the obtained
%integrable discretizations
discrete equations
are straightforward because
%The
%all
the performed
computations are
%performed
%The obtained results are
valid
for the general case where
the dependent variables are vector- or matrix-valued.
%, so
%%take values in vectors or matrices.
%multicomponent generalizations are indeed possible.
\end{abstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%{\it MSC:} 82B23; 45G15; 82B20; 82B80 \\
%{\it PACS:} 75.10.Jm, 02.30.Ik, 05.70.-a, 05.30.-d \\
%{\it Key words:}
%
\newpage
\section{Introduction}
%The problem of how
%To date,
There exists
no
%truly
%fully
%algorithmic
systematic
method
of
%for
%constructing
obtaining
%that enables us to construct
%to find an integrable
a proper discretization
%of
for
%an
a
%any
given
integrable partial differential equation (PDE).
%continuous
%integrable system
%in full generality.
%of
%coupled
%.
%system of
%has been found.
For
%particular
some
%simple
scalar PDEs
%partial differential equations
such as the sine-Gordon equation \mbox{$u_{xt}= \sin u$}\cite{Hiro77,Orfa1,Orfa2},
% [Hirota, Orfa1, Orfa2],
%in light-cone coordinates
%the idea to interpret
elementary
auto-B\"acklund transformations
% for the given continuous equation
and the associated
nonlinear superposition
formula
%principle
%(
%known as
based on
Bianchi's permutability theorem
%)
%as
can
%often
%directly
provide
%defining
%integrable
proper discretizations
%integrable discrete analogs
of the original
continuous equations.
%is
%useful for scalar PDEs
%turned out to be very
%fruitful
%useful
%(see, {\it e.g.}, [Hirota, Orfa1, Orfa2]).
However,
%unfortunately,
%the direct applicability of
%this simple idea is rather limited, in particular,
%it is not
this
%strategy
idea
%generally
%strategy
does not
%directly
%straightforwardly
apply
directly
%generalize
to
%(reductions of)
%scalar
%PDEs
%one-component
%reductions of
%that can be obtained
%from
%two-component
%integrable systems
%two
%``symmetrically"
%coupled
%PDEs
%through a complex conjugation reduction,
%and
%%or
%their
%one-component
%scalar
%reductions
%the case of
%scalar
complex-valued PDEs
%, which
%that involve
involving the operation of
%a
complex conjugation,
such as
%{\it e.g.},
the nonlinear Schr\"odinger (NLS)
%-type systems
equation \mbox{${\mathrm i} q_{t} + q_{xx} \pm
%+
2
%|q|^2 q
q^2 q^\ast = 0$},
%system [AKNS73]
%[Kono82, DJM83]
which can
be
%are
naturally
%be
obtained
from
%two-component
two coupled PDEs
by imposing
%%through
a complex conjugation reduction
%between
on the two dependent variables~\cite{AKNS73}.
%\mbox{$r=-q^\ast$}
%on
%%as reductions of
%two coupled PDEs.
%through a complex conjugation reduction.
%for $q$ and $r$.
%;
%because
%the main obstacle is that
%wherein the two dependent variables
%can
%should
%are
%be
%related to each other by
%through
%which involve the operation of
%%a
%complex conjugation.
%\mbox{$q \mapsto q^\ast$}.
%reduction.
This is
%evident
%clear
%from the fact that
%Indeed,
%This is
because
%Note that
elementary
auto-B\"acklund transformations
do not,
%are,
%cannot
%,
in general,
%preserve
%the symmetric form of
%the internal symmetry of
%the original two-component PDEs,
%and thus
%enabling
%that
%makes it possible
%allows to impose
%are
%so they are
%it is
%inconsistent
%not
%consistent
%with
maintain the
%a
complex conjugation reduction~\cite{Kono82,Chud1,Chud2,DJM83}.
%between the two dependent variables
%in an NLS-type system
%in general
%for such integrable equations
%,
%%, so we need to consider a more elaborate auto-B\"acklund transformation
%so they do not provide
%%a proper discretization of an NLS-type equation.
%proper discrete analogs of
%%NLS-type equations.
%integrable equations involving the complex conjugation operation.
One can
%construct
consider
%a
more elaborate auto-B\"acklund transformations
by composing
%a suitable composition of
two or more
%more than one
elementary
auto-B\"acklund transformations
so that
%that
%which
%it can
%they
the
%their
net result
%resulting binary or more multi-fold B\"acklund transformation
%net
%effect
can maintain the complex conjugation
reduction
%relation
between
the two dependent variables.
%;
However,
%the example of the NLS equation implies that
such
%a
composite
%non-elementary
auto-B\"acklund transformations
%are not
generally
%assume a nonlocal form involving
%contain
involve
%either
an indefinite
integral~\cite{Calo76}
%with respect to the spatial variable
or
%contain
a square-root function with
an
%overall
indefinite sign~\cite{Chen1,Lamb74}
(also see (7.18) in~\cite{QNCL}
%as well as
or
%and
(4.17) in~\cite{Linden2}),
%in front of it
%;
so
%thus,
they
%are not useful
do not
%cannot
directly
%lead to
provide
%useful information
%candidates
%on
%local
%and
proper
discretizations of the original PDEs,
%in concise form;
%see, {\em e.g.},
%(7.18) in~\cite{QNCL}
%as well as
%or (4.17) in~\cite{Linden2},
which
%should
%that
can be written in
%local equations of motion
%a
local form and
define
%uniquely
%determine
the time evolution
uniquely
in the discrete setting.
%on a lattice.
%and explicitly.
%Note that
%(7.18) in~\cite{QNCL}
%as well as
%and
%(or (4.17) in~\cite{Linden2})
%define implicit time-evolution.
%is considered as
%apparently
%a highly implicit scheme.
%Apparently,
%it
%It seems hopeless to look for a
%systematic
%It is not a realistic
%At present,
%Given that
%Because
%There exists no
%systematic method of
%There exists no
%too optimistic
%promising direction of research
%and hopeful
%direction of research
%direction
%to look for
%a yet-to-be-discovered
%fully
%algorithmic
%systematic
%way
%method of constructing
%Given that
Because
proper discretizations of integrable PDEs
involving the operation of complex conjugation
cannot be derived
%algorithmically
%by any systematic method,
in a systematic manner,
%Rather, it
%must be much
%would be
%Thus,
%Therefore,
it is
%definitely
%Thus, we believe it
more
productive and
%meaningful
instructive
to
%construct
obtain
%provide
%explicit
%specific examples of
%proper
such discretizations
%of
%for
%such PDEs
%one by one
on a case-by-case
%basis.
consideration.
%Thus,
In this paper, we
%solve the problem of
%describe how to discretize the spatial variable
%in
propose a new proper space-discretization of
%a
%the
an integrable
derivative NLS equation
%,
%:
\mbox{${\mathrm i} q_{t} + q_{xx} +
%|q|^2 q
\mathrm{i} q q^\ast q_x= 0$},
usually
referred to as the Chen--Lee--Liu equation~\cite{CLL} (also see~\cite{Chen80}).
Actually, we already obtained an integrable space-discretization of
the Chen--Lee--Liu equation in our previous paper~\cite{Tsuchi02}, but
%the
%result
%equation
%this discretization
%appears to be too
it depends on five lattice sites
%\mbox{$n-1$}, $n$, \mbox{$n+1$}
and
%appears to be
%thus
is
rather complicated.
%and less
%to be interesting.
%If we write out
%consider
%a more general system of
%the
%Note also
%Note incidentally that
%Incidentally,
%proper
%that
%integrable discretizations of
%In addition,
%A fully discrete analog of
For the
%original
Chen--Lee--Liu
%two-component
%Chen--Lee--Liu
system
%of
in the nonreduced
form,
%of
%namely,
i.e., two coupled PDEs
%PDEs
for
%two dependent variables
$q$ and $q^\ast$
%,
%and
%remove the constraint that the asterisk denotes the complex conjugate,
%consider
wherein
%that
$q$ and $q^\ast$ are
%functionally
independent functions
%and
%quantities not necessarily
%that cannot be
not related
%through
by a complex conjugation,
%,
%then it is possible to obtain
%%discretize
%a fully discrete analog of the
%Chen--Lee--Liu system
%have been studied
a fully discrete analog
%of it
was
%proposed
derived in~\cite{DJM83}
%Date, Jimbo and Miwa~\cite{DJM83}
%as well as its
%a
(see also the
%corresponding
%space-discrete
%(and time-continuous)
%analog
%and
continuous-time
%time-continuous
%systems
flows
%Chen--Lee--Liu system
in~\cite{SY91,AY94,ASY00,Tsuchi02,TsuJMP11});
% [AdSha]);
a correspondence between a fully discrete system and
continuous-time flows is briefly
%summarized
described
in~\cite{Comment}.
%(see [comment Willox]);
%however,
%Using
%We construct
%a Lax-pair
%formulation,
%To obtain
We can obtain
%propose
%representation for
%a new integrable lattice system,
%which contains
a proper
space-discrete Chen--Lee--Liu equation
%that depends only
defined on three lattice sites \mbox{$n-1$}, $n$, \mbox{$n+1$}
%,
%as a special case.
%we construct
by constructing
%from
its
%a suitable
%use
%a
Lax-pair representation.
%First,
As the spatial part of the Lax-pair representation,
we
%propose
%start with
consider
%introduce
%devise
%first propose
%an
%utilize
a new
%general
discrete spectral problem
%;
%,
%with
%involving some free parameters,
%that includes
%which contains a
%%suitable
%novel
%new
%discretization of
%the
%continuous
%isospectral
%spectral problem
%discretization of
%associated with
%for the continuous Chen--Lee--Liu
%eigenvalue
%spectral problem
%equation
%[WadSog, DoddFordy, Kundu84]
%as a special case.
%As the temporal part of
%;
%and
%then,
%we associate it with
%%an appropriate
%%a suitable
%an isospectral
%time-evolution equation.
%This
%The
%new
%discrete Chen--Lee--Liu
%isospectral
%This
%The general
%discrete
%spectral problem
%can be
%inferred
%discovered by
%which
%it
%is
%defined
implied by
%inferred
%obtained
%directly
%introduced
%from
%by considering
%as
%a reinterpretation of
%by reinterpreting
%a reinterpretation of
%by
%from
a binary
%known
%suitable
%binary
B\"acklund--Darboux
%)
%transformations
transformation for the continuous Chen--Lee--Liu equation
or, equivalently, that for
the Ablowitz--Ladik
%discretization of the
lattice
%(also
%(known as
(an integrable discrete NLS equation~\cite{AL1,AL76})
proposed in \cite{Li92,Zullo}.
%referred to as the Ablowitz--Ladik
%discretization of the
%lattice
%[Salle,
%YangShmidt,
%Boiti,
%Suris97,
%Veks,
%[Rourke].
%; the binary B\"acklund transformation for the Ablowitz--Ladik hierarchy
%was first presented in~\cite{NQC}.
%Because of the intimate relationship
%between
Note that
the Chen--Lee--Liu hierarchy and
the Ablowitz--Ladik hierarchy are
%two sides of the same coin
different facets of the same
%integrable
object
%[Veks]
%intimately connected with each other
and in a sense equivalent~\cite{Vek98,Vek02}
(also see~\cite{Getmanov87,Getmanov93}).
%Barashenkov and Getmanov~\cite{Getmanov87,Getmanov93}).
In contrast to the usual formulation of the
%binary
B\"acklund--Darboux
transformations~\cite{Kono82,Chud1,Chud2,
%Chud1,
Sall82,MaSa91,Pemp},
%transformation,
we
%need not
do not
%discuss
%do not
%need to know
%consider
%how to
express
%the
two
%intermediate potentials
unknown functions
appearing in
the
%our
%B\"acklund--Darboux
%transformation
Darboux matrix
%them
explicitly in terms of
%the
linear eigenfunctions
of the original spectral problem.
%, we can also consider it
%as a B\"acklund--Darboux for the Ablowitz--Ladik spectral problem.
%Instead,
Rather, we
%treat
consider
%interpret
%the
%two unknown
%quantities
%functions
%defining
%appearing
%in
%the B\"acklund--Darboux
%a B\"acklund--Darboux
%Darboux
%transformation
%or the discrete spectral problem
%matrix
them as
%a pair of
%unknown
new
dependent variables
in the
%new
discrete spectral problem,
%for the discrete Chen--Lee--Liu system,
which
%will
can
be
related to each other
%with
%reduced to a single complex variable by
through
a complex conjugation reduction.
%and consider
%the B\"acklund--Darboux
%and associate it with a time-evolution equation.
%
%Then,
Then,
%to compose
%complete
%the Lax-pair representation,
we
associate
the
%general
%our
discrete
%Chen--Lee--Liu
spectral problem
with
%an appropriate
a suitable
%an isospectral
time-evolution equation,
which comprises
%completes
%composes
the Lax-pair representation;
%so
the compatibility condition
%of which
provides
a
%new
rather general
%integrable
lattice system involving
some
%several
arbitrary parameters.
%;
%With a suitable
Depending on the choice of the parameters,
it
%indeed
provides
%,
%we can derive
%an integrable
%to obtain
%we obtain
a proper space-discretization of the Chen--Lee--Liu equation,
as well as
%and
other
%known
%integrable lattice
%simpler
integrable lattice
systems such as the Ablowitz--Ladik lattice~\cite{AL1,AL76}.
%As the temporal part of the Lax-pair representation,
%we
%associate
%%the
%our discrete
%%Chen--Lee--Liu
%spectral problem
%with
%%an appropriate
%a suitable
%%an isospectral
%time-evolution equation,
%so the compatibility condition provides
%a new integrable lattice system involving some
%%several
%arbitrary parameters;
%with a suitable choice of the parameters,
%it indeed provides
%,
%we can derive
%an integrable
%to obtain
%a proper space-discretization of the Chen--Lee--Liu equation.
%The organization of this paper
This paper is organized as follows.
In section 2, we introduce
%the discrete Chen--Lee--Liu
a discrete spectral problem and
associate it with
%assign it to
%and
a suitable isospectral
time-evolution equation.
%to obtain
Then,
the compatibility condition for this Lax-pair representation
provides
a new
integrable lattice system;
with a suitable choice of the parameters therein,
we obtain a
proper space-discretization of
the
%discrete
Chen--Lee--Liu equation.
%system.
%, which admits the complex conjugation reduction.
In section 3, we change the time part of the Lax-pair
representation
to obtain
a proper
%semi-
discretization of
the massive Thirring model
%[Thirr]
in light-cone (or characteristic) coordinates~\cite{KN2,Morris79,GIK}.
Section 4 is devoted to concluding remarks.
%Multicomponent generalizations of the obtained
Throughout
%this
the paper,
we perform
%all
the computations
%in such a way that
for
%in
the most
general case where
the dependent variables
are
%take their values in a
%for the
%noncommutative
%case of the dependent variables
%but associative algebra;
(rectangular) matrix-valued,
%;
%which
%automatically
%includes the vector case as a special case;
%thus, the case of vector-valued
%;
%it is required that
%thus,
so
%that
%various
%vector and other
multicomponent generalizations
of the
obtained
%discrete
equations
%are
%automatically
%possible.
are straightforward.
%incorporated.
%can be derived straightforwardly.
%in our framework.
%can be straightforwardly obtained.
\section{Space-discrete
%New
%space-
%Space-discrete
Chen--Lee--Liu equation}
In this section, we propose
%a Lax-pair representation for
a new integrable lattice system,
which contains
a
%new
proper
%space-discrete
%integrable
space-discretization of the
Chen--Lee--Liu equation as a special case,
%using
through a Lax-pair
representation.
%formulation.
In subsection~\ref{sub2.1}, we introduce
%provide the
a new discrete
%relevant
spectral problem,
which gives
%is
the spatial part of the Lax pair.
%while in
In subsection~\ref{sub2.2},
we associate it with
%a suitable
an isospectral
time-evolution equation,
which is
the temporal part of the Lax pair.
%is given.
\subsection{B\"acklund--Darboux transformation
%for the matrix NLS system
as a discrete spectral problem}
\label{sub2.1}
%In this subsection,
%we
%consider
%discuss
%both
%In~\cite{AL1},
%We start with
%the
%continuous-time
%and discrete-time
%discretization of the
%Recall that
%Let us start from
%the block-matrix generalization~\cite{GI82}
The
%of the
%(matrix generalization~\cite{GI82} of)
Ablowitz--Ladik spectral problem~\cite{AL1,AL76}
can be generalized to
%the case of
a block-matrix form~\cite{GI82}
(also see~\cite{Tsuchi02,DM2010} and references therein)
%block-matrix generalization~\cite{GI82})
%:
%(or, more precisely, its block-matrix generalization~\cite{GI82})
%is
as given by
\begin{align}
&
\left[
\begin{array}{c}
\Psi_{1,m+1} \\
\Psi_{2,m+1} \\
\end{array}
\right]
=\left[
\begin{array}{cc}
\zeta I & Q_m \\
R_m & \frac{1}{\zeta}I \\
\end{array}
\right]
\left[
\begin{array}{c}
\Psi_{1,m} \\
\Psi_{2,m} \\
\end{array}
\right].
\label{AL-Ln}
%\nonumber
\end{align}
%where
Here, $\zeta$ is a constant
spectral parameter and
$Q_m$ and $R_m$ are,
respectively,
%is an
\mbox{$l_1 \times l_2$}
%\mbox{$l \times m$}
%matrix
%is an
and \mbox{$l_2 \times l_1$} (generally rectangular)
matrices.
%, respectively.
%Hereinafter,
%Accordingly, the unit matrices in the upper-left and lower-right
%blocks in (\ref{AL-Ln})
%are \mbox{$l_1 \times l_1$} and \mbox{$l_2 \times l_2$}
%Note that the Lax matrices (\ref{Lax-Ln2}) and
%(\ref{Lax-Ln3}) are
%Here and
%Throughout
%In this paper,
%both
%a
%each
%any
Thus,
the square matrix above
is
%matrices are
%often
partitioned
%into
%four
as
%a
an \mbox{$(l_1+l_2) \times (l_1+l_2)$} block matrix;
% and
%, i.e., they are partitioned in the same way.
%thus,
for notational brevity,
%in this paper,
%notational convenience,
%In this paper,
we
%can
%often
omit the index of each
%identity
unit
matrix $I$ to indicate its
%matrix
size.
%in this paper.
%There exist
Among
an
infinite
%number
set
%infinity
of isospectral time-evolution equations
%that are
compatible with the
%(matrix)
Ablowitz--Ladik spectral
problem (\ref{AL-Ln}) (cf.~\cite{Chiu77,Kako}),
the
%following two
%choices
%equations
%ones
%are
%the
%The two
%Among them,
%Two
%elementary
%two
most
fundamental
%:
ones
%isospectral
%time-evolution equations
%flows
are
%generated by
\begin{align}
& \left[
\begin{array}{c}
\Psi_{1,m} \\
\Psi_{2,m} \\
\end{array}
\right]_{t_1}
=
\left[
\begin{array}{cc}
\zeta^2 I -Q_m R_{m-1} & \zeta Q_m \\
\zeta R_{m-1} & O \\
\end{array}
\right]
\left[
\begin{array}{c}
\Psi_{1,m} \\
\Psi_{2,m} \\
\end{array}
\right]
%,
\label{AL-Mn1}
%\nonumber
\end{align}
and
\begin{align}
& \left[
\begin{array}{c}
\Psi_{1,m} \\
\Psi_{2,m} \\
\end{array}
\right]_{t_{-1}}
=
\left[
\begin{array}{cc}
O & \frac{1}{\zeta} Q_{m-1}\\
\frac{1}{\zeta} R_{m} &
\frac{1}{\zeta^2} I - R_m Q_{m-1} \\
\end{array}
\right]
\left[
\begin{array}{c}
\Psi_{1,m} \\
\Psi_{2,m} \\
\end{array}
\right].
\label{AL-Mn2}
%\nonumber
\end{align}
%
Here, the subscript \mbox{$t_j
%n
%\; (n \in \mathbb{Z})
$}
denotes
%the
time
%partial
differentiation
%with respect to
%by $t_n$
%this variable
and the symbol italic $O$
%implies
%means
represents
%the
a zero matrix.
%The compatibility condition provide
The corresponding
equations of motion
%for
%The
%the (nonreduced form of the)
%the
%Ablowitz--Ladik lattice
%are obtained by considering
%can be
are derived from
the compatibility condition
for the overdetermined linear system,
%of
(\ref{AL-Ln}) and (\ref{AL-Mn1}) or (\ref{AL-Mn2}), i.e.,
%~\cite{AL1}
%is described by
%are
\begin{equation}
\label{sd-AL1}
\left\{
\begin{split}
%\label{sd-AL1}
%\label{mNLS1}
& Q_{m, t_1}- Q_{m+1} + Q_{m+1} R_m Q_m =O,
%\hspace{13mm}
\\[0.5mm]
%[1mm]
%\label{mNLS2}
& R_{m, t_1}+ R_{m-1} - R_m Q_m R_{m-1} =O,
%\hspace{13mm}
%\notag \\
\end{split}
\right.
\end{equation}
and
\begin{equation}
\label{sd-AL2}
\left\{
\begin{split}
%\label{sd-AL2}
%\label{mNLS1}
& Q_{m,t_{-1}}+ Q_{m-1} - Q_m R_m Q_{m-1} =O,
%\hspace{13mm}
\\[0.5mm]
%[1mm]
%\label{mNLS2}
& R_{m,t_{-1}}- R_{m+1} + R_{m+1} Q_m R_m =O.
%\hspace{13mm}
%\notag \\
\end{split}
\right.
\end{equation}
%
These are the two elementary flows of the Ablowitz--Ladik hierarchy
%;
and
a suitable linear combination of them together with
%as well as
the trivial
zeroth flow
provides
the
%usual
%(nonreduced form of the)
%the
Ablowitz--Ladik
%lattice
discretization of the NLS system~\cite{AL1,Suris97'}.
%is obtained by taking a linear combination of them.
Note that the use of $O$, instead of $0$,
on the right-hand side of the equations
implies that the dependent variables
%can be
are matrix-valued.
%An important
A crucial
%but less well-known
fact
%property of the
%Ablowitz--Ladik hierarchy
%noted
%pointed out
%in
noticed
by Vekslerchik~\cite{Vek98,Vek02}
(also see Barashenkov--Getmanov~\cite{Getmanov87,Getmanov93})
is that
the Ablowitz--Ladik hierarchy
%it
is in a sense equivalent to
%the
a derivative NLS hierarchy
called
%referred to as
the Chen--Lee--Liu hierarchy~\cite{CLL}.
This is clear
%evident
from the observation that the isospectral equation
(\ref{AL-Mn1}) with \mbox{$t_{1} \to x$}
(or (\ref{AL-Mn2}) with \mbox{$t_{-1} \to x$})
%is
%takes exactly
has
%exactly
essentially
the same form as the spectral problem associated with
%for
the continuous Chen--Lee--Liu hierarchy~\cite{WS,Dodd83,Dodd84}
%[DoddFordy]
(see~\cite{Linden1,TW3} for the matrix case);
%up to a trivial gauge transformation;
note that
this spectral problem can be rewritten in a traceless form
using
%with the aid of
a simple gauge transformation~\cite{Getmanov87}.
%and that the
%In fact,
%Incidentally,
Actually,
%this
the Chen--Lee--Liu spectral problem was
%which was
%obtained
first presented
for
the massive Thirring model in light-cone (or characteristic)
coordinates~\cite{KN2,Morris79,GIK}
(also see~\cite{Kuz,KaMoIno} for the case of laboratory coordinates),
which is the first negative flow of the Chen--Lee--Liu hierarchy~\cite{NCQL,Linden1};
%in fact,
%indeed,
the compatibility condition
for the overdetermined linear system,
%of
%(\ref{AL-Ln}) and
(\ref{AL-Mn1}) and (\ref{AL-Mn2})
%at
for any fixed value of $m$,
indeed provides
the equations of motion for
the massive Thirring model
((\ref{sd-AL1}) for $Q_{m-1,t_1}$ and $R_{m,t_1}$
and (\ref{sd-AL2}) for $Q_{m,t_{-1}}$ and $R_{m-1,t_{-1}}$).
% in light-cone
%(or characteristic)
%coordinates.
%~\cite{KN2,GIK} [Morris 1979].
%(also see~\cite{Kuz,KaMoIno} for the case of laboratory coordinates).
Conversely, we can regard
the Ablowitz--Ladik spectral problem (\ref{AL-Ln})
%can be
as a B\"acklund--Darboux
%)
%transformations
transformation for the continuous Chen--Lee--Liu hierarchy~\cite{Getmanov87,Getmanov93};
then
%and
the elementary flow
(\ref{sd-AL1}) (or (\ref{sd-AL2})) of the Ablowitz--Ladik hierarchy
can be considered
as an
%elementary
auto-B\"acklund transformation
for the continuous Chen--Lee--Liu hierarchy.
%The compatibility condition
%for the overdetermined linear system,
%%of
%%(\ref{AL-Ln}) and
%(\ref{AL-Mn1}) and (\ref{AL-Mn2})
%%at
%for any fixed value of $m$,
%provides
%the massive Thirring model in light-cone (or characteristic)
%coordinates~\cite{KN2,GIK} [Morris 1979]
%(also see~\cite{Kuz,KaMoIno} for the case of laboratory coordinates).
%This implies
These items of information
%strongly
imply
that a
%suitable
suitably chosen
B\"acklund--Darboux transformation
for the Ablowitz--Ladik hierarchy
%for
can
provide
a proper discretization
%discrete analog
of the Chen--Lee--Liu
%eigenvalue
spectral problem.
In fact,
B\"acklund--Darboux transformations
%or
%equivalently
%discrete-time flows of
for the Ablowitz--Ladik hierarchy
have
already
been
%constructed
%thoroughly
%investigated
%thoroughly in
%discussed
considered
%reported
in
%many
a number of papers (see, {\em e.g.}, \cite{Li92,Pemp,NQC,Rourke});
%Yang,
%Boiti,
%Suris97,
%Rourke
%, Tsu11,
%Zullo
%[Rourke]);
%some of
those
%these
results
%in this direction [Suris97, Tsu11, Zullo]
are closely related
to
%the
%issue
%problem
%of
integrable
time-discretizations of
%those close to the identity mapping can be considered as
%or
%equivalently
%discrete-time flows of
the
%continuous-time
%the
flows of
the
Ablowitz--Ladik
%flows
hierarchy~\cite{Suris97',2010JPA,Chiu77,Zullo,AL77,Vek02}.
%To achieve this goal,
%obtain a positive solution to this problem,
%Note also
Noting that the Ablowitz--Ladik hierarchy is
invariant under the rescaling
\mbox{$Q_m \to k Q_m$}, \mbox{$R_m \to k^{-1} R_m$},
%Thus,
%In view of this freedom,
we
can
%Those results motivate us to
%start from
%first
introduce
%consider
%introduce
a slightly generalized
version
%form
of
the binary B\"acklund--Darboux transformation
%[ZS79, Salle82]
%for the Ablowitz--Ladik hierarchy
%continuous matrix NLS hierarchy
%that can preserve the form of
%the spectral problem (\ref{NLS-U})
%as
%given by
%given
in the form (cf.~\cite{Li92,Zullo,Adler08}):
%a slightly generalized form:
\begin{align}
& \left[
\begin{array}{c}
\widetilde{\Psi}_{1,m} \\
\widetilde{\Psi}_{2,m} \\
\end{array}
\right]
=
%\propto
\left\{ \left[
\begin{array}{cc}
\left( \alpha \zeta + \frac{\delta}{\zeta} \right) I & \\
& \left( \gamma \zeta + \frac{\beta}{\zeta} \right) I \\
\end{array}
\right] + \left( \alpha \beta - \gamma \delta \right)
\left[
\begin{array}{cc}
\gamma \zeta I & u_m \\
v_m & \frac{\delta}{\zeta} I \\
\end{array}
\right]^{-1}
\right\}
\left[
\begin{array}{c}
\Psi_{1,m} \\
\Psi_{2,m} \\
\end{array}
\right].
\label{ALDB1}
\end{align}
Here, $\alpha$, $\beta$, $\gamma$ and $\delta$ are arbitrary parameters
and $u_m$ and $v_m$ are
%unknown
intermediate potentials
%,
%; it is possible to express $u_m$ and $v_m$
%which
that can be expressed in terms of
%solutions of
linear eigenfunctions of the Ablowitz--Ladik
spectral problem (\ref{AL-Ln}) at special values of the spectral parameter
$\zeta$;
%but
however, this information
is not necessary
%in
for
the purpose of
this paper and
%thus is omitted.
we will treat $u_m$ and $v_m$ as
new independent unknowns.
%unknown functions.
%,
%,
%,which should
%, however,
%satisfying
%only
%though
%but
%except that
%they are usually required
%assumed
%to satisfy
%satisfying
%one
%the
%constraint
%\mbox{$\alpha \beta - \gamma \delta \neq 0$}.
%;
%the special case \mbox{$\delta = -\gamma \hspace{1pt}(\neq 0)$} corresponds to
%the binary B\"acklund--Darboux transformation [Salle82]
%or the Zakharov--Shabat dressing
%%matrix
%%transformation
%%operator
%method [ZS79], up to an unessential overall factor.
%%while
Alternatively, we can consider
(\ref{ALDB1})
as a generalized binary B\"acklund--Darboux transformation for
the isospectral problem (\ref{AL-Mn1})
%with \mbox{$t_{1} \to x$}
%(
or (\ref{AL-Mn2})
%with \mbox{$t_{-1} \to x$})
associated with
the Chen--Lee--Liu hierarchy.
%;
The binary B\"acklund--Darboux transformation
for
%the massive Thirring model
the Chen--Lee--Liu hierarchy
(or, more specifically,
%for
the massive Thirring model)
%in light-cone (or characteristic) coordinates
was apparently first considered
by
%P.~I.~
P.~I.~Holod (also written as Golod, preprint in Russian, Kiev,
%in
%Russian,
1978) in a somewhat preliminary form;
the result can be found in more accessible papers~\cite{Morris80, Pri81,
%Prikarpatskii
David84}
%and further developments are presented in
(see~\cite{Getmanov93,DHS84,Getmanov87,BGK93} for further developments).
%and
%%more accessible references are
%Dodd and
%%then
%%subsequently
%%by
%Morris~\cite{Morris80}
%%{\em et al.}
%in a somewhat preliminary form (also see~\cite{Getmanov87}).
Because the Ablowitz--Ladik hierarchy is invariant
under a space translation \mbox{$m \to m+l$},
%one can
B\"acklund--Darboux transformations
%are
can always be
%multiply
%defined modulo space translations, {\em e.g.},
combined with a space translation;
for instance,
%instead of
using (\ref{ALDB1}) and (\ref{AL-Ln}),
we can compute
\[
\left[
\begin{array}{c}
\widetilde{\Psi}_{1,m+1} \\
\widetilde{\Psi}_{2,m+1} \\
\end{array}
\right]
\;\, \mathrm{or} \;\,
\left[
\begin{array}{c}
\widetilde{\Psi}_{1,m-1} \\
\widetilde{\Psi}_{2,m-1} \\
\end{array}
\right]
%,
\]
and consider it as
%a definition of
a new B\"acklund--Darboux transformation,
which has
%a more familiar
the same $\zeta$-dependence as that
%used
usually employed in
the time-discretizations of
the Ablowitz--Ladik flows~\cite{AL76,AL77,Suris97',2010JPA}.
%In this regard,
Note also that an overall factor of (\ref{ALDB1}) is nonessential,
so we can multiply the right-hand side of (\ref{ALDB1}) by
%any
%an overall
%nonzero
%constant,
%factor,
%say
$\zeta$ or $1/\zeta$ to
%establish a correspondence with
obtain
%a
more familiar $\zeta$-dependence
%dependent form
%used for discrete-time flows.
%appearing
that appears in the
%context of
%the discrete-time
time-discretizations of the
Ablowitz--Ladik flows.
%(\ref{AL-Ln})
Now, we freeze the lattice index $m$
%of
for the Ablowitz--Ladik hierarchy
and
%consider
reinterpret the B\"acklund--Darboux transformation (\ref{ALDB1})
as defining
a new discrete spectral problem:
%To make
%it
%this
%more explicit, we
%in the following.
%rewrite (\ref{gDB1})
%and (\ref{NLS-U})
%as a discrete spectral problem
\begin{equation}
%align}
%&
\left[
\begin{array}{c}
\Psi_{1, n+1} \\
\Psi_{2, n+1} \\
\end{array}
\right]
= L_n
\left[
\begin{array}{c}
\Psi_{1,n} \\
\Psi_{2,n} \\
\end{array}
\right],
\label{gDB2}
\end{equation}
%align}
%where \mbox{$n \in \mathbb{Z}$}
%
%We can rewrite
where
%Here,
$n$ can be intuitively
%considered
understood as the number of iterations
of the B\"acklund--Darboux transformation.
%where
Here,
the
%discrete
Lax matrix $L_n$
%appearing in (\ref{gDB2})
%in many different ways
is given
by
%any of the following
%equivalent formulas:
%in various equivalent forms:
%as, {\it e.g.},
\begin{subequations}
\label{Lax-Ln1}
\begin{align}
L_n & = \left[
\begin{array}{cc}
\left( \alpha \zeta + \frac{\delta}{\zeta} \right) I & \\
& \left( \gamma \zeta + \frac{\beta}{\zeta} \right) I \\
\end{array}
\right] + \left( \alpha \beta - \gamma \delta \right)
\left[
\begin{array}{cc}
\gamma \zeta I & u_n \\
v_n & \frac{\delta}{\zeta} I \\
\end{array}
\right]^{-1}
%\nonumber
\label{1st_exp}
\\[2mm]
& = \left[
\begin{array}{cc}
\left( \alpha \zeta + \frac{\delta}{\zeta} \right) I & \\
& \left( \gamma \zeta + \frac{\beta}{\zeta} \right) I \\
\end{array}
\right]
\nonumber \\[1mm]
& \hphantom{=} \;\, \mbox{}
+ \left( \alpha \beta - \gamma \delta \right)
\left[
\begin{array}{cc}
\frac{\delta}{\zeta} (\gamma \delta I - u_n v_n)^{-1}
& -(\gamma \delta I - u_n v_n)^{-1}u_n \\
-(\gamma \delta I - v_n u_n)^{-1}v_n
& \gamma \zeta (\gamma \delta I - v_n u_n)^{-1} \\
\end{array}
\right]
%\nonumber \\[1mm]
%&= \zeta \left[
%\begin{array}{cc}
% \delta_n I & \\
% & -\gamma_n I \\
%\end{array}
%\right]
%\nonumber \\[1mm]
%& \hphantom{=} \; \mbox{}
%+
%\left[
%\begin{array}{cc}
% -(\beta_n \delta_n^2 I +\alpha_n u_n v_n)(\gamma_n \delta_n I - u_n v_n)^{-1}
%& (\alpha_n \gamma_n + \beta_n \delta_n) (\gamma_n \delta_n I - u_n v_n)^{-1} u_n \\
%(\alpha_n \gamma_n + \beta_n \delta_n) (\gamma_n \delta_n I - v_n u_n)^{-1} v_n
%& -(\alpha_n \gamma_n^2 I +\beta_n v_n u_n) (\gamma_n \delta_n I - v_n u_n)^{-1} \\
%\end{array}
%\right]
%\label{Ln1}
\label{2nd_exp}
%\nonumber
\\[2mm]
&= \left[
\begin{array}{cc}
\alpha \zeta I & u_n \\
v_n & \frac{\beta}{\zeta} I \\
\end{array}
\right]
\left[
\begin{array}{cc}
\left( \gamma\zeta + \frac{\beta}{\zeta} \right) I & \\
& \left( \alpha \zeta + \frac{\delta}{\zeta} \right) I \\
\end{array}
\right]
\left[
\begin{array}{cc}
\gamma \zeta I & u_n \\
v_n & \frac{\delta}{\zeta} I \\
\end{array}
\right]^{-1}
%\nonumber
\label{3rd_exp}
\\[2mm]
&= \left[
\begin{array}{cc}
\gamma \zeta I & u_n \\
v_n & \frac{\delta}{\zeta} I \\
\end{array}
\right]^{-1}
\left[
\begin{array}{cc}
\left( \gamma\zeta + \frac{\beta}{\zeta} \right) I & \\
& \left( \alpha \zeta + \frac{\delta}{\zeta} \right) I \\
\end{array}
\right]
\left[
\begin{array}{cc}
\alpha \zeta I & u_n \\
v_n & \frac{\beta}{\zeta} I \\
\end{array}
\right].
%\nonumber
\label{4th_exp}
\end{align}
\end{subequations}
%and
%Here,
%The condition
%%\mbox{$\alpha_n \gamma_n + \beta_n \delta_n \neq 0$}
%\mbox{$\alpha \beta - \gamma \delta \neq 0$}
%is
%%assumed;
%nonessential because the overall factor of the
%Lax matrix $L_n$ plays no role;
%Actually,
%The values of
The
%B\"acklund
parameters
$\alpha$, $\beta$, $\gamma$ and $\delta$
%$\alpha_n$, $\beta_n$, $\gamma_n$ and $\delta_n$
%are
%$n$-dependent (but time-independent) lattice parameters.
%time-independent.
can
be varied
%changed
%chosen arbitrarily
at each
%step of applying
application of
the B\"acklund--Darboux transformation,
so they
%are
%usually treated as
%constants, but more generally
%they
can
%actually
%can
%actually
%depend
%only
%arbitrarily
%on
be
%generalized to
arbitrary functions of
the
%lattice index
discrete independent variable $n$;
%in an arbitrary manner,
%but
however,
%in this paper,
for simplicity
we
%usually
consider
%assume
them as constants.
Each
of the
%equivalent
four equivalent
expressions
%expression
in (\ref{Lax-Ln1})
has its own advantages.
%in the following computations.
%
%Note that the
%%dependent
%dynamical variables $u_n$ and $v_n$
%are
%$u_n(t)$ and $v_n(t)$, while
%can depend on the continuous
%independent variables
%such as
%%i.e.,
%the space
%and time variables of
%%in
%the original
%matrix NLS hierarchy.
\subsection{Isospectral
time-evolution equation}
\label{sub2.2}
To
%obtain
compose
%comprise
%complete
a Lax pair,
we
%need to
associate
(\ref{gDB2}) with
a suitable
%an
isospectral
time-evolution equation,
%:
\begin{equation}
\left[
\begin{array}{c}
\Psi_{1, n} \\
\Psi_{2, n} \\
\end{array}
\right]_t
= M_n
\left[
\begin{array}{c}
\Psi_{1,n} \\
\Psi_{2,n} \\
\end{array}
\right].
\label{general_M}
\end{equation}
%Here,
%The isospectral condition is
%given by
%\mbox{$\zeta_t=0$},
%i.e.,
%which implies that
%the spectral parameter $\zeta$
%therein
%is time-independent, i.e.,
%\mbox{$\zeta_t=0$}.
%
%Recall that
The compatibility condition
%of
for the overdetermined linear system,
%of equations
(\ref{gDB2}) and (\ref{general_M}),
%(\ref{line})
is given by (a space-discrete
%semi-discrete
version of) the zero-curvature
equation~\cite{AL1,Kako,AL76,
%Suris97,Suris97',
%Suris00,
Ize81}
\begin{equation}
L_{n,t} +L_n M_n - M_{n+1}L_n = O,
\label{Lax_eq}
\end{equation}
where
%The square matrices
$L_n$ and $M_n$
%is time part of
comprise
%form
the
%a
Lax pair.
For the Lax matrix $L_n$
%given
in (\ref{Lax-Ln1}),
the first expression (\ref{1st_exp})
%should
%can be used
allows us to compute $L_{n,t}$
%using the formula
%\mbox{$(X^{-1})_t = - X^{-1} X_t X^{-1}$}
%valid for a square matrix $X$,
%so that
in such a way that
the
%explicit
%expressions
time-evolution
equations
%of motion
for $u_{n}$ and $v_{n}$
%$u_{n,t}$ and $v_{n,t}$
%should
can be
%obtained in explicit form.
%given
%expressed
%written
obtained
from (\ref{Lax_eq})
explicitly;
note that \mbox{$(X^{-1})_t = - X^{-1} X_t X^{-1}$}
for a square matrix $X$.
%, while the third or
%%and
%fourth expression can be used
%Meanwhile,
To
%derive
obtain
%integrable
%%space
%discretizations
a proper
space-discrete analog
of
%the
%some
%positive flows of
the
%discrete
Chen--Lee--Liu system,
%matrix NLS
%hierarchy,
we
%only
%have
%%only
%to
consider a temporal Lax matrix $M_n$
that
%can
%matches
goes well
%up
with
%consider
%note
%the
%peculiar structure of
%the factorized
%form
%structure
%the $\zeta$ dependence
%of
%how
the factorized form (\ref{3rd_exp}) or (\ref{4th_exp})
of the spatial
Lax matrix $L_n$.
%as
%given
%in
%%need to
%(\ref{Lax-Ln1}).
%depends on the spectral parameter $\zeta$.
%%Thus,
%For simplicity,
%%in the following,
%we assume that
%$\alpha_n$, $\beta_n$, $\gamma_n$ and $\delta_n$
%are $n$-independent
%%constants.
%and write them as $\alpha$, $\beta$, $\gamma$ and $\delta$
%in the following.
%As
%the simplest
%Then,
Thus, a
%possible
%simple
%and
natural
%and
%nontrivial choice of
ansatz for $M_n$
%,
%a possible
%temporal part of the Lax-pair representation,
%we
%can
%and
%associate it with
%assume the following form:
%time evolution equation:
%where
%we
%can
%and
%associate it with
%satisfying this condition automatically
is
%assumes the form:
%following form:
\begin{align}
& M_n
= \left( \alpha \beta - \gamma \delta \right)
%& \left( \alpha_n \gamma_n +\beta_n\delta_n \right) \left\{
\left[
\begin{array}{cc}
\frac{\beta}{\zeta} I & -u_n \\
-v_n & \alpha \zeta I \\
\end{array}
\right]
%^{-1}
\left[
\begin{array}{cc}
\frac{\gamma \zeta}{\gamma \zeta + \frac{\beta}{\zeta}} F_n & \\
& \frac{\frac{\delta}{\zeta}}{\alpha \zeta + \frac{\delta}{\zeta} } G_n \\
\end{array}
\right]
\left[
\begin{array}{cc}
\frac{\beta}{\zeta} I & -u_{n-1} \\
-v_{n-1} & \alpha \zeta I \\
\end{array}
\right]
%^{-1}
+
\left[
\begin{array}{cc}
c I & \\
& d I \\
\end{array}
\right],
%\right\},
\label{Lax-Mn1}
\end{align}
where $F_n$ and $G_n$
are
%$\zeta$-independent
%unknown
square matrices,
%to be determined,
%that may depend on
%%the spectral parameter
%$\zeta$,
and $c$ and $d$ are
%parameters
%responsible
arbitrary
constants
introduced for adding
the trivial zeroth flow.
The condition \mbox{$\alpha \beta - \gamma \delta \neq 0$}
is assumed
%to guarantee the nontriviality of
for the Lax pair to be nontrivial.
%Here,
%the unknown square matrices $F_n$ and $G_n$ as
Substituting (\ref{Lax-Ln1}) and (\ref{Lax-Mn1})
into (\ref{Lax_eq}),
we
%obtain recursion relations
%equations
%for determining
%can determine
obtain
%from the diagonal elements of (\ref{Lax_eq})
recursion relations for determining
%the $\zeta$-independent
%unknown square matrices
$F_n$ and $G_n$;
%so
%;
%as
%,
%which are
%can be
they are
%given by
%these are
%automatically
satisfied
%if we set
by setting
\begin{align}
%&
F_n = a
%\left( \alpha \beta - \gamma \delta \right)
%\left( \alpha \gamma +\beta \delta \right)
%\left( \alpha \beta I - u_n v_n \right)
\left( \beta \gamma I - u_{n-1} v_n \right)^{-1}
%\left( \alpha \beta I - u_{n-1} v_{n-1} \right)
,
\hspace{5mm}
%\nonumber \\[0.5mm] &
G_n = b
%\left( \alpha \beta - \gamma \delta \right)
%\left( \alpha \gamma +\beta \delta \right)
%\left( \alpha \beta I - v_n u_n\right)
\left( \alpha \delta I - v_{n-1} u_n \right)^{-1}
%\left( \alpha \beta I - v_{n-1} u_{n-1} \right)
,
%\left( \delta^2 I + v_{n-1} u_n \right)^{-1},
%\nonumber
\label{FG_choice}
\end{align}
where
%Here,
$a$ and $b$ are arbitrary constants.
%The overall factor \mbox{$\alpha \gamma +\beta \delta$} is nonessential and
%For simplicity,
%we
%It is also possible to
%do not
We can also consider the more general case where
%wherein
%More generally,
$a$ and $b$, as well as $c$ and $d$ in (\ref{Lax-Mn1}),
%can be
are arbitrary functions of
%the time variable
time $t$, but
we do not
%consider
discuss
it
%this general case
in this paper.
%Under
%With the above choice of $F_n$ and $G_n$,
%(\ref{Lax-Ln1}) and (\ref{Lax-Mn1}) into
%the zero-curvature equation
Then,
%The zero-curvature equation
(\ref{Lax_eq})
for
%the Lax pair,
(\ref{Lax-Ln1}) and (\ref{Lax-Mn1})
with (\ref{FG_choice})
%,
%finally
%gives
%a system of two coupled differential-difference equations:
%Then,
%%Thus,
%(\ref{Lax_eq})
%%is reduced
%finally
%reduces to
provides
%is equivalent to
an evolutionary lattice system:
%on a lattice:
% of differential-difference equations:
\begin{equation}
\label{sdCLL1}
\left\{
\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
& u_{n,t} - a \gamma \left( \alpha \beta I - u_{n} v_n \right)
\left( \beta \gamma I - u_{n-1} v_n \right)^{-1}
\left( \beta u_n - \delta u_{n-1} \right)
%\nonumber
\\
&
%\hspace{5mm}
\mbox{} - b \delta \left( \gamma u_{n+1} -\alpha u_{n} \right)
\left( \alpha \delta I - v_{n} u_{n+1} \right)^{-1}
\left( \alpha \beta I - v_{n} u_n \right)
%\nonumber
%\\
%& \mbox{}
- (c-d) u_n = O,
\\[1.5mm]
%[1mm]
% \left( \alpha_n \gamma_n +\beta_n\delta_n \right)
& v_{n,t} - b \delta \left( \alpha \beta I - v_{n} u_n \right)
\left( \alpha \delta I - v_{n-1} u_n \right)^{-1}
\left( \alpha v_n - \gamma v_{n-1} \right)
%\nonumber
\\
& \mbox{} - a \gamma \left( \delta v_{n+1} - \beta v_n \right)
\left( \beta \gamma I - u_{n} v_{n+1} \right)^{-1}
\left( \alpha \beta I - u_{n} v_n \right)
%\nonumber
%\\
%& \mbox{}
+ (c-d) v_n = O.
\end{split}
\right.
\end{equation}
In the case of \mbox{$\beta=\alpha^\ast$}, \mbox{$\delta=\gamma^\ast$},
\mbox{$b=a^\ast$} and \mbox{$d=c^\ast$},
system (\ref{sdCLL1}) admits the complex conjugation reduction
\mbox{$v_n=\sigma u_n^\ast$} with a real constant $\sigma$.
%where $\sigma$ is a nonzero constant.
To consider a Hermitian conjugation reduction between $u_n$ and $v_n$,
we need to rewrite (\ref{sdCLL1}).
%
By setting
%the parameters as
\mbox{$c-d = -a \left( \alpha \beta - \gamma \delta \right)$} and
%Interestingly,
%Noting
using
%that
%the
%%matrix
%order of matrix
%%the
%products in
%each
%nonlinear
%term
%in (\ref{sdNLS})
%can be
%changed
%``reversed",
%;
%,
%as, {\it e.g.},
%for instance,
%using
%the
%identities such as
%rewritten as a sum of a linear term and a
%higher
%nonlinear term, {\em e.g.}
the identities
%such as
\begin{align}
& \gamma \left( \alpha \beta I - u_{n} v_n \right)
\left( \beta \gamma I - u_{n-1} v_n \right)^{-1}
\left( \beta u_n - \delta u_{n-1} \right)
- \left( \alpha \beta - \gamma \delta \right) u_n
\nonumber \\
&= \delta \left( \gamma u_n - \alpha u_{n-1} \right)
- \left( \gamma u_n - \alpha u_{n-1} \right) v_n
\left( \beta \gamma I - u_{n-1} v_n \right)^{-1}
\left( \beta u_n - \delta u_{n-1} \right)
\nonumber \\
&= \beta \left( \gamma u_n - \alpha u_{n-1} \right)
\left( \beta \gamma I - v_n u_{n-1} \right)^{-1}
\left( \gamma \delta I - v_{n} u_n \right),
\nonumber
\\[3mm]
%\\
%&=? \left( \beta u_n - \delta u_{n-1} \right)
% \left( \beta \gamma I - v_n u_{n-1} \right)^{-1}
% \left( \alpha \beta I - v_n u_{n} \right).
%\nonumber
%\end{align}
%
%\begin{align}
& \gamma \left( \delta v_{n+1} - \beta v_n \right)
\left( \beta \gamma I - u_{n} v_{n+1} \right)^{-1}
\left( \alpha \beta I - u_{n} v_n \right)
+ \left( \alpha \beta - \gamma \delta \right) v_n
\nonumber \\
&= \delta \left( \alpha v_{n+1} - \gamma v_n \right)
+ \left( \delta v_{n+1} - \beta v_n \right)
\left( \beta \gamma I - u_{n} v_{n+1} \right)^{-1} u_{n}
\left( \alpha v_{n+1} - \gamma v_n \right)
\nonumber \\
&= \beta \left( \gamma \delta I - v_{n} u_{n} \right)
\left( \beta \gamma I - v_{n+1} u_{n} \right)^{-1}
\left( \alpha v_{n+1} - \gamma v_n \right),
\nonumber
\end{align}
%and setting
%the parameters as
%\mbox{$c-d = -a \left( \alpha \beta - \gamma \delta \right)$} ,
we can rewrite (\ref{sdCLL1})
%in
%a more readable
%symmetric
%the form:
as
\begin{equation}
\label{sdCLL2}
\left\{
\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
u_{n,t} &- a \beta \left( \gamma u_n - \alpha u_{n-1} \right)
\left( \beta \gamma I - v_n u_{n-1} \right)^{-1}
\left( \gamma \delta I - v_{n} u_n \right)
\\
&
%\hspace{5mm}
\mbox{} - b \delta \left( \gamma u_{n+1} -\alpha u_{n} \right)
\left( \alpha \delta I - v_{n} u_{n+1} \right)^{-1}
\left( \alpha \beta I - v_{n} u_n \right) = O,
\\[1.5mm]
%[1mm]
% \left( \alpha_n \gamma_n +\beta_n\delta_n \right)
v_{n,t} &- b \delta \left( \alpha \beta I - v_{n} u_n \right)
\left( \alpha \delta I - v_{n-1} u_n \right)^{-1}
\left( \alpha v_n - \gamma v_{n-1} \right)
%\nonumber
\\
& \mbox{} - a \beta \left( \gamma \delta I - v_{n} u_{n} \right)
\left( \beta \gamma I - v_{n+1} u_{n} \right)^{-1}
\left( \alpha v_{n+1} - \gamma v_n \right) = O.
\end{split}
\right.
\end{equation}
System (\ref{sdCLL1}) (or (\ref{sdCLL2}))
is a
rather
general
%lattice
system
%contains
%involves
involving
several
%essential
%some
free parameters
%, some of which are essential,
and thus encompasses
%some of them are essential;
%and contains
%(\ref{sdCLL1})
%reduces to
%known or
simpler
%more fundamental
%integrable
lattice systems
as
particular
(or limiting)
%in some special
cases;
%some of which
some of them are already
%well-
known.
%For example,
%Some
%A few
%Examples are as follows.
\begin{itemize}
%enumerate}
\item
By rescaling the dependent variables and
%the
parameters
%constants
as
\mbox{$u_n v_n
%\to
= \alpha \beta u'_n v'_n$}, \mbox{$a=a'/\alpha$} and \mbox{$b=b'/\beta$},
omitting the prime
%dash
and
%then
taking the limit \mbox{$\alpha, \beta \to 0$},
(\ref{sdCLL1}) reduces to
%we obtain
the matrix generalization~\cite{GI82}
%,DM2010}
(also see~\cite{Tsuchi02,DM2010} and references therein)
of
the Ablowitz--Ladik lattice~\cite{AL1}:
\begin{equation}
%\label{}
\nonumber
\left\{
\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
& u_{n,t} + a \delta \left( I - u_{n} v_n \right) u_{n-1}
%\nonumber
%\\ &
%\hspace{5mm}
%\mbox{}
- b \gamma u_{n+1}
\left( I - v_{n} u_n \right)
%\nonumber
%\\
%& \mbox{}
- (c-d) u_n = O,
\\[0.5mm]
%[1mm]
% \left( \alpha_n \gamma_n +\beta_n\delta_n \right)
& v_{n,t} + b \gamma \left( I - v_{n} u_n \right) v_{n-1}
%\nonumber
%\\ & \mbox{}
- a \delta v_{n+1} \left( I - u_{n} v_n \right)
%\nonumber
%\\
%& \mbox{}
+ (c-d) v_n = O.
\end{split}
\right.
\end{equation}
%Without the trivial zeroth flow,
%i.e., when $c=d$,
%(\mbox{$c=d$}),
This is a linear combination of the
two elementary flows
(\ref{sd-AL1})
and (\ref{sd-AL2})
and the trivial zeroth flow
of the Ablowitz--Ladik hierarchy.
\item
By rescaling the dependent variables
%,
and
%the
parameter
%%the
%parameters
as
\mbox{$u_n v_n
%\to
= \beta \gamma u'_n v'_n$}
%,
%\mbox{$a=a'/\alpha$}
and \mbox{$b=b'/\beta$},
%setting \mbox{$\gamma=\alpha$},
omitting the prime
%dash
and
%then
taking the limit \mbox{$\beta \to 0$},
(\ref{sdCLL2}) reduces to
%an integrable
%an
the already known
%not proper
space-discretization of the Chen--Lee--Liu
system~\cite{Tsuchi02,TsuJMP11}:
%we obtain
\begin{equation}
%\label{}
\nonumber
\left\{
\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
u_{n,t} &- a \delta \left( \gamma u_n - \alpha u_{n-1} \right)
\left( I - v_n u_{n-1} \right)^{-1}
%\\ &
%\hspace{5mm}
%\mbox{}
- \frac{b}{\alpha} \left( \gamma u_{n+1} -\alpha u_{n} \right)
\left( \alpha I - \gamma v_{n} u_n \right) = O,
\\
%[0.5mm]
%[1.5mm]
%[1mm]
% \left( \alpha_n \gamma_n +\beta_n\delta_n \right)
v_{n,t} &- \frac{b}{\alpha} \left( \alpha I - \gamma v_{n} u_n \right)
\left( \alpha v_n - \gamma v_{n-1} \right)
%\nonumber
%\\
%& \mbox{}
- a \delta
\left( I - v_{n+1} u_{n} \right)^{-1}
\left( \alpha v_{n+1} - \gamma v_n \right) = O.
\end{split}
\right.
\end{equation}
In the case of
%scalar dependent variables,
%For
scalar $u_n$ and $v_n$,
this
%lattice
system was
%proposed and
previously
studied
%earlier
in~\cite{SY91,AY94,ASY00};
%by
%(also see~\cite{DJM83}).
in fact, it
%and is
%also
can be
considered as
a continuous-time analog of the fully discrete Chen--Lee--Liu
system proposed by Date, Jimbo and Miwa~\cite{DJM83},
%which is
associated with an elementary auto-B\"acklund
%transformations
transformation for the continuous Chen--Lee--Liu hierarchy
%system
%(see
%as outlined in
%[Willox]
(cf.~\cite{Comment}).
Unfortunately,
%the
this system does not admit
%the
a complex/Hermitian conjugation reduction between
%the two dependent variables
$u_n$ and $v_n$,
%in local form,
so it
%this system
%is not
cannot
%does not
provide
a proper discretization
of the Chen--Lee--Liu equation.
%system.
%because it
%
\item
%by setting
In the special case of \mbox{$\alpha=-\delta$} and \mbox{$\beta=-\gamma$},
(\ref{sdCLL1}) reduces to a
%simpler but
nontrivial lattice system
%we obtain
\begin{equation}
%\label{}
\nonumber
\left\{
\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
& u_{n,t} - a \gamma \left( \gamma \delta I - u_{n} v_n \right)
\left( \gamma^2 I + u_{n-1} v_n \right)^{-1}
\left( \gamma u_n + \delta u_{n-1} \right)
%\nonumber
\\
&
%\hspace{5mm}
\mbox{} + b \delta \left( \gamma u_{n+1} +\delta u_{n} \right)
\left( \delta^2 I + v_{n} u_{n+1} \right)^{-1}
\left( \gamma \delta I - v_{n} u_n \right)
%\nonumber
%\\
%& \mbox{}
- (c-d) u_n = O,
\\[1.5mm]
%[1mm]
% \left( \alpha_n \gamma_n +\beta_n\delta_n \right)
& v_{n,t} - b \delta \left( \gamma \delta I - v_{n} u_n \right)
\left( \delta^2 I + v_{n-1} u_n \right)^{-1}
\left( \delta v_n + \gamma v_{n-1} \right)
%\nonumber
\\
& \mbox{} + a \gamma \left( \delta v_{n+1} +\gamma v_n \right)
\left( \gamma^2 I + u_{n} v_{n+1} \right)^{-1}
\left( \gamma \delta I - u_{n} v_n \right)
%\nonumber
%\\
%& \mbox{}
+ (c-d) v_n = O,
\end{split}
\right.
\end{equation}
%whereas
while
%a naive
%na\"ive
%limit of
the Lax pair
%,
given by (\ref{Lax-Ln1}) and (\ref{Lax-Mn1})
%, is
becomes trivial
in
%if one considers
the naive
%na\"ive
limit
%of
\mbox{$\alpha \to -\delta$},
%and
\mbox{$\beta \to -\gamma$}.
%but
%trivialized.
This lattice system can be derived from
%the
a B\"acklund--Darboux transformation for the continuous NLS
hierarchy in
%exactly
the same manner
%way
as (\ref{sdCLL1})
is derived from a B\"acklund--Darboux transformation
for the Ablowitz--Ladik hierarchy.
%;
%Note that
%for
By further setting
\mbox{$\gamma=\delta=\pm 1$}, we obtain
%an integrable
a new proper space-discretization
of the matrix NLS system
%and
as well as the
%complex
matrix modified KdV system.
We will discuss it in a separate paper.
%;
\\
\end{itemize}
%enumerate}
%
%Obviously,
%Naturally,
Not all of the four
%arbitrary
parameters
$\alpha$, $\beta$, $\gamma$ and $\delta$ in
(\ref{sdCLL1}) (or (\ref{sdCLL2}))
are essential;
%arbitrary parameters
%essentially independent.
the number of independent parameters can be reduced
by applying
%considering
a point transformation of the form:
\mbox{$u_n = \mu \nu^n u_n'$}, \mbox{$v_n = \nu^{-n} v_n'$}
with nonzero constants $\mu$ and $\nu$.
However,
%such a reduced form makes it
%then
it then becomes difficult to
consider
%incorporate
%non-generic
limiting cases where
%some
one or more parameters tend to zero
as mentioned
%considered
above, so we prefer
%our
the
%somewhat
%our
``redundant" expression
%form
(\ref{sdCLL1}) (or (\ref{sdCLL2})).
%has its own advantages.
%
%In the special case of
By setting \mbox{$\gamma=\alpha$},
%and
\mbox{$\delta=-\beta$} and \mbox{$\alpha \beta=1$},
(\ref{sdCLL2})
%reads
provides
%an
a new integrable
%a proper
space-discretization of the Chen--Lee--Liu system:
%we can
\begin{equation}
\label{sdCLL3}
\left\{
\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
u_{n,t} &+ a \left( u_n - u_{n-1} \right)
\left( I - v_n u_{n-1} \right)^{-1}
\left( I + v_{n} u_n \right)
\\
&
%\hspace{5mm}
\mbox{} - b \left( u_{n+1} - u_{n} \right)
\left( I + v_{n} u_{n+1} \right)^{-1}
\left( I - v_{n} u_n \right) = O,
\\[1.5mm]
%[1mm]
% \left( \alpha_n \gamma_n +\beta_n\delta_n \right)
v_{n,t} &- b \left( I - v_{n} u_n \right)
\left( I + v_{n-1} u_n \right)^{-1}
\left( v_n - v_{n-1} \right)
%\nonumber
\\
& \mbox{} + a \left( I + v_{n} u_{n} \right)
\left( I - v_{n+1} u_{n} \right)^{-1}
\left( v_{n+1} - v_n \right) = O.
\end{split}
\right.
\end{equation}
System (\ref{sdCLL3}) with \mbox{$b=-a^\ast$}
admits the Hermitian conjugation reduction
\mbox{$v_n = \mathrm{i} u_n^\dagger$};
%;
%in particular,
%so
in the case of \mbox{$a=b=\mathrm{i}$},
we obtain
a
%new integrable
proper
space-discretization of the Chen--Lee--Liu equation~\cite{CLL}
(see~\cite{Linden1,Olver2,TW3,Ad,Dimakis} for the matrix case):
%as well as its simplest higher symmetry:
%\begin{equation}
\begin{align}
%\label{sdCLL4}
%\nonumber
%\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
\mathrm{i} u_{n,t} & + \left( u_{n+1} - u_{n} \right)
\left( I + \mathrm{i} u_{n}^\dagger u_{n+1} \right)^{-1}
\left( I - \mathrm{i} u_{n}^\dagger u_n \right)
\nonumber \\
&
%\hspace{5mm}
\mbox{} - \left( u_n - u_{n-1} \right)
\left( I - \mathrm{i} u_n^\dagger u_{n-1} \right)^{-1}
\left( I + \mathrm{i} u_n^\dagger u_n \right)= O.
\nonumber
\end{align}
%\end{split}
%\end{equation}
In the scalar case, this
%it
reads
%\newpage
\begin{align}
%\label{sdCLL5}
%\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
\mathrm{i} u_{n,t} +
\frac{1 - \mathrm{i} |u_n|^2 }{1 + \mathrm{i} u_{n}^\ast u_{n+1}}
\left( u_{n+1} - u_{n} \right)
%\nonumber \\ &
%\hspace{5mm}
%\mbox{}
- \frac{1 + \mathrm{i} |u_n|^2}{1 - \mathrm{i} u_n^\ast u_{n-1}}
\left( u_n - u_{n-1} \right) =0,
\nonumber
\end{align}
or equivalently,
\begin{align}
\mathrm{i} u_{n,t} + \left( u_{n+1} + u_{n-1} - 2u_{n} \right)
- \mathrm{i} \frac{\left( u_{n+1}^2 - u_{n}^2 \right) u_{n}^\ast}
{1 + \mathrm{i} u_{n}^\ast u_{n+1}}
- \mathrm{i}\frac{\left( u_n^2 - u_{n-1}^2 \right)u_n^\ast}
{1 - \mathrm{i} u_n^\ast u_{n-1}}=0.
\nonumber
\end{align}
In addition,
system (\ref{sdCLL3}) with \mbox{$b=-a$}
admits the matrix transpose
%Hermitian conjugation
reduction \mbox{$v_n = u_n^T C$}, where $C$ is a constant skew-symmetric
%antisymmetrix
matrix~\cite{TsuJMP10}; in particular, in the case of
%\mbox{$b=-a=-1$}
\mbox{$a=1$} and \mbox{$b=-1$}, we obtain
\begin{align}
%\begin{split}
%\begin{subnumcases}{\label{sdNLS}}{}
% \left( \alpha \gamma +\beta \delta \right)
u_{n,t} & + \left( u_{n+1} - u_{n} \right)
\left( I + u_n^T C u_{n+1} \right)^{-1}
\left( I - u_n^T C u_n \right)
\nonumber \\
&
%\hspace{5mm}
\mbox{} + \left( u_n - u_{n-1} \right)
\left( I - u_n^T C u_{n-1} \right)^{-1}
\left( I + u_n^T C u_n \right)
= O, \hspace{5mm} C^T = -C.
\nonumber
\end{align}
In the scalar case,
%the lattice system
(\ref{sdCLL1})
%in the scalar case
is a Hamiltonian system
with
%respect to
an ultralocal
(but
%and
noncanonical) Poisson structure.
%bracket.
%respect to a
%Note in particular that
%,
%In particular,
%In the simplest case of
%the
%scalar dependent variables,
%(\ref{sdNLS})
%in the scalar case
%it
Indeed,
it can be expressed
%written
as
%in the Hamiltonian form:
\mbox{$u_{n,t} = \{ u_n, H \}$} and \mbox{$v_{n,t} = \{ v_n, H \}$},
where the Hamiltonian and the Poisson brackets are given by
\[
H =
%:=
\sum_n \left[ a \log \left( \frac{ \beta \gamma - u_{n-1} v_{n}}
{\gamma \delta - u_{n} v_{n}} \right)
- b \log \left( \frac{ \alpha \delta - u_{n+1} v_{n}}
{\gamma \delta - u_{n} v_{n}} \right)
+ \frac{c-d}{\alpha \beta - \gamma \delta} \log \left(
\frac{\alpha \beta - u_{n} v_{n}}{\gamma \delta - u_{n} v_{n}} \right)
\right]
\]
and
\[
\{ u_m, u_n \} = \{ v_m, v_n \} =0, \hspace{5mm}
\{ u_m, v_n \} = \delta_{m n} \left( \alpha \beta - u_{n} v_{n} \right)
\left( \gamma \delta - u_{n} v_{n} \right),
\]
respectively. Here, $\delta_{m n}$ is
%denotes
the Kronecker delta, which should not be confused with the
%constant
free
parameter $\delta$.
This Hamiltonian structure encompasses
%contains
the already known
Hamiltonian structures for the simpler lattice systems
%(i)--(iii)
in the scalar case~\cite{Kako,Kulish,Wang13,SY91,AY94,ASY00}.
%[AdlerShabat,
%[SuGeng].
%Ablowitz--Ladik
It would be interesting to
construct
%look for a
%investigate
the
corresponding classical $r$-matrix
%representation due to
%(
%{\em
a la
%E.~K.~
Sklyanin~\cite{Skly82,Semenov}.
%LOMI preprint).
\section{Space-discrete
%Discretization
%proper
%semi-
%discretization
%of the
massive Thirring model
%in light-cone coordinates
}
\label{sec3}
%$\abs{a+b\abs{c+d}e+f}$, $\abs{a+b}c+d\abs{e+f}$
%It has been known
%at least
%since the mid-1970s that
In this section,
we
%consider the massive Thirring model in light-cone coordinates and
%discuss
%show
describe how to
%properly
discretize one of the two independent variables
of the massive Thirring model
in light-cone (or characteristic) coordinates~\cite{KN2,Morris79,GIK},
%which is known as
%in
which is
the first negative flow
of the Chen--Lee--Liu hierarchy~\cite{NCQL,Linden1}
%namely,
%known as the massive Thirring model in light-cone coordinates
(see~\cite{Kuz,KaMoIno} for the model in
%case of
laboratory coordinates).
With a slight abuse of terminology,
we will call it a
%proper
%The use of
``space-discretization" of the
%``space-discrete"
massive Thirring model,
%which
although it
%might
%may
%be
%is
%somewhat misleading
%,
%because
%we
%do not
%consider
%is sounds like
would
%may
be more natural and
%precise and
appropriate to use it
for the massive Thirring model
%in light-cone coordinates, not
in laboratory coordinates.
%~\cite{Kuz}.
%Actually,
%A
The generalized binary
B\"acklund--Darboux transformation (\ref{ALDB1})
with suitably defined intermediate potentials $u_m$ and $v_m$
%,
%that
%which
can preserve
%preserves
%for
the Ablowitz--Ladik
%hierarchy preserves
%the form
%is compatible with
%of
%both
%not only the discrete
spectral problem (\ref{AL-Ln}) form-invariant,
%preserves
%and
%but also
%is
%actually
%compatible with
as well as an infinite set of
%the
isospectral time-evolution equations
%form-invariant,
such as
%that includes
%containing
(\ref{AL-Mn1}) and (\ref{AL-Mn2}).
%form-invariant.
%In the previous section,
Thus,
%in the Lax-pair representation
%(\ref{gDB2}) with (\ref{Lax-Ln1})
%; moreover, it
%and
%(\ref{general_M}) that is consistent
%compatible
%with (\ref{gDB2}) with (\ref{Lax-Ln1}),
%we can replace
%the temporal Lax matrix $M_n$
%given in (\ref{Lax-Mn1}) with (\ref{FG_choice})
%is not
%the unique
%%the only possible
%choice and
%we can replace
%it
%instead of (\ref{general_M})
%as
the temporal Lax matrix $M_n$
%we can consider
%%in
given
by
%in
%(\ref{Lax-Mn1})--(\ref{FG_choice})
(\ref{Lax-Mn1}) with (\ref{FG_choice})
is not the
%unique
only possible choice;
%instead,
it can be replaced with
%with
%we can consider
%any
%another
any $M_n$-matrix
%other
%isospectral time-evolution equation
%used for any positive flow of the Ablowitz--Ladik hierarchy.
%compatible with
corresponding to a flow of the Ablowitz--Ladik hierarchy,
or equivalently,
%a flow of
the continuous Chen--Lee--Liu hierarchy.
%as a temporal Lax matrix $M_n$.
%spectral problem (\ref{AL-Ln}).
To obtain a space-discrete analog of the massive Thirring model,
%To be specific,
%for the purpose of this section,
%
%The temporal Lax matrix $M_n$ in (\ref{Lax-Mn1})
%with (\ref{FG_choice}) is not the only possible choice and we can
we
suppress
%fix
%freeze
the lattice index $m$
%of
for the Ablowitz--Ladik hierarchy and
%re
%write
consider the isospectral time-evolution equation (\ref{AL-Mn2})
%that can be
written
%concisely
%more simply
%in a simpler form
%as
%in a simpler
in the
form:
%or (\ref{AL-Mn2})
%
\begin{align}
& \left[
\begin{array}{c}
\Psi_{1,n} \\
\Psi_{2,n} \\
\end{array}
\right]_{t
%\tau
%t_{-1}
%s
}
=
\left[
\begin{array}{cc}
O & \frac{1}{\zeta} Q_n \\
\frac{1}{\zeta} R_n &
\frac{1}{\zeta^2} I - R_n Q_n \\
\end{array}
\right]
\left[
\begin{array}{c}
\Psi_{1,n} \\
\Psi_{2,n} \\
\end{array}
\right].
%\label{AL-Mn4}
\nonumber
\end{align}
%The Lax-pair representation comprises (\ref{gDB2})
%with (\ref{Lax-Ln1})
%and (\ref{general_M}),
%where
Then,
substituting the Lax pair
%is
given by
(\ref{Lax-Ln1}) and
\begin{align}
M_n = \left[
\begin{array}{cc}
O & \frac{1}{\zeta} Q_n \\
\frac{1}{\zeta} R_n &
\frac{1}{\zeta^2} I - R_n Q_n \\
\end{array}
\right]
\nonumber
\end{align}
into
%(\ref{line})
%is given by
%(a space-discrete
%%semi-discrete
%version of)
the zero-curvature equation (\ref{Lax_eq}), we obtain
a set of six
%four
equations.
A direct calculation shows that
%but
only four of them are independent,
%equations,
which can be
%relations. We can
%formulated
presented
as
%\begin{align}
\begin{equation}
\label{sdMTM1}
\left\{
\begin{split}
%[0.5mm]
& \beta \delta \left( \gamma Q_{n+1} - \alpha Q_n \right)
+ \left( \alpha \beta - \gamma \delta \right) u_n -u_n v_n
\left( \beta Q_{n+1} - \delta Q_n \right) = O,
%\nonumber
\\[1mm]
%[0.5mm]
& \beta \delta \left( \alpha R_{n+1} - \gamma R_n \right)
- \left( \alpha \beta - \gamma \delta \right) v_n -
\left( \delta R_{n+1} - \beta R_n \right) u_n v_n = O,
\\[1mm]
& \left( \alpha \beta - \gamma \delta \right) u_{n,t}
+ \alpha \gamma \left(\beta Q_{n+1} - \delta Q_n \right)
+ u_n \left( \alpha R_{n+1} - \gamma R_n \right) u_n
\\ & \hspace{10mm}
- u_n \left(\alpha \beta R_{n+1} Q_{n+1} - \gamma \delta R_n Q_n \right) =O,
\\[1mm]
%[0.5mm]
& \left( \alpha \beta - \gamma \delta \right) v_{n,t}
+ \alpha \gamma \left( \delta R_{n+1} - \beta R_n \right)
+ v_n \left( \gamma Q_{n+1} - \alpha Q_n \right) v_n
\\
& \hspace{10mm}
- \left( \gamma \delta R_{n+1} Q_{n+1} - \alpha \beta R_n Q_n \right) v_n =O.
\end{split}
\right.
\end{equation}
%This is a non-evolutionary symmetry of
%%negative flow
%(\ref{sdCLL2}).
%Analogously to the space-discrete Chen--Lee--Liu system (\ref{sdCLL3}),
By setting \mbox{$\gamma=\alpha=\mathrm{i}$}
and
\mbox{$\delta=-\beta=-2\mathrm{i}/\varDelta
%\;\, (\varDelta \in \mathbb{R})
$}
where \mbox{$\varDelta \in \mathbb{R}$}
%enotes
is
a lattice parameter,
%interval,
%spacing,
%and \mbox{$\alpha \beta=1$},
(\ref{sdMTM1})
%(\ref{sdCLL2})
%reads
%a proper
%the space-discrete Chen--Lee--Liu system (\ref{sdCLL3})
%provides
%reduces
%simplifies
%to
reads
%a proper
%an integrable
%space-discretization of (the nonreduced form of)
%the massive Thirring model,
\begin{equation}
\label{sdMTM2}
\left\{
\begin{split}
%[0.5mm]
& \frac{2}{\varDelta} \left( Q_{n+1} - Q_n \right)
+ 2 \mathrm{i} u_n - u_n v_n \left( Q_{n+1} + Q_n \right) = O,
%\nonumber
\\[1mm]
%[0.5mm]
& \frac{2}{\varDelta} \left( R_{n+1} - R_n \right)
- 2 \mathrm{i} v_n
+ \left( R_{n+1} + R_n \right) u_n v_n = O,
\\[1mm]
& 2 u_{n,t}
+ \mathrm{i} \left( Q_{n+1} + Q_n \right)
- \frac{\mathrm{i}\varDelta}{2}
%\hspace{1pt}
u_n \left( R_{n+1} - R_n \right) u_n
\\
& \hspace{10mm}
- u_n \left(R_{n+1} Q_{n+1} + R_n Q_n \right) =O,
\\[1mm]
%[0.5mm]
& 2 v_{n,t}
- \mathrm{i} \left( R_{n+1} + R_n \right)
- \frac{\mathrm{i}\varDelta}{2}
%\hspace{1pt}
v_n \left( Q_{n+1} - Q_n \right) v_n
\\
& \hspace{10mm}
+ \left( R_{n+1} Q_{n+1} + R_n Q_n \right) v_n =O.
\end{split}
\right.
\end{equation}
%Indeed,
Note that
%the choice of
the set of coefficients
%of terms
in (\ref{sdMTM2})
%in the equations
%are
%is nonessential and
can be changed by
%a rescaling of
rescaling the variables.
System (\ref{sdMTM2}) admits the Hermitian conjugation reduction
\mbox{$R_n = \mathrm{i} Q_n^\dagger$},
\mbox{$v_n = \mathrm{i} u_n^\dagger$},
so
we obtain
a proper
%an integrable
space-discretization of
%(the nonreduced form of)
the massive Thirring model as
%,
%is obtained:
%,
%in the form:
%,
%a space-discrete analog of
%%(the nonreduced form of)
%the massive Thirring model,
\begin{equation}
\label{MTM1}
\left\{
\begin{split}
%\nonumber
%[1.5mm]
& \frac{2}{\varDelta} \left( Q_{n+1} - Q_n \right)
+ 2 \mathrm{i} u_n - \mathrm{i} u_n u_n^\dagger \left( Q_{n+1} + Q_n \right) = O,
\\[1mm]
& 2 u_{n,t}
+ \mathrm{i} \left( Q_{n+1} + Q_n \right)
+ \frac{\varDelta}{2} \hspace{1pt} u_n \left( Q_{n+1}^\dagger - Q_n^\dagger \right) u_n
\\
& \hspace{10mm}
- \mathrm{i} u_n \left(Q_{n+1}^\dagger Q_{n+1} + Q_n^\dagger Q_n \right) =O.
\end{split}
\right.
\end{equation}
%Indeed,
In the continuous space
limit,
%of space,
(\ref{MTM1}) indeed reduces
%in a continuous limit
to the massive Thirring model
in light-cone
%(or characteristic)
coordinates (see (3.48) in~\cite{Linden1}):
%,
\begin{equation}
%\label{MTM2}
\nonumber
\left\{
\begin{split}
%\nonumber
%[0.5mm]
& Q_x + \mathrm{i} u - \mathrm{i} u u^\dagger Q = O,
\\[0.5mm]
& u_{t} + \mathrm{i} Q
- \mathrm{i} u Q^\dagger Q =O.
\end{split}
\right.
\end{equation}
We remark that
%other
another
%different
%integrable
%discretizations
lattice
%discrete
version
of
the massive Thirring model in light-cone coordinates
%were
was studied
%given
in~\cite{NCQ83}.
%Analogously to the space-discrete Chen--Lee--Liu system (\ref{sdCLL3}),
%
%as well as two relations.
%It can be shown
%A direct computation shows
%that the latter two relations are consequences of the system of
%four equations (x.x).
%
%By setting \mbox{$\gamma=$} and \mbox{$\delta=$},
%the system provides a proper
%space-discretization of the massive Thirring model.
%
%the choice (\ref{Lax-Mn1}) of $M_n$ such that
%(\ref{gDB2}) with (\ref{Lax-Ln1})
%%; moreover, it
%is compatible with (\ref{general_M})
%not only (\ref{Lax-Mn1})
%with (\ref{FG_choice})
%but also
%the whole flows of the
%Ablowitz--Ladik hierarchy
%or the Chen--Lee--Liu hierarchy.
\section{Concluding remarks}
%\[
%\mathscr{H}(p)
%\mathfrak{H}, \mathcal{H}, \mathfrak{a}, \mathcal{a},
%\mathfrak{b}, \mathcal{b},\mathfrak{c}, \mathcal{c},
%\mathfrak{d}, \mathcal{d}, \mbox{\cal{a}}, \mbox{\cal{b}},
%\mbox{\cal{c}}, \mbox{\cal{d}},\frak{a},
%\]
In this paper, we have developed an effective
approach for
%method of
%obtaining
%deriving
generating
new integrable lattice systems
%using
from
%a Lax-pair representation.
%The spectral problem
B\"acklund--Darboux transformations for known integrable systems.
The idea to
interpret
%reinterpret
%an elementary
a
B\"acklund--Darboux transformation
as a discrete spectral problem
%or, more generally, a generating functions of
%a whole integrable hierarchy
is already well-known (see, {\it e.g.}, \cite{Chud1,Chud2,DJM83});
%Date, Jimbo, and Miwa
the main new feature of
%this
%in
our
approach
%,
is to
%utilize
consider
%we
%interpret
the intermediate potentials appearing in a binary
B\"acklund--Darboux transformation as new dependent variables
in the discrete spectral problem, up to a rescaling of the variables.
%(see $u_m$ and $v_m$ in (\ref{ALDB1})).
%According to
%Bianchi's permutability theorem implies that
%Just
As the name implies,
the binary B\"acklund--Darboux transformation
is equivalent to
%can be decomposed into
the composition of
two elementary
B\"acklund--Darboux transformations
in
%%arbitrary
either
%either of the two possible orders
%regardless of the
order
of the
composition~\cite{Kono79,Kono82,Konop3}.
%;
%For
In the example of the Ablowitz--Ladik hierarchy,
%lattice
%instance,
%up to a rescaling,
%example,
%the example of (\ref{ALDB1}),
%the intermediate potentials
%(
$u_m$ and $v_m$
in (\ref{ALDB1})
%)
%that is,
appear
in the
%composition of
decomposition of the binary B\"acklund--Darboux transformation
into
two permutable
elementary
B\"acklund--Darboux transformations
%of the order
as~\cite{Rourke}
%the order
%\mbox{$
\begin{equation}
(Q_m,R_m)
%\mapsto
\rightarrow (u_m, \ast)
%\mapsto
\rightarrow (\widetilde{Q}_m, \widetilde{R}_m)
%,
%\label{path1}
\nonumber
\end{equation}
%or equivalently,
%which turns out to be equivalent to
%It
%Actually, it
%is also possible to consider
%it can be checked directly that
%or
and
%of the order
%because
%the composition
%in
%%a
%%different order, i.e.,
%the opposite order
%,
%:
%as
\begin{equation}
(Q_m,R_m)
%\mapsto
\rightarrow (\ast, v_m)
%\mapsto
\rightarrow (\widetilde{Q}_m, \widetilde{R}_m)
%,
%.
%\label{path2}
\nonumber
\end{equation}
%respectively,
up to a rescaling and
a
space translation,
%\mbox{$m \to m \pm 1$},
so they are indeed the intermediate potentials;
%A
a similar
%diagram
decomposition
%also
holds true for
the continuous
Chen--Lee--Liu hierarchy
%decomposition
if one considers the pair of variables \mbox{$(Q_m,R_{m-1})$}
or \mbox{$(Q_{m-1},R_{m})$}
%(see
(cf.~(\ref{AL-Mn1}) or (\ref{AL-Mn2})).
%$}.
%Thus, we obtain
%Both
%also
%provides the same final result;
%as given below;
Then, we
%and to
%assign
associate the new discrete spectral problem
%a consistent
with a suitable isospectral
time-evolution equation on a case-by case consideration
and
obtain
%derive
%the integrable
an evolutionary lattice system
from the compatibility condition called
the zero-curvature
%the compatibility condition
equation.
%;
%the derivation of
%non-evolutionary
%negative flows
%of the corresponding
%discrete
%integrable hierarchy is much easier because
%; there exists no fully systematic way for a suitable
%choice of the time-evolution equation
%is
We illustrated this
%our
approach
by deriving the general lattice system
%In this paper, we have
%obtained
%a rather
%the
%general
%integrable
%lattice system
%(\ref{sdCLL1}),
(\ref{sdCLL2}), which involves the arbitrary parameters
$\alpha$, $\beta$, $\gamma$ and $\delta$
%,
and includes
the space-discrete Chen--Lee--Liu system (\ref{sdCLL3}) as a special case;
the derivation of
%non-evolutionary
negative flows
of the
%corresponding
%discrete
integrable hierarchy
%is much easier
is easier and can be performed in a
more
systematic manner
as is illustrated
%for
%the example of a space-discrete
%the
%massive Thirring model
in section~\ref{sec3}.
%because
%as well as its non-evolutionary symmetry (\ref{sdMTM1}).
%An
%important
%advantage of
%this
%Our
%This approach is useful
%that
This approach
is
%appears to be
quite
useful for obtaining
%integrable
proper discretizations of
integrable systems
%which
that admit
%wherein two dependent variables are related
%to each other through a
the complex/Hermitian
%(or Hermitian)
conjugation reduction
between the two dependent variables,
such as
the NLS
system,
%(derivative) NLS-type
%and
%the
derivative NLS
%equations,
systems and their matrix generalizations;
%;
%we can impose
%maintain the Hermitian conjugation reduction
this is because the
%two
intermediate potentials
%are believed
%we can often
%impose
%a similar
%the complex conjugation reduction
%on
%all
generally
%properly
inherit
the
%same
%essential
internal symmetries
of
%as
the original
%PDEs,
continuous system,
%enabling
%such a
which guarantees the feasibility of such a
%the
reduction.
%in the discrete setting.
%are generally inherited by
%%in
%the
%%two
%intermediate potentials.
%also
%often
%admit the same reduction.
%complex conjugation reduction.
%inherit the same property.
%same reduction.
%in a way similar to the original potentials,
%admit
%of the
%so proper discretizations would be derived.
%Moreover,
%by applying
In the continuous case,
%using
by applying a nonlocal
%change
%transformations
transformation of
dependent
variables~\cite{Kun,WS,NCQL,KN
%,GIK
},
%\cite{David84,
%DHS84},
%[KN78,
%[GIK80],
we can
transform
%one derivative NLS equation,
%such as
%connect
%say
%{\em e.g.}
the Chen--Lee--Liu
%hierarchy
equation
%,
%,
%system
%in
to
%a
%its one-parameter deformation
%that includes
%with
other derivative NLS
equations
%hierarchies
%systems
such as
the Kaup--Newell
equation~\cite{KN}
%hierarchy~\cite{KN}
and the Ablowitz--Ramani--Segur (Gerdjikov--Ivanov)
equation~\cite{ARS,GI};
%hierarchy~\cite{ARS,GI}.
the same transformation applies to other flows of the integrable
hierarchy
%such as
including
the massive Thirring
%model in light-cone coordinates
model~\cite{KN2,GIK,NCQL,
%\cite{David84,
DHS84} (also see \cite{David84}).
Note that the nonlocal
%key
quantity used in
%defining
%the
this transformation
%is nonlocal;
%but
%however, it
%can be
is
%obtained
%as
%from
given by
%a
the first (or second) component of the linear eigenfunction
of the Lax-pair representation
%at
with the spectral parameter set equal to
%a specific value,
%usually
%say
%a value of
%zero (or infinity).
zero.
In a similar manner,
%In the discrete case,
we
can
%also
obtain
%also
%derive
%obtain
new
%integrable
proper space-discretizations of
other derivative
%nonlinear Schr\"odinger
NLS systems
%equations
%such as
%i.e.,
%the Kaup--Newell equation [KN]
%and the Ablowitz--Ramani--Segur equation [ARS].
from the space-discrete Chen--Lee--Liu
%equation (\ref{sdCLL4})
system (\ref{sdCLL3})
by applying a discrete analog of the nonlocal transformation.
Indeed, (\ref{gDB2}) with
(\ref{2nd_exp}) implies
that
%the relation satisfied by
the quantity \mbox{$Z_n := (-\delta)^{-n} \mathrm{e}^{\xi t}
\lim_{\zeta \to 0} \zeta^{n} \Psi_{1,n}
%=: Z_n
$}
satisfies the following relation
for any constant $\xi$:
%satisfies the relation:
%\begin{subequations}
%\label{Z_rel}
\begin{align}
%\delta
Z_{n+1} =
\left( \alpha \beta I - u_n v_n \right)
\left( -\gamma \delta I + u_n v_n \right)^{-1} Z_n.
\nonumber
\end{align}
The
%time-evolution equation for
time derivative of $Z_n$ for a suitably chosen $\xi$
can be
obtained from (\ref{general_M}) with
(\ref{Lax-Mn1})
%with
and (\ref{FG_choice}) as
\begin{align}
Z_{n,t} = \left( \alpha \beta - \gamma \delta \right)
\left[ a \beta \gamma \left( \beta \gamma I - u_{n-1} v_n \right)^{-1}
+ b \alpha \delta \left( \alpha \delta I - u_{n} v_{n-1} \right)^{-1} \right] Z_n.
\nonumber
\end{align}
%\end{subequations}
%Similarly,
%In a similar way,
%It is also possible to use
%the second component of the linear eigenfunction
%%provides
%to define a similar quantity.
Thus,
%we can apply
%by applying
%using
%a
the nonlocal transformation
%,
\[
q_n := Z_n^{-1} u_n, \hspace{5mm} r_n := v_n Z_n
\]
%or
%\[
%u_n = Z_{n+1} q_n, \hspace{5mm} v_n = r_n Z_{n+1}^{-1}
%\]
or its one-parameter generalization in the scalar case
\[
q_n := Z_n^{-k} u_n, \hspace{5mm} r_n := v_n Z_n^{k}
\]
can be applied
to (\ref{sdCLL2});
by setting \mbox{$\gamma=\alpha$},
%and
\mbox{$\delta=-\beta$} and \mbox{$\alpha \beta=1$},
(\ref{sdCLL2}) reduces to
(\ref{sdCLL3}) and
%which includes
%(\ref{sdCLL3}) as a special case;
%so
we obtain proper space-discretizations of other derivative NLS systems.
%More generally, we can
%%start from
%apply this transformation to (\ref{sdCLL1}) (or (\ref{sdCLL2})),
%which contains (\ref{sdCLL3}) as a special case.
%Using
%%a nonlocal change
%nonlocal transformations of
%dependent variables,
%%transformations,
%we also obtain new
%%integrable
%proper space-discretizations of
%other derivative
%%nonlinear Schr\"odinger
%NLS equations such as
%%i.e.,
%the Kaup--Newell equation and the Ablowitz--Ramani--Segur equation.
%
%It is well known that the Chen--Lee--Liu equation
%can be transformed to other derivative NLS equations;
%and
%the key
%the nonlocal quantity used in defining
%such transformations
%is given by
%%a
%the first (or second)
%component of the linear eigenfunction
%of the Lax-pair representation
%with
%%wherein
%the spectral parameter
%%is
%set
%%at
%equal to a specific value,
%usually
%%say
%%a value of
%zero (or infinity).
In the original formulation of
%the
%Recall that
B\"acklund--Darboux transformations~\cite{Kono82,Chud1,Chud2,Sall82,MaSa91,Pemp},
the intermediate potentials
%, {\em e.g.},
such as $u_m$ and $v_m$ in (\ref{ALDB1})
can be
%given
%expressed
written
explicitly
in terms of the linear eigenfunctions
at
some fixed
%special
values of the spectral parameter
$\zeta$.
%;
%so
%Thus,
Then,
%a
%the
B\"acklund--Darboux transformations
%they
%, they
can be applied
%recursively
iteratively
%to seed solutions of the equation considered
to
%produce its
obtain
%nontrivial
a sequence of new solutions of
a nonlinear
%an
integrable system
from
%a known
its seed
solution and the associated linear eigenfunctions;
%admitting the
%that admit a Lax-pair representation
%nonlinear equations
%wherein the values of the B\"acklund parameters can be chosen arbitrarily
%at each step of the application;
%and
the final result does not depend on the order of
%its
%applications.
applications.
%;
That is,
%in rough terms,
B\"acklund--Darboux transformations with (generally) different values of
the B\"acklund parameters
are mutually
%pairwise
commutative
%under suitable
as long as boundary conditions are fixed appropriately;
this fact can
%also
be understood intuitively
%if we
%one
%considers
%identifies
by identifying
B\"acklund--Darboux transformations
as
%the commutativity of
discrete-time flows
%belonging
that belong to
%in
the same integrable hierarchy.
%commute with each other.
%Leaving aside the knowledge on
Without taking into account
%of
how to
express the intermediate potentials
%$u_m$ and $v_m$
%chosen
%defined appropriately
%at each application of the B\"acklund--Darboux transformation
%using
in terms of the linear eigenfunctions of the Lax pair,
the permutability
%theorem
condition for B\"acklund--Darboux transformations
%provides
results in a matrix re-factorization problem
(see, {\it e.g.}, \cite{Ve03,GoVe04,Ve07}).
%[SuVe0304,
%nontrivial equation.
In the case considered in this paper,
it reads~\cite{Chud2,GoVe04,Ve07,SuVe03,BoSu08}
%[Orfa3822,
%suppressed,
\begin{align}
& L (\mathcal{U}', \mathcal{V}'; \mu, \nu, \xi, \eta)
%(u', v'; \alpha', \beta', \gamma', \delta')
L (u, v; \alpha, \beta, \gamma, \delta)
%\nonumber \\[1mm]
%= \; &
%&
= L (u', v'; \alpha, \beta, \gamma, \delta)
L (\mathcal{U}, \mathcal{V}; \mu, \nu, \xi, \eta),
%\nonumber
\label{YB_Lax}
\end{align}
where
the
%discrete
%Lax
matrix
$L (u, v; \alpha, \beta, \gamma, \delta)$
%appearing in (\ref{gDB2})
%in many different ways
is given by (\ref{Lax-Ln1}) with the unnecessary lattice index $n$ removed
%omitted
and the
%common
dependence
%of the Lax matrix $L$
on the spectral parameter $\zeta$
%is
suppressed.
%By solving this equation,
%we obtain
%This equation
Considering the matrix inverse
of $L$,
%$L (u, v; \alpha, \beta, \gamma, \delta)$,
%in (\ref{Lax-Ln1}),
%equation
we can rewrite (\ref{YB_Lax}) as~\cite{SuVe03,BoSu08}
\begin{align}
& L (u, v; \gamma, \delta, \alpha, \beta)
L (\mathcal{U}', \mathcal{V}'; \xi, \eta, \mu, \nu)
%(u', v'; \alpha', \beta', \gamma', \delta')
%\nonumber \\[1mm]
%= \; &
%&
= L (\mathcal{U}, \mathcal{V}; \xi, \eta, \mu, \nu)
L (u', v'; \gamma, \delta, \alpha, \beta).
%\nonumber
\label{YB_Lax2}
\end{align}
Equation (\ref{YB_Lax}) or (\ref{YB_Lax2})
can be naturally
represented
%in
%depicted using
using an elementary quadrilateral
%[SuVe0304]
and
%provides
defines
a parameter-dependent Yang--Baxter map
%of the derivative NLS type
%\mbox{$
\[
(u, v; \mathcal{U}', \mathcal{V}')
\mapsto
%\rightarrow
(u', v'; \mathcal{U}, \mathcal{V}),
\]
%$},
%and (\ref{YB_Lax}) itself
%%the equation itself can be considered as a
%provides its Lax-pair representation [GonVes, Ves].
%Note that
%in contrast to the
wherein
the
%dependent
%variables
fields
are assigned to
%on
%each
the edges
%sides
%side
of
%the square lattice
%a
the quadrilateral,
%square,
%i.e., not on
instead of the vertices~\cite{BoSu08,SuVe03,Ve07,PaToVe}.
%(\ref{YB_Lax}) itself
%the equation itself can be considered as a
%provides
%Its
The Lax
%-pair
(or zero-curvature)
representation for the Yang--Baxter map
is given by
%(\ref{YB_Lax})
(\ref{YB_Lax2})~\cite{GoVe04,SuVe03,Ve07,BoSu08}.
%or,
%%more precisely
%to match the common notation,
%the matrix inverse of $L$ in
%%transpose of
%(\ref{YB_Lax})~\cite{BoSu08}.
%[Ves].
%
%has a nontrivial solution;
%%where
%note that the
%%common
%dependence of the Lax matrix $L$
%on the spectral parameter $\zeta$ is
%suppressed.
%%omitted.
%In the case considered in this paper,
%our case,
%the B\"acklund--Darboux transformations of the form (\ref{ALDB1})
%are permutable
%as long as
%if the intermediate potentials $u_m$ and $v_m$ are
%chosen
%defined appropriately
%at each application of the B\"acklund--Darboux transformation
%using the linear eigenfunctions of the Lax pair.
%Lax-pair representation.
%so
%
%Thus, the commutativity condition for
%where
%Here,
%the
%discrete
%Lax matrix $L_n$
%appearing in (\ref{gDB2})
%in many different ways
%given
%by (\ref{Lax-Ln1}) with the unnecessary lattice index $n$ omitted,
%This
It is not evident from the explicit form of the Lax
%$L_n$
matrix in (\ref{Lax-Ln1})
that
%the above equation
%(\ref{YB_Lax})
(\ref{YB_Lax2})
%can uniquely define
can be solved uniquely
to provide
%the
%a
the Yang--Baxter map,
%indeed
%has a unique solution,
but the
%Yang--Baxter
map
itself
%solution
can, in principle,
be
%found
%by considering
%once
%by recalling
constructed using
the definition of the intermediate potentials $u$ and $v$
in terms of the linear eigenfunctions.
%are
%is given.
%In fact, this provides the Lax-pair representation for
%the corresponding Yang--Baxter map of the derivative NLS type,
%This
%%matrix
%re-factorization problem
%can be solved explicitly,
%for a suitable form
%%choice
%of the Lax matrices,
%the matrices $L_{m+1,n}$ and $V_{m,n+1}$ can be
%only two of the four matrices appearing
%that is, for
%a suitable
%the given
%form
%choice
%of the Lax matrices as given above,
%the two matrices on the left-hand side of (\ref{fd-Lax}) can uniquely
%determine the
%other
%remaining
%two matrices on the right-hand side and vice versa.
%uniquely.
%explicitly.
%Then, this provides a Yang--Baxter map
%and the
%Lax-pair representation is given by (\ref{fd-Lax}) itself [Ves, SuVe].
\addcontentsline{toc}{section}{References}
\begin{thebibliography}{99}
\bibitem{Hiro77}
R.\ Hirota:
{\em Nonlinear partial difference equations III; Discrete sine-Gordon equation},
J.\ Phys.\ Soc.\ Jpn.\ {\bf 43} (1977) 2079--2086.
\bibitem{Orfa1}
S.\ J.\ Orfanidis:
{\em Discrete sine-Gordon equations},
Phys.\ Rev.\ D {\bf 18} (1978) 3822--3827.
%\bibitem{Orfa1}
%S.\ J.\ Orfanidis:
%Phys.\ Rev.\ D {\bf 18} (1978) 3822.
\bibitem{Orfa2}
S.\ J.\ Orfanidis:
{\em Sine-Gordon equation and nonlinear $\sigma$ model on a lattice},
Phys.\ Rev.\ D {\bf 18} (1978) 3828--3832.
%\bibitem{Orfa2}
%S.\ J.\ Orfanidis:
%Phys.\ Rev.\ D {\bf 18} (1978) 3828.
\bibitem{AKNS73}
M.\ J.\ Ablowitz, D.\ J.\ Kaup, A.\ C.\ Newell and H.\ Segur:
{\em Nonlinear-evolution equations of physical significance},
Phys.\ Rev.\ Lett.\ {\bf 31} (1973) 125--127.
\bibitem{Kono82}
B.\ G.\ Konopelchenko:
{\em Elementary B\"acklund transformations, nonlinear superposition
principle and solutions of the integrable equations},
Phys.\ Lett.\ A {\bf 87} (1982) 445--448.
\bibitem{Chud1}
D.\ V.\ Chudnovsky and G.\ V.\ Chudnovsky:
{\em B\"acklund transformation as a method of decomposition and reproduction
of two-dimensional nonlinear systems},
Phys.\ Lett.\ A {\bf 87} (1982) 325--329.
\bibitem{Chud2}
D.\ V.\ Chudnovsky and G.\ V.\ Chudnovsky:
{\em B\"acklund transformations and lattice systems with G-gauge symmetries},
Phys.\ Lett.\ A {\bf 89} (1982) 117--122.
\bibitem{DJM83}
E. Date, M. Jimbo and T. Miwa:
{\em Method for generating discrete soliton equations.\ IV},
J.\ Phys.\ Soc.\ Jpn.\ {\bf 52} (1983) 761--765.
\bibitem{Calo76}
F.\ Calogero and A.\ Degasperis:
{\em Nonlinear evolution equations solvable by the inverse
spectral transform.\ I}, Nuovo Cimento B {\bf 32} (1976) 201--242.
\bibitem{Chen1}
H.-H.\ Chen:
{\em General derivation of B\"acklund transformations from
inverse scattering problems},
Phys.\ Rev.\ Lett.\ {\bf 33} (1974) 925--928.
\bibitem{Lamb74}
G.\ L.\ Lamb, Jr.:
{\em B\"acklund transformations for certain nonlinear evolution equations},
J.\ Math.\ Phys.\ {\bf 15} (1974) 2157--2165.
\bibitem{QNCL}
G.\ R.\ W.\ Quispel, F.\ W.\ Nijhoff, H.\ W.\
Capel and J.\ van der Linden:
{\em Linear integral equations and nonlinear difference-difference equations},
Physica A
{\bf 125} (1984) 344--380.
\bibitem{Linden2}
J.\ van der Linden, F.\ W.\ Nijhoff, H.\ W.\ Capel and G.\ R.\ W.\ Quispel:
{\em Linear integral equations and multicomponent nonlinear
integrable systems I}, Physica A {\bf 137} (1986) 44--80.
\bibitem{CLL}
H.\ H.\ Chen, Y.\ C.\ Lee and C.\ S.\ Liu: {\em Integrability of nonlinear
Hamiltonian systems by inverse scattering method},
Phys.\ Scr.\ {\bf 20} (1979) 490--492.
\bibitem{Chen80}
A.\ Nakamura and H.-H.\ Chen:
{\em Multi-soliton solutions of a derivative nonlinear Schr\"odinger equation},
J.\ Phys.\ Soc.\ Jpn.\ {\bf 49} (1980) 813--816.
\bibitem{Tsuchi02}
T.\ Tsuchida: {\em Integrable discretizations of
derivative nonlinear Schr\"odinger equations},
J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 35} (2002) 7827--7847.
\bibitem{TsuJMP11}
T.\ Tsuchida: {\em Systematic method of generating new integrable systems
via inverse Miura maps}, J.\ Math.\ Phys.\ {\bf 52} (2011) 053503.
\bibitem{SY91}
A. B. Shabat and R. I. Yamilov:
{\em Symmetries of nonlinear chains},
Leningrad Math.\ J.\ {\bf 2} (1991) 377--400.
\bibitem{AY94}
V. E. Adler and R. I. Yamilov:
{\em Explicit auto-transformations of integrable chains},
J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 27} (1994) 477--492.
\bibitem{ASY00}
V. E. Adler, A. B. Shabat and R. I. Yamilov:
{\em Symmetry approach to the integrability problem},
Theor.\ Math.\ Phys.\ {\bf 125} (2000) 1603--1661.
\bibitem{Comment}
T.\ Tsuchida: {\em Comment on ``Discretisations of constrained KP hierarchies"},
arXiv:1406.7324 [nlin.SI] (2014).
\bibitem{AL1}
M.\ J.\ Ablowitz and J.\ F.\ Ladik:
{\em Nonlinear differential--difference equations and Fourier analysis},
J.\ Math.\ Phys.\ {\bf 17} (1976) 1011--1018.
\bibitem{AL76}
M.\ J.\ Ablowitz
and J.\ F.\ Ladik:
{\em A nonlinear difference scheme and inverse scattering},
Stud.\ Appl.\ Math.\ {\bf 55} (1976) 213--229.
\bibitem{Li92}
Y.\ Li:
{\em B\"acklund transformations and homoclinic structures
for the integrable discretization of the NLS equation},
Phys.\ Lett.\ A {\bf 163} (1992) 181--187.
\bibitem{Zullo}
F.\ Zullo:
{\em On an integrable discretisation of the Ablowitz--Ladik
hierarchy}, J.\ Math.\ Phys.\ {\bf 54} (2013) 053515.
\bibitem{Vek98}
V.\ E.\ Vekslerchik:
{\em `Universality' of the Ablowitz--Ladik hierarchy},
arXiv:solv-int/9807005 (1998).
\bibitem{Vek02}
V.\ E.\ Vekslerchik:
{\em Functional representation of the Ablowitz--Ladik hierarchy.\ II},
J.\ Nonlinear Math.\ Phys.\ {\bf 9} (2002) 157--180.
\bibitem{Getmanov87}
I.\ V.\ Barashenkov and B.\ S.\ Getmanov:
{\em Multisoliton solutions in the scheme for unified description of integrable
relativistic massive fields.\ Non-degenerate $sl(2, \mathbb{C})$ case},
Commun.\ Math.\ Phys.\ {\bf 112} (1987) 423--446.
\bibitem{Getmanov93}
I.\ V.\ Barashenkov and B.\ S.\ Getmanov:
{\em The unified approach to integrable relativistic equations:\
Soliton solutions over nonvanishing backgrounds.\ II},
J.\ Math.\ Phys.\ {\bf 34} (1993) 3054--3072.
\bibitem{Sall82}
M.\ A.\ Sall':
{\em Darboux transformations for non-Abelian and
nonlocal equations of the Toda chain type},
Theor.\ Math.\ Phys.\ {\bf 53} (1982) 1092--1099.
\bibitem{MaSa91}
V.\ B.\ Matveev and M.\ A.\ Salle:
{\em Darboux Transformations and Solitons}
(Springer, Berlin, 1991).
\bibitem{Pemp}
F.\ Pempinelli, M.\ Boiti and J.\ Leon:
{\em B\"acklund and Darboux
%)
%transformations
transformations for the Ablowitz--Ladik spectral problem},
%in
Proceedings of the First Workshop on
Nonlinear Physics, Theory and Experiment
(Gallipoli,
%(Lecce),
Italy,
%June 29--July 7,
1995)
%ed.\
edited by E.\ Alfinito {\it et al.}
%, World Scientific, 1996,
(World Scientific, Singapore, 1996)
pp.\ 261--268.
\bibitem{KN2}
D.\ J.\ Kaup and A.\ C.\ Newell:
{\em On the Coleman correspondence and the solution of the massive Thirring model},
Lett.\ Nuovo Cimento {\bf 20} (1977) 325--331.
\bibitem{Morris79}
H. C. Morris: {\em The massive Thirring model connection},
J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 12} (1979) 131--134.
\bibitem{GIK}
V.\ S.\ Gerdjikov, M.\ I.\ Ivanov and P.\ P.\ Kulish:
{\em Quadratic bundle and
%the
nonlinear equations},
Theor.\ Math.\ Phys.\ {\bf 44} (1980) 784--795.
\bibitem{GI82}
V.\ S.\ Gerdzhikov and M.\ I.\ Ivanov:
{\em Hamiltonian structure of multicomponent nonlinear
Schr\"{o}dinger equations in difference form},
Theor.\ Math.\ Phys.\ {\bf 52} (1982) 676--685.
\bibitem{DM2010}
A.\ Dimakis and F.\ M\"uller-Hoissen:
{\em Solutions of matrix NLS systems and their discretizations:\
a unified treatment}, Inverse Probl.\ {\bf 26} (2010) 095007.
\bibitem{Chiu77}
S.-C.\ Chiu and J.\ F.\ Ladik:
{\em Generating exactly soluble nonlinear discrete evolution
equations by a generalized Wronskian technique},
J.\ Math.\ Phys.\ {\bf 18} (1977) 690--700.
\bibitem{Kako}
F.\ Kako and N.\ Mugibayashi:
{\em Complete integrability of
general nonlinear differential-difference equations
solvable by the inverse method.\ II},
Prog.\ Theor.\ Phys.\ {\bf 61} (1979) 776--790.
\bibitem{Suris97'}
Y.\ B.\ Suris:
{\em A note on an integrable discretization of the nonlinear
Schr\"odinger equation},
Inverse
%Inv.\
Probl.\ {\bf 13} (1997) 1121--1136.
\bibitem{WS}
M.\ Wadati and K.\ Sogo:
{\em Gauge transformations in soliton theory},
J.\ Phys.\ Soc.\ Jpn.\ {\bf 52} (1983) 394--398.
\bibitem{Dodd83}
R.\ Dodd and A.\ Fordy:
{\em The prolongation structures of quasi-polynomial flows},
Proc.\ R.\ Soc.\ Lond.\ A {\bf 385} (1983) 389--429.
\bibitem{Dodd84}
R.\ K.\ Dodd and A.\ P.\ Fordy:
{\em Prolongation structures of complex quasi-polynomial evolution equations},
J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 17} (1984) 3249--3266.
\bibitem{Linden1}
J.\ van der Linden, H.\ W.\ Capel and F.\ W.\ Nijhoff:
{\em Linear integral equations and multicomponent nonlinear integrable
systems II}, Physica A {\bf 160} (1989) 235--273.
\bibitem{TW3}
T.\ Tsuchida and M.\ Wadati:
{\em Complete integrability of derivative nonlinear
Schr\"{o}dinger-type equations},
% Inver.\
Inverse Probl.\ {\bf 15} (1999) 1363--1373.
\bibitem{Kuz}
E.\ A.\ Kuznetsov and A.\ V.\ Mikhailov:
{\em On the complete integrability of the two-dimensional classical Thirring model},
Theor.\ Math.\ Phys.\ {\bf 30} (1977) 193--200.
\bibitem{KaMoIno}
T.\ Kawata, T.\ Morishima and H.\ Inoue:
{\em Inverse scattering method for the two-dimensional massive Thirring model},
J.\ Phys.\ Soc.\ Jpn.\ {\bf 47} (1979) 1327--1334.
\bibitem{NCQL}
F.\ W.\ Nijhoff, H.\ W.\ Capel, G.\ R.\ W.\ Quispel and J.\ van der Linden:
{\em The derivative nonlinear Schr\"odinger equation and
the massive Thirring model},
Phys.\ Lett.\ A {\bf 93} (1983) 455--458.
\bibitem{NQC}
F.\ W.\ Nijhoff, G.\ R.\ W.\ Quispel and H.\ W.\ Capel:
{\em Linearization of nonlinear differential-difference equations},
Phys.\ Lett.\ A {\bf 95} (1983) 273--276.
\bibitem{Rourke}
D.\ E.\ Rourke:
{\em Elementary B\"acklund transformations for a discrete Ablowitz--Ladik
eigenvalue problem},
J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 37} (2004) 2693--2708.
\bibitem{AL77}
M.\ J.\ Ablowitz and J.\ F.\ Ladik:
{\em On the solution of a class of nonlinear partial difference equations},
Stud.\ Appl.\ Math.\ {\bf 57} (1977) 1--12.
\bibitem{2010JPA}
T.\ Tsuchida:
{\em A systematic method for constructing time
discretizations of integrable lattice systems:\ local
equations of motion},
J.\ Phys.\ A:\ Math.\ Theor.\ {\bf 43} (2010) 415202;
%(22pp).
%earlier
a longer
%full
%preprint
version is arXiv:0906.3155 [nlin.SI].
\bibitem{Adler08}
V.\ E.\ Adler and V.\ V.\ Postnikov:
{\em On vector analogs of the modified Volterra lattice},
J.\ Phys.\ A:\ Math.\ Theor.\ {\bf 41} (2008) 455203.
\bibitem{Morris80}
R.\ K.\ Dodd and H.\ C.\ Morris:
{\em B\"acklund transformations},
Geometrical Approaches to Differential Equations
(Lecture Notes in Math.\ {\bf 810},
Springer, Berlin,
%Heidelberg,
1980) pp.\ 63--94.
\bibitem{Pri81}
A.\ K.\ Prikarpatskii: {\em Geometrical structure and B\"acklund transformations
of nonlinear evolution equations possessing a Lax representation},
Theor.\ Math.\ Phys.\ {\bf 46} (1981) 249--256.
\bibitem{David84}
D.\ David: {\em On an extension of the classical Thirring model},
J.\ Math.\ Phys.\ {\bf 25} (1984) 3424--3432.
\bibitem{DHS84}
D.\ David, J.\ Harnad and S.\ Shnider:
{\em Multi-soliton solutions to the Thirring model through
the reduction method}, Lett.\ Math.\ Phys.\
{\bf 8} (1984) 27--37.
\bibitem{BGK93}
I.\ V.\ Barashenkov, B.\ S.\ Getmanov and V. E. Kovtun:
{\em The unified approach to integrable relativistic equations:\
Soliton solutions over nonvanishing backgrounds.\ I},
J.\ Math.\ Phys.\ {\bf 34} (1993) 3039--3053.
\bibitem{Ize81}
A.\ G.\ Izergin and V.\ E.\ Korepin:
{\em A lattice model related to the nonlinear Schr\"odinger equation},
Sov.\ Phys.\ Dokl.\ {\bf 26} (1981) 653--654.
\bibitem{Olver2}
P.\ J.\ Olver and V.\ V.\ Sokolov:
{\em Non-abelian integrable systems of the derivative nonlinear
Schr\"{o}dinger type},
%Inver.\
Inverse Probl.\ {\bf 14} (1998) L5--8.
\bibitem{Ad}
V.\ E.\ Adler:
{\em On the relation between multifield and multidimensional integrable
equations}, e-print
%{\it e-print} arXiv}
nlin.SI/0011039 (2000).
\bibitem{Dimakis}
A.\ Dimakis and F.\ M\"{u}ller-Hoissen:
{\em From AKNS to derivative NLS hierarchies via deformations
of associative products},
J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 39} (2006) 14015--14033.
\bibitem{TsuJMP10}
T.\ Tsuchida: {\em New reductions of integrable matrix partial differential
equations:\ $Sp(m)$-invariant systems},
J.\ Math.\ Phys.\ {\bf 51} (2010) 053511.
\bibitem{Kulish}
P.\ P.\ Kulish:
{\em Quantum difference nonlinear Schr\"odinger equation},
Lett.\ Math.\ Phys.\ {\bf 5} (1981) 191--197.
\bibitem{Wang13}
F.\ Khanizadeh, A.\ V.\ Mikhailov and J.\ P.\ Wang:
{\em Darboux transformations and recursion operators
for differential-difference equations},
Theor.\ Math.\ Phys.\ {\bf 177} (2013) 1606--1654.
\bibitem{Skly82}
E.\ K.\ Sklyanin:
{\em Quantum version of the method of inverse scattering problem},
J.\ Soviet Math.\ {\bf 19} (1982) 1546--1596.
\bibitem{Semenov}
M.\ A.\ Semenov-Tyan-Shanskii:
{\em What is a classical $r$-matrix$\hspace{1pt}$?},
Funct.\ Anal.\ Appl.\ {\bf 17} (1983) 259--272.
\bibitem{NCQ83}
F.\ W.\ Nijhoff, H.\ W.\ Capel
and G.\ R.\ W.\ Quispel:
{\em Integrable lattice version of the massive Thirring model and
its linearization}, Phys.\ Lett.\ A {\bf 98} (1983) 83--86.
\bibitem{Kono79}
B.\ G.\ Konopelchenko:
{\em The group structure of B\"acklund transformations},
Phys.\ Lett.\ A {\bf 74} (1979) 189--192.
\bibitem{Konop3}
B.\ G.\ Konopelchenko:
{\em Transformation properties of the integrable evolution equations},
Phys.\ Lett.\ B {\bf 100} (1981) 254--260.
\bibitem{KN}
D.\ J.\ Kaup and A.\ C.\ Newell: {\em An exact solution for a derivative
nonlinear Schr\"{o}dinger equation},
J.\ Math.\ Phys.\ {\bf 19} (1978) 798--801.
\bibitem{Kun}
A. Kundu: {\it Landau--Lifshitz and higher-order nonlinear systems
gauge generated from nonlinear Schr\"{o}dinger-type equations},
J.\ Math.\ Phys.\ {\bf 25} (1984) 3433--3438.
\bibitem{ARS}
M.\ J.\ Ablowitz, A.\ Ramani and H.\ Segur:
{\em A connection between nonlinear evolution equations and ordinary
differential equations of P-type.\ II},
J.\ Math.\ Phys.\ {\bf 21} (1980) 1006--1015.
\bibitem{GI}
V.\ S.\ Gerdjikov and M.\ I.\ Ivanov:
{\em The quadratic bundle of general form and the nonlinear
evolution equations.\ II.\ Hierarchies of Hamiltonian structures},
%Bulgarian J. Phys., v.10, N.2, 130-143, (1983)
Bulg.\ J.\ Phys.\ {\bf 10} (1983) 130--143 [in Russian].
\bibitem{Ve03}
A.\ P.\ Veselov: {\em Yang--Baxter maps and integrable dynamics},
Phys.\ Lett.\ \/A {\bf 314} (2003) 214--221.
\bibitem{GoVe04}
V.\ M.\ Goncharenko and A.\ P.\ Veselov:
{\em Yang--Baxter maps and matrix solitons},
New Trends in Integrability and Partial Solvability,
NATO Science Series
Vol.~132 (2004)
%edited by A.~B.~Shabat {\it et al.}
%, World Scientific, 1996,
pp.~191--197.
%, arXiv:math-ph/0303032
\bibitem{Ve07}
A.\ Veselov:
{\em Yang--Baxter maps:\ dynamical point of view},
Combinatorial Aspect of Integrable Systems,
%MSJ
Mathematical Society of Japan Memoirs
Vol.~17 (2007) pp.~145--167.
\bibitem{SuVe03}
Y.\ B.\ Suris and A.\ P.\ Veselov:
{\em Lax matrices for Yang--Baxter maps},
J.\ Nonlin.\ Math.\ Phys.\ {\bf 10} Suppl.~2 (2003) 223--230.
\bibitem{BoSu08}
A.\ I.\ Bobenko and Y.\ B.\ Suris:
{\em Discrete Differential Geometry.\ Integrable Structure},
Graduate Studies in Mathematics,
Vol.~98
%(American Mathematical Society,
(AMS,
Providence, 2008).
\bibitem{PaToVe}
V.\ G.\ Papageorgiou, A.\ G.\ Tongas
and A.\ P.\ Veselov:
{\em Yang--Baxter maps and symmetries of integrable equations on quad-graphs},
J.\ Math.\ Phys.\ {\bf 47} (2006) 083502.
%\bibitem{NCWQ}
%F.\ W.\ Nijhoff, H.\ W.\ Capel, G.\ L.\ Wiersma
%and G.\ R.\ W.\ Quispel: Phys.\ Lett.\ A {\bf 103} (1984) 293.
%\bibitem{NijCap}
%F.\ Nijhoff and H.\ Capel:
%Acta Appl.\
%%icandae
%Math.\
%%ematicae
%{\bf 39} (1995) 133.
%\bibitem{Taha1}
%T.\ R.\ Taha and M.\ J.\ Ablowitz:
%J.\ Comp.\ Phys.\ {\bf 55} (1984) 192.
%\bibitem{Kako}
%F.\ Kako and N. Mugibayashi: Prog.\ Theor.\ Phys.\ {\bf 61} (1979) 776.
%\bibitem{Suris00}
%Y.\ B.\ Suris:
%Inv.\ Probl.\ {\bf 16} (2000) 1071.
%\bibitem{Dodd}
%R.\ K.\ Dodd:
%J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 11} (1978) 81.
%\bibitem{FT87}
%L.\ D.\ Faddeev and L.\ A.\ Takhtajan:
%{\it Hamiltonian Methods in the Theory of Solitons}
%(Springer,
%%-Verlag,
%Berlin,
%%Heidelberg and New York,
%1987) translated by A.\ G.\ Reyman.
%\bibitem{Suris03}
%%Yuri
%Y.\ B.\ Suris:
%%,
%{\it The Problem of Integrable Discretization:\ Hamiltonian Approach}
%%Series: Progress in Mathematics , Vol. 219
%(Birkh\"auser, Basel, 2003).
%\bibitem{Hiro73}
%R.\ Hirota: J.\ Phys.\ Soc.\ Jpn.\ {\bf 35} (1973) 289.
%\bibitem{Taha3}
%T. R. Taha and M. J. Ablowitz: J.\ Comp.\ Phys.\ {\bf 55} (1984) 231.
%\bibitem{Taha4}
%Taha and Ablowitz M J: J.\ Comp.\ Phys.\ {\bf 77} (1988) 540.
%\bibitem{AL0}
%M.\ J.\ Ablowitz and J.\ F.\ Ladik:
%J.\ Math.\ Phys.\ {\bf 16} (1975) 598.
%\bibitem{Wadati76}
%M.\ Wadati: Prog.\ Theor.\ Phys.\ {\bf 59} (1976) 36.
%\bibitem{HiroTsuji2}
%R.\ Hirota and S.\ Tsujimoto:
%J.\ Phys.\ Soc.\ Jpn.\ {\bf 64} (1995) 3125.
%\bibitem{Ab78}
%M.\ J.\ Ablowitz: Stud.\ Appl.\ Math.\ {\bf 58} (1978) 17.
%\bibitem{Kaji05}
%K.\ Kajiwara and A.\ Mukaihira:
%J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 38} (2005) 6363.
%\bibitem{Date1}
%E.\ Date, M.\ Jimbo and T.\ Miwa:
%J.\ Phys.\ Soc.\ Jpn.\ {\bf 51} (1982) 4116.
%\bibitem{Sada}
%T.\ Sadakane:
%J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 36} (2003) 87.
%\bibitem{Suris95}
%Y.\ B.\ Suris:
%Phys.\ Lett.\ A {\bf 206} (1995) 153.
%\bibitem{Taha2}
%T.\ R.\ Taha and M.\ J.\ Ablowitz:
%J.\ Comp.\ Phys.\ {\bf 55} (1984) 203.
%\bibitem{MaSa97}
%J.\ Matsukidaira, J.\ Satsuma, D.\ Takahashi, T.\ Tokihiro
%and M.\ Torii: Phys.\ Lett.\ A {\bf 225} (1997) 287.
%
%\bibitem{TaMa97}
%D.\ Takahashi and J.\ Matsukidaira:
%J.\ Phys.\ A:\ Math.\ Gen.\ {\bf 30} (1997) L733.
%
%\bibitem{TakaSatsu90}
%D.\ Takahashi and J.\ Satsuma:
%J.\ Phys.\ Soc.\ Jpn.\ {\bf 59} (1990) 3514.
%\bibitem{Hirota77}
%R.\ Hirota: J.\ Phys.\ Soc.\ Jpn.\
%{\bf 43} (1977) 2074.
%\bibitem{Hirota78}
%R.\ Hirota:
%J.\ Phys.\ Soc.\ Jpn.\ {\bf 45} (1978) 321.
%\bibitem{HiroTsuji1}
%R. Hirota, S. Tsujimoto and T. Imai:
%%Difference Scheme of Soliton equations
%in ``Future Directions of Nonlinear Dynamics in Physical
%and Biological Systems'' ed.\ by P.\ L.\ Christiansen
%%J. C. Eilbeck and R. D. Parmentier
%{\it et al.\ }(Plenum, New York, 1993) p.\ 7.
%\bibitem{}
%R.\ Hirota:
%J.\ Phys.\ Soc.\ Jpn.\ {\bf 66} (1997) 283.
%\bibitem{}
%M.\ Iwasaki and Y.\ Nakamura:
%2004 Inverse Problems {\bf 20} 553.
%\bibitem{TTF83}
%V.\ O.\ Tarasov, L.\ A.\ Takhtadzhyan and L.\ D.\ Faddeev:
%Theor.\ Math.\ Phys.\ {\bf 57} (1983) 1059.
%\bibitem{Date4}
%E.\ Date, M.\ Jimbo
%and T.\ Miwa: J.\ Phys.\ Soc.\ Jpn.\ {\bf 52} (1983) 761.
%\bibitem{ABS03}
%V.\ E.\ Adler, A.\ I.\ Bobenko and Y.\ B.\ Suris:
%Commun.\ Math.\ Phys.\ {\bf 233} (2003) 513.
%\bibitem{ABS09}
%V.\ E.\ Adler, A.\ I.\ Bobenko and Y.\ B.\ Suris:
%Funct.\ Anal.\ Appl.\ {\bf 43} (2009) 3.
%%(to appear) arXiv:\,0705.1663.
%\bibitem{NijWal}
%F.\ W.\ Nijhoff and A.\ J.\ Walker:
%Glasgow Math.\ J.\ {\bf 43A} (2001) 109.
\end{thebibliography}
\end{document}