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

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

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

Рассмотрим задачу на собственные значения
\[
\begin{array}{l}
v_{1 x}+i \zeta v_{1}=q(x, t) v_{2}, \\
v_{2 x}-i \zeta v_{2}=r(x, t) v_{1}, \quad-\infty<x<\infty .
\end{array}
\]

В этом разделе будут описаны свойства данных рассеяния для (6.16), когда оба потенциала $q(x, t)$ и $r(x, t)$ абсолютно интетрируемы на оси $(-\infty, \infty)$. Определим решения $\tilde{\varphi}(x, t, \zeta)$, $\varphi(x, t, \zeta), \bar{\psi}(x, t, \zeta), \psi(x, t, \zeta)$ по их асимптотическим свойствам (6.18), которые перечислены ннже в виде таблицы. Для ( $\varphi, \bar{\varphi})$ асимптотика задается на $-\infty$, а для $(\psi, \bar{\psi})$ на $+\infty$. Так как только два из четырех решений могут быть линейно независимыми, то при вещественных $\zeta$ имеются следующие соотношения:
\[
\begin{array}{ll}
\bar{\varphi}=a \bar{\psi}+b \psi, & \psi=\bar{b} \varphi-a \bar{\varphi}, \\
\ddot{\varphi}=-\bar{a} \psi+\bar{b} \bar{\psi}, & \bar{\psi}=\bar{a} \varphi+b \bar{\varphi} .
\end{array}
\]

Из свойств вронскиана для $\varphi$ и $\bar{\varphi}$ и их поведения на $-\infty$ вытекает, что $a \bar{a}+b \bar{b}=1$.

Подробно свойства этих функций изложены в работах [6.23], [6.59], [6.63]. Здесь приводятся лишь наиболее важные из них.
1) Если $q(x, t)$ и $r(x, t)$ абсолютно интегрируемы, то $\varphi e^{i \xi x}$, $\boldsymbol{\psi} e^{-i i^{6} x}, a(\zeta, t)=\varphi_{1} \psi_{2}-\mathcal{\varphi}_{2} \psi_{1}$ ( соответственно $\bar{\varphi} e^{-i \zeta x}, \bar{\psi} e^{i \zeta x}, \bar{a}(\zeta, t)=$ $=\bar{\varphi}_{1} \bar{\psi}_{2}-\bar{\varphi}_{2} \bar{\psi}_{1}$ ) аналитичны в верхней (нижней) полуплоскости $\zeta ; b(\zeta, t), \bar{b}(\zeta, t)$ определены для вещественных $\zeta$. Если существуют интегралы $\int_{-\infty}^{+\infty}|x|^{n} q(x, t) d x$ и $\int_{-\infty}^{+\infty}|x|^{n} r(x, t) d x$, то $b$ и $\overline{6}$ дифференцируемы $n$ раз. Более того, если $q(x, t)$ и $r(x, t)$ финитны, то все величины аналитично продолжаются на всю комплексную область параметра $\zeta$. В частности, $b(\zeta, t)$ и $[\bar{b}(\zeta, t)]$ определены в точках дискретного спектра (6.16).
2) Поскольку $a(\zeta, t)=\varphi_{1} \psi_{2}-\varphi_{2} \psi_{1} \quad$ (соотвественно $\quad \vec{a}=$ $=\bar{\varphi}_{1} \bar{\psi}_{2}-\bar{\varphi}_{2} \psi_{1}$ ) аналитична в верхней (нижней) полуплоскости, то нули этой функции соответствуют таким значениям $\zeta_{k}\left(\bar{\zeta}_{k}\right)$, для которых $\varphi(\bar{\varphi})$ пропорционально $\psi(\bar{\psi})$ при всех $x$. Функции $\varphi$ и $\boldsymbol{\text { п пи }} \operatorname{Im} \zeta>0$ убывают на $-\infty$ и $+\infty$ соответственно, поэтому величинам $\zeta_{k}$ отвечают ограниченные собственные функции. Запишем $\varphi\left(\zeta_{k}, t\right)=b_{k}(t) \psi\left(\zeta_{k}, t\right), \quad \bar{\varphi}\left(\bar{\zeta}_{k}, t\right)=\bar{b}_{k}(t) \bar{\psi}\left(\bar{\zeta}_{k}, t\right)$. Если $q$ и $r$ финитны, то $b\left(\zeta_{k}, t\right)=b_{k}(t)$, а $\bar{b}\left(\bar{\zeta}_{k}, t\right)=\bar{b}_{k}(t)$. Аналитичность $a(\zeta, t)$ (или $\bar{a}(\bar{\zeta}, t)$ ) и то, что они стремятся к единице в соответствующей полуплоскости, обусловливает конечность $N$ и $\bar{N}$ – количеств дискретных собственных значений $\left\{\zeta_{k}\right\}_{k=1}^{N}$ и $\left\{\bar{\zeta}_{k}\right\}_{k=1}^{\bar{N}}$. Мы предполагаем, что ни одно из собственных значений не лежит на вещественной оси. Читателю может быть полезно проверить некоторые из сделанных выше утверждений на примере
\[
-r(x, 0)=q(x, 0)=\left\{\begin{array}{ll}
0, & x<0, \quad x>L, \\
Q, & 0<x<L .
\end{array}\right.
\]
3) Набор параметров $S=\left\{\left\{\zeta_{k}, b_{k}\right\}_{k=1}^{N}, \quad\left\{\bar{\zeta}_{k}, \bar{b}_{k}\right\}_{k=1}^{\bar{N}}, a(\zeta, t)\right.$, $b(\zeta, t), \bar{a}(\zeta, t), \bar{b}(\zeta, t)\}$ называется данными рассеяния. Оказывается, что для восстановления $r$ и $q$ достаточна часть данных рассеяния. Соответствующие формулы даны в [6.23], [6.63] и требуют задания либо
\[
S_{+}=S_{+}\left\{\left\{\zeta_{k}, \gamma_{k}\right\}_{k=1}^{N},\left\{\bar{\zeta}_{k}, \bar{\gamma}_{k}\right\}_{k=1}^{\bar{N}}, \frac{b}{a}(\xi, t), \frac{\bar{b}}{\bar{a}}(\xi, t), \xi=\xi^{*}\right\}
\]
(где $\gamma_{k}=b_{k} / a_{k}^{\prime}$, $\bar{\gamma}_{k}=\bar{b}_{k} / \bar{a}_{k}^{\prime}$, штрих означает дифференцирование по ५), либо задания
\[
S_{-}=S_{-}\left\{\left(\zeta_{k}, \beta_{k}\right)_{k=1}^{N},\left(\bar{\zeta}_{k}, \bar{\beta}_{k}\right)_{k=1}^{\bar{N}}, \frac{\vec{b}}{a}(\xi, t), \xi=\xi^{*}\right\},
\]

