Теоретическая и математическая физика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ТМФ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Теоретическая и математическая физика, 2023, том 215, номер 3, страницы 421–436
DOI: https://doi.org/10.4213/tmf10373
(Mi tmf10373)
 

Новый тип многокомпонентной иерархии дискретных солитонных уравнений и ее применение

Чжэнь-Бо Ванa, Хай-Фэн Ванb, Юй-Фэн Чжанa

a School of Mathematics, China University of Mining and Technology, Xuzhou, China
b School of Science, Jimei University Xiamen, Fujian, China
Список литературы:
Аннотация: Представлен метод построения многокомпонентной интегрируемой иерархии дискретных солитонных уравнений на основе алгебры Ли $\hat g$. В качестве приложения метода рассматривается модифицированная спектральная задача Тоды. Получена новая многокомпонентная интегрируемая иерархия решеточных уравнений с двумя произвольными константами. Эта новая иерархия может быть сведена к двум многокомпонентным интегрируемым системам, одной из которых является знаменитая система Тоды.
Ключевые слова: многокомпонентная иерархия дискретных солитонных уравнений, алгебра Ли $\hat g$, обобщенная спектральная задача Тоды.
Финансовая поддержка Номер гранта
National Natural Science Foundation of China 11971475
Эта работа была поддержана National Natural Science Foundation of China (грант № 11971475).
Поступило в редакцию: 19.09.2022
После доработки: 10.02.2023
Англоязычная версия:
Theoretical and Mathematical Physics, 2023, Volume 215, Issue 3, Pages 823–836
DOI: https://doi.org/10.1134/S0040577923060065
Реферативные базы данных:
Тип публикации: Статья
PACS: 05.45.Yv, 02.30.Jr, 02.30.

1. Введение

Хорошо известно, что непрерывные и дискретные интегрируемые системы играют важную роль в математике и физике. Знаменитыми примерами непрерывных интегрируемых систем являются уравнение Кортевега–де Фриза (КдФ) и нелинейное уравнение Шредингера. Дискретные интегрируемые системы включают в себя знаменитую цепочку Тоды и цепочку Вольтерры, имеющие важные физические приложения. Существуют эффективные методы построения нелинейных непрерывных и дискретных интегрируемых моделей, например метод пар Лакса [1], [2], схема Ту [3], [4], $R$-матричный подход [5], [6], алгебраический подход [7], [8], систематический подход, связанный с генераторами иерархии [9].

В последнее время важной темой стало изучение интегрируемых связей непрерывных и дискретных солитонных уравнений. Интегрируемые связи можно строить с использованием теории возмущений [10]–[12], путем расширения спектральных задач [13], [14], задания новых алгебр Ли [15]–[22] и другими методами. С их помощью были получены многие классические изоспектральные и неизоспектральные интегрируемые связи для непрерывных солитонных уравнений, таких как иерархии КдФ, Вадати–Коно–Итикавы, Каупа–Ньюэлла и Абловица–Каупа–Ньюэлла–Сигура [17], [23]–[27]. Однако имеется не так много работ, посвященных интегрируемым связям дискретных солитонных уравнений (см., например, работы [4], [28]–[31]).

В работе [32] Ма и его соавторы предложили метод построения интегрируемых связей дискретных солитонных уравнений, в котором используется полупрямая сумма $ \kern1.1pt\overline{\kern-1.4pt G\kern-0.5pt}\kern0.8pt $ алгебр Ли, образованная матрицами, имеющими следующий треугольный блочный вид:

$$ \begin{equation} \begin{gathered} \, \kern1.1pt\overline{\kern-1.4pt G\kern-0.5pt}\kern0.8pt =G+G_{\mathrm c},\qquad G=\operatorname{diag}(\,\overbrace{A,\ldots,A}^{\mu}\,,\,\overbrace{0,\ldots,0}^{\nu-\mu+1}\,), \\ G_{\mathrm c}=\begin{bmatrix} \;\;0 & & & & \\ & \ddots & & & \kern-34pt B_{i,j}\\ & & 0 &\\ & & & B_{\mu+1,\mu+1} &\\ & 0 & & \kern14pt \ddots&\\ & & &&\kern-12pt B_{\nu+1,\nu+1}\;\; \end{bmatrix}, \end{gathered} \end{equation} \tag{1} $$
где $A$, $B_{i,i}$ – квадратные матрицы одного размера, блоки $B_{i,j}$ с $j<\mu+1$ квадратные, блоки $B_{i,j}$ с $j>\mu$ могут быть неквадратными. В работе [32] на основе полупрямой суммы $ \kern1.1pt\overline{\kern-1.4pt G\kern-0.5pt}\kern0.8pt $ алгебр Ли была выведена интегрируемая связь второго порядка для обобщенной иерархии цепочки Тоды. Опираясь на этот подход, Ван и Чжан [33] построили новую неполупростую алгебру Ли $\hat g$ и предложили новый метод получения интегрируемых $Z_N^\varepsilon$-связей непрерывных солитонных уравнений. Как следствие были получены многокомпонентные изоспектральные интегрируемые связи иерархии мКдФ и неизоспектральные интегрируемые связи иерархии Абловица–Каупа–Ньюэлла–Сигура. Неполупростая алгебра Ли $\hat g$ образована матрицами вида
$$ \begin{equation} M(A_1,A_2,\ldots,A_N)=\begin{pmatrix} A_1 & \varepsilon A_N & \varepsilon A_{N-1} & \ldots & \varepsilon A_2 \\ A_2 & A_1 & \varepsilon A_N & \ddots & \vdots \\ A_3 & A_2 & A_1 & \ddots & \varepsilon A_{N-1} \\ \vdots & \ddots & \ddots & \ddots & \varepsilon A_N \\ A_N & \ldots & A_3 & A_2 & A_1 \end{pmatrix}, \end{equation} \tag{2} $$
где $A_m$ ($1\leqslant m\leqslant N$) – произвольные квадратные матрицы размера $N\times N$. Удобно записать элемент алгебры $\hat g$ как вектор $M(A_1,A_2,\ldots,A_N)=[A_1,\ldots ,A_N]^{\mathrm T}$ с матричными компонентами. При $\varepsilon=0$ неполупростую алгебру Ли $\hat g$ можно свести к алгебре Ли $ \kern1.1pt\overline{\kern-1.4pt G\kern-0.5pt}\kern0.8pt $. При $N=2$ она сводится к неполупростой алгебре Ли $\bar g$ [34].

В настоящей статье мы представляем метод построения многокомпонентной интегрируемой иерархии дискретных солитонных уравнений на основе неполупростой алгебры Ли $\hat g$. Рассматривая модифицированную спектральную задачу Тоды, мы получаем многокомпонентную интегрируемую иерархию решеточных уравнений, содержащую две произвольные константы. При различных значениях констант ее можно свести к двум многокомпонентным интегрируемым системам.

Статья организована следующим образом. В разделе 2 мы приводим стандартную процедуру построения изоспектральных и неизоспектральных многокомпонентных интегрируемых иерархий дискретных солитонных уравнений. В разделе 3 мы рассматриваем модифицированную спектральную задачу Тоды. Увеличивая пространственную спектральную матрицу $U$ до матрицы размера $4\times4$ и решая дискретное уравнение нулевой кривизны соответствующей расширенной спектральной задачи, мы получаем интегрируемую связанную $Z_2^\varepsilon$-систему типа решеточной обобщенной цепочки Тоды, которая в частных случаях сводится к знаменитой цепочке Тоды и релятивистской цепочке Тоды. В разделе 4 мы получаем новую многокомпонентную интегрируемую иерархию обобщенных решеточных уравнений Тоды путем увеличения спектральной матрицы $U$ до спектральной матрицы размера $N\times N$. Раздел 5 содержит некоторые выводы и обсуждения.

2. Многокомпонентная интегрируемая иерархия дискретных солитонных уравнений

В этом разделе мы описываем стандартную процедуру построения многокомпонентной интегрируемой иерархии дискретных солитонных уравнений на основе алгебры Ли $\hat g$.

Рассмотрим дискретную пространственную спектральную задачу $E\phi=U(u,\lambda)\phi$ и увеличим спектральную матрицу $U$ до матрицы размера $N\times N$:

