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

УДК 517.984.5

М.В. Кукушкин

О НЕКОТОРЫХ КАЧЕСТВЕННЫХ СВОЙСТВАХ ОПЕРАТОРА ДРОБНОГО ДИФФЕРЕНЦИРОВАНИЯ КИПРИЯНОВА

1

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

Ключевые слова: дробное дифференцирование, оператор Маршо, оператор Римана-Лиувилля, дробная производная по направлению, дробный интеграл, энергетическое пространство, формально сопряженный оператор, аккретивный оператор.

1. Предварительные сведения

Свойство положительности операторов дробного дифференцирования, как отмечено в [1], является весьма важным в теории дифференциальных уравнений дробного порядка. Более сильное свойство полуограниченности оператора снизу (аналог свойства сильной аккретивности [2, с. 352] для действительных гильбертовых пространств), является свойством более слабым, чем свойство положительной определенности оператора. Однако к примеру, для весовых энергетических пространств порожденных оператором дробного дифференцирования Римана-Лиувилля и обладающих специальными структурными свойствами, имеют место аналоги классических теорем теории положительно определенных операторов [3]. В данной работе будет рассмотрен случай когда линейный, плотно определенный, полуограниченный снизу оператор можно симметризовать путем суммирования с формально сопряженным оператором. Полученный таким образом положительно определенный оператор обладает, при некоторых дополнительных условиях, специальными спектральными свойствами, о чем сказано в [4].

Следуя обозначениям [5] будем полагать П — выпуклая область п — мерного евклидова пространства, Р — фиксированная точка границы дП, Q(r,ë) — произвольная точка области П; обозначим через е — единичный вектор имеющий направление от Р к Q, через г — евклидово расстояние между точками Р и Q. Будем рассматривать классы Лебега Ьр(П), 1 ^ р < ж комплекснозначных функций. В полярных координатах суммируемость ] на П в степени р — означает, что

где ¿х — элемент телесного угла поверхности единичной сферы в п-мерном пространстве и ш — поверхность этой сферы, е) == — длина отрезка луча, идущего из точки Р по направлению е в пределах П. В дальнейшем не ограничивая общности будем рассматривать только те направления е для которых внутренний интеграл в правой части равенства (1.1) существует и является конечным, как известно это почти

Кукушкин М.В., 2017

Кукушкин Максим Владимирович (kukushkinmv@rambler.ru), отдел дробного исчисления, Институт прикладной математики и автоматизации, 360000, Российская Федерация, г. Нальчик, ул. Шортанова, 89а.

<г(ё)

(1.1)

все направления. Под классом Lip Л, 0 < Л ^ 1 будем понимать множество функций удовлетворяющих условию Гельдера-Липшица в области Q

Lip Л := {p(Q): \p(Q) - p(P)| < Mr\ P,Q G Q} .

Пусть

f G Wp (Q), lp < - 0 <a<l - - + p p q

p < q<--P-r, (1.2)

n - lp

тогда согласно [6], дробная производная f(а) определенная в [5], существует и принадлежит Lq(Q х Q). В этом случае дробная производная f(а) вычисляется по формуле

r ,

fM(PQ)- а [f (Q) - f (P + et')(dt + (n - 1У- • f (Q) - f (P) (13)

f (P,Q)-r(1 - a) J (r - t)a+i [r) dt + Г(— - a) r« . (1.3)

0

Формула (1.3), остается справедливой при (P,Q) G (Q х Q), при этом для почти всех P принадлежащих границе Г области Q, f(а) существует, и рассматриваемая как функция одной лишь точки Q будет принадлежать Lq(Q). Пусть P фиксированная точка границы дQ. Рассмотрим совокупность всех функций f из Wlp(Q) для которых функция f(a)(P,Q) определенная в (1.3) суммируема как функция точки Q. На введенной совокупности будем рассматривать оператор дробного дифференцирования в смысле Киприя-нова

(Daf )(Q) — f (a)(P,Q).

В случае когда в условии (1.2) имеет место строгое неравенство q > p, оператор дробного дифференцирования в смысле Киприянова согласно теореме 2 [6], имеет следующее действие

0

Da :Wlp (Q) ^ Lq(Q),

причем для достаточно малых S > 0 имеет место неравенство

K

— Ilfllr ,^ + S1-u

S

где

n f 1 1 \ а + в

\\Daf< tV\\f\\ып) + S-\\f(1.4)

У = Т (Р - 1

Постоянная К не зависит от 6, / и точки Р G дП по которой построен оператор в - сколь угодно малое фиксированное положительное число. Следуя терминологии [7] левостороннюю, правостороннюю дробную производную в смысле Римана-Лиувилля на отрезке действительной оси [а,Ь] порядка (0 < а < 1) будем обозначать соответственно как Da+, ; классы функций представимых дробным интегралом на отрезке соответственно обозначим через I(Ьр(а,Ь)), (Ьр(а,Ь)), 1 ^ р ^ то, обозначим ё1ашП = д. Замыкание множества Сд°(П) по норме пространства Ш^П) обозначим через Нд(П). Всюду в дальнейшем, если не оговорено иное, будем использовать обозначения [5-7]. Определим соответственно левосторонний, правосторонний дробный интеграл в направлении е (всюду далее в направлении)

г <1(ё)

«»-=п->!^№-*)я = т0->1

