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

Вестник КРАУНЦ. Физ.-мат. науки. 2019. Т. 28. № 3. C. 32-39. ISSN 2079-6641

DOI: 10.26117/2079-6641-2019-28-3-32-39

УДК 517.927

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

Л.М. Энеева

Институт прикладной математики и автоматизации - филиал Федерального государственного бюджетного научного учреждения "Федеральный научный центр "Кабардино-Балкарский научный центр РАН", 360000, Кабардино-Балкарская республика, г. Нальчик, ул. Шортанова, 89 А E-mail: eneeva72@list.ru

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

Ключевые слова: дробная производная Римана-Лиувилля, дробная производная Капуто, задача Дирихле, неравенство Ляпунова.

© Энеева Л.М., 2019

Введение

Рассмотрим уравнение

я&д£и(х) - д(х)и(х) = 0, (1)

где д(х) — непрерывная на отрезке [0,1] функция, а и д"х — дробные производные порядка а, 0 < а < 1, по переменной х б]0,1[, в смысле Римана-Лиувилля с началом в точке х = 0, и в смысле Капуто с началом в точке х = 1, соответственно, определяемые равенствами [1]:

1 й Г х

°>(х) = Го—о ьЬ и(?)(х-')-а*,

Г(1 - а) dxJo

d

1 f 1 _ d

d1Xu(x)=- гT^ä)L(t - x)-a Jtu(t )dt-

Г(1 - а)

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

и

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

В работе [4] исследована спектральная задача для уравнения

- Яu(x) = 0. (2)

В работе [5] найдена нижняя оценка для первого собственного значения задачи Дирихле для уравнения (2). В работе [6] для уравнения (2) исследован вопрос разрешимости задачи Неймана для уравнения дробного порядка с различными началами, найдена оценка для первого ненулевого собственного значения.

Отметим также работы [7] - [10], в которых рассматривались различные вопросы теории дифференциальных уравнений, содержащих композицию операторов дробного дифференцирования с различными началами.

В данной работе мы находим необходимое условие существования отличного от тождественного нуля решения однородной задачи Дирихле для уравнения (1). Условие имеет форму интегральной оценки для потенциала и является аналогом неравенства Ляпунова [11], [12].

Неравенство Ляпунова для обыкновенного дифференциального уравнения дробного порядка с левосторонней дробной производной доказано в работе [13].

Вспомогательные утверждения

Введем обозначения

1 г1

K(x, t) = -¿у-J (s - x)a-1(s -t )a-1ds (3)

1 2(a) Jmax{x,t}

и

G(x,t) = K(x,t)-«p. (4)

Нетрудно заметить, если a g] 1, 1[, то

G(x,t) g C([0,1] x [0,1]). (5)

Лемма. Пусть 2 < a < 1. Справедливы следующие соотношения

4к(0, t) < 0 Vt g]0, 1[; (6) 4 t

4K(x, t) > 0 Vt < x < 1; (7) д t

G(x, t) > 0 V(x, t) g]0, 1[x]0,1[ (8)

sup G(x, t)= sup G(x, x) > 0. (9)

0<x,t<1 0<x<1

Доказательство. 1) Интегрируя по частям в правой части (3) получаем

1 г 1

K(0,t) = „у sa-1(s-1)a-1 ds =

1) 2)

3)

4)

Г2 (a)

(1 t)a 1 Z*1 a-2/ \a J

Г(а)Г(а +1) - Г(а - 1)Г(а +1) Jt S (S -1)

Поэтому

\a-1

dtK(0-t >=- w1+rräay 1,1 sa-2(s - t)a-'ds-

Принимая во внимание, что Г( а) > 0, а Г( а — 1) < 0 при а б] — 1, 1[, приходим к (6). 2) В силу определения (3), для ? < х < 1, имеем

1к(х-'> = 5/'<'—х>*—1(5 — •)а—1* =

Г2( а) дt Г( а)Г(а - 1)1

1 г1

——у (s-x)a-1(s-1)a-2ds > 0

3) Из (3) и (4) следует, что

G(x, t ) = G(t, x). (10)

Поэтому неравенство (8) достаточно доказать для 0 < t < x < 1.

