Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Integraalrekening

Uit Wikisage
Naar navigatie springen Naar zoeken springen
De oppervlakte van S is de integraal van <math>f(x)</math> tussen de curve <math>y=f(x)</math> en de <math>x</math>-as in het interval <math>[a,b].</math>

De integraalrekening is een deelgebied van de wiskunde, in het bijzonder van de analyse. Men gebruikt hierin integralen voor het berekenen van totalen, zoals de totale oppervlakte onder een grafiek, de totale verandering van een gegeven grootheid als voor elk moment de verandering per tijdseenheid gegeven is of het berekenen van de massa van een voorwerp als de dichtheid op elk punt gegeven is.

In het eenvoudigste intuïtieve geval berekent men met een bepaalde integraal van een functie de oppervlakte begrensd door de grafiek van de functie en de horizontale coördinaatas, tussen twee verticale lijnen. De integraal van een functie f over een interval [a,b] wordt genoteerd als

ba f(x)dx

Het resultaat is de oppervlakte S onder de grafiek.

De integraalrekening is verbonden met de differentiaalrekening door de begrippen van de afgeleide en de primitieve functie van een functie. Een primitieve functie van een functie f is een functie F waarvan f de afgeleide is: F'=f. Op een additieve constante na is een primitieve eenduidig bepaald. Het vinden van een primitieve heet primitiveren, een vorm van integreren. Volgens de hoofdstelling van de integraalrekening zijn differentiëren (differentiatie) en integreren (integratie) inverse bewerkingen.

Het begrip integratie kan uitgebreid worden naar meer complexe intervallen, naar integratie over meer variabelen, enz. Afhankelijk van de gegeven functies kan de berekening van integralen een ingewikkeld probleem vormen. Er zijn diverse rekentechnieken, analytische en numerieke, om een functie te integreren.

Inleiding

Integralen komen in veel praktische situaties voor. Denk bijvoorbeeld aan een zwembad. Voor een rechthoekig zwembad kan aan de hand van de lengte, de breedte en de diepte relatief gemakkelijk omtrek, oppervlakte en volume, de hoeveelheid water in het zwembad, bepaald worden. Maar als het een ovaal zwembad is met een afgeronde bodem, vraagt de berekening van deze grootheden om integralen. In veel praktische situaties kunnen eenvoudige benaderingen volstaan, maar in bijvoorbeeld de fijnmechanica is een hoge nauwkeurigheid vereist.

Bestand:Integral approximations.svg
Benaderingen van de integraal van √ x van 0 tot 1, met  5 rechter voorbeelden (boven) en  12 linker voorbeelden (onder)

Beschouw de kromme y=√x tussen x=0 en x=1. Wat is de oppervlakte onder deze kromme, in het interval van 0 tot 1? Deze oppervlakte is de integraal van de functie f(x)=√x over het genoemde interval, en wordt genoteerd als:

10 √x dx

Deze oppervlakte kan benaderd worden met rechthoeken. Als eerste benadering kan het eenheidsvierkant dienen dat wordt gegeven door de zijden x=0 tot x=1 en y=f(0)=0 tot y=f(1)=1. De oppervlakte daarvan is gelijk aan 1. De werkelijke waarde van de integraal moet dus iets kleiner dan 1 zijn. Een betere benadering wordt gegeven door rechthoeken met een geringere breedte, bijvoorbeeld met breedte 1/5 boven de intervallen [0,1/5], [1/5,2/5], en zo verder tot 1. De rechthoeken zijn zo hoog als de hoogte van de kromme aan de rechterkant van het interval, dus achtereenvolgens √{1/5}, √{2/5}, en zo verder tot √1=1. Het totaal van de oppervlakten van deze rechthoeken is een benadering voor de gezochte integraal:

 √(1/5) /5 +  √(2/5) /5 +  √(3/5) /5 +  √(4/5) /5 +  √1 /5 ≈ 0,7497

Ook deze benadering is nog steeds te groot. Gebruik van meer tussenstappen geeft een betere benadering: 12 deelintervallen van breedte 1/12 levert een benaderende waarde voor de oppervlakte van 0,7036. Aangezien de kromme stijgend is, zal ook deze benadering te groot zijn. Neemt men zoals afgebeeld de hoogte van de rechthoeken gelijk aan de functiewaarde in het beginpunt van het deelinterval dan ontstaat als benadering de waarde 0,6203, kleiner dan de gezochte oppervlakte.

