О решениях типа агрегированных бегущих волн для линейных уравнений в частных производных с переменными коэффициентами Текст научной статьи по специальности «Математика»

УДК 517-9

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

ON THE SOLUTIONS TYPE OF AGGREGATED TRAVELLING WAVES FOR LINEAR PARTIAL DIFFERENTIAL EQUATIONS WITH VARIABLE COEFFICIENTS

Нижегородский национальный исследовательский университет, Россия, 603950, г. Нижний Новгород, пр. Гагарина, 23 Nizhny Novgorod National Research University, 23 Gagarin Ave, Nizhny Novgorod, 603950, Russia

Аннотация. Исследован новый тип решений для многомерных линейных уравнений в частных производных с переменными коэффициентами - решения типа агрегированных бегущих волн (АБВ). Рассмотрены уравнения с линейным аддитивно-однородным дифференциальным оператором и уравнения с линейным дифференциальным оператором общего вида. Доказаны теоремы о достаточных условиях существования решений типа АБВ.

Resume. There is investigated a new type of solutions for linear multi-dimensional partial differential equations with variable coefficients, i.e. the solutions type of aggregated travelling waves (ATW). The equations with linear additional-homogeneous differential operator and the equations with linear differential operator of general type were considered. There are proved the theorems about sufficient conditions of existence of ATW type solutions.

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

Key words: partial differential equation, travelling wave, homogeneous differential operator, aggregated variables.

Как известно, решения типа бегущей волны (БВ) являются одними из наиболее простых и хорошо изученных типов решений для многих важных классов дифференциальных уравнений в частных производных [1-6]. Такие решения для уравнений с N независимыми переменными х1,.,xN имеют вид:

где си - некоторые постоянные коэффициенты.

Решение вида (1) зависит от линейной комбинации исходных независимых переменных. Основное преимущество использования таких решений заключается в возможности редукции исходного N -мерного уравнения к обыкновенному дифференциальному уравнению (ОДУ) относительно функции и (2). Целью данной работы является нахождение более сложных решений, которые могут рассматриваться как обобщения решений типа БВ. Предполагается, что эти решения будут зависеть от линейных комбинаций по некоторым подмножествам независимых переменных.

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

E-mail: igor-kitpd@yandex.ru

Введение

(1)

Пусть множество значений I = {1, индекса п, нумерующего независимые перемен-

ные, разбито на К непересекающихся подмножеств 1к (к еа). Здесь и далее Е = {1,...,К} - множество значений индекса к. В соответствии с этим множество независимых переменных X = {х1;..., хы} разбито на К непересекающихся подмножеств Хк = Х . Введем агрегированные переменные гк с помощью следующего выражения:

Ч = 2С"Х" > (2)

пе1к

т.е. эти переменные представляют собой линейные комбинации переменных подмножества Хк;

Сп - постоянные коэффициенты. Определение.

Агрегированными бегущими волнами (АБВ) будем называть решения, выражающиеся через функции агрегированных переменных, причем каждая из этих функций либо зависит от одной переменной и может быть найдена в результате решения некоторого ОДУ, либо является произвольной функцией любого множества агрегированных переменных.

Далее в настоящей работе рассматриваются решения типа АБВ для некоторых классов многомерных линейных уравнений в частных производных с переменными коэффициентами.

1. Линейное многомерное уравнение с аддитивно-однородным дифференциальным оператором

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

К

Ч

2 4т)и=о (з)

к=1

где

4« =2 (Хк Ьг^ (3а)

7 т 4 к' дх . дх!

е1и 1 1 1

- линейный однородный дифференциальный оператор порядка т , действующий по переменным Х^, аа (хк) - некоторые заданные функции этих переменных. Здесь и далее используется

мультииндекс ат = {¡г,.1т}; причем запись ат е 1козначает ^ е 1к,.••, 1т е 1к . Существование

решений типа АБВ для уравнения (3) определяется следующей теоремой. Теорема 1.

Если существуют коэффициенты сп (п е I) и функции т(гк) (к еа), такие, что при всех к еа удовлетворяются условия

т

2 ^ (Хк С1 " •С1 т фк ,т (^), (4)

°т е1к

то уравнение (3) имеет решения типа АБВ следующих видов:

и (Х1,..., ) = 2^ (ч) + и0(г0), (5)

ке2+

и (Х1,., хм) =П^к (ч) + и0(г0\ (6)

ке2+ 5

и хм ) = 2ПЦк 2) + и0(г0), (7)

«=1 кеНл+

где подмножество агрегированных переменных = }ке2о; 20 £ 2 - подмножество значений к , при которых фк т(2к) = 0 ; 2+ = 2\ 20 ; и0) - произвольная функция от переменных, принадлежащих подмножеству ^, дифференцируемая необходимое число раз по всем аргументам. Доказательство.