Так как f(x, 0) > 0 для всех x G [0,1[, то принимая во внимание неравенства (6) и (7) получаем,

что

dtG(x,t) = dtK(x,t) - ltf (0t) >0 (0 <t <x <1). (11)

Вместо с равенством

G(x, 0) = 0 (12)

это доказывает (8).

4) Из (11) и (12) следует, что для любого фиксированного x g]0, 1[ имеет место равенство

sup G(x, t) = G(x, x). (13)

0<t<x

Учитывая (10) приходим к (9). □

Под регулярным решением уравнения (1) будем понимать функцию w(x) G C1[0,1] такую, что D^Xx) G AC[0,1], и удовлетворяющую уравнению (1) для всех x из интервала ]0,1[. Как обычно, AC[0,1] обозначает пространство абсолютно непрерывных на [0,1] функций.

Лемма. Пусть 2 < а < 1 и w(x) — регулярное решение уравнения (1), удовлетворяющее краевым условиям

и(0) = и(1) = 0. (14)

Тогда функция w(x) является решением интегрального уравнения

u(x) = f G(x, t)q(t)w(t)dt. (15)

0

Доказательство. Действительно, если w(x) является решением уравнения (1), то в силу свойств операторов дробного дифференцирования и определения регулярного решение, можем записать

d10-M(x) - D0xaq(x)M(x) = Cxа-1,

и, учитывая, что и(1) = 0,

u(x) - D^D^xMx) = CDlxaxa-1. (16)

Принимая во внимание обозначение (3), получаем

1 г 1

-а„а-1 __/ ,ла-1„а-1

Drxaxa-1 = / (s-x)a-1 sa-1 ds = Г(a)f(x,0), г (а) Jx

1 f1 fS

D^D-^M«^) = Г270^Ул (s-x)a-1 jf (s-1)a-1q(t)«(t)dtds =

11

q(t )w(t)

Г2( a) J0 imaxji.

Таким образом, уравнение (16) можно переписать в виде

i (s -x)a 1(s -1)a 1 dsdt = i q(t)w(t)f(x, t) dt.

u(x) - f1 q(t)u(t)f(x,t)dt = Cr( a)f(x,0). (17)

0

и

Устремляя в (17) х к нулю, из условия и(0) = 0 находим, что

С = - [Г(а)К(0,0)]-1 /1 <?(?)и(?)К(0, Г) ¿Г. (18)

.)0

Подставляя найденное значение для постоянной С в уравнение (17), после простых преобразований получаем

Г1 К(х 0) /" 1

и(х) = )и(? )К(х, Г) ¿Г--)и(? )К(0, Г) ¿Г =

./0 К(0,0),/ 0

q(t )w(t)

/0

K(x, t) - Kix®i) _ y K(0,0)

dt.

С учетом обозначения (4), последнее доказывает справедливость равенства (15). □

Основные результаты

Теорема. Пусть 2 < а < 1 и уравнение (1) имеет регулярное решение u(x), удовлетворяющее краевым условиям (14). Для того, чтобы функция u(x) не равнялась тождественно нулю, необходимо выполнение неравенства

sup f1 G(x, t)|q(t)| dt > 1. (19)

[0,1] ^ 0

Доказательство. В силу (5), (8) и (15) можем записать

Kx)|< ^ |w(t)|G(x,t)|q(t)|dt. (20)

0

Обозначим через um максимум функции |u(x)| на отрезке [0,1], т.е.

Um = Sup |u(x) |.

[0,1]

Очевидно, um > 0, um — |u(t) | < 0 и um — |u(t)| ф 0. Поэтому, с учетом (8), для любого достаточно малого положительного е и всех x из отрезка [е, 1 — е] справедливо неравенство

/ (um — |u(t)|) G(x,t)|q(t)|dt > 0. 0

Вместе с (20) отсюда следует, что

|u(x)| < um f G(x,t)|q(t)|dt VxG [е, 1 — е], 0

или, с учетом непрерывности функции |u(x)| на отрезке [0,1],

— sup |u(x)| < sup i G(x,t)|q(t)|dt < sup / G(x,t)|q(t)|dt. (21)

um [е,1—е] [е,1—е]■'0 [0,1] ^0

В силу (14) для достаточно малого е имеет место равенство sup^ 1—е] |u(x)| = um. С учетом этого, из неравенства (21) следует (19). □

СЛЕДСТВИЕ. Пусть 2 < а < 1 и u(x) — неравное тождественно нулю регулярное решение уравнения (1), удовлетворяющее краевым условиям (14). Тогда

