Некоторые операторные соотношения для Н-преобразований и их приложения тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Лучко, Юрий Федорович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Минск МЕСТО ЗАЩИТЫ
1993 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Автореферат по математике на тему «Некоторые операторные соотношения для Н-преобразований и их приложения»
 
Автореферат диссертации на тему "Некоторые операторные соотношения для Н-преобразований и их приложения"

~4руесКйИ 5дш ТРУДОВОГО КРАСНОГО ЗНАМЕНИ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

На правах рукописи . УДК 517.444

ЛУЧКО ЮРИИ ФЕДОРОВИЧ

НЕКОТОРЫЕ ОПЕРАТОРНЫЕ СООТНОШЕНИЯ ДЛЯ Н-ПРЕОБРАЗОВАНШ И ИХ ПРИЛОЖЕНИЯ

01.01.01 - математический анализ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Минск - 1993

Работа выполнена на кафедре теории функций механико-математического факультета Белорусского ордена Трудового Красного Знамени государственного университета, г. Минск.

Научный руководитель : кандидат физико-математических наук,

ведущий научный сотрудник С.Б.Якубович

Официальные оппоненты: доктор физико-математических наук.

профессор Я.В.Радыно

доктор Физико-математических наук, старший научный сотрудник В.А.Добрушкин

Ведущая организация: Киевский политехнический институт, г. Киев

Защита состоится " ^ 1993 г. в 10 часов на заседании специализированного Совета К 056.03.05 по присуждению ученой степени кандидата физико-математических наук в Белгосуниверси-тете по адресу: 220080, г. Минск, проспект Ф.Скорины, 4, Белгос-университет, главный корпус, ауд. 206.

С диссертацией можно ознакомиться в библиотеке Белгосуниверситета

Автореферат разослан " " 1992 г.

Учёный секретарь специализированного Совсзта, кандидат физико-математических наук, доцент . П.Н.Князев

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. Теория интегральных преобразований берет свое начало в работах Фурье, посвященных распространению тепла, где он ввел преобразование, названное впоследствии его именем. Другие выдающиеся математики - Лаплас. Стилтьес, Риман. Лиувилль, Меллин, Эйлер, Гильберт - также изучали интегральные преобразования в связи с решением различных задач анализа. Благодаря работам этих математиков и их последователей, интегральные преобразования становятся одним из наиболее мошных инструментов при решении задач математической физики и других разделов математики. Теории интегральных преобразований и ее приложениям посвящена огромная литература, ориентирование в которой весьма затруднительно в силу существования большого количества интегральных преобразований. В этой связи плодотворной оказалась идея рассматривать интегральные преобразования, в качестве ядер которых берутся специальные функции, зависящие от некоторых параметров и сводящиеся в частных случаях к ядрам известных преобразований. Как известно, в классе функций гипергеометрического типа наибольшей общностью обладает Н-Функция Фокса. В силу этого обстоятельства исследование интегральных преобразований с Н-Функцией в ядре, которое предпринято в диссертации, представляет собой весьма актуальную задачу, имеющую приложения в математической физике, интегральных и дифференциальных уравнениях.

ГЬль работы. Исследовать интегральное преобразование типа свертки Меллина с Н-функцией Фокса в ядре (Н-преобразование) и связанные с ним объекты: порождавшие операторы и свертки. Используя свертки для Н-преобразований. построить операционное исчисление типа Микусинского для кратной производной Эрдейи-Кобера и получить правила Лейбница и их интегральные аналоги для некоторых частных случаев Н-преобразований.

Методы исследования. При исследовании указанных вопросов широко применяются методы теории интегральных преобразований, специальных Функций, комплексного и функционального анализа. В параграфах 8- 10 используются результаты обшей теории операционного исчисления.

Научная новизна. Работа дает систематический подход к изучению теории Н-преобразования и его приложениям к различным задачам

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

В диссертации решены следующие задачи:

1. Доказана теорема обращения Н-преобразования в некотором функциональном пространстве.

2. Построен порождающий оператор обобщенного Н-преобразования и изучены его свойства.

3. Построены свертки в смысле Димовского для порождающих операторов обобщенного Н-преобразования.

4. Построены правила Лейбница, их модификации и интегральные аналоги для некоторых частных случаев Н-преобразований.

5. Построено операционное исчисление для кратной производной Эрдейи-Кобера и дано его применение к решению задачи Коши для уравнения с кратной производной Эрдейи-Кобера.

Все перечисленные результаты являются новыми.

Практическая и теоретическая значимость. Ценность полученных в работе результатов определяется теоретическим значением проведенных исследований, являющихся определенным вкладом в разработку теории интегральных преобразований и операционного исчисления. Результаты диссертации могут быть использованы при решении дифференциальных, интегро-дифференшальных, интегральных уравнений и уравнений в частных производных гипербесселевого типа.

Апробации. Основные результаты диссертации докладывались на международном совещании по аналитическим вычислениям на ЭВМ в физических исследованиях (Дубна, май 1990г.), на международном симпозиуме по символьным и алгебраическим вычислениям (Токио, август 1990г.), на международном симпозиуме по символьным и алгебраическим вычислениям (Бонн, июль 1991г.), на международной конференции по комплексному анализу и его приложениям (Варна, сентябрь 1991г.), на международной научной конференции "Дифференциальные и интегральные уравнения. Математическая физика и специальные функции" (Самара, май 1992г.), на конференции математиков Беларуси (Гродно, сентябрь 1992г.), на семинаре. "Функциональный анализ и дифференциальные уравнения" в Белгооуниверсите те (Минск, ноябрь 1992г.) (руководители - профессорн.А.Б.Антоне

вич. П.П.Забрейко, Н.А.Лукашевич. Я.В.Радыно. Н.И.Юэчук) и. неоднократно, на Минском городском семинаре по краевым задачам им. академика АН БССР Ф.Д.Гахова в Белгосуниверситете (руководитель - профессор Э.И.Зверович).

Публикации. По теме диссертации опубликовано 10 научных работ. которые перечислены в конце автореферата. В них отражено основное содержание диссертации.

Структура и объем работы. Диссертационная работа состоит из введения, трех глав, списка литературы и включает 122 страницы машинописного текста. Список литературы содержит 142 наименования

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ Во введении обосновывается актуальность выбранной темы, обозначается главные направления исследований, дается краткая аннотация всех разделов диссертационной работы.

В первой главе исследуется Н-преобразоваше. порождающие операторы и свертки для него и некоторые их свойства. В § 1 Н-преобразование 00

[Hf](х) = BU) = ÎC"fxu|(ap'ap) ]f(uMu.: (l)

J Р'<Н hРч.ъч) J

о

[|<в ,а ) 1

г р р - Н-функция Фокса, рассматривается в бана-

'('VV j

ховом пространстве функций, введенном в работах By Ким Туана, О.И.Маричева, С.Б.Якубовича.

Определение 1. Пусть о, г - действительные числа, такие что

2sgn(c) + sgn(r) 2 0. (2)

Обозначим через'nf1 <ю пространство функций.f(x>. *>о. предста-

»

вимых в виде обратного преобразования Меллина от функции t (s)

f(x) - ^^"(sjx'^ds, (3)

a

где f*<s)|s|?Vc,Ins,e L(O-), or = {я :e C: Re(s) = l/2}.

Ямоет место • '

Теорема 1. Пусть f(x) е w CÍ,(L) и

ь. а.

Re(íV + > О, l<j£m; 1 - ReC«.)--^ > О, láj<n. (4)

Тогда Н-преобразоваше (1) существует при условиях

2sgn(*) + sgn(íJ-l) >0; (Б)

2sgn(c + *) + sgn(r + fj) > 0, (6)