$$ \begin{equation*} \widehat U(\hat u,\lambda)=\widehat U(u_1,u_2\ldots,u_N,\lambda)=[U_1(u_1,\lambda),U_2(u_2,\lambda),\ldots,U_N(u_n,\lambda)]^{\mathrm T}, \end{equation*} \notag $$
где $\lambda$ – спектральный параметр, $U_m$ ($1\leqslant m\leqslant N$) – спектральные матрицы того же размера, что и $U$, $u_m$ ($1\leqslant m\leqslant N$) – потенциалы и $\phi$ – собственная функция. В результате получаем новую дискретную пространственную спектральную задачу, связанную с алгеброй Ли $\hat g$:
$$ \begin{equation} E\Phi=\widehat U(u_1,\ldots,u_N,\lambda)\Phi. \end{equation} \tag{3} $$
Возьмем частное решение
$$ \begin{equation*} \widehat W(\hat u,E\hat u,E^{-1}\hat u,\ldots;\lambda)=[W_1,W_2,\ldots,W_N]^{\mathrm T} \end{equation*} \notag $$
дискретного неизоспектрального стационарного уравнения нулевой кривизны
$$ \begin{equation} (E\widehat W\,)\widehat U-\widehat U\widehat W=U_{\lambda}\lambda_t,\qquad \lambda_t=f(\lambda). \end{equation} \tag{4} $$
Преобразуя это уравнение, получаем
$$ \begin{equation} \begin{aligned} \, &(EW_1)U_1-U_1W_1+\varepsilon\sum_{\substack{m+n=N+2,\\ 2\leqslant m,n\leqslant N}}[(EW_m)U_n-U_nW_m]= \frac{\partial U_1}{\partial\lambda}\lambda_t, \\ &\sum_{\substack{i+j=3,\\ 1\leqslant i,j\leqslant 2}}[(EW_i)U_j-U_jW_i]+ \varepsilon\sum_{\substack{m+n=N+3,\\ 3\leqslant m,n\leqslant N}}[(EW_m)U_n-U_nW_m]= \frac{\partial U_2}{\partial \lambda}\lambda_t, \\ &\qquad\qquad\qquad \ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots, \\ &\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}[(EW_i)U_j-U_jW_i]+ \varepsilon\sum_{\substack{m+n=N+k+1,\\ k+1\leqslant m,n\leqslant N}}[(EW_m)U_n-U_nW_m]= \frac{\partial U_k}{\partial \lambda}\lambda_t, \\ &\qquad\qquad\qquad \ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots, \\ &\sum_{\substack{i+j=N,\\ 1\leqslant i,j\leqslant N-1}}[(EW_i)U_j-U_jW_i]+\varepsilon [(EW_N)U_N-U_NW_N]= \frac{\partial U_{N-1}}{\partial \lambda}\lambda_t, \\ &\sum_{\substack{i+j=N+1,\\ 1\leqslant i,j\leqslant N}}[(EW_i)U_j-U_jW_i]= \frac{\partial U_N}{\partial \lambda}\lambda_t. \end{aligned} \end{equation} \tag{5} $$
Решая эти уравнения, выводим рекуррентные соотношения. Когда $\lambda_t=0$, получаем изоспектральный случай.

Далее введем временны́е спектральные задачи

$$ \begin{equation} \Phi_{t_m}=\widehat V^{[m]}\Phi,\qquad m\geqslant 0, \end{equation} \tag{6} $$
с матрицами Лакса
$$ \begin{equation*} \widehat V^{[m]}(\hat u,E\hat u,E^{-1}\hat u,\ldots;\lambda)=(\lambda^{km+n}\widehat W\,)_{+}+\bigtriangleup_m\in\hat g,\qquad m\geqslant 0, \end{equation*} \notag $$
где $\bigtriangleup_m$ называется модифицирующим членом, который вводится, чтобы гарантировать выполнение дискретного неизоспектрального уравнения нулевой кривизны
$$ \begin{equation} \widehat U'(u)[K]+\widehat U_{\lambda}\lambda _t=(E\widehat V^{[m]})\widehat U-\widehat U\widehat V^{[m]}. \end{equation} \tag{7} $$
Здесь $U'(u)[K]$ – производная Гато матрицы $U(u)$, т. е.
$$ \begin{equation*} U'(u)[K]=\frac{\partial}{\partial\varepsilon}\,U(u+\varepsilon K)\big|_{\varepsilon=0}= \frac{\partial}{\partial\varepsilon}\,U(u_1+\varepsilon K,u_2+\varepsilon K,\ldots,u_N+\varepsilon K)\big|_{\varepsilon=0}. \end{equation*} \notag $$
В изоспектральном случае $\lambda _t=0$ имеем
$$ \begin{equation} \widehat U_{t_m}=(E\widehat V^{[m]})\widehat U-\widehat U\widehat V^{[m]}. \end{equation} \tag{8} $$
Решая неизоспектральное дискретное уравнение нулевой кривизны, можно получить многокомпонентную интегрируемую иерархию дискретных солитонных уравнений
$$ \begin{equation} \widehat U_{t_m}=\widehat K_m,\qquad m\geqslant 0. \end{equation} \tag{9} $$

3. Обобщенные интегрируемые $Z_2^\varepsilon$-связи решеточной иерархии цепочки Тоды

Напомним обобщенную иерархию Тоды (см. [32]). Дискретная пространственная спектральная задача имеет вид

$$ \begin{equation} E\varphi=U(u,\lambda)\varphi,\qquad U(u,\lambda)= \begin{bmatrix} 0 & 1 \\ (\alpha \lambda+\beta)r & \lambda+s \end{bmatrix}, \end{equation} \tag{10} $$
где $E$ – оператор сдвига,
$$ \begin{equation*} (E^mx)(n)=x^{(m)}(n)=x(m+n),\qquad m,n\in\mathbb{Z},\qquad x\colon\mathbb{Z}\rightarrow\mathbb{R}; \end{equation*} \notag $$
при этом обратный к дифференциальному оператору $E-1$ задается как
$$ \begin{equation*} (E-1)^{-1}=\frac{1}{2}\biggl(\,\sum_{k=-\infty}^{-1}-\sum_{k=0}^{+\infty}\;\biggr)E^k. \end{equation*} \notag $$
В задаче (10) $\lambda$ – спектральный параметр, $u=[r,s]^{\mathrm T}$, $\alpha$ и $\beta$ – две произвольные постоянные, удовлетворяющие условию $\alpha^2+\beta^2\neq 0$. При $\alpha =0$, $\beta=1$ уравнение (10) приобретает вид классической спектральной задачи Тоды [35].

Сначала рассмотрим неполупростую алгебру Ли $\tilde g$ (см. работу [34]), образованную квадратными матрицами вида

$$ \begin{equation*} M(A,B)=\begin{bmatrix} A & \varepsilon B \\ B & A \end{bmatrix}. \end{equation*} \notag $$
На основе этой алгебры Ли $\tilde g$ можно расширить пространственную спектральную задачу $E\varphi=U(u,\lambda)\varphi$ до задачи с дополнительной матрицей $U_{\mathrm a}$ размера $2\times 2$:
$$ \begin{equation} E\phi= \widetilde U(\tilde u,\lambda)\phi,\qquad \widetilde U=\begin{bmatrix} U & U_{\mathrm a} \\ \varepsilon U_{\mathrm a} & U \end{bmatrix}, \end{equation} \tag{11} $$
где $[r,s,p,q]^{\mathrm T}$ – потенциал, $\phi=[\phi_1,\phi_2,\phi_3,\phi_4]^{\mathrm T}$ – собственная функция,
$$ \begin{equation*} U_{\mathrm a}=\begin{bmatrix} 0 & 1 \\ (\alpha\lambda+\beta)p & \lambda+q \end{bmatrix}. \end{equation*} \notag $$
Всюду далее мы полагаем, что $\varepsilon\neq 1$.

Изоспектральное стационарное дискретное уравнение нулевой кривизны

