Задача Дирихле для обыкновенного дифференциального уравнения второго порядка с оператором распределенного дифференцирования Текст научной статьи по специальности «Математика»

Вестник КРАУНЦ. Физ.-мат. науки. 2019. Т. 29. № 4. C. 48-57. ISSN 2079-6641

DOI: 10.26117/2079-6641-2019-29-4-48-57

УДК 517.925.4

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

Б. И. Эфендиев

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

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

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

Эфендиев Б. И., 2019

Введение

В интервале 0 < x < l рассмотрим уравнение

1

u"(x) -J ß (a )D®xu(x)da = f (x), (1)

где

x

a . . 1 f u(t)dt

D0Xu(x) = Ц-äjJ Jx—PyO+l, a < 0

0

Я®хи(х) = и(х), а = 0, йп

Я«хи(х) = —Яа—пи(х), п - 1 < а < п, п е N

- оператор дробного интегродифференцирования (в смысле Римана-Лиувилля) порядка а [1,2], Г (г) - гамма-функция Эйлера, д ( а) е Ь] 0,1[, f (х) е Ь] 0,1 [ П С]0,1[ -заданные функции.

Уравнение (1) относится к классу непрерывных дифференциальных уравнений [1,2]. В последнее время интегральный оператор в уравнении (1) называют оператором непрерывно распределенного дифференцирования, который был введен в работе [1].

При д( а) = 1 интеграл в уравнении (1) обозначается так:

5

ЯЙ5 ]и(х) = 1 Ваахи{х)й а. (2)

у

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

Для уравнения (1) при д( а) = 1 построено фундаментальное решение и найдено решение задачи Дирихле [6].

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

Обозначения и постановка задачи

Далее будем обозначать через (# * Н)(х) = х — г)Н(гсвертку Лапласа функций g(x) и Н(х),

1 1 1

/х- а ё а Г х а ё а

Д(а) Г(1 — а), к(х) = (1 * к1)(х) = У д( а) Г(2 — а). (3)

Регулярным решением уравнения (1) в интервале ]0,1[ назовем функцию и(х), принадлежащую классу С[0,1] П С2]0,1[ и удовлетворяющую уравнению (1) во всех точках х е]0,1[.

Задача. Найти регулярное решение и(х) уравнения (1) в интервале ]0,1[, удовлетворяющее условиям

и( 0) = и0, и(1 ) = щ, (4) где и0, щ - заданные константы.

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

Рассмотрим функцию

та

^(х) = £ Жп(х), wo(x) = х, Wn(x) = (мп-\ *к)(х), п е N. (5)

п=0

Лемма 1. Функция W(х) удовлетворяет следующим условиям: 1) ряд (5) сходится равномерно относительно х; 2) W (х) является решением задачи

1

W"(x) - У д (а(х)йа = 0, (6)

W (0) = 0, W '(0) = 1. (7)

Доказательство. 1. Сначала найдем оценку для функции к(х). Из соотношения (3) получим оценку

1 ^ 1 ^ 1 к(х) 1 < / I Д ( а) I (х/гГр -га7"" < / 1 Д ( а) 1 Щ^) < С (8)

где С = С(1) - положительная константа.

В силу оценки (8) из формулы (5) имеем неравенства

Сх2 С^х3 спхп+1

Мх)|< С^, Ых)|< , ..., Ых)|< , (9)

из которых следует равномерная сходимость ряда (5). С помощью неравенств (9) получим оценку для функции W(х)

та Спхп+1 1

^ (х)1< 1оСТТ)! = ёеСх-1), С = С{1). (10)

2. Покажем что функция W(х) является решением задачи (6), (7). Из формулы (3) видно, что к(0) = 0, в силу которого из представления (5) непосредственно вытекают равенства

та та

W'(x) = £ <(х)= £ Уп(х), У0(х) = 1, Уп(х) = (Уп-1 *к)(х), п е N (11) п=0 п=0

