ISSN 2686-9667. Вестник российских университетов. Математика
Том 28, № 142
2023
НАУЧНАЯ СТАТЬЯ © Абдурагимов Г.Э., 2023
https://doi.org/10.20310/2686-9667-2023-28-142-101-110 УДК 517.927.4
OPEN /Гл ACCESS
О существовании положительного решения краевой задачи для одного нелинейного функционально-дифференциального
уравнения дробного порядка
Гусен Эльдерханович АБДУРАГИМОВ
ФГБОУ ВО «Дагестанский государственный университет» 367025, Российская Федерация, г. Махачкала, ул. М. Гаджиева, 43а
Аннотация. Рассматривается краевая задача
+ /(г, (Тх) (г)) = о, о <г< 1, где а е (п- 1,п], п е м, п> 2, х(0) = х'(0) = ••• = х(п-2)(0) = 0, х(1) =0.
Эта задача сводится к эквивалентному интегральному уравнению с монотонным оператором в пространстве С непрерывных на [0,1] функций (пространство С полагается упорядоченным конусом неотрицательных функций, удовлетворяющих граничным условиям рассматриваемой задачи). С помощью известной теоремы Красносельского о неподвижных точках оператора растяжения (сжатия) конуса доказано существование хотя бы одного положительного решения рассматриваемой задачи. Приведен пример, иллюстрирующий выполнение достаточных условий, обеспечивающих разрешимость поставленной задачи. Полученные результаты являются продолжением исследований автора (см. [Вестник российских университетов. Математика, 27:138 (2022), 129-135]), посвященных вопросам существования и единственности положительных решений краевых задач для нелинейных функционально-дифференциальных уравнений.
Ключевые слова: функционально-дифференциальное уравнение дробного порядка, положительное решение, краевая задача, функция Грина
Для цитирования: Абдурагимов Г.Э. О существовании положительного решения краевой задачи для одного нелинейного функционально-дифференциального уравнения дробного порядка // Вестник российских университетов. Математика. 2023. Т. 28. № 142. С. 101-110. https://doi.org/10.20310/2686-9667-2023-28-142-101-110
SCIENTIFIC ARTICLES © G.E. Abduragimov, 2023
https://doi.org/10.20310/2686-9667-2023-28-142-101-110
OPEN,
Q
IACCESS
On the existence of a positive solution to a boundary value problem for one nonlinear functional-differential equation of fractional order
Gusen E. ABDURAGIMOV
Dagestan State University 43a M. Hajiyev St., Makhachkala 367025, Russian Federation
Abstract. The following boundary value problem is considered:
Da+x(t) + f (t, (Tx) (t)) =0, 0 < t < 1, where a G (n - 1, n], n G N, n > 2, x(0) = x'(0) = ...x(n-2) (0) =0, x(1) = 0.
This problem reduces to an equivalent integral equation with a monotone operator in the space C of functions continuous on [0,1] (the space C is assumed to be an ordered cone of nonnegative functions satisfying the boundary conditions of the problem under consideration). Using the well-known Krasnosel'sky theorem about fixed points of the operator of expansion (compression) of a cone, the existence of at least one positive solution of the problem under consideration is proved. An example is given that illustrates the fulfillment of sufficient conditions that ensure the solvability of the problem. The results obtained continue the author's research (see [Russian Universities Reports. Mathematics, 27:138 (2022), 129-135]) devoted to the existence and uniqueness of positive solutions to boundary value problems for nonlinear functional-differential equations.
Keywords: functional-differential equation of fractional order, positive solution, boundary value problem, Green's function
Mathematics Subject Classification: 34K10, 34K17.
For citation: Abduragimov G.E. On the existence of a positive solution to a boundary value problem for one nonlinear functional-differential equation of fractional order. Vestnik rossiyskikh universitetov. Matematika = Russian Universities Reports. Mathematics, 28:142 (2023), 101-110. https://doi.org/10.20310/2686-9667-2023-28-142-101-110 (In Russian, Abstr. in Engl.)
Введение
В последние годы стала достаточно интенсивно развиваться теория дробного дифференцирования и интегрирования. Большое распространение дробные уравнения получили в многочисленных приложениях науки и техники. В частности, в физике они широко используются при описании различных стохастических процессов, диффузии в средах с фрактальной геометрией, при изучении деформационно-прочностных свойств полимерных материалов. Кроме того, активное развитие дробные дифференциальные уравнения нашли в химических процессах. Поэтому класс задач, в которых используется аналитический аппарат дробного исчисления, довольно широк и актуален.
С развитием теории дробного дифференцирования и интегрирования возрос интерес, в том числе, к исследованию краевых задач для нелинейных дробно-дифференциальных уравнений. Например, в [1,2] получены достаточные условия существования и единственности сингулярных нелинейных краевых задач с помощью теоремы о неподвижной точке в конусах. В [3] исследуется существование положительных решений системы нелинейных уравнений смешанных дробных порядков. В работе [4] на основе принципа сжатия и альтернативы Лере-Шаудера доказано существование и единственность нелинейной дробной краевой задачи с производной Капуто. С помощью известной теоремы Го-Красносельского в [5] найдены достаточные условия отсутствия и существования хотя бы одного или двух положительных решений нелинейной дробной краевой задачи. Дробные задачи с производной Капуто, помимо [4], рассматривались также в работах [6-8]. В достаточно общей постановке вопросы существования положительных решений краевых задач для нелинейных возмущенных дробных уравнений были изучены в [9,10]. Отметим еще публикации [11-14], посвященные данной тематике.
Следует отметить, что, несмотря на интенсивное развитие теории дробно-дифференциальных уравнений, в литературе сравнительно немного работ, в которых подробно рассматривались бы вопросы существования и единственности положительного решения краевой задачи для нелинейных функционально-дифференциальных уравнений дробного порядка. В данной статье предпринята попытка в определенной степени восполнить этот пробел. С помощью теоремы Красносельского о неподвижных точках оператора растяжения (сжатия) конуса получены достаточные условия существования положительного решения краевой задачи для одного нелинейного функционально-дифференциального уравнения дробного порядка. Среди последних результатов автора по настоящей тематике можно отметить основанные на близких подходах утверждения, опубликованные в работах [15,16].
1. Постановка задачи
В дальнейшем для сокращения выкладок через С обозначим пространство С[0,1], через — пространство Ьр(0,1) и — пространство вещественных функций, определенных на [0,1], с абсолютно непрерывной (п — 1) производной.
Рассмотрим краевую задачу
#а+х(г) + / (г, (Тх) (¿)) = 0, 0 <г< 1, (1.1)
х(0) = х'(0) = ...х(п-2)(0) = 0, (1.2)
х(1) = 0, (1.3)
где а е (п — 1,п] (п е М, п> 2) — некоторое действительное число, — дробная
производная Римана-Лиувилля, Т: С ^ Ьр (1 < р < то) — линейный положительный
непрерывный оператор, функция /(г, и) неотрицательна на [0,1] х [0, то), монотонно возрастает по второму аргументу и удовлетворяет условию Каратеодори.
Определение 1.1. Под положительным решением задачи (1.1)-(1.3) будем подразумевать функцию х £ Шп положительную в интервале (0,1), удовлетворяющую на указанном интервале уравнению (1.1) и граничным условиям (1.2), (1.3).
2. Основные результаты
Рассмотрим эквивалентное задаче (1.1)—(1.3) интегральное уравнение
х(г) = [ С(г,в)/(в, (Тх)(в)) йв, 0 < г < 1, (2.1)
ио
где С(г,в) — функция Грина оператора —Д0+х(г) с краевыми условиями (1.2), (1.3). определяемая формулой
(г(1 — в))а-1 — (г — в)а-1
, если 0 < в < г,
(г(1 — в))а
у у — -, если г < в < 1.
г(а)
Лемма 2.1. Ядро С(г,в) обладает следующими свойствами:
1. с(г,в) > 0, (г, в) £ [0,1] х [0,1];
[1 (а — 1)а-1
2. шах0<г< 1 / С(Ь, в) йв — ■
3. шахо<4<1 С(г, в)
а«+1Г(а) 7 (в — в2)а-1
Г(а) '
4. с(г,в) < с(в,в), (г, в) £ [0,1] х [0,1].
Доказательство. Выполнение свойства 1 очевидно. Введем теперь обозначения:
01 (г, в) = (г(1 — в))а-1 — (г — в)а-1, 0 < в < г 92(г, в) = (г(1 — в))а-1, г < в < 1.
Для этих функций имеем
гъ га-1_га г°-1(1_г)а
01 (г, в) йв =---,
Л а а
•1 -¡-а— 1/
. ,, га-1(1 — г)а 02(г,в) йв = -
Следовательно,
а
г1 га-1 _ га
с(г,в) йв = г--,
0а
откуда следует справедливость свойства 2.
0
г
Далее, имеем
= (а - I)*-' < (а - 1)ta—2
, s \ а—2
а-1 s
(1 - с)а—1 - (1 - -
с а—2
а 2 с —
(1 - с)а—2 - (1 - *
< 0.
Отсюда следует, что функция ^(Ь, в) монотонно убывает по ¿, а поэтому при Ь > в эта функция достигнет максимума в точке Ь = в. С другой стороны, очевидно,
maxg2(t, s) = (s(1 - s))a 1.
t<s
Таким образом, выполнение свойства 3 установлено.
Наконец, свойство 4 вытекает из монотонности по t функций g1 (t, s) и g2(t,s). □
Предположим, что функция f (t,u) при п. в. t £ [0,1] и любых неотрицательных u удовлетворяет условию
f (t, u) < a(t) + bup/q, (2.2)
где b> 0, a(t) £ Lq, q £ (1, то).
Запишем уравнение (2.1) в операторном виде
x = GNTx,
где N: Lp ^ Lq — оператор Немыцкого, G: Lq ^ C. Оператор A, определяемый равенством
(Ax)(t)= [ G(t,s)f (s, (Tx)(s)) ds, 0 < t < 1, Jo
действует в пространстве неотрицательных непрерывных функций, монотонен и оставляет инвариантным нормальный конус К неотрицательных функций пространства C, удовлетворяющих граничным условиям (1.2), (1.3).
Далее для доказательства существования по крайней мере одного положительного решения задачи (1.1)—(1.3) нам понадобится следующая известная теорема Красносельского [17] (см. также [18, Theorem 2]).
Теорема 2.1. Пусть E — банахово пространство, К С E — конус, а П1, П2 — два ограниченных открытых шара E с центром в начале координат, причем П1 С П2. Предположим, что Ф : К П (П2\П1) ^ К — вполне непрерывный оператор такой, что выполнено одно из двух условий
(i) Vx £ К П Ш1 ||Фх|| < ||x|| и Vx £ К П Ш2 ||Фх|| > ||x||,
(п) Vx £ К П Ш1 |^x|| > ||x|| и Vx £ К П Ш2 |^x|| < ||x||.
Тогда Ф имеет неподвижную точку в К П (П2\П1).
Лемма 2.2. Оператор А : КК ^ КК вполне непрерывен.
Доказательство. Определим функцию 0(в) = шах0<г<1 С(г, в), в £ [0,1]. Заметим, что согласно лемме 2.1
( ) (в — в2)а-1 0(в) = Г(а) .
Пусть Л > 0 и 5 = {х £ КС: ||х||с < Л}. Для х £ 5 имеем 1 г 1
||Ах||с = шах / С(г,в)/(в, (Тх) (в)) йв < I ша^ ^(г, в)/(в, (Тх) (в)) йв -1 ^ 1
р
«(в) (Тх) з (в) йв < НаНть?||г( / , „||г( ||ь _
о<t<lJ0 J0 о<г<1
< [ 0(в)а(в) йв + ь[ 0(в)(Тх)р (в) йв <||а||ь, |Ык/ + ЫЫ^. НТхНгР
00
р „ р
< |0|ьа/ + ь|Ык/т3¡х^/ < ¡а^ь,|0|ьа/ + ь|Ык/т3Л/
где т — норма оператора Т, 1 + ^ = 1. Следовательно, множество А(5) равномерно ограничено.
Для любого е > 0 положим
1
а-1
5 =
|а|к ||0|к/ + ь||0|к/ т3 л/
--«д 11 С? 11 II с? II ьр '
Пусть для любых г1,г2 £ [0,1] выполнено
|г2 — г11 <5.
В силу (2.2) для всех х £ 5 имеем
|(Ах)(г2) — (Ах)(г0| < /1|С(г2,в) — С(гьв)|/(в, (Тх)(в)) йв
Jо
< |га-1 — га-111 / (в, (Тх) (в)) йв < (||а||ь,||0||Ч/ + ь||0||4/трЛ^) |г2 — г^-1 < е.
Отсюда, очевидно, следует равностепенная непрерывность оператора А на 5.
Таким образом, согласно теореме Арцела-Асколи оператор А вполне непрерывен. □
Введем обозначения:
П = {ш £ КС : ||ш||с < г}, дП = {ш £ КК : ||ш||с = г}, П = {ш £ КК : ||ш||с < Л}, дП = {ш £ КК : ||ш||с = Л},
п = П2\пь
где г, Л > 0, причем г < Л.
Теорема 2.2. Предположим, что выполнено неравенство (2.2) и 1 р = д ;
е
2. для р > д выполнено условие
р — д / д \ р-я
—(-тл—р - ||а||ь* ;
3. (т 1)(г) < 1, г е [0,1];
4. существует такое число г > 0, что при п. в. г е [0,1] и и е [0,г]
f (г, и) - иг,
аа+1Г(а)
где и > --——-.
р > (а — 1)а-1
Тогда краевая задача (1.1)-(1.3) имеет по крайней мере одно положительное решение.
Доказательство. Проверим выполнение условия (п) теоремы 2.1. Для этого покажем существование числа Я > 0 такого, что при х е дП2
||Ах||с < ||х||с. (2.3)
Действительно, в силу (2.2) для х е дП2 имеем
||Ах||с = тах / (в, (Тх) (в)) < / тах (в, (Тх) (в))
— — 0 0 — —
< [ ^(5)а(5) ^ + ь/ ^)(Тх) * (з) ^ <||а||ц |ЫЬ + Ь|Ы|ь, ||Тх
00
Р
Р Р Р.
< ||а|ь, |Ы|Ч/ + Ь|Ы|Ч/т* ||х||£ = ||а||ц |Ы|Ч/ + Ь|Ы|^т* Я*. (2.4) Рассмотрим функцию
^(з) = 5 — — 7,
где в > 0, 7 > 0, о > 0, а = 1.
Несложно проверить, что наибольшее значение этой функции при а > 1 на положительной полуоси достигается в точке
1 \ ^
ов) . (2-5)
р
Положив в = Ь||$||ь?/т«, 7 = ||а||ц|Ы|ьд/ и а = р/д, принимая во внимание условие 2 теоремы, обеспечивающее неотрицательность функции ^ в точке зтах, из (2.4) при Я = зтаж, получим (2.3).
В случае 0 < о < 1, выбрав в качестве Я любое положительное число, для которого <^(Я) > 0 при определенных выше значениях в, 7 и о, очевидным образом, обеспечим выполнение (2.3).
Укажем теперь такое число г > 0, что при х е дП1
||Ах||с > ||х||с.
1
1
В силу условий 3 и 4 теоремы и соответствующих свойств функции Грина леммы 2.1 для х £ дП1 имеем
||Ах||с = шах / С(г,в)/(в, (Тх) (в)) йв
0<i<^0
"1 1\а- 1
(а - 1)а
> яг max I G(t, s) ds = яг-, . > ||x||с.
" o<t<U0 а«+1Г(а) " 11 11
Таким образом, при соответствующем выборе г и R, нетрудно обеспечить выполнение условия (ii) теоремы 2.1. Следовательно, вполне непрерывный оператор A имеет по крайней мере одну неподвижную точку в П, что в свою очередь эквивалентно существованию хотя бы одного положительного решения краевой задачи (1.1)—(1.3) такого, что г — ||х||с — R, где г и R определены выше. □
Следующий пример иллюстрирует использование теоремы 2.2 при исследовании конкретных краевых задач.
Пример 2.1. Рассмотрим краевую задачу
D5+2x(t) + 6^ ^ x(s) d^j + а = 0, 0 <t< 1, (2.6)
x(0) = x'(0) = x(1) = 0, (2.7)
где а > 0 и 6> 0 — некоторые действительные числа, которые определим ниже.
Здесь, очевидно, а = 5/2, p/q = 3 и f (t,u) = 6u3 + а. В дальнейшем для удобства и простоты вычислений положим p = 6 и q = 2. В неравенстве (2.2) в качестве a(t), в частности, можно взять положительное число а. В силу леммы 2.1,
»(.) = omax ^> = н-5/р = 5^ (s- s2)3/2'
Следовательно,
4 . ж- 4 / 1 2
Мь =,/ /о 02(.)= X <•— ,2)3йв = Ш 140 = з^'
Для линейного интегрального оператора Т: С ^ , определенного равенством
(Тх)(г) = х(в) йв, ио
выполнение условия 3 теоремы 2.2 очевидно. Кроме того, норма этого оператора т = 1. Тогда условие 2 теоремы 2.2 принимает вид
1г > 7§Г (2.8)
Выясним, наконец, при каких положительных значениях г и Л, соответственно, выполняется условие 4 теоремы 2.2 и можно гарантировать требуемое в теореме 2.1 растяжение оператора А. Условие 4 теоремы 2.2 в данном случае примет вид неравенства
ьи3 + а > рг, (2.9)
где
* , (2f (2)8'2¥ - 17.88.
3* a 3' — r — —, оо
Нетрудно проверить, что неравенство (2.9) выполняется на интервале ... .
ЬЬ
С другой стороны, согласно теореме 2.2 неравенство (2.9) должно быть обеспечено при и е [0,г]. Следовательно, сгруппировав соответствующие интервалы, получим г = —.
и
Искомое Я в соответствии (2.5)
Я = з =\1 ^
± ь Отл.т \ I ♦
2Ь
Учитывая требование г < Я, окончательно получим правило выбора границ множества П
а у35л , ,
. (2.10) и V 2Ь 1 у
Таким образом, при выполнении неравенства (2.8), выбирая числа г и Я в соответствии с (2.10), на основании теоремы (2.2) заключаем, что краевая задача (2.6), (2.7) имеет хотя бы одно положительное решение такое, что г < ||х||с < Я.
В частности, при а = и = 18, Ь =1, легко проверить, что рассматриваемая задача
- - 1 ^ и и ^ I
имеет по крайней мере одно положительное решение такое, что 1 < ||х||с < у —-—.
References
[1] X. Xu, D. Jiang, C. Yuan, "Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation", Nonlinear Analysis: Theory, Methods & Applications, 71:10 (2009), 4676-4688.
[2] S. Sun, Y. Zhao, Z. Han, M. Xu, "Uniqueness of positive solutions for boundary value problems of singular fractional differential equations", Inverse Problems in Science and Engineering, 20:3 (2012), 299-309.
[3] Y. Zhao, S. Sun, Z. Han, W. Feng, "Positive solutions for a coupled system of nonlinear differential equations of mixed fractional orders", Advances in Difference Equations, 2011, № 1, 1-13.
[4] T. Qiu, Z. Bai, "Existence of positive solutions for singular fractional differential equations", Electronic Journal of Differential Equations, 2008:146 (2008), 1-9.
[5] Y. Zhao, S. Sun, Z. Han, Q. Li, "Positive solutions to boundary value problems of nonlinear fractional differential equations", Abstract and Applied Analysis, 2011:217 (2011), 6950-6958.
[6] Y. Zhao, S. Sun, Z. Han, Q. Li, "The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations", Communications in Nonlinear Science and Numerical Simulation, 16:4 (2011), 2086-2097.
[7] B. Ahmad, R. P. Agarwal, "Some new versions of fractional boundary value problems with slit-strips conditions", Boundary Value Problems, 175 (2014), 1-12.
[8] X. Zhang, L. Liu, Y. Wu, Y. L, "The iterative solutions of nonlinear fractional differential equations", Applied Mathematics and Computation, 219:9 (2013), 4680-4691.
[9] X. Zhang, L. Liu, Y. Wu, "Existence results for multiple positive solutions of nonlinear higher order perturbed fractional differential equations with derivatives", Applied Mathematics and Computation, 219:4 (2012), 1420-1433.
[10] X. Zhang, L. Liu, Y. Wu, "Multiple positive solutions of a singular fractional differential equation with negatively perturbed term", Mathematical and Computer Modelling, 55:3-4 (2012), 12631274.
[11] Y. Wang, L. Liu, Y. Wu, "Positive solutions for a nonlocal fractional differential equation", Nonlinear Analysis: Theory, Methods & Applications, 74:11 (2011), 3599-3605.
[12] Zhanbing Bai, Haishen Lu, "Positive solutions for boundary value problem of nonlinear fractional differential equation", Journal of Mathematical Analysis and Applications, 311:2 (2005), 495-505.
[13] S. Zhang, "Positive solutions for boundary-value problems of nonlinear fractional differential equations", Electronic Journal of Differential Equations, 2006:36 (2006), 1-12.
[14] S. Liang, J. Zhang, "Positive solutions for boundary value problems of nonlinear fractional differential equation", Nonlinear Analysis: Theory, Methods & Applications, 71:11 (2009), 55455550.
[15] Г. Э. Абдурагимов, "О существовании и единственности положительного решения краевой задачи для одного нелинейного функционально-дифференциального уравнения дробного порядка", Материалы Воронежской весенней математической школы «Современные методы теории краевых задач. Понтрягинские чтения-XXX». Воронеж, 3-9 мая 2019 г. Часть 55, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 194, ВИНИТИ РАН, М., 2021, 3-7. [G.E. Abduragimov, "On the existence and uniqueness of a positive solution to a boundary value problem for a nonlinear functional-differential equation of fractional order", Proceedings of the Voronezh spring mathematical school "Modern methods of the theory of boundary-value problems. Pontryagin readings - XXX". Voronezh, May 3-9, 2019. Part 5, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz., 194, VINITI, Moscow, 2021, 3-7 (in Russian)].
[16] Г. Э. Абдурагимов, "О существовании и единственности положительного решения краевой задачи для одного нелинейного функционально-дифференциального уравнения дробного порядка", Вестник российских университетов. Математика, 27:138 (2022), 129-135. [G. E. Abduragimov, "On the existence and uniqueness of a positive solution to a boundary value problem for a nonlinear functional-differential equation of fractional order", Vestnik rossiyskikh universitetov. Matematika = Russian Universities Reports. Mathematics, 27:138 (2022), 129-135 (In Russian)].
[17] M. A. Krasnosel'skii, Positive Solutions of Operator Equations, Noordhoff, Groningen, 1964.
[18] A. Cabada, J. Iglesias, "Nonlinear differential equations with perturbed Dirichlet integral boundary conditions", Boundary Value Problems, 66 (2021), 1-19.
Информация об авторе
Абдурагимов Гусен Эльдерханович,
кандидат физико-математических наук, доцент кафедры прикладной математики. Дагестанский государственный университет, г. Махачкала, Российская Федерация. E-mail: [email protected] ORCID: https://orcid.org/0000-0001-7095-932X
Поступила в редакцию 19.01.2023 г. Поступила после рецензирования 14.04.2023 г. Принята к публикации 09.06.2023 г.
Information about the author
Gusen E. Abduragimov, Candidate of Physics and Mathematics, Associate Professor of the Applied Mathematics Department. Dagestan State University, Makhachkala, Russian Federation. E-mail:[email protected]
ORCID: https://orcid.org/0000-0001-7095-932X
Received 19.01.2023 Reviewed 14.04.2023 Accepted for press 09.06.2023