Вестник КРАУНЦ. Физ.-мат. науки. 2018. № 3(23). C. 42-47. ISSN 2079-6641
DOI: 10.18454/2079-6641-2018-23-3-42-47 ДРОБНОЕ ИСЧИСЛЕНИЕ И ЕГО ПРИМЕНЕНИЕ
УДК 517.925.4
К ВОПРОСУ О РАЗРЕШИМОСТИ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ДРОБНОГО ПОРЯДКА*
Ф. Т. Богатырева
Институт прикладной математики и автоматизации, 360000, г. Нальчик, ул. Шортанова, 89А E-mail: fatima_bogatyreva@bk.ru
Исследован вопрос разрешимости начальной задачи для одного модельного обыкновенного дифференциального уравнения дробного порядка с операторами Джрбашяна-Нерсесяна. Показано, что размерность ядра рассматриваемого дифференциального оператора зависит от распределения параметров операторов Джрбашяна-Нерсесяна и может в том числе равняться нулю.
Ключевые слова: обыкновенные дифференциальные уравения, задача Коши, дробная производная, оператор Джрбашяна-Нерсесяна.
© Богатырева Ф.Т., 2018 FRACTIONAL CALCULUS AND ITS APPLICATION
MSC 34L99
TO THE QUESTION OF SOLVABILITY OF ORDINARY DIFFERENTIAL EQUATIONS OF FRACTIONAL ORDER
F. T. Bogatyreva
Institute of Applied Mathematics and Automation, 360000, Nalchik, Shortanova st., 89A, Russia E-mail: fatima_bogatyreva@bk.ru
We discussed the problem of solvability of initial value problem for one model ordinary differential equation of fractional order. It is shown that the dimension of the kernel depends on the distribution parameters of Dzhrbashyan-Nersesyan operators and also can be trivial.
Key words: ordinary differential equations, Cauchy problem, fractional derivative, Dzhrbashyan-Nersesyan operator.
© Bogatyreva F.T., 2018
*Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 16-01-00462-А)
1. Рассмотрим уравнение
!и(х) = }и(х) - ЯБ^5}и(х) = f (х), 0 < х < 1, (1)
где Б{а,в},Б^5} - операторы дробного дифференцирования Джрбашяна-Нерсесяна порядков д = а + в — 1 > 0, V = у + 5 — 1 > 0 соответственно; а,в, 7,5 е (0,1]. Будем считать, для определенности, что д > V, Я =сопз1;, f(х) - заданная действительная функция.
Оператор дробного дифференцирования Джрбашяна-Нерсесяна ассоциированный
п
с последовательностью |у0,у1,...,уп}, порядка а = £ ук —1 >0, ук е (0,1], определяется
к=0
соотношением [1]
.....1п} и(х)=б*—1Б*—1... ^0>(х), (2)
где Б0х - оператор дробного интегро-дифференцирования Римана-Лиувилля [2]
х
= *, Г<0;
а
Бх,(х) = ,(х), у = 0;
¿п
Л0Гх,(х) = п — 1 < 7 < п, п е N.
Известно, что число начальных условий для корректной постановки начальных задач для обыкновенных дифференциальных уравнений целого порядка, а так же уравнений содержащих операторы дробного дифференцирования Римана-Лиувилля и Капуто, как правило связано с порядком уравнения. В случае обыкновенных дифференциальных уравнений дробного порядка с операторами Джрбашяна-Нерсесяна это правило нарушается.
В данной работе исследован вопрос разрешимости начальной задачи для обыкновенного дифференциального уравнения (1). Показано, что размерность ядра рассматриваемого дифференциального оператора зависит от распределения параметров а,в, 7,5, и может в том числе равняться нулю.
2. Регулярным решением уравнения (1) назовем функцию и = и(х), такую что Б0х— 1м(х) е АС[0,1],о = тах{а,7} и удовлетворяет уравнению (1) в интервале ]0,1[.
Обозначим
у(г)= гд—1Ед—V ,д (Я гд—V),
где Еа,д(г) = £ гк/Г(ак + д) - функция Миттаг-Леффлера [3, с. 117].
к=0
Лемма. Пусть функция f (х) представима в виде f (х) = Б—,(х), ,(х) е Ь[0,1], е > о — д. Тогда функция
Uf (x) = J f (t)v(x — t )dt
0
регулярное в интервале ]0,1[ решение уравнения (1) и справедливо равенство
lim DL Uf (x) = 0. (3)
x^0
Доказательство. В силу определения оператора Джрбашяна-Нерсесяна и учитывая формулу дробного интегро-дифференцирования функции Миттаг-Леффлера [4, с. 15]
Л£|х- а|д-1Е1/в (А|х- а|в;д) = |х- аГ«-1^(Я|х - а|в; д - а), (4)
получим
Да}и/ (х) = ДГЧх/ (х) * хд-1Ед-V ,д (Ахд^) = ДТЧТ^х) * хд-1Ед-V ,д (Ахд^) = = <-1,(х) *Xе+е-2Ед-Vв+е-1 (Ахд-V) = /(х) *Xе-1Ед-V>е(Ахд-V), (5)
х
где /(х) * ,(х) =//(?),(х - ?- свертка Лапласа функций /(х) и ,(х). о
Из равенства (5), применяя формулу автотрансформации функции Миттаг-Леффлера [4, с. 13]
Еа,д (г) = гду + гЕа,д+а (г), (6)
окончательно имеем, что
Да}и/(х) = /(х) + А/(х) *хд^-1Ед-V,д-V(Ахд-V). (7)
Рассуждая аналогично получим равенство
Д*5 }и/ (х) = / (х) * хд-V-1Ед-V ,д-V (А хд-V). (8)
Подставляя полученные выражения (7) и (8) в уравнение (1) получаем верное тождество.
Справедливость равенства (3) очевидно следует из условия леммы и формулы (4).
□
3. В силу линейности уравнения (1) решение будем искать в виде
и(х) = и/ (х) + и0(х), (9)
где и0(х) - решение однородного уравнения (1)
ДО?}ио(х) - А ДО!'5 }ио(х) = 0, 0 < х < 1. (10)
Теорема. Любое регулярное решение уравнения (10) будет иметь вид
1) при а> у
ио(х) = ха-1Ед-V, а (Ахд^) [Дах-1ио(х)]х=0; (11)
2) при а = у
ха-1
ио(х) = [Д0ах-1И0(х)]х=0; (12)
3) при а < 7
ио(х)= 0. (13)
Доказательство. Непосредственной подстановкой нетрудно заметить, что функция у(х - ?) является решением уравнения
Lv(x -1) = D{f ,o}v(x -1) - ЯД?,y}v(x -1) = 1,
и удовлетворяет условию
DXt 1 v(x -1) = 0, g = max{e, 8}.
t =x
(14)
(15)
Домножим уравнение (10) на функцию у(х - ?) и проинтегрируем от 0 до х по переменной ?, предварительно поменяв переменную х на ?. Пользуясь формулой дробного интегрирования по частям [2, с. 34]
получим
w0(x)D°xv(x)dx = v(x)D"xu0(x)dx, о < 0,
Jv(x-t)Lu(i)di = Jw(i)Lv(x-t)dt- Dex 1v(x) [DO WO]^ +
+ЯД8х-ух) [dJAOWI + К V(x-i)l D0«x-1U0(x)-
t=0
t=x
Я
D8-1v(x -t)l D0-1U0(x).
t =x
С учетом соотношений (14) и (15) из (16) будем иметь
x
f u(t)dt = Dex-1v(x) [D0x-1U0(x)]x=0 - Яdq;-1 v(x) [dJ-1«^;)
x=0
(16)
(17)
Дифференцируя равенство (17) по переменной х получаем решение уравнения (10)
uo(x) = Ax0-1ЕМ-v, а(Яхд-v) - ЯВхд-8EM-v,м-8+1(Яхд-v),
(18)
х=0
где A = [D0X-1uo(x)]^ , B = [dJ/moW
1) Рассмотрим случай о > у. Пусть u0(x) - регулярное решение уравнения (1), тогда из представления dQx 1 u0(x) = dQx 0D0x-1M0(x) следует, что limD,Qx1u0(x) = 0. С
учетом этого из соотношения (18) приходим к равенству (11).
2) В случае о = у из равенства (18) получаем
x0
uo(x) = A [х0-1Ee-8, о (Я хв-8) - Яхд-8 Eß _8 ,м-8+1(Яхв-8)
Из формулы автотрансформации функции Миттаг-Леффлера (6) следует, что
x -1
х0-1Ee-8, о (Я хв-8) = г0) + Яхд-8 Ее-8 ,м-8+1 (Я хв-8).
b
b
х
х
С учетом чего из формулы (19) приходим к соотношению (12).
3) В силу определения оператора Джрбашяна-Нерсесяна запишем уравнение (10) в виде
DL-4a*uo(*) - аDL-4rxuo(*) = о
и подействуем на него оператором , получим
DXuo (x) - аD^-ßD*uo (x) = 0. (20)
Воспользовавшись обобщенной формулой Ньютона-Лейбница [2, с. 11] и подействовав оператором D-1 из равенства (20) имеем
e X3-5
Da—1 uo(x) - АD(V—вuo(x) + А r(ß __ g + 1)B = C, (21)
C - постоянная интегрирования. Устремив в соотношении (21) x к нулю, с учетом
a_y у_i
того, что limDox 'Do__ wo(x) = o, v — в < o, ß > 5, получим, что левая часть равенства (21) равна нулю, то есть
ß xß-5
Dg—Vx) - А DV-ß uo(x) + А r(ß-5 + 1) B = o. (22)
Далее подействовав на равенство (22) композицией операторов DJ- 'а и переходя к пределу при x стремящемся к нулю, получим
ß xM-v
B - А lim DV+y uo(x) + А B lim —-- = o,
x^o ox x^o Г(д - v + 1)
отсюда следует, что B = o, так как lim Dv+y ß wo(x) = o, поскольку v + у - ß < o, и
limx^-v = o. Из последнего вытекает справедливость равенства (13). □
x^o
4. Таким образом, из доказанной теоремы и равенства (9), следует что всякое решение уравнения (1) представимо в виде
л
w(x) = J f (t)v(x - + wo (x),
где мо(х), в зависимости от соотношения между параметрами а и у, определяется одним из равенств (11)—(13). В частности в случае а < у ядро оператора Ь пусто и однозначное обращение уравнения Ьм(х) = f (х) не требует дополнительных условий.
Список литературы
[1] Джрбашян М.М., Нерсесян А.Б., "Дробные производные и задача Коши для дифференциальных уравнений дробного порядка", Изв. АН АрмССР. Матем., 3:1 (1968), 3-28. [Dzhrbashyan M.M., Nersesyan A.B., "Drobnye proizvodnye i zadacha Koshi dlya differencial'nyh uravnenij drobnogo poryadka", Izv. AN ArmSSR. Matem., 3:1 (1968), 3-28].
[2] Нахушев А.М., Дробное исчисление и его применение, Физматлит, М., 2003, 272 с. [Nakhushev A.M., Drobnoe ischislenie i ego primenenie, Fizmatlit, M., 2003, 272 pp.]
[3] Джрбашян М.М., Интегральные преобразования и представления функций в комплексной области, Наука, М., 1966, 672 с. [Dzhrbashyan M.M., Integral'nye preo-brazovaniya i predstavleniya funkcij v kompleksnoj oblasti, Nauka, M., 1966, 672 pp.]
[4] Псху А.В., Уравнения в частных производных дробного порядка, Наука, М., 2005, 199 с. [Pskhu A.V., Uravneniya v chastnyh proizvodnyh drobnogo poryadka, Nauka, M., 2005, 199 pp.]
Список литературы (ГОСТ)
[1] Джрбашян М.М., Нерсесян А.Б. Дробные производные и задача Коши для дифференциальных уравнений дробного порядка // Изв. АН АрмССР. Матем. 1968. Т. 3. № 1. С. 3-28.
[2] Нахушев А.М. Дробное исчисление и его применение. М.: Физматлит. 2003. 272 c.
[3] Джрбашян М.М. Интегральные преобразования и представления функций в комплексной области. М.: Наука, 1966. 672 c.
[4] Псху А.В. Уравнения в частных производных дробного порядка. М.: Наука, 2005. 199 c.
Для цитирования: Богатырева Ф. Т. К вопросу о разрешимости обыкновенных дифференциальных уравнений дробного порядка // Вестник КРАУНЦ. Физ.-мат. науки. 2018. № 3(23). C. 42-47. DOI: 10.18454/2079-6641-2018-23-3-42-47
For citation: Bogatyreva F. T.. To the question of solvability of ordinary differential equations of fractional order, Vestnik KRAUNC. Fiz.-mat. nauki. 2018, 23: 3, 42-47. DOI: 10.18454/2079-6641-2018-23-3-42-47
Поступила в редакцию / Original article submitted: 08.06.2018