40
E ÖTVÖS L ORÁND T UDOMÁNYEGYETEM T ERMÉSZETTUDOMÁNYI K AR N UMERIKUS INTEGRÁLÁS Szakdolgozat Írta : Balka Júlia Matematika BSc, matematikai elemz ˝ o szakirány Témavezet˝ o: Kurics Tamás, adjunktus Alkalmazott Analízis és Számításmatematikai Tanszék Budapest 2012

NUMERIKUS INTEGRÁLÁS Szakdolgozat¶szönetnyilvánítás Ezúton szeretnék köszönetet mondani témavezetomnek, Kurics Tamásnak, aki szakértelmével,˝ hasznos magyarázataival

Embed Size (px)

Citation preview

EÖTVÖS LORÁND TUDOMÁNYEGYETEM

TERMÉSZETTUDOMÁNYI KAR

NUMERIKUS INTEGRÁLÁS

Szakdolgozat

Írta : Balka JúliaMatematika BSc, matematikai elemzo szakirány

Témavezeto : Kurics Tamás, adjunktusAlkalmazott Analízis és Számításmatematikai Tanszék

Budapest2012

Tartalomjegyzék

Köszönetnyilvánítás 3

1. Bevezetés 4

2. Interpolációs kvadratúra képletek 62.1. Newton–Cotes-formulák és pontosságuk . . . . . . . . . . . . . . . . . . . . . 7

2.1.1. A középponti vagy érintoformula . . . . . . . . . . . . . . . . . . . . 8

2.1.2. A trapézformula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2.1.3. A Simpson-formula . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.1.4. További Newton–Cotes-formulák . . . . . . . . . . . . . . . . . . . . 12

2.2. Példák . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3. Összetett kvadratúra formulák 163.1. Összetett formulák és hibabecsléseik . . . . . . . . . . . . . . . . . . . . . . . 16

3.1.1. Az összetett érintoszabály . . . . . . . . . . . . . . . . . . . . . . . . 17

3.1.2. Az összetett trapézszabály . . . . . . . . . . . . . . . . . . . . . . . . 19

3.1.3. Az összetett Simpson-szabály . . . . . . . . . . . . . . . . . . . . . . 21

3.2. Példák . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

3.3. Konvergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

4. Gauss-kvadratúrák 294.1. Gauss–Csebisev-kvadratúra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

4.2. Gauss–Legendre-kvadratúra . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4.3. Példák . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

Összefoglalás 38

Irodalomjegyzék 39

Nyilatkozat 40

2

Köszönetnyilvánítás

Ezúton szeretnék köszönetet mondani témavezetomnek, Kurics Tamásnak, aki szakértelmével,

hasznos magyarázataival és a konzultációk során biztosított elengedhetetlen tanácsaival hatal-

mas segítséget nyújtott szakdolgozatom elkészüléséhez.

Hálával tartozom továbbá szüleimnek és testvéreimnek, akik nélkül ez a szakdolgozat nem

jöhetett volna létre. Köszönöm nekik, hogy tanulmányaim során türelemmel és megértéssel

támogattak, és minden helyzetben mellettem álltak.

Külön köszönöm páromnak, Ákosnak, hogy egyetemi éveim során végtelen kitartással és

szeretettel támogatta céljaim elérését, és nélkülözhetetlen tanácsaival valamint segítségével hoz-

zájárult e dolgozat megírásához.

Köszönöm mindenkinek!

3

1. fejezet

Bevezetés

Matematikában, fizikában és az élet számos területén kerülünk olyan helyzetbe, hogy határo-

zott integrálokat kell kiszámítanunk. Matematikában ilyen például a terület-, térfogat-, felszín-,

és ívhosszszámítás, függvények skalárszorzatának meghatározása, vagy a valószínuségszámí-

tásban a várható értékek megadása. Fizikában a megmaradási törvényeknél, részecskefizikai

számításoknál, de bizonyos természetbeli jelenségek differenciálegyenletekkel való modellezé-

sének megoldásánál is szükségünk lehet integrálszámításra.

Ilyenkor egy f folytonos függvény [a, b] véges (vagy végtelen) intervallumon vett integrál-

jára vagyunk kíváncsiak. Jelöljük ezt az értéket a továbbiakban a következoképpen:

I(f) :=b∫a

f(x) dx.

A függvények egy (kis) részét könnyen integrálhatjuk az úgynevezett Newton–Leibniz-szabály

segítségével, ha f integrálható az adott intervallumon, és ismerjük a primitív függvényét. Ekkor

a következo képletet használhatjuk:b∫a

f(x) dx = F (b)− F (a),

ahol F az f primitív függvénye, azaz F ′ = f .

Ezt a kifejezést azonban számos alkalommal nem tudjuk alkalmazni. Ilyen akkor fordul elo,

amikor csak néhány pontban ismerjük a függvényértékeket, vagy nem ismerjük az integrálandó

függvény primitív függvényét, vagy ez a primitív függvény túl bonyolult, hogy kiszámoljuk,

vagy nem elemi függvény. Ilyen például a sinxx

vagy az e−x2 .

Elofordul az is, hogy nem is akarjuk kiszámítani pontosan a fent említett képlettel az integrált,

mert az túl bonyolult és idoigényes számításokhoz vezetne, és jelentosen megnone a hibázási

lehetoség, valamint a kerekítési- és számábrázolási hibákból adódó pontatlanság.

Ilyen esetekben muszáj vagy célszeru közelíto módszereket, azaz numerikus integrálást alkal-

maznunk. Szakdolgozatomban ezen eljárások közül mutatok be néhányat.

4

Legyen az [a, b] intervallum egy felosztása a következo :

a ≤ x0 < x1 < x2 < . . . < xn ≤ b,

és legyenek adottak ezekben a pontokban a függvényértékek, azaz f(x0), f(x1), . . . , f(xn).Jelölje a továbbiakban fi := f(xi).Analízisbol tudjuk, hogy a határozott integrál felírható egy határértékként az alábbiak alapján:

I(f) ≡ lim|δ|→0

n∑i=1

f(ξi)(xi − xi−1),

ahol δ a felosztás finomsága, és ξi ∈ (xi−1, xi). Ezt nevezzük Riemann-féle közelíto összegnek.

Ezek alapján tehát arra a következetésre juthatunk, hogy megfelelo együtthatókkal az

In(f) :=n∑i=0

cif(xi) (1.1)

véges összeg közel lesz az I(f) pontos értékhez. Ezt a kifejezést nevezzük kvadratúra képletnek,

melyben xi-ket alappontoknak, a ci ∈ R számokat pedig súlyoknak hívjuk.

1.1. Definíció. Az olyan (1.1) alakú kvadratúra képletet, melyben szerepelnek az a, illetve b

pontbeli függvényértékek is (azaz ha x0 = a és xn = b) zárt, míg amelyekben nem, nyílt

kvadratúra formulának nevezzük.

Vannak bizonyos feltételek, melyeket azonban elvárunk ezektol a közelítésektol. Legyenek

könnyen kiszámíthatóak, valamint, ha a felosztást egyre finomítjuk, akkor tartsanak a pontos

integrálértékhez, és lehetoleg minél gyorsabban.

Felmerül azonban a kérdés, hogy hogyan válasszuk meg ezeket a súlyokat, illetve alappontokat,

hogy ezek a feltételek teljesüljenek. Arra a kérdésre is választ keresünk, hogy ha f elég sok-

szor differenciálható, akkor mekkora lehet a legnagyobb hiba, melyet elkövetünk azáltal, hogy

numerikus integrálást alkalmazunk. A továbbiakban ezekre a kérdésekre is választ kapunk.

5

2. fejezet

Interpolációs kvadratúra képletek

Az elso kérdés, amivel foglalkozunk az, hogy adott alappontok esetén hogyan válasszuk meg

a súlyokat úgy, hogy a kvadratúra képlet által kapott megoldásunk minél közelebb legyen a

pontos integrálértékhez.

Interpoláció elméletbol tudjuk, hogy adott (xi, fi) (i = 0, . . . , n) alappontokhoz egyértel-

muen létezik olyan p ∈ Pn polinom, melyre p(xi) = fi. Az ilyen polinomok egyik eloállítási

módja a Lagrange-féle interpoláció. Jelölje ezt a polinomot Lnf(x), és állítsuk elo a következo

alakban:

Lnf(x) =n∑i=0

fi · li(x) =n∑i=0

fi ·

n∏j=0j 6=i

x− xjxi − xj

,

ahol li(x) =n∏j=0j 6=i

x− xjxi − xj

-et az i-edik (i = 0, . . . , n) Lagrange-féle alappolinomnak nevezzük.

Ez adja számunkra azt az ötletet, hogy az olykor bonyolult és nem integrálható függvénye-

inket helyettesítsük az alappontokra illeszkedo Lagrange-féle interpolációs polinommal, és azt

integráljuk. A közelítés tehát a következo :

I(f) =b∫a

f(x) dx ≈ In(f) =b∫a

Lnf(x) dx =b∫a

(n∑i=0

fi li(x))

dx =n∑i=0

fi

b∫a

li(x) dx

.(2.1)

Ez alapján látható, hogy ci súlyainkat az alábbi képlet alapján kapjuk minden i = 0, . . . , n-re :

ci =b∫a

li(x) dx. (2.2)

2.1. Definíció. A (2.2)-ben definiált súlyokkal meghatározott kvadratúra formulát interpolációs

kvadratúra képletnek nevezzük.

Most bevezetünk egy olyan fogalmat, melyre a késobbiekben még szükségünk lesz.

6

2.2. Definíció. Az In(f) kvadratúra formulánk r-ed rendben pontos, ha I(p) = In(p) minden

legfeljebb r − 1-ed fokú p polinomra, és létezik olyan r-ed fokú polinom, melyre már nem

integrál pontosan a képletünk.

A következo tételünk az interpolációs kvadratúra formula és a pontossági rend között mond

ki egy fontos összefüggést.

2.3. Tétel. Az n + 1 alappontra épülo interpolációs kvadratúra formula egyértelmuen megha-

tározott azáltal, hogy minden p ∈ Pn polinomra pontos, azaz egy kvadratúra formula akkor és