0г

* G Ьр(П), 1 < р < то.

Классы функций представимых левосторонним, правосторонним дробным интегралом в направлении будем обозначать соответственно через За+(Ьр), (Ьр). Определим семейство операторов , е > 0 следующим образом

} 1 Ъ 0 < г < " - ее

'(*-) С Ьр(П), (*-/)(Я) = < г+е (1.5)

^ (1 - (—г) , " - е < г < " Следуя [7, с. 181] определим усеченную дробную производную в смысле Маршо

№-,е/)(Я) = Гт1^-) /(я)(" - г)-а + ^О-Ж/)(Я). (1.6)

1(1 — а) 1(1 — а)

Правостороннюю производную в смысле Маршо будем понимать как предел по норме пространства Lp(Q), 1 ^ p < ж усеченных производных

Dd-f = lim Dd-f.

(Lp)

Аналогично одномерному случаю см. (13.1) [7, c. 181] определяется оператор ф+, левосторонняя дробная производная в смысле Маршо Dg, .

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

Имеет место следующая лемма об ограниченном действии операторов дробного интегрирования в направлении.

Лемма 2.1 Операторы дробного интегрирования в направлении ограниченно действуют в Ьр(П), 1 ^ р < ж.

Доказательство. Докажем, что при предположениях теоремы имеют место оценки

Ра+и\\ьр(я) < С\\п\\Ьр(П), \\ТЛМ\ьЛп) < С|М|МП), С = Ъа/Т(а + 1). (2.1)

Докажем первую оценку (2.1), доказательство второй оценки (2.1) полностью аналогично. Используя обобщенное неравенство Минковского, имеем

||10+«|1ып)Г(а) = (Q |

g(P + (r - т)e)

p

g(P + te)

r — t |1 —а

-dT

(r - t)

Q 0

P \ P / / d

dt

dQ I =

dQ I < I I I I ¡g(P + (Г-T)ёЬт | dQ I <

Q \0

Ta-ldT ÍJ | g(P + (r - т)ё)| ^dgj < ^ "^М") • 0 \n /

Лемма доказана.

Имеет место следующая теорема об ограниченности оператора дробного интегрирования в направлении.

fa

'd-Vi V ^ ^Р

достаточно, чтобы f £ Lp(Q) и чтобы существовал предел lino ф-и в смысле нормы Lp(Q)^

Теорема 2.1. Для того чтобы функция f (Q) была представима в виде ?а-Ф, Ф £ Lp(íX), 1 ^ p < ж таточно, чтобы f £ Lp(Q) и чтобы существовал предел lino ф—и в смысле

Доказательство. Пусть f £ Lp(íl) и lim ф—f = ф. Рассмотрим функцию

s —0

Учитывая (1.5) подстановкой убеждаемся в том, что ф- f € Lp(Q). Из фундаментальности последовательности {ф- f} следует, что существует предел ф- f ^ ф € Lp(Q,). В силу доказанного в лемме 1 свойства непрерывности оператора в Lp(Q), достаточно показать, что lim ф-f = f. Имеем для 0 ^ r ^ d — £

s —0

п

(зд-ф-f )(Q)-.— =

sin ап

d - s d-s d

Г f(P + ye) г. f f(P + уё) — f(P + te)

dy + af (y - r)'—idyj f (P +(f- f + ">d+

(y - r)1—a(d - y)a J J (t - y)a+1

r y + E

d

1

+ ¿У f (P + ye)(y - r)a—1dy.

d—

Осуществив преобразования во втором слагаемом, имеем

d

(Ia—Ф— f)(Q)~n~ = 4 í f(P + у e)(y - r)a—1dy-sin an £а J

r

p

p

p

т1—

d—£ d

Г f(P + te)

J (y - r)a—1dy J

(t - y)a+1

У+£

dt.

Сделаем замену переменной, изменим порядок интегрирования, затем сделаем обратную замену переменной вернувшись к прежним обозначениям

п

)(я)Ип-Л = d d d

