Kalkylens fundamentala sats är central för studiet av kalkyl. Det är den sats som visar förhållandet mellan derivatan och integralen och mellan den bestämda integralen och den obestämda integralen. Den är uppdelad i två delar, kalkylens första fundamentala sats och kalkylens andra fundamentala sats. I korthet kopplar satsen ihop två huvudbegrepp i analys: att integrera en funktion (samla upp areor) och att derivera en funktion (mäta lokala förändringar).
Första fundamentala satsen (kontakt mellan integral och derivata)
Påstående. Antag att f är kontinuerlig på ett intervall som innehåller a. Definiera F(x) = ∫_a^x f(t) dt för x i detta intervall. Då är F differentierbar och
F'(x) = f(x) för alla x i intervallet.
Förklaring (intuition). F(x) mäter den ackumulerade arean under kurvan f från a till x. Om x ökar en liten bit h så förändras arean ungefär med f(x)·h (arean av en smal rektangel med höjd f(x)). Dividerar man förändringen i arean med h och låter h → 0 får man f(x).
Andra fundamentala satsen (Newton–Leibniz-formeln)
Påstående. Om f är kontinuerlig på [a, b] och F är en primitiv funktion till f (d.v.s. F'(x) = f(x) för alla x i [a, b]) så gäller
∫_a^b f(x) dx = F(b) − F(a).
Detta ger ett kraftfullt verktyg: för att beräkna en bestämd integral behöver man hitta någon primitiv funktion och sedan ta differensen mellan dess värden i ändpunkterna.
Bevisöversikt
- Första satsen: Betrakta differenskvoten (F(x+h) − F(x))/h = (1/h)∫_x^{x+h} f(t) dt. Eftersom f är kontinuerlig kan man använda medelvärdessatsen för integraler eller uppskatta integralen av f på [x, x+h] så att kvoten tenderar mot f(x) när h → 0.
- Andra satsen: Om F är en primitiv till f, så är funktionen G(x) = ∫_a^x f(t) dt också en primitiv till f enligt första satsen. Skillnaden H(x) = G(x) − F(x) har då derivatan 0, vilket innebär att H är konstant. Därmed G(b) − G(a) = F(b) − F(a), vilket ger formeln för den bestämda integralen.
Exempel
- Definiera F(x) = ∫_0^x t^2 dt. Då är F(x) = x^3/3 (en primitiv) och enligt första satsen är F'(x) = x^2, vilket stämmer med funktionen under integralen.
- Beräkna ∫_1^4 2x dx. En primitiv är F(x) = x^2, så ∫_1^4 2x dx = F(4) − F(1) = 16 − 1 = 15.
Allmänna varianter och kommentarer
- Om både övre och undre gränsen beror på x gäller Leibniz regel: d/dx ∫_{u(x)}^{v(x)} f(t) dt = f(v(x)) v'(x) − f(u(x)) u'(x), under lämpliga kontinuitetsantaganden.
- Kontinuitet på intervallet är en tillräcklig villkor för satsens enkla formulering. Det finns mer tekniska varianter: om f är endast Riemann-integrerbar kan delar av satsen fortfarande gälla, och inom Lebesgue-teorin finns ännu bredare villkor.
- För improper integraler och integraler med singulära punkter krävs extra försiktighet: man måste kontrollera konvergens innan man använder Newton–Leibniz-formeln.
Tillämpningar
- Beräkning av bestämda integraler genom att hitta primitiva funktioner.
- Länken mellan differentialekvationer och integraler: lösningar kan uttryckas med integraler och primitiva funktioner.
- Begreppsmässig förståelse av area, ackumulerad kvantitet och sambandet mellan lokala förändringshastigheter och totala förändringar.
Kalkylens fundamentala sats utgör en av de viktigaste broarna i analys: den visar att differentiering och integration inte är oberoende operationer, utan snarare inverter av varandra under lämpliga villkor.
.gif)