3.1 Grenseverdi

Akilles, skilpadden og kunsten å nærme seg

For 2400 år siden formulerte den greske filosofen Zenon et paradoks som skulle plage matematikere i to årtusener. Helten Akilles løper om kapp med en skilpadde som får hundre meter forsprang. Når Akilles har løpt de hundre meterne, har skilpadden krøpet ti meter videre. Når han har tatt igjen de ti, har den flyttet seg én meter til. Og slik fortsetter det: hver gang Akilles når dit skilpadden var, er den litt lenger framme. Uendelig mange etapper -- kan han da noensinne ta henne igjen?

Selvfølgelig gjør han det, det vet enhver som har sett et kappløp. Men hvorfor tar regnestykket feil? Svaret krever et begrep grekerne manglet: grenseverdien. De uendelig mange etappene blir raskt uendelig korte, og summen av dem nærmer seg en bestemt, endelig verdi. Å gjøre «nærmer seg» til presis matematikk -- det er dette kapittelets prosjekt, og det er fundamentet under hele matematisk analyse.

Du så behovet allerede i kapittel 2.5: den deriverte ble definert som noe differansekvotienten nærmet seg når $h$ krympet mot null. Men der snek det seg inn et problem vi feide under teppet: setter du $h = 0$ rett inn, får du $\displaystyle \frac{0}{0}$ -- et meningsløst uttrykk. Grenseverdibegrepet er verktøyet som gjør slike beregninger stuerene.

I dette kapittelet lærer du hva $\lim_{x \to a} f(x) = L$ betyr, regnereglene som gjør grenseverdier håndterbare, teknikkene faktorisering og konjugering som temmer formen $\displaystyle \frac{0}{0}$, ensidige grenseverdier -- og til slutt hva som skjer når $x$ vokser mot uendelig.

Hva grenseverdien er -- og regnereglene

Betrakt $\displaystyle f(x) = \frac{x^2-1}{x-1}$. I $x = 1$ er funksjonen udefinert -- innsetting gir $\displaystyle \frac{0}{0}$. Men se hva som skjer nær $1$: $f(0{,}9) = 1{,}9$, $f(0{,}99) = 1{,}99$, $f(0{,}999) = 1{,}999$, og fra den andre siden $f(1{,}001) = 2{,}001$, $f(1{,}01) = 2{,}01$. Verdiene klemmer seg inn mot $2$ fra begge kanter. Vi skriver

$$\lim_{x \to 1} \frac{x^2-1}{x-1} = 2$$

og sier at grenseverdien når $x$ går mot $1$ er $2$. Den presise meningen: $f(x)$ kan gjøres vilkårlig nær $2$ ved å velge $x$ tilstrekkelig nær $1$ -- men $x \neq 1$. Det siste er viktig: grenseverdien bryr seg utelukkende om verdiene nær punktet, aldri om verdien i punktet. Funksjonen trenger ikke engang være definert der, og det er nettopp derfor begrepet redder derivasjonens $\displaystyle \frac{0}{0}$.

Algebraen bak talleksempelet er enkel: $\displaystyle \frac{x^2-1}{x-1} = \frac{(x-1)(x+1)}{x-1} = x + 1$ for $x \neq 1$, og $x + 1$ sikter åpenbart mot $2$.

Heldigvis slipper vi tabellregning i det daglige, for grenseverdier følger fornuftige regneregler. Hvis $\lim_{x \to a} f(x) = L$ og $\lim_{x \to a} g(x) = M$, så er grensen av sum, differanse og produkt henholdsvis $L + M$, $L - M$ og $L \cdot M$, og $\displaystyle \lim \frac{f(x)}{g(x)} = \frac{L}{M}$ forutsatt $M \neq 0$. Konstanter kan flyttes utenfor, og potenser følger med: $\lim [f(x)]^n = L^n$.

For pene funksjoner betyr dette at grenseverdi = innsetting: $\lim_{x \to 2}(3x^2 - 2x + 1) = 12 - 4 + 1 = 9$, og $\displaystyle \lim_{x \to 1} \frac{x^2+1}{x+2} = \frac{2}{3}$ siden nevneren ikke er null. Dramaet oppstår først når innsetting gir $\displaystyle \frac{0}{0}$ -- og det tar vi nå.

Formen $\displaystyle \frac{0}{0}$: faktorisering og konjugering