= еа! /(Р + уё)(у - г)а-1"У - а ! (У - е - г)а-1 "У / /Р=

г г+е у

а а г

1 1j„ „ [fro , ^^ i (У - £ - r)a

1

— £aj f (P + ye)(y - r)a—1dy - a J f (P + te)dtj ^ _ y + ^ dy — 1

a

r r + £ r + £

d d t—£

= еа/ /(Р + уе)(у - г)а-1"У - а / /(Р + / (У - г)а-1(* - у)-а-1"у. (2.2)

г г+е г

Осуществим следующие замены во внутреннем интеграле второго слагаемого правой части последнего равенства: у1 = -у, г1 = -г, Ь1 = -Ь, воспользуемся формулой (13.18) [7, с. 184] затем сделав обратную замену получим

г—е г\

У (у - г)а—1(1 - у)—а—1"у = I (Г1 - у1)а—1(у1 - Ь1)—а—1"у1 =

tl+£

1 (r1 - £ - t1)a 1 (t - £ - r)a

аеа г1 - Ь1 аеа Ь - г

Перепишем (2.2) с учетом полученного равенства, затем преобразуем и сделаем замену Ь — ет + г

( а а

Ю-ф—/)(Я)=8-П-П \ /(Р + уе)(у - г)а—1"у - ! /(Р + ^ е - г)а "Ь=

d [ ] sin an Г f (P + te) [(t - r) + - (t - £ - r)+]

П£а t-r

dt —

sin an f t+ - (t - 1)+ r , f t,t > 0 , ,

' + V f (P +[£t + r]e)dt,t+ — ^ (2.3)

i:

n£a J t I 0, t< 0.

0

Рассмотрим вспомогательную функцию K определенную в [7, с. 105] и имеющую следующие свойства

сю

K(t) — япоп ^ t+ - (t - Щ g Lp^R1), f K(t)dt — 1, K(t) > 0. (2.4)

n t J

0

С учетом (2.3), (2.4), считая функцию f продолженной нулем за пределы области Q, имеем

сю

(Td—V—f )(Q) - f (Q) — J K(t) {f (P + [£t + r]e) - f (P + re)} dt. (2.5)

0

Если же d - £ < r ^ d, то согласно (1.5) после замены переменной

(Td—^—f )(Q) - f (Q) — d d — ¿nan fP + tel dt - f q — ^ f [P + (d + r^ dt - f (Q). (2.6)

П£а J (t - r)1 — aJK^> П£а J (d - t)1—a У '

rr

Разобьем поверхность ш — ш1 Uгде ш1 — множество всех точек ш для которых d> £, — множество всех точек ш для которых d ^ £. С учетом (2.5), (2.6)

d— £

Wdt—V—f) - f \Црм — dx

Ш! 0

J K(t)[f (Q + £te) - f (Q)]dt

0

p

n—1

rn—1dr+

r + £

с d

+! ¿X /

Ш1 d—£

d

Ч ¿4 йт ап

пеа

Ш2 0

эт ап Г / (Р + [т — г + ¿]е)

(а — г)

1- а

¿г — / (Я)

тп-1 аг+

эт ап Г / (Р + [т — г + ¿]е)

^ — г)

1-с

¿г — / (Я)

тп-1ат = 11 +12 + т3.

(2.7)

Оценим II используя обобщенное неравенство Минковского

1 — £

II < у к(г) и ¿^ \/(Я + еге) — /(Я)\ртп-Чт | ¿г,

0 VI 0

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

с1— £

к(г) П ¿х I \/(Я + еге) — /(Я)\ртп-1ат I ¿г = н(е,г),

имеем следующую оценку

\Н(е,г)\ < 2К(г)\\/ир(п), Уе > 0.

(2.8)

В силу свойства непрерывности в среднем в пространстве Ьр(О,), для любого фиксированного 0 <г < ж

Иш Н(е,г) = 0.

С учетом (2.8), (2.9), в силу мажорантной теоремы Лебега, имеем

11 ^ 0, е ^ 0. Используя неравенство Минковского оценим 12

(2.9)

12 < [] ¿х)

