Научная статья на тему 'Двумерное детерминантное дифференциально-операторное уравнение'

Двумерное детерминантное дифференциально-операторное уравнение Текст научной статьи по специальности «Математика»

CC BY
60
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ДЕТЕРМИНАНТНОЕ УРАВНЕНИЕ / РАЗДЕЛЕНИЕ ПЕРЕМЕННЫХ / СОБСТВЕННАЯ ФУНКЦИЯ / ЛИНЕЙНЫЙ ДИФФЕРЕНЦИАЛЬНЫЙ ОПЕРАТОР / РЕШЕНИЕ ТИПА БЕГУЩЕЙ ВОЛНЫ / DETERMINANT EQUATION / SEPARATION OF VARIABLES / EIGENFUNCTION / LINEAR DIFFERENTIAL OPERATOR / SOLUTION OF TRAVELLING WAVE TYPE

Аннотация научной статьи по математике, автор научной работы — Рахмелевич И.В.

Исследован класс двумерных детерминантных дифференциально-операторных уравнений специального вида. Элементы операторной матрицы представляют собой произведения линейных дифференциальных операторов, действующих по отдельным переменным. Доказаны теоремы о решениях однородных и неоднородных детерминантных уравнений, в частности, теорема о взаимосвязи решений однородного детерминантного уравнения и некоторого вспомогательного линейного дифференциально-операторного уравнения. Найдены семейства решений, выражающихся через собственные функции линейных операторов, входящих в состав уравнения, а также функций, принадлежащих ядрам этих операторов. Исследованы свойства решений типа бегущей волны и степенных решений, а также их зависимость от параметров уравнения.

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

TWO-DIMENSIONAL DETERMINANT DIFFERENTIAL-OPERATOR EQUATION

The present work is devoted to the study of the class of two-dimensional determinant partial differential equations in which the left-hand side has a form of functional determinant. The elements of this determinant are expressed through some linear differential operators acting on separate independent variables. The most well-known equation related to this class is Monge Ampere equation. There are investigated separately both homogeneous and inhomogeneous determinant equations in the given work. In particular, there is proved the theorem on the interconnection between the solutions of homogeneous determinant equation and some auxiliary linear differential-operator equation. It is supposed that the right-hand side of inhomogeneous equation can depend on independent variables, unknown function and its first derivatives. The received families of particular solutions are expressed through the eigenfunctions of differential operators acting on separate variables, and also through the functions which belong to the kernels of those operators. In the case of differential operators with constant coefficients there are investigated the solutions of the type of travelling wave both for homogeneous and inhomogeneous equations. The case when each of operators includes only one derivative is analyzed in detail. There are received the solutions of the type of power function for the case when the operators on separate variables are homogeneous and the right-hand side of equation has the power dependence on unknown function and its first derivatives. The dependence of received solutions on the parameters of equation is researched.

Текст научной работы на тему «Двумерное детерминантное дифференциально-операторное уравнение»

МАТЕМАТИКА _MATHEMATICS_

УДК 517.952

DOI 10.18413/2075-463 9-2019-51-2-163-173

ДВУМЕРНОЕ ДЕТЕРМИНАНТНОЕ ДИФФЕРЕНЦИАЛЬНО-ОПЕРАТОРНОЕ УРАВНЕНИЕ

TWO-DIMENSIONAL DETERMINANT DIFFERENTIAL-OPERATOR EQUATION

И.В. Рахмелевич I.V. Rakhmelevich

Нижегородский государственный университет им. Н.И. Лобачевского, Россия, 603950, г. Нижний Новгород, пр. Гагарина, д. 23

Nizhny Novgorod State University, 23 Gagarin Ave, Nizhny Novgorod, 603950, Russia

E-mail: igor-kitpd@yandex.ru

Аннотация

Исследован класс двумерных детерминантных дифференциально-операторных уравнений специального вида. Элементы операторной матрицы представляют собой произведения линейных дифференциальных операторов, действующих по отдельным переменным. Доказаны теоремы о решениях однородных и неоднородных детерминантных уравнений, в частности, теорема о взаимосвязи решений однородного детерминантного уравнения и некоторого вспомогательного линейного дифференциально-операторного уравнения. Найдены семейства решений, выражающихся через собственные функции линейных операторов, входящих в состав уравнения, а также функций, принадлежащих ядрам этих операторов. Исследованы свойства решений типа бегущей волны и степенных решений, а также их зависимость от параметров уравнения.

