Научная статья на тему 'Параболическое уравнение с показательной нелинейностью как условие совместности линейной системы'

Параболическое уравнение с показательной нелинейностью как условие совместности линейной системы Текст научной статьи по специальности «Математика»

CC BY
116
14
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ОЛИТОН / УРАВНЕНИЕ ЛАКСА / ОПЕРАТОР / OPERATOR / НЕЛИНЕЙНОЕ УРАВНЕНИЕ / NONLINEAR EQUATION / ПАРА ЛАКСА / LAX PAIR / УРАВНЕНИЕ В ЧАСТНЫХ ПРОИЗВОДНЫХ / PARTIAL DIFFERENTIAL EQUATION / SOLITON / LAX EQUATION

Аннотация научной статьи по математике, автор научной работы — Сурнева Олеся Борисовна, Яновская Ольга Сергеевна

Рассматривается попытка построить 2 + 1 мерную нелинейную модель, являющуюся условием совместности системы двух линейных дифференциальных уравнений первого порядка. Полученное уравнение связано с операторной L, А парой и уравнением Лакса, когда оператор L содержит дифференцирование только по одной переменной и параметрически зависит от двух дополнительных переменных, дифференцирование по которым входит в оператор А. Исследуется возможность приведения линейной части к параболическому виду, а также преобразования координат приводящих к показательной нелинейности. Полученное уравнение имеет прикладное значение, так как его можно отнести к моделям типа диффузионных цепочек Тоды, основной особенностью которых является наличие у них нелинейностей экспоненциального типа. Такие уравнения описывают перенос пассивной примеси, например тепла в турбулентной среде с нелинейным турбулентным коэффициентом теплопроводности.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Parabolic equation with exponential nonlinearity as the condition of joint venture linear system

An attempt is made to construct a 2 + 1 dimensional nonlinear model that is a condition for the compatibility of a system of two first order linear differential equations. The resulting equation is related to the operator L, A to the pair and the Lax equation, when the operator L contains differentiation with respect to only one variable and depends parametrically on two additional variables differentiation with respect to which enters into the operator A. We study the possibility of reducing the linear part to a parabolic form, and also transformation of coordinates leading to exponential nonlinearity. The resulting equation has an applied value, since it can be attributed to Toda-type diffusion chain models, the main feature of which is the presence of nonlinearities of exponential type in them. Such equations describe the transfer of a passive impurity, for example, heat in a turbulent medium with a nonlinear turbulent thermal conductivity coeficient.

Текст научной работы на тему «Параболическое уравнение с показательной нелинейностью как условие совместности линейной системы»

ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ

«наука. инновации. технологии», № 1, 2018

УДК 517.95 Сурнева О.Б. [Surneva O.B.],

Яновская О.С. [Yanovskaya O.S.]

параболическое уравнение

с показательной нелинейностью

как условие совместности

линейной системы

Rarabolic equation with exponential nonlinearity as the condition of joint venture linear system

Рассматривается попытка построить 2 + 1 - мерную нелинейную модель, являющуюся условием совместности системы двух линейных дифференциальных уравнений первого порядка. Полученное уравнение связано с операторной L, А - парой и уравнением Лакса, когда оператор L содержит дифференцирование только по одной переменной и параметрически зависит от двух дополнительных переменных, дифференцирование по которым входит в оператор А. Исследуется возможность приведения линейной части к параболическому виду, а также преобразования координат приводящих к показательной нелинейности. Полученное уравнение имеет прикладное значение, так как его можно отнести к моделям типа диффузионных цепочек Тоды, основной особенностью которых является наличие у них нелинейностей экспоненциального типа. Такие уравнения описывают перенос пассивной примеси, например тепла в турбулентной среде с нелинейным турбулентным коэффициентом теплопроводности.