csakis akkor lehet n+ 1-ed rendu, ha az interpolációs kvadratúra formula, azaz ha (2.1) alakú.

Bizonyítás. ([5, 191. oldal] alapján.) Tegyük fel eloször, hogy a formulánk interpolációs kvad-

ratúra formula. Tudjuk, hogy Lnp = p minden p ∈ Pn polinomra. Helyettesítsük be ezt a

polinomot a (2.1)-es képletünkbe. Ekkor igaz a következo :

n∑i=0

cip(xi) =b∫a

Lnp(x) dx =b∫a

p(x) dx.

Ebbol következik, hogy (2.1) pontos minden p ∈ Pn polinomra. Ezzel a tétel egyik felét belát-

tuk.

Tegyük fel most, hogy a kvadratúránk pontossági rendje n+1. Ekkor minden p ∈ Pn-re igaz

az, hogyn∑i=0

cip(xi) =b∫ap(x) dx. Ebbol következik az alábbi minden f ∈ C[a, b] függvényre:

n∑i=0

cif(xi) =n∑i=0

ciLnf(xi) =b∫a

Lnf(x) dx,

azaz a formulánk interpolációs kvadratúra formula. Ezzel a tételt beláttuk.

Az interpolációs kvadratúra formulák egyik fo csoportját azok a képletek alkotják, ahol az

alappontok ekvidisztáns felosztásúak. Most ezekkel a kvadratúrákkal foglalkozunk.

2.1. Newton–Cotes-formulák és pontosságuk

2.4. Definíció. Tegyük fel, hogy xi − xi−1 ≡ h, azaz xi = x0 + ih, minden i = 1, . . . , n-re,

ahol h a lépéstávolság. Ekkor a (2.1)-ben definiált kvadratúrát Newton–Cotes-féle kvadratúra

formulának nevezzük.

Ha x0 = a és xn = b, azaz ha az a illetve b pontbeli függvényértékek is szerepelnek

a formulában, akkor zárt Newton–Cotes-formuláról beszélünk és a lépéstávolság h = b−an

. Ha

ezek az értékek nem szerepelnek, akkor nyílt formulának hívjuk. Ekkor az egyszeruség kedvéért

legyen a = x−1 valamint b = xn+1, így az osztópontok ugyanúgy x0, . . . , xn lesznek. Ekkor a

lépéstávolság h = b−an+2 .

Vizsgáljunk most meg néhány Newton–Cotes-kvadratúrát és azok pontosságát!

7

2.1.1. A középponti vagy érintoformula

A középponti vagy más néven érintoformula egy alappontra - azaz n = 0 - épülo nyílt formula.

Ez az egy alappont az intervallum közepén található, azaz x0 = a+ b

2 . A formulánk a következo

alakú:

I0(f) =0∑i=0

f(xi) b∫a

li(x) dx

= f

(a+ b

2

) b∫a

l0(x) dx.

A c0 együttható a (2.2)-es képlet alapján a következoképpen számolható:

c0 =b∫a

l0(x) dx =b∫a

1 dx = b− a.

A formulánk tehát a következoképpen néz ki :

I0(f) = c0 · f0 = (b− a) · f(a+ b

2

). (2.3)

2.1. ábra. Az érintoformula

Adódik a kérdés, hogy az így kapott formulánk hányadfokú polinomokra pontos.

2.5. Állítás. Az érintoformula másodrendben pontos.

Bizonyítás. A tétel igazolásához kell, hogy a (2.3)-as képletünk pontosan integráljon a legfel-

jebb elsofokú polinomokra, de létezzen olyan másodfokú polinom, amelyre már nem pontos.

Ehhez eloször legyen f(x) = d0 + d1x. A pontos integrálérték a következoképpen néz ki :

I(f) =b∫a

f(x) dx =b∫a

d0 + d1x dx =

= d0(b− a) + d1

(b2

2 −a2

2

)= (b− a)

(d0 + d1

a+ b

2

). (2.4)

Helyettesítsük be most ezt a polinomot a (2.3)-as formulánkba:

I0(f) = (b− a)(d0 + d1

a+ b

2

).

8

Látható tehát, hogy a legfeljebb elsofokú polinomokra I0(f) = I(f). Kell még, hogy a má-

sodfokú polinomokra már nem pontos a formulánk. Ehhez elég, ha azt az esetet nézzük, ha

f(x) = d2x2, hiszen a legfeljebb elsofokú tagokra már tudjuk, hogy pontos a formula. Nézzük

eloször a pontos értéket :

I(f) =b∫a

f(x) dx =b∫a

d2x2 dx = d2

3 (b3 − a3) = b− a3 d2(a2 + ab+ b2). (2.5)

Behelyettesítve f -et a formulánkba, kapjuk:

I0(f) = (b− a)f(a+ b

2

)= (b− a)d2

(a+ b

2

)2

= b− a4 d2(a2 + 2ab+ b2).

Tehát, ha f egy másodfokú polinom, akkor I0(f) 6= I(f). Ezzel az állítást beláttuk.

2.1.2. A trapézformula

A trapézformula egy zárt formula, mely két - azaz n = 1 - alappontra épül. Ebbol következik,

hogy ez a két alappont x0 = a és x1 = b. Lássuk, hogy néz ki a képletünk!

I1(f) =1∑i=0

f(xi) b∫a

li(x) dx

= f(a)b∫a

l0(x) dx+ f(b)b∫a

l1(x) dx = f(a)c0 + f(b)c1,

ahol ci =b∫ali(x) dx az együtthatóink. Ekkor az együtthatókra a következo értékek adódnak:

c0 =b∫a

l0(x) dx =b∫a

x− ba− b

dx = 1a− b

b∫a

(x− b) dx = 1a− b

[x2

2 − bx]ba

=

= 1b− a

(b2 − 2ab+ a2

2

)= 1b− a

((b− a)2

2

)= b− a

2 , és

c1 =b∫a

l1(x) dx =b∫a

x− ab− a

dx = 1b− a

b∫a

(x− a) dx = 1b− a

[x2

2 − ax]ba

=

= 1b− a

(b2 − 2ab− a2 + 2a2

2

)= 1b− a

((b− a)2

2

)= b− a

2 .

Tehát c0 = c1 = b−a2 . Ezek alapján trapézformulánk a következoképpen néz ki :

I1(f) = b− a2 (f(a) + f(b)). (2.6)

Kíváncsiak vagyunk a formulánk pontosságára. Errol szól a következo állítás.

2.6. Állítás. A trapézformula is másodrendu módszer.

9

2.2. ábra. A trapézformula

Bizonyítás. f(x) = d0 + d1x-re az I1(f) képletünk a következot adja:

I1(f) = b− a2 (2d0 + d1a+ d1b) = (b− a)

(d0 + d1

a+ b

2

).

Összehasonlítva a (2.4)-es pontos értékünkkel látható, hogy elsofokú polinomra I1(f) pontos.

Legyen most f(x) = d2x2 ! Ekkor

I1(f) = b− a2 (f(a) + f(b)) = b− a

2 (d2a2 + d2b

2) = b− a2 d2(a2 + b2).

A (2.5)-ös pontban kapott pontos értékkel összehasonlítva látjuk, hogy másodfokú polinomra

már nem pontos a trapézformula, tehát a kapott rend 2.

2.1.3. A Simpson-formula

A Simpson-formula szintén zárt, de 3 alappontra - azaz n = 2 - épülo Newton–Cotes-féle

kvadratúra formula. Alappontjaink x0 = a, x1 = a+ b

2 és x2 = b. Kvadratúra formulánk tehát

a következoképpen néz ki :

I2(f) =2∑i=0

f(xi) b∫a

li(x) dx

= f(a)b∫a

l0(x) dx+ f

(a+ b

2

) b∫a

l1(x) dx+

+ f(b)b∫a

l2(x) dx = f(a)c0 + f

(a+ b

2

)c1 + f(b)c2 , ahol ci =

b∫a

li(x) dx.

Nézzük most mik lesznek az együtthatók!

c0 =b∫a

(x− a+b2 )(x− b)

(a− a+b2 )(a− b)

dx = 2(b− a)2

b∫a

(x− a+ b

2

)(x− b) dx =

= 2(b− a)2

[x3

3 −x2

2

(a+ 3b

2

)+ x

ab+ b2

2

]ba

= (b− a)3

6(b− a)2 = b− a6 .

10

A c1 együtthatónkat hasonlóan kapjuk az alábbiak szerint :

c1 =b∫a

(x− a)(x− b)(a+b

2 − a)(a+b2 − b)

dx = 4(b− a)2

b∫a

(x− a)(x− b) dx =

= 4(b− a)2

[x3

3 −x2

2 (b+ a) + xab

]ba

= 4(b− a)3

6(b− a)2 = 4 · b− a6 .

Azt azonban minden formulánál elvárjuk, hogy pontos legyen a nulladfokú polinomokra, ezért

az együtthatóknak teljesíteniük kell a következo összefüggést :n∑i=0

ci = b−a. Emiatt a harmadik,

c2 súlyunk szintén egyenlo lesz b−a6 -tal. Ezek alapján tehát a Simpson-formula a következokép-

pen néz ki :

I2(f) = b− a6

(f(a) + 4f

(a+ b

2

)+ f(b)

). (2.7)

2.3. ábra. A Simpson-formula

2.7. Megjegyzés. Könnyen látható a következo összefüggés:

23I0 + 1

3I1 = I2 , ugyanis

46(b− a)f

(a+ b

2

)+ 1

6(b− a)(f(a) + f(b)) = b− a6

(f(a) + 4f

(a+ b

2

)+ f(b)

),

azaz a középponti- és trapézformula 23 : 1

3 arányú súlyozásával megkapható a Simpson-formula.

Az alábbi állítást nem bizonyítom.

2.8. Állítás. ([4, 202. oldal] alapján.) Az n+ 1 alappontra épülo Newton–Cotes-formulák pon-

tossági rendje páros n esetén n+ 2, páratlan n esetén n+ 1.

Ebbol értelemszeruen adódik a következo állítás.