Door steeds smallere rechthoeken te nemen, wordt de benadering steeds beter. De limiet in bepaalde zin van dit proces is de integraal.

De notatie

∫ f(x)dx

symboliseert dit limietproces en suggereert de integraal als een som, aangeduid door de langgerekte S, van oneindig veel rechthoeken met als hoogte de functiewaarden f(x) en infinitesimale (oneindig kleine) breedtes dx.

Wat de eigenlijke berekening van integralen betreft, is de hoofdstelling van de integraalrekening, die wij te danken hebben aan Newton en Leibniz, de fundamentele schakel tussen de operaties differentiëren en integreren. Toegepast op de vierkantswortelkromme, f(x)=x1/2, zegt de hoofdstelling dat de gevraagde integraal eenvoudigweg gelijk is aan F(1)-F(0), waarin F(x)=(2/3)x3/2 de primitieve functie van de integrand f is, en 0 en 1 de grenzen van het integratie-|interval zijn. Dus de exacte waarde van het gebied onder de kromme wordt als volgt berekend

10 √x dx = 10 x1/2dx = (2/3).13/2 - (2/3).03/2 = 2/3

Historisch gezien definieerde Riemann, na het mislukken van eerdere pogingen om infinitesimalen strikt te interpreteren, integralen als een limiet van de gewogen sommen, waarin dx de grenzen van een verschil (namelijk de breedte van het interval) suggereerde. De tekortkomingen van Riemanns afhankelijkheid van intervallen en continuïteit motiveerde nieuwere definities, met name de Lebesgue-integraal. De Lebesgue-integraal is gebaseerd op haar vermogen het idee van "maat" op een veel flexibelere wijze uit te breiden. De notatie

Afdμ of ∫Af(x)μ(dx)

verwijst dus naar een gewogen som, waarin de functiewaarden worden gepartitioneerd, waar \mu het gewicht meet, dat aan elke waarde moet worden toegekend. Hier duidt A de regio van integratie aan.

Differentiaalmeetkunde, met zijn "calculus op variëteiten", geeft de bekende notatie nog een andere interpretatie. Nu vormen f(x) en dx een differentiaalvorm, ω = f(x)dx, een nieuwe differentiaaloperator d, die bekendstaat als de uitwendige afgeleide wordt weergegeven, en gaat de hoofdstelling over in de meer algemene stelling van Stokes,

Adω = ∫∂Aω

Uit de stelling van Stokes volgen de stelling van Green, de divergentiestelling en de hoofdstelling van de integraalrekening.

Meer recent zijn infinitesimalen in strenge vorm opnieuw verschenen, bijvoorbeeld in moderne innovaties, zoals de niet-standaard analyse. Niet alleen rechtvaardigen deze methoden de ideeën van de pioniers; ze leiden ook tot nieuwe wiskunde.

Hoewel er verschillen zijn tussen deze concepten van een integraal, bestaat er ook een aanzienlijke overlap. Zo kan de grootte van het oppervlak van het ovale zwembad als een meetkundige ellips, een som van infinitesimalen, een Riemann-integraal, een Lebesgue-integraal of als een variëteit met een differentiële vorm worden gemodelleerd. Steeds is het berekende resultaat hetzelfde.

Geschiedenis

Integraalrekening in voor-analytische tijden

De voorlopers van de integraalrekening kunnen zover terug worden getraceerd als het oude Egypte ongeveer 1800 v.Chr., met de Moskou-papyrus, waaruit kennis blijkt van een formule om het volume van een afgeknotte piramide te berekenen. De eerste gedocumenteerde systematische techniek die in staat is om integralen te bepalen is de uitputtingsmethode van Eudoxus (ca. 370 v.Chr.). Eudoxus probeerde oppervlakten en volumes te vinden door ze op te breken in een oneindig aantal vormen, waarvan de oppervlakte of het volume al bekend was. Deze methode werd verder ontwikkeld en gebruikt door Archimedes, onder andere om oppervlakten van parabolen te berekenen en voor een benadering van de oppervlakte van een cirkel. Vergelijkbare methodes werden in China rond de 3e eeuw na Christus onafhankelijk door Liu Hui ontwikkeld, die deze methoden eveneens gebruikte om de oppervlakte van de cirkel te bepalen. Deze methode werd later in de 5e eeuw door de Chinese vader en zoon, de wiskundigen Zu Chongzhi en Zu Geng, gebruikt om het volume van een bol te vinden.[1] In diezelfde eeuw maakte de Indiase wiskundige Aryabhata gebruik van een soortgelijke methode voor het vinden van het volume van een kubus.[2]

