Integrál

Egy függvény határozott integrálja úgy értelmezhető, mint a függvény grafikonja és az Sablon:Nowrap által bezárt előjeles területösszeg.

Az integrál a matematikai analízis fontos fogalma. Egy adott f valós, Sablon:Nowrap intervallumon definiált függvény határozott integrálja ugyanezen intervallumon:

$\underset{a}{\overset{b}{\int }}f(x)dx$

Egyszerűen úgy fogalmazható meg, hogy ez a függvény és az Sablon:Nowrap által az (Sablon:Nowrap intervallumon) bezárt előjeles terület.

Ezt a területet a következők határolják:

• az f függvény grafikonja,
• az Sablon:Nowrap
• Sablon:Nowrap és az Sablon:Nowrap függőleges egyenesek

Az Sablon:Nowrap feletti terület "hozzáad" a teljes területhez, vagyis pozitív területű, míg az Sablon:Nowrap alatti terület "elvesz" a teljes területből, vagyis negatív területű.

Az integrálás a deriválás ellentétének tekinthető, emiatt néha az integrál kifejezést használják az antiderivált (f antideriváltjai azok a függvények, amelyek deriváltja f) jelölésére is.

Amennyiben nincs meghatározva az integrálás tartománya, akkor határozatlan integrálról beszélünk:

$F(x)=\int f(x)dx.$

Ez a szócikk a határozott integrálról szól.

Az integrálás alapjait egymástól függetlenül fedezte fel Newton és Leibniz a 17. század végén. A mindkettőjük által felfedezett Newton–Leibniz-tétel összeköti az integrálást és a deriválást:

ha f egy folytonos valós függvény az Sablon:Nowrap intervallumon akkor, ha adott az F függvény, ami f primitív függvénye, akkor f határozott integrálja a következőképpen számítható ki:

$\underset{a}{\overset{b}{\int }}f(x)dx=F(b)-F(a).$

Az integrálás és a deriválás a fizikusok és a mérnökök fontos eszköze. Az analízis megalkotói az integrált úgy képzelték el, mint olyan közelítő téglalapok területösszege, amelyek alapterülete infinitezimális. Az integrál egyik első és legelterjedtebb formális definíciója Bernhard Riemanntól származik. Ez a definíció egy közelítés (Sablon:Nowrap) határértékeként definiálja az integrál értékét. A 19. század elején az integrálfogalom különféle általánosításai jelentek meg, amelyek az integrálható függvények halmazát kiterjesztették, éppúgy, mint ahogy kiterjesztették ezen integrálható függvények lehetséges alaphalmazát. A vonalintegrál olyan integrál, ahol az integrálási tartomány nem egy intervallum, hanem egy meghatározott görbe, amely összeköt két pontot egy síkon vagy a térben. Az integrál ilyen általánosításainak legfőbb mozgatórugója a fizika, különösen az elektrodinamika szükségletei voltak. Többféle modern integrál is létezik, a legismertebb talán a Sablon:Nowrap amit Henri Lebesgue fejlesztett ki a 20. század elején.

Történet

Első megjelenés

Az első dokumentált szisztematikus módszer határozott integrálok meghatározására a görög Eudoxosz úgynevezett kimerítési módszere volt, amellyel területeket és térfogatokat lehet kiszámolni, úgy, hogy ezeket felbontjuk végtelen sok olyan alakzatra, amelyek térfogatát/területét ismerjük. Ezt a módszert később Arkhimédész fejlesztette tovább, és használta parabolák területének kiszámolására és a kör területének közelítő meghatározására. Hasonló módszerek Kínában is megjelentek, hasonlóan a kör területének meghatározása közben. Később ezt a módszert Kínában a gömb térfogatának meghatározásához is használták. (Sablon:Harvnb; Sablon:Harvnb).

A következő jelentős állomás a 16. században érkezett Bonaventura Cavalieritől a Sablon:Nowrap formájában. Cavalieri meghatározta az Sablon:Nowrap integrálját egészen Sablon:Nowrap-ig. A következő lépés a 17. század elején következett, amikor Isaac Barrow és Evangelista Torricelli elsőként rámutattak arra, hogy a differenciálszámítás és az integrál között kapcsolat lehet. Barrow megadta az első bizonyítást a Sablon:Nowrap. Wallis általánosította Cavalieri módszerét a negatív kitevőkre és törtkitevőkre is.

Newton és Leibniz

A legjelentősebb fejlődés az integrálásban a 17. században következett be a Sablon:Nowrap felfedezésével. A tételt két matematikus, Newton és Leibniz egymástól függetlenül egyszerre fedezte fel. A tétel rámutat a differenciálszámítás és az integrálás közötti kapcsolatra. Ezt a kapcsolatot és a differenciálszámításban szerzett korábbi tapasztalatokat felhasználva lehetőség nyílt számos, különböző integrál kiszámítására. Ugyanakkor a Sablon:Nowrap nem csak az integrálok kiszámítására használható, hiszen az a tény, hogy az integrálás valamilyen szempontból a deriválás "ellentéte", más problémák megoldása felé is megnyitotta az utat. Ezen kezdeti lépések még az infinitezimálisokat alkalmazták a definíciókban. Az ekkor, Leibniz által kifejlesztett jelölés vált az általánossá az integrálás jelölésére.

Az integrál formalizálása

Habár a Newton és Leibniz által felfedezett formula általános módszert szolgáltatott integrálok kiszámításához, mindkettőjük munkájából hiányzott a matematikai formalizmus. Az analízis szigorú megalapozására a határérték megjelenése adott lehetőséget. Az integrálás határértékkel való pontos matematikai definícióját először Riemann adta meg. Habár bármely folytonos függvény Sablon:Nowrap léteznek olyan nem folytonos függvények is, amelyek szintén Riemann-integrálhatóak. Később például a Fourier analízishez kapcsolódóan általánosabb függvények is előkerültek, amelyekkel a Sablon:Nowrap definíció nem tudott mit kezdeni, így később Lebesgue adott egy integráldefiníciót, amely a mértékelméleten alapul.

Jelölések

Newton vagy egy kis függőleges egyenest használt a kifejezések felett az integrálás jelölésére, vagy bekeretezte a kifejezést. A függőleges vonal könnyen összetéveszthető volt a $\dot{x}$ vagy a $x^{\prime }$ jelöléssel, amit Newton a deriváltak jelölésére használt, míg a bekeretezéses jelölés a könyvnyomtatás során okozott nehézségeket, így egyik jelölés sem terjedt el széles körben.

A mai jelölés az integrálásra 1675-ből, Leibniztől származik (Sablon:Harvnb; Sablon:Harvnb). A jelölésre Leibniz az ∫ integráljelet használta, amely az ſ (hosszú s) jelből származik, a szumma (latinul: ſumma; jelentése: "összeg") szó rövidítéseként. A mai jelölés Joseph Fourier-vel nyerte el a végső formáját, aki az integrálási határokat az integráljel alatt és felett kezdte jelölni az Sablon:Nowrap Mémoires című könyvében (Sablon:Harvnb; Sablon:Harvnb).

Elnevezések és jelölések

Egy valós f(x) függvény integrálja az x változóra nézve:

$\int f(x)dx.$

Az integráljel ∫ jelöli az integrálást. A dx jelöli, hogy az x változó szerint integrálunk. A Sablon:Nowrap jelölés belsejében található az integrandus, vagyis az integrálandó kifejezés. Ha nincs megadva integrálási tartomány/görbe/határok, akkor a jelölés a határozatlan integrált jelenti.