2.9. Állítás. A Simpson-formula negyedrendben pontos.

11

2.1.4. További Newton–Cotes-formulák

Az alábbiakban megemlítek néhány további, ritkán használatos Newton–Cotes-formulát. Néz-

zük, hogyan is számoljuk ezeket!

– n = 1A két alappontra épülo formulák közül a trapézformulát már megismertük, ez egy zárt

formula volt. A nyílt, két pontra épülo képletet hasonló módon trapéz-módszernek nevez-

zük. A formula a következo alakú:b∫a

f(x) dx ≈ b− a2 (f(x0) + f(x1)) = b− a

2

(f

(2a+ b

3

)+ f

(a+ 2b

3

)).

– n = 2A három alappontra épülo zárt formulát szintén ismerjük már, ez volt a Simpson-formula.

A nyílt formula Milne nevét viseli, és a következo alakú:b∫a

f(x) dx ≈ b− a3 (2f(x0)− f(x1) + 2f(x2)) =

= b− a3

(2f(

3a+ b

4

)− f

(a+ b

2

)+ 2f

(a+ 3b

4

)).

– n = 3A négy alappontra épülo nyílt formulab∫a

f(x) dx ≈ b− a24 (11f(x0) + f(x1) + f(x2) + 11f(x3)) =

= b− a24

(11f

(4a+ b

5

)+ f

(3a+ 2b

5

)+ f

(2a+ 3b

5

)+ 11f

(a+ 4b

5

))alakú. A zárt formulát Simpson 3

8 -os szabályának hívják, és a következo alakú:b∫a

f(x) dx ≈ b− a8 (f(x0) + 3f(x1) + 3f(x2) + f(x3)) =

= b− a8

(f(a) + 3f

(2a+ b

3

)+ 3f

(a+ 2b

3

)+ f(b)

).

– n = 4Az öt alappontra épülo nyílt formula:

b∫a

f(x) dx ≈ b− a20 (11f(x0)− 14f(x1) + 26f(x2)− 14f(x3) + 11f(x4))) =

= b− a20

(11f

(5a+ b

6

)− 14f

(2a+ b

3

)+ 26f

(a+ b

2

))+

+ b− a20

(−14f

(a+ 2b

3

)+ 11f

(a+ 5b

6

)).

12

A zárt formulát Boole-szabálynak hívják, melyet az

b∫a

f(x)dx ≈ b− a90 (7f(x0) + 32f(x1) + 12f(x2) + 32f(x3) + 7f(x4)) =

= b− a90

(7f(a) + 32f

(3a+ b

4

)+ 12f

(a+ b

2

)+ 32f

(a+ 3b

4

)+ 7f(b)

)

képlet határoz meg.

Lássunk most néhány feladatot, ahol a fejezetben tárgyalt formulákat alkalmazzuk!

2.2. Példák

2.10. Példa. Számoljuk ki az érinto-, trapéz-, Simpson-, és Milne-formulával, Simpson 38 -os

szabályával valamint a Boole-szabállyal a következo integrált, majd határozzuk meg az elköve-

tett hiba nagyságát :

I(f) =1∫

0

e−x dx!

Megoldás:

A pontos megoldás a következo :

I(f) =1∫

0

e−x dx =[−e−x

]10

= −e−1 + 1 ≈ 0,632120558828558.

Most nézzük a közelítéseket!

1. Érintoformula

I0(f) = 1 · f(1

2

)= e−

12 ≈ 0,606530659712633.

2. Trapézformula

I1(f) = 12 (f(0) + f(1)) = 1

2(1 + e−1

)≈ 0,683939720585721.

3. Simpson-formula

I2(f) = 16

(f(0) + 4f

(12

)+ f(1)

)= 1

6(1 + 4e− 1

2 + e−1)≈ 0,632333680003663.

4. Milne-szabály

1∫0

e−x dx ≈ 13

(2f(1

4

)− f

(12

)+ 2f

(34

))= 1

3(2e− 1

4 − e−12 + 2e− 3

4)≈

≈ 0,631934670637402.

13

5. Simpson 38 -os szabálya

1∫0

e−x dx ≈ 18

(f(0) + 3f

(13

)+ 3f

(23

)+ f(1)

)= 1

8(1 + 3e− 1

3 + 3e− 23 + e−1

)≈

≈ 0,632215591248823.

6. Boole-szabály

1∫0

e−x dx ≈ 190

(7f(0) + 32f

(14

)+ 12f

(12

)+ 32f

(34

)+ 7f(1)

)=

= 190(7 + 32e− 1

4 + 12e− 12 + 32e− 3

4 + 7e−1)≈ 0,632120875008324.

A következo táblázat mutatja az elkövetett hiba nagyságát.

|Hiba|

Érintoformula 0,025589899115925

Trapézformula 0,051819161757163

Simpson-formula 0,000213121175105

Milne-szabály 0,000185888191156

Simpson 38 -os szabálya 0,000095032420265

Boole-szabály 0,000000316179766

2.11. Példa. Számoljuk ki az érinto-, trapéz-, Simpson-, Milne-formulával, Simpson 38 -os sza-

bályával valamint a Boole-szabállyal a következo integrált, majd határozzuk meg az elkövetett

hiba nagyságát :

I(f) =

π2∫

0

sin(2x) dx!

Megoldás:

A pontos megoldás:

I(f) =

π2∫

0

sin(2x) dx =[−cos(2x)

2

]π2

0= 1.

A közelítések a következok:

1. Érintoformula

I0(f) = π

2 · sin(π

2

)≈ 1,570796326794897.

2. Trapézformula

I1(f) = π

4 (sin(0) + sin(π)) = 0.

14

3. Simpson-formula

I2(f) = π

12

(sin(0) + 4 · sin

2

)+ sin(π)

)≈ 1,047197551196598.

4. Milne-szabály

π2∫

0

sin(2x) dx ≈ π

6

(2 · sin

4

)− sin

2

)+ 2 · sin

(3π4

))≈ 0,957362203787823.

5. Simpson 38 -os szabálya

π2∫

0

sin(2x) dx ≈ π

16

(sin(0) + 3 · sin

3

)+ 3 · sin

(2π3

)+ sin(π)

)≈

≈ 1,020262142381748.

6. Boole-szabály

π2∫

0

sin(2x) dx ≈ π

180

(7 · sin(0) + 32 · sin

4

)+ 12 · sin

2

))+

+ π

180

(32 · sin

(3π4

)+ 7 · sin(π)

)≈ 0,999285365911918.

Most lássuk mekkora hibát követtünk el ebben a feladatban, amikor ezeket a közelítéseket hasz-

náltuk!

|Hiba|

Érintoformula 0,570796326794897

Trapézformula 1

Simpson-formula 0,047197551196598

Milne-szabály 0,042637796212177

Simpson 38 -os szabálya 0,020262142381748

Boole-szabály 0,000714634088082

15

3. fejezet

Összetett kvadratúra formulák

Az elozo fejezetben tárgyalt Newton–Cotes-formulák közül csak a bemutatott 3 kvadratúra for-

mula használatos. Az alappontok számának növelésével ugyan növekszik a pontosság (lásd

2.8-as állítás), de egyre több helyen kell kiszámolnunk a pontos függvényértéket, mellyel nö-

vekszik a számábrázolási hiba nagysága. Emellett nyílt formulák esetén már n = 2-nél, zárt

formuláknál pedig n = 8-nál megjelennek negatív súlyok, melyek jelenléte a konvergencia

szemponjából lesz számunkra kedvezotlen. Sok alappont esetén ezen hibák kiküszöbölésére

használjuk az úgynevezett összetett kvadratúra formulákat. Ebben a fejezetben ezen formulák-

kal, hibabecsléseikkel valamint konvergenciájukkal foglalkozom.

3.1. Összetett formulák és hibabecsléseik

Egy f függvény határozott integráljáról tudjuk a következo összefüggést :b∫a

f(x) dx =m∑i=1

xi∫xi−1

f(x) dx,

ahol x0 = a és xm = b, azaz az f függvény [a, b] intervallumon vett integrálja megegyezik a

részintervallumokon számolt integrálok összegével. Ez adja számunkra az ötletet a közelítésre.

Az összetett formulák lényege tehát, hogy nem közvetlenül az f folytonos függvény [a, b] inter-

vallumán alkalmazzuk a közelítést, hanem ezen intervallum részintervallumain. Ehhez osszuk

fel az [a, b] intervallumot m egyenlo részre, majd ezekre használjuk a megismert képleteket.

Legyen tehát a = x0 < x1 < . . . < xm = b az osztópontok, valamint jelöljük l-lel a két

osztópont távolságát, azaz l = b−am

. Jelöljük a továbbiakban ezeket a formulákat Im,n(f)-el.

A következo definíció a konvergenciasebességrol szól, melyet a továbbiakban az összetett

szabályoknál vizsgálni fogunk.

3.1. Definíció. Az Im,n(f) kvadratúra formula r-ed rendben konvergens, ha |I(f)− Im,n(f)| == O(lr).

16

Ismerkedjünk meg most ezekkel az összetett formulákkal valamint hibabecsléseikkel, az-

az hogy legfeljebb mekkora hibát követünk el, amikor ezen képleteket használjuk az integrál

kiszámításánál!

3.1.1. Az összetett érintoszabály

Az összetett érintoszabály lényege, hogy az m azonos hosszúságú részintervallumon a megis-

mert egy alappontú nyílt Newton–Cotes-formulát alkalmazzuk, azaz

Im,0(f) = l · f(x0 + x1

2

)+ . . .+ l · f

(xm−1 + xm

2

)= l ·

m∑i=1

f(xi−1 + xi

2

).

Az egyszeruség kedvéért a továbbiakban használjuk a következo jelölést : xi−0,5 := xi−1 + xi2

minden i-re 1-tol m-ig.

3.1. ábra. Az összetett érintoszabály

A szabály pontossági rendje 2, hiszen az egyszeru érintoformula rendje is 2 volt. A kér-

dés azonban az, hogy ha az alappontokat egyre közelebb vesszük fel egymáshoz, akkor milyen

gyorsan tart a formula a pontos integrálértékhez. Az alábbi tétel tehát a konvergenciasebesség-