An attempt is made to construct a 2 + 1 - dimensional nonlinear model that is a condition for the compatibility of a system of two first - order linear differential equations. The resulting equation is related to the operator L, A to the pair and the Lax equation, when the operator L contains differentiation with respect to only one variable and depends parametrically on two additional variables differentiation with respect to which enters into the operator A. We study the possibility of reducing the linear part to a parabolic form, and also transformation of coordinates leading to exponential nonlinearity. The resulting equation has an applied value, since it can be attributed to Toda-type diffusion chain models, the main feature of which is the presence of nonlinearities of exponential type in them. Such equations describe the transfer of a passive impurity, for example, heat in a turbulent medium with a nonlinear turbulent thermal conductivity coefficient.

Ключевые слова: солитон, уравнение Лакса, оператор, нелинейное уравнение, пара Лакса, уравнение в частных производных. Key words: soliton, Lax equation, operator, nonlinear equation, Lax pair, partial differential equation.

Введение

Большинство известных интегрируемых нелинейных моделей описывают поведение функций, зависящих от двух пространственно-временных переменных. В настоящее время большое развитие получила математическая теория, связанная с солитонами. С момента создания теории соли-тонов, при построении нелиненых уравнений в частных производных, часто используется операторная структра изоспектральной деформации или, как ее еще называют, уравнение Лакса

Lt=[L,A] = LA-AL ,

(1)

которая при некоторых условиях эквивалентна условию совместности линейной системы

Lф = Хф, ф, = -Лф, (2)

где Ь, Л - дифференциальные операторы со специальными свойствами, Х - собственное значение оператора Ь, ф(х, t, Х) - собственная

функция оператора Ь.

Теория солитонов породила теорию интегрируемых систем, получившую большое развитие. Попытка распространить эту теорию на 2 + 1, 3 + 1-мерную ситуацию в последнее время привела к заметным успехам. Некоторые примеры были описаны в работах О.И. Богоявленского [1], Са-нюк В.И. [2] и другими [3-6].

Интересные результаты можно получить если оператор L параметрически зависит от дополнительных переменных, дифференцирование по которым входит в оператор А, но не входят в оператор Ь [1].

Материалы и методы исследований

Продемонстрируем возможность построения 2 + 1-мерного дифференциального уравнения в частных производных из операторного уравнения Лакса (1). Будем рассматривать класс функций, зависящих от трех переменных, оператор Ь задает дифференцирование только по переменной х и параметрически зависит от дополнительной переменной у, дифференцирование по которой входит в оператор А. Следует ожидать, что собственные числа Х уже не являются постоянными, а представляют функции Х (у). В силу этого с течением времени возможна их многозначность. Как, например [1], двумерное взаимодействие волны Римана, распространяющейся по оси у, с длинными волнами, распространяющимися по оси х. В некотором приближении такое явление наблюдается в волнах на поверхности моря, а так же при возникновении ударной волны.

ЛЕММА.

Для того чтобы коммутатор [Ь, Л] двух операторов вида

где

к -

ах ду

а О

а

, А =

