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

Владикавказский математический журнал 2016, Том 18, Выпуск 4, С. 41-49

УДК 517.952

О РЕШЕНИЯХ МНОГОМЕРНОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ПРОИЗВОЛЬНОГО ПОРЯДКА СО СМЕШАННОЙ СТАРШЕЙ ЧАСТНОЙ ПРОИЗВОДНОЙ И СТЕПЕННЫМИ НЕЛИНЕЙНОСТЯМИ

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

Ключевые слова: уравнение в частных производных, функциональное разделение переменных,

(••|'А| той и О сг ТОГО . Т I .1 ион I I ГЛ.Г"I' I

В современной теории нелинейных дифференциальных уравнений в частных производных большинство точных решений получено для уравнений первого и второго порядков. В то же время, как потребности развития теории,так и практических приложений приводят к задачам нахождения решений для уравнений более высокого порядка. Так, в работах [1-5] проводится исследование линейных уравнений высших порядков с переменными коэффициентами, содержащих смешанную старшую производную, в том числе получены необходимые и достаточные условия факторизации такого уравнения. Целью данной работы является исследование уравнения произвольного порядка со смешанной старшей производной, содержащего степенные нелинейности по неизвестной функции и ее первым производным. При этом используется метод разделения переменных, который является одним из наиболее эффективных методов решения нелинейных дифференциальных уравнений в частных производных [6-10].

Рассмотрим следующее нелинейное уравнение в частных производных порядка N относительно неизвестной функции п(х\,х2,... ,хм)'

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

Введение

1. Постановка задачи. Разделение переменных в уравнении со степенными нелинейностями

© 2016 Рахмелевич И. В.

дхп ^

Простейший случай двумерного уравнения вида (1) был рассмотрен в работе [11]. Предполагаем, что ^>(и) = 6и7, т. е. уравнение (1) содержит нелинейности степенного типа как по неизвестной функции, так и по ее первым производным, причем 7 £ Ж, вп £ Ж. Также должны выполняться следующие ограничения:

1) если 7 £ Ж \ Ъ (т. е. вещественное число с ненулевой дробной частью), то решение уравнения (1) и ^ 0;

2) при тех значениях п, при которых вп £ М\Ъ, производная от решения уравнения

ди

Для решения уравнения (1) будем использовать метод функционального разделения переменных [6, 7]. В соответствии с указанным методом решение уравнения (1) ищем в виде:

N

и

п=1

В (2) входят неизвестные функции и (у) уп(хп), которые подлежат определению в дальнейшем. Подставляя выражение (2) в уравнение (1), приходим к соотношению:

N

.....вп-

Ф

п=1

где

Ну) = и

{У> - Ь[и>(у)Ми(у)]Г { }

Здесь и далее будем использовать обозначения: вх = ^=1 вп, I = {1, • • •, N}, — множество значений индекса п, нумерующего независимые переменные, ^ — множество значений п £ I, для которых ¡Зп ф 1] О, = I \

Пусть ^ = 0. Тогда существует хотя бы одно значение п = П1, при котором вп1 = 1-Продифференцируем соотношение (3) по хп1. Тогда в результате элементарных преобразований с учетом второй из формул (2), находим

Чу) пЛ1}[у'П1ЫГ

Хп1

вольно выбрав некоторое значение П2 = П1 и продифференцировав (5) по хп2, получаем:

д (Ф'(у)\

дхп2 \ Ф(у)/

0.

Будем предполагать, что искомое решение существенно зависит от всех переменных, т. е. уп(хп) = еоп8^ ^^^ любого п. Тогда, из (6) с учетом (2) следует:

-№^=0.

Решая уравнение (7) относительно Ф(у), находим:

Ф

где Фо, а — произвольные постоянные. Из (8) и (4) следует обыкновенное дифференци-

и

и^)

где введена новая постоянная

Во = ЬФо.

Для нахождения функций уп(хп) используем соотношение (3). Рассмотрим два случая. Случай 1. а = 0. Тогда из (3) с учетом (8) и (10), следует

N В

п= 1

откуда находим

Уп

где уп(хп) — произвольная функция при п£А.

Приведем некоторые частные решения уравнения (9) для произвольного N, и соответствующие им решения уравнения (1).

а) Степенное решение

