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

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

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



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






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


Теоретическая и математическая физика, 2024, том 220, номер 1, страницы 191–209
DOI: https://doi.org/10.4213/tmf10651
(Mi tmf10651)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О конечнозонных решениях вещественного модифицированного уравнения Кортевега–де Фриза

А. О. Смирнов, И. В. Анисимов

Санкт-Петербургский государственный университет аэрокосмического приборостроения, Санкт-Петербург, Россия
Список литературы:
Аннотация: Рассмотрены методы построения конечнозонных решений вещественного классического модифицированного уравнения Кортевега–де Фриза и эллиптических конечнозонных потенциалов оператора Дирака. Оба метода используют преобразование Миуры, связывающее решения уравнения Кортевега–де Фриза и модифицированного уравнения Кортевега–де Фриза. Приведены примеры.
Ключевые слова: уравнение КдФ, уравнение мКдФ, преобразование Миуры, спектральная кривая, конечнозонное решение.
Финансовая поддержка Номер гранта
Российский научный фонд 22-11-00196
Работа выполнена при финансовой поддержке Российского фонда научных исследований, грант № 22-11-00196 (https://rscf.ru/project/22-11-00196/).
Поступило в редакцию: 05.12.2023
После доработки: 05.12.2023
Дата публикации: 30.06.2024
Англоязычная версия:
Theoretical and Mathematical Physics, 2024, Volume 220, Issue 1, Pages 1224–1240
DOI: https://doi.org/10.1134/S0040577924070122
Реферативные базы данных:
Тип публикации: Статья

1. Введение

До настоящего времени, насколько известно авторам, отсутствуют формулы конечнозонных решений вещественного классического модифицированного уравнения Кортевега–де Фриза (уравнение мКдФ) и высших уравнений мКдФ, а также отсутствует метод, позволяющий строить конкретные эллиптические конечнозонные потенциалы оператора Дирака. В тех работах, которые известны авторам и которые посвящены вешественным решениям классического уравнения мКдФ, не рассматриваются спектральные кривые, функция Бейкера–Ахиезера и конечнозонные решения. В связи с этим авторы решили, используя метод матрицы монодромии (см., например, [1], [2]), исследовать спектральные кривые конечнозонных решений уравнения мКдФ и их связь со спектральными кривыми конечнозонных решений уравнений Кортевега–де Фриза (КдФ). Существование этой связи вытекает из преобразования Миуры между решениями уравнений КдФ и мКдФ (см., например, [3]). Далее, используя связь между кривыми, мы планировали более детально изучить эволюцию конечнозонных решений уравнений мКдФ и вид конечнозонных эллиптических потенциалов оператора Дирака. На этом пути удалось достичь большого прогресса и получить интересные результаты.

Работа имеет следующую структуру. В разделе 2 мы кратко напоминаем необходимые сведения из теории конечнозонных решений уравнения КдФ. Раздел 3 посвящен методу построения уравнений из иерархии мКдФ и их простейших решений. Также в этом разделе приводятся простейшие решения уравнений мКдФ и соответствующие этим решениям спектральные кривые. В разделе 4 мы напоминаем преобразование Миуры, связывающее решения уравнений мКдФ и КдФ, и показываем, что это преобразование также связывает между собой решения всех уравнений из обеих иерархий. В заключение раздела 4 мы приводим формулы, описывающие отображения между спектральными кривыми простейших решений уравнений мКдФ и КдФ. Оказывается, что данные формулы зависят от четности рода спектральной кривой конечнозонного решения уравнения мКдФ. Раздел 5 посвящен выводу формулы конечнозонного решения уравнений из иерархии уравнения мКдФ. Заметим, что для построения этого решения использовалась спектральная кривая конечнозонного решения уравнения КдФ и преобразование Миуры. Поэтому полученная в настоящей работе формула сильно отличается от формул конечнозонных решений уравнений из иерархии Абловица–Каупа–Ньюэлла–Сигура [4], [5]. В разделе 6 мы приводим метод построения широкого класса конечнозонных эллиптических потенциалов оператора Дирака. Этот метод позволяет по каждому эллиптическому $g$-зонному потенциалу оператора Шредингера построить $2g+1$ эллиптический $(2g-1)$-зонный потенциал оператора Дирака. Полученные в работе результаты хорошо согласованы с утверждениями работы [6], но при этом позволяют получать конкретные выражения для эллиптических потенциалов. Рассмотренные примеры показали, что этот метод легко алгоритмизировать в случае потенциалов Дарбу–Трейбича–Вердье, используя алгоритм построения спектральных кривых эллиптических конечнозонных потенциалов, описанный в работе [7]. В разделе 7 мы обсуждаем дальнейшие исследования, которые можно провести, используя результаты настоящей работы.

2. Краткие сведения из теории конечнозонных решений уравнения КдФ

В данном разделе мы приведем необходимые хорошо известные сведения про конечнозонные решения уравнения КдФ (см., например, [5], [8]–[12])

$$ \begin{equation} u_t=u_{xxx}-6uu_x. \end{equation} \tag{1} $$
Уравнение КдФ является условием совместности двух скалярных линейных дифференциальных операторов, одним из которых является оператор Шредингера
$$ \begin{equation} -\psi_{xx}+u\psi=E\psi. \end{equation} \tag{2} $$
Произведение $\Psi(x,E)=\psi_1\psi_2$ двух любых решений уравнения (2) удовлетворяет уравнению Аппеля [13], [14]
$$ \begin{equation} \Psi_{xxx}+4(E-u)\Psi_x-2u_x\Psi=0. \end{equation} \tag{3} $$
В случае $g$-зонного потенциала произведение $\Psi(x,E)$ является многочленом степени $g$ от спектрального параметра $E$:
$$ \begin{equation} \Psi(x,E)=E^g+\sum_{j=1}^{g}\gamma_j(x)E^{g-j}. \end{equation} \tag{4} $$
Из уравнения Аппеля (3) вытекают рекуррентные соотношения на коэффициенты многочлена (4)
$$ \begin{equation*} \begin{aligned} \, \gamma_1'=\frac12 u_x,\qquad \gamma_{k+1}'=\frac12 u_x\gamma_k+u\gamma_k'-\frac14 \gamma_k''' \end{aligned} \end{equation*} \notag $$
и стационарное уравнение
$$ \begin{equation*} \gamma_g'''-4u\gamma_g'-2u_x\gamma_g=0. \end{equation*} \notag $$

Интегрируя рекуррентные соотношения, получаем

$$ \begin{equation*} \gamma_n=2^{-2n+1}I_n+\sum_{j=1}^n\tilde{c}_{j}2^{-2(n-j)+1}I_{n-j}, \end{equation*} \notag $$
где $\tilde{c}_j$ – постоянные интегрирования,
$$ \begin{equation*} I_0=\frac12,\qquad I_1=u,\qquad I_2=3u^2-u_{xx},\qquad I_3=u_{xxxx}-10uu_{xx}-5u_x^2+10u^3. \end{equation*} \notag $$
В частности,
$$ \begin{equation*} \begin{aligned} \, \gamma_1=\frac12 u+\tilde{c}_1,\qquad \gamma_2=\frac18 (3u^2-u_{xx})+\frac12 \tilde{c}_1 u+\tilde{c}_2. \end{aligned} \end{equation*} \notag $$
В этих обозначениях стационарное и эволюционные уравнения из иерархии уравнения КдФ имеют вид
$$ \begin{equation*} I_n+\sum_{j=1}^{n}c_jI_{n-j}=0 \end{equation*} \notag $$
и
$$ \begin{equation} \partial_{t_j}u=\partial_x I_{j+1}. \end{equation} \tag{5} $$
Переходя в эволюционных уравнениях (5) от $I_j$ к $u$, получаем хорошо известные уравнения из иерархии КдФ:
$$ \begin{equation*} \begin{aligned} \, \partial_{t_1}u&=6uu_x-u_{xxx},\\ \partial_{t_2}u&=u_{xxxxx}-10uu_{xxx}-20u_xu_{xx}+30u^2u_x \end{aligned} \end{equation*} \notag $$
и т. д.

Зная произведение решений $\Psi$, мы можем найти сами решения уравнения (2) по формуле

$$ \begin{equation} \psi_{1,2}(x,E)=\sqrt{\Psi(x,E)}\exp\biggl\{\pm i w(E)\int\frac{dx}{\Psi(x,E)}\biggr\}, \end{equation} \tag{6} $$
где $w(E)$ – вронскиан решений $\psi_1$ и $\psi_2$. Подставляя (6) в (2) и упрощая, получаем следующее уравнение, которому удовлетворяет вронскиан $w(E)$:
$$ \begin{equation} w^2(E)=(E-u)\Psi^2+\frac12 \Psi\Psi_{xx}-\frac14 (\Psi_x)^2, \end{equation} \tag{7} $$
или
$$ \begin{equation} w^2(E)=E^{2g+1}+2\tilde{c}_1 E^{2g}+ (\tilde{c}_1^2+2\tilde{c}_2)E^{2g-1} +\sum_{k=2}^{2g}\widehat{c}_k E^{2g-k}. \end{equation} \tag{8} $$
Отметим, что уравнение (8) является уравнением спектральной кривой конечнозонного решения уравнения КдФ.

3. Метод матрицы монодромии для уравнения мКдФ

Рассмотрим следующий матричный линейный дифференциальный оператор (см., например, [3]):

$$ \begin{equation} \Phi_x=U\Phi, \end{equation} \tag{9} $$
где
$$ \begin{equation*} U=\lambda J+Q,\qquad J=\begin{pmatrix} -i &0 \\ \hphantom{-}0 & i \end{pmatrix},\qquad Q=\begin{pmatrix} 0 & v(x) \\ v(x) & 0 \end{pmatrix}, \end{equation*} \notag $$
$\Phi=(\phi_1,\phi_2)^\mathrm{t}$, $i^2=-1$, $v(x)\in\mathbb{R}$.

Предположим, что существует матрица монодромии $M$ такая, что матричная функция $\widehat\Phi =M\Phi$ также является решением уравнения (9). Тогда матрица $M$ удовлетворяет уравнению

$$ \begin{equation} M_{x}+MU-UM=\mathbf{0}. \end{equation} \tag{10} $$
В случае конечнозонных матричных потенциалов $Q$ матрица монодромии $M$ является многочленом по спектральному параметру $\lambda$ (см., например, [1]),
$$ \begin{equation} M=\sum_{j=0}^N m_j(x)\lambda^j. \end{equation} \tag{11} $$
Из уравнений (10) и (11) вытекает следующая структура матрицы $M$:
$$ \begin{equation} M=V_n+\sum_{k=1}^{n-1}c_kV_{n-k}+c_nU+c_{n+1}J, \end{equation} \tag{12} $$
где
$$ \begin{equation*} \begin{gathered} \, V_1=\lambda U + V_1^{0},\qquad V_{k+1}=\lambda V_k +V_{k+1}^0,\qquad k\geqslant1,\\ V_{k}^0=\begin{pmatrix} F_k & \hphantom{-}H_k \\ G_k & -F_k \end{pmatrix}. \end{gathered} \end{equation*} \notag $$

Также следствием уравнения (10) являются рекуррентные соотношения на элементы матриц $V_k^0$:

$$ \begin{equation} \begin{gathered} \, \begin{gathered} \, H_1=\frac{i}{2}v_x,\qquad G_1=-\frac{i}{2}v_x,\\ \begin{aligned} \, \partial_x F_k&=(G_k-H_k)v,\\ H_{k+1}&=\frac{i}{2}\partial_xH_k+ivF_{k},\\ G_{k+1}&=-\frac{i}{2}\partial_xG_k+ivF_{k}. \end{aligned} \end{gathered} \end{gathered} \end{equation} \tag{13} $$
Из этих уравнений нетрудно получить соотношения вещественности
$$ \begin{equation} \begin{gathered} \, G_{2k-1}=H^\ast_{2k-1}=-H_{2k-1},\\ G_{2k}=H^\ast_{2k}=H_{2k},\\ F_{2k-1}\in i\mathbb{R},\qquad F_{2k}=0,\\ H_{2k+1}=\frac{i}{2}\partial_xH_{2k} \end{gathered} \end{equation} \tag{14} $$
и выражения для первых элементов
$$ \begin{equation*} \begin{aligned} \, F_1&=-\frac{i}{2}v^2,\\ H_2&=G_2=\frac12 v^3-\frac14 v_{xx},\\ H_3&=-G_3=\frac{3i}{4}v^2v_x-\frac{i}{8}v_{xxx},\\ F_3&=-\frac{3i}{8}v^4-\frac{i}{8}v_x^2+\frac{i}{4}vv_{xx},\\ H_4&=G_4=\frac38 v^5-\frac58 vv_x^2-\frac58 v^2v_{xx}+\frac{1}{16}v_{xxxx}. \end{aligned} \end{equation*} \notag $$

Из уравнения (10) также вытекают стационарные уравнения, которым удовлетворяют элементы конечнозонных матричных потенциалов:

$$ \begin{equation*} \begin{aligned} \, H_{n+1}+\sum_{j=1}^{n}c_jH_{n+1-j}+c_{n+1}v&=0,\\ G_{n+1}+\sum_{j=1}^{n}c_{j}G_{n+1-j}+c_{n+1}v&=0. \end{aligned} \end{equation*} \notag $$
Поскольку $G_k=H_k^\ast$, то все постоянные $c_j$ с нечетными индксами $j$ равны нулю ($c_{2k-1}=0$). Соответственно, остается только одно стационарное уравнение, которое имеет следующий вид:
$$ \begin{equation} \begin{alignedat}{2} &H_{n+1}+\sum_{j=1}^{(n+1)/2} c_{2j}H_{n+1-2j}+c_{n+1}v=0 &\qquad &\text{при нечетных}\,\, n,\\ &H_{n+1}+\sum_{j=1}^{n/2} c_{2j}H_{n+1-2j}=0 &\qquad &\text{при четных}\,\, n. \end{alignedat} \end{equation} \tag{15} $$

Пусть второй оператор пары Лакса имеет вид

$$ \begin{equation} \Phi_{t_k}=2^{2k}V_{2k}\Phi. \end{equation} \tag{16} $$
Тогда из условия совместности операторов (9) и (16) вытекают следующие эволюционные уравнения:
$$ \begin{equation*} \partial_{t_k}v=2^{2k}\partial_x H_{2k}=2^{2k}\partial_x G_{2k}. \end{equation*} \notag $$
Первые из этих уравнений имеют вид
$$ \begin{equation*} \begin{aligned} \, \partial_{t_1}v&=6v^2v_x-v_{xxx},\\ \partial_{t_2}u&=30v^4v_x-10v_x^3-40vv_xv_{xx}-10v^2v_{xxx}+v_{xxxxx}. \end{aligned} \end{equation*} \notag $$
Нетрудно видеть, что первым уравнением из данной иерархии является уравнение мКдФ.

Уравнением спектральной кривой конечнозонного матричного потенциала $Q$ является характеристическое уравнение матрицы $M$

$$ \begin{equation*} \mathcal{R}(\mu,\lambda)=\operatorname{det}(M-i\mu I)=0, \end{equation*} \notag $$
где $I$ – единичная маттрица. Следовательно, $\mu^2=\operatorname{det} M$, или
$$ \begin{equation*} \mu^2=\lambda^{2n+2}+2c_2\lambda^{2n}+\sum_{k=1}^{n}f_k\lambda^{2n-2k}. \end{equation*} \notag $$

В частности, при $n=1$ матрица монодромии имеет вид

$$ \begin{equation*} M=V_1+c_2J, \end{equation*} \notag $$
а спектральная кривая задается уравнением
$$ \begin{equation} \mu^2=\lambda^4+2c_2\lambda^2+f_1, \end{equation} \tag{17} $$
где
$$ \begin{equation} f_1=c_2^2+c_2v^2+\frac14 v^4-\frac14 v_x^2. \end{equation} \tag{18} $$
Стационарное уравнение (15) в данном случае имеет вид
$$ \begin{equation*} H_2+c_2v=0 \end{equation*} \notag $$
или
$$ \begin{equation} v_{xx}=2v^3+4c_2v. \end{equation} \tag{19} $$
Заметим, что уравнения (18) и (19) хорошо согласуются друг с другом.

Из уравнения (18) следует, что функция $v(x)$ при $n=1$ является эллиптической функцией (или ее вырождением), удовлетворяющей уравнению

$$ \begin{equation*} v_x^2=v^4+4c_2v^2+4c_2^2-4f_1. \end{equation*} \notag $$

Пусть $v=A\operatorname{sn}(X;k)$, где

$$ \begin{equation*} X=2ax+\sum_{j\geqslant1}b_jt_j,\qquad a>0,\quad 0<k<1. \end{equation*} \notag $$
Тогда
$$ \begin{equation*} \begin{gathered} \, A=2ak, \qquad c_2=-(1+k^2)a^2,\qquad f_1=(1-k^2)^2a^4,\\ b_1=8(1+k^2)a^3,\qquad b_2=32(1+4k^2+k^4)a^5, \end{gathered} \end{equation*} \notag $$
а уравнение соответствующей спектральной кривой имеет вид
$$ \begin{equation*} \mu^2=(\lambda^2-(1+k)^2a^2)(\lambda^2-(1-k)^2a^2). \end{equation*} \notag $$

Пусть $v=2a\operatorname{th}(X)$, где

$$ \begin{equation*} X=2ax+\sum_{j\geqslant1}b_jt_j. \end{equation*} \notag $$
Тогда $b_1=16a^3$, $b_2=192a^5$ и $\mu^2=\lambda^2(\lambda^2-4a^2)$. Если $n=2$, то
$$ \begin{equation*} M=V_2+c_2U, \end{equation*} \notag $$
и стационарное уравнение (15) принимает следующий вид:
$$ \begin{equation*} v_{xxx}-6v^2v_x-4c_2v_x=0. \end{equation*} \notag $$
Интегрируя стационарное уравнение, имеем
$$ \begin{equation*} v_{xx}-2v^3-4c_2v=4\tilde{c}_1, \end{equation*} \notag $$
где $\tilde{c}_1$ – постоянная интегрирования.

Продолжая интегрирование, получаем

$$ \begin{equation*} v_x^2=v^4+4c_2v^2+8\tilde{c}_1v+4\tilde{c}_2. \end{equation*} \notag $$
Спектральная кривая для данной функции $v(x)$ определяется уравнением
$$ \begin{equation*} \mu^2=\lambda^6+2c_2\lambda^4+(c_2^2-\tilde{c}_2)\lambda^2-\tilde{c}_1^2. \end{equation*} \notag $$

Полагая

$$ \begin{equation*} \begin{aligned} \, c_2&=-\frac12(3-2b^2+3b^4)a^2,\\ \tilde{c}_1&=-(b^2-1)^2(b^2+1)a^3,\\ \tilde{c}_2&=-\frac14 (b^2-3)(3b^2-1)(b^2+1)^2a^4, \end{aligned} \end{equation*} \notag $$
где $a\ne0$, $b^2>1$, получаем
$$ \begin{equation*} v=\frac{(3b^2-1)a\operatorname{th}^2(X)+b^2(b^2-3)a}{\operatorname{th}^2(X)-b^2}. \end{equation*} \notag $$
Здесь
$$ \begin{equation*} \begin{gathered} \, X=2abx+\sum_{j\geqslant1}m_jt_j,\\ m_1=4a^3b(3-2b^2+3b^4),\\ m_2=4a^5b(15-20b^2+58b^4-20b^6+15b^8). \end{gathered} \end{equation*} \notag $$
Соответствующая спектральная кривая определяется уравнением
$$ \begin{equation*} \mu^2=(\lambda^2-a^2(b^2+1)^2)(\lambda^2-a^2(b^2-1)^2)^2. \end{equation*} \notag $$

4. Преобразование Миуры

Хорошо известно, что решения уравнений КдФ и мКдФ связны преобразованием Миуры (см., например, [3]), которое определяется следующим образом.

Возьмем собственные функции оператора (9). Нетрудно проверить, что их сумма и разность $\psi^{\pm}=\phi_1\pm\phi_2$ удовлетворяют уравнениям

$$ \begin{equation} \psi^{\pm}_{xx}+(\lambda^2-v^2\mp v_x)\psi^{\pm}=0 \end{equation} \tag{20} $$
или
$$ \begin{equation} -\psi^{\pm}_{xx}+u^{\pm}\psi^{\pm}=E\psi^{\pm}, \end{equation} \tag{21} $$
где
$$ \begin{equation} u^{\pm}=v^2\pm v_x, \qquad E=\lambda^2. \end{equation} \tag{22} $$
Как будет показано ниже, потенциалы $u^{\pm}$ связаны друг с другом с помощью преобразования Дарбу [15], т. е. потенциал $u^{-}$ является изоспектральной деформацией потенциала $u^{+}$.

Нетрудно проверить, что рассматриваемые иерархии связаны следующими соотношениями:

$$ \begin{equation*} \begin{aligned} \, I_1^{+}&=u^{+}=v^2+v_x=2i(F_1+G_1),\\ I_1^{-}&=u^{-}=v^2-v_x=2i(F_1+H_1). \end{aligned} \end{equation*} \notag $$

Из рекуррентных соотношений

$$ \begin{equation*} I_{k+1}'=2u_xI_k+4uI_k'-I_{k}''', \end{equation*} \notag $$
уравнений на первые производные
$$ \begin{equation*} \begin{aligned} \, \partial_xH_k&=-2iH_{k+1}-2F_kv,\\ \partial_xG_k&=2iG_{k+1}+2F_kv,\\ \partial_xF_k&=(G_k-H_k)v \end{aligned} \end{equation*} \notag $$

и уравнений на третьи производные

$$ \begin{equation*} \begin{aligned} \, \partial_x^3H_{2k-1}={}&8iH_{2k+2}+8F_{2k+1}v-8iH_{2k}v^2-8F_{2k-1}v^3+{}\\ &+12H_{2k-1}vv_x-2F_{2k-1}v_{xx},\\ \partial_x^3G_{2k-1}={}&-8iG_{2k+2}-8F_{2k+1}v+8iG_{2k}v^2+8F_{2k-1}v^3+{}\\ &+12G_{2k-1}vv_x+2F_{2k-1}v_{xx},\\ \partial_x^3F_{2k-1}={}&8H_{2k+1}v-8H_{2k-1}v^3+8iH_{2k}v_x+{}\\ & +12F_{2k-1}vv_x-2H_{2k-1}v_{xx} \end{aligned} \end{equation*} \notag $$
вытекают более общие соотношения, связывающие иерархии КдФ и мКдФ,
$$ \begin{equation} \begin{aligned} \, I_n^{+}&=i2^{2n-1}(F_{2n-1}+G_{2n-1}),\\ I_n^{-}&=i2^{2n-1}(F_{2n-1}+H_{2n-1}). \end{aligned} \end{equation} \tag{23} $$

Из уравнений (23) вытекает, что эволюции конечнозонных решений всех уравнений из данных иерархий также соответствуют друг другу,

$$ \begin{equation*} \begin{aligned} \, \partial_{t_n}u^{+}={}& \partial_{t_n}I_1^{+}=2i\partial_{t_n}(F_1+G_1)={}\\ ={}&i2^{2n+2}(G_{2n+1}v+iG_{2n+2}+F_{2n+1}v)=\partial_x I_{n+1}^{+},\\ \partial_{t_n}u^{-}={}& \partial_{t_n}I_1^{-}=2i\partial_{t_n}(F_1+H_1)={}\\ ={}&-i2^{2n+2}(H_{2n+1}v+iH_{2n+2}+F_{2n+1}v)=\partial_x I_{n+1}^{-}. \end{aligned} \end{equation*} \notag $$

Возвращаясь к рассмотренным ранее примерам решений уравнения мКдФ, получаем следующие соответствующие им решения уравнения КдФ.

Отметим, что при $n=1$ выполняются следующие равенства:

$$ \begin{equation*} Y=E+\frac12u^{\pm}+c_2 \end{equation*} \notag $$
и
$$ \begin{equation*} w^2(E)=E(E^2+2c_2E+f_1). \end{equation*} \notag $$
Соответственно, спектральные кривые решений уравнений КдФ и мКдФ при $n=1$ связаны соотношением
$$ \begin{equation*} w(\lambda^2)=\lambda\mu(\lambda). \end{equation*} \notag $$

В частности, пусть $v=2ak\operatorname{sn}(X;k)$, где

$$ \begin{equation*} \begin{gathered} \, X=2ax+\sum_{j\geqslant1}b_jt_j,\qquad a>0,\quad 0<k<1, \\ b_1=8(1+k^2)a^3,\qquad b_2=32(1+4k^2+k^4)a^5. \end{gathered} \end{equation*} \notag $$
Тогда
$$ \begin{equation*} u^\pm=4(ak)^2\operatorname{sn}^2(X;k)\pm 2ak\operatorname{cn}(X;k)\operatorname{dn}(X;k). \end{equation*} \notag $$

Если $v=2a\operatorname{th}(X)$, где

$$ \begin{equation*} X=2ax+\sum_{j\geqslant1}b_jt_j,\qquad b_1=16a^3,\qquad b_2=192a^5, \end{equation*} \notag $$
тогда
$$ \begin{equation*} u^{+}=4a^2,\qquad u^{-}=4a^2(1-2\operatorname{ch}^{-2}(X)). \end{equation*} \notag $$

При $n=2$ спектральные кривые решений уравнений КдФ и мКдФ связаны соотношением

$$ \begin{equation*} w(\lambda^2)=\mu(\lambda). \end{equation*} \notag $$

Полагая $a\ne0$, $b^2>1$,

$$ \begin{equation*} v=\frac{(3b^2-1)a\operatorname{th}^2(X)+b^2(b^2-3)a}{\operatorname{th}^2(X)-b^2}, \end{equation*} \notag $$
где
$$ \begin{equation*} \begin{gathered} \, X=2abx+\sum_{j\geqslant1}m_jt_j,\\ m_1=4a^3b(3-2b^2+3b^4),\qquad m_2=4a^5b(15-20b^2+58b^4-20b^6+15b^8), \end{gathered} \end{equation*} \notag $$
имеем
$$ \begin{equation*} \begin{aligned} \, u^{+}&=a^2(b^2+1)^2-\frac{8a^2b^2(b^2-1)}{(b\operatorname{ch}(X)-\operatorname{sh}(X))^2},\\ u^{-}&=a^2(b^2+1)^2-\frac{8a^2b^2(b^2-1)}{(b\operatorname{ch}(X)+\operatorname{sh}(X))^2},\\ w^2&=(E-a^2(b^2+1)^2)(E-a^2(b^2-1)^2)^2. \end{aligned} \end{equation*} \notag $$

5. Конечнозонные решения вещественного уравнения мКдФ

Заметим, что уравнения (22) являются уравнениями Риккати. Поэтому сделаем в уравнении

$$ \begin{equation} v_x+v^2-u^{+}=0 \end{equation} \tag{24} $$
замену $v=\partial_x\ln\hat{\psi}$. После упрощения имеем
$$ \begin{equation*} \hat{\psi}_{xx}=u^{+}\hat{\psi}. \end{equation*} \notag $$
Сравнивая данное уравнение с уравнением (21), получаем
$$ \begin{equation*} \hat{\psi}(x)=\psi^{+}(x,0) \end{equation*} \notag $$
и, соответственно,
$$ \begin{equation} v(x)=\partial_x\ln\psi^{+}(x,0). \end{equation} \tag{25} $$

Вычисляя $u^{-}(x)$ по $v(x)$, получаем

$$ \begin{equation*} u^{-}=v^2-v_x=2v^2-u^{+}=u^{+}-2\partial_x^2\ln\psi^{+}(x,0). \end{equation*} \notag $$
То есть потенциалы $u^{-}$ и $u^{+}$ связаны хорошо известной формулой преобразования Дарбу [15]. Следовательно, их спектральные кривые имеют одни и те же точки ветвления.

Таким образом, для построения конечнозонных решений уравнений мКдФ возьмем конечнозонное решение уравнения КдФ (см., например, [5], [11], [12])

$$ \begin{equation*} u(x,\mathbf{t})=-2\partial_x^2\ln\Theta\biggl(\mathbf{W}_1x+\sum_{j\geqslant1}\mathbf{W}_{j+1}t_j+\Delta\biggr)+2c_1 \end{equation*} \notag $$
и соответствующую ему функцию Бейкера–Ахиезера
$$ \begin{equation*} \begin{aligned} \, \Psi(\mathcal{P},x,\mathbf{t})={}&\exp\biggl\{(\Omega_1(\mathcal{P})-\kappa_1)x+\sum_{j\geqslant1}(\Omega_{j+1}(\mathcal{P})-\kappa_{j+1})t_j\biggr\}\times{}\\ &\times\frac{\Theta\bigl(\mathcal{U}(\mathcal{P})-\mathcal{U}(\mathcal{P}_\infty)+\mathbf{W}_1x+\sum_{j\geqslant1}\mathbf{W}_{j+1}t_j+\Delta\bigr)\Theta(\Delta)}{\Theta(\mathcal{U}(\mathcal{P})-\mathcal{U}(\mathcal{P}_\infty)+\Delta)\Theta\bigl(\mathbf{W}_1x+\sum_{j\geqslant1}\mathbf{W}_{j+1}t_j+\Delta\bigr)}. \end{aligned} \end{equation*} \notag $$
Здесь $\mathcal{P}$ есть точка гиперэллиптической кривой $\Gamma=\{(w,E)\}$ рода $g$ с единственной бесконечно удаленной точкой $\mathcal{P}_\infty$:
$$ \begin{equation} \Gamma:\quad w^2=\prod_{k=1}^{2g+1}(E-E_k), \end{equation} \tag{26} $$
$\mathcal{U}(\mathcal{P})$ – вектор нормированных голоморфных интегралов, $\Omega_k(\mathcal{P})$ – нормированные абелевы интегралы второго рода
$$ \begin{equation*} \begin{alignedat}{3} \mathcal{U}(\mathcal{P})&=\int_{\mathcal{E}_m}^\mathcal{P} d\mathcal{U},&\qquad \oint_{a_k}d\mathcal{U}_j&=\delta_{kj},&\qquad \oint_{b_k}d\mathcal{U}_j&=B_{kj},\\ \Omega_j(\mathcal{P})&=\int_{\mathcal{E}_m}^\mathcal{P} d\Omega_j,&\qquad \oint_{a_k}d\Omega_j&=0,&\qquad \oint_{b_k}d\Omega_j&=2\pi i (\mathbf{W}_j)_k, \end{alignedat} \end{equation*} \notag $$
$\mathcal{E}_m=(0,E_m)$ – одна из точек ветвления поверхности $\Gamma$,
$$ \begin{equation*} E_m=\min_{1\leqslant k\leqslant 2g+1} E_k, \end{equation*} \notag $$
циклы $a_k$, $b_k$, $k=1,\dots,g$, образуют канонический базис циклов на $\Gamma$. Вектор $\Delta$ задает начальное положение полюсов потенциала $u(x,\mathbf{t})$. Упомянутые выше абелевы интегралы второго рода имеют единственные полюсы в бесконечно удаленной точке $\mathcal{P}_\infty$ следующего вида:
$$ \begin{equation*} \Omega_j(\mathcal{P})=i2^{2j-2}\xi^{-2j+1}+\kappa_{j}+c_j\xi+O(\xi^2),\qquad \mathcal{P}\to\mathcal{P}_\infty, \end{equation*} \notag $$
$\xi$ – локальный параметр в окрестности точки $\mathcal{P}_\infty$. Заметим, что величина $\kappa_j$ зависит от выбора точки $\mathcal{E}_m$.

Нетрудно видеть, что функция $\Psi(\mathcal{E}_m,x,\mathbf{t})$ удовлетворяет уравнению

$$ \begin{equation*} \psi_{xx}=u^{+}\psi,\qquad\text{где}\quad u^{+}=u-E_m. \end{equation*} \notag $$
Следовательно, согласно формуле (25) имеем
$$ \begin{equation*} v(x,\mathbf{t})=\partial_x\ln\Psi(\mathcal{E}_m,x,\mathbf{t}) \end{equation*} \notag $$
или
$$ \begin{equation} v(x,\mathbf{t})=\partial_x\ln\frac{\Theta\bigl(\mathbf{W}_1x+\sum_{j\geqslant1} \mathbf{W}_{о+1}t_j+\Delta-\mathcal{U}(\mathcal{P}_\infty)\bigr)} {\Theta\bigl(\mathbf{W}_1x+\sum_{j\geqslant1}\mathbf{W}_{j+1}t_j+\Delta\bigr)}-\kappa_1. \end{equation} \tag{27} $$
Поскольку, как было показано ранее, динамики решений уравнений КдФ и мКдФ согласованы, то функция (27) является алгебро-геометрическим решением уравнения мКдФ.

6. Эллиптические конечнозонные потенциалы оператора Дирака

Рассмотрим эллиптические конечнозонные потенциалы

$$ \begin{equation} u(x)=m_0(m_0+1)\wp(x)+\sum_{j=1}^3m_j(m_j+1)\wp(x-\omega_j),\qquad m_k\in\mathbb{Z}, \end{equation} \tag{28} $$
оператора Шредингера (2), которые, по-видимому, впервые появились в работах Дарбу и других французских математиков конца XIX века (см., например, [14], [16], [17]), а затем вновь привлекли к себе внимание после появления работ Трейбича и Вердье [18]–[20]. Именно поэтому потенциалы такого вида сначала называли потенциалами Трейбича–Вердье, а впоследствии – потенциалами Дарбу–Трейбича–Вердье (ДТВ). Вслед за Трейбичем и Вердье к исследованиям этих уравнений присоединились и другие математики и физики [7], [21]–[26]. В данном разделе, используя полученные ранее в этой работе результаты, мы построим конечнозонные эллиптические потенциалы оператора Дирака (9).

Процедуру построения эллиптических конечнозонных потенциалов оператора Дирака можно разбить на следующие этапы.

  • • Возьмем эллиптический конечнозонный потенциал (28). Полагая, что $m_k\geqslant0$, вычислим его род по формуле [7]
    $$ \begin{equation} g=\begin{cases} \max\biggl\{\max_{0\leqslant i\leqslant3} m_i,\dfrac{N}2-\min_{0\leqslant i\leqslant3} m_i\biggr\} & \text{для четных}\,\,N, \vphantom{\Biggl\}^A}\\ \max\biggl\{\max_{0\leqslant i\leqslant3} m_i,\dfrac{N+1}2\biggr\} & \text{для нечетных}\,\,N, \end{cases} \end{equation} \tag{29} $$
    где $N=m_0+m_1+m_2+m_3$.
  • • Составим по формуле (4) многочлен $\Psi$ от $E$ степени $g$ с неизвестными функциональными коэффициентами $\gamma_k(x)$ и найдем из уравнения Аппеля (3) коэффициенты $\gamma_k(x)$, а из формулы (7) – уравнение спектральной кривой и точки ее ветвления $E_k$. Поскольку род кривой равен $g$, то она имеет $2g+1$ конечную точку ветвления.
  • • Затем по одной из точек ветвления $E_j$ построим потенциал
    $$ \begin{equation*} \tilde{u}(x)=u(x)-E_j \end{equation*} \notag $$
    и функцию
    $$ \begin{equation*} \widetilde{\Psi}(x,E)=\Psi(x,E+E_j). \end{equation*} \notag $$
    Считая, что эллиптические потенциалы могут иметь полюсы при $x\in\mathbb{R}$, мы убираем ограничения на выбор точки ветвления. Далее, используя формулы (25) и (6), получим следующее выражение для эллиптической функции $v(x)$:
    $$ \begin{equation*} v(x)=\partial_x\ln\hat{\psi}(x)=\partial_x\ln\sqrt{\widetilde{\Psi}(x,0)}=\frac12\partial_x\ln\widetilde{\Psi}(x,0). \end{equation*} \notag $$
    Заметим, что в случае потенциала ДТВ функция $\hat{\psi}(x)$ имеет следующий вид [7], [27]:
    $$ \begin{equation*} \hat{\psi}(x)=P_n(\wp(x))\prod_{k=1}^3(\wp(x)-e_k)^{-\widetilde{m}_k/2}, \end{equation*} \notag $$
    где $P_n(z)$ – некоторый многочлен от $z$ степени $n$,
    $$ \begin{equation*} n=\frac12 \sum_{k=0}^3\widetilde{m}_k,\qquad \widetilde{m}_k\in\{m_k,-m_k-1\}. \end{equation*} \notag $$
    При этом функция $\widetilde{\Psi}(x,0)$ является многочленом от $\wp(x)$ степени $\widetilde{m}_0$. Таким образом, построенный по потенциалу ДТВ эллиптический конечнозонный потенциал оператора Дирака имеет вид
    $$ \begin{equation} v(x)=\wp'(x)\biggl(\frac{P'_n(\wp(x))}{P_n(\wp(x))}-\frac12 \sum_{k=1}^3\frac{\widetilde{m}_k}{\wp(x)-e_k}\biggr). \end{equation} \tag{30} $$
    Соответственно, по одному эллиптическому конечнозонному потенциалу $u(x)$ оператора Шредингера можно построить $2g+1$ эллиптических конечнозонных потенциалов оператора Дирака.
  • • Затем по функции $v(x)$, задающейся уравнением (30), находим элементы матрицы монодромии $M$, матрицу монодромии и уравнение спектральной кривой для конечнозонного матричного потенциала $U$.