Abstract

The present work is devoted to the study of the class of two-dimensional determinant partial differential equations in which the left-hand side has a form of functional determinant. The elements of this determinant are expressed through some linear differential operators acting on separate independent variables. The most well-known equation related to this class is Monge - Ampere equation. There are investigated separately both homogeneous and inhomogeneous determinant equations in the given work. In particular, there is proved the theorem on the interconnection between the solutions of homogeneous determinant equation and some auxiliary linear differential-operator equation. It is supposed that the right-hand side of inhomogeneous equation can depend on independent variables, unknown function and its first derivatives. The received families of particular solutions are expressed through the eigenfunctions of differential operators acting on separate variables, and also through the functions which belong to the kernels of those operators. In the case of differential operators with constant coefficients there are investigated the solutions of the type of travelling wave both for homogeneous and inhomogeneous equations. The case when each of operators includes only one derivative is analyzed in detail. There are received the solutions of the type of power function for the case when the operators on separate variables are homogeneous and the right-hand side of equation has the power dependence on unknown function and its first derivatives. The dependence of received solutions on the parameters of equation is researched.

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

Keywords: determinant equation, separation of variables, eigenfunction, linear differential operator, solution of travelling wave type.

Введение

Одним из наиболее известных нелинейных уравнений в частных производных в современной математической физике является уравнение Монжа - Ампера (МА). К настоящему времени подробно изучены свойства симметрии и классификация уравнений МА [Кушнер, 2007, 2008], [Лычагин, Рубцов, 1983], [Овсянников, 1978], [Banos, 2002], [Ibragimov, 1994], [Kruglikov, 1998], [Kushner, 2006], [Tchij, 1999]. Подробно изучены решения уравнений МА, в том числе как однородных, так и неоднородных уравнений [Кушнер, 2008], [Полянин, Зайцев, 2002], а также некоторых модифицированных уравнений типа МА [Рахмелевич, 2016, 2017]. Известны работы, посвященные приложениям уравнения МА к задачам газовой динамики [Хабиров, 1990], [Шабловский, 2015], [Martin, 1953].

Вместе с тем уравнение МА можно рассматривать как частный случай весьма широкого класса детерминантных уравнений. Левая часть таких уравнений может быть представлена в виде определителя, элементами которого являются некоторые дифференциальные выражения. В данной работе изучаются двумерные детерминантные дифференциально-операторные уравнения специального вида. Элементы функционального определителя в левой части уравнения выражаются через некоторые линейные дифференциальные операторы, действующие по отдельным переменным. Проводится исследование решений как однородного, так и неоднородного уравнения, правая часть которого может содержать нелинейности по искомой функции и ее производным. Основное внимание уделяется общим свойствам решений. Некоторые из доказанных теорем проиллюстрированы на конкретных примерах, в которых, в частности, исследована зависимость решений от параметров уравнения.

1. Постановка задачи. Однородное детерминантное уравнение

Класс двумерных детерминантных дифференциально-операторных уравнений относительно неизвестной функции и(х, у) можно представить в виде:

det

R и

F

ди ди^ и, x, y,—,— дх ду

(11)

где F

и, х, у,

ди ди

Л

- некоторая заданная функция, R - операторная матрица размеров

дх ду

2^2. В данной работе будем рассматривать уравнения, для которых элементы матрицы Я определяются выражением:

Я] = ц,]=1,2). (1.2)

В выражение (1.2) входят линейные дифференциальные операторы Д, Ь2, которые действуют по переменным х, у соответственно:

N

L1 = X an ( х)

дn

N2 дт

L2 = X bm (У) .

m=l ду'

п=1 дх

Учитывая (1.2), в развернутом виде уравнение (1.1) можно записать как

ди ди ^

(l2U)(L LU) -LUU У = F

и, х, у,

дх ' ду

(13)

(14)

Простейшим и хорошо известным уравнением, относящимся к данному классу, ся уравнение Монжа - Ат

будем использовать обозначения:

д д

является уравнение Монжа - Ампера, для которого =—, ^ = —. Здесь и далее

дх ду

Л, = кег Ц, Л, = кег(1]) (I = \2). В данном параграфе рассмотрим однородное уравнение:

(Ци)( Щи) - (Д Ь2и)2 = 0. (1.4а)

Теорема 1.1.

Пусть V(х) е Ль у(у) ёЛ2; х),мх(у) - произвольные функции,

