Professional Documents
Culture Documents
Василишин Т.В. Гой Т.П. Федак І.В. Інтегральні рівняння
Василишин Т.В. Гой Т.П. Федак І.В. Інтегральні рівняння
ІНТЕГРАЛЬНІ РІВНЯННЯ
Навчальний посібник
для студентів вищих навчальних закладів
напрямів підготовки «математика», «прикладна математика»
Івано-Франківськ
2014
УДК 517.94
ББК 22.161.6
Ф75
Рецензенти:
Кукуш О. Г., доктор фізико-математичних наук, професор
(Київський національний університет ім. Тараса Шевченка),
Мойсишин В. М., доктор технічних наук, професор (Івано-
Франківський національний технічний університет нафти і газу),
Черевко І. М., доктор фізико-математичних наук, професор
(Чернівецький національний університет ім. Ю. Федьковича).
Василишин Т. В.
Ф75 Інтегральні рівняння : навчальний посібник / Т. В. Васи-
лишин, Т. П. Гой, І. В. Федак. – Івано-Франківськ : Сімик,
2014. – 222 с.
УДК 517.94
ББК 22.161.6
2
ЗМІСТ
ПЕРЕДМОВА ................................................................................ 7
РОЗДІЛ 1. ІНТЕГРАЛЬНІ РІВНЯННЯ ТА ЗАДАЧІ, ЯКІ
ПРИВОДЯТЬ ДО НИХ............................................ 10
§ 1.1. Означення та класифікація інтегральних рівнянь............. 10
§ 1.2. Математичні задачі, які приводять до інтегральних рів-
нянь........................................................................................ 14
§ 1.3. Прикладні задачі, які приводять до інтегральних рів-
нянь........................................................................................ 17
Питання до розділу 1........................................................... 20
Вправи до розділу 1............................................................. 21
РОЗДІЛ 2. ЕЛЕМЕНТИ ФУНКЦІОНАЛЬНОГО АНАЛІЗУ
В ТЕОРІЇ ІНТЕГРАЛЬНИХ РІВНЯНЬ................ 23
§ 2.1. Метричні простори. Принцип стискаючих відобра-
жень........................................................................................ 23
§ 2.2. Лінійні нормовані та евклідові простори............................ 26
§ 2.3. Лінійні оператори й обернені до них.................................. 30
§ 2.4. Компактні самоспряжені оператори. Теорема Гіль-
берта – Шмідта...................................................................... 34
§ 2.5. Наближене розв’язування операторних рівнянь................ 39
Питання до розділу 2............................................................ 41
Вправи до розділу 2.............................................................. 42
РОЗДІЛ 3. МЕТОД ІТЕРОВАНИХ ЯДЕР. ФОРМУЛИ
ФРЕДГОЛЬМА......................................................... 43
§ 3.1. Степені інтегральних операторів Фредгольма та
Вольтерри.............................................................................. 43
§ 3.2. Метод ітерованих ядер для лінійних інтегральних рів-
нянь Фредгольма другого роду........................................... 44
§ 3.3. Метод ітерованих ядер для лінійних інтегральних
рівнянь Вольтерри другого роду......................................... 47
§ 3.4. Наближене розв’язування лінійних інтегральних рів-
нянь другого роду методом ітерованих ядер..................... 49
3
§ 3.5. Інтегральні рівняння, ядра яких мають слабку особли-
вість........................................................................................ 50
§ 3.6. Формули Фредгольма. Резольвента Фредгольма............... 52
Питання до розділу 3........................................................... 54
Вправи до розділу 3............................................................. 55
РОЗДІЛ 4. ТЕОРЕМИ ФРЕДГОЛЬМА.................................... 56
§ 4.1. Інтегральні рівняння Фредгольма другого роду з виро-
дженим ядром. Перша теорема Фредгольма..................... 56
§ 4.2. Друга та третя теореми Фредгольма для інтегральних
рівнянь Фредгольма другого роду з виродженим ядром.. 59
§ 4.3. Теореми Фредгольма для довільних лінійних інтеграль-
них рівнянь Фредгольма другого роду............................... 62
§ 4.4. Метод вироджених ядер....................................................... 65
Питання до розділу 4........................................................... 68
Вправи до розділу 4............................................................. 69
РОЗДІЛ 5. ІТЕРАЦІЙНІ МЕТОДИ РОЗВ’ЯЗУВАННЯ
ЛІНІЙНИХ ІНТЕГРАЛЬНИХ РІВНЯНЬ ДРУ-
ГОГО РОДУ............................................................... 70
§ 5.1. Метод послідовних наближень для лінійних інтеграль-
них рівнянь Фредгольма другого роду............................... 70
§ 5.2. Метод послідовних наближень для лінійних інтеграль-
них рівнянь Вольтерри другого роду................................. 74
§ 5.3. Поняття про метод послідовних наближень для неліній-
них інтегральних рівнянь..................................................... 77
§ 5.4. Наближене розв’язування лінійних інтегральних рів-
нянь другого роду методом простої ітерації...................... 79
§ 5.5. Метод Положія...................................................................... 82
§ 5.6. Метод усереднення функціональних поправок................. 84
Питання до розділу 5........................................................... 87
Вправи до розділу 5............................................................. 88
4
РОЗДІЛ 6. АПРОКСИМАЦІЙНІ ТА ПРОЕКЦІЙНІ МЕ- 89
ТОДИ РОЗВ’ЯЗУВАННЯ ЛІНІЙНИХ ІНТЕ-
ГРАЛЬНИХ РІВНЯНЬ ДРУГОГО РОДУ..........
§ 6.1. Метод квадратур для лінійних інтегральних рівнянь
Фредгольма другого роду.................................................... 89
§ 6.2. Метод квадратур для лінійних інтегральних рівнянь
Вольтерри другого роду....................................................... 91
§ 6.3. Основні ідеї проекційних методів розв’язування інте-
гральних рівнянь. Метод найменших квадратів................ 94
§ 6.4. Методи Гальоркіна – Петрова і Бубнова – Гальоркіна..... 97
§ 6.5. Метод колокації..................................................................... 101
Питання до розділу 6........................................................... 102
Вправи до розділу 6............................................................. 103
РОЗДІЛ 7. СИМЕТРИЧНІ ІНТЕГРАЛЬНІ РІВНЯННЯ...... 104
§ 7.1. Інтегральні рівняння Фредгольма другого роду з
симетричними ядрами.......................................................... 104
§ 7.2. Зведення задачі про власні функції симетричного ядра
до крайової задачі................................................................. 108
§ 7.3. Розвинення симетричного ядра та його ітерованих ядер
за власними функціями ядра............................................... 111
§ 7.4. Інтегральні рівняння та крайові задачі, звідні до інте-
гральних рівнянь з симетричним ядром............................. 112
Питання до розділу 7........................................................... 116
Вправи до розділу 7............................................................. 117
РОЗДІЛ 8. ЛІНІЙНІ ІНТЕГРАЛЬНІ РІВНЯННЯ ПЕР-
ШОГО РОДУ............................................................. 118
§ 8.1. Лінійні інтегральні рівняння Фредгольма першого роду.
Теорема Пікара..................................................................... 118
§ 8.2. Лінійні інтегральні рівняння Вольтерри першого роду
та методи їх зведення до рівнянь Вольтерри другого
роду........................................................................................ 122
§ 8.3. Метод квадратур для лінійних інтегральних рівнянь
Вольтерри першого роду..................................................... 127
5
Питання до розділу 8........................................................... 130
Вправи до розділу 8............................................................. 131
РОЗДІЛ 9. ОПЕРАЦІЙНІ МЕТОДИ РОЗВ’ЯЗУВАННЯ
ІНТЕГРАЛЬНИХ РІВНЯНЬ ВОЛЬТЕРРИ
ТИПУ ЗГОРТКИ...................................................... 133
§ 9.1. Перетворення Лапласа та його властивості. Формули
зображень.............................................................................. 133
§ 9.2. Методи відновлення оригінала за його зображенням....... 137
§ 9.3. Застосування перетворення Лапласа до розв’язування 139
інтегральних рівнянь Вольтерри типу згортки..................
§ 9.4. Лінійні інтегро-диференціальні рівняння типу згортки.... 143
Питання до розділу 9........................................................... 146
Вправи до розділу 9............................................................. 147
ЗАВДАННЯ ДЛЯ САМОСТІЙНОГО РОЗВ’ЯЗУВАННЯ.... 149
ТЕСТОВІ ЗАВДАННЯ................................................................. 169
ВІДПОВІДІ ТА ВКАЗІВКИ ДО РОЗВ’ЯЗУВАННЯ
ВПРАВ........................................................................ 177
ДОДАТОК 1. Застосування системи комп’ютерної алгебри
Mathematіca до розв’язування інтегральних
рівнянь........................................................................ 181
ДОДАТОК 2. Основи роботи з системою комп’ютерної
алгебри Mathematіca................................................ 206
БІОГРАФІЧНИЙ ПОКАЖЧИК................................................ 214
ПРЕДМЕТНИЙ ПОКАЖЧИК................................................... 217
СПИСОК РЕКОМЕНДОВАНОЇ ЛІТЕРАТУРИ.................... 220
6
ПЕРЕДМОВА
7
гральних рівнянь: означення та властивості метричних, нормо-
ваних та евклідових просторів, принцип стискаючих відображень,
лінійні оператори, обернені оператори та їх властивості, само-
спряжені оператори тощо.
Третій розділ посібника присвячений розв’язуванню ліній-
них інтегральних рівнянь Фредгольма та Вольтерри другого роду
методом ітерованих ядер.
У четвертому розділі вивчаються інтегральні рівняння з
виродженим ядром. Наведені теореми Фредгольма, метод зведен-
ня довільних інтегральних рівнянь Фредгольма другого роду до
рівнянь з виродженим ядром, метод наближеного розв’язування
лінійних інтегральних рівнянь Фредгольма другого роду методом
вироджених ядер.
У п’ятому розділі викладені ітераційні методи розв’язування
інтегральних рівнянь другого роду. Зокрема, обґрунтовується
застосування принципу стискаючих відображень до лінійних інте-
гральних рівнянь Фредгольма та Вольтерри другого роду, метод
простої ітерації наближеного розв’язування лінійних інтегральних
рівнянь другого роду та метод Положія наближеного розв’язу-
вання лінійних інтегральних рівнянь Фредгольма другого роду.
У розділі 6 розглядаються апроксимаційні та проекційні
методи розв’язування лінійних інтегральних рівнянь другого роду,
зокрема, метод квадратур для лінійних інтегральних рівнянь
Фредгольма і Вольтерри другого роду, методи найменших квадра-
тів, колокації, Гальоркіна – Петрова, Бубнова – Гальоркіна.
Сьомий розділ посібника присвячений симетричним інте-
гральним рівняння та звідним до них.
У розділі 8 вивчаються лінійні інтегральні рівняння Фред-
гольма і Вольтерри першого роду, зокрема, обґрунтовується метод
квадратур для рівнянь Вольтерри першого роду.
Дев’ятий розділ присвячений операційним методам (на
основі перетворення Лапласа) розв’язування інтегральних рівнянь
8
Вольтерри типу згортки, систем таких рівнянь і лінійних інтегро-
диференціальних рівнянь типу згортки.
Для кращого розуміння важливих понять, теорем, методів у
всіх розділах наведені приклади розв’язування конкретних задач.
Кожен розділ супроводжується питаннями для контролю й
самоконтролю засвоєння матеріалу та вправами, які у поєднанні з
іншими збірниками можуть бути основою для проведення прак-
тичних занять з певної теми. Кінець розв’язаних прикладів і задач
позначається символом ●, доведення теорем – символом ■.
У додатку 2 для майже всіх розв’язаних у відповідних темах
прикладів наводяться їх розв’язання з допомогою пакета символь-
них обчислень Mathematіca. З основами роботи з ним читач може
ознайомитись у додатку 1.
У списку літератури читач знайде перелік літературних
джерел, у яких питання, висвітлені у цьому посібнику, викладені
по-іншому або більш повно.
Автори висловлюють щиру вдячність рецензентам профе-
сорам Кукушу О. Г., Мойсишину В. М., Черевку І. М. за корисні
критичні зауваження й методичні поради, які безумовно сприяли
покращенню якості рукопису.
Усі критичні зауваження, рекомендації й побажання з вдяч-
ністю будуть сприйняті авторами та враховані для покращення
змісту наступних видань посібника. Інформацію такого роду
просимо надсилати на електронні пошти авторів:
taras_vasylyshyn@mail.ru (Василишин Т. В.),
tarasgoy@yahoo.com (Гой Т. П.),
fedak_ivan@rambler.ru (Федак І. В.).
9
Розділ 1
ІНТЕГРАЛЬНІ РІВНЯННЯ ТА ЗАДАЧІ,
ЯКІ ПРИВОДЯТЬ ДО НИХ
K ( x, s)y(s) ds f ( x)
a
(1.1)
10
Надалі вважатимемо, що функція K ( x, s) є неперервною у
квадраті Q або задовольняє умову
K ( x, s) dxds ,
2
(1.3)
Q
фредгольмовим.
Якщо у рівняннях (1.1), (1.2) f ( x) 0, то ці рівняння нази-
вають однорідними, інакше – неоднорідними.
Ще одним важливим класом лінійних інтегральних рівнянь є
лінійні інтегральні рівняння Вольтерри:
x
K ( x, s) y( s) ds f ( x),
a
a x b,
x
y ( x ) K ( x, s ) y ( s ) ds f ( x ), a x b,
a
K ( x, s) dx ds .
2
K ( M , P) y ( P) d
p f ( M ), M , P .
11
Нелінійним інтегральним рівнянням називають інтегральне
рівняння, в яке шукана функція входить нелінійно. Нелінійні інте-
гральні рівняння дуже різноманітні, тому провести їх повну класи-
фікацію практично неможливо. Виділимо три найпоширеніші
класи таких рівнянь:
b b
K x, s, y(s) ds f ( x),
a
y ( x) K x, s, y (s ) ds f ( x) –
a
K ( x, s) F s, y(s) ds f ( x),
a
b
y ( x) K ( x, s) F s, y ( s) ds f ( x) –
a
K x, s, y( s) ds f ( x),
a
a x b,
x
y ( x ) K x, s, y ( s ) ds f ( x ), a x b, –
a
12
де a j ( x), j 0,1,..., n, Km ( x, s), m 0,1,..., p, і f ( x) – відомі функції,
y ( x) – шукана функція.
Як і для звичайних диференціальних рівнянь, на розв’язок
інтегро-диференціального рівняння (1.4) часто накладають почат-
кові умови:
y( x0 ) y0 , y( x0 ) y0 , ..., y ( n1) ( x0 ) y0( n1) .
Крім окремих інтегральних рівнянь, розглядають також їх
системи. Зокрема, система лінійних інтегральних рівнянь Фред-
гольма другого роду має вигляд
n b
yi ( x) Kij ( x, s) y j ( s) ds f i ( x), i 1,2,..., n. (1.5)
j 1 a
| K ( x, s) | dxds , | f ( x) | dx , i, j 1, 2,..., n,
2 2
ij i
Q a
де Q ( x, s) : a x b, a s b.
Розв’язок y1 ( x), y2 ( x),..., yn ( x) системи (1.5) шукаємо у класі
інтегрованих з квадратом на відрізку [a, b] функцій, тобто
b
| y ( x) | dx , j 1,..., n.
2
j
a
Y ( x) a
K ( x, s) Y ( s) ds F ( x). (1.6)
При цьому
n
| K ( x, s) | dxds | K ( x, s) |2 dxds ,
2
ij
Q* i , j 1 Q
a n (ba ) n b
| F ( x) | dx | fi ( x) |2 dx .
2
a i 1 a
K
j 1 a
ij ( x, s) y j ( s)ds fi ( x), i 1, 2,..., n.
14
Можна також вважати, що формула (1.7) визначає розв’язок
інтегрального рівняння (1.8), в якому f ( y ) – задана, а F ( x) –
шукана функція.
2. До інтегрального рівняння (взагалі, нелінійного)
x
y ( x) y0 f t , y (t ) dt (1.9)
x0
15
Якщо позначити
K ( x, s) a1 ( x) a2 ( x)( x s),
f ( x) F ( x) C1a1 ( x) C1 xa2 ( x) C0a2 ( x),
то маємо лінійне інтегральне рівняння Вольтерри другого роду
x
z ( x) K ( x, s) z ( s) ds f ( x).
0
x
x
x
y ( x) z ( s) ds C1 ds ( x s) z ( s) ds C1 x C0 .
0 0 0
Оскільки
y( x) z( x),
то задачу (1.11) можемо записати як
x
z( x) a1 ( x) z ( x) a2 ( x) z ( s) ds C1
0
x
a3 ( x) ( x s) z ( s) ds C1 x C0 F ( x).
0
Позначаючи
K ( x, s) a2 ( x) a3 ( x)( x s),
16
f ( x) F ( x) C1a2 ( x) C1 xa3 ( x) C0a3 ( x),
одержуємо лінійне інтегро-диференціальне рівняння
x
z( x) a1 ( x) z ( x) K ( x, s) z ( s) ds f ( x)
0
з початковими умовами
z (0) C1 , z(0) C2 .
17
де F ( x) – задана функція, – деяка стала. У цьому нелінійному
інтегральному рівнянні Гаммерштейна ядром є
x(1 s ), 0 x s,
T ( x, s )
s(1 x ), s x 1.
3. Розглянемо задачу про малі коливання струни. Нехай
маємо пружну струну завдовжки l, яка без опору змінює свою
форму, але для збільшення її довжини на l потрібно прикласти
силу k l , де k – деяка стала (закон Гука).
Нехай кінці струни закріплені у точках A і B (рис. 1). Якщо
на струну діє лише горизонтальна сила T, значно більша за інші
сили, які розглядатимемо, то початкове положення струни збігати-
меться з відрізком AB.
Припустимо тепер, що у точці A0 з абсцисою x s до струни
прикладена вертикальна сила P, під дією якої струна набула фор-
му ламаної AC0 B.
А А1 А0 А2 В х
α х s β l
C2
C1
C0
P
y
Рис. 1
Припустимо також, що відхилення A0C0 дуже мале порів-
няно з AA0 та A0 B, а горизонтальний натяг струни залишився
рівним T і під дією сили P. Проектуючи на вісь y сили натягу
струни у точці C0 , з умови рівноваги отримуємо рівність
T sin T sin P.
Оскільки кут малий, то покладаючи наближено
sin tg , sin tg ,
s ls
18
маємо
T T P.
s ls
Отже,
(l s) s
( s) P . (1.12)
Tl
Знайдемо тепер відхилення y ( x) струни від горизонтального
положення у точці з абсцисою x. З рівності (1.12), використовую-
чи подібність трикутників AA1C1 , AA0C0 та BA2C2 , BA0C0 , отри-
муємо, що
y( x) P G( x, s),
де
x(l s )
Tl , 0 x s,
G ( x, s )
(l x) s , s x l.
Tl
Якщо сила P, яка діє на струну, має неперервно розподілену
щільність p( s), то до ділянки струни між точками s та s s буде
прикладена сила, яка наближено дорівнює p( s)s. Вона викли-
катиме відхилення струни на величину G( x, s) p(s)s.
За принципом суперпозиції відхилення, викликані такими
елементарними силами, додаються, тобто
y( x) G( x, s) p( s)s.
s
19
Якщо на струну діє періодична сила, щільність якої задана та
змінюється з часом t за законом p(s)sin t , де 0, то вважати-
мемо, що струна здійснює періодичні коливання за законом
y y( x)sin t.
Крім того, припускаємо, що на ділянку струни між точками s та
s s разом з силою p(s)sin t s діє також сила інерції
d2y
( s)s 2 ( s) y ( s) 2 sin t s.
dt
Таким чином, рівність (1.13) можна записати у вигляді
l
y ( x) sin t G ( x, s) p( s) sin t ( s) y ( s)2 sin t ds.
0
K ( x, s) G( x, s)(s), 2 ,
то отримуємо інтегральне рівняння Фредгольма другого роду
l
y ( x) K ( x, s) y ( s)ds f ( x)
0
Питання до розділу 1
Вправи до розділу 1
0 0
0
2
2sin x
б) y ( x ) , 2, y ( x) sin x cos s y( s)ds sin x ;
2 0
21
x
в) y( x) cos x sin x, e
xs
y ( s) ds sin x ;
0
x
г) y( x) 1, y ( x) 3 x s y (s ) ds ( x 1)3.
2
а) y( x) x; б) y( x) x 1.
4. Доведіть, що функція y( x) e x 1 є розв’язком інтегро-дифе-
ренціального рівняння
x
y( x) e2( x s ) y( s) ds e2 x , y (0) 1, y(0) 1.
0
y1 ( x) xy1 ( s ) ds sy2 ( s ) ds x ,
2
0 0
1 1
y ( x) xsy ( s ) ds y ( s ) ds x.
2
0 1 0 2
22
Розділ 2
ЕЛЕМЕНТИ ФУНКЦІОНАЛЬНОГО АНАЛІЗУ
В ТЕОРІЇ ІНТЕГРАЛЬНИХ РІВНЯНЬ
a x(t ) y(t )
b
( x, y )
2
dt .
Точку x0 називають границею послідовності ( xn ) точок мет-
ричного простору ( X , ) якщо lim ( xn , x0 ) 0.
n
23
( xn , xm ) .
Теорема 2.1. Якщо послідовність ( xn ) є збіжною, то вона
фундаментальна.
Доведення. Нехай lim xn x0 . Тоді для кожного 0 знайдеться
n
25
Якщо A – неперервне відображення, то для існування та єди-
ності нерухомої точки у повному метричному просторі достатньо
вимагати, щоб деякий степінь A був стискаючим відображенням.
§ 2.2. Лінійні нормовані та евклідові простори
Оскільки дискримінант D 2( x, y) 4 x y 0, то
2 2 2
( x, y) x y . (2.3)
Нерівність (2.3) називають нерівністю Коші – Буняковсь-
кого. У просторі L2 [a, b] вона набуває вигляду
b b b
28
Систему {x } ненульових елементів x евклідового простору
E називають ортогональною, якщо ( x , x ) 0 для довільних ,
таких, що . Якщо, крім того, для кожного виконується
рівність x 1, то {x } називають ортогональною нормованою
системою. Зокрема, якщо система {x } є ортогональною, то
x x – ортогональна нормована система.
Теорема 2.4. Будь-яка ортогональна система {x } ненульо-
вих елементів евклідового простору E є лінійно незалежною.
Доведення. Нехай
1 x1 2 x2 ... n xn 0.
Оскільки система {x } ортогональна, то
x
1 1
2 x2 ... n xn , xk k xk , xk 0, k 1, 2,..., n.
Але ( xk , xk ) 0, а тому k 0 для всіх k 1,2,..., n. Отже, система
{x } є лінійно незалежною. ■
Нехай тепер E – нескінченновимірний евклідовий простір і
{k } – довільна ортогональна нормована система елементів цього
простору. Зіставимо кожному елементу x E ряд
c ,
k 1
k k
c x .
2 2
k
k 1
c x .
2 2
k
k 1
c ( x, x ) x .
2
ck ( x, k ), k 1,2,..., 2
k
k 1
31
b b
Ax(t ) K (t, s) x(s) ds
a a
K (t , s) ds x .
Отже,
b
Ax max K (t , s) ds x ,
t [ a ,b ]
a
При цьому A B, бо
2
b b
b b
b 2 b
a a a
2 2
Ax (t ) dt K (t , s ) x ( s ) ds dt K (t , s ) ds x ( s ) ds dt.
a a a
Зокрема, якщо K (t , s) M у квадраті Q, то
A B M (b a).
Оператор A : L L називають оборотним, якщо для кож-
ного y з множини E ( A) значень цього оператора рівняння Ax y
має єдиний розв’язок x D( A). При цьому відображення
A1 : E ( A) D( A), яке кожному y E ( A) зіставляє цей єдиний роз-
в’язок x D( A), називають оберненим оператором до оператора
A. Таким чином,
A1 A A A1 I .
Теорема 2.5. Оператор A1 , обернений до лінійного опера-
тора A, є лінійним.
32
Доведення. Насамперед відзначимо, що множина значень E ( A)
оператора A є підпростором лінійного простору L. Нехай y1 Ax1 ,
y2 Ax2 . Тоді x1 A1 y1 , x2 A1 y2 .
Враховуючи лінійність оператора A, маємо
A(1 x1 2 x2 ) 1 y1 2 y2 .
Застосовуючи до обох частин цієї рівності оператор A1 , одер-
жуємо рівності
A1 (1 y1 2 y2 ) A1 A(1 x1 2 x2 )
1 x1 2 x2 1 A1 y1 2 A1 y2 ,
звідки й випливає лінійність оператора A1. ■
Оператор, обернений до обмеженого оператора, не завжди є
обмеженим оператором. Але справджуються такі твердження:
Теорема 2.6. Якщо лінійний обмежений оператор A взаємно
однозначно відображає банаховий простір L на банаховий прос-
тір L, то обернений оператор A1 є обмеженим.
Теорема 2.7. Якщо A0 : L L – лінійний оператор, який має
обмежений обернений, і A : L L – лінійний оператор, для
якого A0 1 A 1, то для оператора A A0 A також існує
обмежений обернений оператор.
Теорема 2.8 не тільки встановлює умови існування оберне-
ного оператора, а й вказує спосіб його знаходження.
Теорема 2.8. Якщо A – лінійний обмежений оператор, який
відображає банаховий простір L у себе, і A 1, то існує обме-
жений оператор, обернений до оператора I A, причому
( I A)1 I A A2 ... An ... (2.5)
Доведення. Оскільки A 1, то
A A .
k k
k 0 k 0
A
k 0
k
є лінійним обмеженим оператором. Крім того,
33
n n
( I A) A Ak ( I A) I An1.
k
k 0 k 0
k 0 k 0
k 0
34
то при A | | такий ряд збігається і задає обмежений на всьому
просторі L оператор. ■
Розглянемо властивості власних значень і власних функцій
самоспряженого оператора.
Теорема 2.10. Власні значення самоспряженого оператора
A, визначеного у гільбертовому просторі H, є дійсними, а його
власні функції, які відповідають різним власним значенням, є
ортогональними.
Доведення. Нехай H – комплексний гільбертовий простір. Якщо
Ax x, x 0,
то, враховуючи аксіоми скалярного добутку (§ 2.2), отримуємо:
( x, x) (x, x) ( Ax, x) ( x, Ax)
( x, x) (x, x) ( x, x) ( x, x).
Оскільки ( x, x) 0, то , тобто число є дійсним.
Якщо і
Ax x, x 0, Ay y, y 0,
то, враховуючи, що , з рівності
( x, y) (x, y) ( Ax, y) ( x, Ay)
( x, y) (y, x) ( y, x) ( x, y)
отримуємо ( x, y) 0, тобто умову ортогональності власних функ-
цій x, y. ■
Множину M нормованого простору L називають компакт-
ною, якщо з будь-якої нескінченної послідовності її елементів
можна виділити збіжну підпослідовність.
Якщо границі таких підпослідовностей існують, але не
обов’язково належать до M, то таку множину називають перед-
компактною.
Лінійний оператор A : L L називають компактним (ціл-
ком неперервним) оператором, якщо він кожну обмежену мно-
жину простору L переводить у передкомпактну множину просто-
ру L. Оскільки кожна передкомпактна множина є обмеженою, то
кожний компактний оператор є обмеженим. Для скінченновимір-
них просторів L справджується й обернене твердження. Але у
35
нескінченновимірному просторі навіть одиничний оператор
I : L L не є компактним.
Компактні оператори утворюють замкнений підпростір у
просторі обмежених операторів A : L L. Це означає, що лінійна
комбінація та границя збіжної за нормою послідовності компакт-
них операторів є компактним оператором.
Добуток компактних операторів також є компактним опера-
тором. Це випливає з такого твердження:
Теорема 2.11. Якщо оператор A є компактним, а оператор
B – обмеженим, то оператори AB і BA компактні.
Доведення. Якщо множина M є обмеженою, то оператор B пере-
водить її в обмежену множину, яку, в свою чергу, оператор A
переведе у передкомпактну. Отже, оператор AB компактний.
Аналогічно, обмежену множину M оператор A переводить у
передкомпактну множину, яку оператор B знову переведе у
передкомпактну. Тому й оператор BA компактний. ■
Наслідок. Компактний оператор, визначений у нескінченно-
вимірному просторі, не має обмеженого оберненого оператора.
Доведення. Припустимо, що обернений до компактного оператора
A оператор A1 є обмеженим. Тоді з теореми 2.11 випливає, що
одиничний оператор
I AA1 A1 A
є компактним оператором, що не справджується для нескінченно-
вимірного простору. ■
Теорема 2.12. Інтегральний оператор Фредгольма (2.4), яд-
ро якого K (t , s) неперервне у квадраті Q [a, b; a, b], є компакт-
ним оператором у просторі C[a, b].
Доведення. З неперервності функції K (t , s) випливає її обмеже-
ність, тобто | K (t , s) | M , і рівномірна неперервність у квадраті Q.
Отже, для довільного 0 знайдеться таке число () 0, що
для кожного s [a, b] при | t t | виконується нерівність
K (t , s) K (t , s) .
При цьому
36
b
Ax(t ) Ax(t ) K (t , s) K (t , s) | x( s) | ds (b a) x .
a
Ax(t ) K (t , s ) x( s ) ds
a
причому f n ( f , n ), Af 0 0.
Помножимо скалярно обидві частини (2.7) на функцію k .
Тоді
( x0 , k ) ( f0 , k ) 0,
бо числа x0 , f 0 , якщо вони не є нулями, можна розглядати як влас-
ні функції оператора A, які відповідають власному значенню
0. Оскільки
1, n k ,
(n , k )
0, n k ,
38
то для кожного k отримуємо рівність
ck k ck f k , (2.8)
з якої при k 1 однозначно знаходимо всі коефіцієнти
fk
ck .
1 k
Підставляючи такі ck у рівняння (2.7), маємо також x0 f0 .
Таким чином, при k 1 єдиним розв’язком операторного рів-
няння (2.6) є функція
f f
x k k f 0 k k f f k k
k 1 k k 1 k k
або
f
x f k k k .
k 1 k
то отримуємо оцінку
2
A01 A
y y 1
f A01 f f . (2.11)
1 A 0 A
Таким чином, якщо величини A , f f є достатньо мали-
ми, то для наближеного розв’язування рівняння (2.10) досить роз-
в’язати рівняння (2.9).
Для операторних рівнянь другого роду
y Ay f , y A0 y f
відповідна оцінка похибки отриманого наближення має вигляд
y y
2
( I A0 ) 1 | | A 1
(2.12)
1
f ( I A0 ) ff .
1 ( I A0 ) | | A
Оцінимо також похибку n -го наближення розв’язку рівняння
y Ay f , | | A 1,
якщо yn Ayn1 f , n N, y0 f . Для неї отримуємо
y yn
(Ay f ) (Ayn1 f ) | | A y yn1 ...
| |n A y y0 | |n A ( I A)1 f f
n n
40
n 1
| |n 1 A f
| |n A | |n A f
n n
.
n 1 1 | | A
Зауважимо, що така оцінка дозволяє розв’язати й обернену
задачу, тобто за наперед заданою похибкою знайти кількість
необхідних ітерацій для досягнення потрібної точності:
1 | | A
n ln : ln | | A , | | A f 0,
f
де [] – ціла частина числа .
Питання до розділу 2
41
10. Сформулюйте означення та основні властивості компактних
операторів.
Вправи до розділу 2
a x(t ) y(t )
b
2
dt у просторі L2 [a, b].
3. Доведіть, що у метричному просторі C[a, b] кожна фундамен-
тальна послідовність є збіжною.
4. Доведіть, що для довільних неперервних функцій K ( x, s) у
квадраті Q [a, b; a, b] та y ( x) на відрізку [a, b] функція
b
Ay ( x) K ( x, s) y( s) ds також неперервна на відрізку [a, b] .
a
L2 [0,1] відповідно.
6. Обґрунтуйте виконання аксіом норми для норм x max x(t ) і
t[ a ,b ]
b
x a
x 2 (t ) dt у нормованих просторах C[a, b] та L2 [a, b] від-
повідно.
7. Доведіть, що для елементів довільного дійсного евклідового
простору виконується рівність
x y x y 2 x y
2 2
2 2
,
якщо x ( x, x).
2
42
xs
а) K ( x, s) xe ; б) K ( x, s) e ;
s
в) K ( x, s) e s; г) K ( x, s) sin ( x s).
x
43
Розділ 3
МЕТОД ІТЕРОВАНИХ ЯДЕР. ФОРМУЛИ
ФРЕДГОЛЬМА
a a a
bb
b
K ( x, s) K ( s, t )ds y (t ) dt K 2 ( x, t ) y (t ) dt.
a a a
де
b
K 2 ( x, s) K ( x, t ) K (t , s) dt.
a
де
b
K n ( x, s) K ( x, t ) K n 1 (t , s)dt , n 2,3,..., K1 ( x, s) K ( x, s).
a
a a
x x
x
K ( x, s) K ( s, t ) ds y (t ) dt K 2 ( x, t ) y (t ) dt.
a t a
де
x
K 2 ( x, s) K ( x, t ) K (t , s) dt.
s
У загальному випадку
x
A y ( x) K n ( x, s ) y ( s ) ds,
n
(3.4)
a
де
x
K n ( x, s) K ( x, t ) K n 1 (t , s) dt , n 2,3,..., K1 ( x, s) K ( x, s).
s
| |
n 1
n 1
M (b a)
n n 1
є збіжним, то ряд
n1
n1
K n ( x, s) рівномірно
збіжний.
Якщо позначити
R( x, s; ) K1 ( x, s) K 2 ( x, s) ... n1K n ( x, s) ...,
46
то розв’язок y ( x) рівняння (3.5) можемо записати як
b
y ( x) R( x, s; ) f ( s) ds f ( x). (3.8)
a
Розв’язання. Маємо
1, a 0, b 1, K ( x, s) xs 2 , f ( x) x 2 ,
1 1
1
M max | xs | 1, | | M (b a) 1, B x 2 s 4 dxds
2 2
.
x , s[0,1] 15
0 0
у вигляді
x
y ( x) f ( x) R( x, s; ) f ( s) ds. (3.11)
a
( x s)2
x x
K3 ( x, s) K ( x, t ) K 2 (t , s) dt (t s) dt M 3
.
s s
2
Міркуючи аналогічно, отримуємо нерівність
n1
n ( x s)
K n ( x, s ) M ,
(n 1)!
яку можна довести за допомогою методу математичної індукції.
Звідси випливає, що
n 1
n 1 n 1 n (b a )
K n ( x, s ) | | M cn .
(n 1)!
Оскільки за ознакою Д’Аламбера числовий ряд c
n 1
n є збіж-
48
Приклад 3.2. Розв’язати методом ітерованих ядер рівняння
x
y ( x) ( x s) y ( s) ds 4e x . (3.12)
0
( x s )3 ( x s )3 ( x s ) 3
,
2 3 3!
(t s)3 ( x s )5
x
K 3 ( x, s ) ( x t ) dt , ...,
s
6 5!
( x s)2 n1
K n ( x, s ) .
(2n 1)!
Обґрунтуємо останню рівність за допомогою методу мате-
матичної індукції. Для n 1 вона правильна. Припускаючи її
виконання для n k , для n k 1 отримуємо
(t s)2 k 1 (t s) 2 k 1
x x
K k 1 ( x, s) ( x t ) dt ( x s) ( s t ) dt
s
(2 k 1)! s
(2 k 1)!
( x s) ( x s)2 k ( x s)2 k 1 ( x s) 2 k 1
,
(2k 1)! 2k (2k 1)(2k 1)! (2k 1)!
звідки випливає правильність потрібної рівності для всіх n N.
Тепер знайдемо резольвенту рівняння (3.12):
( x s )3 ( x s)2 n1
R( x, s; ) R( x, s;1) ( x s) ... ... sh( x s).
3! (2n 1)!
Отже,
x x x
y ( x) sh( x s) 4e ds 4e 2e
s x x
ds 2e e
x 2s
ds 4e x
0 0 0
2e x x e x (e2 x 1) 4e x (2 x 3)e x e x . ●
49
§ 3.4. Наближене розв’язування лінійних інтегральних
рівнянь другого роду методом ітерованих ядер
Якщо
R( x, s; ) Rn ( x, s; ) , f ( x) m,
то похибка
( x) y( x) y( x)
b b
R( x, s; ) f ( s) ds Rn ( x, s; ) f ( s) ds m(b a).
a a
Rn ( x, s; ) 1 ... xs
4 4 4
і враховуючи, що | | 1, b a 1, m max x 2 1, переконуємося,
x[0,1]
53
b
Bn ( x, s) Cn K ( x, s) n K ( x, t ) Bn1 (t , s) dt , n N.
a
Розв’язання. Маємо
C0 1, B0 ( x, s) K ( x, s) xs 2 ,
1 1
1 1
C1 s s ds ,
2
B1 ( x, s) xs 2 xt 2 ts 2 dt 0.
0
4 4 0
54
Зауважимо, що, розв’язуючи рівняння (3.16) методом ітеро-
ваних ядер, для | | 4 резольвента
2
n 1
2
R( x, s; ) 1 ... ... xs
4 4 4
утворює розбіжний ряд.
Питання до розділу 3
0 0
56
Розділ 4
ТЕОРЕМИ ФРЕДГОЛЬМА
Якщо позначити
b
Ci bi ( s) y ( s)ds, i 1, 2,..., m,
a
57
Звідси, враховуючи лінійну незалежність функцій ai ( x), одер-
жуємо систему рівнянь
b
m
Ci bi ( s) f ( s) C j a j ( s) ds 0, i 1, 2,..., m.
a j 1
Розкриваючи дужки, отримуємо систему рівнянь
m b b
Ci C j a j ( s)bi ( s) ds bi ( s) f ( s)ds, i 1,2,..., m. (4.5)
j 1 a a
Якщо позначити
b
ij a j ( s )bi ( s ) ds,
a
b
fi bi ( s) f ( s)ds,
a
58
Підсумуємо наведені результати у вигляді теореми:
Теорема 4.1 (перша теорема Фредгольма). Якщо число
не є характеристичним, то лінійне інтегральне рівняння Фред-
гольма другого роду з виродженим ядром має єдиний розв’язок для
довільної інтегровної з квадратом на відрізку [a, b] функції f ( x).
Оскільки при цьому відповідне рівнянню (4.2) однорідне
рівняння має тільки тривіальний розв’язок, то теорему 4.1 часто
формулюють інакше:
Для того, щоб лінійне інтегральне рівняння Фредгольма дру-
гого роду з виродженим ядром мало єдиний розв’язок для довіль-
ної інтегровної з квадратом на відрізку [a, b] функції f ( x), необ-
хідно і достатньо, щоб відповідне однорідне рівняння мало тільки
тривіальний розв’язок.
Для практичного розв’язування інтегральних рівнянь Фред-
гольма другого роду з виродженим ядром не обов’язково запам’я-
товувати систему (4.6): достатньо підставити у задане рівняння
шуканий розв’язок у вигляді (4.4) та прирівняти коефіцієнти біля
однакових лінійно незалежних функцій ai ( x).
Приклад 4.1. Розв’язати рівняння
1
y ( x) xs 2 y ( s) ds x 2 .
0
Розв’язання. Оскільки
1, K ( x, s) xs 2 , m 1,
a1 ( x) x, b1 (s) s 2 , f ( x) x 2 ,
то розв’язок шукаємо у вигляді
y( x) C1 x x 2 .
Підставляючи його у задане рівняння, отримуємо тотожність
1
C1 x x xs 2 (C1s s 2 ) ds x 2 ,
2
59
§ 4.2. Друга та третя теореми Фредгольма для інтегральних
рівнянь Фредгольма другого роду з виродженим ядром
60
Розв’язання. Розв’язок шукаємо у вигляді y( x) C1 x. Тоді
1
C1 x xs 2C1s ds,
0
з виродженим ядром
m
K ( x, s) K ( x, s) ai ( s)bi ( x).
*
i 1
позначимо
b
C ai ( s ) z ( s ) ds,
*
i
i 1,2,..., m,
a
b
*ij b j ( s)ai ( s) ds ji , i, j 1,2,..., m.
a
61
Теорема 4.2 (друга теорема Фредгольма). Лінійне однорід-
не рівняння Фредгольма другого роду з виродженим ядром і спря-
жене до нього однорідне рівняння мають однакову кількість
лінійно незалежних розв’язків.
1
Наприклад, для рівняння z ( x) x 2 sz ( s ) ds, спряженого до
0
1
рівняння y ( x) xs 2 y ( s )ds, характеристичному числу 4 від-
0
C i 1
*( k )
i i f 0, k 1,2,..., p,
або, що те саме,
m b
C b (s) f (s)ds 0.
i 1
*( k )
i i (4.10)
a
C b ( s) f ( s) ds 0,
*( k )
i i
a i 1
тобто
b
z (s) f (s)ds 0,
a
k
k 1,2,..., p.
f (s)b (s) ds 0,
a
i
i 1,2,..., m.
є ортогональними, бо
1 1
1
0 z(s) f (s)ds 0 s s ds 5 0.
2 2
63
За теоремою Вейєрштраса кожне неперервне у квадраті Q
ядро K ( x, s) можна зобразити як
K ( x, s) K В ( x, s) K ( x, s),
де ядро
n
K В ( x, s) ak ( x)bk ( s)
k 1
то отримуємо рівняння
b
y ( x) f ( x) R ( x, s; ) f ( s ) ds
a
(4.11)
b b
K В ( x, s ) R ( x, ; ) K В (, s) d y ( s ) ds,
a a
яке еквівалентне рівнянню (4.2).
64
Перші два доданки правої частини рівняння (4.11) є відоми-
ми функціями. Крім того,
b b n
R ( x, ; ) K
В (, s) d R ( x, ; ) ak ()bk ( s) d
a a k 1
n b n
bk ( s) R ( x, ; )ak ()d Ak ( x; ) bk ( s),
k 1 a k 1
65
Теорема 4.7. Для того, щоб лінійне неоднорідне інтегральне
рівняння Фредгольма другого роду мало розв’язок, необхідно і
достатньо, щоб його вільний член f ( x) був ортогональним до
всіх розв’язків відповідного спряженого однорідного рівняння.
Теорема 4.8. Лінійне інтегральне рівняння Фредгольма дру-
гого роду має не більше як зліченну кількість характеристичних
чисел, які можуть скупчуватися лише на нескінченності.
Теорема 4.9 (альтернатива Фредгольма). Або лінійне неод-
норідне інтегральне рівняння Фредгольма другого роду має єдиний
розв’язок для довільної правої частини, або відповідне однорідне
рівняння має нетривіальні розв’язки.
Теореми (4.5)–(4.9) є окремими випадками відповідних тео-
рем та альтернативи Фредгольма для операторних рівнянь Фред-
гольма другого роду
y Ay f
з довільним компактним оператором A.
Відзначимо, що теореми Фредгольма справджуються також
для деяких нефредгольмових рівнянь, зокрема, для рівнянь, ядра
яких мають слабку особливість (§ 3.5). Але у загальному випадку
для довільних нефредгольмових рівнянь вони не справджуються.
66
Розглянемо тепер два лінійні інтегральні рівняння Фредголь-
ма другого роду
b
y ( x) K ( x, s) y ( s)ds f ( x), (4.13)
a
b
y ( x) K 0 ( x, s) y ( s)ds f ( x). (4.14)
a
K ( x, s) K ( x, s) ds ,
a
0
R ( x, s; ) ds M ,
a
0
| f ( x) f ( x)| .
67
Неперервну залежність розв’язків лінійних інтегральних рів-
нянь Фредгольма другого роду від ядер можна використати для їх
наближеного розв’язування, замінюючи ядро близьким до нього
виродженим ядром. Такий спосіб наближеного розв’язування інте-
гральних рівнянь називають методом вироджених ядер.
Проілюструємо застосування цього методу вироджених ядер
на прикладі.
Приклад 4.3. Наближено розв’язати рівняння
1
y ( x) sin( xs 2 ) y ( s) ds x 2
0
Також
max f ( x) max | x 2| 1, f ( x) f ( x),
x[0,1] x[0,1]
1, 1 42, M 4 9, 0, m 1,
68
4 1 13
| | 1 | | M 1 1 1 1.
9 42 378
Отже, для точного розв’язку y ( x) на відрізку [0;1] маємо
оцінку
2
4 1
1 1 1 4
y ( x) y ( x)
9 42
1 1 1 0 0,05. ●
4 1 9
1 1 1 1
9 42
Питання до розділу 4
Вправи до розділу 4
параметра .
1
4. Знайдіть наближений розв’язок рівняння y ( x) e xs y ( s) ds 1,
0
70
Розділ 5
ІТЕРАЦІЙНІ МЕТОДИ РОЗВ’ЯЗУВАННЯ ЛІНІЙНИХ
ІНТЕГРАЛЬНИХ РІВНЯНЬ ДРУГОГО РОДУ
| | M (b a) y , y ,
то
71
Ay , Ay | | M (b a) y , y .
Отже, відображення (5.2) буде стискаючим, якщо
| | M (b a) 1. (5.3)
За виконання умови (5.3) інтегральне рівняння (5.1) матиме
єдиний розв’язок у просторі C[a, b]. Знайти його можна методом
послідовних наближень. Для цього потрібно:
1. Вибрати довільну неперервну на відрізку [a, b] функцію
y0 ( x). Зокрема, доцільно взяти y0 ( x) f ( x).
2. Знайти послідовні наближення за формулами
b
yn ( x) K ( x, s) yn1 ( s) ds f ( x), n N.
a
Q a
Ay , Ay Ay ( x) Ay ( x)
2
2
dx
a
2
b b
K ( x, s) y ( s) y ( s) ds dx
2
a a
72
b 2
b b
K ( x, s)ds y ( s) y ( s) ds dx
2 2
a a a
2 K 2 ( x, s) dsdx 2 y , y 2 B 22 y , y .
Q
Розв’язання. Оскільки 1, K ( x, s) xs , a 0, b 1, f ( x) x 2 ,
2
де
2
Kij ( x, s) dx ds , i, j 1, 2,..., n, Q [a, b; a, b],
Q
b
fi ( x) dx , i 1, 2,..., n.
2
74
наприклад, yi(0) ( x) fi ( x), i 1, 2,..., n, побудувати послідовні на-
ближення за формулами
n b
y ( x) Kij ( x, s) y (jk 1) ( s)ds f i ( x), i 1, 2,..., n, k N,
(k )
i
j 1 a
та знайти розв’язок
yi ( x) lim yi( k ) ( x), i 1,2,..., n.
k
75
x x
| | K ( x, s) Ay ( s) Ay ( s) ds | | M | | M ( s a) y , y ds
a a
( x a) 2
| |2 M 2 y, y ,
2
... ... ... ,
( x a)n
A y ( x) A y ( x) | | M
n n n n
y , y , x [a, b].
n!
Звідси
An y , An y n y , y ,
де
(b a)n
n | | Mn n
.
n!
Оскільки за ознакою Д’Аламбера ряд
n 1
n збіжний для всіх , то
76
Зауважимо, що аналогічно можна встановити існування та
єдиність розв’язку рівняння (5.8) для кожного і у просторі
L 2 [a, b]. Пропонуємо читачам обґрунтувати це твердження само-
стійно у вигляді вправи.
Приклад 5.2. Розв’язати методом послідовних наближень
лінійне інтегральне рівняння Вольтерри другого роду
x
y ( x) ( x s) y ( s)ds 1.
0
2 6 8 2 24
Доведемо методом математичної індукції, що
x2 x4 x2n
yn ( x) 1 .
2! 4! (2n)!
Для n 1 ця рівність правильна. Припустивши її правильність для
всіх n k , для n k 1 отримуємо
x
yk 1 ( x ) 1 ( x s ) yk ( s ) ds
0
x
s2 s4 s 2( k 1) s 2 k
1 ( x s ) 1 ds
0
2! 4! 2( k 1) ! (2 k )!
x
s2k
x
s2k
1 ( x s) yk 1 ( s) ds yk ( x) ( x s) ds
0 (2 k )! 0
(2 k )!
x2 x4 x2k x 2( k 1)
1 .
2! 4! (2k )! 2( k 1) !
Таким чином, остаточно одержуємо розв’язок
x2 x4 x2n
y ( x) lim 1 ... ch x. ●
n
2! 4! (2n)!
77
§ 5.3. Поняття про метод послідовних наближень
для нелінійних інтегральних рівнянь
тобто
Ay , Ay | | L (b a) y , y .
Таким чином, якщо
| | L(b a) 1, (5.12)
то відображення (5.11) є стискаючим і, отже, має єдину нерухому
точку. Відповідно рівняння (5.10) у паралелепіпеді V матиме
єдиний розв’язок, який можна отримати у такий спосіб:
78
1. Вибираємо довільну неперервну на відрізку [a, b] функцію
y0 ( x), наприклад, y0 ( x) f ( x).
2. Шукаємо послідовні наближення за формулами
b
yn ( x) K x, s, yn 1 ( s) ds f ( x), n N.
a
K ( x, s ) y ( s ) y K ( x, s) M .
Зокрема, якщо
1, a x0 , K x, s, y(s) F s, y (s) ,
f ( x) y0 ,
то одержуємо відому теорему Пікара про існування та єдиність
розв’язку задачі Коші
y F ( x, y), y( x0 ) y0 .
79
§ 5.4. Наближене розв’язування лінійних інтегральних
рівнянь другого роду методом простої ітерації
то позначимо
b
q1 | | max K ( x, s) ds 1,
x[ a , b ]
a
12
b b
q2 | | B | | K ( x, s) ds dx 1.
2
a a
Оскільки
| | A C[ a ,b ] q1 1, || A L2 [ a ,b ]
q2 1,
то маємо такі оцінки для похибок наближеного розв’язку
y( x) yn ( x) лінійного інтегрального рівняння Фредгольма дру-
гого роду
80
b
y ( x) K ( x, s) y ( s)ds f ( x)
a
q2n1
y yn q y y0
n
f , (5.14)
1 q2
L2 2 L2 L2
де
y yn C
max y( x) yn ( x) , f C
max f ( x) ,
x[ a , b ] x[ a , b ]
12 12
b b
y yn L y ( x) yn ( x) dx , f L f ( x) dx .
2 2
a a
2 2
81
Відзначимо, що знаючи точний розв’язок y( x) 4 x 15 x 2
заданого рівняння, похибку вказаного наближення можна оцінити
і безпосередньо:
4 21 x 1
y y3 C max x x 2 x x 2 max 0, 004,
x[0,1] 15 80 x[0,1] 240 240
12 12
1 4 21
2
1 x 2
y y3 L x x 2 x x 2 dx dx 0, 002.
2 0 15 80 0 240
Зауважимо, що оцінки (5.13), (5.14) дозволяють розв’язати й
обернену задачу: за наперед заданою похибкою знайти кількість
необхідних ітерацій для досягнення потрібної точності:
ln (1 q1 ) ln f C
n , q1 f C 0,
ln q 1
ln (1 q2 ) ln f L
n 2
, q2 f L 0,
ln q 2 2
a a
12
b
qK max K ( x, s) ds .
2
x[ a , b ] a
82
§ 5.5. Метод Положія
у вигляді
b
де 1 , F ( x) f ( x).
Визначимо друге ітероване ядро
b
K 2 ( x, s) K ( x, t ) K (t , s) dt
a
і функцію
N ( x, s) K2 ( x, s) 2 K ( x, s).
Позначимо
F ( x)
( x) y ( x) .
Відносно функції ( x) будуватимемо всі послідовні наближення.
Нульове наближення вибираємо за формулою
F * ( x)
0 ( x) 2 ,
де
1
b
F ( x) K 2 ( x, s) K ( x, s) F ( s)ds,
*
a
12
b b 2 b b
2 | | K ( x, s) dxds K 2 ( x, s) dxds
2
a a a a
2 2 | | B B 2 .
Наступні послідовні наближення мають вигляд
83
b
2
n ( x) 0 ( x) q n 1 ( x) N ( x, s) n 1 ( s) ds, n N,
a
де q 1 22 .
Якщо функції K ( x, s) та f ( x) обмежені, то наведений алго-
ритм послідовних наближень збігається для довільних значень ,
які не є характеристичними числами, що свідчить про значно шир-
шу область збіжності методу, ніж у методі простої ітерації. При
цьому
y( x) lim n ( x) f ( x).
n
знаходимо
1
xs 2
K 2 ( x, s) xt ts dt
2 2
,
0
4
xs 2 7 xs 2
N ( x, s ) 2 xs
2
,
4 4
1
xs 2 3x
F ( x)
*
xs 2 ( s 2 )ds .
0
4 20
З урахуванням нерівності
2 15 1
2 2 | | B B2 1 1,583,
15 15
беремо з надлишком 3. При цьому 0 ( x) x 10, q 1 3.
Отже, послідовні наближення шукаємо за формулами
2 7 xs 2
1
x 1
n ( x) n 1 ( x) n 1 ( s) ds, n N.
10 3 30 4
Послідовно знаходимо
1
x 1 x 7 s 13
1 ( x) xs 2 ds x,
10 3 10 6 0 10 80
84
1
x 1 13 7 13 129
2 ( x) x xs 2 s ds x,
10 3 80 60 80 640
1
x 1 129 7 129 1157
3 ( x) x xs 2 s ds x.
10 3 640 60 640 5120
Звідси
1157
y3 ( x) 3 ( x) x 2 x x2.
5120
Порівнюючи з точним розв’язком
y( x) 4 x 15 x 2 ,
одержуємо похибку
4 1157
y ( x) y3 ( x) x x 2 x x 2 0,04 x 0,04. ●
15 5120
Пропонуємо читачам самостійно проаналізувати, чи зале-
жить похибка від вибору , беручи, наприклад, 2, 4.
де
85
b
1
1 y1 ( x) dx. (5.17)
ha
Зінтегрувавши обидві частини рівності (5.16) за змінною x
на відрізку [a, b], з урахуванням (5.17) знаходимо
b
1
1 f ( x) dx.
Da
Таким чином,
b b
1
y1 ( x) f ( x) f ( x) dx K ( x, s) ds.
Da a
де
b
1
n n ( x) dx,
ha
n ( x) yn ( x) yn1 ( x), n 2,3,..., 1 ( x) y1 ( x).
Звідси випливає, що
b b
n ( x) K ( x, s)n1 ( s) ds ( n n1 ) K ( x, s) ds,
a a
а тому
b b b b
h n dx K ( x, s)n1 ( s) ds ( n n1 ) dx K ( x, s) ds.
a a a a
Отже,
1
b b b b
n dx K ( x, s)n1 ( s) ds n1 dx K ( x, s) ds .
Da a a a
Приклад 5.5. Знайти наближений розв’язок рівняння
1
y ( x) xs 2 y ( s) ds x 2
0
50 15
6 2 2 2 3
1 1 1 1
2
2 dx xs s s ds dx xs 2 ds ,
5 0 0 15 50 0 50
3
1
2 19
y2 ( x) x xs 2 s 2 s ds x 2 x.
2
0 15 50 75
Тоді
9 x 3x
2 ( x) y2 ( x) y1 ( x) ,
75 25
6
1 1 1 1
2 3 3 3
3 dx xs s ds dx xs 2 ds ,
50 0 25 50 0 0 500
3
1
19 199
y3 ( x) x xs 2 s 2
2
s ds x
2
x.
0 75 500 750
Для похибки наближення y3 ( x) отримуємо оцінку
4 199 1
y ( x) y3 ( x) x x2 x x2 0,002. ●
15 750 750
Зауважимо, що метод усереднення функціональних поправок
завжди може бути реалізований за виконання достатньої умови
N
L (1 L) 1,
D
де
b
K ( x, s) ds L, x a, b ,
a
b b b b
D h dx K ( x, s ) ds 0, N dx K ( x, s) ds.
a a a a
87
Зокрема, для прикладу 5.5 ця умова виконується:
1 1 5 N 3
L , N , D , L (1 L) 1.
3 6 6 D 5
Питання до розділу 5
88
Вправи до розділу 5
y ( x ) e y ( s )ds 4 e z ( s )ds,
x xs
0 0
x x
z( x) 1 e
y ( s )ds z ( s )ds.
( x s )
0 0
5. Оцініть похибки наближень точних розв’язків рівнянь з впра-
ви 1 функціями y ( x) y3 ( x) у просторах C[a, b] та L2 [a, b] .
Яким потрібно вибрати n для досягнення точності до 0,001?
6. Знайдіть другі послідовні наближення розв’язку лінійного інте-
грального рівняння Фредгольма другого роду
1
y ( x) x 2 s 3 y ( s ) ds 5 x 2
0
методами: а) Положія; б) усереднення функціональних по-
правок. Порівняйте отримані функції з точним розв’язком
y ( x) 6 x 2 .
Розділ 6
89
АПРОКСИМАЦІЙНІ ТА ПРОЕКЦІЙНІ МЕТОДИ
РОЗВ’ЯЗУВАННЯ ЛІНІЙНИХ ІНТЕГРАЛЬНИХ
РІВНЯНЬ ДРУГОГО РОДУ
F (s)ds A F (s ) R( F ),
a j 0
j j
де Ri R K ( xi , s) y(s) .
Відкидаючи малу величину Ri , для відшукання наближених
значень y ( xi ) yi розв’язку y ( x) у вузлах x0 , x1 ,..., xn отримуємо
лінійну систему алгебраїчних рівнянь
90
n
yi Aj Kij y j fi , i 0,1,..., n, (6.2)
j 0
0 F ( s ) ds
6
F (0) 4 F
2
F (1) .
У результаті отримуємо систему рівнянь
91
y0 0 y0 4 0 y1 0 y2 6 0,
y1 0 y0 4 0,125 y1 0,5 y2 6 0, 25,
y 0 y 4 0, 25 y 1 y 6 1.
2 0 1 2
0 F ( s ) ds
8
F (0) 3 F
3
3 F
3
F (1)
для вузлів x0 0, x1 1 3, x2 2 3, x3 1.
Наведемо загальну формулу Сімпсона для наближеного об-
числення інтегралів при розбитті відрізка [a, b] на n 2k рівних
частин точками a x0 x1 ... x2 k b :
b
F (s) ds
a
ba
6k
F ( x0 ) F ( x2k ) 2 F ( x2 ) F ( x4 ) ... F ( x2k 2 )
4 F ( x1 ) F ( x3 ) ... F ( x2 k 1 ) .
Похибка цієї формули
(b a)5 (4)
R( F ) F (), a b.
180n 4
y ( xi ) K ( xi , s) y ( s) ds f ( xi ), i 0,1,..., n,
a
a F ( s ) ds F ( x0 ) F ( x2 k ) F ( x1 ) F ( x2 ) ... F ( xn 1 ) ,
n 2
похибка якої
(b a)3
R( F ) 2
F (), a b,
12n
рекурентну формулу (6.5) можемо записати у вигляді
y1 1 0,5 h K11 f1 0,5 h K10 y0 ,
1
y0 f0 ,
i 1
yi 1 0,5h Kii fi 0,5 h Ki 0 y0 h Kij y j , i 2,3,..., n,
1
j 1
де h – відстань між сусідніми вузлами.
93
Приклад 6.2. Розв’язати методом квадратур рівняння
x
y ( x) ( x s) y ( s) ds 1.
0
y3
1
1 0,5 h K33
f3 0,5h K30 y0 h K31 y1 K32 y2 1,185,
y4
1
1 0,5 h K 44
f4 0,5 hK40 y0 h K41 y1 K42 y2 K43 y3
1,336,
1
y5
1 0,5h K55
f5 0,5h K50 y0 h K51 y1 K52 y2 K53 y3 K54 y4 1,541.
Для порівняння наведемо відповідні значення точного роз-
в’язку y( x) ch x :
1,000; 1,020; 1,081; 1,186; 1,337; 1,543.
Як бачимо, похибка у вибраних вузлах не перевищує 0,002. ●
94
§ 6.3. Основні ідеї проекційних методів розв’язування
інтегральних рівнянь. Метод найменших квадратів
95
торного рівняння другого роду
y Ay f .
Для нього неув’язка
n
n Ci (i Ai ) f .
i 1
n b
Ci i ( x) K ( x, s)i ( s) ds f ( x).
i 1 a
Сталі Ci , i 1,2,..., n, визначимо з умови мінімуму інтеграла
b
J 2 ( x, C ) dx, тобто з системи
a
J
0, i 1, 2,..., n.
Ci
Це приводить до системи лінійних алгебраїчних рівнянь
n
a ()C
j 1
ij j bi , i 1,2,..., n,
де
96
aij ()
b b
b
(6.7)
i ( x) K ( x, s)i ( s) ds j ( x) K ( x, s) j ( s)ds dx,
a a a
b
b
bi f ( x) i ( x) K ( x, s)i ( s) ds dx. (6.8)
a a
Приклад 6.3. Розв’язати методом найменших квадратів рів-
няння
1
y ( x) xs 2 y ( s)ds x 2 .
0
U y ( x) ( x) dx 0,
a
j j 1,2,..., n,
98
1
y ( x) xs 2 y ( s)ds x 2 .
0
0 0 0 0 0 0
1 1 1 1 1 1
a12 x 2 dx x 2 s 3dsdx 0, 25, a22 x3dx x3 s 3dsdx 0,188,
0 0 0 0 0 0
1 1 1 1
b1 x xs ds dx 0,067,
4
b2 x 2
xs ds dx 0,05.
4
0 0 0 0
Отже,
0,389 C1 0, 25 C2 0, 067,
0, 25 C1 0,188 C2 0, 05,
звідки знаходимо С1 0, 002, С2 0, 268.
Таким чином,
y ( x) x 2 0, 268 x 0,002.
Порівнюючи знайдений наближений розв’язок з точним роз-
в’язком y( x) 4 x 15 x 2 , переконуємося, що його похибка на від-
різку [0;1] становить менше, ніж 0,01. ●
99
Окремим випадком методу Гальоркіна – Петрова є метод
Бубнова – Гальоркіна, в якому обидві системи координатних
функцій збігаються, тобто i ( x) i ( x), i 1,2,..., n. Шукаючи тоді
наближений розв’язок рівняння (6.1) у вигляді (6.9), з умови орто-
гональності неув’язки ( x, C ) U y ( x) до кожної з функцій
i ( x), i 1,2,..., n, отримуємо систему лінійних алгебраїчних рів-
нянь
n
C (
j 1
j ij ij ) i , i 1,2,..., n, (6.10)
де
b b b
ij i ( x) j ( x) dx, ij dx K ( x, s)i ( x) j ( s)ds,
a a a
b b
i dx K ( x, s)i ( x) f ( s)ds, i, j 1, 2,..., n.
a a
1 C C x 1 xs 2 ( s 2 C C s ) ds dx 0,
0 1 2 0 1 2
1
1
C 1 C2 x xs 2 ( s 2 C1 C2 s ) ds x dx 0,
0 0
яка після обчислення інтегралів набуває вигляду
0,833 C1 0,375 C2 0,1,
0,389 C1 0,25 C2 0,067.
Звідси С1 0, 002, С2 0, 271, а отже, y ( x) 0, 271 x x 2 0,002.
100
Порівнюючи з точним розв’язком y( x) 4 x 15 x 2 , бачимо,
що похибка отриманого наближення становить близько 0,01. ●
Для покращення точності наближеного розв’язку рівняння
(6.1) для побудови системи функцій i ( x), i 1,2,..., n, у методі
Бубнова – Гальоркіна застосовують метод моментів. Він полягає
у тому, що спочатку фіксують деяку функцію 1 ( x), а потім визна-
чають наступні координатні функції за формулами
b
i ( x) K ( x, s)i1 ( s) ds, i 2,3,..., n.
a
0 0
3
Тому наближений розв’язок шукаємо у вигляді
y ( x) x 2 C1 1 C2 x 3.
З умови ортогональності неув’язки до функцій 1 ( x), 2 ( x)
отримуємо систему рівнянь
0 1 2 0 1 2
1 C C x 3 1 xs 2 s 2 C C s 3 ds dx 0,
1
0 1
0
C 1 C2 x 3 xs 2 s 2 C1 C2 s 3 ds x 3 dx 0,
або
0,833 C1 0,125 C2 0,1,
0,130 C1 0,028 C2 0,022.
Оскільки С1 0, 007, С2 0, 750, то наближено маємо
y ( x) x 2 0, 250 x 0,007.
Порівнюючи знайдений наближений розв’язок з точним роз-
в’язком y( x) 4 x 15 x 2 , переконуємося, що його похибка на від-
різку [0;1] становить менше, ніж 0,01. ●
101
§ 6.5. Метод колокації
C ( x , ) f ( x ),
i 1
i i j j j 1, 2,..., n, (6.11)
де
b
i ( x, ) i ( x) K ( x, s)i ( s) ds, i 1,2,..., n.
a
102
1
( x, C1 , C2 , C3 ) C1 C2 x C3 x xs 2 (C1 C2 s C3 s 2 )ds x 2
2
C1 1 x 3 C2 x x 4 C3 x 2 x 5 x 2 .
Вибираючи точки колокації x1 0, x2 0,5, x3 1 і вимагаючи
щоб неув’язка у цих точках перетворювалася в нуль, одержуємо
систему рівнянь
C1 0,
0,833 C1 0,375 C2 0,15 C3 0,25,
0,667 C 0,75 C 0,8 C 1.
1 2 3
Питання до розділу 6
103
6. Що об’єднує метод Гальоркіна – Петрова і метод Бубнова –
Гальоркіна? Чим вони відрізняються?
7. Який зв'язок між методом моментів і методом Бубнова –
Гальоркіна?
8. Що є спільного і які відмінності методу колокації від інших
проекційних методів наближеного розв’язування лінійних інте-
гральних рівнянь Фредгольма другого роду?
9. Від чого залежить точність знайдених наближених розв’язків
лінійних інтегральних рівнянь Фредгольма другого роду проек-
ційними методами?
10. Як, на вашу думку, з допомогою проекційних методів можна
отримати точний розв’язок лінійних інтегральних рівнянь
Фредгольма другого роду з виродженим ядром?
Вправи до розділу 6
105
k ( x ) k ( s )
b
y ( x) f ( x) f ( s) ds, k , (7.4)
a k k
або
b
y ( x) f ( x) R( x, s; ) f ( s) ds, k ,
a
де Ck – довільні сталі.
Як випливає з формул (7.4), (7.5), для отримання розв’язку
інтегрального рівняння (7.3) з симетричним ядром необхідно
знати характеристичні числа та власні функції цього ядра. Для їх
знаходження розглянемо відповідне однорідне рівняння
b
( x) K ( x, s) ( s) ds. (7.6)
a
106
m
( x) Ci ai ( x). (7.8)
i 1
C a ( x) p a ( x) a (s) C a (s) ds
i 1
i i i i i j j
a i 1 j 1
або
m m m b
C a
i i ( x )
i 1 j 1
C j i i
p a ( s ) a j ( s ) ds ai ( x).
i 1 a
Позначимо
b
ij pi ai ( s)a j ( s) ds, i, j 1, 2,..., m.
a
107
1
1
( x) xs ( s) ds
0
3
шукаємо у вигляді ( x) C1 x C2 .
Підставляючи у праву частину рівняння, після очевидних
перетворень одержуємо рівність
1 C C C C
1
xs (C1s C2 ) ds 1 2 x 1 2 .
0
3 3 2 6 3
Згідно з (7.9) система рівнянь для коефіцієнтів C1 , C2 має
вигляд
C1 C1 3 C2 2 ,
C2 C1 6 C2 3
або
(6 2)C1 3C2 0,
(7.10)
1 C (6 2 )C2 0.
Оскільки
6 2 3
D ( ) 36 2 ,
6 2
то характеристичними числами є 1,2 6. Підставляючи 1,2 у
систему (7.10), отримуємо C1 3C2 для 1 6 і C1 C2 для
2 6. Покладаючи у кожному з випадків C2 1, знаходимо
власні функції 1 ( x) 3x 1, 2 ( x) x 1.
При цьому
1 1
0
0 0
Оскільки
1 1
1
1 (3x 1) dx 1, 2 ( x 1)2 dx ,
2 2 2
0 0
3
то функції
1 ( x) 3x 1, 2 ( x) 3( x 1)
утворюють ортогональну нормовану систему власних функцій
заданого ядра. ●
108
§ 7.2. Зведення задачі про власні функції
симетричного ядра до крайової задачі
Для симетричних ядер вигляду
k ( x)k2 ( s), a x s,
K ( x, s ) 1 (7.11)
1
k ( s ) k 2 ( x ), s x b,
де функції k1 ( x), k2 ( x) є лінійно незалежними та двічі неперервно
диференційовними а відрізку [a, b], задачу про знаходження хара-
ктеристичних чисел і власних функцій можна звести до однорід-
ної лінійної крайової задачі
( x) g ( x)( x) h( x, )( x) 0,
(7.12)
1(a) (a) 0, 1(b) (b) 0,
де | 1 | | | 0, | 1 | | | 0. Ті значення , для яких задача
(7.12) має ненульові розв’язки, будуть характеристичними числа-
ми ядра K ( x, s), а самі ненульові розв’язки – власними функціями
ядра (7.11).
Запишемо інтегральне рівняння
b
( x) K ( x, s) ( s) ds
a
у вигляді
x b
( x) k1 ( s)k2 ( x) ( s) ds k1 ( x)k2 ( s ) ( s) ds
a x
або
x b
( x) k2 ( x) k1 ( s) ( s) ds k1 ( x) k2 ( s) ( s) ds. (7.13)
a x
109
де
k1 ( x) k2 ( x)
W ( x) W k1 ( x), k2 ( x)
k1( x) k2 ( x)
є вронскіаном функцій k1 ( x), k2 ( x).
Виключаючи з (7.13)–(7.15) інтеграли
x b
x
( x) ( x) cos x sin s ( s) ds sin x cos s ( s) ds .
0 x
Враховуючи, що вираз у дужках дорівнює ( x), приходимо
до крайової задачі для лінійного диференціального рівняння
( x) ( 1) ( x) (7.16)
з однорідними крайовими умовами
(0) 0, () 0. (7.17)
Нехай 1 0. Тоді загальним розв’язком рівняння (7.16) є
110
( x) C1e ( 1) x C2e (1) x ,
а для знаходження коефіцієнтів C1 , C2 з крайових умов (7.17) отри-
муємо однорідну систему
C1 C2 0,
( 1) ( 1)
C1 ( 1) e C2 ( 1) e 0,
єдиним розв’язком якої є C1 C2 0. Отже, у цьому випадку кра-
йова задача не має ненульових розв’язків.
Нехай 1 0. Тоді ( x) C1 C2 x, а коефіцієнти C1 , C2 зна-
ходимо з системи
C1 C2 0 0,
C2 0,
яка також має єдиний розв’язок C1 C2 0. Отже, і у цьому випад-
ку крайова задача не має ненульових розв’язків.
Нехай 1 0. Тоді
( x) C1 cos 1 x C2 sin 1 x,
а для знаходження коефіцієнтів C1 , C2 маємо систему
C1 0,
C2 1 cos 1 0.
Ненульовий розв’язок цієї системи існує лише тоді, коли
cos 1 0,
звідки знаходимо характеристичні числа
k k 1 2 1, k N.
2
0
2
то ортогональна нормована система власних функцій має вигляд
1
k ( x) 2 sin k x, k N. ●
2
111
§ 7.3. Розвинення симетричного ядра та його ітерованих
ядер за власними функціями ядра
де
k ( x )
b
ck ( x) K ( x, s)k ( s) ds .
a
k
Зауважимо, що остання рівність записана з врахуванням того, що
k ( x) є власною функцію ядра, яка відповідає власному значенню
k 0. Звідси випливає, що
k ( x ) k ( s )
K ( x, s ) . (7.19)
k k
112
Отримане представлення ядра дає спосіб наближеного розв’я-
зування симетричних лінійних інтегральних рівнянь Фредгольма
другого роду методом вироджених ядер, обмежуючись у розвинен-
ні (7.19) скінченною кількістю доданків.
Вкажемо й на те, що з отриманого представлення ядра безпо-
середньо випливають рівності
b
1
K ( x, x) dx
a k k
,
1
B 2 K ( x, s) dx ds
2
.
Q k 2k
Розглянемо тепер ітеровані ядра симетричного ядра K ( x, s).
Використовуючи (7.19) та ортогональність і нормованість системи
власних функцій, маємо
b
K 2 ( x, s) K ( x, t ) K (t , s) dt
a
k ( x)k (t ) k (t )k ( s) k ( x ) k ( s )
b
k k dt k 2
.
a k k k
1
K n ( x, s) dx ds
2
.
Q k 2k n
Вважаючи, що | 1| | 2 | ... | k | ..., для достатньо великих n
можемо наближено обчислити модуль найближчого до нуля харак-
теристичного числа 1 , а саме:
1 n 1 (2 n )
b
| 1 | K n ( x, x) dx | 1 | K n ( x, s) dx ds
2
, .
a Q
113
§ 7.4. Інтегральні рівняння та крайові задачі, звідні до
інтегральних рівнянь із симетричним ядром
де
K ( x, s) H ( x, s) p( x) p( s),
y ( x) f ( x)
z ( x) , g ( x) .
p ( x) p( x)
Розв’язавши це рівняння, знайдемо y( x) z ( x) p( x).
114
Розглянемо тепер диференціальне рівняння другого порядку
y g ( x) y h( x) y f 0 ( x), (7.22)
де g ( x), h( x), f 0 ( x) – неперервні на відрізку [a, b] функції. Якщо
x
a g (t ) dt
помножити обидві його частини на функцію p( x) e , то
рівняння (7.22) можемо записати у самоспряженому вигляді
p( x) y q( x) y f ( x), (7.23)
де q( x) p( x)h( x), f ( x) p( x) f 0 ( x).
Шукатимемо розв’язок рівняння (7.23), який задовольняє
лінійні крайові умови
1 y(a) y (a) A,
(7.24)
1 y (b ) y (b ) B ,
де 1 , , 1 , , A, B – задані числа, | 1 | | | 0 , | 1 | | | 0 . Зада-
чу відшукання таких розв’язків називають крайовою задачею.
Якщо A B 0 , то умови (7.24) називають однорідними
умовами. Якщо, крім того, f ( x) 0 , то крайову задачу (7.23),
(7.24) називають однорідною задачею.
Запровадивши заміну y( x) z ( x) ( x) , де ( x) – довільна
двічі неперервно диференційовна на відрізку [a, b] функція, яка
задовольняє неоднорідні крайові умови, отримуємо рівняння
p( x) z q( x) z f ( x) p( x) ( x) q( x)( x) .
При цьому функція z ( x) задовольняє відповідні однорідні крайові
умови. У зв’язку з цим надалі розглядатимемо лише крайову
задачу для рівняння (7.23) з однорідними крайовими умовами
1 y(a) y (a) 0,
(7.25)
1 y (b ) y (b ) 0.
Функцією Ґріна крайової задачі (7.23), (7.25) називають
функцію G( x, s) , яка визначена для будь-яких x, s [a, b] і задо-
вольняє умови:
1) G( x, s) для кожного s (a, b) як функція змінної x на про-
міжках [a, s) і ( s, b] є розв’язком однорідного рівняння
p( x) y q( x) y 0;
115
2) G( x, s) для кожного s [a, b] як функція змінної x задо-
вольняє однорідні крайові умови (7.25);
3) G( x, s) для кожного s (a, b) як функція змінної x непе-
рервна на [a, b] , а її похідна у точці x s має розрив зі стрибком
1
Gx ( x, s) x s 0 Gx ( x, s) x s 0 .
p( s)
Якщо однорідна крайова задача має лише тривіальний роз-
в’язок, то неоднорідна крайова задача має єдиний розв’язок
b
y ( x) G ( x, s) f ( s) ds (7.26)
a
116
де G( x, s) – функція Ґріна відповідної однорідної крайової задачі,
а
b
f ( x) G ( x, s) f 0 ( s) ds.
a
Питання до розділу 7
118
Розділ 8
ЛІНІЙНІ ІНТЕГРАЛЬНІ РІВНЯННЯ ПЕРШОГО РОДУ
K ( x, s) y(s) ds f ( x)
a
Припускаючи, що рівняння
b m
Тоді
m
b a ( x) f ( x),
i 1
i i (8.2)
b (s) y(s)ds f ,
a
i i i 1, 2,..., m.
одержуємо
b m
b (s) c a (s) ds f ,
a
i
j 1
j j i i 1, 2,..., m.
Позначивши
b
ij bi ( s)a j ( s) ds, i, j 1, 2,..., m,
a
c j 1
j ij fi , i 1, 2,..., m.
( xs 1) y ( s) ds x.
2
( xs 1)(C1s C2 ) ds x,
2
K ( x, s) y(s) ds f ( x),
a
f ( x) L2 [a, b], (8.5)
121
Доведення. Припустимо, що рівняння (8.5) має розв’язок y ( x) з
простору L2 [a, b]. Тоді
b
b
b
f k f ( x)k ( x)dx K ( x, s ) y (s ) ds k ( x) dx
a a a
b
b b
b
K ( x, s)k ( x) dx y ( s) ds K ( s, x)k ( x) dx y ( s) ds
a a a a
b
1
k a
k ( s) y ( s) ds.
Ріса – Фішера (§ 2.2) існує єдина функція y( x) L2 [a, b], для якої
числа k f k є її коефіцієнтами Фур’є. Звідси, з врахуванням рів-
ності
b
b 1
b
122
Якщо ядро K ( x, s) не є замкненим, то розв’язок (8.6) рівнян-
ня (8.5) не єдиний. А саме, якщо 1 ( x), 2 ( x),..., n ( x) – такі функ-
ції з простору L2 [a, b] , для яких
b
K ( x, s) (s)ds 0,
a
i i 1, 2,..., n,
K ( x, s) y(s) ds f ( x).
a
(8.7)
x
Якщо ядро K ( x, s) 1, то маємо рівняння a
y ( s)ds f ( x), ліва
частина якого при x = a дорівнює нулю. Для існування розв’язку
цього рівняння необхідно, щоб f (a) 0. Якщо, крім того, функція
y ( x) – неперервна, то похідна лівої частини рівняння існує та
дорівнює y ( x), тобто є неперервною функцією. Тому й похідна
f ( x) теж повинна існувати та бути неперервною функцією. Якщо
ці дві необхідні умови виконуються, то, диференціюючи обидві
частини рівняння за змінною x, отримаємо його єдиний розв’язок
123
y( x) f ( x) у просторі C[a, b]. Таким чином, необхідні умови вия-
вилися водночас і достатніми для існування та єдиності розв’язку
найпростішого інтегрального рівняння Вольтерри першого роду.
Розглянемо загальний випадок рівняння (8.7) з довільним
неперервним ядром. При x = a його ліва частина також перетво-
рюється в нуль. Тому умова f (a) 0 залишається необхідною.
Якщо додатково припустити, що похідна K x ( x, s) є неперервною,
то ліва частина рівняння (8.7) матиме неперервну похідну за змін-
ною x. Отже, f ( x) також має бути неперервною функцією. За
виконання цих умов здиференціюємо обидві частини рівняння
(8.7) за змінною x:
x
K ( x, x) y ( x) K x ( x, s) y ( s)ds f ( x). (8.8)
a
K ( x, s)y(s) ds f ( x).
a
x
124
x
K x ( x, x) y ( x) K x2 ( x, s) y( s) ds f ( x),
a
для якого знову можна розглядати три можливі випадки, тепер уже
стосовно функції K x ( x, x).
Таку процедуру можна продовжувати доти, поки на деякому
кроці не отримаємо інтегральне рівняння Вольтерри третього ро-
ду, яке розв’язати наявними методами не вдасться, або інтегральне
рівняння Вольтерри першого роду, яке не має розв’язків внаслідок
невиконання необхідних умов, або інтегральне рівняння Воль-
терри рівняння другого роду з неперервними ядром і вільним чле-
ном. В останньому випадку отримане рівняння вигляду
x
K ( n 1)
x n1
( x, x) y ( x) K x( nn ) ( x, s) y ( s) ds f ( n ) ( x),
a
де
K x( nn11) ( x, x) 0, f ( n ) (a) 0,
а функції K x( nn ) ( x, s) , f ( n ) ( x) є неперервними, матиме єдиний розв’я-
зок, який збігається з єдиним розв’язком інтегрального рівняння
Вольтерри першого роду (8.7).
Приклад 8.2. Розв’язати інтегральні рівняння Вольтерри
першого роду зведенням їх до інтегральних рівнянь другого роду:
x x
1) e xs
y ( s) ds sin x; 2) sin( x s) y ( s) ds e x 1;
2
2
0 0
x
3) cos( x s) y ( s) ds sin x.
0
125
2. Функції K x x, s cos( x s), f ( x) xe x
2
2
є неперервними,
f (0) 0, але K ( x, x) 0. Диференціюючи обидві частини рівняння
за змінною x, знову отримуємо інтегральне рівняння Вольтерри
першого роду
x
cos( x s) y(s) ds xe ,
2
x 2
y(s) ds Y ( x),
a
x [a, b].
126
Позначивши u K ( x, s), dv y(s) ds, отримуємо рівняння
x
K ( x, x) Y ( x) K s ( x, s) Y ( s) ds f ( x).
a
e
xs
y ( s)ds sin x (8.10)
0
K ( x , s) y(s) ds f ( x ),
a
i i i 0,1,..., n.
( s) ds A ( s ) R(),
a j 0
j j
A K
j 0
j ij y j fi , i 0,1,..., n, (8.11)
128
x1 x0 i 1 x x j 1
fi Ki 0 y0 j 1 Kij y j
2 j 1 2
yi , i 2,3,..., n. (8.13)
( xi xi 1 ) 2 Kii
Якщо відрізок [a, b] розбити на n рівних частин точками
xi a ih, i 0,1,..., n, h (b a) n ,
то
f (a) 2 fi i1
y0 , yi j ij j , i 1,2,..., n, (8.14)
Kii h j 0
a K y
K 00
де
1 2, j 0,
3 f 0 4 f1 f 2
f (a) aj ,
2h 1, j 0.
Приклад 8.3. Знайти методом квадратур наближений роз-
в’язок рівняння
x
(1 x s) y(s) ds x.
0
129
2 f4
y4 0,5 K 40 y0 K 41 y1 K 42 y2 K 43 y3
K 44 h
2 0,8
0,5 1,8 1 1,6 0,8 1,4 0,68 1,2 0,528 0,4688,
1 0,2
2 f5
y5 0,5 K50 y0 K51 y1 K52 y2 K53 y3 K54 y4
K5 h
2 1
0,5 2 1 1,8 0,8 1,6 0,68 1,4 0,528 1,2 0,4688
1 0,2
0,34048.
Знайдемо також точний розв’язок заданого рівняння. Для
цього двічі здиференціюємо обидві його частини за змінною x:
x
y ( x) y ( s ) ds 1, y( x) y( x) 0.
0
A K
j 0
j ij y j fi Ri , i 0,1,..., n,
A K y
j 0
j ij j Ri , i 0,1,..., n,
При цьому
K ( xi , s) y(s) s 2
sx j
Kij 1 y j 1 K ij y j K ij 1 y j 1
2 , j 1, 2,..., i 1,
h ( h h ) h h ( h h ) h
j j j 1 j j 1 j j 1 j 1
K ij 2 y j 2 K ij 1 y j 1 K ij y j
h (h h ) , j i.
j 1 j 1 j h h
j 1 j ( h j 1 h j ) h j
Питання до розділу 8
131
4. Сформулюйте необхідну і достатню умову існування єдиного
розв’язку лінійного неоднорідного інтегрального рівняння
Фредгольма першого роду зі замкненим симетричним ядром.
5. Чи може лінійне неоднорідне інтегральне рівняння Фредгольма
першого роду з виродженим симетричним ядром мати єдиний
розв’язок?
6. Якими є необхідні та достатні умови існування єдиного розв’яз-
ку лінійного неоднорідного інтегрального рівняння Вольтерри
першого роду з ядром K ( x, s) 1 у просторі C[a, b] ?
7. Які додаткові вимоги накладають на ядро інтегрального рівнян-
ня Вольтерри першого роду для його зведення до інтегрального
рівняння Вольтерри другого роду методом диференціювання?
8. Чи кожне лінійне неоднорідне інтегральне рівняння Вольтерри
першого роду з достатню кількість разів диференційованими
функціями K ( x, s) та f ( x) методом диференціювання можна
звести до інтегрального рівняння Вольтерри другого роду?
9. Яким чином, на вашу думку, повинні бути пов’язані між собою
порядок нуля ядра K ( x, s) при s = x та порядок нуля функції
f ( x) у точці x = a для існування єдиного розв’язку лінійного не-
однорідного інтегрального рівняння Вольтерри першого роду?
10. У чому полягають особливості застосування методу квадратур
для лінійних інтегральних рівнянь Вольтерри першого роду?
Вправи до розділу 8
132
sin x cos s, 0 x s,
K ( x, s )
sin s cos x, s x ,
перевірте виконання рівності Парсеваля, якщо f ( x) 1.
4. Враховуючи замкненість ядра K ( x, s) з вправи 3, знайдіть роз-
в’язок лінійного інтегрального рівняння Фредгольма першого
роду 0
K ( x, s) y ( s)ds 1.
5. Не розв’язуючи лінійних інтегральних рівнянь Вольтерри пер-
шого роду, визначте, котрі з них не мають неперервних розв’яз-
ків:
x x
а) ( x s) y ( s ) ds 2 x ; 2
б) (e x s 1) y ( s) ds sin x;
0 0
x x
в) e x s y ( s ) ds x; г) ( x s)2 y ( s) ds e 2 x 2 x 1.
0 0
6. Розв’яжіть лінійні інтегральні рівняння Вольтерри першого
роду, звівши їх до рівнянь другого роду методами диференцію-
вання та інтегрування частинами:
x x
а) ( x s) y ( s)ds e 3x 1;
3x
б) e x s y ( s ) ds x 2 ;
0 0
x x
в) cos( x s) y ( s) ds x x 2 ; г) sh( x s) y ( s) ds x 2e x .
0 0
7. Знайдіть наближений розв’язок лінійного інтегрального рівнян-
ня Вольтерри першого роду
x
e
xs
y ( s ) ds x 2
0
133
Розділ 9
ОПЕРАЦІЙНІ МЕТОДИ РОЗВ’ЯЗУВАННЯ
ІНТЕГРАЛЬНИХ РІВНЯНЬ ВОЛЬТЕРРИ ТИПУ
ЗГОРТКИ
f ( x) dx.
px
F ( p) e (9.1)
0
| f (t ) | e dt M e e dx M e( s0 p ) x dx
pt px s0 x
0 0 0
M ( s0 p ) x M
e .
s0 p 0
p s0
Безпосередньо з означення перетворення Лапласа випливає
його лінійність, тобто
n n
L ck f k ( x) ck L f k ( x).
k 1 k 1
Відзначимо також, що lim F ( p) 0 для довільного оригі-
Re p
e dx
px px s0 x px
F ( p) f ( x )e dx f ( x) e dx M e
0 0 0
M
e 0 dx
( ps ) x
M 0, якщо Re p .
0
s0
Відомо, що кожне зображення F ( p) при Re p s0 є аналі-
тичною функцією та може бути розвинене у степеневий ряд, а
отже, є необмежену кількість разів інтегровним і диференційов-
ним в області збіжності ряду.
Знайдемо зображення деяких елементарних функцій. При
цьому, не змінюючи позначень для функції f ( x) , кожного разу
замість неї розглядатимемо функцію ( x) f ( x), де ( x) – функція
Гевісайда, визначена формулою
1, x 0,
( x)
0, x 0.
e px 1
e
px
1. L[1] dx , Re p 0.
0
p 0
p
e ( p ) x 1
e e
x x px
2. L[e ] dx , Re p Re .
0
p 0
p
Покладаючи тут i та i, відповідно отримуємо:
135
1 1
3. L[eix ]
, L[eix ] , Re p 0.
p i p i
Далі, враховуючи лінійність перетворення Лапласа та вже
отримані зображення, при відповідних їм Re p маємо:
ex ex 1 1 1 p
4. L[ch x] L .
2 p p p
2 2
2
ex ex 1 1 1
5. L[sh x] L
2 p p p2 2 .
2
eix eix 1 1 1 p
6. L[cos x] L
2 p i p i p 2 2 .
2
eix eix 1 1 1
7. L[sin x] L .
2i p i p i p
2 2
2i
Припустимо тепер, що нам відоме зображення
F ( p) L[ f ( x)], Re p s0 .
Застосуємо перетворення Лапласа до функції f ( x)ex :
e e
px x ( p ) x
e f ( x)dx f ( x) dx F ( p ), Re( p ) s0 . (9.2)
0 0
dp 0
e f ( x) dx f ( x) dx
dp 0 dp
e x f ( x) dx L[ x f ( x)].
px
0
Таким чином,
dF ( p)
L[ x f ( x)] .
dp
Диференціюючи n разів, одержуємо формулу
n
n d F ( p)
L[ x f ( x)] (1)
n
. (9.3)
dp n
Підставляючи у (9.3) f ( x) 1, знаходимо зображення оригі-
нала x n :
n d
n
1 n!
10. L[ x ] 1
n
, n N.
dp n p p n 1
Наведемо приклади зображень, які випливають з формули
(9.3) і часто використовуються для розв’язування інтегральних рів-
нянь:
n x n!
11. L[ x e ] , n N.
( p )n1
p2 2
12. L[ x ch x] 2 .
( p 2 )2
2p
13. L[ x sh x] 2 .
( p 2 )2
p 2 2
14. L[ x cos x] 2 .
(p ) 2 2
2p
15. L[ x sin x] 2 .
( p 2 )2
Корисною буде також формула
23
16. L[sin x x cos x] 2 .
( p 2 )2
137
§ 9.2. Методи відновлення оригінала за його зображенням
138
Запишемо F ( p) у вигляді
A p b 2 B Ab 2
F ( p) .
p b 2 c b 4
2 2
B Ab 2
2 c b2 4
3
ebx 2 sin c b 2 4 x c b 2 4 x cos c b 2 4 x .
Розглянемо, наприклад, знаходження оригінала f ( x ), якщо
його зображенням є
2 p3 5 p 2 3 p 9 2 p3 5 p 2 3 p 9
F ( p) 4 .
p p2 2 p 2 ( p 1)2 ( p 2 2 p 2)
Записуючи зображення F ( p) у вигляді
A B Cp D
F ( p)
p 1 ( p 1)2 p 2 2 p 2
з невизначеними коефіцієнтами A, B, C, D, після зведення до спіль-
ного знаменника прирівняємо коефіцієнти біля однакових степенів
p у чисельниках заданого та отриманого дробів. У результаті з
системи лінійних рівнянь
A C 2,
A B D 2C 5,
2 B C 2 D 3,
2 A 2 B D 9
139
знайдемо A 1, B 3, C 1, D 1.
Отже,
1 3 p 1
F ( p)
p 1 ( p 1) 2
p 2p 2
2
1 3 ( p 1) 2
,
p 1 ( p 1) 2 ( p 1) 2 12
а тому
f ( x) e x 3xe x e x cos x 2e x sin x.
g ( x s) f (s) ds.
0
(9.4)
f ( s ) g ( x )e
p( xs ) px
dx ds g ( x )e dx f ( s)e ps ds G ( p) F ( p).
0 0 0 0
140
x
y ( x) k ( x s) y ( s)ds f ( x). (9.5)
0
Розв’язання. Оскільки k ( x) x, f ( x) 4e x , то
1 4
K ( p) 2 , F ( p) .
p p 1
З рівняння у зображеннях
1 4
Y ( p) 2 Y ( p) .
p p 1
знаходимо
4 p2 3 2 1
Y ( p) .
( p 1)2 ( p 1) p 1 ( p 1) 2 p 1
Отже, шуканим розв’язком є функція y( x) 3e x 2 xe x e x . ●
Приклад 9.2. Розв’язати операційним методом рівняння
x
y ( x) e x s y ( s) ds cos x.
0
141
1 p
Y ( p) Y ( p) 2
p 1 p 1
або
p 1 p 1
Y ( p) .
p2 1 p2 1 p2 1
Звідси знаходимо y( x) cos x sin x. ●
Відзначимо, що рівняння
x
y ( x) sin( x s) y( s) ds e x 2 (1 x 2 ),
2
k ( x s) y(s) ds f ( x).
0
(9.6)
e
xs
y ( s) ds sin x.
0
142
x
1, розв’я-
2
Відзначимо, що рівняння sin( x s ) y ( s ) ds e x 2
e
xs
y ( s) ds cos x.
0
143
n
Yi ( p) Kij ( p)Y j ( p) Fi ( p), i 1, 2,..., n,
j 1
y1 ( x) y1 ( s ) ds e y2 ( s ) ds e ,
xs x
0 0
x x
y ( x) ( x s) y ( s) ds y ( s ) ds x.
2
0 1 0 2
Розв’язання. Оскільки
1 1 1
L[1] , L[e x ] , L[ x] 2 ,
p p 1 p
то маємо таку систему рівнянь у зображеннях:
1 1 1
Y ( p ) Y ( p ) Y ( p ) ,
1 1 2
p p 1 p 1
Y ( p) 1 Y ( p) 1 Y ( p) 1 .
2 p2
1
p
2
p2
З цієї системи знаходимо
1 1 1 1 1
Y1 ( p) , Y2 ( p) .
p2 p( p 2) 2 p p 2
Здійснюючи перехід від зображень до оригіналів, отримуємо роз-
в’язок заданої системи
y1 ( x) e2 x , y2 ( x) (1 e2 x ) 2. ●
З допомогою перетворення Лапласа можна розв’язати систе-
ми лінійних інтегральних рівнянь Вольтерри першого роду
типу згортки, тобто системи рівнянь вигляду
n x
k
j 1 0
ij ( x s) y j ( s) ds fi ( x), i 1, 2,..., n,
145
няння (9.7) перетворення Лапласа. У результаті відносно функції
Y ( p) L[ y( x)] отримуємо лінійне алгебраїчне рівняння
p nY ( p) p n1 y(0) p n2 y(0) ... py ( n2) (0) y ( n1) (0)
a1 p n1Y ( p) p n2 y(0) p n3 y(0) ... py ( n3) (0) y ( n2) (0)
... an1 pY ( p) y(0) anY ( p)
m 0
146
Приклад 9.6. Розв’язати операційним методом інтегро-
диференціальне рівняння типу згортки
x
y( x) 2 y ( x) ( x s) y( s) ds x 2 x 2, y (0) 1.
0
Тоді
y(0) 2 y(0) 1,
а тому y(0) 1 і рівняння у зображеннях має вигляд
1
2
1 2
pY ( p) 1 2Y ( p) 2 p 3Y ( p) p 2 1 3 2 .
p p p p
Звідси
p3 p 2 p 1 1 1
Y ( p) 3 .
p 4 p3 p p
Тому шуканим розв’язком є
y( x) x 2 2 1. ●
Питання до розділу 9
147
7. Як можна застосувати перетворення Лапласа до розв’язування
лінійних інтегральних рівнянь Вольтерри першого та другого
роду типу згортки?
8. Які особливості застосування перетворення Лапласа до розв’я-
зування лінійних інтегральних рівнянь Вольтерри першого роду
типу згортки?
9. Завдяки чому перетворення Лапласа може бути застосоване до
розв’язування лінійних інтегро-диференціальних рівнянь з інте-
гралами типу згортки?
10. Яким чином перетворення Лапласа можна використати для
розв’язування систем лінійних інтегральних чи інтегро-
диференціальних рівнянь типу згортки?
Вправи до розділу 9
148
x x
а) y ( x) x e xs
y ( s) ds; б) y ( x) 2 cos( x s) y ( s) ds 1;
0 0
x x
в) y ( x) x ( x s ) y ( s ) ds; г) y ( x) x sh( x s) y ( s)ds.
0 0
6. Розв’яжіть операційним методом лінійні інтегральні рівняння
Вольтерри першого роду типу згортки:
x x
а) ( x s) y ( s) ds e 3x 1;
3x
б) e x s y ( s ) ds x 2 ;
0 0
x x
в) cos( x s) y ( s) ds x x ; 2
г) sh( x s) y ( s) ds x 2e x .
0 0
7. Наведіть приклад інтегрального рівняння типу згортки, яке має
єдиний розв’язок, що є оригіналом, але не може бути знайденим
за допомогою перетворення Лапласа.
8. Розв’яжіть операційним методом систему інтегральних рівнянь
x x
y ( x ) e y ( s )ds 4 e z ( s )ds,
x xs
0 0
x x
z ( x ) 1 e ( x s ) y ( s )ds z ( s )ds.
0 0
9. Розв’яжіть операційним методом інтегро-диференціальні рів-
няння:
x
а) y( x) 2 y( x) 2 sin( x s) y( s) ds cos x, y(0) y(0) 0;
0
x
б) y( x) y ( x) ( x s) 2 y( s) ds x 1, y(0) 0.
0
149
ЗАВДАННЯ ДЛЯ САМОСТІЙНОГО РОЗВ’ЯЗУВАННЯ
y(s) ds x;
xs
1.9. y ( x) 1 ln 3 x, 3
0
2
4 3
1.10. y ( x) sin x, (cos s sin x) 1 y 2 ( s) ds sin x;
0
3 4
1.11. y ( x) x cos x, y ( x) sin( x 2s) y ( s) ds x;
2
1.12. y ( x) sin 2 x,
2 2
( x s ) y ( s ) ds x ;
0
x
1.13. y ( x) 2 e , y ( x) e2( s x ) y ( s) ds 1;
x
150
1 2sin x x e x sin x
x
1.14. y ( x)
2
e , 0 (1 x s) y(s) ds 2 ;
2
(cos s 2e x ) y( s) y 2 ( s) ds
4
1.15. y ( x) sin 2 x,
0
3
e x ;
2
1
1.16. y ( x) cos x sin x, y ( x) cos x sin s y ( s) ds sin x;
0
2
1.17. y ( x) cos x sin x, 0
( x s) y ( s) ds 2 x ;
2
x
1.18. y ( x) 2 (1 e ), y( x) 2 xs y( s)ds 2 x x;
x x
0
2 x
x
1.19. y ( x) 1
2
, ch( x s) y(s)ds x;
0
1.20. y ( x) cos x, y ( x) 12 sx(1 y 2 ( s)) ds 92 x cos x.
0
151
2.13. xy y x 2 y x 2 , y(0) y(0) 1;
2.14. y sin 2 x y xy e x , y(0) y(0) 1;
2.15. y e x y xy 2 x, y(0) 2, y(0) 1;
2.16. y cos x y e x y x, y(0) 1, y(0) 2;
2.17. x 2 y xy 4 y x, y(0) y(0) 1;
2.18. y xy x 2 y 0, y(0) 0, y(0) 1;
2.19. y x 2 y cos2 x, y(0) 0, y(0) 1;
2.20. x 2 y xy 2 y x, y(0) y(0) 2;
Завдання 3. Оцінити норму інтегрального оператора Фред-
b
гольма Ay ( x) K ( x, s) y ( s) ds у просторах C[a, b] , L2 [a, b] , якщо:
a
3.1. K ( x, s) xs, a 0, b 1;
3.2. K ( x, s) (1 x)sin 2s, a 0, b 1;
3.3. K ( x, s) sin( x s) sin( x s), a 0, b ;
3.4. K ( x, s) x (s 2 1), a 0, b 1;
3.5. K ( x, s) cos2 x, a 0, b ;
3.6. K ( x, s) ch(x s), a 0, b 1;
3.7. K ( x, s) e xs , a 0, b 1;
3.8. K ( x, s) s sin x, a 0, b ;
3.9. K ( x, s) cos( x s)sin( x s), a 0, b ;
3.10. K ( x, s) cos( x s) cos( x s), a 0, b ;
3.11. K ( x, s) s 1 ln x, a 1, b e;
3.12. K ( x, s) xes , a 0, b 1;
3.13. K ( x, s) xs 2 , a 0, b 3;
3.14. K ( x, s) sh(x s), a 0, b 1;
3.15. K ( x, s) ses x , a 0, b 2;
3.16. K ( x, s) xs 3 , a 1, b 2;
3.17. K ( x, s) xs , a 0, b 1;
3.18. K ( x, s) xe xs , a 0, b 1;
3.19. K ( x, s) s cos 2 x, a 0, b ;
3.20. K ( x, s) 2 xs , a 0, b 1.
152
Завдання 4. а) Розв’язати інтегральні рівняння Фредгольма
другого роду методом ітерованих ядер; б) знайти наближений
розв’язок рівняння методом ітерованих ядер з точністю до 0,01.
2
153
2
1
6 0
4.14. y ( x) cos x cos s y ( s) ds 5cos x;
1 x
e 1 0
4.15. y ( x) e x
cos s y ( s ) ds ;
4
1
4.16. y ( x) e xs y ( s) ds x 2e x ;
0
1
4.17. y ( x) 2 xe s y ( s)ds e x ;
0
1
4.18. y ( x) 3 x 2 s 2 y ( s)ds e 2 x ;
0
2
4.19. y ( x) ( x 1)( s 1) y ( s)ds cos 2 x;
0
1
4.20. y ( x) e xe s y ( s)ds x 2e x .
0
5.6. y ( x ) 4 ( x s )2 y ( s )ds x;
0
154
x
5.7. y ( x) 3xs y ( s)ds 2 x 1;
0
x
5.8. y ( x) e s x sin( x s) y ( s)ds x;
0
x
5.9. y ( x) ( x s) y ( s)ds x;
0
x
5.10. y ( x) e s x sin( x s) y ( s)ds e x ;
0
x
5.11. y ( x) e xs y ( s)ds e x ;
0
x
5.12. y ( x) 2 cos( x s) y ( s)ds 1;
0
x
5.13. y ( x) 2 xs y ( s)ds x 2 ;
0
x
5.14. y ( x) e s x y ( s)ds x;
0
x
5.15. y ( x) e xs cos( x s) y ( s)ds 1;
0
x
1
5.16. y ( x) sin( x s) y ( s)ds ;
0
x 1
2
5.17. y ( x ) e x s y ( s )ds e x ;
0
x
1
5.18. y ( x) cos( s x) y ( s)ds e 2 x ;
20
x
5.19. y ( x) ( x s) 2 y ( s)ds 1;
0
x
155
Завдання 6. Розв’язати інтегральні рівняння Фредгольма
b
другого роду y ( x) K ( x, s) y ( s)ds f ( x) :
a
а) за формулами Фредгольма;
б) зведенням до системи алгебраїчних рівнянь.
6.1. K ( x, s) x 2 s3 xs 4 , f ( x) 4 x 2 , 2, x [a, b] [1;1];
6.2. K ( x, s) xs x 2 , f ( x) 3x, 1, x [a, b] [2;2];
6.3. K ( x, s) x 2 s xs 2 , f ( x) x 5, 1, x [a, b] [1;1];
6.4. K ( x, s) x3 s x 2 s 2 , f ( x) x 2 1, 5, x [a, b] [1;1];
6.5. K ( x, s) x 4 s x3s 2 , f ( x) 2 x 3, 0,5, x [a, b] [1;1];
6.6. K ( x, s) xs 4 x 2 s3 , f ( x) 2 x, 1,5, x [a, b] [1;1];
6.7. K ( x, s) x 2 s3 x3s 2 , f ( x) x 2 , 5, x [a, b] [2;2];
6.8. K ( x, s) xs3 x 2 s 2 , f ( x) x 2 1, 2, x [a, b] [1;1];
6.9. K ( x, s) x3 xs 2 , f ( x) x, 3, x [a, b] [1;1];
6.10. K ( x, s) xs 4 x3s 2 , f ( x) x 2 , 1, x [a, b] [2;2];
6.11. K ( x, s) x 2 s3 xs 4 , f ( x) x 2, 1, x [a, b] [1;1];
6.12. K ( x, s) xs x 2 , f ( x) x 2, 1, x [a, b] [2;2];
6.13. K ( x, s) x 2 s xs 2 , f ( x) x 4, 4, x [a, b] [1;1];
6.14. K ( x, s) x3 s x 2 s 2 , f ( x) x 1, 1, x [a, b] [1;1];
6.15. K ( x, s) x 4 s x3s 2 , f ( x) 3x 2, 0,5, x [a, b] [2;2];
6.16. K ( x, s) xs 4 x 2 s3 , f ( x) x 3, 1, x [a, b] [1;1];
6.17. K ( x, s) x 2 s3 x3s 2 , f ( x) 2 x 5, 4, x [a, b] [2;2];
6.18. K ( x, s) xs3 x 2 s 2 , f ( x) x 2 1, 1, x [a, b] [1;1];
6.19. K ( x, s) x3 xs 2 , f ( x) 2 x 1, 2, x [a, b] [1;1];
6.20. K ( x, s) xs 4 x3s 2 , f ( x) 5x, 1, x [a, b] [1;1].
Завдання 7. Дослідити, для яких значень параметрів a, b, c
інтегральне рівняння Фредгольма другого роду
1
y ( x) K ( x, s) y ( s)ds ax 2 bx c
0
з відповідним виродженим ядром з прикладу 6 має розв’язки для
всіх дійсних значень параметра .
156
Завдання 8. Розв’язати наближено інтегральні рівняння
Фредгольма другого роду заміною ядра на двочленне вироджене
ядро та оцінити похибку наближеного розв’язку.
1
y ( s)ds
8.1. y ( x) 2 1;
0
( xs 3)( x s 4)
1
8.2. y ( x) e xs y ( s )ds 1;
0
1
8.3. y ( x) sin( xs) y ( s)ds x;
0
1
8.4. y ( x) tg( x s) y ( s)ds x;
0
1
y ( s)ds
8.5. y ( x) x;
0
xs2
1
8.6. y ( x) ch( xs) y ( s)ds 1;
1
sin x x
1
8.7. y ( x) x(1 cos xs 2 ) y( s)ds ;
0
2
1
8.8. y ( x) ln(2 xs) y ( s)ds x;
0
1
8.9. y ( x) x x 2 s 2 y ( s)ds 1;
0
1
8.10. y ( x) (1 x cos xs) y ( s)ds sin x;
0
1
8.11. y ( x) x(e xs 1) y ( s)ds e x x;
0
e x 3x 1
1
8.12. y ( x) x(e xs 2
1) y ( s) ds ;
0
2
1
157
1
y ( s)ds
8.14. y ( x) x;
0
( xs 1)( x s 2)
1
8.15. y ( x) 3 e2 xs y ( s)ds x 1;
0
1
8.16. y ( x) 4 sin( xs) y ( s)ds 2 x 1;
0
1
8.17. y ( x) tg( s x) y ( s)ds 2 x 1;
0
1
y ( s)ds
8.18. y ( x) x 1;
0
2 x 2 s 3
1
8.19. y ( x) 2 ch(2 xs) y ( s)ds x 1;
1
1
8.20. y ( x) 2 x(1 sin 2 xs) y( s) ds cos x x.
1
158
Завдання 13. Знайти дійсні характеристичні числа та від-
повідні їм власні функції виродженого ядра.
1
13.1. y ( x) ( xs 2 x 2 ) y ( s)ds;
0
1
13.2. y ( x) (1 2 x) sy ( s)ds;
0
1
13.3. y ( x) (1 x 2 ) y ( s)ds;
0
1
13.4. y ( x) ( x s) y ( s)ds;
0
1
13.5. y ( x) ( xe s 2s) y ( s)ds;
0
1
1
13.6. y ( x) x sin 2s y ( s)ds;
0
2
13.7. y ( x) sin( x s) y ( s)ds;
0
13.8. y ( x) cos( x s) y ( s)ds;
0
13.9. y ( x) cos s sin x y ( s)ds;
0
13.10. y ( x) cos x cos s y ( s)ds;
0
13.11. y ( x) x sin s y ( s)ds;
0
13.12. y ( x) cos 2( x s) 1 y( s)ds;
0
13.13. y ( x) (cos 2x 2 x sin 2s) y( s)ds;
0
13.14. y ( x) cos( x s) y ( s)ds;
0
159
13.15. y ( x) sin( x s) y ( s)ds;
0
1
13.16. y ( x) x( x s) y ( s)ds;
0
1
13.17. y ( x) (1 x 2 ) y ( s)ds;
0
13.18. y ( x) cos x sin s y ( s)ds;
0
1
13.19. y ( x) (1 3x) sy ( s)ds;
0
1
13.20. y ( x) ( x sin 2s 2) y ( s)ds.
0
sin( s 1)sin x, 0 x s,
14.1. K ( x, s)
sin s sin( x 1), s x 1;
cos x 4 cos s 4 , 0 x s,
14.2. K ( x, s)
cos s 4 cos x 4 , s x ;
( s 1) x, 0 x s,
14.3. K ( x, s)
s( x 1), s x 1;
sh( s 1)sh x, 0 x s,
14.4. K ( x, s)
sh s sh( x 1), s x 1;
x, 0 x s ,
14.5. K ( x, s)
s, s x 1;
160
x 1, 0 x s,
14.6. K ( x, s)
s 1, s x 1;
cos s sin x, 0 x s,
14.7. K ( x, s )
sin s cos x, s x 1;
1 x, 0 x s,
14.8. K ( x, s )
1 s, s x 1;
s
e ch x, 0 x s,
14.9. K ( x, s)
x
e ch s, s x 2;
s( x 1), 0 x s,
14.10. K ( x, s)
( s 1) x, s x 1;
s(2 x), 0 x s,
14.11. K ( x, s)
x(2 s), s x 2;
sin s cos x, 0 x s,
14.12. K ( x, s)
cos s sin x, s x ;
x(2 s ), 0 x s,
14.13. K ( x, s )
s(2 x ), s x 2;
sin x 4 sin s 4 , 0 x s,
14.14. K ( x, s)
sin s 4 sin x 4 , s x ;
s
e sh x, 0 x s,
14.15. K ( x, s)
x
e sh s, s x 1;
ch( s 1)ch x, 0 x s,
14.16. K ( x, s)
ch s ch( x 1), s x 1;
cos( s 1)cos x, 0 x s,
14.17. K ( x, s)
cos s cos( x 1), s x ;
( x 3) s, 0 x s,
14.18. K ( x, s )
( s 3) x, s x 3;
161
sin( s 2)sin x, 0 x s,
14.19. K ( x, s )
sin s sin( x 2), s x 2;
( s 4) x, 0 x s,
14.20. K ( x, s)
s( x 4), s x 4.
Завдання 15. Дослідити, чи має розв’язок інтегральне рів-
няння Фредгольма першого роду з виродженим ядром K ( x, s) і
вільним членом f ( x).
15.1. K ( x, s) x 2 s3 xs 4 , f ( x) 4 x 2 , x [a, b] [1;1];
15.2. K ( x, s) xs x 2 , f ( x) 3x, x [a, b] [2;2];
15.3. K ( x, s) x 2 s xs 2 , f ( x) x, x [a, b] [1;1];
15.4. K ( x, s) x3 s x 2 s 2 , f ( x) x 2 x, x [a, b] [1;1];
15.5. K ( x, s) x 4 s x3s 2 , f ( x) 2 x 3, x [a, b] [1;1];
15.6. K ( x, s) xs 4 x 2 s3 , f ( x) 2 x, x [a, b] [1;1];
15.7. K ( x, s) x 2 s3 x3 s 2 , f ( x) x 2 , x [a, b] [2;2];
15.8. K ( x, s) xs3 x 2 s 2 , f ( x) x 2 1, x [a, b] [1;1];
15.9. K ( x, s) x3 xs 2 , f ( x) x, x [a, b] [1;1];
15.10. K ( x, s) xs 4 x3s 2 , f ( x) x3 , x [a, b] [2;2];
15.11. K ( x, s) x 2 s3 xs 4 , f ( x) x 2, x [a, b] [1;1];
15.12. K ( x, s) xs x 2 , f ( x) x 2, x [a, b] [2;2];
15.13. K ( x, s) x 2 s xs 2 , f ( x) x 2 x, x [a, b] [1;1];
15.14. K ( x, s) x3 s x 2 s 2 , f ( x) x 1, x [a, b] [1;1]; .
15.15. K ( x, s) x 4 s x3s 2 , f ( x) 3x 2, x [a, b] [2;2];
15.16. K ( x, s) xs 4 x 2 s3 , f ( x) x 3, x [a, b] [1;1];
15.17. K ( x, s) x 2 s3 x3s 2 , f ( x) 2 x 5, x [a, b] [2;2];
15.18. K ( x, s) xs3 x 2 s 2 , f ( x) x 2 x, x [a, b] [1;1];
15.19. K ( x, s) x3 xs 2 , f ( x) x, x [a, b] [1;1];
15.20. K ( x, s) xs 4 x3 s 2 , f ( x) x 1, x [a, b] [1;1].
Завдання 16. Розв’язати інтегральні рівняння Вольтерри
першого роду з ядром типу згортки:
162
а) зведенням до рівняння другого роду;
б) інтегруванням частинами.
x
( x s )e
xs
16.2. y ( s)ds e 2 x 2 xe x 1 2;
0
x
e
xs
16.3. sh( x s) y ( s)ds e2 x 2 x 1;
0
x
( x s)sin( x s) y( s)ds x ;
3
16.4.
0
x
16.5. ( x s) y(s)ds ch x 1;
0
x
sin( x s) y(s)ds x
4
16.6. 2;
0
x
e
xs
16.7. cos( x s) y ( s)ds xe x ;
0
x
( x s)2
xs
16.8. y ( s)ds e2 x x 1;
0
x
16.9. cos( x s) y(s)ds x sin x;
0
x
2 x
16.10. 0 sh( x s ) y ( s ) ds 2sin
2
;
x
( x s) y ( s)ds x 2 ( x 1);
2
16.11.
0
x
3
xs
16.12. y ( s)ds x;
0
x
( x s) y(s)ds e x 1;
x
16.13.
0
x
16.14. sh( x s) y(s)ds sh x x;
0
163
x
xs
16.15. e y ( s ) ds x 2
2;
0
x
x
sin( x s) y(s)ds 2sin
2
16.16. ;
0
2
x
2 3
16.17. ( x s ) y ( s ) ds x ;
0
x
16.18. cos( x s) y(s)ds x cos x;
0
x
16.19. sin( x s)cos( x s) y(s)ds 2 x;
0
x
( x s)3
xs
16.20. y ( s)ds e x x 1.
0
y1 ( x) x y2 ( s )ds,
2
0
x
19.1. y2 ( x) x y3 ( s )ds,
0
x
y3 ( x) 1 y1 ( s)ds;
0
x
y ( x) x z ( s )ds,
19.2. x
0
z ( x) 1 y ( s )ds;
0
164
x
y1 ( x) x y2 ( s )ds,
0
x
19.3. y2 ( x) 1 y3 ( s )ds,
0
x
y3 ( x) y1 ( s )ds;
0
x
y1 ( x) 2 y2 ( s )ds,
0
x
y2 ( x) 9 x x x y3 ( s )ds,
2 4
19.4.
0
x
y3 ( x) 15 y1 ( s )ds;
0
x x
y ( x) 2 x ( x s ) y ( s )ds z ( s )ds,
0 0
19.5. x x
z ( x) 2 4 y ( s)ds 3 ( x s) z ( s)ds;
0 0
x
y1 ( x) x y2 ( s )ds,
0
x
y2 ( x) 1 x y3 ( s )ds,
3
19.6.
0
x
y3 ( x) 2 x y1 ( s )ds;
2
0
x
y1 ( x) 1 y2 ( s )ds,
0
x
19.7. y2 ( x) cos x 1 y3 ( s )ds,
0
x
y3 ( x) cos x y1 ( s )ds;
0
165
x
y1 ( x) x 1 y2 ( s )ds,
0
x
19.8. y2 ( x) x ( x s ) y1 ( s )ds,
0
x
y3 ( x) cos x 1 y1 ( s )ds;
0
x
y1 ( x) x y2 ( s )ds,
0
x
19.9. y2 ( x) 1 y1 ( s )ds,
0
1
x
y3 ( x) sin x ( x s ) y1 ( s)ds;
20
x x
y ( x) e y ( s )ds 4 e z ( s )ds,
x xs
0 0
19.10. x x
z ( x) 1 e
y ( s)ds z ( s )ds;
( x s )
0 0
x
y ( x) e z ( s )ds,
x
0
19.11. x
z ( x) 1 e 2( xs ) y ( s )ds;
0
x
y1 ( x) 1 y2 ( s )ds,
0
x
y2 ( x) x y3 ( s )ds,
2
19.12.
0
x
y3 ( x) x y1 ( s )ds;
0
x
y ( x) 1 z ( s )ds,
0
19.13. x
z ( x) x y ( s )ds;
0
166
x
y1 ( x) y2 ( s )ds,
0
x
19.14. y2 ( x) x y3 ( s )ds,
0
x
y3 ( x) 1 y1 ( s )ds;
0
x
y1 ( x) 2 x y2 ( s )ds,
2
0
x
19.15. y2 ( x) x y1 ( s )ds,
0
x
y3 ( x) 1 x y1 ( s )ds;
3
0
x
y1 ( x) 15 y2 ( s )ds,
0
x
19.16. y2 ( x) 2 y3 ( s)ds,
0
x
y3 ( x) 9 x x x y1 ( s )ds;
2 4
0
x
y1 ( x) cos x y2 ( s )ds,
0
x
19.17. y2 ( x) 1 y1 ( s )ds,
0
x
y3 ( x) cos x 1 y1 ( s )ds;
0
x
y1 ( x) cos x 1 y2 ( s )ds,
0
x
19.18. y2 ( x) x 1 y1 ( s )ds,
0
x
y3 ( x) x ( x s ) y2 ( s )ds.
0
167
x x
y ( x) 2 4 z ( s)ds 3 ( x s) y ( s)ds,
19.19. x
0 0
x
z ( x) 2 x ( x s ) z ( s )ds y ( s )ds;
0 0
Завдання 20. Розв’язати з допомогою перетворення Лап-
ласа інтегро-диференціальні рівняння типу згортки.
x
20.1. y( x) 4 e ( xs ) y( s) y ( s) ds e x , y (0) y(0) 1;
0
x
y( x) sin( x s) y( s) y ( s) ds 2 cos x,
20.2. 0
y (0) y(0) 0;
x
y( x) y ( x) 4 ( x s) cos( x s) y ( s)ds 0,
20.3. 0
y (0) y(0) 2;
x
20.4. y( x) y ( x) ( x s 1) y ( s)ds 0, y (0) 3;
0
x
20.5. y( x) 3 y ( x) 2 ( x s) y( s)ds x 2 3x 10, y (0) 3;
0
x
20.6. y( x) ( x s) y ( s)ds cos x, y(0) 2;
0
x
20.7. y( x) 4 e ( xs ) y( s) y ( s) ds 0, y (0) y(0) 0;
0
x
20.8. y( x) e2( xs ) y( s)ds e2 x , y (0) y(0) 0;
0
x
20.9. y( x) 2 y( x) 2 sin( x s) y( s)ds cos x, y(0) y(0) 0;
0
x
y( x) 3 y ( x) ( x s) 2 y( s)ds x 4 6 3x 2 2,
20.10. 0
y (0) 0, y(0) 1
x
168
x
20.12. y( x) cos( x s) y ( s)ds x, y (0) 1;
0
x
1
20.13. y( x) 2 ( x s) y ( s)ds sin x, y (0) 1;
0
2
x
20.14. y( x) e2( xs ) y ( s)ds 0, y (0) 3;
0
x x
20.15. y( x) y ( x) ( x s) y( s)ds y ( s)ds x, y (0) 6;
0 0
x x
y( x) y ( x) sh( x s) y ( s)ds ch( x s) y( s)ds chx,
20.16. 0 0
y (0) 2, y(0) 0;
x
y( x) 2 y( x) y ( x) ( x s) y( s)ds
0
20.17. x
2 sin( x s) y( s)ds cos x, y (0) y(0) 0;
0
x
20.18. y( x) 3 sh( x s) y ( s)ds e x , y (0) 2;
0
x
y( x) y ( x) e xs sin( x s) y ( s)ds e x (1 cos x),
20.19. 0
169
ТЕСТОВІ ЗАВДАННЯ
a a
b b
А. y ( x) ( x s) y ( s)ds x.
2
B. y ( x ) x s y ( s )ds.
0 0
x b
xs y( s)
C. y ( x ) e ds x . D. ( x s y ( s )) ds 1.
2
a a
А. однорідним. B. фредгольмовим.
C. обмеженим. D. гільбертовим.
6. Виберіть однорідне рівняння Фредгольма:
b b
А. y ( x) xs y ( s) ds x .
2 2
B. y ( x ) xs 2 y ( s) ds.
a a
b b
C. y ( x) xs 2 y ( s) ds. D. xs 2 y ( s) ds x 2 .
a a
170
7. Виберіть рівняння Вольтерри першого роду:
b x
А. K ( x, s) y ( s) ds f ( x). B. y ( x) K ( x, s) y ( s) ds f ( x).
a a
b x
C. y ( x) K ( x, s) y ( s) ds f ( x). D. K ( x, s) y ( s) ds f ( x).
a a
K x, s, y ( s) ds f ( x) називають інтегральним
b
9. Рівняння a
рівнянням:
А. Гаммерштейна (першого роду). B. Урисона (першого роду).
C. Гаммерштейна (другого роду). D. Урисона (другого роду).
y( x) K ( x, s) F s, y (s) ds f ( x)
b
10. Рівняння називають
a
інтегральним рівнянням:
А. Гаммерштейна (першого роду). B. Урисона (першого роду).
C. Гаммерштейна (другого роду). D. Урисона (другого роду).
11. У метричному просторі C[a, b] метрика ( x, y) задається
формулою:
x(t ) y(t )
b
А. ( x, y) B. ( x, y) max x(t ) y(t ) .
2
dt.
a t[ a ,b ]
172
21. Оператор A* називають спряженим до оператора A, визна-
ченого в евклідовому просторі E, якщо для всіх x, y E вико-
нується рівність:
А. ( Ax, y) ( x, A* y). B. ( Ax, y) ( A* x, y).
C. ( Ax, y) ( y, A* x). D. ( Ax, Ay) ( A* x, A* y).
22. Розв’язком операторного рівняння ( I A) y f , де
b
Ay ( x) K ( x, s) y ( s)ds, K ( x, s) M , за умови | | M (b a) 1, є
a
виконання нерівності
А. | | B 1. B. | | B 1.
C. | | B 1. D. | |(b a) 1.
24. Лінійне інтегральне рівняння Фредгольма другого роду має
не більше як зліченну кількість характеристичних чисел, які ...
А. не мають точок скупчення.
B. всі невід’ємні.
C. мають скінченну точку скупчення.
D. можуть скупчуватися лише на нескінченності.
25. Оператор A, визначений в евклідовому просторі E, нази-
вають самоспряженим, якщо для всіх x, y E виконується рів-
ність:
А. ( x, y) ( Ax, Ay). B. ( Ax, y) ( x, y).
C. ( Ax, y) ( Ax, Ay). D. ( Ax, y) ( x, Ay).
26. Якщо – власне значення оператора A, то резольвентою
цього оператора називають оператор:
1
А. A I . B. ( A I ) .
1 1
C. ( A I ) . D. ( I A) .
173
m
27. Ядро вигляду K ( x, s) ai ( x)bi ( s) інтегрального рівняння
i 1
називають:
А. фредгольмовим. B. лінійно незалежним.
C. виродженим. D. ядром зі слабкою особливістю.
b
28. Якщо Ay ( x) K ( x, s) y( s) ds – інтегральний оператор
a
b
Фредгольма, то An y( x) K n ( x, s) y( s)ds, де K1 ( x, s) K ( x, s) , а
a
А. M (b a) 1. B. | | M (b a) 1.
C. | | M (b a) 1. D. | | (b a) 1.
34. Якщо K ( x, s, y2 ) K ( x, s, y1 ) L y2 y1 , то у просторі
C[a, b] відображення Ay( x) K x, s, y( s) ds f ( x) буде стис-
b
каючим за умови:
А. L(b a) 1. B. | | L(b a) 1.
C. | | L(b a) 1. D. | | (b a) 1.
35. Послідовні наближення лінійного інтегрального рівняння
b
Фредгольма другого роду y( x) K ( x, s) y ( s) ds f ( x) знахо-
a
дять за формулою:
b
А. yn ( x) K ( s, x) yn1 ( s ) ds f ( x), n N.
a
b
B. yn ( x) K ( x, s) yn 1 ( s) ds, n N.
a
b
C. yn ( x) K ( x, s) yn1 ( s) ds f ( x), n N.
a
b
D. yn ( x) K x, yn1 ( s) ds f ( x), n N.
a
e e
px px
C. f ( x) dx. D. f ( x) dx.
0 0
А. g ( x s) f ( x s) ds. B. g ( x s) f ( s) ds.
0 0
x
177
ВІДПОВІДІ ТА ВКАЗІВКИ ДО РОЗВ’ЯЗУВАННЯ ВПРАВ
Розділ 1
1. а) лінійне неоднорідне рівняння Фредгольма другого роду;
б) лінійне однорідне рівняння Вольтерри другого роду;
в) лінійне неоднорідне рівняння Фредгольма першого роду;
г) нелінійне неоднорідне рівняння Вольтерри другого роду.
2. а) – г) Так. Підставте задані функції у відповідні рівняння.
3. а) Ні; б) Так. Підставте вказані функції у задане рівняння.
4. Підставте задану функцію в інтегро-диференціальне рівняння та
перевірте виконання початкових умов.
5. а) z ( x) ( x 1)2 ( x 3) s z ( s) ds 2 x 2 7 x 21;
x
0
x
z( x) (1 x) z ( x) ( x 3) z ( s)ds 3x 23, z(0) 2.
0
задані таблицею
x s [0,1) [1, 2] Y ( x) F ( x)
K ( x, s) [0,1) x s 1 y1 ( x) x2
[1, 2] x 1 1 y2 ( x 1) x 1
Розділ 2
1. Для доведення нерівності трикутника скористайтеся нерівністю
x(t ) z (t ) x(t ) y(t ) y(t ) z(t ) , t [a, b].
2. Для доведення нерівності трикутника позначте
x(t ) y(t ) a(t ), y(t ) z (t ) b(t ), x(t ) z (t ) a(t ) b(t )
та використайте інтегральну нерівність Коші – Буняковського.
3. Врахуйте критерій Коші рівномірної збіжності та неперервність
границі рівномірно збіжної послідовності неперервних функцій.
4. Оцініть Ay( x) Ay( x0 ) за умови | x x0 | або скористайтесь
властивостями інтегралів, залежних від параметра.
5. | | e1 і | | 6 (e2 1)1 2 відповідно.
6. Для доведення нерівності x y x y врахуйте, що
x(t ) y(t ) x(t ) y(t ) , t [a, b], та інтегральну нерівність
Коші – Буняковського відповідно.
178
7. Замініть квадрати норм скалярними добутками.
8. Проаналізуйте умови виконання для ортогональної системи
{xk } рівностей вигляду c1 x1 c2 x2 ... cn xn , xk 0, k 1, 2,..., n.
e2 1 e2 1 3e2 6e 7 1
9. а) e, ; б) e, ; в) e 1, ; г) 1, .
6 2 6 2
10. Доведіть рівності ( x, x) ( x, x) і ( x, y) ( x, y), якщо
Ax x, Ay y, x 0, y 0, .
Розділ 3
1 2 3
x s
1. An y ( x) y ( s) ds, n N.
0
6n 1
2n ( x s)3n 1
x
2. A n
y ( x) y ( s) ds, n N.
0
(3 n 1)!
2sin x
3. а) y( x) 6 x 2 ; б) y ( x) , 2.
2
1 2sh(1 2 x), 0,
4. а) y( x) x x 2; б) y ( x)
2
1 2 1 2
() sin(() x), 0.
5. а)
y( x) 5 6 1 1 6 1 62 x 2 5 x 2 ; б) y( x) x x3 6, x [0,1].
240( x 2 s xs 2 ) (80 x 2 s 2 60 x 2 s 60 xs 2 48 xs)
6. R( x, s; ) .
2 240
2sin x
7. а) y( x) 6 x 2 ; б) y ( x) , 2; в) y( x) x;
2
г) y( x) 4(sin x 2cos x) 3 1.
Розділ 4
1. а) y( x) Cx e x ; б) y( x) (С1 x C2 ) x;
в) y( x) C1 x 2 C2 x C3 ; г) y( x) C1 sin x C2 cos x.
2sin x
2. а) y( x) 6 x 2 ; б) y ( x) , 2. в) y( x) x;
2
г) y( x) 4(sin x 2cos x) 3 1.
3. 2b 3c 0.
4. y( x) 2 x 5 3.
Розділ 5
1. а) y( x) 6 x ; б) y( x) 2sin x.
2
2. а) y( x) x x 2 2; б) y( x) sin x.
179
3. y2 ( x) 4 x3 3 2 x 2 2 x 1. Візьміть y0 ( x) 1.
4. y0 ( x) e x , z0 ( x) 1; y1 ( x) 4e x 3, z1 ( x) 1 x shx.
5. y3 y C[0,1] 0, 005, y3 y L [0,1] 0, 002, n 4.
2
6. а) y2 ( x) 5,976 x , 2; y2 ( x) 5,845 x 2 , 3;
2
б) y2 ( x) 5,950 x 2 .
Розділ 6
1. y2 ( x) 6,154 x 2 .
2. y0 0; y1 0, 2; y2 0,392; y3 0,568; y4 0,722; y5 0,847.
3. y( x) x. Виберіть 1 ( x) x, 2 ( x) x 2 .
4. Покладіть 1 ( x) 1; 2 ( x) x.
Розділ 7
b b
1. Обґрунтуйте рівність a
Ay( x) z ( x)dx y ( x) z ( x)dx.
a
1 sh(s 1) chx, 0 x s,
7. G ( x, s)
ch1 chs sh(x 1), s x 1.
y( x)=
1
ch1 x 1
sh(x 1) ch s f ( s)ds ch x sh(s 1) f ( s)ds .
0 x
Розділ 8
1. а), в), г) Так. б) Ні.
2. а) y( x) 3x, y( x) 4 x 2 ; б) y( x) 4 6 x, y( x) 18x 54 x 2 ;
180
в) y( x) 6 x 2, y( x) 6 x 2 1. Примітка. Задані рівняння мають
безліч розв’язків, які, наприклад, можна шукати у вигляді
многочленів з невизначеними коефіцієнтами.
1
3. Виконується. Врахуйте, що 2 2 6.
n 1 n
8 1
4. y ( x) 2 sin k 1 2 x.
k 1 4k 4k 3
5. б) та г). Порівняйте порядки нулів ядер K ( x, s) при s x і
функцій f ( x) при x 0.
6. а) y( x) 9e3 x ; б) y( x) 2 x x 2 ; в) y( x) 1 2 x x 2 2 x3 3;
г) y( x) 2(1 x)e x .
7. y0 0; y1 0, 400; y2 0,623; y3 0,885; y4 0,922; y5 1,057.
Розділ 9
1. а) F ( p) p 2 ; б) F ( p) 2 p 3 .
3 p2 1
2. а) F ( p) 2 . Використайте зображення L x sin x .
( p 1)3
p2 2 1 cos 2 x
б) F ( p) . Скористайтеся рівністю cos 2
x .
p( p 2 4) 2
6 3sin x sin 3x
в) F ( p) 2 . Врахуйте, що sin 3
x .
( p 1)( p 2 9) 4
3. а), в) Можуть. б), г) Ні.
4. а) f ( x) 1 e x ; б) f ( x) 1 e x xe x ; в) f ( x) 1 2cos 3x;
г) f ( x) 2 (3cos x 2sin x) e x .
5. а) y( x) x x 2 2; б) y( x) 2 xe x 1; в) y( x) sin x; г) y( x)
x x3 6.
6. а) y( x) 9e3 x ; б) y( x) 2 x x 2 ; в) y( x) 1 2 x x 2 2 x3 3;
г) y( x) 2(1 x) e x .
x
( x s)e( x s ) y ( s)ds 1 e x
2 2
7. Наприклад, рівняння має єдиний
0
розв’язок y( x) 2.
8. y( x) (2 x 1) cos x ( x 2)sin x,
z ( x) x 2 1 cos x x 1 2 sin x.
9. а) y( x) 1 e x xe x ; б) y( x) x.
181
ДОДАТОК 1
Застосування системи комп’ютерної алгебри Mathematіca
до розв’язування інтегральних рівнянь
с .46).
182
Приклад 2. Розв’язати методом ітерованих ядер рівняння
x
Вольтерри другого роду y ( x) ( x s) y( s) ds 4e x (приклад 3.2,
0
с. 48).
183
Приклад 4. Розв’язати рівняння Фредгольма другого роду
1
y ( x) xs 2 y ( s) ds x 2 (приклад 4.1, с. 58).
0
184
Приклад 5. Знайти характеристичні числа і власні функції
ядра рівняння Фредгольма другого роду з виродженим ядром
1
y ( x) xs 2 y ( s) ds (приклад 4.2, с. 59).
0
185
Приклад 6. Наближено розв’язати рівняння Фредгольма
1
другого роду y ( x) sin( xs 2 ) y( s) ds x 2 методом вироджених
0
186
Приклад 7. Розв’язати методом простої ітерації рівняння
1
Фредгольма другого роду y ( x) xs 2 y ( s) ds x 2 і знайти похибку
0
187
Приклад 8. Розв’язати методом послідовних наближень
x
лінійне інтегральне рівняння Вольтерри y ( x) ( x s) y( s)ds 1
0
188
Приклад 9. Знайти методом Положія наближений розв’я-
1
зок інтегрального рівняння y ( x) xs 2 y ( s) ds x 2 (приклад 5.4,
0
с. 83).
189
Приклад 10. Знайти наближений розв’язок рівняння Фред-
1
гольма y ( x) xs 2 y ( s) ds x 2 методом усереднення функціональ-
0
190
Приклад 11. Розв’язати методом квадратур рівняння Фред-
1
гольма y ( x) xs 2 y ( s)ds x 2 (приклад 6.1, с. 90).
0
191
Приклад 12. Розв’язати методом квадратур рівняння
x
Вольтерри y ( x) ( x s) y ( s) ds 1 (приклад 6.2, с. 93).
0
192
Приклад 13. Розв’язати методом найменших квадратів рів-
1
няння y ( x) xs 2 y ( s)ds x 2 (приклад 6.3, с. 96).
0
193
Приклад 14. Розв’язати наближено методом Гальоркіна –
1
Петрова рівняння y ( x) xs 2 y ( s)ds x 2 (приклад 6.4, с. 97).
0
194
Приклад 15. Розв’язати наближено методом Бубнова –
1
Гальоркіна рівняння y ( x) xs 2 y ( s)ds x 2 (приклад 6.5, с. 99).
0
195
Приклад 16. Розв’язати наближено методом моментів
1
рівняння y ( x) xs 2 y ( s)ds x 2 (приклад 6.6, с. 100).
0
196
Приклад 17. Знайти методом колокації наближений розв’я-
1
зок рівняння y ( x) xs 2 y ( s)ds x 2 (приклад 6.7, с. 101).
0
197
Приклад 18. Знайти характеристичні числа та власні функ-
ції симетричного ядра K ( x, s) xs 1 3, 0 x 1, 0 s 1 (приклад
7.1, с. 106).
198
Приклад 19. Знайти характеристичні числа та власні функ-
ції симетричного ядра
sin x cos s, 0 x s,
K ( x, s ) (приклад 7.2, с. 109).
sin s cos x , s x
199
200
Приклад 20. Знайти методом квадратур наближений роз-
x
в’язок рівняння 0
(1 x s) y ( s) ds x (приклад 8.3, с. 128).
201
Приклад 21. Розв’язати операційним методом рівняння
x
Вольтерри y ( x) ( x s) y( s) ds 4ex (приклад 9.1, с. 140).
0
202
Приклад 22. Розв’язати операційним методом рівняння
x
Вольтерри y ( x) e x s y ( s) ds cos x (приклад 9.2, с. 140).
0
203
Приклад 24. Розв’язати операційним методом систему
інтегральних рівнянь з прикладу 9.4 (с. 142-143):
x x
y1 ( x) y1 ( s ) ds e y2 ( s ) ds e ,
xs x
0 0
x x
y ( x) ( x s) y ( s) ds y ( s ) ds x.
2
0 1 0 2
204
Приклад 25. Розв’язати операційним методом інтегро-ди-
ференціальне рівняння типу згортки
x x
y( x) y ( x) sh( x s) y ( s) ds ch( x s) y( s) ds ch x,
0 0
205
x
y( x) 2 y( x) ( x s) y( s)ds x 2 x 2,
0
206
ДОДАТОК 2
Основи роботи з системою комп’ютерної алгебри Mathematіca
207
Комірка вводу також може містити коментарі. Коментар у
Mathematica – це текст, який починається з символів "(*" і
закінчується символами "*)".
2. Арифметичні операції. В арифметичних виразах можна
використовувати операції піднесення до степеня (^), множення (*
або пробіл), ділення (/), додавання (+), віднімання (–), факторіал
(!). Порядок виконання цих операцій є стандартним, а для його
зміни використовують круглі дужки.
Для більш зручного запису виразів можна скористатися па-
літрами вводу з пункту меню Palettes або певними комбінаціями
клавіш. Наприклад, щоб ввести риску дробу, потрібно натиснути
Ctrl+/, щоб записати показник степеня у формі верхнього індекса,
можна скористатися комбінацією Ctrl+^.
3. Константи та вбудовані функції. Визначені такі імено-
вані константи: Pi – число 3,14159..., E – число e 2,71828...
(основа натурального логарифма), I – уявна одиниця, Infinity –
нескінченність та деякі інші.
Mathematica має велику кількість вбудованих математичних
функцій (для отримання детальної інформації щодо певної функції
потрібно поставити курсор на ім'я функції та натиснути F1).
У таблицях наведено команди для основних функцій.
Функція Команда Функція Команда Функція Команда
| x| Abs[x] ex Exp[x] log a x Log[x, a]
x Sqrt[x] ln x Log[x] lg x Log10[x]
sin x Sin[x] sh x Sinh[x] arcsin x ArcSin[x]
cos x Cos[x] ch x Cosh[x] arccos x ArcCos[x]
tg x Tan[x] th x Tanh[x] arctg x ArcTan[x]
ctg x Cot[x] cth x Coth[x] arcctg x ArcCot[x]
Команда Функція
Round[x] заокруглення x до найближчого цілого
Floor[x] найбільше ціле число, менше або рівне за x
Ceiling[x] найближче ціле число, більше або рівне за x
IntegerPart[x] ціла частина числа x
FractionalPart[x] дробова частина числа x
N[x] числове значення x
N[x, n] числове значення x з точністю n цифр
208
Аргументи тригонометричних функцій задаються в радіанах.
Оскільки Mathematica намагається отримати абсолютно точні
значення, то деякі результати можуть повертатися в необчисле-
ному вигляді:
209
дужками. Дані у списку можуть бути різнотипними, наприклад
{3, a, Pi}. Елементи списку нумеруються індексами 1, 2, 3, ... .
Для доступу до елемента через його індекс використовують
подвійні квадратні дужки:
210
Команда Функція
Limit[f, t ->t0] границя lim f (t )
t t0
n2
dx n
FullSimplify[f] спрощення виразу f
Expand[f] відкриття дужок у виразі f
максимальне значення функції f
FindMaxValue[{f, condition}, x]
від змінної x за умови condition
Wronskian[{y1, y2}, x] вронскіан функцій y1 і y2
LaplaceTransform[f, x, p] перетворення Лапласа функції f
обернене перетворення Лапласа
InverseLaplaceTransform[f, p, x]
функції f
Наведемо приклади використання деяких з наведених
функцій:
211
Зауважимо, що для функцій FullSimplify і LaplaceTransform
існує опція Assumptions для накладання умов на значення змін-
них, наприклад:
212
8. Розгалуження. У деяких випадках дії, які повинна викона-
ти програма, залежать від істинності певних умов. Для перевірки
умов і зміни подальшого ходу виконання програми у Mathematica
існує функція If, яка має такий синтаксис:
If[умова, вираз1, вираз2]
де умова – це логічний вираз, тобто вираз, який може набувати
значень True (істина) або False (хиба). Якщо умова виконується,
то функція повертає вираз1, інакше – вираз2.
Для складання умов найчастіше використовують оператори
порівняння: == (дорівнює), != (не дорівнює), > (більше), <
(менше), >= (більше або дорівнює), <= (менше або дорівнює), і
операції математичної логіки: ! (не), && (і), | | (або).
9. Цикли. Для кількаразового виконання однотипних опера-
цій у Mathematica існують функції циклу Do, For і While. Функція
Do має кілька модифікацій:
Команда Функція
Do[expr, {imax}] виконує imax разів обчислення expr
обчислює expr зі змінною i, яка на-
Do[expr, {i, imax}] буває значення від 1 до imax з кро-
ком 1
обчислює expr зі змінною i, яка на-
Do[expr, {i, imin, imax}] буває значення від imin до imax з
кроком 1
обчислює expr зі змінною i, яка на-
Do[expr, {i, imin, imax, di}] буває значення від imin до imax з
кроком di
обчислює expr зі змінними i та j, які
Do[expr, {i, imin, imax},
набуває значень у заданих межах з
{j, jmin, jmax},...]
кроком 1
213
Функція For має вигляд: For[start, test, incr, body]. Спочатку
один раз обчислюється вираз start, а потім, по черзі, обчислю-
ються вирази body і incr доти, доки умова test не перестане давати
логічне значення True. Коли test дає False, цикл завершується.
Функція While[test, body] виконує body, доки test не пере-
стане давати логічне значення True.
10. Функції користувача. У випадках, коли виникає потреба
у кількаразовому використанні функцій, які не є стандартними
функціями системи Mathematica, зручно визначати функції корис-
тувача. Розглянемо приклад створення і використання такої
функції.
215
рівнянь теорії пружності. Його метод скінченних елементів вико-
ристовується для числового й аналітичного розв’язування рівнянь
з частинними похідними.
Гаммерштейн Адольф (Hammersteіn Adolf; 1888–1945) –
німецький математик. Основні праці стосуються функціонального
аналізу (оператор Гаммерштейна) та теорії інтегральних рівнянь
(рівняння Гаммерштейна).
Гевісайд Олівер (Heaviside Oliver; 1850–1925) – англійський
фізик і інженер, член Лондонського королівського товариства.
Засновник (1892) методу операційного (символьного) числення,
який дозволяє достатньо просто розв'язувати багато складних
задач механіки, електротехніки, автоматики тощо.
Гільберт Давид (Hіlbert Davіd; 1862–1943) – німецький мате-
матик. Побудована ним теорія інтегральних рівнянь з симетрич-
ним ядром склала одну з основ сучасного функціонального аналі-
зу (гільбертів простір).
Д’Аламбер Жан Лерон (D’Alembert Jean Le Rond; 1717–
1783) – французький математик і механiк. Автор фундаменталь-
них праць з механiки, математичної фiзики, теорiї диференцiаль-
них рiвнянь. Його ім’я носить достатня умова збіжності рядів.
Коші Огюстен Луї (Cauchy Augustіn Louіs; 1789–1857) –
французький математик. Усього опублікував понад 800 робіт з
теорії чисел, алгебри, математичного аналізу, диференціальних
рівнянь, теоретичної механіки, математичної фізики тощо.
Лаплас П’єр-Сімон (Laplace Pіerre – Sіmon; 1749–1827) –
французький математик і астроном. Відомий працями в області
небесної механіки, диференціальних рівнянь, математичної фізи-
ки. Фундаментальними є його роботи з диференціальних рівнянь
(рівняння Лапласа). Для створеної ним теорії ймовірностей засто-
совував перетворення, яке тепер носить його ім’я.
Лебег Анрі Леон (Lebesgue Henrі Leon; 1875–1941) – фран-
цузький математик. Один із засновників сучасної теорії функцій
дійсної змінної. Створив теорію міри, запровадив поняття вимір-
ної функції, ввів нове визначення інтеграла (інтеграл Лебега).
216
Парсеваль Марк Антуан (Parseval Marc Antoіn; 1755–
1836) – французький математик. Основні праці з диференціаль-
них рівнянь, теорії функцій дійсної змінної (рівність Парсеваля).
Петров Георгій Іванович (1912–1987) – російський матема-
тик і механік. Основні праці з аеродинаміки та гідродинаміки.
Пікар Шарль Еміль (Pіcard Charles Emіlе; 1856–1941) –
французький математик. Основні праці з диференціальних рівнянь
(дослідження особливих точок, метод послідовних наближень роз-
в’язування задачі Коші).
Положій Георгій Миколайович (1914–1968) – український
математик, професор Київського університету. Роботи з теорії
функцій комплексної змінної, обчислювальної математики та
математичної фізики.
Ріс Фрідеш (Rіesz Frіgyes; 1880–1956) – угорський матема-
тик. Основні праці з функціонального аналізу. Побудував теорію
функцій від операторів. Один з засновників теорії топологічних
просторів.
Урисон Павло Самуїлович (1898–1924) – російський матема-
тик. Народився в м. Одесі. Основні результати отримані в топо-
логії, теорії нелінійних диференціальних рівнянь, геометрії.
Фішер Ернст Сигізмунд (Fіscher Ernst Sіgіsmund; 1875–
1954) – німецький математик. Основні праці стосуються теорії
функцій і функціонального аналізу (теорема Ріса-Фішера).
Фредгольм Ерік Івар (Fredholm Erіk Іvar; 1866–1927) –
шведський математик. Засновник загальної теорії лінійних інте-
гральних рівнянь (рівняння та теореми Фредгольма).
Фур’є Жан Батист Жозеф (Fourіer Jean Baptіste Joseph; 1768–
1830) – французький математик. Найвагоміші результати отримав
у математичній фізиці (метод Фур’є). Його ідеї стали потужним
інструментом математичного дослідження багатьох задач астроно-
мії, акустики, радіотехніки та ін.
Шмідт Ерхард (Schmіdt Erhard; 1876–1959) – німецький
математик, професор Берлінського університету. Основні праці з
теорії функцій, інтегральних рівнянь, функціонального аналізу.
217
ПРЕДМЕТНИЙ ПОКАЗЧИК
218
– колокації 101 – неперервний 30
– моментів 100 – неперервний у точці 30
– найменших квадратів 95 – обернений 32, 33
– Положія 82 – оборотний 32
– послідовних наближень 71, 74, – самоспряжений 34, 35
76 – спряжений 34
– проекційний 94 – Фредгольма (інтегральний) 31,
– простої ітерації 78 36, 43
– усереднення функціональних операторне рівняння 39
поправок 84 – другого роду 39, 40, 65, 93
– Фредгольма 53 – першого роду 39
метрика 23 оригінал (функція) 133
множина (нормованого простору) ортогональність
– компактна 35 – елементів простору 28
– передкомпактна 35 – системи елементів простору 28
нерівність параметр (інтегрального
– Бесселя 29 рівняння) 10
– Коші – Буняковського 28 інтеграл Лапласа 133
– Коші – Буняковського перетворення Лапласа 133
(інтегральна) 28 – обернене 137
– трикутника 23 послідовність (точок простору)
нерухома точка (відображення) – збіжна 23
25 – фундаментальна 23, 27
норма початкові умови (для інтегро-
– елемента (простору) 26, 27 диференціальних рівнянь) 13
– оператора 30 принцип стискаючих відобра-
неув’язка 94 жень 25
оператор простір
– Вольтерри (інтегральний) 37, – лінійний 26, 31
44 – – евклідовий 28
– лінійний 30, 31 – – – гільбертовий 28
– – компактний (цілком неперер- – – комплексний 26
вний) 35, 36, 37 – – нескінченновимірний 26
– – нульовий 31 – – нормований 26
– – обмежений 30 – – – банаховий 27
– – одиничний 31 – метричний 23
– – цілком неперервний – – повний 24
(компактний) 35, 36, 37 – C[a, b] 23
219
– L2 [a, b] 23 – Фредгольма (друга) 61, 64
резольвента 34, 46, 47, 105 – Фредгольма (третя) 61, 65
– Фредгольма 53 – Фредгольма (четверта) 64
рівність Парсеваля 29 – Фредгольма (про альтернативу)
розв'язок інтегрального рівняння 62, 65
10 формула
– загальний 59 – зміщення аргумента зображен-
ряд Фур’є 29 ня 135
система елементів простору – зміщення аргумента оригінала
– лінійно незалежна 26 135
– ортогональна 28 – Коші 16
– – нормовна 29 – кубічних парабол 91
– – – замкнена 29 – Сімпсона 90
система інтегральних рівнянь – Фредгольма 52, 53
– Вольтерра другого роду типу функція
згортки 142 – впливу 19, 20
– Вольтерра першого роду типу – Гевісайда 134
згортки 143 – Ґріна 114
– Фредгольма другого роду 13, 73 – координатна 94
– Фредгольма першого роду 14 характеристичне число (ядра)
скалярний добуток 27 59, 108
степінь (оператора) 31, 43, 44 ядро (інтегрального рівняння) 10
теорема – вироджене 56
– Банаха 25 – – симетричне 105
– Гільберта – Шмідта 38 – зі слабкою особливістю 50
– Мерсера 111 – ітероване 43, 45, 50, 112
– Пікара 120 – симетричне 34, 104, 108
– Ріса – Фішера 29 – – замкнене 120
– Фредгольма (перша) 58, 64 – фредгольмове 11
220
СПИСОК РЕКОМЕНДОВАНОЇ ЛІТЕРАТУРИ
Основна література
1. Васильева А. Б. Интегральные уравнения / А. Б. Васильева,
Н. А. Тихонов. – М. : ФИЗМАТЛИТ, 2002. – 160 с.
2. Головач Г. П. Збірник задач з диференціальних та інтегральних
рівнянь / Г. П. Головач, О. Ф. Калайда. – К. : Техніка, 1997. –
288 с.
3. Краснов М. Л. Интегральные уравнения. Введение в теорию /
М. Л. Краснов. – М. : КомКнига, 2006. – 304 с.
4. Краснов М. Л. Интегральные уравнения : Задачи и примеры с
подробными решениями / М. Л. Краснов, А. И. Киселев,
Г. И. Макаренко. – М. : Едиториал УРСС, 2003. – 192 с.
5. Кривошея С. А. Диференціальні та інтегральні рівняння /
С. А. Кривошея, М. О. Перестюк, В. М. Бурим. – К. : Либідь,
2004. – 408 с.
6. Гой Т. П. Диференціальні та інтегральні рівняння / Т. П. Гой,
О. В. Махней. – Івано-Франківськ : Сімик, 2012. – 356 с.
7. Михлин С. Г. Лекции по линейным интегральным уравнениям/
С. Г. Михлин. – М. : ГИФМЛ, 1959. – 234 с.
8. Петровский И. Г. Лекции по теории линейных интегральных
уравнений / И. Г. Петровский. – М. : Едиториал УРСС, 2003. –
120 с.
9. Федак І. В. Лінійні інтегральні рівняння / І. В. Федак, Т. П. Гой.
– Івано-Франківськ : Голіней, 2011. – 152 с.
Додаткова література
10. Верлань А. Ф. Интегральные уравнения : методы, алгоритмы,
программы. Справочное пособие / А. Ф. Верлань, В. С. Сизи-
ков. – К. : Наукова думка, 1986. – 544 с.
11. Гой Т. П. Операційне числення / Т. П. Гой, Г. П. Малицька,
А. В. Соломко. – Івано-Франківськ : Сімик, 2012. – 208 с.
12. Головацький В. А. Система комп'ютерної алгебри Mathematica
/ В. А. Головацький. – Чернівці: Рута, 2008. – 352 с.
221
13. Дифференциальные и интегральные уравнения, вариационное
исчисление в примерах и задачах / А. Б. Васильева, Г. Н. Мед-
ведев, Н. А. Тихонов, Т. А. Уразгильдина. – М. : ФИЗМАТЛИТ,
2003. – 432 с.
14. Дюкарев Ю. М. Диференціальні й інтегральні рівняння та ва-
ріаційне числення / Ю. М. Дюкарев, О. Г. Літвінова. – Х. : ХНУ
ім. В. Н. Каразіна, 2010. – 138 с.
15. Дьяконов В. П. Mathematica 5.1/5.2/6. Программирование и ма-
тематические вычисления / В. П. Дьяконов – М.: ДМК-Пресс,
2008. – 576 с.
16. Зон Б. А. Лекции по интегральным уравнениям / Б. А. Зон. –
М. : Высшая школа, 2004. – 92 с.
17. Колмогоров А. М. Елементи теорії функцій і функціонального
аналізу / А. М. Колмогоров, С. В. Фомін. – К. : Вища школа,
1974. – 456 с.
18. Лега Ю. Г. Прикладні методи комп'ютерного моделювання в
середовищі Mathematica / Ю. Г. Лега, В. В. Мельник, О. М.
Папуша. – Черкаси : ЧДТУ, 2011. – 188 с.
19. Манжиров А. В. Справочник по интегральным уравнениям:
Методы решения / А. В. Манжиров, А. Д. Полянин. – М. :
Факториал Пресс, 2000. – 384 с.
20. Мышкис А. Д. Математика для технических вузов: Специаль-
ные курсы / А. Д. Мышкис. – СПб. : Лань, 2009. – 640 с.
21. Полянин А. Д. Справочник по интегральным уравнениям:
Точные решения / А. Д. Полянин, А. В. Манжиров. – М.:
Факториал, 1998. – 432 с.
22. Федак І. В. Функціональний аналіз / І. В. Федак. – Івано-Фран-
ківськ : Сімик, 2011. – 120 с.
23. Цегелик Г. Г. Наближені методи розв’язування крайових задач
для диференціальних рівнянь з частинними похідними та інте-
гральних рівнянь / Г. Г. Цегелик. – Львів : Видавничий центр
ЛНУ ім. Івана Франка, 2008. – 140 с.
222