d—£

эт ап Г / (Р + [т — г + ¿]е)

¿г

пеа

тп-1ат I +

(а — г)1—а

+ П ¿X I \/(Р + те)\р тп-чЛ = 121 + 122.

d—£

С помощью обобщенного неравенства Минковского оценим 121

121 —

эш ап еа

4 П ¿х

d

<->1 d—£

d

/ (Р + [т — г + ¿] е)

^ — г)

1-с

¿г

тп-1ат I <

< ¿1/ / ^ — г)а-1 И \/(Я + (л — г)

р

¿х

— г)ё)\ртп-1йт I ¿г

1Ш1 d—E

Сделав замену переменной в интеграле, повторно применим обобщенное неравенство Минковского

1

(У 1 1 Р

I £ / 1—Ь \ Р

п 1 I I' I' ,а-1

I

21

йш ап е

< еау /га-1 П \/(Я + гё^т^чЛ ¿г

I ш1 0

¿х> <

£ / 1-г \ р

< га-1 У ¿\! \/(Я + ге^т^^Л ¿г.

0 d-£ Оценим последнее выражение, представив в следующем виде

< 1

йш ап еа

£ ( d—t п_1 \ р 1'г°-1 П ¿X У \/(Р + [т + г]е)\р(т + г)п-1(¿т¿г <

\.Ш1 d—£

р

р

d

р

р

р

d

р

р

р

п

р

р

п

e / a \ p / a \

< -ajta-í (/ dx j If mprn-1dr\ dt < a (/ ¿Х J \f (Q)\prn—1dr

a+t—e ) Vi а-е

Мы показали, что

/21 « (/ * ¡If (Q>\pr-—1d.) ' = ^ f и,*.)-

V>i a—e /

Поскольку из предположений относительно области Q сделанных в водной части следует mess Qe ^ 0, £ ^ 0, то 121,122 ^ 0. Следовательно I2 ^ 0. Применяя полностью аналогичные рассуждения убеждаемся в том, что I3 ^ 0, £ ^ 0. Теорема доказана.

Теорема 2.2. Пусть f = 12—ф, ф G Lp(ü), 1 < p < ж. Тогда

Da— f = lim Da—ее f = Ф-

(Lp)

Доказательство. Рассмотрим разность

о

a—r

d—r d—r

fín\ ffna. -л 1 Í Ф(Q + te) ^ 1 í ф(Q + te) j. f(Q) — f(Q + Te) = rä)J — Га) J =

о

Следовательно при 0 ^ r ^ d — £

/А 1 í ta—1, 0 <t< 1;

a—1 I ф(Q + te)k(-)dt, k(t) = — \

\TJ г(аЦ ta—1 — (t — i)a—1,t> 1.

a—r a—r d—r

(Ф—f)(Q)= ¡ f (Q f + Тё)¿т = ¡ T—2drj ф(q + te))kfydt-.

e e 0

d—r d—r d—r t / e

= J Ф(Q + te)dt J k(^Jr—2dr = j ф^ + te)t—1dt J k(s)ds.

Используя формулу (6.12) [7, c.106], получим

(ф—f )(Q)

Г(1 — а)

поскольку в соответствии с (2.4)

d —r

= ¡ ф« + íe> t1 K(0— ér-K (s—r)

dt,

то

(a—r)/e

а f .........f (Q)

(ф— f)(Q) -T = K(t№(Q + £te)dt —

Г(1 - а) ] ' Г(1 - а)(" - т)а'

о

Без ограничения общности считаем функцию ф(Я) продолженной нулем за границу области П. Тогда с учетом (1.6), (2.4)

сю

(Б—/)(Я) - *(Я) = I К(ь) [ф(Я + еЬе) - ф(Я)] "Ь, 0 < г < " - е.

о

Для значений " - е <г < " согласно (1.5), имеем

(Б—е/)(Я) - *(Я) = /Я- а) - *(Я).

Используя обобщенное неравенство Минковского, получим оценку

сю

\\(П<а—/)(Я) - Ф(Я)\\ьЛя) К(Ь) \\ф(Я + еЬе) - ф(Я)\\ьЛя)"Ь+

о

p

а

+ -

аГ(1 — а)

1ьр(пе) + \Шьр(пе)-

Все три слагаемых правой части последнего неравенства стремятся к нулю при е ^ 0, как это было показано для правой части (2.7). Теорема доказана.

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

Следующая лемма может представлять интерес как самостоятельное утверждение. Лемма 3.1. Имеет место вложение Нд(О) С (Ь2). Доказательство. Вначале допустим, что / £ С§°(0). Рассмотрим

/

— f — Фе2 f \\Ь2(0)

d—e ]

Jdx J

\ш 0

(

+

d — 2

dX J

\ш d—El /

r + £2

i

r+E 1

d

f (Q) — f (p + et)

(t — r)

a+1

dt

rn—1dr I +

f(Q) dt- r f(Q) — f(P++et)dt

I (t — r)a+1 J (t — r)a+1

r+ 1 r+ 2

2 \2

rn—1dr I +

+

I dx J

d—£2

f(Q)

dt

f(Q)

' (t — r)a+1 J (t — r)a+1

r+ 1 r+ 2

= I1 + I2 + I3 .

dt

2 \ 2

rn—1dr

Заметим, что поскольку / £ С§°(0) то для достаточно малого е1, /(Я) = 0, т > ¿, — е1. Из чего следует 12 + 1з = 0. Осуществим замену переменной в 11

'1 =

/

dx

\ш 0

f (Q) — f (P + ë[t + r])

ta+1

dt

rn—1dr

Используем обобщенное неравенство Минковского

I1 < J t—a—1 П dx J \f (Q) — f (Q + ët)f rn—1dr I dt <

w 0

C

< С I г-ааь < 1—а (е1-а — е!-а) ,С> 0. 2

Следовательно в силу теоремы 2.1 имеем С§°(0) С (Ь2). Пусть теперь / £ Нд(О), тогда существует

н 1

последовательность {/п} С С^(О), /п —^ /. В силу доказанного /п = фп, {фп} £ Ь2(0), таким образом

'"ïa L2 г

1d-Фп -> J-

(3.1)

Покажем, что существует ф £ Ь2(О), фп —^ ф. Из теоремы 2.2 следует ип = фп, введем обозначение /п+т — /п = Сп,т, будем иметь

( d d \\<fn+m — Фп\\ь2(п) < ^^ а) / dx f J

\ш 0

cn,m(Q) cn,m(P + et)

_ r)a+1

(t - r)

dt

rn—1dr I +

+

1

Г(1 — а)

dx

\ш 0

(Q)

(d — r)a

rn—1 drI = I1 + I2.

2

2

d

d

d

d

2

2

d

d

2

£1

2

2

d

2

2

c

Оценим 11 используя обобщенное неравенство Минковского, затем выразим подынтегральную функцию через производную по направлению е

Г(1 — а)

1=

( л

ЧУ

\ш 0

1—г

сп, т(Я') сп, т(Я + ег')

¿г

1

¿т I <

<1 г-а-1 (I¿4 \спт(Я) — пт(Я + ег)\2 тп-1 ¿т I ¿г =

0 \ш 0 )

а

= / ^

0

I d t /¿х/ / С'п,т(Я + ет)¿т

ш 0 0

тп-1 ¿т I ¿г.

Воспользуемся неравенством Коши-Буняковского, теоремой Фубини

Г(1 — а)

d t п1

t \ 2

11 <У г-а-1 (I¿XIтп-1с!тI\с'пт(Я + ет)|2 ¿тI¿т I ¿г =

ш0

!г-а-1/2 У ¿т/\Сп,т(Я + ет)\2 ¿Я I ¿г < \\с'п,т\\ь2(п). 0 \0 п /

Рассмотрим 12, выразим подынтегральную функцию через производную по направлению е

d

Г(1 — а)12 = П ¿х] \Сп, т(Я)\2 ^ — т)

-т)-2атп-Чт