$$ \begin{equation} (E\widetilde W\,)\widetilde U-\widetilde U\widetilde W=0 \end{equation} \tag{12} $$
имеет частное решение $\widetilde W$ вида
$$ \begin{equation*} \widetilde W=\begin{bmatrix} W & W_{\mathrm a} \\ \varepsilon W_{\mathrm a} & W \end{bmatrix}, \end{equation*} \notag $$
где
$$ \begin{equation*} W=\begin{bmatrix} a & \phantom{-}b \\ (\alpha\lambda+\beta)c & -a \end{bmatrix},\qquad W_{\mathrm a}=\begin{bmatrix} e & \phantom{-}f \\ (\alpha\lambda+\beta)g & -e \end{bmatrix}. \end{equation*} \notag $$
Отсюда имеем систему
$$ \begin{equation} \begin{aligned} \, &(EW)U+\varepsilon (EW_{\mathrm a})U_{\mathrm a}-UW-\varepsilon U_{\mathrm a}W_{\mathrm a}=0, \\ &(EW)U_{\mathrm a}+(EW_{\mathrm a})U-UW_{\mathrm a}-U_{\mathrm a}W=0, \end{aligned} \end{equation} \tag{13} $$
решая которую, получаем
$$ \begin{equation} \begin{aligned} \, &rb^{(1)}-c+\varepsilon pf^{(1)}-\varepsilon g=0, \\ &a^{(1)}+a+\lambda b^{(1)}+sb^{(1)}+\varepsilon[e^{(1)}+e+\lambda f^{(1)}+qf^{(1)}]=0, \\ &\alpha \lambda(c^{(1)}-rb)+\beta(c^{(1)}-rb)-\lambda(a^{(1)}-a)-s(a^{(1)}-a)+{} \\ &\kern31pt+\varepsilon[\alpha\lambda (g^{(1)}-pf)+\beta(g^{(1)}-pf)-\lambda(e^{(1)}-e)-s(e^{(1)}-e)]=0, \\ &pb^{(1)}-c+rf^{(1)}-g=0, \\ &a^{(1)}+a+e^{(1)}+e+\lambda b^{(1)}+qb^{(1)}+\lambda sf^{(1)}+sf^{(1)}=0, \\ &\alpha\lambda(c^{(1)}-rf)+\beta(c^{(1)}-rf)-\lambda(a^{(1)}-a)-q(a^{(1)}-a)+{} \\ &\kern31pt+\alpha\lambda(g^{(1)}-pb)+\beta(g^{(1)}-pb)-\lambda(e^{(1)}-e)-q(e^{(1)}-e)=0. \end{aligned} \end{equation} \tag{14} $$
Подставим в (14) разложения в ряды Лорана
$$ \begin{equation*} \begin{alignedat}{5} a&=\sum_{i\geqslant 0}a_i\lambda^{-i},&\qquad b&=\sum_{i\geqslant 0}b_i\lambda^{-i},&\qquad c&=\sum_{i\geqslant 0}c_i\lambda^{-i}, \\ e&=\sum_{i\geqslant 0}e_i\lambda^{-i},&\qquad f&=\sum_{i\geqslant 0}f_i\lambda^{-i},&\qquad g&=\sum_{i\geqslant 0}g_i\lambda^{-i} \end{alignedat} \end{equation*} \notag $$
и получим следующие рекуррентные соотношения: для $i\geqslant 0$
$$ \begin{equation} \begin{aligned} \, &rb_{i+1}^{(1)}-c_{i+1}+\varepsilon pf_{i+1}^{(1)}-\varepsilon g_{i+1}=0, \\ &a_i^{(1)}+a_i+b_{i+1}^{(1)}+sb_i^{(1)}+\varepsilon [ e_i+e_i+f_{i+1}^{(1)}+qf_i^{(1)}]=0, \\ &a_{i+1}^{(1)}-a_{i+1}+s(a_i^{(1)}-a_i)+\alpha(rb_{i+1}-c_{i+1}^{(1)})+\beta(rb_i-c_i^{(1)})+{} \\ &\qquad +\varepsilon[e_{i+1}^{(1)}-e_{i+1}+q(e_i^{(1)}-e_i)+\alpha(pf_{i+1}-g^{(1)}_{i+1})+\beta(pf_i-g_i^{(1)})]=0, \\ &pb_{i+1}^{(1)}-c_{i+1}+rf_{i+1}^{(1)}-g_{i+1}=0, \\ &a_i^{(1)}+a_i+b_{i+1}^{(1)}+qb_i^{(1)}+e_i+e_i+f_{i+1}^{(1)}+sf_i^{(1)}=0, \\ &a_{i+1}^{(1)}-a_{i+1}+q(a_i^{(1)}-a_i)+\alpha(rf_{i+1}-c_{i+1}^{(1)})+\beta(rf_i-c_i^{(1)})+{} \\ &\qquad +e_{i+1}^{(1)}-e_{i+1}+s(e_i^{(1)}-e_i)+\alpha(pb_{i+1}-g^{(1)}_{i+1})+\beta(pb_i-g_i^{(1)})=0. \end{aligned} \end{equation} \tag{15} $$
Наложим условия
$$ \begin{equation*} \begin{gathered} \, b_{0}=c_{0}=f_{0}=g_{0}=0,\qquad a_{0}=e_{0}=-\frac{1}{2}, \\ a_i|_{u=0}=b_i|_{u=0}=c_i|_{u=0}=e_i|_{u=0}=f_i|_{u=0}=g_i|_{u=0}=0,\qquad i\geqslant 0. \end{gathered} \end{equation*} \notag $$
Тогда несколько первых решеточных функций задаются как
$$ \begin{equation*} \begin{aligned} \, b_1&=f_1=1,\qquad c_1=r,\qquad g_1=p,\qquad a_1=\alpha r,\qquad e_1=\alpha p, \\ f_2&=-q^{(-1)}-\alpha p^{(-1)}-\alpha p,\, b_2=-s^{(-1)}-\alpha r^{(-1)}-\alpha r, \\ g_2&=\frac{1}{\varepsilon-1}[(p-r)(s+\alpha r+\alpha r^{(1)})+(r-\varepsilon p)(q+\alpha p+\alpha p^{(1)})], \\ c_2&=\frac{1}{\varepsilon-1}[(r-\varepsilon p)(s+\alpha r+\alpha r^{(1)})+\varepsilon(p-r)(q+\alpha p+\alpha p^{(1)})],\qquad \\ e_2&=\beta p+\frac{1}{\varepsilon-1}[-\,\alpha rs^{(-1)}-\alpha^2r^2+\alpha s^{(-1)}p+\alpha q^{(-1)}r+2\alpha^2rp+{} \\ &\kern62pt +\alpha sp-\alpha sr+\alpha rq-\alpha^2r^{(-1)}r-\alpha^2rr^{(1)}+{} \\ &\kern62pt +\alpha^2rp^{(-1)}+\alpha^2r^{(1)}p+\alpha^2rp^{(1)}+\alpha^2r^{(-1)}p]-{} \\ &\quad-\frac{\varepsilon}{\varepsilon-1}[\alpha q^{(-1)}p-\alpha qp-\alpha^2p^2-\alpha^2p^{(-1)}+p\alpha^2pp^{(1)}], \\ a_2&=\beta r+\frac{1}{\varepsilon-1}[\alpha rs^{(-1)}+\alpha sr+\alpha r^2+\alpha^2rr^{(1)}+\alpha^2r^{(-1)}r]+{} \\ &\quad +\frac{\varepsilon}{\varepsilon-1}[\alpha rq+2\alpha^2rp+\alpha ps+\alpha rq^{(-1)}+\alpha s^{(-1)}p+{} \\ &\kern48pt +\alpha pq+\alpha pq^{(-1)}-\alpha^2pr^{(1)}-\alpha^2rp^{(-1)}-{} \\ &\kern48pt -\alpha^2pp^{(1)}-\alpha^2pp^{(-1)}-\alpha^2rp^{(1)}-\alpha^2r^{(-1)}p-\alpha^2p^2]. \end{aligned} \end{equation*} \notag $$
Пусть, как обычно,
$$ \begin{equation} \begin{aligned} \, V_m&=(\lambda^mW)_{+}=\begin{bmatrix} (\lambda^ma)_{+} & (\lambda^mb)_{+} \\ (\alpha\lambda+\beta)(\lambda^mc)_{+} & -(\lambda^ma)_{+} \end{bmatrix}, \\ V_{\mathrm a,m}&=(\lambda^mW_{\mathrm a})_{+}=\begin{bmatrix} (\lambda^me)_{+} & (\lambda^mf)_{+} \\ (\alpha\lambda+\beta)(\lambda^mg)_{+} & -(\lambda^me)_{+} \end{bmatrix}, \end{aligned}\qquad m\geqslant 0. \end{equation} \tag{16} $$
Выберем модифицирующие члены в виде
$$ \begin{equation*} \triangle_m=\begin{bmatrix} b_{m+1} & 0 \\ 0 & 0 \end{bmatrix},\qquad \triangle_{\mathrm a,m}=\begin{bmatrix} f_{m+1} & 0 \\ 0 & 0 \end{bmatrix} \end{equation*} \notag $$
и определим временны́е спектральные матрицы
$$ \begin{equation*} \widetilde V^{[m]}=\begin{bmatrix} V^{[m]} & V_{\mathrm a}^{[m]} \\ \varepsilon V_{\mathrm a}^{[m]} & V^{[m]} \end{bmatrix}= \begin{bmatrix} V_m+\triangle_m & V_{\mathrm a,m}+\triangle_{\mathrm a,m} \\ \varepsilon (V_{\mathrm a,m}+\triangle_{\mathrm a,m}) & V_m+\triangle_m \end{bmatrix}. \end{equation*} \notag $$
Рассмотрим временну́ю спектральную задачу
$$ \begin{equation} \phi_{t_m}=\widetilde V^{[m]}\phi,\qquad m\geqslant 0. \end{equation} \tag{17} $$
С учетом дискретных пространственной и временно́й спектральных задач (11) и (17) дискретное уравнение нулевой кривизны
$$ \begin{equation} (E\widetilde V^{[m]})\widetilde U-\widetilde U\widetilde V^{[m]}=\widetilde U_{t_m} \end{equation} \tag{18} $$
дает систему уравнений
$$ \begin{equation} \begin{aligned} \, &(EV^{[m]})U-UV^{[m]}+\varepsilon(EV^{[m]}_{\mathrm a})U_{\mathrm a}-U_{\mathrm a}V^{[m]}_{\mathrm a}=\widetilde U_{t_m}, \\ &(EV^{[m]})U_{\mathrm a}-U_{\mathrm a}V^{[m]}+(EV^{[m]}_{\mathrm a})U-UV^{[m]}_{\mathrm a}=\widetilde U_{\mathrm a,t_m}. \end{aligned} \end{equation} \tag{19} $$
Решая ее, получаем интегрируемую связанную $Z_2^\varepsilon$-иерархию
$$ \begin{equation*} \begin{aligned} \, r_{t_m}&=c_{m+1}-rb_{m+1}+\varepsilon g_{m+1}-\varepsilon pf_{m+1}, \\ s_{t_m}&=a_{m+1}^{(1)}-a_{m+1}+\varepsilon(e_{m+1}^{(1)}-e_{m+1})-\alpha(c_{m+1}^{(1)}-rb_{m+1})-\varepsilon\alpha(g_{m+1}^{(1)}-pf_{m+1}), \\ p_{t_m}&=c_{m+1}+g_{m+1}-rf_{m+1}-pb_{m+1}, \\ q_{t_m}&=a_{m+1}^{(1)}-a_{m+1}+e_{m+1}^{(1)}-e_{m+1}-\alpha(c_{m+1}^{(1)}-pb_{m+1})-\alpha(g_{m+1}^{(1)}-rf_{m+1}). \end{aligned} \end{equation*} \notag $$
Первая нелинейная интегрируемая связанная $Z_2^\varepsilon$-система обобщенного решеточного уравнения Тоды имеет вид
$$ \begin{equation} \begin{aligned} \, r_{t_1}&=r(s^{(-1)}-s)+\alpha r(r^{(-1)}-r^{(1)})+\varepsilon[p(q^{(-1)}-q)+\alpha p(p^{(-1)}-p^{(1)})], \\ s_{t_1}&=\alpha s(r-r^{(1)})+\beta (r^{(1)}-r)+\varepsilon[\alpha q(p-p^{(1)})+\beta (p^{(1)}-p)], \\ p_{t_1}&=p(s^{(-1)}-s)+\alpha p(r^{(-1)}-r^{(1)})+r(q^{(-1)}-q)+\alpha r(p^{(-1)}-p^{(1)}), \\ q_{t_1}&=\alpha q(r-r^{(1)})+\beta(r^{(1)}-r)+\alpha s(p-p^{(1)})+\beta(p^{(1)}-p). \end{aligned} \end{equation} \tag{20} $$
Далее мы рассмотрим некоторые редукции иерархии (20).

