Metody numeryczne

Transkrypt

Metody numeryczne
Metody numeryczne
Interpolacja, cz˛eść I
Janusz Szwabiński
[email protected]
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.1/55
Literatura (uzupełnienie)
1. K. A. Ross, Ch. R. B. Wright, “Matematyka dyskretna”
2. P. Wróblewski, “Algorytmy, struktury danych i techniki
programowania”
3. Z. Fortuna, B. Macukow, J. Wasowski,
˛
“Metody
numeryczne”
4. G. M. Fichtenholz, “Rachunek różniczkowy i całkowy”
5. A. Mostowski, M. Stark, “Elementy algebry wyższej”
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.2/55
Interpolacja, cz˛eść I
1. Zagadnienie interpolacyjne
2. Interpolacja wielomianowa
Wzór interpolacyjny Lagrange’a
Metoda Aitkena
Metoda Neville’a
Oszacowanie bł˛edu wzoru interpolacyjnego
Wzór interpolacyjny Newtona
Zbieżność procesów interpolacyjnych
3. Interpolacja wymierna
Sformułowanie zagadnienia
Odwrotności ilorazów różnicowych
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.3/55
Zagadnienie interpolacyjne (1)
- wartości funkcji interpolowanej
- funkcja interpolujaca
˛
- w˛ezły interpolacji
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.4/55
Zagadnienie interpolacyjne (2)
y
1
0,5
0
−1
0
x
1
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.5/55
..
.
nazywa si˛e
Definicja Wyznacznikiem Vandermonde’a stopnia
wyznacznik
Interpolacja wielomianowa (1)
Twierdzenie 1
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.6/55
równań liniowych o
niewiadomych
Definicja Układ
Interpolacja wielomianowa (2)
..
.
nazywamy układem Cramera, jeśli
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.7/55
Interpolacja wielomianowa (3)
powstaje z macierzy
, , .
przez zastapienie
˛
–tej
gdzie macierz
kolumny przez
Twierdzenie 2 Układ Cramera ma dokładnie jedno
rozwiazanie:
˛
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.8/55
punktów w˛ezłowych
taki, że
istnieje dokładnie jeden wielomian
dla
Twierdzenie 3 Dla dowolnych
- zbiór wielomianów stopnia
Interpolacja wielomianowa (4)
interpolacja wielomianowa jest zagadnieniem
jednoznacznym.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.9/55
. Szukamy
Dowód Mamy
punktów w˛ezłowych
wielomianu interpolujacego
˛
w postaci
Interpolacja wielomianowa (5)
przy czym
Stad
˛
..
.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.10/55
Interpolacja wielomianowa (6)
dla
,
Ponieważ
jest wyznacznikiem Vandermonde’a
..
.
Dowód (ciag
˛ dalszy) Macierz tego układu (niewiadomymi sa˛
współczynniki !) ma postać
układ równań jest układem Cramera
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.11/55
Interpolacja wielomianowa (7)
istnieje dokładnie jedno rozwiazanie
˛
gdzie
sa˛ kolejnymi dopełnieniami algebraicznymi
elementów –tej kolumny macierzy .
Dowód (ciag
˛ dalszy)
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.12/55
- wielomiany stopnia
Wzór interpolacyjny Lagrange’a (1)
.
,
gdy
gdy
Ponieważ
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.13/55
otrzymujemy
Z warunku
Wzór interpolacyjny Lagrange’a (2)
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.14/55
Wzór interpolacyjny Lagrange’a (3)
gdzie
wielomian Lagrange’a jest jedynym wielomianem
interpolacyjnym stopnia
Twierdzenie o jednoznaczności
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.15/55
Wzór interpolacyjny Lagrange’a (4)
8
-3
1
3
4
2
1
-2
Przykład Szukamy wielomianu interpolacyjnego, który
przechodzi przez nast˛epujace
˛ punkty w˛ezłowe:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.16/55
Wzór interpolacyjny Lagrange’a (5)
Przykład
FUNCTION LAGRANGE(x,xa,ya) RESULT (wnx)
implicit none
double precision,dimension(:) :: xa,ya !punkty wezlowe
double precision
:: x,wnx,om,w
integer :: i,j
wnx=0.0
om=1.0
do i=1,size(xa)
om=om*(x-xa(i))
w=1.0
do j=1, size(xa)
if(i .ne. j) w=w*(xa(i)-xa(j))
end do
wnx=wnx+ya(i)/(w*(x-xa(i)))
end do
wnx=wnx*om
END FUNCTION
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.17/55
Metoda Aitkena (1)
,
przechodzacy
˛
,
przez
- wielomian stopnia
,
przez
,
- wielomian stopnia drugiego przechodzacy
˛
przechodzacy
˛ przez
- wielomian stopnia pierwszego
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.18/55
Metoda Aitkena (2)
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.19/55
Metoda Aitkena (3)
..
.
..
.
..
.
..
.
..
.
..
.
Schemat Aitkena:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.20/55
Metoda Aitkena (4)
0
1
3
Przykład Obliczyć metoda˛ Aitkena wartość wielomianu
dla punktu
, jeśli wielomian ten
interpolacyjnego
przechodzi przez nast˛epujace
˛ punkty w˛ezłowe:
1
3
2
2
3
3
1
1
0
Schemat Aitkena dla tego zadania ma postać:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.21/55
daje si˛e przedstawić
Twierdzenie 4 Wielomian
wzorem rekurencyjnym
,
przez
przechodzacy
˛
- wielomian stopnia
Metoda Neville’a (1)
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.22/55
Metoda Neville’a (2)
Zatem
rzeczywiście ma cechy
twierdzenia o jednoznaczności kończy dowód.
a dla
Dowód Niech
b˛edzie prawa˛ strona˛ powyższego równania.
ma własności wielomianu
.
Pokażemy, że
jest
. Ponadto, zgodnie z definicja˛
Widzimy, że stopień
i
mamy
wielomianów
, co na mocy
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.23/55
Metoda Neville’a (3)
Schemat Neville’a:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.24/55
Metoda Neville’a (4)
1
3
2
2
3
3
1
1
0
ma postać:
Schemat Neville’a dla
3
1
0
Przykład Zastosować metod˛e Neville’a do poprzedniego
przykładu:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.25/55
Oszacowanie bł˛edu wzoru interpolacyjnego (1)
razy różniczkowalna˛ oraz
b˛edzie funkcja˛
Niech
Twierdzenie 5
gdzie
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.26/55
Oszacowanie bł˛edu wzoru interpolacyjnego (2)
Twierdzenie 6 (Rolle’a) Niech 1) funkcja b˛edzie określona na
; 2) istnieje pochodna skończona
przedziale domkni˛etym
przynajmniej w przedziale otwartym
; 3) na końcach
. Wówczas
przedziału funkcja przyjmuje wartości
), że
mi˛edzy i można znaleźć taki punkt (
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.27/55
Oszacowanie bł˛edu wzoru interpolacyjnego (3)
Współczynnik dobieramy tak, aby pierwiastkiem funkcji
był również punkt , różny od w˛ezłów interpolacji. Stad
˛
- pewna stała)
Dowód (twierdzenia 5)
Wprowadźmy funkcj˛e pomocnicza˛ (
Mianownik w ostatnim wzorze jest różny od zera dla wszystkich
(
).
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.28/55
Oszacowanie bł˛edu wzoru interpolacyjnego (4)
, .
,
,
,
miejsc zerowych
miejsc zerowych drugiej pochodnej
..
.
jest co najmniej
co najmniej
w przedziale
miejsc zerowych
ma w każdym z podprzedziałów położonych mi˛edzy
pierwiastkami co najmniej jedno miejsce zerowe
Dowód (ciag
˛ dalszy)
ma w sumie
Twierdzenia Rolle’a
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.29/55
Oszacowanie bł˛edu wzoru interpolacyjnego (5)
istnieje co najmniej jeden punkt w przedziale
taki, że
Dowód (ciag
˛ dalszy)
Ponieważ
wi˛ec
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.30/55
Oszacowanie bł˛edu wzoru interpolacyjnego (6)
Dowód (ciag
˛ dalszy)
Stad
˛ wynika
zatem
gdzie
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.31/55
Oszacowanie bł˛edu wzoru interpolacyjnego (7)
Przykład Niech
. Załóżmy, że znamy wartości
dokładne naszej funkcji w punktach
mamy
Stad
˛ np. dla
Wówczas
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.32/55
Wzór interpolacyjny Newtona
Metody Aitkena i Neville’a:
wyznaczanie wartości wielomianu interpolacyjnego w danym
punkcie
niepraktyczne, jeśli punktów jest dużo
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.33/55
Ilorazy różnicowe (1)
Definicja Ilorazami różnicowymi pierwszego rz˛edu nazywamy
wyrażenia
..
.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.34/55
Ilorazy różnicowe (2)
Definicja Ilorazami różnicowymi drugiego rz˛edu nazywamy
wyrażenia
..
.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.35/55
Ilorazy różnicowe (3)
oraz
dla
nazywamy
Definicja Ilorazem różnicowym rz˛edu
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.36/55
Ilorazy różnicowe (4)
Ilorazy różnicowe
rz˛edu 3
rz˛edu 4
rz˛edu 2
rz˛edu 1
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.37/55
Wzór Newtona (1)
przy czym
Twierdzenie 7
.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.38/55
mamy
Dowód Dla
Wzór Newtona (2)
zatem twierdzenie jest prawdziwe. Załóżmy teraz, że jest ono
. Aby pokazać prawdziwość
prawdziwe dla pewnego
jest
dla zauważmy najpierw, że różnica
wielomianem, który można przedstawić w postaci
gdzie jest najwyższym współczynnikiem (czyli
współczynnikiem przy najwyższej pot˛edze ) wielomianu
.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.39/55
Wzór Newtona (3)
Dowód (ciag
˛ dalszy)
Według założenia indukcyjnego, najwyższymi współczynnikami
oraz
sa˛ odpowiednio
wielomianów
i
. Ze wzoru Neville’a wynika
zatem
Na mocy zasady indukcji matematycznej twierdzenie jest wi˛ec
udowodnione.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.40/55
Wzór Newtona (4)
0
2
3
4
6
Przykład Szukamy wielomianu interpolacyjnego dla funkcji
określonej tablica˛ wartości:
1
3
2
5
7
Tworzymy tablic˛e ilorazów różnicowych dla tej funkcji:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.41/55
Wzór Newtona (5)
0
Przykład (ciag
˛ dalszy)
1
1
3
2
-1
2
2
3
3
5
4
1
6
7
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.42/55
Wzór Newtona (6)
Przykład (ciag
˛ dalszy)
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.43/55
Zbieżność procesów interpolacyjnych (1)
Definicja Mówimy, że metoda interpolacyjna jest zbieżna do
w punkcie , gdy
funkcji
gdzie
to funkcja interpolujaca
˛ (niekoniecznie wielomian).
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.44/55
Zbieżność procesów interpolacyjnych (2)
1
y=|x|
W2(x)
W4(x)
W6(x)
y
W10(x)
0,5
0
−1
0
x
1
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.45/55
punktów w˛ezłowych
Mamy
Interpolacja wymierna (1)
przybliżamy funkcja˛ wymierna˛
Wartość funkcji
spełniajac
˛ a˛ warunek
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.46/55
Interpolacja wymierna (2)
Uwaga, pułapka!
Z
można wnioskować, że
, .
określa współczynniki
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.47/55
Interpolacja wymierna (3)
1
2
1
2
2
oraz
, otrzymamy
jest parametrem, oraz że
Zakładajac,
˛ że
0
Przykład Niech
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.48/55
Interpolacja wymierna (4)
Przykład (ciag
˛ dalszy)
, a po uproszczeniu otrzymujemy
mamy
Dla
czyli
A zatem funkcja
nie rozwiazuje
˛
zadania interpolacji.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.49/55
Odwrotności różnic ilorazowych (1)
Definicja Odwrotnościami ilorazów różnicowych nazywamy
wielkości
przy czym niektóre z nich moga˛ być nieskończone ze wzgl˛edu
na zerowanie si˛e mianowników.
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.50/55
Odwrotności różnic ilorazowych (2)
Spełniona jest nast˛epujaca
˛ własność:
Stad
˛ wynika
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.51/55
Odwrotności różnic ilorazowych (3)
a zatem
co prowadzi do
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.52/55
Odwrotności różnic ilorazowych (4)
Ostatecznie, dla naszego wyrażenia wymiernego otrzymujemy
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.53/55
Odwrotności różnic ilorazowych (5)
można wi˛ec przedstawić w postaci nast˛epujacego
˛
ułamka łańcuchowego:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.54/55
Odwrotności różnic ilorazowych (6)
9
-3
2
3
-1
1
0
0
Przykład Mamy dana˛ tabel˛e odwrotności ilorazów
różnicowych:
nm_slides-2.tex – Metody numeryczne – Janusz Szwabiński – 8/10/2002 – 22:40 – p.55/55