Når innsetting gir $\displaystyle \frac{0}{0}$, har du møtt en ubestemt form. Merk ordet: $\displaystyle \frac{0}{0}$ er ikke et tall, og det er heller ikke automatisk «udefinert, ferdig med det». Det er et varsel om at teller og nevner kappes mot null, og at grenseverdien kan bli hva som helst -- alt avhenger av hvem som taper kappløpet. Ubestemte former krever etterforskning, og etterforskningens verktøy er algebra.

Teknikk 1: Faktorisering. Når teller og nevner er polynomer som begge blir null i $x = a$, vet du fra faktorteoremet at begge inneholder faktoren $(x - a)$ -- det er den som skaper problemet, og den kan forkortes bort. For $\displaystyle \lim_{x \to 3} \frac{x^2-9}{x-3}$: innsetting gir $\displaystyle \frac{0}{0}$, men konjugatsetningen faktoriserer telleren, og

$$\lim_{x \to 3} \frac{(x-3)(x+3)}{x-3} = \lim_{x \to 3} (x+3) = 6$$

Forkortingen er lovlig fordi grenseprosessen aldri lar $x$ være nøyaktig $3$ -- og for alle andre $x$ er uttrykkene like.

Teknikk 2: Konjugering. Når rotuttrykk er innblandet, ganger vi med konjugatet. For $\displaystyle \lim_{x \to 0} \frac{\sqrt{x+4} - 2}{x}$ utvider vi med $\sqrt{x+4} + 2$ oppe og nede. Telleren blir $(\sqrt{x+4})^2 - 2^2 = x + 4 - 4 = x$ -- roten er borte! Vi forkorter $x$:

$$\lim_{x \to 0} \frac{x}{x(\sqrt{x+4}+2)} = \lim_{x \to 0} \frac{1}{\sqrt{x+4}+2} = \frac{1}{4}$$

Trikset bygger på tredje kvadratsetning: $(\sqrt{a} - b)(\sqrt{a} + b) = a - b^2$, som visker ut kvadratrøtter.

Strategien er altså alltid den samme: omform uttrykket til en variant der den problematiske faktoren er forkortet vekk, og sett så inn. Du etterforsker formen $\displaystyle \frac{0}{0}$ til den tilstår sin egentlige verdi.

Ensidige grenseverdier -- når sidene er uenige

Til nå har funksjonene våre siktet mot samme verdi uansett hvilken side $x$ kom fra. Men det er ingen selvfølge. Tenk på en stykkevis definert funksjon fra kapittel 2.4 -- delene til venstre og høyre for et skjøtepunkt kan sikte hvert sitt sted.

Derfor trenger vi ensidige grenseverdier. Den venstresidige, $\lim_{x \to a^-} f(x)$, beskriver hva $f(x)$ nærmer seg når $x$ kryper mot $a$ nedenfra ($x < a$); den høyresidige, $\lim_{x \to a^+} f(x)$, tilsvarende ovenfra ($x > a$). Det lille minus- eller plusstegnet i eksponenten angir altså retningen på tilnærmingen.

Klassikeren er fortegnsfunksjonen $\displaystyle f(x) = \frac{|x|}{x}$. For positive $x$ er $|x| = x$, så $f(x) = 1$; for negative $x$ er $|x| = -x$, så $f(x) = -1$. Dermed:

$$\lim_{x \to 0^+} \frac{|x|}{x} = 1 \qquad \text{og} \qquad \lim_{x \to 0^-} \frac{|x|}{x} = -1$$

Grafen ligger som to atskilte hyller, én i høyde $-1$ og én i høyde $1$, med et gap i null.

Og her kommer regelen som binder alt sammen: den tosidige grenseverdien $\lim_{x \to a} f(x)$ eksisterer hvis og bare hvis begge de ensidige eksisterer og er like. For fortegnsfunksjonen er $1 \neq -1$, så $\displaystyle \lim_{x \to 0} \frac{|x|}{x}$ eksisterer ikke. Det finnes ikke noe enkelt tall funksjonen nærmer seg -- svaret avhenger av reiseruten, og da er det ikke en grenseverdi.

Ensidige grenser er ikke en kuriositet. De er selve verktøyet for å undersøke skjøtepunktene i stykkevis definerte funksjoner, og i neste kapittel blir de bærebjelken i kontinuitetsbegrepet: kontinuitet i et punkt er nettopp at venstregrense, høyregrense og funksjonsverdi alle stemmer overens.

