Дробно-аналитический метод решения линейных функциональных уравнений тема автореферата и диссертации по математике, 01.01.07 ВАК РФ

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

р і* 8 ' Ф!ЇВСЬШ?Ї ДОЖАВШІЙ УНІВЕРСИТЕТ ЇМ. ІВАНА ФРАНКА

1 З ШОН Ш5

Щ правах рукопису

.РШЩЬКЛ ОЛЬГА МАР’ЯКІВНА

ДРОБОВО-АНАЛІТИЧНИЙ МЕТОД РОЗВ’ЯЗУВАННЯ -■ ЛШІІШХ - ФУНКЦІОНАЛЬНИХ РІВНЯНЬ ' '

Спеціальність 01.01.07 - обчислювальна математика

■ ' А В ТО Р Е Ф Е Р А Т ■

' дисертації на здобуття наукового ступеня кандидата і фізико-математичних наук ■

'.Л Ь'В І В 19 9 5

Дисертація в рукописом

Робота виконана на кафедрі прикладної /математики Держаного університету . "Львівська політехніка". .

Науковий керівник: доктор фізико-математичних наук, профэсор • • ' . , • ' СЛОНЬОВСЬКИИРОМАН ВОЛОДИМИРОВИЧ. : -

- Офіційні опоненти: доктор фізико-математичних наук,- професор , ■ МАКАРОВ 'ВОЛОДИМИР ЛЕОНІДОВИЧ, '

• доктор фізико-математичних наук, професор

, ШИНКАРЕНКО ГЕОРГІЙ АНДРІЙОВИЧ. ‘ ' '

Ведуча організація: Фізико-механічний інститут імені Г.В.Кар-1 пенка Національної академії наук України.

Захист відбудеться ..." 1995 р. о-------- годині

на засіданні спеціалізованої вченої ради К 04.04:05 у Львівському державному університеті їм. І. Франка за адресбю: 290602,. м. Львів, вул. Університетська, 1, ауд, 261. '• -

З дисертацією можна ^ознайомитись в- бібліотеці Львівського державного університету. 1 -

Автореферат розіслано "........../.....77..,." 1995 р.

Вчений секретар - 1 ’/У ' - Б.А. Остудін

спеціалізованої ради

ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ.

Актуальність проблеми. Незважаючи на численність публікацій, присвячених проблемі дослідження 1 наближеного розв’язування лінійки* некоректних задач, вважається за. доцільне для вирішення даного питання використання методу -апроксимацій Паде або її часткового випадку ■ апарату неперервних дробів, підхідні дроби яких утворюють діагональні або.парадіагональні нпроксимгнта Паде.

Можливість подання розв’язку лінійного рівняння.у вигляді неперервного дробу пояснюється хоча б тим, що у багатьох випадках розв’язок лінійних інтегральних рівнянь Фредгольма другого роду е мероморфною функцією параметра цього рівняння. Очевидно, 'до в цьому випадку запис такого розв’язку у вигляді формального ряду Ліувілля-Неймана є штучним і.недоречним. Крім того, мероморфний розв’язок регуляризованого рівняння Ейлера-Тіхонова (рівняння другого роду) дозволяй здійснити асимптотику при прямуванні параметра цього рівняння до нуля. Таким чином, дробово-аналітичний запис розв’язку ретуляризованого рівняння дав можливість встановити у замкненому вигляді нормальний розв’язок лінійних рівнянь першого роду. .

Застосування. неперервних дробів в обчислювальному процесі в більшості випадків розширює область збіжності класичних ітерацій-них методів, особливо для тих задач, у. яких в неефективною полі-номіальна апроксимація. - Крім того, умови збіжності дробово-аналітичних методів 'суттєво відрізняються від умов збіжності звичайних лінійних Ітерацій, слід відзначити і ту обставину, що перші підхідні дроби неперервних дробів дають добрі початкові наближення і оскільки основна Інформація про значення досліджуваної функції зосереджена, на перших, поверхах дробу.' Це дозволяє робити

З

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

