3.1 Fullstendig funksjonsdrøfting

Røntgenbildet av en modell

Tenk deg at du har fått sommerjobb hos et analysebyrå som lager prognoser for kommuner og bedrifter. Den første dagen får du en funksjon i hendene — en modell for utviklingen i et boligmarked — og sjefen sier: «Drøft den.» Hva betyr egentlig det?

En fullstendig funksjonsdrøfting er en systematisk analyse av en funksjon, litt som et røntgenbilde: vi undersøker alle viktige egenskaper for å forstå hvordan funksjonen oppfører seg, og til slutt kan vi tegne en nøyaktig skisse. Dette er et av de mest sentrale temaene i S2, og det dukker opp på nesten alle eksamener.

Heldigvis finnes det en fast oppskrift. En fullstendig drøfting av $f(x)$ inneholder elleve punkter: vi bestemmer definisjonsmengden $D_f$, finner nullpunkter ved å løse $f(x) = 0$, undersøker fortegnet til $f$, leter etter asymptoter (vertikale, horisontale eller skrå), deriverer og løser $f'(x) = 0$ for å finne stasjonære punkter, lager fortegnsskjema for $f'(x)$ og bestemmer monotoni, klassifiserer ekstremalpunkter (topp- og bunnpunkter), finner $f''(x)$ og løser $f''(x) = 0$, lager fortegnsskjema for $f''(x)$ og bestemmer krumning, identifiserer vendepunkter der $f''$ skifter fortegn — og tegner til slutt en skisse basert på alt vi har funnet.

Det høres mye ut, men ved å følge denne fremgangsmåten steg for steg kan du løse slike oppgaver effektivt og komplett. I denne fortellingen drøfter vi tre funksjoner sammen: et polynom, en rasjonal funksjon og en eksponentialfunksjon.

Første oppdrag: et polynom

Den første modellen du får, er tredjegradspolynomet $f(x) = x^3 - 3x^2 + 4$. Vi følger oppskriften.

Definisjonsmengden er enkel: et polynom er definert for alle $x$, så $D_f = \mathbb{R}$. Nullpunktene finner vi ved å løse $f(x) = 0$. Vi prøver $x = -1$: $(-1)^3 - 3(-1)^2 + 4 = -1 - 3 + 4 = 0$. Treff! Polynomdivisjon gir $x^3 - 3x^2 + 4 = (x+1)(x^2 - 4x + 4) = (x+1)(x-2)^2$, så nullpunktene er $x = -1$ og $x = 2$ (dobbelt nullpunkt). Fortegnet følger med på kjøpet: $f(x) < 0$ for $x < -1$ og $f(x) > 0$ for $x > -1$, bortsett fra at $f(2) = 0$. Asymptoter finnes ikke — polynomer har aldri det.

Så deriverer vi: $f'(x) = 3x^2 - 6x = 3x(x-2)$, som er null for $x = 0$ og $x = 2$. Et fortegnsskjema for $f'$ er det viktigste verktøyet i hele drøftingen: de stasjonære punktene deler tallinjen i intervaller, og vi sjekker fortegnet til $f'$ i hvert intervall med en testverdi. Her er $f'$ positiv for $x < 0$, negativ mellom $0$ og $2$, og positiv for $x > 2$. Funksjonen vokser, avtar og vokser igjen — altså toppunkt i $(0, 4)$ og bunnpunkt i $(2, 0)$.

Til slutt krumningen: $f''(x) = 6x - 6$, som er null for $x = 1$. Fortegnet skifter fra minus (konkav) til pluss (konveks), så $(1, 2)$ er et vendepunkt. Nå kan du tegne skissen: grafen kommer fra $-\infty$, krysser aksen i $-1$, topper seg i $(0,4)$, vender i $(1,2)$, tangerer aksen i $(2,0)$ og vokser mot $+\infty$.

Andre oppdrag: en rasjonal funksjon

Neste modell på pulten din er $\displaystyle f(x) = \frac{x^2 - 1}{x - 2}$, og nå blir det mer å passe på. Definisjonsmengden er ikke lenger hele tallinjen: nevneren kan ikke være null, så $D_f = \mathbb{R} \setminus \{2\}$. Nullpunktene kommer fra telleren: $x^2 - 1 = 0$ gir $x = \pm 1$.

Det nye er asymptotene. Siden nevneren er null i $x = 2$ (mens telleren er $3 \neq 0$ der), har grafen en vertikal asymptote $x = 2$. Og fordi graden i telleren er nøyaktig én mer enn i nevneren, finnes det en skrå asymptote. Polynomdivisjon avslører den: $\displaystyle \frac{x^2-1}{x-2} = x + 2 + \frac{3}{x-2}$. Når $x \to \pm\infty$, forsvinner brøken, og grafen legger seg inntil linjen $y = x + 2$.