'2 ак + р 0' (г (Г

, ак > Го = 1° У,

постоянные матрицы, а, а, в, У произвольные постоянные,

(3)

(4)

ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ

Параболическое уравнение с показательной нелинейностью.

и =

Ыл1 Ы-1'

\и2\ и22

V =

- функциональные матрицы,

Угу (дс, У, Ыу (х, У, (г, У =1,2) - произвольные функции трех переменных х, у и X, не содержал операторов дифференцирования

д2 д2 д_ д_ дх2, дхду, дх, ду,

необходимо и достаточно, чтобы функции у12, v21 удовлетворяли следующим равенствам

уи=кип, У21=ки21+^-(уп+ки22-У22-кип). (5)

2 а

ДОКАЗАТЕЛЬСТВО

Покажем, что такой выбор операторов обуславливает равенство нулю коэффициентов при дифференциалах

д 8

дх2, дхду, дх, ду. Раскроем коммутатор

[Ь,А]=ЬА-АЬ=

а0— +17

ч дх

дхд ду

(«о А) -Роао)—2+(аоУо-Уоао)

дх

н

оуох дх дх

ЧЩ-ф^+иг-^-г^-ги.

ду дх ду

Очевидно, надо проверить вид коммутационных связей при операторах дифференцирования

д2 а я аоРо~Роао=

ох

(а (Г г2ак+р 0" "2 ак+р 0" \*

у ак /? < ак р\

а[2ак + /?]

0

а[2ак + /3]-аак -a.fi

[2ак+Р]а 0 4 акал-Ра ~Ра

=0.

Так как матрица у0 - диагональная, то выражения 52 П

ао7о ~ 7оао = 0,

оуох

—: иГо-Гои = 0

& А

Осталось проверить только коэффициент при дх, для этого найдем

а0¥-¥а0

-оу12 - 2 ау21 - а\>22

2 ац

12

ау.

ир0-р0и =

аки

12

12 У -2 аки

12

2аки21 + аки22 — акип

-аки.

12 У

тогда коэффициент (а0К - + С/Д, - /?0С/) будет равен нулю при условии что выполняется (5).

Обратное утверждение доказывается простой проверкой.

ТЕОРЕМА 1. Уравнение на функцию и (х, у, ,)

а1 к

а

(1пи)*г - (1пм)^= — (и2+уиу)+ -(Ыи)уГ-(Ыи)х

(6)

обладает парой Лакса с операторами Ь и А вида

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Ь =

а О

Э — +

дх

1-(Ыи)у-^(Ыи)х

а уа ,, . X п ч «/14

4 а

2ак

2 к

(7)

2ак + Р О

ак

Р.

дх

у О

чО

ду

ки

а к

.4 а

2и~—(\пи)2 ? + (1пы), 2а

. (8)

5 5 5

где оператор (ак + /?)--1- — = —, д (х, у, ,) - произвольная фун-

о 1 дх & & " кция, а, в, у, к, а, - произвольные параметры.

ДОКАЗАТЕЛЬСТВО

Рассмотрим частный случай, когда оператор Ь не содержит дифференцирования по у и имеет ту же структуру, которая использовалась в лемме. Запишем уравнение на собственные значения Ьф = Хф, где Х(у) параметрически зависит от у, но не зависит от ,, и уравнение, описывающее динамику вектор-функции <р(х,у^,А) = (<р1(х,у^,Я),<р2(х,у^,Я))т(Т - означает транспонирование) ф,, = - Лф. Распишем уравнения с учетом структуры операторов

6 тт ап — + 1/

дх

= Л<р,

Ро^г + Го^г + Г дх ду

или

а0 (Рх=^(р-и(р, <Р1=-Ръ<Рх-П<Ру

-У<р.

Продифференцируем первое равенство по ,

и подставим значения ф, из второго равенства системы

Так как А(р=ай(рхл-Щ, Аф^а^Щф+Щ^ Аф^а^+Цф+Щу, то выполняя подстановку этих значений можно избавиться от параметра Х:

«0 [ Щх~Ро ^+и<Рх\~Уо [<ЩуЩф+Щ]~

-У[а0(рх+и<р\- Ц<р+и[Р0<рх+у0(ру+ У<р]=0,

сгруппируем элементы с фхх , фху , фх , фу

[аЛ~РЫ<Рп;+ КГо- У0а0 \-а<У~ УаО~Рои+иРо}(РЛЩ -ГоиМ + +[а0Ух-№-Уоиу-Ги-Ц+иГ]<р=0,

в силу выполнения выше сформулированной леммы, остается уравнение - &рх -г<Ру-П7 + иУ = и. (9)

Распишем матричное уравнение (9) на систему, используя равенства (5) "1к = ^"12^11+х-(2ак+Р)иПх~УиПу, (10)

(1пм12Х=Ь11+у22-у11-Ь22-(аА;+/?)(1пм12Х-;'(1пм12)Л (П)

а . _ \

М21+- (И22 Иц)

-(а£+/?)ы21;с+

а

и22{=-и12^-(уп+ки22-у22-кип)-ау22х-Ри22х-уи22у, (13)

Полученная система имеет большое число свобод, поэтому с учетом равенства (11) определим дополнительные условия так чтобы

VII + Оп^гХ + (а* + /ЭДпЦг)* = ^2, (14)

^(1пм12)>,+м22=м11. (15)

Подставим найденные значения в оставшуюся систему (10), (12), (13)

-.2

-(2 ак+/3)

- -¿Опи^уу-гипу

(16)

и2и — -((1пии\+(ак+Р)(\пииХ+г(\пм12))

У а п \

~{ак+Р)и21х+—(2у11я.-2Ь/22л.+(1п м12)я.,+(аА:+/?)(1п щ^-

(17)

«22/ = "12—№"12)/ + + Ю0ПЩ2)Х + Г(1ПМ12)У) " -£фп + (1пм12Х + + /3)(\пип)х}х -ри22х - уи22

(18)

Найдем сумму (16) и (18) и выделим полные производные:

+ у

+ 2М22 + а(\пи12)х

+ 1и22 + «(1п«12)*

+

+(ак + Р)

^(1пи12), + 2И22 + а(1пм12)х

= 0,

что позволяет определить ранее неизвестную функцию и22

7 „ ч а

«22 = --(1и«12):,

(19)

Выразим уПх- ku22 из (18)

2а '

- —[«22/ + + Г«22 ,]•

а

и выполним подстановку найденной функции (19)

V,,.-Ыу,„ =-^г[«ш + (ак + р)щ2х + уи12у]-^(\пи12)х( -

У11х 1"22Х - » 2 I

1

(20)

-(ак + убХЬш^ + ^[(Ьм12)/ + {Р + 2ак)(Ыи12)х + у(Ъши)у]у.

Найденное соотношение (20) подставим в (17) и умножим все члены на и12

«12«21/ = -(«12/+(ак +Р)иХ1х+уип)

У а п \

"21_ £ 2а >

+

Уи\2и21у-

Тогда выделяя полные производные, имеем

{д,+(ак + Р)дх + ^у)

а2 2 аУ

= 0,

в результате можно найти функцию и21

2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

а оу

"21 +^)-г(1п" и)у (21)

4 а 2 ак

И так, в ходе преобразований системы (16-18) из (17) найдена функция и21, а из (18) и22, поэтому осталось единственное уравнение (16), связывающее две функции и12 = и (х, у, ,) и VI1 = д (х, у, ,)

^(д(Цак+/3)дх+}еу)ии=

Для получения явного вида пары Лакса, соответствующей форме (3), (4) необходимо выполнить подстановку найденных значений функций (5), (14), (15), (19), (21), что дает:

Уи=Ч(х>У>*)> ип=и(х>У>*)> У22=д+(\пи)1+(ак+/3)(]пи)х, а2к а

у12= ки, у^^и-^^иХ+^ак+р^и)^ (23)

2

"21=1ЬМ+£(1ПМ^ ^^иХ-^ОпиХ, и22=-^(\пи)-^(\пи)х,

В результате получен вид матриц и, Vоператоров Лакса (7), (8), указанных в теореме 1.

Для компактности записи будем использовать комбинированную перед ^ д _ д

менной так, что [ак + + = уравнение (22) преобразуется к виду: Щх+^ (1п и)^- ^(Ш и)^= \ ")». (24)

Если в (22) выделить комбинированную производную ,

то равенство (22), сохраняя при этом зависимость от трех переменных, примет вид:

ак

-иПг^2а^х+{дг+акд^[ка(}аи17)х-у(}а.и^у1 (25)

Полученное уравнение в частных производных имеет вид локального

закона сохранения, при этом функция q (х, у, ?) является произвольной и может описывать некоторое внешнее возмущение. В последующих исследованиях будем считать произвольную функцию q (х, у, ?) = 0, тогда уравнение (24) примет вид

а2к0пи)„ -Ц\аи)уг+а(Ыи)Х2=-(и2+уиу). (26)

К К (X

Очевидно, имеет место следующее

СЛЕДСТВИЕ 1.

Уравнение (26) обладает парой Лакса с операторами L и А вида:

<а 0Ч

д —+

дх

г у а "

—(1пм)„--(1пм)т и

2 к у 2 х

я2 Уа п \ У /1 \ а п ч

-т М + -- ши, - —(1пмХ--(1пи\

\4а 2 ак у 2ку 2 ,

А=

'2 ак+р 0Ч ак Р

—+ дх

V о" ,0 г,

д —+

ду

0

ки

(1пм)2

Ца" 2а

где (ак+0)й-+й-=й-, а, в, У, к, а - произвольные параметры.

СЛЕДСТВИЕ 2.

Уравнение на функцию v(x, у, ^

2, у2 У а V, \

а + аух1 - —ууу - - уу, = -е (у( + ууу)

обладает парой Лакса с операторами L и А вида /

а 0

V» "«у

дх

- +

У а „

—у„--е

2к 2

а2 „ уа у а 7е + ——у„ —— V,,--к

2 ак

2 к

2 х

А = к

'а (Г д — + (у ол д — +

дх 1о г, ду

кеу

а к г а

е —V, V,

.4а2" 2а '

J,

(27)

(28)

(29)

(30)

(31)

где а, у, к, а - произвольные параметры.

ДОКАЗАТЕЛЬСТВО.

Для получения нужного вида операторов достаточно в (26), (27) и (28) выполнить замену 1п и (х, у, ?) = V (х, у, ?), где V (х, у, t) - новая неизвестная функция, и положить параметр в = - ak. В результате компоненты матриц преобразуются к виду:

У а V а1 у, ау У а

УП=0, У22=У„ уи=ке\ = V,,

т. е. получим вид (30) и (31).

Результаты исследований и их обсуждение

Полученное нелинейное уравнение (29) имеет линейную часть, содержащую как вторые так и смешанные производные. Выполним замену переменных так чтобы остались только вторые производные.

ТЕОРЕМА 2.

Уравнение (29), при k > 0, а, у, а eR сводится к параболическому квазилинейному уравнению вида

ак „. ч

(32)

иу

где V = V (х, Я, I ) - неизвестная функция трех переменных,

Х = ±1Тх, д = у, 1 = -\х--у + И. (33)

ак ак у

ДОКАЗАТЕЛЬСТВО 1.

Использование квадратичных форм. Рассмотрим левую часть уравнения (29). Ей соответствует квадратичная форма вида

а = (34)

2 4 2 4 ^ 2* * 2* * * ^ ;

Методом Лагранжа приведем квадратичную форму (34) к каноническому виду Q = а 2 + ^ + А^, где А = т1 Х\ + п Х2 + р\Х3, = т2 Х1 + п2 Х2 +р2 Х3, А3 = Р3 Х3, тогда

е=^2-Я22^-2й2ЛМ+2»И1М^-(Л2-Л2-А2)4 (35)

Для того чтобы квадратичная форма (35) имела такую же структуру, как и левая часть уравнения (29), необходимо, чтобы соблюдалось условие р\ — р2 — р3 = 0, или р3 = р\ — р2 , тогда (35) после выполнения элементарных преобразований, примет вид

(2 = т1^—п1%:1— 2п2р2Л2Л} + 2т1р1Я1Л} (36)

Сравнивая коэффициенты при ^2, Л3 в формулах (34) и (36), получим:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

а-Л у л/2 л/2к

Щ=Ж, Пг=Жк, Р1=Ш Р2=-ЦТ, (37)

где р32 = р2 — р2 = 0, а равенство (35) принимает вид

Q =

а4к „ л/2

/ г— \

""а | " ^ о _ 1 | " 1

л/2 ^ 4л/& 1 \12к 4к ^

л/2Г

2

(38)

Для построения матрицы невырожденного аффинного преобразования необходимо выразить Аь Я2, через ^1, ¡л2, ¡л3. Так как имеется только два соотношения вида:

„ _ ал/1 о + ^ з „ _ X , лШз это не позволяет выразить , через

Исследование показало, что квадратичная форма Q имеет вырожденный вид, следовательно, для приведения к нужному виду надо использовать другой подход.

2. Специальная замена. Проведем замену независимых переменных V (х, у, X) ^ V (х, С, I) так, чтобы смешанные производные уничтожились. Так как в исследуемом уравнении отсутствует смешанная производная Vxy , то предположим, что две переменные не зависят от X, а третья зависит от всех трех переменных исходного уравнения, новые переменные будут иметь вид:

X = рх, £ = Ъу, 1 = сх + ду + пй. (39)

где {р, Ь, с, й, т} е Я/ {0}. Определив частные производные но-

вых переменных по старым, производные от неизвестной функции примут вид.

уу = Ъ\д + = ту,

у« = Р2ухх + с\ + УХУ = Ь\ + + 2Ы\ (40) = йтуи + Ьтг?1 = с/иугг + рту

X'

Подставляя (40) в (29), получим:

а2кр\г +

1 1 У 1 У а кс -—й — —<1т + аст

V,, + \Ъхгкрс + аргп^>Х1 -

^ - V6 = —е*(уЪу +[т + 4 а

(41)

Для того чтобы (41) имело канонический вид, необходимо, чтобы коэффициенты при смешанных производных обратились в нуль, тогда

2, « . а крс +—рт = 0,

к 2 к

т

2ак' /и

V

с = —

а модули коэффициентов при вторых производных должны быть равны, т.е. а2кр2 = ^~Ь2, следовательно р =

Подставив полученные значения в равенство (321), получим:

ак

V — V = - ,

XX „..21.2

ау Ь

\ т '

(42)

Коэффициенты а, к а, у - параметры уравнения, а коэффициенты Ъ, т -параметры преобразования, поэтому можно положить Ъ = 1, а т = 2, и уравнение (42) примет вид (32), при этом преобразования координат имеют вид (33).

Замена (33) сводит уравнение (29) к параболическому типу (отсутствует вторая производная VII, но первая производная VI входит в правую часть уравнения (32)).

СЛЕДСТВИЕ 1.

Уравнение (32) эквивалентно гиперболическому уравнению

следующего вида

ак

где

Аау

ДОКАЗАТЕЛЬСТВО.

Доказательство сводится к выполнению замены переменных:

V (х, д, I) = V (ф, ф, I), ф = х + Я, Ф = X — Я, I = I. СЛЕДСТВИЕ 2.

Уравнение (26), при условии в = 0 с помощью преобразования пространства:

и(х,у,0 = ^'"'° £ = уг-^-х + у, т/ = 5уХ-^-х-у,

ак ак

г ъ 1 1

^ = —-х—у

ак у , (44)

приводится к квазилинейному уравнению вида ^ + Ье^Зуу^ = 0 (45)

где Ъ = — - новые независимые переменные функ-

ции

Пара Лакса для уравнения (45)

Посмотрим, какой парой Лакса теперь будет обладать полученное уравнение (45). Для этого воспользуемся системой

L<p(x,y,t,X) = Лр(х,у,(,Л),

<pt (х, у, t, Л) = -А(р{х, у, t, Л), (46)

с операторами L, A вида (27), (28) соответственно (при ß = 0), и вектор-функцией ф (x, y, t, Я) = (ф1 (x, y, t, Я), ф2 (x, y, t, Я))т (Т - транспонирование)

a(P\x +ииФ\+ ЩгФг ~

aq\x - a(p2x + u2lq\ + u22(p2 = Л(р2, (47)

(Pit = -2akq\x - yq\y - kul2(p2,

Vit = ~ak(pXx - y<p2y - v2Xq\ - v22<p2, (48)

где viy(x, y, t), Vy (x, y, t) (i, j = 1, 2) после замены q (x, y, t) = 0, u (x,

y, t) = ev(x,y,<>, ß = 0 в (4.23), имеют вид:

а2к а

у11=°> у22 =Уг+аЪх, уп=ке\ у21 = -^е'-—{у, + акух),

4 а 2 а

—>

2 (49)

у а у ау у а у а

и„=е, щ,=—^е Л--м„ = —V,,--уг, иГ)=--V--у

12 21 4а2 2аку 11 2к у 2 х 22 2к у 2 х

Выполним в системе (47), (48) замену переменных (х, у, ,) (£ п, С): (44), тогда с учетом (341) (/ = 1, 2), получим

Ъ = -V» - <Рм =

ак

ак

<Р;<=Щг,+У<Рл+3Р

(50)

линейная система (47), (48) примет вид

-те - т\г, -<Р\(+ки\\<Р\+¿"12^2 =

грц+г<р2г, +<р2(--{те+т,,+<р1()+ки21<р1+ки22<р2=Як<Р2, (51)

2 т„ = -ки12(р2,

479щ + 2т2е + 1(Р2( =^,(те+тг,+<Ри;)-ЪМ -*22<Р2»

(52)

где функциональные коэффициенты (49) преобразуются по этому же правилу

2 к

а у

2 ' А: а2

у а у

г

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Ыуу- & у 1^21-

4а2

уа

——V =-

2 ак у 2ак

2к 2 уа

1

\

\ 2 а

У:~У„--Уг

5 1 V Ь \ '

+— 4 а2

(53)

= 0,

а2к

V й у | ^ & к у (X >

21"

4а 2а * " 4а уп=ке\ у22=акух+у=4ууп+2ус

а

(54)

Так как система (52) является следствием уравнения Ф, (х, у, ^ Х) = - Аф (х, у, ^ Х), которое определяет динамику собственных функций оператора Ь по времени ,, и в новой системе первое равенство содержит только дифференцирование по п, будем считать, что именно эта переменная играет роль координаты «времени». Следовательно, дифференцирование функций ф, (£ п, 0 по этой переменной в системе (51) и пра-

вой части (52) не должно присутствовать, поэтому, используя равенства (52), выполним замену этих производных ф1п, ф2п во всех равенствах системы (51), (52), тогда имеем

Ък

~<Р\(+ + у«12^2 =

к 4 )

Ъка

о и12+'Си22 , У22

8 а 4

Ч>2

-Як(р2, (55)

ка

У22+

<Рг>

(56)

Представим левую часть полученной системы (55) с операторами дифференцирования по переменным £ £ в линейном виде:

где

в=

-1 (Л

ЗА ^

С 2 2.

I Ч дс) '

Б, U - матрицы 2 х 2 вида

Г>4

и=

IV

1 1 3к2к „ Ш „ 1 1 4 4 2 ?

, А = -

Представим систему (52) в виде

(57)

(58)

<Р\г,=~1Ги12(Р2>

= + (м*+-¿(^21^1 + ^22^2 + кки12<р2),

(59)

4 у

и в правой части выделим линейный оператор с матричными коэффициентами

где

А = П

в-Л

2 у

( д дл у— + —

/п л\

О О

О

У

к / / у

(60)

(61)

Проведенные исследования дают возможность сформулировать следующую

ТЕОРЕМА 3. Уравнение (45) имеет коммутационное представление

Ьп = [Ъ, А] с операторами L, А вида (57), (60).

При классическом рассмотрении операторного уравнения Лакса (1.1), оператор Ь задается так, чтобы уравнение на собственные значения Ъф = уф являлось системой уравнений, в которой дифференцирование выполняется только по одной переменной, остальные переменные входят в связь параметрически. В полученной паре для уравнения (45) оператор Ь (57) содержит дифференцирование по двум переменным и, следовательно, даст систему уравнений в частных производных на собственные функции ф, что значительно усложнит анализ этого уравнения.

Выводы

В статье осуществлена идея построения 2 + 1 - мерной нелинейной модели типа диффузионной цепочки Тоды, основной особенностью которой является наличие нелинейности экспоненциального типа. Проведены следующие исследования:

1. Определены условия совместности системы двух линейных дифференциальных уравнений первого порядка.

2. Доказано, что полученное уравнение связано с операторной Ъ, А — парой и уравнением Лакса, когда оператор Ь содержит дифференцирование только по одной переменной и параметрически зависит от двух дополнительных переменных, дифференцирование по которым входит в оператор А.

3. Использованы методика приведения линейной части к параболическому виду, а также преобразования координат приводящих к показательной нелинейности.

4. Построена операторная пара, соответствующая квазилинейному уравнению.

Библиографический список

1. Богоявленский О.И. Опрокидывающиеся солитоны в новых двумерных интегрируемых уравнениях // Изв. АН СССР Сер. матем. 1989.Т. 53. № 2. С. 243-258.

2. Санюк В.И. Топологические многомерные солитоны. Докторская диссертация. 1997.

3. Фаддеев Л. Д. Что мы знаем о солитонах в многомерном случае? Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им.

В.А. Стеклова РАН, г. Санкт-Петербург http://www.mathnet.ru/ php/seminars.phtml?option_lang=rus&presentid=1420.

4. Редькина Т.В. Возможность построения солитонных 1 + 1 и 2 + 1-мерных уравнений, имеющих общую задачу рассеяния. // Вестник СГУ, № 43. Ставрополь, 2005. C. 47-52.

5. Есмаханова К.Р. Солитонные решения 2 + 1-мерного нелинейного уравнения Шредингера. Математический журнал. Алматы. 2007. Т. 7. №3 (25). C. 41-44.

6. Жестков С.В., Новошинская В. С. О существовании солитонных решений систем связанных 2 + 1-мерных уравнений Шредингера с керровской нелинейностью и степенными законами нелинейности, Доклады национальной академии наук Беларуси. Минск: Белорусская наука. Т. 54. № 3. 2010.

References

1. Bogoyavlensky O.I. Overturning solitons in new two-dimensional integrable equations, Izv. AN SSSR Ser. Math. 1989. T.53, No. 2. P. 243-258.

2. Sanyuk V.I. Topological multidimensional solitons. Doctoral dissertation. 1997.

3. Faddeev L.D. What do we know about solitons in the multidimensional case? General Mathematics Seminar of the St. Petersburg Branch of the Steklov Mathematical Institute. Steklov Mathematical Institute, Russian Academy of Sciences, St. Petersburg http://www. mathnet.ru/php/seminars.phtml?option_lang=rus&presentid=1420.

4. Redkina T.V. The possibility of constructing soliton 1 + 1 and 2 + 1-dimensional equations having a common scattering problem. // Bulletin of the SSU, No. 43. Stavropol, 2005, p. 47-52.

5. Esmakhanova K.R. Soliton solutions of the 2 + 1-dimensional nonlinear Schrodinger equation. Mathematical Journal. Almaty. 2007. Volume 7. №3 (25). Р. 41-44.

6. Zhestkov S.V. and Novoshinskaya V.S., The existence of soliton solutions of systems of coupled 2 + 1-dimensional Schrodinger equations with Kerr nonlinearity and power law of nonlinearity, Reports of the National Academy of Sciences of Belarus. Minsk, Belarus, vol. 54, 2010.

i Надоели баннеры? Вы всегда можете отключить рекламу.