где

.fon р q

• " = Ebi + Е ai " Е ai " Е b¡ ' (7) I J«1 j = » j«n+t J«B+»

M = Reí E - Е/5,1 + 1 Ea.-E b¡ - -Eía-. (8)

» ' j = i JJ 4i = » J 1=« ') .

и, более того, при этих условиях

g(x) = [Hf](x)> (9)

Если выполнены еще условия

а, Ь.

Re(a.)+-j!- > о, n+lSj<p; 1-Re(^.)- > 0, m+lSj<q, (Ю)

то Н-преобразование (1) изоморфно отображает пространство

на пространство и допускает следующие

Формы обращения:.

а) В случае *=о, *j>1:

00 Л

f(x) = [Hg](x)=-4(11) dxb J p+1,q+1 L ><'v.-lv.) У

Где k e IN, k > м + 1, (%+t,ap+i) = {(O.D.U-cet-ai.ai)^, (l-eH-aLaj"}, {p^.b^^ui-fli-bi.bol^ai-pi-bi.bi^.i-k, 1)}.

б) В случае * > о-.

— „

f(

х> = [fig](x> -- Ii» (¿зт хкл(гх ' -у

00 АЛ

V Q +1' q»l J

q»l

P"

где r e IN, г > 2«, (ар.ар) = а-оч-а^а^),

(3q+t,bqtJ) = {(0,r), (1-^-bubJ^. (1-^-bubi)™}. . ИЗ)

Далее в § 1 с использованием теоремы 1 изучается дробные интегралы Эрдейи-Кобера

х

= rf§j х^^/сх"- uVy(,-tl>-lf<u)da. (14)

о

• 00 <Кр,аП(х) ГГ& *ßT x'?)a-1u-WT+a-1')-1f(u)du. (15)

где ft>o. Re<<s)>0, йб<а)>о. Для <s=o. соответственно, «=о зш операторы считаются тождественными: i^'0 = Е, . s е. Формулы обращения операторов (14), (15) имеют вид

CD^gXx) S (I^'^eKx),

где n = (tRe<5]+1' если <5«z, I <5, если <s«2.'

(Р^вХх) * flVj-icgjL) (K^'^CX), (17)

j=o

где n . itRea] + 1, если a e Z,

I a, если a e 2. '

В § 2 вводится в рассмотрение обобщенное Н-лреобразование, которое сводится при некоторых условиях к Н-лреобразованию (1). Определение 2. Обобщенным Н-преобразованием функции f(u),.

(16)

u>o, в точке х называется значение следующего интеграла

i(s)f*(s)x~°ds. (18) где о - (s е С, Re(s) "= 1/2} , 0 í t < q, 0 < n < р,

п r<í?.+ b.s) П rd-c.-a.s)

«(в) = -4ii-iii---(19)

П Г(а цз) П r(i-p-b s)

j=n+l j=m+l

и функция f"(s) такова, что f(u) является обратным преобразованием Меллина (3) этой функции.

Основным результатом этого параграфа является построение порождающего оператора обобщенного Н-преобразования (18) на некотором подпространстве пространства га"1 (м.

, Q tf

Определение 3. Пусть ^о и с>о, г^к таковы, что 2sgn(c) + sen(>-)2o. Обозначим через пространство функций f(x), х>о, представимых в Форме

f(x)=5^I Jf*(s)x"ds, х>0,

a<í) (20)

„ • -Г -nc|Im(s)|

f (s)=|j + iln(s)| e F ( s),

где o(t):(T6C, Re(T)=t} И, если |Re(s)~ jfSX. то выполняются следующие условия:

1) J|F( s)ds|sc, с - абсолютная константа,

c(Re(s) )

2) F(b)—0 при Pb>(s)—оо равномерно по Re(s).

3) f*(s) является голоморфной в этой полосе функцией.

Определение 4. Пусть f(x) е . Оператор вида

