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

2017

Математика и механика

№ 49

УДК 517.952

БОТ 10.17223/19988621/49/5

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

ДВУМЕРНОЕ НЕАВТОНОМНОЕ ГИПЕРБОЛИЧЕСКОЕ УРАВНЕНИЕ ВТОРОГО ПОРЯДКА СО СТЕПЕННЫМИ НЕЛИНЕЙНОСТЯМИ

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

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

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

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

В уравнении (1) Р12 е Я - заданные параметры, g(и), /(х, у) - заданные функции.

Частный случай /(х, у) = 1, когда уравнение (1) является автономным, рассмотрен

в [3]. В данной работе будем искать решения уравнения (1) методом функционального разделения переменных [1, 2, 8]. Возможность разделения переменных в уравнении (1) и общий вид решения определяется следующей теоремой.

1. Постановка задачи. Теорема о функциональном разделении переменных

(1)

Теорема 1. Для того чтобы уравнение (1) допускало функциональное разделение переменных вида

и( х, у) = и (г), г = X (х) + ¥ (у), (2)

необходимо и достаточно, чтобы функцию /(х, у) можно было представить как /(х, у) = [X'(х)]1-в1 [¥'(у)]1-в2 Ф(г), (3)

причем X(х), ¥(у) - произвольно заданные, дважды дифференцируемые функции, Ф(г) - произвольная функция; а функция и (г) должна удовлетворять обыкновенному дифференциальному уравнению (ОДУ):

и"(г) - Я (и(г)) [и'(г)] Ф(г) = 0, РЕ = Р1 + Р2. (4)

Доказательство. 1. Необходимость. Пусть уравнение (1) имеет решение вида (2). Подставив это решение в уравнение (1), получаем

/(х, у) [X'(х)]1 -1 [¥'(у)]2-1 = Ф(г), (5)

где Ф(г) определяется выражением

Ф(г) = и''(г) 1В , ре=р: +Р2. (6)

8 (и (г) )[и'(г) ]

Из (5) и (6) следует, что функция /(х,у) должна быть представима в виде (3), а функция и (г) должна удовлетворять уравнению (4). Необходимость доказана.

2. Достаточность. Пусть функцию /(х, у) можно представить в виде (3) для произвольных дифференцируемых функций X(х),¥(у). Подставив функцию (2) в уравнение (1), получаем для функции и (г) уравнение (4). Достаточность доказана.

2. Решения типа бегущей волны

В данном разделе рассмотрим некоторые частные решения уравнения (1) для случая, когда X (х) = с1 х, ¥ (у) = с2 у. Тогда, согласно теореме 1, уравнение (1)

имеет решение вида и(х,у) = и (г), если /(х,у) = с11-в1 с21-в2Ф(г), причем в данном случае г = с1 х + с2у. Пусть также

8(и) = 8оиу, Ф(г) = гя . (7)

Для функций вида (7) уравнение (4) сводится к обобщенному уравнению Эмдена - Фаулера. В справочнике [10] приведены общие решения этого уравнения для ряда значений параметров, при которых уравнение разрешимо. В данной работе рассмотрим частные решения, которые существуют при произвольных значениях параметров, кроме специальных случаев, указанных ниже. 1) Степенное решение:

и(х,у) = и0г° . (8)

Подставляя функцию (8) в уравнение (4) и учитывая (7), находим

1

РЕ-Х-2 тт _[ (ст-1)ст1-Ре )Ре+У-1

= —-, и0 = 1^-^-\ . (9)

ре+у- 1 0 1 г

Решение вида (8) приведено также в [10, с. 279]. На основании выражений (9) укажем некоторые значения параметров, при которых степенное решение не существует или вырождается в тривиальное.

а) При РЕ + у = 1 решение не существует;

б) при X = -у -1 (ст = 1) возможны две ситуации:

- если РЕ + у -1 > 0, то решение вырождается в тривиальное;

- если РЕ + у -1 < 0, то решение не существует;