Случай 1. Если $\alpha=0$, $\beta=-1$, то иерархия (20) сводится к знаменитой интегрируемой связанной $Z_2^\varepsilon$-системе решеточных уравнений Тоды [35]

$$ \begin{equation} \begin{alignedat}{3} r_{t_1}&=r(s^{(-1)}-s)+\varepsilon p(q^{(-1)}-q),&\qquad s_{t_1}&=r-r^{(1)}+\varepsilon (p-p^{(1)}), \\ p_{t_1}&=p(s^{(-1)}-s)+r(q^{(-1)}-q),&\qquad q_{t_1}&=(r-r^{(1)})+(p-p^{(1)}). \end{alignedat} \end{equation} \tag{21} $$
Мы называем эту систему интегрируемой связанной решеточной системой Тоды, потому что при $\varepsilon=0$, $t_1=t$, $p=0$, $q=0$ она сводится к известному решеточному уравнению Тоды [35]
$$ \begin{equation} r_t=r(s^{(-1)}-s),\qquad s_t=s(r-r^{(1)}). \end{equation} \tag{22} $$

Случай 2. Если $\alpha\neq 0$, $\beta=-1$, то иерархия (20) сводится к интегрируемой связанной $Z_2^\varepsilon$-системе релятивистских решеточных уравнений Тоды

$$ \begin{equation} \begin{aligned} \, r_{t_1}&=r(s^{(-1)}-s+\alpha r^{(-1)}-\alpha r^{(1)})+\varepsilon p(q^{(-1)}-q+\alpha p^{(-1)}-\alpha p^{(1)}), \\ s_{t_1}&=(1+\alpha s)(r^{(1)}-r)+\varepsilon(\alpha q+1) (p-p^{(1)}), \\ p_{t_1}&=p(s^{(-1)}-s+\alpha r^{(-1)}-\alpha r^{(1)})+r(q^{(-1)}-q+\alpha p^{(-1)}-\alpha p^{(1)}), \\ q_{t_1}&=(\alpha q+1)(r-r^{(1)})+(\alpha s+1) (p-p^{(1)}). \end{aligned} \end{equation} \tag{23} $$
Мы называем эту систему интегрируемой связанной релятивистской решеточной системой Тоды, потому что при $\varepsilon=0$, $t_1=t$, $p=0$, $q=0$ она сводится к известному релятивистскому решеточному уравнению Тоды [36]
$$ \begin{equation} r_t=r(s^{(-1)}-s+\alpha r^{(-1)}-\alpha r^{(1)}),\qquad s_t=(1+\alpha s)(r^{(1)}-r). \end{equation} \tag{24} $$

Случай 3. Если $\alpha=1$, $\beta=0$, то иерархия (20) сводится к интегрируемой связанной $Z_2^\varepsilon$-системе следующего вида:

$$ \begin{equation} \begin{aligned} \, r_{t_1}&=r(s^{(-1)}-s)+r(r^{(-1)}-r^{(1)})+\varepsilon[p(q^{(-1)}-q)+p(p^{(-1)}-p)], \\\ s_{t_1}&=s(r-r^{(1)})+\varepsilon q(p-p^{(1)}), \\ p_{t_1}&=p(s^{(-1)}-s)+p(r^{(-1)}-r)+r(q^{(-1)}-q)+r(p^{(-1)}-p), \\ q_{t_1}&=q(r-r^{(1)})+s(p-p^{(1)}). \end{aligned} \end{equation} \tag{25} $$
При $\varepsilon=0$, $t_1=t$ первое уравнение этой системы принимает вид уравнения, рассмотренного в работах Ма [36], [37],
$$ \begin{equation} r_t=r(s^{(-1)}-s)+r(r^{(-1)}-r^{(1)}),\qquad s_t=s(r-r^{(1)}), \end{equation} \tag{26} $$
которое обладает замечательными свойствами.

4. Многокомпонентная интегрируемая иерархия изоспектральных обобщенных уравнений Тоды

Опираясь на алгебру Ли $\hat g$, расширим пространственную спектральную матрицу $U$ до матрицы размера $N\times N$:

$$ \begin{equation} \begin{aligned} \, \widehat U(\hat u,\lambda)&=[U_1(u_1,\lambda),U_2(u_2,\lambda),\ldots,U_N(u_n,\lambda)]^{\mathrm T}= \nonumber\\ &=\begin{pmatrix} U_1 & \varepsilon U_N & \varepsilon U_{N-1} & \ldots & \varepsilon U_2 \\ U_2 & U_1 & \varepsilon U_N & \ddots & \vdots \\ U_3 & U_2 & U_1 & \ddots & \varepsilon U_{N-1} \\ \vdots & \ddots & \ddots & \ddots & \varepsilon U_N \\ U_N & \ldots & U_3 & U_2 & U_1 \end{pmatrix}. \end{aligned} \end{equation} \tag{27} $$
Получим новую пространственную спектральную задачу, связанную с алгеброй $\hat g$:
$$ \begin{equation} E\psi=\widehat U(\hat u,\lambda)\psi, \end{equation} \tag{28} $$
где $\hat u=[u_1,u_2,\ldots,u_N]^{\mathrm T}$ – потенциал, $\psi=[\psi_1,\psi_2,\ldots,\psi_N]^{\mathrm T}$ – собственная функция,
$$ \begin{equation*} U_k(u_k,\lambda)=\begin{bmatrix} 0 & 1 \\ (\alpha\lambda+\beta)r_k & \lambda+s_k \end{bmatrix},\qquad k=1,\ldots,N. \end{equation*} \notag $$
Пусть $\widehat W$ – частное решение изоспектрального стационарного дискретного уравнения нулевой кривизны
$$ \begin{equation} (E\widehat W\,)\widehat U-\widehat U\widehat W=0, \end{equation} \tag{29} $$
заданное как
$$ \begin{equation} \begin{aligned} \, \widehat W&=[W_1,W_2,\ldots,W_N]^{\mathrm T}= \nonumber\\ &=\begin{pmatrix} W_1 & \varepsilon W_N & \varepsilon W_{N-1} & \ldots & \varepsilon W_2 \\ W_2 & W_1 & \varepsilon W_N & \ddots & \vdots \\ W_3 & W_2 & W_1 & \ddots & \varepsilon W_{N-1} \\ \vdots & \ddots & \ddots & \ddots & \varepsilon W_N \\ W_N & \ldots & W_3 & W_2 & W_1 \end{pmatrix}, \end{aligned} \end{equation} \tag{30} $$
где
$$ \begin{equation*} W_k=\begin{bmatrix} a_k & \phantom{-}b_k \\ (\alpha \lambda+\beta)c_k & -a_k \end{bmatrix},\qquad k=1,\ldots,N. \end{equation*} \notag $$
Изоспектральное стационарное дискретное уравнение нулевой кривизны
$$ \begin{equation} (E\widehat W\,)\widehat U-\widehat U\widehat W=0 \end{equation} \tag{31} $$
в развернутом виде записывается как
$$ \begin{equation} \begin{aligned} \, &(EW_1)U_1-U_1W_1+\varepsilon\sum_{\substack{m+n=N+2,\\ 2\leqslant m,n\leqslant N}}[(EW_m)U_n-U_nW_m]=0, \\ &\sum_{\substack{i+j=3,\\ 1\leqslant i,j\leqslant 2}}[(EW_i)U_j-U_jW_i]+ \varepsilon\sum_{\substack{m+n=N+3,\\ 3\leqslant m,n\leqslant N}}[(EW_m)U_n-U_nW_m]=0, \\ &\qquad\qquad \ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots, \\ &\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}[(EW_i)U_j-U_jW_i]+ \varepsilon\sum_{\substack{m+n=N+k+1,\\ k+1\leqslant m,n\leqslant N}}[(EW_m)U_n-U_nW_m]=0, \\ &\qquad\qquad \ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots, \\ &\sum_{\substack{i+j=N,\\ 1\leqslant i,j\leqslant N-1}}[(EW_i)U_j-U_jW_i]+\varepsilon [(EW_N)U_N-U_NW_N]=0, \\ &\sum_{\substack{i+j=N+1,\\ 1\leqslant i,j\leqslant N}}[(EW_i)U_j-U_jW_i]=0. \end{aligned} \end{equation} \tag{32} $$
Подставляя в (32) разложения в ряды Лорана
$$ \begin{equation*} a_k=\sum_{i\geqslant 0}a_{k,i}\lambda^{-i},\qquad b_k=\sum_{i\geqslant 0}b_{k,i}\lambda^{-i},\qquad c_k=\sum_{i\geqslant 0}c_{k,i}\lambda^{-i},\qquad k=1,\ldots,N, \end{equation*} \notag $$
получаем рекуррентные соотношения
$$ \begin{equation} \begin{aligned} \, &r_1^{}b_{1,l+1}^{(1)}-c_{1,l+1}^{}+\varepsilon\sum_{\substack{m+n=N+2,\\ 2\leqslant m,n\leqslant N}}(r_n^{}b_{m,l+1}^{(1)}-c_{m,l+1}^{})=0, \nonumber\\ &a_{1,l}^{(1)}+a_{1,l}^{}+b_{1,l+1}^{(1)}+s_1^{}b_{1,l}^{}+ \varepsilon\sum_{\substack{m+n=N+2,\\ 2\leqslant m,n\leqslant N}}(a_{m,l}^{(1)}+a_{m,l}^{}+b_{m,l+1}^{(1)}+s_n^{}b_{m,l}^{})=0, \nonumber\\ &a_{1,l+1}^{(1)}-a_{1,l+1}^{}+s_1(a_{1,l}^{(1)}-a_{1,l}^{})+ \alpha (r_1^{}b_{1,l+1}^{}-c_{1,l+1}^{(1)})+\beta(r_1^{}b_{1,l}^{}-c_{1,l}^{(1)})+{} \nonumber\\ &\kern25pt +\varepsilon\sum_{\substack{m+n=N+2, \\ 2\leqslant m,n\leqslant N}} [a_{m,l+1}^{(1)}-a_{m,l+1}^{}+s_n^{}(a_{m,l}^{(1)}-a_{m,l}^{})+{} \nonumber\\ &\kern98pt +\alpha(r_n^{}b_{m,l+1}^{}-c_{m,l+1}^{(1)})+\beta(r_n^{}b_{m,l}^{}-c_{m,l}^{(1)})]=0, \nonumber\\ &\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}(r_i^{}b_{j,l+1}^{(1)}-c_{j,l+1}^{})+ \varepsilon\sum_{\substack{m+n=N+k+1,\\k+1\leqslant m,n\leqslant N}}(r_n^{}b_{m,l+1}^{(1)}-c_{m,l+1}^{})=0, \\ &\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}(a_{i,l}^{(1)}+a_{i,l}^{}+b_{i,l+1}^{(1)}+s_j^{}b_{i,l}^{})+ \varepsilon\sum_{\substack{m+n=N+k+1,\\ k+1\leqslant m,n\leqslant N}}(a_{m,l}^{(1)}+a_{m,l}^{}+b_{m,l+1}^{(1)}+s_n^{}b_{m,l}^{})=0, \nonumber\\ &\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}} [a_{i,l+1}^{(1)}-a_{i,l+1}^{}+s_j^{}(a_{i,l}^{(1)}-a_{i,l}^{})+ \alpha (r_j^{}b_{i,l+1}^{}-c_{i,l+1}^{(1)})+\beta(r_j^{}b_{i,l}^{}-c_{i,l}^{(1)})]+{} \nonumber\\ &\kern25pt +\varepsilon\sum_{\substack{m+n=N+k+1,\\ k+1\leqslant m,n\leqslant N}} [a_{m,l+1}^{(1)}-a_{m,l+1}^{}+s_n^{}(a_{m,l}^{(1)}-a_{m,l}^{})+{} \nonumber\\ &\kern98pt +\alpha(r_n^{}b_{m,l+1}^{}-c_{m,l+1}^{(1)})+\beta(r_n^{}b_{m,l}^{})-c_{m,l}^{(1)})]=0, \nonumber\\ &\sum_{\substack{i+j=N+1,\\ 1\leqslant i,j\leqslant N}}(r_ib_{j,l+1}^{(1)}-c_{j,l+1}^{})=0, \nonumber\\ &\sum_{\substack{i+j=N+1,\\ 1\leqslant i,j\leqslant N}}(a_{i,l}^{(1)}+a_{i,l}^{}+b_{i,l+1}^{(1)}+s_j^{}b_{i,l}^{})=0, \nonumber\\ &\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}[a_{i,l+1}^{(1)}-a_{i,l+1}^{}+s_j^{}(a_{i,l}^{(1)}-a_{i,l}^{})+ \alpha (r_j^{}b_{i,l+1}^{}-c_{i,l+1}^{(1)})+\beta(r_j^{}b_{i,l}^{}-c_{i,l}^{(1)})]=0. \nonumber \end{aligned} \end{equation} \tag{33} $$
Выберем начальные условия
$$ \begin{equation*} a_{k,0}=-\frac{1}{2},\qquad b_{k,0}=c_{k,0}=0,\qquad k=1,2,\ldots, N, \end{equation*} \notag $$
и наложим условия интегрируемости
$$ \begin{equation*} a_{k,l}|_{u=0}=b_{k,l}|_{u=0}=c_{k,l}|_{u=0}=0,\qquad l\geqslant 0,\qquad k=1,\ldots,N, \end{equation*} \notag $$
в результате получим всю последовательность $\{a_{k,l},b_{k,l},c_{k,l},\,l\geqslant 1,\,k=1,2,\ldots ,N\}$. Несколько первых ее членов имеют вид
$$ \begin{equation*} \begin{aligned} \, a_{k,1}&=\alpha r_k,\qquad c_{k,1}=r_k,\qquad b_{k,1}=1,\qquad b_{k,2}=-s_k^{(-1)}-\alpha r_k^{(-1)}-\alpha r_k, \\ c_{k,2}&=\frac{1}{\varepsilon-1}\sum_{\substack{1\leqslant i<j\leqslant k, \\ j-i=1}}(r_i-r_j)b_{k-i,2}^{(1)}+ \frac{\varepsilon}{\varepsilon-1}\sum_{\substack{k\leqslant m<n\leqslant N,\\ n-m=1}}(r_m^{}-r_n^{})b_{N-m+k,2}^{(1)}+{} \\ &\quad +\frac{1}{\varepsilon-1}(\varepsilon r_N^{}-r_1^{})b_{k,2}^{(1)}= \\ &=\frac{1}{1-\varepsilon}\sum_{i=1}^{k-1}(r_i^{}-r_{i+1}^{})(s_{k-i}^{}+\alpha r_{k-i}^{}+\alpha r_{k-i}^{(1)})+{} \\ &\quad +\frac{\varepsilon}{1-\varepsilon}\biggl(\,\sum_{m=k}^{N-1}(r_m-r_{m-1})(s_{k+N-m}^{}+\alpha r_{k+N-m}^{}+\alpha r_{k+N-m}^{(1)})\biggr)+{} \\ &\quad +\frac{1}{1-\varepsilon}(\varepsilon r_N-r_1)(s_k^{}+\alpha r_k^{}+\alpha r_k^{(1)}), \\ a_{k,2}^{(1)}&=a_{k,2}^{}+\beta(r_k^{(1)}-r_k^{})+{} \\ &\quad +\frac{\alpha}{1-\varepsilon} \biggl[\,\sum_{i=1}^{k-1}(dr^{(-1)}_i-s_{i+1}^{})(r_{k-i}^{(1)}-r_{k-i}^{})+{} \\ &\qquad\qquad\quad +\varepsilon\sum_{m=k}^{N-1}(s_m^{}-s_{m+1}^{})(r_{k+N-m}^{(1)}-r_{k+N-m}^{})+{} \\ &\qquad\qquad\quad +\sum_{j=1}^{k-1}(r_{j+1}^{}-r_j^{})(s_{k-j}^{(-1)}+\alpha r_{k-j}^{(-1)}+\alpha r_{k-j}^{})+{} \\ &\qquad\qquad\quad +\varepsilon\sum_{n=k}^{N-1}(r_n-s_{n+1})(s_{N+k-n}^{(-1)}+\alpha r_{N+k-n}^{(-1)}+\alpha r_{N+k-n}^{})+{} \\ &\qquad\qquad\quad +(\varepsilon s_N-s_1) (r_k^{(1)}-r_k^{})+(r_1^{}-\varepsilon r_N^{})(s_k^{(-1)}+\alpha r_k^{(1)}+\alpha r_k^{})+\alpha C_{k,2}^{(1)}\biggr], \end{aligned} \end{equation*} \notag $$
где $k=1,\ldots,N$.