и

Подстановка решения (13) в уравнение (9) позволяет получить выражения для постоянных ио, а:

Ръ-П тт /ОтуМХ^Т^Т

Тогда, подставляя (12) в (13), получаем решение уравнения (1): и(Х1,Х2, ... ) = ЦЛ У^

Спхп + ^ Уп

^гаеП „еП

где уп(хп) — произвольные функции, уо, сп — произвольные постоянные. Постоянные сп должны удовлетворять условию, вытекающему из (11):

пеп

На основании анализа выражений (14) перечислим частные случаи, в которых решение (15) не существует или вырождается в тривиальное решение: _ ПрИ + ^ = 1 решение (15) не существует;

- если а = п при некото ром 1 ^ п ^ N — 1, то Ц = 0 при вх: + 7 > 1 и решение (15) вырождается в тривиальное и(х1,х2,..., ХN) = 0 а ПРи вх: + 7 ^ 1 решение (15) не существует;

- если а = 0 (т. е. вх: = то ПРИ 7 < 1—N решение (15) вырождается в тривиальное, а при 7 > 1 — N это решение не существует.

б) Логарифмическое решение

Ц

ио

выражением

1

^('-ц"-;,'*-1»)"" ив,

Подставляя

п

\гаеП /

Здесь, так же как и в (15), уп(жп) — произвольные функции, сп — произвольные постоянные, удовлетворяющие условию (16). Решение (19) существует при выполнении условий а = 0 7 = 0 = N.

в) Экспоненциальное решение

и

Здесь ио — произвольное, а а определяется формулой:

о

Соответствующее решение уравнения (1) имеет вид

а = В"'"* .

¿

I \гаеп „еп /

В рассматриваемом случае решение (22) существует при выполнении условий а = 0,

вЕ + 7 = 1 вЕ = N.

Выше было сделано предположение, что ^ = 0. Если же имеет место противоположный случай ^ = 0, т. е -в« = 1 ПРИ вс ех п £ /, то из (3) следует, что функции уп(жп) являются произвольными при всех п £ /, а уравнение для функции и (у) имеет вид (9),

а=0

а=0

N Д N

П^м^-1 = т П ехри«ы.

П=1 П=1

а=0

случае, если ^ = /, т. е. в« = 1 ПРИ всех п £ /. Из (23) следует уравнение для функций У« (ж п ) •