ш0

У ¿у (с! — т)-2а I с'п, т(Р + ег)аь

ш0

Используем обобщенное неравенство Минковского, затем оценим

^¿т

Г(1 — а)12 <|У У с'пт(Р + ег) П ^ — т)

t \ 2 - тУ^т^ит I ¿г

ш0

2 \ 2

¿х> <

У сп ,т(Р + ег)г(п-1)/2 (I^ — т)-2^т I ¿г

00 Применив неравенство Коши-Буняковского получим

d

сп

2 \ 2

¿X

ш0

d т

Г(1 — а)12 < <у у \с'п,т(Р + ёг)\2гn-1¿,гJ¿^^ — ^"¿т

00

¿х

d d

„' /о I лм2+п-//л „и-2а.

^2(1-а)

¿х} < Т \\с'п,т\\^2(П).

у/2(1 — а)

+ е)\'0 — '¿г

.0 о

Из очевидного факта фундаментальности последовательности {с'п т} в смысле нормы Ь2(0) следует 11,12 ^ 0. Следовательно последовательность {фп} фундаментальна и в силу полноты пространства Ь2 (О) существует ее предел некоторая функция ф £ Ь2(0). Поскольку в силу леммы 2.1 оператор дробного интегрирования ограниченно действует в пространстве Ь2(0), то

^2 гча ^ фп -» ф.

2

2

т

2

0

2

2

0

2

2

2

2

d

<1

й

t

2

2

Из чего следует с учетом (3.1) / = ф. Лемма доказана. Лемма 3.2. Справедливо интегральное тождество

и(Я) ('V) (Я)"Я = I ь(Я)(Б°1—п)(Я)"Я, п,у G Н1(П). (3.2)

п п

Доказательство. Полагая u,v G С0С(П), осуществим следующие преобразования

а а г

¡«Я 'V) яу—Ыг == т-*/™Я\- у + е" г— "ь+

О 0 0

а

(П - 1)! /„.^^^и-1-а.

+ I и(ЯНЯ)ги—1—а"х = 11 + 12 = I,

Г(п - а) У

Г(п - а)

о

законность осуществленных преобразований вытекает из принадлежности и^ классу СС(П). Применяя теорему Фубини, затем осуществив несложные преобразования, имеем

а г

I г г («.)(Я)-- ^Р + еЬ) =

1 Г(1 - а)У У (г - Ь)а+1 ги— 1

оо

а а

= <> Г Г (^)(Я)-- «(Я):(Р + еЬ) "у =

Г(1 - а) у У (г - Ь)а+1

ог

а а

а Г 1; Г и(Р + еЬ) - и(Р + ег) ,

= —-- v(P + ёЬ)Ьг "Ь \ —-' 7 , , '--"г+

Г(1 - а-) ,] У (г - Ь)а+1 ^ ог