<V)(*> = ''f+^x-ds. , . (21)

где |т)|<х, р1- <п< рь- р'ь< ± $(5) определяется формулой (19),

назьшается порождающим оператором для обобщенного Н-преобразования (18).

Основное свойство порождающего оператора выражает

Теорема 2. Пусть £<*> « <ь,,г)(*) есть порождающий

оператор обобщенного Н-преобразования (18) и выполнены следующие условия:

2звп<о)+зяп(ггу^0, 2нвп(с+*)+звп(к»гэ)>0. 2|Г)|5Х, (24)

(25)

1 i ph-

р 4

Еаг Ebj

j = «

где гг = г»я( Е а - £ ь.), j= 1 J ¿ = i J

*2=min{*.-7>,x+i?}, к, f определены формулами (7), С8), Pt, ph -Формулой (22). р,, р^ - формулой (23).

Тогда имеет место следующее соотношение:

HCL^f)(х) = xn(Hf)(x), (26)

то есть обобщенное Н-преобразование является преобразованием подобия, переводящим порождающий оператор (L^tXx) в оператор

умножения на степенную функцию

В § 3 изучается однопараметрическое семейство сверток для обобщенного Н-преобразования.

Определение Б. Пусть f(x), g(x) е . Н-<верткой этих

Функций называется значение следующего интеграла

■« Г Г 5(3)5(t) . ' .

(f®g)(x)=—-—-I -f (S)g (t)x dsdt, (27)

<2ii) j J 5(s+t-a)

где = {тес-. Re(T)=i/4+a/2], $<т) определяется формулой (19) и функции f*(s), g*ct) таковы, что fCx) и g(x), соответственно.

являются их обратными преобразованиями Меллина (3). Доказывается следующая

Теорема 3. Пусть f(x), g(x) е , aeR и выполнены условия |а- i|<2X, X<min{Ph- \ -Pt}, xt<min{p;- j -p{ } , (28) 2sgn(o) + sgn(r2)>0, assgnCc^ + sgnCrOSO, (29)

где o^o+x, ri=r+tj-x

p q E a E ь

p я

E V Eb;

J = 1

, XjzminfX- f + i, x+ | - i},

pt, ph дакггся формулой (22),

р{, - формулой (23), «ир- формулами (7), (8).

Тогда Н-свертка (^)(х) принадлежит пространству х"1!,, и

2

имеет место следующее соотношение

(Н(г%))(х) =, ха(нехх)(ненх), (30)

где (Нр)(х) - обобщенное Н-преобразование (18).

На основании определения 5 и свойств Г-функции Эйлера в § 3 получены различные представления сверток для классических преобразований. В частности, свертка для обобщенного преобразования Обрешкова, которая используется в главе III при построении операционного исчисления типа минусинского. имеет вид

к

где

11

^г п п г»

... гки.а-и^г^сх п п а-ио*4)^,.. .аип

^ I - 1 V - 1 1-1

о а

у &

И (1^' *>)(х) есть дробный интеграл Эрдейи-Кобера (14).

В § 4 рассмотрены свертки для порождающих операторов (21) обобщенных Н-преобразований в смысле следующего определения, данного в работах И.Х.Димовского.

Определение 6. Пусть эе является линейным векторным пространством и «зе - линейный оператор. Билинейная, коммутативная и ассоциативная операция называется сверткой для линей-

ного оператора ь. если соотношение

Ь(х*у) = <Ьх)*у (32)

выполняется для всех х, у е ж.

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

Верна следующая

Теорема 4. Пусть х- . Тогда Н-свертка (27) является сверткой в смысле Димовского для порождающего оператора (21) при условиях

| а- \<т1п1рь-~, \ -р[),

*

-Р^Ъ.Р^-Ъ- ; Ь 288п(о)+зап(гг)20, (33)

»

