3.7 Integrasjon i funksjonsdrøfting

Spørsmålene derivasjonen ikke besvarer

En klimaforsker har en modell for utslippsraten til en fabrikk — tonn CO₂ per år som funksjon av tiden. Derivasjonsverktøyene fra funksjonsdrøftingen kan fortelle når utslippene vokser raskest og når de snur. Men det viktigste spørsmålet er et annet: hvor mye slapp fabrikken ut totalt i perioden? Det er et spørsmål om areal under kurven, og da trenger vi integrasjon.

Når vi drøfter funksjoner, handler det ikke bare om nullpunkter, ekstremalpunkter og vendepunkter. Vi kan også spørre om arealet mellom grafen og $x$-aksen, eller arealet mellom to kurver. Og vi kan gå motsatt vei av derivasjonen: dersom vi kjenner $f'(x)$ og én funksjonsverdi, kan vi rekonstruere hele funksjonen $f(x)$.

Først en presisering som er lett å snuble i. Arealet mellom grafen til $f$ og $x$-aksen fra $a$ til $b$ er $A = \int_a^b |f(x)|\,dx$. Dersom $f(x) \geq 0$ på hele intervallet, er dette bare $\int_a^b f(x)\,dx$. Men dersom $f(x) \leq 0$, blir integralet negativt, og arealet er $-\int_a^b f(x)\,dx$. Det bestemte integralet er altså et fortegnsareal: området over aksen teller positivt, området under teller negativt. Det geometriske arealet er derimot alltid positivt — og for å finne det må vi dele opp integralet ved nullpunktene.

I denne fortellingen møter du tre anvendelser: areal under kurver, areal mellom kurver, og rekonstruksjon av en funksjon fra dens deriverte.

Fortegnsarealet og det ekte arealet

Vi tester forskjellen på funksjonen $f(x) = x^3 - 4x$, som har nullpunkter i $x = -2$, $x = 0$ og $x = 2$.

Først beregner vi det bestemte integralet over hele intervallet: $\displaystyle \int_{-2}^{2}(x^3 - 4x)\,dx = \left[\frac{x^4}{4} - 2x^2\right]_{-2}^{2} = (4 - 8) - (4 - 8) = 0$. Null! Betyr det at det ikke er noe areal der? Slett ikke. Funksjonen er odde ($f(-x) = -f(x)$), og vi integrerer over et symmetrisk intervall — det positive arealet til venstre og det negative til høyre kansellerer hverandre nøyaktig. Integralet er et fortegnsareal, og her summerer fortegnene til null.

For å finne det totale geometriske arealet deler vi opp ved nullpunktet $x = 0$. På $[-2, 0]$ er $f(x) \geq 0$: $\int_{-2}^{0}(x^3 - 4x)\,dx = 0 - (4 - 8) = 4$. På $[0, 2]$ er $f(x) \leq 0$: $\int_{0}^{2}(x^3-4x)\,dx = (4-8) - 0 = -4$, så arealbidraget er $|-4| = 4$. Totalt areal: $4 + 4 = 8$ arealenheter.

Samme tankegang gjelder arealet mellom to kurver. Dersom $f(x) \geq g(x)$ på $[a, b]$, er arealet mellom grafene $A = \int_a^b (f(x) - g(x))\,dx$ — øverste kurve minus nederste. Krysser kurvene hverandre, deler vi opp ved skjæringspunktene og integrerer $|f(x) - g(x)|$ bit for bit.

Eksempel: arealet avgrenset av $f(x) = x^2$ og $g(x) = 2x + 3$. Skjæringspunktene løses fra $x^2 = 2x + 3$, altså $(x-3)(x+1) = 0$: $x = -1$ og $x = 3$. En testverdi ($x = 0$) viser at linjen ligger øverst. Da er $\displaystyle A = \int_{-1}^{3}(2x + 3 - x^2)\,dx = \left[x^2 + 3x - \frac{x^3}{3}\right]_{-1}^{3} = 9 - (-\frac{5}{3}) = \frac{32}{3} \approx 10{,}67$ arealenheter.

Å gjenskape funksjonen fra endringen

Tilbake til klimaforskeren. Hun kjenner endringsraten — men vil ha selve funksjonen. Dette er rekonstruksjon: gitt $f'(x)$ og én funksjonsverdi, finn $f(x)$. Verktøyet er antiderivasjon: dersom $f'(x) = g(x)$, er $f(x) = \int g(x)\,dx + C$, der integrasjonskonstanten $C$ fanger opp at uendelig mange funksjoner har samme deriverte. Den kjente funksjonsverdien — initialbetingelsen — plukker ut riktig $C$.

Konkret: en funksjon har $f'(x) = 3x^2 - 6x + 2$ og oppfyller $f(1) = 3$. Vi integrerer: $f(x) = x^3 - 3x^2 + 2x + C$. Innsetting av $f(1) = 3$ gir $1 - 3 + 2 + C = 3$, altså $C = 3$, og dermed $f(x) = x^3 - 3x^2 + 2x + 3$. Nå kan vi beregne hva som helst, for eksempel $f(0) = 3$ og $f(3) = 27 - 27 + 6 + 3 = 9$.

Her ligger en dyp sammenheng. Beregner vi det bestemte integralet av den deriverte, $\int_0^3 (3x^2 - 6x + 2)\,dx = \left[x^3 - 3x^2 + 2x\right]_0^3 = 6$, ser vi at det er nøyaktig $f(3) - f(0) = 9 - 3 = 6$. Dette er analysens fundamentalteorem: $$\int_a^b f'(x)\,dx = f(b) - f(a)$$ Integralet av endringsraten over et intervall gir den totale endringen i funksjonen over intervallet. For klimaforskeren betyr det: integralet av utslippsraten over ti år er nøyaktig det totale utslippet i perioden. Derivasjon og integrasjon er to sider av samme sak — den ene bryter funksjonen ned til endringer, den andre bygger den opp igjen.

Oppsummering: arealet og gjenoppbyggingen

Integrasjon utvider funksjonsdrøftingen med spørsmål derivasjonen ikke kan besvare. Det bestemte integralet $\int_a^b f(x)\,dx$ gir fortegnsarealet — områder over $x$-aksen teller positivt, områder under teller negativt, og de kan kansellere hverandre helt, slik det odde polynomet $x^3 - 4x$ viste da integralet over $[-2, 2]$ ble null mens det geometriske arealet var 8. Skal du ha det ekte arealet, deler du opp ved nullpunktene og tar absoluttverdien av hvert delintegral.

Arealet mellom to kurver finner du ved å integrere differansen $|f(x) - g(x)|$: finn skjæringspunktene, avgjør hvem som ligger øverst, og integrer øverste minus nederste — slik linjen $2x + 3$ og parabelen $x^2$ avgrenset arealet $\displaystyle \frac{32}{3}$.

Den tredje anvendelsen er rekonstruksjon: $f(x) = \int f'(x)\,dx + C$, der integrasjonskonstanten bestemmes av en kjent funksjonsverdi. Og bak det hele ligger analysens fundamentalteorem, $\int_a^b f'(x)\,dx = f(b) - f(a)$: integralet av endringsraten er den totale endringen. Det er denne setningen som lar klimaforskeren gå fra utslippsrate til totalutslipp, økonomen fra grensekostnad til totalkostnad, og deg fra $f'$ tilbake til $f$. Derivasjon og integrasjon er ikke to adskilte verktøy, men samme sammenheng lest i hver sin retning.