а а

Гьи—1^Г и)(Я)) - «кР + еЬ)"г.

Г(1 - -и У (г - Ь)а+1

ог

Рассмотрим теперь 12. Заметим, что в силу леммы 3.1 иV = ?а_Ф, Ф G Ь2(П). Используя теорему Фубини, имеем

а а г

Гп^}^*™^-'"'—т-г—1— а)/ *(Р+»>*/ (-У)— <у

о о о

Используем формулу дробного интегрирования степенной функции (2.44) [7, с.47]

(п - 1)! I I г"

а г а

„и—1—а

и1

Г уи—1 — а !■

ф(Р + ёг)"^ --"г = ! ф(Р + еЬ)Ьи—1"Ь.

Г(-)Г(п - а) У 7 У (Ь - г)1—а

о о о

С учетом теоремы 2.2 имеем формулу

а

о

Из последнего равенства следует

(П ^ [(«V)(Я)ги—1—а"г = ¡(Ба_ «V)(Р + ёЬ)Ьи—1 "Ь. (3.3)

Г(п - а) У У

<1 <1 <1

ь = / т—«.,){Р+шг-'"* = гс-ц / г-1* /1,")1Р+*1-Гт "у+

1

+

о

а

и- 1

У и(ЯМЯ)ги—1(" - г)—а"г.

Г(1 - а)

о

Сходимость интеграла во втором слагаемом последнего равенства имеет место поскольку и^ G С§°(П). Принимая во внимание вышесказанное

а а

а [ - , и 1, [ и(Р + ег) - и(Р + ёЬ)

11 + = щ--)1 ^и(Р+ег)г "г] (г - Ь)а+1—1 "Ь+

0г

а

d d

1

+Г(—а)1 и(Я)^(Я)тп-1а — тГ^т = | v(Q)(D0d-u)(Q)тn-1¿т.

Г(1 — а)

о о

Интегрируя по мере телесного угла имеем

I и(Я) (Я^) (Я^Я = I v(Q)(~D°í-u)(Q)¿Q, £ С^(О). (3.4)

п п

Распространим последнее равенство. Положим и^ £ Н(О), тогда существуют последовательности {ик}, ^к} С С^(О) сходящиеся в смысле нормы пространства Нд(О) соответственно к и и V. Используя неравенство Коши-Буняковского, неравенство (1.4) несложно показать

У ик(Я) ) (Я)¿Я ^ У и(Я) (Я)¿Я, к ^ж. (3.5) пп

В ходе доказательства леммы 3.1 было показано, что DЛ_ик DЛ_и £ Ь2(0). Полностью аналогично (3.5) убеждаемся в том, что

У Vk(Q)(Da-Uk)ШЯ ^ ! v(Q)(D°l-u)(Q)¿Q, к ^ ж. (3.6)

пп

Осуществляя предельный переход в левой и правой части равенства (3.4) с учетом (3.5),(3.6), получим интегральное тождество (3.2). Лемма доказана.

Симметризуем стандартным способом оператор дробного дифференцирования в смысле Киприянова. Рассмотрим оператор

1 2

имеет место следующая теорема.

Теорема 3.1. Оператор Ба положительно определенный.

Доказательство. Положим / вещественнозначной. Для / £ С^(О), оценим следующую разность

Ба : Н1(0) ^ 12(0), Ба = - (Я + DSf_)

/«зх®/ш — 1 2) (Я)==п—а]1——Я/Р+е" (г) ">+

о

—щ—,1 (ту ¿—

^-щ—эI" / ач г-

+2Г—а) \ / (Я) \ "-¿т > 0.

2Г(п — а)

Следовательно

/(Я)(яа/)(Я) > 2 (Яа/2) (Я).

Далее используя теорему Фубини, имеем

d d

^а г\(гл\„п-1 7 1 А /гт\аг2\(„п-1.

У /(Я)(Яа/)(Я)тп-1 ¿т > Ц(Яа/2)(Я)тп-1 ¿т = о о

d г d

а ¡¿т[/2(Я) — /2(Р + ег) гп-1 ¿г + (п — 1)! Г Ш)\2^-1-^ = 2Г(1 — а)] } (т — г)а+1 +Г(п — а)] \1 (Я)\ ^ =

0 0 о

d d d а ¡гп-1Л1!/2(Я) — /2(Р + ег) ¿т + (п — 1)! Г 1гт2^-1-^. = 2Г(1 — а)1 г ] (т — г)а+1 +Г(п — а)1 \1 (Я) \ ^ =

