Главная > СОЛИТОНЫ
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

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

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

Возможность восстановления коэффициентов двумерного оператора из матрицы рассеяния, заданной в одной точке спектра, привела Манакова [7.27] к открытию нового класса интегрируемых систем, которые не допускают введения $\hat{L},-\hat{A}$ – пар.

Пусть заданы дифференциальный оператор $\hat{L}$ по двум переменным $z$ и $x$ и соответствующее уравнение
\[
\hat{L} \Psi=0 .
\]

Решаемые уравнения (7.120) составляют линейное пространство $\tilde{\psi}$. Потребуем, чтобы полугруппа сдвигов по $t$, которые определяются дифференциальным уравнением (7.11) $\quad \psi_{t}+\hat{A} \psi=0$, действовала на $\tilde{\psi}$ инвариантно. Для этого необходимо и достаточно, чтобы выполнялось соотношение
\[
\frac{\partial L}{\partial t}-[\hat{L}, \hat{A}]=\hat{B} \hat{L},
\]

где $B$ – некоторый дифференциальный оператор. Очевидно, что оператор $A$ определен здесь не однозначно, а только с точностью до преобразования
\[
\hat{A} \rightarrow \hat{A}+\hat{C} \hat{L} ; \quad \hat{B} \rightarrow \hat{B}+[\hat{L}, \widehat{C}],
\]

где $C$-произвольный дифференциальный оператор.
Соотношение (7.121) задает некоторую систему уравнений, решаемую методом обратной задачи по схеме (7.20)-(7.64).

Опишем (без доказательства) к.тасс операторов $\mathcal{L}$, приводящий к уравнениям типа (7.121). Выберем $\mathcal{L}$ в виде:
\[
\hat{L}=\hat{L}^{(0)} \frac{\partial}{\partial x}+\widehat{L}^{(1)},
\]

где $\hat{L}^{(0)}$ и $\hat{L}^{(1)}$ – матричные $N \times N$, диффференциальные по $z$ операторы
\[
\begin{array}{c}
L^{(0)}=l_{0}^{(0)} \frac{\partial^{m_{1}}}{\partial z^{m_{1}}}+u_{1} \frac{\partial^{m_{1}-1}}{\partial z^{m_{1}-1}}+\ldots, \\
L^{(1)}=v_{0} \frac{\partial^{m_{2}}}{\partial z^{m_{2}}}+v_{1} \frac{\partial^{m_{2}-1}}{\partial z^{m_{2}-1}}+\ldots .
\end{array}
\]

Матрица $l_{0}^{(0)}$ является постоянной; матрица $v_{0}$ является постоянной, если $m_{2} \geqslant m_{1}$. В случае $m_{2}=m_{1}-1, v_{0}$ – переменная матрица. При $z \rightarrow \infty$ оператор $L$ принимает предельное постоянное значение $\hat{L}_{0}$. В качестве операторов $\hat{A}$ и $\hat{B}$ могут быть выбраны произвольного вида дифференциальные по $x$ и $z$ операторы, характеризуемые своими предельными значениями $A \rightarrow$ $\rightarrow \hat{A_{0}}, \hat{B} \rightarrow \hat{B_{0}}$ при $z \rightarrow \infty$, причем
\[
-\left[\hat{L_{0}}, \hat{A_{0}}\right]=\hat{B_{0}} \hat{L_{0}}
\]

Операторы $\hat{A}$ и $\hat{B}$ удобно представлять в виде
\[
\begin{array}{l}
\widehat{A}=\hat{A}^{(0)} \frac{\partial^{n}}{\partial x^{n}}+\ldots+\hat{A}^{(n)}, \\
\widehat{B}=\hat{B}^{(0)} \frac{\partial^{n}}{\partial x^{n}}+\ldots+\hat{B}^{(n)},
\end{array}
\]

где $\hat{A}^{(i)}, \hat{B}^{(i)}$ – операторы, дифференциальные по $z$. Подстановка в условие (7.121) дает систему уравнений на коэффициенты операторов $\hat{A}, \hat{B}$ (и уравнение для коэффициентов оператора $\hat{L}$ ). Операторы $\hat{A}$ и $\hat{B}$, вообще говоря, определяются из этих уравнений неоднозначно, однако вся неоднозначность связана с преобразованием (7.122) и не меняет вида искомых уравнений.

Рассмотрим случай, когда $\hat{A}$ и $\hat{B}$ являются дифференциальными по $z$ операторами. Тогда из (7.121) имеем
\[
\begin{array}{l}
\frac{\partial \widehat{L}^{(0)}}{\partial t}-\left[\hat{L}^{(0)}, \hat{A}\right]=\hat{B} \widehat{L}^{(0)}, \\
\frac{\partial \widehat{L}^{(1)}}{\partial t}-\left[\hat{L}^{(1)}, \hat{A}\right]=\hat{L}^{(0)} \widehat{A}_{x}+\hat{B} \hat{L}^{(1)} .
\end{array}
\]

Выберем в качестве простейшего примера
\[
\hat{L}^{0}=\frac{\partial}{\partial z}+u ; \quad \hat{L}^{(1)}=v ; \quad \hat{A}=I \frac{\partial}{\partial z}+w ;
\]
$\hat{B}=[I, u] ; I$ – постоянная матрица.

Имеем
\[
\begin{array}{l}
\frac{\partial u}{\partial t}=\frac{\partial}{\partial z}(w-I u)+[u, w]+[I, u] u, \\
\frac{\partial v}{\partial t}=-\frac{\partial v}{\partial z} I+[v, w]-[u v, I], \\
\frac{\partial w}{\partial x}=[I, v] .
\end{array}
\]