в) при X = ре - 2 (ст = 0) также возможны две ситуации:

1 -рУ

- если--— > 0 , то решение вырождается в тривиальное;

рЕ+у- 1 1 -ре

- если--— < 0 , то решение не существует.

рЕ+у- 1

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

и(х,у) = и01п|г\. (10)

Будем предполагать, что у = 0 , т.е. g(и) = g0. Подставляя (10) в уравнение (4), находим, что это решение существует при выполнении условий X = Ре - 2, Ре ф 1, при этом и0 определяется выражением

1

и0 = (-^)1-Ре .

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

и (х, у) = и0 ехр(стг). (11)

Для данного случая предполагаем, что

g(и) = g0иу, Ф(г) = ехр(Хг). (12)

Подставляя (11) в уравнение (4) и учитывая (12), находим: - если Ре + у -1 ф 0, X ф 0, то

1

Х гст2-Ре ^

ст = Г^-, и 0 =

1 -рЕ -у

(13)

- если ре + у -1 = 0, X = 0 , то и0,ст - произвольные, но при этом решение существует только при выполнении условия g0 =ст ре ;

- если ре + у -1 = 0, X ф 0, то решение не существует.

Рассмотрим решения типа бегущей волны при особых значениях параметров. При анализе решений (8), (11) было показано, что указанные решения не существуют в случае, если

рЕ+у-1 = 0. (14)

Рассмотрим решение для данного случая, предполагая, что Ф( г) - произвольная функция, а g(и) определяется первой из формул (7). С учетом (14), уравнение (4) можно переписать в виде

= g0 ГШГф(г). (15)

и'(г) Г и(г) )

Для уравнения (15) можно понизить порядок с помощью замены переменной

м( г) = ЦМ. (16)

и (г)

Подставляя (16) в уравнение (15), получаем уравнение первого порядка

м'(г) + [м(г)]2 = 80Ф(г) Иг)]1-у . (17)

Приведем решения уравнения (17) для некоторых значений у.

а) при у = -1 (17) сводится к уравнению с разделяющимися переменными, решение которого имеет вид

м(г) =--Ц-. (18)

г - г0 + 80 | Ф(г)Сг

Из (16), (18) получаем решение уравнения (4):

и (г) = и 0 ехр -—1, (19)

I ; г - г0 + 80^(г) ]

где г) = |ф(г)Сг ; и0, г0 - произвольные постоянные.

б) при у = 0 (17) сводится к уравнению Бернулли

м'( г) = 80Ф (г М г) -И г )]2. (20)

Решая уравнение (20) и учитывая соотношение (16), находим

и (г) = и 0 ехр ^ 1. (21)

[■' С + г)с1г ]

Здесь г) = ехр {80| Ф( г )Сг}.

Рассмотрим случай X = Ре - 2, при этом предполагаем, что 8(и) - произвольная функция, а Ф(г) определяется второй формулой (7). Тогда уравнение (4) сводится к однородному уравнению

г 2и" (г) - 8 (и (г) )[ги' (г )] = 0. (22)

Выполнив в уравнении (22) замену переменной г = ехр(?), преобразуем его к автономному уравнению:

и"(О - и'(О - 8 (и(?)) [и'(?)] = 0. (23)

Пусть Ре = 1. Тогда решение уравнения (23) в неявном виде определяется формулой

си

= 1-. (24)

0 *и + О(и) + А

Возвращаясь к переменной г , решение (24) можно привести к виду

(г си Л

г = г0 ехр I I-I. (25)

0 ^ и + О(и) + А )

В формулах (24), (25) О(и) = | 8 (и )Си; ?0, г0, А

произвольные постоянные.

3. Другие частные решения

В данном разделе будем рассматривать решения более общего вида. Теорема 2. Пусть

/ (х, у) =Ф( х) у), (26)

где ф(х), у) - некоторые заданные функции, g(и) определяется первой из формул (7). Тогда уравнение (1) имеет решения следующего вида: 1) при Ре + у-1 ф 0 :