дифференцируемые 22Ш2 раз соответственно. Тогда функции

и1(х,У) = Мх) + м\(у), (1.5а)

и2(Х У) = у2(х) + м2(У) (1.5б)

являются решениями уравнения (1.4а). Доказательство

Рассмотрим функцию (1.5а). Так как по условию теоремы ^(х) е Л!, то

х, у) = 0. Далее, поскольку правая часть (1.5 а) представляет собой сумму функций разных аргументов, то Д Ь2ы1( х, у) = 0. Отсюда следует, что функция (1.5а) удовлетворяет уравнению (1.4а). Аналогичные рассуждения проводятся для функции (1.5б). Теорема доказана.

Теорема 1.2.

Пусть функции у0(х), у(х) дифференцируемы 2Щ раз; функции м0(у), м(у)

дифференцируемы 2^ раз, и пусть эти функции удовлетворяют одной из следующих систем уравнений:

^ 2

Ь2у(х) = 0 , 1\м{у) = 0, ^(х) = к(1лу(х))2, цм,(у) = ^З^^; (1.6а)

к

Л 2

^(х) = 0 , 1\м(у) = 0, ¡\у{х) = к(Ьху(х))2, ^(у) = ^^; (1.6б)

км( у)

* 2

Ь2у(х) = 0 , 1\м0(у) = 0, ¿2г0(х) = (, 1\м(у) = к(Ьу(у))2; (1.6в)

ку( х)

2 2

Цу0(х) = 0 , Е2мъ(у) = 0, Цчх) = к , %«у) = (1.6г)

у(х) км(у)

В системах (1.6а,б,в,г) к Ф 0- некоторая постоянная. Тогда функция

и(х у) = V0 (х) + М(у) + у(х)м(У) , (1.7)

является решением уравнения (1.4а). Доказательство

Подставим выражение (1.7) в уравнение (1.4а), в результате чего имеем:

ФуХ^щ) + уМ^УВУ) + уфу)^) + мфу)^) - фу)2^)2 = 0 (1.8)

(здесь для сокращения записи опущены аргументы функций).

Пусть удовлетворяются первые два уравнения системы (1.6а), тогда уравнение (1.8) принимает вид:

(РуШУ) - (ЬУ)\Ь2м)2 = 0. (1.9)

В результате разделения переменных в (1.9) получаем третье и четвертое уравнения системы (1.6а). Аналогичные рассуждения проводим для систем (1.6б, в, г). Предполагая, что удовлетворяются первые два уравнения каждой из этих систем, преобразуем (1.8) к виду, аналогичному (1.9). Разделяя переменные в полученных уравнениях, получаем третье и четвертое уравнения каждой из систем (1.6б, в, г). Следовательно, если функции ^(х), ^(у), у(х), м(у) удовлетворяют любой из систем (1.6а, б, в, г), то функция (1.7) является решением уравнения (1.4а). Теорема доказана. Следствие

Пусть Уо(х) £ Л1, ~№о(у) еЛ2, у(х), ~№(у)- собственные функции операторов Д,Д соответственно. Тогда функция (1.7) является решением уравнения (1.4а). Доказательство

Нетрудно убедиться, что поскольку у(х), w(y) - собственные функции операторов Д, Д, то они должны удовлетворять третьему и четвертому уравнениям системы (1.6г).

Далее, в силу условий х) еЛ^ ^о(у) еЛ2 функции У0(х), м0(у)удовлетворяют первому и второму уравнениям системы (1.6г). Так как при данных условиях все уравнения системы (1.6г) удовлетворяются, то в силу теоремы 1.2, функция (1.7) является решением уравнения (1.4а). Доказательство закончено. Теорема 1.3.

Пусть функция и(х, у) удовлетворяет уравнению:

(е1Д1 + с2Д2)и = 0, (1.10)

2 2

где С1, С2 - произвольные вещественные постоянные, причем С + С2 > 0. Тогда и(х, у) удовлетворяет уравнению (1.4а). Доказательство

1. Если е = 0 или С2 = 0, то справедливость утверждения теоремы очевидна.

2. Пусть е Ф 0, С2 Ф 0. Рассмотрим операторную матрицу ~, полученную в результате преобразования матрицы Я] по формулам:

~1 = С1Я1 + С2Я2, ~2 = Я2 . (111)

По известным свойствам определителей [Гантмахер, 2004] имеет место соотношение:

Яи

= с1 ёе!

