# Gränsvärden & Kontinuitet > **Modul:** M3 · **Ämne:** Envariabelanalys 1 > **Förkunskaper:** Funktioner ([[M2 M0065M]]) --- ## Ordlista svenska ↔ engelska | Svenska | Engelska | |---|---| | Gränsvärde | Limit | | Ensidigt gränsvärde | One-sided limit | | Oegentligt gränsvärde | Improper limit | | Kontinuitet | Continuity | | Instängningsregeln | Squeeze theorem | | Asymptot | Asymptote | | Insättning (substitution) | Substitution | | Mellanliggande värde | Intermediate value | | Konjugat | Conjugate | | Faktorisering | Factorization | | Horisontell asymptot | Horizontal asymptote | | Vertikal asymptot | Vertical asymptote | | Extremvärdessatsen | Extreme value theorem | --- ## 1. Gränsvärde — definition ### 1.1 Informell definition Vi skriver $\boxed{\lim_{x \to a} f(x) = L}$ och säger att **gränsvärdet av $f(x)$ då $x$ närmar sig $a$ är $L$**, om $f(x)$ kan göras godtyckligt nära $L$ genom att välja $x$ tillräckligt nära $a$ (men $x \neq a$). > [!warning]- Gränsvärdet bryr sig inte om värdet i punkten > Gränsvärdet $\lim_{x \to a} f(x)$ beror **inte** på vad $f(a)$ är — eller ens om $f(a)$ är definierat. Det enda som spelar roll är hur $f(x)$ beter sig *nära* $a$, inte *i* $a$. ### 1.2 Formell $\varepsilon$-$\delta$-definition $\boxed{\lim_{x \to a} f(x) = L \iff \forall\, \varepsilon > 0 \;\; \exists\, \delta > 0 \;\; \text{s.a.} \;\; 0 < |x - a| < \delta \implies |f(x) - L| < \varepsilon}$ **Tolkning:** Oavsett hur liten tolerans $\varepsilon$ vi kräver kring $L$, kan vi hitta ett intervall av bredd $\delta$ kring $a$ sådant att alla funktionsvärden hamnar inom toleransen. > [!note]- Varför $0 < |x - a|$? > Villkoret $0 < |x - a|$ utesluter punkten $x = a$ själv. Vi undersöker vad som händer *nära* $a$, inte *i* $a$. > [!example]- Exempel: Visa att $\lim_{x \to 3} (2x + 1) = 7$ med $\varepsilon$-$\delta$ > Vi vill visa: $\forall\, \varepsilon > 0$, $\exists\, \delta > 0$ så att $0 < |x - 3| < \delta \implies |(2x+1) - 7| < \varepsilon$. > > Beräkna: > $|(2x + 1) - 7| = |2x - 6| = 2|x - 3|$ > > Vi vill ha $2|x - 3| < \varepsilon$, dvs. $|x - 3| < \varepsilon/2$. > > **Välj $\delta = \varepsilon/2$.** Då: > $0 < |x - 3| < \delta \implies |(2x+1) - 7| = 2|x-3| < 2\delta = \varepsilon \quad \checkmark$ --- ## 2. Räkneregler för gränsvärden Antag att $\lim_{x \to a} f(x) = L$ och $\lim_{x \to a} g(x) = M$ existerar. Då gäller: | Regel | Formel | |---|---| | Konstantregel | $\lim_{x \to a} c = c$ | | Summaregel | $\boxed{\lim_{x \to a} [f(x) \pm g(x)] = L \pm M}$ | | Produktregel | $\boxed{\lim_{x \to a} [f(x) \cdot g(x)] = L \cdot M}$ | | Konstant faktor | $\lim_{x \to a} [c \cdot f(x)] = c \cdot L$ | | Kvotregel | $\boxed{\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{L}{M}}$, om $M \neq 0$ | | Potensregel | $\lim_{x \to a} [f(x)]^n = L^n$ | | Rotregel | $\lim_{x \to a} \sqrt[n]{f(x)} = \sqrt[n]{L}$, om $L \geq 0$ (för jämna $n$) | > [!warning]- Kvotregel kräver $\lim g \neq 0$ > Kvotregeln gäller **bara** om nämnaren har ett gränsvärde skilt från noll. Om $\lim g(x) = 0$ måste vi använda andra metoder (faktorisering, konjugatmetoden, L'Hôpital etc.). > [!example]- Exempel: Tillämpa räknereglerna > Beräkna $\lim_{x \to 2} (3x^2 - 5x + 1)$. > > $\lim_{x \to 2} (3x^2 - 5x + 1) = 3 \cdot \lim_{x \to 2} x^2 - 5 \cdot \lim_{x \to 2} x + 1 = 3 \cdot 4 - 5 \cdot 2 + 1 = 3$ > > Här kunde vi "sätta in" $x = 2$ direkt — detta fungerar för alla polynomfunktioner (som är kontinuerliga överallt). --- ## 3. Standardgränsvärden Följande gränsvärden bör man kunna utantill. De används som byggstenar vid gränsvärdesberäkningar. | Gränsvärde | Resultat | |---|---| | $\displaystyle\lim_{x \to 0} \frac{\sin x}{x}$ | $\boxed{1}$ | | $\displaystyle\lim_{x \to 0} \frac{\tan x}{x}$ | $\boxed{1}$ | | $\displaystyle\lim_{x \to 0} \frac{1 - \cos x}{x^2}$ | $\boxed{\dfrac{1}{2}}$ | | $\displaystyle\lim_{x \to 0} \frac{e^x - 1}{x}$ | $\boxed{1}$ | | $\displaystyle\lim_{x \to 0} \frac{\ln(1 + x)}{x}$ | $\boxed{1}$ | | $\displaystyle\lim_{x \to \infty} \left(1 + \frac{1}{x}\right)^x$ | $\boxed{e}$ | | $\displaystyle\lim_{x \to 0} (1 + x)^{1/x}$ | $\boxed{e}$ | > [!tip]- Minnesregel > De tre första trigonometriska gränsvärdena hänger ihop: om man kan $\frac{\sin x}{x} \to 1$ kan man härleda de andra via $\tan x = \frac{\sin x}{\cos x}$ och identiteten $1 - \cos x = 2\sin^2(x/2)$. > > De två sista gränsvärdena (med $e$) är ekvivalenta — sätt $x = 1/t$ för att gå mellan dem. > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin 3x}{x}$ > Vi vill använda standardgränsvärdet $\frac{\sin u}{u} \to 1$ då $u \to 0$. > > **Metod:** Skriv om så att argument och nämnare matchar: > > $\lim_{x \to 0} \frac{\sin 3x}{x} = \lim_{x \to 0} \frac{\sin 3x}{3x} \cdot 3 = 1 \cdot 3 = \boxed{3}$ > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin 5x}{\sin 2x}$ > Skriv om med hjälp av standardgränsvärdet: > > $\lim_{x \to 0} \frac{\sin 5x}{\sin 2x} = \lim_{x \to 0} \frac{\sin 5x}{5x} \cdot \frac{2x}{\sin 2x} \cdot \frac{5x}{2x} = 1 \cdot 1 \cdot \frac{5}{2} = \boxed{\frac{5}{2}}$ --- ## 4. Instängningsregeln (Squeeze Theorem) ### 4.1 Sats Om det gäller att $f(x) \leq g(x) \leq h(x)$ för alla $x$ nära $a$ (utom möjligen i $a$ självt), och $\lim_{x \to a} f(x) = \lim_{x \to a} h(x) = L$ så gäller: $\boxed{\lim_{x \to a} g(x) = L}$ > [!note]- Intuition > Om $g(x)$ är "instängd" mellan $f(x)$ och $h(x)$, och bägge yttre funktionerna närmar sig samma värde $L$, så tvingas $g(x)$ också mot $L$ — den har ingenstans att ta vägen. ### 4.2 Klassiska exempel > [!example]- Exempel: $\lim_{x \to 0} x \sin\!\left(\frac{1}{x}\right) = 0$ > Vi vet att $-1 \leq \sin(1/x) \leq 1$ för alla $x \neq 0$. Multiplicera med $|x|$: > > $-|x| \leq x \sin\!\left(\frac{1}{x}\right) \leq |x|$ > > Eftersom $\lim_{x \to 0} (-|x|) = 0$ och $\lim_{x \to 0} |x| = 0$, ger instängningsregeln: > > $\lim_{x \to 0} x \sin\!\left(\frac{1}{x}\right) = \boxed{0}$ > [!example]- Exempel: $\lim_{x \to 0} x^2 \cos\!\left(\frac{1}{x}\right) = 0$ > Analogt: $-1 \leq \cos(1/x) \leq 1$ ger $-x^2 \leq x^2 \cos(1/x) \leq x^2$. > > Bägge yttre funktioner $\to 0$, alltså $\lim_{x \to 0} x^2 \cos(1/x) = 0$. --- ## 5. Ensidiga gränsvärden ### 5.1 Definition - **Vänstergränsvärde** (från vänster): $\displaystyle\lim_{x \to a^-} f(x) = L$ — vi betraktar bara $x < a$. - **Högergränsvärde** (från höger): $\displaystyle\lim_{x \to a^+} f(x) = L$ — vi betraktar bara $x > a$. ### 5.2 Samband med tvåsidigt gränsvärde $\boxed{\lim_{x \to a} f(x) = L \iff \lim_{x \to a^-} f(x) = L \;\text{ och }\; \lim_{x \to a^+} f(x) = L}$ Det tvåsidiga gränsvärdet existerar **om och bara om** båda ensidiga gränsvärden existerar och är **lika**. > [!example]- Exempel: Gränsvärde som inte existerar > Betrakta $f(x) = \dfrac{|x|}{x}$. Då: > > $\lim_{x \to 0^+} \frac{|x|}{x} = \frac{x}{x} = 1$ > > $\lim_{x \to 0^-} \frac{|x|}{x} = \frac{-x}{x} = -1$ > > Eftersom $1 \neq -1$ existerar **inte** $\lim_{x \to 0} \frac{|x|}{x}$. > [!example]- Exempel: Styckvis definierad funktion > Låt $f(x) = \begin{cases} x + 1 & \text{om } x < 2 \\ 5 & \text{om } x = 2 \\ x^2 - 1 & \text{om } x > 2 \end{cases}$ > > $\lim_{x \to 2^-} f(x) = \lim_{x \to 2^-} (x+1) = 3$ > > $\lim_{x \to 2^+} f(x) = \lim_{x \to 2^+} (x^2 - 1) = 3$ > > Bägge ensidiga gränsvärden $= 3$, alltså $\lim_{x \to 2} f(x) = 3$. > > Observera att $f(2) = 5 \neq 3$ — gränsvärdet och funktionsvärdet behöver inte vara lika. --- ## 6. Oegentliga gränsvärden ### 6.1 Vertikala asymptoter — $f(x) \to \pm\infty$ Om $f(x)$ växer obegränsat då $x \to a$ skriver vi: $\lim_{x \to a} f(x) = +\infty \qquad \text{eller} \qquad \lim_{x \to a} f(x) = -\infty$ Linjen $x = a$ kallas då en **vertikal asymptot**. > [!note]- Formellt existerar inte gränsvärdet > Notationen $\lim_{x \to a} f(x) = \infty$ beskriver ett beteende — att funktionen växer obegränsat. I strikt mening säger man att gränsvärdet **inte existerar**, men att funktionen **divergerar mot oändligheten**. > [!example]- Exempel: $\lim_{x \to 0} \frac{1}{x^2} = +\infty$ > Då $x \to 0$ (från bägge håll) blir $x^2$ litet och positivt, alltså $\frac{1}{x^2} \to +\infty$. > > Linjen $x = 0$ är en vertikal asymptot. ### 6.2 Horisontella asymptoter — $x \to \pm\infty$ Om $f(x)$ närmar sig ett ändligt värde $L$ då $x$ växer obegränsat: $\lim_{x \to +\infty} f(x) = L \qquad \text{eller} \qquad \lim_{x \to -\infty} f(x) = L$ Linjen $y = L$ kallas då en **horisontell asymptot**. > [!example]- Exempel: Horisontell asymptot > $\lim_{x \to \infty} \frac{3x + 1}{x - 2} = \lim_{x \to \infty} \frac{3 + 1/x}{1 - 2/x} = \frac{3 + 0}{1 - 0} = 3$ > > Linjen $y = 3$ är en horisontell asymptot. ### 6.3 Gränsvärde $\pm\infty$ då $x \to \pm\infty$ Uttryck som $\lim_{x \to \infty} f(x) = \infty$ beskriver obegränsad tillväxt. Typexempel: $\lim_{x \to \infty} x^2 = +\infty, \qquad \lim_{x \to -\infty} x^3 = -\infty$ ### 6.4 Sammanfattning: Typer av asymptoter | Typ | Villkor | Ekvation | |---|---|---| | Vertikal asymptot | $\lim_{x \to a^{\pm}} f(x) = \pm\infty$ | $x = a$ | | Horisontell asymptot | $\lim_{x \to \pm\infty} f(x) = L$ | $y = L$ | --- ## 7. Tekniker för gränsvärdesberäkning ### 7.1 Faktorisering och förkortning Används vid uttryck av typen $\frac{0}{0}$ — faktorisera täljare och nämnare, förkorta den gemensamma faktorn. > [!example]- Exempel: $\lim_{x \to 2} \frac{x^2 - 4}{x - 2}$ > Direkt insättning ger $\frac{0}{0}$ — obestämd form. Faktorisera: > > $\lim_{x \to 2} \frac{x^2 - 4}{x - 2} = \lim_{x \to 2} \frac{(x-2)(x+2)}{x-2} = \lim_{x \to 2} (x + 2) = \boxed{4}$ > > Förkortningen är giltig eftersom $x \neq 2$ i gränsvärdet. ### 7.2 Konjugatmetoden Används när täljare eller nämnare innehåller rottecken. Multiplicera med konjugatet. > [!example]- Exempel: $\lim_{x \to 1} \frac{x^2 - 1}{\sqrt{x + 3} - 2}$ > Direkt insättning ger $\frac{0}{0}$. Multiplicera med konjugatet av nämnaren: > > $\lim_{x \to 1} \frac{x^2 - 1}{\sqrt{x+3} - 2} \cdot \frac{\sqrt{x+3} + 2}{\sqrt{x+3} + 2} = \lim_{x \to 1} \frac{(x^2 - 1)(\sqrt{x+3} + 2)}{(x + 3) - 4}$ > > $= \lim_{x \to 1} \frac{(x-1)(x+1)(\sqrt{x+3} + 2)}{x - 1} = \lim_{x \to 1} (x+1)(\sqrt{x+3} + 2)$ > > $= 2 \cdot (\sqrt{4} + 2) = 2 \cdot 4 = \boxed{8}$ ### 7.3 Polynomdivision vid $x \to \infty$ För rationella funktioner: dividera täljare och nämnare med den högsta potensen av $x$ i **nämnaren**. > [!example]- Exempel: $\lim_{x \to \infty} \frac{2x^3 + x}{5x^3 - 3x^2 + 1}$ > Dividera med $x^3$: > > $\lim_{x \to \infty} \frac{2 + 1/x^2}{5 - 3/x + 1/x^3} = \frac{2 + 0}{5 - 0 + 0} = \boxed{\frac{2}{5}}$ > [!tip]- Tumregel för rationella funktioner vid $x \to \infty$ > Låt täljaren ha grad $m$ och nämnaren grad $n$: > > | Jämförelse | Gränsvärde | > |---|---| > | $m < n$ | $0$ | > | $m = n$ | $\dfrac{\text{ledande koefficient i täljaren}}{\text{ledande koefficient i nämnaren}}$ | > | $m > n$ | $\pm\infty$ | ### 7.4 Variabelsubstitution Byt variabel för att överföra gränsvärdet till en känd standardform. > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin 5x}{3x}$ > Sätt $u = 5x$, så $x = u/5$ och $x \to 0 \iff u \to 0$: > > $\lim_{x \to 0} \frac{\sin 5x}{3x} = \lim_{u \to 0} \frac{\sin u}{3 \cdot u/5} = \frac{5}{3} \lim_{u \to 0} \frac{\sin u}{u} = \frac{5}{3} \cdot 1 = \boxed{\frac{5}{3}}$ ### 7.5 L'Hôpitals regel (kort introduktion) Om $\lim_{x \to a} \frac{f(x)}{g(x)}$ ger obestämd form $\frac{0}{0}$ eller $\frac{\infty}{\infty}$, och $f$, $g$ är deriverbara, gäller: $\boxed{\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}}$ förutsatt att högerledet existerar (eller är $\pm\infty$). > [!note]- Behandlas utförligt i derivatamodulen > L'Hôpitals regel kräver att man kan derivera — den behandlas mer i detalj i modulen om derivata. Här nämns den som ett viktigt verktyg att ha i medvetandet. ### 7.6 Sammanfattning av tekniker | Teknik | Används vid | |---|---| | Faktorisering | $\frac{0}{0}$, polynom i täljare/nämnare | | Konjugatmetoden | $\frac{0}{0}$, rottecken i uttrycket | | Polynomdivision / dividera med $x^n$ | $x \to \pm\infty$, rationella funktioner | | Variabelsubstitution | Överföra till standardgränsvärde | | Standardgränsvärden | Trigonometriska/exponentiella uttryck | | L'Hôpitals regel | $\frac{0}{0}$ eller $\frac{\infty}{\infty}$ | | Instängningsregeln | Oscillerande funktioner | --- ## 8. Kontinuitet ### 8.1 Definition En funktion $f$ är **kontinuerlig i punkten $a$** om: $\boxed{\lim_{x \to a} f(x) = f(a)}$ Detta kräver att **tre villkor** är uppfyllda: | Nr | Villkor | Betydelse | |---|---|---| | 1 | $f(a)$ är definierad | Funktionen har ett värde i $a$ | | 2 | $\lim_{x \to a} f(x)$ existerar | Gränsvärdet finns | | 3 | $\lim_{x \to a} f(x) = f(a)$ | Gränsvärdet sammanfaller med funktionsvärdet | Om något av dessa tre villkor inte uppfylls har $f$ en **diskontinuitet** (språngpunkt) i $a$. > [!note]- Typer av diskontinuiteter > - **Hävbar diskontinuitet:** Gränsvärdet existerar men $f(a)$ är odefinierad eller $\neq$ gränsvärdet. Kan "lagas" genom att omdefiniera $f(a)$. > - **Språngdiskontinuitet:** De ensidiga gränsvärdena existerar men är olika: $\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x)$. > - **Väsentlig diskontinuitet:** Minst ett ensidigt gränsvärde existerar inte (t.ex. $f(x) = \sin(1/x)$ nära $x = 0$). ### 8.2 Räkneregler för kontinuerliga funktioner Om $f$ och $g$ är kontinuerliga i $a$, så är även: | Funktion | Villkor | |---|---| | $f + g$ | Alltid kontinuerlig | | $f - g$ | Alltid kontinuerlig | | $f \cdot g$ | Alltid kontinuerlig | | $f / g$ | Kontinuerlig om $g(a) \neq 0$ | | $c \cdot f$ | Alltid kontinuerlig | ### 8.3 Sammansättning Om $f$ är kontinuerlig i $a$ och $g$ är kontinuerlig i $f(a)$, så är **sammansättningen** $g \circ f$ kontinuerlig i $a$: $\boxed{\lim_{x \to a} g(f(x)) = g\!\left(\lim_{x \to a} f(x)\right) = g(f(a))}$ ### 8.4 Elementära funktioner Följande funktioner är **kontinuerliga på hela sin definitionsmängd**: - Polynom $p(x) = a_n x^n + \cdots + a_1 x + a_0$ — kontinuerliga på $\mathbb{R}$ - Rationella funktioner $\frac{p(x)}{q(x)}$ — kontinuerliga där $q(x) \neq 0$ - $\sin x$, $\cos x$ — kontinuerliga på $\mathbb{R}$ - $\tan x$ — kontinuerlig där $\cos x \neq 0$ - $e^x$ — kontinuerlig på $\mathbb{R}$ - $\ln x$ — kontinuerlig för $x > 0$ - $\sqrt{x}$ — kontinuerlig för $x \geq 0$ - $|x|$ — kontinuerlig på $\mathbb{R}$ --- ## 9. Satser om kontinuerliga funktioner ### 9.1 Insättningsmetoden Om $f$ är **kontinuerlig i $a$** kan gränsvärdet beräknas genom direkt insättning: $\boxed{f \text{ kontinuerlig i } a \implies \lim_{x \to a} f(x) = f(a)}$ Detta är den enklaste och mest använda metoden. Den fungerar alltid för elementära funktioner i punkter där de är definierade. > [!example]- Exempel: Insättning > Beräkna $\lim_{x \to \pi} \sin(x/2)$. > > Funktionen $\sin(x/2)$ är kontinuerlig (sammansättning av kontinuerliga funktioner), alltså: > > $\lim_{x \to \pi} \sin(x/2) = \sin(\pi/2) = 1$ ### 9.2 Satsen om mellanliggande värden (Intermediate Value Theorem) > [!theorem] Sats (Mellanliggande-värde-satsen) > Antag att $f$ är **kontinuerlig** på det slutna intervallet $[a, b]$ och att $f(a) \neq f(b)$. Då antar $f$ **varje värde** mellan $f(a)$ och $f(b)$. > > Formellt: Om $N$ är ett tal mellan $f(a)$ och $f(b)$, så finns det minst ett $c \in (a, b)$ sådant att > > $\boxed{f(c) = N}$ > [!tip]- Viktig tillämpning: Nollställen > Om $f$ är kontinuerlig och $f(a) < 0 < f(b)$ (funktionen byter tecken), då finns det ett $c \in (a, b)$ sådant att $f(c) = 0$. Detta används för att **visa att ekvationer har lösningar**. > [!example]- Exempel: Visa att $x^3 + x - 1 = 0$ har en lösning i $(0, 1)$ > Låt $f(x) = x^3 + x - 1$. Funktionen är ett polynom, alltså kontinuerlig. > > - $f(0) = 0 + 0 - 1 = -1 < 0$ > - $f(1) = 1 + 1 - 1 = 1 > 0$ > > Eftersom $f$ byter tecken på $[0, 1]$ garanterar satsen om mellanliggande värden att det finns ett $c \in (0, 1)$ med $f(c) = 0$. ### 9.3 Extremvärdessatsen > [!theorem] Sats (Extremvärdessatsen) > Om $f$ är **kontinuerlig** på ett **slutet intervall** $[a, b]$, så antar $f$ sitt **maximum** och **minimum** på $[a, b]$. > > Det vill säga: det finns $c, d \in [a, b]$ sådana att > > $f(c) \leq f(x) \leq f(d) \quad \text{för alla } x \in [a, b]$ > [!warning]- Båda villkoren krävs > Satsen kräver: > 1. **Kontinuitet** — utan det kan funktionen "hoppa" förbi extremvärdena. > 2. **Slutet intervall** — på öppna intervall kan funktionen närma sig ett extremum utan att nå det. > > Motexempel: $f(x) = 1/x$ på $(0, 1]$ är kontinuerlig men har inget maximum (obegränsad nära $0$). --- ## Resurser ### Videor - [3Blue1Brown: Essence of Calculus — Limits (kap 7)](https://youtu.be/kfF40MiS7zA) — visuell och intuitiv introduktion till gränsvärden - [3Blue1Brown: Essence of Calculus — hela serien](https://youtube.com/playlist?list=PLZHQObOWTQDMsr9K-rj53DwVRMYO3t5Yr) — grundläggande förståelse för analys ### Wikipedia - [Limit of a function](https://en.wikipedia.org/wiki/Limit_of_a_function) - [One-sided limit](https://en.wikipedia.org/wiki/One-sided_limit) - [Squeeze theorem](https://en.wikipedia.org/wiki/Squeeze_theorem) - [Continuous function](https://en.wikipedia.org/wiki/Continuous_function) - [Intermediate value theorem](https://en.wikipedia.org/wiki/Intermediate_value_theorem) - [Extreme value theorem](https://en.wikipedia.org/wiki/Extreme_value_theorem) - [L'Hôpital's rule](https://en.wikipedia.org/wiki/L%27H%C3%B4pital%27s_rule)