Мабуть, доречним буде, нагадати висловлювання геніального вченого Ейлера, який ще у XVIII сторіччі писав: „Буде незайвим, додати дещо про.третій тип не скінчених виразів, які зображуються неперервними дробами або діленнями. Хоча цей тип віфазів у наш час розроблений мало, проте, не сумніваюсь, що коли-небугь застосування його дуже поширяться в аналізі нескінчених". Сьогодні цю думку підтверджують відомі спеціалісти в теорії методу апроксимацій Паде Дк. Бейкер та П. Грейвс-Морріс: «Практично ми не знаємо жодного випадку, коли при правильному застосуванні апроксимацій Паде не вдалося б одержати розв’язок природнього інтегрального рівняння". '

Метою даної роботи е:

- використання апарату Д-дробів для покомпонентного подання'роз-

в’язків системи лінійних алгебраїчних рівнянь як з квадратними, так 1 прямокутними та виродженими матрицями; .

- побудова дробово-аналітичного алгоритму знаходження, псевдо-

обернених матриць Мура-Пенроуза і Дразіна; _ ' ,

- дослідження мероморфних розв’язків лінійних .інтегральних рів-'

нянь Фредгольма другого роду; ^ ,

- знаходження нормальной' розв’язку'лінійного інтегрального рів-

няння _фредгольма першого роду як граничного випадку мероморфного розв’язку регуляризованого рівняння. ' ' '

Методика поглинань: математичне доведення теорем,' розробка алгоритму, програмна реалізація. 1

Наукова новизна роботи полягає & таких основних положеннях, які виносяться на захист: . '

1 . У дисертації вперше використаний апарат неперервних дробів до задачі'знаходження нормальних розв’язків некоректних рівнянь, а саме Інтегральних рівнянь Фредгольма першого роду 1 його дискретного випадку - системи лінійних алгебраїчних' рівнянь.

2. Здійснено перёнормування' функціональних рядів Ліувілля -Неймана,-що в формальними розв’язками лінійних алгебраїчних та інтегральйих рівнянь, у відповідні 3-дроби.

3. Побудовано новий метод регуляризації для систем лінійних

алгебраїчних та-інтегральних рівнянь. ' '

вітюгіттість основних наукових результатів забезпечена: '

- строгим математичним доведенням теорем, які підтверджують за-

стосовність дробово-аналітичних методів до задач, що розглядаються; . ’ . , . .

- використанням апробованих теорій та гіпотез, які підтвердили свою адекватність 'в аналогічних наукових дослідженнях;

- добрим узгодженням результатів з аналітичними та чисельними

розв’язками, одержаними за' Іншими відомими методами, які наведені у літературі. .

Практична■цінність роботи.■ . 1 ■ ■ ■

Одержані в. роботі теоретичні результати можуть використовува-

. X - ; ' •

тись при розв’язуванні лінійних некоректних задач у просторах неперервних та Інтегрованих за Лебеґом функцій. - .

Розроблено новий,, а саме дробово-аналітичний, метод регуляризації, який успішно себе оправдав при практичній реалізації. . .

Ціннісїь роботи полягає й у тому, ло подана в роботі дробово -аналітична методика розв’язування некоректних задач застосовна й до задач комп’ютерної томографії, що на нових засадах створює математичну основу для побудови українських, томдграфів. ,

Апробація результатів. Результати доповідались на міжнародній

конференції, присвяченій пам'яті академіка М.П.Кравчука (Київ-Луцьк, 1992 р.), міжнародній конференції з Інформаційних технологій 1 систем (Львів, 1993 р.), міжнародному стшвзїумі „Питання оптимізації обчислень" (Київ, 1993 р.), Всеукраїнській конференції „Застосування обчислювальної техніки, математичного моделювання та математичних методів у наукових дослідженнях" (Львів, 1994 р.). міжнародній пжолі-семінарі „Ланцюгові дроби, їх узагальнення та застосування" (Львів, с.Верхнє Синьоввдне, 1994 р.) е також,на наукових семінарах кафедри прикладної математики університету „Львівська політехніка" та на науковому семінарі кафедри обчислювальної математики Львівського державного університету імені І.Я.Франка.

Публікації. Зміст дисертаційної роботи відображений у 8 стат-гях і тезах доповідей наукових конференцій. ' .