Яи

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

(112)

Так как С Ф 0, то в силу (1.12) уравнения ёе!

Яи

= 0 и ёег

Яи

= 0 эквивалентны.

Далее, на основании (1.2) и (1.11), и учитывая коммутативность операторов Д, Д, первую формулу (1.11) можно записать в виде:

~1 = д сд+ с2д2) . (1.13)

Из (1.13) следует, что если функция и(х, у) удовлетворяет уравнению (1.10), то

Япи = 0 при /= 1,2 . Поэтому функция и(х, у) удовлетворяет уравнению ёе!

Яи

=0, а

следовательно, в силу сказанного выше, и уравнению ёе! Яи = 0. Теорема доказана.

2. Анализ неоднородного уравнения

В данном параграфе будут сформулированы и доказаны некоторые теоремы о решениях неоднородного детерминантного уравнения (1.4). Теорема 2.1.

Пусть правая часть уравнения (1.4) имеет вид

( ди ди Л „, „ „ , „ . / ди Л^1 (ди

и, х, у,-

=Ж х)/2( у)ехР( Уи)

(2.1)

дх ду) {дх) {ду

где у, Р1, Р2 - вещественные параметры. Тогда уравнение (1.4) имеет решение

и(х, у) = у( х) + и( у), (2.2)

причем функции у(х), и(у) удовлетворяют следующим уравнениям:

Цу(х) = К]Л(х)ехр( уур(х)]^, Д2Му) = Х2/2(у)ехр(1м)[м'(у)]^2, (2.3)

а постоянные связаны соотношением

Х{К2 = 1. (2.3а)

Доказательство

Подставим функцию (2.2) в уравнение (1.4) и учтем, что Д1Д2и(х, у) = 0, тогда получаем:

{рАх)){Д\и(у))= ¡1 (х)/2(у)ехр[у(у + иОрфр Иу)^ . (2.4)

Уравнение (2.4) можно переписать в виде:

ДУ(х) Д2И( у) =1

¡1(х)ехр(уу)[у'( х)]Р1 ¡2( у)!2

Левая часть уравнения (2.5) представляет собой произведение двух сомножителей, зависящих от разных переменных. Разделяя переменные в (2.5), находим уравнения (2.3) для функций у(х),и(у) и условие (2.3а). Теорема доказана.

Теорема 2.2.

Пусть правая часть уравнения (1.4) не зависит от и(х, у) и ее производных. Также пусть щ(х,у) удовлетворяет уравнению (1.4), а функции х),х),и(у),И(у)

таковы, что у(х) еЛ, х) еЛь и(у) еЛ2, И(у) еА2. Тогда функции, определяемые выражениями

щ( х, у) = и0( х, у) + у( х)И( у), (2.6а)

и2( х, у) = щ(х, у) + х)и( у), (2.6б)

также являются решениями уравнения (1.4). Доказательство

Согласно условию теоремы

х) = 0, Дг2 и( у) = 0, поэтому для функции (2.6а)

можно записать:

~

Д щ (х, у) = Д и0 (х, у) + и( у)Д у( х) = Д щ (х, у), (2.7а)

Л2 Л2 Л2 Л2

Д2и1 (х у) = Д2и0 (х у) + Лх)Д2И(у) = Д2и0 (х у), (2.7б)

Д1Д2и1 (х у) = Д1Д2и0 (х у) + (ДЛх))(Д2И(у)) = Д1Д2и0 (х у) . (2.7в)

Из (2.7а, б, в) следует, что ёй Ящ = ёй ки0 . Поэтому, если и0(х,у)

удовлетворяет уравнению (1.4), то и щ (х, у) удовлетворяет тому же уравнению. Полностью аналогичные рассуждения проводятся для функции (2.6б). Теорема доказана.

Теорема 2.3.

Пусть правая часть уравнения (1.4) имеет вид Г Тогда уравнение (1.4) имеет следующее решение:

и( X У) = V(х>1(У) + VI(х)™2(У),

ди ди и, х, у, —, — дх ду

Л

= fl(. X)f2( У).

(2.8)

причем У2(х) еЛ^ м^^у) &Л2, а функции х),м>2(у) удовлетворяют следующим обыкновенным дифференциальным уравнениям (ОДУ):

Цф) = кЛ(х)/^(х), Щу2(у) = ^2/2(У)^1(у), (2.9)

а постоянные Х2удовлетворяют условию (2.3а). Доказательство