2sgn(c1) + sgn(r1)í0, 2эёп(с)+зйп(гэ)-0, 2згп(с)+аап(?-4)г0, где >ч=т1п{^- § + 7, £ - = 1)!п{Х.-г), с1=с+*,

г1-г+н-*

г

Ч

Е а.-'Е Ь , Еа - Е Ь. ,

" р ч 1 Г р <з 1

гэ=?-г+г) Е а. - Е ь1, г^г+г»! Е а. -ЕМ, рь дается

формулой (22) . р[ . ру, - формулой (23), * и р - формулами (7), (8).

Вторая глава посвящена получению правил Лейбница, их модификаций и интегральных аналогов для различных частных случаев Н-преобразования (1) и. обобщенного Н-преобразования (18). Как выяснилось, такого рода правила порождается теоремами суммирования . обобщенных гипергеометрических рядов, интегральными предс?авле-ниями Г-функиии Эйлера и конструкцией обобщенной свертки, введенной в работах С.Б.Якубовича.

В § 5 изучается правила Лейбница, порожденные теоремами суммирования обобщенных гипергеометрических рядов. В частности, на основании известной теоремы суммирования Гаусса

аР,(а.Ъ;с;1) = Ке(е-а-Ъ»0,

(34)

где, для удобства, принято обозначение г

Г(а )■••Г(а > 1 р

« р

ь ,..., ь

г(ь )• • г<ь ) и ^»(а.ь^^) - гипергеометрическая функция

* я

Гаусса,получено несколько правил Лейбница. Приведем одно из них. Теорема 5. Пусть ?(х)~е яГ'^а). б(х) е яГ'^а). Тогда при

условиях

ве(а-р) > 1 -1, с > -1

имеет место следующее правило Лейбница

к =0

' 4 ' I =о

кго

у £

Здесь и далее в этой главе под оператором с)(х) понимается дробная производная Эрдейи-Кобера (16), если ¿>о. тождественный

оператор, если <5го и дробный интеграл Эрдейи-Кобера )(х)

(14), если <5<0.

Параграф заключает описание алгоритма вычисления рядов, где суммирование ведется по индексам специальных функций (индексных рядов), построенный на полученных в нем правилах Лейбница.

В § 6 рассматриваются модификации правил Лейбница, в которых суммирование ведется по всем целым индексам. Они порождаются формулой Дуголла

г>» +00

У гГа+п,Ь+п1 _ _ п*_ гГс+с1-а-Ь-1 1

(36)

Ке(а+Ь-с-а)<-1; а,Ь « 2.

В частности, верна

Теорема 6. Пусть Их) .= яГ-^а). в<х> е иГ'^ю. Тогда при услопиях

Re(ó+r>-a-|3) > - -1, Re(a)■ « Z, Re(f?)+ — «r Z,

л 2a

Re(r>-cO > —--1, RB(ó-f¡) > o > -i

2a 2a 2o

имеет место следующая модификация правила Лейбница (35)

б п *w

(Da" fg)(x) = J (Í^)(D^n-a-nf)<x)(D¡/5-n'<5+ng)(x). (37)

ns - CD

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

♦ со

J r[a+T,b+T,c-T,d-r]dT = r[a+c-l,a+d-l,b+c-l,b*d-l]' (38)

-00

Re(a+b+c+d)>3.

На нем основана

Теорема 7. Пусть fu> е g(x> е Тогда при

условиях

Re(a+f?+ónj) > - -1, Re(c+77) > —-1, Re(f5+<5) > —-1, с > —

ei 2<х 2а 2а

имеет место следующий интегральный аналог правила Лейбница (37)

+ CD

<Da

fg)(x) = г-<5~тГ)(х)(0^Т'в+Т 8)(x)dr. (39)

В третьей главе результаты главы первой применяются для построения операционного исчисления типа Микусинского для кратной производной Эрдейи-Кобера.

В § 8 вводятся в рассмотрение операторы кратного интегрирования и дифференцирования Эрдейи-Кобера.

Определение 7. Пусть р>о, а^о, «ч«®, т^п. Композицию п операторов дробного интегрирования Эрдейи-Кобера (14) с весом х14

L

ц

'/а„ I van., '• • I i/a, J/4

ж- Г* • -ч ^ Г П , .. ча,; и-1 -С*:

о о

г»

хГ(Х П и^ми,.. .<3ип, 1 = 1

будем называть кратным интегралом Эрдейи-Кобера, а оператор Р^х) = х~м П[к-^-а^+а^Д П11/а. ^(х) (41)

где г>с=Чесли а^еш, _ Кратн0й производной Эрдейи-Кобера. I а^, если а^«^,

Отметим важные частные случаи оператора (41):

1) Пусть 17^=1, , и-р. Тогда

0^(х) 3 в?(Х) Э П + (42)

есть гипербесселев дифференциальный оператор.

2) Пусть «1=1. а4=1. «4=0. Ч1=(^]+1.всли Тог.да

I и, если а«^ .

омг<х) = 0<х). (43)