0 t 0

d d =— у №-/2)(Я)тп-чт+Г^—О)! \ / (Я) \2 тn-l-a¿т+

г

+ 2Г(11_ a)j\f m2rn-\d - r)—adr = I-1,

0

(2

В силу леммы 3.1 имеет место / € (¿2). Преобразуем первое слагаемое выражения по формуле (3.3). Суммируя после преобразования слагаемые в Д, имеем

'1 =

1 Г d—a С

1 \f (Q)\2rn—1(d _ r)—adr d-- \f (Q)\2rn—1dr.

2Г(1 _ a) J v 7 2Г(1 _ a)

00

Интегрируя левую и правую части последнего неравенства по мере телесного конуса ш имеем

/ ®а/)ып) > ± / 1И2(П), / € Со°°(0), Л2 = 2Г(1 - а)Ьа.

Предположим теперь, что / € Нд(П), существует последовательность {/к} € С§°(0) такая, что

/к -— /.

Из леммы 3.2, существования пределов (3.5), (3.6), следует

1

if, Daf)L2{q) > ^ f WUn), f e Щ(П).

Таким образом нами доказана полуограниченность снизу оператора Ба. Поскольку справедливо интегральное тождество (3.2), то оператор Ба симметричен. В силу того, что Э(Ба) С О^(О), оператор Ба плотно определен. Следовательно положительно определен. Теорема доказана.

d

d

Выводы

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

Литература

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

[2] Като Т. Теория возмущений линейных операторов. Москва. Мир, 1972. 740 с.

[3] Кукушкин М.В. О весовых пространствах дробно-дифференцируемых функций // Научные ведомости БелГУ, Математика. Физика. 2016. T. 227. Вып. 42. № 6. С. 60-69.

[4] Кукушкин М.В. Оценка собственных значений задачи Штурма-Лиувилля для дифференциального оператора второго порядка с дробными производными в младших членах // Научные ведомости БелГУ, Математика. Физика. 2017. T. 255. Вып. 46. № 6. С. 29-35.

[5] Киприянов И.А. О пространствах дробно-дифференцируемых функций // Изв. АН. СССР. Сер. матем. 1960. Т. 24. Вып. 6. С. 865-882.

