Hoofdstelling van de integraalrekening

De hoofdstelling van de integraalrekening is een stelling uit de wiskunde die het verband geeft tussen de begrippen afgeleide en de integraal. Het is een centraal resultaat van de integraalrekening, of ruimer: de reële analyse, vandaar de naam. De stelling zegt dat differentiëren en integreren elkaars omgekeerde bewerkingen zijn. De concrete formulering en het bewijs hangt af van de gekozen definities en de gebruikte notie van integratie. In dit artikel wordt de meest elementaire notie van integreren gebruikt: de riemannintegraal.

Stelling

De hoofdstelling van de integraalrekening bestaat uit twee delen. Het eerste deel stelt dat de integraal van een functie een primitieve functie is en het tweede doet de omgekeerde uitspraak: een primitieve functie geeft de integraal van een functie, op een constante na. Primitieve functie, primitieve, stamfunctie en onbepaalde integraal betekenen hetzelfde.

Eerste deel

Zij ${\displaystyle f\colon [a,b]\to \mathbb {R} }$ een reële continue functie op het interval ${\displaystyle [a,b]\subset \mathbb {R} }$, dan is voor alle ${\displaystyle x_{0}\in [a,b]}$ de functie ${\displaystyle F\colon [a,b]\to \mathbb {R} }$, gedefinieerd door

${\displaystyle F(x)=\int _{x_{0}}^{x}f(t){\rm {d}}t}$

differentieerbaar en een primitieve functie van ${\displaystyle f}$, dat wil zeggen ${\displaystyle F^{\prime }(x)=f(x)}$ voor alle ${\displaystyle x\in [a,b]}$.

Tweede deel

Het tweede deel van de stelling maakt duidelijk dat men de integraal van een functie kan berekenen aan de hand van een primitieve functie:

Zij ${\displaystyle f\colon [a,b]\to \mathbb {R} }$ een continue functie met primitieve functie ${\displaystyle F\colon [a,b]\to \mathbb {R} }$, dan geldt:

${\displaystyle \int _{a}^{b}f(x){\rm {d}}x=F(b)-F(a)}$

Intuïtieve verklaring

 Integraal ${\displaystyle A(x)}$ van ${\displaystyle f}$ tussen ${\displaystyle 0}$ en ${\displaystyle x}$

 ${\displaystyle h\ f(x)}$

De oppervlakte onder de grafiek van de functie ${\displaystyle y=f(x)}$ boven het interval ${\displaystyle [0,x]}$ is een functie ${\displaystyle A(x)}$ van ${\displaystyle x}$.

${\displaystyle A(x)=\int _{0}^{x}f(x)\ \mathrm {d} x}$

Het verschil ${\displaystyle A(x+h)-A(x)}$ is de oppervlakte onder de grafiek boven het interval ${\displaystyle [x,x+h]}$. Voor kleine ${\displaystyle h}$ is die oppervlakte ongeveer gelijk aan ${\displaystyle h\ f(x)}$. Bijgevolg is:

${\displaystyle f(x)\approx {\frac {A(x+h)-A(x)}{h}}}$

In de limiet voor ${\displaystyle h\to 0}$ staat rechts de afgeleide van ${\displaystyle A}$, de oorspronkelijke functie ${\displaystyle f}$.

Opmerking

Merk wel op dat de primitieve functie van de afgeleide van een functie op een constante na kan verschillen van de oorspronkelijke functie. De primitieve functie is niet uniek: als ${\displaystyle F}$ een primitieve functie is van ${\displaystyle f}$, is ${\displaystyle F+C}$ voor elke constante ${\displaystyle C}$ dat ook. Deze onbepaaldheid levert echter geen probleem op, indien men het verschil neemt van twee waarden van een primitieve functie, zoals de uitdrukking in ${\displaystyle F(b)-F(a)}$ hierboven.

Bewijs

Om het eerste deel te bewijzen, moet men aantonen dat de afgeleide van ${\displaystyle F(x)}$. gegeven door

${\displaystyle \lim _{h\to 0}{\frac {F(x+h)-F(x)}{h}}}$,

