Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике В течение 1960-1967 гг. ряд физических задач повлиял на развитне теории солитонов. Маккол и Хан [1.26, 1.97] изложили теорию самоиндуцированной прозрачности (СИП) и привели экспериментальные результаты, ее подтверждающие. Для огибающей электрического поля, проходящего через среду двухуровневых атомов, они нашли аналитическое решение в виде импульса, имеющего форму гиперболнческого секанса; первоначально такое решение они обнаружили численными методами. Они также открыли распадение оптического импульса на последовательность sech-импульсов и поняли, что последние связаны с $2 \pi$-кинками СГ-уравнения. Однако $N$-кинковое решение (1.22) СГ-уравнения было обнаружено лишь в 1972-1973 гг. $[1.81,1.82,1.98]$. Теорию СИП рассматривают Лэм и Маклафлин в гл. 2. Ранняя работа по СИП принадлежит Ареччи и Бонифацио [1.99]. В 1964 г. Чиао и др. [1.100] получили НУШ при изучении оптической самофокусировки и расщепления оптических пучков. Они нашли решение (1.21) этого уравнения (в виде гиперболического секанса) для поперечного амплитудного профиля одиночной филаменты. Для нейтрального диэлектрика можно привести следующие простые рассуждения [1.22, 1.23]. Скалярный атомный диполь $P(x, t)$, индуцированный скалярным полем $E(x, t)$, для изотропных атомов имеет вид где $\alpha$ и $\alpha_{\mathrm{NL}}$ суть линейная и нелинейная поляризуемости. Уравнение Максвелла, конечно, линейное и имеет вид abla^{2} E-c^{-2} \partial^{2} E / \partial t^{2}=4 \pi n c^{-2} \partial^{2} P / \partial t^{2}, где $n$ есть сглаженная плотность атомных чисел. Ища решение в виде комплексной огибающей, модулирующей несущую волну для $E$, а именно в виде и налагая линейное дисперсионное соотношение $\omega^{2}=c^{2} k^{2}-$ $-4 \pi n \omega^{2} \alpha$, находим В частности, для стационарных решений после масштабного преобразования получим Это двумерное НУШ с пространственными переменными $(x, y)$ и «временем» $z$. Очевидно, что это уравнение неустойчиво [1.101]-решения в двух пространственных измерениях растут до бесконечности за конечное время – но для одного пространственного измерения ( $x$ ) оно сводится к (1.9). Чиао и др. пришли к этому уравнению с помощью нелинейной зависимости диэлектрической постоянной от интенсивности. Лэм и Маклафлин (гл. 2) получили его в другой задаче нелинейной оптики. Гинзбург и Питаевский [1.102], Питаевский [1.103] и Гросс $\left[\begin{array}{l}1.104 \\ 1.105]\end{array}\right]$ нашли (стационарное) уравнение Гросса – Питаевского при изучении сверхпроводимости. Бенджамин и Фейр [1.106] обнаружили неустойчивость волн на глубокой воде, носящую их имена; эта неустойчивость порождается группированием синусоидальных волн в волновые пакеты с солитонными огибающими, управляемыми НУШ. Бенни и Ньюэлл [1.107] изучали НУШ именно в этой связи. Появилось обобщение НУШ, имеющее вид которое применялось в теории кавитонов в плазме, для описания фотонных пузырьков и взаимодействия радиации с плазмой $[1.22,1.23]$. Связь этого уравнения с уравнениями ленгмюровской турбулентности, выведенными Захаровым [1.108], установлена в [1.64]. НУШ было решено Захаровым и Шабатом [1.38] в 1971 г. и впоследствии [1.109] в 1973 г. с помощью первой версии $2 \times 2$-схемы обратной задачи рассеяния. Эти великолепные работы замечательны количеством содержащихся в них аналитических результатов и новых методов; не последний из них вывод в [1.38] бесконечного набора сохраняющихся плотностей для НУШ методом, применимым ко всем АКНС системам $[1.44,1.45]$ с задачей рассеяния $2 \times 2[1.42,1.69]$. Принципиальная важность этой работы, однако, состояла в демонстрации того, что метод обратной задачи рассеяния [1.1], предназначенный для решения уравнения КдФ, пригоден не только для этого уравнения. Нам кажется, что в качестве введения в метод обратной задачи рассеяния было бы полезно описать открытие этого метода для уравнения КдФ, следуя изложению Крускала [1.110], и сейчас мы это сделаем. В 1955-1965 гг. Крускал иғтересовался повторяемостью, наблюдаемой в одномерных ангармонических решетках – задачей Ферми – Пасты – Улама (ФПУ) [1.12]. Это привело Забуски и Крускала [1.2] к исследованию уравнения, полученного для кубической нелинейности в континуальном пределе, где параметр $\varepsilon$, задающий величину нелинейности, порядка $1 / 10$. Ища римановы инварианты линейной задачи $y_{t t}=y_{x x}$, а именно они свели (1.74) к простой волке Характеристики этого уравнения суть $d x / d \tau=u=$ const. Их пересечение означает наличие ударных волн у уравнения. Его можно проинтегрировать преобразованием годографа, получив решение $u=u(x-u t$ ), включающее ударную волну (скорость $u$ велика там, где возмущение и велико). При возврате к дискретной решеточной модели была введена дисперсия. В результате получилось где $\Delta x$ есть постоянная решетки, и отсюда здесь $\quad \delta^{2} \equiv \Delta x^{2} / 12 \varepsilon$. При $\Delta x \sim 1 / 64$ и $\varepsilon \sim 1 / 10$ получим $\delta \approx 0.022$. Численное решение уравнения (1.77) показало [1.2], что при периодических граничных условиях из синусоидальных начальных данных развивается сглаженный прыжок, величина которого достигает амплитуды ударной волны, отвечающей выбранному малому $\delta^{2}$. Затем профиль разбивается на пики, столкновительные свойства которых побудили Забуски и Крускала [1.2] назвать их солитонами. Чтобы охарактеризовать поведение решения при переходе через прыжок, Крускал и соавторы искали законы сохранения. Уравнение (1.77) уже записано в консервативной форме, причем сохраняющейся плотностью служит $T^{1}=u$. Однако $T^{2}=u^{2}$ и $T^{3}=2 u^{3}-u_{x}^{2}$ также являются сохраняющимися плотностями. Миура и др. [1.67] нашли 10 полиномиальных сохраняющихся плотностей для уравнения КдФ в форме (1.3) и доказали существование бесконечного числа нетривиальных $T^{r}$. Каждый член $\Pi u_{i}^{a_{j}}$ в $T^{r}$ (где $u_{j}$ – снова $j$-я производная) имеет в этом случае ранг $r=\sum_{j}(1+j / 2) a_{j} ; T^{10}=u^{10} / 10-$ $-36 u^{7} u_{1}^{2} \ldots+419904 u_{8}^{2} / 12155$ имеет ранг 10 и содержит 32 члена [1.67]. ФПУ рассмотрели также решетку с ангармоничностью не третьей, а четвертой степени. При этом получается $y_{t t}=y_{x x}(1+$ $+\varepsilon y_{x}^{2}$ ) и, следовательно, модифицированное уравнение КдФ У него также есть законы сохранения. Миура [1.62] нашел преобразование $u=v^{2}+\sqrt{-6} v_{x}$, связывающее их. Множитель $\sqrt{-6}$ не создает трудностей: преобразование Миуры [1.62] $u=v^{2}+v_{x}$ это ПБ (1.44), нормированное так, чтобы связать КдФ и модифицированное КдФ, записанные соответственно следуюіщим образом: Преобразование Риккати $v=\partial(\ln \psi) / \partial x$ линеаризует $v^{2}+v_{x}$ и $u=\psi_{x x} / \psi$. Преобразование Галилея оставляет уравнение $u_{t}-u u_{x}+u_{x x x}=0$ без изменений. Следовательно, в результате получим $u \rightarrow u+\lambda=\psi_{x x} / \psi$ и задачу на собственные значения для уравнений Шрёдингера Далее, подставляя $u=\psi_{x x} / \psi-\lambda$ в уравнение КдФ (1.79a), получим [1.1]: причем [1.1] $D$ обращается в нуль для $\lambda>0$, тогда как $C$ можно обратить в нуль с помощью нормировки собственных функций связанных состояний. Поскольку $u \rightarrow 0$ при $|x| \rightarrow \infty$, то собственная функция $\psi_{n}$, отвечающая $\lambda_{n}>0$, принимает вид то $a(k, t)$ есть коэффициент прохождения, $b(k, t)$ – коэффициент отражения, причем $\left|a^{2}\right|+\left|b^{2}\right|=1$. Так как спектр при $\lambda<0$ непрерывен, то $\lambda$ можно выбрать так, чтобы $\lambda_{t}=0$ также и в этом случае. Подстановка ( $1.83 \mathrm{a}, \mathrm{b})$ в (1.80) дает $D=0$, $C=4 i k^{3}$ и два уравнения, из которых легко получить Ключевой момент состоит в том, что данные рассеяния $a, b$, $c_{n}$ и $\lambda_{n}$ позволяют реконструировать значение $и$ для любого времени $t$. Пусть $K(x, y)$ при $y \geqslant x$ есть решение уравнения Гельфанда – Левитана [1.111, 1.112] где Тогда Процедура решения уравнения КдФ (1.79a), т. е. уравнения КдФ (1.1), тем самым состоит в следующем: II) вычислить временную эволюцию данных рассеяния, как указано выше; В частности, при отсутствии отражения $b(k, 0)=0$, и решение становится $N$-солитонным, соответствующим формулам (1.16) (хотя и в другом масштабе). Это замечательное открытие послужило отправной точкой всей теории солитонов, за единственным исключением прямых методов, которые разработали Хирота $[1.33,1.81]$ (см. также гл. 5) и в меньшей степени Кодри [1.82]. Точная связь этих методов с методом обратной задачи рассеяния пока не установлена, хотя, конечно, ищутся одни и те же $N$-солитонные решения. Здесь уместно объяснить некоторые термины. Процедуру (I) иногда называют прямым преобразованием рассеяния или прямым спектральным преобразованием. Процедуру (III) называют обратным преобразованием рассеяния или обратным спектральным преобразованием. Вся процедура в целом называется методом обратной задачи рассеяния или методом обратного спектрального преобразования. Мы в основном пользуемся выражением «метод обратной задачи рассеяния» или «метод обратной задачи». Он рассматривается с различных точек зрения по крайней мере в пяти главах настоящей книги. Мы надеемся, что вызванное этим обстоятельством пересечение тематики будет скорее помогать читателю, чем раздражать его. Разд. 1.4 задуман как введение в метод, который более подробно изложен А. Ньюэллом в гл. 6 и (в несколько иной трактовке) В. Е. Захаровым в гл. 7.
|
1 |
Оглавление
|