Так как согласно условию теоремы Ь^2(х) = 0, Ь^х(у) = 0, то из (2.8) легко получить, что Ь1Ь2и( х, у) = 0. Тогда, подставляя (2.8) в уравнение (1.4), преобразуем его к виду:

Л2

v2( x)L\v\( х) w\( У)^2^2( У)

= I.

(2.10)

fl(x) f2(y)

Разделяя переменные в (2.10), получаем, что функции v (х), w2 (у) должны

удовлетворять уравнениям (2.9). Теорема доказана.

Замечание. Семейство решений (2.8) уравнения (1.4), определяемое теоремой 2.3, является обобщением семейства решений (2.2), для случая у = 0, т.е. когда правая часть (1.4) не зависит от искомой функции.

Следующая теорема определяет решения типа бегущей волны для неоднородного детерминантного уравнения с постоянными коэффициентами.

Теорема 2.4.

Пусть LbL2 - операторы с постоянными коэффициентами, т.е. в выражениях (1.3) an (х) = const, bm (у) = const, а правая часть уравнения (1.4) имеет вид:

^ ^" ^" / А _ i / / А

F

и, х, у,

ди ди

дх' ду

= F

схх + c2 у, и,

ди ди дх' ду

(2.11)

(2.12)

Тогда уравнение (1.4) имеет решение типа бегущей волны

и(х, у) = и (2), 2 = С1х + С2 у, причем функция и(¿) удовлетворяет следующему ОДУ:

X X+п2)(^)и(т1 +т2)(2) - и(п1 +т1)(2)и(п2 +п2\г)}= Г0(г,и(г),и'(г)), (2.13)

п.1,п2 =1т1,т-2 =1

где а = (п1,п2,т^,т2)- мультииндекс, а коэффициенты Аа и функция Го определяются выражениями:

а = а а ь ь сщ +п2 ст1 +т2 Аа = ащ ап7 °тЛ °т7 С1 С2 ,

Fo( z,U ( z),U'( z)) = F

z, и,

ди ди дх' ду

(2.13а) (2.13б)

и( х,у)=и ( z )

Доказательство

Так как в силу условий теоремы коэффициенты операторов Д, Д явно не зависят от х, у, а правая часть (1.4) явно зависит только от г, то при этих условиях уравнение (1.4) инвариантно относительно преобразования сдвига, и, следовательно, должно иметь решение типа бегущей волны [Полянин, Зайцев, Журов, 2005]. Для получения уравнения относительно функции и(г), подставим (2.12) в дифференциальные выражения, входящие в левую часть уравнения (1.4):

N N

ап2 итх ит2 с1 ~с2

N1 N 2

ДиХДр) = X 12 ОщОпМтСП1 +П2 +Щи(п1 +п2\г)и(т +т2)(г), (2.14а)

Щ,п2 =1 т^,т2 =1

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

/ ч? N 2

Дьн = X X % ап2 КЪП2 сП1 +п2 ст1 +тип1 +т)(г)и(п2 +т2)(г)■ (2.146)

щ,П2 =1т±,т 2 =1

В свою очередь, подставляя (2.14а, 6) в (1.4), после элементарных преобразований получаем уравнение (2.13) с коэффициентами, определяемыми выражением (2.13а). Теорема доказана.

Пример.

Пусть Д1 =——, =—— . Тогда уравнение (2.13) принимает вид:

и(2Щ\г)и(2Щ2\г) ~[и(Щ +Щ2)(г)} = Г0(г,и,и') . (2.15)

Если N1 = N2 = N, то уравнение (2.15) можно удовлетворить только при Го(г,и,и') = 0, причем в этом случае решением данного уравнения является любая функция, дифференцируемая до порядка 2N включительно. Также нетрудно убедиться, что справедливы следующие утверждения:

1) при ¥о(г,и,и') = 0 и любых N1,N2 уравнение (2.15) имеет экспоненциальное решение и(г) = ио ехр(ог);

2) при г,и,и') = 0 и любых N1,N2 , таких, что N1 + N2- четное число, уравнение (2.15) имеет решения в виде гиперболических и тригонометрических функций:

и(г) = и0оЪ(аг), и(г) = и0*Црг), и(г) = и0оо$(ог), и(г) = и0ьт(ог).

В приведенных здесь решениях и0,о - произвольные постоянные.

Рассмотрим теперь неоднородное уравнение (2.15) в случае N1 Ф N2, при этом