Mot uendelig: horisontale asymptoter

Det siste spørsmålet snur perspektivet: ikke «hva skjer nær et punkt», men «hva skjer der ute» -- når $x$ vokser over alle grenser. Vi skriver $\lim_{x \to \infty} f(x) = L$ dersom $f(x)$ kommer vilkårlig nær $L$ når $x$ blir stor nok, og tilsvarende for $x \to -\infty$. Hvis grenseverdien er et endelig tall $L$, flater grafen ut langs linjen $y = L$ -- en horisontal asymptote.

Byggesteinen for alt som følger er én enkel observasjon: for $n > 0$ er

$$\lim_{x \to \pm\infty} \frac{1}{x^n} = 0$$

Én delt på noe enormt er nesten ingenting.

For rasjonale funksjoner gir dette en kraftig metode: del teller og nevner på den høyeste potensen i nevneren. Ta $\displaystyle \lim_{x \to \infty} \frac{3x^2 - 2x + 1}{x^2 + 5}$. Vi deler alt på $x^2$:

$$\lim_{x \to \infty} \frac{3 - \frac{2}{x} + \frac{1}{x^2}}{1 + \frac{5}{x^2}} = \frac{3 - 0 + 0}{1 + 0} = 3$$

Alle småbrøkene dør ut, og bare de ledende koeffisientene overlever. For $\displaystyle \frac{x+1}{x^2-1}$ gir samme manøver $\displaystyle \frac{0}{1} = 0$: telleren er av lavere grad og taper kappløpet.

Mønsteret kondenserer til en tommelfingerregel for $\displaystyle \frac{a_n x^n + \ldots}{b_m x^m + \ldots}$: er tellergraden lavere enn nevnergraden ($n < m$), er grensen $0$. Er gradene like ($n = m$), er grensen forholdet $\displaystyle \frac{a_n}{b_m}$ mellom de ledende koeffisientene. Er tellergraden størst ($n > m$), stikker uttrykket av mot $\pm\infty$, og ingen horisontal asymptote finnes.

Intuisjonen bak alt sammen: når $x$ er enorm, er det de høyeste potensene som bestemmer -- alt annet er støy. Slik tenker også fysikere og informatikere når de spør hvordan systemer og algoritmer oppfører seg «i det lange løp».

Fortellingen i et nøtteskall

Zenons skilpadde lærte oss at «uendelig mange steg» kan ha et endelig mål -- og grenseverdien er begrepet som gjør det presist. $\lim_{x \to a} f(x) = L$ betyr at $f(x)$ kan gjøres vilkårlig nær $L$ ved å velge $x$ nær nok $a$, og verdien $f(a)$ selv er saken uvedkommende -- funksjonen trenger ikke engang være definert i punktet.

Regnereglene lar oss kombinere grenser av sum, differanse, produkt og kvotient (nevnergrense ulik null), og for snille uttrykk er grenseverdi rett og slett innsetting. Når innsetting gir den ubestemte formen $\displaystyle \frac{0}{0}$, starter etterforskningen: faktorisering forkorter bort den skyldige faktoren $(x-a)$ i polynombrøker, og konjugering visker ut kvadratrøtter via $(\sqrt{a}-b)(\sqrt{a}+b) = a - b^2$.

Ensidige grenseverdier skiller retningene: $x \to a^-$ fra venstre, $x \to a^+$ fra høyre. Grenseverdien eksisterer nøyaktig når begge sider er enige -- fortegnsfunksjonen $\displaystyle \frac{|x|}{x}$, med $-1$ fra venstre og $1$ fra høyre, viste hvordan uenighet dreper grensen.

I uendelig spør vi hvordan funksjoner oppfører seg i det lange løp: del på høyeste potens i nevneren, og husk tommelfingerregelen -- lavere tellergrad gir $0$, like grader gir forholdet mellom ledende koeffisienter (horisontal asymptote $\displaystyle y = \frac{a_n}{b_m}$), høyere tellergrad gir $\pm\infty$.

Grenseverdien er analysens grunnmur. I neste kapittel definerer den kontinuitet; i kapitlene etter bærer den derivasjonens definisjon. Akilles tar igjen skilpadden -- og nå kan du bevise det.