Egy adott halmaz fölötti integrálás esetén határozott integrálról beszélünk. Egy D halmaz fölötti integrált a következőképpen jelölünk: $\underset{D}{\int }f(x)dx,$ vagy $\underset{a}{\overset{b}{\int }}f(x)dx$, ha a halmaz az Sablon:Nowrap intervallum. A D halmaz vagy az Sablon:Nowrap intervallum az úgynevezett integrálási tartomány.

Ha egy függvénynek létezik az integrálja, akkor integrálható.

Az integrálási változót jelölő dx-nek többféle értelmezése is lehetséges, attól függően, hogy milyen fajta integrálról beszélünk. Vehetjük, úgy, mint csupán egy jelölést az integrálási változó használatára, vagy például a Sablon:Nowrap a téglalapok egyik oldalának az elfajult hosszának, a Sablon:Nowrap esetén dx jelöli az integrálásnál használt mértéket, míg a nemsztenderd analízisben, infinitezimálisnak tekinthetjük, vagy akár értelmezhetjük úgy, mint egy differenciál. Eredetileg Leibniz szerint infinitezimális változót jelöl, habár Leibniz értelmezése nem formális és nem megfelelően definiált, mégis ez az értelmezés nagyon elterjedt.

Bevezetés

Az integrálok nagyon sok helyzetben megjelenhetnek. Ha adott egy szögletes, téglatest alakú úszómedence, akkor könnyen megállapíthatjuk a bele tölthető víz térfogatát, felületét, a medence oldaléleinek hosszának összegét stb. Ha azonban a medencét lecseréljük egy például gömbölyű, lekerekített aljú medencére, akkor a fentiek kiszámításához már integrálra van szükségünk. Noha az eredményt jól közelíthetjük ilyen egyszerű példák esetén, de a mérnöki munkában, illetve a fizikában bizonyos esetekben a pontos eredmény elengedhetetlen.

