Научная статья на тему 'О разрешимости одного интегрального уравнения в банаховом пространстве'

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

CC BY
86
33
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
дифференциальные уравнения дробного порядка / интегральное уравнение типа вольтерра / функция райта
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «О разрешимости одного интегрального уравнения в банаховом пространстве»

УДК 517.983

О РАЗРЕШИМОСТИ ОДНОГО ИНТЕГРАЛЬНОГО УРАВНЕНИЯ В БАНАХОВОМ ПРОСТРАНСТВЕ

Х.К. Авад

Белгородский государственный университет, ул. Победы, 85, Белгород, 308015, Россия

Аннотация. Доказывается разрешимость в банаховом пространстве интегрального уравнения, к которому сводится задача Коши для дифференциального уравнения дробного порядка с переменным оператором.

Ключевые слова: дифференциальные уравнения дробного порядка, интегральное уравнение типа Вольтерра, функция Райта.

Рассмотрим задачу Коши для дифференциального уравнения в банаховом пространстве E

D"tu(t) = A(t)u(t), t £ (т, b], т > 0 , (1)

lim DT-lu(t) = u0 , (2)

t^T ’ t

где DT-lu(t) = ll-au(t) = -----г (t — s)~au(s) ds - левосторонний дробный инте-

Г(1 - а) J

Т

d

грал Римана-Лиувилля порядка 1 — а, 0 < а < 1, 0 < т < t., DTtu(t) = —I^-au(t)

- левосторонняя дробная производная Римана-Лиувилля порядка а, A(t) - линейный, замкнутый оператор.

Условие 1.

a) Линейный оператор A(t) при каждом t £ [0, b] имеет плотную в E и независящую от t область определения D.

b) При любом А с Re А > 0 оператор А/—A(t) имеет ограниченный обратный, причем

|| № ~ A(t)) 41 - 1 + |д| ’ Мг>0. (3)

c) Кроме того, для любых t,T,s £ [0, b] справедливо неравенство

II(A(t) — A(t))A-1(s)|| < M2 |t — т|Y, M2 > 0, y £ (0,1]. (4)

Из условия (3) вытекает (см. [1]), что оператор А(£) при т > 0 является генератором сильно непрерывной полугруппы втА(г') и

||етА№ || < Мз е-йт , Мз > 0, 6 > 0 . (5)

В дальнейшем нами будет использована неотрицательная функция (см. [2], с.357)

/т,„(t) = <

a+iro

----- exp (tz — rzv) dz, t ^ 0,

2ni I (6)

a—iro V'-v

0, t< 0,

7 7

где a > 0, t> 0, 0 < v < 1 и ветвь функции zv выбрана так, что Re zv > 0 при Re z > 0.

Эта ветвь является однозначной функцией на комплексной z-плоскости с разрезом по

отрицательной части вещественной оси. Сходимость интеграла (6) обеспечивается множителем exp (—tzv ).

Заметим также, что функция /T V(t) при t > 0 может быть выражена через функцию Райта (см. [3], с. 54])

ГО k

/,„(*) = Г V (-и, 0; -rt-) , *(a, 6; ;) = g иг(^ + ь).

или через более общую функцию типа Райта (см. [4], гл. 1])

го k

frAt) = (-Tt-') , = £ r(afc + Jr(i_w. “ > шах{0;/3}, е С.

(7)

Отметим, что для функции Райта справедливо неравенство (см. [4], лемма 1.2.7)

ф(—v, 0; —x) < М4 (1 + xn) exp (—px1/(1—) , (8)

/г G N , /?. > —-— , p = (1 — v)vvl('l~1'^, x > 0.

1 — v

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

ГО

Ta(t — Г; A(r)) = J /i>a(t — Г) eiA(T} d£ . (9)

0

При решении задачи (1), (2) методом Соболевского-Танабе [1] устанавливается, что ее разрешающий оператор Ua(t, т) удовлетворяет интегральному уравнению Вольтерра

t

Ua(t, т) — Ta(t — т; А(т)) = / Ua(t, s) (A(s) — А(т))Ta(s — т; А(т)) ds . (10)

При сделанных предположениях на оператор А(г) и и0 £ ^ доказывается, что интегральное уравнение (10) разрешимо, а «(£) = [/а(£,т)и0 - единственное решение задачи (1), (2), для которого функция /1-аи(£) сильно непрерывно дифференцируема при £ > т.

Прежде чем переходить к решению интегрального уравнения (10), установим следующую лемму.

Лемма. Пусть выполнено условие 1, тогда для определяемой равенством (9) операторной функции Та(г — т; А(т)) справедливы оценки

IIТа (г — т; А(т))|| < Мб(£ — т)

а—1

(11)

IIА(т)Та(г — т; А(т)) 1 < М7(г — т)

— 1

(12)

□ Учитывая оценку (5) и равенство (2.2.31) [4], получим

||Та(г — т; А(т))| < I 4а(г — т) ||е?А(т}|| ^ <

< М3 / /?,а(г — т) 6 ^ = Мз(г — т)а 1 Еа,а ( —6(£ — т)а) < М6 (£ — т)

\а—1

где

Ем.р(г) =

О к

гк

к=0

Г(рк + р)

функция типа Миттаг-Леффлера. Неравенство (11) тем

самым установлено, и мы переходим к доказательству неравенства (12).

Используя определение функции /£,а(г — т) и ее асимптотику (8), интегрируя по частям, получим

СО СО

А(т)Та(г - г; А(т)) = ! - т) А{т) е^А[т) с1£ = ^ - т) ^ е^А[т) с1£ =

00

~ I щ(ЬЛ-т)) е^т) 0