rol, valamint az összetett érintoszabály hibabecslésérol szól.

3.2. Tétel. Legyen f az [a, b] intervallumon kétszer folytonosan differenciálható függvény. Ek-

kor

I(f)− Im,0(f) = (b− a)l224 f ′′ (ξ) = O(l2), ahol ξ ∈ [a, b],

tehát az összetett érintoszabály másodrendben konvergens.

A tétel bizonyításához szükségünk lesz az integrálszámítás középértéktételére.

3.3. Tétel (Integrálszámítás középértéktétele). Legyen g egy állandó elojelu függvény. Ekkor

létezik olyan η ∈ R, hogyb∫a

f(x)g(x) dx = η

b∫a

g(x) dx.

Ha f folytonos is, akkor η = f(ξ), ahol ξ ∈ [a, b].

17

Most térjünk rá a tételünk bizonyítására!

Bizonyítás. ([4, 206. oldal] és [9] alapján.) A bizonyítást az (xi−1, xi) intervallumra hajtjuk vég-

re, majd ezt összegezzük. A bizonyítás alapötlete, hogy az f függvényt a Taylor-polinomjával

valamint annak Lagrange-féle maradéktagjával írom fel. Az i-edik intervallumon az összetett

érintoszabály hibája a következoképpen alakul :

emi :=xi∫

xi−1

f(x) dx− f(xi−0,5) (xi − xi−1) =xi∫

xi−1

(f(x)− f(xi−0,5)) dx.

Fejtsük most f -et elsorendu Taylor-sorba az xi−0,5 pont körül! Ekkor

f(x) = f(xi−0,5) + f ′(xi−0,5)(x− xi−0,5) + f ′′ (ξi(x))2! (x− xi−0,5)2,

ahol ξi(x) ∈ (xi−1, xi). Ezután a hibaképletünk a következoképpen alakul, ahol felhasználjuk,

hogy f ′(xi−0,5) egy konstans.

emi =xi∫

xi−1

f ′(xi−0,5)(x− xi−0,5) dx+ 12

xi∫xi−1

f ′′(ξi(x))(x− xi−0,5)2 dx=

= f ′(xi−0,5)xi∫

xi−1

(x− xi−0,5) dx

︸ ︷︷ ︸=0

+12

xi∫xi−1

f ′′(ξi(x))(x− xi−0,5)2 dx =

= 12

xi∫xi−1

f ′′(ξi(x))(x− xi−0,5)2 dx.

Mivel f ′′(ξi(x)) folytonos és (x − xi−0,5)2 állandó elojelu, ezért alkalmazhatjuk a 3.3-as tétel

második állítását. Ekkor a következot kapjuk:

emi = 12

xi∫xi−1

f ′′(ξi(x))(x− xi−0,5)2 dx = 12f′′(ξi)

xi∫xi−1

(x− xi−0,5)2 dx =

= 12f′′(ξi)

(13((xi − xi−0,5)3 − (xi−1 − xi−0,5)3

))= 1

6f′′(ξi)

(l3

8 + l3

8

)= 1

24f′′(ξi)l3.

A Bolzano-tétel szerint létezik olyan ξ ∈ [a, b], hogy f ′′(ξ) =

m∑i=1

f ′′(ξi)

m, mert f ′′ folytonos

függvény. Ezt a tételt felhasználva a teljes hiba a következoképpen alakul :

em =m∑i=1

emi =m∑i=1

124f

′′(ξi)l3 = m · l3

24 f ′′(ξ) = (b− a)l224 f ′′(ξ) = O(l2).

Tehát a formula másodrendben konvergens. Ezzel a tételünket beláttuk.

3.4. Megjegyzés. Mivel a ξ ∈ [a, b] értéket általában nem ismerjük, ezért a hibát csak becsülni

tudjuk a következoképpen:

|I(f)− Im,0(f)| ≤ M2(b− a)24 l2, ahol M2 = max

[a,b]|f ′′|.

18

3.1.2. Az összetett trapézszabály

Alkalmazzuk most az m intervallumunkra a zárt trapézformulát. Ekkor az összetett trapézsza-

bályunk a következoképpen néz ki :

Im,1(f) = l

2 (f(x0) + 2f(x1) + . . .+ 2f(xm−1) + f(xm)) =

= l

2

(f(a) + 2

m−1∑i=1

f(xi) + f(b)).

3.2. ábra. Az összetett trapézszabály

Vizsgáljuk meg most az összetett trapézszabály konvergenciarendjét! Errol szól a következo

tétel.

3.5. Tétel. Legyen f egy kétszer folytonosan differenciálható függvény az [a, b] intervallumon.

Ekkor igaz a következo :

|I(f)− Im,1(f)| ≤ M2(b− a)12 l2 = O(l2), ahol M2 = max

[a,b]|f ′′|.

Tehát az összetett trapézszabály is másodrendben konvergens.

Bizonyítás. ([9] alapján.) A bizonyítás során a Lagrange-interpoláció hibabecslését használjuk

fel az (xi−1, xi) intervallumon. Tudjuk, hogy az (xi−1, f(xi−1)), (xi, f(xi)) pontokra fektetett

L1f(x) Lagrange-féle interpolációs polinom hibája a következoképpen néz ki :

f(x)− L1f(x) = f ′′(ξ(x))2! (x− xi−1)(x− xi).

Ekkor az (xi−1, xi) intervallumon az összetett trapézszabály hibáját az alábbiak szerint számol-

hatjuk:

emi =xi∫

xi−1

f(x)− L1f(x) dx =xi∫

xi−1

f ′′(ξi(x))2 (x− xi−1)(x− xi) dx.

Becsüljük most ezt a hibát! Mivel az (x− xi−1)(x− xi) szorzat az adott intervallumon állandó

elojelu, ezért alkalmazható a 3.3-as tételünk.

19

|emi | =

∣∣∣∣∣∣∣xi∫

xi−1

f ′′(ξi(x))2 (x− xi−1)(x− xi) dx

∣∣∣∣∣∣∣ =

∣∣∣∣∣∣∣12f′′(ξi)

xi∫xi−1

(x− xi−1)(x− xi) dx

∣∣∣∣∣∣∣ ≤≤ M2

2

∣∣∣∣∣∣∣xi∫

xi−1

(x− xi−1)(x− xi) dx

∣∣∣∣∣∣∣ = M2

2

∣∣∣∣∣∣∣xi∫

xi−1

(x2 − x(xi−1 + xi) + xi−1xi) dx

∣∣∣∣∣∣∣ =

= M2

2

∣∣∣∣∣(x3i − x3

i−13 −

(xi−1 + xi)(x2i − x2

i−1)2 + xi−1xi (xi − xi−1)

)∣∣∣∣∣ =

= M2

2

∣∣∣∣∣ l6(−x2i−1 + 2xi−1xi − x2

i )∣∣∣∣∣ = M2

2

∣∣∣∣∣− l36∣∣∣∣∣ = M2

12 l3, ahol M2 = max

[a,b]|f ′′|.

Összegezve az [a, b] intervallumra kapjuk a hibabecslésünket :

|em| =m∑i=1|emi | ≤ m

M2

12 l3 = M2(b− a)

12 l2.

Tehát az összetett trapézszabály is másodrendu módszer. Ezzel a tételt beláttuk.

3.6. Megjegyzés. Látható tehát, hogy mind az összetett érintoszabály, mind pedig az összetett

trapézszabály másodrendben konvergens, de az összetett érintoszabály a pontosabb módszer.

3.7. Megjegyzés. ([6, 128. oldal] alapján.) Lagrange-interpoláció helyett más interpolációval is

közelíthetjük az integrálandó függvényt. Ha az Hermite-féle interpolációt (azaz a 2 alappont-

beli derivált értékét is figyelembe vesszük) alkalmazzuk a(z összetett) trapézformula kiszámí-

tásánál, akkor bebizonyítható, hogy a kapott módszerünk negyedrendu lesz, és így sokkal gyor-

sabban fog a pontos integrálértékhez konvergálni, mint a(z összetett) érintoszabály. Ezt a mód-

szert nevezzük korrigált (összetett) trapézformulának.

A korrigált trapézformula tehát a következoképpen néz ki :

I(f) ≈ I∗1 (f) = h

2 (f(a) + f(b))− h2

12 (f ′(b)− f ′(a)) = I1(f)− h2

12 (f ′(b)− f ′(a)) .

Ebbol adódik, hogy a korrigált összetett trapézszabály pedig a következo alakú:

I(f) ≈ I∗m,1(f) = l

2

(f(a) + 2

m−1∑i=1

f(xi) + f(b))− l2

12 (f ′(b)− f ′(a)) =

= Im,1(f)− l2

12 (f ′(b)− f ′(a)) .

A korrigált (összetett) trapézszabály hibája egy f négyszer folytonosan differenciálható függ-

vény esetén pedig az alábbiak szerint alakul : létezik olyan ξ ∈ [a, b], hogy

I(f)− I∗m,1(f) = (b− a)l4720 f (4)(ξ).

20

3.1.3. Az összetett Simpson-szabály

Lássuk most, hogy néz ki a Simpson-formula összetett alakja! Az összetett Simpson-szabály

Im,2(f) = l

6 [f(x0) + 2 (f(x1) + . . .+ f(xm−1)) + 4 (f(x0,5) + . . .+ f(xm−0,5)) + f(xm)] =

= l

6

m∑i=1

(f(xi−1) + 4f(xi−0,5) + f(xi))

alakban írható fel.

3.3. ábra. Az összetett Simpson-szabály

A 3.3-as ábrán is jól látszik, hogy az összetett Simpson-szabály már szinte látható hiba nél-

kül közelíti a pontos integrál értékét. Vizsgáljuk meg, hogy pontosan mekkora is a legnagyobb

hiba, amit elkövethetünk, ha ezt a szabályt alkalmazzuk!

3.8. Tétel. Legyen f egy az [a, b]-n négyszer folytonosan differenciálható függvény. Ekkor az

összetett Simpson-szabály hibabecslése a következo :

|I(f)− Im,2(f)| ≤ M4(b− a)2880 l4 = O(l4), ahol M4 = max