Så deriverer vi med brøkregelen: $\displaystyle f'(x) = \frac{2x(x-2) - (x^2-1)}{(x-2)^2} = \frac{x^2 - 4x + 1}{(x-2)^2}$. Telleren er null når $x = 2 \pm \sqrt{3}$, altså $x_1 \approx 0{,}27$ og $x_2 \approx 3{,}73$. Fortegnsskjemaet viser at $f$ vokser utenfor disse verdiene og avtar mellom dem (unntatt i $x = 2$, der funksjonen ikke er definert). Dermed får vi toppunkt i $x = 2 - \sqrt{3}$ med $f(2-\sqrt{3}) = 4 - 2\sqrt{3} \approx 0{,}54$, og bunnpunkt i $x = 2 + \sqrt{3}$ med $f(2+\sqrt{3}) = 4 + 2\sqrt{3} \approx 7{,}46$.

Legg merke til et mønster som går igjen i alle drøftinger: hvert funn — nullpunkt, asymptote, ekstremalpunkt — er én brikke i skissen. Og husk alltid å oppgi både $x$- og $y$-koordinaten til punktene du finner. Det er en klassisk kilde til poengtap på eksamen.

Tredje oppdrag: eksponentialfunksjonen

Den siste modellen er $f(x) = x \cdot e^{-x}$ — en type funksjon som ofte beskriver virkninger som først vokser og så dør ut, for eksempel konsentrasjonen av et legemiddel i blodet.

Definisjonsmengden er $\mathbb{R}$, og siden $e^{-x} > 0$ for alle $x$, er det eneste nullpunktet $x = 0$. Fortegnet følger $x$: negativt for $x < 0$, positivt for $x > 0$. Grenseatferden er interessant: når $x \to \infty$ skriver vi $\displaystyle f(x) = \frac{x}{e^x}$, og siden eksponentialvekst alltid slår polynomvekst, går dette mot $0$. Grafen har altså horisontal asymptote $y = 0$ mot høyre. Mot venstre vokser $e^{-x}$ uten grenser, så $f(x) \to -\infty$.

Produktregelen gir $f'(x) = e^{-x} + x(-e^{-x}) = e^{-x}(1 - x)$. Her ser du et knep som går igjen: faktoriser ut $e^{-x}$, som aldri er null, slik at $f'(x) = 0$ bare når $1 - x = 0$, altså $x = 1$. Fortegnsskjemaet viser vekst for $x < 1$ og fall for $x > 1$, så vi har toppunkt i $\displaystyle (1, \frac{1}{e}) \approx (1, 0{,}37)$. Den andrederiverte blir $f''(x) = e^{-x}(x - 2)$, som skifter fortegn i $x = 2$: vendepunkt i $(2, 2e^{-2}) \approx (2, 0{,}27)$.

På eksamen er det systematikken som gir poeng. Skriv hvert steg tydelig, selv de korte, og bruk sjekklisten: definisjonsmengde, nullpunkter, asymptoter, $f'$ med fortegnsskjema, ekstremalpunkter med $y$-verdier, $f''$ med vendepunkter, og en skisse der alle viktige punkter og asymptoter er markert. Sensor gir poeng for hvert element — en halvferdig drøfting er bortkastede poeng.

Oppsummering: oppskriften som alltid virker

Etter tre oppdrag hos analysebyrået sitter oppskriften: en fullstendig funksjonsdrøfting følger alltid samme spor. Først kartlegger du terrenget — definisjonsmengde, nullpunkter, fortegn og asymptoter. For polynomer er dette enkelt; for rasjonale funksjoner må du passe på nevneren og lete etter vertikale, horisontale eller skrå asymptoter, gjerne med polynomdivisjon. For eksponentialfunksjoner bruker du at $e^{g(x)}$ aldri er null, og at eksponentialvekst slår polynomvekst i grenseverdier.

Så kommer derivasjonen. $f'(x) = 0$ gir de stasjonære punktene, og fortegnsskjemaet for $f'$ — det viktigste verktøyet i hele drøftingen — avgjør hvor funksjonen vokser og avtar, og dermed hvor topp- og bunnpunktene ligger. Deretter gjør du det samme med $f''$: positiv andrederivert betyr konveks graf (smiler), negativ betyr konkav (sur), og der $f''$ skifter fortegn ligger vendepunktene.

Til slutt samler du alt i en skisse med alle viktige punkter og asymptoter markert. Husk fellene: oppgi alltid både $x$- og $y$-koordinat, ikke kall et stasjonært punkt for ekstremalpunkt uten å sjekke fortegnskifte, og glem aldri definisjonsmengden for rasjonale funksjoner. Med denne systematikken kan du drøfte en hvilken som helst funksjon noen legger på pulten din — enten det er på eksamen eller i en jobb der modellene betyr noe for virkelige beslutninger.