где ^ г(х) - дробная производная Римана-Лиувилля:

0<*> - ГагГ«1»:"'^». если ^

1с1х-' . ^ и, если

К

с. \а-1

'в г (и )с!и - дробный интеграл Римана-Лиувилля.

Дальнейшие исследования связаны с функциональным пространст-

вом с*.

Определение 8. Обозначим через са, ом=ге, к=о,1,... пространство функций г(х>, х>о, представимых в форме Г(х)=хрМх), где р>« и Мх) есть к раз непрерывно-дифференцируемая на [о,®)

о

функция.

Очевидно, пространство с* является линейным векторным пространством. Пространство с° будем в дальнейшем обозначать са. Имеют место следующие результаты:

Теорема 8. Пусть <*= тах | }. Тогда кратный интеграл 1<1<гЛ )

Эрдейи-Кобера (41) есть линейное отображение пространства са в себя:

I. : С —С сС .

р а а

Теорема 9. Пусть где пах | | и й(х)

= Тогда оператор ^(х) является правым обратным к опера-

тору т.е. 0^ЬмГ(х)=0^(х) = Г(х>.

Теорема 10. Пусть выполнены условия

«= тах ( }, ^ тах ( ^ ). (44)

Тогда операция

(^)(х)=хХ(п1;;^'а^аЛ-(Г.в)(х)), (45)

где (

е-в)(х) = Г... Г П(и1(1-и1>)"°'1г<х П..и!1)е(х П а-и1>в1)<1и1...аип

J J V = 1 1=1 1 = !

О О

является сверткой в смысле Димовского без делителей нуля для кратного интеграла Эрдейи-Кобера ь^(х) в пространстве са.

Как легко проверить, операции * и обычного сложения обладакгг свойством дистрибутивности. Этот факт и теорема 10 означают.

что пространство са с операциями * и + образует коммутативное .кольцо без делителей нуля.

Важную роль в построении операционного исчисления играет Теорема 11. Пусть выполняются условия (44) и

Тогда кратный интеграл Эрдейи-Кобера ь *<х) в пространстве са

имеет сверточное представление вида

X ^

ьме(х)=<ь(х>»г<х))и>, ь<х)=—---. (47)

Всюду в дальнейшем мы будем предполагать, что условия (44) и (46) выполнены.

Следствие 1. Для оператора ь™= Пь^ имеет место равенство

Ь^(х) = Ь<х>& ... (х) = Ьт(х)»1> (х), (48)

где ь (х)з—--^-.

В § 9, следуя известной процедуре Минусинского, кольцо (СаА + ) расширяется до так называемого поля сверточных частных ма=со<х(со1-{0})/~. где отношение эквивалентности понимается обыч-

ным образом

а,бЫ^е,) «-» (49)