Рассмотрим функцию от агрегированных переменных

и = и (21,., 2К ) (8)

Подставим функцию (8) в уравнение (3), тогда с учетом (за), после вычисления производных и элементарных преобразований, это уравнение принимает вид:

К 8ти

Е^Т 2 ^т (Хк Ь 1 .Ст = 0 (9)

к=1 8 2к Ът^к

Если существуют коэффициенты сп (п е I) и функции фк т(гк) , при которых для всех к е 2 удовлетворяются условия (4), то уравнение (9) можно представить как

Х^т Фк ,т (2к ) = 0 (10)

к=1 8 2к

Учитывая данное выше определение множеств Н+, 2, нетрудно видеть, что любое решение уравнения (10) может быть представлено в виде:

и(21,.,2к) = и+ ) + Щ^) (11)

где и+ ) - некоторое частное решение уравнения

8 ти

2—^ТФк,т (2к ) = 0 (12)

кеН+ 8 2к

С помощью метода аддитивного разделения переменных[1-з] нетрудно получить следующее решение уравнения (12):

и+ (^ ) =2ик (2к ) , ик (2к) =Хк К + Рт-1(2к) , (13)

кеН+ J J Фк,т (2к)

где выполняется т - кратное интегрирование по 2к , Рт_х(2к)- полином степени т-1 с произвольными коэффициентами, Хк - константы разделения переменных, удовлетворяющие условию:

2*- к = 0 (13а)

к

Аналогичным образом, с помощью мультипликативного разделения переменных находим следующее решение уравнения (12):

и+ (2+) = П^к (^) (14)

кен+

где функции ик (^ ) являются решениями следующих ОДУ:

Л

икт)^к)--^ и к ^к) = 0 (14а)

Фк ,т ( гк )

Xк - константы, удовлетворяющие условию(13а).

5

Пусть теперь Н+ = ^^5+ - объединение непересекающихся подмножеств . Используя

«=1

метод комбинированного разделения переменных [7,8], решение уравнения (12) будем искать в виде:

5

и+ ^+) = 2 Пик(*к) (15)

5=1 ке!

Подставляя (15) в уравнение (12), преобразуем это уравнение к виду:

2

5 =1

Пи/ (^ ) • 2 Фк,т (*к) ик (2к )

кеЕ

= 0 (16)

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

Пи/ (*/) -2 ЦЬ^ Фк ()5, (17)

е ке~ ик(2к)

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

5

2^5 = 0 (17а)

5

5=1

Проанализируем уравнение (17) при дополнительном требовании, что ^ = 0 при всех 5 = 1,.,5; тогда из (17) следует:

V- и(т)(2к )

2 к Г к) Фк,т (^к) = 0 (18)

к^+ ик (2к)

Из уравнения (18) нетрудно получить, что функции Ц. (^) должны удовлетворять уравнению (14 а), а постоянные Хк должны удовлетворять условию

2Хк = 0 . (18а)

кёЕ 5+

Таким образом, для исходного уравнения получены решения вида (11), где и+ (2+) определяется выражением (13) при аддитивном разделении переменных; выражениями (14) и (14а)

при мультипликативном разделении переменных; выражениями (15) и (14а) при комбинированном разделении переменных. Теорема доказана.

Кроме решений, перечисленных в теореме 1, существуют дополнительные решения для

функций фк ,т (2к ) специального вида, что определяется следующей теоремой.

Теорема 2.

Пусть при всех к е 2 удовлетворяются условия (4), причем для всех к е 2+

Фк,т (2к ) = ак2кт, (19)

где ак - некоторые постоянные коэффициенты. Тогда уравнение (3) имеет следующие решения типа АБВ:

и (х1,..., хм ) = р„-1(л) + ио(Zо), П = П 2 к (20)

ке2+

если 2ак * 0 ; (20а)

ке2 +

и (Х1,., хы ) = Ф(л) + Uо(Zо), (21)

если Еак = 0 (21а)

ке2+

где Ф(л) - произвольная т -кратно дифференцируемая функция, Рт_х (л) - полином степени т -1 с произвольными коэффициентами. Доказательство

Так как выполняются условия (4), то согласно доказательству теоремы 1, искомое решение можно представить в виде (11), где функция и+ (^) является решением уравнения (12). Решение этого уравнения будем искать в виде:

и+= и+ (л) (22)

где Л определяется второй из формул (20).

Подставляя выражение (22) в уравнение (12) и выполняя дифференцирование, получаем:

лти+т)(л) Хак = 0 (23)

ке2+

Если выполняется условие (20а), то из (23) следует, что и+т)(л) = 0, откуда получаем решение в виде (20). Если же коэффициенты ак удовлетворяют условию (21а), то решением уравнения (23)