De volgende grote stap in integraalrekening werd gezet in de 11e-eeuw in het in Baghdad residerende Kalifaat van de Abbasiden, waar de Islamitische wiskundige Ibn al-Haytham, in Europa beter bekend als Alhazen, het probleem dat nu bekendstaat als het "probleem van Alhazen", in zijn Boek van Optica formuleerde. De oplossing leidt tot een vierdegraadsvergelijking. Bij het oplossen van dit probleem maakte Alhazen gebruik van integratie om zo het volume van een paraboloïde te vinden. Door gebruik te maken van volledige inductie was hij in staat om zijn resultaat voor de integralen van polynomen tot aan de vierde graad te veralgemenen. Zo kwam hij dicht bij het vinden van een algemene formule voor de integralen van polynomen, maar hij hield zich niet bezig met polynomen van een hogere dan de vierde graad.[2] Enkele ideeën uit de integraalrekening worden ook aangetroffen in de Siddhanta Shiromani, een 12e-eeuwse astronomie tekst van de hand van de Indiase wiskundige Bhāskara II.

De volgende belangrijke doorbraak in de integraalrekening moest tot het begin van de 16e eeuw wachten. Vanaf dat moment werd in de werken van Bonaventura Cavalieri met het naar hem genoemde principe dat de basis is van de methode van ondeelbaarheid van continua, en van Pierre de Fermat, een eerste begin gemaakt met het leggen van het fundament van de moderne analyse. Verdere stappen werden in het begin van de 17e eeuw door Barrow en Torricelli gezet, welke laatste de eerste hints voor een verbinding tussen integraalrekening en differentiatie opmerkte.

Rond dezelfde tijd werd er ook een grote hoeveelheid werk verzet door Japanse wiskundigen, met name door Seki Kowa.[3] Hij leverde een aantal bijdragen, voornamelijk op het gebied van methoden voor het bepalen van oppervlakten van figuren waarbij hij gebruikmaakte van integralen. Daarbij breidde hij de uitputtingsmethode uit.

Newton en Leibniz

De belangrijkste vooruitgang in de integraalrekening werd in de 17e eeuw ongeveer tegelijkertijd met de differentiaalrekening uitgevonden door Isaac Newton en Gottfried Leibniz. Beiden ontdekten onafhankelijk van elkaar de hoofdstelling van de integraalrekening. Deze stelling legt een verbinding tussen integraalrekening en differentiatie. Deze verbinding kan worden benut door een te integreren functie op te vatten als de afgeleide van de te bepalen 'primitieve' integraal. Zodoende kan een veel bredere klasse van problemen door middel van integreren worden opgelost dan voorheen. De infinitesimaalrekening, die zij gebruikten, liet een nauwkeurige analyse van functies binnen continue domeinen toe. Dit raamwerk groeide uiteindelijk uit tot de moderne analyse. De moderne notatie voor integralen is direct afkomstig uit het werk van Leibniz.

Formaliseren van integralen

Hoewel Newton en Leibniz een systematische aanpak van integratie uitwerkten, ontbrak in hun werk een zekere mate van gestrengheid. Dit gaf de Ierse filosoof bisschop Berkeley de gelegenheid het begrip infinitesimaal aan te vallen als "de geesten van vertrokken hoeveelheden". De analyse kwam op een steviger voetstuk door de ontwikkeling van het begrip limiet. In de eerste helft van de 19e eeuw legde Cauchy het eerste fundament voor de analyse. In het midden van de 19e eeuw gaf Riemann de eerste strenge geformuleerde theorie van de integraalrekening. Hoewel alle stuksgewijs begrensde continue functies over een begrensd interval Riemann-integreerbaar zijn, werden later andere typen functies onderzocht waarop Riemanns definitie niet van toepassing was. Rond 1900 formuleerde Lebesgue een andere definitie van een integraal, die was gebaseerd op het begrip maat uit de maattheorie, een deelgebied van de reële analyse. Later werden ook nog andere definities van een integraal, alle uitbreidingen van de benaderingen van Riemann en Lebesgue, voorgesteld.

De eerste toepassingen van de integraalrekening werden gevonden op het gebied van de mechanica. Het concept van de integraal is in de loop van de tijd toegepast op allerlei situaties. Er wordt in de natuurkunde veel van de integraalrekening gebruikgemaakt.