и( х, у) = ^ст К х) П( у),

где

х) =

П( У) =•

[ [ф( х)] при Pj = 1,

{х)]™ + Q}а(1-Р1) при Pi Ф 1;

[V У) ]а

{{(У)dy + Do}

а(1-р2)

при Р2 = 1, при Р2 Ф1;

Чг =

1 при Рг = 1,

^ (1-р,-)

при Рг Ф 1

2-Ре

1 -ре-у

(27)

(28а)

(28б)

(29)

-Рг)

D0 , С0 - произвольные постоянные; 2) при РЕ+у-1 = 0:

u(х,у) = U00§(х)n(y), (30)

где §(х) = exp{я1/(1-Р1) {[ф(х)]1/(1-Р1) dx}, (31а)

П(У) = exp{я1/0-^|[4/(y)]V(1-P2) dy). (31 б)

Выражения (31а), (31б) справедливы при Р1 Ф1, Р2 Ф1 соответственно. При Р1 = 1 х) - произвольная функция при условии ф(х) = const , в противном случае данное решение не существует. Аналогично, при Р2 = 1 n(y) - произвольная функция при условии y(y) = const, в противном случае данное решение не существует. В выражениях (30),(31а,б) u0, Х1, Я2 - произвольные постоянные, причем Я1, Я2 связаны соотношением

Я^ 2 = g0 . (32)

Доказательство. При условиях теоремы 2 решение уравнения (1) ищем в виде

u( х, y) = U1( х) u2( y). (33)

Подставляя выражение (33) в уравнение (1), с учетом (26) и первой из формул (7), приводим (1) к виду

['(х)]1-в1 х)р-Р2 K(y)]1-P2 [u2(y)]-y-P1

ф( х)

V(y)

u

0

Левая часть уравнения (34) представлена в виде произведения двух сомножителей, один из которых зависит от x, а другой от y . Поэтому, используя известную

схему разделения переменных, получаем уравнения для функций u1 (x), u2(y):

К (x)]1-P' h(x)rT-fe [u2 (y)]1-P2 [u2( y)]-T-P' (35)

ф( x) 1 y) 2

где X1, X 2 - некоторые постоянные, связанные соотношением (32). Для дальнейшего анализа уравнения (35) перепишем в виде

(x)]01 [ui(x)]5-01 = X^(x), [u2 (y)]02 My)]5-02 = X2y(y), (36)

где 5 = 1 - PE - у, 0; = 1 - p; (i = 1,2). Рассмотрим возможные частные случаи для первого уравнения (36).

Случай 1. 5 Ф 0 .

а) 01 Ф 0 (Р1 Ф1). Решение первого уравнения (36)

u (x) = Хст j 1 ( j [ф(x)]01 dx + Co } ;

б) 01 = 0 (P1 = 1). Тогда из (36) u1 (x) = [Х1ф(x)]a (здесь учтено, что ст = ^5).

Случай 2. 5 = 0 .

а) 01 ф 0 (Р1 ф 1). Решая первое уравнение (36), находим

u1(x) = u10 exp (х^01 |[ф(x)]101 dx};

б) 01 = 0 (P1 = 1). Тогда первое уравнение (36) принимает вид Х1ф(x) = 1. Этому уравнению удовлетворяет произвольная функция u1 (x), при условии, что ф(x) = 1/Х1 = const.

Решение второго уравнения (36) полностью аналогично. Используя полученные выражения для u1 (x), u2 (x) и подставляя их в (26), после элементарных преобразований находим решения (27) - (30). Теорема доказана.

Приведенная ниже теорема определяет условия существования обобщенных автомодельных решений уравнения (1).

Теорема 3. Уравнение (1) имеет обобщенное автомодельное решение вида

u(x, y) = Х0 (x)U(z), z = yX(x), (37)

только в том случае, если выполнены условия

