Последующая история солитонов есть на самом деле история трех нелинейных эволюционных уравнений, а именно уравнений КдФ (1.1), (1.3) или (1.6), нелинейного уравнения Шрёдингера (НУШ)
и уравнения sine-Gordon (СГ-уравнения)
Последнее принимает форму
в переменных светового конуса . Оно становится эволюционным уравнением
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0017.jpg.txt
16
1. Солитон и его история
при наложении граничных условий , , подразумеваемых для (1.11a); в любом случае оно является эволюционным уравнением по отношению к , что и принимается обычно при решении этого уравнения. СГ-уравнение впервые появилось в физике в теории дислокаций [1.21]. Оно описывает распространение вращений, условных или настоящих, в различных физических системах [1.22, 1.23], например распространение флюксонов в джозефсоновских контактах [1.23-1.25] и распространение резонансных ультракоротких оптических импульсов . Некоторые приложения описаны Лэмом и Маклафлином в гл. 2, а также нами в гл. 3.
Нелинейное уравнение Шрёдингера выделяется среди этих трех уравнений тем, что в нем является комплексной, а не вещественной величиной. Оно управляет эволюцией любой слабо нелинейной, сильно диспергирующей квазимонохроматической волны и, в частности, описывает эволюцию волны на глубокой воде [1.28]. КдФ описывает слабонелинейный режим со слабой дисперсией на мелкой воде, тогда как четвертое уравнение, уравнение простой волны
управляет сильно нелинейными недиспергирующими волнами. Как мы увидим, это уравнение также сыграло роль в развитии предмета, однако в отличие от КдФ, НУШ и СГ оно не имеет солитонных решений. Скажем вкратце, что мы понимаем под последними, поскольку они являются предметом всей этой книги.
Уединенная волна (1.5) уравнения КдФ (1.3) есть единственное решение вида , удовлетворяющее граничным условиям при . Забуски и Крускал [1.2] имели дело с периодическими граничными условиями. Тем не менее они сделали замечательное наблюдение, установив, что произвольное начальное возмущение превращается при в набор уединенных волн, каждая из которых имеет форму (1.5), асимптотически хорошо разделенных и движущихся с различными скоростями. Такое поведение в действительности было известно Расселлу [1.3]. Забуски и Крускал выдвинули на первый план другое свойство солитонов, а именно то, что два импульса формы (1.5) при могут столкнуться в области конечных , но выходят из столкновения с неизменными формами и скоростями. Имеется некоторый сдвиг их положений в выражениях (1.5) при (фазовый сдвиг). Этот сдвиг обычно мал, но не всегда [1.29]. Мы примем поэтому в качестве рабочего определения солитона следующее. Солитон — это уединенная волна, сохраняющая свою форму и скорость после столкновения с другой такой уединенной волной,
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0018.jpg.txt
1.2. Определение солитона
17
Эти требования к уединенной волне являются весьма жесткими. Возьмем, например, «уравнение », получившее свое название от плотности гамильтониана — . Энергия ограничена снизу в случае знака минус. В таком виде это уравнение используется как модель в теории поля . Уравнения движения в терминах зависимой переменной суть
Они имеют решение в виде уединенной волны
(знак «十»в (1.13)) или решения типа «кинк» («антикинк»)
(знак «-» в (1.13)). Ни решения (1.14), удовлтетворяющие условиям , ни кинки, удовлетворяющие , и , не обладают требуемыми простыми столкновительными свойствами солитона. Эти решения могут неупруго сталкиваться, сцепляясь или уничтожая друг друга [1.32]; кроме того, в процессе столкновения они всегда испускают некоторое осциллирующее возмущение, или «излучение» [1.32]. С другой стороны, уединенные волны или кинки довольно большого числа двумерных уравнений имеют солитонные столкновительные свойства. Среди них — уравнения КдФ, НУШ, СГ.
Заметим, что солитон (1.5) с параметром будет обгонять второй солитон с параметром . Ясно, что он пройдет через второй солитон, так что асимптотически солитоны поменяются местами. Точно так же набор солитонов уравнения КдФ с параметрами , упорядоченные в последовательность , при станут упорядоченными естественным образом при . Такая интерпретация, однако, субъективна, поскольку можно считать, что солитоны, сохраняя порядок, просто обмениваются энергией, импульсом (и амплитудой) в процессе столкновения. Такое частицеподобное поведение и объясняет происхождение термина «солитон» [1.2].
Вторая интерпретация может быть сохранена, хоть и не в таком простом виде, и в случае столкновения решений типа бризера и кинка СГ-уравнения. Аналитическая форма этих двух решений дается формулами (1.29) и (1.23) соответственно. Само решение типа бризер плюс кинк содержит три параметра и может быть найдено из (1.22). Первое впечатление состоит
в том что бризер проходит через кинк, приобретая лишь
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0019.jpg.txt
18
1. Солитон и его история
фазовый сдвиг. Основное, однако, в этих двух различных, но одинаково разумных интерпретациях состоит в том, что, вопервых, столкновения являются упругими, так что никакого дополнительного возмущения вроде «излучения» в процессе столкновения не возникает, и, во-вторых, решения могут быть найдены аналитически для всех времен с помощью,например, метода обратной задачи.
В качестве примера мы дадим -солитонное решение уравнения КдФ (1.3). Граничные условия суть , и солитонное решение имеет вид
где и -вещественные параметры. Насколько нам известно, решение в такой форме было впервые дано Хиротой [1.33], который использовал прямой метод (см. гл. 5), а не метод обратной задачи. Хирота работал с уравнением (1:1), и его решение получается из (1.16) масштабным преобразованием.
В частном случае
Из (1.16) можно найти, что при
тогда как при
и
где
Таким образом, при имеет вид уединенной волны (1.5), если очень мало или очень велико; в последнем случае, однако, испытывает сдвиг аргумента (фазовый сдвиг) по отношению к первому с.пучаю.
Положим и . Тогда при больший солитон с параметром расположен существенно левее меньшего, имеюшего параметр . В самом деле, для при получим и , в то время как для
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0020.jpg.txt
1.2. Определение солитона
19
при . Можно видеть, что при возрастании от нуля больший солитон проходит через меньший, вызывая сдвиг аргумента . Аналогично для при , тогда как для , и можно видеть, что больший солитон, проходящий через меньший, получает сдвиг аргумента . Анализируя аналогичным образом -солитонное решение, можно найти, что -й солитон приобретает сдвиг аргумента
Таким образом, сдвиг есть сумма сдвигов при парных столкновениях, тогда как , и полный фазовый сдвиг сохраняется. Отсутствие многочастичных эффектов связано [1.34] с наличием высших интегралов движения у уравнения КдФ. Эти интегралы описаны в разд. 1.4. Асимптотическое поведение решений КдФ рассматривалось Гарднером и др. [1.1], а также Гиббоном и Эйлбеком [1.35]. Использованное здесь рассуждение заимствовано нами в основном из работы Уизема [1.36].
Итак, три весьма различных на вид уравнения — КдФ (1.3), НУШ (1.9) и СГ (1.10) или (1.11) — имеют -солитонные решения, в то время как уравненяе таковых не имеет. Уравнение простых волн (1.12) их также не имеет, поскольку оно вообще не имеет решений типа уединенной волны; это уравнение, однако, имеет бесконечннй набор интегралов движения в инволюции [1.37]. Значение последних для солитонных решений будет рассмотрено в разд. 1.4.
Прежде чем идти дальше, сделаем замечание о методе обратной задачи рассеяния для решения нелинейных эволюционных уравнений , поскольку мы думаем, что это будет полезно читателю. Указанный метод и его история описаны в разд. 1.4-1.6. Для тех, кто не слыхал об этом методе раньше, скажем, что его основная идея состоит в следующем: поскольку никакого прямого способа построения по начальным данным обычно нет, можно попытаться связать с данным уравнением некоторую задачу рассеяния с рассеивающим потенциалом . Например, для уравнения КдФ задачей рассеяния является задача на собственные значения для оператора Шрёдингера . Начальное условие отображается с помощью задачи рассеяния на так называемые «данные рассеяния». Далее оказывается, что 9волюция этих данных может быть найдена из нелинейного эволюционного уравнения. Последним шагом является вычис-
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0021.jpg.txt
20
1. Солитон и его история
ление потенциала по данным рассеяния в момент времени . Это может быть сделано с помощью линейных методов так называемой «обратной» задачи. Итак, найдено! Уравнения КдФ, НУШ, СГ-все они могут быть решены этим методом. Однако простейшая задача рассеяния для СГ-уравнения и НУШ — это не задача на собственные значения для оператора Шрёдингера.
Симметрия задачи рассеяния оказывает влияние на форму солитонного решения. Например, односолитонное решение НУШ (1.9), найденное Захаровым и Шабатом с помощью задачи рассеяния , имеет вид
где и — свободные параметры. Это решение представляет собой «солитон огибающей», в котором огибающая, имеющая форму гиперболического секанса, модулирует монохроматическую «несущую волну» числителя. В этом солитоне связь между скоростью и амплитудой, характерная для солитонов КдФ, полностью отсутствует. Метод обратной задачи дает тому ясное объяснение [1.38]. Солитоны описываются связанными состояниями задачи рассеяния; в случае НУШ задача рассеяния допускает комплексные собственные значения + in , причем и оказываются параметрами в (1.21). В противоположность этому собственные значения уравнения ). Итак, параметр определяет амплитуду, а -скорость солитона НУШ (1.21); параметр определяет как скорость, так и амплитуду солитонного решения (1.2) уравнения КдФ.
В случае СГ-уравнения появляются некоторые новые особенности. -солитонное решение этого уравнения имеет вид [1.39]
где и имеют один и тот же знак и где и -свободные параметры. Прежде всего заметим, что односолитонное решение является «кинком»
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0022.jpg.txt
1.2. Определение солитона
21
Если в (1.23) взят положительный знак, то кинк удовлетворяет граничным условиям -кинк) . Имеется также соответствующий антикинк (знак «-»), имеющий асимптотики (-2л антикинк). В противоположность кинкам и антикинкам (1.15) уравнения , кинки и антикинки СГ-уравнения сталкиваются между собой или друг с другом как солитоны. Заметим, что в обоих случаях величина
имеет характер уединенной волны колоколообразной формы, т. е. является настоящим солитоном. Граничные условия для СГ-уравнения есть поэтому , когда , как мы и предполагали для уравнения (1.11).
Двухсолитонное решение представляет собой -кинк:
Асимптотически [1.39]
при , где
В -солитонном столкновении ( -кинк)
Заметим далее, что выбирая в качестве свободных параметров комплексно-сопряженные пары
мы получаем «дышащие» солитоны — бризеры
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0023.jpg.txt
22
1. Солитон и его история
где
В нелинейной оптике это решение называется «0л-импульсом», поскольку в нем меняется от нуля до нуля при изменении от до . Точно так же кинк именуется -импульсом. Такая терминология связана с тем, что наблюдаемой величиной является электрическое поле (в действительности наблюдается интенсивность ). В теории, описанной в гл. 2 , импульс имеет «площадь» , если он представляет собой -кинк; площадь равна нулю, или , если импульс является бризером (1.28).
В произвольной системе отсчета энергия бризера легко вычисляется и равна [1.39]
где . Бризер поэтому имеет массу покоя . Соответствующая энергия -кинка (1.23) равна , а для -кинка (1.25) она есть . Масса кинка поэтому равна 8 . Заметим, что бризер осциллирует с частотой . В системе отсчета представляет собой стоячую волну
осциллирующую с внутренней частотой . Ей соответствует та внутренняя степень свободы, которая при квантовании СГ-уравнения дает нетривиальный дискретный спектр [1.40, 1.42]. Колеман [1.43] дал простое объяснение этому спектру. Другой подход к квантованию СГ-уравнения, идущий от связанных с ним задач статической физики, изложен в гл. 12.
Қак уже отмечалось, бризеры, кинки и антикинки ведут себя как солитоны при столкновениях. СГ-уравнение может быть решено с помощью обратной задачи для системы двух уравнений первого порядка . Уравнения КдФ и НУШ также решаются этим способом . У уравнений, резрешимых посредством схемы обратной задачи рассеяния, предложенной Захаровым и Шабатом [1.38], а также Абловицем, Қаупом, Ньюэллом и Сегуром (АКНС) [1.44, 1.45], не может
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0024.jpg.txt
1.2. Опрсделение солитона
23
быть более сложных солитонов, чем sech (или для уравнения КдФ), кинки и бризеры.
Заметим, что два солитона уравнения КдФ или два кинка СГ-уравнения должны двигаться с различными скоростями (взгляните на выражения (1.16) и, скажем, (1.25)); поэтому любое возмущение, содержащее их, должно распасться. С другой стороны, любое число солитонов НУШ могут двигаться с одной и той же скоростью, и любое число бризеров СГ-уравнения также может иметь одинаковую скорость, которая притом может совпадать со скоростью одиночного кинка или антикинка. Это происходит потому, что скорости бризеров СГ-уравнения определяются из его задачи рассеяния модулями пар комплексных собственных значений ( ); аналогично (сравните с (1.9)) скорость солитона НУШ определяется . Конечно, может существовать любое число различных комплексных собственных значений с заданными или .
Читателю, желающему подробнее узнать о том, как можно быстро выяснить в общих чертах поведение солитонов, взглянув на связанные с ними задачи рассеяния, мы рекомендуем прочитать гл. 6 и 9, например. Мы также рекомендуем ознакомиться с формулами (1.100) и (1.101) настоящей главы и со следующими за ними рассуждениями. Однако и теперь уже ясно, что у уравнения КДФ не может быть никаких решений типа бризеров: собственные значения связанных состояний для этого уравнения лежат на мнииой оси, і , и они не могут встречаться парами. Заметим также, что для задач рассеяния более общего вида солитонные решения могут быть более сложными. Захаров и Манаков [1.46], а также Кауп [1.47] решили задачу о взаимодействии трех волн
(мы приводим здесь только случай затухания ) с различной степенью полноты в 1973 и в 1976 гг. Решение методом обратной задачи требует применения схемы . Система (1.32) недиспергирующая, но она обладает солитонными решениями. Здесь все три суть комплексные волновые пакеты, -константа взаимодействия, суть вещественные постоянные скорости. Число солитонов в процессе рассеяния не сохраняется . В гл. 7 Захаров обсуждает решение задачи -волнового взаимодействия, проявляющее еще более необычное поведение, а в гл. 9 Қалоджеро и Дегасперис описывают «бумероны» и «траппоны», являющиеся простыми солитоңами с причудливыми траекториями.
—————————————————————-
0027_fiz_kol_vol_book18_orig_no_photo_page-0025.jpg.txt
24
1. Солитон и его история
Мы сделали эти разнообразные замечания с целью познакомить читателя с некоторыми элементарными представлениями, связанными с понятием солитона. В оставшейся части главы мы изложим историю вопроса с тем, чтобы ввести некоторые значительно более глубокие математические и физические идеи.