[a,b]|f (4)|,

azaz a módszer negyedrendben konvergens.

Bizonyítás. ([5, 195. oldal] és [9] alapján.) A bizonyítás során ismét a Lagrange-interpoláció

hibabecslését használjuk fel, de szükségünk lesz egy plusz ötletre. A három alappontra épülo

Lagrange-polinom hibája a következo :

f(x)− L2(x) = f (3)(ξ(x))6 (x− xi−1)(x− xi−0,5)(x− xi).

A kérdés tehát az, hogy ennek a hibafüggvénynek mekkora az integráljának az abszolútértéke

az (xi−1, xi) intervallumon, azaz∣∣∣∣∣∣∣xi∫

xi−1

f (3)(ξi(x))6 (x− xi−1)(x− xi−0,5)(x− xi) dx

∣∣∣∣∣∣∣ =?

21

Az eddigi bizonyítások során fel tudtuk használni a 3.3-as integrálszámítás középértéktételét, itt

azonban az (x− xi−1)(x− xi−0,5)(x− xi) szorzat nem lesz állandó elojelu. Ezért a következo

ötletet alkalmazzuk: legyen p3 ∈ P3, azaz egy legfeljebb harmadfokú polinom a következo

alakban:

p3(x) = L2(x) +K · (x− xi−1)(x− xi−0,5)(x− xi),

ahol K egy egyelore ismeretlen állandó. Vegyük észre, hogy p3(xi−1) = L2(xi−1) = f(xi−1),p3(xi−0,5) = L2(xi−0,5) = f(xi−0,5) és p3(xi) = L2(xi) = f(xi). Válasszuk meg most a K

konstanst úgy, hogy p′3(xi−0,5) = f ′(xi−0.5), ez nyilvánvalóan mindig megteheto. Ekkor tehát

a p3(x) polinom megegyezik a 3 alappontra épülo Hermite-féle polinommal, mely tartalmazza

még az xi−0,5 helyen vett deriváltat is. Az Hermite-polinomok hibabecslésébol következik, hogy

f(x)− p3(x) = f (4)(ξ(x))4! (x− xi−1)(x− xi−0,5)2(x− xi), tehát

xi∫xi−1

f(x) dx =xi∫

xi−1

p3(x) dx+xi∫

xi−1

f (4)(ξi(x))4! (x− xi−1)(x− xi−0,5)2(x− xi) dx =

=xi∫

xi−1

L2(x) dx+xi∫

xi−1

K · (x− xi−1)(x− xi−0,5)(x− xi) dx+

+xi∫

xi−1

f (4)(ξi(x))4! (x− xi−1)(x− xi−0,5)2(x− xi) dx.

Vegyük észre, hogy azxi∫

xi−1L2(x) dx épp a Simpson-szabály képletét adja. Ebbol átrendezéssel

kapjuk az

emi = K

xi∫xi−1

(x− xi−1)(x− xi−0,5)(x− xi) dx+

+xi∫

xi−1

f (4)(ξi(x))4! (x− xi−1)(x− xi−0,5)2(x− xi) dx

hibát. Vizsgáljuk tagonként ezt a hibafüggvényt!

xi∫xi−1

(x− xi−1)(x− xi−0,5)(x− xi) dx =t:=x−xi−0,5

l2∫

− l2

(t+ l

2

)· t ·

(t− l

2

)︸ ︷︷ ︸

páratlan függvény

dt = 0.

Ebbol adódik, hogy a hibafüggvényünk a következo alakú:

emi =xi∫

xi−1

f (4)(ξi(x))4! (x− xi−1)(x− xi−0,5)2(x− xi) dx.

22

Itt az (x− xi−1)(x− xi−0,5)2(x− xi) szorzat már állandó elojelu, így most már alkalmazhatjuk

a 3.3-as tételt, tehát

emi = f (4)(ξi)4!

xi∫xi−1

(x− xi−1)(x− xi−0,5)2(x− xi) dx.

A hibabecslésünk ezek alapján a következoképpen számolható:

|emi | ≤M4

4!

∣∣∣∣∣∣∣xi∫

xi−1

(x− xi−1)(x− xi−0,5)2(x− xi) dx

∣∣∣∣∣∣∣ =

= M4

4!

∣∣∣∣∣∣∣xi∫

xi−1

((x− xi−0,5) + l

2

)((x− xi−0,5)−

l

2

)(x− xi−0,5

)2

dx

∣∣∣∣∣∣∣ =

= M4

4!

∣∣∣∣∣∣∣xi∫

xi−1

((x− xi−0,5)2 − l2

4

)(x− xi−0,5

)2

dx

∣∣∣∣∣∣∣ =

= M4

4!

∣∣∣∣∣∣∣xi∫

xi−1

(x− xi−0,5)4 dx− l2

4

xi∫xi−1

(x− xi−0,5)2 dx

∣∣∣∣∣∣∣ =

= M4

4!

∣∣∣∣∣15(l5

25 + l5

25

)− l2

12

(l3

23 + l3

23

)∣∣∣∣∣ = M4

4!

∣∣∣∣∣− l5

15 · 23

∣∣∣∣∣ = M4

2880 l5,

ahol M4 = max[a,b]|f (4)|. Ezek alapján a teljes hiba az [a, b] intervallumon az alábbiak szerint

számolható:

|em| ≤m∑i=1|emi | = ml5

M4

2880 = M4(b− a)2880 l4 = O(l4),

azaz a formula negyedrendben konvergens. Ezzel a tételt igazoltuk.

Nézzünk most néhány feladatot, ahol ezeket az összetett szabályokat alkalmazzuk!

3.2. Példák

3.9. Példa. Alkalmazzuk az 5 részre osztott összetett érinto-, trapéz-, korrigált trapéz- és Simp-

son-szabályt a következo integrál kiszámítására, majd határozzuk meg az elkövetett hiba nagy-

ságát! Mekkora ez a hiba, ha a 10 részre osztott összetett szabályokat alkalmazzuk? Mit tapasz-

talunk a két hiba arányából?

I(f) =1∫

0

11 + x2 dx.

Megoldás:

A pontos megoldás:

I(f) =1∫

0

11 + x2 dx = [arc tg(x)]10 = π

4 ≈ 0,785398163397448.

23

A közelítések a következok lesznek:

1. Az összetett érintoszabály

I5,0(f) = 15

(f( 1

10

)+ f

( 310

)+ f

( 510

)+ f

( 710

)+ f

( 910

))≈

≈ 0,786231466000832.

2. Az összetett trapézszabály

I5,1(f) = 110

(f (0) + 2

(f(1

5

)+ f

(25

)+ f

(35

)+ f

(45

))+ f (1)

)≈

≈ 0,783731528452748.

3. A korrigált összetett trapézszabály

I∗5,1(f) = I5,1(f)− l2

12 (f ′(1)− f ′(0)) .

Itt szükségünk van a függvény deriváltjára, mely a következoképpen néz ki :( 11 + x2

)′= − 2x

(1 + x2)2 .

A közelítés tehát az alábbiak szerint alakul :

I∗5,1(f) = 0,783731528452748− 125 · 12

(−1

2 − 0)≈ 0,785398195119414.

4. Az összetett Simpson-szabály

I5,2(f) = 130

(f (0) + 2

(f(1

5

)+ f

(25

)+ f

(35

)+ f

(45

)))+

+ 130

(4(f( 1

10

)+ f

( 310

)+ f

( 510

)+ f

( 710

)+ f

( 910

))+ f (1)

)≈

≈ 0,785398153484804.

A következo táblázat mutatja az elkövetett hiba nagyságát, valamint a hiba csökkenésének ará-

nyát, azaz hogy hányad részére csökkent a hiba, ha a részintervallumok számát megdupláztuk.

m = 5 esetén m = 10 esetén Arány (kb.)

Összetett érintoszabály 0,000833302603384 0,00020833285283 122

Összetett trapézszabály 0,001666634944701 0,00041666617066 122

Korrigált összetett trapézszabály 0,000000031721966 0,00000000049601 126

Összetett Simpson-szabály 0,000000009912644 0,00000000015500 126

24

3.10. Példa. Alkalmazzuk az érinto-, trapéz-, korrigált trapéz-, és Simpson-formulát, valamint

ezek 4 részre osztott összetett szabályait a következo periódikus függvény fél periódusán vett

integráljának kiszámításához! Mekkora a hiba nagysága? Hogyan változik a hiba, ha 4 helyett

8 részre osztjuk az intervallumot?

I(f) =1∫

0

sin(πx) dx.

Megoldás:

A pontos megoldás a következo :

I(f) =1∫

0

sin(πx) dx =[−cos(πx)

π

]1

0= −cos(π)

π+ cos(0)

π= 1π

+ 1π≈ 0,636619772367581.

A közelítések:

1. Érintoformula

I0(f) = sin(π

2

)= 1.

2. Trapézformula

I1(f) = 12 (sin(0) + sin(π)) = 0.

3. Korrigált trapézformula

I∗1 (f) = I1(f)− 112 (π cos(π)− π cos(0)) ≈ 0,523598775598299.

4. Simpson-formula

I2(f) = 16

(sin(0) + 4 sin

2

)+ sin(π)

)≈ 0,666666666666667.

5. Összetett érintoszabály

I4,0(f) = 14

(sin

8

)+ sin

(3π8

)+ sin

(5π8

)+ sin

(7π8

))≈ 0,653281482438188.

6. Összetett trapézszabály

I4,1(f) = 18

(sin(0) + 2

(sin

4

)+ sin(π2 ) + sin

(3π4

))+ sin(π)

)≈

≈ 0,603553390593274.

7. Korrigált összetett trapézszabály

I∗4,1(f) = I4,1(f)− 1192 (π cos(π)− π cos(0)) ≈ 0,636278314068167.

25

8. Összetett Simpson-szabály

I4,2(f) = 124

(sin(0) + 2

(sin

4

)+ sin(π2 ) + sin

(3π4

)))+

+ 124

(4(

sin(π

8

)+ sin

(3π8

)+ sin

(5π8

)+ sin

(7π8

))+ sin(π)

)≈