[6] Киприянов И.А. Оператор дробного дифференцирования и степени эллиптических операторов // Доклады Академии наук СССР. 1960. Т. 131. № 2. С. 238-241.

[7] Самко С.Г., Килбас А.А., Маричев О.И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с.

References

[1] Nakhushev A.M. O polozhitel'nosti operatorov nepreryvnogo i diskretnogo differentsirovaniia i integrirovaniia, ves'ma vazhnykh v drobnom ischislenii i v teorii uravnenii smeshannogo tipa [On the positiveness of operators of continuous and discrete differentiation and integration that are very important in fractional calculus and in the theory of equations of a mixed type]. Differentsial'nye uravneniia [Differential equations], 1998, Vol. 34, no. 1, pp. 101-109 [in Russian].

[2] Kato T. Teoriia vozmushchenii lineinykh operatorov [Perturbation theory for linear operators]. M.: Mir, 1972, 740 p. [in Russian].

[3] Kukushkin M.V. O vesovykh prostranstvakh drobno-differentsiruemykh funktsii [On the weighted spaces of fractionally differentiable functions]. Nauchnye vedomosti BelGU, Matematika. Fizika [Belgorod State University Scientific Bulletin. Mathematics and Physics], 2016, Vol. 227, Issue 42, no. 6, pp. 60-69 [in Russian].

[4] Kukushkin M.V. Otsenka sobstvennykh znachenii zadachi Shturma-Liuvillia dlia differentsial'nogo operatora vtorogo poriadka s drobnymi proizvodnymi v mladshikh chlenakh [Evaluation of the eigenvalues of Sturm-Liouville problem for a differential operator of the second order with fractional derivative in lower terms].Nauchnye vedomosti BelGU, Matematika. Fizika [Belgorod State University Scientific Bulletin. Mathematics and Physics], 2017, Vol. 255, Issue 46, no. 6, pp. 29-35 [in Russian].

[5] Kipriyanov I.A. O prostranstvakh drobno-differentsiruemykh funktsii [On the spaces of fractionally differentiable functions]. Izv. An. SSSR. Ser. Matem. [Proceedings of the Academy of Sciences: Mathematics], 1960, Vol. 24, Issue 6, pp. 865-882 [in Russian].

[6] Kipriyanov I.A. Operator drobnogo differentsirovaniia i stepeni ellipticheskikh operatorov [Operator of fractional differentiation and degrees of elliptic operators]. Doklady Akademii nauk SSSR [Proceedings of the USSR Academy of Sciences], 1960, Vol. 131, no. 2, pp. 238-241 [in Russian].

[7] Samko S.G., Kilbas A.A., Marichev O.I. Integraly i proizvodnye drobnogo poriadka i nekotorye ikh prilozheniia [Integrals and derivatives of fractional order and some applications]. Minsk: Nauka i tekhnika, 1987, 688 p. [in Russian].

M.V. Kukushkin2

ON SOME QUALITATIVE PROPERTIES OF THE OPERATOR OF FRACTIONAL DIFFERENTIATION IN KIPRIYANOV SENSE

In this paper we investigated the qualitative properties of the operator of fractional differentiation in Kipriyanov sense. Based on the concept of multidimensional generalization of operator of fractional differentiation in Marchaud sense we have adapted earlier known techniques of proof theorems of one-dimensional theory of fractional calculus for the operator of fractional differentiation in Kipriyanov sense. Along with the previously known definition of the fractional derivative in the direction we used a new definition of multidimensional fractional integral in the direction of allowing you to expand the domain of definition of formally adjoint operator. A number of theorems that have analogs in one-dimensional theory of fractional calculus is proved. In particular the sufficient conditions of representability of a fractional integral in the direction are received. Integral equality the result of which is the construction of the formal adjoint operator defined on the set of functions representable by the fractional integral in direction is proved.

Key words: fractional differentiation, operator of Marchaud, operator of Riemann-Liouville, fractional derivative in the direction, fractional integral, energetic space, formally conjugated operator, accretive operator.

Статья поступила в редакцию 30/ VT/2017. The article received 30/VT/2017.

2Kukushkin Maksim Vladimirovich (kukushkinmv@rambler.ru), Department of Fractional Calculus, Institute of Applied Mathematics and Automatization, 89a, Shortanova street, Nalchik, 360000, Russian Federation.