Egyenletek gykeinek meghatrozsa kzelt mdszerekkel

Kiss Dniel
2012. janur

A feladatunk, hogy valamilyen ltalban nemlineris egyenletnek a gykeit valamekkora pontossggal

kzeltsk. Ehhez sokszor clszer az egyenletet nullra rendezni, amit ekkor felfoghatunk egy f (x) = 0 alak
fggvnynek is. A tovbbiakban ezrt egyenlet helyett a fggvny elnevezst fogjuk hasznlni.

Gyk ltezsnek felttele

Ttel. Ha egy folytonos fggvny esetn f (a) f (b) < 0, akkor van olyan ]a, b[, amelyre f () = 0.
A ttel szerint egy folytonos fggvnynek biztosan van gyke egy olyan intervallumban, melynek a kt vgpont-
jban a fggvnyrtkek eljele klnbzik. Ezt a tnyt felhasznlhatjuk arra, hogy nagyjbl beljk, hol van
a gyk, majd valamilyen itercival ellltsuk egy pontosabb kzeltst.

Intervallum-felez mdszer
Az egyik legegyszerbben megvalsthat mdszer, ezrt ltalban a pontossga is alatta marad a tbbi md-
szernek. Az iterci indtshoz hrom adat szksges : a s b, melyek a kiindul intervallum vgpontjai (ennek
egy bels pontjban van gyk), valamint egy lellsi kritrium, pldul az iterciszm (n).
for ( i = 1..n )
c = ( a + b ) / 2
if ( f(a) * f(c) < 0 ) then
b = c
else
a = c
return c
A mdszer teht azt ismtli, hogy veszi az aktulis intervallum kt vgopontjnak szmtani kzept (ez lesz a
c, azaz a gyk kzelt rtke), aztn megvizsglja, hogy melyik kt pont kztt kvetkezik be az eljelvlts (a
s c vagy c s b kztt), s annak megfelelen hatrozza meg az intervallum j a s b vgpontjait.

Hrmdszer
Az elzhz kpest a mdszer annyiban tr el, hogy a gyk j kzeltst nem az intervallumvgek kzepe adja,
hanem a vgeket sszekt hr s az x-tengely metszspontjnak helye. Ennek meghatrozshoz rjuk fel a hr
meredeksgt.
f (b) f (a)
m= .
ba
Hasznljuk fel valamelyik pontot (pldul a (b, f (b))-t) a hr egyenletnek felrshoz, s helyettestsk az
y y0 = m (x x0 )
egyenletbe x0 s y0 helyre. Azt az x pontot keressk, ahol a hr metszi az x-tengelyt, teht ahol y = 0.
0 f (b) = m (x b)
Fejezzk ki x-et.
f (b)
x=b
m
Vgl helyettestsk be a fent mr megkapott m rtket az egyenletbe.
ba
x = b f (b)
f (b) f (a)
Ezt a kpletet felhasznlva mdostsuk kicsit az intervallum-felez algoritmust.

1
for ( i = 1..n )
c = b - f(b) * ( ( b - a ) / ( f(b) - f(a) ) )
if ( f(a) * f(c) < 0 ) then
b = c
else
a = c
return c

rintmdszer (NewtonRaphson-mdszer)
Az elz mdszereknl csak a helyettestsi rtkeket szmoltuk ki, de tbb informci birtokban (pldul
ha ismerjk a fggvny viselkedst a gyk kzelben) gyakran gyorsabb konvergencira, lnyegben pontosabb
eredmnyre szmthatunk. Induljunk ki pldul egy xn pontbl, amirl tudjuk hogy mg nem gyk, s hzzuk
meg a fggvny rintjt ebben a pontban. Felttelezsnk szerint az az xn+1 pont, ahol az rint metszi az
x-tengelyt, mr kzelebb lesz a gykhz. A hrmdszerhez hasonlan rjuk fel most az rint egyenlett. Az
adott pontunk legyen a mr meglv xn , a meredeksget a fggvny itteni rintjnek meredeksge, azaz f 0 (xn )
adja, a kvetkez itercis lps ltal szolgltatott pont pedig legyen az xn+1 . Az elbbi egyenletet ezek alapjn
rendezve azt kapjuk, hogy
f (xn )
xn+1 = xn 0 .
f (xn )
Ez a mdszer ltalban gyorsabban tart a valdi gykhz, viszont szksgnk van a derivlt kiszmtsra is (ami
bonyolultabb fggvnyeknl sok szmtst ignyelhet). Ha az itercit nem elg kzel kezdjk a valdi gykhz,
elfordul, hogy a mdszer nem konvergl (a kezdponttl fggen vgtelenhez tart, ciklikusan, esetleg kaotikusan
viselkedik). Gyakorlati szempontbl sokan a hasonl hrmdszert egyszersge s knny megvalsthatsga
miatt jobbnak tartjk, mg ha annl a konvergencia gyengbb is.

Fixpont-iterci
A fixpont-itercis mdszer (egyszer iterci, iterl mdszer) mkdsnek megrtshez nagyvonalakban
tvesznk nhny fogalmat.
Metrikus tr nek neveznk egy halmazt, hogyha azon definilva van valamilyen metrika (tvolsgmrtk).
A d (x, y)-nal jellt metrika egy olyan fggvny, amely a halmaz kt tetszleges elemhez valamilyen nemnega-
tv vals szmot, a tvolsgukat rendeli. Ilyen fggvnyt sokflekppen definilhatunk, a lnyeg, hogy eleget
tegyenek hrom jzan sszel is elvrhat tulajdonsgnak : (1) d (x, y) pontosan akkor nulla, ha x = y ; (2)
d (x, y) szimmetrikus, teht d (x, y) = d (y, x) ; (3) d (x, y) teljesti a hromszg-egyenltlensget.
Egy ilyen (X, d)-vel jellt trben kontrakcinak (sszehzsnak) nevezzk az X halmaz egy nmagra trtn
f lekpezst (fggvnyt), ha ltezik olyan 0 L < 1 konstans, hogy d (f (x) , f (y)) L d (x, y) teljesl X
tetszlegesen vlasztott elemeire. Ez nagyjbl azt jelenti, hogy a halmaz tetszleges x elemtl egy legfeljebb
t tvolsgban lv y elemet vlasztva f (y) az f (x)-tl t-nl kisebb tvolsgban lesz.
Egy f lekpezs fixpontjnak neveznk egy x elemet, ha f (x ) = x .

Ttel (Banach-fle fixpontttel). Az (X, d) teljes metrikus trben egy kontrakcinak egyrtelmen ltezik fix-
pontja. Tovbb tetszleges x0 X pontbl indtva az xn+1 = f (xn ) itercit, az itercis sorozat konvergens
lesz, s a fixponthoz tart.
Vals fggvnyekre ez azt lltja, hogy ha f : [a, b] [a, b] kontrakci, akkor egyetlen olyan x [a, b] szm
ltezik, amely f -nek fixpontja. A gyk megtallshoz teht csak annyit kell tennnk, hogy a fggvnynket
valahogyan egy alkalmas f (x) = x alakra hozzuk, majd vlasztunk egy kiindul rtket. Ezek utn a gykt
kzeltleg az
xn+1 = f (xn )
iterci adja. A problmt ltalban az okozza, hogy a fggvnyt sikerljn alkalmas alakra hozni, ugyanis egy-
egy egyenletet klnbz mdokon is trhatunk f (x) = x alakra, m a fggvny nem mindig lesz kontrakci.
Azonban az f kontrakcis tulajdonsgt garantlja az, ha f folytonos [a, b]-n, differencilhat ]a, b[-n s minden
x ]a, b[-re |f 0 (x)| < 1 teljesl.
Ha az elbbi kpletet sszehasonltjuk a Newton-mdszer kpletvel, hasonlsgot tapasztalunk : a Newton-
mdszer a fixpont-itercis mdszer egy specilis esete.

2
Egy kidolgozott plda
1
Feladat. Igazoljuk, hogy az ex3 = 1 + x1 egyenletnek pontosan egy gyke van a [3,4] intervallumban ! Az
x0 = 4 pontbl kiindulva hatrozzuk meg ennek a gyknek az x3 kzelt rtkt NewtonRaphson-mdszerrel !

Megolds. Rendezzk elszr az egyenletet valamilyen mdon f (x) = 0 alakra. Pldul

1
f (x) = ex3 1 = 0.
x1

Lthat, hogy f (x) folytonos a [3,4] intervallumon, valamint f (3) = e0 1 21 = 12 < 0 s f (4) = e1 1
13 1.38 > 0, ezrt Bolzano ttele szerint f -nek valahol zrushelye van az intervallum egy bels pontjban,
azaz biztosan van legalbb egy gyk. Azt, hogy ennl tbb gyk nem is lehet, igazolhatjuk pldul gy, hogy
megmutatjuk, hogy f szigoran monoton. Ehhez felhasznljuk f derivltjt :
1
f 0 (x) = ex3 + 2,
(x 1)

ami biztosan pozitv a [3,4] intervallumon, teht f szigoran monoton nvekv ezen az intervallumon, vagyis
itt pontosan egy gyke van.
A NewtonRaphson-mdszer indtshoz szksgnk van a fggvny derivltjra (amit az elbb mr kisz-
moltunk), illetve az x0 kezdpontra. Ezek utn rendre kapjuk, hogy

f (x0 ) 1.384
x1 = x0 0
=4 = 3.51
f (x0 ) 2.829
f (x1 ) 0.267
x2 = x1 0 = 3.51 = 3.364
f (x1 ) 1.824
f (x2 ) 0.016
x3 = x2 0 = 3.364 = 3.354
f (x2 ) 1.618

A gyk x3 kzeltsre kapott eredmny 3.354.