≈ 0,636705451823217.

A következo táblázat mutatja, hogy mekkora hibát követtünk el, amikor a Newton–Cotes-

formulákat illetve a 4 részre osztott összetett formulákat alkalmaztuk, valamint amikor ezen

összetett szabályok 8 részre osztott változatát használtuk. Tartalmazza a táblázat továbbá azt is,

hogy milyen arányban csökkent a hiba, amikor 4 helyett 8 részre osztottuk az intervallumot,

melybol látszik módszereink konvergencia rendje.

|Hiba| m = 8 esetén Arány (kb.)

Érintoformula 0,363380227632419

Trapézformula 0,636619772367581

Korrigált trapézformula 0,113020996769282

Simpson-formula 0,030046894299085

Összetett érintoszabály 0,016661710070607 0,00410908956779 122

Összetett trapézszabály 0,033066381774308 0,00820233585185 122

Korrigált összetett trapézszabály 0,000341458299414 0,00002110498313 124

Összetett Simpson-szabály 0,000085679455635 0,00000528109458 124

3.11. Példa. Határozzuk meg legalább hány osztópont szükséges az összetett érinto-, trapéz-,

korrigált trapéz-, és Simpson-szabályt alkalmazva, hogy a következo integrál becslésének hibája

10−3-nál kisebb legyen:2∫

0

1(1 + x)2 dx.

1. Összetett érintoszabállyal

|I(f)− Im,0(f)| ≤ M2(b− a)3

24 ·m2 < 0,001

3! · 23

24 ·m2 < 0,0012

0,001 < m2

⇒44,721359549995796 < m⇒ 45 ≤ m.

26

2. Összetett trapézszabállyal

|I(f)− Im,1(f)| ≤ M2(b− a)3

12 ·m2 < 0,001

3! · 23

12 ·m2 < 0,0014

0,001 < m2

⇒63,245553203367585 < m⇒ 64 ≤ m.

3. Korrigált összetett trapézszabállyal

|I(f)− I∗m,1(f)| ≤ M4(b− a)5

720 ·m4 < 0,001

5! · 25

720 ·m4 < 0,001240

45 · 0,001 < m4

⇒8,545740127924681 < m⇒ 9 ≤ m.

4. Összetett Simpson-szabállyal

|I(f)− Im,2(f)| ≤ M4(b− a)5

2880 ·m4 < 0,001

5! · 25

2880 ·m4 < 0,001120

90 · 0,001 < m4

⇒6,042750794713537 < m⇒ 7 ≤ m.

Ugyanahhoz a feladathoz tehát a kívánt pontosság eléréséhez az összetett Simpson-szabály és

a korrigált összetett trapézszabály jóval kevesebb osztópontot használ fel, mint az összetett

érinto-, és trapézszabály, így lényegesen kevesebb számolást igényel, mellyel csökken a hibá-

zási lehetoség.

3.3. Konvergencia

A fejezet végén ejtsünk néhány szót a konvergenciáról! Láthattuk, hogy ha teljesülnek bizonyos

feltételek (például a többszöri folytonos differenciálhatóság), akkor az eljárásaink a meghatáro-

zott rendben konvergensek. Felmerül azonban a kérdés, hogy mi van akkor, ha a függvényeink

csak folytonosak, de nem feltétlenül differenciálhatóak folytonosan a megadott rendig. Errol

szól a következo két tétel.

27

3.12. Tétel (Pólya). ([3, 330. oldal] alapján.) Legyen az In formula pontos minden p ∈ Pn-re,

azaz teljesüljön, hogy In(p) = I(p), valamint létezzen olyan K = const, hogyn∑i=0|c(n)i | ≤ K

minden n ∈ N esetén. Ekkor az In(f) kvadratúra képlet minden f folytonos függvény esetén

konvergálni fog a pontos integrál értékhez.

3.13. Tétel (Sztyeklov). ([3, 330. oldal] alapján.) Ha az összes c(n)i súly nemnegatív, és a kvad-

ratúra képletünkre teljesül, hogy In(p) = I(p) minden p ∈ Pn-re, akkor az In képlet konvergál

minden folytonos függvényre.

Bizonyítás. A Sztyeklov-tétel a Pólya-tételbol következik, hiszen ha minden ci súly nemnega-

tív, akkor igaz a következo :

n∑i=0|cni | =

n∑i=0

cni = b− a = K,

így teljesül a Pólya-tétel, és ezzel a tételünket beláttuk.

Ezek a tételek nyilván érvényesek az összetett formulákra is. Mint az elozo fejezet végén

már láthattuk, a Newton–Cotes-formuláknál, és a belolük képzett összetett formuláknál bizo-

nyos alappontszám esetén megjelennek negatív súlyok is, mellyel sérül a Sztyeklov-tétel, így a

módszereinkre nem minden esetben fog teljesülni a konvergencia minden folytonos függvény

esetén.

Szeretnénk tehát olyan módszert létrehozni, ahol teljesülnek ezek a tételek, így minden foly-

tonos függvényre konvergálni fog a közelítés a pontos integrálértékhez. Ilyen módszerek közé

tartozik a Gauss-kvadratúra, melynek súlyai bizonyíthatóan mindig nemnegatívak lesznek. Ez-

zel foglalkozunk a következo fejezetben.

28

4. fejezet

Gauss-kvadratúrák

Az eddigiekben olyan formulákkal foglalkoztunk, ahol adott alappontbeli függvényértékek sú-

lyozásának összegzésével közelítettük az integrált. Felmerül azonban a kérdés, hogy mi van ak-

kor, ha tetszoleges pontban ki tudjuk számolni a függvényértékeket. Ebben a fejezetben olyan

kvadratúrákat vizsgálunk, ahol az alappontok és a súlyok alkalmas megválasztásával a maximá-

lis pontosságot tudjuk elérni. Az ilyen közelítéseket hívjuk Gauss-kvadratúráknak. De mekkora

is ez a maximális pontosság?

Legyen x0, x1, . . . , xn az alappontok. Nyilvánvaló, hogy a maximális m + 1-edrendu pon-

tosság eléréséhez kvadratúránknak teljesítenie kell a következo összefüggést :

b∫a

xk dx =n∑i=0

cixki (4.1)

minden k-ra 0-tól m-ig. Ekkor tehát a c0, c1, . . . , cn, x0, x1, . . . , xn 2n + 2 darab ismeretlenre

(4.1) egy m + 1 egyenletbol álló nem lineáris egyenletrendszert jelent. Ennek pontosan akkor

van egyértelmu megoldása, ha m + 1 = 2n + 2, azaz a maximális pontosság 2n + 2, így a

kvadratúra pontos lesz minden legfeljebb 2n+1-ed fokú polinomra. A kérdés azonban az, hogy

hogyan válasszuk meg az alappontokat és a súlyokat, hogy elérjük ezt a kívánt pontosságot.

Ebben a fejezetben nem f integrálásával foglalkozunk, hanem egy kicsit általánosabban az-

zal az esettel, amikor egy súlyfüggvénnyel szorozzuk f -et. Tehát a feladatunk most a következo :

legyen

I(f, w)(x) =b∫a

w(x)f(x) dx,

ahol w : (a, b)→ R valamilyen folytonos, pozitív súlyfüggvény, melynek létezik [a, b]-n integ-

rálja. Közelítsük tehát most ezt az integrált ! Hasonlóan az eddigiekhez, a közelítés a követke-

zoképpen fog kinézni :

In(f, w)(x) =n∑i=0

cif(xi),

29

ahol most a ci együtthatóink a súlyfüggvénnyel való szorzás miatt az alábbiak szerint alakulnak:

ci =b∫a

w(x)li(x) dx,

ahol li(x) továbbra is az i-edik Lagrange-féle alappolinom. A következo állítások választ adnak

arra a kérdésre, hogy hogyan kaphatók meg a keresett alappontjaink és súlyaink.

4.1. Állítás. ([5, 201. oldal] alapján.) Legyen x0, . . . , xn a Gauss-kvadratúra alappontjai. Ekkor

minden q ∈ Pn polinom és qn+1(x) = (x− x0) · · · (x− xn) esetén igaz, hogy

b∫a

w(x)qn+1(x)q(x) dx = 0. (4.2)

Bizonyítás. ([5, 201. oldal] alapján.) Tudjuk, hogy qn+1 ∈ Pn+1 és q ∈ Pn, ezért igaz, hogy

qn+1q ∈ P2n+1, valamint qn+1(xi) = 0. Mivel a Gauss-kvadratúra pontos minden legfeljebb

2n+ 1-ed fokú polinomra, így qn+1q-ra is pontos lesz, így a következo összefüggést kapjuk:

b∫a

w(x)qn+1(x)q(x) dx =n∑i=0

ciqn+1(xi)q(xi) = 0.

4.2. Állítás. ([5, 201. oldal] alapján.) Legyen x0, . . . , xn olyan alappontok, melyek kielégítik

a (4.2)-es egyenletünket. Ekkor a megfelelo polinom interpolációs kvadratúra csak a Gauss-

kvadratúra lehet.

4.3. Állítás. ([5, 202. oldal] alapján.) Létezik polinomoknak egy olyan egyértelmu (qn) sorozata,

hogy q0 = 1 és

qn(x) = xn + rn−1(x), (n = 1, 2, . . . ),

ahol rn−1 ∈ Pn−1, mely kielégíti a következo ortogonalitási relációt:

b∫a

w(x)qn(x)qm(x) dx = 0, n 6= m,

és Pn a q0, q1, . . . , qn (n = 0, 1, . . . ) polinomok által kifeszített altér.

4.4. Állítás. ([5, 202. oldal] alapján.) A 4.3-as állításban szereplo minden qn ortogonális po-

linomnak pontosan n darab gyöke van, melyek mindegyike egyszeres és mindegyik az (a, b)intervallumban van.

4.5. Tétel. ([5, 202. oldal] alapján.) Minden n + 1 = 1, 2, . . . -ra létezik egyértelmu Gauss-

kvadratúra, melynek n + 1 alappontját a qn+1 ortogonális polinom (a, b) intervallumban lévo

