Integrala, matematikan, infinitu batugai azkengabe txikiren batuketa da. Kalkulu integrala kalkulu infinitesimalaren parte bat da; batura baten elementu kopurua handitzean eta baturaren elementuen neurria txikitzean, baturak duen limitea aztertzen du. Kalkulu integralaren oinarri intuitiboa integral mugatuaren definizioa da; funtzio baten adierazpen grafikoa den kurbak, aldagai askearen bi baliok ( eta adibidez) eta ardatzak mugatzen duten azaleraren adierazpena alegia.[1]
Kalkulu integrala oso erabilia da ingenieritzan eta matematika orokorrean; batez ere azalerak eta biraketa gorputzen bolumenak kalkulatzeko. Forma diferentzialen integralak funtsezkoak dira geometria diferentzial modernoan. Integral kontzeptuaren zabaltze hori fisikaren beharrek eragin zuten lehenik, eta oso garrantzitsuak dira fisika-lege askoren formulazioan; adibidez, elektromagnetismoaren legeetan. Integralaren kontzeptu berrien oinarria Lebesgueren integrala deritzon teoria matematiko abstraktua da, Henri Lebesguek garatu zuena.
Arkimedes, René Descartes, Isaac Newton eta Isaac Barrow dira integralak erabili zituzten lehenengo zientzialariak. Barrowren lanen eta Newtonen ekarpenen emaitza da kalkulu integralaren oinarrizko teorema, non alderantzizko prozesuak bezala agertzen baitira deribazioa eta integrazioa.
Emanik f(x) funtzio bat, non x aldagai erreala den, eta [a,b] zuzen errealaren tarte bat, orduan integrala
honako hau da: f-ren grafikoak, x ardatzak, eta x = a eta x = b zuzen bertikalek mugatutako xy planoko eskualdearen azalera, non negatiboak baitira x ardatzaren azpiko azalerak. Integral horri integral mugatua edo Riemannen integrala esaten zaio.
"Integral" hitza jatorrizko nozioarekin ere lotu daiteke: deribatua f emandako funtzioa duen F funtzio bat aipatzeko, alegia. Kasu horretan, integral mugagabea deritzo.
Beraz, integral mugatua eta integral mugagabea bereizi behar ditugu.
Izan bedi u x-ren funtzioa eta deribagarria.
Izan bedi u' u-ren deribatua.
Orduan:
Hitzarmenez, integral mugatuak ez direnetan (integral mugagabeetan), beharrezkoa da integralen emaitzan K (integrazio-konstantea) edo beste hizki bat jartzea, hala emaitzak guztiak zehazturik geldi daitezen.
Kalkulu integralaren helburu nagusiak hauek dira:
Integrazioaren hastapenak aurkitzeko antzinako Egiptoraino jo behar dugu, Moskuko matematika-papiroak (K.a. 1800 inguruan) erakusten du Antzinako Egipton jadanik ezagutzen zutel formula bat piramide-enborraren bolumena kalkulatzeko. Integralak determinatzeko balio duen lehenbiziko teknika sistematiko dokumentatua Eudoxoren exhauzio-metodoa da (K.a. 370 inguruan). Metodo horren helburua zen azalerak eta bolumenak kalkulatzea, azalera edo bolumena ezaguna duten formak kopuru infinitutan zatitzearen bidez. Metodo hori Arkimedesek garatu zuen geroago eta parabolen azalerak eta zirkuluaren azaleraren hurbilketa bat kalkulatzeko erabili zuen. Bere aldetik, Txinan, III. mendearen inguruan, Liu Huik antzeko metodoak garatu zituen zirkuluaren azalera kalkulatzeko. Geroago, Zu Chongzhik esferaren bolumena kalkulatzeko erabili zuen metodo hori. XII. mendean Bhaskara II.a indiar matematikariak idatzitako Siddhanta Shiromani astronomia liburuan ere kalkulu integralari dagozkion zenbait ideia aurkitzen dira.
XVI. mendera arte ez zen aurrerapen nabarmenik izan exhauzio-metodoaren gainean. Sasoi hartan, Cavalieri —bere zatiezinen metodoarekin— eta Fermat kalkulu modernoaren lehen oinarriak garatzen hasi ziren; bestetik, XVII. mendearen hasieran, Barrowk eta Torricellik aurrerapauso gehiago egin zituzten. Haien lanetan, integrazioaren eta deribazioaren arteko loturaren lehenengo zantzuak ageri dira.
XVII. mendearen amaieran, Newtonek eta Leibnizek, bakoitzak bere aldetik, kalkuluaren oinarrizko teorema formulatzen dute. Teorema horretan, integrazioa deribazioarekin lotzen dute; eta, hala, funtzio baten integral mugagabea oso erraz kalkula dezakegu haren jatorrizkoren bat ezagutuz gero. Harrez gero, integralak eta deribatuak kalkuluaren oinarrizko erreminta izatera pasa ziren, eta erabilera asko izan dute geroztik bai zientzian, bai injinerutzan.
Bernhard Riemannek integralaren definizio zehatz-zehatza eman zuen. Zati bertikal txikietan zatituz, eskualde lerromakur baten azalera hurbiltzen duen limite batean oinarritzen da. XIX. mendearen hasieran, integralaren nozio sofistikatuagoak agertzen hasi ziren, eta ugaritu egin dira funtzioen motak eta integrazioa aplikatzen zaien eremuak. Integral lerromakurra bizpahiru aldagaiko funtzioetarako definitzen da, eta planoaren edo espazioaren bi puntu lotzen dituen kurba moduko batek ordezkatzen du [a,b] integrazio tartea. Gainazal-integral batean, kurba horren ordez, espazio tridimentsionaleko gainazal zati bat izaten dugu.
Integrazioan, XVII. mendean etorri ziren aurrerapen handienak, Newtonek eta Leibnizek, bakoitzak bere aldetik lan eginez, eta sarritan elkarren aurka ibili arren, kalkuluaren oinarrizko teorema formulatu zutenean. Teorema horrek integrazioaren eta deribazioaren arteko lotura frogatzen du. Lotura hori izateak erraztu egiten du integralak kalkulatzeko prozesua, deribatuak errazagoak baitira kalkulatzen. Bereziki, problema mota gehiago ebazteko aukera ematen digu kalkuluaren oinarrizko teoremak. Horrez gain, aipagarria da Newtonek eta Leibnizek matematikaren esparruan eraikitako marko orokorra. Kalkulu infinitesimal deiturikoari esker, zehatz-mehaz azter ditzakegu eremu jarraituko funtzioak. Gerora, baliabide horrek kalkulu modernora eraman gaitu, eta hala, integralen gaurko notazioak Leibnizek ezarritakoan du jatorria, nahiz eta integrazioaren propietateak eta arauak Newtonek lehenago aurkitu.
Newtonek eta Leibnizek integrazioa ikuspegi sistematikotik aztertzen badute ere, haien lanek badituzte nolabaiteko gabeziak, zehaztasun mailari dagokionez. Gogoangarria da nola eraso zien Berkeley apezpikuak infinitesimaldarrei "desegiten diren kopuruen mamuak" deituz. Kalkuluaren oinarriak sendotu egin ziren limiteak garatu zirenean; eta, XIX. mendearen lehenengo erdian, Cauchyk funts egokiak ezarri zizkion. Integrazioa, erabateko zehaztasunez, Riemannek gauzatu zuen lehenengo aldiz, limiteak erabiliz. Nahiz eta zatikatutako eta bornatutako funtzio jarraitu guztiak integragarriak izan, gerora, funtzio orokorragoei erreparatuta, jabetu ziren bazirela Riemannen definizioa aplikatzen ezin zitzaien funtzioak, eta Lebesguek integralaren[2] definizio desberdin bat eman zuen neurriaren teorian oinarrituta. Riemannen eta Lebesgueren definizioak zabaltzen dituzten beste definizio batzuk ere proposatu dira.
Isaac Newtonek integrazioa adierazteko, barra bertikal txiki bat erabiltzen zuen aldagaiaren gainean, edo aldagaia kutxa baten barruan jartzen zuen. Barra bertikala erraz nahasten zen edo adierazpenekin, Newtonek berak deribazioa adierazteko erabiltzen zuen notazioarekin, alegia; "kutxa" notazioak, berriz, arazoak ematen zizkien inprimatzaileei. Horregatik, notazio horiek ez zuten arrakastarik izan.
Integral mugagabeen notazio modernoa Leibnizek ezarri zuen 1675. urtean.[3][4] Summa (ſumma) adierazteko (latinez, "batuketa" edo "guztira"),"∫", integralaren sinboloa sortu zuen S luzanga hizkia erabiliz. Integral mugatuaren notazio modernoa, integralaren sinboloan beheko eta goiko borneak dituena, Joseph Fourierek erabili zuen lehenengo aldiz Frantziako Akademiaren Mémoires lanean, 1819–20 inguruan; lan hori bere 1822ko[5][6] liburuan berrargitaratu zuen.
Arabiera modernoaren matematika-notazioan, eskuinetik ezkerrera idazten denez gero, integralaren sinbolo alderantzikatua [7] erabiltzen dute.
Funtzio batek integrala badu, integragarria dela esaten dugu. Integrala kalkulatzen duguneko funtzioari integrakizuna deritzogu. Funtzioa integratzen duguneko eskualdeari integrazio-eremua deritzogu. Integralak integrazio-eremurik ez badauka, mugagabea da, eta integrazio-eremua badauka, mugatua da. Normalean, integrakizuna aldagai bat baino gehiagoko funtzio bat izan daiteke; eta integrazio-eremua, bolumen bat, dimentsio gehiagoko eskualde bat, edo baita geometria egiturarik gabeko espazio abstraktua ere.
Kasu soilena, x aldagai erreal bakarreko f funtzioaren integrala [a, b] tartearen gainean, honela idazten da:
∫ ikurrak, "S" luzangak, integrazioa adierazten du; a eta b integrazioaren beheko muga eta goiko muga dira, eta integrazio-eremua zehazten dute; f integrakizuna da, x aldagaia [a,b] tartean zehar aldatzean balioztatu behar duguna; eta dx-ek interpretazio ezberdinak izan ditzake erabiltzen den teoriaren arabera. Adibidez, ikus liteke x integrazio-aldagaia dela adierazten duen ikur bezala soilik, Riemannen baturako pisuen adierazle bezala, neurri bat bezala (Lebesgueren integrazioan eta hedaduretan), infinitesimal bat bezala (analisi ez estandarrean) edo matematika-kantitate independente bat bezala —forma diferentzial bat, alegia—. Kasu korapilatsuenetan notazioa alda daiteke pixka bat.
Integralak oso erabilgarriak dira zenbait kasutan. Esate baterako, igerileku bat laukizuzena baldin bada, haren luzera, zabalera eta sakonera ezagututa, aise kalkula ditzakegu eduki ahal duen ur-bolumena (betetzeko), azalera (estaltzeko), eta ertzaren luzera (estalkia lotzeko). Baina forma obal eta hondo biribildua baditu, integralak beharko ditugu kantitate horiek guztiak kalkulatzeko. Hasieran, nahiko izan daiteke hurbilketa praktikoak egitea; baina, azkenean, era horrelako problemek erantzun guztiz zehatzak beharko dituzte.
Hasteko, demagun y = f(x) funtzioa x = 0 eta x = 1 artean, non f(x) = √x den. Galdera honako hau da:
Azalera hori (oraindik kalkulatzeke) f-ren integrala izango da. Integral horretarako notazioa hau da:
Lehen hurbilketa gisa, x=0-tik x=1-erainoko aldeak sortutako unitate bateko karratua hartuko dugu. Bere azalera 1 da zehazki. Baina, irudian ikus daitekeenez, integralaren benetako balioa txikiagoa da. Hurbilketa egiteko erabilitako zutabeen zabalera txikiagotuz emaitza hobea lortuko dugu; hala, tartea bost zatitan partekatuko dugu, zutabeen oinarrietarako honako puntuak erabiliz: 0, 1⁄5, 2⁄5, 3⁄5, 4⁄5 eta 1; eta zutabeen altuerak hurrenez hurren hauek izango dira: √1⁄5, √2⁄5, √3⁄5, √4⁄5 eta √1 = 1. Laukizuzen hauen azalerak batuz gero, kalkulatu nahi dugun integralerako hurbilketa hobea lortuko dugu.
Ohar gaitezen f funtzioaren balio kopuru finitua batzen ari garela, ondoz ondoko hurbilketaren bi punturen kendurarekin biderkatuta. Hala ere, begi-bistakoa da, erabilitako hurbilketak integralarena baino balio handiagoa ematen duela oraindik. Tartea zati gehiagotan partekatuz gero, hurbilketa doituagoa lortuko genuke; baina, inoiz ez litzateke guztiz zehatza izango: 5 zutabetan zatitu ordez hamabitan zatituz gero —alegia, ezkerreko balioak hartuz, irudian agertzen den bezala— 0,6203ko balio hurbildua lortzen dugu; hortaz, txikiegia, oraingoan. partiketa finitua erabili beharrean partiketa fin azkengabea edo infinitesimala erabiltzean datza gakoa. Integralaren notazioak
integrala batuketa haztatu gisa aurkezten du ("S" luzangak hala adierazita), batuketa horretan batugaiak funtzioaren balioak dira (y = f(x)) diferentzial (dx adierazita) deritzen zabalera infinitesimaleko oinarriekin biderkatuta.
Integralen benetako kalkuluari dagokionez, kalkuluaren oinarrizko teorema —Newtonek eta Leibnizek sorturikoa— da deribazioaren eta integrazioaren arteko funtsezko lotura. f(x) = √x funtzioari dagokion funtzioa F(x) = 2⁄3x3/2 da, beraz, gure adibidearen integrala kalkulatzeko F(1)−F(0) kenketa egin behar dugu, non 0 eta 1 baitira [0,1] tartearen borneak. Hori arau orokor baten adibide bat da: f(x) = xq funtzioari, non q ≠ −1 den, dagokion funtzioa —jatorrizkoa deiturikoa— F(x) = (xq+1)/(q+1) da. Beraz, kurbaren azpiko azalera zehatza honela kalkulatuko dugu:
Historikoki, infinitesimalak zehazki definitzeko lehenengo ahaleginek porrot egin eta gero, Riemannek batuketa haztatuen limite gisa definitu zituen integralak formalki, horrela dx-ek kendura baten limitea iradokitzen du (tartearen zabalera). Riemannen definizioak tarteekiko eta jarraitasunarekiko mendekotasun handia duenez, definizio berriak sortu ziren, hala nola, Lebesgueren integrala bereziki, "neurri" ideia era askoz malguagoan hedatzean oinarritutakoa. Horrela,
notazioa funtzioa zatikatzen deneko balioen batuketa haztatuarekin lotzen da, non μ-k balio bakoitzari dagokion pisua neurtzen duen. Hor A-k integrazio-eskualdea adierazten du. Geometria diferentzialak, "barietateen kalkuluarekin", ohiko notazio horren beste interpretazio bat ematen du. Orain f(x) eta dx forma diferentzialak izango dira, ω = f(x)dx, eragile diferentzial berri bat agertzen da d, kanpoko deribatua deiturikoa, eta oinarrizko teorema orokorragoa den Stokesen teorema bihurtuko da,
eta teorema horretatik eratortzen dira Greenen teorema, dibergentziaren teorema, eta kalkuluaren oinarrizko teorema.
Duela gutxi, berriro infinitesimalak berriro jarri dira boladan, analisi ez estandarra bezalako berrikuntzen bitartez. Metodo horiek aitzindarien intuizioa aldarrikatzeaz gain, matematika berrirantz bideratzen gaituzte, eta intuitiboagoa eta ulergarriagoa bihurtu dute kalkulu infinitesimala.
Integrala ulertzeko modu guztiak berdinak ez diren arren, bat egiten dute maila askotan, esate baterako, forma obaleko igerilekuaren azalera kalkulatzeko elipse geometrikoa erabil daiteke, edo Riemannen integrala, edo Lebesgueren integrala, edo forma diferentzial bat duen barietate bat. Kalkuluaren bidez lortutako emaitza berbera da kasu guztietan.
Riemannena eta Lebesguerena Integralaren definizio garrantzitsuenak badira ere, ez dira bakarrak, hor daude esaterako:
Linealtasuna, integralaren beste definizio bat emateko erabil daiteke zenbait jarraitasun propietaterekin batera. Hori da Daniellen ikuspegia X multzo bateko funtzio errealen kasurako, Bourbakik zabaldu egiten du definizioa bektore-espazio topologikoki trinko batean balioak hartzen dituzten funtzioetarako. Ikusi Hildebrandt (1953)[8] integralaren karakterizazio axiomatiko baterako.
a > b bada, orduan honako hau definitzen da:
Horrek, a = b bada, honako hau dakar:
Bira [a,b] tartean jarraitua den f funtzioa eta puntua. Orduan:
Aurreko propietatea aplikatzen badugu, honako hau izango dugu:
ondo definituta geratzen da a, b, eta c elementuen edozein permutazio ziklikorako.
funtzio jarraitua bada, orduan existitzen da non baita.
[a, b] tarte itxi eta bornatuan Riemannen zentzuan integragarriak diren funtzioetarako zenbait desberdintza betetzen dira. Beste integral nozioetara ere zabal daitezke (Lebesgue eta Daniell).