является любая т -кратно дифференцируемая функция, откуда следует решение в виде (21). Теорема доказана.

2. Линейное многомерное уравнение с дифференциальным оператором общего вида

Рассмотрим теперь уравнение, содержащее линейный дифференциальный оператор общего вида:

м к

22=0 (24)

т=1 к=1

т(т) , ч

где ьк определяется выражением (за).

Теорема 1, доказанная в п.1, непосредственно обобщается для уравнения (24). Рассмотрим решения типа АБВ для этого уравнения. Аналогично доказательству теоремы 1, подставим функцию (8) в уравнение (24). Предполагая выполненным условие (4), получаем:

М^ К ^ ^т-ц

22тт Фк,т (2к ) = 0 (25)

т=1 к=1 Я 2 к

Примем, что ^са - множество значений к, при которых фк т (^ ) = 0 для всех 1 < т < М; а+ = а \ а . Аналогично п.1, решение уравнения (25) может быть представлено в виде (11), причем и+ (2+) - некоторое частное решение уравнения

М Я тц

22т^Фк,т (2к) = 0 (26)

кеа+т=1 Я 2к

Используя аддитивное разделение переменных в виде первой из формул (13), получаем, что функции Ц. (2к ) должны удовлетворять следующим ОДУ:

М

2и«(2к )фк,т (2к ) = Хк (27)

т-

причем постоянные Xк должны удовлетворять условию (13а).

Для мультипликативного разделения переменных в виде (14) функции Ц. (^) должны удовле-

творять следующим уравнениям:

М

2и(кт)(2к)Фк,т(2к) "XкЦк(2к) = 0 (28)

т=1

где постоянные Хк также удовлетворяют условию (13 а).

Для комбинированного разделения переменных, подставив выражение (15) в уравнение (26), получаем:

5_

5 =1

2

Пи/(2.) • 2 2^ Фкт(2к)

= 0 (29)

Так как каждое из слагаемых в фигурных скобках в левой части (29) соответствует определенному значению индекса 5 и зависит только от переменных ^ (к е ) , то уравнение (29) можно удовлетворить только в том случае если при всех 5 = 1,., 5 выполняются условия:

=1

М т Лт)( л

Пи; (2;) • 2 2иТгЧФк,т (2к) = ^ , (30)

/е^ ке^ т=1 ик (2к)

где постоянные ^ должны удовлетворять условию (17а).

Аналогично п.1, потребуем, чтобы ^ = 0 при всех 5 = 1,..., 5, тогда из уравнения (30) следует:

М ТГ(т)(у л

221^ Фк,т (2к ) = 0 (31)

ке2+ т=1 и к (2к )

Поскольку левая часть (31) представляет собой сумму слагаемых, зависящих от разных переменных, то это уравнение можно удовлетворить только при выполнении условий

Ми(т)(2 )

2 г\ / к) Фк,т (2к) = к (32)

т=1 ик (2к )

где постоянные Хк удовлетворяют условию (18а). Из (32) следует, что для рассматриваемого случая комбинированного разделения переменных функции и (2 ) являются решениями уравнения (28).

Рассмотрим обобщение теоремы 2 на уравнение (24). Определим подмножества 2(1) £ 2+ , 2(2) £ 2+ следующим образом: при всех к е 2+1) и т > 1 выполнены условия (хк) = 0, т.е. для

переменных принадлежащих соответствующим подмножествам , к е 2+1) уравнение (24) содержит производные только первого порядка; 2(2) = 2+ \ 2(1). Теорема 3.

Пусть при всех к е 2 удовлетворяются условия (4), причем для всех к е 2+1) функции фк 2к)

/2)

могут быть произвольными, а для всех к е 2+

Фк,т (2к ) = ак,т2кт > (33)

где акт - некоторые постоянные коэффициенты. Тогда уравнение (24) имеет следующие решения типа АБВ:

и (х1,хИ ) = и+ (л) + 1о (Zо ), Л = С ехр <

2.1;

ке2(1) фк ,т ( (2 к )

П2к (34)

и (х^..., хм ) = Ф(л) + Uо(Zо), (35)

где Ф(л) - произвольная т -кратно дифференцируемая функция, а функция и+ (л) является решением ОДУ:

М

2Лтлти+т)(л) = о ; (36)

т=1

Решение (35) существует, если при всех 1 < т < М выполняются условия

А = 0; (37)

решение (34) существует, если условия (37) выполнены не при всех 1 < т < М.

ке2('

+

+

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

Согласно рассуждениям, приведенным после уравнения (25), искомое решение может быть представлено в виде (11), причем функция (2+) является решением уравнения (26). Решение этого уравнения будем искать в виде (22), где л определяется выражением:

п = ) П ^ (з8)

