МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ “ЛЬВІВСЬКА ПОЛІТЕХНІКА”
ІНТЕРПОЛЯЦІЯ ФУНКЦІЙ
МЕТОДИЧНІ ВКАЗІВКИ
з курсу "Чисельні методи"
для студентів базового напрямку
6.0802 "Прикладна математика"
Затверджено
на засіданні кафедри
“Прикладна математика”
Протокол № 7 від 22.04.2004 р.
Львів 2004
Інтерполяція функцій: Методичні вказівки з курсу «Чисельні методи» для студентів базового напрямку 6.0802 «Прикладна математика»/ Укл.: М.В.Кутнів, Я.В.Пізюр. – Львів: Видавництво Національного університету «Львівська політехніка», 2004.- 14 с.
Укладачі Кутнів М.В., канд. фіз-мат. наук, доц.,
Пізюр Я.В., канд. фіз-мат. наук, доц.
Відповідальний за випуск Мединський І.П., канд. фіз-мат. наук, доц.
Рецензенти Гнатів Б.В., канд. фіз-мат. наук, доц.,
Бандирський Б.Й., канд. фіз-мат. наук, доц.
ІНТЕРПОЛЯЦІЯ ФУНКЦІЙ
§1. Постановка задачі наближення функції
Найпростіша задача наближення функції полягає у наступному. В дискретні моменти часу спостерігаються (відомі) значення функції ; необхідно знайти її значення при інших .
Інколи з деяких додаткових міркувань відомо, що функцію, яку потрібно наблизити, доцільно шукати у вигляді
.
Якщо параметри визначаються з умов , , де – так звані вузли інтерполяції, то такий спосіб наближення називають інтерполяцією або інтерполюванням.
Нехай – найменше з чисел – вузлів інтерполяції, а – найбільше з них. Якщо точка, в якій обчислюється значення лежить зовні , то разом з терміном інтерполяція використовується термін екстраполяція. Якщо вузли інтерполяції вибрано далеко від екстраполяційної точки, то слабо використовується суттєва інформація про поведінку змінної.
Найбільш часто використовується інтерполяція многочленами. Однак, це не єдино можливий тип інтерполяції. Інколи зручно наближати функцію тригонометричними функціями, а також раціональними функціями.
§2. Інтерполяційний многочлен Лагранжа
Серед способів інтерполювання найбільш поширений випадок лінійного інтерполювання, коли наближення шукають у вигляді:
,
де – фіксовані функції, значення коефіцієнтів визначаються з умов:
. (1)
Метод розв’язування задачі, при якому коефіцієнти визначаються безпосереднім розв’язування системи (1), називається методом неозначених коефіцієнтів.
Найчастіше на практиці використовується інтерполяція многочленами:
, (2)
тоді і система рівнянь (1) має вигляд:
. (3)
Припустимо, що всі різні. Визначник цієї системи є визначником Вандермонда:
.
Отже, система завжди має єдиний розв’язок. Таким чином, доведено існування та єдиність інтерполяційного многочлена (2).
Безпосереднє знаходження коефіцієнтів за допомогою розв’язування цієї системи вже при порівняно невеликих () призводить до великої обчислювальної похибки.
Будемо шукати явне представлення інтерполяційного многочлена не розв’язуючи систему (3). Задача інтерполювання буде розв’язана, якщо побудувати многочлени степеня не вище такі, що:
.
Тоді многочлен
(4)
буде шуканим інтерполяційним многочленом. Дійсно,
.
Крім того, – многочлен степеня . Многочлени будемо шукати у вигляді:
,
де – неозначені коефіцієнти, які знайдемо з умови Тоді
.
Отже,
.
Інтерполяційний многочлен, записаний у вигляді:
називають інтерполяційним многочленом Лагранжа.
Існують інші форми запису цього ж інтерполяційного многочлена, наприклад, інтерполяційна формула Ньютона, яку ми будемо розглядати далі.
§3. Розділені різниці. Інтерполяційна формула Ньютона
За означенням розділена різниця нульового порядку від функції по одному вузлу збігається з значенням функції . Розділені різниці першого порядку визначаються рівністю:
,
різниці другого порядку рівністю:
і т.д. Розділені різниці -го порядку визначаються через різниці порядку за формулою:
.
Лема. Справджується рівність
.
Доведення проведемо методом математичної індукції. При ця рівність перетворюється в рівність , при
.
Нехай (6) доведена при . Тоді
.
Якщо то коефіцієнт при в правій частині є
.
Для значення входить лише в один доданок в правій частині, а коефійієнт при ньому має вигляд
,
а коефіцієнт при є
.
Розділена різниця є симетричною функцією своїх аргументів , тобто не змінюється при будь-якому їх переставлянні.
Якщо функція задана в точках , то таблицю
називають таблицею розділених різниць.
Нехай многочлен n-го степеня. Різниця перетворюється в нуль при , а тому ділиться на . Отже, перша розділена різниця многочлена -го степеня
є многочленом степеня відносно. Розглянемо розділену різницю
.
Чисельник цього дробу перетворюється в нуль при . Отже, друга розділена різниця є многочленом степеня . Продовжуючи ці міркування, дійдемо висновку, що є многочленом нульового степеня, тобто константою, а розділені різниці вищого порядку ніж , дорівнюють нулю.
З означення розділених різниць випливає
,
,
,
......................................................................................................
.
Звідси для дістаємо формулу:
.
Якщо інтерполяційний многочлен для функції , то його значення у вузлах збігається із значенням функції , а отже, збігаються і розділені різниці, тому інтерполяційний многочлен для функції можна записати у вигляді:
(1)
Такий запис інтерполяційного многочлена називають інтерполяційним многочленом у формі Ньютона, а формулу (1) – інтерполяційною формулою Ньютона.
Якщо відомі розділені різниці (таблиця розділених різниць), то многочлен Ньютона зручно обчислювати за схемою Горнера:
(2)
Неважко помітити, що коли покласти , то . Це рекурентне співвідношення легко програмується. Обчислення для кожного за схемою (2) потребує n множень і додавань та віднімань у той час, коли для обчислення значення многочлена Лагранжа, потрібна кількість арифметичних дій порядку . Однак, запис інтерполяційного многочлена у формі Лагранжа, як правило, призводить до меншої величини обчислювальної похибки.
Для спрощення обчислень інтерполяційного многочлена зручно використовувати так звану схему Ейткена. Нехай – інтерполяційний многочлен степеня з вузлами інтерполяції , зокрема . Справджується рівність:
. (3)
Дійсно, права частина (3) є многочленом степеня і збігається з в точках . Схема Ейткена обчислення значення полягає в послідовному обчисленні за формулою (3) елементів таблиці значень інтерполяційних многочленів
.
Нехай вузли розташовані на одинакових віддалях: , де – величина кроку таблиці. Тоді використовують скінченні різниці, які визначаються так:
1) скінченні різниці першого порядку , – різниця вперед, а – різниця назад;
2) скінченні різниці k – го порядку .
Очевидно, що
.
У формулі (1) зробимо заміну і перейдемо від розділених різниць до скінченних, тоді одержимо:
. (4)
Формулу (4) називають інтерполяційною формулою Ньютона для інтерполювання вперед. Її зручно використовувати при інтерполюванні на початку таблиці.
Якщо у формулі (1) інтерполяційні вузли перенумерувати у порядку і зробити заміну , то одержимо інтерполяційний многочлен
, (5)
який називається інтерполяційним многочленом Ньютона для інтерполювання назад і використовується при інтерполюванні в кінці таблиці.
Приклад 1. Побудувати інтерполяційний многочлен Ньютона для функції заданої таблицею
0
1
2
3
5
1
0
2
1
4
Розв’язання. Побудуємо таблицю розділених різниць
.
Отже, інтерполяційний многочлен Ньютона буде мати вигляд
.
§4. Оцінка залишкового члена інтерполяційного многочлена
Проведемо дослідження похибки, яка виникає при заміні функції інтерполяційним многочленом. Нехай функція визначена в вузлі інтерполяції , а – інтерполяційний многочлен. Залишковий член (похибка) інтерполяційного многочлена має вигляд:
.
Очевидно, що у вузлах інтерполяції цей залишковий член дорівнює нулю. Припустимо, що функція має неперервну похідну на відрізку , тобто . Введемо допоміжну функцію
,
де , –константа. Зауважимо, що , , . Виберемо сталу з умови , де – точка, в якій оцінюється похибка. Для цього достатньо покласти
.
При такому виборі функція перетворюється в нуль в -x точках . На основі теореми Ролля її похідна має не менше коренів. Послідовно застосовуючи цю теорему до похідних вищого порядку функції одержимо, що має не менше коренів і.т.д., а функція має принаймні один корінь, тобто , де . Оскільки , то з умови будемо мати:
.
Отже, співвідношення можна записати у вигляді
. (1)
Покладаючи
,
дістанемо оцінку залишкового члена
.
Зауваження. Оскільки інтерполяційні многочлени Лагранжа і Ньютона відрізняються тільки формою запису, то формула (1) справджується як для інтерполяційного многочлена у формі Лагранжа так і у формі Ньютона.
Приклад 2. За таблицею значень функції в точках 2,70, 2,72, 2,74 користуючись лінійною інтерполяцією, знайти наближене значення та оцінити залишковий член.
Розв’язання. Побудуємо таблицю розділених різниць
2,70
2,72
2,74
0,3704
0,3676
0,3650
-0,14
-0,13
Інтерполяційний многочлен Ньютона 1-го степеня (лінійна інтерполяція) має вигляд: . Тоді Для залишкового члена лінійної інтерполяції справджується оцінка
.
Враховуючи, що , будемо мати
.
Приклад 3. З якою точністю можна обчислити за відомими значеннями використовуючи інтерполяцію: а) лінійну; б) квадратичну.
Розв’язання. Оскільки , , , ,
то для залишкового члена лінійної інтерполяції справджується оцінка
У випадку квадратичної інтерполяції (інтерполяції многочленом 2-го степеня) з урахуванням , , одержимо
СПИСОК ЛІТЕРАТУРИ
Бабенко К.И. Основы численного анализа. – М.: Наука, 1986.
Бахвалов Н.С., Жидков Н.П., Кобельков Г.М.. Численные методы. – М.:Наука, 1987.
Березин И.С., Жидков Н.П. Методы вычислений: В 2 т. М.: ГИФМЛ, 1962.
Гаврилюк І.П., Макаров В.Л. Методи обчислень. – К.:Вища школа, 1995, ч.1,
Крылов В.И., Бобков В.В., Монастырный П.И. Вычислительные методы. – М.: Наука, 1976-1977, Т.1, Т.2.
Ляшко И.И., Макаров В.Л., Скоробогатько А.А. Методы вычислений. – К.: Вища школа, 1977.
Самарский А.А. Введение в численные методы. - М.:Наука, 1982.
Самарский А.А., Гулин А.В. Численные методы. - М.:Наука, 1986.
Лабораторна робота №1
Тема: Інтерполяція функцій
Для функції, заданої таблично, побудувати інтерполяційний многочлен Ньютона через розділені різниці (3.2) і обчислити її значення у точках , , .
Варіанти завдань для лабораторної роботи:
Функція А
0,0
0,00000
0,5
0,47942
0,1
0,09983
0,6
0,56464
0,2
0,19866
0,7
0,64421
0,3
0,29552
0,8
0,71735
0,4
0,38941
0,9
0,78332
Точки інтерполяції
№
1
0,052
0,303
0,891
2
0,445
0,778
0,801
3
0,115
0,256
0,669
4
0,224
0,575
0,832
5
0,033
0,555
0,782
6
0,226
0,431
0,669
7
0,114
0,357
0,802
8
0,335
0,551
0,844
9
0,011
0,449
0,723
10
0,225
0,578
0,805
Функція В
0,0
2,00000
0,5
1,07073
0,1
1,95533
0,6
0,77279
0,2
1,82533
0,7
0,49515
0,3
1,62160
0,8
0,26260
0,4
1,36235
0,9
0,09592
Точки інтерполяції
№
1
0,122
0,554
0,812
2
0,054
0,335
0,774
3
0,221
0,408
0,681
4
0,084
0,178
0,455
5
0,351
0,485
0,804
6
0,108
0,337
0,687
7
0,224
0,447
0,771
8
0,066
0,368
0,623
9
0,311
0,587
0,776
10
0,188
0,258
0,691
Функція С
0,0
0,00000
0,5
1,71828
0,1
0,22140
0,6
2,32011
0,2
0,49182
0,7
3,05519
0,3
0,82211
0,8
3,95303
0,4
1,22554
0,9
5,04964
Точки інтерполяції
№
1
0,221
0,428
0,681
2
0,128
0,258
0,691
3
0,224
0,447
0,771
4
0,172
0,534
0,832
5
0,331
0,537
0,716
6
0,012
0,551
0,808
7
0,284
0,454
0,633
8
0,087
0,441
0,777
9
0,405
0,661
0,822
10
0,216
0,486
0,714
Лабораторна робота №2
Тема: Дослідження похибки інтерполяції функцій многочленом Ньютона
Для функції заданої на рівномірній сітці в точках на інтервалі
знайти аналітичний вираз залишкового члена інтерполяційного многочлена;
обчислити йогомаксимальне значення і значення в точках ;
побудувати інтерполяційний многочлен Ньютона через розділені різниці;
обчислити похибки інтерполяції у точках і порівняти їх із значеннями залишкового члена.
N
1
4
0
2
4
0
3
4
0
4
4
0
5
4
0
6
4
0
7
4
0
2
8
4
0
1
9
4
-1
1
10
3
0
1
11
3
0
1
12
3
1
2
13
3
0
2
14
3
0
1
15
3
1
2
16
4
2
5
17
3
0
2
18
3
0
2
19
4
1
2
20
4
0
2
21
4
0
2
22
4
0
2
23
4
1
3
24
4
0
2
25
4
0
2
26
4
0
4
27
4
0
3
28
3
0
29
3
30
3
НАВЧАЛЬНЕ ВИДАННЯ
ІНТЕРПОЛЯЦІЯ ФУНКЦІЙ
МЕТОДИЧНІ ВКАЗІВКИ
з курсу “Чисельні методи”
для студентів базового напрямку
6.0802 “Прикладна математика”
Укладачі Кутнів Мирослав Володимирович
Пізюр Ярополк Володимирович
Редактор
Комп’ютерне складання
Підписано до друку
Формат 70 х 1001/16. Папір офсетний.
Друк на різографі. Умовн. друк. арк. Обл.-вид. арк.
Наклад прим. Зам.
Поліграфічний центр
Видавництва Національного університету “Львівська політехніка”
вул. Ф Кодесси, 2, 79000, Львів