Для иллюстрации работы метода построения эллиптических потенциалов рассмотрим несколько примеров.

Рассмотрим однозонный потенциал оператора Шредингера

$$ \begin{equation} u(x)=2\wp(x). \end{equation} \tag{31} $$
Нетрудно видеть, что этот потенциал получается из формулы (28) при $m_0=1$, $m_k=0$, $k\in\{1;2;3\}$. Следовательно, $N=1$ и род спектральной кривой $g=1$. Соответственно, многочлен $\Psi(x,E)$ имеет вид
$$ \begin{equation*} \Psi(x,E)=E+\gamma_1(x). \end{equation*} \notag $$
Вычисляя $\gamma_1(x)$, имеем
$$ \begin{equation*} \Psi(x,E)=E+\wp(x). \end{equation*} \notag $$
Спектральная кривая, соответствующая данной функции $\Psi(x,E)$, задается уравнением
$$ \begin{equation} w^2(E)=(E+e_1)(E+e_2)(E+e_3). \end{equation} \tag{32} $$
Таким образом, по потенциалу (31) можно построить три эллиптические функции $v(x)$.

Пусть $E_j=-e_1$, т. е. пусть

$$ \begin{equation*} \tilde{u}(x)=2\wp(x)+e_1. \end{equation*} \notag $$
В этом случае
$$ \begin{equation*} \widetilde{\Psi}(x,E)=E+\wp(x)-e_1 \end{equation*} \notag $$
и
$$ \begin{equation*} \hat{\psi}(x)=\sqrt{\wp(x)-e_1}, \end{equation*} \notag $$
следовательно,
$$ \begin{equation} v(x)=\partial_x\ln\hat{\psi}(x)=\frac{\wp'(x)}{2(\wp(x)-e_1)}. \end{equation} \tag{33} $$
Нетрудно видеть, что функция (33) соответствует формуле (30) при $\widetilde{m}_0\kern-1pt=\kern-1pt 1$, $\widetilde{m}_1\kern-1pt= -1$, $\widetilde{m}_2=\widetilde{m}_3=0$ и $n=0$.

Вычисления с помощью функции (33) элементов матрицы монодромии дают следующий результат:

$$ \begin{equation*} \begin{aligned} \, H_1&=-G_1=\frac{i}{2}\wp(x)-\frac{i}2e_1-\frac{i(e_1-e_3)(e_1-e_2)}{2(\wp(x)-e_1)},\\ F_1&=-\frac{i}{2}\wp(x)-ie_1-\frac{i(e_1-e_3)(e_1-e_2)}{2(\wp(x)-e_1)},\\ H_2&=G_2=\frac{3e_1\wp'(x)}{4(\wp(x)-e_1)}. \end{aligned} \end{equation*} \notag $$
Из стационарного уравнения
$$ \begin{equation*} H_2+c_2v(x)=0 \end{equation*} \notag $$
получаем $c_2=-3e_1/2$. Следовательно, матрица монодромии задается формулой
$$ \begin{equation*} M=V_1-\frac{3e_1}2J. \end{equation*} \notag $$
Вычисляя уравнение спектральной кривой потенциала $U$ с функцией $v(x)$, задаваемой равенством (33), получаем
$$ \begin{equation} \mu^2=(\lambda^2+e_2-e_1)(\lambda^2+e_3-e_1). \end{equation} \tag{34} $$
Нетрудно видеть, что спектральные кривые (32) и (34) связаны соотношением
$$ \begin{equation*} w(\lambda^2-e_1)=\widetilde{w}(\lambda^2)=\lambda\mu(\lambda). \end{equation*} \notag $$

Очевидно, что оставшиеся два эллиптических однозонных потенциала имеют вид

$$ \begin{equation*} v_2(x)=\frac{\wp'(x)}{2(\wp(x)-e_2)},\qquad v_3(x)=\frac{\wp'(x)}{2(\wp(x)-e_3)}, \end{equation*} \notag $$
а соответствующие им спектральные кривые задаются уравнениями
$$ \begin{equation*} \begin{aligned} \, \mu^2&=(\lambda^2+e_1-e_2)(\lambda^2+e_3-e_2),\\ \mu^2&=(\lambda^2+e_1-e_3)(\lambda^2+e_2-e_3). \end{aligned} \end{equation*} \notag $$

В качестве второго примера рассмотрим двухзонный потенциал Ламе

$$ \begin{equation} u(x)=6\wp(x). \end{equation} \tag{35} $$
Этот потенциал можно получить из формулы (28) при $m_0=2$, $m_k=0$, $k\in\{1;2;3\}$. Поэтому $N=2$ и род спектральной кривой $g=2$. Следовательно, многочлен $\Psi(x,E)$ имеет вид
$$ \begin{equation*} \Psi(x,E)=E^2+\gamma_1(x)E+\gamma_2(x). \end{equation*} \notag $$
Вычисляя $\gamma_1(x)$ и $\gamma_2(x)$, имеем
$$ \begin{equation*} \Psi(x,E)=E^2+3\wp(x)E+\frac92 (2\wp^2(x)-e_1^2-e_2^2-e_3^2). \end{equation*} \notag $$
Спектральная кривая, соответствующая данной функции $\Psi(x,E)$, задается уравнением
$$ \begin{equation} w^2(E)=(E-3e_1)(E-3e_2)(E-3e_3)(E^2-6e_1^2-6e_2^2-6e_3^2). \end{equation} \tag{36} $$
Таким образом, с помощью потенциала (35) можно построить пять эллиптических функций $v(x)$.

Пусть $E_j=3e_1$, т. е. пусть

$$ \begin{equation*} \tilde{u}(x)=6\wp(x)-3e_1. \end{equation*} \notag $$
В этом случае
$$ \begin{equation*} \widetilde{\Psi}(x,E)=E^2+3(\wp(x)+2e_1)E+9(\wp(x)-e_2)(\wp(x)-e_3) \end{equation*} \notag $$
и
$$ \begin{equation*} \hat{\psi}(x)=3\sqrt{(\wp(x)-e_2)(\wp(x)-e_3)}, \end{equation*} \notag $$
следовательно,
$$ \begin{equation} v(x)=\partial_x\ln\hat{\psi}(x)=\frac{(2\wp(x)+e_1)\wp'(x)}{2(\wp(x)-e_2)(\wp(x)-e_3)}. \end{equation} \tag{37} $$
Легко убедиться, что функция (37) соответствует формуле (30) при $\widetilde{m}_0=2$, $\widetilde{m}_1=0$, $\widetilde{m}_2=\widetilde{m}_3=-1$ и $n=0$.

Вычисления с помощью функции (37) элементов матрицы монодромии дают следующий результат:

$$ \begin{equation*} \begin{aligned} \, H_1={}&-G_1=\frac{i}{2}(2\wp(x)+e_1)-\frac{i(e_3-e_1)(e_3-e_2)}{2(\wp(x)-e_3)}-\frac{i(e_2-e_1)(e_2-e_3)}{2(\wp(x)-e_2)},\\ F_1={}&-\frac{i}{2}\frac{(\wp(x)-e_1)(2\wp(x)+e_1)^2}{(\wp(x)-e_2)(\wp(x)-e_3)},\\ H_2={}&G_2=\frac32 \wp'(x)-\frac{3(e_1-2e_3)\wp'(x)}{4(\wp(x)-e_3)}-\frac{3(e_1-2e_2)\wp'(x)}{4(\wp(x)-e_2)},\\ H_3={}&-G_3=\frac{9i}{2}\wp^2(x)-3ie_1\wp(x)-\frac{3i}{4}(2e_1^2+3e_2^2+3e_3^2)-{}\\ &-\frac{3i(e_3-e_2)(e_3-e_1)(2e_3-e_1)}{4(\wp(x)-e_3)}-\frac{3i(e_2-e_3)(e_2-e_1)(2e_2-e_1)}{4(\wp(x)-e_2)},\\ F_3={}&-\frac{9i}{2}\wp^2(x)-\frac{21i}2e_1\wp(x)-\frac{3i}8(15e_1^2+8e_2^2+8e-3^2)-{}\\ &-\frac{3i(e_3-e_2)(e_3-e_1)(2e_3-e_1)}{4(\wp(x)-e_3)}-\frac{3i(e_2-e_3)(e_2-e_1)(2e_2-e_1)}{4(\wp(x)-e_2)},\\ H_4={}&G_4=-\frac{45}{4}e_1\wp'(x)+\frac{3(29e_1^2-16e_2^2+44e_3^2)\wp'(x)}{16(\wp(x)-e_3)}+{}\\ &+\frac{3(29e_1^2+44e_2^2-16e_3^2)\wp'(x)}{16(\wp(x)-e_2)}. \end{aligned} \end{equation*} \notag $$
Из стационарного уравнения
$$ \begin{equation*} H_4+c_2H_2+c_4v(x)=0 \end{equation*} \notag $$
получаем
$$ \begin{equation*} c_2=\frac{15}{2}e_1,\qquad c_4=\frac38 (31e_1^2-14e_2^2-14e_3^2). \end{equation*} \notag $$
Следовательно, матрица монодромии задается формулой
$$ \begin{equation*} M=V_3+\frac{15e_1}{2}V_1+\frac38 (31e_1^2-14e_2^2-14e_3^2)J. \end{equation*} \notag $$
Вычисляя уравнение спектральной кривой потенциала $U$ с функцией $v(x)$, задаваемой равенством (37), получаем
$$ \begin{equation} \mu^2=(\lambda^2-3e_3+3e_1)(\lambda^2-3e_2+3e_1)(\lambda^4+6e_1\lambda^2+3e_1^2-6e_2^2-6e_3^2). \end{equation} \tag{38} $$
Нетрудно проверить, что спектральные кривые (36) и (38) связаны соотношением
$$ \begin{equation*} w(\lambda^2+3e_1)=\widetilde{w}(\lambda^2)=\lambda\mu(\lambda). \end{equation*} \notag $$

В качестве третьего примера снова рассмотрим двухзонный потенциал Ламе (35). Пусть $\tilde{u}(x)=6\wp(x)-E_j$, где

$$ \begin{equation*} E_j=\sqrt{6e_1^2+6e_2^2+6e_3^2}. \end{equation*} \notag $$
В этом случае
$$ \begin{equation*} \widetilde{\Psi}(x,E)=E^2+(3\wp(x)+2E_j)E+\frac14 (6\wp(x)+E_j)^2 \end{equation*} \notag $$
и
$$ \begin{equation*} \hat{\psi}(x)=\frac12 (6\wp(x)+E_j), \end{equation*} \notag $$
следовательно,
$$ \begin{equation} v(x)=\partial_x\ln\hat{\psi}(x)=\frac{6\wp'(x)}{6\wp(x)+E_j}. \end{equation} \tag{39} $$
Нетрудно проверить, что эта функция $v(x)$ соответствует формуле (30) при $\widetilde{m}_0=2$, $\widetilde{m}_1=\widetilde{m}_2=\widetilde{m}_3=0$ и $n=1$.

Вычисления элементов матрицы монодромии с помощью функции (39) дают следующий результат:

$$ \begin{equation*} \begin{aligned} \, H_1={}&-G_1=i\wp(x)+\frac{i}{6}E_j+\frac{4i(18e_1e_2e_3-(e_1^2+e_2^2+e_3^2)E_j)}{(6\wp(x)+E_j)^2},\\ F_1={}&-\frac{72i(\wp(x)-e_1)(\wp(x)-e_2)(\wp(x)-e_3)}{(6\wp(x)+E_j)^2},\\ H_2={}&G_2=\frac32 \wp'(x)-\frac{6E_j\wp'(x)}{6\wp(x)+E_j},\\ H_3={}&-G_3=\frac{9i}{2}\wp^2(x)-iE_j\wp(x)-\frac{7i}{4}(e_1^2+e_2^2+e_3^2)+{}\\ &+\frac{24i((e_1^2+e_2^2+e_3^2)^2-3e_1e_2e_3E_j)}{(6\wp(x)+E_j)^2},\\ F_3={}&-\frac{9i}{2}\wp^2(x)+\frac{7i}{2}E_j\wp(x)-\frac{19i}4(e_1^2+e_2^2+e_3^2)+{}\\ &+\frac{24i((e_1^2+e_2^2+e_3^2)^2-3e_1e_2e_3E_j)}{(6\wp(x)+E_j)^2},\\ H_4={}&G_4=-\frac{15}{4}E_j\wp'(x)+\frac{54(e_1^2+e_2^2+e_3^2)\wp'(x)}{6\wp(x)+E_j}. \end{aligned} \end{equation*} \notag $$
Из стационарного уравнения
$$ \begin{equation*} H_4+c_2H_2+c_4v(x)=0 \end{equation*} \notag $$
получаем
$$ \begin{equation*} c_2=\frac{5}2E_j,\qquad c_4=6(e_1^2+e_2^2+e_3^2)=E_j^2. \end{equation*} \notag $$
Вычисляя характеристическое уравнение матрицы монодромии
$$ \begin{equation*} M=V_3+c_2V_1+c_4J, \end{equation*} \notag $$
получаем уравнение спектральной кривой
$$ \begin{equation} \begin{aligned} \, \mu^2(\lambda)={}&\lambda^8+5 E_j\lambda^6 + \frac {99}{2}(e_1^2+e_2^2+e_3^2)\lambda^4+{} \notag \\ &+\biggl(\frac{57}{2}(e_1^2+e_2^2+e_3^2)(e_1^2+e_2^2+e_3^2)E_j-27e_1e_2e_3\biggr)\lambda^2+{} \notag \\ &+18(e_1^2+e_2^2+e_3^2)^2-54e_1e_2e_3E_j. \end{aligned} \end{equation} \tag{40} $$
Как и в предыдущих случаях, является верным равенство
$$ \begin{equation*} w(\lambda^2+E_j)=\lambda\mu(\lambda). \end{equation*} \notag $$

Рассмотренные нами примеры показали, что метод построения эллиптических конечнозонных потенциалов работает хорошо и что, выбирая разные точки ветвления, можно по одному и тому же потенциалу ДТВ строить разные эллиптические потенциалы оператора Дирака. Поскольку спектральные кривые данных потенциалов связаны отображением

$$ \begin{equation*} \lambda^2+E_j=\widetilde{\lambda}^2+E_k,\qquad \mu(\lambda)=\frac{w(\lambda^2+E_j)}{\lambda},\qquad \widetilde{\mu}(\widetilde{\lambda})=\frac{w(\widetilde{\lambda}^2+E_k)}{\widetilde{\lambda}}, \end{equation*} \notag $$
эти потенциалы не являются изоспектральными деформациями друг друга.

Заметим, что существуют конечнозонные эллиптические потенциалы оператора Шредингера, отличающиеся от потенциалов ДТВ. Они делятся на три класса. К первому классу относятся изоспектральные деформации потенциалов ДТВ. Ко второму классу относятся потенциалы, получающиеся из потенциалов ДТВ при изменении решетки периодов. Как было показано в работах [24], [28], [29], существуют эллиптические конечнозонные потенциалы оператора Шредингера, спектральные кривые которых отличаются от спектральных кривых потенциалов ДТВ. По любому из этих потенциалов можно построить новые эллиптические конечнозонные потенциалы оператора Дирака, используя процедуру, описанную в данном разделе.

7. Заключительные замечания

Проведенные исследования выявили ряд вопросов, которые требуют дополнительного изучения. Не рассмотренные в данной статье вопросы мы планируем изучить в последующих работах. В частности, планируем построить конечнозонные решения уравнения мКдФ и соответствующую функцию Бейкера–Ахиезера, используя теорию накрытий над спектральной кривой конечнозонного решения уравнения КдФ. С одной стороны, примеры из раздела 4 показали, что формула накрывающего отображения зависит от четности $n$. При нечетном $n$ отображение задается одной формулой, а при четном – другой. С другой стороны, примеры эллиптических потенциалов оператора Дирака из раздела 6 соответствуют только случаям нечетного $n$. Таким образом, вопрос о свойствах спектральных кривых конечнозонных решений вещественного уравнения мКдФ остается открытым и требует дополнительного исследования.

Также мы планируем, используя результаты данной работы, построить эллиптические конечнозонные потенциалы дифференциального оператора второго порядка, кваратичного по спектральному параметру.

Благодарности

Авторы благодарят организаторов Международной конференции “Интегрируемые системы и нелинейная динамика” за приглашение принять в ней участие и сделать доклад. Авторы также благодарят В. Б. Матвеева за полезные консультации по уравнению мКдФ.

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

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

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

1. Б. А. Дубровин, “Матричные конечнозонные операторы”, Итоги науки и техн. Сер. Соврем. пробл. матем., 23, ВИНИТИ, М., 1983, 33–78  mathnet  crossref  mathscinet  zmath
2. A. O. Smirnov, A. A. Caplieva, “Vector form of Kundu–Eckhaus equation and its simplest solutions”, Уфимск. матем. журн., 15:3 (2023), 151–166  mathnet  crossref  mathscinet
3. R. M. Miura, C. S. Gardner, M. D. Kruskal, “Korteweg–de Vries equation and generalizations. II. Existence of conservation laws and constants of motion”, J. Math. Phys., 9 (1968), 1204–1209  crossref  mathscinet
4. А. Р. Итс, В. П. Котляров, “Об одном классе решений нелинейного уравнения Шредингера”, Докл. АН УССР. Сер. А, 11 (1976), 965–968  mathscinet  zmath
5. E. D. Belokolos, A. I. Bobenko, V. Z. Enol'skij, A. R. Its, V. B. Matveev, Algebro-Geometric Approach to Nonlinear Integrable Equations, Springer Series in Nonlinear Dynamics, Springer, Berlin, 1994  zmath
6. А. О. Смирнов, “Об одном классе эллиптических потенциалов оператора Дирака”, Матем. сборник, 188:1 (1997), 109–128  mathnet  crossref  crossref  mathscinet  zmath
7. A. O. Smirnov, “Elliptic solitons and Heun's equation”, The Kowalevski Property, CRM Proceedings and Lecture Notes, 32, ed. V. B. Kuznetsov, AMS, Providence, RI, 2002, 287–305  crossref  mathscinet
8. Б. А. Дубровин, С. П. Новиков, “Периодическая задача для уравнений Кортевега–де Фриза и Штурма–Лиувилля. Их связь с алгебраической геометрией”, Докл. АН СССР, 219:3 (1974), 531–534  mathnet  mathscinet  zmath
9. А. Р. Итс, В. Б. Матвеев, “Операторы Шредингера с конечнозонным спектром и $N$-солитонные решения уравнения Кортевега–де Фриза”, ТМФ, 23:1 (1975), 51–67  mathnet  crossref  mathscinet
10. А. Р. Итс, В. Б. Матвеев, “Об операторах Хилла с конечным числом лакун”, Функц. анализ и его прилож., 9:1 (1975), 69–70  mathnet  crossref  mathscinet  zmath
11. Б. А. Дубровин, В. Б. Матвеев, С. П. Новиков, “Нелинейные уравнения типа Кортевега–де Фриза, конечнозонные линейные операторы и абелевы многообразия”, УМН, 31:1(187), 55–136  mathnet  crossref  mathscinet  zmath
12. В. Е. Захаров, С. В. Манаков, С. П. Новиков, Л. П. Питаевский, Теория солитонов. Метод обратной задачи, Наука, М., 1980  mathscinet  zmath
13. P. Appell, “Sur la transformation des équations différentielles linéaires”, C. R. Acad. Sci. Paris, 91 (1880), 211–214
14. G. Darboux, “Sur une equation linéaire”, C. R. Acad. Sci. Paris, 94 (1882), 1645–1648
15. V. B. Matveev, M. A. Salle, Darboux Transformations and Solitons, Springer Ser. Nonlinear Dynamics, Springer, Berlin, 1991  mathscinet
16. de Sparre, “Sur l'equation $\frac{d^2 y}{dx^2 } + \Bigl[ 2\nu \frac{k^2 \operatorname{sn} x \operatorname{cn} x}{\operatorname{dn} x} + 2\nu _1 \frac{\operatorname{sn} x \operatorname{dn} x}{\operatorname{cn} x} - 2\nu _2 \frac{\operatorname{cn} x \operatorname{dn} x}{\operatorname{sn} x} \Bigr]\frac{dy}{dx}$ ${}= \Bigl[ \frac{I}{\operatorname{sn}^2 x}(n_3 - \nu _2 )(n_3 + \nu _2 + 1) + \frac{\operatorname{dn}^2 x}{\operatorname{cn}^2 x}(n_2 - \nu _1 )(n_2 + \nu _1 + 1)$ ${}+ \frac{k^2 \operatorname{cn}^2 x}{\operatorname{dn}^2 x}(n_1 - \nu )(n_1 + \nu + 1) $ ${}+ k^2 \operatorname{sn}^2 x(n + \nu + \nu _1 + \nu _2 )(n - \nu - \nu _1 - \nu _2 + 1)$ ${} + h \Bigr]y $: Équation ou $\nu$, $\nu_1$, $\nu_2$, désignent des nombres quelconques, $n$, $n_1$, $n_2$, $n_3$ des nombres entiers positifs ou négatifs, et $h$ une constante arbitraire. Premier mémoire”, Acta Math., 3 (1883), 105–140  crossref  mathscinet; “Deuxième mémoire”, 289–321
17. A. O. Smirnov, “On the link between the Sparre equation and Darboux–Treibich–Verdier equation”, Lett. Math. Phys., 76:2–3 (2006), 283–295  crossref  mathscinet
18. J.-L. Verdier, “New elliptic solitons”, Algebraic Analisys: Papers Dedicated to Professor Mikio Sato on the Occasion of his Sixtieth Birthday, v. 2, eds. M. Kashiwara, T. Kawai, Academic Press, Boston, MA, 1988, 901–910  crossref  mathscinet
19. A. Treibich, “Tangential polynomials and elliptic solitons”, Duke Math. J., 59:3 (1989), 611–627  crossref  mathscinet
20. A. Treibich, J.-L. Verdier, “Revêtements exceptionnels et sommes de 4 nombres triangulaires”, C. R. Acad. Sci. Paris Sér. I Math., 311:1 (1990), 51–54  mathscinet
21. Е. Д. Белоколос, В. З. Энольский, “Изоспектральные деформации эллиптических потенциалов”, УМН, 44:5 (1989), 155–156  mathnet  crossref  mathscinet  zmath  adsnasa
22. А. О. Смирнов, “Эллиптические решения уравнения Кортевега–де Фриза”, Матем. заметки, 45:6 (1989), 66–73  mathnet  crossref  mathscinet  zmath
23. E. D. Belokolos, V. Z. Enol'skii, “Reduction of theta functions and elliptic finite-gap potentials”, Acta Appl. Math., 36:1–2 (1994), 87–117  crossref  mathscinet
24. A. O. Smirnov, “Finite-gap elliptic solutions of the KdV equation”, Acta Appl. Math., 36:1–2 (1994), 125–166  crossref  mathscinet
25. F. Gesztesy, R. Weikard, “Treibich–Verdier potentials and the stationary (m)KdV hierarchy”, Math. Z., 219:3 (1995), 451–476  crossref  mathscinet
26. K. Takemura, “The Heun equation and the Calogero–Moser–Sutherland system I: The Bethe ansatz method”, Commun. Math. Phys., 235:3 (2003), 467–494  crossref  mathscinet
27. Ю. Н. Сирота, А. О. Смирнов, “Уравнение Гойна и преобразование Дарбу”, Матем. заметки, 79:2 (2006), 267–277  mathnet  crossref  crossref  mathscinet  zmath
28. А. Трейбич, “Гиперэллиптические касательные накрытия и конечно-зонные потенциалы”, УМН, 56:6(342), 89–136  mathnet  crossref  crossref  mathscinet  zmath  adsnasa
29. A. O. Smirnov, “Finite-gap solutions of the Fuchsian equations”, Lett. Math. Phys., 76:2–3 (2006), 297–316  crossref  mathscinet

Образец цитирования: А. О. Смирнов, И. В. Анисимов, “О конечнозонных решениях вещественного модифицированного уравнения Кортевега–де Фриза”, ТМФ, 220:1 (2024), 191–209; Theoret. and Math. Phys., 220:1 (2024), 1224–1240
Цитирование в формате AMSBIB
\RBibitem{SmiAni24}
\by А.~О.~Смирнов, И.~В.~Анисимов
\paper О конечнозонных решениях вещественного модифицированного уравнения Кортевега--де Фриза
\jour ТМФ
\yr 2024
\vol 220
\issue 1
\pages 191--209
\mathnet{http://mi.mathnet.ru/tmf10651}
\crossref{https://doi.org/10.4213/tmf10651}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=4778546}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2024TMP...220.1224S}
\transl
\jour Theoret. and Math. Phys.
\yr 2024
\vol 220
\issue 1
\pages 1224--1240
\crossref{https://doi.org/10.1134/S0040577924070122}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85199872605}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tmf10651
  • https://doi.org/10.4213/tmf10651
  • https://www.mathnet.ru/rus/tmf/v220/i1/p191
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Теоретическая и математическая физика Theoretical and Mathematical Physics
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025