Г ди ди Л а у[ды Л01 Гди Л

будем предполагать, что г и,х,у, —,— = ]0{с1х + с2у) и' — —

I дх ду ] удх) I ду

Ч^ )

. Тогда правая

часть (2.15) имеет вид:

Г0(г,и,и') = Ь0га[и(г)]<[и'(г)р , Р^ +Р2, ^ = М^2. (2.16) Нетрудно видеть, что уравнение (2.15) с правой частью вида (2.16) имеет степенное решение: и(г) = иога . Подставляя эту функцию в уравнение (2.15), находим:

йщN (а)и02_02~Т = V^гр, (2.17)

где

2 п-1

N2 (о) = 42NЧ2Ы2 - (Ящ + N2 ) , 4п = П (о-1\

I=0

р = о(Р2+у-2) + а-р2+ 2^1 + N2). (2.17а)

Уравнение (2.17) можно удовлетворить только при условии р = 0. При этом возможны два случая:

Случай 1). Р2+у-2 * 0.

Тогда а, и0 определяются выражениями:

Случай 2). Р^ + У - 2 = 0.

Из условия р = 0 с учетом (2.17а) следует, что параметры уравнения должны удовлетворять условию:

а-р2+ 2( N1 + N2) = 0. Также из уравнения (2.17) получаем, что коэффициент и0 является произвольным, а величина а находится из соотношения: Qщ щ (а) = Ь0ар2.

Рассмотрим теперь уравнение (1.4) в случае, когда Ц_,Ь2 - однородные операторы. Это означает, что при произвольном Д е К+ они удовлетворяют условиям:

Д (рх) = Д1 А (х), ¿2 (ду) = (у), (2.18)

где Г1, - показатели однородности. При этом предполагаем, что правая часть уравнения (1.4) имеет вид:

F

du du u, x, y, —, — dx dy

= f xai yИ2 u V

du dx

2

(2.19)

v^ у

Здесь P¡, P2, У - вещественные параметры. При данных условиях будем

искать решение уравнения(1.4) в виде степенной функции:

u(x, у) = U0 x* У*2, (2.20) где Uq,*2 подлежат определению в дальнейшем.

Из условий (2.18) однородности операторов Lx,L2 следует, что они могут быть представлены в виде:

Nx рР N2 pm

h = XanQXn+ri fn, L2 = Xfm. (2.21)

n=1 dx m=1 dy

Подставим функцию (2.20) в уравнение (1.4) и учтем соотношения (2.19) и (2.21), тогда после некоторых преобразований получаем:

Uq2A(*1)B(*2){A(*1 + rx)B(*2 + Г2) - A(*x)B(*2)}x2(g1 +r) У2* +r2) =

= /0*2P2Uoh+yxax-px +*i(pz+y)y*2-p2 +*2(pE+y). (2.22)

Здесь введены обозначения:

Nx n-1 N2 m-1

P2=Pi +P2, A(*i) =X ano П (*i - i), B(*2) =X bm0 П (*2 - j)■

n=1 i=0 m=1 j=0

Далее, уравнение (2.22) нетрудно преобразовать к виду:

Q(*1,*2)Uo2-Ps~r= /o*iPl*2P2xdlУв2, (2.23)

где

01,2 = а12 — 01,2 -2г1Л +сти(РЕ+у-2), (2.23а)

0(01, о 2) = А(01)Б(02){А(01 + Л)Б(о2 + Г2) - А(о1)Б(о2)}. (2.23б) Рассмотрим возможные случаи для уравнения (2.23).

1) /о = 0. Тогда нетривиальное решение (2.20) существует, только если о, о2 удовлетворяют условию:

0(01,02) = 0, (2.24) при этом коэффициент и0 является произвольным.

2) /0 Ф 0. Тогда уравнение (2.23) можно удовлетворить только при выполнении условий

01 =02 = 0. (2.25)

При этом, в свою очередь, возможны две ситуации: а) Р2 + У - 2 Ф 0. Тогда из (2.23а), (2.25) находим:

2г1,2 +01,2 -а1,2 „„^ а1,2 = ' ' ' . (2.26) 02+У-2

Из уравнения (2.23) получаем выражение для коэффициента и0 :

1

и0 =

Г /000О202 Т2-0Х-У

°(оЪа2) У

(2.27)

причем а,0 определяются выражением (2.26). Если при этом удовлетворяется условие (2.24), то решение (2.20) не существует.