Структура й обсяг роботи. Дисертаційна робота складається із вступу, трьох розділів, висновків та списку використаної літератури. Робота .містить - сторінок машинописного тексту, в тому числі 5 таблиць та 14 прикладів. Бібліографічний список складається з 57 назв. ■ '

. ' КОРОТКИЙ ЗМІСТ РОБОТИ.' - .

У вступі обгрунтована важливість та актуальність питань, вирішенню, яких присвячена дисертація. Наведено короткий огляд літератури по вибраній темі. Сформульована мета дослідкень, наукова по-визна, а також основні положення, які виносяться на захист. Дане короткий зміст, усіх глав дисертації.

У першому розділі зібрані основні матеріали з теорії псевдообе- . рнених. операторів і класичних - методів їх обчислення. В першому параграфі цього розділу вводиться відоме понятія матриці Мура і-

І

Пенроуза і розглядається метод гісевдообертання за допомогою граничного переходу ' • _ .

, ' ' А*=1Іи(аІ+А*А)'1А*. , (1)

' . а+о

де А*- матриця, спряжена до прямокутної матриці А, І - одинична матриця, а>0 - числовий параметр. Обернена матриця Дразіна, що будується лише для квадратних матриць, може бути знайдена з умови

~ ' А®= 1іт(аІ + АІ£+1)'1Ак, (2)

■ ■ , - - - а-ю

де к - індекс матриці А. ' - (

Знаходженню найкращого наближеного розв’язку системи лінійних алгебраїчних рівнянь (СЛА?) за методом найменших квадратів присвячений третій"параграф першого розділу. Питання розв'язальності операторних рівнянь першого роду вивчається у двох наступних параграфах. У § 6 проведено аналіз некоректно поставлених задач в гільбертовому просторі. На сучасному етапі розвитку математичної науки основними методами регуляризації некоректно поставлених задач е зрізаний сингулярний.метод, метод регуляризації Тіхонова -Філліпса, ітераційні метода. Ці класичні методи регуляризації

ч аналізуються в останньому параграфі першого розділу. Якість цих , методів істотно залежить від вибору параметра регуляризації, знаходження якого ,е складною самостійною задачею. Крім того, основний метод регуляризації - зрізаний сингулярний розклад - вимагав знання сингулярних чисел матриці' А, & метод скелетного розкладу та Гревіля для знаходження псе вдооберненнх матриць Мура-Пенроуза

- рангу цієї матриці. Тому природньою4в задача побудови методів регуляризації некоректних задач 1 методів знаходження псевдообер-нених матриць, які не володіють цими' недоліками або полегшують знаходження відповідних параметрів. - ' ' '

У другому розділі дисертації для Находження розв’язків системи

лінійних алгебраїчних рівнянь (СДАР) використовується апарат неперервних дробів.

Основними типами неперервних дробів, які використовуються в роботі, е регулярні С - дроби

а. а,2 а.г

С(в)-—і- _2_ -і- ... (3)

1 + ■ 1 + 1 + 1 +

1 .1-дроби

,Г(а>= .... (4)

1,+в - 12+г - 13+г -

де а1,к1,11- деякі константи, г - числовий параметр.

Р_(г) а, аг

Скінчені дроби —------------- = ——ь— ... —2— назвемо

ОцСг) 1 + 1 + + 1

п-ними підхідними дробами дробу (3).

)С Уг. ]г

Аналогічно дріб —!— - ... е п-ним підхідним

І.+г + 1„+г + .+ 1„-іа '

■ 1 2 П

дробом дробу (4).

В роботі показано, що псбудовані на апараті С 1 J - дробів алгоритми розв'язку лінійних рівнянь у просторах С[а,Ь) 1 Ьг(а,Ь) е стійкими відносно збурень коефіцієнтів вихідної задачі 1 відносно похибок заокруглень, які виникають при обчисленні дробу.

Основним результатом розділу є знаходження нормального розв'язку лінійного алгебраїчного рівняння

Ьг=и, и€Е8, (5)

де ^ 1 Е6 - евклідові простори відповідних розмірів.