Рассмотрим временну́ю спектральную задачу

$$ \begin{equation} \begin{gathered} \, \psi_{t_m}=\widehat V^{[m]}\psi,\qquad \widehat V^{[m]}=(\lambda^m\widehat W\,)_{+}+\widehat{\triangle}= [V_1^{[m]}+\widehat{\triangle}_1,\ldots,V_N^{[m]}+\widehat{\triangle}_N]^{\mathrm T}, \\ V_k^{[m]}=\sum_{l=0}^m\lambda^{m-l} \begin{bmatrix} a_k & \phantom{-}b_k \\ (\alpha\lambda+\beta)c_k & -a_k \end{bmatrix},\quad \widehat{\triangle}_k=\begin{bmatrix} b_{k,m+1} & 0 \\ 0 & 0 \end{bmatrix},\qquad k=1,\ldots,N. \end{gathered} \end{equation} \tag{34} $$
Спектральные задачи (28), (34) и рекуррентные соотношения (33) позволяют вывести из дискретного уравнения нулевой кривизны
$$ \begin{equation} \widehat U_t=(E\widehat V^{[m]})\widehat U-\widehat U\widehat V^{[m]} \end{equation} \tag{35} $$
многокомпонентные интегрируемые связи изоспектральной обобщенной иерархии цепочки Тоды:
$$ \begin{equation} \hat u_{t_m}=\widehat K_m=[r_1,s_1,r_2,s_2,\ldots,r_N,s_N]_{t_m}^{\mathrm T},\qquad m\geqslant 0, \end{equation} \tag{36} $$
где
$$ \begin{equation*} \begin{aligned} \, (r_1)_{t_m}&=\sum_{\substack{i+j=2,\\ 1\leqslant i,j\leqslant 1}}(c_{i,m+1}-r_jb_{i,m+1})+ \varepsilon\sum_{\substack{n+l=N+2, \\ 2\leqslant n,l\leqslant N}}(c_{n,m+1}-r_lb_{n,m+1}), \\ (s_1^{})_{t_m^{}}&=\sum_{\substack{i+j=2,\\ 1\leqslant i,j\leqslant 1}}[(a_{i,m+1}^{(1)}-a_{i,m+1}^{})+\alpha(r_j^{}b_{i,m+1}^{}-c_{i,m+1}^{(1)})]+{} \\ &\quad +\varepsilon\sum_{\substack{n+l=N+2,\\ 2\leqslant n,l\leqslant N}}[(a_{n,m+1}^{(1)}-a_{n,m+1}^{})+\alpha(r_l^{}b_{n,m+1}^{}-c_{n,m+1}^{(1)})], \\ (r_2)_{t_m}&=\sum_{\substack{i+j=3, \\ 1\leqslant i,j\leqslant 2}}(c_{i,m+1}-r_jb_{i,m+1})+ \varepsilon\sum_{\substack{n+l=N+3, \\3\leqslant n,l\leqslant N}}(c_{n,m+1}-r_lb_{n,m+1}), \\ (s_2)_{t_m}&=\sum_{\substack{i+j=3,\\ 1\leqslant i,j\leqslant 2}}[(a_{i,m+1}^{(1)}-a_{i,m+1}^{})+\alpha(r_j^{}b_{i,m+1}^{}-c_{i,m+1}^{(1)})]+{} \\ &\quad +\varepsilon\sum_{\substack{n+l=N+3, \\3\leqslant n,l\leqslant N}}[(a_{n,m+1}^{(1)}-a_{n,m+1}^{})+\alpha(r_l^{}b_{n,m+1}^{}-c_{n,m+1}^{(1)})], \\ &\qquad \ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots\ldots, \\ (r_N)_{t_m}&=\sum_{\substack{i+j=N+1,\\ 1\leqslant i,j\leqslant N}}(c_{i,m+1}-r_jb_{i,m+1}), \\ (s_N)_{t_m}&= \sum_{\substack{i+j=N+1,\\ 1\leqslant i,j\leqslant N}}[(a_{i,m+1}^{(1)}-a_{i,m+1})+\alpha(r_j^{}b_{i,m+1}^{}-c_{i,m+1}^{(1)})], \\ (r_k)_{t_m}&=\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}(c_{i,m+1}-r_jb_{i,m+1})+ \varepsilon\sum_{\substack{n+l=N+k+1,\\k+1\leqslant n,l\leqslant N}}(c_{n,m+1}-r_lb_{n,m+1}),\\ (s_k)_{t_m}&=\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}[(a_{i,m+1}^{(1)}-a_{i,m+1}^{})+\alpha(r_j^{}b_{i,m+1}^{}-c_{i,m+1}^{(1)})]+{} \\ &\quad +\varepsilon\sum_{\substack{n+l=N+k+1,\\k+1\leqslant n,l\leqslant N}}[(a_{n,m+1}^{(1)}-a_{n,m+1}^{})+\alpha(r_l^{}b_{n,m+1}^{}-c_{n,m+1}^{(1)})], \end{aligned} \end{equation*} \notag $$
для $k=1,\ldots,N$. Две первые многокомпонентные нелинейные решеточные системы этой иерархии записываются как
$$ \begin{equation} \begin{aligned} \, (r_k)_{t_{0}}&=\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}(r_i-r_j)+\varepsilon\sum_{\substack{n+l=N+k+1,\\k+1\leqslant n,l\leqslant N}}(r_n-r_l), \\ (s_k)_{t_{0}}&=\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}\alpha(r_j-r_i)+\varepsilon\sum_{\substack{n+l=N+k+1,\\k+1\leqslant n,l\leqslant N}}\alpha(r_l-r_n), \\ (r_k)_{t_1}&=\sum_{\substack{i+j=k+1,\\ 1\leqslant i,j\leqslant k}}[r_i^{}(s^{(-1)}_j-s_j^{})+\alpha r_i^{}(r_j^{(-1)}-r^{(1)}_j)]+{} \\ &\quad +\varepsilon\sum_{\substack{n+l=N+k+1,\\k+1\leqslant n,l\leqslant N}}[r_n^{}(s^{(-1)}_l-s_l^{})+\alpha r_n^{}(r_l^{-1}-r^{(1)}_l)], \\ (s_k)_{t_1}&=\sum_{\substack{i+j=k+1, \\ 1\leqslant i,j\leqslant k}}[\beta(r_i^{(1)}-r_i^{})+\alpha s_j^{}(r_i^{}-r_i^{(1)})]+{} \\ &\quad +\varepsilon\sum_{\substack{n+l=N+k+1,\\k+1\leqslant n,l\leqslant N}}[\beta(r_n^{(1)}-r_n^{})+\alpha s_l^{}(r_n^{}-r_n^{(1)})], \end{aligned} \end{equation} \tag{37} $$
где $k=1,\ldots,N$. Если $N=1$, $\varepsilon=0$, $\alpha=0$, $\beta=-1$, то система (37) приобретает вид знаменитого решеточного уравнения Тоды
$$ \begin{equation} (r_1^{})_{t_1^{}}=r_1^{}(s_1^{(-1)}-s_1^{}),\qquad (s_1^{})_{t_1^{}}=r^{(-1)}_1-r^{(1)}_1. \end{equation} \tag{38} $$
Если $N=1$, $\varepsilon=0$, $\alpha=1$, $\beta=0$, то система (37) приобретает вид решеточного уравнения, изучавшегося в работе [37]:
$$ \begin{equation} (r_1^{})_{t_1^{}}=r_1^{}(s_1^{(-1)}-s_1^{})+r_1^{}(r_1^{(-1)}-r_1^{(1)}),\qquad (s_1^{})_{t_1^{}}=s_1^{}(r_1^{}-r_1^{(1)}). \end{equation} \tag{39} $$
Это уравнение линейно независимо с уравнением цепочки Тоды (38) и с точностью до обозначений совпадает с очень хорошо изученной релятивистской цепочкой Тоды из работы [37]. Обобщенные уравнения цепочки Тоды, их решения, гамильтоновы структуры и другие свойства подробно исследованы (см., например, [38]–[43]).