A √x függvény 0 és 1 közötti integráljának közelítése téglalapokkal (lásd: Sablon:Nowrap kétféleképpen. A háttérbeli sárga (■) téglalapok magassága az alapjukat adó intervallum jobb oldalában vett függvényérték, míg az elülső zöld (■) közelítés minden téglalap magasságához az intervallumok bal oldalában vett függvényértéket használja. Az így kapott közelítések a függvény monotonitása miatt alsó- és felső közelítőösszegek. (lásd: Sablon:Nowrap

Kezdésként vegyünk egy Sablon:Nowrap görbét Sablon:Nowrap és Sablon:Nowrap közötti intervallumon, úgy, hogy Sablon:Nowrap. Ekkor megkérdezhetjük:

Mekkora az f függvény alatti terület a 0-tól Sablon:Nowrap terjedő intervallumon?

Nevezzük ezt az (egyelőre ismeretlen) területet f integráljának. Jelöljük ezt a következőképpen:

$\underset{0}{\overset{1}{\int }}\sqrt{x}dx.$

Első közelítésként vegyünk egy téglalapot az egységnyi hosszú intervallumon, vagyis amelynek oldalai Sablon:Nowrap és Sablon:Nowrap. A monotonitás miatt a jobb szélen vett függvényértékű magasságú téglalap felső Darboux közelítő összeg lesz, míg a bal oldali pontban vett függvényértékű magasságú téglalap alsó Darboux közelítő összeg. Így adott, hogy az integrál értéke Sablon:Nowrap kisebb pozitív valós szám. (Mivel az alsó közelítő téglalap területe 0, mivel a magassága 0, míg a felső közelítő téglalap területe 1 mivel a magassága Sablon:Nowrap). Nyilvánvalóan a közelítő téglalapok szélességének csökkentésével a közelítés pontossága javul. Ha az intervallumot 5 egyenlő részre osztjuk, következő közelítésnek, akkor az osztópontok a 0, 1/5, 2/5, és így tovább Sablon:Nowrap lesznek. A felső közelítő téglalapok magassága az adott intervallumok jobb oldalában vett függvényértékek, vagyis √(1⁄5), √(2⁄5) és így tovább Sablon:Nowrap-ig. Ezen téglalapok területét összegezve kapjuk a következő, már pontosabb közelítést, ami:

$\sqrt{\frac{1}{5}}(\frac{1}{5}-0)+\sqrt{\frac{2}{5}}(\frac{2}{5}-\frac{1}{5})+\cdots +\sqrt{\frac{5}{5}}(\frac{5}{5}-\frac{4}{5})\approx 0.7497.$

Vagyis véges sok olyan szorzatot összegzünk, amelyek egyik tagja f egy pontbeli értéke, a másik tényező pedig két egymást követő osztópont különbsége (vagyis a téglalap alapjának a hossza). A fenti példában a közelítés még mindig nem megfelelő, így további osztópontok segítségével, több téglalap segítségével közelíthetjük a keresett területet, ugyanakkor belátható, hogy az ilyen közelítés soha nem lesz teljes pontosságú. A lényeges lépés a véges közelítő összegekről, véges szorzatok összegzéséről a megfelelő végtelen sok téglalap területének összegzésére való áttérés. (Önmagában a végtelen sok osztópont/intervallum nem biztosítja a pontos eredményt. A szükséges követelmény az, hogy minden osztópont közötti távolság 0-hoz tartson, vagyis a definíció a határértékre épül. Eredetileg a határérték-fogalom a mai formájában nem létezett, az csak később jelent meg, így az eredeti Newtoni-Leibnizi értelmezés az infinitezimális, vagyis a végtelen kicsiny hosszúságú alappal rendelkező közelítő téglalapok területösszegére épült, ugyanakkor ezek formalizálása nem bizonyult olyan egyszerűnek, mint amilyen szemléletes a jelentése. Így a későbbiekben az analízis fogalmait, így az integrált is a határérték fogalmára átültették.)

A gyakorlatban használatos módszert az integrálok értékének meghatározásához, a Newton-Leibniz-formula biztosítja, amely kapcsolatot teremt a deriválás és az integrálás között. Ha a fenti négyzetgyök-függvényre Sablon:Nowrap alkalmazzuk, akkor azt kapjuk, hogy az f primitív függvénye vagy más néven antideriváltja az Sablon:Nowrap függvény. Ennek segítségével az integrál pontos értéke a tétel szerint: Sablon:Nowrap mivel a 0 és 1 az integrálási intervallum (a Sablon:Nowrap intervallum) határpontjai. Vagyis:

$\underset{0}{\overset{1}{\int }}\sqrt{x}dx=\underset{0}{\overset{1}{\int }}{x}^{1/2}dx=F(1)-F(0)=\frac{2}{3}.$

(Ez egyébként egy általánosan is igaz szabály, vagyis, hogy az Sablon:Nowrap, ahol Sablon:Nowrap függvény antideriváltja, amellyel az integrál pontos értéke kiszámítható, Sablon:Nowrap)

Az

$\int f(x)dx$

jelölés onnan ered, hogy az integrál végtelen sok szorzat összegeként volt definiálva (amelyek egyik tényezője minden esetben infinitezimális), és az összeg, summa, kezdőbetűje az angolban és a latinban az s betű. Az integrálási határok feltüntetése eredetileg nem volt Leibniz jelölésének része, ez később Fouriertől származik.

Újabban az infinitezimálisok újra megjelentek, most már kellően formalizálva a modern eszközök segítségével.

Formális definíciók

Példa Riemann közelítő összegekre nem egyenletes felosztás felett. Pirossal jelölve a legnagyobb intervallumot.

A Sablon:Nowrap konvergenciája.

Az integrálok formális definíciójára több verzió is létezik, amelyek nem feltétlenül ekvivalensek. A különbségek nagy része azért van jelen mert így egyes függvények integrálhatóak egyes integrálokkal, míg más definíciót használva nem integrálhatóak. Bizonyos esetekben a különbségnek pedagógiai okai vannak. A leggyakoribb integrál definíciók (amelyek nem ekvivalensek) a Riemann és a Sablon:Nowrap integrál definíciók. A Sablon:Nowrap a Sablon:Nowrap kiterjesztése, vagyis minden Sablon:Nowrap függvény Sablon:Nowrap is, és a két integrál értéke megegyezik.

De vigyázat, mert belefuthatunk olyan példába a későbbiekben, amely látszólag ellentmond eme állításnak. Elsőre úgy tűnhet, hogy az alábbi függvény Riemann-integrálható:

$\underset{ℝ}{\int }\frac{sin(x)}{x}dx=\pi$,

miközben nem Lebesgue-integrálható:

$\underset{ℝ}{\int }\left|\frac{sin(x)}{x}\right|dx=\mathrm{\infty }$.

A hiba a terminus pongyola használatából adódik. A függvény improprius Riemann-integrálja létezik, de nem a Riemann-integrálja, amelyhez alapfeltétel a korlátos, zárt intervallum.

Riemann-integrál

A Sablon:Nowrap a Sablon:Nowrap definiáljuk. Egy függvény Sablon:Nowrap az integrálási intervallum úgynevezett címkézett partíciójára van szükségünk. Legyen Sablon:Nowrap egy zárt valós intervallum; ekkor ennek az intervallumnak egy címkézett partíciójának a következő véges sorozatot nevezzük:

$a=x_0\le t_1\le x_1\le t_2\le x_2\le \cdots \le x_{n-1}\le t_n\le x_n=b.$

Ez felosztja az Sablon:Nowrap intervallumot n db Sablon:Nowrap részintervallumra úgy, hogy minden részintervallumhoz tartozik egy kijelölt pont Sablon:Nowrap. Egy f függvény Sablon:Nowrap a fenti címkézett partíció fölött:

$\sum _{i=1}^{n}f(t_i){\mathrm{\Delta }}_i;$

vagyis egy olyan összeg, amelynek minden tagja egy Sablon:Nowrap területe, amelynek magassága az adott intervallum kiválasztott pontjában vett függvényérték, míg a téglalap alapja az adott részintervallum, tehát az intervallum alapjának a hossza megegyezik az adott részintervallum hosszúságával. Sablon:Nowrap jelöli az i-edik részintervallum szélességét; míg a felosztás (partíció) finomságának a legnagyobb részintervallum hosszúságát nevezzük Sablon:Nowrap. Az f függvény Sablon:Nowrap az Sablon:Nowrap intervallumon S, ha:

Bármely Sablon:Nowrap-hoz, létezik egy Sablon:Nowrap úgy, hogy az Sablon:Nowrap intervallum bármely címkézett felosztása amelynek finomsága kisebb, mint δ, olyan, hogy a fölötte vett Riemann-összeg maximum ε távolságra van S-től, vagyis:

$|S-\sum _{i=1}^{n}f(t_i){\mathrm{\Delta }}_i|<\epsilon .$

Vagyis:

$\underset{\max ({\mathrm{\Delta }}_i)\to 0}{\lim }\sum _{i=1}^{n}f(t_i){\mathrm{\Delta }}_i=S,$

ahol $\max ({\mathrm{\Delta }}_i)$ a felosztás finomságát jelenti.

Ha minden részintervallumban a kiválasztott pont a függvény maximumértékét adja az adott intervallumon [illetve a minimumértékét], akkor a Sablon:Nowrap úgynevezett felső Sablon:Nowrap [illetve alsó Sablon:Nowrap], ami azt mutatja, hogy a két integrál (a Sablon:Nowrap és a Sablon:Nowrap) definíciója ekvivalens, illetve, hogy minden Sablon:Nowrap függvény Sablon:Nowrap függvény is és fordítva és az integrálok értéke mindig megegyezik.

Lebesgue-integrál

A Riemann–Darboux-integrál (fent) és a Sablon:Nowrap (alul)

Gyakran felmerül az igény arra mind elméletben, mind pedig gyakorlati alkalmazásokban, hogy a Sablon:Nowrap kiterjesszük, általánosítsuk. Például a függvények egy olyan sorozata gyakran készíthető, amelyek közelítenek egy másik adott függvényt. Ekkor logikus, hogy az adott határfüggvény integrálja megegyezik a függvénysorozat integráljának határértékével. Ez ugyanakkor általánosan a Riemann-integrálra nem igaz mivel Sablon:Nowrap függvények sorozatának határértéke lehet olyan függvény, amely nem Sablon:Nowrap A fenti tétel általánosan igazzá tehető, ha az integrál fogalmát általánosítjuk és így a lehetséges integrálható függvények halmazát kiterjesztjük. Sablon:Harv.

Ilyen kiterjesztés például a Lebesgue-integrál, ami arra a tényre épül, hogy ha függvényt az integrálási intervallumban átrendezzük, akkor az integrál értékének nem kellene változnia. Henri Lebesgue erre építve alkotta meg a róla elnevezett integrált, amit egy levélben így magyarázott el Paul Montelnek: Sablon:Quote

Forrás: Sablon:Harv

Ahogy Folland Sablon:Harvtxt mondja, "Az f függvény Riemann-integrálásakor az adott Sablon:Nowrap intervallumot particionáljuk részintervallumokra", míg a Lebesgue-integrál esetén, "az f függvény értékkészletét particionáljuk". A Lebesgue-integrál definíciója a μ mérték definíciójával kezdődik. A legegyszerűbb esetben a Sablon:Nowrap egy Sablon:Nowrap intervallumnak μ(A) az intervallum hossza, Sablon:Nowrap vagyis a Sablon:Nowrap értéke megegyezik a Sablon:Nowrap ha mindkét integrál létezik. Bonyolultabb esetekben az a halmaz amit mérünk lehet, hogy nem összefüggő esetleg nagymértékben "szakadozott" és esetleg egyáltalán nem bontható fel intervallumokra.

Az "értékkészlet particionálás" elvét követve, egy nemnegatív Sablon:Nowrap függvény integrálja az Sablon:Nowrap és Sablon:Nowrap egyenesek közé eső területek összege minden Sablon:Nowrap (vagyis a területet "vízszintes csíkokkal" daraboljuk fel, nem "függőlegesekkel"). Ez ilyen csík közé eső függvény alatti terület tehát: Sablon:Nowrap. Legyen Sablon:Nowrap}. Ekkor f Sablon:Nowrap így definiált Sablon:Harv:

$\int f=\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}^{*}(t)dt$

ahol az egyenlőség jobb oldalán álló integrál egy egyszerű improprius Riemann-integrál (az f^∗ egy szigorúan csökkenő pozitív függvény, így az improprius integrál létezik). Ez a definíció megfelelő a függvények egy megfelelően nagy halmazának Lebesgue-integrálásához (az úgynevezett mérhető függvények integrálásához).

Egy tetszőleges f függvény Lebesgue-integrálható, ha az f függvény grafikonja és az Sablon:Nowrap által bezárt terület véges, vagyis:

$\underset{E}{\int }|f|d\mu <+\mathrm{\infty }.$

Ebben az esetben az integrál, csakúgy, mint a Sablon:Nowrap esetén az Sablon:Nowrap fölötti terület és az az alatti terület különbsége:

$\underset{E}{\int }fd\mu =\underset{E}{\int }{f}^{+}d\mu -\underset{E}{\int }{f}^{-}d\mu$

