5.1 Fundamentalteoremet og integraler med variable grenser
Analysens fundamentalteorem begge veier, og derivasjon av integraler med variable grenser via kjerneregelen — med veldefinerthetsargument for integranden.
- Oppgaven «deriver » finnes i 10 av 34 arkiverte sett (2003–2020). Den hører til J-familien i bokas sjangermerking (se Del 0) — sjanger er bare bokas navn på en oppgavetype som går igjen.
- Poenget er nesten aldri å beregne integralet — integranden er typisk uten elementær antiderivert (som eller ). Du skal bruke analysens fundamentalteorem pluss kjerneregelen, og det tar under fem minutter når malen sitter.
- I H2018-varianten krevde løsningsforslaget i tillegg et veldefinerthetsargument: en setning om at integranden er kontinuerlig på integrasjonsområdet, slik at integralfunksjonen i det hele tatt finnes. Den setningen er gratis når du vet at den skal med.
- Prioritet: kunne — dette er ikke settets tyngste oppgave, men den er rask og poengsikker, og teoremet her er fundamentet for hele Del 5.
Sist du var her — de to formlene du må ha friskt i minne:
Derivasjon og integrasjon ser ut som to helt forskjellige operasjoner: den ene måler stigning i et punkt, den andre samler opp areal over et intervall. Analysens fundamentalteorem sier at de er hverandres motsatte operasjoner — og det i to retninger. Del 1 sier at hvis du deriverer en arealfunksjon, får du integranden tilbake. Del 2 sier at du kan beregne et areal ved å finne en antiderivert og sette inn grensene.
På MAT111-eksamen brukes begge retninger aktivt. Del 2 bruker du hver gang du beregner et bestemt integral (hele resten av Del 5). Del 1 testes direkte i FTC-oppgaven: derivér — et integral ingen kan beregne eksakt, men som alle kan derivere på tre linjer.
Kapitlet har tre læringsløkker: (1) integralfunksjonen og fundamentalteoremets del 1, (2) variable grenser og kjerneregel-faktoren, (3) del 2 og analyse av integralfunksjoner. Ta en pause mellom løkkene — de bygger på hverandre.
Løkke 1 — Integralfunksjonen og fundamentalteoremets del 1 (~15 min)
for alle i intervallet. For eksempel er en antiderivert til . Antideriverte kalles også ubestemte integraler.
At det ikke finnes flere, følger av sekantsetningen (MVT): to funksjoner med samme deriverte på et intervall avviker med en konstant.
For kontinuerlige eksisterer grensen alltid. At dette sum-tallet kan beregnes med antideriverte, er nettopp fundamentalteoremets innhold — det er et teorem, ikke en definisjon.
Vi sier at integrasjonsvariabelen er stum. Derfor skriver vi integralfunksjoner som med inni: er opptatt som øvre grense og kan ikke også være integrasjonsvariabel.
Det bestemte integralet teller areal med fortegn: biter der grafen ligger over -aksen bidrar positivt, biter under aksen bidrar negativt. Derfor kan godt være null eller negativt selv om grafen «har areal» — integralet er netto-summen, ikke det geometriske arealet.
Geometrisk er arealet (med fortegn) under grafen til fra og fram til . Når flyttes, endres arealet — og fundamentalteoremet forteller hvor fort.
At integralfunksjonen er veldefinert, betyr at integralet faktisk eksisterer for alle vi tillater. Standardargumentet er ett steg: integranden er kontinuerlig på hele integrasjonsområdet — da eksisterer det bestemte integralet, og dermed . Har integranden et brudd (f.eks. i ), må definisjonsområdet til innskrenkes slik at bruddet aldri havner mellom grensene.
Å derivere arealfunksjonen gir integranden tilbake — derivasjon opphever integrasjon.
Merk hva teoremet ikke sier: du trenger aldri finne noen antiderivert for å derivere en integralfunksjon. Det er hele poenget i eksamensoppgaven — integranden er valgt slik at ingen antiderivert finnes blant elementære funksjoner.
La . Forklar hvorfor er definert for alle , og finn .
Derivasjon: etter analysens fundamentalteorem, del 1, er
Ingen antiderivert trengs — vi leser bare av integranden i .
La (denne integranden har ingen elementær antiderivert).
a) Finn .
b) Begrunn at er strengt voksende på hele .
La .
a) Hva er ?
b) Finn .
c) For hvilke er veldefinert? (Hint: hvor er integranden definert og kontinuerlig?)
Løkke 2 — Variable grenser og kjerneregel-faktoren (~20 min)
Et integral der grensene er like, er null: — det er «arealet» av en strekning uten bredde. Dette brukes ofte som kontrollpunkt: en integralfunksjon oppfyller alltid .
Dette er konvensjonen som får hele grenseregningen til å gå opp, og den er nøkkelen til å håndtere integraler der nedre grense varierer.
Med fortegnssnu-konvensjonen gjelder dette for alle plasseringer av , og i integrandens kontinuitetsintervall — det er dette som lar oss splitte integraler med to variable grenser i et fast mellompunkt.
Integranden leses av i øvre grense — og så ganges det med den deriverte av grensen. Dette er ikke en ny regel, bare fundamentalteoremet del 1 satt sammen med kjerneregelen: har derivert .
Faktoren i formelen kalles kjerneregel-faktoren. Den er den hyppigste glippen i FTC-oppgaven: å svare alene er å derivere i feil variabel. Huskeregel: øvre grense er en «kjerne» — og kjerner skal alltid etterderiveres.
Øvre grense bidrar med pluss, nedre med minus — minusen kommer fra fortegnssnuen .
Utledningen som gir full uttelling på eksamen, er splittingen: velg et fast tall i definisjonsområdet og skriv
og deriver hvert ledd med kjerneregel-formelen.
La for . Begrunn at er veldefinert for alle , og finn .
Derivasjon: med (så ) gir fundamentalteoremet del 1 kombinert med kjerneregelen:
Konklusjon: for .
(Kontroll: uten kjerneregel-faktoren ville svaret manglet hele -avhengigheten i farten til grensen — en klassisk nulltrekk-glipp.)
La . Finn .
Splitt i et fast punkt, f.eks. :
Deriver hvert ledd med kjerneregel-formelen ( gir faktor ; gir faktor ):
Konklusjon: .
La . Finn , og forklar hvorfor er veldefinert for alle .
Finn .
Løkke 3 — Del 2: beregning og analyse av integralfunksjoner (~15 min)
Sum-grensen fra Riemann-definisjonen kan altså beregnes ved å finne én antiderivert og sette inn grensene — det er dette som gjør resten av Del 5 mulig.
I føringen skriver du antideriverte i klammen først, og deretter innsettingen som eget steg — da ser sensor både at antideriverten er riktig og at innsettingen er riktig.
To beslektede, men forskjellige objekter: det ubestemte integralet er en funksjonsfamilie (alle antideriverte), mens det bestemte integralet er et tall. Konstanten trengs bare i det ubestemte — i det bestemte kansellerer den i .
Beregn .
Fundamentalteoremets del 2:
Sluttsvar: .
Siden , arver integralfunksjonen sin monotoni direkte fra integrandens fortegn: er voksende der og avtagende der . Du drøfter altså uten å kjenne noe uttrykk for den — fortegnsskjemaet til integranden er alt du trenger.
Integralfunksjonen er alltid penere enn integranden: er kontinuerlig, blir deriverbar (fundamentalteoremet) — og dermed også kontinuerlig. Integrasjon glatter ut; derivasjon gjør det motsatte. Dette er grunnen til at drøfting av alltid er trygg når integranden er kontinuerlig.
Kandidatene for ekstremalpunkter til er nullpunktene til integranden (). Skifter fortegn fra pluss til minus i nullpunktet, har lokalt maksimum der; fra minus til pluss gir lokalt minimum. Ingen fortegnsskifte — ikke noe ekstremalpunkt.
La . Finn alle lokale ekstremalpunkter for , og avgjør hvor er voksende.
Fortegnsdrøfting: alltid, så fortegnet styres av :
- : (begge faktorer negative, produkt positivt) — voksende
- : — avtagende
- : — voksende
Konklusjon: er voksende på og , avtagende på . Fortegnsskiftet pluss→minus i gir lokalt maksimum i ; minus→pluss i gir lokalt minimum i . (Merk: alt dette uten å kjenne noe uttrykk for .)
Beregn med fundamentalteoremets del 2, med innsettingsklamme i føringen.
La .
a) Finn og alle lokale ekstremalpunkter for .
b) På hvilket intervall er avtagende?
- Kjerneregel-faktoren glemmes. er — ikke bare . Øvre grense er en kjerne og skal etterderiveres.
- Feil fortegn med to variable grenser. Nedre grense bidrar med minus: . Bytt aldri rekkefølgen.
- Veldefinerthetsargumentet droppes. Løsningsforslagene (H2018) krever setningen om at integranden er kontinuerlig på integrasjonsområdet. Én setning — men den må stå der.
- og forveksles i drøftingen. Nullpunktene til integranden er kandidater for ekstremalpunkter til integralfunksjonen. Å sette er feil spørsmål.
- Integrasjonsvariabelen blandes med grensen. Skriv aldri — inni skal det stå en stum variabel: .
Drilloppgaver
Stigende vanskegrad. Skriv veldefinerthetssetningen i alle oppgavene der den er del av spørsmålet — det er slik føringen skal se ut på eksamen.
Finn .
Beregn .
Finn .
La . Finn og forenkle.
For hvilke er veldefinert? Finn der.
La .
a) Vis at har nøyaktig ett lokalt ekstremalpunkt, og avgjør typen.
b) Begrunn at uten å beregne noen av verdiene.
La for .
a) Begrunn at er veldefinert, og finn med kjerneregel-formelen.
b) Kontroller svaret ved først å beregne integralet eksakt (antiderivert til er ) og så derivere.
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Bergen. Dette er ikke offisielt studiemateriell. Les mer.