gyökei alkotják.

30

4.6. Tétel. ([5, 203. oldal] alapján.) A Gauss-kvadratúra súlyai mindig pozitívak, így a formula

konvergens lesz minden folytonos függvényre.

A w súlyfüggvénytol függoen azonban változik a megfelelo ortogonális polinom is. Ezek

alapján hívjuk a képletet Gauss–Csebisev illetve Gauss–Legendre-kvadratúrának. Természete-

sen más Gauss-kvadratúrák is léteznek, ezek közé tartozik például a Laguerre- és az Hermite-

kvadratúra, de szakdolgozatomban csak a két korábbival foglalkozom részletesen. Mielott ezek

tárgyalásába belekezdünk, határozzuk meg a Gauss-kvadratúrák hibáját!

4.7. Tétel. ([5, 203. oldal] alapján.) Legyen f egy, az [a, b] intervallumon 2n + 2-szer folyto-

nosan differenciálható függvény. Ekkor az n + 1 alappontra épülo Gauss-kvadratúra hibája a

következoképpen alakul: létezik olyan ξ ∈ [a, b], hogy

I(f, w)(x)− In(f, w)(x) = f (2n+2)(ξ)(2n+ 2)!

b∫a

w(x)(qn+1(x))2 dx.

Térjünk rá most a Gauss–Csebisev és a Gauss–Legendre-kvadratúrák vizsgálatára! Az egy-

szeruség kedvéért a továbbiakban az n alappontra épülo Gauss-kvadratúrákat mutatom be, ahol

ez az n alappont : x1, x2, . . . , xn.

4.1. Gauss–Csebisev-kvadratúra

Az elso eset, amivel foglalkozunk az, amikor a súlyfüggvényünk

w(x) = 1√1− x2

alakú, melybol következik, hogy x ∈ [−1,1]. Bebizonyítható, hogy e súlyfüggvény esetén a

meroleges polinomrendszer a Csebisev-féle polinom, mely a következo alakban írható fel :

Tn(x) = cos(n arccos(x)), ahol x ∈ [−1,1].

Látható, hogy T0(x) = 1 és T1(x) = x. A koszinusz függvény addíciós képletét felhasználva,

mely szerint cos((n+1)t)+cos((n−1)t) = 2 cos(t) cos(nt), könnyen látható, hogy a Csebisev-

polinom rekurziós képlete az alábbiak szerint alakul minden n = 1, 2, . . . esetén:

Tn+1(x) + Tn−1(x) = 2xTn(x).

Ezek alapján Tn egy n-edfokú polinom, mely felírható a következo alakban:

Tn(x) = 2n−1xn + . . . , ahol n = 1, 2, . . . .

31

Vizsgáljuk meg, hogy teljesül-e erre a polinomra a 4.3-as állításban szereplo ortogonalitási fel-

tétel ! Helyettesítsünk x helyére cos(t)-t ! Ekkor a következot kapjuk:

1∫−1

Tn(x)Tm(x)√1− x2

dx =π∫

0

cos(nt) cos(mt) dt =

π , ha n = m = 0π2 , ha n = m > 0

0 , ha n 6= m.

Mivel n 6= m esetén ennek a kifejezésnek az integrálja 0 lesz, ezért teljesül rá az ortogonalitási

reláció, így a 4.3-as állításban szereplo qn felírható lesz 21−nTn alakban.

Kvadratúránkhoz szükség lesz a Csebisev-polinom gyökeire, melyek a következok lesznek:

xi = cos(2i− 1

2n π)

, i = 1, 2, . . . , n.

Ebbol tehát megkaptuk a Gauss–Csebisev-kvadratúránk alappontjait, most már csak a súlyokra

vagyunk kiváncsiak, melyek az alábbiak szerint számolandók:

n∑i=1

ci cos(

(2i− 1)m2n π

)=

π , ha m = 0

0 , ha m = 1, . . . , n− 1,

melyet a kvadratúra pontossági feltételébol kaptunk. Ebbol kapjuk, hogy a ci együtthatóink ci == π

nalakban írhatók fel, minden i-re 1-tol n-ig.

Mindezek alapján az n alappontra épülo Gauss–Csebisev-kvadratúra a következo alakban írható

fel, ha n = 1, 2, . . . :

1∫−1

f(x)√1− x2

dx ≈ π

n·n∑i=1

f(

cos(2i− 1

2n π))

, (4.3)

melynek hibája egy 2n-szer folytonosan differenciálható függvény esetén: létetik ξ ∈ [−1,1],hogy

1∫−1

f(x)√1− x2

dx− π

n·n∑i=1

f(

cos(2i− 1

2n π))

= πf (2n)(ξ)22n−1(2n)! .

4.2. Gauss–Legendre-kvadratúra

A következo Gauss-kvadratúra vizsgálatához válasszuk a w súlyfüggvényünket az azonosan 1

függvénynek a [−1,1] intervallumon. E súlyfüggvény esetén a megfelelo meroleges polinomo-

kat Legendre-polinomoknak nevezzük, melyek

Ln(x) = 12nn!

dn

dxn(x2 − 1)n (4.4)

32

alakban írhatók fel. Vegyük észre, hogy Ln(x) egy n-ed fokú polinom, valamint hogy m < n

esetén többszöri parciális integrálással és annak felhasználásával, hogy (x2 − 1)n-nek a -1-ben

és az 1-ben n-szeres gyöke van megkapható az, hogy1∫−1

xmdn

dxn(x2 − 1)n dx = 0.

Ebbol következik, hogy teljesül erre a polinomra is az ortogonalitási feltétel, azaz1∫−1

Ln(x)Lm(x) dx = 0, ha n 6= m.

A Csebisev-polinomokkal ellentétben azonban a Legendre-polinomok gyökei nem adhatók meg

explicit alakban, így csak bizonyos eseteket tudunk vizsgálni. A (4.4)-es képletbol következik,

hogy L0(x) = 1, L1(x) = x és L2(x) = x2 − 13 . Tekintsük az n = 1 illetve az n = 2 esetet, és

vizsgáljuk meg, hogy néznek ki ezek a formulák!

– n = 1Tekintsük az [a, b] = [−1,1] intervallumot! Egy alappont esetén a maximális elérheto

pontosság 2n = 2 lesz, így a formula pontos lesz minden legfeljebb elsofokú polinomra.

A kérdés már csak az, hogy hol legyen ez az egy alappont és milyen súllyal szorozzuk a

formulánkban. Az elso Gauss–Legendre-kvadratúra alappontjait és súlyait megkaphatjuk

a pontossági feltételbol, mely a következoképpen néz ki :1∫−1

xk dx =1∑i=1

cixki = c1x

k1, k = 0, 1 esetén. (4.5)

k = 0 esetén a következo egyenletbol megkapjuk a keresett súlyunkat :1∫−1

dx = c1 ⇔ c1 = 2.

k = 1-re az alábbi egyenlet adódik, melybol a keresett alappont határozható meg:1∫−1

x dx = c1x1 ⇔ x1 = 0.

Tehát az elso Gauss–Legendre-kvadratúra a következoképpen néz ki :1∫−1

f(x) dx ≈ c1x1 = 2 · f(0), (4.6)

azaz a formula megegyezik a 2.1.1-es alfejezetben definiált középponti-formulával. A

hibafüggvény egy kétszer folytonosan differenciálható f esetén pedig: létezik olyan ξ ∈∈ [−1,1], hogy

1∫−1

f(x) dx− 2f(0) = 13f′′(ξ).

33

– n = 2Két alappont esetén a maximális pontosság 2n = 4, így a második Gauss–Legendre-

kvadratúra pontosan fog integrálni minden legfeljebb harmadfokú polinom esetén. A kér-

dés tehát az, hogy mik legyenek az alappontjaink és a súlyaink. Ezeket ismét a (4.5)-ös

pontossági feltételünkbol számoljuk ki k = 0, 1, 2, 3 esetén.

k = 0-ra a következo egyenletet kapjuk:

1∫−1

dx = c1 + c2 ⇔ c1 + c2 = 2.

k = 1 esetén az alábbi összefüggésre jutunk:

1∫−1

x dx = c1x1 + c2x2 ⇔ c1x1 + c2x2 = 0.

k = 2-re a következo egyenlet adódik:

1∫−1

x2 dx = c1x2 + c2x

2 ⇔ c1x21 + c2x

22 = 2

3 .

k = 3 esetén megkapjuk az utolsó egyenletünket is :

1∫−1

x3 dx = c1x31 + c2x

32 ⇔ c1x

31 + c2x

32 = 0.

Ez tehát egy 4 egyenletbol álló, 4 ismeretlenes nem lináris egyenletrendszert jelent. Ennek

egyértelmu megoldása adja a keresett alappontjainkat és súlyainkat, melyek a következok

lesznek: x1 = −√

33 , x2 =

√3

3 , súlyaink pedig: c1 = c2 = 1. A kvadratúra alappontjait

egyébként az L2(x) = x2−13 polinom gyökeibol is meghatározhattuk volna. Ezek alapján

tehát a második Gauss–Legendre-kvadratúra a következoképpen néz ki :

1∫−1

f(x) dx ≈ f

(−√

33

)+ f

(√3

3

), (4.7)

melynek hibája egy négyszer folytonosan differenciálható f függvény esetén: létezik

olyan ξ ∈ [−1,1], melyre

1∫−1

f(x) dx−(f

(−√

33

)+ f

(√3

3

))= 1

135f(4)(ξ).

Bár mind a Gauss–Csebisev-, mind pedig a Gauss–Legendre-formuláinkat a [−1,1] interval-

lumon definiáltuk, egy koordinátatranszformációval tetszoleges [a, b] intervallumra átvihetjük

34

oket. Ha w(x) ≡ 1, azaz ha a Gauss–Legendre-kvadratúrát alkalmazzuk, akkor a korábban

meghatározott súlyok és alappontok felhasználásával egy tetszoleges [a, b] intervallumon a for-

mula a következoképpen számolható:b∫a

f(x) dx ≈ b− a2

n∑i=1

cif

(a+ b

2 + b− a2 xi

).