С(х), г^х) « са, х), а4(х) е са-{0}. При этом исходное кольцо

(Са,»,+> и поле комплексных чисел <с вкладывается в поле иа.

Сущность операционного метода решения дифференциальных уравнений состоит в сведении их к алгебраическим уравнениям в соответствующем поле. Следовательно, для приложений необходимо прежде всего установить соотношение между кратной производной Эрдейи -Кобера о^Г(х) и элементами поля ив.

Определение 9. Алгебраическим обратным к оператору (*) назовем элемент БеНа, который является обратным к элементу Ь(х> в поле ма, то есть з-1/ь(х>, где I - единичный элемент поля на.

Введем в рассмотрение пространство .

Определение 10. Пространство функций, принадлежащих св, для которых композиция и операторов кратной производной Эрдейи-

т

Кобера (41) о"= По существует и также принадлежит са. обозначим через «"(Са).

Связь между кратной производной Эрдейи-Кобера °,/(х> и алгебраическим обратным к оператору (х) выражает следующая

Теорема 13. Пусть Их)ео™<са). Тогда справедливо равенство

0™Г(х) = ЗтГ(х)-^"кР0'1Г<х>. (50)

где оператор есть проектор оператора Е - тож-

дественный оператор.

Имеют место следующие результаты:

Теорема 13. Пусть степенной ряд с комплексными коэффициентами

сходится в точке го*0, то есть А в с.

1 = 0

Тогда функциональный ряд

да

Уь.ьЧх), ' (51)

1=1 1

где ьЧх) задается равенством (48), определяет элемент кольца са.

Следствие 2. Из теоремы 13 получим следующие операционные соотношения

1 - Ь = Ь(Х + + а2Ь2 +. . . )

Б-а 1-0.(1

г ^____<«хМ)

I:

к = о Пг(1-с^+а1(я-М+а1мк) 1=1

Из (52) с помощью непосредственных вычислений получим

Г^у, = хмт~Х £-(■0„(«Х,У-_ (53)

к=о к! П Г( 1-а1 + а1(мт-Х) + а1мк)

с - 1

Следствие 3. Для оператора дробной производной Римана-Лиувилля (43) и формула (52) примет вид

СЕ)

= хМ-1 V = ХМ-1Е ^ (54)

где Е1а Л г) - обобщенная функция Миттаг-Лефлера.

При условии г-1<гг<.. .<^</-1+1 и имеем для гипербессе-

лева дифференциального оператора (42) следующее равенство

1Ьг =■.,-* Х " (55)

Пг(1+У1-,-„■>

где рНч(г) есть обобщенная гипергеометрическая функция.

В § 10 исследуется задача Коши для уравнения с кратной производной Эрдейи-Кобера (41). Приведем ее постановку.

Пусть р(г) = ) с.21 есть полином степени ю с комплексными

I -о

коэффициентами.

Определение И. Задачей Коши для оператора кратной производной Эрдейи-Кобера ^(х) будем называть следующую задачу

Р(Б )у(х)=Г(х),

(56)

го^ у(х)=гк(х), к=0,1,...,ю-1, Ук(х)екег

где е=е-ь о •- проектор оператора ь^Г(х), Нх)еса и решение у(х) ищется в пространстве

Явный вид проектора и оператора ь^г(х) такхе получен в параграфе 10. Здесь приведем его лишь для частных случаев (42), (43) оператора о^(х).

Следствие 4. В случаях дробной производной Римана-Лиу-вилля (43) и гипербесселева дифференциального оператора (42) . проектор V имеет, соответственно, вид

Ру(х)= 5 х"^1/?1-" П (гт)1ИвГх^'1 П (^+х^)у(х)1, (58)

если Г1<Гг<- • -<Гп<Г1+1- '

Решение задачи (56) дает

Теорема 14. Решение задачи Коши (56) в пространстве п™(Са) существует, единственно и может быть представлено в форме