W//(х) = £ ™'/(х) = £ Уп(х), У0(х)= к(х), Уп(х) = (Уп-1 *к)(х), п е N (12)

п=0 п=0

W (0) = 0, W '(0) = 1, W ''(0) = 0. (13)

Из оценок (8) и (10) следует равномерная сходимость рядов (11) и (12).

Учитывая определения оператора дробного интегродифференцирования и свертки Лапласа, а также равенств (3), (11) и W(0) = 0, получим

1 x 1

d ( , ч a_i , N , d f . f . . t adа ,

Л I „(„\ _dt =

I д ((х)й а = — / д ( (х)й а = (х - х) | д ( а) _ .

0 0 0 0

7 ГО

= -¡-^ * к!) (х) = ^ '* 1а) (х) = (1 * кг)(х)+ £ (уи_1 * к * кг)(х). (14)

ах п=1

Замечая, что к(х) = (1 *к1)(х), из соотношения (14) имеем что 1

д (а)оа^(х)йа = к(х) + (к * к)(х)+ (к * к * к)(х) +... = £ уп(х) = W"(х), (15) 0 п=0

из которого следует формула (6). Функция Грина

Введем в рассмотрение функцию двух переменных, определенную в компакте

& = [0,1] х [0,1]

0(х, х) = Н(х _ х^(х _ х) _ Щ) ^(х)W(I _ х)], (16)

где Н(х) - функция Хевисайда.

Определение. Функцией Грина задачи Дирихле для уравнения (1) назовем функцию у(х, х), обладающая следующими свойствами:

1. у(х, х) непрерывна в и.

2. у(х, х) как функция переменной х является решением задачи

1

ухх(х,х) _у д(а)0%ху(х,х)йа = 0, у(0,х) = 0, у(1,х)= 0, (17)

0

по переменной х является решением задачи

1

Ухх (х, х) _! д (а)0%у(х, х)йа = 0, у(х, 0) = 0, г(х, I) = 0. (18)

0

3. При х = х производные ух(х, х) и ух(х,х) имеют скачок, равный единице, то есть

ух(х,х + 0) _ ух(х,х _ 0) = _1, (19)

\г (х, х + 0) _ \г (х, х _ 0) = 1. (20)

Лемма 2. Пусть выполнено условие W(I) = 0. Тогда 0(х, х) является функцией Грина задачи Дирихле для уравнения (1).

1

Доказательство. Первое свойство следует из непрерывности функций W(х), W/(x) и представления (16).

Второе свойство доказывается непосредственной подстановкой равенства (16) в формулы (17), (18) с учетом соотношений (6), (13)

i

Gxx(x, t) - Jß( a)DaxG(x, t)dа =

1

= H(x -1) W"(x -1) - J ß(a)DaxW(x -1)dа

W (l -1)

' W (l)

1

W'"(x -1) - J ß (a)D"xW'(x -1)dа 0

1

g„ (x,t) -Jß (a)DaG(x,t )da =

= 0,

= H (x -1)

W (l -1) W (l)

1

W''(x -1) - J ß(a)DaxW(x -1)dа 0 1

W'''(x -1) - J ß (а)DаxW'(x -1)dа

+

= 0.

Из представления (16) видно, что функция 0(х,?) непрерывна на компакте [0,1] х [0,1] и в силу соотношения W(0) = 0 имеют место равенства

0(0, г ) = 0, 0(1, г )= 0, 0(х, 0) = 0, 0(х, I ) = 0. Дифференцируя равенство (16) по х и по г

0х(х, г) = Н(х - г^'(х - г) - ^ ^'Ш(I - г) , 0{ (х, г) = -Н(х - г^'(х - г) + ^ ^ (х^'(I - г)

(21)

(22) (23)

и подставляя формулы (22), (23) в соотношения (19), (20) с учетом того что W(х) -непрерывная функция, а Н(х) - разрывная в нуле функция, с учетом раванств (7) получим

W'(x)W(l - x)

= -1,

Gx(x,x + 0) - Gx(x,x - 0)= lim H(e)W'(0) - -1-

e^-0 W (l)

- Шп,H(e)W'(0) + Wl) [W'(x)W(l -x)

Gt(x,x + 0) - Gt(x,x - 0) = - ДтоH(e)W'(0) + [w'(x)W(l - x)

+

+ ДшоH(e)W'(0) - щ) W'(x)W(l - x)

= 1

что доказывает справедливость формул (19) и (20).

Из соотношений (22), (23) в силу формулы W(0) = 0 следуют равенства

Gx(x, 0)= 0, Gx(x, l) = 0, Gt(x, 0) = -W'(x) + W, G(x, l) = W(). (24)

Представление решения

Теорема. Пусть f (x) e L]0,l[nC]0, l[. Тогда при выполнении условия разрешимости W(l) = 0 существует единственное регулярное решение задачи (1), (4). Решение имеет вид

i

u(x) = -u0Gt (x, 0) + uiGt (x, l) + j G(x, t) f(t)dt. (25)

0

Доказательство. Пусть u(x) - регулярное решение уравнения (1). Умножим обе части уравнения (1) на функцию G(x, t) предварительно поменяв в нем переменную x на t и проинтегрируем полученное равенство по t в пределах от 0 до l. Тогда имеем

l l 1 l

I G(x, t)u"(t)dt - f G(x, t) Iл(a)Datu(t)dadt = f G(x, t) f (t)dt. (26)

0 0 0 0

Интегрируя по частям первое слагаемое левой части равенства (26), учитывая что функция Gt(x,t) имеет разрыв, предварительно разбив промежуток интегрирования на два промежутка от 0 до x и от x до l, будем иметь

l-E г x

lim / G(x, t)u"(t)dt = lim u'(l - e)G(x, l - e) - u'(e)G(x, e) - Gt(x, t)u'(t)dt-E^0 J E^0 J

E

l-E

- J Gt(x,t)u'(t)dt

= u'(l)G(x, l) - u'(0)G(x, 0) - u(l)Gt(x, l) + u(0)Gt(x, 0)+

l

Tt (x,x + 0) - Gt (x, x - 0) + J Gtt (x, t)u(

0

В силу формулы дробного интегрирования по частям и равенства

i

+u(x)[Gt (x, x + 0) - Gt (x, x - 0)] +J Gtt (x, t )u(t )dt. (27)

(х) = и(1)У-[ф)--аи(х), ае]0,1[

второе слагаемое левой части формулы (26) перепишется в виде

^(х,t ¡(a)D0u(t )dadt=G(x,l ¡(a)Da-lu(t )da - G(x, 0),f ¡(a)Da-iu(t )da -

i

1

1

1

-J Gt (x, t) J ¡1 (a)Da 1u(t)dadt = G(x, l) J ¡1 (a)D^ 1u(t)da-

0 0 0

i 1 i 1 •>a-1,

и(г) J д (а 1Ог (х, г У = J и(г)! д (а )В®0(х, г ^ а ¿г, (28)

0 0 0 0

так как в силу равенств (3) и (14) предел Иш/д д(а^а-1и(г)dа = 0. Учитывая формулы (20), (27) и (28) из равенства (26) получим

i Г i

u(x)+ju(t) G„(x,t) - j¡^(зшт

00

dt =

I

= -и'(I)О(х, I) + и'(0)О(х, 0) + и(1)Ог(х, I) - и(0)Ог(х, 0) + ^ О(х,г)/(г^г,

0

из которого в силу соотношений (4) и (18) получаем формулу (25).

Покажем теперь, что функция и(х), определяемая формулой (25), действительно является решением задачи (1), (4). Дифференцируя дважды равенство (25) с учетом формул (19) и (24) будем иметь

I

и'(х) = -щ[Ог (х, 0)]' + и1 [Ог (х, I)]' + 1 Ох(х, г) / (г ^г, (29)

0

j

u"(x) = -uo [Gt (x, 0)]" + ut [Gt (x, l)]" + —

x l

J Gx (x, t )f (t )dt + J Gx(x, t) f (t )dt

0x i

= —Щ [Ог(х,0)]'' + и1 [Ог(х,I)]'' + !Охх(х,г)/(г^г + /(х). (30)

0

Далее из формулы (25) имеем, что

1 1 1 У д (а)DQXu(x)dа = -и0 J д(а)0®х0г(х, 0)dа + и^ д(а)0®х0г(х, l)dа+

0 0 0

I 1

+ У /(г) I д(а№хО(х,г)dаdг. (31)

00

Подставляя формулы (30) и (31) в уравнение (1), в силу равенств (6) и (7), получаем что функция, определяемая соотношением (25), действительно является решением задачи (1), (4).

Замечание. 1. При д(а) > 0 условие разрешимости W(I) = 0 выполняется. 2. В случае W(I) = 0 нарушается единственность решения задачи (1), (4).

Действительно, из второго равенства (3) видно, что при д(а) > 0 функция к(х) > 0. Отсюда, из формулы (5) следует что W(I) представляет собой знакопостоянный

l

i

i

числовой ряд с положительными членами, и поэтому сумма этого ряда отлична от нуля, то есть W(l) = 0.

2. Если W(l) = 0, то однородная задача

1

u"(x) -J л (a)D0xu(x)d а = 0, и(0) = 0, u(l) = 0 (32)

о

имеет ненулевое решение. В частности, любая функция u(x) = cW(x), c - const, является решением задачи (32).

Неравенство типа Ляпунова

Лемма 3. Пусть однородная задача (32) имеет нетривиальное решение. Тогда справедливо неравенство

i

sup l \K(x,t)\dt > 1, K(x,t)= H(x-1)k(x-1) - Xk(l -1). (33)

xe]0,l[ 0 l

Доказательство. Задача (32) эквивалентна однородному интегральному уравнению Фредгольма второго рода

i

u(x) = J u(t )K (x, t )dt, (34)

0

из которого следует неравенство

i

u < u sup \K(x,t)\dt, u = sup u(x)

xe]0,l[ 0 xe]0,l[

или с учетом того, что u = 0, получим (33).

Соотношение (33) называется неравенством типа Ляпунова. Следствие. Если выполняется неравенство

1 о

f \ \ l а 1

У ( а)\Р(3-0)da < 2,

то исходная задача (1), (4) имеет единственное решение, которое определяется равенством (25).

Запишем неравенство (33) в терминах функции л(а). В силу неравенства

1

\K(x,t)\ < 2j\ß( а)

(l -1 )1-а d а Г(2 - а)

0

перепишем соотношение (33) в виде

l 1 1 1 о

(l -1)1- аdа , „ [\f 4\ l2- а ,

d а.

1 < sup [\K(x, t)\dt < lj [\л ( а)\( , а dt = 2i\v (а\

xe]0,l[{ J J 1(2 - а) J 1(3 - а)

0 0 0

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

[1] Нахушев А. М., "О непрерывных дифференциальных уравнениях и их разностных аналогах", Докл. АН СССР, 300:4. (1988), 796-799. [ "O nepreryvnykh differentsial'nykh uravneniyakh i ikh raznostnykh analogakh", Dokl. AN SSSR, 300:4. (1988), 796-799, (in Russian)].

[2] Нахушев А. М., "О положительности операторов непрерывного и дискретного дифференцирования и интегрирования весьма важных в дробном исчислении и в теории уравнений смешанного типа", Дифференц. уравнения, 34:1 (1998), 101-109. [Nakhushev A.M., "O polozhitel'nosti operatorov nepreryvnogo i diskretnogo differentsirovaniya i integrirovaniya ves'ma vazhnykh v drobnom ischislenii i v teorii uravneniy smeshannogo tipa", Differents. uravneniya, 34:1 (1998), 101-109, (in Russian)].

[3] Псху А. В., "К теории оператора интегро-дифференцирования континуального порядка", Дифференц. уравнения, 40:1 (2004), 120-127. [Pskhu A. V., "K teorii operatora integro-differentsirovaniya kontinual'nogo poryadka", Differents. uravneniya, 40:1 (2004), 120127, (in Russian)].

[4] Kochubei A.N., "Distributed order calculus and equations of ultraslow diffusion", J. Math. Anal. Appl, 2008, №340, 252-281.

[5] Fedorov V. E., Streletskaya E.M., "Initial-value Problems for Linear Distributed-order Differential Equations in Banach Spaces", Electronic Journal of Differential Equations, 2018, №176, 1-17.

[6] Efendiyev B.I., "Zadacha Koshi dlya obyknovennogo differentsial'nogo uravneniya vtorogo poryadka s kontinual'noy proizvodnoy", Differents. uravneniya, 47:9 (2011), 1364-1368, (in Russian).

[7] Эфендиев Б. И., "Задача Дирихле для обыкновенного дифференциального уравнения второго порядка с континуальной производной", Мат. заметки, 97:4 (2015), 620628. [Efendiyev B.I., "Zadacha Dirikhle dlya obyknovennogo differentsial'nogo uravneniya vtorogo poryadka s kontinual'noy proizvodnoy", Mat. zametki, 97:4 (2015), 620-628, (in Russian)].

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

[1] Нахушев А. М. О непрерывных дифференциальных уравнениях и их разностных аналогах // Докл. АН СССР. 1988. Т. 300, №4. С. 796-799.

[2] Нахушев А. М. О положительности операторов непрерывного и дискретного дифференцирования и интегрирования весьма важных в дробном исчислении и в теории уравнений смешанного типа // Дифференц. уравнения. 1998. Т. 34, №1. С. 101-109.

[3] Псху А. В. К теории оператора интегро-дифференцирования континуального порядка // Дифференц. уравнения. 2004. Т. 40, №1. С. 120-127.

[4] Kochubei A. N. Distributed order calculus and equations of ultraslow diffusion // J. Math. Anal. Appl. 2008. vol. 340. 252-281.

[5] Fedorov V. E., Streletskaya E. M. Initial-value Problems for Linear Distributed-order Differential Equations in Banach Spaces // Electronic Journal of Differential Equations. 2018. №176. pp. 1-17.

[6] Эфендиев Б. И. Задача Коши для обыкновенного дифференциального уравнения второго порядка с континуальной производной // Дифференц. уравнения. 2011. Т. 47. №9. С. 1364-1368.

[7] Эфендиев Б. И. Задача Дирихле для обыкновенного дифференциального уравнения второго порядка с континуальной производной // Мат. заметки. 2015. Т. 97. №4. С. 620628.

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

Vestnik KRAUNC. Fiz.-Mat. Nauki. 2019. vol. 29. no.4. pp. 48-57.

DOI: 10.26117/2079-6641-2019-29-4-48-57

MSC 34L99

THE DIRICHLET PROBLEM FOR AN ORDINARY

DIFFERENTIAL EQUATION OF THE SECOND ORDER WITH THE OPERATOR OF DISTRIBUTED

DIFFERENTIATION

B. I. Efendiev

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

In this paper, we study a linear ordinary differential equation of the second order with operator of continuously distributed differentiation, and for him we study the two-point boundary value problem by the Green's function method. A special function is introduced, in terms of which the Green function of the Direchle problem is constructed and the main properties are proved. Sufficient conditions on the kernel of the operator of continuously distributed differentiation are determined that guarantee the fulfillment of the solvability condition for the Dirichlet problem. In the case when the homogeneous Dirichlet problem for the homogeneous equation under consideration has a nontrivial solution, an analog of the Lyapunov inequality is obtained for the kernel of a continuously distributed differentiation operator.

Key words: fractional integro-differentiation operator, operator of continuously distributed differentiation, fundamental solution, Cauchy problem, Dirichlet problem, analog of Lyapunov's inequality

© Efendiev B.I., 2019