bestaat en gelijk is aan ${\displaystyle f(x)}$.

Eerste deel

Kies een vaste ${\displaystyle x\in [a,b]}$ en een voldoende kleine ${\displaystyle h\neq 0}$, zodat ${\displaystyle x+h\in [a,b]}$. Dan geldt

${\displaystyle {\frac {F(x+h)-F(x)}{h}}={\frac {1}{h}}\left(\int _{x_{0}}^{x+h}f(t)\,{\rm {d}}t-\int _{x_{0}}^{x}f(t)\,{\rm {d}}t\right)={\frac {1}{h}}\int _{x}^{x+h}f(t)\,{\rm {d}}t}$

Vanwege de middelwaardestelling bestaat er een reëel getal ${\displaystyle \xi _{h}}$ tussen ${\displaystyle x}$ en ${\displaystyle x+h}$, zodat voor het rechterlid geldt:

${\displaystyle {\frac {1}{h}}\int _{x}^{x+h}f(t)\,{\rm {d}}t=f(\xi _{h})}$

In de limiet voor ${\displaystyle h\to 0}$, moet ${\displaystyle \xi _{h}\to x}$ en dus ook ${\displaystyle f(\xi _{h})\to f(x)}$ vanwege de continuïteit van ${\displaystyle f.}$ Bijgevolg is

${\displaystyle \lim _{h\to 0}{\frac {F(x+h)-F(x)}{h}}=\lim _{h\to 0}f(\xi _{h})=f(x)}$

Dit betekent precies dat de afgeleide van ${\displaystyle F}$ ter hoogte van ${\displaystyle x}$ bestaat en gelijk is aan ${\displaystyle f(x)}$.

Tweede deel

Het bewijs van het tweede deel volgt uit het eerste. Stel dat men een primitieve functie ${\displaystyle F}$ heeft. Uit het eerste deel volgt dat ook de functie ${\displaystyle F_{a}\colon [a,b]\to \mathbb {R} }$ gedefinieerd als

${\displaystyle F_{a}(x)=\int _{a}^{x}f(t){\rm {d}}t}$

een primitieve functie is. Bijgevolg zijn beide, als primitieve functies van ${\displaystyle f}$, op een constante na gelijk: ${\displaystyle F_{a}(x)=F(x)+C}$ voor een bepaald getal ${\displaystyle C}$. Dan is

${\displaystyle F(b)-F(a)=F_{a}(b)-F_{a}(a)=\int _{a}^{b}f(x){\rm {d}}x-\int _{a}^{a}f(x){\rm {d}}x=\int _{a}^{b}f(x){\rm {d}}x}$

Wat het tweede deel van de stelling bewijst.

Integreren

Volgens de hoofdstelling is het berekenen van de oppervlakte onder een functie ${\displaystyle f}$ herleid tot het zoeken van een primitieve functie ${\displaystyle F}$ van ${\displaystyle f}$. Stel dat men de oppervlakte onder de functie ${\displaystyle f(x)=x^{2}}$ wil kennen, zeg tussen de punten ${\displaystyle x=0}$ en ${\displaystyle x=2}$. De functie ${\displaystyle F(x)=x^{3}/3}$ is een primitieve functie van ${\displaystyle f}$.

${\displaystyle \int _{0}^{2}x^{2}\,\mathrm {d} x=F(2)-F(0)={\tfrac {2^{3}}{3}}-{\tfrac {0^{3}}{3}}={\tfrac {8}{3}}}$

Dankzij het verband met differentiëren kan men een aantal zeer nuttige rekenregels opstellen voor het uitvoeren van integralen. De productregel voor differentiëren kan men met de hoofdstelling vertalen naar de techniek van partiële integratie. Op analoge manier kan men de kettingregel gebruiken om de substitutieregel van integralen aan te tonen. Deze technieken maken het mogelijk van een zeer breed gamma aan functies de integraal te bepalen. Niet van elke functie is een primitieve functie te berekenen, maar van de meeste bekende functies wel.

Externe link

• Werkblad, oefeningen en uitleg, over de hoofdstelling van de integraalrekening.