CC BY
71
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2015. №23 (220). Выпуск 41 29
УДК 517.9
ДВЕ ЗАДАЧИ ДЛЯ НЕЛИНЕЙНЫХ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ БАРБАШИНА С ДРОБНОЙ ЧАСТНОЙ ПРОИЗВОДНОЙ
TWO PROBLEMS FOR NONLINEAR BARBASHIN INTEGRO-DIFFERENTIAL EQUATIONS
WITH FRACTIONAL PARTIAL DERIVATIVE
А.С. Калитвин, В.А. Калитвин A.S. Kalitvin, V.A. Kalitvin
Липецкий государственный педагогический университет,
Россия, 398020, г. Липецк, ул. Ленина, д. 42 Lipetsk State Pedagogical University, 42, Lenina St, Lipetsk, 398020, Russia E-mail: kalitvinas@mail.ru; kalitvin@mail.ru
Ключевые слова: интегро-дифференциальное уравнение, дробная частная производная, интегральное уравнение
Key words: integro-differential equation, fractional partial derivative, integral equation
Аннотация. Получены условия существования и единственности решения весовой задачи типа Коши и задачи Коши для нелинейных интегро - дифференциальных уравнений Барбашина с дробной частной производной в смысле Римана-Лиувилля и в смысле Капуто.
Resume. The existence and uniquenesse conditions of solution of weight Cauchy type problem and of Cauchy problem for nonlinear Barbashin integro-differential equations with fractional partial derivative in Riemann-Lioville and Caputo sense are obtained.
Введение и постановка задачи
Будем рассматривать нелинейное интегро-дифференциальное уравнение
d
(Daa+tx)(t, s) = c(t, s, x(t, s)) + jm(t, s, a, x(t, a))da + f (t, s) (1)
c
с левосторонней дробной частной производной по t порядка С в смысле Римана-Лиувилля, где 0< с< 1, (t, s) е D = [а, b]x[c, d], c(t, s, u), f (t, s) и m(t, s,a, u) — заданные и непрерывные на
F = D x (—<»,+<»), D и G = D x [c, d] x (-<»,+<x)) соответственно функции, а интеграл понимается в смысле Лебега.
При аналогичных предположениях о заданных функциях рассматривается нелинейное интегро-дифференциальное уравнение
d
(C Dc+tx)(t, s) = c(t, s, x(t, s)) + \m(t, s, a, x(t, a))da + f (t, s) (2)
c
с левосторонней дробной частной производной по t порядка С в смысле Капуто, где 0 < С < 1.
При С = 1 левосторонние дробные частные производные в левой части уравнений (1) и (2)
совпадают с обычной частной производной по t функции x(t, s), если xt(t, s) существует, а сами уравнения совпадают с нелинейным интегро-дифференциальным уравнением Барбашина (ИДУБ) dx(t, s)
dt
c(t, s, x(t, s)) + \m(t, s, a, x(t, a))da + f (t, s).
(3)
c
В связи с этим нелинейные уравнения (1) и (2), при 0< с <1, назовем нелинейными ИДУБ с дробной частной производной по t порядка С в смысле Римана-Лиувилля и Капуто
30
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2015 № 23 (220). Выпуск 41
соответственно. При c(t, s, u) = c(t, s)u, m(t, s,a, u) = m(t, s,a)u и 0< a <1 уравнения (l) и (2) являются линейными ИДУБ с дробной частной производной.
Основы теории начальных и краевых задач для линейных ИДУБ построены в [1]. При этом изучаемые задачи интерпретировались как начальные или двухточечные задачи для дифференциальных уравнений первого порядка в банаховых пространствах с решениями, понимаемыми в классическом смысле, или сводились к интегральным уравнениям.
Условия однозначной локальной разрешимости нелинейного ИДУБ (3) с c(t, s, u) = c(t, s)u и при заданном начальном условии
x(to, s) = ф) (4)
приведены в [1]. При этом задача (3)/(4) интерпретируется как задача Коши
x'(t) = A(t)x(t) + f(t), x(t0) = ф) (5)
в банаховом пространстве X, где вектор-функции x(t) и f (t) определяются равенствами x(t) := x(t, s) и f (t):= f (t, s), оператор-функция A(t) имеет вид
и
A(t) y( s) = c(t, s) y( s) + fm(t, s,a, y(a))da,
(6)
а производная x'(t) понимается в смысле Фреше.
При применении метода интегральных уравнений задача (3)/(4) сводится к нелинейному интегральному уравнению
x(t, s) = (Bx )(t, s) + g(t, s), (7)
где
t t d
(Bx )(t, s) = \c(Z, ^ x(z, s))dz +1 jm(z, s, a, x(z, a))dadz,
t
g (t, s) = <p(s) + Jf (z, s)dz.
Если теперь задача (3)/(4) эквивалентна в банаховом функциональном пространстве E
уравнению (7), то единственное решение в E имеет и задача (3)/(4).
Метод интегральных уравнений позволяет свести изучение ИДУБ (1) и (2) с левосторонней дробной частной производной по t порядка a (0< a <1) к нелинейным интегральным уравнениям Вольтерра с частными интегралами.
Дробные частные интегралы и производные
Пусть D = [a,b]x[c,d] — конечный прямоугольник, C(D) — пространство непрерывных
на D функций f (t, s), AtC(D) — пространство непрерывных на D функций f (t, s), абсолютно
c
toc
0
а
0
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2015. №23 (220). Выпуск 41 31
непрерывных по t е [a, b] при каждом s е[с, d], C(L ) — пространство измеримых на D функций g(t, s), которые непрерывны по s е[с, d] как функции со значениями в L = L ([a, b]), Cr (D) — множество непрерывных на (a, b] х [c, d] функций x(t, s), для которых при некотором
Г >0 функция (t — a) x(t, s) принадлежит C(D), а норма определяется равенством
И = sup | (t — a)r x(t,s) |,
(t,s)
и пусть C([c, d]) — пространство непрерывных на отрезке [c, d] функций.
Хорошо известно, что С([С d]\C(D) AC(D\C(L \ Cr(D) и C (L) являются банаховыми пространствами.
При а >0 и g е C(L ) левосторонний дробный частный интеграл по t Римана-Лиувилля порядка а определяется равенством
()(t, s) = гО) \ d'
t > a,
(8)
где Г(z) — гамма функция. Дробные частные интегралы определены для любой функции g е C(L ) и обладают полугрупповым свойством: I^+fl'+tg = 1°+'g-
Через 1аа+^ (C(L)X где а >0, обозначим множество функций f (t, s), допускающих представление f (t, s) = (Га+^)(t, s) где (ре С(L).
Аналогично теореме 2.3 из [2], f е I°+t(С(L1)) точно тогда, когда выполнены условия:
Л—а = IZf е AC(D), f—a (a, s) = 0.
Левосторонняя дробная частная производная по t Римана - Лиувилля порядка а (0 < а < 1) функции f (t, s), по определению, имеет вид
( D^f )(t, s) =
1 д г f (т, s)
у J dr, t > a. Jr
(9)
Г(1 — а) dtJa (t — r)
Так же, как в [2, теорема 2.3, лемма 2.2], доказывается, что если f е AtC(D) и 0 < а <1,
то при каждом s е[с, d] (Daa+ tf )(t, s) существует почти при всех t е [a, b] и допускает
представление
( d:+j )(t, s)=
1 ( f (a,s) t- /7- ^ ^
Г(1 —а)
■ +
(t — a)* { (t — r)
J (t — r)
-dr
(10)
У
а
32 НАУЧНЫЕ ВЕДОМОСТИ j^jj Серия Математика. Физика. 2015 № 23 (220). Выпуск 41
причем D®+tf s C(L). Из (9) и (10) следует, что линейный оператор DaaJr t действует из AtC(D) в C(Ll) и ограничен.
Связь между дробными частными интегралами и производными описывается следующими равенствами:
d:+, tC, tg=g; (11)
C,tD“tf = f (f s I“ t (CiL1));
(12)
(СА“ f )(t, s) = f (t, s) -
если 0 < a <1, f s C(L) и ^ “f s AtC(D);
^(t - a) a-1,
r( a )
(13)
(№ )(t, s) = g(, s) -(Cg )(a+’s)(t - a) -
r( a )
(14)
если g s C(Do) и Ql+ltg)(t,s) s C(Do), где Do (a Ъ] X [c d].
Доказательство равенств (11)-(14) производится с применением схемы доказательства теоремы 2.4 из [2].
Дробная частная производная по t порядка в смысле Капуто определяется равенством
((:^Л(иs) =(Daa+,t(f - g))(t, s),2de g(t, s) = f (а, s).
Если 0 < a <1 и f s AtC( D), то аналогично [3, лемма 2.22] доказывается равенство
(I a+,t)(CD:+J)(t, s) = f (t, s) - f (a, s).
(15)
Нелинейное интегро-дифференциальное уравнение Барбашина с дробной частной производной в смысле Римана-Лиувилля
Рассмотрим ИДУБ (1) с дробной частной производной по t порядка а в смысле Римана-Лиувилля, где 0< а < 1, c, f,m — заданные непрерывные функции, а интеграл понимается в смысле Лебега. ИДУБ (1) с дополнительным условием
lim (t - a)1-a x(t, s) = <p(s), p s C([c, d]), (16)
t ——a+
назовем весовой задачей типа Коши. Под решением задачи (1)/(16) будем понимать функцию x s C1-a Ш удовлетворяющую уравнению (1) и весовому условию (16). Отметим, что при а = 1
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2015. №23 (220). Выпуск 41 33
условие (16) имеет вид x(a, s) = <p(s), а задача (i)/(i6) является задачей Коши для ИДУБ (3) с начальным условием x(a, s) = <p(s), если существует Xt(t, s').
Пусть 0<a <1 и X — решение задачи (1)/(16). Тогда при этом X ИДУБ (1) обращается в тождество. Применяя к обеим частям этого тождества дробный частный интеграл (8) и учитывая равенства (11)-(13) и (16), получим тождество
j ^ 1 ^ ^
x(t,s)=-р— L _ v-a c(z’s, x(t’ s))+jm(z, s a x(z,a))da
1 (a) a (t T) V c
Л
dz +
J
+ -
1 f f (z, s)
- a)a1.
(17)
Г(а) a (t -z)1
Таким образом, при указанных условиях на функции c, m, f ,ф решение x задачи (i)/(i6)
удовлетворяет интегральному уравнению
x(t, s) = -^\c(zs x(zs))
v 7 j
dz + -
t d jj
1 rrm(z, s,a, x(z,a))
Г(а) j (t -z)l-a Г(а) j j (t -z)l-a
1 f f (z, s)
dodz +
+ -
fZ^-a dz + 9(s)(t - a)C
Г (a) a (t -z)
(18)
под решением которого понимается функция x £ Су(D), где у = 1 -a, удовлетворяющая уравнению (18). Отметим, что уравнение (18) можно рассматривать в Су(D) при у = 1 -а, так как при x £ Су (D) каждое слагаемое правой части этого уравнения прнинадлежит Су (D).
Предположим теперь, что x(t, s) — решение уравнения (18) в C-a(D). Тогда имеет место тождество (17). Применяя к обеим частям этого тождества дробную частную производную (9) и учитывая равенства (11)-(13) и (D^+ (t - a) ')(x) = 0 [3, с. 71], получим тождество
d
(Da+Jx)(t, s) = c(t, s, x(t, s)) + jm(t, s, a, x(t, a))da + f (t, s),
c
причем \im(t -af~ax(t,s) = <p(s). Поэтому x(t,s) — решение задачи (1)/(16) в C1-a(D).
t ——a+
Пусть теперь a = 1 и существует x^(t,s). Тогда C^a(D) = C(D), а уравнение (1) с дополнительным условием (16) равносильно интегральному уравнению
t t d t
x(t, s) = jc(z, s, x(z, s))dz + jjm(z, s, a, x(z, a))dadz + jf (z, s)dz + <p(s),
a a c a
которое совпадает с уравнением (18) при а = 1.
Следовательно, в C^a(D), где 0< а < 1, задача (1)/(1б) эквивалентна уравнению (18). Из приведенных рассуждений вытекает
34
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2015 № 23 (220). Выпуск 41
Теорема 1. Пусть 0 < a < 1 и заданные функции c, f, m и ф непрерывны. Тогда в
C_a (D) весовая задача типа Коши (1 )/(16) эквивалентна интегральному уравнению (18). Уравнение (18) запишем в виде x = Vx + g, где
1 ‘rc(T,s, x(t, s))^, | 1 rdrm(r, s,a, x(T,a))
I J d - -rV-a ГСгуЛ j j
(Vx )(t, s) =
T(a) a (t -t)
Г(a)-
(t -T)1
dodT,
(19)
g(t, s) = —1— J_f(Tis)_ dT + p( s)(t - a) 6 Г(а)J (t -r)1~a Y
Как отмечено выше, в условии теоремы 1 оператор V действует в Cj-a(D), а функция
a c
а
g е C-a(D).
Будем предполагать, что функции с(т, s, и) и т(т, s,a, u), где и е (-<»,+<»), удовлетворяют условию Липшица:
| с(т, s, и) - с(т, s, v) |< Со (t, s) | и - v |,
| т(т, s,a, и) - т(т, s,a, v) |< m0 (t, s, a) | и - v
(20)
где Со (t, s) и mo (t, s,a) — непрерывные функции. Через Vo обозначим линейный оператор
(V0x)(t,s) = —1— J c°(T>s x(t,s)dTн-1— JJm°(T,^a) x(T,a)dadT.
v 0 yv ' Г (rv\Jd- T\1-a ' (i- T\1-a '
(21)
Г(а) J (t -тТа ' ' ' Г(a) J J (t -T)l-a
Используя приведенные в [4-7] условия равенства нулю спектрального радиуса оператора Вольтерра с частными интегралами, которые могут быть применены к оператору (21),
действующему в пространстве C1-a(D), получаем, что для действующего в C1-a(D) оператора Vo
спектральный радиус r(V>) 0. Поэтому интегральное уравнение
x = V0x+g
имеет в пространстве C1-a (D) единственное решение. В виду оценки
| Vx + g-Vy -g <^оx + g-Voy-g \
и обобщенного принципа сжимающих отображений [8] единственное решение в (D) имеет и
уравнение (18). В силу теоремы 1 единственное решение в (D) имеет и задача (1)/(16). Таким
образом, справедлива
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2015. №23 (220). Выпуск 41 35
Теорема 2. Пусть 0< а< 1, заданные функции c, f, ш,ф непрерывны и функции С и m удовлетворяют условию Липшица (20). Тогда весовая задача типа Коши (i)/(i6) имеет единственное решение в Ci_a(D).
В заключение раздела отметим, что ИДУБ (l) рассматривалось при дополнительном условии на решение в точке а. Если же рассматривать дополнительное условие во внутренней точке интервала (а, Ъ), то при 0 < а <1 ситуация становится совершенно иной. Уже в случае линейного ИДУБ (1) получается задача Коши, которая приводится к линейному интегральному уравнению с операторами Вольтерра и Фредгольма с частными интегралами. В общем случае заданных непрерывных функций c, m, f ,ф такие уравнения не являются нетеровыми [4,5]. Поэтому утверждение теоремы 2 для уравнения (1) с дополнительным условием во внутренней точке не имеет места.
Нелинейное интегро-дифференциальное уравнение Барбашина с дробной частной производной в смысле Капуто
Будем рассматривать нелинейное интегро-дифференциальное уравнение (2) с левосторонней дробной частной производной по t порядка а в смысле Капуто, где 0< а < 1. ИДУБ (2) с дополнительным условием
x(a, s) = ф(э)
(22)
назовем задачей Коши. Под решением задачи (2)/(22) будем понимать функцию X Е AtC(D), удовлетворяющую соотношениям (2)/(22).
Теорема 3. Пусть 0< а< 1, заданные функции c, f, m и ф непрерывны. Тогда в
AC (D)
задача Коши (2)/(22) экивалентна нелинейному интегральному уравнению
x(t, s)
-У fc(r,s,x(*-s))dr +
Г(а) J (t _r)'-
1
Га)
t d
JJ
m(r, s,&, x(r,a))
(t _r)
1_а
a c
dodr +
+
1 f f (r, s) Г(а)J (t _r)l-a
dz + фу^ s).
(23)
Доказательство теоремы аналогично доказательству теоремы 1. К обеим частям уравнения (2) применяем дробный частный интеграл (8). С учетом (15) и (22) получаем интегральное уравнение (23), эквивалентное задаче Коши (2)/(22).
Теорема 4. Пусть 0 < а < 1, заданные функции c, f, m и ф непрерывны и функции С и m удовлетворяют условию Липшица (20). Тогда задача Коши (2)/(22) имеет единственное решение в AC (D).
Доказательство. Непосредственно проверяется, что в условии теоремы каждое слагаемое правой части уравнения (23) принадлежит AtC(D). Поэтому оператор (19) действует из C(D) в
36 НАУЧНЫЕ ВЕДОМОСТИ j^jj Серия Математика. Физика. 2015 № 23 (220). Выпуск 41
AtC(D). Этот же оператор действует в C(D) и, как показано выше, уравнение х = Vx + g имеет единственное решение в C(D). Следовательно, уравнение (23) имеет единственное решение
х е C(D), которое принадлежит AtC(D) в силу того, что каждое слагаемое правой части
уравнения (23) принадлежит AtC(D). Учитывая вложение 4C(D) с C(D), получаем, что X —
единственное решение уравнения (23) в AtC(D). Тогда задача (2)/(22), эквивалентная в AtC(D)
этому уравнению, имеет единственное решение в AtC(D). Теорема доказана.
Благодарности. Работа поддержана Минобрнауки России (задание № 2015/351, НИР № 1815).
Список литературы
1. Appell J.M., Kalitvin A.S., Zabrejko P.P. Partial Integral Operators and Integra-Differential Equations. New York-Basel: Marcel Dekker, 2000. — 560 p.
2. Самко С.Г., Килбас А.А., Маричев О.И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. — 688 с.
3. Kilbas A.A., Srivastava N.M., Trujllo J.J. Theory and Applications of Fractional Differential Equations. Amsterdam-Boston-Heidelberg-London-New York-Oxford-Paris-San Diego-Francisco-Singapur-Sydney-Tokio: Elsevier Inc., 2006. — 541 p.
4. Калитвин А.С. Линейные операторы с частными интегралами. Воронеж: ЦЧКИ, 2000. —
252с.
5. Калитвин А.С., Калитвин В.А. Интегральные уравнения Вольтерра и Вольтерра -Фредгольма с частными интегралами. Липецк: ЛГПУ, 2006. — 177 с.
6. Калитвин А.С., Фролова Е.В. Линейные уравнения с частными интегралами. C-теория. Липецк: ЛГПУ, 2004. — 195 с.
7. Kalitvin A.S. Spectral properties of partial operators of Volterra and Volterra-Fredholm type// ZAA, 1998. V. 17. 2. Pp. 297-309.
8. Красносельский М.А., Вайникко Г.М., Забрейко П.П., Рутицкий Я.Б., Стеценко В.Я. Приближенное решение операторных уравнений. М.: Наука, 1969. — 456 с.
References
1. Appell J.M., Kalitvin A.S., Zabrejko P.P. Partial Integral Operators and Integro-Differential Equations. New York-Basel: Marcel Dekker, 2000. 560 pp.
2. Samko S.G., Kilbas A.A.,Marichev O.I. Untegrals and derivatives of fractional degree and some their applications. Minsk: The Science and thechniques, 1987. 688 pp.
3. Kilbas A.A., Srivastava N.M., Trujllo J.J. Theory and Applications of Fractional Differential Equations. Amsterdam-Boston-Heidelberg-London-New York-Oxford-Paris-San Diego-Francisco-Singapur-Sydney-Tokio: Elsevier Inc., 2006. 541 pp.
4. Kalitvin A.S. Linear operators with partial integrals. Voronezh: CHKI, 2000. 252 pp.
5. Kalitvin A.S., Kalitvin V.A. Integral equations of Volterra and Volterra-Fredholm with partial integrals. Lipetsk: LGPU, 2006. 177 pp.
6. Kalitvin A.S., Frolova E.V. Linear equations with partial integrals. C-theory. Lipetsk: LGPU,
2004. 195 pp.
7. Kalitvin A.S. Spectral properties of partial operators of Volterra and Volterra-Fredholm type// ZAA, 1998. V. 17. 2. Pp. 297-309.
8. Krasnosel’skij M.A., Vajnikko G.M., Zabrejko P.P., Rutitskij Ja.B., Sobolevskij P.E., Stetsenko V.Ja. Approximative solutions of operator equations. M.: The Science, 1969. 456 pp.