б) 02+У-2 = 0. Тогда из (2.23а), (2.25) следует, что решение (2.20) существует только при выполнении условий:

2тхл +01,2 -ах,2 = 0. (2.28)

Из (2.23) получаем, что <г1 ,о2 должны удовлетворять условию:

0(01,02) = /0<101О202, (2.29)

при этом коэффициент и0 является произвольным.

Итак, в результате приведенных выше рассуждений доказана следующая теорема:

Теорема 2.5.

Пусть Д, Д - однородные операторы, а правая часть уравнения (1.4) имеет вид (2.19). Тогда уравнение (1.4) имеет решение в виде степенной функции (2.20), причем возможны следующие случаи:

1. Если уравнение (1.4) однородное (/0 = 0), то нетривиальное решение вида (2.20)

существует только при выполнении условия (2.24), при этом коэффициент и0 является произвольным.

2. Если уравнение (1.4) неоднородное, то:

а) если 02+уФ 2, то решение (2.20) существует при 0(01,02) Ф 0, и и0,01,02 определяются выражениями (2.26), (2.27);

б) если 02+у = 2, то решение (2.20) существует только при выполнении условий (2.28), (2.29), при этом коэффициент и0 является произвольным.

Заключение

Таким образом, в данной работе изучен класс двумерных детерминантных дифференциально-операторных уравнений специального вида, в которых элементы операторной матрицы представляют собой произведения линейных дифференциальных операторов, действующих по отдельным переменным. Для однородного детерминантного уравнения получены некоторые семейства решений, выраженных через собственные функции и функции, принадлежащие ядрам названных выше линейных дифференциальных операторов. Доказана теорема о взаимосвязи решений однородного детерминантного уравнения и некоторого вспомогательного линейного дифференциально-операторного уравнения. Также исследованы решения неоднородного детерминантного уравнения, правая часть которого зависит от искомой функции, её первых производных, а также от независимых переменных. В частности, исследован случай, когда правая часть уравнения содержит степенные нелинейности по искомой функции и её первым производным. В случае дифференциальных операторов с постоянными коэффициентами исследованы решения типа бегущей волны; при этом более подробно проанализирован случай, когда каждый из операторов включает только одну производную. Получены решения в виде степенной функции для однородных и неоднородных детерминантных уравнений, исследована зависимость этих решений от параметров уравнения и найдены условия существования этих решений. Результаты работы могут быть обобщены на детерминантные уравнения более общего вида.

Список литературы References

1.Гантмахер Ф.Р. 2004. Теория матриц. М.: Физматлит, 560 с.

Gantmakher F.R. 2004. Teoriya matrits [Theory of matrices]. M: Fizmatlit, 560 p.

2.Кушнер А.Г. 2007. Симплектическая классификация гиперболических операторов Монжа -Ампера. Вестник Астраханского государственного технического университета, Т. 1, № 36: 15-18.

Kushner A.G. 2007. Simplekticheskaya klassifikatsiya giperbolicheskih operatorov Monga -Ampera [Symplectic classification of hyperbolic Monge - Ampére operators] Vestnik Astrahanskogo gosudarstvennogo tekhnicheskogo universiteta, V. 1, № 36: 15-18.

3.Кушнер А.Г. 2008. Контактная линеаризация невырожденных уравнений Монжа -Ампера. Известия ВУЗов, Математика, № 4: 43-58.

Kushner A.G. 2008. Kontaktnaya linearizatsiya nevyrozhdennykh uravneniy Monga - Ampera [Contact Linearization of Non-degenerate Monge - Ampére equations] Izvestiya VUZov, Matematika, № 4: 43-58.

4.Лычагин В.В., Рубцов В.Н. 1983. О теоремах Софуса Ли для уравнения Монжа - Ампера. Доклады АН БССР, T. 27, № 5: 396-398.

Lychagin V.V., Rubtsov V.N. 1983. O teoremakh Sofusa Li dlya uravneniya Monga - Ampera [On Sophus Lie theorems for Monge - Ampére equation] Doklady AN BSSR, V. 27, № 5: 396-398.

5.Овсянников Л.В. 1978. Групповой анализ дифференциальных уравнений. М: Наука, 400 с.

Ovsyannikov L.V. 1978. Gruppovoy analiz differentsialnykh uravneniy [Group analysis of differential equations] M.: Nauka, 400 p.

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

