CC BY
53
УДК 534.04:536.12:51-7
СОЛИТОНЫ И МЕТОД ОБОБЩЁННЫХ ПОДСТАНОВОК КОУЛА-ХОПФА
А. Н. Бызыкчи, В. М. Журавлев
Ульяновский государственный университет,
Россия, 432017, Ульяновск, ул. Л. Толстого, 42.
E-mails: azy ,baza@gmail. com, zhvictorm@gmail. com
Рассматривается взаимосвязь между методом обратной задачи и методом обобщённых подстановок Коула—Хопфа. Взаимосвязь этих методов устанавливается на основе сопоставления метода преобразований Дарбу и метода подстановок Коула—Хопфа. Приведены конкретные примеры использования такой взаимосвязи. Рассмотрены новые примеры интегрируемых уравнений.
Ключевые слова: подстановки Коула—Хопфа, точно интегрируемые нелинейные модели, солитоны.
Введение. Одним из наиболее общих и эффективных методов анализа нелинейных уравнений, используемых в прикладных задачах, является метод обратной задачи (МОЗ), имеющий несколько вариантов построения решений. Наиболее важными из них являются метод обратной задачи рассеяния [1] и метод преобразований Дарбу [7]. Параллельно с МОЗ существовал метод подстановок Коула—Хопфа, который возник значительно раньше, чем МОЗ, но в форме лишь одного известного результата, относящегося к уравнению Бюргерса [8]. В 80-х годах прошлого века в результате развития МОЗ была обнаружена некоторая общность между уравнениями, линеаризуемыми с помощью подстановок типа Коула—Хопфа, и МОЗ [9]. Уравнения, интегрируемые с помощью подстановок Коула-Хопфа, впоследствии были названы уравнениями типа Бюргерса и составили достаточно широкий класс интегрируемых уравнений.
В работах [2-6] был предложен метод, позволяющий строить уравнения типа Бюргерса и их решения с помощью обобщённых подстановок Коула— Хопфа (МОПКХ). Метод строится на основе анализа условий совместности некоторой базовой системы линейных уравнений. Однако в отличие от метода обратной задачи МОПКХ опирается не на сами условия совместности, а на дифференциальные следствия из исходной системы уравнений. Как показано в [2-6], эту совокупность базовых дифференциальных соотношений всегда можно дополнить еще одним уравнением, замыкающим систему условий совместности до некоторого нелинейного уравнения типа Бюргерса. Свойства построенного таким образом уравнения типа Бюргерса определяются типом замыкающего уравнения. Например, полная интегрируемость построенного уравнения связана с интегрируемостью замыкающего уравнения, при этом последнее может и не быть линейным. Нелинейность замыкающего уравнения использовалась в работах [2-4] для построения точных решений уравнений вязкой и идеальной сжимаемой жидкости.
В данной работе показывается, что МОЗ можно рассматривать как
Александр Николаевич Бызыкчи, магистрант, каф. теоретической физики. Виктор Михайлович Журавлев (д.ф.-м.н., проф.), профессор, каф. теоретической физики.
МОПКХ с дополнительными ограничениями на вид решений и условием инвариантности формы уравнений при увеличении размерности базовых операторов. Показано, что если не требовать инвариантности формы уравнений, то в качестве решений можно получать точные решения в форме уединенных волн с заданными свойствами, которые не образуют семейства Ж-солитонных решений. Такой подход особенно востребован в современных задачах нелинейной оптики. В данной работе приводятся примеры построения решений из этой области.
1. Базовые соотношения первого порядка. Опираясь на результаты работ [2-6], в качестве исходной системы линейных уравнений рассмотрим уравнения вида
Тх = АТ, Г* = ВТ (1)
относительно одной вспомогательной комплексной функции Т(х,£) двух вещественных переменных х и £ и двух структурных комплексных функции у!(ж,£) и Б(ж,£). Дифференцируя однократно первое уравнение по £, а второе— по х, получаем вместе с ними замкнутую однородную алгебраическую систему четырех уравнений относительно функции Т и трёх первых её производных: Тх, Т* и ТЖ£. Условием совместности этой системы является структурное уравнение
Аг = Вх. (2)
В силу этого все производные функции Т можно выразить рекуррентно через функцию Т или одну любую ее производную по формулам
яп+кгр гр[п,к] _ __
дхпдЪк ’
где
А[п+1,к] = А[п,к] + А[п,к\А, А^к+1^ = А^к] + А^В. (3)
и А!1’0! = А, АМ = В.
К базовой системе (1) можно добавить произвольное интегрируемое, в частности, линейное уравнение для Т, которое в итоге с помощью соотношений
(3) превращается в нелинейное уравнение относительно функций А, В. При этом это уравнение образует замкнутую систему вместе с уравнением (2). В этом случае базовые соотношения (1) можно рассматривать как обобщённые подстановки Коула—Хопфа. Эти подстановки будем называть подстановками первого уровня.
2. Функциональные подстановки и солитоны. Как указывалось во введении, подстановки типа Коула—Хопфа стали изучать в 80-х годах в связи с развитием МОЗ. Такие уравнения, т.е. уравнения, интегрируемые с помощью подстановок типа Коула—Хопфа, с 80-х годов стали называть уравнениями типа Бюргерса. Методы МОПКХ и МОЗ работают с нелинейными уравнениями, отличающимися по форме, но похожими по структуре. В частности, это было продемонстрировано в [2,5], где было показано, что уравнение
^4* = Аххх + 3(АЖ)2 + 3 ААХХ + ЗА2Ах (4)
является уравнением типа Бюргерса и близко по форме модифицированному уравнению Кортевега—де Вриза (МКДВ):
щ — 2\их + 6 u2ux — uxxx = 0, Л = const,
интегрируемому с помощью МОЗ. Как было показано в [2,5], уравнение (4) линеаризуется подстановками (1) при использовании замыкающего уравнения для функции Т следующего вида:
Tt = Тххх. (5)
В связи с этим возникает вопрос: при каких дополнительных условиях это
уравнение переходит в уравнение КДВ или МКДВ? Как оказывается, ответ
на этот вопрос достаточно прост. Для этого функция Т должна удовлетворять дополнительному условию следующего вида:
тхх = АТ. (6)
Действительно, последнее соотношение эквивалентно связи
Ах -\- А2 = Л.
Используя это дополнительное соотношение, легко показать, что уравнение
(4), можно привести к виду
At = Аххх + 3 \АХ — 6 А2Ах,
которое представляет собой уравнение МКДВ. Обобщая этот результат, можно показать, что если в методе обобщённых подстановок Коула—Хопфа использовать не одно, а два замыкающих уравнения, то подстановки дают решение уравнений, интегрируемых с помощью МОЗ. Более того, анализируя саму процедуру построения решений в МОЗ с помощью преобразований Дар-бу, устанавливаем, что замыкающие уравнения (5) и (6) представляют собой уравнения на собственные функции операторов Лакса для затравочного решения уравнения. Базовые же уравнения (1) представляют собой два одевающих оператора, с помощью которых производится преобразование Дарбу затравочных операторов Лакса к «одетым». Единственным, но существенным, ограничением этой схемы является то, что таким способом можно получить лишь односолитонные решения уравнения МКДВ. Тем не менее эта общая схема подсказывает, как нужно модифицировать базовые уравнения, чтобы получать многосолитонные решения в рамках метода функциональных подстановок типа Коула—Хопфа.
3. Матричные уравнения и нелинейное уравнение Шрёдингера. По аналогии со скалярным случаем рассмотрим теперь в качестве базовых уравнений пару матричных уравнений матричной размерности пхп первого порядка
Тх = AT, Tt = ВТ (7)
относительно одной вспомогательной комплексной матричной функции T(x,t) двух вещественных переменных х и t, содержащих в качестве коэффициентов две, вообще говоря, комплексные матричные функции A(x,t) и B(x,t)
той же размерности пхп. Требование, чтобы функция Т(х,£) одновременно обращала в тождество два уравнения (7), накладывает на функции А(х,Ь) и В(х,Ь) ограничение, которое можно выразить в форме одного матричного уравнения
Аь — Вх + [А, В] = О,
совпадающего по форме с уравнением Захарова—Шабата в теории МОЗ, но имеющее несколько иной смысл, в частности, оно не содержит спектрального параметра.
При выполнении (2) все производные функции Т можно выразить через саму функцию Т:
£)п-\-к ^ ^ ^
гр[п,к] _____'т' 'л[пук\гр
дхпд1к ’
где матричные функции Мп,к^ могут быть вычислены рекуррентно по формулам
д[п+1,к\ _ д[п,к\ _|_ д[п,к] д д[п,к+1] _ д[п,к] ^[п,к]^^
с начальными условиями А!1-0! = 1, II0-1] = В.
Для получения интегрируемых уравнений относительно элементов матриц А и В к базовым уравнениям (7) следует добавить дополнительные замыкающие уравнения на функцию Т. Для получения уравнений, принадлежащих к классу уравнений интегрируемых МОЗ, как и в скалярном случае, к базовым уравнениям необходимо добавить два дополнительных уравнения.
В качестве основного примера рассмотрим нелинейное уравнение Шрё-дингера (НУШ). Для построения его решений с помощью подстановок рассмотрим два следующих замыкающих уравнения для функции Т:
гТх = Г)ТХХ + ТА, Тхх = (лТ. (8)
Здесь I), А и ц, — некоторые матрицы, зависящие, возможно, от £.
Используя базовые соотношения, находим, что система уравнений (8) эквивалентна следующим уравнениям на матричные функции А и В:
Л. ^2
гВ = 0(АХ + А ) +ТАТ”1, Ах + А2 = /1 (9)
Исключая из этих уравнений и (2) матричную функцию В, уравнение для А можно привести к следующему виду:
{А1 + г[А, В] = Ь{АХХ + АХА + ААХ) + Ах.
Здесь матрица Л имеет вид
Л = Т\Т~1.
Эта матрица при условии, что А не зависит от х, удовлетворяет уравнениям
дЛ - - п дА г а 1- п , ч
Л=|Л.Л], ж = [в'л|- (10)
Действительно, из (7) следует
(Т~1)х = -Т-гА, (Г”1)* = -Т~1В. (11)
Комбинируя (7) и (11):
ТХ\Т~1 = АТХТ~\ ТХ\{Т~1)Х = -Т\Т~1А,
приходим к уравнениям (10). Используя еще раз (9), полученное уравнение для А приводится к следующему виду:
%Аг = -2ЬА3 + ЬАХХ - АЬ(ь + 2Е>[мА + ЬА(1 + ах- [А, А].
Вследствие выполнения (10) это уравнение принимает окончательный вид
iAt = —21)А3, + ЬАХХ - Аг>[г + 2Ь'цА + ЬА'ц. (12)
Это матричное уравнение содержит кубическую нелинейность и при определённых условиях имеет вид НУШ или его модификаций.
Примером таких условий является специальный выбор матрицы А. Рассмотрим в представлении (7) матрицу А следующего вида:
А = а(х, £)1 + и(х, £)Р + у(х,
Здесь Р = р®р и (^ = q®q — проекционные матрицы с постоянными векторами р и q, ортогональными друг другу (^, р) = 0) и имеющими размерность п. Для простоты достаточно рассмотреть случай п = 2.
Аналогичное представление имеет место и для всех остальных матриц, входящих в базовые и замыкающие уравнения, в частности, для матриц И, Л и /}. В результате линейная часть уравнения (12) сводится к трём уравнениям для функций а, и, V. Рассмотрим нелинейное слагаемое, входящее в это
уравнение. Имеем
А3 = а31 + ^и3р4 + Зсш2р2 + 3 а2и^Р + + Зсш^2 + 3 а2у^С2.
Отсюда видно, что полученная система уравнений относительно функций а,
и, V имеет кубическую нелинейность, аналогичную НУШ.
Как и в скалярном случае, получаемые с помощью подстановок (7) решения при условии, что функция Т удовлетворяет двум замыкающим уравнениям, дают лишь одно- двухсолитонные решения по классификации МОЗ. Однако существенным отличием излагаемого здесь подхода является то, что в его рамках можно получать квазисолитонные решения даже в том случае, когда матрицы А и ц, зависят от £ таким образом, что соответствующее НУШ не является интегрируемым с помощью МОЗ. Такие ситуация важны с точки зрения прикладных задач, например, нелинейной оптики.
Заключение. Развитый в данной работе метод показывает, что МОПКХ при дополнительных условиях оказывается эквивалентным МОЗ, но только для односолитонных (возможно — двухсолитонных) решений, интегрируемых с помощью МОЗ уравнений (солитонных уравнений). В отличие от МОЗ
такой подход дает возможность получать решения уравнений, которые по форме аналогичны солитонным, но имеют такой набор коэффициентов, который допускает лишь некоторый очень ограниченный класс решений. Это означает, что развитый метод обладает более широкой сферой применения. Вместе с тем ограничение, связанное с возможностью получать лишь односо-литонные решения, является существенным и не позволяет утверждать, что такой подход может заменить собой МОЗ. В связи с этим возникает вопрос о возможности построения расширенного варианта данного метода, который бы позволял строить многосолитонные решения уравнений, интегрируемых с помощью МОЗ. Однако решение этой проблемы выходит за рамки данной статьи.
Работа выполнена в рамках федеральных целевых программ «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы» и «Научные и научно-педагогические кадры инновационной России на 2009-2013 год», а также работ в рамках государственного задания Минобрнауки России № 2.1894.2011, гранта для аспирантов Ульяновского государственного университета и при частичной поддержке РФФИ (проект № 11-01-00747-а).
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. В. Е. Захаров, С. В. Манаков, С. П. Новиков, Л. П. Питаевский, Теория солитонов: метод обратной задачи. М.: Наука, 1980. 320 с. [V. Е. Zaharov, S. V. Manakov, S. P. Novikov, L. P. Pitaevskiy, Theory of solitons. The method of the inverse problem. Moscow: Nauka, 1980. 320 pp.]
2. В. М. Журавлев, А. В. Никитин, “Нелинейные уравнения, связанные с уравнениями теплопроводности и д’Аламбера с помощью подстановок типа Коула-Хопфа” // Нелинейный мир, 2007. Т. 5, №9. С. 603-611. [V. М. Zhuravlev, А. V. Nikitin, “On a nonlinear equations associated with heat conduction equation and d’Alembert equation with using Coul-Hopf substitutions” // Nelineyniy mir, 2007. Vol. 5, no. 9. Pp. 603-611].
3. В. М. Журавлев, Д. А. Зиновьев, “Нелинейные уравнения, линеаризуемые с помощью обобщенных подстановок Коула-Хопфа, и точно интегрируемые модели одномерных течений сжимаемой жидкости”// Письма в ЖЭТФ, 2008. Т. 87, №5. С. 314-318; англ. пер.: V. М. Zhuravlev, D. A. Zinov’ev, “Nonlinear equations linearized using the generalized Cole-Hopf substitutions and the exactly integrable models of the one-dimensional compressible fluid flows” // JETP Letters, 2008. Vol. 87, no. 5. Pp. 266-270.
4. В. М. Журавлев, Д. А. Зиновьев, “Метод обобщенных подстановок Коула-Хопфа в размерности 1+2 и интегрируемые модели двумерных течений сжимаемой жидкости” // Письма в ЖЭТФ, 2008. Т. 88, №3. С. 194-197; англ. пер.: V. М. Zhuravlev, D. A. Zinov’ev, “Method of generalized Cole-Hopf substitutions for dimension 1+2 and integrable models for two-dimensional compressible flows” // JETP Letters, 2008. Vol. 88, no. 3. Pp. 164-166.
5. В. М. Журавлев, “Метод обобщенных подстановок Коула-Хопфа и новые примеры линеаризуемых нелинейных эволюционных уравнений” // ТМФ, 2009. Т. 158, № 1. С. 58-71; англ. пер.: V. М. Zhuravlev, “The method of generalized Cole-Hopf substitutions and new examples of linearizable nonlinear evolution equations” // Theoret. and Math. Phys., 2009. Vol. 158, no. 1. Pp. 48-60.
6. В. М. Журавлев, К. С. Обрубов, “Метод обобщённых подстановок Коула-Хопфа в теории конечномерных нелинейных динамических систем” // Вестн. Сам. гос. техн. унта. Сер. Физ.-мат. науки, 2011. №1(22). С. 83-89. [V. М. Zhuravlev, С. S. Obrubov, “Method of general Coule-Hopf substitutions in theory of finite-dimensional dynamical systems” // Vestn. Samar. Cos. Tekhn. Univ. Ser. Fiz.-Mat. Nauki, 2011. no. 1(22). Pp. 83-89].
7. V. B. Matveev, “Darboux transformation and explicit solutions of the Kadomtcev-Petviasch-
vily equation, depending on functional parameters” // Lett. Math. Phys., 1979. Vol. 3, no. 3. Pp. 213-216.
8. G. B. Whitham, Linear and Nonlinear Waves / Pure and Applied Mathematics. New York: John Wiley & Sons, 1974. xvi+636 pp.; русск. пер.: Дж. Уизем, Линейные и нелинейные волны. М.: Мир, 1978. 624 с.
9. С. И. Свинолупов, “Об аналогах уравнения Бюргерса произвольного порядка” // ТМФ, 1985. Т. 65, №2. С. 303-307; англ. пер.: S. I. Svinolupov, “Analogs of the Burgers equation of arbitrary order” // Theoret. and Math. Phys., 1985. Vol. 65, no. 2. Pp. 1177-1180.
Поступила в редакцию 16/XI/2012; в окончательном варианте — 27/III/2013.
MSC: 34F05, 34D20
SOLITONS AND THE GENERALIZED COLE-HOPF SUBSTITUTIONS
A. N. Byzykchi, V. M. Zhuravlev
Ulyanovsk State University,
42, L. Tolstoy St., Ulyanovsk, 432017, Russia.
E-mails: azy ,baza@gmail. com, zhvictorm@gmail. com
This paper examines the relationship between the method of the inverse problem and the method of generalized Cole-Hopf substitutions. The relationship between these methods is established by comparing the method of Darboux transformations and the method of Cole-Hopf substitutions. Concrete examples of using such a relationship are given.
Some new examples of the integrable equations are considered.
Key words: solitons, exactly integrable nonlinear models, Hopf-Cole substitutions.
Original article submitted 16/XI/2012; revision submitted 27/111/2013.
Alexander N. Byzykchi, Master Student, Dept, of Theoretical Physics. Victor M. Zhuravlev (Dr. Sci. (Phys. & Math.)), Professor, Dept, of Theoretical Physics.