(13)

Для производной функции типа Райта справедливо представление (см. [2], с. 362)

----ехр (((£ — т)г + £г") со$ва) — т)г — ^га $1\\9а) га ¿г , (14)

О

О

О

О

Из (13), (14) и (5) после элементарных преобразований будем иметь

ГО ГО

\\A(r)Ta(t - г; А(т))\\ <J exp ((t - т)г cosda) ra dr J exp (£ra cos ва - 6£) d£ =

00

ГО ГО

m3 г ra г m7

= -- exp ((i — T~)t COS 6a) -— dr < M exp ((t — r)r cos ва) dr

П J о — ra cos J t — т

00

и оценка (12), а вместе с нею и лемма также доказаны. В

Считая выполненным условие 1, будем решать методом последовательных приближений интегральное уравнение (10). Получим

ГО

Ua(t, т) = ^^ Ua, k(t, т) , (15)

k=0

где

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Ua,o(t, т) = Ta(t — т; А(т)),

t

Ua,k+i(t, т) = J Ua,k(t,s)(A(s) — А(т))T«(s — т; А(т)) ds. (16)

т

Покажем, что

t

Ua,k (t,т ) = J Ta(t — s; А^))Ф^,т) ds, к = 1, 2,..., (17)

т

где Ф^, т) = (A(t) — А(т))Ta(t — т; А(т)), а

t

^k+i (t, т ) = У Фk (t,s)Фl(s,т) ds. (18)

т

Действительно, это верно для к =1. Если это верно для к = n, то, в силу (16),

t

Ua,ra+i(t, т)= [ Ua,n(t,s)(A(s) — А(т))T«(s — т; А(т)) ds =

t / t

Ta(t — C; A(C))Фп(^ s) dC | Ф1(^ т) ds

T \ s

9 НАУЧНЫЕ ВЕДОМОСТИ КЯ Серия: Математика. Физика. 2010. №23(94). Вып. 21 Поменяв порядок интегрирования и учитывая (18), получим

^,«+1^ т) = J Та(г — С; А(С)) ^ J фп(С 5)ф1(5 т) =

£

= I Та(г - С; Л(0)ф»+.«,т) ¿е.

т

Следовательно, формула (17) справедлива при любом к. Положим

О

ф(г,т) = X] Фк(г,т)-

к=1

Легко видеть, что, в силу (18), этот оператор удовлетворяет уравнению

£

ф(г,т) = ф1(г,т)+ I ф(г,в)ф1(в,т) ¿5 (19)

и

т) = Та (і - т; А(т)) + у Та (і - в; А(^))Ф(з, т) . (20)

Т

Пример. Примером оператора А(і), удовлетворяющего условию 1, служит оператор

дж^дж, ’ дж^

г,/=1 г=1

область определения О которого состоит из всех функций пространства (П), обращающихся на границе в нуль, Е = Ьр(П), р > 1.

Предположим, что функции а^-(£,ж) непрерывно дифференцируемы по ж, а все

дйг ,(£, ж) , . , .

функции —^----------------, аД£,ж), а(1, х) непрерывны по совокупности переменных при I €

ОХт

[0, Т] и ж € П. Пусть также все функции аД^ж), а(£,ж) удовлетворяют по

I условию Гёльдера с показателем 7 > 0 и константой Гёльдера, не зависящей от ж. Кроме того, а^-(£, ж) = а/Д^ж) и для любых С £

ъ.7 ^ ^

¿,.7=1 г=1

Пусть, наконец, Ие а(£,ж) > а0 > 0, где а0 - достаточно большая постоянная.

Из перечисленных условий вытекает (см. [1]), что оператор А(г) удовлетворяет условию 1.

т

т

Литература

1. Соболевский П.Е. Об уравнениях параболического типа в банаховых пространствах // Тр.Моск. матем. общ. - 1961. - 10. - С.297-350.

2. Иосида К. Функциональный анализ / К. Иосида. - М.: Мир, 1967.

3. Kilbas A.A., Srivastava H.M., Trujillo J.J. Theory and application of fractional differential equations / A.A Kilbas, H.M. Srivastava, J.J. Trujillo J.J. - Elsevier, 2006.

4. Псху А.В. Краевые задачи для дифференциальных уравнений с частными производными дробного и континуального порядка / А.В. Псху. - Нальчик: Изд-во КБНЦ РАН, 2005.

ON THE SOLVABILITY OF AN INTEGRAL EQUATION IN THE BANACH SPACE H.K. Awad

Belgorod State University,

Studencheskaja St., 14, Belgorod, 308007, Russia

Abstract. The solvability of integral equation in Banach space which reduces the Cauchy problem of fractional order differential equations with variable operator is proved.

Key words: fractional order differential equations, Volterra integral equation, Wright function.

i Надоели баннеры? Вы всегда можете отключить рекламу.