X0(x) = «0 [X(x)]X, f (x,y) = f [X(x)]X (1-fe)+P1 -в2 [X'(x)]1-P1 Ф(z), (38) где a0,X - некоторые постоянные, а Ф(z) - некоторая произвольная функция.

При этом функция U(z) удовлетворяет обыкновенному дифференциальному уравнению:

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

1. Пусть уравнение (1) имеет решение вида (37). Уравнение (1) можно переписать в следующем виде:

ШЩ- <40)

Подставим (37) в правую часть (40), тогда после элементарных преобразований это уравнение принимает вид

[и'^-Ре Г1 + Х0 (х)X(х) + .им!

(ху) [X(х)Xр(х)]2 [X0(х)]1-Р1 = 1 ] I X0(х)X'(х) и'(г) ^ (/Ц)

, Х0(х)Х '(х) Г X0( х) X'(х) + и (г) ^ ^

Г X0 (х) X (х) ги'(г) ^ Г

Из уравнения (41) может быть получено ОДУ относительно функции и (г) только при выполнении условия

X 0 (х) X (х)

= X , (42)

X 0( х) X'(х) где X - некоторая постоянная.

Рассмотрим условие (42) и выполним в нем замену переменных:

Xo( х) = ехр (х0( х)), X (х) = ехр (х( х)). (43)

С учетом (43) условие (42) приводится к виду

х0( х) -Хх'( х) = 0. (44)

Интегрируя уравнение (44) и возвращаясь к функциям X0( х), X (х) согласно (43), получаем первое из условий (38). Далее, с учетом (42), уравнение (41) принимает вид

