CC BY
26
2015 Математика и механика № 3(35)
УДК 517.952
Б01 10.17223/19988621/35/3
И.В. Рахмелевич
О НЕКОТОРЫХ НОВЫХ РЕШЕНИЯХ МНОГОМЕРНОГО УРАВНЕНИЯ В ЧАСТНЫХ ПРОИЗВОДНЫХ ПЕРВОГО ПОРЯДКА СО СТЕПЕННЫМИ НЕЛИНЕЙНОСТЯМИ
Проведён анализ решений многомерного уравнения в частных производных первого порядка, содержащего степенные функции от производных. Для исследования данного уравнения применяется метод двухуровневого функционального разделения переменных (РП), являющийся новым вариантом метода функционального РП. В результате получены новые решения рассматриваемого уравнения в неявной форме, содержащие некоторые обобщенные полиномы от независимых переменных.
Ключевые слова: уравнение в частных производных, функциональное разделение переменных, степенная нелинейность.
Теория нелинейных дифференциальных уравнений в частных производных первого порядка является важной составной частью современной математической физики [1, 2]. Одним из наиболее эффективных методов решения нелинейных уравнений в частных производных является метод разделения переменных (РП) [1, 3, 4]. В работах [3, 4] подробно изложены основы метода и его современные варианты (обобщенное и функциональное РП). В настоящее время опубликовано достаточно много работ, посвященных исследованию нелинейных уравнений указанным методом. Так, в работах [5-7] методом РП исследованы некоторые многомерные уравнения в частных производных, включающие однородные и мульти-однородные функции. В [8-11] с помощью указанного метода были получены решения некоторых нелинейных уравнений эллиптического и гиперболического типов. В настоящей работе предлагается новый вариант метода - двухуровневое функциональное разделение переменных. На примере многомерного уравнения в частных производных первого порядка со степенными нелинейностями проиллюстрированы возможности метода и получены новые точные решения указанного уравнения.
1. Постановка задачи
Рассмотрим следующее нелинейное уравнение в частных производных первого порядка относительно неизвестной функции и(х1,...,хы):
N ( ди У"
П (и (!)
В справочнике [1, с. 402] приведен полный интеграл более общего уравнения с
N
правой частью вида ф(и/ (Х"), который можно получить методом функцио-
"=1
нального РП. Это уравнение может быть сведено к уравнению (1) с помощью за-
мены независимых переменных, при этом указанный полный интеграл сводится к решению типа бегущей волны:
с du
■1Г ( ,.1/р, = Х СпХп + Со, (2)
[ф(и>] Не п=1
N
где Ре=!Рп •
п=1
Целью данной работы является нахождение новых решений уравнения (1), имеющих более сложную зависимость от переменных хп, с использованием метода функционального РП.
2. Двухуровневое функциональное разделение переменных
Для нахождения решений уравнения (1) более сложного вида используем следующее выражение для искомой функции и(х1,..., xN):
К ( Л!
и(Х1,..., XN ) = и X X (Хп )
I к=1 I пе1.
(3)
Предполагается, что множество значений I = {1,...,N} индекса п, нумерующего независимые переменные, разбито на К непересекающихся подмножеств 1к (к еН). Здесь и далее Н = {1,...,К} - множество значений индекса к; и(у), ¥к (2к), Хп (хп) - неизвестные функции, подлежащие определению в дальнейшем. Также будем использовать обозначения:
у = Х¥к (ч), ^ = Х Хп(Хп). (4)
к=1 пе1к
Подставляя выражение (3) в уравнение (1) и учитывая (4), приходим к соотношению
пЦк)]^ ПГхп(Хп)]вп ^[Ц^Г, (5)
к=1 | пе1к ) Ги (У)ГЕ
N
где РЕ = X Рп, РЕк = X Рп . Далее всюду будем предполагать, что выполнены
п=1 пе1к
условия
0, РЕк * 0 (к еН).
Так как правая часть уравнения (5) является функцией от у , то, учитывая первую из формул (4), легко видеть, что выражение в фигурных скобках в левой части (5) должно зависеть только от 2к. Тогда из уравнения (5) следует
п Ук (гк) = ф( у); (6)
к=1
Ук(*к) = [(^)]"» ПК(Хп)]Рп, ф(у) = гф(и(Ув) . (7)
пе1к Ги (у)]
Пусть 1 еН - некоторое значение индекса к. Дифференцируя по уравнение (6) и учитывая первую из формул (4), получаем
^(21К П ^к (2к) = Ф'( У). (8)
VI(2 )У{(2) к=1 Тогда, из соотношений (6) и (8) следует
V(2) =Ф'( У)
(9)
VI (21 )КД21) Ф(у)
Так как 1 было выбрано произвольно, то соотношение (9) должно выполняться при всех 1 еН.
С учетом первого из выражений (4), отсюда следует
^ (2к) . = ц, = ц, (10)
Vk ( 2 к ) V (2к) Ф( У)
причем первое из уравнений (10) должно удовлетворяться при всех к еН (здесь произведена замена индекса 1 ^ к ), ц - некоторая постоянная.
Далее рассмотрим два возможных случая.
Случай 1. ц = 0.
Тогда, используя второе из уравнений (10), с учетом выражения (7) для Ф(у), получаем следующее:
1гт?к=с0У+^0 (11)
[ф(и)] Ре
или, с учетом выражения (4) для у :
ЬиГ17ёГ = ^ (2к ) + В0. (12)
[ф(и)] Ре к=1 В формулах (11) , (12) С0, Б0 - произвольные постоянные.
Целью дальнейшего анализа является нахождение функций ¥к (хк), X" (хп). Первую из формул (7) перепишем в виде
П[Х" (Х" )]" = Тк (2к), (13)
пе1к
где ^к(^к) = • (14)
Пусть т е 1к - некоторое значение индекса п. Продифференцируем (13) по хт , откуда получаем
Рт П[Х" (Х" )]" = П (2к ). (15)
[Хт (Хт )] "е!к
Подставляя в (15) выражение для Т к (2к) из (13), находим
о Хт(Хт) = Тк (2к) (16)
[Хт (Хт )]" Тк (*к )"
Поскольку при заданном к соотношение (16) должно выполняться для всех т е 1к, то функции Хт (хт), Тк (2к) должны удовлетворять уравнениям
P X"m (Xm) Л ^k(zk) Л
Pm-— -Л ,,, --Л,,
К(Xm)]
^k (z,)
(17)
где Л, - некоторые постоянные. Рассмотрим отдельно два случая.
1) Xк = 0. Тогда при данном к и для всех п е 1к из уравнений (17) с учетом
(13) получаем
Xn (Xn ) - cnxn + c„0, ^k (z, ) - С, -П Cnn .
neI,
Из первого уравнения (10) для данного случая следует
У k (Zk ) - Ak - const. Тогда из формул (14), (18) и (19) получим
Ak
[ (Zk )] -
Psk -f4_
с,
При РЕк Ф 0 решением уравнения (20) является линейная функция
Г А
^к(^к) = ^СТ] (2к -^ко). 2) Xк Ф 0. Решая уравнения (17), находим
Xn ln
n Л,
_Лк_ ( _ )
в cn (Xn Xn0 )
n
(18)
(19)
(20)
(21)
(22) (23)
Тк(2к) = ск ехР (Хк2к). Из соотношений (19), (22), (23), (14) и второй формулы (4) можно получить уравнение для ¥к (2к):
[(z,)]Psk exp (Л,Zk) - ^ .
Ck
При Psk Ф 0 решением уравнения (24) является функция
Ak
(24)
Т/ (-, \ Psk I Ak
Vk <Zk 1 ~ l С"
1/Psk
exp
Л,
P
Sk
(25)
Учитывая выражение (22) и вторую из формул (4), преобразуем (25) к виду
-|Pn / Psk
V, - AkUkk П
neI,
P
Sk
Pn
(Xn Xn0 )
n
(26)
Введем множества
-{k :| k eS, Л, - 0}, i2 -{k :| k eS, Л, Ф 0} .
Тогда из соотношений (12), (22), (26), с учетом (4), получаем решение уравнения (1) в неявной форме для случая ц = 0 :
Г ( \
I г , Л11/рЕ =Со ]£ А £
[ф(ы)] Е |кеН, I пеД
- £ п
кеЕ
Р
Ек
■1 \пык
(Хп хп0 )
Рп/Ра'
> + Оо
(27)
где А =
А
С
1/Раъ
Вводя новые произвольные постоянные по формулам
Ьп\„^ = Со сплк , Бк = СоАк1/РЕк, Во = -Со £ оАк + Оо
ке Е
решение (27) представим в более простом виде:
ёы
!г ( м = Е £ьпхп + £ Бк П
[ф(ы)1 Е кеЁ1 пе/к
^ (Х - Х )
в \хп по >
п
вп / РЕк
+ Бп
(28)
кеЕ 2 пе/к
Подставив решение (28) в уравнение (1), находим, что постоянные Ьп, Вк должны удовлетворять условию
ПП ЬпР П БкРек = 1. (29)
ке^1 пе/к кеЕ 2
В частном случае, когда е1 = е, е2 =0 , второй член в правой части (28) отсутствует и решение (28) совпадает с известным решением (2).
Случай 2. ц Ф о.
Тогда, решая второе из уравнений (1о) и используя выражение (7) для Ф(у), получаем следующее:
ёы РЕ п „ „| Ц
'РЕ
[ф(ы)1
1/ Ре
= Со ехрI у 1 + Оо
Ц
(3о)
или, с учетом выражения (4) для у :
Со ехр (Гк )| + Оо.
(31)
[ф(ы)]1,РЕ Ц " ч Ре к=1 В формулах (3о) , (31) Со, Оо- произвольные постоянные. Далее, для нахождения функций ¥к (гк), аналогично приведенным выше рас суждениям для ц = о , необходимо различать два случая.
а) X к = о. Тогда, используя выражения (14) и (18), находим
Ук (Гк) = Ск [ (Гк )]Рек.
(32)
Подставляя (32) в первое из уравнений (1о), получаем уравнение для ¥к (гк):
РЕк V (Ч )
[ (Гк )]2
= ц.
(33)
2
Решение уравнения (33) запишем в виде
() = 1п(^ -г,о)- 1пУ,0. Ц
При этом функции Хп (хп) определяются первой из формул (18). б) Хк Ф 0. Тогда из (23) и (14) получаем выражение
У к(*к) = С [Гк(гк)]вЕк ехр(Хк2к).
(34)
(35)
Подставляя (35) в первое из уравнений (10), получаем уравнение для ¥к (2к):
Ре, Г П"( Гк) , X к
Vк (*к) I УК гк) Ре,
Решение уравнения (36) можно записать в виде
= Ц.
Ук (Гк) = 1п ^
Ц
Хк
V
РЕк
ехР| (Гк -Гко) 1 + Уко
(36)
(37)
Функции Хп (хп) определяются формулой (22).
Для последующего преобразования решения (31), используя выражения (4) и (22), получим
ехр
X,
Р:
■(Гк -Гко) | = П
Е
Хк
Сп (хп - хп0)
п
Рп / РЕк
(38)
Учитывая (37), (38), решение (31) преобразуем к виду
ёи
[ф(и)]
1/Ре
=в П((
\Ре, / Ре
<П|5ко + Вк2 П
кен2 I пеК
кен1 \ пе1к
РЕк
*к0
Рп / РЕк
Рп
( Хп Хп о )
I Рек/Ре
(39)
В Е-П!^
к=1 V Ре
В состав решения (39) входят произвольные постоянные В1, Вк0, Вк2, сп, г,к0, хп0. Подставив это решение в уравнение (1), после некоторых преобразований получаем условие, которому должны удовлетворять произвольные постоянные:
К С а \вЕк
П ск П В/а= 1, (40)
где С к выражаются через сп по формуле (18).
Отметим также, что формула (39) описывает семейство решений, которые отличаются между собой как значениями произвольных постоянных, так и множествами I, (к = 1,..., К), Н(] = 1,2); аналогичное утверждение справедливо в отношении формулы (28).
В частном случае, когда Н1 = Н, Н2 = 0 , второй сомножитель в правой части (39) отсутствует и это решение принимает более простой вид:
ёи
[ф(и)]
1/Ре
=в П((
к=1 \ пе1,
\Рек / Ре
к0
(41)
Если при этом K=1, то (41) сводится к приведенному выше известному решению (2).
Заключение
Таким образом, в данной работе предложен метод двухуровневого функционального разделения переменных для уравнений в частных производных. Данный метод применяется к решению многомерного уравнения в частных производных первого порядка (1) со степенными нелинейностями от производных. Получены новые решения указанного уравнения в неявном виде, определяемые формулами
(28) и (39), содержащие обобщенные полиномы от независимых переменных. С помощью подстановки решений (28) и (39) в уравнение (1) получены условия
(29) и (40), которым должны удовлетворять входящие в эти решения произвольные постоянные. Результаты данной работы могут быть обобщены на другие типы уравнений в частных производных.
ЛИТЕРАТУРА
1. Зайцев В.Ф., Полянин А.Д. Справочник по дифференциальным уравнениям с частными производными первого порядка. М.: Физматлит, 2003.
2. Камке Э. Справочник по дифференциальным уравнениям в частных производных первого порядка. М.: Наука, 1966. 260 с.
3. Полянин А.Д., Зайцев В.Ф. Справочник по нелинейным уравнениям математической физики: точные решения. М.: Физматлит, 2002. 432 с.
4. Полянин А.Д., Журов А.И. Обобщенное и функциональное разделение переменных в математической физике и механике // Доклады РАН. 2002. Т. 382. № 5. С. 606-611.
5. Рахмелевич И.В. О применении метода разделения переменных к уравнениям математической физики, содержащим однородные функции от производных // Вестник Томского государственного университета. Математика и механика. 2013. № 3(23). С. 37-44.
6. Рахмелевич И.В. Об уравнениях математической физики, содержащих мультиоднород-ные функции от производных // Вестник Томского государственного университета. Математика и механика. 2014. № 1(27). С. 42-50.
7. Рахмелевич И.В. О решениях многомерного уравнения Клеро с мультиоднородной функцией от производных // Известия Саратовского университета. Новая серия. Серия Математика, механика, информатика. 2014. Т. 14. № 4-1. С. 374-381.
8. Рахмелевич И.В. О двумерных гиперболических уравнениях со степенной нелинейностью по производным. // Вестник Томского государственного университета. Математика и механика. 2015. № 1(33). С. 12-19.
9. Miller J. (Jr.), Rubel L.A. Functional separation of variables for Laplace equations in two dimensions // Journal of Physics A. 1993. V. 26. P. 1901-1913.
10. Zhdanov R.Z. Separation of variables in the non-linear wave equation // Journal of Physics A. 1994. V. 27. P. L291-L297.
11. Grundland A.M., Infeld E. A family of non-linear Klein - Gordon equations and their solutions // Journal of Mathematical Physics. 1992. V. 33. No 7. P. 2498-2503.
Статья поступила 13.04.2015 г.
Rakhmelevich I.V. ON SOME NEW SOLUTIONS OF THE MULTI-DIMENSIONAL FIRST ORDER PARTIAL DIFFERENTIAL EQUATION WITH POWER-LAW NON-LINEARITIES
DOI 10.17223/19988621/35/3
Investigations of nonlinear partial differential equations of the first order with an arbitrary number of independent variables are an important part of up-to-date mathematical physics. For many equations of this class, only solutions of the simplest kind are known, in particular, solu-
tions of the travelling wave type. The present work is devoted to finding solutions of a more complex form for the multi-dimensional equation of the first order with power-law non-linearity in derivatives.
To solve this problem, in this paper we propose a new variant of the method of separation of variables - the method of two-level functional separation of variables. The characteristic feature of this method is that the desired function depends on a superposition of functions of the first and second levels of one variable, and these functions are determined as the result of solving some ordinary differential equations.
Based on the method proposed in the paper, new exact solutions of the considered equation are obtained in an implicit form. The solutions contain some generalized polynomials of independent variables. Conditions of the existence of these solutions are specified. The results of this work can be generalized to other non-linear first order equations and equations of higher orders with many independent variables.
Keywords: partial differential equation, functional separation of variables, power-law non-linearity.
RAKHMELEVICHIgor Vladimirovich (Candidate of Technical Sciences, Assoc. Prof., Nizhny Novgorod State University, Nizhny Novgorod, Russian Federation) E-mail: [email protected]
REFERENCES
1. Zaytsev V.F., Polyanin A.D. Spravochnikpo differentsial'nym uravneniyam s chastnymi pro-izvodnymipervogoporyadka. Moskow, Fizmatlit Publ., 2003. (in Russian)
2. Kamke E. Spravochnik po differentsial'nym uravneniyam v chastnykh proizvodnykh pervogo poryadka. Moskow, Nauka Publ., 1966. 260 p. (in Russian)
3. Polyanin A.D., Zaytsev V.F. Spravochnik po nelineynym uravneniyam matematicheskoy fiziki: tochnye resheniya. Moskow, Fizmatlit Publ., 2002. 432 p. (in Russian)
4. Polyanin A.D., Zhurov A.I. Obobshchennoe i funktsional'noe razdelenie peremennykh v matematicheskoy fizike i mekhanike. Doklady RAN, 2002, vol. 382, no. 5, pp. 606-611. (in Russian)
5. Rakhmelevich I.V. O primenenii metoda razdeleniya peremennykh k uravneniyam matematicheskoy fiziki, soderzhashchim odnorodnye funktsii ot proizvodnykh. Vestnik Tom-skogo gosudarstvennogo universiteta. Matematika i mekhanika, 2013, no. 3(23), pp. 37-44. (in Russian)
6. Rakhmelevich I.V. Ob uravneniyakh matematicheskoy fiziki, soderzhashchikh mul'tiodno-rodnye funktsii ot proizvodnykh. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, 2014, no. 1(27), pp. 42-50. (in Russian)
7. Rakhmelevich I.V. O resheniyakh mnogomernogo uravneniya Klero s mul'tiodnorodnoy funktsiey ot proizvodnykh. Izvestiya Saratovskogo universiteta. Novaya seriya. Seriya Matematika, mekhanika, informatika, 2014, vol. 14, no. 4-1, pp. 374-381. (in Russian)
8. Rakhmelevich I.V. O dvumernykh giperbolicheskikh uravneniyakh so stepennoy neliney-nost'yu po proizvodnym. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, 2015, no. 1(33), pp. 12-19. (in Russian)
9. Miller J. (Jr.), Rubel L.A. Functional separation of variables for Laplace equations in two dimensions. Journal of Physics A, 1993, vol. 26, pp. 1901-1913.
10. Zhdanov R.Z. Separation of variables in the non-linear wave equation. Journal of Physics A, 1994, vol. 27, pp. L291-L297.
11. Grundland A.M., Infeld E. A family of non-linear Klein - Gordon equations and their solutions. Journal of Mathematical Physics, 1992, vol. 33, no. 7, pp. 2498-2503.