5. Заключение и обсуждение

Вдохновленные результатами исследования [33], посвященного интегрируемым $Z_N^\varepsilon$-связям непрерывных интегрируемых систем, мы представили практический подход к построению многокомпонентной интегрируемой иерархии дискретных солитонных уравнений на основе неполупростой алгебры Ли $\hat g$. Полученная теория была применена к обобщенной пространственной спектральной задаче Тоды, и с помощью данного подхода построена многокомпонентная интегрируемая иерархия решеточного обобщенного уравнения Тоды. Нетрудно заметить, что в процессе построения интегрируемых связей всегда присутствует модифицирующий член $\triangle_k$. Это указывает на то, что матричные спектральные задачи более высокого порядка имеют больше степеней свободы в порождаемых ими интегрируемых системах. Анализируя результаты, можно обнаружить, что если $\varepsilon=0$ и $N=2$, то многокомпонентные интегрируемые связи изоспектральной обобщенной иерархии цепочки Тоды (36) являются приближением результата Ма [32]. Таким образом, мы обобщили интегрируемую связь второго порядка для дискретных солитонных уравнений на случай матрицы размера $N\times N$.

В данной работе мы рассмотрели только изоспектральную $Z_2^\varepsilon$-иерархию и многокомпонентную интегрируемую иерархию решеточных обобщенных уравнений Тоды. Если считать, что в дополнительной спектральной подматрице спектральные параметры зависят от времени, то это даст более разнообразный набор интегрируемых моделей. Кроме того, заслуживают изучения многие свойства многокомпонентных интегрируемых иерархий изоспектральных и неизоспектральных решеточных уравнений, например бигамильтоновы структуры, преобразование Дарбу, законы сохранения, явные решения и т. д.

Конфликт интересов

Авторы заявляют, что у них нет конфликта интересов.

Список литературы