6.Полянин А.Д., Зайцев В.Ф. 2002. Справочник по нелинейным уравнениям математической физики: точные решения. М.: Физматлит, 432 c.

Polyanin A. D., Zaitsev V. F. 2002. Spravochnik po nelineinym uravneniyam matematicheskoy fiziki: tochnye resheniya [Handbook of nonlinear partial differential equations: exact solutions] M: Fizmatlit, 432 p.

7.Полянин А.Д., Зайцев В.Ф., Журов А.И. 2005. Методы решения нелинейных уравнений математической физики и механики. М.: Физматлит, 256 c.

Polyanin, A. D., Zaitsev, V. F., Zhurov A.I. 2005. Metody resheniya nelineinykh uravneniy matematicheskoy fiziki i mekhaniki [Methods of solving nonlinear equations of mathematical physics and mechanics] M.: Fizmatlit, 256 p.

8.Рахмелевич И.В. 2016. О решениях двумерного уравнения Монжа - Ампера со степенной нелинейностью по первым производным. Вестник Томского государственного университета. Математика и механика, № 4: 33-43.

Rakhmelevich I.V. 2016. O resheniyakh dvumernogo uravneniya Monga - Ampera so stepennoy nelineynostiyu po pervym proizvodnym [On solutions of the Monge - Ampere equation with power-law non-linearity with respect to first derivatives] Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, № 4: 33-43.

9.Рахмелевич И.В. 2017. Модифицированное двумерное уравнение Монжа - Ампера. Вестник Воронежского государственного университета. Серия: Физика. Математика, № 3: 159168.

Rakhmelevich I.V. 2017. Modifitsirovannoe dvumernoe uravnenie Monga - Ampera [Modified two-dimensional Monge - Ampere equation] Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika, № 3: 159-168.

10.Хабиров С.В. 1990. Неизэнтропические одномерные движения газа, построенные с помощью контактной группы уравнения Монжа - Ампера. Математический сборник, Т. 181, № 12: 1607-1622.

Khabirov S.V. 1992. Neizentropicheskie odnomernye dvizheniya gaza, postroennye s pomoshiyu kontaktnoy gruppy uravneniya Monga - Ampera [Nonisentropic one-dimensional gas motions constructed by means of the contact group of the nonhomogeneous Monge - Ampère equation] Matematicheskiy sbornik, V.181, № 12: 1607-1622.

11.Шабловский О.Н. 2015. Параметрические решения уравнения Монжа - Ампера и течения газа с переменной энтропией. Вестник Томского государственного университета. Математика и механика, № 1: 105-118.

Shablovsky O.N. 2015. Parametricheskie resheniya uravneniya Monga - Ampera i techeniya gaza s peremennoy entropiey [Parametric solutions for the Monge - Ampere equation and gas flows with variable entropy] Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, № 1: 105-118.

12.Banos B. 2002. Nondegenerate Monge-Ampère structures in dimension 3. Letters of Mathematical Physics, V. 62, № 1: 1-15.

13.Ibragimov N.H. (editor). 1994. CRC Handbook of Lie Group to Differential Equations. Vol.1. Symmetries, Exact Solutions and Conservation Laws. -Boca Raton: CRC Press, 429 p.

14.Kruglikov В^. 1998. Symplectic and contact Lie algebras with application to the Monge-Ampère equations . Tr. Mat. Inst. Steklova, V. 221: 232-246.

15.Kushner A. G. 2006. Almost product structures and Monge-Ampère equations. Lobachevskii Journal of Mathematics, V. 23: 151-181.

16.Martin M.H. 1953. The propagation of a plain shock into a quiet atmosphere. Canadian Journal of Mathematics, V. 3: 165-187.

17.Tchij O. P. 1999. Contact geometry of hyperbolic Monge-Ampère equations. Lobachevskii Journal of Mathematics, V. 4: 109-162.

Ссылка для цитирования статьи Reference to article

Рахмелевич И.В. 2019. Двумерное детерминантное дифференциально-операторное уравнение. Научные ведомости Белгородского государственного университета. Серия: Математика. Физика. 51 (2): 163-173. Doi: 10.18413/2075-4639-2019-51-2-163-173.

Rakhmelevich I.V. 2019. Two-dimensional determinant differential-operator equation. Belgorod State University Scientific Bulletin. Mathematics. Physics. 51 (2): 163-173 (in Russian). Doi: 10.18413/2075-4639-2019-51-2-163-173.

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