Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике (i) Введение. Целью этого раздела будет ответ на вопрос: является ли данное уравнение интегрируемым, и если да, то каково естественное представление, в котором интегрируемость почти очевидна? При ответе на этот вопрос принимаются во внимание два ведущих принципа, приобретенные на основании десятилетнего опыта. Первый состоит в том, что солитонные уравнения возникают как условия интегрируемости линейных систем. Второй заключается в том, что каждое солитонное уравнение принадлежит бесконечному семейству коммутирующих потоков. Поэтому сначала мы должны попытаться написать нелинейное уравнение как условие интегрируемости пары линейных систем $V_{x}=$ $=P V, V_{t}=Q V$ с помощью подходящего выбора $P$ и $Q$. Этот шаг приведет к выражениям для зависимости $P$ и $Q$ от зависимой переменной нелинейного уравнения и их производных, а также к бесконечному набору коммутационных соотношений. Дальнейшие ограничения на $P$ и $Q$ возникают из требования коммутируе- мости бесконечной последовательности возможных $Q$. Это второе требование прямо приводит к выбору алгебры Каца-Муди в качестве фазового пространства. В случае иерархии АКНС ока- зывается, что матрицы коэффициентов являются элементами $\mathrm{sl}(2, C)$ бесконечномерной алгебры петель, в которой каждый базисный вектор может быть выписан как произведение одного из базисных векторов из $\mathrm{sl}(2)$ и комплекснозначного параметра $\zeta$, возведенного в целую степень. Полная алгебра Каца – Муди $\widetilde{\mathrm{sl}}(2)=\widetilde{\mathrm{sl}}(2)+$ $+C Z+\overparen{C D}$ содержит центр и производную, роль которой будет обсуждаться в разд. 51 . Насколько нам известно, здесь впервые бесконечная алгебра, построенная методом Уолквиста – Эстабрука, получила интерпретацию в рамках подхода Каца – Муди. Попытаемся написать эти уравнения как условие интегрируемости пары линейных уравнений Здесь под $P$ и $Q$ мы понимаем иатрицы произвольного порядка, коэффициенты которых зависят от $q, r$ и их производных. Мы можем взять (5.3), (5.4) в нелинейном виде $V_{x}=F(V), V_{t}=$ $=G(V)$, в этом случае коммутатор в (5.2) был бы общей скобкой Ли, но до сих пор во всех случаях более удобно было брать линейное представление соответствующей алгебры. Мы начнем с простейшего предположения, что $P$ зависит только от $q$ и $r$. Если это так, то она должна зависеть от этих переменных линейным образом, как показывают следующие соображения. Если $P=P(q, r)$, из (5.1) мы имеем $P_{t}=$ $=(i / 2) P_{q}\left(q_{x x}-2 q^{2} r\right)-(i / 2) P_{r}\left(r_{x x}-2 q r^{2}\right)$, где индексы обозначают частные производные. Для того чтобы скомпенсировать эти слагаемые в (5.2), матрица $Q$ должна зависеть от $q_{x}, r_{x}, q, r$, причем $Q_{x}=Q_{q} q_{x}+Q_{r} r_{x}+Q_{q_{x}} q_{x x}+Q_{r_{x}} r_{x x}$. Компенсация членов с $q_{x x}, r_{x x}$ приводит к уравнениям $Q_{q_{x}}=(i / 2) P_{q}, Q_{r_{x}}=-$ – $(i / 2) P_{r}$, которые после интегрирования дают $Q=(i / 2) P_{q} q_{x}$ – (i/2) $P_{r} r_{x}+Q(q, r)$. Тогда $Q_{x}=(i / 2) P_{q} q_{x x}-(i / 2) P_{r} r_{x x}+$ $+(i / 2) P_{q q} q_{x}^{2}-(i / 2) P_{r r} r_{x}^{2} \quad$ плюс члены, которые могут быть лишь линейными по $q_{x}, r_{x}$. Поскольку коммутатор содержит члены, самое большее пропорциональные $q_{x}, r_{x}$, мы должны иметь равенство $P_{q q}=P_{r r}=0$, которое означает, что $P(q, r)$ может иметь вид $-i H+q E+r F+q r G$. Однако, как может быть легко проверено, $G$ коммутирует со всеми другими элементами (так как коэффициенты при $q^{2} r_{x}, r^{2} q_{x}$ и $r q_{x}-q r_{x}$ должны обратиться в нуль) и поэтому принадлежит центру. По этой причине она не дает никакого вклада в коммутатор уравнения (5.2) и является просто проявлением закона сохранения $P_{t}=Q_{x}$ (уравнение (5.2) без коммутатора), который в данном случае имеет вид ( $q r)_{t} G=$ $=(i / 2)\left(r q_{x}-r_{x} q\right)_{x} G$. Так как эта информация уже содержится в уравнениях, мы будем без потери общности просто опускать этот элемент. и с учетом (5.1) уравнение (5.2) преобразуется в Теперь решим уравнение (5.6) относительно $Q$; сначала запишем $Q=(i / 2) q_{x} E-(i / 2) r_{x} F+\bar{Q}(q, r)$. Затем, собирая полные производные по $x$ из коммутатора, определим $\bar{Q}=q E_{1}+r F_{1}-$ – $(i / 2) q r H_{0}-i \mathscr{H}_{2}$, где $H_{0}, E_{1}, F_{1}$ заданы формулами и – $і$ Н̈ $_{2}$ – это просто постоянная матрица – константа интегрирования. Поэтому выполняется равенство обеспечивающее соотношение Приравнивая коэффициенты при $q^{2} r, q r^{2}, q^{2}, r^{2}, q r, q, r, 1$, мы находим, что \[ Здесь необходимы некоторые заиечания. и и мы определяем Эта алгебра допускает хорошо известное представление Искусственное замыкание является средством, с помощью которого Уолквист и Эстабрук в контексте уравнения Кортевега – де Фриза пришли к выражению для $P$ и $Q$, и именно в этом направлении действовали последующие авторы [97]. Теперь мы вновь займемся исследованием таблицы, не делая никаких предположений о замыкании. В табл. 2 числа в правых углах клеток означают: 1 – по определению; 2 – непосредственный вывод из (5.10); 3 – следствие (5.10) и тождеств Якоби. В качестве упражнения по применению тождества Якоби я предлагаю читателю завершить заполнение таблицы. Заметим, что если элементы равны нулю, то элементы $H_{p}, E_{q}, F_{r}$ подчиняются соотношениям таблица 2 зис $\mathrm{sl}(2)$. Однако непосредственно из нелинейного уравнения Шрёдингера само по себе не следует, что $X_{j}=0, j=1,2, \ldots$. Ясно, что такой выбор совместим с (5.13), однако не является обязательным. Причина того, что $X_{j}=0, j=1,2, \ldots$, связана со вторым определяющим принципом, а именно требованием, чтобы уравнение (5.1) принадлежало бесконечному набору коммутирующих потоков. Однако, прежде чем наложить это условие, мы будем исследовать алгебру, генерируемую $n$-м уравнением иерархии АКНС. где $a_{n}, b_{n}$ и $c_{n}$ определены итеративным образом из Константа интегрирования для $a_{s}$ выбрана нулем. Мы предположим и затем проверим, что Мы хотим выбрать $P, Q^{(n)}$ так, чтобы (5.14) являлось условием интегрируемости пары уравнений Опять же можно обосновать выбор откуда (5.16) представимо в виде Непосредственно проверяется, что мы можем записать где Для того чтобы из (5.20) получить (5.21), мы должны определить заметим, что $\left[b_{n} E+c_{n} F, q E+r F\right]=-a_{n x} H_{0}$, и используем (5.15a,b) с $s=n-1$. Кроме того, функциональная независимость $a_{n} q, a_{n} r$ налагает условие Далее, уравнение (5.21) представляет собой попросту уравнение (5.20) в других обозначениях, поэтому можно повторить процесс и получить где и со следующими наложенными соотношениями. По определению $\left[H, E_{n-s}\right]=2 E_{n-s+1}, \quad\left[H, F_{n-s}\right]=-2 F_{n-s+1}, \quad\left[E, F_{n-s}\right]=H_{n-2}$, в то время как коэффициенты при $a_{n-s} q, a_{n-s} r, a_{n-s}, q b_{n-s}, r c_{n-s}$ дают для $s=n, \ldots, 3$ Из этого факта, что $r b_{n-s}-q c_{n-s}=a_{n-s x}$, мы находим Используя тождества Якоби, определяем, что при всех $p+q \leqslant$ $\leqslant n-3$ все остальные скобки этого порядка – нули. Причина, по которой мы не можем продолжить таблицу, состоит в том, что при $s=2$ мы сталкиваемся с аномальным поведением, описанным в предположении 2. Решая (5.26), находим где на новые элементы наложены следующие ограничения: \[ Заметим, что если $n=2, E_{n-2}=E_{0}=E, F_{n-2}=F_{0}=F$ и (5.31) сводится к (5.10). Так же как в случае $n=2$, тождество Якоби приводит к тому, что $\left[H, H_{n-2}\right]=0$ и $\left[E, F_{n-1}\right]=\left[E_{r}, F_{s}\right]=$ $=\left[E_{n-1}, H_{n-1}\right], r+s=n-1$. Точно так же, как при $n=2$, мы можем бесконечно расширять эту алгебру, определяя новые элементы согласно правилу Полученная алгебра бесконечномерна и содержит в себе $\tilde{\mathrm{sI}}(2)$, но по-прежнему оставляет неспределенными элементы Эти условия означают, что элементы $H_{p}, E_{q}, F_{r}$ удовлетворяют таблице коммутаторов, общей для $n=2$, 3 ; а именно, мы находим, что $\left[E, E_{1}\right]=\left[F, F_{1}\right]=0$ (условие, необходимое при $n=2$, но не для $n=3$ ) и $\left[H, H_{1}\right]=0$ (наложенное при $n=3$, но не для $n=2$ ). Поэтому таблицей $n=2,3$ является $\widetilde{\operatorname{si}}(2)$, за исключением того, что $\left[H, H_{j}\right]$ при $j \geqslant 2$ неопределен. Далее, требуя, чтобы коммутировали $n=2,3,4$, находим, что $\left[E, E_{2}\right],\left[F, F_{2}\right]$, неопределенные таблицей $n=4$, сейчас, так же как $\left[H, H_{2}\right]$, должны быть равны нулю. В общем случае условие коммутируемости потоков имеет вид Продолжая процесс, на $n$-м шаге мы находим, что включение $n$-го уравнения иерархии $\mathrm{AKHC}$ в семейство коммутирующих потоков обращает в нуль коммутатор $\left[H, H_{n-2}\right]$, оставшийся неопределенным таблицей, общей для $r=2, \ldots, n-1$. Коммутаторы $\left[E, E_{n-2}\right],\left[F, F_{n-2}\right]$, также оставшиеся неопределенными при $r=n$, сейчас равны нулю в силу того, что они нулевые для расширенных таблиц с $r=2, \ldots, n-1$. Сейчас ясно, что в пределе $n \rightarrow \infty$ элементы $H, H_{p}, E_{q}, F_{r}$ удовлетворяют соотношениям Коммутаторы элемента $H$ являются теми же, что и для $H_{1}$. посредством анализа эволюции $Q=\lim _{j \rightarrow \infty} \zeta^{-i} Q^{(j)}$ (где $\zeta-$ градуирующий параметр). На данном этапе также должно стать ясно, что можно ослабить требование линейности вспомогательных уравнений $V_{t_{j}}=$ $=Q^{(j)} V$. Линейность является просто следствием того факта, что мы всегда можем найти линейное представление алгебры $\widetilde{\mathrm{sl}}(2)$. В данном случае оно имеет вид Мы могли бы использовать иное представление, например $\zeta^{p}\left(\gamma^{2}(d / d \gamma), \gamma(d / d \gamma), d / d \gamma\right)$, и найти вместо линейных систем $(2 \times 2) V_{t_{j}}=Q^{(j)} V$ последовательность уравнений Риккати для $\gamma=v_{1} / v_{2}$, где $V=\left(\begin{array}{l}v_{1} \\ v_{2}\end{array}\right)$. В заключение отметим, что, хотя целью этого раздела являлось понимание структуры бесконечно расширенных алгебр, порождаемых иерархией АКНС, на практике более удобно сконструировать искусственное замыкание. Однако следует созна- вать, что, сделав это, необходимо проводить различие между элементами $\zeta\left(\begin{array}{rr}1 & 0 \\ 0 & -1\end{array}\right)$ и $\left(\begin{array}{rr}1 & 0 \\ 0 & -1\end{array}\right)$ в том смысле, что мы рассматриваем их как линейно независимые. Только в том случае, когда фазовое пространство рассматривается как бесконечная вереница таких элементов (формальный степенной ряд $Q=$ $=\sum_{r=0}^{\infty} \zeta^{-r}\left(h_{r} H+e_{r} E+f_{r} F\right)$ ), коммутатор $\left[Q^{(k)}, Q\right]$ (5.36) имеет естественную интерпретацию как гамильтоново векторное поле.
|
1 |
Оглавление
|