Система (7.129) интересна в двух предельных случаях, когда отсутствует зависимость от одной из координат. Если $\partial / \partial z=0$, $u=0$, получаем
\[
\frac{\partial v}{\partial t}=[v, w] ; \quad \frac{\partial w}{\partial x}=[I, v] .
\]

Если $\partial / \partial x=0, w=v=0$,
\[
\frac{\partial u}{\partial t}=-I \frac{\hat{o} u}{\partial z}+[I, u] u .
\]

Покажем теперь, как применить к уравнениям (7.121) метод одевания. Для этого зафиксируем предельное значение операторов $\widehat{L}^{(0)}$ и $\widehat{L}^{(1)}$ :
\[
\hat{L}^{(0)} \rightarrow \hat{M}_{0} ; \quad \widehat{L}^{(1)} \rightarrow \hat{M}_{1}, \quad z \rightarrow \pm \infty,
\]

так что
\[
\widehat{L}_{0}=\widehat{M}_{0} \frac{\partial}{\partial x}+\widehat{M}_{1},
\]

и рассмотрим пространство $\widetilde{\Psi}_{0}$ решений уравнения
\[
\hat{L}_{0} \psi_{0}=0 .
\]

Будем предполагать, что операторы $\hat{F}$ и $R$ действуют как интегральные операторы на $\widetilde{\Psi}_{0}$. Все дифференциальные операторы рассматриваются теперь по модулю оператора $\hat{L}_{0}$, то есть с точностью до добавления произвольного оператора вида $\hat{C} L_{0}$.

Пусть интегральный оператор $\hat{F}$ с гладким ядром переводит функции из $\widetilde{\Psi}_{0}$ снова в $\widetilde{\Psi}_{0}\left(F: \widetilde{\Psi}_{0}=\widetilde{\Psi}_{0}\right)$. Тогда очевидно
\[
\left(\widehat{L}_{0} \hat{F}-\hat{F \hat{L}_{0}}\right)\left|\psi_{0}\right\rangle=\hat{L_{0}} \hat{F}\left|\psi_{0}\right\rangle=0 \quad(\psi, \subseteq \tilde{\Psi}) .
\]

Пусть $1+\hat{K}^{+}$- правый вольтерровский фактор оператора $F$. Рассмотрим одетый по формуле (7.40) оператор $\mathcal{L}$. Из формулы (7.46) следует, что
\[
\left[\widehat{L}\left(1+\hat{K}^{+}\right)-\left(1+\hat{K}^{+}\right) \hat{L}_{0}\right]\left|\psi_{0}\right\rangle=\hat{L}\left(1+\hat{K}^{+}\right)\left|\psi_{0}\right\rangle .
\]

Таким образом, функции вида $\Psi=\left(1+K^{+}\right)\left|\psi_{0}\right\rangle$ представляют собой решения уравнения (7.120), что и требовалось.

Выпишем теперь явный вид условия (7.134). Оно эквивалентно условию
\[
\hat{L}_{0} \hat{F}=\hat{G} \hat{L}_{0}^{\dagger},
\]

где $G$ – некоторый интегральный оператор, или двум условиям на ядра
\[
\begin{array}{l}
M_{0}\left(\frac{\partial}{\partial z}\right) F\left(z, z^{\prime}\right)=G\left(z, z^{\prime}\right) M_{0}^{+}\left(\frac{\partial}{\partial z^{\prime}}\right), \\
M_{0}\left(\frac{\partial}{\partial z}\right) \frac{\partial F}{\partial x}\left(z, z^{\prime}\right)+M_{1}\left(\frac{\partial}{\partial z}\right) F\left(z, z^{\prime}\right)=G\left(z, z^{\prime}\right) M_{1}^{+}\left(\frac{\partial}{\partial z^{\prime}}\right) .
\end{array}
\]

Пара уравнений (7.136) заменяет уравнение (7.44).
Аналогичным образом уравнение (7.49) заменяется на уравнение
\[
\begin{array}{c}
\frac{\partial F}{\partial t}+\hat{A_{0}} F-F \hat{A}_{0}^{\dagger}=R \hat{L_{0}}, \\
R=\sum_{k=0}^{n} G_{k} \frac{\partial^{k}}{\partial x^{k}},
\end{array}
\]

которое также легко может быть расписано в виде системы уравнений для ядер $F$ и $G_{k}$.

Приведем теперь явные формулы одевания оператора $\mathcal{L}$. Пусть
\[
\hat{M}_{0}=l_{0} \frac{\dot{\partial}}{\partial z^{m}} ; \quad \hat{M}_{1}=0,
\]

тогда
\[
\begin{array}{l}
\hat{L}_{0}=l_{0} \frac{\partial^{m}}{\partial z^{m}}+u_{1} \frac{\partial^{m-1}}{\partial z^{m-1}}+\ldots, \\
\hat{L}_{1}=v_{1} \frac{\partial^{m-1}}{\partial z^{m-1}}+\ldots \\
u_{1}=l_{0} K(z, z, x, t)-Q(z, z, x, t) l_{0}, \\
v_{1}=\frac{\partial}{\partial x} K(z, z, x, t) .
\end{array}
\]

Здесь ядро $Q$ есть решение уравнения
\[
\hat{L}_{0} \hat{K}=Q \hat{M}_{0}^{+} .
\]

Аналогичные формулы легко (хотя и путем громоздких вычислений) можно получить для оператора $\hat{A}$. Эти формулы позволяют в принципе исследовать уравнения типа (7.121) с той же полнотой, что и уравнения, допускающие $\hat{L}-\hat{A}$-пару.

Заметим, что в одевание оператора $\widehat{M}_{0}$ входят только произ. водные по $z$ от величин $\xi_{i}(z, x, t)$, но не сами эти величины.

Categories

1
Оглавление
email@scask.ru