Notatie

De notatie met de "lange s" ∫ werd door Leibniz geïntroduceerd. De integraal ba f(x)dx wordt daarin gezien als een limiet van ∑f(x)Δx; het ∫-teken is de limietvorm van het sommatieteken en stelt de integratie voor, a en b zijn de eindpunten van het interval, f(x) is de functie die wordt geïntegreerd, en dx is de limiet van Δx en stelt een infinitesimaal klein stukje van de x-as voor. Historisch gezien stelde dx een infinitesimaal voor, en ∫ betekende "som" (Latijn: ſumma, summa). Moderne theorieën zijn hier echter niet meer op gebaseerd en de traditionele symbolen zijn nu slechts een wiskundige notatie

Isaac Newton maakte om een integraal aan te geven gebruik van een kleine verticaal balkje boven een variabele. Ook plaatste hij de betreffende variabele wel in een vierhoek. Het verticale balkje wordt gemakkelijk verward met x. of x', die Newton gebruikte om differentiëren aan te geven. Newtons notatie wordt weinig meer gebruikt.

Voorbeeld

Bestand:Opp sin.gif

De oppervlakte tussen de x-as en de grafiek van de sinusfunctie op het interval [0,π] als integraal.

Omdat de sinusfunctie continu is, volgt uit de hoofdstelling van de integraalrekening, dat het volstaat een functie te vinden die als afgeleide sin(x) heeft. De functie -cos(x) voldoet daaraan: -cos'(x)=sin(x). Er volgt

π0 sin(x)dx = [-cos(x)]0π = -cos(π) - (-cos(0)) = 1 + 1 = 2.

Hoofdstelling van de integraalrekening

De hoofdstelling (of grondformule) van de integraalrekening legt een verband tussen een primitieve functie en de integraal.

Stel de reële functie f in het interval [a,b] is continu en f is de afgeleide van F, dan is:

ba f(x)dx = F(b) - F(a)}

Integratietechnieken

Er is een aantal methoden om de primitieve functies F van een gegeven functie f te bepalen. De belangrijkste staan hieronder vermeld. Ze hebben tot doel de integraal anders te schrijven, mogelijk te vereenvoudigen, zodat een primitieve functie gemakkelijker kan worden gevonden. Met deze technieken worden onbepaalde integralen gevonden, dus onafhankelijk van het integratie-interval.

Drie veel gebruikte methoden om een functie te integreren zijn:

Het is soms mogelijk een integraal waarvan de beide integratiegrenzen zijn gegeven, te berekenen, ondanks dat van de te integreren functie met de genoemde methoden geen primitieve functie kan worden bepaald. De integratiegrenzen mogen hierbij naar –∞ en +∞ gaan. Een bekend voorbeeld is de Gauss-integraal, de integraal van de Gaussische functie. Twee methoden, die alleen niet voor de Gauss-integraal worden gebruikt, om dergelijke integralen toch te berekenen zijn

Bij het berekenen van de Gauss-integraal en bij het gebruik van deze twee methoden wordt dus van de te integreren functie zelf geen primitieve bepaald.

Via de gelijkheid van Parseval kunnen sommige integralen in een eindige som worden omgezet. Dit wordt vooral bij berekeningen met Fouriertransformaties gebruikt.

Uitbreidingen

Het begrip integraal en de bijhorende integratietheorie blijft niet beperkt tot het eenvoudig geval van integratie van reële eendimensionale functies. Verschillende uitbreidingen zijn mogelijk, zoals integratie van complexe functies, integratie over andere intervallen en integratie in meer variabelen.

Oneigenlijke integralen

In principe is de Riemannintegraal alleen gedefinieerd voor eindige intervallen. In sommige gevallen zal het echter voorkomen dat we wensen te integreren over een oneindig interval. Een ander probleem kan zich stellen wanneer de te integreren functie een discontinuïteit vertoont in het beschouwde interval en er sprake is van een verticale asymptoot. Een manier om deze problemen aan te pakken bestaat er in om een limiet van de integraal te beschouwen. Een eenvoudig voorbeeld van zo'n integraal is:

+∞0 f(x)dx

Lijnintegralen

Het gebied waarover men integreert hoeft niet beperkt te blijven tot een eendimensionale verzameling. Indien men integreert langs een kromme in een meerdimensionaal domein, dan spreken we van een lijnintegraal. Indien de kromme gesloten is, spreekt men van een contourintegraal of kringintegraal.

