Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Одним из наиболее значительных достижений математической физики за последние десять лет явилось открытие Гарднером, Грином, Крускалом и Миурой (ГГКМ) [6.1, 6.2] и Забуски и Крускалом [6.3] нового нелинейного преобразования и солитонов. Это преобразование (обратное преобразование рассеяния) полностью аналогично преобразованию Фурье в линейных задачах. Более точно, оно преобразует зависимую переменную, удовлетворяющую данному уравнению в частных производных, в набор новых переменных, эволюция которых во времени описывается бесконечной последовательностью обыкновенных дифференциальных уравнений. Для специальных классов уравнений в частных производных отвечающие им обыкновенные уравнения разделимы и, следовательно, тривиально интегрируемы. Новое нелинейное преобразование отличается от преобразования Фурье двумя наиболее существенными особенностями. Во-первых, базис не фиксирован (подобно $\exp ( \pm i k x)$ ), а изменяется в зависимости от искомого решения. Во-вторых, спектр (а здесь мы рассматриваем уравнения в частных производных на всей прямой) состоит не только из вещественных волновых векторов $k$, а содержит и конечное число изолированных комплексных волновых векторов. Именно эти комплексные волновые векторы порождают образования, называемые солитонами. Последние вполне нелинейны и не имеют линейных аналогов. Общее решение любого из упомянутых выше классов уравнений в частных производных может быть качественно описано в терминах различных спектральных компонент. Солитон (термин, введенный Забуски и Крускалом) есть уединенная волна, которая локализована и имеет постоянную форму (возможно, она содержит внутренние осцилляции). Ее важнейшая особенность заключается в постоянстве характеристик (амплитуды, скорости, формы, внутренних частот), не изменяющихся даже при столкновениях с какой-либо другой компонентой решения. Эта инвариантность следует из инвариантности соответствующего собственного значения. Единственный эффект взаимодействия сводится к сдвигу положения солитона по отношению к его движению без столкновений. В случае столкновения двух солитонов фазовый сдвиг является простой функцией двух собственных значений. (В неинтегрируемых ситуациях, например, для уравнения $\Phi_{t t}-\Phi_{x x}+\Phi-\lambda \Phi^{3}=0$, уединенная волна решение в виде гиперболического тангенса – разрушается при столкновениях.) Компоненты в пространстве решений, связанные с непрерывным спектром, в общем случае не локализованы, не сохраняют форму и в силу дисперсии убывают алгебраически во времени. Это убывание вполне аналогично поведению на больших временах линейных диспергирующих волн. Тем не менее и в этой компоненте решений есть черты специфически нелинейные, особенно в автомодельной области [6.4]. Одна из основных причин, зызвавших столь широко распространившийся интерес к обратному преобразованию рассеяния, заключается в том, что специальный класс интегрируемых уравнений включает в себя ряд фундаментальных уравнений, которые играют центральную роль во многих разделах математической физики. Решения этих уравнений чрезвычайно важны для общего понимания нелинейных волновых явлений. Для того . чтобы подтвердить сказанное, перечислим некоторые из этих уравнений одновременно с обсуждением истории развития обратного преобразования рассеяния за последние десять лет. Так случилось, что метод обратного преобразования рассеяния был впервые развит при изучении уравнения Кортевега де Фриза которое естественно возникает как главный член аппроксимации во всех консервативных волновых системах со слабой дисперсией и со слабой нелинейностью. Это уравнение было впервые предложено Кортевегом и де Фризом для описания длинных поверхностных волн в поле тяжести, крутизна которых мала и равна приблизительно кубу отношения глубины к длине волны. Волна должна быть достаточно велика, чтобы проявлялись эффекты опрокидывания. С другой стороны, глубина должна быть достаточной, чтобы сказывалась дисперсия. Предположим, что начальное возмущение локализованно. Первоначальное возмущение в рассматриваемой системе разделяется на волны, распространяющиеся вправо и влево аналогично представлению Даламбера решений линейного волнового уравнения. И те и другие распространяющиеся профили, которые теперь разделены, существенно искажаются совместным действием нелинейности и дисперсии. Эволюцию именно этих профилей описывает уравнение (6.1). Существует много естественных постановок, в которых возникает подобная динамика: длинные внутренние волны в тяжелой жидкости [6.5]; ионно-акустические волны в холодной плазме [6.6]; волны вихрей [6.7]; продольные колебания соударяющихся массивных частиц [6.8]. Уравнение (6.1) привлекло внимание Забуски и Крускала [6.3] при исследовании решеток и результатов Ферми-Пасты Улама [6.9] о теплопроводности твердых тел. Второе уравнение, к которому был применен метод обратного преобразования рассеяния носит такой же универсальный характер. В замечательной работе 1972 г. Захаров и Шабат [6.10] показали, каким образом нелинейное уравнение Шрёдингера включается в формализм этого метода. Эти авторы широко использовали идеи Лакса [6.11], который переформулировал первоначальные результаты ГГКМ на операторном языке и нашел несколько интегрируемых уравнений в семействе уравнения Кортевега – де Фриза. Универсальное уравнение (6.2) было получено несколькими авторами в конце пятидесятых и начале шестидесятых годов в различных задачах; оно описывает медденную пространственную и временную эволюцию огибающей $q\left[\varepsilon\left(X-c_{\mathrm{g}} T\right), \varepsilon^{2} T\right]$ почти монохроматического цуга волн в слабо нелинейной, сильно диспергирующей среде ( $X, T$ – вещественные пространственные и временные переменные, $c_{g}$ – групповая скорость) [6.12-6.16]. Весьма общий вывод нелинейного уравнения Шрёдингера содержится в [6.16] и [6.17]. Оно возникает всюду, начиная с задач о модуляции высокочастотных электромагнитных колебаний в средах, в которых коэффициент преломления зависит от амплитуды, и кончая задачами о расплывании огибающей волн в глубокой тяжелой жидкости. Следует отметить, что в неодномерной ситуации волны с линейным законом дисперсии $\omega=c|\mathrm{k}|$ являются сильно диспергирующими; вектор групповой скорости зависит от направления $\mathbf{k}$, и тензор $\partial^{2} \omega / \partial k_{r} \partial k_{s}$ не равен нулю. Одним из наиболее ярких приложений уравнения (6.2) оказывается задача о волнах в глубокой тяжелой воде. Можно показать, что если в (6.2) получается знак минус, то монохроматический цуг волн $q=q(t)$ неустойчив относительно пространственных возмущений (неустойчивость была впервые открыта Бенджамином и Фейром [6.18]), и цуг волн распадается на разделенные локализованные импульсы. В некотором смысле это дает объяснение факта, известного всем занимающимся серфингом – каждая десятая (седьмая, одиннадцатая) волна – наибольшая. Представим себе следующий эксперимент. Пусть на поверхности воды периодическим образом колеблется лопатка (скажем, так, что фурье-спектр колебаний содержит несколько разных частот). Она возбуждает несколько волновых пакетов (ширины $\varepsilon$ ) с различными средними частотами. Так как система сильно диспергирующая, то пакеты распространяются с различными групповыми скоростями и разделятся за время порядка $\varepsilon^{-1}$. На временах порядка $\varepsilon^{-2}$ на каждый пакет одновременно влияют дисперсия (которая стремится разделить пакет) и нелинейность (как и в случае слабо нелинейного осциллятора, нелинейность проявляется в автомодальных взаимодействиях третьего порядка, $\omega+\omega-\omega=\omega$, с интенсивностью $\sim \varepsilon^{2}$ ). Огибающие пакетов $q(x, t)$ модулируются согласно уравнению (6.2). Через некоторое время начальная огибающая $q(x, 0)$ распадается на серию солитонов После того как Захаров и Шабат показали, что метод ГГКМ применим не только к уравненню Кортевега – де Фриза и его эффективность не является просто счастливой случайностью, было вновь исследовано много других уравнений, обладающих важным свойством, общим с уравнениями (6.1)-(6.2)- наличием бесконечного набора интегралов уравнения. Вскоре Вадати было проинтегрировано модифицированное уравнение Кортевега – де Фриза, Метод, использованный в работе АКНС, был новым. Он опирался на спектральный аналог формализма Лакса и делал все необходимые вычисления простыми и алгебраическими. Фактнчески метод естественно обобщал класс интегрируемых уравнений и показывал, как каждое из таких уравнений определяется дисперсионными соотношениями ассоциированных с ним линейных задач [6.23]. Наличие бесконечного набора законов сохранения для уравнения [6.4] было впервые установлено Миурой [6.26], нашедшего замечательное преобразование, связывающее решения уравнений (6.1) и (6.4). Оно имеет место не только для этих уравнений, но и для всех высших аналогов уравнения Кортевега – де Фриза и модифицированного уравнения Кортевега де Фриза [6.23]; соответствие основано на общих дисперсионных соотношениях [6.27]. Наличие бесконечного набора законов сохранения и сами сохраняющиеся величины для уравнений sine-Gordon, sh-Gordon и Қлейна-Гордона были найдены Крускалом [6.28], который показал также, что эти уравнения единственные среди уравнений вида обладающие этим свойством (оказалось, что эти уравнения и единственные интегрируемые). Уравнение sine-Gordon является простейшим уравнением типа (6.6) (обладающим лоренц-инвариантностью), которое интегрируемо и имеет солитонные решения (уравнение sh-Gordon не имеет солитонов). Эти свойства указывают на связь уравнения с моделями теории поля. Уравнение sine-Gordon встречается во многих задачах, и в разд. 6.8 будет обсуждено, как оно возникает в сингулярном пределе для задачи о распространении когерентного импульса [6.29]. Уравнение, которое описывает последнее явление – это уравнение Максвелла – Блоха. Оно интегрируемо, но не обладает бесконечным набором законов сохранения, кроме как в сингулярном пределе [6.30]. С. уравнением sine-Gordon связана и точно интегрируемая массивная модель Тирринга [6.31] Найденные в этих моделях переменные типа действия и угла позволяют обсуждать и общие черты квантовых моделей [6.31, $6.25]$. Приблизительно в то же самое время параллельное исследование дифференциально-разностных систем было предпринято Флашкой [6.32], проинтегрировавшим уравнения цепочки Тоды где $Q_{n}$ есть координата $n$-й частицы в решетке. Уравнения цепочки Тоды наряду с некоторыми другими моделями чрезвычайно важны для понимания процессов теплопроводности. Идеи Флашки были расширены Мозером [6.33], Калоджеро [6.34], Абловицем и Ладиком $[6.35,6.36]$, которые развили их для разностных уравнений в нескольких измерениях. Эти результаты могут оказаться чрезвычайно важными в теории численного интегрирования. В конце 1973 г. Захаров и Манаков использовали матричные операторы высоких порядков и нашли способ включения в формализм Лакса уравнений трехволнового взаимодействия Эта точно интегрируемая модель развивалась [6.46] при исследованиях новой идеи Бенни [6.47], который предположил, что длинные волны могут порождаться периодической нестабильностью коротких волн (вызванных, скажем, ветром), образующей вместе с длинными волнами резонансную триаду. Этот неполный список чрезвычайно важных уравнений пока зывает широкую применимость и валжность обратного преобразования рассеяния. Можно с уверенностью утверждать, что солитоны вездесущи в природе (в океане, атмосфере, плазме, решетках, сверхпроводниках, сверхтекучих жидкостях, в физике элементарных частиц), по крайней мере в тех случаях, которые в хорошем приближении одномерны. Было предпринято несколько попыток [6.48-6.50] расширить идеи обратного преобразования рассеяния на многомерную ситуацию. В частности, в работе Захарова и Шабата [6.48] была предложена новаторская идея и дан более широкий (в том смысле, что он включал дополнительную пространственную переменную) класс интегрируемых систем. K сожалению, хотя эти авторы могут представить в лаксовой форме, т. е. в виде коммутирующих операторов, много уравнений, однако предлагаемая ими гипотеза, что собственные вектора вспомогательных линейных операторов допускают треугольное представление, не всегда верна (даже для одномерного случая), и ее справедливость существенно зависит от ряда свойств, которыми все собственные вектора не всегда обладают. В настоящее время полная теория рассеяния для более чем одного пространственного измерения не создана. Ряд свойств локальных решений многомерных аналогов хорошо известных уравнений показывает, что добавление лишних пространственных переменных может приводить к неожиданным следствиям. Наиболее ярким примером этого являются результаты Захарова и соавторов [6.51-6.53], которые показали, что двумерное нелинейное уравнение Шрёдингера (в (6.2) следует добавить – $i q_{y y}$ ) обладает тем свойством, что его решения становятся сингулярными за конечное время. Это противоречит интуитивному представлению о том, что дополнительная геометрическая дисперсия в пространствах двух и более измерений должна перевесить эффекты нелинейной фокусировки. На самом деле все не так просто. Следует упомянуть замечательное наблюдение Майлса [6.54, 6.55] (см. также [6.56], [6.57], где содержится обобщение этих идей) о резонансе солитонов в уравнении Қадомцева – Петвиашвили [6.58] (часто называемом слабо двумерным уравнением Кортевега – де Фриза, так как оно предполагает слабое изменение в перпендикулярном пространственном направлении на временах, на которых эффекты нелинейности и дисперсии становятся существенными): Майлс заметил, что сдвиг фазы двухсолитонного решения стремится $к \pm \infty$, если параметры солитонов удовлетворяют определенным условиям резонанса эинейного типа. Это еще раз показывает, что поведение многомерных систем может оказаться необычным. Однако в центре внимания настоящего обзора лежит тесная связь между обратным преобразованием рассеяния и преобразованием Фурье, и поэтому далее будет рассматриваться случай только одной пространственной переменной. Мы следуем идеям, намеченным в [6.59]. Хотя для наших целей подходят весьма разнообразные задачи рассеяния (часть их будет приведена в разд. 6.13), каждая из которых обладает своими специфическими и интересными чертами, в этой статье будут рассматриваться в основном обобщенная задача Захарова – Шабата на собственные значения и уравнение Шрёдингера Ключевыми являются следующие две идеи. Во-первых, инфинитезимальная скорость изменения данных рассеяния может быть выражена через внутренние произведения инфинитезимального изменения потенциала и квадратов собственных функций соответствующей задачи, а также их производных. Эти выражения составляют основу теории возмущений, которая будет описана в разд. 6.12. Во-вторых, квадраты собственных функций образуют базис, и, следовательно, предыдущие соотношения могут быть обращены. При этом скорость изменения потенциала представится в виде разложения по квадратам собственных функций с коэффициентами, которые выражаются через изменения данных рассеяния. Подобные разложения полностью аналогичны разложениям Фурье Следующий вопрос, который будет рассмотрен, связан с описанием максимально широкого класса эволюционных уравнений, интегрируемых преобразованием рассеяния, соответствующим фиксированной задаче на собственные значения. Из сказанного выше следует, что этот вопрос эквивалентен описанию операторов $\Omega$, таких, что действие их на разложение для потенциала сводится к действию по отдельности на каждый член разложения. Для таких операторов уравнение где $\mathbf{u}$ потенциал, интегрируемо. Интегрируемость вытекает из того, что, сравнивая коэффициенты разложений правых и левых частей (6.15), получим систему обыкновенных дифференциальных уравнений для скорости изменения данных рассеяния, выраженную через данные рассеяния и преобразование $\widehat{\Omega}(k)$ оператора $\Omega$, взятые при одном и том же значении волнового вектора $k ; \hat{\Omega}(k)$ называется дисперсионным соотношением. Например, для разложения (6.14) класс интегрируемых уравнений отвечает операторам $\Omega=\partial^{n} / \partial x^{n}$, при этом $\hat{\Omega}(k)=(i k)^{n}$. Оказалось, что существует три различных типа эволюционных уравнений, которые могут быть классифицированы в соответствии с характером дисперсионного соотношения (или соотношений). Первый тип отвечает ситуации, в которой существует единственное дисперсионное соотношение $\widehat{\Omega}(k)$, которое является либо целой функцией, либо отношением целых функций, причем ни один из их полюсов не принадлежит спектру рассматриваемой задачи на собственные значения. В этом случае уравнение в частных производных обладает бесконечным набором интегралов. Қаждый из них порождает, как гамильтониан, поток, для которого остальные интегралы по-прежнему сохраняются. Второй тип эволюционных уравнений возникает, когда имеется два существенно различных дисперсионных соотношения (одно для $q$, другое для $q^{*}$ – его комплексно сопряженного). В этом случае поток необратим, и необратимость как раз и связана с различием дисперсионных соотношений. Частным примером, который будет рассмотрен в этой связи, является задача о распространении когерентного импульса в резонирующей среде. В качестве важного, но, впрочем, сингулярного предела; будет проанализировано, что происходит, когда дисперсионные соотношения стремятся друг к другу и имеют полюс на вещественной оси волновых векторов. Третий тип уравнений будет рассмотрен в случае, когда полюс дисперсионного соотношения $\hat{\Omega}(k)$ совпадает с одним из значений дискретного спектра. В этом случае это собственное значение может двигаться. Соответствующий солитон по-прежнему сохраняет свою индивидуальность, но теперь это изменяющаяся индивидуальность. Принятый в настоящей главе подход – начать с той или иной задачи рассеяния, а затем найти и охарактеризовать подходящим образом все уравнения, интегрируемые с помощью преобразования рассеяния, связанного с этой спектральной задачей. Некоторый прогресс был получен и в обратной постановке задачи. Именно, как по данному эволюционному уравнению установить, интегрируемо оно или нет, а если интегрируемо, то как найти соответствующую задачу на собственные значения? Существуют формальные процедуры, которые являются вариантами идей Уолквиста и Эстабрука (см. [6.60]-[6.62], [6.57]) или основаны на них. Каждая из этих процедур сводится к нахождению нетривиального решения для некоторой алгебры Ли (обычно незамкнутого). Оказывается, что если уравнение интегрируемо, то существует однопараметрическое семейство решений. Соответствующий параметр играет роль собственного значения в задачах рассеяния. Хотя, как уже было сказано, прогресс в этом направлении был достигнут, до сих пор отсутствует приемлемое описание интегрируемых уравнений. Так как большая часть матернала этой главы уже появилась или должна появиться в литературе $[6.59,6.63]$, то в основном настоящая глава представляет собой общий обзор сделанного ранее. Материал разд. 6.11, в котором предложены разложения по квадратам собственных функций уравнения Шрёдингера, является новым и нигде не публиковался.
|
1 |
Оглавление
|