кеЕ« кеЕ(+2)

где У (2к ) - некоторые неизвестные функции, подлежащие определению в дальнейшем.

С учетом приведенного выше определения множеств е(1), е(2) уравнение (26) можно преобразовать к виду:

^ ди+ / Л ^ М 5ти+ , л п

У ^Фк,1(2к) + У У^т+Фкт(2к) = 0 (39)

кеЕ(1) д2к кеЕ(2) т=1 °2к

+ +

С учетом (38) первое слагаемое в левой части (35) можно записать так:

5и+ ^ Ук (2к)

^ д2к кТЕ» Ук (2к )

+

У ди+ фк,1(2к) = (Л У ФкД(2к) (40)

Для определения функций у (2к) потребуем, чтобы при всех к е Е+1) было выполнено условие:

У^) Фк,1(2к) = хк, (41)

ук(2 к)

где Хк - некоторые постоянные.

Если при всех к е Е+1) выполняется условие (41), то функция (л) является решением ОДУ (36), причем коэффициенты Ат определяются выражением:

Ат = У ак,т (т > 1) , А1 = У Xк + У а^ (42)

кеЕ(2) кеЕ(1) кеЕ(2)

+ + +

Так как функции фкх(хк) определяются выражением (4), то они могут считаться заданными. Поэтому уравнение (41) может рассматриваться как ОДУ относительно У (2 ) , решая которое, находим:

Ук(2к) = Ск ехрк (43)

[ J Фк,1( 2к) ]

где С - произвольные постоянные.

Подставляя (43) в выражение (38), получаем выражение (34) для л, причем постоянная С

определяется выражением с = ПС '

кеЕ«

Далее, если условия (37) выполняются при всех 1 < т < М, то решением уравнения (36) является произвольная т -кратно дифференцируемая функция, и следовательно, имеем решение исходного уравнения в виде (35). Если же при некоторых значениях 1 < т < М условия (37) не выполняются, то получаем искомое решение в виде (34), где функция (л) является решением уравнения (36). Теорема доказана.

Заключение

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

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

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

Polyanin A.D. and Zaitsev V. F. 2012. Handbook of Nonlinear Partial Differential Equations, 2nd Edition, Chapman & Hall/CRC Press, Boca Raton.

2. Полянин А.Д. 2001. Справочник по линейным уравнениям математической физики. М., Физматлит, 576.

Polyanin A.D. 2002. Handbook of Linear Partial Differential Equations for Engineers and Scientists, Chapman & Hall/CRC Press, Boca Raton.

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

Polyanin, A.D., Zaitsev, V. F., Zhurov A. I. 2005. Metody resheniya nelineynyh uravneniy matematicheskoy fiziki i mehaniki. M., Fizmatlit (In Russian).

4. Баренблатт Г.И. 1978. Подобие, автомодельность, промежуточная асимптотика. М., Гидрометео-издат, 208.

Barenblatt G.I. 1978. Podobie, avtomodelnost, promezhutochnaya asymptotika. M., Gidrometeoizdat (In Russian).

5. Полянин А.Д. 2004. Неклассические (неинвариантные) решения типа бегущей волны и автомодельные решения. Доклады РАН, 398(1): 33-37.

Polyanin A. D. 2004. Nonclassical (noninvariant) traveling-wave solutions and self-similar solutions, Doklady Mathematics, 70 (2) : 790-793.

6. Рахмелевич И.В. 2015. О двумерных гиперболических уравнениях со степенной нелинейностью по производным. Вестник Томского государственного университета, № 1(33) : 12-19.

Rakhmelevich I.V. 2015. O dvumernyh hyperbolicheskih uravneniyah so stepennoy nelineynostiu po pro-izvodnym. Vestnik Tomskogo gosudarstvennogo universiteta, № 1(33) : 12-19. (In Russian).

7. Рахмелевич И.В. 2014. О решениях многомерного уравнения Клеро с мультиоднородной функцией от производных. Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика, 14(4) : 374-381.

Rakhmelevich I.V. 2014. O resheniyah mnogomernogo uravneniya Clairaut s multiodnorodnoy funkciey ot proizvodnyh. Izvestiya Saratovskogo universiteta. Novaya seria. Seria: Matematica. Mehanica. Informatica, 14(4): 374-381. (In Russian).

8. Рахмелевич И.В. 2016. О редукции многомерных уравнений первого порядка с мультиоднородной функцией от производных Известия высших учебных заведений. Математика, №4 : 57-67.

Rakhmelevich I.V. 2016. Reduction of multidimensional first order equations with multi-homogeneous function of derivatives. Russian Mathematics, .60.(4): 47-55.