пр г ' ИР [и '(г )]1-рЕ Г1 + х + (х [X (х) Xр( х)]2 [X 0( х)]1 в 1 ^ Г и '(г Ь (45)

' Xo(х)X'(х) /1 + и(г) У1 ^ '

^Х + ги '(г)) 2

Правая часть уравнения (45) зависит только от переменной г, следовательно, и левая часть (45) должна быть функцией только этой переменной. Отсюда находим, что функция /(х, у) должна удовлетворять условию

х,у)[[(х)X0(х)] [[0(х)] =ф(г), (46)

X0(x)X '(х)

где Ф(г) - произвольная функция. Учитывая доказанное выше первое из условий (38) и выражая X0(х) через X(х), получаем второе условие (38). Кроме того, отсюда получаем уравнение (39) для функции и (г). Теорема доказана.

Заключение

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

ЛИТЕРАТУРА

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

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

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

4. Рахмелевич И. В. О некоторых новых решениях многомерного уравнения в частных производных первого порядка со степенными нелинейностями // Вестник Томского государственного университета. Математика и механика. 2015. № 3(35). С. 18-25. DOI 10.17223/19988621/35/3.

5. Рахмелевич И.В. О решениях многомерного дифференциального уравнения произвольного порядка со смешанной старшей частной производной и степенными нелинейно-стями // Владикавказский математический журнал. 2016. Т. 18. № 4. С. 41-49. DOI 10.23671/VNC.2016.4.5992.

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

7. Рахмелевич И.В. О многомерных уравнениях в частных производных со степенными нелинейностями по первым производным // Уфимский математический журнал. 2017. Т. 9. № 1. С. 98-108.

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

9. Miller J. (Jr.), Rubel L.A. Functional separation of variables for Laplace equations in two dimensions // J. Physics A. 1993. V. 26. P. 1901-1913.

10. Зайцев В.Ф., Полянин А.Д. Справочник по обыкновенным дифференциальным уравнениям. М.: Физматлит, 2001. 576 с.

Rakhmelevich I.V. (2017) TWO-DIMENSIONAL NON-AUTONOMOUS HYPERBOLIC EQUATION OF THE SECOND ORDER WITH POWER-LAW NONLINEARITIES. Tomsk State University Journal of Mathematics and Mechanics. 49. pp. 52-60

DOI 10.17223/19988621/49/5

The study of non-autonomous differential equations is of interest for the development of methods of their solutions and applications, including the study of inhomogeneous and non-stationary physical processes. In this paper, we consider the two-dimensional non-autonomous hyperbolic equation of second order containing a power-law nonlinearity in the first derivatives and arbitrary functions of the dependent and independent variables. To study the solutions of this equation, the method of functional separation of variables is used. The theorem on necessary and sufficient conditions under which this equation admits a functional separation of variables of a specified type is proved. A number of particular solutions of this equation have been obtained. In particular, we present solutions of the traveling wave type with exponential, logarithmic, and exponential functions of independent variables. For the found solutions, we formulate conditions

of their existence and investigate the dependence of solutions on parameters of the equation. We have also obtained particular solutions with functions of the independent variables of a more general form. The theorem on the condition of existence of generalized self-similar solution has been proved. The results obtained in this work can be generalized for non-autonomous nonlinear equations of higher orders and more complex types of nonlinearities.

Keywords: non-autonomous equation, functional separation of variables, power-law nonlinearity, solution of travelling wave type, self-similar solution.

RAKHMELEVICH Igor Vladimirovich (Candidate of Technical Sciences, Assoc. Prof., Nizhny Novgorod State University, Nizhny Novgorod, Russian Federation) E-mail: igor-kitpd@yandex.ru

REFERENCES

1. Polyanin A.D., Zaitsev V. F. (2004) Handbook of Nonlinear Partial Differential Equations. Boca Raton: Chapman & Hall/CRC Press.

2. Polyanin A.D., Zaitsev V.F., Zhurov A.I. (2005) Metody resheniya nelineinyh uravneniy matematicheskoy fiziki i mekhaniki [Methods of solving nonlinear equations of mathematica physics and mechanics]. Moscow: Fizmatlit.

3. Rakhmelevich I.V. (2015) O dvumernykh giperbolicheskikh uravneniyakh so stepennoy nelineynost'yu po proizvodnym.[ On two-dimensional hyperbolic equations with power-law nonlinearity in the derivatives]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 1(33). pp. 12-19.

4. Rakhmelevich I.V. (2015) O nekotorykh novykh resheniyakh mnogomernogo uravneniya v chastnykh proizvodnykh pervogo poryadka so stepennymi nelineynost'yami [On some new solutions of the multi-dimensional first order partial differential equation with power-law nonlinearities]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika -Tomsk State University Journal of Mathematics and Mechanics. 3(35). pp. 18-25. DOI:10.17223/19988621/35/3.

5. Rakhmelevich I.V. (2016) O resheniyakh mnogomernogo differentsialnogo uravneniya so smeshannoy starshey chastnoy proizvodnoy i stepennymi nelineynost'yami [On the solutions of multi-dimensional arbitrary order differential equation with mixed senior partial derivative and power-law non-linearities]. Vladikavkazskiy matematicheskiy zhurnal. 4. pp. 41-49. DOI 10.23671/VNC.2016.4.5992.

6. Rakhmelevich I.V. (2016) Reduction of multidimensional first order equations with multi-homogeneous function of derivatives. Russian Mathematics. 60(4). pp. 47-55. https://doi.org/ 10.3103/S1066369X16040071.

7. Rakhmelevich I.V. (2016) On multi-dimensional partial differential equations with power nonlinearities in first derivatives. Ufa Mathematical Journal. 8(4). pp. 98-108.

8. Polyanin A.D., Zhurov A.I. (2002) The generalized and functional separation of variables in mathematical physics and mechanics. DokladyMathematics. 65(1). pp. 129-134.

9. Miller J. (Jr.), Rubel L.A. (1993) Functional separation of variables for Laplace equations in two dimensions. Journal of Physics A. 26. pp. 1901-1913.

10. Polyanin A. D., Zaitsev V. F. (2003) Handbook of Exact Solutions for Ordinary Differential Equations. Boca Raton: Chapman Hall/CRC Press.