Download - UNM-Aproksimacija Funkcija
-
Aproksimacija funkcija
Uvod u numeri cku matematikuM. Klaricic Bakula
Oujak, 2009.
-
Uvod u numericku matematiku 2
1 Interpolacija polinomnim splajnovimaVidjeli smo iz prethodnog da polinomi imaju dobra lokalna svojstva interpolacije, dokglobalna uniformna pogreka moe biti i vrlo velika. Niti posebnim izborom cvorovainterpolacije ne moemo uvijek ukloniti ovaj problem. Povecavanje stupnja interpo-lacijskog polinoma moe cak i povecati pogreku, a interpolacijske polinome visokogstupnja (n 5) opcenito izbjegavamo koristiti. Kako onda smanjiti pogreku ako i daljeelimo koristiti polinome za aproksimiranje funkcija? Ideja je konstruirati interpolacijskepolinome niskog stupnja koji aproksimiraju promatranu funkciju po djelovima intervalaod interesa, tj. provesti po djelovima polinomnu interpolaciju. Ako je funkcija kojupromatramo glatka elimo u to vecoj mjeri sacuvati glatkocu takvog interpolata. Podjelovima polinomne funkcije koje zadovoljavaju zadane uvjete glatkoce zovemo poli-nomne splajn funkcije. Ako jo takav splajn zadovoljava i uvjete interpolacije nazi-vamo ga interpolacijskim polinomnim splajnom.
Aproksimacija funkcija
-
Uvod u numericku matematiku 3
U daljnjem cemo istraiti konstrukciju i svojstva aproksimacije linearnog i kubicnogsplajna. Dok je za linearni splajn, u oznaci S1; moguce dodatno zahtijevati najvieneprekidnost na cijelom intervalu od interesa (lijepljenje derivacije vodi na funkciju kojaje globalno linearna), za kubicni splajn S3 moemo zahtijevati da pripada prostoru C1ili prostoru C2 (dakle, moguce je naci dva kubicna splajna).
Aproksimacija funkcija
-
Uvod u numericku matematiku 4
Zato izbjegavamo splajnove parnog stupnja? Pogledajmo to na primjeru parabolickogsplajna. Zamislimo da je interval od interesa [a; b] podjeljen na n podintervala tockama
a = x0 < x1 < < xn1 < xn = b:
Parabolicki splajn S2 je na svakom podintervalu polinom stupnja najvie dva, pa ima3n nepoznatih parametara. Ako zahtjevamo da je S2 interpolacijski splajn imamo n+ 1zadanih uvjeta. Ako jo zahtjevamo i da je S2 2 C1 [a; b] dobijemo po dva uvjeta zasvaki unutranji cvor, tj 2 (n 1) = 2n 2 uvjeta. Dakle, ukupno imamo 3n 1 uvjetai 3n nepoznatih parametara, pa nam nedostaje jedan uvjet. Dodavanje uvjeta S2 2C2 [a; b] nije "ekonomicno", pa ostaje dodatni neki uvjet u rubovima intervala ili jo jedancvor interpolacije, no svakako se ne moe postici "simetricnost" podataka. S ovimproblemom se srecemo kod svih splajnova parnoga stupnja.
Aproksimacija funkcija
-
Uvod u numericku matematiku 5
1.1 Linearni splajnNajjednostavniji interpolacijski splajn, linearni splajn S1, odreden je uvjetom interpo-lacije u cvorovima fx0; : : : ; xng i globalnom neprekidnocu na [a; b]. Lako se dobije davrijedi
S1 (x) = fixi+1 x
hi+ fi+1
x xihi
= fi +x xihi
(fi+1 fi) ; x 2 [xi; xi+1]
za sve i = 0; 1; : : : ; n 1; pri cemu je hi = xi+1 xi:Kako je nalaenje samog splajna jednostavno odmah cemo ispitati pogreku.
LEMA. Ako je f neprekidna na [a; b] i ; 2 R istog predznaka, onda postoji 2 [a; b]takav da vrijedi
f (a) + f (b) = ( + ) f () :
Aproksimacija funkcija
-
Uvod u numericku matematiku 6
DOKAZ. Uocimo najprije da tvrdnja vrijedi ako je = 0 (tada je = b) ili = 0 (tadaje = a). Nadalje, ako je f (a) = f (b) tvrdnja je ocigledna jer moemo uzeti = a ili = b: Pretpostavimo stoga da je f (a) 6= f (b) i sgn () = sgn () : U tom slucaju funkcija : [a; b]! R denirana s
(x) = f (a) + f (b) ( + ) f (x)
ima razlicite predznake na krajevima intervala [a; b] : Naime, vrijedi
(a) = f (a) + f (b) ( + ) f (a) = (f (b) f (a)) ; (b) = f (a) + f (b) ( + ) f (b) = (f (a) f (b)) = (f (b) f (a))
pa zbog neprekidnosti funkcije (koja je takva jer je takva i funkcija f ) slijedi da postoji 2 (a; b) takav da vrijedi () = 0; tj.
f (a) + f (b) ( + ) f (x) = 0
Aproksimacija funkcija
-
Uvod u numericku matematiku 7
Da bismo iskazali glavni teorem o svojstvima aproksimacije linearnog splajna uvestcemo radi jednostavnosti zapisa neke oznake.
!i (f ) = maxx0;x002[xi;xi+1]
jf (x00) f (x0)j ; i = 0; 1; : : : ; n 1;! (f ) = max
0in1!i (f ) ;
Dnf (x) =dn
dxnf (x) = f (n) (x) ;
kDfk1 = supx2[a;b]
jDf (x)j ;h = max
0in1hi:
Vrijednost !i (f ) zovemo oscilacija funkcije f na podintervalu [xi; xi+1] ; a ! (f ) na-jveca oscilacija funkcije f: Uocimo da glatkoca funkcije f nije potrebna u denicijiovih velicina, vec je dovoljno da je f neprekidna. D je operator deriviranja, a h di-jametar mree.
Aproksimacija funkcija
-
Uvod u numericku matematiku 8
TEOREM. (Uniformna ocjena pogreke linearnog splajna)Neka je S1 linearni interpolacijski splajn za funkciju f : [a; b]! R: Obzirom na svojstvaglatkoce funkcije f vrijedi:
1. ako je f neprekidna na [a; b] ; onda je
kS1 fk1 = maxx2[a;b]
jS1 (x) f (x)j ! (f ) ;
2. ako je f 0 ogranicena na [a; b] ; onda je
kS1 fk1 h
2kDfk1 ;
Aproksimacija funkcija
-
Uvod u numericku matematiku 9
3. ako je f neprekidna na [a; b] i f 0 neprekidna na svakom od pointervala [xi; xi+1] ; i =0; 1; : : : ; n 1; onda je
kS1 fk1 h
4! (Df ) ;
4. ako je f neprekidna na [a; b] i f 00 ogranicena na svakom od pointervala [xi; xi+1] ; i =0; 1; : : : ; n 1; onda je
kS1 fk1 h2
8
D2f
1 :
Aproksimacija funkcija
-
Uvod u numericku matematiku 10
DOKAZ. Neka je za i 2 f0; 1; : : : ; n 1g i x 2 [xi; xi+1] oznaceno
t =x xihi
=x xixi+1 xi :
Vrijedi
E (x) = S1 (x) f (x) = fi + x xihi
(fi+1 fi) f (x)= (1 t) fi + tfi+1 f (x) :
Uocimo da je x 2 [xi; xi+1] ekvivalentno s t 2 [0; 1] ; pa t i 1 t imaju isti predznak ili jejedan od njih nula.
Aproksimacija funkcija
-
Uvod u numericku matematiku 11
1. Ako je f neprekidna na [a; b] ; onda za svaki i 2 f0; 1; : : : ; n 1g prema prethodnojlemi postoji 2 [xi; xi+1] takav da vrijedi
(1 t) fi + tfi+1 = (1 t + t) f () = f () ;pa je za svaki x 2 [xi; xi+1] ispunjeno
E (x) = f () f (x) :Dakle, na svakom podintervalu [xi; xi+1], i 2 f0; 1; : : : ; n 1g ; vrijedi
jE (x)j = jf () f (x)j !i (f ) ! (f ) ; x 2 [xi; xi+1] ;pa je
maxx2[a;b]
jE (x)j = maxx2[a;b]
jS1 (x) f (x)j ! (f ) :
Aproksimacija funkcija
-
Uvod u numericku matematiku 12
2. Ako je f 0 ogranicena na [a; b] ; onda je kDfk1 konacan broj i za svaki i 2f0; 1; : : : ; n 1g vrijedi
fi = f (x) +
Z xix
Df (v) dv; fi+1 = f (x) +
Z xi+1x
Df (v) dv:
Supstitucijom u izraz za E (x) ; gdje je x 2 [xi; xi+1] i t 2 [0; 1] ; dobijemo
E (x) = (1 t)Z xxi
Df (v) dv + t
Z xi+1x
Df (v) dv;
pa je
jE (x)j (1 t)Z xxi
jDf (v)j dv + tZ xi+1x
jDf (v)j dv:
Kako je za sve v 2 [a; b] ispunjeno jDf (v)j kDfk1 ; iz gornjeg slijediAproksimacija funkcija
-
Uvod u numericku matematiku 13
jE (x)j (1 t)
Z xxi
dv + t
Z xi+1x
dv
kDfk1
= [(1 t) (hit + xi xi) + t (xi+1 hit xi)] kDfk1= 2t (1 t)hi kDfk1 :
Parabola y = 2t (1 t) na [0; 1] u tocki t = 1=2 poprima maksimalnu vrijednost 1=2;pa je za sve x 2 [xi; xi+1] ispunjeno
jE (x)j hi2kDfk1
h
2kDfk1 :
Dakle,
maxx2[a;b]
jE (x)j = maxx2[a;b]
jS1 (x) f (x)j h
2kDfk1 :
Aproksimacija funkcija
-
Uvod u numericku matematiku 14
3. Neka je f neprekidna na [a; b] i f 0 neprekidna na svakom od pointervala [xi; xi+1] ; i =0; 1; : : : ; n 1: Uzmimo proizvoljan i 2 f0; 1; : : : ; n 1g : Prema Taylorovoj formuli sLagrangeovim oblikom ostatka za ; 2 [xi; xi+1] imamo
fi = f (x) thiDf () ; fi+1 = f (x) + (1 t)hiDf () :Supstitucijom u izraz za E (x) ; gdje je x 2 [xi; xi+1] i t 2 [0; 1] ; dobijemo
E (x) = t (1 t)hi (Df ()Df ()) ;odakle je
jE (x)j = t (1 t)hi jDf ()Df ()j t (1 t)hi!i (Df ) :
Slicno kao i prije, ocjenom vrijednosti t (1 t) za t 2 [0; 1] dobijemo
jE (x)j 14hi!i (Df )
h
4! (Df ) ; x 2 [xi; xi+1] :
Sada lako slijedi
maxx2[a;b]
jE (x)j = maxx2[a;b]
jS1 (x) f (x)j h
4! (Df ) :
Aproksimacija funkcija
-
Uvod u numericku matematiku 15
4. I na kraju neka je f neprekidna na [a; b] i f 00 ogranicena na svakom od pointervala[xi; xi+1] ; i = 0; 1; : : : ; n 1: Tada za svaki i 2 f0; 1; : : : ; n 1g vrijedi Taylorovaformula s integralnim oblikom ostatka
fi = f (x) thiDf (x) +Z xix
(xi v)D2f (v) dv;
fi+1 = f (x) (1 t)hiDf (x) +Z xi+1x
(xi+1 v)D2f (v) dv:
Iz formule za greku E slijedi
E (x) = (1 t)Z xix
(xi v)D2f (v) dv + tZ xi+1x
(xi+1 v)D2f (v) dv:
Odavde lako dobijemo
jE (x)j 12h2i t (1 t)
D2f
1 18h2i
D2f
1 18h2
D2f
1 ;i to vrijedi za sve x 2 [xi; xi+1] : Dakle,
maxx2[a;b]
jE (x)j = maxx2[a;b]
jS1 (x) f (x)j 18h2
D2f
1
Aproksimacija funkcija
-
Uvod u numericku matematiku 16
Ovakvu vrstu teorema nazivamo direktnim teoremima teorije aproksimacija. Primi-jetimo da se prirodno namecu dva pitanja:
1. Da li su navedene ocjene pogreaka najbolje moguce? Moemo li moda dobitibolji red aproksimacije nijim ocjenama? Da li su konstante u ocjeni greke najboljemoguce? Teoremi koji se bave ovom problematikom zovu se inverzni teoremiteorije aproksimacija. U vecini slucajeva oni su iskazi tipa "red aproksimacijenaveden u direktnom teoremu je najbolji moguci", jer da nije tako trebalo bi popravitidirektni teorem! Ocjena optimalnosti konstanti je neugodan problem koji opcenitonije rijeen, a u svakom konkretnom slucaju treba konstruirati funkciju na kojojse dostie konstanta iz direktnog teorema, cime se pokazuje da je ona najboljamoguca.
2. Moemo li dobiti sve bolje i bolje ocjene za greku dodavanjem novih uvjeta naglatkocu funkcije? Teoremi koji se bave ovom problematikom zovu se teoremizasicenja teorije aproksimacija. I ovi su teoremi u principu negativnog karaktera.Npr. za linearni splajn nikakvi daljnji dodatni uvjeti na glatkocu funkcije f necepovecati red aproksimacije s h2:
Aproksimacija funkcija
-
Uvod u numericku matematiku 17
1.2 Hermiteov kubicni splajnHermiteov kubicni splajn se razmatra na slican nacin kao i Hermiteov interpolacijskipolinom. Prvi je netrivijalni slucaj po djelovima kubicni splajn s globalno neprekidnomderivacijom.
DEFINICIJA. Neka su u cvorovima a = x0 < x1 < < xn1 < xn = b zadanevrijednosti fi; f 0i za i = 0; 1; : : : ; n: Hermiteov kubicni splajn je funkcija H 2 C1 [a; b]koja zadovoljava uvjete
1. Za svaki i 2 f0; 1; : : : ; n 1g vrijediH (x) = ai0 + ai1 (x xi) + ai2 (x xi)2 + ai3 (x xi)3 ; x 2 [xi; xi+1] :
2. Za svaki i 2 f0; 1; : : : ; ng vrijediH (xi) = fi; DH (xi) = f
0i :
Aproksimacija funkcija
-
Uvod u numericku matematiku 18
Koristeci Hermiteovu bazu na svakom podintervalu mree [xi; xi+1] lako vidimo da vri-jedi
H (x) = '1 (t) fi + '2 (t) fi+1 + '3 (t)hif0i + '4 (t)hif
0i+1
gdje je
t =x xihi
; x 2 [xi; xi+1] ;'1 (t) = (1 t)2 (1 + 2t) ;'2 (t) = t
2 (3 2t) ;'3 (t) = t
1 t2 ;
'4 (t) = t2 (1 t) :
Aproksimacija funkcija
-
Uvod u numericku matematiku 19
Napomenimo da kod konkretnog racunanja treba najprije izracunati koecijente Ai iBi; i = 0; 1; : : : ; n; i to po formulama
Ai = 2fi+1 fihi
+ f 0i + f0i+1;
Bi = Ai +fi+1 fi
hi f 0i ;
i zapamtiti ih. Za zadanu tocku x 2 [xi; xi+1] vrijednost Hermiteovog kubicnog splajnau tocki x racunamo formulom
H (x) = fi + thi [f0i + t (Bi + tAi)] :
Aproksimacija funkcija
-
Uvod u numericku matematiku 20
TEOREM. (Uniformna ocjena pogreke Hermiteovog kubicnog splajna)Neka je H Hermiteov kubicni interpolacijski splajn za funkciju f : [a; b] ! R: Obziromna svojstva glatkoce funkcije f vrijedi:
1. ako je f 0 neprekidna na [a; b] ; onda je
kH fk1 = maxx2[a;b]
jH (x) f (x)j 3h
8! (Df ) ;
2. ako je f 00 ogranicena na [a; b] ; onda je
kH fk1 h2
16
D2f
1 ;
Aproksimacija funkcija
-
Uvod u numericku matematiku 21
3. ako je f 0 neprekidna na [a; b] i f 00 neprekidna na svakom od pointervala [xi; xi+1] ; i =0; 1; : : : ; n 1; onda je
kH fk1 h2
32!D2f
;
4. ako je f 0 neprekidna na [a; b] i f 000 ogranicena na svakom od pointervala [xi; xi+1] ; i =0; 1; : : : ; n 1; onda je
kH fk1 h3
96
D3f
1 :
Aproksimacija funkcija
-
Uvod u numericku matematiku 22
DOKAZ. Ilustracije radi dajemo dokaz za prvi slucaj.
Neka je za proizvoljan i 2 f0; 1; : : : ; n 1g i za x 2 [xi; xi+1] oznaceno
t =x xihi
=x xixi+1 xi :
Vrijedi
E (x) = H (x) f (x)= '1 (t) fi + '2 (t) fi+1 + '3 (t)hif
0i + '4 (t)hif
0i+1 f (x) :
Ako u gornjem fi i fi+1 zamijenimo njihovim Taylorovim razvojem oko tocke x = xi+ ths ostatkom u Lagrangeovom obliku, tj. za neke ; 2 [xi; xi+1] stavimo
fi = f (x) thiDf () ; fi+1 = f (x) + (1 t)hiDf () ;
onda zbog '1 (t) + '2 (t) = 1 dobijemo
E (x) = hi [(1 t)'2 (t)Df () t'1 (t)Df () + '3 (t) f 0i + '4 (t) f 0i+1] :Aproksimacija funkcija
-
Uvod u numericku matematiku 23
Grupiramo li clanove istog predznaka, po prethodnoj lemi dobijemo
E (x) = hit (1 t)1 + 2t 2t2 Df Df () ;
gdje su ; 2 [xi; xi+1]. Sada odmah slijedi ocjena greke
jE (x)j hit (1 t)1 + 2t 2t2!i (Df ) :
Uzimajuci na intervalu [0; 1]maksimum polinoma p zadanog s p (t) = t (1 t) 1 + 2t 2t2 ;a koji iznosi 3=8; dobijemo da na svakom podintervalu [xi; xi+1] za proizvoljni x vrijedi
jE (x)j 38hi!i (Df ) 3
8h! (Df ) :
Dakle,
maxx2[a;b]
jE (x)j = maxx2[a;b]
jH (x) f (x)j 38h! (Df )
Aproksimacija funkcija
-
Uvod u numericku matematiku 24
1.3 Kubicni splajnVec smo spomenuli da s obzirom na zahtjeve koje postavljamo na globalnu neprekid-nost prve i druge derivacije kubicnog splajna dobivamo dva razlicita interpolacijskasplajna. U prvom slucaju, kada je prva derivacija globalno neprekidna i poklapa se ucvorovima s vrijednostima derivacije funkcije f , dobili smo Hermiteov kubicni splajn.Na alost, on je ponajvie od teorijskog znacenja. U drugom slucaju, kada zahtijevamoglobalnu neprekidnost druge derivacije, dobivamo splajn koji se jednostavno zove ku-bi cni interpolacijski splajn. Od svih splajn funkcija, kubicni interpolacijski splajn jenajvie koriten i najbolje izucen.
DEFINICIJA. Neka su u cvorovima a = x0 < x1 < < xn1 < xn = b zadanevrijednosti fi za i = 0; 1; : : : ; n: Interpolacijski kubicni splajn je funkcija S3 2 C2 [a; b]koja zadovoljava uvjete
1. Za svaki i 2 f0; 1; : : : ; n 1g vrijediS3 (x) = ai0 + ai1 (x xi) + ai2 (x xi)2 + ai3 (x xi)3 ; x 2 [xi; xi+1] :
2. Za svaki i 2 f0; 1; : : : ; ng vrijedi S3 (xi) = fi:
Aproksimacija funkcija
-
Uvod u numericku matematiku 25
Uocimo da nema interpoliranja u vrijednostima derivacije jer traimo to vecu glatkocusplajna. Dodatni uvjeti se zadaju na rubovima intervala, pa se nazivaju rubnim uvje-tima. Ovdje navodimo neke od njih koji se cesto javljaju.
(R1)DS3 (a) = Df (a) ; DS3 (b) = Df (b) ;
(R2)D2S3 (a) = 0; D2S3 (b) = 0;
(R3)D2S3 (a) = D2f (a) ; D2S3 (b) = D
2f (b) ;
(R4)DS3 (a) = Df (b) ; D2S3 (a) = D
2f (b) :
Prve uvjete nazivamo potpunim rubnim uvjetima, druge prirodnim rubnim uvjetima, acetvrte periodickim rubnim uvjetima. Sukladno tome nazivamo i pripadne splajnove,pa razlikujemo potpuni, prirodni i periodicki kubicni splajn. Kojeg cemo kada koristitina ocigledan nacin ovisi o samoj funkciji koju aproksimiramo.
Aproksimacija funkcija
-
Uvod u numericku matematiku 26
Algoritam za konstrukciju interpolacijskog kubicnog splajna moemo izvesti na dvanacina. U prvom, za nepoznate parametre koje treba odrediti uzimamo vrijednostiprve derivacije splajna u cvorovima. Tradicionalna oznaka za te parametre je
mi = DS3 (xi) ; i = 0; 1; : : : ; n:
Uocimo da se oni ne izjednacavaju s vrijednostima f 0 u cvorovima, vec se ostavljajuslobodnima. Odredujemo ih iz uvjeta da se treba postici globalna pripadnost splajnaklasi C2 [a; b] : U drugom, za nepoznate parametre koje treba odrediti uzimamo vrijed-nosti druge derivacije splajna u cvorovima. Tradicionalna oznaka za te parametre je
Mi = D2S3 (xi) ; i = 0; 1; : : : ; n:
Odredujemo ih iz uvjeta da se treba postici globalna pripadnost splajna klasi C [a; b].
I prvi i drugi slucaj javljaju se podjednako cesto u praksi, pa cemo ih prouciti oba.
Aproksimacija funkcija
-
Uvod u numericku matematiku 27
Prvi algoritam dobivamo primijenom Hermiteove interpolacije uz uvjete
S3 (xi) = fi; DS3 (xi) = mi; i = 0; 1; : : : ; n:
Naravno, pri tom su fi zadani, a mi nepoznati. Uz standardne oznake kao u prethod-nom odjeljku kubicni splajn S3 moemo na svakom podintervalu [xi; xi+1] napisati uobliku
S3 (x) = fi (1 t)2 (1 + 2t) + fi+1t2 (3 2t)+mihit (1 t)2 mi+1hit2 (1 t) ;
gdje je
t =x xihi
; x 2 [xi; xi+1] :
Nepoznate parametremi imi+1 koji se tu javljaju moramo odrediti iz uvjeta da je drugadervacija D2S3 neprekidna u unutranjim cvorovima.
Aproksimacija funkcija
-
Uvod u numericku matematiku 28
Buduci je
D2S3 (x) =fi+1 fi
h2i(6 12t) + mi
hi(4 + 6t) + mi+1
hi(2 + 6t) ;
t =x xihi
; x 2 [xi; xi+1] ;
D2S3 (x) =fi fi1h2i1
(6 12t) + mi1hi1
(4 + 6t) + mihi1
(2 + 6t) ;
t =x xi1hi1
; x 2 [xi1; xi] ;
slijedi
D2S3 (xi + 0) = 6fi+1 fi
h2i 4mi
hi 2mi+1
hi;
D2S3 (xi 0) = 6fi fi1h2i1
+ 2mi1hi1
+ 4mihi1
:
jer u prvom slucaju t! 0; a u drugom slucaju t! 1:
Aproksimacija funkcija
-
Uvod u numericku matematiku 29
Uz oznake
i =hi1
hi1 + hi; i = 1 i; ci = 3
ifi+1 fi
hi+ i
fi fi1hi1
;
uvjete neprekidnosti druge derivacije D2S3 u xi za i = 1; : : : ; n 1 moemo pisati uobliku
imi1 + 2mi + imi+1 = ci; i = 1; : : : ; n 1:
Dobili smo n 1 jednadbi s n + 1 nepoznanica mi; pa nam nedostaju jo dvije jed-nadbe. Njih cemo dobiti iz rubnih uvjeta. Uz uvjete tipa (R1) (R3) dobivamo sustavoblika
2m0 + 0m1 = c
0;
imi1 + 2mi + imi+1 = ci; i = 1; : : : ; n 1;nmn1 + 2mn = c
n:
Aproksimacija funkcija
-
Uvod u numericku matematiku 30
Koecijenti 0; c0; n i cn odreduju se iz samih rubnih uvjeta. Imamo
(R1) 0 = n = 0; c
0 = 2Df (a) ; c
n = 2Df (b) :
(R3) 0 = n = 1; c
0 = 3
f1f0h0 h02D2f (a) ; cn = 3fnfn1hn1
hn12 D
2f (b) :
(R2) Specijalni slucaj prethodnog za D2f (a) = D2f (b) = 0:
Ako je f periodicka funkcija onda je f0 = fn i m0 = mn: Da bismo zapisali uvjet peri-odicnosti za drugu derivaciju moemo npr. periodicki produljiti mreu tako da dodamojo jedan cvor xn+1 uz uvjet xn+1 xn = x1 x0; tj. hn = h0: Zbog pretpostavke peri-odicnosti moemo staviti i f1 = fn+1 im1 = mn+1: Na taj nacin uvjet periodicnosti drugederivacije postaje ekvivalentan uvjetu neprekidnosti druge derivacije u tocki xn:
Aproksimacija funkcija
-
Uvod u numericku matematiku 31
Kada iskoristimo sve pretpostavke u slucaju uvjeta (R4) dobijemo sustav oblika
2m1 + 1m2 + 1mn = c1;
imi1 + 2mi + imi+1 = ci; i = 2; : : : ; n 1;nm1 + nmn1 + 2mn = cn:
Ostaje odgovoriti na ocito pitanje: da li dobiveni sustav ima jedinstveno rjeenje?
TEOREM. Postoji jedinstveni interpolacijski kubicni splajn koji zadovoljava jedan odrubnih uvjeta (R1) (R4) :DOKAZ. U svim navedenim slucajevima se vidi da je matrica sustava strogo dijago-nalno dominantna, to povlaci regularnost. Naime, svi dijagonalni elementi su jednaki2, a zbroj izvandijagonalnih elemenata je najvie i + i = 1 po retku
Aproksimacija funkcija
-
Uvod u numericku matematiku 32
Postupak racunanja S3 (x) za neki x 2 [a; b] koji nije cvor je sljedeci:
1. Rijeimo linearni sustav zam0; : : : ;mn (ovo radimo samo jednom). Za to je potrebnosamo O (n) operacija zbog posebne strukture matrice sustava.
2. Binarnim pretraivanjem nademo indeks i takav da vrijedi x 2 [xi; xi+1] :3. Hornerovom shemom (vidi skraceni postupak kod Hermiteovog splajna) izracunamoS3 (x) :
Aproksimacija funkcija
-
Uvod u numericku matematiku 33
U drugom slucaju, za svaki interval [xi; xi+1] ; i = 0; 1; : : : ; n 1; stavimo uvjete
S3 (xi) = fi; D2S3 (xi) =Mi; S3 (xi+1) = fi+1; D
2S3 (xi+1) =Mi+1:
Lako se vidi da ovako dobiveni sustav opet ima jedinstveno rjeenje (naime imamodovoljno podataka za izracunati koecijente kubnog polinoma na svakom od pidinter-vala), pa se uz standardne oznake kao u prethodnom odjeljku izraz za kubicni splajnS3 moe na svakom podintervalu [xi; xi+1] napisati u obliku
S3 (x) = fi (1 t) + fi+1t h2i
6t (1 t) [Mi (2 t) +Mi+1 (1 + t)] :
Nepoznate parametreMi iMi+1 koji se tu javljaju moramo odrediti iz uvjeta da je prvadervacija DS3 neprekidna u unutranjim cvorovima.
Aproksimacija funkcija
-
Uvod u numericku matematiku 34
Iz izraza za S3 lako dobijemo
DS3 (x) =fi+1 fi
hi h
2i
6
Mi2 6t + 3t2 +Mi+1 1 3t2
D2S3 (x) = Mi (1 t) +Mi+1t;D3S3 (x) =
Mi+1 Mihi
:
Sada cemo iskoristiti uvjet globalne neprekidnosti prve derivacije. Za unutranje cvorove(i = 1; : : : ; n 1) dobijemo
DS3 (xi + 0) =fi+1 fi
hi hi6(2Mi +Mi+1) ;
DS3 (xi 0) = fi fi1hi1
hi16(Mi1 + 2Mi) ;
Aproksimacija funkcija
-
Uvod u numericku matematiku 35
pa iz uvjeta neprekidnosti slijedi n 1 jednadbi traenog linearnog sustava
iMi1 + 2Mi + iMi =6
hi1 + hi
fi+1 fi
hi fi fi1
hi1
;
a i i i su denirani kao u prethodnom slucaju. Daljnji postupak je isti kao u prvomslucaju s koecijentima mi:
Ocjeniti greku za kubicni splajn je puno tee nego u slucaju Hermiteovog kubicnogsplajna, buduci su koecijenti kubicnog splajna zadani implicitno kao rjeenja linearnogsustava.
Aproksimacija funkcija
-
Uvod u numericku matematiku 36
2 Diskretna metoda najmanjih kvadrataNeka je funkcija f zadana na diskretnom skupu tocaka fx0; x1; : : : ; xng kojih je mnogovie nego nepoznatih parametara aproksimacijske funkcije ' (x; a0; : : : ; am) : Pokua-jmo funkciju ' odrediti iz uvjeta da euklidska norma (norma 2) vektora pogreke ucvorovima aproksimacije bude najmanja moguca, tj. da minimiziramo funkciju S deni-ranu s
S =nXk=0
(f (xk) ' (xk))2 :
Ovu funkciju (koja je u stvari denirana kao kvadrat euklidske norme) interpretiramokao funkciju nepoznatih parametara a0; : : : ; am; tj.
S = S (a0; : : : ; am) :
Ako je S dovoljno glatka funkcija, nuni uvjeti ekstrema su@S
@ak= 0; k = 0; : : : ;m:
Pokazat cemo da nas takav pristup vodi na tzv. sustav normalnih jednadbi.Aproksimacija funkcija
-
Uvod u numericku matematiku 37
2.1 Linearni problem i linearizacijaIlustrirajmo gornju ideju jednim jednostavnim primjerom. Pretpostavimo da je zadanamrea f(x0; f0) ; : : : ; (xn; fn)g ciji model elimo po diskretnoj metodi najmanjih kvadrataaproksimirati pravcem
' (x) = a0 + a1x:
Greka aprokismacije u cvorovima koju minimiziramo je dana s
S = S (a0; a1) =nXk=0
(fk ' (xk))2 =nXk=0
(fk a0 a1xk)2 :
Nuni uvjeti minimizacije su
0 =@S
@a0= 2
nXk=0
(fk a0 a1xk) ;
0 =@S
@a1= 2
nXk=0
(fk a0 a1xk)xk:
Aproksimacija funkcija
-
Uvod u numericku matematiku 38
Nakon sredivanja dobivamo sustav
a0 (n + 1) + a1
nXk=0
xk =nXk=0
fk
a0
nXk=0
xk + a1
nXk=0
x2k =nXk=0
fkxk:
Uvedemo li standardne skracene oznake
sl =nXk=0
xlk; tl =nXk=0
fkxlk; l 0;
dobiveni sustav moemo pisati u obliku
s0a0 + s1a1 = t0s1a0 + s2a1 = t1:
Aproksimacija funkcija
-
Uvod u numericku matematiku 39
Nije teko pokazati da je matrica ovog sustava regularna jer je njena determinanataD = s0s2 s21 razlicita od nule. Naime, deniramo li u Rn+1 vektore
e = (1; 1; : : : ; 1) ; x = (x0; x1; : : : ; xn)
i primijenimo na njih Cauchy-Schwarzovu nejednakost, dobijemo nXk=0
ekxk
!2
nXk=0
e2k
! nXk=0
x2k
!;
tj.,
s21 =
nXk=0
xk
!2 (n + 1)
nXk=0
xk = s0s2;
pri cemu jednakost vrijedi jedino kada su promatrani vektori kolinearni, a e i x to nikadanisu. Dakle, vrijedi s0s2 > s21; pa je D > 0:
Aproksimacija funkcija
-
Uvod u numericku matematiku 40
Nadalje, lako se vidi da je ekstrem dobiven iz ovih uvjeta zaista minimum funkcije S jergraf funkcije S paraboloid s "otvorom prema gore", pa S moe imati samo minimum.Za funkciju ' mogli smo uzeti i polinom vieg stupnja,
' (x) = a0 + a1x + + amxm;
a postupak bi bio posve analogan. Ipak, stupanj ne bi trebao prelaziti 10 jer je tada do-biveni sustav vrlo loe uvjetovan (matrica sustava moe biti gotovo singularna), parezultati mogu biti posve pogreni. Ako ba moramo odabrati aproksimiranje poli-nomima vieg stupnja, onda nikako ne bismo trebali koristiti prikaz u bazi potencija,vec trebamo koristiti neke od ortogonalnih polinoma.Linearni model metode najmanjih kvadrata je primjenjiv i na opcu linearnu funkciju 'zadanu s
' (x) = a0'0 (x) + + am'm (x) ;
pri cemu su '0; : : : ; 'm neke poznate funkcije. I to cemo ilustrirati jednim primjerom.
Aproksimacija funkcija
-
Uvod u numericku matematiku 41
Pretpostavimo da je zadana mrea f(x0; f0) ; : : : ; (xn; fn)g ciji model elimo po diskret-noj metodi najmanjih kvadrata aproksimirati funkcijom
' (x) = a0'0 (x) + a1'1 (x) ;
pri cemu su '0 i '1 neke zadane funkcije. Greka aprokismacije u cvorovima je dana s
S = S (a0; a1) =nXk=0
(fk ' (xk))2 =nXk=0
(fk a0'0 (xk) a1'1 (xk))2 :
Nuni uvjeti minimizacije su
0 =@S
@a0= 2
nXk=0
(fk a0'0 (xk) a1'1 (xk))'0 (xk) ;
0 =@S
@a1= 2
nXk=0
(fk a0'0 (xk) a1'1 (xk))'1 (xk) :
Aproksimacija funkcija
-
Uvod u numericku matematiku 42
Uvedemo li standardne skracene oznake
s0 =
nXk=0
'20 (xk) ; s1 =
nXk=0
'0 (xk)'1 (xk) ; s2 =
nXk=0
'21 (xk) ;
t0 =nXk=0
fk'0 (xk) ; t1 =nXk=0
fk'1 (xk) ;
dobivamo sustav potpuno istog oblika
s0a0 + s1a1 = t0s1a0 + s2a1 = t1:
Moe se pokazati da ovako dobiveni sustav ima ista svojstva kao i sustav u prethodnomprimjeru.
Aproksimacija funkcija
-
Uvod u numericku matematiku 43
Sada se postavlja pitanje: to ako trebamo aproksimacijsku funkciju ' koja nelinearnoovisi o parametrima? Dobili bismo nelinerani sustav jednadbi koji se opcenito tekorjeava. Promatrani problem bi postao ozbiljan optimizacijski problem koji bi se onda irjeavao odgovarajucim optimizacijskim metodama.
No postoji i drugi pristup. Katkada jednostavnim transformacijama pocetni problemmoemo transformirati na linearni problem najmanjih kvadrata. No (na alost) rjeenjaovih dvaju problema opcenito ne moraju biti jednaka. Problem je u razlicitim mjeramaza udaljenost tocaka, odnosno mjerama za greku. To cemo ilustrirati jednim prim-jerom.
Pretpostavimo da je zadana mrea f(x0; f0) ; : : : ; (xn; fn)g ciji model elimo po diskret-noj metodi najmanjih kvadrata aproksimirati funkcijom
' (x) = a0ea1x:
Aproksimacija funkcija
-
Uvod u numericku matematiku 44
Greka aprokismacije u cvorovima koju minimiziramo je dana s
S = S (a0; a1) =nXk=0
(fk ' (xk))2 =nXk=0
(fk a0ea1x)2 :
Nuni uvjeti minimizacije su
0 =@S
@a0= 2
nXk=0
(fk a0ea1xk) ea1xk;
0 =@S
@a1= 2
nXk=0
(fk a0ea1x) a0xkea1x;
to je nelinearni sustav jednadbi.
Aproksimacija funkcija
-
Uvod u numericku matematiku 45
No logaritmiramo li funkciju ' dobivamo
ln' (x) = ln a0 + a1x:
Sada moemo pocetni problem svesti na linearni problem najmanjih kvadrata u kojemje aproksimacijska funkcija funkcija denirana s
(x) = b0 + b1x; b0 = ln a0; b1 = a1
a promatrana mrea je
f(x0; ln f0) ; : : : ; (xn; ln fn)g :Provedemo li postupak kao u prvom primjeru dobijemo neke b0 i b1; onda slijedi
a0 = eb0; a1 = b1:
Vidimo da je a0 nuno pozitivan, pa ce i ' biti nuno pozitivna funkcija. Ovo je, naravno,problem jer mrea nije imala takvo ogranicenje. No cim smo logaritmirali sve fk uvjetpozitivnosti je morao biti ispunjen, pa smo ovaj postupak i mogli provesti samo zapozitivne funkcije. Ako postoje neki negativni fk problem moemo rijeiti translacijomsvih podataka nakon cega provodimo navedeni postupak linearizacije.
Aproksimacija funkcija
-
Uvod u numericku matematiku 46
2.2 Matri cna formulacija linearnog problema najmanjih kvadrataDa bismo formirali matricni zapis linearnog problema najmanjih kvadrata moramo preimen-ovati nepoznanice da nam zapis ne bi previe odstupao od standardne forme. Ako jedana mrea f(t1; y1) ; : : : ; (tn; yn)g i ako elimo model aproksimirati funkcijom
' (t) = x1'1 (t) + + xm'm (t) ;
onda trebamo odrediti nepoznate parametre x1; : : : ; xm tako da vrijedi
nXk=1
[yk (x1'1 (t) + + xm'm (t))]2 ! min :
Aproksimacija funkcija
-
Uvod u numericku matematiku 47
Uvedemo li oznake
akj = 'j (tk) ; k = 1; : : : ; n; j = 1; : : : ;m;
bk = yk; k = 1; : : : ; n;
A = [akj] 2 Rnm; b = [bk] 2 Rn; x = [xj] 2 Rm;onda nam se prethodni uvjet minimizacije svodi na traenje minimuma (po x) euklidskenorme
kAx bk2 :
TEOREM. Neka je
S = fx 2 Rm j kAx bk2 = ming :Vrijedi: x 2 S ako i samo ako je ispunjena sljedeca relacija ortogonalnosti (ovdjekoristimo oznaku 0 za nul-vektor)
AT (b Ax) = 0:Aproksimacija funkcija
-
Uvod u numericku matematiku 48
DOKAZ. Dokaimo najprije smjer dovoljnosti. Neka je x^ 2 Rm takav da vrijedi
AT (b Ax^) = 0:
Oznacimo r^ = b Ax^: Za bilo koji x 2 Rm vrijedi
r = b Ax = r^ + Ax^ Ax = r^ A (x x^) = r^ Ae; e = x x^:Sada imamo
krk22 = rTr = (r^ Ae)T (r^ Ae) = r^T r^ r^TAe (Ae)T r^ + (Ae)T Ae= r^T r^ 0 0 + kAek22 = r^T r^ + kAek22 = kr^k22 + kAek22 :
Kako je kAek2 0; to se minimalna vrijednost krk2 postie upravo onda kada jekAek2 = 0; tj. x = x^, pa x^ minimizira krk2 = kAx bk2 : Dakle, x^ 2 S:
Aproksimacija funkcija
-
Uvod u numericku matematiku 49
Dokaimo i smjer nunosti i to kontrapozicijom. Pretpostavimo da je za neki x^ 2 Rmispunjeno
AT (b Ax^) = AT r^ = z 6= 0i uzmimo
x = x^ + "z; " > 0:
Tada je
r = b Ax = r^ + Ax^ Ax = r^ A (x x^) = r^ A"zi
krk22 = rT r = (r^ A"z)T (r^ A"z)= r^T r^ "r^TAz " (Az)T r^ + "2 (Az)T Az= r^T r^ 2"zTz + "2 (Az)T Az < r^T r^ = kr^k22
za dovoljno mali "; pa x^ =2 S jer kr^k22 nije minimalna
Aproksimacija funkcija
-
Uvod u numericku matematiku 50
Relacija
AT (b Ax) = 0
cesto se zove sustav normalnih jednadbi i obicno se pie u obliku
ATAx = ATb:
Matrica ATA je simetricna i pozitivno semidenitna, a sustav normalnih jednadbi jeuvijek konzistentan. tovie, vrijedi i sljedeca propozocija koja ce nam garantirati dauvjet rang(A) = m osigurava postojanje rjeenja problema metode najmanjih kvadrata.
PROPOZICIJA. Matrica ATA je pozitivno denitna ako i samo ako su stupci matrice Alinearno neovisni, tj. ako je rang matrice A jednak m:
Aproksimacija funkcija
-
Uvod u numericku matematiku 51
DOKAZ. Ako su stupci matrice A = [a1 am] (ai 2 Rn) linearno neovisni, onda zasvaki x 2 Rm; x 6= 0; vrijedi
Ax = x1a1 + + xmam 6= 0:
Za takve x je
(Ax)T Ax = kAxk22 > 0;
pa je ocito matrica ATA pozitivno denitna.
Aproksimacija funkcija
-
Uvod u numericku matematiku 52
S druge strane, ako su stupci matriceA linearno ovisni, onada postoji neki x^ 2 Rm; x^ 6=0; takav da je
Ax^ = x^1a1 + + x^mam = 0;
pa za takav x^ vrijedi
(Ax^)T Ax^ = kAx^k22 = 0:
Za sve ostale x 2 Rm takve da je
Ax = x1a1 + + xmam 6= 0je ispunjeno
(Ax)T Ax = kAxk22 > 0;
pa je ocito matrica ATA pozitivno semidenitna
Aproksimacija funkcija
-
Uvod u numericku matematiku 53
3 Minimaks aproksimacijaNeka je f neprekidna funkcija na intervalu [a; b] R: Pokuajmo usporediti polinomneaproksimacije funkcije f dobivene razlicitim metodama i ustanoviti koja od njih dajenajmanju maksimalnu pogreku. Oznacimo s n (f ) najmanju maksimalnu pogrekuaproksimacije po svim takvim polinomima stupnja ne veceg od n, tj.
n (f ) = inf@pn
kf pk1 :
To bi znacilo da ne postoji polinom stupnja ne veceg od n koji bi s manjom grekom odn (f ) aproksimirao funkciju f na danom intervalu. Nas, naravno, interesira za koji sepolinom dostie ta greka. Pa neka je pn upravo taj polinom, tj. neka je
n (f ) = kf pnk1 :Nadalje, ako je polinom pn jedinstven zanima nas kako ga moemo konstruirati. Poli-nom pn nazivamo minimaks aproksimacijom funkcije f na intervalu [a; b] :
Aproksimacija funkcija
-
Uvod u numericku matematiku 54
Ilustrirajmo pomocu jednog jednostavnog primjera o cemu se radi. Odredimo polinomp1 koji je minimaks aproksimacija eksponencijalne funkcije na intervalu [1; 1] ; tj poli-nom deniran s p1 (x) = a0 + a1x za kojeg vrijedi
maxx2[1;1]
jex a0 a1xj ! min :
Grackom ilustracijom lako vidimo da graf eksponencijalne funkcije mora sjeci grafpolinoma (pravac) u tocno dvije tocke x1 i x2 takve da je 1 < x1 < x2 < 1 (u drugimslucajevima je lako naci bolju aproksimaciju!). Lako se naslucuje i rjeenje. Najprijeodredimo jednadbu pravca p kroz tocke (1; 1=e) i (1; e) : Zatimo odredimo koecijenta0 iz uvjeta da je pravac p1 tangenta funkcije exp u nekoj tocki x3 ali s koecijentomsmjera kao u pravca p: Rjeenje je pravac paralelan s p i p1, a jednako udaljen od oba.Jasno je i to da se maksimalne pogreke dosiu u tocno tri tocke:1; x3 i 1: Oznacimoli s 1 tu maksimalnu pogreku imamo sustav
Aproksimacija funkcija
-
Uvod u numericku matematiku 55
1=e a0 + a1 = 1e a0 a1 = 1
ex3 a0 a1x3 = 1ex3 a1 = 0:
Posljednji uvjet je posljedica cinjenice da zbog uvjeta maksimalnosti pogreke u x3imamo
(ex a0 a1x)0 jx3= ex3 a1 = 0:
Rjeavanjem ovog sustava dobijemo (naravno, priblino!)
a1 = 1:175; a0 = 1:264; 1 = 0:278; x3 = 0:161:
Aproksimacija funkcija
-
Uvod u numericku matematiku 56
Ako imamo dobru uniformnu aproksimaciju funkcije f; onda je realno ocekivati da je igreka jednako tako uniformno distribuirana na intervalu aproksimacije, te da joj varirapredznak. Sad cemo bez dokaza dati tri vana teorema koji govore o egzistenciji mini-maks aproksimacije i o njenoj pogreci.
TEOREM. ( Cebievljev teorem o oscilacijama greaka) Za danu funkciju f koja jeneprekidna na [a; b] i za dani n 2 N0 postoji jedinstveni polinom pn stupnja ne veceg odn za kojeg vrijedi
n (f ) = kf pnk1 :Taj polinom je karakteriziran sljedecim svojstvom: postoje barem n + 2 tocke
a x0 < x1 < < xn < xn+1 bza koje je
f (xj) pn (xj) = (1)j n (f ) ; j = 0; 1; : : : ; n + 1;
pri cemu je = 1 i ovisi samo o f i n:Aproksimacija funkcija
-
Uvod u numericku matematiku 57
TEOREM. (de la Vallee-Poussin) Neka je funkcija f neprekidna na [a; b] i n 2 N0:Pretpostavimo da za tocke a x0 < x1 < < xn < xn+1 b polinom P stupnja neveceg od n zadovoljava relaciju
f (xj) P (xj) = (1)j ej; j = 0; 1; : : : ; n + 1;gdje su brojevi ej 2 R n f0g istog predznaka. Tada je
min0jn+1
jejj n (f ) = kf pnk1 kf Pk1 :
TEOREM. (Jackson) Neka funkcija f ima k 2 N0 neprekidnih derivacija na [a; b] :Nadalje, neka za nekeM > 0 i 0 < 1 vrijedi
supx;y2[a;b]
f (k) (x) f (k) (y) M jx yj :Tada postoji konstanta dk neovisna o f i n takva da vrijedi
n (f ) Mdkn+k
; n > 0:
Aproksimacija funkcija