[у«

где — произвольные постоянные, удовлетворяющие условию

N Д

=

1 ь

п=1

Решение уравнения (24) имеет вид

г/п

а 1 - вп

а=0

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

1

о; ( \ Рт.+ч-1

а = —тт,—;—ио =

1 - (вЕ + 7)' 0 V Д

о

1

Используя выражения (2), (20), (26) и условие (25), после некоторых преобразований получаем соответствующее решение уравнения (1):

N

п=1

где рп, [/о определяются выражениями

в -1 1 М

Р- = 7ГТ-Т' ^ = П

вЕ + 7 — 1

П=1

Решение (27) не существует в случае вх + 7 = 1-

Таким образом, уравнение (1) имеет решения, определяемые формулами (15), (19), (22), (27), а входящие в них дополнительные параметры определяются выражениями (14), (18), (21), (28). При П = I (вп = 1 при всех п € I) формулы (15), (19) и (22) описывают решения уравнения (1) типа бегущей волны.

2. Понижение порядка уравнения

В данном параграфе рассматриваются теоремы, которые позволяют понизить порядок и размерность (число независимых переменных) уравнения (1).

Пусть множество I, введенное выше, разбито па К непересекающихся подмножеств (к = 1,..., К) и, соответственно, множество переменных Х = {ж1,..., ЖN} разбито на К непересекающихся подмножеств Х& = {жп}пе/к. Здесь и далее N — число элементов в подмножествах 1&, вхк = вп- Тогда имеет место следующая

Теорема 1. Пусть функции (Х&) при вс ех к = 1,...,К являются решениями уравнений

^ м^ тт (дп^

=ЧП (£) (20,

где — некоторые постоянные, удовлетворяющие условиям:

к

= 6.

к=1

Тогда функция

к

п(Х ) =

к=1

< Рассмотрим выражение

дN п т г / дп

N /л,. \ -в^

п=1 4 '

Подставим в (32) выражение (31). Тогда Ф(п(Х)) можно представить в виде

к

Ф

к=1

п

где

Ыпк{Хк)) = П •

пед " пе/к "

По условию теоремы, функции (Х&) удовлетворяют уравнениям (29), поэтому из (34) получаем, что (и&(Х&)) = Тогда, го (33) с учетом (30) следует, что Ф(п(Х)) = Ь. Отсюда, учитывая (32), получаем, что функция (31) является решением уравнения (1). > Доказанная выше теорема 1 позволяет получить множество решений уравнения (1), которые могут быть представлены в виде произведения решений уравнений аналогичного вида, имеющих более низкий порядок.

Теоремы 2 и 3, которые приводятся ниже, определяют возможность понижения порядка уравнения (1) для частных случаев, когда параметры уравнения удовлетворяют некоторым дополнительным условиям. В этих теоремах предполагается, что К = 2, т. е. множество I разбито па непересекающиеся подмножества /1, /2, которым соответствуют подмножества переменных Х1, Х2.

Теорема 2. Пусть параметры, входящие в уравнение (1), удовлетворяют условиям:

7 = 0, вп = 0,

причем второе из этих условий выполняется для всех п £ /ь Тогда уравнение (1) имеет решение вида

и

Здесь и0(Х1) — произвольная функция, а функции и1(Х1) и2 (Х2) удовлетворяют следующим уравнениям:

= Ъ1[и1

дМ1 «1

П дж„

гае/1

д^2 «2 -гт ( д«2

П дж„ ± \ \дж гае/2 пе/2

Произвольные постоянные Ь^ Ь^, входящие в (37), (38), удовлетворяют условию

Ь1Ь2 = Ь.

< Подставим выражение (36) в уравнение (1), откуда после элементарных преобразований получаем:

дМ1Щ -|-г ^2ц2

П дхп}}-\дхп) П дх.

пе/1 пе/2 пе/2

п

(д« д« \ вп

+

пе/1 П П

В силу условий (35), второй и третий сомножители в правой части уравнения (40) равны 1. Тогда это уравнение сводится к следующему:

пе/1 2 пе/2

Так как первый и второй сомножители в левой части (41) зависят от разных групп переменных, а их произведение равно постоянной, то отсюда следует, что функции П1(Х1 ),П2(Х2) должны удовлетворять уравнениям (37), (38), а входящие в них постоянные - условию (39). >

7 = 0, вЕ1 =0

для некоторого подмножества 1ь Тогда уравненне (1) имеет решение вида:

п

Переменная 21, входящая в (43), определяется выражением:

¿1 = ^ СпЖп + ^ Сп

гаеП! „еп1

Здесь !11 С /1, О1 С /1 - множества значений индекса п, для которых ¡Зп ф 1, ¡Зп = 1 соответственно; сП — произвольные постоянные, по (21), Сп(жп) — произвольные функции; функция п2(Х2) удовлетворяет уравнению (38), а функция п1 (¿1) удовлетворяет следующему ОДУ:

Ль,

= б1[щ

Постоянные 61, 62, сп должны удовлетворять следующему дополнительному условию:

6162 = 6 П сПп-1.

< Подставим выражения (43), (44) в уравнение (1). Тогда левая часть уравнения после элементарных преобразований приводится к виду:

дN п ^ щ дN2 п2

Псп П СП

ал... а** " П а*» у 11

1 п€/2 «еП! п€П1

Преобразуем также правую часть уравнения

п=1 х х пеЛ пе/г

В свою очередь, первое произведение в правой части (48) может быть записано в виде

П + ёУ" - + 5?Г' П * • П ¿м- т

п€11 х 7 7 п€Пг „еп1

В силу второго из условий (42), первый сомножитель в правой части (49) равен 1. Тогда, используя соотношения (47)—(49), после элементарных преобразований уравнение (1) можно представить в виде

{ш^нр^тг}-^-1 «

Так как первый и второй сомножители в фигурных скобках в левой части (50) зависят от разных переменных, а их произведение равно постоянной, то уравнение (50) можно удовлетворить только в том случае, если:

61 62

Из (51) следует, что функции п1(21), п2(Х2) удовлетворяют уравнениям (45), (38) соответственно. >

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

1. Вондаренко В. А. Базисные системы полиномиальных и квазиполиномиальных решений уравнений в частных производных.—Ташкент: ФАН, 1987.—146 с.

2. Жегалов В. П., Миронов А. Н. Дифференциальные уравнения со старшими частными производными. —Казань: Казанское мат. об-во, 2001.—226 с.

3. Уткина Е. А. Об одном дифференциальном уравнении со старшей частной производной в трехмерном пространстве // Диф. уравнения.—2005.—Т. 41, № 5.—С. 697-701.

4. Миронов А. Н. Метод Римана для уравнений со старшей частной производной в Rn // Сиб. мат. журн.—2006.—Т. 47, № З.-С. 584-594.

5. Жегалов В. П., Тихонова О. А. Факторизация уравнений с доминирующей старшей частной производной // Диф. уравнения.—2014.—Т. 50, № 1.—С. 66-72.

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

7. Полянин А. Д., Журов А. И. Обобщенное и функциональное разделение переменных в математической физике и механике // Докл. РАН.—2002.—Т. 382, № 5.—С. 606-611.

8. Рахмелевич И. В. О применении метода разделения переменных к уравнениям математической физики, содержащим однородные функции от производных // Вестн. Томского гос. ун-та. Математика и механика.—2013.—№ 3.—С. 37-44.

9. Рахмелевич И. В. Об уравнениях математической физики, содержащих мультиоднородные функции от производных // Вестн. Томского гос. ун-та. Математика и механика.—2014.—№ 1.—С. 42-50.

10. Miller J., Rubel L. A. Functional separation of variables for Laplace equations in two dimensions // J. of Physics A.-1993.-Vol. 26.—P. 1901-1913.

11. Рахмелевич И. В. О двумерных гиперболических уравнениях со степенной нелинейностью по производным // Вестн. Томского гос. ун-та. Математика и механика.—2015.—№ 1.—С. 12-19.

Статья поступила 11 августа 2015 г. Рахмелевич Игорь Владимирович

Нижегородский государственный университет им. Н. И. Лобачевского, доцент кафедры математических и естественнонаучных дисциплин РОССИЯ, 603950, г. Нижний Новгород, пр. Гагарина, 23 E-mail: igor-kitpd@yandex.ru

Литература

ON THE SOLUTIONS OF MULTI-DIMENSIONAL ARBITRARY ORDER DIFFERENTIAL EQUATION WITH MIXED SENIOR PARTIAL DERIVATIVE AND POWER-LAW NON-LINEARITIES

Rakhmelevich I. V.

We study the solutions of a multi-dimensional differential equation of arbitrary order containing mixed senior partial derivative and power-law non-linearities on unknown function and its first derivatives. The method of functional separation of variables is applied for examining of this equation. The particular solutions of the equation under consideration are obtained. Some theorems which permit to decrease the order of this equation are proved.

Key words: partial differential equation, functional separation of variables, power-law non-linearity.