Lijnintegralen worden onder andere in het complexe vlak gedefinieerd. Stel dat c in het interval [a,b] een parametrisering is van een gladde kromme C, en f een complexe functie, dan definieert men de complexe integraal van de functie f(z) langs de kromme C als:

Cf(z)dz = ba f(c(t))c'(t)dt

Ook in de vectorcalculus worden lijnintegralen berekend. Veronderstel een scalair veld f, en een kromme C, voorgesteld door de parametrisatie r(t) met t in [a,b]. Dan wordt de lijnintegraal gedefinieerd als

Cfds = ba f(r(t))|r'(t)|dt.

Een eenvoudige toepassing van deze formule bekomt men wanneer f=1, men integreert dan immers over de volledige lengte van de kromme met de waarde 1: op die manier berekent men uiteindelijk de lengte van de kromme.

Op een analoge manier wordt dit voor een vectorveld F op dezelfde kromme:

CFdx = baF(r(t)).r'(t)dt.

Meervoudige integralen

Het integratie-interval hoeft geen kromme te zijn met één veranderlijke parameter. Men kan ook integreren over meer variabelen, men integreert dan bijvoorbeeld over een oppervlak of een volume. Men spreekt dan van respectievelijk een oppervlakte-integraal en een volume-integraal. In het eenvoudige geval van een integraal van een functie f over een deel A van het xy-vlak krijgen we:

∫∫A f(x,y)dxdy

Deze integraal kan in sommige gevallen berekend worden als herhaling van twee eendimensionale integralen. Bijvoorbeeld als A een rechthoek is met zijden evenwijdig aan de assen:

∫∫Af(x,y)dxdy = ba (dcf(x,y)dx)dy

Indien er drie veranderlijken zijn spreekt men van een volume-integraal:

∫∫∫f(x,y,z)dxdydz

In de vectoranalyse leggen stellingen zoals de stelling van Green en de divergentiestelling verband tussen verschillende soorten van deze integralen.

Formele definitie

Er zijn verschillende manieren om de integraal van een functie te definiëren. De gebruikelijkste zijn de Riemann- en de Lebesgue-integraal.

Riemannintegratie

Riemannintegratie, ontwikkeld door Bernhard Riemann is het eenvoudigst te begrijpen. Bij Riemannintegratie van een functie wordt het interval [a,b] onderverdeeld in smalle deelintervallen. Men verdeelt als het ware de oppervlakte onder de grafiek in smalle rechthoekjes. Hoe smaller men deze rechthoekjes maakt, hoe beter de totale oppervlakte van al deze rechthoekjes samen de werkelijke oppervlakte benadert. Deze definitie sluit intuïtief ook aan bij de historische notaties van integralen. Men berekent in elk punt de oppervlakte van een rechthoekje door vermenigvuldiging van de hoogte f(x) met de breedte dx en men sommeert dit over het volledig interval.

Lebesgue-integratie

De Lebesgue-integratie werd door Henri Lebesgue gedefinieerd. Lebesgue-integratie is gedefinieerd door convergentie van functies en kan toegepast worden op functies waarvoor de Riemannintegraal niet gedefinieerd is. Wel is het zo dat wanneer de Riemannintegraal van een functie bestaat, de Lebesgue-integraal ook bestaat en gelijk is aan de Riemannintegraal.

Andere definities

Naast de Riemann- en Lebesgue-integralen bestaan nog een aantal andere integralen, waaronder:

Voetnoten

  1. º (en) M Shea. Zu Chongzhi - 429-500 - 祖冲之, mei 2007. Biografie van Zu Chongzhi
    (en) VJ Katz voor de Universiteit van Maine. A History of Mathematics, 2004. pag 125-126, ISBN 978-0-321-38700-4
  2. 2,0 2,1 (en) VJ Katz in Mathematics Magazine. Ideas of Calculus in Islam and India, 1995. 68 (3): 163-174 [165]
  3. º (en) Takakazu Shinsuke Seki
  4. º (en) Integration: The Feynman way (pdf)
  5. º voorbeeld (en) YouTube. Feynman technique of integration.
rel=nofollow

Wikimedia Commons  Zie ook de categorie met mediabestanden in verband met Integral functions op Wikimedia Commons.

rel=nofollow
rel=nofollow
rel=nofollow