|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Применение тригональной кривой к иерархии обобщенной цепочки Тоды
Цю-Лань Чжаоa, Цай-Сюэ Ли, Синь-Юэ Ли a College of Mathematics and Systems Science, Shandong University of Science and Technology, Shandong, China
Аннотация:
Из уравнения нулевой кривизны и рекуррентных соотношений Ленарда получена иерархия обобщенной цепочки Тоды. Через характеристический полином пары Лакса для дискретной иерархии вводится тригональная кривая; в результате уравнения расщепляются, и получается система уравнений типа Дубровина. Проведен анализ асимптотик функции Бейкера–Ахиезера и мероморфной функции, а также обсуждаются дивизоры этих функций. Кроме того, определено отображение Абеля, соответствующие потоки на многообразии Якоби выпрямляются, таким образом, окончательные алгебро-геометрические решения иерархии находятся с помощью тета-функций Римана.
Ключевые слова:
дискретная матричная спектральная задача, обобщенные цепочки Тоды, тригональная кривая, алгебро-геометрические решения.
Поступило в редакцию: 24.10.2022 После доработки: 12.12.2022
1. Введение Цепочка Тоды [1], [2]
$$
\begin{equation}
\frac{\partial^2y}{\partial{t^2}}=\exp(y^{-}-y)-\exp(y-y^{+}),\qquad y=y(n,t),\quad (n,t)\in\mathbb{Z}\times\mathbb{R},
\end{equation}
\tag{1.1}
$$
представляет собой систему абсолютно интегрируемых уравнений с экспоненциальным взаимодействием. Она была открыта при поиске системы со строгим периодическим решением, при этом экспоненциальное взаимодействие использовалось для объяснения неэргодического характера знаменитой проблемы Ферми–Пасты–Улама [3]. Цепочка Тоды обладает многочисленными математическими структурами и рассматривается как модель разнообразных физических явлений. С ней тесно связаны или выводятся из нее с помощью определенных предположений такие известные уравнения, как нелинейное уравнение Шредингера и уравнение Кортевега–де Фриза [4], [5]. Кроме того, задавая различные математические модели, можно использовать систему Тоды для описания движения цепочки частиц со взаимодействием ближайших соседей; также она применяется в биологии как типичная модель цепочки ДНК [6]. Следует заметить, что с помощью преобразования переменных $\varpi=-\exp(y-y^{+})$, $x=y_t$ цепочку Тоды можно переписать как
$$
\begin{equation}
\varpi_t=\varpi(x-x^{+}),\qquad x_t=\varpi-\varpi^{-}.
\end{equation}
\tag{1.2}
$$
По мере роста внимания исследователей к цепочке Тоды с тех пор, как она была предложена, для нее применялось разнообразные математические методы, и были получены многочисленные результаты [7]–[12]. Как один из наиболее эффективных инструментов исследования для исследования системы Тоды широко используются методы алгебраической геометрии. Математическая теория алгебро-геометрического подхода разрабатывается с начала 1970-х гг. по мере развития метода конечнозонного интегрирования, представленного в работах Новикова, Матвеева, Итса и др. [13], [14]. Получающиеся решения могут не только описывать свойства интегрируемости уравнений, но и раскрывать внутреннюю структуру решений солитонных уравнений [15]–[18]. Для ($2\times 2$)-матричных спектральных задач уже были получены алгебро-геометрические решения соответствующих солитонных уравнений, выражающиеся через тета-функции Римана на гиперэллиптической кривой [19]–[21]. Однако исследования алгебро-геометрических решений солитонных уравнений третьего порядка очень немногочисленны. Наиболее известный классический результат связан с уравнением Буссинеска, для которого дифференциальные операторы третьего порядка, содержащиеся в этом уравнении, изучались в рамках теории редукции тета-функций Римана [22]. Позже с помощью специального алгоритма были получены конечнозонные гладкие решения нелинейного уравнения Шредингера [23]. В 1999 г. Диксон, Гестези и Унтеркофлер предложили единую структуру, которая дает все алгебро-геометрические решения полной иерархии Буссинеска, связанной с дифференциальным оператором третьего порядка [24]. В работах [25], [26] на основе предложенной ранее схемы был разработан систематический метод введения тригональной кривой с помощью характеристического полинома матрицы Лакса, ассоциированного с матричной спектральной задачей высшего порядка. Этот метод позволил обобщить алгебро-геометрический подход и получить решения непрерывных иерархий в случае матриц размера $3\times 3$. Затем методы алгебраической геометрии были распространены на дискретные иерархии третьего порядка [27], [28]. В настоящей работе мы вводим тригональную кривую для определения функции Бейкера-Ахиезера $\Xi$ и соответствующей мероморфной функции $\Theta$, после этого солитонные уравнения расщепляются и принимают вид разрешимых обыкновенных дифференциальных уравнений типа Дубровина. В результате можно дополнительно проанализировать свойства введенных функций. Используя в качестве основы подход алгебраической геометрии, мы применяем его к дискретной иерархии обобщенной цепочки Тоды третьего порядка
$$
\begin{equation}
\begin{alignedat}{3} q_t&=2rq^{--}q^{-}-\frac{s^{+}q}{s},&\qquad r_t&=\frac{s}{s^{-}}-\frac{s^{+}}{s}+2(qv^{+}-q^{-}v), \\ s_t&=-qsv-rs,&\qquad v_t&=\frac{qs}{s^{-}}-2rv+2v^{-}, \end{alignedat}
\end{equation}
\tag{1.3}
$$
которая переходит в систему (1.2) при $q=0 $, $r=\varpi^{+}$, $x=s/s^{-}$, $v=0$. Гамильтонова система для (1.3) была построена в работе [29]. Статья организована следующим образом. В разделе 2 с помощью рекуррентных соотношений Ленарда введены разностные операторы $K_n$ и $J_n$, а затем из уравнения нулевой кривизны получена иерархия (1.3). В разделе 3 определена тригональная кривая $\mathcal K_{l-1}$, задающаяся через характеристический полином пары Лакса для иерархии (1.3), из которого можно найти функции $\Xi$ и $\Theta$. В разделе 4 проанализированы свойства полученных функций в случае, когда они не зависят от времени, и введены абелевые дифференциалы, а затем потенциалы пары Лакса выражены через тета-функции Римана. В разделе 5 мы применяем анализ двух предыдущих разделов к случаю, когда имеется зависимость от времени, и записываем иерархию (1.3) как разделенную систему разрешимых обыкновенных дифференциальных уравнений типа Дубровина. Затем мы выпрямляем потоки и выражаем функции $\Xi$ и $\Theta$ через тета-функции Римана. Таким образом, мы получаем алгебро-геометрические решения иерархии (1.3) и в случае низкого рода кривой записываем представление потенциалов через тета-функции Римана. В разделе 6 мы суммируем содержание статьи и делаем соответствующие замечания.
2. Иерархия обобщенной цепочки Тоды Предположим что функции $q$, $r$, $s$, $v$ удовлетворяют следующим условиям: в стационарном случае
$$
\begin{equation*}
q(n,\,{\cdot}\,), r(n,\,{\cdot}\,), s(n,\,{\cdot}\,), v(n,\,{\cdot}\,)\in C^1(\mathbb{R}),
\end{equation*}
\notag
$$
в случае зависимости от времени
$$
\begin{equation*}
q(\,{\cdot}\,,t), r(\,{\cdot}\,,t), s(\,{\cdot}\,,t), v(\,{\cdot}\,,t)\in\mathbb{C}^{\,\mathbb{Z}},\qquad t\in\mathbb{R},
\end{equation*}
\notag
$$
где $\mathbb{C}^{\,\mathbb{Z}}$ – множество комплекснозначных функций от целочисленной переменной. Для комплексной последовательности $\hbar=\{\hbar(n)\}_{n\in\mathbb{Z}}$ зададим операторы сдвига $E^{\pm}$,
$$
\begin{equation*}
(E^{\pm}\hbar)(n)=\hbar(n\pm 1),\qquad n\in\mathbb{Z},
\end{equation*}
\notag
$$
и будем писать $\hbar^{\pm}=E^{\pm}\hbar$ для $\hbar\in\mathbb{C}^{\,\mathbb{Z}}$. Мы рассматриваем ($3\times 3$)-матричную спектральную задачу [29]
$$
\begin{equation}
E\Xi=U\Xi,\qquad \Xi=\begin{pmatrix} \Xi_1 \\ \Xi_2 \\ \,\Xi_3\, \end{pmatrix},\qquad U=\begin{pmatrix} 1 & q & 0 \\ v & \lambda+r & s \\ 0 & -1/s & 0 \end{pmatrix},
\end{equation}
\tag{2.1}
$$
где $q$, $r$, $s$, $v$ – потенциалы и $\lambda$ – постоянная. Запишем рекуррентные соотношения Ленарда
$$
\begin{equation}
\begin{alignedat}{3} K_n\tilde g_j&=J_n\tilde g_{j+1}, & \qquad \tilde g_j&=(\tilde a_j,\tilde b_j,\tilde c_j,\tilde d_j)^{\mathrm T}, \\ K_n\bar g_j&=J_n\bar g_{j+1}, & \qquad \bar g_j&=(\bar a_j,\bar b_j,\bar c_j,\bar d_j)^{\mathrm T} \end{alignedat}
\end{equation}
\tag{2.2}
$$
с начальными значениями
$$
\begin{equation}
\tilde g_0=(1,0,-1,0)^{\mathrm T},\qquad \bar g_0=(-1,0,2,0)^{\mathrm T}
\end{equation}
\tag{2.3}
$$
и зададим два разностных оператора $J_n$ и $K_n$,
$$
\begin{equation*}
\begin{aligned} \, J_n&=\begin{pmatrix} 0 & E & 0 & 0 \\ 0 & 0 & E-1 & 0 \\ 0 & 0 & 0 & s^2E \\ -\dfrac{1}{q}(E-1) & -\dfrac{v}{q}E & 0 & 0 \end{pmatrix}, \\ K_n&=\begin{pmatrix} -qE & K_{12} & q & \dfrac{1}{s}Eq{s}^2E \\ -qE\dfrac{1}{q}(E-1) & v-qE\dfrac{v}{q}E & -r(E-1) & s-\dfrac{1}{s}E{s}^2E \\ -s & vsE & -sE-s & K_{34} \\ K_{41} & K_{42} & -vE & -sE^{-1}vE \end{pmatrix}, \end{aligned}
\end{equation*}
\notag
$$
где
$$
\begin{equation}
\begin{aligned} \, K_{12}&=1+\frac{1}{s}EsE-rE,\qquad K_{34}=vq{s}^2E-r{s}^2E, \\ K_{41}&=(r-E)\frac{1}{q}(E-1)+\frac{s(E^{-1}-1)}{s^{-}q^{-}}+v, \\ K_{42}&=-E\frac{v}{q}+\frac{rv}{q}E-\frac{sE^{-1}vE}{s^{-}q^{-}}. \end{aligned}
\end{equation}
\tag{2.4}
$$
Тогда можно найти $\tilde g_j$ и $\bar g_j$ с помощью операторов $K_n$ и $J_n$, первые члены последовательностей имеют вид
$$
\begin{equation}
\tilde g_1=\biggl(1,-2q^{-},0,\frac{1}{s^{-}}\biggr)^{\!\mathrm T},\qquad \bar g_1=\biggr(1,3q^{-},1,-\frac{3}{s^{-}}\biggr)^{\!\mathrm T}.
\end{equation}
\tag{2.5}
$$
Для вывода иерархии, связанной со спектральной задачей (2.1), запишем стационарное уравнение нулевой кривизны:
$$
\begin{equation}
(E\Gamma)U-U\Gamma=0,\qquad \Gamma=(\Gamma_{ij})_{3\times 3}=\begin{pmatrix} \Gamma_{11} & \Gamma_{12} & \Gamma_{13} \\ \Gamma_{21} & \Gamma_{22} & \Gamma_{23} \\ \Gamma_{31} & \Gamma_{32} & -\Gamma_{11}-\Gamma_{22} \end{pmatrix},
\end{equation}
\tag{2.6}
$$
или, поэлементно,
$$
\begin{equation}
\begin{aligned} \, &E\Gamma_{11}+vE\Gamma_{12}-\Gamma_{11}-q\Gamma_{21}=0, \\ &qE\Gamma_{11}+{(r+\lambda)}E\Gamma_{12}-\frac{1}{s}E\Gamma_{13}-\Gamma_{12}-q\Gamma_{22}=0, \\ &sE\Gamma_{12}-\Gamma_{13}-q\Gamma_{23}=0, \\ &E\Gamma_{21}+vE\Gamma_{22}-v\Gamma_{11}-(r+\lambda)\Gamma_{21}-s\Gamma_{31}=0, \\ &qE\Gamma_{21}+(r+\lambda)E\Gamma_{22}-\frac{1}{s}E\Gamma_{23}-v\Gamma_{12}-(r+\lambda)\Gamma_{22}-s\Gamma_{32}=0, \\ &sE\Gamma_{22}-v\Gamma_{13}-(r+\lambda)\Gamma_{23}+s(\Gamma_{11}+\Gamma_{22})=0, \\ &E\Gamma_{31}+vE\Gamma_{32}+\frac{1}{s}\Gamma_{21}=0, \\ &qE\Gamma_{31}+(r+\lambda)E\Gamma_{32}+\frac{1}{s}E(\Gamma_{11}+\Gamma_{22})+\frac{1}{s}\Gamma_{22}=0, \\ &sE\Gamma_{32}+\frac{1}{s}\Gamma_{23}=0. \end{aligned}
\end{equation}
\tag{2.7}
$$
Представим каждый элемент $\Gamma_{ij}=\Gamma_{ij}(a,b,c,d)$ как ряд Лорана по $\lambda$:
$$
\begin{equation}
\begin{alignedat}{5} \Gamma_{11}&=a, & \quad \Gamma_{12}&=b, & \quad \phantom{-}\Gamma_{13}&=sEb+q{s}^2Ed, \notag\\ \Gamma_{21}&=\frac{1}{q}(E-1)a+\frac{v}{q}Eb, & \quad \Gamma_{22}&=c, & \quad \phantom{-}\Gamma_{23}&=-{s}^2Ed, \\ \Gamma_{31}&=\frac{(E^{-1}-1)}{s^{-}q^{-}}a-\frac{E^{-1}vE}{s^{-}q^{-}}b-E^{-1}vEd, & \quad \Gamma_{32}&=d, & \quad -\Gamma_{11}&{}-\Gamma_{11}=-a-c, \notag \end{alignedat}
\end{equation}
\tag{2.8}
$$
где
$$
\begin{equation}
a=\sum_{j\geqslant 0}{a_j\lambda ^{-j}},\qquad b=\sum_{j\geqslant 0}b_j\lambda ^{-j},\qquad c=\sum_{j\geqslant 0}{c_j\lambda ^{-j}},\qquad d=\sum_{j\geqslant 0}{d_j\lambda ^{-j}}.
\end{equation}
\tag{2.9}
$$
Прямыми вычислениями можно показать, что при выполнении уравнений (2.6) и (2.7) имеет место соотношение Ленарда
$$
\begin{equation}
K_nG=\lambda J_nG,\qquad G=(a,b,c,d)^{\mathrm T}.
\end{equation}
\tag{2.10}
$$
Подставим в (2.8) разложения (2.9) и сравним выражения при одинаковых степенях $\lambda$, отсюда выводим следующие рекуррентные соотношения:
$$
\begin{equation}
K_nG_j=\lambda J_nG_{j+1},\quad J_nG_0=0,\qquad j\geqslant 0,
\end{equation}
\tag{2.11}
$$
где $G_j=(a_j,b_j,c_j,d_j)^{\mathrm T}$. Очевидно, что $\operatorname{ker}{J_n}=\{\alpha_0 \tilde g_0+\beta_0\bar g_0\mid\alpha_0,\beta_0\in\mathbb{R}\}$, а вектор $G_j$ можно разложить как
$$
\begin{equation}
G_j=\alpha_0\tilde g_j+\beta_0\bar g_j+\cdots+\alpha_j\tilde g_0+\beta_j\bar g_0,\qquad j\geqslant 0,
\end{equation}
\tag{2.12}
$$
где $\alpha_j$ и $\beta_j$ – постоянные. Предположим, что $\Xi$ удовлетворяет дискретной матричной спектральной задаче (2.1), тогда
$$
\begin{equation}
\Xi_{t_m}=\widehat\Gamma^{(m)}\Xi ,\qquad \widehat\Gamma^{(m)}=(\widehat\Gamma_{ij}^{(m)})_{3\times3}=\begin{pmatrix} \widehat\Gamma_{11}^{(m)} & \widehat\Gamma_{12}^{(m)} & \widehat\Gamma_{13}^{(m)} \\ \widehat\Gamma_{21}^{(m)} & \widehat\Gamma_{22}^{(m)} & \widehat\Gamma_{23}^{(m)} \\ \widehat\Gamma_{31}^{(m)} & \widehat\Gamma_{32}^{(m)} & -\widehat\Gamma_{11}^{(m)}-\widehat\Gamma_{22}^{(m)} \end{pmatrix},
\end{equation}
\tag{2.13}
$$
где $\widehat\Gamma_{ij}^{(m)}=\widehat\Gamma_{ij}(\hat a^{(m)},\hat b^{(m)},\hat c^{(m)},\hat d^{(m)})$ и
$$
\begin{equation}
\begin{alignedat}{3} \hat a^{(m)}&=\sum_{j=0}^{m}\hat a_j\lambda ^{m-j}, & \qquad \hat b^{(m)}&=\sum_{j=0}^{m}\hat b_j\lambda ^{m-j}, \\ \hat c^{(m)}&=\sum_{j=0}^{m}\hat c_j\lambda^{m-j}, & \qquad \hat d^{(m)}&=\sum_{j=0}^{m}\hat d_j\lambda^{m-j}. \end{alignedat}
\end{equation}
\tag{2.14}
$$
Аналогично $\hat a_j$, $\hat b_j$, $\hat c_j$ и $\hat d_j$ определяются равенством
$$
\begin{equation}
\widehat G_j=\hat\alpha_0\tilde g_j+\hat\beta_0\bar g_j+\cdots+\hat\alpha_j\tilde g_0+\hat\beta_j\bar g_0,\qquad j\geqslant 0,
\end{equation}
\tag{2.15}
$$
где $\widehat G_j$ – решение уравнения (2.10). Важно отметить, что $\hat\alpha_j$, $\hat\beta_j$ и $\alpha_j$, $\beta_j$ в (2.12) равны друг другу по модулю. Уравнение нулевой кривизны $U_{t_m}=(E\widehat\Gamma^m)U-U\widehat\Gamma^m$ порождается условием совместности уравнений (2.1) и (2.12), которое эквивалентно дискретной иерархии (1.3):
$$
\begin{equation}
(q_{t_m},r_{t_m},s_{t_m},v_{t_m})^{\mathrm T}=\widehat{\mathcal I}_m,\qquad m\geqslant 0,
\end{equation}
\tag{2.16}
$$
где
$$
\begin{equation*}
\widehat{\mathcal I}_j=K_n\widehat G_j=J_n\widehat G_{j+1},\qquad \widehat{\mathcal I}_j=\mathcal I(q,r,s,v, \underline {\hat\alpha}^{(j)}, \underline {\hat\beta}^{(j)});
\end{equation*}
\notag
$$
здесь $ \underline {\hat\alpha}^{(j)}=(\hat\alpha_0,\ldots,\hat\alpha_j)$, и $ \underline {\hat\beta}^{(j)}=(\hat\beta_0,\ldots,\hat\beta_j)$ для $j\geqslant 0$. Первый нетривиальный член иерархии (2.16) имеет вид
$$
\begin{equation*}
\widehat{\mathcal I}_0=K_n\widehat G_0=K_n(\alpha_0\tilde g_0+\beta_0\bar g_0),
\end{equation*}
\notag
$$
отсюда при $\alpha_0=1$, $\beta_0=0$ мы имеем
$$
\begin{equation}
q_{t_0}=-2q,\qquad r_{t_0}=0,\qquad s_{t_0}=s,\qquad v_{t_0}=2v.
\end{equation}
\tag{2.17}
$$
Аналогично для $j=2$ и $\widehat{\mathcal I}_1=K_n(\alpha_0\tilde g_1+\alpha_1\tilde g_0+\beta_0\bar g_1+\beta_1\bar g_0)$ при $\alpha_0=1$, $\beta_0=1$ и $t_0=t$ мы получаем следующую иерархию, которая и будет предметом наших исследований:
$$
\begin{equation}
\begin{alignedat}{3} q_t&=2rq^{--}q^{-}-\frac{s^{+}q}{s}, & \qquad r_t&=\frac{s}{s^{-}}-\frac{s^{+}}{s}+2(qv^{+}-q^{-}v), \\ s_t&=-qsv-rs, & \qquad v_t&=\frac{qs}{s^{-}}-2rv+2v^{-}. \end{alignedat}
\end{equation}
\tag{2.18}
$$
Если $q=0$, $r=\varpi^{+}$, $x=s/s^{-}$, $v=0$, то (2.18) переходит в цепочку Тоды (1.2).
3. Стационарная мероморфная функция Рассмотрим иерархию (1.3) в стационарном случае $\mathcal I_p=\mathcal I(q,r,s,v; \underline {\alpha}^{(p)}$, $ \underline {\beta}^{(p)})=0$, $ \underline {\alpha}^{(p)}=(\alpha_0\ldots\alpha_p)$ и $ \underline {\beta}^{(p)}=(\beta_0\ldots\beta_p)$. Эта иерархия эквивалентна уравнению нулевой кривизны
$$
\begin{equation}
(E\Gamma^{(p)})U-U\Gamma^{(p)}=0,\qquad\Gamma^{(p)}=(\lambda^{p}\Gamma)_{+}=(\Gamma_{ij}^{(p)})_{3\times3},
\end{equation}
\tag{3.1}
$$
где $\Gamma_{ij}^{(p)}=\Gamma_{ij}(a^{(p)},b^{(p)},c^{(p)},d^{(p)})$ и
$$
\begin{equation}
a^{(p)}=\sum_{j=0}^{p}a_j\lambda^{p-j},\quad b^{(p)}=\sum_{j=0}^{p}b_j\lambda^{p-j},\quad c^{(p)}=\sum_{j=0}^{p}c_j\lambda^{p-j},\quad d^{(p)}=\sum_{j=0}^{p}d_j\lambda^{p-j}.
\end{equation}
\tag{3.2}
$$
Прямые вычисления показывают, что если $\Gamma^{(p)}$, удовлетворяет уравнению нулевой кривизны (3.1), то характеристический полином
$$
\begin{equation*}
\digamma_l(\lambda,f)=\det(fI-\Gamma^{(p)})
\end{equation*}
\notag
$$
равен не зависящей от $n$ постоянной. Этот полином разлагается как
$$
\begin{equation}
\det(fI-\Gamma^{(p)})=f^3-f^2X_l(\lambda)+fY_l(\lambda)-Z_l(\lambda),
\end{equation}
\tag{3.3}
$$
где $X_l(\lambda),Y_l(\lambda)$ и $Z_l(\lambda)$ – полиномы от $\lambda$ с постоянными коэффициентами,
$$
\begin{equation}
\begin{aligned} \, X_l(\lambda)&=t_r\Gamma^{(p)}=\Gamma_{11}^{(p)}+\Gamma_{22}^{(p)}+(-\Gamma_{11}^{(p)}-\Gamma_{22}^{(p)})=0, \\ Y_l(\lambda)&= \begin{vmatrix} \Gamma_{11}^{(p)} & \Gamma_{12}^{(p)} \\ \Gamma_{21}^{(p)} & \Gamma_{22}^{(p)} \end{vmatrix}+ \begin{vmatrix} \Gamma_{11}^{(p)} & \Gamma_{13}^{(p)} \\ \Gamma_{31}^{(p)} & -\Gamma_{11}^{(p)}-\Gamma_{22}^{(p)} \end{vmatrix}+ \begin{vmatrix} \Gamma_{22}^{(p)} & \Gamma_{23}^{(p)} \\ \Gamma_{32}^{(p)} & -\Gamma_{11}^{(p)}-\Gamma_{22}^{(p)} \end{vmatrix}= \\ &=(-\alpha_0^2+\alpha_0\beta_0-3\beta_0^2)\lambda^{2p}+\cdots, \\ Z_l(\lambda)&=\det\Gamma_n^{(p)}= \begin{vmatrix} \Gamma_{11}^{(p)} & \Gamma_{12}^{(p)} & \Gamma_{13}^{(p)} \\ \Gamma_{21}^{(p)} & \Gamma_{22}^{(p)} & \Gamma_{23}^{(p)} \\ \Gamma_{31}^{(p)} & \Gamma_{32}^{(p)} & -\Gamma_{11}^{(p)}-\Gamma_{22}^{(p)} \end{vmatrix}= \\ &=({\alpha_0}^2\beta_0-3\alpha_0{\beta_0}^2+2{\beta_0}^3)\lambda^{3p}+\cdots{}. \end{aligned}
\end{equation}
\tag{3.4}
$$
Тогда можно ввести тригональную кривую, заданную уравнением $\digamma_l(\lambda,f)=0$, ее степень равна $l=3p$ при $\alpha_0\beta_0\neq 0$,
$$
\begin{equation}
\mathcal K_{l-1}\colon\,\digamma_l(\lambda ,f)=f^3-f^2X_l(\lambda)+fY_l(\lambda)-Z_l(\lambda)=0.
\end{equation}
\tag{3.5}
$$
Очевидно, что при $l=3p$ тригональную кривую ${\mathcal K}_{l-1}$ можно компактифицировать, добавляя две различные бесконечные точки $u_{\infty'}$ и $u_{\infty''}$ с учетом (3.2) и (3.4). Мы полагаем, что $u_{\infty''}$ – это двойная точка ветвления. Компактифированную кривую мы всё также будем обозначать через ${\mathcal K}_{l-1}$. Дискриминант уравнения (3.5) равен
$$
\begin{equation}
\Delta(\lambda)=27{Z_l}^2-18X_lS_lZ_l+4{Y_l}^3-{X_l}^2{Y_l}^2+4{X_l}^3Z_l.
\end{equation}
\tag{3.6}
$$
С помощью формулы Римана–Гурвица получаем, что арифметический род кривой ${\mathcal K}_{l-1}$ равен $l-1$. Следовательно, ${\mathcal K}_{l-1}$ превращается в трехлистную риманову поверхность рода $l-1$, если кривая является неприводимой и
$$
\begin{equation*}
\biggl(\frac{\partial\digamma_l(\lambda,f)}{\partial \lambda},\frac{\partial\digamma_l(\lambda,f)}{\partial f}\biggr)\bigg|_{(\lambda,f)=(\lambda_0,f_0)}\neq 0
\end{equation*}
\notag
$$
для любой точки $u_0=(\lambda_0,f_0)\in\mathcal K_{l-1}$. Введем стационарную функцию Бейкера–Ахиезера $\Xi$,
$$
\begin{equation}
\begin{gathered} \, E\Xi(u,n,n_0)=U(q(n),r(n),s(n),v(n);\lambda(u))\Xi(u,n,n_0), \\ \Gamma^{(p)}(q(n),r(n),s(n),v(n);\lambda(u))\Xi(u,n,n_0)=f(u)\Xi(u,n,n_0), \\ \Xi_1(u,n_0,n_0)=1,\qquad u=(\lambda,f)\in\mathcal K_{l-1}\backslash\{u_{\infty'},u_{\infty''}\},\quad n,n_0\in\mathbb{Z}. \end{gathered}
\end{equation}
\tag{3.7}
$$
Мероморфная функция $\Theta$ на $\mathcal{K}_{l-1}$ определяется через функцию $\Xi$ следующим образом:
$$
\begin{equation}
\Theta(u,n)=\frac{\Xi_2(u,n,n_0)}{\Xi_1(u,n,n_0)},\qquad u\in\mathcal K_{l-1},\quad n\in\mathbb{Z},
\end{equation}
\tag{3.8}
$$
отсюда мы имеем
$$
\begin{equation}
\Xi_1(u,n,n_0)= \begin{cases} \displaystyle\prod_{n'=n_0}^{n-1}(1+q(n)\Theta(u,n')), & n\geqslant n_0+1,\\ \quad 1, & n=n_0, \\ \displaystyle\prod_{n'=n_0}^{n-1}(1+q(n)\Theta(u,n'))^{-1}, & n\leqslant n_0-1. \end{cases}
\end{equation}
\tag{3.9}
$$
Явное выражение для мероморфной функции $\Theta(u,n)$ получается из (3.7) и (3.8):
$$
\begin{equation}
\begin{aligned} \, \Theta(u,n)&=\frac{y\Gamma_{23}^{(p)}+A_l(\lambda,n)}{f\Gamma_{13}^{(p)}+B_l(\lambda,n)}= \frac{E_{l-1}(\lambda,n)}{f^2\Gamma_{23}^{(p)}-fA_l(\lambda,n)+C_l(\lambda,n)}= \notag\\ &=\frac{f^2\Gamma_{13}^{(p)}-fB_l(\lambda,n)+D_l(\lambda,n)}{F_{l-1}(\lambda,n)}, \end{aligned}
\end{equation}
\tag{3.10}
$$
где
$$
\begin{equation}
\begin{aligned} \, A_l&=\Gamma_{13}^{(p)}\Gamma_{21}^{(p)}-\Gamma_{11}^{(p)}\Gamma_{23}^{(p)},\qquad B_l=\Gamma_{12}^{(p)}\Gamma_{23}^{(p)}-\Gamma_{13}^{(p)}\Gamma_{22}^{(p)}, \\ C_l&=\Gamma_{21}^{(p)}(\Gamma_{13}^{(p)}\Gamma_{22}^{(p)}-\Gamma_{12}^{(p)}\Gamma_{23}^{(p)})- \Gamma_{23}^{(p)}(\Gamma_{11}^{(p)}\Gamma_{22}^{(p)}+(\Gamma_{22}^{(p)})^2+\Gamma_{23}^{(p)}\Gamma_{32}^{(p)}), \\ D_l&=\Gamma_{12}^{(p)}(\Gamma_{11}^{(p)}\Gamma_{23}^{(p)}-\Gamma_{13}^{(p)}\Gamma_{21}^{(p)})-\Gamma_{13}^{(p)}((\Gamma_{11}^{(p)})^2+ \Gamma_{11}^{(p)}\Gamma_{22}^{(p)}+\Gamma_{13}^{(p)}\Gamma_{31}^{(p)}), \\ E_{l-1}&=(\Gamma_{23}^{(p)})^2\Gamma_{31}^{(p)}+\Gamma_{21}^{(p)}\Gamma_{23}^{(p)}(2\Gamma_{11}^{(p)}+ \Gamma_{22}^{(p)})-(\Gamma_{21}^{(p)})^2\Gamma_{13}^{(p)}, \\ F_{l-1}&=(\Gamma_{13}^{(p)})^2\Gamma_{32}^{(p)}+\Gamma_{12}^{(p)}\Gamma_{13}^{(p)}(2\Gamma_{22}^{(p)}+ \Gamma_{11}^{(p)})-(\Gamma_{12}^{(p)})^2\Gamma_{23}^{(p)}. \end{aligned}
\end{equation}
\tag{3.11}
$$
Введем еще два элемента
$$
\begin{equation}
\begin{aligned} \, G_l&=\Gamma_{13}^{(p)}\Gamma_{32}^{(p)}+\Gamma_{12}^{(p)}(\Gamma_{11}^{(p)}+\Gamma_{22}^{(p)}), \\ H_l&=\Gamma_{12}^{(p)}(\Gamma_{11}^{(p)}\Gamma_{22}^{(p)}-\Gamma_{12}^{(p)}\Gamma_{21}^{(p)})+ \Gamma_{13}^{(p)}(\Gamma_{11}^{(p)}\Gamma_{32}^{(p)}-\Gamma_{12}^{(p)}\Gamma_{31}^{(p)}). \end{aligned}
\end{equation}
\tag{3.12}
$$
Существуют различные соотношения между полиномами (3.11), (3.12) и функциями $X_l$, $Y_l$, $Z_l$, перечислим некоторые из них:
$$
\begin{equation}
\begin{gathered} \, F_{l-1}=\Gamma_{13}^{(p)}G_l-\Gamma_{12}^{(p)}B_l, \\ B_lE_{l-1}=(\Gamma_{23}^{(p)})^2Z_l+A_lC_l,\qquad A_lF_{l-1}=(\Gamma_{13}^{(p)})^2Z_l+B_lD_l, \\ \Gamma_{13}^{(p)}E_{l-1}=\Gamma_{23}^{(p)}C_l-(\Gamma_{23}^{(p)})^2Y_l-A_l^2,\qquad \Gamma_{23}^{(p)}F_{l-1}=\Gamma_{13}^{(p)}B_l-(\Gamma_{13}^{(p)})^2Y_l-B_l^2, \\ E_{l-1}^{-}=-F_{l-1},\qquad G_l=A_l^{-},\qquad H_l=C_l^{-}. \end{gathered}
\end{equation}
\tag{3.13}
$$
Опираясь на соотношения (3.1), (3.2), (3.11) и (3.13), находим, что $F_{l-1}$ и $E_{l-1}$ являются полиномами степени $l-1$, поэтому их можно представить как
$$
\begin{equation}
\begin{aligned} \, F_{l-1}(\lambda ,n)&=F_{l-1,0}\prod_{j=1}^{l-1}(\lambda-\mu_j(n)), \\ E_{l-1}(\lambda ,n)&=-F_{l-1,0}\prod_{j=1}^{l-1}(\lambda-\mu_j^{+}(n)). \end{aligned}
\end{equation}
\tag{3.14}
$$
Зададим наборы точек $\{\tilde\mu_j(n)\}_{j=\overline{1,l-1}}$ и $\{\tilde\mu_j^{+}(n)\}_{j=\overline{1,l-1}}$ на кривой $\mathcal K_{l-1}$ следующим образом:
$$
\begin{equation}
\begin{aligned} \, \tilde\mu_j(n)&=\bigl(\mu_j(n),y(\hat{\mu}_j(n))\bigr)=\biggl(\mu_j(n)-\frac{B_l(\lambda,n)}{\Gamma_{32}^{(p)}(\mu_j(n))}\biggr), \\ \tilde\mu_j^{+}(n)&=\bigl(\mu_j^{+}(n),y(\hat{\mu}_j^{+}(n))\bigr)=\biggl(\mu_j^{+}(n)-\frac{A_l(\lambda,n)}{\Gamma_{32}^{(p)}(\mu_j^{+}(n))}\biggr). \end{aligned}
\end{equation}
\tag{3.15}
$$
Для удобства обозначим как $u$, $u^*$ и $u^{**}$ точки на каждом из трех листов римановой поверхности $\mathcal K_{l-1}$ и и предположим, что $f_i(\lambda)$ ($i=1,2,3$) – это три корня уравнения $\digamma_l(\lambda,f)=0$,
$$
\begin{equation}
\bigl(f-f_1(\lambda)\bigr)\bigl(f-f_2(\lambda)\bigr)\bigl(f-f_3(\lambda)\bigr)=f^3-f^2X_l+fY_l-Z_l=f^3+fY_l-Z_l=0.
\end{equation}
\tag{3.16}
$$
Тогда точки $(\lambda,f_1(\lambda))$, $(\lambda, f_2(\lambda))$ и $(\lambda,f_3(\lambda))$ также лежат на римановой поверхности $\mathcal K_{l-1}$. Пусть $\{u,u^*,u^{**}\}=\{(\lambda,f_i(\lambda)),\,i=1,2,3\}$ – набор этих трех точек. Из (3.16) без труда получаем систему уравнений
$$
\begin{equation*}
\begin{gathered} \, f_1+f_2+f_3=X_l=0,\qquad f_1f_2+f_2f_3+f_3f_1=Y_l,\qquad f_1f_2f_3=Z_l, \\ f_1^2+f_2^2+f_3^2=-2Y_l,\qquad f_1^3+f_2^3+f_3^3=3Z_l,\qquad f_1^2f_2^2+f_1^2f_3^2+f_2^2f_3^2=X_l^2, \\ (f_1+f_2)f_3^2+(f_2+f_3)f_1^2+(f_1+f_3)f_2^2=-3Z_l. \end{gathered}
\end{equation*}
\notag
$$
Тогда функция $\Theta(u,n)$ удовлетворяет равенствам
$$
\begin{equation}
\begin{gathered} \, \Theta(u,n)\Theta(u^*,n)\Theta(u^{**},n)=-\frac{E_{l-1}(\lambda,n)}{F_{l-1}(\lambda,n)}, \\ \Theta(u,n)+\Theta(u^*,n)+\Theta(u^{**},n )=\frac{3D_l(\lambda,n)-2\Gamma_{32}^{(p)}Y_l(\lambda)}{F_{l-1}(\lambda,n)}, \\ \frac{1}{\Theta(u,n)}+\frac{1}{\Theta(u^*,n)}+\frac{1}{\Theta(u^{**},n)}= \frac{3C_l(\lambda,n)-2\Gamma_{12}^{(p)}(\lambda,n)Y_l(\lambda)}{E_{l-1}(\lambda,n)}. \end{gathered}
\end{equation}
\tag{3.17}
$$
4. Алгебро-геометрические решения стационарной иерархии Проанализируем асимптотическое поведение функций $\Theta(u,n)$ и $\Xi(u,n)$, а затем введем абелев дифференциал и тета-функцию Римана. Как результат, получим алгебро-геометрические решения иерархии в стационарном случае, с помощью которых запишем потенциалы $q$, $r$, $s$ и $v$ через тета-функции Римана. Прямые вычисления показывают, что функция $\Theta(u,n)$ удовлетворяет уравнению типа Риккати
$$
\begin{equation}
\begin{aligned} \, q^{-}(n)&q(n)\Theta^{+}(u,n)\Theta(u,n)\Theta^{-}(u,n)= \notag\\ &=\biggl(v(n)q^{-}(n)-\frac{s(n)}{s^{-}(n)}\biggr)\Theta^{-}(u,n)+{} \notag\\ &\quad +(\lambda+r(n))\Theta(u,n)-\Theta^{+}(u,n)+v(n)+(\lambda+r(n))q^{-}(n)\Theta^{-}(u,n)\Theta(u,n)-{} \notag\\ &\quad -q(n)\Theta(u,n)\Theta^{+}(u,n)-q^{-}(n)\Theta^{-}(u,n)\Theta^{+}(u,n). \end{aligned}
\end{equation}
\tag{4.1}
$$
Введем локальные координаты $\varsigma=\lambda^{-1}$ в окрестности точки $u_{\infty'}$ и сравним выражения при одинаковых степенях $\varsigma$, получим
$$
\begin{equation*}
\Theta=\sum_{j=1}^{\infty}\delta_j\varsigma^j,\qquad u\to u_{\infty'},
\end{equation*}
\notag
$$
где
$$
\begin{equation}
\begin{gathered} \, \delta_1=-v,\qquad\delta_2=v^{+}-\frac{s}{s^{-}}v^{-}+rv, \\ \delta_3=v(r+r^{+}+1-qv+{r}^2)+v^{+}(2+r-qv-2q^{-}v^{-}-r^{+})-v^{++}. \end{gathered}
\end{equation}
\tag{4.2}
$$
Аналогично введем локальные координаты $\lambda=\eta^{-2}$ в окрестности точки $u_{\infty''}$ и сравним выражения при одинаковых степенях $\eta$, получим
$$
\begin{equation*}
\Theta=\sum_{j=0}^{\infty}\kappa_j\eta^j,\qquad u\to u_{\infty''},
\end{equation*}
\notag
$$
где
$$
\begin{equation}
\kappa_{0}=1,\qquad\kappa_1=-q^{-}-v,\qquad \kappa_2=1-r+{q^{-}}^2+q^{-}v+q^{-}q^{--}+\frac{s}{s^{-}}.
\end{equation}
\tag{4.3}
$$
Дивизоры [16] мероморфной функции задаются как
$$
\begin{equation}
(\Theta(u,n))=\mathcal D_{u_{\infty'},\tilde\mu_1^{+}(n),\ldots,\tilde\mu_{l-1}^{+}(n)}(u)- \mathcal D_{u_{\infty''},\tilde\mu_1^{+}(n),\ldots,\tilde\mu_{l-1}^{+}(n)}(u),
\end{equation}
\tag{4.4}
$$
откуда мы получаем, что функция $\Theta(u,n)$ имеет $l$ нулей $u_{\infty'}$, $\tilde\mu_1^{+}(n),\ldots,\tilde\mu_{l-1}^{+}(n)$ и $l$ полюсов $u_{\infty''}$, $\tilde\mu_1(n),\ldots,\tilde\mu_{l-1}(n)$. Кроме того, в соответствии с (3.8), (4.2) и (4.3)
$$
\begin{equation}
\Xi_1(u,n,n_0)\underset{\varsigma\to 0}{=}\Upsilon(n,n_0)\varsigma^{n-n_0}(1+O(\varsigma)),\qquad u\to u_{\infty'},\quad\varsigma=\lambda^{-1},
\end{equation}
\tag{4.5}
$$
где
$$
\begin{equation*}
\Upsilon(n,n_0)=\begin{cases} \displaystyle\prod_{n'=n_0}^{n-1}-v(n'),& n\geqslant n_0+1,\\ \quad 1, & n=n_0,\\ \displaystyle\prod_{n'=n_0}^{n_0-1}(-v(n'))^{-1},&n\leqslant n_0-1, \end{cases}
\end{equation*}
\notag
$$
и
$$
\begin{equation}
\Xi_1(u,n,n_0)\underset{\eta\to 0}{=}\eta^{n-n_0}(1+O(\eta)),\qquad u\to u_{\infty''},\quad \eta=\lambda^{1/2}.
\end{equation}
\tag{4.6}
$$
Дивизоры функции Бейкера–Ахиезера $\Xi_1(u,n,n_0)$ суть
$$
\begin{equation}
(\Xi_1(u,n,n_0))=\mathcal D_{\tilde\mu_1(n),\ldots,\tilde\mu_{l-1}(n)}- \mathcal D_{\tilde\mu_1(n_0),\ldots,\tilde\mu_{l-1}(n_0)}+ (n-n_0)(\mathcal D_{u_{\infty'}}-\mathcal D_{u_{\infty''}}).
\end{equation}
\tag{4.7}
$$
Введем независимые базисные циклы $\mathbf w_1,\ldots,\mathbf w_{l-1}$, $\mathbf o_1,\ldots,\mathbf o_{l-1}$ на римановой поверхности $\mathcal K_{l-1}$, их числа пересечения равны
$$
\begin{equation}
\mathbf w_j \mathbin{\stackrel{\scriptscriptstyle\circ}{{}_{\vphantom{.}}}} \mathbf o_\sigma=0,\quad \mathbf w_j \mathbin{\stackrel{\scriptscriptstyle\circ}{{}_{\vphantom{.}}}} \mathbf w_\sigma=0,\quad \mathbf o_j \mathbin{\stackrel{\scriptscriptstyle\circ}{{}_{\vphantom{.}}}} \mathbf o_\sigma=0,\qquad j,\sigma=1,\ldots,l-1.
\end{equation}
\tag{4.8}
$$
На римановой поверхности $\mathcal K_{l-1}$ введем
$$
\begin{equation}
\tilde\omega_h(u)=\frac{1}{3f^2+Y_l}= \begin{cases} \lambda^{h-1}d\lambda, & 1\leqslant h\leqslant 2p-1,\\ f\lambda^{h-2p-2}, & 2p\leqslant h\leqslant l-1, \end{cases}
\end{equation}
\tag{4.9}
$$
и положим
$$
\begin{equation*}
\mathbb{O}_{ij}=\int_{\mathbf w_j}\tilde\omega_i,\qquad \mathbb{P}_{ij}=\int_{\mathbf o_j}\tilde\omega_i,
\end{equation*}
\notag
$$
где матрицы $\mathbb{O}$ и $\mathbb{P}$ обратимы. Теперь введем новые матрицы $\mathbb{Q}$ и $\tau$ как $\mathbb{Q}=\mathbb{O}^{-1}$, $\tau=\mathbb{O}^{-1}\mathbb{P}$. Нетрудно доказать, что матрица $\tau$ симметричная ($\tau_{ij}=\tau_{ji}$) и ее мнимая часть положительно определена ($\operatorname{Im}\tau>0$). Переведем $\tilde\omega_h$ в новый нормированный базис $\omega_j$,
$$
\begin{equation}
\omega_j=\sum_{h=1}^{l-1}\mathbb{Q}_{jh}\tilde\omega_h,\qquad j=1,\ldots,l-1,
\end{equation}
\tag{4.10}
$$
что дает
$$
\begin{equation*}
\begin{aligned} \, \int_{\mathbf w_\sigma}\omega_j&=\sum_{h=1}^{l-1}\mathbb{Q}_{jh}\int_{\mathbf w_i}\tilde\omega_h= \sum_{h=1}^{l-1}\mathbb{Q}_{jh}\mathbb{P}_{h\sigma}=\gamma_{j\sigma}, \\ \int_{\mathbf o_\sigma}\omega_j&=\sum_{h=1}^{l-1}\mathbb{Q}_{jh}\int_{\mathbf o_i}\tilde\omega_h= \sum_{h=1}^{l-1}\mathbb{Q}_{jh}\mathbb{P}_{h\sigma}=\tau_{j\sigma}. \end{aligned}
\end{equation*}
\notag
$$
Определим на $\mathcal K_{l-1}\backslash\{Q',Q''\}$ голоморфный дифференциал $\omega_{Q',Q''}^{(3)}$ третьего рода, он имеет полюсы в точках $Q_k$ и вычеты, равные $(-1)^{k+1}$, $k=1,2$. В частности,
$$
\begin{equation*}
\int_{{\mathbf w}_j}\omega_{Q',Q''}^{(3)}=0,\qquad \int_{\mathbf o_j}\omega_{Q',Q''}^{(3)}=2\pi i\int_{Q''}^{Q'}\omega_j,\qquad j=1,\ldots,l-1.
\end{equation*}
\notag
$$
Для $\omega_{u_{\infty'},u_{\infty''}}^{(3)}$ мы имеем
$$
\begin{equation}
\begin{alignedat}{5} \omega_{u_{\infty'},u_{\infty''}}^{(3)}&\underset{\varsigma\to 0}{=} (\varsigma^{-1}+\omega_{0}^{\infty'}\varsigma^0+O(\varsigma))\,d\varsigma,&\qquad & u\to u_{\infty'},&\quad \varsigma&=\lambda^{-1}, \\ \omega_{u_{\infty'},u_{\infty''}}^{(3)}&\underset{\eta\to 0}{=} (-\eta^{-1}+\omega_{0}^{\infty''}\eta^0+O(\eta))\,d\eta,&\qquad & u\to u_{\infty''},&\quad \eta&=\lambda^{-1/2}, \end{alignedat}
\end{equation}
\tag{4.11}
$$
откуда получаем, что
$$
\begin{equation}
\begin{alignedat}{3} \int_{Q_0}^{u}\omega_{u_{\infty'},u_{\infty''}}^{(3)}&\underset{\varsigma\to 0}{=} \ln\varsigma+\ell_1(Q_0)+\omega_{0}^{\infty'}\varsigma+O(\varsigma^2), &\qquad & u\to u_{\infty'}, \\ \int_{Q_0}^{u}\omega_{u_{\infty'},u_{\infty''}}^{(3)}&\underset{\eta\to 0}{=} -\ln\eta+\ell_2(Q_0)+\omega_{0}^{\infty''}\eta+O(\eta^2), &\qquad & u\to u_{\infty''}, \end{alignedat}
\end{equation}
\tag{4.12}
$$
где $Q_0$ – переменная базовая точка на $\mathcal K_{l-1}\{u_{\infty'},u_{\infty''}\}$, а $\ell_1(Q_0)$, $\ell_2(Q_0)$, $\omega_{0}^{\infty'}$, $\omega_{0}^{\infty''}$ – постоянные. Пусть $\mathcal T_{l-1}$ – это решетка периодов $\{ \underline {z}\in\mathbb{C}^{l-1}| \underline {z}= \underline {\mathcal F}+ \underline {\mathcal H}\tau, \underline {\mathcal F}, \underline {\mathcal H}\in\mathbb{Z}^{l-1}\}$. Будем рассматривать $\mathcal J_{l-1}=\mathbb{C}^{l-1}/\mathcal T_{l-1}$ на $\mathcal K_{l-1}$ как многообразие Якоби, тогда можно ввести абелево отображение $ \underline {\mathcal A}\colon\mathcal K_{l-1}\to\mathcal J_{l-1}$,
$$
\begin{equation*}
\underline {\mathcal A}(u)=\bigl(\mathcal A_1(u),\ldots,\mathcal A_{l-1}(u)\bigr)= \biggl(\,\int_{Q_0}^{u}{\omega_1},\ldots,\int_{Q_0}^{u}{\omega_{l-1}}\biggr)\quad (\mathrm{mod}\;\;\mathcal T_{l-1}).
\end{equation*}
\notag
$$
Зададим группу дивизоров $\operatorname{Div}(\mathcal K_{l-1})$ и линейно продолжим абелево отображение на нее:
$$
\begin{equation*}
\underline {\mathcal A}\biggl(\sum h_\sigma u_\sigma\biggr)=\sum h_\sigma \underline {\mathcal A}(u_\sigma).
\end{equation*}
\notag
$$
Рассмотрим неспециальный дивизор $\mathcal D_{ \underline {\tilde\mu}(n)}=\sum_{\sigma=1}^{l-1}\tilde\mu_\sigma(n)$ и введем
$$
\begin{equation}
\underline {\rho}(n)= \underline {\mathcal A} \biggl(\,\sum_{\sigma=1}^{l-1}\tilde\mu_\sigma(n)\biggr)= \sum_{\sigma=1}^{l-1} \underline {\mathcal A}(\tilde\mu_\sigma(n))= \sum_{\sigma=1}^{l-1}\int_{Q_0}^{\tilde\mu_\sigma(n)} \underline {\omega}\,,
\end{equation}
\tag{4.13}
$$
где $ \underline {\rho}=(\rho_1(n),\ldots,\rho_{l-1}(n))$, $ \underline {\omega}=(\omega_1,\ldots,\omega_{l-1})$. Определим тета-функцию Римана $\theta( \underline {z})$ на $\mathcal K_{l-1}$ как
$$
\begin{equation}
\begin{gathered} \, \theta( \underline {z})=\sum_{ \underline {\mathcal F}\in\mathbb{Z}^{l-1}} \exp\{2\pi i\langle\kern1pt \underline {\mathcal F}, \underline {z}\kern1pt\rangle+ \pi i\langle\kern1pt \underline {\mathcal F}, \underline {\mathcal F\tau}\rangle\},\qquad \underline {z}=(z_1,\ldots,z_{l-1})\in\mathbb{C}^{l-1}, \\ \langle\kern1pt \underline {\mathcal F}, \underline {z}\kern1pt\rangle=\sum_{j=1}^{l-1}\mathcal F_jz_j,\qquad \langle\kern1pt \underline {\mathcal F}, \underline {\mathcal F\tau}\kern1pt\rangle= \sum_{j,\sigma=1}^{l-1}\tau_{j\sigma}\mathcal F_j\mathcal F_\sigma. \end{gathered}
\end{equation}
\tag{4.14}
$$
Введем следующую функцию:
$$
\begin{equation}
\begin{gathered} \, \theta( \underline {z}(u,\tilde{ \underline {\mu}}(n)))=\theta( \underline {\Lambda}-\mathcal A(u)+ \underline {\rho}(n)), \\ u\in\mathcal K_{l-1},\qquad \underline {\tilde\mu}(n)=\{\tilde\mu_1(n),\ldots,\tilde\mu_{l-1}(n)\}\in\sigma^{l-1}\mathcal K_{l-1}, \end{gathered}
\end{equation}
\tag{4.15}
$$
где $\sigma^{l-1}\mathcal K_{l-1}$ есть $(l-1)$-я симметрическая степень на $\mathcal K_{l-1}$, а вектор $\Lambda$, зависящий от базовой точки $Q_0$, задается как
$$
\begin{equation*}
\Lambda_j=\frac{1}{2}(1+\tau_{jj})- \sum_{\substack{\sigma=1,\\ \!\!\sigma\neq j}}^{l-1}\int_{\mathbf w_\sigma}{\omega_\sigma}\int_{Q_0}^{u}\omega_j,\qquad j=1,\ldots,l-1.
\end{equation*}
\notag
$$
Теорема 1. Пусть $u=(\lambda,f)\in\mathcal K_{l-1}\backslash\{u_{\infty'},u_{\infty''}\}$, $(n,n_0)\in\mathbb{Z}^2$ и $\mathcal D_{ \underline {\tilde\mu}(n)}$ – неспециальный дивизор, тогда
$$
\begin{equation}
\begin{aligned} \, \Theta(u,n)&=\frac{\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n)))\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n)))} {\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}^{+}(n)))\theta( \underline {z}(u, \underline {\tilde\mu}(n)))} \exp\biggl(\,\int_{Q_0}^{u}{\omega_{u_{\infty'},u_{\infty''}}^{(3)}-\ell_2(Q_0)}\biggr), \\ \Xi_1(u,n,n_0)&=\frac{\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n_0)))\theta( \underline {z}(u, \underline {\tilde\mu}(n)))} {\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n)))\theta( \underline {z}(u, \underline {\tilde\mu}(n_0)))}\times{} \\ &\kern90pt \times\exp\biggl((n-n_0)\biggl(\,\int_{Q_0}^{u}{\omega_{u_{\infty',\infty''}}^{(3)}-\ell_2(Q_0)}\biggr)\!\biggr). \end{aligned}
\end{equation}
\tag{4.16}
$$
Под действием отображения Абеля дивизор $\mathcal D_{ \underline {\tilde\mu}}$ линеаризуется:
$$
\begin{equation}
\underline {\rho}(n)= \underline {\rho}(n_0)+(n-n_0)\bigl( \underline {\mathcal A}(u_{\infty''})- \underline {\mathcal A}(u_{\infty'})\bigr).
\end{equation}
\tag{4.17}
$$
Доказательство. По теореме Абеля получаем (4.17) из (4.7), а из (4.10) выводим следующие соотношения:
$$
\begin{equation}
\begin{alignedat}{3} \exp\biggl(\,\int_{Q_0}^{u}\omega_{u_{\infty'},u_{\infty''}}^{(3)}-\ell_2(Q_0)\biggr)&\underset{\varsigma\to 0}{=} \varsigma\exp(\ell_1(Q_0)-\ell_2(Q_0)+O(\varsigma^2)), &\quad & u\to u_{\infty'}, \notag\\ {} \\ \exp\biggl(\,\int_{Q_0}^{u}\omega_{u_{\infty'},u_{\infty''}}^{(3)}-\ell_2(Q_0)\biggr)&\underset{\eta\to 0}{=} \eta^{-1}+O(1),&\quad & u\to u_{\infty''}. \notag \end{alignedat}
\end{equation}
\tag{4.18}
$$
Обозначим правую часть в выражении для $\Xi_1(u,n,n_0)$ в (4.16) как $\phi$. Мы видим, что $\phi$ и $\Theta$ имеют одни и те же нули и полюсы. По теореме Римана–Роха и в соответствии с (4.3), (4.18) имеем
$$
\begin{equation*}
\frac{\phi}{\Theta}\underset{\eta\to 0}{=}\frac{(1+O(\eta))(\eta^{-1}+O(1))}{\eta^{-1}+O(1)}=1+O(\eta),\qquad u\to u_{\infty''}.
\end{equation*}
\notag
$$
Тем самым доказано, что $\Theta(u,n)$ может быть представлена через тета-функцию Римана. Представление для $\Xi_1(u,n,n_0)$ выводится из (3.8) и представления для $\Theta$. Теорема 2. Пусть $n\in\mathbb{Z}$ и $\mathcal D_{ \underline {\tilde\mu}(n)}$ – неспециальный дивизор, тогда потенциалы $q$, $r$, $s$ и $v$ представляются через тета-функцию Римана следующим образом:
$$
\begin{equation}
\begin{aligned} \, q(n)&=-\,\omega_{0}^{\infty''}- \sum_{j=1}^{l-1}\biggl(\frac{1}{3\beta_0}\mathbb{Q}_{j,l-1}+\frac{1}{\alpha_0\beta_0}\mathbb{Q}_{j,2p-1}\biggr) \frac{\partial}{\partial_{zj}} \ln\frac{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{++}(n)}))}{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n)}))}-{} \\ &\quad\; -\frac{\theta( \underline {z}(u_{\infty'},\tilde{ \underline {\mu}}(n)))\theta( \underline {z}(u_{\infty'},{ \underline {\mu}}^{++}(n)))} {\theta( \underline {z}(u_{\infty''},\tilde{ \underline {\mu}}^{++}(n)))\theta( \underline {z}(u_{\infty'},\tilde{ \underline {\mu}}^{+}(n)))} \exp(\ell_1(Q_0)-\ell_2(Q_0)), \\ r(n)&=-\,\omega_{0}^{\infty'}+ \sum_{j=1}^{l-1}\biggl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha^2}\mathbb{Q}_{j,2p-1}\biggr) \frac{\partial}{\partial_{zj}} \ln\frac{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n)}))} {\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}(n)}))}, \\ \frac{s(n)}{s^{-}(n)}&=\omega_{0}^{\infty'}- \sum_{j=1}^{l-1}\biggl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha^2}\mathbb{Q}_{j,2p-1}\biggr) \frac{\partial}{\partial_{zj}} \ln\frac{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n)}))} {\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}(n)}))}, \\ v(n)&=-\frac{\theta( \underline {z}(u_{\infty''},{ \underline {\mu}}(n)))\theta( \underline {z}(u_{\infty'},{ \underline {\mu}}^{+}(n)))} {\theta( \underline {z}(u_{\infty'},\tilde{ \underline {\mu}}(n)))^2} \exp(\ell_1(Q_0)-\ell_2(Q_0)). \end{aligned}
\end{equation}
\tag{4.19}
$$
Доказательство. По теореме Абеля с учетом (4.6) имеем
$$
\begin{equation*}
\underline {\rho}^{+}(n)+ \underline {\mathcal A}(u_{\infty'})= \underline {\rho}(n)+ \underline {\mathcal A}(u_{\infty''}),
\end{equation*}
\notag
$$
отсюда
$$
\begin{equation*}
\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}^{+}(n)))=\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}(n))).
\end{equation*}
\notag
$$
Используя равенство $f=\Gamma_{11}^{(p)}+\Gamma_{12}^{(p)}+\Gamma_{13}^{(p)}/\Theta^{-1}$, получаем
$$
\begin{equation*}
f\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} \varsigma^{-p-1}[\alpha_0-\alpha_1\varsigma^2+O(\varsigma^3)], & u\to u_{\infty'},\;\;\varsigma=\lambda^{-1}, \\ \eta^{-2p-1}[\beta_0-\beta_1\eta^2+O(\eta^3)], & u\to u_{\infty''},\;\;\eta=\lambda^{-1/2}. \end{cases}
\end{equation*}
\notag
$$
Используя (4.9) и (4.10), выводим следующее равенство:
$$
\begin{equation*}
\omega_j=\sum_{h=1}^{l-1}\mathbb{Q}_{ij}\hat{\omega}_h= \sum_{h=1}^{2p-1}\mathbb{Q}_{ij}\frac{\lambda^{h-1}d\lambda}{3f^2+Y_l}+ \sum_{h=2p}^{l-1}\mathbb{Q}_{ij}\frac{f\lambda^{h-2p-2}d\lambda}{3f^2+Y_l},\qquad j=1,\ldots,l-1.
\end{equation*}
\notag
$$
Асимптотика для $\omega_j$ получается напрямую,
$$
\begin{equation*}
\omega_j\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} \phantom{-}\dfrac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\dfrac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}+O(\varsigma)d\varsigma, & u\to u_{\infty'}, \\ -\dfrac{1}{3\beta_0}\mathbb{Q}_{j,l-1}-\dfrac{1}{{\alpha_0\beta_0}}\mathbb{Q}_{j,2p-1}+O(\eta)d\eta, & u\to u_{\infty''}. \end{cases}
\end{equation*}
\notag
$$
Используя представление функции $\Theta(u,n)$ через тета-функцию Римана из (4.16), имеем
$$
\begin{equation*}
\begin{aligned} \, &\frac{\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n)))}{\theta( \underline {z}(u, \underline {\tilde\mu}(n)))}= \frac{\theta( \underline {\Lambda}- \underline {\mathcal A}(u)+ \underline {\rho}^{+}(n))} {\theta( \underline {\Lambda}- \underline {\mathcal A}(u)+ \underline {\rho}(n))}= \frac{\theta( \underline {\Lambda}- \underline {\mathcal A}(u_{\infty'})+ \underline {\rho}^{+}(n)+\int_{u}^{u_{\infty'}}{ \underline {\omega}})} {\theta( \underline {\Lambda}- \underline {\mathcal A}(u_{\infty'})+ \underline {\rho}(n)+\int_{u}^{u_{\infty'}}{ \underline {\omega}})} \underset{\varsigma\to 0}{=} \\ &\;\;\underset{\varsigma\to 0}{=} \frac{\theta(\ldots,\Lambda_j-\mathcal A_j(u_{\infty'})+\rho_{j}^{+}(n)- \bigl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}\bigr)\varsigma+O(\varsigma^2),\ldots)} {\theta(\cdots,\Lambda_j-\mathcal A_j(u_{\infty'})+\rho_{j}(n)- \bigl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}\bigr)\varsigma+O(\varsigma^2),\ldots)} \underset{\varsigma\to 0}{=} \\ &\;\;\underset{\varsigma\to 0}{=} \frac{\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}^{+}(n)))- \sum_{j=1}^{l-1}\bigl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}\bigr) \frac{\partial}{\partial z_j}\ln\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}(n)))\varsigma+ O(\varsigma^2)} {\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}(n)))- \sum_{j=1}^{l-1}\bigl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}\bigr) \frac{\partial}{\partial z_j}\ln\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}^{+}(n)))\varsigma+ O(\varsigma^2)} \underset{\varsigma\to 0}{=} \\ &\;\;\underset{\varsigma\to 0}{=} \frac{\theta_{+}^{'}}{\theta'} \biggl(1-\sum_{j=1}^{l-1}(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}- \frac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}) \frac{\partial}{\partial z_j}\ln\frac{\theta_{+}^{'}}{\theta'}\varsigma+O(\varsigma^2)\biggr), \end{aligned}
\end{equation*}
\notag
$$
где $u\to u_{\infty'}$ и $\theta'=\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}(n)))$, $\theta_{+}^{'}=\theta( \underline {z}(u_{\infty'}, \underline {\tilde\mu}^{+}(n)))$. Аналогично предыдущим шагам получаем
$$
\begin{equation*}
\frac{\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n)))}{\theta( \underline {z}(u, \underline {\tilde\mu}(n)))}= \frac{\theta_{+}^{''}}{\theta''} \biggl(1-\sum_{j=1}^{l-1}(-\frac{1}{3\beta_0}\mathbb{Q}_{j,l-1}- \frac{1}{{\alpha_0\beta_0}}\mathbb{Q}_{j,2p-1})\frac{\partial}{\partial z_j}\ln\frac{\theta_{+}^{''}}{\theta''}\eta+O(\eta^2)\biggr),
\end{equation*}
\notag
$$
где $\eta\to 0$, $\theta''=\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n)))$, $\theta_{+}^{''}=\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}^{+}(n)))$. Следовательно, при $\eta\to 0$ и $\varsigma\to 0$
$$
\begin{equation*}
\Theta(u,n)\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} \Bigl(\varsigma+\Bigl(\omega_{0}^{\infty'}- \sum_{j=1}^{l-1}\Bigl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{{\alpha_0}^2}\mathbb{Q}_{j,2p-1}\bigr) \frac{\partial}{\partial z_j}\ln\frac{\theta_{+}^{'}}{\theta'}\Bigr)\varsigma^2+O(\varsigma^3)\Bigl)\times{} \\ \quad\times\frac{\theta''\theta_{+}^{'}}{\theta_{+}^{''}\theta'}\exp(\ell_1(Q_0)-\ell_2(Q_0)), & \kern-40pt u\to u_{\infty'}, \\ \eta^{-1}+\omega_{0}^{\infty''}+ \sum_{j=1}^{l-1}(\frac{1}{3\beta_0}\mathbb{Q}_{j,l-1}+ \frac{1}{{\alpha_0\beta_0}}\mathbb{Q}_{j,2p-1})\frac{\partial}{\partial z_j} \ln\frac{\theta_{+}^{''}}{\theta''}+O(\eta), & \\ &\kern-40pt u\to u_{\infty''}. \end{cases}
\end{equation*}
\notag
$$
Кроме того, в соответствии с соотношениями (4.2) и (4.3)
$$
\begin{equation*}
\Theta(u,n)\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=}\ \begin{cases} -v\varsigma+\biggl(v^{+}-\dfrac{s}{s^{-}}v^{-}+rv\biggr)\varsigma^2+O(\varsigma^3), & u\to u_{\infty'}, \\ \eta^{-1}-q^{-}+v+O(\eta), & u\to u_{\infty''}. \end{cases}
\end{equation*}
\notag
$$
В итоге формулы (4.19) доказаны. Обозначим $\mathbf o$-периоды дифференциала $\omega_{u_{\infty'},u_{\infty''}}^{(3)}$ как
$$
\begin{equation}
\underline {\mathcal A}^{(3)}=(\mathcal A_{1}^{(3)},\ldots,\mathcal A_{l-1}^{(3)}),\qquad \mathcal A_\sigma^{(3)}=\frac{1}{2\pi i} \int_{\mathbf o_\sigma}\omega_{u_{\infty'},u_{\infty''}}^{(3)},\quad \sigma=1,\ldots,l-1.
\end{equation}
\tag{4.20}
$$
Комбинируя формулы (4.11), (4.17), (4.19) и (4.20), мы видим, что представление потенциалов $q(n)$, $r(n)$, $s(n)$ и $v(n)$ через тета-функцию Римана имеют примечательную линейность в окрестности $n\in\mathbb{Z}\times\mathbb{R}$. Фактически соотношения (4.19) можно переписать как
$$
\begin{equation*}
\begin{aligned} \, q(n)&=-\,\omega_{0}^{\infty''}+ \sum_{j=1}^{l-1}\mathbb{K}_{j,0}^{(\infty'')} \frac{\partial}{\partial_{z_j}}\ln\frac{\theta( \underline {\mathcal B}_2+ \underline {\mathcal A}^{(3)}n)}{\theta( \underline {\mathcal B}_1+ \underline {A}^{(3)}n)}-{} \\ &\quad\;-\frac{\theta( \underline {\mathcal B}_0+ \underline {\mathcal A}^{(3)}n)\theta( \underline {\mathcal B}_2+ \underline {\mathcal A}^{(3)}n)} {\theta( \underline {\mathcal B}'_2+ \underline {\mathcal A}^{(3)}n)\theta( \underline {\mathcal B}_1+ \underline {\mathcal A}^{(3)}n)} \exp(\ell_1(Q_0)-\ell_2(Q_0)), \\ r(n)&=-\,\omega_{0}^{\infty'}+ \sum_{j=1}^{l-1}\mathbb{K}_{j,0}^{(\infty')} \frac{\partial}{\partial_{z_j}}\ln\frac{\theta( \underline {\mathcal B}_1+ \underline {\mathcal A}^{(3)}n)}{\theta( \underline {\mathcal B}_0+ \underline {\mathcal A}^{(3)}n)}, \\ \frac{s(n)}{s^{-}(n)}&=\omega_{0}^{\infty'}- \sum_{j=1}^{l-1}\mathbb{K}_{j,0}^{(\infty')} \frac{\partial}{\partial_{z_j}}\ln\frac{\theta( \underline {\mathcal B}_1+ \underline {\mathcal A}^{(3)}n)}{\theta( \underline {\mathcal B}_0+ \underline {\mathcal A}^{(3)}n)}, \\ v(n)&=-\,\frac{\theta( \underline {\mathcal B}'_{0}+ \underline {\mathcal A}^{(3)}n)\theta( \underline {\mathcal B}_1+ \underline {\mathcal A}^{(3)}n)} {\theta( \underline {\mathcal B}_0+ \underline {\mathcal A}^{(3)}n)^2}\exp(\ell_1(Q_0)-\ell_2(Q_0)). \end{aligned}
\end{equation*}
\notag
$$
где
$$
\begin{equation*}
\begin{gathered} \, \underline {\mathcal B}_0= \underline {\mathcal{S}}- \underline {\mathcal A}^{(3)},\qquad \underline {\mathcal B}'_0= \underline {\mathcal{S}}'- \underline {\mathcal A}^{(3)},\qquad \underline {\mathcal B}_1= \underline {\mathcal{S}}+ \underline {\mathcal A}^{(3)}, \\ \underline {\mathcal B}'_1= \underline {\mathcal{S}}'+ \underline {\mathcal A}^{(3)},\qquad \underline {\mathcal B}_2= \underline {\mathcal{S}}+2 \underline {\mathcal A}^{(3)},\qquad \underline {\mathcal B}'_2= \underline {\mathcal{S}}'+2 \underline {\mathcal A}^{(3)}, \\ \mathbb{K}_{j,0}^{(\infty')}=\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha^2}\mathbb{Q}_{j,2p-1},\qquad \mathbb{K}_{j,0}^{(\infty'')}=-\frac{1}{3\beta_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha_0\beta_0}\mathbb{Q}_{j,2p-1}, \\ \underline {\mathcal{S}}= \underline {\Lambda}- \underline {\mathbb{O}}(u_{\infty'})+ \underline {\rho}(n_0)- \underline {\mathcal A}^{(3)}n_0,\qquad \underline {\mathcal{S}}'= \underline {\Lambda}- \underline {\mathbb{O}}(u_{\infty''})+ \underline {\rho}(n_0)- \underline {\mathcal A}^{(3)}n_0. \end{gathered}
\end{equation*}
\notag
$$
5. Алгебро-геометрические решения иерархии в нестационарном случае В этом разделе мы обсуждаем алгебро-геометрические решения иерархии (1.3) в случае, когда имеется зависимость от времени. Сначала определим зависящую от времени функцию Бейкера–Ахиезера:
$$
\begin{equation}
\begin{aligned} \, &E\Xi(u,n,n_0,t_m,t_{0m})= \\ &\qquad =U(q(n,t_m),r(n,t_m),s(n,t_m),v(n,t_m);\lambda(u))\Xi(u,n,n_0,t_m,t_{0m}), \\ &\Xi_{tm}(u,n,n_0,t_m,t_{0m})= \\ &\qquad =\widehat\Gamma^mU(q(n,t_m),r(n,t_m),s(n,t_m),v(n,t_m);\lambda(u))\Xi(u,n,n_0,t_m,t_{0m}), \\ &\Gamma^{(p)}(q(n,t_m),r(n,t_m),s(n,t_m),v(n,t_m);\lambda(u))\Xi(u,n,n_0,t_m,t_{0m})= \\ &\qquad =f(u)\Xi(u,n,n_0,t_m,t_{0m}), \\ &\Xi_1(u,n_0,n_0,t_{0m},t_{0m})=1, \\ &\qquad u\in\mathcal K_{l-1}\backslash\{u_{\infty'},u_{\infty''}\},\quad (n,t_m),(n_0,t_{0m})\in{\mathbb{Z}\times\mathbb{R}}. \end{aligned}
\end{equation}
\tag{5.1}
$$
Из условия совместности уравнений (5.1) получаем
$$
\begin{equation}
U_{t_m}-(E\widehat\Gamma^m)U+U\widehat\Gamma^m=0,\quad\;\; (E\Gamma^{(p)})U-U\Gamma^{(p)}=0,\quad\;\; \Gamma_{t_m}^{(p)}-[\widehat\Gamma^m,\Gamma^{(p)}]=0.
\end{equation}
\tag{5.2}
$$
Прямые вычисления показывают, что $\digamma_l(\lambda,f)=\det(fI-\Gamma^{(p)})$ согласуется со стационарным уравнением нулевой кривизны для $\Gamma^{(p)}$. Характеристический многочлен есть постоянная, не зависящая от переменных $n$ и $t_m$, и мы имеем
$$
\begin{equation*}
\det(fI-\Gamma^{(p)})=f^3-f^2X_l(\lambda)+fY_l(\lambda)-Z_l(\lambda).
\end{equation*}
\notag
$$
Тогда тригональная кривая $\mathcal K_{l-1}$ в нестационарном случае задается следующим образом:
$$
\begin{equation*}
\mathcal K_{l-1}\colon\,f_l(\lambda,f)=f^3-f^2X_l(\lambda)+fY_l(\lambda)-Z_l(\lambda).
\end{equation*}
\notag
$$
Мероморфная функция $\Theta (u,n,t_m)$ на $\mathcal K_{l-1}$ определяется как
$$
\begin{equation}
\Theta(u,n,t_m)=\frac{\Xi_2(u,n,n_0,t_m,t_{0m})}{\Xi_1(u,n,n_0,t_m,t_{0m})},\qquad u\in\mathcal K_{l-1},\quad (n,t_m)\in{\mathbb{Z}\times\mathbb{R}},
\end{equation}
\tag{5.3}
$$
откуда мы имеем
$$
\begin{equation*}
\Xi_1(u,n,n_0,t_0,t_{0m})=\begin{cases} \displaystyle\prod_{n'=n_0}^{n-1}(1+q(n,t_m)\Theta(u,n',t_m)),& n\geqslant n_0+1,\\ \quad 1, & n=n_0, \\ \displaystyle\prod_{n'=n_0}^{n-1}(1+q(n,t_m)\Theta(u,n',t_m))^{-1}, & n\leqslant n_0-1. \end{cases}
\end{equation*}
\notag
$$
Используя выражение (5.3), получаем
$$
\begin{equation}
\begin{aligned} \, \Theta(u,n,t_m)&=\frac{f\Gamma_{23}^m(\lambda,n,t_m)+A_l(\lambda,n,t_m)}{f\Gamma_{13}^m(\lambda,n,t_m)+B_l(\lambda,n,t_m)}= \notag\\ &=\frac{E_{l-1}(\lambda,n,t_m)}{f^2\Gamma_{23}^m(\lambda,n,t_m)-fA_l(\lambda,n,t_m)+C_l(\lambda,n,t_m)}= \notag\\ &=\frac{f^2\Gamma_{13}^m(\lambda,n,t_m)-fB_l(\lambda,n,t_m)+D_l(\lambda,n,t_m)}{F_{l-1}(\lambda,n,t_m)}, \end{aligned}
\end{equation}
\tag{5.4}
$$
где $u=(\lambda,f)$, а коэффициенты $A_l(\lambda,n,t_m)$, $B_l(\lambda,n,t_m)$ и пр. определены так же, как в стационарном случае. Аналогично введем
$$
\begin{equation*}
\begin{aligned} \, F_{l-1}(\lambda,n,t_m)&=F_{l-1,0}\prod_{j=1}^{l-1}(\lambda-\mu_j(n,t_m)), \\ E_{l-1}(\lambda ,n,t_m)&=-F_{l-1,0}\prod_{j=1}^{l-1}(\lambda-\mu_j^{+}(n,t_m)). \end{aligned}
\end{equation*}
\notag
$$
Зададим наборы $\{\tilde\mu_j(n,t_m)\}_{j=1,\ldots,l-1}\subset\mathcal K_{l-1}$ и $\{\tilde\mu_j^{+}(n,t_m)\}_{j=1,\ldots,l-1}\subset\mathcal K_{l-1}$ как
$$
\begin{equation}
\begin{aligned} \, \tilde\mu_j(n,t_m)&=\bigl(\mu_j(n,t_m),f(\hat{\mu}_j(n,t_m))\bigr)= \\ &=\biggl(\mu_j(n,t_m)-\frac{B_l(\mu_j(n,t_m),n,t_m)}{\Gamma_{32}^m(\mu_j(n,t_m),n,t_m)}\biggr), \\ \tilde\mu_j^{+}(n,t_m)&=\bigl(\mu_j^{+}(n,t_m),f(\hat{\mu}_j^{+}(n,t_m))\bigr)= \\ &=\biggl(\mu_j^{+}(n,t_m)-\frac{A_l(\mu_j(n,t_m),n,t_m)}{\Gamma_{32}^m(\mu_j^{+}(n,t_m),n,t_m)}\biggr),\qquad(n,t_m)\in\mathbb{Z}\times\mathbb{R}. \end{aligned}
\end{equation}
\tag{5.5}
$$
Дивизор функции $\Theta(u,n,t_m)$ выражается из (5.4) следующим образом:
$$
\begin{equation}
(\Theta(u,n,t_m))=\mathcal D_{u_{\infty'},\tilde\mu_1^{+}(n,t_m),\ldots,\tilde\mu_{l-1}^{+}(n,t_m)}(u)- \mathcal D_{u_{\infty''},\tilde\mu_1^{+}(n,t_m),\ldots,\tilde\mu_{l-1}^{+}(n,t_m)}(u),
\end{equation}
\tag{5.6}
$$
так что $\Theta(u,n,t_m)$ всё так же имеет $l$ нулей $u_{\infty'},\tilde\mu_1^{+}(n,t_m),\ldots,\tilde\mu_{l-1}^{+}(n,t_m)$ и $l$ полюсов $u_{\infty''},\tilde\mu_1(n,t_m),\ldots,\tilde\mu_{l-1}(n,t_m)$. Вычисления, аналогичные стационарному случаю, показывают, что $\Theta(u,n,t_m)$ удовлетворяет уравнению типа Риккати
$$
\begin{equation}
\begin{aligned} \, q^{-}&(n,t_m)q(n,t_m)\Theta^{+}(u,n,t_m)\Theta(u,n,t_m)\Theta^{-}(u,n,t_m)= \notag\\ &=\biggl(v(n,t_m)q^{-}(n,t_m)-\frac{s(n,t_m)}{s^{-}(n,t_m)}\biggr)\Theta^{-}(u,n,t_m)+{} \notag\\ &\quad +(\lambda+r(n,t_m))\Theta(u,n,t_m)-\Theta^{+}(u,n,t_m)+v(n,t_m)+{} \notag\\ &\quad +(\lambda+r(n,t_m))q^{-}(n,t_m)\Theta^{-}(u,n,t_m)\Theta(u,n,t_m)-{} \notag\\ &\quad -q(n,t_m)\Theta(u,n,t_m)\Theta^{+}(u,n,t_m)-{}q^{-}(n,t_m)\Theta^{-}(u,n,t_m)\Theta^{+}(u,n,t_m). \end{aligned}
\end{equation}
\tag{5.7}
$$
Также аналогично предыдущему разделу $\Theta(u,n,t_m)$ удовлетворяет следующей системе уравнений:
$$
\begin{equation}
\begin{aligned} \, &\Theta(u,n,t_m)\Theta(u^*,n,t_m)\Theta(u^{**},n,t_m)=-\frac{E_{l-1}(\lambda,n,t_m)}{F_{l-1}(\lambda,n,t_m)}, \\ &\Theta(u,n,t_m)+\Theta(u^*,n,t_m)+\Theta(u^{**},n,t_m)= \\ &\kern100pt =\frac{3D_l(\lambda,n,t_m)-2\Gamma_{32}^m(\lambda,n,t_m)Y_l(\lambda,n,t_m)}{F_{l-1}(\lambda,n,t_m)}, \\ &\frac{1}{\Theta(u,n,t_m)}+\frac{1}{\Theta(u^*,n,t_m)}+\frac{1}{\Theta(u^{**},n,t_m)}= \\ &\kern100pt =\frac{3C_l(\lambda,n,t_m)-2\Gamma_{12}^m(\lambda,n,t_m)(\lambda,n,t_m)Y_l(\lambda,n,t_m)}{E_{l-1}(\lambda,n,t_m)}. \end{aligned}
\end{equation}
\tag{5.8}
$$
Дифференцируя мероморфную функцию по $t_m$, получаем
$$
\begin{equation*}
\begin{aligned} \, \Theta_{t_m}=\biggl(\frac{\Xi_1^{+}}{\Xi_1}\biggr)_{t_m}&= \frac{\Xi_{1,t_m}^{+}\Xi_1-\Xi_1^{+}\Xi_{1,t_m}}{\Xi_1^2}= \frac{\Xi_1^{+}}{\Xi_1}\biggl(\frac{\Xi_{1,t_m}^{+}}{\Xi_1^{+}}-\frac{\Xi_{1,t_m}}{\Xi_1}\biggr)= \\ &=\Theta\Delta\frac{\Xi_{1,t_m}}{\Xi_1}= \Theta\Delta\biggl(\widehat\Gamma_{11}^m+\widehat\Gamma_{12}^m\Theta+\widehat\Gamma_{13}^m\frac{1}{\Theta^{-}}\biggr), \end{aligned}
\end{equation*}
\notag
$$
тогда
$$
\begin{equation}
\frac{\Theta(u,n,t_m)_{t_m}}{\Theta(u,n,t_m)}= \Delta\biggl(\widehat\Gamma_{11}^m(\lambda,n,t_m)+\widehat\Gamma_{12}^m(\lambda,n,t_m)\Theta+ \widehat\Gamma_{13}^m(\lambda,n,t_m)\frac{1}{\Theta^{-}(u,n,t_m)}\biggr),
\end{equation}
\tag{5.9}
$$
где $\Delta$ – разностный оператор, $\Delta=E-1$. Динамика нулей $\mu_j(n,t_m)$ функции $F_{l-1}(\lambda,n,t_m)$ описывается уравнениями типа Дубровина в соответствии со следующей леммой. Лемма 1. Пусть $(n,t_m)\in\mathbb{Z}\times\mathbb{R}$. Предположим, что нули $\{\mu_j(n,t_m)\}_{j=\overline{1,l-1}}$ функции $F_{l-1}(\lambda,n,t_m)$ дифференцируемы, тогда они удовлетворяют уравнениям
$$
\begin{equation}
\begin{aligned} \, \mu_{j,t_m}(n,t_m)=[&\,\widehat\Gamma_{12}^m(\mu_j(n,t_m),n,t_m)\Gamma_{13}^{(p)}(\mu_j(n,t_m),n,t_m)-{} \notag\\ &-\widehat\Gamma_{13}^m(\mu_j(n,t_m),n,t_m)\Gamma_{12}^{(p)}(\mu_j(n,t_m),n,t_m)]\times{} \notag\\ &\qquad\qquad\qquad\times \frac{3f^2(\hat{\mu}_j(n,t_m))+Y_l(\mu_j(n,t_m))}{F_{{l-1},0}\prod_{\substack{\sigma=1,\\ \sigma\neq j}}^{l-1}(\mu_j(n,t_m)-\mu_\sigma(n,t_m))}, \end{aligned}
\end{equation}
\tag{5.10}
$$
где $1\leqslant j\leqslant l-1$. Доказательство. Используя (3.10), (3.11) и (5.2), имеем
$$
\begin{equation*}
\begin{aligned} \, F_{{l-1},t_m}(\lambda,n,t_m)&= \bigl((\Gamma_{13}^{(p)})^2\Gamma_{32}^{(p)}+ \Gamma_{12}^{(p)}\Gamma_{13}^{(p)}(\Gamma_{22}^{(p)}- \Gamma_{33}^{(p)})-(\Gamma_{12}^{(p)})^2\Gamma_{23}^{(p)}\bigr)_{t_m}= \\ &=3\widehat\Gamma_{11}^mF_{l-1}+ 3(\widehat\Gamma_{12}^mA_l-\widehat\Gamma_{13}^mG_l)- 2(\widehat\Gamma_{12}^m\Gamma_{13}^{(p)}-\widehat\Gamma_{13}^m\Gamma_{12}^{(p)})Y_l= \\ &=3\widehat\Gamma_{11}^mF_{l-1}+3\widehat\Gamma_{12}^m(\Gamma_{23}^{(p)}G_l- \Gamma_{22}^{(p)}B_l)-3\widehat\Gamma_{13}^m(\Gamma_{32}^{(p)}B_l-\Gamma_{33}^{(p)}G_l)+{} \\ &\quad +(\widehat\Gamma_{12}^m\Gamma_{13}^{(p)}-\widehat\Gamma_{13}^m\Gamma_{12}^{(p)})Y_l. \end{aligned}
\end{equation*}
\notag
$$
Тогда с учетом (3.12) и (5.5) получаем следующий результат:
$$
\begin{equation*}
\frac{B_l}{\Gamma_{13}^{(p)}}\biggl|_{\lambda=\mu_j(n,t_m)}= \frac{G_l}{\Gamma_{12}^{(p)}}\biggl|_{\lambda=\mu_j(n,t_m)}=-f(\tilde\mu_j(n,t_m)).
\end{equation*}
\notag
$$
Таким образом,
$$
\begin{equation*}
\begin{aligned} \, \widehat\Gamma_{12}^m(\Gamma_{23}^{(p)}G_l-\Gamma_{22}^{(p)}B_l)|_{\lambda=\mu_j(n,t_m)}&= f^2(\hat{\mu}_j(n,t_m))\widehat\Gamma_{12}^m\Gamma_{13}^{(p)}|_{\lambda=\mu_j(n,t_m)}, \\ \widehat\Gamma_{13}^m(\Gamma_{32}^{(p)}B_l-\Gamma_{33}^{(p)}G_l)|_{\lambda=\mu_j(n,t_m)}&= f^2(\hat{\mu}_j(n,t_m))\widehat\Gamma_{13}^m\Gamma_{12}^{(p)}|_{\lambda=\mu_j(n,t_m)}, \\ (\widehat\Gamma_{12}^mB_l-\widehat\Gamma_{13}^mG_l)|_{\lambda=\mu_j(n,t_m)}&= -f(\hat{\mu}_j(n,t_m))(\widehat\Gamma_{12}^m\Gamma_{13}^{(p)}-\widehat\Gamma_{13}^m\Gamma_{12}^{(p)})\big|_{\lambda=\mu_j(n,t_m)}. \end{aligned}
\end{equation*}
\notag
$$
Следовательно,
$$
\begin{equation*}
\begin{aligned} \, F_{{l-1},t_m}(\lambda,n,t_m)&|_{\lambda=\mu_j(n,t_m)}=-\mu_{j,t_m}(n,t_m)F_{{l-1},0} \prod_{\substack{\sigma=1,\\ \sigma\neq j\;}}^{l-1}(\mu_j(n,t_m)-\mu_\sigma(n,t_m))= \\ &\quad\;\;=\bigl(3f^2(\hat{\mu}_j(n,t_m))+Y_l(\mu_j(n,t_m))\bigr) (\widehat\Gamma_{12}^m\Gamma_{13}^{(p)}-\widehat\Gamma_{13}^m\Gamma_{12}^{(p)})\big|_{\lambda=\mu_j(n,t_m)}, \end{aligned}
\end{equation*}
\notag
$$
и тем самым уравнение (5.10) доказано. Кроме того, в силу (5.1) имеем
$$
\begin{equation}
\begin{aligned} \, &\Xi_1(u,n,n_0,t_m,t_{0m})= \notag\\ &\quad=\exp\biggl(\,\int_{t_{0m}}^{t_m} \biggl(\widehat\Gamma_{11}^m(\lambda,n,t_m)+\widehat\Gamma_{12}^m(\lambda,n,t_m)\Theta+ \widehat\Gamma_{13}^m(\lambda,n,t_m)\frac{1}{\Theta^{-}(u,n,t_m)}\biggr)dt'\biggr)\times{} \notag\\ &\qquad\times\begin{cases} \displaystyle\prod_{n'=n_0}^{n-1}(1+q(n,t_m)\Theta(u,n',t_m)),& n\geqslant n_0+1,\\ \quad 1,& n=n_0,\\ \displaystyle\prod_{n'=n}^{n_0-1}(1+q(n,t_m)\Theta(u,n',t_m))^{-1},& n\leqslant n_0-1, \end{cases} \end{aligned}
\end{equation}
\tag{5.11}
$$
и
$$
\begin{equation}
\Xi_1(u,n,n_0,t_m,t_{0m})=\Xi_1(u,n,n_0,t_m,t_m)\Xi_1(u,n_0,n_0,t_m,t_{0m}),
\end{equation}
\tag{5.12}
$$
где $u=(\lambda,f)\in\mathcal K_{l-1}\backslash\{u_{\infty'},u_{\infty''}\}$ и $(n,t_m),(n_0,t_{0m})\in\mathbb{Z}\times\mathbb{R}$. Для функции (5.11) зададим
$$
\begin{equation*}
\Pi_m(u,n,t_m)=\widehat\Gamma_{11}^m(\lambda,n,t_m)+ \widehat\Gamma_{12}^m(\lambda,n,t_m)\Theta(u,n,t_m)+\widehat\Gamma_{13}^m\frac{1}{\Theta^{-}(u,n,t_m)},
\end{equation*}
\notag
$$
таким образом,
$$
\begin{equation}
\begin{aligned} \, \widetilde\Pi_m^{(k)}(u,n,t_m)&=\widetilde{\widehat\Gamma}_{11}^{{}_{{}_{\scriptstyle(m,k)}}}(\lambda,n,t_m)+ \widetilde{\widehat\Gamma}_{12}^{{}_{{}_{\scriptstyle(m,k)}}}(\lambda,n,t_m)\Theta(u,n,t_m)+{} \notag\\ &\quad +\widetilde{\widehat\Gamma}_{13}^{{}_{{}_{\scriptstyle(m,k)}}}\frac{1}{\Theta^{-}(u,n,t_m)}, \end{aligned}
\end{equation}
\tag{5.13}
$$
где
$$
\begin{equation*}
\widetilde{\widehat\Gamma}_{1j}^{{}_{{}_{\scriptstyle(m,1)}}}=\tilde{\Gamma}_{1j}^m|_{\hat\alpha_0=1,\hat\beta_1=0},\qquad \widetilde{\widehat\Gamma}_{1j}^{{}_{{}_{\scriptstyle(m,2)}}}=\tilde{\Gamma}_{1j}^m|_{\hat\alpha_0=1,\hat\beta_1=0}
\end{equation*}
\notag
$$
и $\hat\alpha_1=\cdots=\hat\alpha_m=\hat\beta_1=\cdots=\hat\beta_m=0$. Следовательно,
$$
\begin{equation}
\Pi_m(u,n,t_m)=\sum_{h=0}^{m}\hat\alpha_{m-h}\widetilde\Pi_{h}^{(1)}(u,n,t_m)+ \sum_{h=0}^{m}\hat\beta_{m-h}\widetilde\Pi_{h}^{(2)}(u,n,t_m).
\end{equation}
\tag{5.14}
$$
Лемма 2. Пусть $(n,t_m)\in\mathbb{Z}\times\mathbb{R}$ и $\varsigma=\lambda^{-1}$, $\eta=\lambda^{1/2}$ – локальные координаты в окрестности точек $u_{\infty'}$, $u_{\infty''}$, тогда
$$
\begin{equation}
\begin{aligned} \, \widetilde\Pi_m^{(1)}(u,n,t_m)&\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} \varsigma^{-(m+1)}+O(\varsigma),& u\to u_{\infty'},\\ -\eta^{-(m+1)}-O(\eta), & u\to u_{\infty''}, \end{cases} \\ \widetilde\Pi_m^{(2)}(u,n,t_m)&\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} -\bar b_m(n,t_m)-\bar b_{m+1}^{+}(n,t_m)\bar d_{m+1}^{+}(n,t_m)+O(\varsigma), & u\to u_{\infty'}, \\ 2\dfrac{\bar b_{m+1}(n,t_m)}{\bar b_{m+1}^{++}(n,t_m)}+\dfrac{1}{3}\bar d_{m+1}^{+}(n,t_m)+O(\eta), & u\to u_{\infty''}. \end{cases} \end{aligned}
\end{equation}
\tag{5.15}
$$
Доказательство. Положим $\tilde\alpha^m=\hat\alpha^m|_{\hat\alpha_0=1,\hat\beta_0=0}$, тогда с учетом (5.1) и (5.13) имеем
$$
\begin{equation*}
\begin{aligned} \, \widetilde\Pi_m^{(1)}(u,n,t_m)&= \widetilde{\widehat\Gamma}_{11}^{{}_{{}_{\scriptstyle(m,1)}}}(\lambda,n,t_m)+ \widetilde{\widehat\Gamma}_{12}^{{}_{{}_{\scriptstyle(m,1)}}}(\lambda,n,t_m)\Theta(u,n,t_m)+ \frac{\widetilde{\widehat\Gamma}_{13}^{{}_{{}_{\scriptstyle(m,1)}}}(\lambda,n,t_m)}{\Theta^{-}(u,n,t_m)}= \\ &=\tilde a^m+\biggl(\Theta(u,n,t_m)+s(n,t_m)E\frac{1}{\Theta^{-}(u,n,t_m)}\biggr)\tilde b^m+ \\ &\quad +q(n,t_m){s(n,t_m)}^2E\tilde d^m\frac{1}{\Theta^{-}(u,n,t_m)}. \end{aligned}
\end{equation*}
\notag
$$
В силу (4.2) и (4.3) для $m=0$ получаем следующий результат:
$$
\begin{equation*}
\widetilde\Pi_{0}^{(1)}(u,n,t_m)\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} \varsigma^{-1}+O(\varsigma), & u\to u_{\infty'},\\ -\eta^{-1}-O(\eta), &u\to u_{\infty''}. \end{cases}
\end{equation*}
\notag
$$
Предположим, что
$$
\begin{equation*}
\widetilde\Pi_m^{(1)}(u,n,t_m)\underset{\stackrel{\scriptstyle\varsigma\to 0,}{\eta\to 0}}{=} \begin{cases} \varsigma^{-(m+1)}+\sum_{j=0}^{\infty}{\delta_j}(n,t_m)\varsigma^j, & u\to u_{\infty'},\\ -\eta^{-(m+1)}-\sum_{j=0}^{\infty}{\kappa_j}(n,t_m)\eta^j, & u\to u_{\infty''}, \end{cases}
\end{equation*}
\notag
$$
с коэффициентами $\{\delta_j(n,t_m)\}_{j\in\mathbb{Q}_0}$ и $\{\kappa_j(n,t_m)\}_{j\in\mathbb{Q}_0}$, которые можно найти. В соответствии с (5.9) и (5.13) получаем
$$
\begin{equation*}
\Theta(u,n,t_m)_{t_m}=\Theta(u,n,t_m)\Delta\widetilde\Pi_m^{(1)}(u,n,t_m).
\end{equation*}
\notag
$$
Рассматривая коэффициенты при одинаковых степенях $\varsigma$ и одинаковых степенях $\eta$, имеем
$$
\begin{equation*}
\begin{aligned} \, \delta_{j,t_m}&=\delta_1\Delta\varrho_{j-1}+\delta_2\Delta\varrho_{j-2}+\cdots+\delta_j\Delta\varrho_{0}, \\ \kappa_{j,t_m}&=\kappa_0\Delta\chi_{j}+\kappa_2\Delta\chi_{j-1}+\cdots+\kappa_{j-1}\Delta\chi_{1},\qquad j\geqslant 0, \end{aligned}
\end{equation*}
\notag
$$
следовательно,
$$
\begin{equation*}
\begin{aligned} \, \Delta\chi_0&=0,\qquad \Delta\chi_1=\kappa_{1,t_m}=\Delta\bar b_{m+1}, \\ \Delta\varrho_0&=\frac{\Theta_{1,t_m}}{\Theta_1}=\frac{v_{t_m}}{v}=2\tilde a_{m+1}, \\ \Delta\varrho_1&=\frac{1}{\Theta_1}\Theta_{2,t_m}-\frac{\Theta_2}{\Theta_1}\Delta\varrho_0=\Delta(\tilde c_{m+1}+{(E-1)}^{-1}\tilde a_{m+1}). \end{aligned}
\end{equation*}
\notag
$$
Отсюда
$$
\begin{equation*}
\begin{aligned} \, \chi_0(n,t_m)&=0,\qquad \chi_1(n,t_m)=\bar b_{m+1}(n,t_m), \\ \varrho_0(n,t_m)&=2(E-1)^{-1}\tilde a_{m+1}(n,t_m), \\ \varrho_1(n,t_m)&=-\tilde c_{m+1}(n,t_m)+{(E-1)}^{-1}\tilde a_{m+1}(n,t_m). \end{aligned}
\end{equation*}
\notag
$$
Таким образом, с учетом $\Delta\Delta^{-1}=\Delta^{-1}\Delta=1$ выводим следующий результат:
$$
\begin{equation*}
\begin{aligned} \, \widetilde\Pi_{m+1}^{(1)}(u,n,t_m)&\underset{\varsigma\to 0}{=} \widetilde\Pi_m^{(1)}(u,n,t_m)\varsigma^{-2}+\biggl(\Theta(u,n,t_m)+s_nE\frac{1}{\Theta^{-}(u,n,t_m)}\biggr)\tilde b_{m+1}+{} \\ &\qquad +\tilde a_{m+1}(n,t_m)+q(n,t_m){s(n,t_m)}^2E\tilde d_{m+1}\frac{1}{\Theta^{-}(u,n,t_m)}= \\ &\;\,=\varsigma^{-(m+1)}+\varsigma^{-1}\bigl(\varrho_0-2\tilde a_{m+1}(n,t_m)\bigr)+\varrho_1+\tilde c_{m+1}(n,t_m)-{} \\ &\qquad-(E-1)^{-1}\tilde a_{m+1}(n,t_m)= \\ &\;\,=\varsigma^{-(m+1)}+O(\varsigma),\qquad u\to u_{\infty'}, \\ \widetilde\Pi_{m+1}^{(1)}(u,n,t_m)&\underset{\eta\to 0}{=} \widetilde\Pi_m^{(1)}(u,n,t_m)\eta^{-2}+\biggl(\Theta(u,n,t_m)+s(n,t_m)E\frac{1}{\Theta^{-}(u,n,t_m)}\biggr)\tilde b_{m+1}+{} \\ &\qquad+\tilde a_{m+1}(n,t_m)+q(n,t_m){s(n,t_m)}^2E\tilde d_{m+1}\frac{1}{\Theta^{-}(u,n,t_m)}= \\ &\;\,=-\eta^{-(m+1)}-\eta^{-1}\chi_0-\chi_1+\bar b_{m+1}(n,t_m)= \\ &\;\,=-\eta^{-(m+1)}-O(\eta),\qquad u\to u_{\infty''}. \end{aligned}
\end{equation*}
\notag
$$
Итак, мы доказали соотношение (5.15) для $\widetilde\Pi_{m+1}^{(k)}$ при $k=1$, доказательство в случае $k=2$ аналогично. Пусть $\omega_{u_{\infty k},j}^{(2)}$, $j\geqslant 2$, есть нормированный дифференциал второго рода, голоморфный на $\mathcal K_{l-1}\backslash\{u_{\infty k}\}$, который имеет полюс $j$-го порядка в точках $u_{\infty k}$ ($k=1,2$),
$$
\begin{equation*}
\begin{alignedat}{5} \omega_{u_\infty',j}^{(2)}&\underset{\varsigma\to 0}{=}(\varsigma^{-j}+O(1))\,d\varsigma, &\qquad u&\to u_{\infty'},&\quad \varsigma&=\lambda^{-1}, \\ \omega_{u_\infty'',j}^{(2)}&\underset{\eta\to 0}{=}(\eta^{-j}+O(1))\,d\eta, &\qquad u&\to u_{\infty''},&\quad \eta&=\lambda^{-1/2}, \end{alignedat}
\end{equation*}
\notag
$$
с $\mathbf w$-периодами $\int_{\mathbf w_\sigma}\omega_{u_{\infty k},j}^{(2)}=0$, $\sigma=1,\ldots,l-1$. Пусть
$$
\begin{equation}
\widehat{\mho}_m^{(2)}=-\sum_{h=0}^{m}\hat\alpha_{m-h}(h+1){\omega}_{u_{\infty'},h+2}^{(2)}+ \sum_{h=0}^{m}\hat\beta_{m-h}(2h+1)\hat{\omega}_{u_{\infty''},2h+2}^{(2)}.
\end{equation}
\tag{5.16}
$$
Интегрируя это выражение, получаем
$$
\begin{equation*}
\begin{alignedat}{3} \int_{Q_0}^{u}\widehat{\mho}_m^{(2)}&\underset{\varsigma\to 0}{=} \sum_{h=0}^{m}\hat\alpha_{m-h}\varsigma^{-h-1}+\hat{\ell}_{1}^{(2)}(Q_0)+O(\varsigma),&\qquad u&\to u_{\infty'}, \\ \int_{Q_0}^{u}\widehat{\mho}_m^{(2)}&\underset{\eta\to 0}{=} -\sum_{h=0}^{m}\hat\beta_{m-h}\eta^{-2h-1}+\hat{\ell}_2^{(2)}(Q_0)+O(\eta),&\qquad u&\to u_{\infty''}. \end{alignedat}
\end{equation*}
\notag
$$
Далее найдем явные представления через тета-функции Римана для $\Theta(u,n,t_m)$ и $\Xi_1(u,n,n_0,t_m,t_{0m})$. Теорема 3. Пусть $u=(\lambda,f)\in\mathcal K_{l-1}\backslash\{u_{\infty'},u_{\infty''}\}$, $(n,n_0,t_m,t_{0m})\in\mathbb{Z}^2\times\mathbb{R}^2$. Если $\mathcal D_{ \underline {\tilde\mu}(n,t_m)}$ – неспециальный дивизор и $(n,\kern-1pt t_m)\in\mathbb{Z}\times\mathbb{R}$, то $\Theta(u,\kern-1pt n,\kern-1pt t_m)$ и $\Xi_1(u,\kern-1pt n,\kern-1pt n_0,\kern-1pt t_m,\kern-1pt t_{0m})$ представляются как
$$
\begin{equation}
\Theta(u,n,t_m)= \frac{\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n)))\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n)))} {\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}^{+}(n)))\theta( \underline {z}(u, \underline {\tilde\mu}(n)))} \exp\biggl(\,\int_{Q_0}^{u}\omega_{u_{\infty'},u_{\infty''}}^{(3)}-\ell_2(Q_0)\biggr),
\end{equation}
\tag{5.17}
$$
и
$$
\begin{equation}
\begin{aligned} \, \Xi_1(u,n,n_0,t_m,t_{0m})&= \frac{\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n_0,t_{0m})))\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n,t_m)))} {\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}^{+}(n,t_m)))\theta( \underline {z}(u, \underline {\tilde\mu}(n_0,t_{0m})))}\times{} \notag\\ &\kern60pt\times \exp\biggl((n-n_0)\biggl(\,\int_{Q_0}^{u}{\omega_{u_{\infty',\infty''}}^{(3)}-\ell_2(Q_0)}\biggr)\!\biggr)+{} \notag\\ &\quad +(t_m-t_{0m})(\hat{\ell}_2^{(2)}(Q_0))-\int_{Q_0}^{u}\widehat{\mho}_m^{(2)}. \end{aligned}
\end{equation}
\tag{5.18}
$$
Доказательство. При $t_{0m}=t_m$ функция $\Xi_1(u,n,n_0,t_m,t_m)$ имеет вид
$$
\begin{equation*}
\begin{aligned} \, \Xi_1(u,n,n_0,t_m,t_m)&= \frac{\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}(n_0,t_{0m})))\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n,t_m)))} {\theta( \underline {z}(u_{\infty''}, \underline {\tilde\mu}^{+}(n,t_m)))\theta( \underline {z}(u, \underline {\tilde\mu}(n_0,t_{0m})))}\times{} \\ &\kern60pt\times \exp\biggl((n-n_0)\biggl(\,\int_{Q_0}^{u}{\omega_{u_{\infty',\infty''}}^{(3)}-\ell_2(Q_0)}\biggr)\!\biggr). \end{aligned}
\end{equation*}
\notag
$$
Нам также нужно проверить, что
$$
\begin{equation*}
\Xi_1(u,n_0,n_0,t_m,t_{0m})=\exp\biggl(\,\int_{t_{0m}}^{t_m}\Pi_m(u,n_0,t')dt'\biggr).
\end{equation*}
\notag
$$
Обозначим правую часть выражения (5.18) как $\mathcal W_1(u,n_0,n_0,t_m,t_m)$, тогда
$$
\begin{equation*}
\begin{aligned} \, \mathcal W_1(u,n_0,n_0,t_m,t_m)&= \frac{\theta( \underline {z}(u_\infty'', \underline {\tilde\mu}(n_0,t_{0m})))\theta( \underline {z}(u, \underline {\tilde\mu}^{+}(n_0,t_m)))} {\theta( \underline {z}(u_\infty'', \underline {\tilde\mu}^{+}(n_0,t_m)))\theta( \underline {z}(u, \underline {\tilde\mu}(n_0,t_{0m})))}\times{} \\ &\kern60pt\times \exp\biggl((t_m-t_{0m})\biggl(\hat{\ell}_2^{(2)}(Q_0)-\int_{Q_0}^{u}{\hat{\omega}_m^{(2)}}\biggr)\!\biggr). \end{aligned}
\end{equation*}
\notag
$$
Далее докажем, что
$$
\begin{equation*}
\Xi_1(u,n_0,n_0,t_m,t_{0m})=\mathcal W_1(u,n_0,n_0,t_m,t_{0m}).
\end{equation*}
\notag
$$
Сначала, учитывая соотношения (3.12), (5.4) и (5.13), получаем формулу
$$
\begin{equation*}
\begin{aligned} \, \Pi_m(u,n,&t_m)= \widehat\Gamma_{11}^m(\lambda,n,t_m)+ \widehat\Gamma_{12}^m(\lambda,n,t_m)\Theta(u,n,t_m)+ \widehat\Gamma_{13}^m\frac{1}{\Theta^{-}(u,n,t_m)}= \\ &=\widehat\Gamma_{11}^m+\widehat\Gamma_{12}^m\frac{f^2\Gamma_{12}^{(p)}-fB_l+A_l}{F_{l-1}}- \widehat\Gamma_{13}^m\frac{f^2\Gamma_{12}^{(p)}-fG_l+H_l}{F_{l-1}}= \\ &=\frac{1}{F_{l-1}} \biggl(\frac{1}{3}F_{l-1,t_m}+ (\widehat\Gamma_{12}^m\Gamma_{13}^{(p)}-\widehat\Gamma_{13}^m\Gamma_{12}^{(p)})\biggl(f^2+\frac{2}{3}Y_l\biggr)- (\widehat\Gamma_{12}^mB_l-\widehat\Gamma_{12}^mG_l)f\biggr)= \\ &=-\frac{\mu_{j,t_m}(n,t_m)}{\lambda-\mu_j(n,t_m)}+O(1)= \partial_{t_m}\ln(\lambda-\mu_j(n,t_m))+O(1),\quad \lambda\to\mu_j(n,t_m), \end{aligned}
\end{equation*}
\notag
$$
где $O(1)\neq 0$. Следовательно,
$$
\begin{equation*}
\begin{aligned} \, \Xi_1(u,n_0,n_0,t_m,t_{0m})&= \exp\biggl(\,\int_{t_{0m}}^{t_m}\partial_{t'}\ln(\lambda-\mu_j(n_0,t')\,dt')\biggr)= \frac{\lambda-\mu_j(n_0,t_m)}{\lambda-\mu_j(n_0,t_{0m})}\,O(1)= \\ &=\begin{cases} (\lambda-\mu_j(n_0,t_m))O(1), & u\to \tilde\mu_j(n_0,t_m)\neq\tilde\mu_j(n_0,t_{0m}),\\ O(1),& u\to \tilde\mu_j(n_0,t_m)=\tilde\mu_j(n_0,t_{0m}),\\ (\lambda-\mu_j(n_0,t_{0m}))^{-1}O(1), & u\to \tilde\mu_j(n_0,t_{0m})\neq\tilde\mu_j(n_0,t_m). \end{cases} \end{aligned}
\end{equation*}
\notag
$$
Таким образом, функции $\Xi_1(u,n_0,n_0,t_m,t_{0m})$ и $\mathcal W_1(u,n_0,n_0,t_m,t_{0m})$ имеют одни и те же нули и полюсы на $\mathcal K_{l-1}$. Можно также показать, что $\Xi_1(u,n_0,n_0,t_m,t_{0m})$ и $\mathcal W_1(u,n_0,n_0,t_m,t_{0m})$ имеют одни и те же существенные особенности на $\mathcal K_{l-1}$. Поскольку дивизор $\mathcal D_{\tilde{ \underline {\mu}}(n,t_m)}$ неспециальный, получаем (5.17) и (5.18). Обозначим $\mathbf o$-периоды функции $\widehat{\mho}_m^{(2)}$ как
$$
\begin{equation}
\underline {\widehat{\mathcal A}}_m^{(2)}=(\widehat{\mathcal A}_{m,1}^{(2)},\ldots,\widehat{\mathcal A}_{m,l-1}^{(2)}),\qquad \widehat{\mathcal A}_{m,\sigma}^{(2)}=\frac{1}{2\pi i}\int_{\mathbf o_j}\widehat{\mho}_m^{(2)},\quad \sigma=1,\ldots,l-1.
\end{equation}
\tag{5.19}
$$
Теорема 4 (выпрямление потоков). Имеет место равенство
$$
\begin{equation}
\underline {\rho}(n,t_m)= \underline {\rho}(n_0,t_{0m})+ \underline {\mathcal A}^{(3)}(n-n_0)+ \underline {\widehat{\mathcal A}}_m^{(2)}(t_m-t_{0m}).
\end{equation}
\tag{5.20}
$$
Доказательство. Введем мероморфный дифференциал
$$
\begin{equation*}
\mho(n,n_0,t_m,t_{0m})=\frac{\partial}{\partial\lambda}\ln(\Xi_1(u,n,n_0,t_m,t_{0m}))\,d\lambda.
\end{equation*}
\notag
$$
С учетом (5.18) имеем
$$
\begin{equation*}
\mho(n,n_0,t_m,t_{0m})=(n-n_0)\omega_{u_{\infty'},u_{\infty''}}^{(3)}-(t_m-t_{0m})\widehat{\mho}_m^{(2)}+ \sum_{j=1}^{l-1}\omega_{\tilde\mu_j(n,t_m),\mu_j(n_0,t_{0m})}^{(3)}+\sum_{j=1}^{l-1}\check{\ell}_j\omega_j,
\end{equation*}
\notag
$$
где $\check{\ell}\in\mathbb{C}$, $j=1,\ldots,l-1$. На кривой $\mathcal K_{l-1}$ любой из $\mathbf w$-периодов и $\mathbf o$-периодов целочисленно кратен $2\pi i$ благодаря тому, что функция $\Xi_1(u,n,n_0,t_m,t_{0m})$ однозначная, поэтому
$$
\begin{equation*}
2\pi i\mathcal B_\sigma=\int_{\mathbf w_\sigma}\mho(n,n_0,t_m,t_{0m})= \int_{\mathbf w_\sigma}{\sum_{j=1}^{l-1}\check{\ell}_j\omega_j=\check{\ell}_\sigma},\qquad\sigma=1,\ldots,l-1,
\end{equation*}
\notag
$$
где $\mathcal B_\sigma\in\mathbb{Z}$. Аналогично для $\mathcal{C}_\sigma\in\mathbb{Z}$ ($\sigma=1,\ldots,l-1$) имеем
$$
\begin{equation*}
\begin{aligned} \, 2\pi i\mathcal{C}_\sigma&=\int_{\mathbf o_\sigma}{\mho(n,n_0,t_m,t_{0m})}= \\ &=(n-n_0)\int_{\mathbf o_\sigma}{\omega_{u_{\infty'},u_{\infty''}}^{(3)}-(t_m-t_{0m})}\int_{\mathbf o_\sigma}{\widehat{\mho}_m^{(2)}}+{} \\ &\quad +\sum_{j=1}^{l-1}\int_{\mathbf o_\sigma}{\omega_{\tilde\mu_j(n,t_m),\tilde\mu_j(n_0,t_{0m})}}+ \int_{\mathbf o_\sigma}{\sum_{j=1}^{l-1}\check{\ell}_j\omega_j}= \\ &=2\pi i(n-n_0)\mathcal A_{\sigma}^{(3)}-2\pi i(t_m-t_{0m})\int_{\mathbf o_\sigma}\widehat{\mho}_m^{(2)}+{} \\ &\quad +2\pi i\sum_{j=1}^{l-1}\int_{\tilde\mu_j(n_0,t_{0m})}^{\tilde\mu_j(n,t_m)}{\omega_\sigma}+ 2\pi i\sum_{j=1}^{l-1}\mathcal B_j\int_{\mathbf o_\sigma}\omega_j= \\ &=2\pi i(n-n_0)\mathcal A_{\sigma}^{(3)}-2\pi i(t_m-t_{0m})\widehat{\mathcal A}_{m,\sigma}^{(2)}+{} \\ &\quad +2\pi i\biggl(\,\sum_{j=1}^{l-1}\int_{Q_0}^{\tilde\mu_j(n,t_m)}\omega_\sigma- \sum_{j=1}^{l-1}\int_{Q_0}^{\tilde\mu_j(n_0,t_{0m})}\omega_\sigma\biggr)+ 2\pi i\sum_{j=1}^{l-1}\mathcal B_j\tau_{j,\sigma}, \end{aligned}
\end{equation*}
\notag
$$
следовательно,
$$
\begin{equation}
\underline {\mathcal{C}}=(n-n_0) \underline {\mathcal A}^{(3)}-(t_m-t_{0m}) \underline {\widehat{\mathcal A}}_m^{(2)}+ \sum_{j=1}^{l-1}\int_{Q_0}^{\tilde\mu_j(n,t_m)}\!\! \underline {\omega}- \sum_{j=1}^{l-1}\int_{Q_0}^{\tilde\mu_j(n_0,t_{0m})}\!\! \underline {\omega}+ \underline {\mathcal B}\tau,
\end{equation}
\tag{5.21}
$$
где $ \underline {\mathcal{C}}=(\mathcal{C}_1,\ldots,\mathcal{C}_{l-1})\in\mathbb{Z}^{l-1}$ и $ \underline {\mathcal B}=(\mathcal B_1,\ldots,\mathcal B_{l-1})\in\mathbb{Z}^{l-1}$. В силу того, что (5.21) эквивалентно (5.20), имеем равенство (5.20). Из теоремы 4 получаем
$$
\begin{equation}
\begin{aligned} \, \theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}(n,t_m)}))&=\theta( \underline {\widehat{\mathcal B}}_0+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m), \\ \theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n,t_m)}))&=\theta( \underline {\widehat{\mathcal B}}_1+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m), \\ \theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{++}(n,t_m)}))&=\theta( \underline {\widehat{\mathcal B}}_2+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m), \\ \theta( \underline {z}(u_{\infty''},{ \underline {\mu}}(n,t_m)))&=\theta( \underline {\widehat{\mathcal B}}'_{0}+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m), \\ \theta( \underline {z}(u_{\infty''},{ \underline {\mu}}^{+}(n,t_m)))&=\theta( \underline {\widehat{\mathcal B}}'_1+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m), \\ \theta( \underline {z}(u_{\infty''},{ \underline {\mu}}^{++}(n,t_m)))&=\theta( \underline {\widehat{\mathcal B}}'_2+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m), \end{aligned}
\end{equation}
\tag{5.22}
$$
где
$$
\begin{equation*}
\begin{gathered} \, \begin{alignedat}{5} \underline {\widehat{\mathcal B}}_0&= \underline {\widehat{\mathcal S}}- \underline {\mathcal A}^{(3)}, &\qquad \underline {\widehat{\mathcal B}}'_0&= \underline {\widehat{\mathcal S}}'- \underline {\mathcal A}^{(3)}, &\qquad \underline {\widehat{\mathcal B}}_1&= \underline {\widehat{\mathcal S}}+ \underline {\mathcal A}^{(3)}, \\ \underline {\widehat{\mathcal B}}'_1&= \underline {\widehat{\mathcal S}}'+ \underline {\mathcal A}^{(3)}, &\qquad \underline {\widehat{\mathcal B}}_2&= \underline {\widehat{\mathcal S}}+2 \underline {\mathcal A}^{(3)}, &\qquad \underline {\widehat{\mathcal B}}'_2&= \underline {\widehat{\mathcal S}}'+2 \underline {\mathcal A}^{(3)}, \end{alignedat} \\ \begin{aligned} \, \underline {\widehat{\mathcal S}}&= \underline {\Lambda}- \underline {\mathbb{O}}(u_{\infty'})+ \underline {\rho}(n_0,t_{0m})- \underline {\mathcal A}^{(3)}n_0- \underline {\mathcal A}_m^{(2)}t_{0m}, \\ \underline {\widehat{\mathcal S}}'&= \underline {\Lambda}- \underline {\mathbb{O}}(u_{\infty''})+ \underline {\rho}(n_0,t_{0m})- \underline {\mathcal A}^{(3)}n_0- \underline {\mathcal A}_m^{(2)}t_{0m}. \end{aligned} \end{gathered}
\end{equation*}
\notag
$$
Теорема 5. Пусть $(n,t_m)\in\mathbb{Z}\times\mathbb{R}$ и $\mathcal D_{\tilde{ \underline {\mu}}(n,t_m)}$ – неспециальный дивизор, тогда
$$
\begin{equation}
\begin{aligned} \, q(n,t_m)&=-\,\omega_{0}^{\infty''}- \sum_{j=1}^{l-1}\biggl(\frac{1}{3\beta_0}\mathbb{Q}_{j,l-1}+\frac{1}{\alpha_0\beta_0}\mathbb{Q}_{j,2p-1}\biggr) \frac{\partial}{\partial_{zj}} \ln\frac{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{++}(n,t_m)}))}{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n,t_m)}))}-{} \notag\\ &\quad\; -\frac{\theta( \underline {z}(u_{\infty'},\tilde{ \underline {\mu}}(n,t_m)))\theta( \underline {z}(u_{\infty'},{ \underline {\mu}}^{++}(n,t_m)))} {\theta( \underline {z}(u_{\infty''},\tilde{ \underline {\mu}}^{++}(n,t_m)))\theta( \underline {z}(u_{\infty'},\tilde{ \underline {\mu}}^{+}(n,t_m)))}\exp(\ell_1(Q_0)-\ell_2(Q_0)), \notag\\ r(n,t_m)&=-\,\omega_{0}^{\infty'}{+}\, \sum_{j=1}^{l-1}\biggl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha^2}\mathbb{Q}_{j,2p-1}\!\biggr) \frac{\partial}{\partial_{z_j}} \ln\frac{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n,t_m)}))}{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}(n,t_m)}))}, \\ \frac{s(n,t_m)}{s^{-}(n,t_m)}&=\omega_{0}^{\infty'}- \sum_{j=1}^{l-1}\biggl(\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha^2}\mathbb{Q}_{j,2p-1}\biggr) \frac{\partial}{\partial_{z_j}} \ln\frac{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}^{+}(n,t_m)}))}{\theta( \underline {z}(u_{\infty'},{ \underline {\tilde\mu}(n,t_m)}))}, \notag\\ v(n,t_m)&= -\frac{\theta( \underline {z}(u_{\infty''},{ \underline {\mu}}(n,t_m)))\theta( \underline {z}(u_{\infty'},{ \underline {\mu}}^{+}(n,t_m)))} {\theta( \underline {z}(u_{\infty'},\tilde{ \underline {\mu}}(n,t_m)))^2}\exp(\ell_1(Q_0)-\ell_2(Q_0)). \notag \end{aligned}
\end{equation}
\tag{5.23}
$$
Комбинируя результаты (5.20) и (5.23), заключаем, что представления через тета-функции Римана для $q(n,t_m)$, $r(n,t_m)$, $s(n,t_m)$ и $v(n,t_m)$ обладают примечательной линейностью в окрестности точки $(n,t_m)\in\mathbb{Z}\times\mathbb{R}$. Тогда выражения (5.23) можно записать в виде
$$
\begin{equation}
\begin{aligned} \, q(n,t_m)&=-\,\omega_{0}^{\infty''}+ \sum_{j=1}^{l-1}\mathbb{K}_{j,0}^{(\infty'')} \frac{\partial}{\partial_{z_j}} \ln\frac{\theta( \underline {\widehat{\mathcal B}}_2+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)} {\theta( \underline {\widehat{\mathcal B}}_1+ \underline {A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)}-{} \notag\\ &\quad\, -\frac{\theta( \underline {\widehat{\mathcal B}}_0+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)\theta( \underline {\widehat{\mathcal B}}_2+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)} {\theta( \underline {\widehat{\mathcal B}}'_2+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)\theta( \underline {\widehat{\mathcal B}}_1+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)} \exp(\ell_1(Q_0)-\ell_2(Q_0)), \notag\\ r(n,t_m)&=-\,\omega_{0}^{\infty'}+ \sum_{j=1}^{l-1}\mathbb{K}_{j,0}^{(\infty')} \frac{\partial}{\partial_{z_j}} \ln\frac{\theta( \underline {\widehat{\mathcal B}}_1+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)} {\theta( \underline {\widehat{\mathcal B}}_0+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)}, \\ \frac{s(n,t_m)}{s^{-}(n,t_m)}&=\omega_{0}^{\infty'}- \sum_{j=1}^{l-1}\mathbb{K}_{j,0}^{(\infty')} \frac{\partial}{\partial_{z_j}} \ln\frac{\theta( \underline {\widehat{\mathcal B}}_1+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)} {\theta( \underline {\widehat{\mathcal B}}_0+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)}, \notag\\ v(n,t_m)&=-\frac{\theta( \underline {\widehat{\mathcal B}}'_{0}+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)\theta( \underline {\widehat{\mathcal B}}_1+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)} {\theta( \underline {\widehat{\mathcal B}}_0+ \underline {\mathcal A}^{(3)}n+ \underline {\widehat{\mathcal A}}_m^{(2)}t_m)^2} \exp(\ell_1(Q_0)-\ell_2(Q_0)). \notag \end{aligned}
\end{equation}
\tag{5.24}
$$
Таким образом, алгебро-геометрические решения дискретной иерархии обобщенной цепочки Тоды (1.3) задаются формулами (5.23) и (5.24). Чтобы вид алгебро-геометрических решений стал более отчетливым, рассмотрим простой пример представления через тета-функции Римана при $p=1$. Тогда род кривой $\mathcal K_2$ равен 2. Прямыми вычислениями получаем следующие результаты:
$$
\begin{equation*}
\begin{alignedat}{5} \Gamma_{11}^{(1)}&=\alpha_0+\beta_0+\alpha_1-\beta_1,&\qquad \Gamma_{12}^{(1)}&=(3\beta_0-2\alpha_0)q^{-},&\qquad \Gamma_{13}^{(1)}&=-\alpha_0sq, \\ \Gamma_{21}^{(1)}&=(3\beta_0-2\alpha_0)v,&\qquad \Gamma_{22}^{(1)}&=\beta_0-\alpha_1+2\beta_1,&\qquad \Gamma_{23}^{(1)}&=(3\beta_0-\alpha_0)s, \\ \Gamma_{31}^{(1)}&=(2\alpha_0-3\beta_0)\frac{v^{-}}{s^{-}q^{-}},&\qquad \Gamma_{32}^{(1)}&=(\alpha_0-3\beta_0)\frac{1}{s^{-}},&\qquad -\Gamma_{11}^{(1)}&{}-\Gamma_{22}^{(1)}=-\alpha_0-\beta_0-\beta_1. \end{alignedat}
\end{equation*}
\notag
$$
Тогда тригональная кривая $\digamma_3(\lambda,f)=0$ степени $l=3$ (при $\alpha_0\beta_0\neq 0$) задается как
$$
\begin{equation*}
\mathcal K_2\colon\, \digamma_3(\lambda ,f)=f^3-f^2X_3(\lambda)+fY_3(\lambda)-Z_3(\lambda)=0,
\end{equation*}
\notag
$$
где
$$
\begin{equation*}
\begin{aligned} \, X_3(\lambda)&=0, \\ Y_3(\lambda)&=(-{\alpha_0}^2+\alpha_0\beta_0-3{\beta_0}^2){\lambda}^2+\imath_1\lambda-({a_2}^2+a_2c_2+{c_2}^2), \\ Z_3(\lambda)&=({\alpha_0}^2\beta_0-3\alpha_0{\beta_0}^2+2{\beta_0}^3)\lambda^3+\imath_2\lambda^2+\imath_3\lambda-({a_2}^2c_2+a_2{c_2}^2), \end{aligned}
\end{equation*}
\notag
$$
а $\imath_1$, $\imath_2$ и $\imath_3$ – произвольные постоянные. При этом полиномы $F_2$ и $E_2$ имеют вид
$$
\begin{equation*}
\begin{aligned} \, F_2(\lambda,n,t_m)&=(3\beta_0-\alpha_0)(\lambda-\mu_1(n))(\lambda-\mu_2(n)), \\ E_2(\lambda,n,t_m)&=(\alpha_0-3\beta_0)(\lambda-\mu_1^{+}(n))(\lambda-\mu_2^{+}(n)). \end{aligned}
\end{equation*}
\notag
$$
Отсюда мы получаем представления через тета-функции Римана для потенциалов в случае кривой второго рода:
$$
\begin{equation*}
\begin{aligned} \, q(n,t_m)&=-\,\omega_{0}^{\infty''}+ \sum_{j=1}^2\mathbb{K}_{j,0}^{(\infty'')} \frac{\partial}{\partial_{z_j}} \ln\frac{\theta(\widehat{\mathcal B}_2+\mathcal A_2^{(3)}n+\widehat{\mathcal A}_{m,2}^{(2)}t_m)}{\theta(\widehat{\mathcal B}_1+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)}-{} \\ &\quad\, -\frac{\theta(\widehat{\mathcal B}_0+\mathcal A_2^{(3)}n+\widehat{\mathcal A}_{m,2}^{(2)}t_m)\theta(\widehat{\mathcal B}_2+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)} {\theta(\widehat{\mathcal B}'_2+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)\theta(\widehat{\mathcal B}_1+ \mathcal A_2^{(3)}n+\widehat{\mathcal A}_m^{(2)}t_m)} \exp(\ell_1(Q_0)-\ell_2(Q_0)), \\ r(n,t_m)&=-\,\omega_{0}^{\infty'}+ \sum_{j=1}^2\mathbb{K}_{j,0}^{(\infty')} \frac{\partial}{\partial_{z_j}} \ln\frac{\theta(\widehat{\mathcal B}_1+\mathcal A_2^{(3)}n+\widehat{\mathcal A}_{m,2}^{(2)}t_m)}{\theta(\widehat{\mathcal B}_0+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)}, \\ \frac{s(n,t_m)}{s^{-}(n,t_m)}&=\omega_{0}^{\infty'}- \sum_{j=1}^2\mathbb{K}_{j,0}^{(\infty')} \frac{\partial}{\partial_{z_j}} \ln\frac{\theta(\widehat{\mathcal B}_1+\mathcal A_2^{(3)}n+\widehat{\mathcal A}_{m,2}^{(2)}t_m)} {\theta(\widehat{\mathcal B}_0+\mathcal A^{(3)}n+\widehat{\mathcal A}_{m,2}^{(2)}t_m)},\ \\ v(n,t_m)&=-\frac{\theta(\widehat{\mathcal B}'_{0}+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)\theta(\widehat{\mathcal B}_1+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)} {\theta(\widehat{\mathcal B}_0+\mathcal A_2^{(3)}n+ \widehat{\mathcal A}_{m,2}^{(2)}t_m)^2} \exp(\ell_1(Q_0)-\ell_2(Q_0)), \end{aligned}
\end{equation*}
\notag
$$
где
$$
\begin{equation*}
\begin{gathered} \, \theta(z)=\sum_{\mathcal F_1\in\mathbb{Z}}\exp\{2\pi i\mathcal F_1 z+\pi i\tau_{11}\mathcal F_{1}^2\}, \\ \begin{alignedat}{5} \widehat{\mathcal B}_0&=\widehat{\mathcal S}-\mathcal A_2^{(3)},&\qquad \widehat{\mathcal B}'_0&=\widehat{\mathcal S}'-\mathcal A_2^{(3)},&\qquad \widehat{\mathcal B}_1&=\widehat{\mathcal S}+\mathcal A_2^{(3)}, \\ \widehat{\mathcal B}'_1&=\widehat{\mathcal S}'+\mathcal A_2^{(3)},&\qquad \widehat{\mathcal B}_2&=\widehat{\mathcal S}+2\mathcal A_2^{(3)},&\quad \widehat{\mathcal B}'_2&=\widehat{\mathcal S}'+2\mathcal A_2^{(3)}, \end{alignedat} \\ \begin{aligned} \, \widehat{\mathcal S}&=\Lambda_2-\mathbb{O}_2(u_{\infty'})+\rho_2(n_0,t_{0m})-\mathcal A_2^{(3)}n_0-\widehat{\mathcal A}_{m,2}^{(2)}t_{0m}, \\ \widehat{\mathcal S}'&=\Lambda_2-\mathbb{O}_2(u_{\infty''})+\rho_2(n_0,t_{0m})-\mathcal A_2^{(3)}n_0-\widehat{\mathcal A}_{r,2}^{(2)}t_{0m}, \end{aligned} \\ \mathbb{K}_{j,0}^{(\infty')}=\frac{2}{3\alpha_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha^2}\mathbb{Q}_{j,2p-1},\qquad \mathbb{K}_{j,0}^{(\infty'')}=-\frac{1}{3\beta_0}\mathbb{Q}_{j,l-1}-\frac{1}{\alpha_0\beta_0}\mathbb{Q}_{j,2p-1}. \end{gathered}
\end{equation*}
\notag
$$
Эти формулы задают алгебро-геометрические решения дискретной иерархии обобщенной цепочки Тоды (1.3) в случае, когда род кривой равен 2.
6. Заключительные замечания В представленной статье мы нашли алгебро-геометрические решения иерархии обобщенной цепочки Тоды. Сначала мы получили эту иерархию с помощью уравнения нулевой кривизны, а затем ввели функции $\Xi$ и $\Theta$ на тригональной кривой. На основе дифференциала Абеля мы построили представления через тета-функции Римана для потенциалов в стационарном и нестационарном случаях и далее получили решения иерархии. К настоящему времени исследование тригональных кривых привлекает всё большее внимание, и применение этих методов становится всё более и более распространенным. Представляют интерес алгебро-геометрические решения солитонных уравнений четвертого порядка, и это то, что мы собираемся рассмотреть в дальнейшем. Не менее важно и то, что наряду с алгебро-геометрическими решениями заслуживают глубокого изучения солитонные решения, такие как решения типа лампа или бризеры. Благодарности Авторы выражают свою глубокую благодарность профессору Сянь-Го Гэну за любезную помощь и конструктивные предложения. Конфликт интересов Авторы заявляют, что у них нет конфликта интересов.
|
|
|
Список литературы
|
|
|
1. |
M. Toda, “Vibration of a chain with a nonlinear interaction”, J. Phys. Soc. Japan, 22:2 (1967), 431–436 |
2. |
M. Toda, Nonlinear Waves and Solitons, Mathematics and its Applications (Japanese Series), 5, Kluwer, Dordrecht, 1989 |
3. |
M. Toda, Theory of Nonlinear Lattices, Springer Series in Solid-State Sciences, 20, Springer, Berlin, Heidelberg, 2012 |
4. |
H. Flaschka, “On the Toda lattice. II. Inverse-scattering solution”, Progr. Theor. Phys., 51:3 (1974), 703–716 |
5. |
A. Bloch, Hamiltonian and Gradient Flows, Algorithms, and Control, AMS, Providence, RI, 1994 |
6. |
V. Muto, A. C. Scott, P. L. Christiansen, “Thermally generated solitons in a Toda lattice model of DNA”, Phys. Lett. A, 136:1–2 (1989), 33–36 |
7. |
M. J. Ablowitz, J. F. Ladik, “Nonlinear differential-difference equations”, J. Math. Phys., 16:3 (1975), 598–603 |
8. |
T. Takebe, “Toda lattice hierarchy and conservation laws”, Commun. Math. Phys., 129:2 (1990), 281–318 |
9. |
D.-J. Zhang, “Conservation laws of the two-dimensional Toda lattice hierarchy”, J. Phys. Soc. Japan, 71:11 (2002), 2583–2586 |
10. |
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. |
11. |
R.-G. Zhou, Q.-Y. Jiang, “A Darboux transformation and an exact solution for the relativistic Toda lattice equation”, J. Phys. A: Math. Gen., 38:35 (2005), 7735–7742 |
12. |
C.-Z. Li, J.-S. He, “The extended multi-component Toda hierarchy”, Math. Phys. Anal. Geom., 17:3–4 (2014), 377–407 |
13. |
А. Р. Итс, В. Б. Матвеев, “Об операторах Хилла с конечным числом лакун”, Функц. анализ и его прил., 9:1 (1975), 69–70 |
14. |
И. М. Кричевер, “Алгебро-геометрическое построение уравнений Захарова–Шабата и их периодических решений”, Докл. АН СССР, 227:2 (1976), 291–294 |
15. |
В. Е. Захаров, С. В. Манаков, С. П. Новиков, Л. П. Питаевский, Теория солитонов. Метод обратной задачи, Наука, М., 1980 |
16. |
W. Bulla, F. Gesztesy, H. Holden, G. Teschl, “Algebro-geometric quasi-periodic finite-gap solutions of the Toda and Kac–van Moerbeke hierarchies”, Mem. Amer. Math. Soc., 135:641 (1998), 1–79 |
17. |
C.-W. Cao, X.-G. Geng, H.-Y. Wang, “Algebro-geometric solution of the $2+1$ dimensional Burgers equation with a discrete variable”, J. Math. Phys., 43:1 (2002), 621–643 |
18. |
X.-G. Geng, Y.-T. Wu, “Finite-band solutions of the classical Boussinesq–Burgers equations”, J. Math. Phys., 40:6 (1999), 2971–2982 |
19. |
Q.-L. Zhao, C.-X. Li, X.-Y. Li, “Algebro-geometric constructions of a hierarchy of integrable semi-discrete equations”, J. Nonlinear Math. Phys., 2022, Publ. online |
20. |
L. Luo, E.-G. Fan, “Variable separation and algebraic-geometric solutions of modified Toda lattice equation”, Modern Phys. Lett. B., 24:19 (2010), 2041–2055 |
21. |
X.-G. Geng, D. Gong, “Quasi-periodic solutions of the relativistic Toda hierarchy”, J. Nonlinear Math. Phys., 19:4 (2012), 489–523 |
22. |
H. Airault, H. P. McKean, J. Moser, “Rational and elliptic solutions of the Korteweg–de Vries equation and a related many-body problem”, Commun. Pure Appl. Math., 30:1 (1977), 95–148 |
23. |
J. N. Elgin, V. Z. Enolski, A. R.Its, “Effective integration of the nonlinear vector Schrödinger equation”, Phys. D, 225:2 (2007), 127–152 |
24. |
R. Dickson, F. Gesztesy, K. Unterkofler, “A new approach to the Boussinesq hierarchy”, Math. Nachr., 198:1 (1999), 51–108 |
25. |
X.-G. Geng, L.-H. Wu, G.-L. He, “Algebro-geometric constructions of the modified Boussinesq flows and quasi-periodic solutions”, Phys. D, 240:16 (2011), 1262–1288 |
26. |
X.-G. Geng, L.-H. Wu, G.-L. He, “Quasi-periodic solutions of the Kaup–Kupershmidt hierarchy”, J. Nonlinear Sci., 23:4 (2013), 527–555 |
27. |
J. Wei, X.-G. Geng, X. Zeng, “Quasi-periodic solutions to the hierarchy of four-component Toda lattices”, J. Geom. Phys., 106 (2016), 26–41 |
28. |
X. Zeng, X.-G. Geng, “Finite-band solutions for the hierarchy of coupled Toda lattices”, Acta Appl. Math., 154:1 (2018), 59–81 |
29. |
L.-L. Ma, X.-X. Xu, “A family of discrete Hamiltonian equations associated with a discrete three-by-three matrix spectral problem”, Internat. J. Modern Phys. B, 23:19 (2009), 3859–3869 |
Образец цитирования:
Цю-Лань Чжао, Цай-Сюэ Ли, Синь-Юэ Ли, “Применение тригональной кривой к иерархии обобщенной цепочки Тоды”, ТМФ, 215:1 (2023), 47–73; Theoret. and Math. Phys., 215:1 (2023), 495–519
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tmf10388https://doi.org/10.4213/tmf10388 https://www.mathnet.ru/rus/tmf/v215/i1/p47
|
Статистика просмотров: |
Страница аннотации: | 120 | PDF полного текста: | 16 | HTML русской версии: | 70 | Список литературы: | 19 | Первая страница: | 1 |
|