Hasonlóképpen átviheto az [a, b] intervallumra a kvadratúra abban az esetben is, amikor a súly-

függvényünk nem az azonosan 1 függvény. Tekintsük azb∫ag(z) dz integrált, és helyettesítsük z

helyébe a következot : z := a+b2 + b−a

2 x. Ezzel a transzformációval a függvényünket áttransz-

formáltuk a [−1,1] intervallumra, melyen már értelmezve van a Gauss–Csebisev-kvadratúra is.

Ezek után a következoképpen számolhatunk:b∫a

g(z) dz =x:= 2z−(a+b)

b−a

1∫−1

b− a2 ·

g(a+b

2 + b−a2 x

)w(x)︸ ︷︷ ︸

f(x)

·w(x)︸ ︷︷ ︸w(x)

dx ≈ π

n·n∑i=1

f(

cos(2i− 1

2n π))

.

Nézzünk most néhány feladatot, ahol a Gauss-kvadratúrákat alkalmazzuk!

4.3. Példák

4.8. Példa. Alkalmazzuk a 3 alappontra épülo Gauss–Csebisev-formulát valamint a 2 alappont-

ra támaszkodó Gauss–Legendre-formulát a következo integrál kiszámításához, majd határozzuk

meg az elkövetett hiba nagyságát :1∫

0

11 + x2 dx!

Megoldás:

A pontos megoldás:1∫

0

11 + x2 dx = [arc tg(x)]10 = π

4 ≈ 0,785398163397448.

Most lássuk a Gauss-kvadratúrákat :

1. A 3 alappontra épülo Gauss–Csebisev-kvadratúra1∫

0

11 + z2 dz =

x:=2z−1

1∫−1

11 + (x+1

2 )2 ·12 dx =

1∫−1

√1− x2

2(

1 +(

1+x2

)2)

︸ ︷︷ ︸f(x)

· 1√1− x2︸ ︷︷ ︸w(x)

dx ≈

≈ π

3

3∑i=1

f(

cos(2i− 1

2 · 3 π))

= π

3

(f

(√3

2

)+ f(0) + f

(−√

32

))≈

≈ 0,819470183514344.

35

2. A 2 alappontra épülo Gauss–Legendre-kvadratúra

1∫0

11 + x2 dx ≈ 1

2

2∑i=1

cif(1

2 + 12xi

)=

= 12

(f

(12 −√

36

)+ f

(12 +√

36

))≈ 0,786885245901639.

Lássuk az elkövetett hiba nagyságát!

|Hiba|

A 3 alappontra épülo Gauss–Csebisev-kvadratúra 0,034072020116896

A 2 alappontra épülo Gauss–Legendre-kvadratúra 0,001487082504191

4.9. Példa. Alkalmazzuk az egy, ketto illetve három alappontra épülo Gauss–Csebisev-, és az

egy illetve két pontra illeszkedo Legendre-kvadratúrákat, majd határozzuk meg az elkövetett

hiba nagyságát a következo integrál kiszámításánál :

1∫0

1(1 + x)2 dx!

Megoldás:

A pontos megoldás:1∫

0

1(1 + x)2 dx =

[− 1

1 + x

]1

0= 1

2 .

A közelítések a következok lesznek:

1. Egy alappont esetén

– Gauss–Csebisev-kvadratúra

1∫0

1(1 + z)2 dz =

x:=2z−1

1∫−1

1(1 + x+1

2 )2 ·12 dx =

1∫−1

√1− x2

2(1 + x+1

2

)2

︸ ︷︷ ︸f(x)

· 1√1− x2︸ ︷︷ ︸w(x)

dx ≈

≈ π1∑i=1

f(

cos(2i− 1

2 π))

= π · f(0) ≈ 0,698131700797732.

– Gauss–Legendre-kvadratúra

1∫0

1(1 + x)2 dx ≈ 1

2

1∑i=1

cif(1

2 + 12xi

)= f

(12

)≈ 0,444444444444444.

36

2. Két alappont esetén

– Gauss–Csebisev-kvadratúra

1∫0

1(1 + z)2 dz =

x:=2z−1

1∫−1

1(1 + x+1

2 )2 ·12 dx =

1∫−1

√1− x2

2(1 + x+1

2

)2

︸ ︷︷ ︸f(x)

· 1√1− x2︸ ︷︷ ︸w(x)

dx ≈

≈ π

2

2∑i=1

f(

cos(2i− 1

2 · 2 π))

= π

2

(f

(1√2

)+ f

(− 1√

2

))≈

≈ 0,584185299827052.

– Gauss–Legendre-kvadratúra

1∫0

1(1 + x)2 dx ≈ 1

2

2∑i=1

cif(1

2 + 12xi

)= 1

2

(f

(12 −√

36

)+ f

(12 +√

36

))≈

≈ 0,497041420118343.

3. Három alappont esetén

– Gauss–Csebisev-kvadratúra

1∫0

1(1 + z)2 dz =

x:=2z−1

1∫−1

1(1 + x+1

2 )2 ·12 dx =

1∫−1

√1− x2

2(1 + x+1

2

)2

︸ ︷︷ ︸f(x)

· 1√1− x2︸ ︷︷ ︸w(x)

dx ≈

≈ π

3

3∑i=1

f(

cos(2i− 1

2 · 3 π))

= π

3

(f

(√3

2

)+ f(0)

)+

+ π

3

(f

(−√

32

))≈ 0,532734107771272.

Lássuk mekkora hibát követtünk el a közelítések során!

1 alappont esetén 2 alappont esetén 3 alappont esetén

Gauss–Csebisev-kvadr. 0,19813170079773 0,084185299827052 0,03273410777127

Gauss–Legendre-kvadr. 0,05555555555556 0,002958579881657

37

Összefoglalás

Szakdolgozatomban a numerikus integrálás leggyakrabban használt módszereit mutattam be

részletesen, meghatároztam a pontossági- és konvergenciarendet, valamint kiszámítottam a for-

mulák használatakor keletkezo hiba nagyságát.

Az elso témakör, amivel foglalkoztam az interpolációs kvadratúraképletek köre volt, azon

belül is a Newton–Cotes-formulákat mutattam be, melyek alappontjai azonos távolságra he-

lyezkednek el. Láthattuk, hogy a pontossági rend az alappontok számával növekszik, viszont

ezzel egyidejuleg növekszik az elszámolási- és pontábrázolási hiba valószínusége is, így a gya-

korlatban csak a részletesen bemutatott három formula használatos. Szerettünk volna azonban

kevesebb hibát véteni a közelítések során, így jutottunk el az összetett formulák témaköréig.

Az összetett szabályok lényege, hogy a megismert Newton–Cotes-formulákat alkalmazzuk,

de nem az egész intervallumon, hanem ezen intervallum részintervallumain. Ezen módszerek

használatával lényegesen csökkentettük az elkövetett hiba nagyságát, ugyanakkor megfelelo

számú részintervallum esetén a hibát tetszoleges kicsire redukálhattuk. Minél több részinterval-

lumban alkalmazzuk azonban a módszereinket, annál több helyen kell kiszámolnunk a függ-

vényértékeinket, mellyel szintén növekszik a hibázási lehetoség, valamint elképzelheto az is,

hogy nincs lehetoségünk minden pontban meghatározni a keresett függvényértéket. Ezen prob-

léma megoldása során jutottunk el a Gauss-kvadratúrákig.

A következo fejezetben tehát a Gauss-kvadratúrákkal foglalkoztam. A motivációt az adta,

hogy ha megválaszthatjuk az alappontok elhelyezkedését, valamint a súlyozást, akkor mekkora

az a maximális pontossági rend, amit elérhetünk, ha közelítést alkalmazunk. Kiszámoltuk, hogy

n alappontú formula alkalmazásával a módszereink pontosan fognak integrálni minden legfel-

jebb 2n − 1-edfokú polinomra. Választ adtam arra a kérdésre is, hogy ez a pontosság hogyan

érheto el. Így jutottunk el az ortogonális polinomrendszerek köréig, melyek közül a Csebisev-

és a Legendre-polinomok felhasználásával hoztuk létre kvadratúráinkat.

Mindhárom fejezet végén példákkal illusztráltam a módszereink alkalmazását, illetve lát-

hattunk arra is feladatot, hogy a kívánt nagyságú hibát hány alappont felvételével tudjuk elérni.

Ezen módszerek tehát alkalmasak arra, hogy olyan függvények integráljait közelítsük, me-

lyeknél nincsen lehetoségünk vagy igényünk a pontos megoldás meghatározására.

38

Irodalomjegyzék

[1] Peter Henrici : Numerikus analízis, Muszaki Könyvkiadó, 1985.

[2] Stoyan Gisbert : Numerikus matematika - Mérnököknek és programozóknak, TypoTeX,

2007.

[3] Stoyan Gisbert, Takó Galina: Numerikus módszerek 1., TypoTeX, 1993.

[4] Faragó István, Horváth Róbert : Numerikus módszerek, ELTE jegyzet, 2011.

[5] Rainer Kress: Numerical Analysis, Springer, 1998.

[6] J. Stoer, R. Bulirsch: Introduction to Numerical Analysis, Springer, 1991.

[7] George M. Phillips: Interpolation and Approximation by Polinomials, Springer, 2000.

[8] Giuseppe Mastroianni, Gradimir V. Milovanovic: Interpolation Processes - Basic Theory

and Applications, Springer, 2008.

[9] Alkalmazott analízis 1. eloadás jegyzet, ELTE, 2011.

[10] http://mathworld.wolfram.com/Newton−CotesFormulas.html

39

NYILATKOZAT

Név: Balka Júlia

ELTE Természettudományi Kar, szak: Matematika BSc

ETR azonosító: BAJRAAT.ELTE

Szakdolgozat címe: Numerikus integrálás

A szakdolgozat szerzojeként fegyelmi felelosségem tudatában kijelentem, hogy a dolgozatom

önálló munkám eredménye, saját szellemi termékem, abban a hivatkozások és idézések standard

szabályait következetesen alkalmaztam, mások által írt részeket a megfelelo idézés nélkül nem

használtam fel.

Budapest, 2012. május 24.

a hallgató aláírása