Побудова цього розв'язку здійснюється на основі реалізації співвідношення

г4= ІІпКаІ+Е'ЬГ’і.'и, (6)

а-*о . .

!■*- матриця, спряжена до матриці Ь, г*- узагальнений нормальний

розв’язок задачі (5).

Спочатку розглядається система

<

02

“= іЛі-Лг“. (7)

Після введення позначень

Я = - — , ух = <иа , Ь=Ь*и, А=Ь*Ь а

система (7) у розгорненій формі набуде вигляду

■ Уі = ьі + . 1=1 ,ш , ^ ^

де А={ац)1^і1— . ь=(ь1,ь2,...,ьт)т, у =(у,, ... .уи)т. .

Рівнянню (8) відповідав формальний степеневий по X ряд

п ш ш

Ьі+ХІаиЬі + І І + ... ’ (9)

І,1!- 32=1

який при рівномірній збіжності в розв’язком рівняння (8).

Означення. Неперервний дріб

р;1»

(10)

1 + 1 + +1 + для якого розклад його довільного п-го підхідного дробу в степеневий ряд співпадав з вихідним степеневим рядом (9) до члена \п включно, називають відповідним даному ряду (9).

Для ряду (9) будується відповідний неперервний дріб. р«1)

Нехай —ут-. - п-ий підхідний дріб дробу (10). Тоді при умові існування розв’язку системи (8), маємо

Л"- - (-«"ХХ“- <">

Чі .

д<1> д<1> _-