1. М. Абловиц, Х. Сигур, Солитоны и метод обратной задачи, Мир, М., 1987  crossref  mathscinet  mathscinet  zmath  zmath
2. F. Magri, “A geometrical approach to the nonlinear solvable equations”, Nonlinear Evolution Equations and Dynamical Systems (University of Lecce, June 20–23, 1979), Lecture Notes in Physics, 120, eds. M. Boiti, F. Pempinelli, G. Soliani, Springer, Berlin, Heidelberg, 1980, 233–263  crossref  mathscinet
3. G. Z. Tu, “The trace identity, a powerful tool for constructing the Hamiltonian structure of integrable systems”, J. Math. Phys., 30:2 (1989), 330–338  crossref  mathscinet
4. G. Z. Tu, “A trace identity and its applications to the theory of discrete integrable systems”, J. Phys. A: Math. Gen., 23:17 (1999), 3903–3922  crossref  mathscinet
5. M. Blaszak, K. Marciniak, “$R$-matrix approach to lattice integrable systems”, J. Math. Phys., 35:9 (1994), 4661–4682  crossref  mathscinet
6. Y. B. Suris, “$r$-Matrices for relativistic deformations of integrable systems”, J. Nonlinear Math. Phys., 6:4 (1999), 411–447  crossref  mathscinet
7. O. Ragnisco, P. M. Santini, “A unified algebraic approach to integral and discrete evolution equations”, Inverse Problems, 6:3 (1990), 441–452  crossref  mathscinet
8. A. A. Belov, K. D. Chaltikian, “Lattice analogues of $W$-algebras and classical integrable equations”, Phys. Lett. B, 309:3–4 (1993), 268–274  crossref  mathscinet
9. R. J. Schilling, “A systematic approach to the soliton equations of a discrete eigenvalue problem”, J. Math. Phys., 30:7 (1989), 1487–1501  crossref  mathscinet
10. W. X. Ma, B. Fuchssteiner, “Integrable theory of the perturbation equations”, Chaos Solitons Fractals, 7:8 (1996), 1227–1250  crossref  mathscinet
11. W.-X. Ma, “Integrable couplings of soliton equations by perturbations I: A general theory and application to the KdV hierarchy”, Methods Appl. Anal., 7:1 (2000), 21–55  crossref  mathscinet
12. W. X. Ma, B. Fuchssteiner, “Integrable theory of the perturbation equations”, Chaos Solitons Fractals, 7:8 (1996), 1227–1250, arXiv: solv-int/9604004  crossref  mathscinet  adsnasa
13. W.-X. Ma, “Enlarging spectral problems to construct integrable couplings of soliton equations”, Phys. Lett. A, 316:1–2 (2003), 72–76  crossref  mathscinet
14. W.-X. Ma, “Integrable couplings of vector AKNS soliton equations”, J. Math. Phys., 46:3 (2005), 033507, 19 pp.  crossref  mathscinet
15. F. Guo, Y. Zhang, “A new loop algebra and a corresponding integrable hierarchy, as well as its integrable coupling”, J. Math. Phys., 44:12 (2003), 5793–5803  crossref  mathscinet  adsnasa
16. Y. F. Zhang, “A generalized multi-component Glachette–Johnson (GJ) hierarchy and its integrable coupling system”, Chaos Solitons Fractals, 21:2 (2004), 305–310  crossref  mathscinet  adsnasa
17. S. Shen, C. Li, Y. Jin, W.-X. Ma, “Completion of the Ablowitz–Kaup–Newell–Segur integrable coupling”, J. Math. Phys., 59:10 (2018), 103503, 11 pp., arXiv: 1706.04308  crossref  mathscinet  adsnasa
18. Y. Zhang, H. Tam, “Applications of the Lie algebra $\mathrm{gl}(2)$”, Modern Phys. Lett. B, 23:14 (2009), 1763–1770  crossref  mathscinet  adsnasa
19. L. Luo, E. G. Fan, “The algebraic structure of discrete zero curvature equations associated with integrable couplings and application to enlarged Volterra systems”, Sci. China Ser. A: Math., 52:1 (2009), 147–159  crossref  mathscinet
20. Y. F. Zhang, W. Rui, “A few continuous and discrete dynamical systems”, Rep. Math. Phys., 78:1 (2016), 19–32  crossref  mathscinet  adsnasa
21. X.-X. Xu, “An integrable coupling hierarchy of the Mkdv_ integrable systems, its Hamiltonian structure and corresponding nonisospectral integrable hierarchy”, Appl. Math. Comput., 216:1 (2010), 344–353  mathscinet
22. E. G. Fan, Y. F. Zhang, “A simple method for generating integrable hierarchies with multi-potential functions”, Chaos Solitons Fractals, 25:2 (2005), 425–439  crossref  mathscinet  adsnasa
23. F. Yu, H. Zhang, “Hamiltonian structures of the integrable couplings for the multicomponent Dirac hierarchy”, Appl. Math. Comput., 197:2 (2008), 828–835  crossref  mathscinet
24. M. McAnally, W.-X. Ma, “Two integrable couplings of a generalized D-Kaup–Newell hierarchy and their Hamiltonian and bi-Hamiltonian structures”, Nonlinear Analys., 191 (2020), 111629, 13 pp.  crossref  mathscinet
25. X.-G. Geng, W.-X. Ma, “A generalized Kaup–Newell spectral problem, soliton equations and finite-dimensional integrable systems”, Nuovo Cimento A, 108:4 (1995), 477–486  crossref  mathscinet  adsnasa
26. Y. Zhang, H. Zhang, Q. Yan, “Integrable couplings of Botie–Pempinelli–Tu (BPT) hierarchy”, Phys. Lett. A, 299:5–6 (2002), 543–548  crossref  mathscinet  adsnasa
27. Y.-F. Zhang, H.-W. Tam, “Generation of nonlinear evolution equations by reductions of the self-dual Yang–Mills equations”, Commun. Theor. Phys. (Beijing), 61:2 (2014), 203–206  crossref  mathscinet
28. Чуань-Чжун Ли, Цзин-Сун Хэ, “О расширенной иерархии $Z_N$-Тоды”, ТМФ, 185:2 (2015), 289–312  mathnet  crossref  crossref  mathscinet  adsnasa
29. P. R. Gordoa, A. Pickering, Z. N. Zhu, “New $2+1$ dimensional nonisospectral Toda lattice hierarchy”, J. Math. Phys., 48:2 (2007), 023515, 18 pp.  crossref  mathscinet
30. Y. F. Zhang, H. Q. Zhang, “A direct method for integrable couplings of TD hierarchy”, J. Math. Phys., 43:1 (2002), 466–472  crossref  mathscinet
31. S. N. M. Ruijsenaars, “Relativistic Toda systems”, Commun. Math. Phys., 133:2 (1990), 217–247  crossref  mathscinet
32. W.-X. Ma, X.-X. Xu, Y. Zhang, “Semidirect sums of Lie algebras and discrete integrable couplings”, J. Math. Phys., 47:5 (2006), 053501, 16 pp.  crossref  mathscinet  adsnasa
33. H. F. Wang, Y. F. Zhang, “A new multi-component integrable coupling and its application to isospectral and nonisospectral problems”, Commun. Nonlinear Sci. Numer. Simul., 105 (2022), 106075, 15 pp.  crossref  mathscinet
34. H. F. Wang, Y. F. Zhang, “A kind of non-isospectral and isospectral integrable couplings and their Hamiltonian systems”, Commun. Nonlinear Sci. Numer. Simul., 99 (2021), 105822, 15 pp.  crossref  mathscinet
35. M. Toda, Theory of Nonlinear Lattice, Springer Series in Solid-State Sciences, 20, Springer, Berlin, 1989  crossref  mathscinet
36. Y. B. Suris, The Problem of Integrable Discretization: Hamiltonian Approach, Progress in Mathematics, 219, Birkhäuser, Basel, 2003  crossref  mathscinet
37. W.-X. Ma, X.-X. Xu, “Positive and negative hierarchies of integrable lattice models associated with a Hamiltonian pair”, Internat. J. Theoret. Phys., 43:1 (2004), 219–235  crossref  mathscinet
38. С. В. Манаков, “О полной интегрируемости и стохастизации в дискретных динамических системах”, ЖЭТФ, 67:2 (1974), 543–555  mathscinet
39. H. Flaschka, “The Toda lattice. II. Existence of integrals”, Phys. Rev. B, 9:4 (1974), 1924–1925  crossref  mathscinet
40. M. A. Olshanetsky, A. M. Perelomov, “Classical integrable finite-dimensional systems related to Lie algebras”, Phys. Rep., 71:5 (1981), 313–400  crossref  mathscinet
41. W. X. Ma, Y. You, “Rational solutions of the Toda lattice equation in Casoratian form”, Chaos Solitons Fractals, 22:2 (2004), 395–406  crossref  mathscinet
42. W.-X. Ma, K. Maruno, “Complexiton solutions of the Toda lattice equation”, Phys. A, 343:1–4 (2004), 219–237  crossref  mathscinet
43. H. F. Wang, The multi-component non-isospectral KdV hierarchies associated with a novel kind of $N$-dimensional Lie algebra, arXiv: 2201.03205

Образец цитирования: Чжэнь-Бо Ван, Хай-Фэн Ван, Юй-Фэн Чжан, “Новый тип многокомпонентной иерархии дискретных солитонных уравнений и ее применение”, ТМФ, 215:3 (2023), 421–436; Theoret. and Math. Phys., 215:3 (2023), 823–836
Цитирование в формате AMSBIB
\RBibitem{WanWanZha23}
\by Чжэнь-Бо~Ван, Хай-Фэн~Ван, Юй-Фэн~Чжан
\paper Новый тип многокомпонентной иерархии дискретных солитонных уравнений и~ее применение
\jour ТМФ
\yr 2023
\vol 215
\issue 3
\pages 421--436
\mathnet{http://mi.mathnet.ru/tmf10373}
\crossref{https://doi.org/10.4213/tmf10373}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4602495}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2023TMP...215..823W}
\transl
\jour Theoret. and Math. Phys.
\yr 2023
\vol 215
\issue 3
\pages 823--836
\crossref{https://doi.org/10.1134/S0040577923060065}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85163302067}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tmf10373
  • https://doi.org/10.4213/tmf10373
  • https://www.mathnet.ru/rus/tmf/v215/i3/p421
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Теоретическая и математическая физика Theoretical and Mathematical Physics
    Статистика просмотров:
    Страница аннотации:79
    PDF полного текста:2
    HTML русской версии:37
    Список литературы:9
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024