т т_ * О /С \ т"к

у(х)=_рЬт ИБ) где Рк(£;)= .£ (59)

Отметим, что конкретный вид решения задачи (56) в пространстве о™(Са) получается из формулы (59) с учетом разложений рациональных функций на простейшие дроби и операционных соотношений (52) -< 53).

Пример 1. Рассмотрим задачу Коши для оператора дробной производной Римана-Лиувилля (43)

^у(х)-ау(х)=Г(х),

м-к • С6Ш

Решение задачи (60) в силу теоремы 14, операционного соотношения (54) и равенства (57) запишется в виде .

х '

у (х) = ^х-ю'^е^саи-^жьэсп (61)

о

Пример 2. Рассмотрим задачу Коши для гипербесселева дифференциального оператора (42) в случае г1<гх< • ■ ■ <гг,<г1+1

Ву(х)-ау(х)=Г(х),

(62)

Нд Вку(х)=Ь](, ЬкеС, к=1,2,...п,

где Вку(х)=х^к П у(х).

j = k+ 1

Из операционного соотношения (55) и равенства (58) после некоторых вычислений будем иметь решение в виде

1 1

х'^оКп^Гаоч-г^Т^х^ПиЛ п ^/р л

X-^rf---rid-U,) )du1...dun| (63)

П r(i+rtvn) i = 1

V = i

+ ^"Xx'^oFn-ifa+^-r,)^;^] П (n-n)"1.

. J j = i +1

Основное содержание диссертации опубликовано в следующих

работах:

1. Лучко Ю.Ф. Об операционном исчислении для кратной производной Эрдейи-Кобера Тез. докл. конференций матем. Беларуси. Гродно. 1992. С. 101.

2'. Лучко Ю.Ф., Якубович С.Б. Порождающие операторы и свертки для некоторых интегральных преобразований ДАН БССР. 1991. Т.35. if 9. С. 773-776.

3. Лучко Ю.Ф., Якубович С.Б. Операционное исчисление для обобщенного дробного дифференциального оператора // Тез. докл. международной научной конференции "Дифференциальные и интегральные уравнения. Математическая физика и специальные функции.". Самара. 1992. С. 155-156.

4. Адамчик B.C., Лучко Ю.Ф.. Маричев О.И. Вычисление интегралов от функций гипергеометрического типа // Тез. докл. 4 международного совещания по аналитическим вычислениям на ЭВМ в физических исследованиях. Дубна. 1990. С.74.

5. Якубович С.Б., Лучко Ю.Ф. Обобщения правил Лейбница на интегральные свертки ^ ДАН БССР. 1991. Т.35, М2. С.111-115.

6. Luchko Yu.F., Yakubovich S.В. Convolutions of the generalized fractional integration operators // Summaries of 5-th Intern. Conf. Complex Analysis and Appl.'91. Varna. 1991. P.23.

7. Luchko Yu.F., Yakubovich S.B. Operational calculus for the generalized fractional differential operator and applications // Math. Balkanika. 1993. V 7.

8. Adamchik V.S., Luchko Yu.F., Marichev O.I. The evaluation of4integrals of hypergeoinetric functions // Summaries of second international joint conference of ISSAC-90, AAECC-8. Tokyo. 1990. P.90

9. Yakubovich S.B., Luohko Yu.F. The evaluation of integrals and series with respect to indices(parameters) of hypergeo-inetric functions // Proo. Intern. Symp. on Symbolic and Algebraic Comp. ISSAC'91. Bonn. 1991. P.271-280.

10. Yakubovich S.B., Luchko Yu.F. The generalizations of integral analog of the Leibniz rule on the G-convolutions // Extracta Mathematicae. 1991. V.6, N 2-3. P. 119-122.

J

Подписано к печати 2.12.1992 Объем Л п.л.

Тираж 100 экз. Бесплатно. Заказ Отпечатано на ротапринте БГУ