1: %-------------------------------------------------------------------------------
2: \documentclass[a4paper,11pt]{article}
3: \usepackage{amsmath,amsthm,graphicx}
4: \usepackage[english]{babel}
5: \usepackage[width=0.9\textwidth,indention=5mm,justification=centerlast,
6: font=small,labelfont=bf,labelsep=period]{caption}
7: \usepackage{hyperref}
8:
9: \advance\textwidth 24mm \advance\oddsidemargin -12mm
10: \advance\textheight 20mm \advance\topmargin -15mm
11:
12: \theoremstyle{plain}
13: \newtheorem{statement}{Statement}
14:
15: \def\a{\alpha}
16: \def\b{\beta}
17: \def\g{\gamma}
18: \def\la{\lambda}
19: \def\const{\mathop{\rm const}}
20: \def\SP<#1>{\langle#1\rangle}
21:
22: %-------------------------------------------------------------------------------
23: \begin{document}
24: \title{On vector analogs of the modified Volterra lattice}
25: \author{V.E. Adler\thanks{L.D. Landau Institute for Theoretical Physics,
26: Chernogolovka, Russia. E-mail: adler@itp.ac.ru},\quad
27: V.V. Postnikov\thanks{Sochi Branch of Peoples' Friendship University of Russia,
28: Sochi, Russia.\newline \strut~~~~~E-mail: postnikovvv@rambler.ru}}
29:
30: \date{1 August 2008}
31:
32: \maketitle
33:
34: \begin{abstract}
35: Modified Volterra lattice admits two vector generalizations. One of them is
36: studied for the first time. The zero curvature representations, B\"acklund
37: transformations, nonlinear superposition principle and the simplest explicit
38: solutions of soliton and breather type are presented for both vector lattices.
39: The relations with some other integrable equations are established.
40: \medskip
41:
42: Key words: Volterra lattice, Darboux transformation, nonlinear superposition
43: principle, zero curvature representation, symmetry.
44: \end{abstract}
45:
46: %-------------------------------------------------------------------------------
47: \section{Introduction}
48:
49: Vector equations are an important and rather well studied class of
50: integrable system. Among others, we mention but a few works in this area
51: \cite{Fordy, Tsuchida_Wadati, Sokolov_Wolf} containing the examples and
52: classification results for the vectorial systems of derivative nonlinear
53: Schr\"odinger type which are in some relation to the theme of our paper.
54: There are also several interesting results for the vector
55: differential-difference equations, or lattices, see e.g.
56: \cite{Ablowitz_Ohta_Trubatch, Tsuchida}, but this field seems less
57: investigated. The aim of our work is the study of the vector lattices
58: \begin{gather}
59: \label{V1}
60: V_{n,x}=2\SP<V_n,V_{n+1}-V_{n-1}>V_n-\SP<V_n,V_n>(V_{n+1}-V_{n-1}),\\[0.5em]
61: \label{V2}
62: V_{n,x}=\SP<V_n,V_n>(V_{n+1}-V_{n-1}),
63: \end{gather}
64: which define two integrable generalizations of the very well known modified
65: Volterra lattice. Equation (\ref{V1}) was introduced in
66: \cite{Adler_Svinolupov_Yamilov} among the other examples of the
67: multi-component lattices related to Jordan algebraic structures. Second
68: lattice is considered here for the first time, up to our knowledge, despite
69: of its more simple form.
70:
71: The main tool in the study of a nonlinear integrable equation is its
72: representation as the compatibility condition for auxiliary linear systems.
73: In the differential-difference setting this method was developed in the
74: classical papers \cite{Case_Kac, Manakov}. In our paper we restrict
75: ourselves by the version of dressing method based on Darboux-B\"acklund
76: transformations and their nonlinear superposition principle. The main
77: results for the scalar lattice are given in Section \ref{s.sc}. The main
78: body of the paper, Sections \ref{s.V1}, \ref{s.V2}, contains generalizations
79: of this method for both vector lattices (\ref{V1}), (\ref{V2}), as well as
80: the simplest explicit solutions of soliton and breather type.
81:
82: A characteristic feature of integrability is the consistency of the equation
83: with an infinite hierarchy of other equations. In particular, B\"acklund
84: transformations define the discrete part of this hierarchy and lead to the
85: discrete equations on the square grid. Usually, one starts this way from the
86: continuous equations of KdV type, however an understanding appeared recently
87: that the lattice equations of Volterra type lead to the same result as well
88: \cite{Nijhoff_Hone_Joshi, Adler_Suris, Levi_Petrera_Scimiterna}. This
89: relation has not been observed in the vector case yet, although the discrete
90: equation related to the lattice (\ref{V1}) has been introduced in the paper
91: \cite{Schief}, see also \cite{Bobenko_Suris_2002, Bobenko_Suris_2005,
92: Adler_1995}.
93:
94: The continuous part of the picture (Section \ref{s.sym}) is more
95: traditional. It was observed in works of Levi \cite{Levi} and Shabat,
96: Yamilov \cite{Shabat_Yamilov} that integrable Volterra type lattices define
97: a special kind of B\"acklund transformations for equations of nonlinear
98: Schr\"odinger type. This remains valid for the vector analogs as well. The
99: connection with a two-dimensional lattice relative to the Volterra lattice
100: introduced by Mikhailov \cite{Mikhailov} is of interest, too. Finally, it
101: should be noted that the approach based on the continuous symmetries is the
102: most effective one in the classification problem of integrable equations,
103: both continuous and discrete \cite{Mikhailov_Shabat_Yamilov}. The complete
104: classification of scalar Volterra type lattices was obtained by Yamilov
105: \cite{Yamilov_1983} by use of the symmetry approach, see also
106: \cite{Levi_Yamilov, Yamilov_2006}. Some progress in classification of vector
107: equations and lattices has been achieved recently \cite{Sokolov_Wolf,
108: Meshkov_Sokolov, Tsuchida_Wolf, Adler_2008}. We discuss some open problems
109: in this field in the concluding Section \ref{s.more}.
110:
111: %-------------------------------------------------------------------------------
112: \section{Scalar case}\label{s.sc}
113:
114: %-------------------------------------------------------------------------------
115: \subsection{Zero curvature representations}\label{s.sc.ZCR}
116:
117: The following notations for the auxiliary linear equations are used throughout
118: the paper:
119: \begin{equation}\label{sc.LAM}
120: \Psi_{n+1}=L_n\Psi_n,\quad
121: \Psi_{n,x}=A_n\Psi_n,\quad
122: \tilde\Psi_n=M_n\Psi_n.
123: \end{equation}
124: Modified Volterra lattice
125: \begin{equation}\label{sc.vx}
126: v_{n,x}=(v^2_n+a)(v_{n+1}-v_{n-1})
127: \end{equation}
128: is equivalent to the compatibility condition $L_{n,x}=A_{n+1}L_n-L_nA_n$
129: with the matrices
130: \begin{equation}\label{sc.LA}
131: L_n=\begin{pmatrix}
132: \dfrac{a}{\la} & v_n \\[1em]
133: -v_n & \la \end{pmatrix},\quad
134: A_n=\begin{pmatrix}
135: \dfrac{a^2}{\la^2}+v_{n-1}v_n & \dfrac{a}{\la}v_n+\la v_{n-1}\\[1em]
136: -\dfrac{a}{\la}v_{n-1}-\la v_n & \la^2+v_{n-1}v_n \end{pmatrix}.
137: \end{equation}
138: The Darboux-B\"acklund transformation is defined by the matrix
139: \begin{equation}\label{sc.M}
140: M_n=\frac1{a+\mu^2f^2_n}\begin{pmatrix}
141: \mu(a^2-\mu^2\la^2)-a\mu(\la^2-\mu^2)f^2_n & -(a^2-\mu^4)\la f_n \\[0.5em]
142: (a^2-\mu^4)\la f_n & a\mu(\la^2-\mu^2)-\mu(a^2-\mu^2\la^2)f^2_n \end{pmatrix}.
143: \end{equation}
144: Moreover, the compatibility condition $\tilde L_nM_n=M_{n+1}L_n$ is
145: equivalent to the pair of discrete Riccati equation for the variable $f_n$:
146: \begin{equation}
147: \label{sc.vvff}
148: v_n=\frac{\mu f_{n+1}-af_n/\mu}{1+f_nf_{n+1}},\qquad
149: \tilde v_n=\frac{\mu f_n-af_{n+1}/\mu}{1+f_nf_{n+1}}
150: \end{equation}
151: and the condition $M_{n,x}=\tilde A_nM_n-M_nA_n$ completes this system with
152: the continuous Riccati equation
153: \begin{equation}
154: \label{sc.vvf}
155: f_{n,x}=\Bigl(\frac{a}{\mu}v_{n-1}+\mu v_n\Bigr)f^2_n
156: +\Bigl(\frac{a^2}{\mu^2}-\mu^2\Bigr)f_n+\mu v_{n-1}+\frac{a}{\mu}v_n.
157: \end{equation}
158: Notice also that the variable $f_n$ satisfies, in virtue of equations
159: (\ref{sc.vvff}), (\ref{sc.vvf}), the lattice
160: \begin{equation}\label{sc.fx}
161: f_{n,x}=\frac{(\mu^2+af^2_n)(a+\mu^2f^2_n)(f_{n+1}-f_{n-1})}
162: {\mu^2(1+f_{n+1}f_n)(1+f_nf_{n-1})}.
163: \end{equation}
164: Starting from a known solution $v_n$ of the lattice (\ref{sc.vx}) the common
165: solution of the first equation (\ref{sc.vvff}) and equation (\ref{sc.vvf})
166: is constructed by the formula $f_n=\phi_n/\varphi_n$ where
167: $\Psi=(\phi,\varphi)$ is a particular solution of two first equations
168: (\ref{sc.LAM}) at $\la=\mu$. Then the second equation (\ref{sc.vvff})
169: defines the new solution $\tilde v_n$.
170:
171: \begin{figure}[t]
172: \centerline{
173: \includegraphics[width=7cm]{mv1.eps}\qquad
174: \includegraphics[width=7cm]{mv2.eps}}
175: \centerline{\includegraphics[width=10cm]{mv3.eps}}
176: \caption{Breather of the lattice (\ref{sc.vx}); $a=1$,
177: $\g^{(1)}_1=\bar\g^{(2)}_1=0.5+1.5i$, $k^{(1)}=k^{(2)}=1$.}
178: \label{fig:sc.breather}
179: \end{figure}
180:
181: For example, in order to construct solutions of soliton type one takes
182: $v_n=1$ as the seed solution (obviously, the choice of another constant is
183: equivalent to scaling of parameter $a$; some generalization can be achieved
184: via dressing of blinking solution $v_{2n}=\a$, $v_{2n+1}=\b$). The
185: eigenvalues of the matrix $L_n|_{v_n=1,\la=\mu}$ are defined from the
186: equations
187: \[
188: \g_1+\g_2=\mu+a/\mu,\quad \g_1\g_2=1+a
189: \]
190: and the corresponding solution of the linear equations is
191: \[
192: \varphi_n=\g^n_1e^{(\g^2_1+2)x}+k\g^n_2e^{(\g^2_2+2)x},\quad
193: \phi_n=\mu\varphi_n-\varphi_{n+1}
194: \]
195: (we do not consider the case of multiple roots $\g_1=\g_2$ which leads to
196: rational in $n,x$ solutions). The ratio $f_n=\phi_n/\varphi_n$ defines the
197: solution of the lattice (\ref{sc.fx}) of kink type (provided $\g_1/\g_2>0$,
198: $k>0$) and the substitution into the second equation (\ref{sc.vvff}) gives
199: the soliton of the lattice (\ref{sc.vx}). The construction of $N$-soliton
200: solution uses the set of particular solutions
201: $(\phi^{(j)}_n,\varphi^{(j)}_n)$ corresponding to the values of parameters
202: $\mu^{(j)}$, $k^{(j)}$, $j=1,\dots,N$. If $a>0$ then the lattice
203: (\ref{sc.vx}) admits the breather solutions corresponding to the pairs of
204: complex conjugated points in the discrete spectrum
205: ($\mu^{(1)}=\bar\mu^{(2)}$, $k^{(1)}=\bar k^{(2)}$).
206:
207: %-------------------------------------------------------------------------------
208: \subsection{Nonlinear superposition principle}\label{s.sc.NSP}
209:
210: The direct recomputing of the variables $f$ is a more convenient way to
211: iterate the Darboux transformation than applying the matrices $M$ and
212: recomputing the wave functions. This leads to the nonlinear superposition
213: principle of Darboux transformations in the form of some Yang-Baxter mapping
214: \cite{Adler_Bobenko_Suris_2004}. Let the variables $f^{(j)}_n$ be
215: constructed from the particular solutions of the linear systems at
216: $\mu=\mu^{(j)}$, and let $f^{(j,j_1,\dots,j_s)}_n$ denote the variables
217: obtained from $f^{(j)}_n$ by consequent application of Darboux
218: transforms with parameters $\mu^{(j_1)},\dots,\mu^{(j_s)}$. Then the
219: permutability of Darboux transformations is equivalent to the following
220: equality for the matrices of the form (\ref{sc.M}):
221: \[
222: M(f^{(j,k,\sigma)}_n,\mu^{(j)})M(f^{(k,\sigma)}_n,\mu^{(k)})
223: =M(f^{(k,j,\sigma)}_n,\mu^{(k)})M(f^{(j,\sigma)}_n,\mu^{(j)})
224: \]
225: where $\sigma$ stands for a tail sequence of distinct indices. This equation
226: is uniquely solvable with respect to $f^{(j,k,\sigma)}_n,f^{(k,j,\sigma)}_n$
227: and thus the mapping is defined
228: \begin{gather}
229: \nonumber
230: \binom{f^{(j,\sigma)}_n}{f^{(k,\sigma)}_n} \mapsto
231: \binom{f^{(j,k,\sigma)}_n}{f^{(k,j,\sigma)}_n}=
232: \binom{R(f^{(j,\sigma)}_n,f^{(k,\sigma)}_n;\mu^{(j)},\mu^{(k)})}
233: {R(f^{(k,\sigma)}_n,f^{(j,\sigma)}_n;\mu^{(k)},\mu^{(j)})},\\[0.5em]
234: \label{sc.R}
235: R(f,g;\mu,\nu)=
236: \frac{\mu\nu^3(\nu g-\mu f)-a\nu(\mu^2-\nu^2)fg^2-a^2(\mu g-\nu f)}
237: {\mu\nu^3(\mu g-\nu f)g+a\nu(\mu^2-\nu^2)-a^2(\nu g-\mu f)g}.
238: \end{gather}
239:
240: Another formulation of nonlinear superposition principle brings to a
241: discrete 4-point equation on the square grid for some new variable
242: $z^{(j,k)}_n$ (the subscript corresponds to the shift in the Volterra
243: lattice and is dummy, superscripts enumerate the Darboux transformations).
244: This equation is not too convenient for the purpose of the vector
245: generalizations which we have in mind, however it is of interest by itself
246: and we spend some space to describe it. The form of the equation depends on
247: the sign of $a$.
248:
249: In the simplest case $a=0$ equations (\ref{sc.vvff}) imply the relation
250: \[
251: \frac{\mu}{\tilde v_n}-\frac{\mu}{v_{n-1}}=f_{n+1}-f_{n-1}
252: \]
253: which allows to introduce the variable $z_n$ accordingly to the
254: equations
255: \[
256: f_n=\mu(\tilde z_n-z_{n-1}),\qquad 1/v_n=z_{n+1}-z_{n-1}.
257: \]
258: This change turns the relations (\ref{sc.vvff}) into a single equation
259: \[
260: (\tilde z_{n+1}-z_n)(z_{n+1}-\tilde z_n)=\mu^{-2}
261: \]
262: which define Darboux transformation in terms of the variable $z$. Now,
263: consider another Darboux transformation corresponding to the value
264: $\la=\nu$:
265: \[
266: (\hat z_{n+1}-z_n)(z_{n+1}-\hat z_n)=\nu^{-2}.
267: \]
268: The easy calculation proves that the double Darboux transformations
269: coincide: $\hat{\tilde z}_n=\tilde{\hat z}_n$ and moreover, the common value
270: is given by the superposition formula:
271: \[
272: (\hat{\tilde z}_n-z_n)(\hat z_n-\tilde z_n)=\mu^{-2}-\nu^{-2}.
273: \]
274: In other words, the Darboux transformations and superposition formula form
275: the triple which is 3D-consistent, or consistent around a cube
276: \cite{Adler_Bobenko_Suris_2003}. The iterations of Darboux transformation
277: bring to the discrete equation on the square grid (with fixed subscript)
278: \begin{equation}\label{sc.0NSP}
279: (z^{(j+1,k+1)}_n-z^{(j,k)}_n)(z^{(j,k+1)}_n-z^{(j+1,k)}_n)
280: =(\mu^{(j)})^{-2}-(\nu^{(k)})^{-2}.
281: \end{equation}
282: This is a very well-known 3D-consistent equation which defines as well the
283: nonlinear superposition principle of the classical Darboux transformation
284: for Schr\"odinger operator. This coincidence is not too surprising since it
285: is known for long that Volterra type lattices are symmetries of the dressing
286: chains which define B\"acklund transformations for KdV type equations (this
287: relation was discussed, from the different points of view, e.g. in
288: \cite{Shabat_Yamilov, Nijhoff_Hone_Joshi, Adler_Suris,
289: Levi_Petrera_Scimiterna}).
290:
291: Analogously, in the case $a=-c^2$ the variable $z_n$ is introduced
292: accordingly to the formulae
293: \[
294: f_n=\frac{\mu(\tilde z_n+z_{n-1})}{c(\tilde z_n-z_{n-1})},\qquad
295: v_n=c\frac{z_{n+1}+z_{n-1}}{z_{n+1}-z_{n-1}}.
296: \]
297: After this the relations (\ref{sc.vvff}) turn into equation
298: \[
299: a(\tilde z_{n+1}-z_n)(z_{n+1}-\tilde z_n)
300: =-\mu^2(\tilde z_{n+1}+z_n)(z_{n+1}+\tilde z_n),
301: \]
302: and (\ref{sc.0NSP}) is replaced by equation
303: \begin{equation}\label{sc.-NSP}
304: r(\mu^{(j)})\bigl(z^{(j,k)}_nz^{(j,k+1)}_n+z^{(j+1,k)}_nz^{(j+1,k+1)}_n\bigr)
305: =r(\nu^{(k)})\bigl(z^{(j,k)}_nz^{(j+1,k)}_n+z^{(j,k+1)}_nz^{(j+1,k+1)}_n\bigr)
306: \end{equation}
307: where $r(\la)=(\la^2-a)/(\la^2+a)$, which is equivalent to nonlinear
308: superposition principle for $\sinh$-Gordon equation.
309:
310: Finally, if $a=c^2$ then the change
311: \[
312: f_n=\frac{\mu(1+z_{n-1}\tilde z_n)}{c(z_{n-1}-\tilde z_n)},\qquad
313: v_n=c\frac{1+z_{n+1}z_{n-1}}{z_{n+1}-z_{n-1}}
314: \]
315: is used which brings equations (\ref{sc.vvff}) to the form
316: \[
317: a(\tilde z_{n+1}-z_n)(z_{n+1}-\tilde z_n)
318: =\mu^2(1+\tilde z_{n+1}z_n)(1+z_{n+1}\tilde z_n)
319: \]
320: and leads to equation
321: \begin{equation}\label{sc.+NSP}
322: \begin{gathered}
323: \bigl(r(\mu^{(j)})+r(\nu^{(j)})\bigr)
324: \bigl(z^{(j,k+1)}_n-z^{(j+1,k)}_n\bigr)
325: \bigl(z^{(j,k)}_n-z^{(j+1,k+1)}_n\bigr)
326: \qquad\qquad\qquad \\ \qquad\qquad\qquad
327: =\bigl(r(\mu^{(j)})-r(\nu^{(j)})\bigr)
328: \bigl(1+z^{(j,k+1)}_nz^{(j+1,k)}_n\bigr)
329: \bigl(1+z^{(j,k)}_nz^{(j+1,k+1)}_n\bigr)
330: \end{gathered}
331: \end{equation}
332: equivalent to nonlinear superposition principle for $\sin$-Gordon equation.
333: Equation (\ref{sc.-NSP}) turns into (\ref{sc.+NSP}) under the complex change
334: $z\to(i-z)/(i+z)$, so that these equations are two different real forms of
335: one and the same equation.
336:
337: Concluding this Section, we notice that an analogous construction scheme
338: exists also for solutions of the Volterra lattice
339: \[
340: u_{n,x}=u_n(u_{n+1}-u_{n-1}).
341: \]
342: The corresponding formulae are even much simpler, for example the equations
343: \[
344: u_n=(v_n-\mu)(v_{n+1}+\mu),\quad \tilde u_n=(v_{n+1}-\mu)(v_n+\mu)
345: \]
346: replaces (\ref{sc.vvff}) while the role of the lattice (\ref{sc.fx}) is
347: played by the lattice (\ref{sc.vx}) at $a=-\mu^2$. Therefore, the lattice
348: (\ref{sc.fx}) is actually the second modification of Volterra lattice. This
349: sequence is analogous to the sequence of equations KdV $\to$ mKdV $\to$
350: $\exp$-CD which can be obtained by continuous limit from the lattices under
351: consideration. Unfortunately, although the Volterra lattice admits some
352: multi-component generalizations \cite{Salle,Suris}, the vector ones are
353: absent, this is why we have started from the more complicated object.
354:
355: %-------------------------------------------------------------------------------
356: \section{First vector generalization}\label{s.V1}
357:
358: Sometimes the zero curvature representation for a vector generalization can
359: be obtained just by passing to the block matrices. Unfortunately, this is
360: not the case for the matrices (\ref{sc.LA}), (\ref{sc.M}). It turns out,
361: however, that such block generalization is easy if one consider the linear
362: equations for the length 3 vector with the components consisting of the
363: products of the components of $\Psi$. Additionally, it is convenient to
364: apply a gauge transformation in order to make the determinants of the
365: matrices $L,M$ constant and the matrix $A$ traceless. In this way we come to
366: the following matrices which define, as can be easily verified, the zero
367: curvature representation for the lattice (\ref{sc.vx}) at $a=0$ and its
368: B\"acklund transformation:
369: \[
370: L_n=\begin{pmatrix}
371: 0 & 0 & 1\\[0.7em]
372: 0 & -1 & \dfrac{\la}{v_n}\\[1em]
373: 1 & -\dfrac{2\la}{v_n} & \dfrac{\la^2}{v^2_n}
374: \end{pmatrix},\qquad
375: M_n=\begin{pmatrix}
376: \dfrac{\la^2}{\mu^2f^2_n} & -\dfrac{2\la}{\mu f_n} & 1\\[1em]
377: \dfrac{\la}{\mu f_n} & -1-\dfrac{\la^2}{\mu^2} & \dfrac{\la f_n}{\mu} \\[1em]
378: 1 & -\dfrac{2\la f_n}{\mu} & \dfrac{\la^2f^2_n}{\mu^2}\end{pmatrix},
379: \]\[
380: A_n=\la\begin{pmatrix}
381: -\la & 2v_{n-1} & 0\\[0.5em]
382: -v_n & 0 & v_{n-1} \\[0.5em]
383: 0 & -2v_n & \la\end{pmatrix}.
384: \]
385: It is not a problem to find the matrices for the general case $a\ne0$, but
386: they are more cumbersome. Fortunately, we will not need them, since one of
387: the vector lattices exists only in the case $a=0$ anyway, and for the second
388: one this assumption does not lead to the loss of generality (see Section
389: \ref{s.V2}).
390:
391: The block matrices for the vector lattices are derived from here under the
392: ``proper'' interpretation of $v_n$ as a vector-valued quantity. To make
393: notation more clear we toggle to the upper case for the vectors. We assume
394: that the vector space is equipped with a symmetric scalar product
395: $\SP<U,V>=\SP<V,U>$. The identity operator is denoted $I$ and the linear
396: form $V^\top$, inverse vector $V^{-1}$ and operator $UV^\top$ are defined as
397: follows:
398: \[
399: V^\top(U)=\SP<V,U>,\qquad V^{-1}=\frac{V}{\SP<V,V>}\qquad UV^\top(W)=U\SP<V,W>.
400: \]
401: In the case of finite-dimensional Euclidean space one can think of $V$ as of
402: the column vector and of $V^\top$ as of the row vector.
403:
404: The first vector analog of the lattice (\ref{sc.vx}) exists only at $a=0$.
405: It is of the form \cite{Adler_Svinolupov_Yamilov}
406: \begin{equation}\label{V1.Vx}
407: V_{n,x}=2\SP<V_n,V_{n+1}-V_{n-1}>V_n-\SP<V_n,V_n>(V_{n+1}-V_{n-1}).
408: \end{equation}
409: This lattice appears as the compatibility condition for the linear
410: systems
411: \begin{align}
412: \label{V1.T}
413: T\begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix}
414: &=\begin{pmatrix}
415: 0 & 0 & 1 \\
416: 0 & -I & \la V^{-1}_n \\
417: 1 & -2\la(V^{-1}_n)^\top & \la^2/\SP<V_n,V_n>
418: \end{pmatrix}
419: \begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix},\\[2mm]
420: \label{V1.D}
421: D_x\begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix}
422: &=\la\begin{pmatrix}
423: -\la & 2V^\top_{n-1} & 0 \\
424: -V_n & 0 & V_{n-1} \\
425: 0 & -2V^\top_n & \la
426: \end{pmatrix}
427: \begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix}.
428: \end{align}
429: Notice that the systems (\ref{V1.T}), (\ref{V1.D}) possess the first
430: integral in common
431: \begin{equation}\label{J}
432: J=\SP<\Psi_n,\Psi_n>-\psi_n\psi_{n-1},\qquad (T-1)(J)=D_x(J)=0.
433: \end{equation}
434: The Darboux transformation is defined by a particular solution at the zero
435: level of this first integral.
436:
437: \begin{statement}
438: Let $F_n=\Phi_n/\phi_n$ where $\psi=\phi$, $\Psi=\Phi$ is a particular
439: solution of the linear systems (\ref{V1.T}), (\ref{V1.D}) at $\la=\mu$ and
440: at $J=0$. Then the transformation
441: \begin{equation}\label{V1.DT}
442: \begin{pmatrix}\tilde\psi_{n-1}\\[1mm] \tilde\Psi_n\\[1mm]
443: \tilde\psi_n\end{pmatrix}
444: =\begin{pmatrix}
445: \dfrac{\la^2}{\mu^2\SP<F_n,F_n>} & -\dfrac{2\la}{\mu}(F^{-1}_n)^\top & 1 \\
446: \dfrac{\la}{\mu}F^{-1}_n
447: & \Bigl(\dfrac{\la^2}{\mu^2}-1\Bigr)I
448: -\dfrac{2\la^2}{\mu^2}F^{-1}_nF^\top_n & \dfrac{\la}{\mu}F_n \\
449: 1 & -\dfrac{2\la}{\mu}F^\top_n & \dfrac{\la^2}{\mu^2}\SP<F_n,F_n>
450: \end{pmatrix}
451: \begin{pmatrix}\psi_{n-1}\\[1mm] \Psi_n\\[1mm] \psi_n\end{pmatrix}
452: \end{equation}
453: maps the general solution of these systems into the solution of the systems
454: of the same form, with the original and transformed potentials related by
455: equations
456: \begin{equation}\label{V1.VVFF}
457: \mu V_n^{-1}=F_n+F^{-1}_{n+1},\qquad \mu\tilde V^{-1}_n=F_{n+1}+F^{-1}_n.
458: \end{equation}
459: \end{statement}
460:
461: The expanded form of relations (\ref{V1.VVFF}) is
462: \begin{equation}\label{V1.VVFF'}
463: \begin{aligned}
464: V_n&=\mu\frac{F_{n+1}+\SP<F_{n+1},F_{n+1}>F_n}
465: {1+2\SP<F_n,F_{n+1}>+\SP<F_n,F_n>\SP<F_{n+1},F_{n+1}>},\\
466: \tilde V_n&=\mu\frac{F_n+\SP<F_n,F_n>F_{n+1}}
467: {1+2\SP<F_n,F_{n+1}>+\SP<F_n,F_n>\SP<F_{n+1},F_{n+1}>}.
468: \end{aligned}
469: \end{equation}
470: Each of these transformations is the substitution to the lattice
471: (\ref{V1.Vx}) from the lattice
472: \[
473: F_{n,x}=\mu^2(F_{n-1}+F^{-1}_n)^{-1}-\mu^2(F_{n+1}+F^{-1}_n)^{-1}.
474: \]
475: It is easy to see that these formulae turn into (\ref{sc.vvff}) and
476: (\ref{sc.fx}) in the scalar case at $a=0$.
477:
478: \begin{figure}[t]
479: \centerline{
480: \includegraphics[width=7cm]{mV11.eps}\qquad
481: \includegraphics[width=7cm]{mV12.eps}}
482: \centerline{
483: \includegraphics[width=7cm]{mV13.eps}\qquad
484: \includegraphics[width=7cm]{mV14.eps}}
485: \caption{A soliton of the lattice (\ref{V1.Vx}); $C=(1,0)$, $K=(0,1)$, $\g=2$,
486: $c_1=1$, $c_3=-1$.}
487: \label{fig:V1.soliton}
488: \end{figure}
489:
490: The derivation of the nonlinear superposition principle is not more
491: difficult than in the scalar case. One comes by multiplying the matrices $M$
492: of the form (\ref{V1.DT}) to the following Yang-Baxter mapping (cf eq.
493: (\ref{sc.R}) at $a=0$)
494: \begin{gather}
495: \nonumber
496: F^{(j,k,\sigma)}_n=R(F^{(j,\sigma)}_n,F^{(k,\sigma)}_n;\mu^{(j)},\mu^{(k)}),\qquad
497: F^{(k,j,\sigma)}_n=R(F^{(k,\sigma)}_n,F^{(j,\sigma)}_n;\mu^{(k)},\mu^{(j)}),\\[0.5em]
498: \label{V1.R}
499: R(F,G;\mu,\nu)=
500: \frac{(\mu^2-\nu^2)\SP<G,G>F+\mu(\nu\SP<F,F>-2\mu\SP<F,G>+\nu\SP<G,G>)G}
501: {\SP<G,G>\SP<\nu F-\mu G,\nu F-\mu G>}.
502: \end{gather}
503:
504: It is possible to obtain the analog of equation (\ref{sc.0NSP}), too. Let us
505: introduce the new vector variable $Z_n$ accordingly to the formulae
506: \[
507: F_n=\mu(\tilde Z_n-Z_{n-1}),\qquad V^{-1}_n=Z_{n+1}-Z_{n-1}.
508: \]
509: Equations (\ref{V1.VVFF}) become equivalent to the single equation
510: \[
511: \tilde Z_{n+1}-Z_n=\mu^{-2}(Z_{n+1}-\tilde Z_n)^{-1}
512: \]
513: under this change. Next, consider Darboux transformation corresponding to
514: the spectral value $\la=\nu$:
515: \[
516: \hat Z_{n+1}-Z_n=\nu^{-2}(Z_{n+1}-\hat Z_n)^{-1}.
517: \]
518: The direct calculation shows that the repeated Darboux transformations
519: coincide: $\hat{\tilde Z}_n=\tilde{\hat Z}_n$ and moreover, the result is
520: given by the equation
521: \[
522: \hat{\tilde Z}_n-Z_n=(\mu^{-2}-\nu^{-2})(\hat Z_n-\tilde Z_n)^{-1}.
523: \]
524: Iterations of the Darboux transformation are governed by the 3D-consistent
525: discrete equation on the square grid (the subscript $n$ is dummy):
526: \[
527: Z^{(j+1,k+1)}_n-Z^{(j,k)}_n=\bigl((\mu^{(j)})^{-2}-(\nu^{(k)}\bigr)^{-2})
528: \bigl(Z^{(j,k+1)}_n-Z^{(j+1,k)}_n\bigr)^{-1}.
529: \]
530: This equation with important applications in the discrete geometry was
531: introduced in \cite{Schief} (a special reduction was considered in
532: \cite{Adler_1995}), see also \cite{Bobenko_Suris_2002,Bobenko_Suris_2005}.
533:
534: \begin{figure}[t]
535: \centerline{
536: \includegraphics[width=7cm]{mV15.eps}\qquad
537: \includegraphics[width=7cm]{mV16.eps}}
538: \caption{A breather of the lattice (\ref{V1.Vx}); $C=(1,0)$, $K=(0,1)$,
539: $\g^{(1)}=\bar\g^{(2)}=0.5+i$, $c^{(1)}_1=c^{(2)}_1=0.5$,
540: $c^{(1)}_3=c^{(2)}_3=1$.}
541: \label{fig:V1.breather}
542: \end{figure}
543:
544: Let us make use of Darboux transformation for construction of the soliton
545: solution. The solution of the linear equations (\ref{V1.T}), (\ref{V1.D})
546: with constant coefficients $V_n=C=\const$, $\SP<C,C>=1$, at $\la=\mu$ reads
547: \begin{equation}\label{phi}
548: \begin{gathered}
549: \phi_n=c_1\g^ne^{(\g-\g^{-1})x}+c_2\g^{-n}e^{(\g^{-1}-\g)x}+2c_3,\\
550: \Phi_n=(-1)^nK+\mu\left(\frac{c_1\g^n}{1+\g}\,e^{(\g-\g^{-1})x}
551: +\frac{c_2\g^{-n}}{1+\g^{-1}}\,e^{(\g^{-1}-\g)x}+c_3\right)C,\\
552: \mu^2=\g+2+\g^{-1},\qquad
553: \SP<C,K>=0,\qquad
554: \g\SP<K,K>=(1-\g)^2(c_1c_2-c^2_3)
555: \end{gathered}
556: \end{equation}
557: (the latter relation is equivalent to the constraint $J=0$; and we do not
558: consider the cases of multiple eigenvalues $\mu=0$, $\mu=\pm2$). The
559: equations (\ref{V1.VVFF}) bring, after elementary transformations, to the
560: one-soliton solution of the lattice (fig.~\ref{fig:V1.soliton})
561: \[
562: \tilde V_n=\frac{\phi_{n+1}\Phi_n+\phi_{n-1}\Phi_{n+1}}{\mu\phi^2_n}.
563: \]
564: Clearly, this solution always lies in the plane of the vectors $C,K$, that
565: is it is actually 2-component, independently on the dimension of the vector
566: space under consideration. The $C$-component is a soliton on the unit
567: background. Its shape is slightly different for positive and negative values
568: of $c_3$. The $K$-component has localized oscillations on the zero
569: background. They originate from the powers of $-1$ in the solution
570: (\ref{phi}) rather than a pair of complex conjugated points of the discrete
571: spectrum, that is this solution is not a genuine breather. However, the
572: additional dimension makes the breathers possible as well, in spite of the
573: absence of the parameter $a$ (fig.~\ref{fig:V1.breather}). The $N$-soliton
574: solution is constructed starting from a set of solutions of the form
575: (\ref{phi}) and evolves in the space spanned over the vectors
576: $C,K^{(1)},\dots,K^{(N)}$.
577:
578: %-------------------------------------------------------------------------------
579: \section{Second vector generalization}\label{s.V2}
580:
581: The lattice
582: \begin{equation}\label{V2.Ux}
583: U_{n,x}=(\SP<U_n,U_n>+a)(U_{n+1}-U_{n-1})
584: \end{equation}
585: looks more natural and simple generalization of the lattice (\ref{sc.vx}).
586: In contrast with (\ref{V1.Vx}) it is integrable at arbitrary value of
587: parameter $a$, though it turns out to be not so important as in the scalar
588: case. Indeed, it can be easily eliminated or, more precisely, ``confined
589: inside the lattice'' at the expense of increasing by 1 the dimension of the
590: vector space under consideration. This is done by means of the orthogonal
591: complement: let $U_n$ be a solution of the lattice (\ref{V2.Ux}) then the
592: vector
593: \begin{equation}\label{V2.E}
594: V_n=U_n+E,\quad E=\const,\quad \SP<U_n,E>=0,\quad \SP<E,E>=a
595: \end{equation}
596: (if $a<0$ then a pseudoeuclidean scalar product is used) satisfies the
597: lattice
598: \begin{equation}\label{V2.Vx}
599: V_{n,x}=\SP<V_n,V_n>(V_{n+1}-V_{n-1}).
600: \end{equation}
601: This transformation does not lead to any problem when constructing solutions
602: since the reduction (\ref{V2.E}) is consistent with higher symmetries and
603: B\"acklund transformation. On the other hand, all formulae simplify
604: essentially (cf e.g. equations (\ref{V2.VVFF}) and (\ref{V2.UUFF}) below).
605: The matrices of the zero curvature representation become simpler as well.
606:
607: The lattice (\ref{V2.Vx}) is the compatibility condition of the linear
608: systems
609: \begin{equation}
610: \label{V2.T}
611: T\begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix}
612: =\begin{pmatrix}
613: 0 & 0 & 1 \\[1em]
614: 0 & I -2V^{-1}_nV^\top_n & \la V^{-1}_n \\[1em]
615: 1 & -2\la(V^{-1}_n)^\top & \la^2/\SP<V_n,V_n>
616: \end{pmatrix}
617: \begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix},
618: \end{equation}
619: \begin{equation}
620: \label{V2.D}
621: D_x\begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix}
622: =\begin{pmatrix}
623: -\la^2 & 2\la V^\top_{n-1} & 0 \\[1em]
624: -\la V_n & 2V_nV^\top_{n-1}-2V_{n-1}V^\top_n & \la V_{n-1} \\[1em]
625: 0 & -2\la V^\top_n & \la^2
626: \end{pmatrix}
627: \begin{pmatrix} \psi_{n-1} \\ \Psi_n \\ \psi_n \end{pmatrix}.
628: \end{equation}
629: These systems possess the first integral (\ref{J}) in common, like
630: in the previous case.
631:
632: \begin{statement}
633: Let $F_n=\Phi_n/\phi_n$ where $\psi=\phi$, $\Psi=\Phi$ is a particular
634: solution of the linear systems (\ref{V2.T}), (\ref{V2.D}) at $\la=\mu$ and
635: such that $J=\SP<\Phi_n,\Phi_n>-\phi_n\phi_{n-1}=0$. Then the transform
636: \begin{equation}\label{V2.DT}
637: \begin{pmatrix}\tilde\psi_{n-1}\\[1mm] \tilde\Psi_n\\[1mm]
638: \tilde\psi_n\end{pmatrix}
639: =\begin{pmatrix}
640: \dfrac{\la^2}{\mu^2\SP<F_n,F_n>} & -\dfrac{2\la}{\mu}(F^{-1}_n)^\top & 1 \\
641: \dfrac{\la}{\mu}F^{-1}_n
642: & \Bigl(1-\dfrac{\la^2}{\mu^2}\Bigr)I-2F^{-1}_nF^\top_n & \dfrac{\la}{\mu}F_n\\
643: 1 & -\dfrac{2\la}{\mu}F^\top_n & \dfrac{\la^2}{\mu^2}\SP<F_n,F_n>
644: \end{pmatrix}
645: \begin{pmatrix}\psi_{n-1}\\[1mm] \Psi_n\\[1mm] \psi_n\end{pmatrix}
646: \end{equation}
647: maps the general solution of these systems into solution of the systems of
648: the same kind, with the original and transformed potential related by the
649: equations
650: \begin{equation}\label{V2.VVFF}
651: V_n=\mu\frac{F_{n+1}-\SP<F_{n+1},F_{n+1}>F_n}
652: {1-\SP<F_n,F_n>\SP<F_{n+1},F_{n+1}>},\qquad
653: \tilde V_n=\mu\frac{F_n-\SP<F_n,F_n>F_{n+1}}
654: {1-\SP<F_n,F_n>\SP<F_{n+1},F_{n+1}>}.
655: \end{equation}
656: \end{statement}
657:
658: In comparison with the previous Section, the equations (\ref{V2.VVFF}) are
659: slightly shorter than (\ref{V1.VVFF'}), but the analog of the lattice
660: (\ref{sc.fx}) is more cumbersome:
661: \[
662: F_{n,x}=\frac{\mu^2\SP<F_n,F_n>
663: \bigl((F_n-F^{-1}_{n-1})^{-1}-(F_n-F^{-1}_{n+1})^{-1}\bigr)}
664: {\SP<(F_n-F^{-1}_{n-1})^{-1},F_n+F^{-1}_{n-1}>
665: \SP<(F_n-F^{-1}_{n+1})^{-1},F_n+F^{-1}_{n+1}>}.
666: \]
667: The superposition of Darboux transformations is defined by the Yang-Baxter
668: map
669: \begin{gather}
670: \nonumber
671: F^{(j,k,\sigma)}_n=R(F^{(j,\sigma)}_n,F^{(k,\sigma)}_n;\mu^{(j)},\mu^{(k)}),\qquad
672: F^{(k,j,\sigma)}_n=R(F^{(k,\sigma)}_n,F^{(j,\sigma)}_n;\mu^{(k)},\mu^{(j)}),\\[0.5em]
673: \label{V2.R}
674: R(F,G;\mu,\nu)=
675: \frac{(\nu^2-\mu^2)\SP<G,G>F+\nu(\mu\SP<F,F>-2\nu\SP<F,G>+\mu\SP<G,G>)G}
676: {\SP<G,G>\SP<\nu F-\mu G,\nu F-\mu G>}.
677: \end{gather}
678: Notice that the formulae (\ref{V1.R}) and (\ref{V2.R}) coincide up to the
679: permutation of $\mu$ and $\nu$ in the numerator. Despite of such similarity,
680: an analog of equation (\ref{sc.0NSP}) is probably lacked in this case.
681:
682: \begin{statement}\label{th.noa}
683: The Darboux transformation is consistent with the reduction (\ref{V2.E}).
684: \end{statement}
685: \begin{proof}
686: Let us apply the change $V_n=U_n+E$, $F_n=H_n+h_nE$, $\SP<H_n,E>=0$ to the
687: equations (\ref{V2.VVFF}), with the scalar factor $h_n$ unknown for the
688: moment:
689: \begin{equation}\label{V2.h}
690: \begin{aligned}
691: U_n+E&=\mu\frac{H_{n+1}+h_{n+1}E-(\SP<H_{n+1},H_{n+1}>+ah^2_{n+1})(H_n+h_nE)}
692: {1-(\SP<H_n,H_n>+ah^2_n)(\SP<H_{n+1},H_{n+1}>+ah^2_{n+1})},\\
693: \tilde U_n+E&=\mu\frac{H_n+h_nE-(\SP<H_n,H_n>+ah^2_n)(H_{n+1}+h_{n+1}E)}
694: {1-(\SP<H_n,H_n>+ah^2_n)(\SP<H_{n+1},H_{n+1}>+ah^2_{n+1})}.
695: \end{aligned}
696: \end{equation}
697: Collecting the coefficients of $E$ yields the coupled algebraic equations for
698: $h_n$ and $h_{n+1}$. It is not obvious beforehand that their solution is
699: compatible with the shift in $n$. If this would be not the case then the
700: change $F_n=H_n+h_nE$ would be incorrect. However, the direct computation
701: proves that $h_n$ is defined by one and the same formula for all $n$ as a
702: solution of quadratic equation
703: \begin{equation}\label{V2.hH}
704: ah^2_n-\mu h_n+\SP<H_n,H_n>+1=0,
705: \end{equation}
706: therefore the $E$-component is detached in the transformation
707: (\ref{V2.VVFF}).
708: \end{proof}
709:
710: Statement \ref{th.noa} makes abundant the separate study of the case
711: $a\ne0$. Nevertheless, all formulae can be, in principle, rewritten for this
712: case as well, moreover, their rational structure can be preserved by use of
713: the stereographic projection for the quadric (\ref{V2.hH}):
714: \[
715: H_n=\frac{(\nu^2-a)F_n}{\nu^2+a\SP<F_n,F_n>},\quad
716: h_n=\frac{\nu(1+\SP<F_n,F_n>)}{\nu^2+a\SP<F_n,F_n>},\quad
717: \mu=\nu+\frac{a}{\nu}
718: \]
719: (more rigorously, some other letter should be used here instead of $F$, but
720: we hope it will not lead to misunderstanding). For instance, the
721: substitution into (\ref{V2.h}) brings, under this parametrization, to the
722: B\"acklund transformation for the lattice with parameter (\ref{V2.Ux}):
723: \begin{equation}\label{V2.UUFF}
724: \begin{aligned}
725: U_n&=\frac{(\nu^2+a\SP<F_n,F_n>)F_{n+1}-(a+\nu^2\SP<F_{n+1},F_{n+1}>)F_n}
726: {\nu(1-\SP<F_n,F_n>\SP<F_{n+1},F_{n+1}>)},\\
727: \tilde U_n&=\frac{(\nu^2+a\SP<F_{n+1},F_{n+1}>)F_n-(a+\nu^2\SP<F_n,F_n>)F_{n+1}}
728: {\nu(1-\SP<F_n,F_n>\SP<F_{n+1},F_{n+1}>)}.
729: \end{aligned}
730: \end{equation}
731: The Yang-Baxter map (\ref{V2.R}) can be rewritten in more general form in a
732: similar way. The transformation (\ref{V2.UUFF}) turns into (\ref{V2.VVFF})
733: at $a=0$, while in the scalar case we come back to the transformation
734: (\ref{sc.vvff}), under identifying $U,F,\nu$ with $v,f,\mu$ respectively.
735:
736: \begin{figure}[t]
737: \centerline{
738: \includegraphics[width=7cm]{mV21.eps}\qquad
739: \includegraphics[width=7cm]{mV22.eps}}
740: \centerline{
741: \includegraphics[width=7cm]{mV23.eps}\qquad
742: \includegraphics[width=7cm]{mV24.eps}}
743: \caption{Solutions of the lattice (\ref{V2.Vx}) at $C=(1,0)$, $K=(0,1)$.
744: Soliton: $\g=2$, $c_1=1$, $c_3=-1$;
745: breather: $\g^{(1)}=\bar\g^{(2)}=1+1.5i$, $c^{(1)}_1=c^{(2)}_1=3$,
746: $c^{(1)}_3=c^{(2)}_3=-1$.}
747: \label{fig:V2}
748: \end{figure}
749:
750: It is not difficult to compute, by use of (\ref{V2.VVFF}), the one-soliton
751: solution
752: \[
753: \tilde V_n=\mu\frac{\phi_{n+1}\Phi_n-\phi_{n-1}\Phi_{n+1}}
754: {\phi_n(\phi_{n+1}-\phi_{n-1})},
755: \]
756: where the solution $\phi_n,\Phi_n$ of equations (\ref{V2.T}), (\ref{V2.D})
757: with constant coefficients is given by almost the same formulae (\ref{phi})
758: as before, with the only difference that the factor $(-1)^n$ in front of $K$
759: disappears. This distinction leads to the absence of blinking oscillations
760: in the one-soliton solution which is more natural from the point of view of
761: the continuous limit. In all other respects the construction of multisoliton
762: and breather solutions is analogous to the previous case.
763:
764: %-------------------------------------------------------------------------------
765: \section{Higher symmetries and associated systems}\label{s.sym}
766:
767: Both vector lattices (\ref{V1.Vx}) and (\ref{V2.Vx}) belong to an infinite
768: hierarchy of commuting flows. We restrict ourselves by consideration of the
769: simplest higher symmetries which are of the second order with respect to the
770: shift in $n$. In the scalar case one has, setting $a=0$ for simplicity, the
771: pair of consistent lattices
772: \begin{equation}\label{sc.vt}
773: v_{n,x}=v^2_n(v_{n+1}-v_{n-1}),\quad
774: v_{n,t}=v^2_n(v^2_{n+1}(v_{n+2}+v_n)-v^2_{n-1}(v_n+v_{n-2})).
775: \end{equation}
776: Obviously, the first of these equations can be solved with respect to
777: $v_{n+1}$ or $v_{n-1}$, and this allows to express recursively all $v_j$
778: through the pair of variables $u=v_{n+1}$, $v=v_n$. After this, the symmetry
779: takes the form of Kaup-Newell evolution system
780: \[
781: u_t=u_{xx}+(2u^2v)_x,\quad v_t=-v_{xx}+(2uv^2)_x
782: \]
783: and the shift in $n$ defines an explicit auto-substitution for this system
784: (the simplest type of B\"acklund transforms).
785:
786: The lattice (\ref{V1.Vx}) and its symmetry can be compactly written in the
787: form preserving the structure (\ref{sc.vt})
788: \begin{equation}\label{V1.t}
789: V_{n,x}=P_{V_n}(V_{n+1}-V_{n-1}),\quad
790: V_{n,t}=P_{V_n}(P_{V_{n+1}}(V_{n+2}+V_n)-P_{V_{n-1}}(V_n+V_{n-2}))
791: \end{equation}
792: by use of the operator $P_V(U)=2\SP<V,U>V-\SP<V,V>U$. It is easy to check
793: that the identity $(P_V)^{-1}=P_{V^{-1}}$ is valid for this operator. Making
794: use of it one can solve, like before, the first equation with respect to
795: $V_{n+1}$ or $V_{n-1}$ and to express all $V_j$ through the pair of
796: variables $U=V_{n+1}$, $V=V_n$. This brings the symmetry to the form of the
797: vector generalization of Kaup-Newell system
798: \begin{equation}\label{V1.UV}
799: U_t= U_{xx}+(4\SP<U,V>U-2\SP<U,U>V)_x,\quad
800: V_t=-V_{xx}+(4\SP<U,V>V-2\SP<V,V>U)_x.
801: \end{equation}
802: Analogously, the commuting flows for the second vector lattice are
803: \begin{equation}\label{V2.t}
804: \begin{aligned}
805: V_{n,x}&= \SP<V_n,V_n>(V_{n+1}-V_{n-1}),\\
806: V_{n,t}&= \SP<V_n,V_n>\bigl(\SP<V_{n+1},V_{n+1}>(V_{n+2}-V_n)
807: +\SP<V_{n-1},V_{n-1}>(V_n-V_{n-2})\\
808: &\qquad+2(\SP<V_{n+1},V_n>+\SP<V_n,V_{n-1}>)(V_{n+1}-V_{n-1})\bigr)
809: \end{aligned}
810: \end{equation}
811: and the associated evolution system reads
812: \begin{equation}\label{V2.UV}
813: U_t= U_{xx}+4\SP<U,V>U_x+2\SP<U,U>V_x,\quad
814: V_t=-V_{xx}+4\SP<U,V>V_x+2\SP<V,V>U_x
815: \end{equation}
816: which is another vector analog of Kaup-Newell system.
817:
818: Another interesting type of associated systems is obtained for the scalar
819: quantities
820: \[
821: p_n=\SP<V_n,V_n>,\quad q_n=2\SP<V_n,V_{n-1}>
822: \]
823: which satisfy, in virtue of any of the pair (\ref{V1.t}) or (\ref{V2.t}) one
824: and the same two-dimensional modified Volterra lattice
825: \begin{equation}\label{2DV}
826: p_{n,t}+2p^2_n(p_{n+1}-p_{n-1})=p_n((q_{n+1}+q_n)_x+q^2_{n+1}-q^2_n),\quad
827: p_{n,x}=p_n(q_{n+1}-q_n).
828: \end{equation}
829: It can be written in the form
830: \[
831: p_{n,t}+2p^2_n(p_{n+1}-p_{n-1})=(r_np_n)_x,\quad
832: (p_{n+1}p_n)_x=p_{n+1}p_n(r_{n+1}-r_n),
833: \]
834: as well, where $r_n=q_{n+1}+q_n=2\SP<V_n,V_{n+1}+V_{n-1}>$. These lattices
835: are closely related to Mikhailov lattices introduced in \cite{Mikhailov}.
836:
837: The lattices (\ref{V1.t}), (\ref{V2.t}) can be effectively used for the
838: construction of particular solutions of the systems (\ref{V1.UV}),
839: (\ref{V2.UV}) and the lattice (\ref{2DV}). Along with the construction
840: method of the soliton-type solutions described above, one can use to this
841: end the periodic closure $V_{n+N}=CV_n$ with orthogonal operator $C$ which
842: leads to the finite-dimensional dynamical systems.
843:
844: %-------------------------------------------------------------------------------
845: \section{Further vector analogs}\label{s.more}
846:
847: Remind that the classification problem of scalar integrable lattices of
848: Volterra type was solved by Yamilov \cite{Yamilov_1983} within the symmetry
849: approach. Recently one of the authors has obtained an analogous
850: classification of the vector Volterra lattices on the sphere, that is under
851: the constraint $\SP<V_n,V_n>=1$ \cite{Adler_2008}. This constraint
852: essentially simplifies the problem which is very complicated and remains
853: open for the case of free space. Other simplifying assumptions can be used
854: of course, for example the polynomiality of the lattice. It should be noted
855: that in the continuous case very many polynomial equations are known; we
856: mention only the papers \cite{Fordy, Tsuchida_Wadati, Sokolov_Wolf} which
857: contain the examples and some classification results for the vector systems
858: of derivative nonlinear Schr\"odinger type, equations (\ref{V1.UV}),
859: (\ref{V2.UV}) being just two instances of such systems. In the discrete
860: case, however, the polynomiality is not too natural assumption, as one can
861: see already from the Yamilov list of scalar lattices. In the vector setting
862: we have not succeeded in finding another polynomial Volterra type lattices
863: possessing higher symmetries aside from (\ref{V1.Vx}), (\ref{V2.Ux}).
864:
865: Our search of integrable lattices was based on the straightforward method of
866: undetermined coefficients. In the simplest case the lattice and its symmetry
867: are of the form
868: \[
869: V_{n,x}=a^{(1)}V_{n+1}+a^{(0)}V_n+a^{(-1)}V_{n-1},\quad
870: V_{n,t}=b^{(2)}V_{n+2}+\dots+b^{(-2)}V_{n-2}
871: \]
872: where the scalar coefficients $a^{(i)}$ are linear with respect to the
873: scalar products of $V_{n+1}$, $V_n$, $V_{n-1}$ and $b^{(i)}$ are quadratic with
874: respect to the scalar products of $V_{n+2},\dots$, $V_{n-2}$. It is easy to
875: find that the homogeneous lattice contains 18 parameters and its symmetry
876: contains 600 ones. Calculating of the cross derivatives yields a system of
877: bilinear equations for the coefficients. Although this system is very bulky,
878: its solving is, in principle, not difficult since the equations are very
879: overdetermined and sparse (in particular, a large part of equations is
880: monomial). The answer is the consistent pairs of the lattices (\ref{V1.t})
881: and (\ref{V2.t}) (there are also few solutions with $a^{(1)}=a^{(-1)}=0$,
882: but all such lattices can be reduced to the scalar ones and therefore they
883: are not of interest for us).
884:
885: It is clear that the scope of this method in this problem is very
886: restricted. If one takes the coefficients $a^{(i)}$ quadratic with respect
887: to the scalar products and $b^{(i)}$ of the fourth degree then the number of
888: unknown parameters in the lattice and its symmetry becomes 63 and 15300
889: respectively, and even the calculation of the commutator becomes not so
890: trivial task. This case is still manageable, but with the empty answer.
891:
892: We also have partially analyzed the case when the lattice is of the second
893: order with respect to the shift in $n$ and its symmetry is of the fourth
894: order, that is
895: \[
896: V_{n,x}=a^{(2)}V_{n+2}+\dots+a^{(-2)}V_{n-2},\quad
897: V_{n,t}=b^{(4)}V_{n+4}+\dots+b^{(-4)}V_{n-4}.
898: \]
899: One may hope that some vector analogs of Narita-Bogoyavlensky lattice
900: \cite{Narita,Bogoyavlensky,Suris} appear here, more precisely, analogs of
901: some its modification with odd degree of nonlinearity, for example
902: \[
903: v_{n,x}=v_n(v_{n+2}v_{n+1}-v_{n-1}v_{n-2}) \qquad \text{or}\qquad
904: v_{n,x}=v_{n+1}v^3_nv_{n-1}(v_{n+2}v_{n+1}-v_{n-1}v_{n-2}).
905: \]
906: Notice that classification of such lattices is not known even in the scalar
907: case. Unfortunately, the analogs of Narita-Bogoyavlensky lattice have not
908: been discovered, however we have found two more lattices relative to
909: Volterra lattice:
910: \begin{gather}
911: \label{V3}
912: V_{n,x}=\SP<V_n,V_n>\bigl(
913: \SP<V_{n+1},V_{n+1}>(V_{n+2}+V_n)-\SP<V_{n-1},V_{n-1}>(V_n+V_{n-2})\bigr),\\
914: \label{V4}
915: V_{n,x}=\SP<V_{n+1},V_n>\SP<V_n,V_{n-1}>(V_{n+2}-V_{n-2}).
916: \end{gather}
917: Each of these lattices possesses 4-th order symmetry which we do not bring
918: because of their length. The study of these examples falls beyond the scope
919: of our article. We only notice that the lattice (\ref{V3}) generalizes the
920: second flow of the modified Volterra lattice (\ref{sc.vt}), so that this flow
921: admits at least three vector analogs. The question on the number of vector
922: analogs for the higher flows of the hierarchy remains open. The lattice
923: (\ref{V4}) in the scalar case is a modification of the Volterra lattice on
924: the ``stretched'' grid:
925: \[
926: v_{n,x}=v_{n+1}v^2_nv_{n-1}(v_{n-2}-v_{n-2})\quad
927: \xrightarrow{~~u_n=v_{n+2}v_{n+1}v_nv_{n-1}~~}\quad
928: u_{n,x}=u_n(u_{n-2}-u_{n-2}),
929: \]
930: but in the vector case this substitution makes no sense and the lattice
931: (\ref{V4}) seems to be an independent object. The zero curvature
932: representations and B\"acklund transformations for the lattices (\ref{V3}),
933: (\ref{V4}) are not known for now.
934:
935: Summing up, we may say that the classification of the polynomial lattices of
936: Volterra and Narita-Bogoyavlensky types is a very difficult open problem,
937: probably with very scarce answers. The alternative approaches to the method
938: of undetermined coefficients are the analysis of the necessary integrability
939: conditions in the form of canonical conservation laws \cite{Yamilov_1983,
940: Levi_Yamilov, Yamilov_2006} and the perturbative approach
941: \cite{Mikhailov_Novikov}, however the contemporary state of the theory does
942: not allow to effectively apply them, even in the scalar case.
943:
944: %-------------------------------------------------------------------------------
945: \paragraph{Acknowledgements.} We thank Ravil Yamilov and Yaroslav Pugai for many
946: fruitful discussions. The research of V.A. was supported by RFBR grants
947: 06-01-92051-KE, 08-01-00453 and NSh-3472.2008.2.
948:
949: %-------------------------------------------------------------------------------
950: \begin{thebibliography}{99}
951:
952: \bibitem{Fordy} A.P. Fordy.
953: Derivative nonlinear Schr\"odinger equations and Hermitian symmetric spaces.
954: {\em J. Phys. A \bfseries 17:6} (1984) 1235--1245.
955:
956: \bibitem{Tsuchida_Wadati} T. Tsuchida, M. Wadati.
957: Complete integrability of derivative nonlinear Schr\"odinger-type equations.
958: {\em Inverse Problems \bfseries 15} (1999) 1363--1373.
959:
960: \bibitem{Sokolov_Wolf} V.V. Sokolov, T. Wolf.
961: Classification of integrable polynomial vector evolution equations.
962: {\em J. Phys. A \bfseries 34} (2001) 11139--11148.
963:
964: \bibitem{Ablowitz_Ohta_Trubatch} M.J. Ablowitz, Y. Ohta, A.D. Trubatch.
965: On discretizations of the vector Nonlinear Schr\"odinger Equation,
966: {\em Phys. Lett. A \bfseries 253} (1999) 287--304.
967:
968: \bibitem{Tsuchida} T. Tsuchida.
969: Integrable discretizations of derivative nonlinear Schr\"odinger equations.
970: {\em J. Phys. A \bfseries 35:36} (2002) 7827--7847.
971:
972: \bibitem{Adler_Svinolupov_Yamilov} V.E. Adler, S.I. Svinolupov, R.I. Yamilov.
973: Multi-component Volterra and Toda type integrable equations.
974: {\em Phys. Lett. A \bfseries 254} (1999) 24--36.
975:
976: \bibitem{Case_Kac} K.M. Case, M. Kac. A discrete version of the inverse scattering
977: problem. {\em J. Math. Phys. \bfseries 14:5} (1973) 594--603.
978:
979: \bibitem{Manakov} S.V. Manakov.
980: On the complete integrability and stochastization of discrete dynamical systems.
981: {\em JETP \bfseries 40} (1974) 269--274.
982:
983: \bibitem{Nijhoff_Hone_Joshi} F. Nijhoff, A. Hone, N. Joshi.
984: On a Schwarzian PDE associated with the KdV hierarchy.
985: {\em Phys. Lett. A \bfseries 267} (2000) 147--156.
986:
987: \bibitem{Adler_Suris} V.E. Adler, Yu.B. Suris.
988: Q4: Integrable master equation related to an elliptic curve.
989: {\em Int. Math. Res. Not. \bfseries 47} (2004) 2523--2553.
990:
991: \bibitem{Levi_Petrera_Scimiterna} D. Levi, M. Petrera, C. Scimiterna.
992: The lattice Schwarzian KdV equation and its symmetries.
993: {\em J. Phys. A \bfseries 40} (2007) 12753--12761.
994:
995: \bibitem{Schief} W.K. Schief.
996: Isothermic surfaces in spaces of arbitrary dimension: integrability,
997: discretization and B\"acklund transformations. A discrete Calapso equation.
998: {\em Stud. Appl. Math. \bfseries 106} (2001) 85--137.
999:
1000: \bibitem{Bobenko_Suris_2002} A.I. Bobenko, Yu.B. Suris.
1001: Integrable non-commutative equations on quad-graphs. The consistency approach.
1002: {\em Lett. Math. Phys. \bfseries 61} (2002) 241--254.
1003:
1004: \bibitem{Bobenko_Suris_2005} A.I. Bobenko, Yu.B. Suris.
1005: Discrete differential geometry. Consistency as integrability.
1006: \href{http://arxiv.org/abs/math/0504358v1}{math.DG/0504358v1}
1007:
1008: \bibitem{Adler_1995} V.E. Adler. Integrable deformations of a polygon.
1009: {\em Physica D \bfseries 87:1--4} (1995) 52--57.
1010:
1011: \bibitem{Levi} D. Levi.
1012: Nonlinear differential difference equations as B\"acklund transformations.
1013: {\em J. Phys. A \bfseries 14:5} (1981) 1083--1098.
1014:
1015: \bibitem{Shabat_Yamilov} A.B. Shabat, R.I. Yamilov.
1016: Symmetries of nonlinear chains.
1017: {\em Len. Math. J. \bfseries 2:2} (1991) 377--399.
1018:
1019: \bibitem{Mikhailov} A.V. Mikhailov.
1020: Integrability of a two-dimensional generalization of the Toda chain.
1021: {\em Sov. Phys. JETP Lett \bfseries 30} (1979) 414--418.
1022:
1023: \bibitem{Mikhailov_Shabat_Yamilov} A.V. Mikhailov, A.B. Shabat, R.I. Yamilov.
1024: The symmetry approach to classification of nonlinear equations.
1025: Complete lists of integrable systems.
1026: {\em Russ. Math. Surveys \bfseries 42:4} (1987) 1--63.
1027:
1028: \bibitem{Yamilov_1983} R.I. Yamilov.
1029: Classification of discrete evolution equations.
1030: {\em Usp. Mat. Nauk \bfseries 38:6} (1983) 155--156. (in Russian)
1031:
1032: \bibitem{Levi_Yamilov} D. Levi, R.I. Yamilov.
1033: Conditions for the existence of higher symmetries of evolutionary equations
1034: on the lattice. {\em J. Math. Phys. \bfseries 38} (1997) 6648--6674.
1035:
1036: \bibitem{Yamilov_2006} R.I. Yamilov.
1037: Symmetries as integrability criteria for differential-difference equations.
1038: {\em J. Phys. A \bfseries 39} (2006) R541--623.
1039:
1040: \bibitem{Meshkov_Sokolov} A.G. Meshkov, V.V. Sokolov.
1041: Classification of integrable divergent $N$-component evolution systems.
1042: {\em Theor. Math. Phys. \bfseries 139:2} (2004) 609--622.
1043:
1044: \bibitem{Tsuchida_Wolf} T. Tsuchida, T. Wolf.
1045: Classification of polynomial integrable systems of mixed scalar and vector
1046: evolution equations. I. {\em J. Phys. A \bfseries 38} (2005) 7691--7733.
1047:
1048: \bibitem{Adler_2008} V.E. Adler. Classification of integrable Volterra type
1049: lattices on the sphere. Isotropic case.
1050: {\em J. Phys. A } (2008) 145201.
1051:
1052: \bibitem{Adler_Bobenko_Suris_2004} V.E. Adler, A.I. Bobenko, Yu.B. Suris.
1053: Geometry of Yang-Baxter maps: pencils of conics and quadrirational mappings.
1054: {\em Comm. Anal. and Geom. \bfseries 12:5} (2004) 967--1007.
1055:
1056: \bibitem{Adler_Bobenko_Suris_2003} V.E. Adler, A.I. Bobenko, Yu.B. Suris.
1057: Classification of integrable equations on quad-graphs. The consistency approach.
1058: {\em Comm. Math. Phys. \bfseries 233} (2003) 513--543.
1059:
1060: \bibitem{Salle} M.A. Salle.
1061: Darboux transformations for nonabelian and nonlocal equations of the
1062: Toda lattice type.
1063: {\em Theor. Math. Phys. \bfseries 53:2} (1982) 227--237.
1064:
1065: \bibitem{Suris} Yu.B. Suris. The problem of integrable discretization:
1066: Hamiltonian approach. Basel: Birkh\"auser, 2003.
1067:
1068: \bibitem{Narita} K. Narita.
1069: Soliton solution to extended Volterra equation.
1070: {\em J. Phys. Soc. Japan \bfseries 51:5} (1982) 1682--1685.
1071:
1072: \bibitem{Bogoyavlensky} O.I. Bogoyavlensky.
1073: Algebraic constructions of integrable dynamical systems --- extensions of the
1074: Volterra system. {\em Usp. Mat. Nauk \bfseries 46:3} (1991) 3--48.
1075:
1076: \bibitem{Mikhailov_Novikov} A.V. Mikhailov, V.S. Novikov.
1077: Perturbative symmetry approach.
1078: {\em J. Phys. A \bfseries 35} (2002) 4775--4790.
1079:
1080: \end{thebibliography}
1081: \end{document}
1082: