CC BY
44
УДК 517.962
DOI: 10.14529/mmph160104
НОРМИРОВАННЫЕ СИСТЕМЫ И ИХ ПРИМЕНЕНИЕ К ПОСТРОЕНИЮ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ДРОБНОГО ПОРЯДКА
Б.Х. Турметов'
Приводится методика построения нормированных систем, связанных с операторами дифференцирования дробного порядка. Используя свойства нормированных систем, строятся точные решения обыкновенных дифференциальных уравнений дробного порядка.
Ключевые слова: нормированные системы; дробная производная; обобщенно-однородный оператор; фундаментальное решение; неоднородное уравнение.
Введение. В настоящей работе мы рассмотрим операторный метод построения решений дифференциальных уравнений дробного порядка. Данный метод основан на построении нормированных систем относительно операторов дробного дифференцирования. Метод нормированных систем был введен в работе [1] для построения точных решений уравнения Гельмгольца и полигармонического уравнения. В дальнейшем метод нормированных систем использовался для решения задачи Коши для обыкновенных дифференциальных уравнений с постоянными коэффициентами [2], для построения полиномиальных решений задачи Дирихле для бигармоническо-го и полигармонического уравнения [3-5], а также при построении решений дифференциальных уравнений, связанных с операторами Данкла [6, 7].
Пусть L1 и L2 - линейные операторы, действующие из функционального пространства X в
X :LkX с X,k = 1,2, и пусть функции из X определены в области Qc Rn . Обозначим
N0 = Nu{0]. Приведем определение нормированных систем [1].
Определение 1. Последовательность функций { fk(x): ke N0, fk(x)e X] называется f -
нормированной относительно (L1, L2) в области Q, имеющей основание f0(x), если везде в этой
области
hfo (x) = f (x), Ljfk (x) = L2fk_i (x), k e N . Систему функций f -нормированную относительно (L1,1), I -единичный оператор будем называть f -нормированной относительно оператора L1, т.е.
Vo(x) = f(x),Ljfk(x) = fi_!(x),ke N . Если f (x) = 0 , то систему функций { fk (x): k e N0, fk (x) e X] назовем просто нормированной.
Основные свойства системы функций f -нормированной относительно (L1, L2) в области Q изложены в работе [8]. Приведем некоторые из них
Свойство 1. Пусть система функций {fk (x): k e N0 ] является f -нормированной относительно (L1,L2) в Q с основанием f0(x). Тогда функциональный ряд
u( x) = X fk (x), x eQ (1)
k=0
является формальным решением уравнения
(L _ L2) u(x) = f (x), x eQ. (2)
Свойство 2. Если операторы L1 и L2 коммутируют, а система функций {fk(x): ke N0 ] является f -нормированной относительно оператора L1 в Q, то формальное решение уравнения (2) можно записать в виде
У( x) = X Lk2fk (x), x eQ . (3)
k=0
1 Турметов Батирхан Худайбергенович - доктор физико-математических наук, профессор, кафедра математики, Международный Казахско-Турецкий Университет имени Х.А. Ясави, г. Туркестан, Казахстан. E-mail: [email protected]
2g Вестник ЮУрГУ. Серия «Математика. Механика. Физика»
Турметов Б.Х. Нормированные системы и их применение к построению
решений дифференциальных уравнений дробного порядка
Свойство 3. Пусть операторы Ь1 и Ь2 коммутируют, а система функций {/ (х): к е Ы0 } является / -нормированной относительно оператора Ь1 в О. Тогда система функций
¥ (пЛ (ПЛ п!
Рк (х) = XI, 1П~к/п (х), х ей, = ! (4)
п=к V к 1
V к
к!(п - к)!
является / -нормированной относительно оператора Ь — Ь2 в О.
Построение нормированных систем для некоторых классов операторов
В этом пункте мы приведем методику построения нормированных систем для некоторых классов операторов.
Определение 2. Оператор Бр называется обобщенно-однородным порядка р относительно переменной I, если
Бр^ = Ср^—р, I > 0 (5)
где р,це Я,0<р<т, Срт - постоянные.
Умножим равенство (5) с двух сторон на одночлен t~т+р. Тогда Ср = t~т+РВр1т . Пусть
5 е Я и к одночлену tрk+5 можно применить оператор Бр. Рассмотрим коэффициенты
'р Р...............
С(Р,5,1) = П ^~рк—5+рБрр+5),1 > 1,С(р,5,0) = 1. к=1у '
Для коэффициентов С(р, 5,1) имеет место равенство
1 (t-рк—5в/к+р+5)
(6)
С(р, 5,1) С (р, 5,1 + 1) Замечание 1. При определении коэффициентов С(р, 5,1) для удобства мы приняли С(р, 5,0) = 1. В конкретных случаях операторов С(р, 5,0) можно выбрать произвольным образом.
Рассмотрим систему функций
р+5
/ ^) = ^Т^— • (7)
С(р, 5,1)
Лемма 1. Пусть Бр является обобщенно-однородным оператором порядка р относительно переменной t и для некоторых 5е (51,52,...,5т},е Я,] = 1,2,...,т выполняется равенство Бр^ = 0 . Тогда система функций (7) является 0 - нормированной относительно оператора Бр.
Доказательство. По определению оператора Вр имеем Dрtm ~m+РDрtm^)tm—р. Тогда Бр/0^) = 0 и для всех 5е {51,52,...,5т},sJ■ е Я и 1 > 1 выполняется равенство
В,/ (t) = = _^5—р .
р С(р, 5,1) С(р, 5,1)
^-р+р—5врр+5) 1
Далее в силу равенства (6) имеем-=-, 1 > 1. Следовательно,
С (р, 5,1) С (р, 5,1 — 1)
Вр/, ^) = -^ТЪ——77 = /—1 ^). Лемма доказана. С (р, 5,1 — 1)
Рассмотрим функцию
¥ (1 Л р1+5
Л,р(0 = Тл"р ре N0. (8)
1=р
Справедливы следующие утверждения.
С (р, 5,1)
Математика
Теорема 1. Пусть р = 0, ряд (8) сходится и к нему можно почленно применять оператор Вр. Если существует значение параметра 5, при которых выполняется равенство
(,)| о,
то функции у5 о (0 при всех таких значениях параметра 5 удовлетворяют уравнению
Вру($) = 1у(0. (9)
Теорема 2. Пусть ряд (8) сходится и к нему можно почленно применять оператор Вр. Если существует значение параметра 5, при которых выполняется равенство
(,-р1-5+рВр1р1+5)| о,
то функции у5 р(^) при всех таких значениях параметра 5 , и для всех р = 0,1,...,п — 1 удовлетворяют уравнению
(Вр—Я)"у(1) = 0.
Доказательство этих теорем следует из утверждения леммы 1 и свойств нормированных систем.
Пример. Для любого а > 0 следующее выражение
1 1
3аи (0 =-Г (I — т)а—1 и (т)Ит
Г(а)0 ' "
называется оператором интегрирования порядка а в смысле Римана-Лиувилля [9].
Пусть т — 1 <а<у< т, т = 1,2,.... Рассмотрим дифференциальный оператор дробного порядка следующего вида
Ит
Вауи(0 = 3у—а—3т—уи (().
лт
Отметим, что для некоторых частных значений параметра у мы получаем известные операторы дробного дифференцирования. Так в случае у = а имеем Ва,аи(^) = яьВа - оператор дифференцирования порядка а в смысле Римана-Лиувилля, в случае у = т получаем, что
Ва,ти(1) = сВа - оператор Капуто, а в случае у = р(т — а) + Р,0 <р< 1 имеем
Ит
Вари(0 = 3р(т—а) (1—р)(т—а)и(^) - оператор Хилфера [8].
Непосредственным вычислением можно показать, что оператор Ва,у удовлетворяет следующим равенствам
Вау5 = 0,5 = у— 1, у — 2,...,у— т, и Ваут= Г(// +1) т—а,ц> т — 1.
Г(т +1 — а)
Следовательно, Ва,у является обобщенно-однородным оператором порядка а. Из утверждений теорем 1 и 2 вытекают следующее.
Следствие 1. Пусть т — 1 < а< у< т, т = 1,2,..., 5 = у— 1, у — 2,..., у — т . Тогда функции
¥ ,аг+5
у5О = Г . + +п (10)
1=0 Г(ак + 5 +1)
являются линейно независимыми решениями дифференциального уравнения дробного порядка
Ва,уу(1) — Лу(1) = 0,г > 0. (11)
Следствие 2. Пусть т — 1 <а<у< т, т = 1,2,..., 5 = у— 1,у— 2,...,у— т . Тогда для всех значений 5 = у— 1, у— 2,...,у— т и р = 0,1,..., п — 1 функции
( ^ Л ^а1+5
1=р
у^С) = £11—р 1Г 1+ +п (12)
у I р) Г(ак + 5 +1)
Турметов Б.Х. Нормированные системы и их применение к построению
решений дифференциальных уравнений дробного порядка
являются линейно независимыми решениями дифференциального уравнения дробного порядка
(Б"'7-Я)" у(() = 0,V> 0. Функцию (V) из (10) можно представить в виде
у,(V) = 7-кЕагГ-к+1(1"),к = 1,2,...,т,
где Еа ь(2) = V--функция типа Миттаг-Леффлера [9]. Так как Еа /(2) является целой
^ £0 г(а+/) ^
функцией, то отсюда легко получить сходимость рядов из представлений (10) и (12).
Отметим, что фундаментальные решения уравнения (11) в случае у = /3(т -а) + /,0 < /3 < 1, т.е. для уравнения с оператором Хилфера, были построены в работе [10].
3. Построение нормированных систем для неоднородного уравнения
Теперь приведем пример / -нормированной системы относительно оператора Ба,у и построим решение неоднородного уравнения
(Ба,у-Д)"у(0 = ДО, V > 0 (13)
^ ■ (' Л Г'а Пусть Е<а,а(Я, V) = VЯ'-р -а—р = 0,1,.... '=р \ р ) г('а + а)
Рассмотрим следующую функцию
Ур(/К) = |(V-т)а-1 ЕРа(-Я((-т)а)/(т)"т . (14)
0
Теорема 3. Пусть т -1 < а<у< т, т = 1,2,.... Тогда функции ур(/),р = 0,1,... образуют / -нормированную систему относительно оператора Ба,у -Я, то есть справедливы равенства
(Ба,у-Я)у0(т) = /(V),(Ба,у-Я)Ур(/)(() = р > 1 (15)
Доказательство. В случае р = 0 имеем Е°а(-Я(^ -т)а ) = Еаа(-Я^ -т)а). Тогда равенство (15) для случая р = 0 доказывается, как и в случае оператора Римана - Лиувилля [8].
Пусть р > 1. Применяя к функции ур (/) (V) оператор Jm у, имеем
1 ' Т
Jm-aУp (/XV) =-Т-1-у | (V-т)т-у-1| (Т-Х)а-1 Ер, а (Я(т-Х) а ) / (№&т = р Г(т-у)0 0 ,
, г г
= Г"1— | / (£)/(V -т)т-у-1(т-Х)а-1 Е*а (Я(т-Х)а
Г(т-у)0 X
Используя представление функции Ер а , для внутреннего интеграла получим
¥ (' Л 3'-а'+а+т-у-1
¡^-т)т-у-1(т-Х)а-1 Ера(Я(т-Х)а)"т = Г(т-у)£ . г . ,
« =р ^ р) Г(а' + а + т-у)
Тогда
Jm-УУp (/)(') = |(V - Х)т-у-1 Ер,а (Я« - X)а )/(«"X .
0
Далее,
]т-1 лт-1 V.
тт-
г/т-1 V ¥ (' Л Ц'-р(+_р\а'+а+т-у-1
т Jm-У/Pо="т-гI/(Х)Е| IЯга 1Х) +—г^«=
1 у 1 0 ~р ^ р) Г(а' + а + т-у)
, (' Л ^ _х)а'+а-у
= Iр |р| Г(' + 1 -у"Х.
0 '=р
Г( а' + а+1 -у)
т
г
Математика
И наконец, применяя к последнему выражению оператор ^^ а после элементарных выкладок, получим
dm
-Jm-ryP (f )(t) = j Z l-(p-1)
о j=p-1
f j+л (t -x)aj+a-1
Значит,
Тогда
Da,gyp (f )(t) = j
Z l-( p-1) i=p —1
P ) G(aj + a)
f i + 1Л (t—x)ai+a—1
f (XdX.
r(ai + a)
f (XdX
-j Z— I p
0 i=p-1\P
Da,gyp (f)(t) - yp-1(f)(t) = j Z ,
о i=p-1V p
i Л Л'-(p-1) (t - X)ai+a-1
i+1Л l-( p-1)(t -X)
ai+a-1
■f (x)dx = ljZ
i p о i=pV^
r(ai + a)
i Л l-p (t -x)
-f xds-
ai+a-1
G(ai + a)
-f (xwx = lfp (t).
r(ai + a)
Таким образом,
Da,gyp (f )(t) - yp-1 (f )(t) = lyp (f )(t), то есть при всех значениях p = 1,2,... выполняются равенства
(Da,g-l) yp (f )(t) = yp-1( f )(t).
Теорема доказана.
Литература
1. Karachik, V.V. Normalized system of functions with respect to the Laplace operator and its applications / V.V. Karachik // Journal of Mathematical Analysis and Application. - 2003. - Vol. 287, № 2.- C. 577-592.
2. Карачик, В.В. Метод построения решений линейных обыкновенных дифференциальных уравнений с постоянными коэффициентами / В.В. Карачик // Журнал вычислительной математики и математической физики. - 2012. - Vol. 52, № 2. - C. 237-252.
3. Карачик, В.В. О полиномиальных решениях задачи Дирихле для бигармонического уравнения в шаре / В.В. Карачик, Н.А. Антропова // Сибирский журнал индустриальной математики. - 2012. - Т. 15, № 2. - C. 86-98.
4. Карачик, В.В. Решение задачи Дирихле для полигармонического уравнения в шаре при полиномиальных данных / В.В. Карачик // Дифференциальные уравнения. - 2015. - Т. 51, № 8. -С. 1038-1047.
5. Karachik, V.V. Uniqueness of solutions to boundary-value problems for the biharmonic equation in a ball / V.V. Karachik, M.A. Sadybekov, B.T. Torebek // Electronic Journal of Differential Equations. - 2015. - Vol. 2015, № 244. - Р. 1-9.
6.Liu, L. Normalized system for wave and Dunkl operators / L. Liu, G.B. Ren. // Taiwanese Journal of Mathematics. - 2007. - Vol. 14, № 2. - P. 675-683.
7.Yuan, H.F. Dunkl-Poisson Equation and Related Equations in Superspace / H.F. Yuan, V.V. Karachik // Mathematical Modelling and Analysis. - 2015. - Vol. 20. - Issue 6. - P. 768-781
8. Карачик, В.В. Метод нормированных систем функций / В.В. Карачик. - Челябинск: Издательский центр ЮУрГУ, 2014. - 452 с.
9. Kilbas, А. Theory and Applications of Fractional Differential Equations / A. Kilbas, H. Srivastava, J. Trujillo. - Amsterdam: Elsevier, 2006. - 523 p.
10. Hilfer, R. Operational method for the solution of fractional differential equations with generalized Riemann-Liouville fractional derivatives // R. Hilfer, Y. Luchko, Z. Tomovski // Fract. Calc. Appl. Anal. - 2009. - Vol. 12, № 3. - P. 299-318.
Поступила в редакцию 6 декабря 2015 г.
a
m
t
0
t
Турметов Б.Х.
Нормированные системы и их применение к построению решений дифференциальных уравнений дробного порядка
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2016, vol. 8, no. 1, pp. 28-33
DOI: 10.14529/mmph160104
NORMED SYSTEMS AND THEIR APPLICATION TO THE SOLUTIONS OF DIFFERENTIAL EQUATIONS OF FRACTIONAL ORDER
B.Kh. Turmetov1
This article describes a method of constructing the normed systems related to the differentiation of fractional order. Using the properties of normed systems the rigor solutions of ordinary differential equations of fractional order are given.
Keywords: normed system; fractional derivative; generalized-homogeneous operator; fundamental solution; inhomogeneous equation.
References
1. Karachik V.V. Normalized system of functions with respect to the Laplace operator and its applications. Journal of Mathematical Analysis and Application, 2003, Vol. 287, no. 2, pp. 577-592. DOI: 10.1016/S0022-247X(03)00583-3
2. Karachik V.V. Method for constructing solutions of linear ordinary differential equations with constant coefficients. Computational Mathematics and Mathematical Physics, 2012, Vol. 52, Issue 2, pp 219-234. DOI: 10.1134/S0965542512020108
3. Karachik V.V., Antropova N.A. On polynomial solutions to the Dirichlet problem for a biharmonic equation in a ball. Sib. Zh. Ind. Mat., 2012, Vol. 15, no. 2, pp. 86-98. (in Russ.).
4. Karachik V.V. Solution of the Dirichlet Problem with Polynomial Data for the Polyharmonic Equation in a Ball. Differential Equations, 2015, Vol. 51, no. 8, Article ID 204, pp. 1033-1042. DOI: 10.1134/S0012266115080078
5. Karachik V.V., Sadybekov M.A., Torebek B.T. Uniqueness of solutions to boundary-value problems for the biharmonic equation in a ball. Electronic Journal of Differential Equations, 2015, Vol. 2015, no. 244, pp. 1-9.
6. Liu L., Ren G.B. Normalized system for wave and Dunkl operators. Taiwanese Journal of Mathematics, 2007, Vol. 14, no. 2, pp. 675-683.
7. Yuan H.F., Karachik V.V. Dunkl-Poisson Equation and Related Equations in Superspace. Mathematical Modelling and Analysis, 2015, Vol. 20, Issue 6, pp. 768-781. DOI: 10.3846/13926292.2015.1112856
8. Karachik V.V. Metod normirovannykh sistem funktsiy [Method of normed system of functions]. Chelyabinsk: Izdatelskiy sentr YurGU Publ., 2014, 452 p. (in Russ.).
9. Kilbas A., Srivastava H., Trujillo J. Theory and Applications of Fractional Differential Equations. Amsterdam: Elsevier, 2006, 523 p.
10. Hilfer R., Luchko Y., Tomovski Z. Operational method for the solution of fractional differential equations with generalized Riemann-Liouville fractional derivatives. Fract. Calc. Appl. Anal., 2009, Vol. 12, no. 3, pp. 299-318.
Received December 6, 2015
1 Turmetov Batirkhan Khudaybergenovich is Dr. Sc.(Physics and Mathematics), Professor, Mathematics Department, H.A.Yassawe International Kazakh-Turkish University, Turkistan, Kazakhstan. E-mail: [email protected]