ahol

$\begin{array}{cccc}{f}^{+}(x)& =\max (\{f(x),0\})& =& \{\begin{array}{cc}f(x),& \text{ha }f(x)>0,\\ 0,& \text{különben}\end{array}\\ f^{-}(x)& =\max (\{-f(x),0\})& =& \{\begin{array}{cc}-f(x),& \text{ha }f(x)<0,\\ 0,& \text{különben}\end{array}\end{array}$

Egyéb integrálok

Habár a Riemann- és a Sablon:Nowrap a leggyakrabban használt integrálok, számos egyéb definíciója létezik az integrálnak:

• A Darboux-integrál, ami ekvivalens a Sablon:Nowrap, vagyis egy függvény, akkor és csak akkor Darboux-integrálható, ha Riemann-integrálható, és az integrálok értéke, már ha létezik, akkor megegyezik. A Darboux-integrál előnye az, hogy könnyebben definiálható a Riemann-integrálnál.
• A Riemann–Stieltjes-integrál, ami a Riemann-integrál egy kiterjesztése.
• A Lebesgue–Stieltjes-integrál, egy Johann Radon által kifejlesztett integrál, ami a Sablon:Nowrap és a Sablon:Nowrap általánosítása.
• A Daniell-integrál, amely a Lebesgue-integrál és a Sablon:Nowrap általánosítása mértékek használata nélkül.
• A Haar-integrál, amit lokálisan kompakt topologikus csoportok fölötti integrálást tesz lehetővé. Alfréd Haar alkotta meg 1933-ban.

Tulajdonságok

Linearitás

• Egy zárt Sablon:Nowrap intervallumon Sablon:Nowrap függvények halmaza/családja vektorteret alkot, a függvényösszegzés (pontonkénti összegzés) és a skalárral való szorzás műveletével. Ekkor az

$f\mapsto \underset{a}{\overset{b}{\int }}f(x)dx$

függvény egy lineáris funkcionál ezen a vektortéren. Így, először is az integrálható függvények halmaza/családja zárt az elemek lineáris kombinációjának képzésére, másodsorban pedig, egy lineáris kombináció integrálja megegyezik az őt alkotó elemek integráljának összegével, vagyis:

$\underset{a}{\overset{b}{\int }}(\alpha f+\beta g)(x)dx=\alpha \underset{a}{\overset{b}{\int }}f(x)dx+\beta \underset{a}{\overset{b}{\int }}g(x)dx.$

• Hasonlóan a valós értékű Lebesgue-integrálható függvények halmaza egy adott μ mértékű E mértéktér felett szintén zárt az elemek lineáris kombinációjának való képzésére, vagyis szintén vektorteret alkot és az

$f\mapsto \underset{E}{\int }fd\mu$

ahol az integrál a Sablon:Nowrap szintén egy lineáris funkcionál, így:

$\underset{E}{\int }(\alpha f+\beta g)d\mu =\alpha \underset{E}{\int }fd\mu +\beta \underset{E}{\int }gd\mu .$

A linearitás és az integrál néhány egyéb tulajdonságai felhasználhatóak arra, hogy egy alternatív definíciót adjunk az integrálnak ezekre építve. A Sablon:Nowrap pontosan erre épül. Lásd Sablon:Harv az axiomatikus definícióért.

Integrál-egyenlőtlenségek

Számos Sablon:Nowrap zárt korlátos Sablon:Nowrap intervallumon definiált függvényekre igaz egyenlőtlenség ismert, amelyek általánosíthatóak más integrálokra is (például Lebesgue és Daniell integrálokra).

• Alsó és felső korlátok Egy f Sablon:Nowrap intervallumon integrálható függvény, szükségszerűen korlátos az Sablon:Nowrap intervallumon. Vagyis eszerint léteznek m és M valós számok úgy, hogy Sablon:Nowrap bármely Sablon:Nowrap Mivel így az alsó és a felső közelítő összegek korlátosak Sablon:Nowrap és Sablon:Nowrap által, így:

$m(b-a)\le \underset{a}{\overset{b}{\int }}f(x)dx\le M(b-a).$

• Függvények integráljának egyenlőtlensége Ha Sablon:Nowrap minden Sablon:Nowrap akkor f bármely alsó és felső közelítése felülről korlátos a g függvény alsó ill. felső közelítése által. Vagyis:

$\underset{a}{\overset{b}{\int }}f(x)dx\le \underset{a}{\overset{b}{\int }}g(x)dx.$

Ezt az egyenlőtlenséget tekinthetjük az előző általánosításának is, hiszen Sablon:Nowrap egyenlő az konstans M értékű függvény Sablon:Nowrap intervallum fölötti integráljával.

Továbbá az is igaz, hogy ha az egyenlőtlenség a függvények között szigorú akkor az integráljuk között is szigorú egyenlőtlenség áll fenn. Vagyis ha Sablon:Nowrap minden Sablon:Nowrap akkor:

$\underset{a}{\overset{b}{\int }}f(x)dx<\underset{a}{\overset{b}{\int }}g(x)dx.$

• Részintegrál Ha Sablon:Nowrap egy részintervalluma Sablon:Nowrap és Sablon:Nowrap nemnegatív minden Sablon:Nowrap akkor:

$\underset{c}{\overset{d}{\int }}f(x)dx\le \underset{a}{\overset{b}{\int }}f(x)dx.$

• Függvények abszolút értékének szorzata Ha f és g két függvény akkor ezek szorzatára, hatványaikra és abszolút értékükre igaz, hogy:

$(fg)(x)=f(x)g(x),f^2(x)=(f(x){)}^2,|f|(x)=|f(x)|.$

Ha f Sablon:Nowrap Sablon:Nowrap akkor |f| is az, és igaz, hogy:

$|\underset{a}{\overset{b}{\int }}f(x)dx|\le \underset{a}{\overset{b}{\int }}|f(x)|dx.$

Továbbá, ha f és g mindketten Sablon:Nowrap akkor fg szintén Riemann-integrálható és:

${(\underset{a}{\overset{b}{\int }}(fg)(x)dx)}^2\le (\underset{a}{\overset{b}{\int }}f(x{)}^{2}dx)(\underset{a}{\overset{b}{\int }}g(x{)}^{2}dx).$

A fenti egyenlőtlenség az integrálokra megfogalmazott Sablon:Nowrap ami fontos szerepet játszik a Sablon:Nowrap elméletében.

• Hölder-egyenlőtlenség Legyen p és q két valós szám úgy, hogy Sablon:Nowrap amikre teljesül még, hogy Sablon:Nowrap és f és g Sablon:Nowrap függvények. Ekkor a |f|^p és a |g|^q függvények szintén Sablon:Nowrap és a következő úgynevezett Sablon:Nowrap teljesül rájuk:

$|\int f(x)g(x)dx|\le {(\int {|f(x)|}^{p}dx)}^{1/p}{(\int {|g(x)|}^{q}dx)}^{1/q}.$

Ha p = q = 2, a Hölder-egyenlőtlenség megegyezik a Sablon:Nowrap

• Minkowski-egyenlőtlenség. Legyen p ≥ 1 egy valós szám és f és g pedig Sablon:Nowrap függvények. Ekkor |f|^p, |g|^p és |f + g|^p mind Sablon:Nowrap és az úgynevezett Sablon:Nowrap teljesül:

${(\int {|f(x)+g(x)|}^{p}dx)}^{1/p}\le {(\int {|f(x)|}^{p}dx)}^{1/p}+{(\int {|g(x)|}^{p}dx)}^{1/p}.$

Megállapodások

Ebben a részben f mindig egy valós Sablon:Nowrap függvényt jelent. Az

$\underset{a}{\overset{b}{\int }}f(x)dx$

integrálban az integrálási tartomány az Sablon:Nowrap intervallum, ha a < b. Ha Sablon:Nowrap akkor:

• Az integrálási határok felcserélése. Ha Sablon:Nowrap, akkor használjuk a következő definíciót:

$\underset{a}{\overset{b}{\int }}f(x)dx=-\underset{b}{\overset{a}{\int }}f(x)dx.$

Így, Sablon:Nowrap implikálja, hogy:

• Integrál nulla hosszúságú intervallumon Ha a egy valós szám, akkor

$\underset{a}{\overset{a}{\int }}f(x)dx=0.$

Az utolsó megállapodás azt állítja, hogy egy degenerált intervallum (vagyis egy pont) fölött az integrál értéke nulla. Ha egy függvény integrálható az Sablon:Nowrap intervallumon akkor ennek bármely részintervallumán is (a degenerált intervallumokon is) integrálható. Ezt felhasználjuk a következő tételben:

• Az integrál additivitása Ha c egy eleme az Sablon:Nowrap intervallumnak, akkor

$\underset{a}{\overset{b}{\int }}f(x)dx=\underset{a}{\overset{c}{\int }}f(x)dx+\underset{c}{\overset{b}{\int }}f(x)dx.$

A Newton–Leibniz-formula

A Newton–Leibniz-formula gyakorlatilag azt mondja ki, hogy a differenciálás és az integrálás egymás ellentétei, vagyis egy folytonos függvényt először integrálva majd deriválva az eredeti függvényt kapjuk. (Ha az integrálás és a deriválás sorrendjét felcseréljük, akkor az eredeti függvényt egy konstans bizonytalansággal kapjuk vissza.) A tétel fontos következménye, hogy a segítségével kiszámíthatjuk határozott integrálok pontos értékét, ha az integrandus antideriváltja ismert.

A tétel állításai

Az integrálfüggvény egy primitív függvénye az integrandusnak

Legyen f egy folytonos valós Sablon:Nowrap intervallumon definiált függvény. Ekkor definiáljuk az F függvényt, minden Sablon:Nowrap a következőképpen:

$F(x)=\underset{a}{\overset{x}{\int }}f(t)dt.$

Vagyis F integrálfüggvény. Ekkor, F folytonos az Sablon:Nowrap intervallumon és deriválható az Sablon:Nowrap nyitott intervallumon és:

$F^{\prime }(x)=f(x)$

minden Sablon:Nowrap

A fenti állítás bizonyítható a Newton–Leibniz-formula hagyományos alakjának (lásd a következő részt) mindkét oldalának az integrál felső határpontja szerinti deriválásával.

Határozott integrál kiszámítása a Newton–Leibniz-tétellel

Legyen f egy valós függvény az Sablon:Nowrap intervallumon, úgy, hogy létezik antideriváltja F az Sablon:Nowrap intervallumon. Vagyis, f és F olyan függvények, hogy minden x ∈ Sablon:Nowrap-re igaz, hogy:

$f(x)=F^{\prime }(x).$

Ha f integrálható az Sablon:Nowrap intervallumon, akkor

$\underset{a}{\overset{b}{\int }}f(x)dx=F(b)-F(a).$

Kiterjesztések

Improprius integrál

A
$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{(x+1)\sqrt{x}}=\pi$
integrál egy improprius integrál, amelynek mind az integrálási tartománya, mind az integrandusának értékkészlete nemkorlátos.

A "normális" Riemann-integrál megköveteli, hogy az integrandus értelmezhető legyen az integrálási intervallum minden pontjában és hogy ez az intervallum korlátos legyen. Egy integrált, akkor nevezünk improprius integrálnak ha a fentiek közül egy vagy két kritérium nem teljesül. Ezen integrálokat úgy értelmezhetjük mint a "hagyományos" Sablon:Nowrap egy sorozatának határértékét, amely sorozatban az integrál integrálási intervalluma egyre növekszik.

Ha például az integrálási intervallum nemkorlátos, mondjuk a felülről, akkor az integrál a hagyományos Sablon:Nowrap olyan határértéke, ahol az integrálás felső határa a végtelenbe tart.

$\underset{a}{\overset{b}{\int }}f(x)dx=\underset{ϵ\to 0}{\lim }\underset{a+ϵ}{\overset{b}{\int }}f(x)dx$

Vagyis az improprius integrál olyan hagyományos Sablon:Nowrap sorozatának határértéke, ahol az integrálsorozat integráljainak integrálási határai vagy egy meghatározott valós számokhoz vagy (+ vagy −) ∞-hez tartanak. Bonyolultabb esetekben, ha a kritikus pont az integrálási intervallum belső pontja az integrált az adott pontnál két (improprius) részre bontjuk.

Példának vegyük az $1/((x+1)\sqrt{x})$ függvény 0-tól Sablon:Nowrap vett integrálját (lásd feljebb a képet). Ahogy x az alsó integrálási határt közelíti a függvény a Sablon:Nowrap tart, míg az integrálás felső határa szintén ∞, amelybe tartva a függvény értéke 0-ba tart. Vagyis ez bizonyosan improprius integrál lesz. Ha az integrálást, mondjuk 1-től 3-ig végeznénk el akkor a hagyományos Sablon:Nowrap (vagyis a megfelelő Sablon:Nowrap határértéke) értéke π/6 lenne. Vegyünk a fenti függvénynek egy integrálját, amelynek alsó határa 1 míg felső határa egy véges t szám (Sablon:Nowrap. Ennek az eredménye $2\arctan (\sqrt{t})-\pi /2$. Ennek a kifejezésnek a határértéke létezik, ha t végtelenbe tart, és a határérték π/2. Hasonlóan a függvénynek 1/3-tól 1-ig vett integrálja π/6. Itt a második részben az 1/3-ot lecserélve egy pozitív s számra (úgy, hogy Sablon:Nowrap) kapjuk, hogy ez az integrál $\pi /2-2\arctan (\sqrt{s})$. Ennek, ahogy s a 0-hoz tart szintén, létezik határértéke és ez a határérték π/2. Az integrál additivitását felhasználva kapjuk, hogy az improprius integrál

$\begin{array}{cc}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{(x+1)\sqrt{x}}& =\underset{s\to 0}{\lim }\underset{s}{\overset{1}{\int }}\frac{dx}{(x+1)\sqrt{x}}+\underset{t\to \mathrm{\infty }}{\lim }\underset{1}{\overset{t}{\int }}\frac{dx}{(x+1)\sqrt{x}}\\ & =\underset{s\to 0}{\lim }(\frac{\pi }{2}-2\arctan \sqrt{s})+\underset{t\to \mathrm{\infty }}{\lim }(2\arctan \sqrt{t}-\frac{\pi }{2})\\ & =\frac{\pi }{2}+(\pi -\frac{\pi }{2})\\ & =\frac{\pi }{2}+\frac{\pi }{2}\\ & =\pi .\end{array}$

A fenti eljárás ugyanakkor nem mindig végződik sikerrel. A Sablon:Nowrap határértéke lehet, hogy nem létezik. Például az 1/x függvény nem integrálható így 0 és 1 között.

Az improprius integrál
$\underset{-1}{\overset{1}{\int }}\frac{dx}{\sqrt[3]{x^2}}=6$
integrandusa ugyan nem korlátos így hagyományosan nem Riemann-integrálható, de mivel mind a "jobb oldali" mind a "bal oldali" integrálrész határértéke létezik így improprius integrállal integrálható.

Ha a "kritikus pont", vagyis az a pont, ahol az integrandus nem korlátos (vagyis olyan pont, amelynek nincs olyan kis sugarú környezete, amelyben a függvény korlátos lenne) egy belső pontja az integrálási tartománynak, akkor az integrál az adott pont mentén felbontandó két improprius integrál összegére.

$\begin{array}{cc}\underset{-1}{\overset{1}{\int }}\frac{dx}{\sqrt[3]{x^2}}& =\underset{s\to 0}{\lim }\underset{-1}{\overset{-s}{\int }}\frac{dx}{\sqrt[3]{x^2}}+\underset{t\to 0}{\lim }\underset{t}{\overset{1}{\int }}\frac{dx}{\sqrt[3]{x^2}}\\ & =\underset{s\to 0}{\lim }3(1-\sqrt[3]{s})+\underset{t\to 0}{\lim }3(1-\sqrt[3]{t})\\ & =3+3\\ & =6.\end{array}$

De a hasonló

$\underset{-1}{\overset{1}{\int }}\frac{dx}{x}$

integrál nem integrálható ilyen módon mivel sem a "felső" sem az "alsó" részének a határértéke nem létezik.

Többszörös integrál

A kétszeres integrál megadja az egy adott tartomány és fölötte lévő felület által határolt térfogatot.

Integrálni nem csak intervallumok felett lehet. Általánosan, egy adott E halmaz fölötti integrált a következőképpen jelölünk:

$\underset{E}{\int }f(x)dx.$

Itt az Sablon:Nowrap nem muszáj valós változónak lennie, lehet például R³ vektor értékű változó is. A Fubini tétel szerint az ilyen integrálok felírhatóak integrálok integráljaként. Magyarul tehát az ilyen "területek" (vagy "térfogatok", vagy általánosan Sablon:Nowrap feletti integrálok kiszámítható az egyes koordináták szerinti egyenkénti integrálással. (A részletekért és a pontos állításért lásd: Fubini tétel)

Ahogy a pozitív egyváltozós függvények határozott integrálja a függvény és az x-tengely által bezárt területet adja meg, úgy a kettős integrálja egy pozitív kétváltozós függvénynek megadja az integrálási tartomány és a függvény által meghatározott felület által bezárt térfogatot. (Ugyanezt a térfogatot kiszámíthatjuk hármas integrállal is. Ekkor a hármas integrál teljes integrálási tartománya a fent említett tartomány, amit a függvény és a kettős integrál integrálási tartománya Sablon:Nowrap az egész közrezárt térrész, Sablon:Nowrap az integrandus a konstans $1$ függvény.) Ha a változók száma és az integrálok száma nagyobb, akkor a kifejezés az adott dimenziós térfogatnak felel meg.

Például, egy téglatest Sablon:Nowrap az oldalai rendre 4, 6, és 5 Sablon:Nowrap is kiszámíthatjuk:

• Egy kettős integrállal:

$\underset{D}{\iint }5dxdy$

az integrandus az Sablon:Nowrap függvény. A D tartomány, amely fölött integrálunk az xy-sík azon része, amely a téglatest alapját adja. Például ha a téglatest (mint hasáb), téglalap alapját a következő egyenlőtlenség adja meg: Sablon:Nowrap Sablon:Nowrap akkor a konkrét kettős integrál a következő:

$\underset{4}{\overset{10}{\int }}\left[\underset{3}{\overset{7}{\int }}5dx\right]dy.$

Innen az integrálást elvégezhetjük, bármelyik változóval kezdve. Például ha először az x szerinti integrálást végezzük el (vagyis a belső integrált), akkor az első integrál kiszámítása után, például az $F(b)-F(a)$ különbség meghatározásával vagy akár másképpen, a kapott eredményt a következő "beburkoló" integrál integrandusaként kell kezelni.

• Vagy pedig a

$\underset{\text{téglatest}}{\iiint }1dxdydz$

hármasintegrállal, ahol az integrandus a konstans 1 függvény, míg az integrálási tartomány a teljes téglatest.

Vonalintegrál

A vonalintegrál összeadja az egy adott görbe mentén előforduló elemeket.

Az integrálás elve kiterjeszthető általánosabb alaphalmazokra is, mint például adott görbék menti integrálásra vagy felületek feletti integrálásra. Ezen típusú integrálok a fizika fontos eszközei (különféle vektormezőkkel kapcsolatosan).

A vonalintegrál olyan integrál, aminek az integrandusát egy adott görbe mentén integrálunk. Ha az adott görbe zárt görbe, vagyis ha a kezdő és a végpontja megegyezik akkor a vonalintegrál körintegrál.

Vektortér zárt vonalintegrálja (körintegrálja) a makroszkopikus cirkuláció az adott görbe mentén: ${\oint }_C𝐅\cdot d𝐬$. Konzervatív erőtér cirkulációja és rotációja is nyilván zérus, míg más erőtereknél ezek általában nem egyeznek meg.

A vontalintegrál integrandusa lehet skalár értékű vagy vektor értékű is. A vonalintegrál értéke az adott görbe mentén előforduló elemek súlyozott összege. (A súlyozást úgy kell érteni, hogy a görbét "lépésekre" bontjuk, vagyis kijelölünk rajta pontokat, amely pontokban vesszük az integrandus értékét és megszorozzuk az előző és az aktuális pont közötti távolsággal. Ha az integrandus nem skalár hanem vektor értékű akkor a görbe adott pontbeli lineáris közelítésével, érintővektorával, való skaláris szorzatát vesszük. Az így kapott szorzatokat összegezzük. Ha minden pont közötti görberésznek a hossza a 0-ba tart akkor kapjuk meg a vonalintegrál pontos értékét.) A fizika számos részén használható az így definiált vonalintegrál. Például egy erőtér egy részecskén végzett munkáját kiszámíthatjuk a vonalintegrál segítségével. A munka alapesetben, ha az erő állandó az elmozdulás pedig egyenes akkor kiszámítható a

$W=𝐅\cdot 𝐬.$

képlettel. Ha azonban a részecske egy adott C görbe mentén mozog a térben az adott pontban ráható erőt (amely egy vektor) az F vektormező adja meg akkor az erőtér (a vektormező) által a részecskén végzett munka általánosan megkapható úgy, hogy az utat "infinitezimális" részekre bontjuk amelyeket egyenesnek veszünk. Ekkor a teljes munka megegyezik ezen részutakon végzett munkák összegével, így kapjuk a

$W=\underset{C}{\int }𝐅\cdot d𝐬$

vonalintegrált. Sablon:Több kép

Felületi integrál

A felületi integrál definíciója azon alapul, hogy a felületet felbonthatjuk kisebb területű elemekre.

A felületi integrál olyan határozott integrál, amelynek integrálási tartománya egy felület. A fentiek szerint (lásd a többes integrálok részt és a Fubini tételt) ez felírható mint egy többszörös integrál. Az integrandus lehet skalár értékű vagy vektor értékű is. Az adott felületet felbonthatjuk kisebb részekre és ezeken a felosztásokon egy Sablon:Nowrap hasonló összeget definiálhatunk. A felületi integrál ennek az összegnek a határértéke, ahogy a felosztás minden elemének a mérete/mértéke 0-ba tart.

Például legyen adott egy v vektormező és egy S felület a térben; vagyis, minden Sablon:Nowrap v(x) egy vektor. Képzeljük el, hogy egy folyadék keresztülfolyik az S felületen úgy, hogy minden x pontjában az S felületnek a folyadék sebessége v(x). A fluxus azt adja meg, hogy egy adott felületen egységnyi idő alatt mennyi folyadék áramlik át. A fluxus kiszámításához S minden pontjában vennünk kell a folyadék áramlási sebességének és a felület (adott pontbeli) normálisának a skaláris szorzatát. Ez meghatároz egy skalárteret S minden pontjában, amelyet a felületen integrálva kapjuk, hogy:

$\underset{S}{\int }𝐯\cdot d𝐒.$

Az ilyen típusú integrálok jelentik az alapját például az elektrodinamikának.

Kiszámítási módszerek

Analitikus

A legalapvetőbb módszer egy határozott valós egyváltozós integrál meghatározásához a Newton–Leibniz-tétel használata; Vagyis ha $f(x)$ egy adott Sablon:Nowrap intervallumon integrálandó függvény, akkor Sablon:Nowrap az Sablon:Nowrap intervallumon való antideriváltját vagy más néven primitív függvényét (vagyis azt az $F$ függvényt, amelynek deriváltja $f$, vagyis $F^{\prime }=f$) felhasználva kapjuk, hogy ha az integrálási tartományon sem az integrandusnak (az $f$ függvény), sem az integrandus primitív függvényének nincs szingularitása, akkor:

$\underset{a}{\overset{b}{\int }}f(x)dx=F(b)-F(a).$

A határozott integrál ugyan nem egyezik meg magával a primitív függvénnyel, (hiszen a határozott integrál egy szám, konkrét érték, míg az primitív függvény egy függvény, egy függvény határozatlan integrálja pedig az összes primitív függvényének a halmaza) de a Newton–Leibniz-formulát felhasználva a primitív függvény használható, határozott integrál kiszámítására.

Ennek a módszernek a legnehezebb lépése a primitív függvény megtalálása. Bizonyos ritka esetekben a primitív függvény ránézésre megállapítható, de a legtöbb esetben különféle módszereket kell alkalmazni az antiderivált meghatározására. A legtöbb ilyen módszer az integrált más (remélhetőlebb egyszerűbben kiszámítható) alakra hozza. A leggyakoribb technikák:

• Helyettesítéses integrálás
• Parciális integrálás
• Inverz függvény szerinti integrálás
• Integrálás trigonometrikus helyettesítéssel
• Tangens félszög helyettesítés
• Integrálás parciális törtekre bontással
• Integrálás redukciós formulákkal
• Integrálás az Euler-képlettel
• Euler-helyettesítés
• Integrál differenciálása
• Integrálás körintegrállal
• Reziduumtétel

A komplexebb integrálok kiszámíthatóak "alternatív" módszerekkel, például egy olyan integrál, amelynek kiszámításához szükséges primitív függvény nem elemi függvény kiszámítható úgy, hogy az integrandust lecseréljük annak Taylor sorával.

Kész formulákért (antideriváltakért lásd: Antideriváltak listája és Riemann-integrálás).

Szimbolikus

Sablon:Main Bizonyos matematikai illetve fizikai problémáknál esetleg szükség lehet az integrál értékét kifejező explicit formulára. Így megjelentek az integráltáblázatok. Később megjelentek olyan úgynevezett számítógépes algebra rendszerek, amelyek célja hogy bonyolult vagy hosszú, nagy méretű számításokat az emberek helyett elvégezzenek. A szimbolikus integrálási feladatok elsődleges motivációt szolgáltattak ilyen rendszerek fejlesztéséhez.

A szimbolikus integrálás egyik kihívása, hogy akár meglehetősen egyszerű függvények esetén is az antiderivált kiszámítása nagy kihívást jelenthet vagy akár bizonyos esetekben zárt formulaként nem is létezik. Például az exp(x²), x^x és a Sablon:Nowrap függvények antideriváltja nem fejezhetőek ki elemi függvényekkel. Sablon:Nowrap (amit például a Mathematica szoftvercsomag is alkalmaz) egy olyan algoritmus, amely egy általános kritériumot ad meg annak eldöntésére, hogy egy adott elemi függvény antideriváltja elemi függvény-e, és ha igen akkor az algoritmussal kiszámítható az adott elemi antiderivált. Azonban a gyakorlat azt mutatja, hogy azok a függvények, amelyek antideriváltja elemi, kisebbségben vannak. Vagyis a számítógépes algebra rendszerek a legtöbb esetben általános elemi integrandus esetén nagy valószínűséggel nem tudnak megoldással szolgálni. Ugyanakkor ha bizonyos nem elemi függvényeket "pluszban elfogadunk elemi függvényeknek", akkor ezeket az előre betáplált, eredetileg nem elemi függvényeket (például Sablon:Nowrap felhasználva az algoritmus képes lehet az antiderivált megadására.

Bizonyos integrandusok integrálása olyan gyakran kerül elő, például a fizikában (lásd például: Sablon:Nowrap hogy saját nevet Sablon:Nowrap stb). A Sablon:Nowrap ilyen nem elemi függvényekkel való kiterjesztése aktív kutatási terület jelenleg is.

Numerikus

The integrals encountered in a basic calculus course are deliberately chosen for simplicity; those found in real applications are not always so accommodating. Some integrals cannot be found exactly, some require special functions which themselves are a challenge to compute, and others are so complex that finding the exact answer is too slow. This motivates the study and application of numerical methods for approximating integrals, which today use [[Floating point|floating-point arithmetic]] on digital electronic computers. Many of the ideas arose much earlier, for hand calculations; but the speed of general-purpose computers like the [[ENIAC]] created a need for improvements. The goals of numerical integration are accuracy, reliability, efficiency, and generality. Sophisticated methods can vastly outperform a naive method by all four measures ({{Harvnb|Dahlquist|Björck|2008}}; {{Harvnb|Kahaner|Moler|Nash|1989}}; {{Harvnb|Stoer|Bulirsch|2002}}). Consider, for example, the integral :<math> \int_{-2}^{2} \tfrac{1}{5} \left( \tfrac{1}{100}(322 + 3 x (98 + x (37 + x))) - 24 \frac{x}{1+x^2} \right) dx </math> which has the exact answer {{nowrap|94/25 {{=}} 3.76}}. (In ordinary practice the answer is not known in advance, so an important task — not explored here — is to decide when an approximation is good enough.) A “calculus book” approach divides the integration range into, say, 16 equal pieces, and computes function values. :{| cellpadding="0" cellspacing="0" class="wikitable" style="text-align:center;background-color:white" |+ Spaced function values |- ! ''x'' | colspan="2" | −2.00 || colspan="2" | −1.50 || colspan="2" | −1.00 || colspan="2" | −0.50 || colspan="2" |  0.00 || colspan="2" |  0.50 || colspan="2" |  1.00 || colspan="2" |  1.50 || colspan="2" |  2.00 |- style="font-size:80%" ! style="font-size:125%" | ''f''(''x'') | colspan="2" |  2.22800 || colspan="2" |  2.45663 || colspan="2" |  2.67200 || colspan="2" |  2.32475 || colspan="2" |  0.64400 || colspan="2" | −0.92575 || colspan="2" | −0.94000 || colspan="2" | −0.16963 || colspan="2" |  0.83600 |- ! ''x'' |   | colspan="2" | −1.75 || colspan="2" | −1.25 || colspan="2" | −0.75 || colspan="2" | −0.25 || colspan="2" |  0.25 || colspan="2" |  0.75 || colspan="2" |  1.25 || colspan="2" |  1.75 || |- style="font-size:80%" ! style="font-size:125%" | ''f''(''x'') | | colspan="2" |  2.33041 || colspan="2" |  2.58562 || colspan="2" |  2.62934 || colspan="2" |  1.64019 || colspan="2" | −0.32444 || colspan="2" | −1.09159 || colspan="2" | −0.60387 || colspan="2" |  0.31734 || |- style="background-color:#aaa" | || || || || || || || || || || || || || || || || || || |} [[Fájl:Numerical quadrature 4up.png|bélyegkép|right|Numerical quadrature methods: <span style="color:#bc1e47">■</span> Rectangle, <span style="color:#fec200">■</span> Trapezoid, <span style="color:#0081cd">■</span> Romberg, <span style="color:#009246">■</span> Gauss]] Using the left end of each piece, the [[rectangle method]] sums 16 function values and multiplies by the step width, ''h'', here 0.25, to get an approximate value of 3.94325 for the integral. The accuracy is not impressive, but calculus formally uses pieces of infinitesimal width, so initially this may seem little cause for concern. Indeed, repeatedly doubling the number of steps eventually produces an approximation of 3.76001. However, 2¹⁸ pieces are required, a great computational expense for such little accuracy; and a reach for greater accuracy can force steps so small that arithmetic precision becomes an obstacle. A better approach replaces the horizontal tops of the rectangles with slanted tops touching the function at the ends of each piece. This [[trapezium rule]] is almost as easy to calculate; it sums all 17 function values, but weights the first and last by one half, and again multiplies by the step width. This immediately improves the approximation to 3.76925, which is noticeably more accurate. Furthermore, only 2¹⁰ pieces are needed to achieve 3.76000, substantially less computation than the rectangle method for comparable accuracy. [[Romberg's method]] builds on the trapezoid method to great effect. First, the step lengths are halved incrementally, giving trapezoid approximations denoted by ''T''(''h''₀), ''T''(''h''₁), and so on, where ''h''_''k''+1 is half of ''h''_''k''. For each new step size, only half the new function values need to be computed; the others carry over from the previous size (as shown in the table above). But the really powerful idea is to [[Interpolation|interpolate]] a polynomial through the approximations, and extrapolate to ''T''(0). With this method a numerically ''exact'' answer here requires only four pieces (five function values)! The [[Lagrange polynomial]] interpolating {{nowrap|{''h''_''k'',''T''(''h''_''k'')}_{''k'' {{=}} 0…2} {{=}} {(4.00,6.128), (2.00,4.352), (1.00,3.908)}}} is {{nowrap|3.76 + 0.148''h''²}}, producing the extrapolated value 3.76 at {{nowrap|''h'' {{=}} 0}}. [[Gaussian quadrature]] often requires noticeably less work for superior accuracy. In this example, it can compute the function values at just two ''x'' positions, ±2⁄√3, then double each value and sum to get the numerically exact answer. The explanation for this dramatic success lies in error analysis, and a little luck. An ''n-''point Gaussian method is exact for polynomials of degree up to 2''n''−1. The function in this example is a degree 3 polynomial, plus a term that cancels because the chosen endpoints are symmetric around zero. (Cancellation also benefits the Romberg method.) Shifting the range left a little, so the integral is from −2.25 to 1.75, removes the symmetry. Nevertheless, the trapezoid method is rather slow, the polynomial interpolation method of Romberg is acceptable, and the Gaussian method requires the least work — if the number of points is known in advance. As well, rational interpolation can use the same trapezoid evaluations as the Romberg method to greater effect. :{| class="wikitable" style="background-color:white;text-align:center" |+ Quadrature method cost comparison |- ! style="text-align:right" | Method | '''Trapezoid''' || '''Romberg''' || '''Rational''' || '''Gauss''' |- ! style="text-align:right" | Points | 1048577 || 257 || 129 || 36 |- ! style="text-align:right" | Rel. Err. | −5.3×10⁻¹³ || −6.3×10⁻¹⁵ || 8.8×10⁻¹⁵ || 3.1×10⁻¹⁵ |- ! style="text-align:right" | Value | colspan="4" | <math>\textstyle \int_{-2.25}^{1.75} f(x)\,dx = 4.1639019006585897075\ldots</math> |} In practice, each method must use extra evaluations to ensure an error bound on an unknown function; this tends to offset some of the advantage of the pure Gaussian method, and motivates the popular [[Gauss–Kronrod quadrature formula]]e. Symmetry can still be exploited by splitting this integral into two ranges, from −2.25 to −1.75 (no symmetry), and from −1.75 to 1.75 (symmetry). More broadly, [[adaptive quadrature]] partitions a range into pieces based on function properties, so that data points are concentrated where they are needed most. [[Simpson's rule]], named for [[Thomas Simpson]] (1710–1761), uses a parabolic curve to approximate integrals. In many cases, it is more accurate than the [[trapezoidal rule]] and others. The rule states that :<math> \int_a^b f(x) \, dx \approx \frac{b-a}{6}\left[f(a) + 4f\left(\frac{a+b}{2}\right)+f(b)\right],</math> with an error of :<math> \left|-\frac{(b-a)^5}{2880} f^{(4)}(\xi)\right|.</math> The computation of higher-dimensional integrals (for example, volume calculations) makes important use of such alternatives as [[Monte Carlo integration]]. A calculus text is no substitute for numerical analysis, but the reverse is also true. Even the best adaptive numerical code sometimes requires a user to help with the more demanding integrals. For example, improper integrals may require a change of variable or methods that can avoid infinite function values, and known properties like symmetry and periodicity may provide critical leverage.

Mechanikus

Egy tetszőleges kétdimenziós alakzat területe meghatározható egy speciális eszközzel az úgynevezett planiméterrel. Egy objektum térfogata megmérhető az általa kiszorított folyadék használatával. Lásd: Arkhimédész.

Néhány fontos határozott integrál

Az integrálok segítségével definiált néhány függvény/állandó, például Euler–Mascheroni-állandó:

$\gamma =\underset{1}{\overset{\mathrm{\infty }}{\int }}(\frac{1}{\lfloor x\rfloor }-\frac{1}{x})dx,$

a Gamma-függvény:

$\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-t}{t}^{z-1}dt,$

a Fourier-transzformáció ami a fizika fontos eszköze:

$F(\xi )=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)e^{-2\pi ix\xi }dx,$

a Laplace-transzformáció:

$F(s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}f(t)e^{-st}dt,$

és a Gaussi-integrál, ami a normális eloszlás definiálásának alapja, ill. a valószínűségszámításban használatos:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=\sqrt{\pi }.$

Fordítás

• Sablon:Fordítás

További információk

• Riemann Sum by Wolfram Research
• Introduction to definite integrals by Khan Academy

Online könyvek

• Keisler, H. Jerome, Elementary Calculus: An Approach Using Infinitesimals, University of Wisconsin
• Stroyan, K.D., A Brief Introduction to Infinitesimal Calculus, University of Iowa
• Mauch, Sean, Sean's Applied Math Book
• Crowell, Benjamin, Calculus
• Garrett, Paul, Notes on First-Year Calculus
• Hussain, Faraz, Understanding Calculus
• Kowalk, W.P., Integration Theory, University of Oldenburg.
• Sloughter, Dan, Difference Equations to Differential Equations
• Numerical Methods of Integration
• P.S. Wang, Evaluation of Definite Integrals by Symbolic Manipulation (1972)

Kapcsolódó szócikkek

• Határozatlan integrál
• Darboux-integrál
• Henstock–Kurzweil-integrál
• Parciális integrálás
• Lebesgue-integrál
• Numerikus integrálás
• Riemann-integrál
• Riemann-összeg
• Riemann–Stieltjes-integrál
• Szimbolikus integrálás