Professional Documents
Culture Documents
problem aproksimacije
1 Opci
to je problem aproksimacije? Ako su poznate neke informacije o funkciji f de niranoj
na skupu X
R; onda na osnovi tih informacija elimo zamijeniti funkciju f nekom
drugom funkcijom ' de niranom na skupu X koja je bliska funkciji f u nekom smislu.
Skup X je najcece ogranicen interval oblika [a; b] ili diskretan skup tocaka.
Potreba za aproksimiranjem javlja se najcece u dvije bitno razlicite situacije.
Poznata je funkcija f; ali je njena forma preslo ena za racunanje. U tom slucaju
mo emo birati informacije o f koje c emo koristiti, a mo emo i ocijeniti greku dobivene aproksimacije.
Funkcija f nije poznata, no poznate su neke informacije o njoj, npr. njene vrijednosti
na nekom konacnom skupu tocaka. Zamjenska funkcija ' odreduje
se iz raspolo ivih
informacija koje ukljucuju i ocekivani oblik ponaanja funkcije ': U ovom slucaju ne
mo emo napraviti procjenu pogreke bez dodatnih informacija o nepoznatoj funkciji
f:
Interpolacijski polinomi
Ova druga varijanta je puno ceca u praksi, a najcece se javlja kod mjerenja raznih
velicina. Primijetimo da se kod mjerenja javljaju i pogreke mjerenja, pa treba voditi
racuna i o tome. Sama funkcija ' se bira prema prirodi modela, ali tako da bude
jednostavna za racunanje. Obicno ovisi o odredenom
broju parametara koje onda
odredujemo
po nekom kriteriju.
Interpolacijski polinomi
+ am'm (x) ;
gdje su '0; : : : ; 'm poznate funkcije koje znamo racunati. Primijetimo da se linearnost
odnosi samo na ovisnost o parametrima a0; : : : ; am koje treba izracunati. Prednost
ovog oblika aproksimacije je da se odredivanje
nepoznatih parametara obicno svodi na
Interpolacijski polinomi
+ cr ebr x;
b0 + b1 x +
+ br x r
;
c0 + c1 x +
+ cs xs
a imaju puno bolja svojstva aproksimiranja nego polinomi.
' (x) =
Interpolacijski polinomi
tockama, tj. da interpolira funkciju u tim tockama koje onda nazivamo cvorovima. Prilikom interpoliranja mogu se postaviti i dodatni zahtjevi da se aproksimacijska funkcija
i polazna funkcija, osim u funkcijskim vrijednostima, u cvorovima poklapaju i u nekim
vrijednostima derivacija. Drugi cest zahtjev prilikom aproksimiranja jest da odstupanje
aproksimacijske funkcije od polazne funkcije na neki nacin bude minimalno, tj. da je
mala pogreka aproksimacije.
Dakle, u najjednostavnijem slucaju, kada tra imo samo da se aproksimacijska funkcija i
(nepoznata) funkcija f poklapaju u funkcijskim vrijednostima u cvorovima, od podataka
o funkciji f koristimo samo njene vrijednosti na skupu od n + 1 razlicitih tocaka, tj.
podaci su oblika
Nepoznati parametri a0; : : : ; an (kojih ne smije biti vie nego podataka) odreduju
se iz
uvjeta
e (x) = f (x)
' (x) :
Interpolacijski polinomi
Kada koristimo 2-normu pripadnu aproksimaciju nazivamo srednjekvadratnom aproksimacijom, a metodu za njeno odredivanje
zovemo metoda najmanjih kvadrata.
Ovakav pristup ima veze sa statistikom: izmjereni podaci se obicno ponaaju kao normalna slucajna varijabla, ocekivanje je tocna vrijednost podataka, a minimiziramo varijancu.
Kada koristimo 1-normu pripadnu aproksimaciju zovemo minimaks aproksimacija.
U nekim slucajevima ovakav pristup je bolji od onog koji koristi metoda najmanjih
kvadrata jer se tra i da maksimalna pogreka na skupu X bude minimalna (otud i
naziv), no racun je znatno slo eniji.
Interpolacijski polinomi
Problem interpolacije mo emo smatrati posebnim, ali iznimno va nim, slucajem najbolje diskretne aproksimacije po normi. Posebnost se ogleda u tome to je moguce
postici da minimum norme pogreke bude jednak nuli, to je ekvivalentno odgovarajucim uvjetima interpolacije.
Uzmimo na primjer
X = fx0; : : : ; xng
i potra imo aproksimacijsku funkciju ' u prostoru Pn svih polinoma stupnja najvie n:
Kao kriterij aproksimacije uzmimo bilo koju p-normu (1 p 1). U tom slucaju imamo
zahtjev
!1=p
n
X
kekp = kf 'kp =
jf (xk ) ' (xk )jp
! min
k=0
10
Interpolacijski polinomi
11
2 Interpolacija polinomima
O va nosti polinoma kao aproksimacijskih funkcija najbolje nam govori poznati Weierstrassov teorem koji nam ka e da se svaka funkcija neprekidna na zatvorenom intervalu mo e po volji dobro aproksimirati polinomom.
TEOREM. Ako je funkcija f : [a; b] ! R neprekidna onda za svaki " > 0 postoji polinom
p takav da za sve x 2 [a; b] vrijedi
jf (x)
DOKAZ. Dokaz c emo provesti pomocu Bernsteinovih polinoma. Oni su na [0; 1] de nirani s
Bn (x) =
n
X
k=0
k
n
n k
t (1
k
t)n
Dokaz c emo provesti za funkcije de nirane na intervalu [0; 1] ; no jasno je da se linearnom transformacijom sve mo e prevesti na proizvoljni interval [a; b] :
Interpolacijski polinomi
12
t)n
= [t + (1
t)]n = 1:
k=0
Deriviranjem po t dobijemo
n
X
k=0
n k
k
t
k
(1
t)
n k
n
X
(n
n k
k)
t (1
k
(n
k)
k=0
t)n
k 1
= 0;
n k
k
t (1
k
t)n
k=0
Interpolacijski polinomi
n
X
n
X
k=0
(n
n k+1
t (1
k
t)n
n k
k)
t (1
k
k 1
t)n
13
1
1
n
X
k=0
n k
k
t (1
k
t)
n k
n
nt X n k
=
t (1
k
1 t
t)
n k
k=0
pa smo dokazali da je
n
X
k=0
n k
t (1
k
t)n
= nt:
Slicno se doka e i da je
n
X
k2
k=0
n k
t (1
k
t)n
= nt (1
t + nt) ;
Interpolacijski polinomi
(nt
k)2
n k
t (1
k
t)n
= nt (1
t) :
nt
1
14
t1j <
! jf (t)
Takoder,
neprekidna funkcija na segmentu poprima svoj maksimum, neka je to u ovom
slucaju neki M:
Pokazat c emo da vrijedi
(8" > 0) (9n0 2 N) (8n > n0) (8t 2 [0; 1]) jf (t)
Iz prethodnog znamo da je
n
X
k=0
Interpolacijski polinomi
n k
f (t)
t (1
k
t)n
= f (t) ; t 2 [0; 1] ;
15
pa je
jf (t)
Bn (t)j
n
X
f (t)
k=0
k
n
n k
t (1
k
t)n
; t 2 [0; 1] :
I1 =
k2I: t
I2 =
k2I: t
Ocigledno je I = I1 [ I2 i I1 \ I2 = ;:
Interpolacijski polinomi
k
<
n
k
n
;
:
16
Sada zbog
k
<
n
! f (t)
k
n
<"
imamo
f (t)
k2I1
k
n
n k
t (1
k
t)
n k
X n
<"
tk (1
k
t)n
< ":
k2I1
Takoder
je
f (t)
k2I2
Interpolacijski polinomi
k
n
n k
t (1
k
t)
n k
2M X
2
k2I2
k
n
n k
t (1
k
t)n
17
Imamo
2M X
2
k2I2
2M X
(nt
= 2 2
n k2I
k
n
k)2
n k
t (1
k
t)n
n k
t (1
k
t)n
n
X
2M
2 n
n k
k
(nt
k)
t
(1
t)
k
n2 2 k=0
2M
2M
2M 1
= 2 2 nt (1 t) = 2 t (1 t)
n
n
n 2 4
jer je zbog t 2 [0; 1] uvijek t (1 t) 1=4:
Interpolacijski polinomi
18
M
2 < ";
2n
odnosno n takav da je
M
n> 2 ;
2 "
onda je tra eni n0 = d 2M2" e; a za n > n0 vrijedi
f (t)
k2I2
k
n
n k
t (1
k
Dakle,
jf (t)
Interpolacijski polinomi
t)n
< ":
19
hu; vi =
n
X
i=0
generiran medusobno
razlicitim cvorovima x0; : : : ; xn i pripadnim nenegativnim te i
nama w0; : : : ; wn:
Interpolacijski polinomi
20
hpm; pni =
fpn j n
0g :
Interpolacijski polinomi
21
TEOREM. Neka je fpn j n 0g familija ortogonalnih polinoma na intervalu [a; b] s nenegativnom te inskom funkcijom w: Ako je polinom f stupnja m; onda vrijedi
m
X
hf; pni
f=
pn :
hpn; pni
n=0
DOKAZ. Doka imo najprije da se svaki polinom mo e prikazati kao linearna kombinacija ortogonalnih polinoma stupnja ne veceg od njegovog.
Dokaz provodimo koristeci Gram-Schmidtovu ortogonalizaciju i to tako da najprije doka emo
da se standardna baza polinoma mo e prikazati pomocu dane ortogonalne familije.
Ako je stupanj ortogonalnog polinoma jednak 0, on je nu no konstanta razlicita od nule,
tj. vrijedi
p0 (x) = c00 6= 0:
1=
Interpolacijski polinomi
1
p0 (x) :
c00
22
Dalje imamo
pa je
x=
1
(p1 (x)
c11
c10p0 (x)) :
1 (x)
Dakle,
1
x =
(pn (x)
cnn
n
Interpolacijski polinomi
cnn 1pn
1 (x)
cn0p0 (x)) :
23
f=
m
X
bj p j :
j=0
Ostaje samo odrediti koe cijente bj : Mno enjem gornje jednakosti s w; zatim polinomom pn (n m) i integriranjem na [a; b] (tj. skalarnim mno enjem s pn) dobivamo
hf; pni =
m
X
j=0
Interpolacijski polinomi
hf; pni
bn =
hpn; pni
24
hf; pm+1i = 0:
f=
m
X
bn p n ;
n=0
hf; pm+1i =
Interpolacijski polinomi
m
X
n=0
bn hpn; pm+1i = 0
25
TEOREM. Neka je fpn j n 0g familija ortogonalnih polinoma na intervalu [a; b] s nenegativnom te inskom funkcijom w: Tada svaki polinom pn ima tocno n razlicitih (jednostrukih) realnih nultocaka na otvorenom intervalu (a; b) :
DOKAZ. Neka su x1; : : : ; xm 2 (a; b) sve one razlicite nultocke polinoma pn u kojima
pn mijenja predznak. Po osnovnom teoremu algebre znamo da je m n: Pretpostavit
c emo da je m < n i pokazati da takva pretpostavka dovodi do kontradikcije.
De niramo polinom B s
B (x) = (x
x1 )
(x
xm ) :
x1 )
(x
xm )
Interpolacijski polinomi
26
Naime, zbog nacina izbora tocaka x1; : : : ; xm znamo da je polinom pn moguce zapisati
u obliku
pn (x) = h (x) (x
x 1 )r 1
x m )rm ;
(x
pri cemu su svi r1; : : : ; rm neparni i h 6= 0 ne mijenja predznak na (a; b) : Mno enjem
gornje jednakosti s B (x) dobijemo
x1)r1+1
(x
xm)rm+1 ;
Interpolacijski polinomi
27
pn (x) = An (x
Interpolacijski polinomi
xn1)
(x
xnn) ; n > 0:
28
An+1
;
an =
n = hpn ; pn i > 0;
An
Bn+1 Bn
An+1An
b n = an
; cn =
An+1 An
A2n
n 1
Interpolacijski polinomi
cn pn
1 (x) :
29
w (x) = p
1
1
x2
Vrijedi
8
Z 1
m 6= n
< 0;
Tm (x) Tn (x)
p
; m=n=0 :
dx =
2
:
1 x
1
=2; m = n 6= 0
Interpolacijski polinomi
30
Tn+1 (x)
2xTn (x) + Tn
1 (x)
= 0;
uz pocetne uvjete
T0 (x) = 1; T1 (x) = x:
Za ovaj sustav polinoma postoji i eksplicitna formula
Interpolacijski polinomi
x2 y 00
xy 0 + n2y = 0:
31
Tn+1 (x)
2 (2x
1) Tn (x) + Tn
1 (x)
uz pocetne uvjete
T0 (x) = 1; T1 (x) = 2x
Interpolacijski polinomi
1:
= 0;
32
w (x) =
Vrijedi
Interpolacijski polinomi
1
1
p
1
x2 :
0; m 6= n
:
=2; m = n
33
Oni zadovoljavaju istu rekurzivnu relaciju kao Cebievljevi polinomi prve vrste
Un+1 (x)
2xUn (x) + Un
1 (x)
= 0;
Un (x) =
Takoder,
n-ti Cebievljev polinom druge vrste Un zadovoljava diferencijalnu jednad bu
Interpolacijski polinomi
x2 y 00
3xy 0 + n (n + 2) y = 0:
34
w (x) = 1:
Vrijedi
Interpolacijski polinomi
Pm (x) Pn (x) dx =
1
0;
m 6= n
:
2= (2n + 1) ; m = n
35
(n + 1) Pn+1 (x)
1 (x)
uz pocetne uvjete
P0 (x) = 1; P1 (x) = x:
Legendreov polinom Pn zadovoljava i diferencijalnu jednad bu
Interpolacijski polinomi
x2 y 00
2xy 0 + n (n + 1) y = 0:
= 0;
36
w (x) = e x:
Vrijedi
Interpolacijski polinomi
0; m 6= n
:
1; m = n
37
(n + 1) Ln+1 (x) + (x
2n
1) Ln (x) + nLn
1 (x)
= 0;
uz pocetne uvjete
L0 (x) = 1; L1 (x) = 1
x:
Takoder,
Leguerreov polinom Ln zadovoljava diferencijalnu jednad bu
xy 00 + (1
Interpolacijski polinomi
x) y 0 + ny = 0:
38
w (x) = e
x2
Vrijedi
Interpolacijski polinomi
1
1
x2
Hm (x) Hn (x) dx =
0;p m 6= n
:
2nn! ; m = n
39
Hn+1 (x)
1 (x)
= 0;
uz pocetne uvjete
y 00
Interpolacijski polinomi
2xy 0 + 2ny = 0:
40
pn (xk ) = fk ; k = 0; 1; : : : ; n:
Interpolacijski polinomi
41
DOKAZ. Neka je
pn (x) = a0 + a1x +
+ an x n :
Interpolacijski polinomi
a0 + a1x0 +
a0 + a1x1 +
+ aj xj0 +
+ aj xj1 +
a0 + a1xi +
+ aj xji +
a0 + a1xn +
+ aj xjn +
+ anxn0 = f0
+ anx1 = f1
...
+ anxni = fi
...
+ anxnn = fn:
42
Ocito treba provjeriti ima li ovaj sustav s (n + 1)-nom nepoznanicom a0; : : : ; an jedinstveno rjeenje. Za to je dovoljno provjeriti da li je matrica sustava regularna, a to
mo emo provjeriti racunanjem vrijednosti determinante matrice sustava, oznacimo je
s Dn: Lako se vidi da je Dn tzv. Vandermondeova determinanta. De nirajmo determinantu Vn (x) koja slici na nju, samo to u posljednjem retku umjesto potencija od xn
ima potencije od x: Dakle, stavimo
1
1
...
Vn (x) =
1
...
1
x0
x1
...
xi
...
x
x20
x21
...
x2i
...
x2
...
...
xn0
xn1
...
xni
...
xn
1
1
xn0
xn1
...
n :
xi
...
xn
43
Vn (x1) = Vn (x2) =
= Vn (xn 1) = 0
jer u svakom od tih slucajeva dobivamo determinantu s dva jednaka retka. Dakle, tocke
x0; x1; : : : ; xn 1 su nultocke polinoma Vn stupnja n: Da bismo tocno odredili polinom
stupnja n; ako su poznate sve njegove nultocke, potrebno je samo znati njegov vodeci
koe cijent, a znamo da je to u ovom slucaju Dn 1: Odatle odmah slijedi
Vn (x) = Dn
1 (x
x0) (x
x1 )
(x
xn 1 ) :
Dn = Dn
1 (xn
x0) (xn
x1 )
Interpolacijski polinomi
(xn
xn 1 ) :
44
odgovarajuce
algoritme?
2.4 Kako naci
Kako se radi o problemu aproksimiranja funkcije f polinomom pn ocito trebamo algoritam za racunanje vrijednosti polinoma pn u nekoj zadanoj tocki koja nije cvor, jer vec
znamo da je u cvorovima ispunjeno pn (x) = f (x) : Tocaka u kojima elimo racunati
vrijednosti polinoma pn mo e biti vrlo mnogo, a gotovo nikada nije samo jedna. Zbog
toga problem racunanja vrijednosti pn (x) razdvajamo u dvije faze:
najprije odredimo polinom pn jer on ne ovisi o tocki x, vec samo o zadanim podacima
(x0; f (x0)) ; : : : ; (xn; f (xn)) ;
za zadanu tocku x izracunamo pn (x) :
Prvu fazu treba odraditi samo jednom, pa se zato i odvaja od druge koja se najvjerojatnije ponavlja vie puta. Ocito c e upravo druga faza bitno utjecati na brzinu algoritma,
no necemo zahtijevati brzinu na utrb stabilnosti.
Interpolacijski polinomi
45
Pogledajmo to se dogada
u prvoj fazi. Broj od n + 1 podataka u potpunosti odreduje
+ anbn (x) :
Njih mo emo naci tako da u gornju relaciju uvrstimo uvjete interpolacije i tako dobijemo
kvadratni linearni sustav reda n + 1: Matrica tog sustava je sigurno regularna (jer je B
baza prostora Pn). Elementi matrice B dobivenog sustava su oblika
Bi+1;k+1 = bi (xk ) ; k = 0; 1; : : : ; n;
a pretpostavimo li da znamo prikaz svih polinoma baze B u standardnoj bazi koe cijente mo emo naci izvrednjavanjem pomocu Hornerove sheme.
Interpolacijski polinomi
46
U tom slucaju svako izvrednjavanje bi (xk ) zahtijeva najvie 2n operacija (n mno enja
i n zbarajanja). Samih izvrednjavanja ima (n + 1)2 ; pa se koe cijente matrice sustava mo e izracunati za najvie 2n (n + 1)2 ' O n3 elementarnih operacija. No za
posebne izbore baze B i cvorova taj broj mo e biti i znatno manji.
Gaussovim eliminacijama taj sustav mo emo rijeiti za najvie O n3 elementarnih
operacija. Ovo znaci da bi u prvoj fazi ukupan broj potrebnih operacija za nala enje
koe cijenata interpolacijskog polinoma pn bio O n3 . Ovo i nije tako loe jer se radi
samo jednom, no ipak se mo e znatno ubrzati.
Algoritam za izvrednjavanje pn (x) u drugoj fazi, takoder,
bitno ovisi o izboru baze B .
Znamo da se izracunavanje vrijednosti pn (x) svodi na izracunavanje sume
pn (x) =
n
X
aibi (x) :
i=0
S obzirom da n + 1 puta moramo izvredniti bi (x), svaki put to mno iti s ai i sve to
zbrojiti, imamo O n2 ocekivanih elementarnih operacija, to je puno u usporedbi s
Hornerovom shemom.
Interpolacijski polinomi
47
Iz prethodne analize slijedi da bi bazu B trebalo izabrati tako da druga faza zahtijeva najvie O (n) elementarnih operacija, tj. da traje linearno, a ne kvadratno. Ocito
c e taj uvjet biti ispunjen ako za B izaberemo upravo standardnu bazu jer se u tom
slucaju druga faza svodi na uporabu Hornerove sheme. U stvari, mo e se pokazati da
s ovakvim izborom baze dobivamo najbr i moguci algoritam za izvrednjavanje pn (x) u
drugoj fazi. No u pogledu stabilnosti algoritma situacija je vrlo nepovoljna, posebno u
prvoj fazi. Matrica sustava mo e imati gotovo linearno ovisne retke cak i kada cvorovi
nisu patoloki odabrani. Dovoljno je da su razumno bliski i relativno daleko od nule.
Npr. stavimo li
xk = k + 10p; k = 0; 1; : : : ; n;
gdje je p iole veci pozitivan realan broj (recimo 5), matrica sustava biti c e skoro singularna. Zbog toga se ovaj izbor baze ne koristi u praksi, vec samo za dokazivanje u
teoriji, jer baza ne ovisi o cvorovima.
Problemu izbora baze za prikaz interpolacijskog polinoma mo emo pristupiti na tri
nacina.
Interpolacijski polinomi
48
Druga faza je spora jer u svakoj tocki x izvrednjavamo sve bk (x) koji i sami mogu svi
biti stupnja n:
Faza 1: O (n) : Faza 2: Sporo izvrednjavanje.
"kompromis izmedu
jednostavnosti baze i koe cijenata"
Dopustimo da baza jednostavno ovisi o cvorovima i da koe cijenti u nekoj mjeri ovise
o podacima, ali tako da dobijemo relativno jednostavne algoritme za obje faze.
Faza 1: O n2 : Faza 2: O (n) :
Interpolacijski polinomi
49
p1 (x0) = a0 + a1x0 = f0
p1 (x1) = a0 + a1x1 = f1:
Odavde slijedi
a0 =
f0x1
x1
f1x0
f1
; a1 =
x0
x1
f0
;
x0
odnosno
f0x1
p1 (x) =
x1
f1x0 f1
+
x0
x1
f0
x:
x0
Vidimo da su koe cijenti dosta komplicirani, no kada ih jednom izracunamo izvrednjavanje p1 (x) ide dosta brzo: u ovom slucaju samo dvije operacije.
Interpolacijski polinomi
50
Interpolacijski polinomi
51
Iz toga slijedi
d1 0
b0 (x0) b1 (x0)
=
:
b0 (x1) b1 (x1)
0 d2
Stavimo li jo i zahtjev da budu najjednostavnijeg moguceg oblika, dobijemo
b1 (x0) = 0; b0 (x1) = 0;
b0 (x0) = 1; b1 (x1) = 1:
Dakle, polinomi b0 i b1 su rjeenja posebnih problema interpolacije
bi (xk ) =
ik ;
i; k = 0; 1:
To znaci da znamo sve nultocke polinoma b0 i b1; a vrijednost vodecih koe cijenta izlaze
iz bi (xi) = 1; i = 0; 1: Odmah ih mo emo napisati u obliku
b0 (x) =
Interpolacijski polinomi
x
x0
x
x1
; b1 (x) =
x1
x1
x0
:
x0
52
p1 (x) = f0
x
x0
x1
x
+ f1
x1
x1
x0
:
x0
Interpolacijski polinomi
53
pristup u slucaju n = 1
2.4.3 Ilustracija: treci
Opet za ulazne podatke imamo (x0; f0) i (x1; f1) : Jednad bu pravca, koji je graf polinoma p1; mo emo napisati kroz jednu zadanu tocku (x0; f0) uz zadani koe cijent smjera
k , tj.
p1 (x) = f0 + k (x
x0 ) :
Ovaj oblik automatski zadovoljava prvi uvjet interpolacije, pa ostaje pronaci k iz drugog
uvjeta
p1 (x1) = f0 + k (x1
x0) = f1:
f1
k=
x1
f0
;
x0
54
p1 (x) = f0 +
f1
x1
f0
(x
x0
x0 ) ;
a nazivamo ga Newtonovim oblikom interpolacijskog polinoma. Uocimo da on predstavlja i Taylorov razvoj polinoma p1 oko tocke x0, no s time da je podijeljena razlika
stavljena za k kao derivacija od p1 u tocki x0:
Uocimo i to da je prvi clan, u ovom slucaju f0; interpolacijski polinom stupnja nula za
zadanu prvu tocku (x0; f0) : Dakle, oblik polinoma p1 odgovara korekciji interpolacijskog
polinoma p0 dodavanjem jo jedne intrepolacijske tocke (x1; f1) : Pokazat c e se da ovo
vrijedi i u opcem slucaju.
Mo e se pokazati da se ovakav oblik p1 mo e dobiti i ako krenemo kao u drugom
pristupu uz zahtjev da matrica sustava bude donjetrokutasta i da se stupanj povecava
dopunjavanjem ranije dobivenog intrepolacijskog polinoma.
Interpolacijski polinomi
55
b0 (x0) b1 (x0)
d 0
= 1
;
b0 (x1) b1 (x1)
d2 d3
uz uvjet da su polinomi bi najjednostavniji moguci i da se mogu nadopunjavati, analizu
moramo provesti stupac po stupac.
Interpolacijski polinomi
56
b0 (x) = 1:
Iz prve jednad be supstitucijom unaprijed odmah dobijemo c0 = f0:
Dalje iz drugog stupca imamo samo uvjet
b1 (x0) = 0;
pa jednostavno stavimo
b1 (x) = x
x0 :
f1
c1 =
x1
f0
:
x0
Opcenito bismo ovaj postupak mogli nastaviti na slican nacin i u opcenitom slucaju
n > 2.
Interpolacijski polinomi
57
lk (x) =
n
Y
i=0; i6=k
x
xk
xi
; k = 0; 1; : : : ; n:
xi
pn (x) =
n
X
k=0
najvie stupnja n:
Interpolacijski polinomi
fk lk (x)
(1)
58
lk (xi) =
0; i 6= k
:
1; i = k
pn (xi) =
n
X
fk lk (xi) = fi; i = 0; 1; : : : ; n:
k=0
Interpolacijski polinomi
59
De niramo li
! (x) =
n
Y
(x
xi) ; ! k (x) =
i=0
n
Y
(x
xi) ; k = 0; 1; : : : ; n;
i=0; i6=k
vrijedit c e
lk (x) =
(x
! (x)
; k = 0; 1; : : : ; n:
xk ) ! k (xk )
pn (x) = ! (x)
n
X
k=0
Interpolacijski polinomi
(x
fk
:
xk ) ! k (xk )
60
Uocimo, nadalje, da je
! k (xk ) = ! 0 (xk ) ;
pa mo emo pisati
pn (x) = ! (x)
n
X
k=0
(x
fk
:
0
xk ) ! (xk )
Upravo ovu formu je dobro koristiti za izvrednjavanje pn (x) jer u svakoj novoj tocki x
racunamo samo ! (x) i (x xk ) (naravno, za x 2
= fx0; x1; : : : ; xng).
Interpolacijski polinomi
61
pn interpolacijski polinom za funkciju f u tim cvorovima. Za bilo koju tocku x 2 [a; b] postoji tocka 2 (xmin; xmax) ; gdje je xmin = min fx0; x1; : : : ; xng i xmax = max fx0; x1; : : : ; xng ;
takva da za greku e interpolacijskog polinoma pn vrijedi
e (x) = f (x)
pn (x) =
! (x) (n+1)
( );
f
(n + 1)!
gdje je
! (x) =
n
Y
k=0
Interpolacijski polinomi
(x
xk ) :
62
DOKAZ. Ako je x 2 fx0; x1; : : : ; xng tvrdnja vrijedi jer tada dobivamo
e (xi) = f (xi)
pn (xi) = 0:
e (x) = f (x)
gdje je funkcija s dobro de nirana ako x nije cvor. Uzmimo sada proizvoljan ali ksan
x 2 [xmin; xmax] koji nije interpolacijski cvor i de nirajmo funkciju g : [a; b] ! R sa
g (t) = e (t)
! (t)
e (x)
:
! (x)
Funkcija pogreke mora imati tocno onoliko derivacija koliko i f; a one su i neprekidne
kada su takve i derivacije funkcije f (jer su polinomi neprekidno derivabilni za bilo koji
red derivacije). Buduci da x nije cvor, to isto se prenosi i na funkciju g; pa zakljucujemo
da g (n+1) postoji na [a; b] :
Interpolacijski polinomi
63
g (xk ) = e (xk )
e (x)
! (xk )
=0
! (x)
e (x)
0
= 0;
! (x)
g (x) = e (x)
e (x)
= e (x)
! (x)
! (x)
e (x) = 0:
i jo
Dakle, funkcija g ima barem n + 2 nultocke na [a; b] ; odnosno na [xmin; xmax] : Buduci je
g derivabilna na tom segmentu, to po Rolleovom teoremu slijedi da g 0 ima barem n + 1
nultocku na (xmin; xmax) : Induktivnom primjenom Rolleovog teorema zakljucujemo da
g (j) ima barem n + 2 j nultocaka na (xmin; xmax) za j = 0; 1; : : : ; n + 1: Dakle, g (n+1)
ima barem jednu nultocaku na (xmin; xmax) ; oznacimo je s :
Interpolacijski polinomi
64
p(n+1)
(t) = f (n+1) (t)
n
! (n+1) (t)
e (x)
= f (n+1) (t)
! (x)
(n + 1)!
0=f
(n+1)
( )
e (x)
(n + 1)!
;
! (x)
odnosno
e (x) = f (x)
Interpolacijski polinomi
! (x) (n+1)
( ) ; x 2 [a; b]
pn (x) =
f
(n + 1)!
e (x)
:
! (x)
65
Ako je derivacija f (n+1) ogranicena na [a; b] ; ili jace, ako je f 2 C n+1 [a; b] ; onda iz
prethodnog teorema dobijemo ocjenu greke interpolacijskog polinoma pn u tocki x 2
[a; b]
jf (x)
pn (x)j
j! (x)j
Mn+1; Mn+1 = max f (n+1) (x) :
(n + 1)!
x2[a;b]
Ova ocjena je dobra ako relativno jednostavno mo emo izracunati Mmax ili ocijeniti na
neki nacin njegovu vrijednost odozgo.
Interpolacijski polinomi
66
pn (x) = pn
1 (x)
+ c (x) ;
c (xk ) = pn (xk )
Interpolacijski polinomi
pn
1 (xk )
= f (xk )
f (xk ) = 0; k = 0; 1; : : : ; n
1:
67
c (x) = an (x
x0 )
(x
xn 1 ) :
xn 1 ) ;
f (xn)
an =
(xn x0)
pn 1 (xn)
f (xn) pn 1 (xn)
=
:
(xn xn 1)
! (xn)
Koritenjem ove relacije dobivamo sve elemente za racunanje pn (x) u bilo kojoj tocki
x: Koe cijent an je, za danu f; ocito funkcija cvorova x0; x1; : : : ; xn; a zvat c emo ga n-ta
podijeljena razlika. Piemo
68
pn (x) = pn
1 (x)
+ (x
x0 )
(x
p0 (x) = f (x0) :
f (x1)
f [x0; x1] =
x1
f (x0)
x0
f [x1; x2]
f [x0; x1; x2] =
x2
f [x0; x1]
;
x0
n
X
k=0
Interpolacijski polinomi
(xk
x0 )
(xk
f (xk )
xk 1) (xk
xk+1)
(xk
xn )
69
f [xk ]
f [x0]
xk
x0
f [xk ; xk+1]
f [x0; x1]
f [x1]
x1
f [x1; x2]
...
f [xn 2; xn 1]
...
xn
f [xn 1]
xn
Interpolacijski polinomi
f [xn]
...
f [xn 2; xn 1; xn]
f [xn 1; xn]
...
70
Uva avajuci rekurziju za pn i oblik polinoma c dobivamo da je oblik Newtonovog interpolacijskog polinoma
pn (x) = f [x0] + (x
+
+ (x
Primjetimo da nam je za spremanje izracunatih podijeljenih razlika dovoljno jednodimenzionalno polje duljine n + 1. Na pocetku algoritma u njega redom spremimo
f (x0) ; f (x1) ; : : : ; f (xn) ; a na kraju imamo f [x0] ; f [x0; x1] ; : : : ; f [x0; x1; : : : ; xn] :
ALGORITAM (Algoritam za racunanje podijeljenih razlika)
for i := 1 to n
begin
for j := n to i
begin
f [j] := (f [j] f [j 1]) = (x [j] x [j i]) ;
end
end
Interpolacijski polinomi
71
pn+1 (x) = f [x0] + (x x0) f [x0; x1] + (x x0) (x x1) f [x0; x1; x2]
(x xn 1) f [x0; x1; : : : ; xn]
+
+ (x x0)
(x xn) f [x0; x1; : : : ; xn+1]
+ (x x0)
= pn (x) + (x x0)
(x xn) f [x0; x1; : : : ; xn+1] :
Buduci je
Interpolacijski polinomi
x0 )
(xn+1
72
f (xn+1)
! (xn+1) (n+1)
( );
pn (xn+1) =
f
(n + 1)!
odmah slijedi
f (n+1) ( )
;
f [x0; x1; : : : ; xn; xn+1] =
(n + 1)!
odnosno (kako je xn+1 proizvoljan)
f (n+1) ( )
f [x0; x1; : : : ; xn; x] =
:
(n + 1)!
Na kraju dobijemo
f (x)
Interpolacijski polinomi
73
Interpolacijski polinomi
74
f (x) =
1
; x 2 [ 5; 5] :
2
1+x
No zanimljivo je i to da ako za istu funkciju uzmemo posebno odabranu mre u neekvidistantnih cvorova (Cebievljevu mre u), onda niz niz Newtonovih interpolacijskih
polinoma konvergira funkciji f .
Interpolacijski polinomi
75
kf
pnk1 9 0:
Interpolacijski polinomi
76
brojevi.
Interpolacijski polinomi
77
hi;0 (x) = [1
hi;1 (x) = (x
gdje su li funkcije Lagrangeove baze (vidi Lagrangeov int. polinom). Direktnim racunom
provjeri se da su hi;0; hi;1 polinomi stupnja 2n + 1 koji zadovoljavaju relacije
Interpolacijski polinomi
78
h2n+1 (x) =
n
X
i=0
Polinome hi;0; hi;1 nazivamo polinomima Hermiteove baze, a polinom h2n+1 zove se
Hermiteov interpolacijski polinom. Mo e se pokazati da vrijedi:
Pn
1. i=0 li (x) = 1;
Pn
2. i=0 hi;0 (x) = 1;
Pn
3. i=0 (x xi) li2 (x) li0 (x) = 0
Pn
4. i=0 (xihi;0 (x) + hi;1 (x)) = x:
Interpolacijski polinomi
79
e (x) = f (x)
f (2n+2) ( ) 2
h2n+1 (x) =
! (x) ;
(2n + 2)!
2 [xmin; xmax] :
DOKAZ. Ako je x 2 fx0; x1; : : : ; xng tvrdnja vrijedi jer tada dobivamo
e (xi) = f (xi)
h2n+1 (xi) = 0:
e (x) = f (x)
80
Za neki proizvoljan ali ksan x 2 [xmin; xmax] koji nije interpolacijski cvor de nirajmo
funkciju F : [a; b] ! R s
F (t) = f (t)
h2n+1 (t)
h2n+1 (t)
! 2 (t)
e (x)
:
2
! (x)
Direktnim racunom provjerimo da funkcija F ima dvostruke nultocke x0; x1; : : : ; xn; tj.
F (xi) = F 0 (xi) = 0; i = 0; ; : : : ; n:
Takoder
vidimo da vrijedi
F (x) = f (x)
h2n+1 (x)
e (x)
! (x) 2
= f (x)
! (x)
2
h2n+1 (x)
e (x) = 0;
81
(2n+2)
(t) = f
(2n+2)
(t)
e (x)
;
(2n + 2)! 2
! (x)
i vrijedi
F (2n+2) ( ) = f (2n+2) ( )
Interpolacijski polinomi
(2n + 2)!
e (x)
=0
2
! (x)