где $\beta_{k}=1 / b_{k} a_{k}^{\prime}, \bar{\beta}_{k}=1 / \bar{b}_{k} \bar{a}_{k}^{\prime}$. Произвольное задание $S_{-}$и $S_{+}$не всегда приводит к абсолютно интегрируемым и единственным потенциалам $r$ и $q$ [6.63]. Это указывает на необходимость ограничений на множество данных (например, таких, какие были найдены для начальных данных рассеяния в случае $\left.r(x, 0)= \pm q^{*}(x, 0)\right)$.
4) В работе [6.63], а также в настоящей работе показано, что преобразование потенциалов $q$ и $r$ к данным рассеяния $S$ является каноническим для два-формы $\int_{-\infty}^{+\infty} \delta q \wedge \delta r d x$, т. е. сохраняющим эту форму, и что сопряженные координаты в пространстве данных рассеяния суть
\[
A=A\left\{\left(2 i \zeta_{k}, \ln b_{k}\right)_{k=1}^{N},\left(2 i \bar{\zeta}_{k}, \ln \bar{b}_{k}\right)_{k=1}^{\bar{N}},\left[\frac{1}{\pi} \ln a \bar{a}, \ln b(\zeta)\right]\right\} .
\]

Эти результаты были даны в [6.63]. В настоящей работе они вводятся и доказываются более наглядно и в большей общности. Для некоторых гамильтонианов указанные сопряженные координаты являются переменными типа действие – угол, и соответствующие уравнения тривиально интегрируемы.
5) Ситуация упрощается, если $r$ линейно связано с $q$ или $q^{*}$. Сначала рассмотрим случай $r=\alpha q^{*}$, где $\alpha$ вещественно. Тогда $\bar{\psi}(\zeta, x)=S \psi^{*}\left(\zeta^{*}, x\right), \quad \bar{\varphi}(\zeta, x)=-S \varphi^{*}\left(\zeta^{*}, x\right) / \alpha, \quad \bar{a}(\zeta)=a^{*}\left(\zeta^{*}\right)$, $\bar{b}(\zeta)=-b^{*}\left(\zeta^{*}\right) / \alpha, \quad N=\bar{N}, \quad \bar{\zeta}_{k}=\zeta_{k}^{*}, \quad \bar{b}_{k}=-b_{k}^{*} / \alpha . \quad$ Здесь $S=$ $=\left(\begin{array}{ll}0 & 1 \\ \alpha & 0\end{array}\right)$. Если $r=\alpha q, \alpha$-произвольная вещественная или комплексная константа, $\quad \bar{\psi}(\zeta, x)=S \psi(-\zeta, x), \quad \bar{\varphi}(\zeta, x)=$ $=S \varphi(-\zeta, x) / \alpha, \bar{a}(\zeta)=a(-\zeta), \bar{b}(\zeta)=-b(-\zeta) / \alpha, N=\bar{N}, \zeta_{k}=$ $=-\zeta_{k}, \bar{b}_{k}=-b_{k} / \alpha$. Если $r=\alpha q$, где $\alpha, r, q$ вещественные, то $a^{*}\left(\zeta^{*}\right)=a(-\zeta), b^{*}\left(\zeta^{*}\right)=b(-\zeta)$; кроме того, если $\zeta_{k}\left(\operatorname{Re} \zeta_{k}
eq 0\right)$ есть собственное значение, то – $\zeta_{k}^{*}$ также является собственным значением. В задаче нелинейной оптики единственному собственному значению $\xi_{k}=i \eta_{k}$ отвечает $2 \pi$-импульс, или кинк, а паре собственных значений – $0 \pi$-импульс, или бризер.
6) Имеют место следующие полезные соотношения:
\[
\begin{array}{l}
\gamma_{0} \frac{\partial}{\partial \zeta} \ln a=-i \int_{-\infty}^{+\infty}\left(\frac{\varphi_{1} \psi_{2}+\psi_{1} \varphi_{2}}{a}-1\right) d x, \operatorname{Im} \zeta>0, \\
\int_{-\infty}^{\infty}\left[B\left(\zeta_{1}\right) C\left(\zeta_{2}\right)-B\left(\zeta_{2}\right) C\left(\zeta_{1}\right)\right] d x= \\
=\frac{1}{2\left(\zeta_{1}-\zeta_{2}\right)}\left[2 A\left(\zeta_{1}\right) A\left(\zeta_{2}\right)-B\left(\zeta_{1}\right) C\left(\zeta_{2}\right)-B\left(\zeta_{2}\right) C\left(\zeta_{1}\right)\right]_{-\infty}^{\infty} .
\end{array}
\]

