hu cs hu hu hu hu hu hu hu en hu hu hu hu hu hu hu hu en hu hu hu de hu hu hu hu hu hu hu hu hu hu cs cs hu hu hu hu hu fi hu hu hu hu it hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu en hu hu hu hu hu hu hu hu hu hu en hu en hu hu en hu hu en hu hu hu hu hu hu hu hu hu hu en hu en hu hu hu hu en hu en hu hu en hu en hu hu hu hu hu hu hu hu hu hu hu en hu hu en hu zh hu de hu hu hu hu hu hu hu hu hu hu en hu en hu en hu en hu hu hu hu de hu en hu hu en hu en hu en hu en hu en hu hu en hu hu en hu hu en hu hu en hu hu en hu hu en hu hu hu hu hu hu en hu en hu hu hu hu en hu de hu hu hu en en hu hu hu en hu hu en hu hu en hu hu en hu en hu hu hu hu hu en hu hu hu hu ja hu en hu hu fr hu hu hu hu hu hu hu hu en hu en hu hu hu hu hu hu hu hu en hu hu hu hu de hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu en hu hu hu hu en hu de hu de hu en hu de hu hu hu hu hu en en en en hu en fr en en en en en hu en de en hu hu en en hu en en en hu en en hu en en en en en en en en en en hu hu cs de hu cs hu cs hu cs hu hu sk hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu de hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu en am an ar en az ku uz ru bg bn hbs_lat ca mzn hbs_lat vi cy fr el eo es et eu fa fi fr lt ku he hi hbs_lat hy id es is it ja ka kk km ta ko ku cs it fr lt lv ml be mr ms en my nl nb nb fr pl pnb pt ro ru jbo en hbs_lat en sk sl sq hbs_lat en sv ta th ceb tr oc fy ur uz fr vi ceb zh zh fr zh hu hu hu hu hu hu hu hu hu hu
A Wikipédiából, a szabad enciklopédiából
Ez a közzétett változat, ellenőrizve: 2022. május 31.
Ugrás a navigációhoz Ugrás a kereséshez
Egy függvény határozott integrálja úgy értelmezhető, mint a függvény grafikonja és az x-tengely által bezárt előjeles területösszeg.
Az integrál a matematikai analízis fontos fogalma. Egy adott f valós, [a, b] intervallumon definiált függvény határozott integrálja ugyanezen az intervallumon:
∫ a b f ( x ) d x {\displaystyle \int \limits _{a}^{b}\!f(x)\,dx}
Egyszerűen úgy fogalmazható meg, hogy ez a függvény és az x-tengely által az ([a, b] intervallumon) bezárt előjeles terület.
Ezt a területet a következők határolják:
x = a és az x = b függőleges egyenesek
Az x-tengely feletti terület "hozzáad" a teljes területhez, vagyis pozitív területű, míg az x-tengely 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 intergrálról beszélünk:
F ( x ) = ∫ f ( x ) d x . {\displaystyle 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 [a, b] 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:
∫ a b f ( x ) d x = F ( b ) − F ( a ) . {\displaystyle \int _{a}^{b}\!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 (Riemann-összegek) 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 Lebesgue-integrál, amit Henri Lebesgue fejlesztett ki a 20. század elején.
6.1.1 Az integrálfüggvény egy primitív függvénye az integrandusnak
6.1.2 Határozott integrál kiszámítása a Newton–Leibniz-tétellel
9 Néhány fontos határozott integrál
Lásd még: Az analízis története
A következő jelentős állomás a 16. században érkezett Bonaventura Cavalieritől a Cavalieri-elv formájában. Cavalieri meghatározta az xn integrálját egészen n = 9-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 Newton–Leibniz-tételre. Wallis általánosította Cavalieri módszerét a negatív kitevőkre és törtkitevőkre is.
A legjelentősebb fejlődés az integrálásban a 17. században következett be a Newton–Leibniz-tétel 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 Newton–Leibniz-tétel 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.
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 Riemann-integrálható, 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 Riemann-féle definíció nem tudott mit kezdeni, így később Lebesgue adott egy integráldefiníciót, amely a mértékelméleten alapul.
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 x ˙ {\displaystyle {\dot {x}}} vagy a x ′ {\displaystyle x'\,\!} 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 (Burton 1988, p. 359; Leibniz 1899, p. 154). 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 1819–20-as Mémoires című könyvében (Cajori 1929, pp. 249–250; Fourier 1822, §231).
Egy valós f(x) függvény integrálja az x változóra nézve:
∫ f ( x ) d x . {\displaystyle \int f(x)\,dx.}
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: ∫ D f ( x ) d x , {\displaystyle \int _{D}f(x)\,dx,} vagy ∫ a b f ( x ) d x {\displaystyle \displaystyle \int _{a}^{b}f(x)\,dx} ha a halmaz az [a, b] intervallum. A D halmaz vagy az [a, b] 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 Riemann-összegeknél a téglalapok egyik oldalának az elfajult hosszának, a Lebesgue-integrál 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 Leibiniz 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.
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: Riemann-összeg) 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: Darboux-összegek)
Kezdésként vegyünk egy y = f(x) görbét x = 0 és x = 1 közötti intervallumon, úgy, hogy f(x) = √x. Ekkor megkérdezhetjük:
Mekkora az f függvény alatti terület a 0-tól 1-ig terjedő intervallumon?
Nevezzük ezt az (egyelőre ismeretlen) területet f integráljának. Jelöljük ezt a következőképpen:
∫ 0 1 x d x . {\displaystyle \int _{0}^{1}{\sqrt {x}}\,dx\,\!.}
1 5 ( 1 5 − 0 ) + 2 5 ( 2 5 − 1 5 ) + ⋯ + 5 5 ( 5 5 − 4 5 ) ≈ 0.7497. {\displaystyle \textstyle {\sqrt {\frac {1}{5}}}\left({\frac {1}{5}}-0\right)+{\sqrt {\frac {2}{5}}}\left({\frac {2}{5}}-{\frac {1}{5}}\right)+\cdots +{\sqrt {\frac {5}{5}}}\left({\frac {5}{5}}-{\frac {4}{5}}\right)\approx 0.7497.\,\!}
∫ f ( x ) d x {\displaystyle \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.
Példák alsó és felső Darboux integrálközelítő összegekre
Az y = x2 függvény felső Darboux-összegei
Az y = x2 függvény alsó Darboux-összegei
Példa Riemann közelítő összegekre nem egyenletes felosztás felett. Pirossal jelölve a legnagyobb intervallumot.
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 Lebesgue-féle integrál definíciók. A Lebesgue-integrál a Riemann-integrál kiterjesztése, vagyis minden Riemann-integrálható függvény Lebesgue-integrálható 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ó:
∫ R s i n ( x ) x d x = π {\displaystyle \int _{\mathbb {R} }{\frac {sin(x)}{x}}\,dx=\pi } ,
∫ R | s i n ( x ) x | d x = ∞ {\displaystyle \int _{\mathbb {R} }\left|{\frac {sin(x)}{x}}\right|\,dx=\infty } .
A hiba a terminus pongyola használatából adódik. A függvény impropius Riemann-integrálja létezik, de nem a Riemann-integrálja, amelyhez alapfeltétel a korlátos, zárt intervallum.
A Riemann-integrált a Riemann-összegekkel definiáljuk. Egy függvény Riemann-összegéhez az integrálási intervallum úgynevezett címkézett partíciójára van szükségünk. Legyen [a, b] 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 ≤ t 1 ≤ x 1 ≤ t 2 ≤ x 2 ≤ ⋯ ≤ x n − 1 ≤ t n ≤ x n = b . {\displaystyle a=x_{0}\leq t_{1}\leq x_{1}\leq t_{2}\leq x_{2}\leq \cdots \leq x_{n-1}\leq t_{n}\leq x_{n}=b.\,\!}
Ez felosztja az [a,b] intervallumot n db [xi−1, xi] részintervallumra úgy, hogy minden részintervallumhoz tartozik egy kijelölt pont ti ∈ [xi−1, xi]. Egy f függvény Riemann-összege a fenti címkézett partíció fölött:
∑ i = 1 n f ( t i ) A i ; {\displaystyle \sum _{i=1}^{n}f(t_{i})\Delta _{i};}
vagyis egy olyan összeg, amelynek minden tagja egy közelítő-téglalap 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. Ai = xi−xi−1 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 maxi=1…n Ai. Az f függvény Riemann-integrálja az [a,b] intervallumon S, ha:
Bármely e > 0-hoz, létezik egy δ > 0 úgy, hogy az [a,b] intervallum bármely címkézett felosztása amelynek finomsága kisebb, mint δ, olyan, hogy a fölötte vett Riemann-összeg maximum e távolságra van S-től, vagyis:
| S − ∑ i = 1 n f ( t i ) A i | < e . {\displaystyle \left|S-\sum _{i=1}^{n}f(t_{i})\Delta _{i}\right|<\varepsilon .}
lim max ( A i ) → 0 ∑ i = 1 n f ( t i ) A i = S , {\displaystyle \lim _{\max(\Delta _{i})\to 0}\sum _{i=1}^{n}f(t_{i})\Delta _{i}=S,}
ahol max ( A i ) {\displaystyle \max(\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 Riemann-összeg úgynevezett felső Darboux-összeg [illetve alsó Darboux-összeg], ami azt mutatja, hogy a két integrál (a Darboux-integrál és a Riemann-integrál) definíciója ekvivalens, illetve, hogy minden Darboux-integrálható függvény Riemann-integrálható függvény is és fordítva és az integrálok értéke mindig megegyezik.
A Riemann–Darboux-integrál (fent) és a Lebesgue-integrál (alul)
Gyakran felmerül az igény arra mind elméletben mind pedig gyakorlati alkalmazásokban, hogy a Riemann-integrált 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 Riemann-integrálható függvények sorozatának határértéke lehet olyan függvény, amely nem Riemann-integrálható. 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. (Rudin 1987).
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, amít egy levélben így magyarázott el Paul Montelnek:
„Ki kell fizetnem egy meghatározott összeget, amelyet összegyűjtöttem a zsebemben. Kivehetem az érméket és bankjegyeket olyan sorrendben, amilyenben csak akarom és ilyen sorrendben oda is adogathatom a célszemélynek addig, amíg el nem érem teljes kifizetendő összeget. Ez a Riemann-integrálnak felel meg. Ugyanakkor más sorrendben is fizethetek. Először is kiveszem az összes pénzt a zsebemből, ezután csoportosítom az érméket és a bankjegyeket az értékük szerint, majd a különféle a csoportokat egyenként adom át a célszemélynek. Ez az én integrálom.”
Ahogy Folland (Folland 1984, p. 56) mondja, "Az f függvény Riemann-integrálásakor az adott [a, b] 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 u mérték definíciójával kezdődik. A legegyszerűbb esetben a Lebesgue-mértéke egy A = [a,b] intervallumnak u(A) az intervallum hossza, b − a, vagyis a Lebesgue-integrál értéke megegyezik a Riemann-integrállal 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 f : R → R függvény integrálja az y = t és y = t + dt egyenesek közé eső területek összege minden t-re (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: u{ x : f(x) > t} dt. Legyen f∗(t) = u{ x : f(x) > t}. Ekkor f Lebesgue-integrálja így definiált (Lieb & Loss 2001):
∫ f = ∫ 0 ∞ f ∗ ( t ) d t {\displaystyle \int f=\int _{0}^{\infty }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 x-tengely által bezárt terület véges, vagyis:
∫ E | f | d u < + ∞ . {\displaystyle \int _{E}|f|\,d\mu <+\infty .}
Ebben az esetben az integrál, csakúgy, mint a Riemann-integrál esetén az x-tengely fölötti terület és az az alatti terület különbsége:
∫ E f d u = ∫ E f + d u − ∫ E f − d u {\displaystyle \int _{E}f\,d\mu =\int _{E}f^{+}\,d\mu -\int _{E}f^{-}\,d\mu }
f + ( x ) = max ( { f ( x ) , 0 } ) = { f ( x ) , ha  f ( x ) > 0 , 0 , különben f − ( x ) = max ( { − f ( x ) , 0 } ) = { − f ( x ) , ha  f ( x )  0,\\0,&{\text{különben}}\end{cases}}\\f^{-}(x)&=\max(\{-f(x),0\})&=&{\begin{cases}-f(x),&{\text{ha }}f(x)<0,\\0,&{\text{különben}}\end{cases}}\end{aligned}}}
Habár a Riemann- és a Lebesgue-integrál 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 Riemann-integrállal, 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 Riemann–Stieltjes-integrál és a Lebesgue-integrál általánosítása.
A Daniell-integrál, amely a Lebesgue-integrál és a Lebesgue–Stieltjes-integrál á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.
Egy zárt [a, b] intervallumon Riemann-integrálható 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 ↦ ∫ a b f ( x ) d x {\displaystyle f\mapsto \int _{a}^{b}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:
∫ a b ( a f + B g ) ( x ) d x = a ∫ a b f ( x ) d x + B ∫ a b g ( x ) d x . {\displaystyle \int _{a}^{b}(\alpha f+\beta g)(x)\,dx=\alpha \int _{a}^{b}f(x)\,dx+\beta \int _{a}^{b}g(x)\,dx.\,}
Hasonlóan a valós értékű Lebesgue-integrálható függvények halmaza egy adott u mértékű E mértéktér felett szintén zárt az elemek linálris kombinációjának való képzésére, vagyis szintén vektorteret alkot és az
f ↦ ∫ E f d u {\displaystyle f\mapsto \int _{E}f\,d\mu }
ahol az integrál a Lebesgue-integrál szintén egy lineáris funkcionál, így:
∫ E ( a f + B g ) d u = a ∫ E f d u + B ∫ E g d u . {\displaystyle \int _{E}(\alpha f+\beta g)\,d\mu =\alpha \int _{E}f\,d\mu +\beta \int _{E}g\,d\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 Daniell-integrál pontosan erre épül. Lásd (Hildebrandt 1953) az axiomatikus definícióért.
Számos Riemann-integrálható zárt korlátos [a, b] 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 [a, b] intervallumon integrálható függvény, szükségszerűen korlátos az [a, b] intervallumon. Vagyis eszerint léteznek m és M valós számok úgy, hogy m ≤ f (x) ≤ M, bármely x ∈ [a, b]-re. Mivel így az alsó és a felső közelítő összegek korlátosak m(b − a) és M(b − a) által, így:
m ( b − a ) ≤ ∫ a b f ( x ) d x ≤ M ( b − a ) . {\displaystyle m(b-a)\leq \int _{a}^{b}f(x)\,dx\leq M(b-a).}
Függvények integráljának egyenlőtlensége Ha f(x) ≤ g(x) minden x ∈ [a, b]-re, 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:
∫ a b f ( x ) d x ≤ ∫ a b g ( x ) d x . {\displaystyle \int _{a}^{b}f(x)\,dx\leq \int _{a}^{b}g(x)\,dx.}
Ezt az egyenlőtlenséget tekinthetjük az előző általánosításának is, hiszen M(b − a) egyenlő az konstans M értékű függvény [a, b] 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 f(x) < g(x) minden x ∈ [a, b]-re, akkor:
∫ a b f ( x ) d x < ∫ a b g ( x ) d x . {\displaystyle \int _{a}^{b}f(x)\,dx<\int _{a}^{b}g(x)\,dx.}
Részintegrál Ha [c, d] egy részintervalluma [a, b]-nek és f(x) nemnegatív minden x-re, akkor:
∫ c d f ( x ) d x ≤ ∫ a b f ( x ) d x . {\displaystyle \int _{c}^{d}f(x)\,dx\leq \int _{a}^{b}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:
( f g ) ( x ) = f ( x ) g ( x ) , f 2 ( x ) = ( f ( x ) ) 2 , | f | ( x ) = | f ( x ) | . {\displaystyle (fg)(x)=f(x)g(x),\;f^{2}(x)=(f(x))^{2},\;|f|(x)=|f(x)|.\,}
Ha f Riemann-integrálható [a, b]-n, akkor |f| is az, és igaz, hogy:
| ∫ a b f ( x ) d x | ≤ ∫ a b | f ( x ) | d x . {\displaystyle \left|\int _{a}^{b}f(x)\,dx\right|\leq \int _{a}^{b}|f(x)|\,dx.}
Továbbá, ha f és g mindketten Riemann-integrálhatóak, akkor fg szintén Riemann-integrálható és:
( ∫ a b ( f g ) ( x ) d x ) 2 ≤ ( ∫ a b f ( x ) 2 d x ) ( ∫ a b g ( x ) 2 d x ) . {\displaystyle \left(\int _{a}^{b}(fg)(x)\,dx\right)^{2}\leq \left(\int _{a}^{b}f(x)^{2}\,dx\right)\left(\int _{a}^{b}g(x)^{2}\,dx\right).}
A fenti egyenlőtlenség az integrálokra megfogalmazott Cauchy–Schwarz-egyenlőtlenség, ami fontos szerepet játszik a Hilbert-terek elméletében.
Hölder-egyenlőtlenség Legyen p és q két valós szám úgy, hogy 1 ≤ p, q ≤ ∞, amikre teljesül még, hogy 1/p + 1/q = 1, és f és g Riemann-integrálható függvények. Ekkor a |f|p és a |g|q függvények szintén Riemann-integrálhatóak és a következő úgynevezett Hölder-egyenlőtlenség teljesül rájuk:
| ∫ f ( x ) g ( x ) d x | ≤ ( ∫ | f ( x ) | p d x ) 1 / p ( ∫ | g ( x ) | q d x ) 1 / q . {\displaystyle \left|\int f(x)g(x)\,dx\right|\leq \left(\int \left|f(x)\right|^{p}\,dx\right)^{1/p}\left(\int \left|g(x)\right|^{q}\,dx\right)^{1/q}.}
Ha p = q = 2, a Hölder-egyenlőtlenség megegyezik a Cauchy–Schwarz-egyenlőtlenséggel.
Minkowski-egyenlőtlenség. Legyen p ≥ 1 egy valós szám és f és g pedig Riemann-integrálható függvények. Ekkor |f|p, |g|p és |f + g|p mind Riemann-integrálhatóak és az úgynevezett minkowski-egyenlőtlenség teljesül:
( ∫ | f ( x ) + g ( x ) | p d x ) 1 / p ≤ ( ∫ | f ( x ) | p d x ) 1 / p + ( ∫ | g ( x ) | p d x ) 1 / p . {\displaystyle \left(\int \left|f(x)+g(x)\right|^{p}\,dx\right)^{1/p}\leq \left(\int \left|f(x)\right|^{p}\,dx\right)^{1/p}+\left(\int \left|g(x)\right|^{p}\,dx\right)^{1/p}.}
Ebben a részben f mindig egy valós Riemann-integrálható függvényt jelent. Az
∫ a b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx}
integrálban az integrálási tartomány az [a, b] intervallum, ha a   b akkor:
Az integrálási határok felcserélése. Ha a > b, akkor használjuk a következő definíciót:
∫ a b f ( x ) d x = − ∫ b a f ( x ) d x . {\displaystyle \int _{a}^{b}f(x)\,dx=-\int _{b}^{a}f(x)\,dx.}
Így, a = b implikálja, hogy:
Integrál nulla hosszúságú intervallumon Ha a egy valós szám, akkor
∫ a a f ( x ) d x = 0. {\displaystyle \int _{a}^{a}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 [a, b] 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 [a, b] intervallumnak, akkor
∫ a b f ( x ) d x = ∫ a c f ( x ) d x + ∫ c b f ( x ) d x . {\displaystyle \int _{a}^{b}f(x)\,dx=\int _{a}^{c}f(x)\,dx+\int _{c}^{b}f(x)\,dx.}
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.
Az integrálfüggvény egy primitív függvénye az integrandusnak[szerkesztés]
Legyen f egy folytonos valós [a, b] intervallumon definiált függvény. Ekkor definiáljuk az F függvényt, minden x ∈ [a, b]-re a következőképpen:
F ( x ) = ∫ a x f ( t ) d t . {\displaystyle F(x)=\int _{a}^{x}f(t)\,dt.}
Vagyis F integrálfüggvény. Ekkor, F folytonos az [a, b] intervallumon és deriválható az (a, b) nyitott intervallumon és:
F ′ ( x ) = f ( x ) {\displaystyle F'(x)=f(x)}
minden x ∈ (a, b)-re.
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[szerkesztés]
Legyen f egy valós függvény az [a, b] intervallumon, úgy, hogy létezik antideriváltja F az [a, b] intervallumon. Vagyis, f és F olyan függvények, hogy minden x ∈ [a, b]-re igaz, hogy:
f ( x ) = F ′ ( x ) . {\displaystyle f(x)=F'(x).}
Ha f integrálható az [a, b] intervallumon, akkor
∫ a b f ( x ) d x = F ( b ) − F ( a ) . {\displaystyle \int _{a}^{b}f(x)\,dx=F(b)-F(a).}
∫ 0 ∞ d x ( x + 1 ) x = π {\displaystyle \int _{0}^{\infty }{\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" Riemann-integrálok 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 Riemann-integrál olyan határértéke, ahol az integrálás felső határa a végtelenbe tart.
∫ a b f ( x ) d x = lim ϵ → 0 ∫ a + ϵ b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx=\lim _{\epsilon \to 0}\int _{a+\epsilon }^{b}f(x)\,dx}
Vagyis az improprius integrál olyan hagyományos Riemann-integrálok 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 ) x ) {\displaystyle 1/((x+1){\sqrt {x}})} függvény 0-tól ∞-ig 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 ∞-be 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 Riemann-integrál (vagyis a megfelelő Riemann-összegek 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 (t > 1. Ennek az eredménye 2 arctan ⁡ ( t ) − π / 2 {\displaystyle 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 s < 1) kapjuk, hogy ez az integrál π / 2 − 2 arctan ⁡ ( s ) {\displaystyle \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
∫ 0 ∞ d x ( x + 1 ) x = lim s → 0 ∫ s 1 d x ( x + 1 ) x + lim t → ∞ ∫ 1 t d x ( x + 1 ) x = lim s → 0 ( π 2 − 2 arctan ⁡ s ) + lim t → ∞ ( 2 arctan ⁡ t − π 2 ) = π 2 + ( π − π 2 ) = π 2 + π 2 = π . {\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {dx}{(x+1){\sqrt {x}}}}&{}=\lim _{s\to 0}\int _{s}^{1}{\frac {dx}{(x+1){\sqrt {x}}}}+\lim _{t\to \infty }\int _{1}^{t}{\frac {dx}{(x+1){\sqrt {x}}}}\\&{}=\lim _{s\to 0}\left({\frac {\pi }{2}}-2\arctan {\sqrt {s}}\right)+\lim _{t\to \infty }\left(2\arctan {\sqrt {t}}-{\frac {\pi }{2}}\right)\\&{}={\frac {\pi }{2}}+\left(\pi -{\frac {\pi }{2}}\right)\\&{}={\frac {\pi }{2}}+{\frac {\pi }{2}}\\&{}=\pi .\end{aligned}}}
A fenti eljárás ugyanakkor nem mindig végződik sikerrel. A Riemann-integrálok 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.
∫ − 1 1 d x x 2 3 = 6 {\displaystyle \int _{-1}^{1}{\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.
∫ − 1 1 d x x 2 3 = lim s → 0 ∫ − 1 − s d x x 2 3 + lim t → 0 ∫ t 1 d x x 2 3 = lim s → 0 3 ( 1 − s 3 ) + lim t → 0 3 ( 1 − t 3 ) = 3 + 3 = 6. {\displaystyle {\begin{aligned}\int _{-1}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}&{}=\lim _{s\to 0}\int _{-1}^{-s}{\frac {dx}{\sqrt[{3}]{x^{2}}}}+\lim _{t\to 0}\int _{t}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}\\&{}=\lim _{s\to 0}3(1-{\sqrt[{3}]{s}})+\lim _{t\to 0}3(1-{\sqrt[{3}]{t}})\\&{}=3+3\\&{}=6.\end{aligned}}}
∫ − 1 1 d x x {\displaystyle \int _{-1}^{1}{\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.
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:
∫ E f ( x ) d x . {\displaystyle \int _{E}f(x)\,dx.}
Itt az x-nek nem muszáj valós változónak lennie, lehet például R3 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 n-sokaság) 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 bezár — tehát az egész közrezárt térrész, térfogat — míg az integrandus a konstans 1 {\displaystyle 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 térfogatát — amelynek az oldalai rendre 4, 6, és 5 egység — kétféleképpen is kiszámíthatjuk:
∬ D 5   d x d y {\displaystyle \iint _{D}5\ dx\,dy}
az integrandus az f(x, y) = 5 függvény. A D tartomány, amely fölött integrálunk az xy-sík azon része, amely a tégalatest 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: 3 ≤ x ≤ 7, 4 ≤ y ≤ 10, akkor a konkrét kettős integrál a következő:
∫ 4 10 [ ∫ 3 7   5   d x ] d y . {\displaystyle \int _{4}^{10}\left[\int _{3}^{7}\ 5\ dx\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 ) {\displaystyle 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.
∭ téglatest 1 d x d y d z {\displaystyle \iiint _{\text{téglatest}}1\,dx\,dy\,dz}
hármasintegrállal, ahol az integrandus a konstans 1 függvény, míg az integrálási tartomány a teljes téglatest.
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: ∮ C F ⋅ d s {\displaystyle \oint _{C}\mathbf {F} \cdot d\mathbf {s} } . 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.[1]
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 = F ⋅ s . {\displaystyle W=\mathbf {F} \cdot \mathbf {s} .}
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 = ∫ C F ⋅ d s {\displaystyle W=\int _{C}\mathbf {F} \cdot d\mathbf {s} }
Vonalintegrálás egy f skalártérben. Az integrál megadja, hogy a C görbe által és a z = f(x,y) felület által meghatározott szalagnak mekkora a területe.
Egy részecske pályája (pirossal) egy vektormezőben. Az a pontból indulva a részecske a C görbe mentén haladva az F vektormezőben mozog a b pontba. Az elmozdulásávektorának (piros vektor) és a vektormezőnek (adott pontbeli elemének) (kék vektor) a skaláris szorzata meghatároz egy függvényt (zöld vonal), amelynek integrálja (vagyis a "zöld görbe alatti előjeles terület", amely a képen világoszöld színű) adja meg a vonalintegrál értékét.
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észkre és ezeken a felosztásokon egy Riemann-összeghez hasonló összeget definiálhatuk. 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 x ∈ S-re, 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:
∫ S v ⋅ d S . {\displaystyle \int _{S}{\mathbf {v} }\cdot \,d{\mathbf {S} }.}
Az ilyen tipusú integrálok jelentik az alapját például az elektrodinamikának.
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 ) {\displaystyle f(x)} egy adott [ a , b ] {\displaystyle [a,b]} intervallumon integrálandó függvény, akkor f {\displaystyle f} -nek az [ a , b ] {\displaystyle [a,b]} intervallumon való antideriváltját vagy más néven primitív függvényét (vagyis azt az F {\displaystyle F} függvényt, amelynek deriváltja f {\displaystyle f} , vagyis F ′ = f {\displaystyle F'=f} ) felhasználva kapjuk, hogy ha az integrálási tartományon sem az integrandusnak (az f {\displaystyle f} függvény), sem az integrandus primitív függvényének nincs szingularitása, akkor:
∫ a b f ( x ) d x = F ( b ) − F ( a ) . {\displaystyle \int _{a}^{b}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:
Inverz függvény szerinti integrálás
Integrálás parciális törtekre bontással
A komplexebb integrálok kiszámíthatóak "alternetí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).
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(x2), xx és a (sin x)/x függvények antideriváltja nem fejezhetőek ki elemi függvényekkel. A Risch-algoritmus (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 Gamma-függvény) 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: Legendre-függvény), hogy saját nevet kapnak (Gamma-függvény stb). A Risch-algoritmus ilyen nem elemi függvényekkel való kiterjesztése aktív kutatási terület jelenleg is.
A szócikk egy része még lefordítandó. Segíts te is a fordításban!
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<sup>18</sup> 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<sup>10</sup> 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''<sub>0</sub>), ''T''(''h''<sub>1</sub>), and so on, where ''h''<sub>''k''+1</sub> is half of ''h''<sub>''k''</sub>. 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''<sub>''k''</sub>,''T''(''h''<sub>''k''</sub>)}<sub>''k'' {{=}} 0…2</sub> {{=}} {(4.00,6.128), (2.00,4.352), (1.00,3.908)}}} is {{nowrap|3.76 + 0.148''h''<sup>2</sup>}}, 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<sup>−13</sup> || −6.3×10<sup>−15</sup> || 8.8×10<sup>−15</sup> || 3.1×10<sup>−15</sup> |- ! 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.
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[szerkesztés]
Az integrálok segítségével definiált néhány függvény/állandó, például Euler–Mascheroni-állandó:
Y = ∫ 1 ∞ ( 1 ⌊ x ⌋ − 1 x ) d x , {\displaystyle \gamma =\int _{1}^{\infty }\left({1 \over \lfloor x\rfloor }-{1 \over x}\right)\,dx\,,}
Γ ( z ) = ∫ 0 ∞ e − t t z − 1 d t , {\displaystyle \Gamma (z)=\int _{0}^{\infty }e^{-t}t^{z-1}dt,}
a Fourier-transzformáció ami a fizika fontos eszköze:
F ( E ) = ∫ − ∞ ∞ f ( x ) e − 2 π i x E d x , {\displaystyle F(\xi )=\int _{-\infty }^{\infty }f(x)e^{-2\pi ix\xi }\,dx,}
F ( s ) = ∫ 0 ∞ f ( t ) e − s t d t , {\displaystyle F(s)=\int _{0}^{\infty }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:
∫ − ∞ ∞ e − x 2 d x = π . {\displaystyle \int _{-\infty }^{\infty }e^{-x^{2}}\,dx={\sqrt {\pi }}.}
Ez a szócikk részben vagy egészben az Integral című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
Apostol, Tom M. (1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra (2nd ed.), Wiley, ISBN 978-0-471-00005-1
Bourbaki, Nicolas (2004), Integration I, Springer Verlag, ISBN 3-540-41129-1. In particular chapters III and IV.
Burton, David M. (2005), The History of Mathematics: An Introduction (6th ed.), McGraw-Hill, p. 359, ISBN 978-0-07-305189-5
Cajori, Florian (1929), A History Of Mathematical Notations Volume II, Open Court Publishing, pp. 247–252, ISBN 978-0-486-67766-8,
Dahlquist, Germund & Björck, Åke (2008), "Chapter 5: Numerical Integration", Numerical Methods in Scientific Computing, Volume I, Philadelphia: SIAM,  . Hozzáférés ideje: 2014-07-29 Archiválva 2007. június 15-i dátummal a Wayback Machine-ben
Folland, Gerald B. (1984), Real Analysis: Modern Techniques and Their Applications (1st ed.), John Wiley & Sons, ISBN 978-0-471-80958-6
Fourier, Jean Baptiste Joseph (1822), Théorie analytique de la chaleur, Chez Firmin Didot, père et fils, p. §231,
Available in translation as Fourier, Joseph (1878), The analytical theory of heat, Cambridge University Press, pp. 200–201,
Heath, T. L., ed. (2002), The Works of Archimedes, Dover, ISBN 978-0-486-42084-4,
(Originally published by Cambridge University Press, 1897, based on J. L. Heiberg's Greek version.)
Hildebrandt, T. H. (1953), "Integration in abstract spaces", Bulletin of the American Mathematical Society 59 (2): 111–139, ISSN 0273-0979, doi:10.1090/S0002-9904-1953-09694-X,
Kahaner, David; Moler, Cleve & Nash, Stephen (1989), "Chapter 5: Numerical Quadrature", Numerical Methods and Software, Prentice Hall, ISBN 978-0-13-627258-8
Kallio, Bruce (1966), A History of the Definite Integral,  . Hozzáférés ideje: 2014-07-29 Archiválva 2014. március 5-i dátummal a Wayback Machine-ben
Katz, Victor J. (2004), A History of Mathematics, Brief Version, Addison-Wesley, ISBN 978-0-321-16193-2
Leibniz, Gottfried Wilhelm (1899), Gerhardt, Karl Immanuel, ed., Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band, Berlin: Mayer & Müller,
Lieb, Elliott & Loss, Michael (2001), Analysis (2 ed.), AMS Chelsea, ISBN 978-0821827833
Miller, Jeff, Earliest Uses of Symbols of Calculus,  . Hozzáférés ideje: 2009-11-22
O’Connor, J. J. & Robertson, E. F. (1996), A history of the calculus,  . Hozzáférés ideje: 2007-07-09
Rudin, Walter (1987), "Chapter 1: Abstract Integration", Real and Complex Analysis (International ed.), McGraw-Hill, ISBN 978-0-07-100276-9
Saks, Stanisław (1964), Theory of the integral (English translation by L. C. Young. With two additional notes by Stefan Banach. Second revised ed.), New York: Dover,
Shea, Marilyn (May 2007), Biography of Zu Chongzhi, University of Maine,  . Hozzáférés ideje: 9 January 2009 Archiválva 2010. június 14-i dátummal a Wayback Machine-ben
Siegmund-Schultze, Reinhard (2008), "Henri Lebesgue", in Timothy Gowers, June Barrow-Green, Imre Leader, Princeton Companion to Mathematics, Princeton University Press.
Stoer, Josef & Bulirsch, Roland (2002), "Chapter 3: Topics in Integration", Introduction to Numerical Analysis (3rd ed.), Springer, ISBN 978-0-387-95452-3.
W3C (2006), Arabic mathematical notation,
Riemann Sum by Wolfram Research
Introduction to definite integrals by Khan Academy
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
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)
A lap eredeti címe: „https://hu.wikipedia.org/w/index.php?title=Integrál&oldid=24975822”
Hivatkozás erre a változatra
Hogyan hivatkozz erre a lapra?
A lap utolsó módosítása: 2022. május 31., 21:21
A lap szövege Creative Commons Nevezd meg! – Így add tovább! 3.0 licenc alatt van; egyes esetekben más módon is felhasználható. Részletekért lásd a felhasználási feltételeket.