де (ї‘и= ------!—^-3---------- . і=1,т .

?*'= Рі а,««-' Лрк*і к:гт ' ,

- 1 '* (її * “ . -(і* * К—1 ,со , .

1 1 "Мр| ,, 1+<РІ*І ч ' . '

Коефіцієнти шукатимемо, .підставивши (11) в рівняння

(8) . ' ■ ' ' ' ‘ -

т» - . 3-1. ті - .3-І • '

Використавши запис , ' . ' '

, [0/21 '

■ ки X °й“хі' 1 ■

“ТГ) ■ [¿¿1/21—:--------' • да 1x3 - «іла частина і

' °а 2 и(і> .

(12)

прирівняємо в , (12) коефіцієнти при \п до нуляї Тоді -

С-?і}^КК5*Г^;--Ч!и*Г^1- "3)

Р1 • *' рп . -

де А* - 1- ий рядок матриці Ак. Ъ± 1 • , .

П(1> Л(1> . п(і) я(і) і_п' Г п+1 1

°п*и= °п.З + °п-иАм* ^°* [~Г 1 •

(14)

Причому ДЛЯ ВСІХ П ' • '

(-ЛІ) < п(1) _ А<І)А(1) ПШ ' ■ '

Чі.о-1, °аиі- "* Ргп’ , _ '

Теорема 1. Для СДАР (8) відповідний Оо безлежного рябу (9) дріб

(10) є скінченій І точний розв’язок рівняння (?) лав вигляд '

■ ‘ ' я(1) д(1>д<П > . я'(1)-й(1)

' Р1 Рг Рз - ' Рга-гРгш-і М5)

1_ а-^1’ - аЧР^’.+РІ1*) Г"’- а-Цш-ґРг»’) *' '

Наступний, крок дослідкення - це здійснення граничного переходу

, (6)* , ' -'ч '

Теорема 2. Корлалькил разв’язкол.рівняння (5) є дріб

1 ßr - РГ+С' - -

причому при вІдМнності вІО нуля виразів а£|ш і R^u(a), де

' ^(a)=ci»-cP^1+... -К-1)“^ , (17)

справедливою є фортула '

z! - zN а Л — , і»1~ш’ (18)ч-

: 1 1 . «СЛ (а> , '

Ork-vZtf*- <Сн-<Г Оі^2 + <ОС'

" O^X"3“ • • •+("1

Наслідок 1. Дробовий розклав (16) дає лохливіапь знайти в-ісй

стовбець псевдооберненої лакриці Мура-Пенроуза &*. Дійсно,

А*= 11ш(аІ + А*А)"'А,І(_, (19)

8 0*0 8 t

до 1 =(0...О 1 О...О) .

. 8-та позиція ■ . - ' ■

Наслідок 2. Ястрии/о Мразіт згідно (2) I (16) лажна обчислити наступиш чинол'

. \ А»= lim V .

О*О ,

де Хд задовільтє j^mpmnaiy рівнянню ..

- , ' . 0^= А* + А*%, (20)

бе k - індекс лакриці А. ' ‘ _

Терема 3. 7, полінола (а) коефіцієнти. 0^ , де 3=1 ,т, ке залежать від 1,, а корені рівняння .

\(a)* с^'а^+ О^а“-2- ...+ МЛ^^О.

0е Орте,п>= ^4'* ,Рга* е полосаш-розв'язку системи (7). -

Таким чином здійснено аналітичне продовження розв.’ азку системи ' (7),' оскільки в той час, коли рад (9) в збіжним в крузі, радіус якого визначається віддаллю до найближчого полюса, 1-е розбіжної

зовні цього круга, то скінчений дріб (15) в збіжним в усій комплексній площині, 8а внйнятком нулів полінома ^(а).

У третьою розділі вивчається дробово-аналітичний метод розв'язування лінійних, інтегральних рівнянь.

Ітераційний метод розв'язування лінійних інтегральних рівнянь Оредгольма другого роду

ь '

2і (ж) = и(х) + х|к(х,г)2Х(х)(1х (21)

а

приводить до розкладу Ліувілля-Нвймана

_ ь

z*‘{x) = ц(х) + £х» | ^(х.вШв)^, . п<1 а

де К,(х.в) = К(Х,8), _

(22)

к^х.в) = |к(х.г)^а,в)ав, п=2,

п-ні Ітеровані ядра рівняння. (21). Розклад (22) формально задо-вільняз (21 ),1 у випадку рігіномірної збіжності дає розв’язок цього рівняння. .

Для знаходження розв’язку інтегрального рівняння (21) в дисертаційній роботі використовується правильний С-дріб

Л_. Мх> - ' (23)

в \д; в ••• *• " " ••• і

і + і + ■ +і + -

дв , р,=и(х). ^(х) » -

ь _

, ^(х.ттсОйг

а________■ ■

Ц(Х)

Р4(х) = ь г ь гь і2 Г

/К, (х,'с)ц(т)<і'с|ц(х)/К^(х,т:)іі('г)<1'г - /К(х,'Г)и(т)сИ а а . а ■* -*

Рпи<*>= , . ,т,[ Яп(їЛ)и(х)(і'Г +^»)Л5м(х,т)и(а)(1т+

Р1(2)...РП(2)1 а а

|р К(хл)и(х)<п| - и(х)^(ї,'с)и(‘с)<іт рз(Х) = іа__------------------------5----------------- ,

иіхУ^К, (х,'с)и(т)й': .

- а

г ^ Ь ' \2 Ь Ь -і

и(х) / К2(ХІ'І)Ч(1)Й1 -[ К, (х,х)и(т)сІгД3(х,т)и('с)йі;

!■ *■ « ''а а -»

•+ °ш^(ї) /К^яз^.-оїхсола]Ї (24)

°.и{І)=0п-и(х) + + Рп.(х)ап-г^(х,: °п.о = к

Розглянемо випадок, коли в рівнянні (21) функції и(х) 1 Х(хд> е неперервними в Іа,Ь) 1 Га,Ь]? відповідно. Тоді в силу теореми Вейерштраса, для довільного є>0 існує поліном Зп (хл), степінь п якого залекить від є, такий, що •

. ' - НЗо(х,'с)-К(х,'0|£0< є- •

Таким чином, . .

К(х,г) = З^х.т) + Т(х.т) . де залишок Т(хл) задовільняє умові |Т|а < є. Цієї умови достатньо щоб стверджувати Ісгіування для всіх |Х|<єм оберненого опера, тора, (І-ХТ)Н. Тоді рівняння,(21) еквівалентне рівнянню ' - . • - г* = (ІгА-Т)"^ + МІ-ЯТГ^г*. ' (25)

, ядро якого йироджоне 1 в крузі |А.| < є'1 функція т!" б раціонально» по Х ,1 мас но більше, ніж п полюсів.

Теорема 3. Ящо Оля всіх кІа.ЬІ 0^ і Чгая-вЮМннІ 610 нуля, тоді абсолют в’язкої рівняння

ля, тоді айсолхшп тихшОка А(2)=гл'(г)-гх(і) ліж ювлижеки роз-

■ . ■ ь * ' а (і) = и(х) + \рзп(х,т)а (-Шг

■ ’ * а . ; ■ ,

І точним розв'язкам гк(х) рівняння І21), визначається форлулаю

Л = — 3_— , (26)

®2п*Ап»1

а п_______ . , _. '

да ^а* 2 ( 5 ргп*иЯгп*и-к ~ ргп*із^гп+и-к +

З-о к-о

а а _____ _. •

- Г[2 ?гші.і£^гп»ц»з-и ^’гпч.Апчшз-к)*' ^

3-і к»з . *

п п

ргпи X *гп' Ссин= І 9гп+и^’

_ 3*°п _ _і*° „ __

ргпн= 2 ’ ^гпп = І • .

3*о з-о . ■

а ^гпм 1 ^гпи * відповідно чисельник і знаменник (2п+1) - гс підхідного дробу (23). ' .

Для рівняння Фредгольма першого роду .

Ь . '

і К(х,шт<и = 8(х) . (27>

• 6 . ' • • де К(х.ї) € СІа.Ь) X СІа.Ь), і(і),ї(і)._£ уа.ЬІ. .

регуляризуюче рівняння мав вигляд .

- ' ь - . • "

аЛ“(г) = ь<г> - і'н(г,в)иа(в)(ія, (28>

. ' а - . .

де а - додатне число, а . .

Ь ' b

R(t,s) e JK(x,B)K(x,t)dx, b(t) = JK(x,t)g(x)dx. (29)

• _ . 8 - * ' ’

Зауважимо, що рівнянню (28) формально задовільняв розклад ь ь ь

w“(t)= -1 b(t)-~2|R(t.s1)b(3])(la1+-lJ jRit.s^RiB^SjJbOjJdflgdfl,-

- а а а

,. ' ь ь _ „ . ■ -

'”"'^*^♦1 1J (іifij).■ . Н )b(SQ)dfl^«..dBj+ .. .» -

■ . a a . . ■ ' ■ . -

, Теорема 5. Розклав розв'язку регулариаованого рівняння (28) б J-Оріб наступний • ,

rfW-ML P2(t)P3tt)

a-p2(t) - a-(p3(t)+p4(t)) - - e-(fa.1(t)+Pi,(t)) -

- ... , (30)

0e коефіцієнт P^it) визнаються вгІОно (24), комі в осяанньо-jy K(t,B)=R(t,s), a u(t)=b(t).

Виходячи з того, що нормальний розв’язок задачі (27) - це граничне значення розв'язку рвгуляризованого рівняная (28) ща пря-куванні параметра а до нуля, одержується наступна Теорема 6.

•• ьтт ... .¡зч

, P,(i) - - - Рг.-.ОМи.В) -

. У загальному випадку псевдообернений оператор К* не е неперервним. З метою переходу , до неперервної задачі вводиться наступна регуляризація оператора К*. В якості сім’ї, неперервних лінійних . операторів (Та)о>0 пропонується сім’я підхідних дробів 8(а)-го порядку дробу (31),. де s(a) - найбільший індекс, для якого добуток 1 - , ’ ’ . • . 1 • - ■ /

^(x^ujpgW.-.^u) . .

відмінний від нуля. Очевидно, ідо s(a)-œ 1 для всіх х раЦ -» при прямуванні а до нуля. Таким чином, оператор Та s регуляризатором оператора К*. За допомогою такої регуляризації можна знайти наближений розв'язок задачі (2Т) в наступному розумінні. Нехай gj апроксимуе g, тобто fige-gj^^e. Тоді

І!тод8Е-К,вІІ0>< Втсчс(€«-в)Ва> + P^el^i^ÿe + ,

+1V* - ¿ëlœ ^0 , •

Іігп п И^а(£)вйш

да РедВ= sup —¿J------------- .

44 geia.bl UgO«, g*0

Тобто, елемент є близьким до K*g, якщо елемент близь-

кий до g.

При'знаходженні розв’язку рівняння Волі-терри '

X

z(x) = u(x) + JK(x,T;)z('c)cn: (32)

Р_(Х) -S-

підхідні дроби ----------- , n=1,<D , дробу (21) дають можливість

встановити формули різних порядків то'шості. Вони мають вигляд

________________¿м_______________________ (33)

U1M‘ ,1U1+ Kiil .i+tUlH ^

z;r. = -----------:----------—------------------------- + 0(1Ç)

1 ■ '

П) иі*і+ ^Ач.Л ' . (33)

гі*і - 1 + оо^). V

1 " ^¥ім.ім Для встановлення цих формул була використана формула трапецій. Для знаходаення наступних значень г^г використане співвідношення *і*г хі+1, .

2иг = “їв + ХК(х1)2,а)2('і)1і: = 1^+ /К(хІ4г,'і)а(а)<П +

хі*г

+ / К(х1іг,'с)г(,с)(і,с . хім \ .

Нехай рівняння Вольтерри 8 векторно-матричним. Тоді фундаментальна матриця Коші системи лінійних інтегральних рівнянь Вольтерри другого роду задовільняе матричному рівняннв

X

0(Х,Т) = І + ХК(2,3)0(3,Т)СІЗ т

Для знаходження розв’язку такого рівняння використано матричний аналог дробу (21), в якому під символом — розуміють АВ-1.

В

Зауважимо, що у випадку, коли К(х,а)=А(а) не залежить від х, фундаментальна матриця 0(х,т) перетворюється в матрицант Ф(х,т) системи лінійних диференціальних рівнянь

' /-^=А(х)у ’

<іх

Відомо, що матрицант Ф(і,т) задовільняе матричному рівняння

' # X

Ф(х,т) = І + ХА(з)Ф(з,х)сіа-

У цьому випадку формули (33), (34) набудуть відповідно вигляду ф(х1и,х1) = (І - уИ1(А1+ *И»'1+ 0(^} і -Ф^.х^ = (І + -¿-ІДНІ - осф.

де . .

' ф(х,з)ф(8,г) = Ф(х,г>.

У висновках сформульовані основні результати, отримані в дисертаційній- роботі : ■ , ' ' ‘ ,

1. Для СЛАР з невиродженою матрицею і для СЛАР з прямокутною або

виродженою матрицями знайдено точний, відповідно єдиний або

нормальній розв’язок, який зображено скінченим J-дробом. .

2. Розроблена дробово-аналітична методика побудови псевдооберне-

них матриць Мура-Пенроуза та Дразіна. . -

3. За допомогою апарату неперервних J-дробів знайдено нормальний

розв’язок лінійного Інтегрального рівняння першого роду, який у випадку виродкеності ядра є точним розв’язком. і

4. Пропонується новий метод регуляризації псевдообернених

операторів. - - _

5. Виведені нелінійні числові формули різних порядків точності

розв'язку систем лінійних' Інтегральних рівнянь , Вольтерри другого роду. Як частковий - випадок одержано числові

раціональні формули обчислення матрицанту і матричної експоненти. .

Основні результата дисертації викладені в роботах:

1 .Рибицька О.Ы., Сявавк^ U.C. Застосування інтегральних ланцетових дробів до розв’язування лінійних рівнянь другого

' РОДУ 11 Ыат- метода и 4из.-мех. по ля.-Київ: Наук, думка, 1992

- Вип.Зб.-С.З-Э. . . ' '

2.йМицьха O.k. ^нтегральні ланцюгові дроби, 'поєднані '8 . функціональними рядами Вольтерра-Вінера ц Вісник .Львів, ло-

літех. Ін-ту. Диференц. рівняння і їх saoT.-1993.-N 269.- -С.1БЗ-160. ' . . ’ '

3. Рибицька о.ІІ. Неперервні ланцетові дроби 1 опера горні

рівняння первого і другого родів л Міжнародний симпозіум ' -Питання оптамізації обчислень". Тез. доп.-Київ, 1993/-С.141-144. ‘ Г ; '■ ' .

4.ГМНЦЫС8 О.М. Про ноші нелінійний метод розв'язку інтв- -

гральних рівнянь н Міжнародна конференція, присвячена пам’яті академіка М.П.Кравчука. Тез. доп.- Київ-Луцьк, 1992.-С.28.

5.Рибицька о.М. Мероморфний розв’язок лінійних Інтегральних рівнянь другого роду і мероморфна регуляризація рівнянь першого роду І Додаток до монографії Сявавко М.С. Інтегральні ланцюгові дроби. -К.:Наук. думка,1994.-205 с.|-С. 190194.

6.Рибицька О.М. Використання неперервних дробів для обчислення псевдообернених матриць і матриць'Дразіна ц Міжнародна школа-семінар „Ланцюгові дроби, їх узагальнення та застосування". Тез. доп.-Львів, 1994. -С.11.

7.Сявавко М.С., Пасечник Т.В., Рыбыцька О.М. Псевдообратннй оператор и рациональные алгоритмы нормального решения интегрального уравнения Фредгольма первого рода ц Электрон, мо-делиров.- 1995.' N 1-2. С.71- 75.

8.M.S;Javavko, T.Pasitschnylc, O.Hybytska. The fractlon-analy-tycal method of ill-posed tasks solving and the task of re-atoration of fuzzy images.g Pattern recognition and Image analysis. Adv. in Math. Theory and Appl. Interperiodica pu' blishlng. Birmingham, USA. -1994.-, v.4, N3. -P. 312-314.

Особистий внесок: Покомпонентно представлення розв’язку системи лінійних алгебраїчних рівнянь у вигляді скінчених С - 1 J-дробів. Встановлення та дослідження дробово-аналітичних розв’язків дискретного 'аналогу некоректних систем першого порядку. Знайдено новий метод відшукання обернених матриць Мура-Пенроуза і ,Дразіна. Виведені дробово-раціональні алгоритми наближеного обчислення розв’язків 1нтёграш>них рівнянь Вольтерри другого роду, в

тому числі обчислення фундаментальної матриці Коші, матрицанта системи лінійних диференціальних рівнянь. Проведено числові екс- ■ перименти. У роботі [її на основі континуального аналогу методу Гауса, який приводить до диференціально-функціонального рівняння для резольвентного ядра інтегрального рівняння Фредгольма 2-го роду, побудовано за допомогою апарату неперервних дробів, метод розв’язування інтегральних рівнянь. Для систем лінійних алгебраїчних рівнянь в [71 розв’язок подано у вигляді скінченого дробу. Для дискретного випадку моделі розмитого зображення розроблено дробово-аналітичний метод відновлення [81.

Olga Rybytska. The fraction-analytical method for linear func- . tlonal equations solving. .

Ph.D. Thesis (phislcs and mathematics), 01.01.07 -numerical -mathematics.' ' . ,

Ivan Franko Lviv State University, Lviv, 1995. - ,

A method of eolutlon oi linear ill-posed equations in iuflctio-nal spaces Cla.b], I2(a,b) is being exposed on the background of the c, J-fractions framework. The meromorphlc solutionof the re- 1 - ^ gularizid equations Is-obtained. Some cases of the rational function representation of, the solution are singled out.1 , • ,

Рыбыцька Ольга Марьяновна. Диссертация на соискание ученой степени кандидата физико-математических наук по ~ специальноск 01.01.07 - вычислительная математйка. , .

Львовский государственный ушверситет имени Ивана Франко. Львов, 1995. ' . - , .

- Изложен метод решения- линейных некорректных уравнений'В пространствах Cta.bl и. l^(a,b) на основании аппарата непрерывных С и .

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

Ключові слова: Некоректні задачі, регуляризація, апроксиманти Паде, мероморфіість, дробово-аналітиичні розв’язки, неперервні дроби, узагальнені розв’язки, матриці Мура-Пенроуза, Дразіна, нормальний розв’язок, ряд Діувілля-Нвйкана, матрицанг.