В (6.22) $A, B, C$ удовлетворяют уравнениям
\[
A_{x}=q C+r B, \quad B_{x}+2 i \zeta B=2 q A, \quad C_{x}-2 i \zeta C=2 r A .
\]

Соотношение (6.21), которое выводится из формулы
\[
i\left(u_{1} w_{2}+u_{2} w_{1}\right)=\frac{\partial}{\partial x}\left(-\frac{\partial u_{1}}{\partial \zeta} w_{2}+\frac{\partial u_{2}}{\partial \zeta} w_{1}\right)
\]
(где $\left(u_{1}, u_{2}\right.$ ) и ( $\left.w_{1}, w_{2}\right)$ – решения (6.16)), позволяет выразить гамильтонианы интегрируемых систем как функционалы $r$ и $q$. В (6.32a) будет показано, что вариация (6.21) дает $\delta \ln a=$ $=\int_{-\infty}^{\infty}\left(\delta q \varphi_{2} \psi_{2} / a-\delta r \varphi_{1} \psi_{1} / a\right) d x$. Соотношение (6.22) лежит в основе доказательств соотношений ортогональности между квадратами собственных функций и их сопряженными.
7) Два важных асимптотических соотношения указывают на центральную роль функций $\ln a(\zeta)$ и $\ln \bar{a}(\zeta)$ :
\[
\begin{array}{ll}
\ln a(\zeta) \sim-\sum_{n=1}^{\infty} C_{n} \zeta^{-n}, & \operatorname{Im} \zeta>0, \\
\ln \bar{a}(\zeta) \sim \sum \zeta^{-n} C_{n}, & \operatorname{Im} \zeta<0 .
\end{array}
\]

В работе [6.63] было показано, что функция $\ln a(\zeta)$ может быть рассмотрена и как функционал от $r$ и $q$, и как часть данных рассеяния. При этом было показано, что она порождает класс гамильтонианов, для которых соответствующие потоки интегрируемы. Функционалы $C_{n}$ могут быть вычислены рекуррентным образом. Первые три имеют вид
\[
\begin{array}{l}
C_{1}=\frac{1}{2 i} \int_{-\infty}^{+\infty} q r d x, \quad C_{2}=\frac{1}{(2 i)^{2}} \int_{-\infty}^{+\infty} q r_{x} d x, \\
C_{3}=\frac{1}{(2 i)^{3}} \int_{-\infty}^{+\infty}\left(q r_{x x}-q^{2} r^{2}\right) d x .
\end{array}
\]

Categories

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