[1 |q(t)|dt >( sup H(x)^ , (22)

J0 \0<x<1 J

где H(x) = G(x, x).

Доказательство. Действительно, из (8) и (19) следует, что

i |q(t)|dt > ( sup G(x, t)

J0 \0<x,i<1

l

Принимая во внимание (9), это доказывает (22). □

Заметим, что в силу (4) и определения функции Н(х) имеет место равенство

H (x) =

(1 - x)ß K2(x, 0)

где (здесь и далее) Более того,

ß Г2 (a) K (0,0) ß = 2a - 1.

K(x,°> = рЫ 1 sa-1(s -x)a-1ds ä иЬ i1

Поэтому, учитывая равенство

s2a-2ds =

1 - xß ßГ2( a).

K(0,0)

1

ß Г2( a)'

получаем

H (x) <

ß Г2( a)

(1 -x)ß - (1 -xß)

Это доказывает следующее утверждение.

СЛЕДСТВИЕ. Пусть 1 < а < 1 и и(х) — неравное тождественно нулю регулярное решение уравнения (1), удовлетворяющее краевым условиям (14). Тогда

г1,,,,, в Г2 (a)

70

h

(23)

где

sup

0<x<1

(1 -x)ß - (1 -xß)

ß = 2 a - 1.

Замечание. В случае a = 1 легко заметить, что ßГ2( a) = 1 и

h = sup 1 - x - (1 - x)2

0<x<1

1

4.

Таким образом, неравенство (23) (и следовательно (22) тоже) переходит в классическое неравенство Ляпунова [12]

/ |д(?)|Л > 4.

Список литературы/References

[1] Нахушев А. М., Дробное исчисление и его применение, Физматлит, М., 2003, 272 с. [Nakhushev A. M., Drobnoye ischisleniye i yego primeneniye, Fizmatlit, Moskva, 2003, 272 pp.]

[2] Рехвиашвили С. Ш., "К определению физического смысла дробного интегро-дифференцирования", Нелинейный мир, 5:4 (2007), 194-197. [Rekhviashvili S. SH., "K opredeleniyu fizicheskogo smysla drobnogo integro-differentsirovaniya", Nelineynyy mir, 5:4 (2007), 194-197].

[3] Рехвиашвили С. Ш., "Формализм Лагранжа с дробной производной в задачах механики", Письма в ЖТФ, 30:2 (2004), 33-37. [Rekhviashvili S. SH., "Formalizm Lagranzha s drobnoy proizvodnoy v zadachakh mekhaniki", Pis'ma v ZHTF, 30:2 (2004), 33-37].

[4] Энеева Л. М., "Краевая задача для дифференциального уравнения с производными дробного порядка с различными началами", Вестник КРАУНЦ. Физ.-мат. науки, 3:2(11) (2015), 39-44. [Eneyeva L. M., "Krayevaya zadacha dlya differentsial'nogo uravneniya s proizvodnymi drobnogo poryadka s razlichnymi nachalami", Vestnik KRAUNTS. Fiz.-mat. nauki, 3:2(11) (2015), 39-44].

1

h

[5] Энеева Л. М., "Оценка первого собственного значения задачи Дирихле для обыкновенного дифференциального уравнения с производными дробного порядка с различными началами", Известия КБНЦ РАН, 2017, №1(75), 34-40. [Eneyeva L. M., "Otsenka pervogo sobstvennogo znacheniya zadachi Dirikhle dlya obyknovennogo differentsial'nogo uravneniya s proizvodnymi drobnogo poryadka s razlichnymi nachalami", Izvestiya KBNTS RAN, 2017, №1(75), 34-40].

[6] Энеева Л. М., "О задаче Неймана для уравнения с дробными производными с различными началами", Вестник КРАУНЦ. Физ.-мат. науки, 2018, №4(24), 61-65. [Eneyeva L. M., "O zadache Neymana dlya uravneniya s drobnymi proizvodnymi s razlichnymi nachalami", Vestnik KRAUNTS. Fiz.-mat. nauki, 2018, №4(24), 61-65].

[7] Stankovic B., "An equation with left and right fractional derivatives", Publications de I'institut mathemmatique. Nouvelle serie,, 80(94) (2006), 259-272.

[8] Atanackovic T. M., Stankovic B., "On a differential equation with left and right fractional derivatives", Fractional Calculus and Applied Analysis, 10:2 (2007), 139-150.

[9] Torres C., "Existence of a solution for the fractional forced pendulum", Journal of Applied Mathematics and Computational Mechanics, 13:1 (2014), 125-142.

[10] Tokmagambetov N., Torebek B. T., "Fractional Analogue of Sturm-Liouville Operator", Documenta Mathematica, 21 (2016), 1503-1514.

[11] Ляпуновъ А. М., "Объ одномъ вопросе, касающемся линейныхъ дифферен-щальныхъ уравненш второго порядка съ перюдическими коэффищентами", Со-общ. Харьков. матем. общ. Вторая сер., 5 (1897), 190-254. [Lyapunov"A. M., "Ob"odnom"voprose, kasayushchemsya lineynykh"differentsial'nykh"uravneniy vtorogo poryadka s"periodicheskimi koeffitsientami", Soobshch. Khar'kov. matem. obshch. Vtoraya ser, 5 (1897), 190-254].

[12] Brown R. C., Hinton D. B., "Lyapunov Inequalities and their Applications", In: Survey on Classical Inequalities. Mathematics and Its Applications, 517, Springer, Dordrecht, 2000.

[13] Ferreira R.A.C., "A Lyapunov-type inequality for a fractional boundary value problem", Fract. Calc. Appl. Anal., 16:4 (2013), 978-984.

Список литературы (ГОСТ)

[1] Нахушев А. М. Дробное исчисление и его применение. М.: Физматлит, 2003. 272 c.

[2] Рехвиашвили С. Ш. К определению физического смысла дробного интегро-дифференцирования // Нелинейный мир. 2007. Т. 5. №4. С. 194-197.

[3] Рехвиашвили С. Ш. Формализм Лагранжа с дробной производной в задачах механики // Письма в ЖТФ. 2004. Т. 30. №2. С. 33-37.

[4] Энеева Л. М. Краевая задача для дифференциального уравнения с производными дробного порядка с различными началами // Вестник КРАУНЦ. Физ.-мат. науки. 2015. №2(11). С. 39-44.

[5] Энеева Л. М. Оценка первого собственного значения задачи Дирихле для обыкновенного дифференциального уравнения с производными дробного порядка с различными началами // Известия КБНЦ РАН. 2017. №1(75). С. 34-40.

[6] Энеева Л. М. О задаче Неймана для уравнения с дробными производными с различными началами // Вестник КРАУНЦ. Физ.-мат. науки. 2018. №4(24). С. 61-65.

[7] Stankovic B. An equation with left and right fractional derivatives // Publications de l'institut mathematique. Nouvelle serie. 2006. vol. 80(94). pp. 259-272.

[8] Atanackovic T. M., Stankovic B. On a differential equation with left and right fractional derivatives // Fractional Calculus and Applied Analysis. 2007. vol. 10. №2. pp. 139-150.

[9] Torres C. Existence of a solution for the fractional forced pendulum // Journal of Applied Mathematics and Computational Mechanics. 2014. vol. 13. no. 1. pp. 125-142.

[10] Tokmagambetov N., Torebek B. T. Fractional Analogue of Sturm-Liouville Operator // Documenta Mathematica. 2016. vol. 21. pp. 1503-1514.

[11] Ляпуновъ А. М. Объ одномъ вопросе, касающемся линейныхъ дифференщальныхъ уравненш второго порядка съ перюдическими коэффициентами // Сообщ. Харьков. ма-тем. общ. Вторая сер. 1987. Т.5. С. 190-254

[12] Brown R. C., Hinton D. B. Lyapunov Inequalities and their Applications. In: Survey on Classical Inequalities. Mathematics and Its Applications. vol. 517. Dordrecht: Springer, 2000.

[13] Ferreira R.A.C. A Lyapunov-type inequality for a fractional boundary value problem // Fract. Calc. Appl. Anal. vol. 16. no. 4. 2013. pp. 978-984.

Для цитирования: Энеева Л. М. Неравенство Ляпунова для уравнения с производными дробного порядка с различными началами // Вестник КРАУНЦ. Физ.-мат. науки. 2019. Т. 28. № 3. C. 32-39. DOI: 10.26117/2079-6641-2019-28-3-32-39

For citation: Eneeva L. M. Lyapunov inequality for an equation with fractional derivatives with different origins, Vestnik KRAUNC. Fiz.-mat. nauki. 2019, 28: 3, 32-39. DOI: 10.26117/20796641-2019-28-3-32-39

Поступила в редакцию / Original article submitted: 04.07.2019

Vestnik KRAUNC. Fiz.-Mat. Nauki. 2019. vol. 28. no.3. pp. 32-39.

DOI: 10.26117/2079-6641-2019-28-3-32-39

MSC 26A33

LYAPUNOV INEQUALITY FOR AN EQUATION WITH FRACTIONAL DERIVATIVES WITH DIFFERENT

ORIGINS

L.M. Eneeva

Institute of Applied Mathematics and Automation, 360000, Nalchik, Shortanova st., 89 A, Russia E-mail: eneeva72@list.ru

We consider an ordinary differential equation of fractional order with the composition of left- and right-sided fractional derivatives, which is a model equation of motion in fractal media. We find a necessary condition for existence of nontrivial solution of homogeneous Dirichlet problem for the equation under consideration. The condition has the form of integral estimate for the potential and is an analog of Lyapunov inequality.

Key words: Riemann-Liouville fractional derivative, Caputo fractional derivative, Dirichlet problem, Lyapunov inequality

© Eneeva L.M., 2019