quot; om $f(x)$ kan göras godtyckligt nära $L$ genom att välja $x$ tillräckligt nära $a$ (men $x \neq a$). > > **Viktigt:** Värdet $f(a)$ spelar ingen roll! Det som räknas är beteendet _nära_ $a$. > [!example]- Exempel: $\lim_{x \to 2} (3x - 1)$ > > När $x$ närmar sig 2: > > |$x$|$f(x) = 3x - 1$| > |:-:|:-:| > |1.9|4.7| > |1.99|4.97| > |1.999|4.997| > |2.001|5.003| > |2.01|5.03| > |2.1|5.3| > > Funktionsvärdet närmar sig 5 från båda hållen. > > **Svar:** $\lim_{x \to 2} (3x - 1) = 5$ --- ## Formell definition (epsilon-delta) > [!info]- Definition: Gränsvärde (formell, $\varepsilon$-$\delta$) > > Låt $f$ vara definierad på en öppen mängd innehållande $a$, möjligen utom i $a$ själv. > > Vi säger att $\lim_{x \to a} f(x) = L$ om: > > $\forall \varepsilon > 0 ; \exists \delta > 0 : 0 < |x - a| < \delta \implies |f(x) - L| < \varepsilon$ > > **Översättning:** > > - För varje tolerans $\varepsilon$ (hur nära $L$ vi vill vara) > - finns ett avstånd $\delta$ (hur nära $a$ vi måste vara) > - så att om $x$ är inom $\delta$ från $a$ (men inte lika med $a$) > - då är $f(x)$ inom $\varepsilon$ från $L$ > > _bild på epsilon-delta-definition med rektangel kring $(a, L)$_ > [!success]- Härledning: Visa att $\lim_{x \to 3} (2x + 1) = 7$ > > Vi vill visa: $\forall \varepsilon > 0 ; \exists \delta > 0 : 0 < |x - 3| < \delta \implies |2x + 1 - 7| < \varepsilon$ > > **Steg 1:** Förenkla $|f(x) - L|$ $|2x + 1 - 7| = |2x - 6| = 2|x - 3|$ > > **Steg 2:** Vi vill ha $2|x - 3| < \varepsilon$, dvs. $|x - 3| < \frac{\varepsilon}{2}$ > > **Steg 3:** Välj $\delta = \frac{\varepsilon}{2}$ > > **Steg 4:** Verifiera: Om $0 < |x - 3| < \delta = \frac{\varepsilon}{2}$, då $|2x + 1 - 7| = 2|x - 3| < 2 \cdot \frac{\varepsilon}{2} = \varepsilon \quad \checkmark$ > [!note]- När behövs $\varepsilon$-$\delta$? > > I praktiken används $\varepsilon$-$\delta$-bevis sällan för att _beräkna_ gränsvärden. Istället använder man: > > - Gränsvärdeslagar > - Standardgränsvärden > - L'Hôpitals regel > > $\varepsilon$-$\delta$-definitionen används främst för att: > > - **Bevisa** att gränsvärdeslagar gäller > - **Visa** att ett gränsvärde inte existerar > - Ge en rigorös grund för analys --- ## Ensidiga gränsvärden > [!info]- Definition: Höger- och vänstergränsvärde > > **Högergränsvärde** (från höger, $x > a$): $\lim_{x \to a^+} f(x) = L$ > > **Vänstergränsvärde** (från vänster, $x < a$): $\lim_{x \to a^-} f(x) = L$ > > **Notation:** $a^+$ betyder "från höger", $a^-$ betyder "från vänster" > [!info]- SATS: Samband mellan tvåsidigt och ensidiga gränsvärden > > $\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 endast om båda ensidiga gränsvärdena existerar och är lika. > [!example]- Exempel: Signum-funktionen > > $\text{sgn}(x) = \begin{cases} 1 & x > 0 \ 0 & x = 0 \ -1 & x < 0 \end{cases}$ > > - $\lim_{x \to 0^+} \text{sgn}(x) = 1$ > - $\lim_{x \to 0^-} \text{sgn}(x) = -1$ > > Eftersom $1 \neq -1$ existerar **inte** $\lim_{x \to 0} \text{sgn}(x)$. > > _bild på signum-funktionen_ > [!example]- Exempel: $\lim_{x \to 0} \frac{|x|}{x}$ > > $\frac{|x|}{x} = \begin{cases} \frac{x}{x} = 1 & x > 0 \ \frac{-x}{x} = -1 & x < 0 \end{cases}$ > > - $\lim_{x \to 0^+} \frac{|x|}{x} = 1$ > - $\lim_{x \to 0^-} \frac{|x|}{x} = -1$ > > **Gränsvärdet existerar inte** (ensidiga gränsvärdena är olika). --- ## Gränsvärden vid oändligheten > [!info]- Definition: Gränsvärde då $x \to \infty$ > > $\lim_{x \to \infty} f(x) = L$ > > betyder att $f(x)$ kan göras godtyckligt nära $L$ genom att välja $x$ tillräckligt stort. > > **Formellt:** $\forall \varepsilon > 0 ; \exists M : x > M \implies |f(x) - L| < \varepsilon$ > > Analogt för $x \to -\infty$. > [!info]- Definition: Oändligt gränsvärde > > $\lim_{x \to a} f(x) = \infty$ > > betyder att $f(x)$ kan göras godtyckligt stort genom att välja $x$ tillräckligt nära $a$. > > **Formellt:** $\forall M > 0 ; \exists \delta > 0 : 0 < |x - a| < \delta \implies f(x) > M$ > > **OBS:** Vi säger att gränsvärdet "är oändligt" eller att det "inte existerar (divergerar mot oändligheten)". > [!example]- Exempel: $\lim_{x \to 0^+} \frac{1}{x}$ > > När $x \to 0^+$ (positiva värden nära 0): > > |$x$|$\frac{1}{x}$| > |:-:|:-:| > |0.1|10| > |0.01|100| > |0.001|1000| > > **Svar:** $\lim_{x \to 0^+} \frac{1}{x} = +\infty$ > > Notera: $\lim_{x \to 0^-} \frac{1}{x} = -\infty$, så $\lim_{x \to 0} \frac{1}{x}$ existerar inte. --- # Del II: Gränsvärdeslagar ## Aritmetiska regler > [!info]- SATS: Gränsvärdeslagar > > Om $\lim_{x \to a} f(x) = L$ och $\lim_{x \to a} g(x) = M$ existerar, då gäller: > > **Summa/Differens:** $\lim_{x \to a} [f(x) \pm g(x)] = L \pm M$ > > **Konstant multipel:** $\lim_{x \to a} [c \cdot f(x)] = c \cdot L$ > > **Produkt:** $\lim_{x \to a} [f(x) \cdot g(x)] = L \cdot M$ > > **Kvot** (om $M \neq 0$): $\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{L}{M}$ > > **Potens:** $\lim_{x \to a} [f(x)]^n = L^n$ > > **Rot** (om $L > 0$ eller $n$ udda): $\lim_{x \to a} \sqrt[n]{f(x)} = \sqrt[n]{L}$ > [!info]- SATS: Sammansatta funktioner > > Om $\lim_{x \to a} g(x) = b$ och $f$ är kontinuerlig i $b$, då: $\lim_{x \to a} f(g(x)) = f\left(\lim_{x \to a} g(x)\right) = f(b)$ > > **Speciellt:** Om $\lim_{x \to a} g(x) = b$: > > - $\lim_{x \to a} e^{g(x)} = e^b$ > - $\lim_{x \to a} \ln(g(x)) = \ln(b)$ (om $b > 0$) > - $\lim_{x \to a} \sin(g(x)) = \sin(b)$ > [!tip]- Receptbok: Direktsubstitution > > **Om $f$ är kontinuerlig i $a$:** $\lim_{x \to a} f(x) = f(a)$ > > Detta gäller för polynom, rationella funktioner (där nämnaren $\neq 0$), trigonometriska funktioner, exponentialfunktioner, etc. > > **Metod:** Sätt in $x = a$ direkt. Om du får ett definierat värde är du klar! > > > [!example]- Exempel: $\lim_{x \to 2} (x^3 - 4x + 1)$ > > > > Polynom är kontinuerliga överallt, så: $\lim_{x \to 2} (x^3 - 4x + 1) = 2^3 - 4(2) + 1 = 8 - 8 + 1 = 1$ > > > [!example]- Exempel: $\lim_{x \to \pi} \cos(x)$ > > > > Cosinus är kontinuerlig: $\lim_{x \to \pi} \cos(x) = \cos(\pi) = -1$ --- ## Instängningssatsen (Squeeze Theorem) > [!info]- SATS: Instängningssatsen > > Om $g(x) \leq f(x) \leq h(x)$ för alla $x$ nära $a$ (utom möjligen $x = a$), och $\lim_{x \to a} g(x) = \lim_{x \to a} h(x) = L$ > > då gäller också $\lim_{x \to a} f(x) = L$ > > _bild på squeeze theorem med f instängd mellan g och h_ > [!tip]- Receptbok: Instängningssatsen > > **Användning:** När du inte kan beräkna gränsvärdet direkt, försök hitta funktioner som "klämer" $f$ från båda hållen. > > **Vanlig situation:** $f(x) = (\text{begränsad funktion}) \cdot (\text{något som går mot 0})$ > > > [!example]- Exempel: $\lim_{x \to 0} x^2 \sin\left(\frac{1}{x}\right)$ > > > > Vi vet att $-1 \leq \sin\left(\frac{1}{x}\right) \leq 1$ för alla $x \neq 0$. > > > > Multiplicera med $x^2$ (positivt): $-x^2 \leq x^2 \sin\left(\frac{1}{x}\right) \leq x^2$ > > > > Eftersom $\lim_{x \to 0} (-x^2) = 0$ och $\lim_{x \to 0} x^2 = 0$: > > > > $\lim_{x \to 0} x^2 \sin\left(\frac{1}{x}\right) = 0$ > > > [!example]- Exempel: $\lim_{x \to \infty} \frac{\sin x}{x}$ > > > > Vi vet att $-1 \leq \sin x \leq 1$. > > > > Dela med $x > 0$: $-\frac{1}{x} \leq \frac{\sin x}{x} \leq \frac{1}{x}$ > > > > Eftersom $\lim_{x \to \infty} \frac{1}{x} = 0$: > > > > $\lim_{x \to \infty} \frac{\sin x}{x} = 0$ --- # Del III: Standardgränsvärden ## Trigonometriska gränsvärden > [!info]- SATS: Fundamentala trigonometriska gränsvärden > > $\lim_{x \to 0} \frac{\sin x}{x} = 1$ > > $\lim_{x \to 0} \frac{1 - \cos x}{x} = 0$ > > $\lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2}$ > > $\lim_{x \to 0} \frac{\tan x}{x} = 1$ > > **OBS:** Dessa gäller endast när $x$ är i **radianer**! > [!success]- Härledning: $\lim_{x \to 0} \frac{\sin x}{x} = 1$ (geometrisk) > > Betrakta enhetscirkeln med en vinkel $x$ (i radianer) där $0 < x < \frac{\pi}{2}$. > > **Tre områden att jämföra:** > > 1. Triangel med bas 1, höjd $\sin x$: Area $= \frac{1}{2}\sin x$ > 2. Cirkelsektor med vinkel $x$: Area $= \frac{x}{2}$ > 3. Triangel med bas 1, höjd $\tan x$: Area $= \frac{1}{2}\tan x$ > > **Areorelation:** $\frac{1}{2}\sin x < \frac{x}{2} < \frac{1}{2}\tan x$ > > Dela med $\frac{1}{2}\sin x > 0$: $1 < \frac{x}{\sin x} < \frac{1}{\cos x}$ > > Ta reciproka värden (vänder olikheterna): $\cos x < \frac{\sin x}{x} < 1$ > > Eftersom $\lim_{x \to 0^+} \cos x = 1$, ger instängningssatsen: $\lim_{x \to 0^+} \frac{\sin x}{x} = 1$ > > Eftersom $\frac{\sin x}{x}$ är en jämn funktion gäller detta även för $x \to 0^-$. > [!success]- Härledning: $\lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2}$ > > Multiplicera med konjugatet: $\frac{1 - \cos x}{x^2} = \frac{(1 - \cos x)(1 + \cos x)}{x^2(1 + \cos x)} = \frac{1 - \cos^2 x}{x^2(1 + \cos x)} = \frac{\sin^2 x}{x^2(1 + \cos x)}$ > > $= \left(\frac{\sin x}{x}\right)^2 \cdot \frac{1}{1 + \cos x}$ > > När $x \to 0$: $\lim_{x \to 0} \left(\frac{\sin x}{x}\right)^2 \cdot \frac{1}{1 + \cos x} = 1^2 \cdot \frac{1}{1 + 1} = \frac{1}{2}$ > [!tip]- Receptbok: Trigonometriska gränsvärden > > **Huvudstrategi:** Skriv om uttrycket så att $\frac{\sin(\square)}{\square}$ uppstår. > > > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin 5x}{x}$ > > > > Multiplicera och dividera med 5: $\lim_{x \to 0} \frac{\sin 5x}{x} = \lim_{x \to 0} 5 \cdot \frac{\sin 5x}{5x}$ > > > > Sätt $u = 5x$. När $x \to 0$ gäller $u \to 0$: $= 5 \cdot \lim_{u \to 0} \frac{\sin u}{u} = 5 \cdot 1 = 5$ > > > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin 3x}{\sin 7x}$ > > > > $= \lim_{x \to 0} \frac{\sin 3x}{3x} \cdot \frac{7x}{\sin 7x} \cdot \frac{3x}{7x}$ $= 1 \cdot 1 \cdot \frac{3}{7} = \frac{3}{7}$ > > > [!example]- Exempel: $\lim_{x \to 0} \frac{\tan x - \sin x}{x^3}$ > > > > $\frac{\tan x - \sin x}{x^3} = \frac{\frac{\sin x}{\cos x} - \sin x}{x^3} = \frac{\sin x(1 - \cos x)}{x^3 \cos x}$ > > > > $= \frac{\sin x}{x} \cdot \frac{1 - \cos x}{x^2} \cdot \frac{1}{\cos x}$ > > > > När $x \to 0$: $= 1 \cdot \frac{1}{2} \cdot 1 = \frac{1}{2}$ --- ## Exponential- och logaritmgränsvärden > [!info]- SATS: Fundamentala exponentialgränsvärden > > **Definition av $e$:** $e = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = \lim_{x \to 0} (1 + x)^{1/x}$ > > **Viktiga gränsvärden:** $\lim_{x \to 0} \frac{e^x - 1}{x} = 1$ > > $\lim_{x \to 0} \frac{\ln(1 + x)}{x} = 1$ > > $\lim_{x \to 0} \frac{a^x - 1}{x} = \ln a$ > > $\lim_{x \to \infty} \left(1 + \frac{a}{x}\right)^x = e^a$ > > $\lim_{x \to 0} (1 + ax)^{1/x} = e^a$ > [!success]- Härledning: $\lim_{x \to 0} \frac{e^x - 1}{x} = 1$ > > Låt $u = e^x - 1$, så $e^x = 1 + u$ och $x = \ln(1 + u)$. > > När $x \to 0$ gäller $u \to 0$. > > $\lim_{x \to 0} \frac{e^x - 1}{x} = \lim_{u \to 0} \frac{u}{\ln(1 + u)} = \lim_{u \to 0} \frac{1}{\frac{\ln(1+u)}{u}}$ > > Vi behöver visa att $\lim_{u \to 0} \frac{\ln(1+u)}{u} = 1$. > > Från definitionen $(1 + u)^{1/u} \to e$ får vi: $\frac{\ln(1+u)}{u} = \ln\left((1+u)^{1/u}\right) \to \ln(e) = 1$ > [!tip]- Receptbok: Exponentialgränsvärden > > **Strategi 1:** Skriv om så att $\frac{e^{\square} - 1}{\square}$ uppstår. > > **Strategi 2:** För $(1 + \text{något})^{\text{stor potens}}$, skriv på formen $(1 + \frac{a}{x})^x$. > > > [!example]- Exempel: $\lim_{x \to 0} \frac{e^{3x} - 1}{x}$ > > > > $= \lim_{x \to 0} 3 \cdot \frac{e^{3x} - 1}{3x} = 3 \cdot 1 = 3$ > > > [!example]- Exempel: $\lim_{x \to \infty} \left(1 + \frac{2}{x}\right)^{3x}$ > > > > Skriv om: $\left(1 + \frac{2}{x}\right)^{3x} = \left[\left(1 + \frac{2}{x}\right)^{x}\right]^3$ > > > > Sätt $u = \frac{x}{2}$, så $\frac{2}{x} = \frac{1}{u}$ och $x = 2u$: $\left(1 + \frac{2}{x}\right)^{x} = \left(1 + \frac{1}{u}\right)^{2u} = \left[\left(1 + \frac{1}{u}\right)^{u}\right]^2 \to e^2$ > > > > Alltså: $\lim_{x \to \infty} \left(1 + \frac{2}{x}\right)^{3x} = (e^2)^3 = e^6$ > > > [!example]- Exempel: $\lim_{x \to 0} \frac{2^x - 1}{x}$ > > > > $\lim_{x \to 0} \frac{2^x - 1}{x} = \ln 2$ > > > > (Direkt från standardgränsvärdet med $a = 2$) --- ## Gränsvärden vid oändligheten > [!info]- SATS: Tillväxthierarki > > När $x \to \infty$ gäller följande ordning (snabbast växande först): > > $e^x \gg x^n \gg \ln x \gg 1$ > > för alla $n > 0$. > > **Mer precist:** $\lim_{x \to \infty} \frac{x^n}{e^x} = 0 \quad \text{(exponentiell slår polynom)}$ > > $\lim_{x \to \infty} \frac{\ln x}{x^a} = 0 \quad \text{för alla } a > 0 \quad \text{(polynom slår logaritm)}$ > > $\lim_{x \to \infty} \frac{(\ln x)^n}{x} = 0 \quad \text{(även logaritm upphöjt till något)}$ > [!tip]- Receptbok: Gränsvärden för rationella funktioner då $x \to \infty$ > > För $\lim_{x \to \infty} \frac{a_n x^n + \ldots + a_0}{b_m x^m + \ldots + b_0}$: > > **Bryt ut högsta potensen i täljare och nämnare:** > > |Relation|Gränsvärde| > |:-:|:-:| > |$n > m$|$\pm\infty$ (samma tecken som $\frac{a_n}{b_m}$)| > |$n = m$|$\frac{a_n}{b_m}$| > |$n < m$|$0$| > > **Minnesregel:** "Högsta graden vinner." > > > [!example]- Exempel: $\lim_{x \to \infty} \frac{3x^2 - 2x + 1}{5x^2 + 4}$ > > > > Högsta graden är 2 i båda. Dela allt med $x^2$: $= \lim_{x \to \infty} \frac{3 - \frac{2}{x} + \frac{1}{x^2}}{5 + \frac{4}{x^2}} = \frac{3 - 0 + 0}{5 + 0} = \frac{3}{5}$ > > > [!example]- Exempel: $\lim_{x \to \infty} \frac{x^3 + 1}{x^2 - 1}$ > > > > Täljaren har grad 3, nämnaren grad 2. Dela med $x^2$: $= \lim_{x \to \infty} \frac{x + \frac{1}{x^2}}{1 - \frac{1}{x^2}} = \frac{\infty}{1} = \infty$ > > > [!example]- Exempel: $\lim_{x \to \infty} \frac{2x + 3}{x^2 + 1}$ > > > > Täljaren har grad 1, nämnaren grad 2: $= \lim_{x \to \infty} \frac{\frac{2}{x} + \frac{3}{x^2}}{1 + \frac{1}{x^2}} = \frac{0}{1} = 0$ > [!example]- Exempel: $\lim_{x \to \infty} \frac{e^x + x^2}{e^x - x}$ > > Exponentiell dominerar. Bryt ut $e^x$ från både täljare och nämnare: $= \lim_{x \to \infty} \frac{e^x(1 + x^2 e^{-x})}{e^x(1 - xe^{-x})} = \lim_{x \to \infty} \frac{1 + x^2 e^{-x}}{1 - xe^{-x}}$ > > Eftersom $\lim_{x \to \infty} x^n e^{-x} = 0$ för alla $n$: $= \frac{1 + 0}{1 - 0} = 1$ --- # Del IV: Obestämda former och tekniker ## Obestämda former > [!info]- Definition: Obestämda former > > En **obestämd form** uppstår när direkt substitution ger ett uttryck vars värde inte kan bestämmas utan vidare analys. > > **De sju obestämda formerna:** > > |Form|Exempel| > |:-:|:-:| > |$\frac{0}{0}$|$\lim_{x \to 0} \frac{\sin x}{x}$| > |$\frac{\infty}{\infty}$|$\lim_{x \to \infty} \frac{x^2}{e^x}$| > |$0 \cdot \infty$|$\lim_{x \to 0^+} x \ln x$| > |$\infty - \infty$|$\lim_{x \to \infty} (x - \sqrt{x^2+1})$| > |$0^0$|$\lim_{x \to 0^+} x^x$| > |$1^\infty$|$\lim_{x \to \infty} (1 + \frac{1}{x})^x$| > |$\infty^0$|$\lim_{x \to \infty} x^{1/x}$| > [!warning]- Vanligt misstag: Ej obestämda former > > Följande är **INTE** obestämda: > > |Form|Värde| > |:-:|:-:| > |$\frac{a}{0}$ där $a \neq 0$|$\pm\infty$ (eller existerar ej)| > |$\frac{0}{a}$ där $a \neq 0$|$0$| > |$\frac{a}{\infty}$|$0$| > |$0^\infty$|$0$| > |$\infty^\infty$|$\infty$| > |$\infty + \infty$|$\infty$| --- ## L'Hôpitals regel > [!info]- SATS: L'Hôpitals regel > > Om $\lim_{x \to a} \frac{f(x)}{g(x)}$ ger formen $\frac{0}{0}$ eller $\frac{\infty}{\infty}$, och $g'(x) \neq 0$ nära $a$, då: > > $\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$). > > Regeln gäller även för $x \to a^+$, $x \to a^-$, $x \to \infty$, $x \to -\infty$. > [!warning]- Varningar om L'Hôpital > > 1. **Kontrollera formen först!** Regeln gäller ENDAST för $\frac{0}{0}$ eller $\frac{\infty}{\infty}$ > > 2. **Derivera täljare och nämnare separat** — använd INTE kvotregeln! > > 3. **Om högerledet inte existerar**, säger L'Hôpital ingenting om ursprungliga gränsvärdet > > 4. **Kan behöva upprepas** flera gånger > > [!tip]- Receptbok: L'Hôpitals regel > > **Steg 1:** Verifiera att formen är $\frac{0}{0}$ eller $\frac{\infty}{\infty}$ > > **Steg 2:** Derivera täljaren: $f'(x)$ > > **Steg 3:** Derivera nämnaren: $g'(x)$ > > **Steg 4:** Beräkna $\lim_{x \to a} \frac{f'(x)}{g'(x)}$ > > **Steg 5:** Om fortfarande obestämd form, upprepa > > > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin x}{x}$ (verifiering) > > > > **Form:** $\frac{\sin 0}{0} = \frac{0}{0}$ ✓ > > > > **L'Hôpital:** $\lim_{x \to 0} \frac{\sin x}{x} = \lim_{x \to 0} \frac{\cos x}{1} = \cos 0 = 1$ > > > [!example]- Exempel: $\lim_{x \to 0} \frac{e^x - 1 - x}{x^2}$ > > > > **Form:** $\frac{e^0 - 1 - 0}{0} = \frac{0}{0}$ ✓ > > > > **L'Hôpital (1):** $= \lim_{x \to 0} \frac{e^x - 1}{2x}$ > > > > **Form:** Fortfarande $\frac{0}{0}$ ✓ > > > > **L'Hôpital (2):** $= \lim_{x \to 0} \frac{e^x}{2} = \frac{1}{2}$ > > > [!example]- Exempel: $\lim_{x \to \infty} \frac{x^2}{e^x}$ > > > > **Form:** $\frac{\infty}{\infty}$ ✓ > > > > **L'Hôpital (1):** $= \lim_{x \to \infty} \frac{2x}{e^x}$ > > > > **Form:** Fortfarande $\frac{\infty}{\infty}$ ✓ > > > > **L'Hôpital (2):** $= \lim_{x \to \infty} \frac{2}{e^x} = 0$ > > > [!example]- Exempel: $\lim_{x \to \infty} \frac{\ln x}{x}$ > > > > **Form:** $\frac{\infty}{\infty}$ ✓ > > > > **L'Hôpital:** $= \lim_{x \to \infty} \frac{1/x}{1} = \lim_{x \to \infty} \frac{1}{x} = 0$ --- ## Omskrivning av obestämda former > [!tip]- Receptbok: Hantera $0 \cdot \infty$ > > Skriv om till kvotform: $f(x) \cdot g(x) = \frac{f(x)}{1/g(x)} = \frac{g(x)}{1/f(x)}$ > > Välj den form som ger $\frac{0}{0}$ eller $\frac{\infty}{\infty}$. > > > [!example]- Exempel: $\lim_{x \to 0^+} x \ln x$ > > > > **Form:** $0 \cdot (-\infty)$ > > > > **Skriv om:** $x \ln x = \frac{\ln x}{1/x}$ > > > > **Form:** $\frac{-\infty}{\infty}$ ✓ > > > > **L'Hôpital:** $= \lim_{x \to 0^+} \frac{1/x}{-1/x^2} = \lim_{x \to 0^+} \frac{x^2}{-x} = \lim_{x \to 0^+} (-x) = 0$ > [!tip]- Receptbok: Hantera $\infty - \infty$ > > **Metod 1:** Förläng till gemensam nämnare > > **Metod 2:** Multiplicera med konjugat (för rotuttryck) > > **Metod 3:** Faktorisera > > > [!example]- Exempel: $\lim_{x \to \infty} \left(\sqrt{x^2 + x} - x\right)$ > > > > **Form:** $\infty - \infty$ > > > > **Konjugatmetoden:** $= \lim_{x \to \infty} \frac{(\sqrt{x^2+x} - x)(\sqrt{x^2+x} + x)}{\sqrt{x^2+x} + x}$ $= \lim_{x \to \infty} \frac{x^2 + x - x^2}{\sqrt{x^2+x} + x} = \lim_{x \to \infty} \frac{x}{\sqrt{x^2+x} + x}$ > > > > Dela med $x$: $= \lim_{x \to \infty} \frac{1}{\sqrt{1 + \frac{1}{x}} + 1} = \frac{1}{1 + 1} = \frac{1}{2}$ > > > [!example]- Exempel: $\lim_{x \to 0} \left(\frac{1}{\sin x} - \frac{1}{x}\right)$ > > > > **Form:** $\infty - \infty$ > > > > **Gemensam nämnare:** $= \lim_{x \to 0} \frac{x - \sin x}{x \sin x}$ > > > > **Form:** $\frac{0}{0}$ ✓ > > > > **L'Hôpital (1):** $= \lim_{x \to 0} \frac{1 - \cos x}{\sin x + x\cos x}$ > > > > **Form:** Fortfarande $\frac{0}{0}$ > > > > **L'Hôpital (2):** $= \lim_{x \to 0} \frac{\sin x}{\cos x + \cos x - x\sin x} = \frac{0}{2} = 0$ > [!tip]- Receptbok: Hantera $0^0$, $1^\infty$, $\infty^0$ > > **Metod:** Ta logaritm, beräkna gränsvärdet, exponera tillbaka. > > Om $L = \lim_{x \to a} f(x)^{g(x)}$, beräkna först: $\ln L = \lim_{x \to a} g(x) \ln f(x)$ > > Sedan: $L = e^{\ln L}$ > > > [!example]- Exempel: $\lim_{x \to 0^+} x^x$ (formen $0^0$) > > > > Låt $L = \lim_{x \to 0^+} x^x$ > > > > $\ln L = \lim_{x \to 0^+} x \ln x = 0$ (beräknat tidigare) > > > > **Svar:** $L = e^0 = 1$ > > > [!example]- Exempel: $\lim_{x \to \infty} x^{1/x}$ (formen $\infty^0$) > > > > Låt $L = \lim_{x \to \infty} x^{1/x}$ > > > > $\ln L = \lim_{x \to \infty} \frac{1}{x} \ln x = \lim_{x \to \infty} \frac{\ln x}{x} = 0$ > > > > **Svar:** $L = e^0 = 1$ > > > [!example]- Exempel: $\lim_{x \to 0^+} (1 + x)^{1/x}$ (formen $1^\infty$) > > > > Låt $L = \lim_{x \to 0^+} (1 + x)^{1/x}$ > > > > $\ln L = \lim_{x \to 0^+} \frac{\ln(1 + x)}{x} = 1$ (standardgränsvärde) > > > > **Svar:** $L = e^1 = e$ --- ## Algebraiska tekniker > [!tip]- Receptbok: Faktorisering för $\frac{0}{0}$ > > Om $\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{0}{0}$, har både $f$ och $g$ faktorn $(x - a)$. > > **Metod:** Faktorisera och förkorta $(x - a)$. > > > [!example]- Exempel: $\lim_{x \to 2} \frac{x^2 - 4}{x - 2}$ > > > > **Form:** $\frac{0}{0}$ > > > > **Faktorisera:** $= \lim_{x \to 2} \frac{(x-2)(x+2)}{x-2} = \lim_{x \to 2} (x + 2) = 4$ > > > [!example]- Exempel: $\lim_{x \to 1} \frac{x^3 - 1}{x - 1}$ > > > > **Form:** $\frac{0}{0}$ > > > > **Faktorisera:** $= \lim_{x \to 1} \frac{(x-1)(x^2 + x + 1)}{x-1} = \lim_{x \to 1} (x^2 + x + 1) = 3$ > [!tip]- Receptbok: Konjugatmetoden > > För uttryck med rottecken, multiplicera med konjugatet. > > **Konjugat till $\sqrt{a} - \sqrt{b}$** är $\sqrt{a} + \sqrt{b}$ > > > [!example]- Exempel: $\lim_{x \to 0} \frac{\sqrt{1+x} - 1}{x}$ > > > > **Form:** $\frac{0}{0}$ > > > > **Multiplicera med konjugat:** $= \lim_{x \to 0} \frac{(\sqrt{1+x} - 1)(\sqrt{1+x} + 1)}{x(\sqrt{1+x} + 1)}$ $= \lim_{x \to 0} \frac{1 + x - 1}{x(\sqrt{1+x} + 1)} = \lim_{x \to 0} \frac{x}{x(\sqrt{1+x} + 1)}$ $= \lim_{x \to 0} \frac{1}{\sqrt{1+x} + 1} = \frac{1}{2}$ > [!tip]- Receptbok: Variabelsubstitution > > Ibland förenklar en substitution beräkningen. > > > [!example]- Exempel: $\lim_{x \to 1} \frac{\sqrt[3]{x} - 1}{x - 1}$ > > > > **Substitution:** Låt $u = \sqrt[3]{x}$, så $x = u^3$ och $x \to 1 \Rightarrow u \to 1$ > > > > $= \lim_{u \to 1} \frac{u - 1}{u^3 - 1} = \lim_{u \to 1} \frac{u - 1}{(u-1)(u^2 + u + 1)}$ $= \lim_{u \to 1} \frac{1}{u^2 + u + 1} = \frac{1}{3}$ --- # Del V: Kontinuitet ## Definition och egenskaper > [!info]- Definition: Kontinuitet i en punkt > > En funktion $f$ är **kontinuerlig i punkten $a$** om: > > 1. $f(a)$ är definierad > 2. $\lim_{x \to a} f(x)$ existerar > 3. $\lim_{x \to a} f(x) = f(a)$ > > **Kortform:** $f$ är kontinuerlig i $a$ om $\lim_{x \to a} f(x) = f(a)$ > [!info]- Definition: Kontinuitet på ett intervall > > $f$ är **kontinuerlig på $[a, b]$** om: > > - $f$ är kontinuerlig i varje punkt i $(a, b)$ > - $\lim_{x \to a^+} f(x) = f(a)$ (högerkontinuerlig i $a$) > - $\lim_{x \to b^-} f(x) = f(b)$ (vänsterkontinuerlig i $b$) > [!info]- SATS: Kontinuerliga funktioner > > Följande funktioner är kontinuerliga på sina definitionsmängder: > > - Polynom > - Rationella funktioner > - Rotfunktioner > - Trigonometriska funktioner > - Exponentialfunktioner > - Logaritmfunktioner > - Inversa trigonometriska funktioner > [!info]- SATS: Aritmetik för kontinuerliga funktioner > > Om $f$ och $g$ är kontinuerliga i $a$, så är även: > > - $f + g$ kontinuerlig i $a$ > - $f - g$ kontinuerlig i $a$ > - $f \cdot g$ kontinuerlig i $a$ > - $\frac{f}{g}$ kontinuerlig i $a$ (om $g(a) \neq 0$) > - $f \circ g$ kontinuerlig i $a$ (om $g$ kontinuerlig i $a$ och $f$ kontinuerlig i $g(a)$) --- ## Diskontinuiteter > [!info]- Definition: Typer av diskontinuiteter > > **Hävbar diskontinuitet (removable):** > > - $\lim_{x \to a} f(x)$ existerar > - Men $f(a)$ är antingen odefinierad eller $\neq \lim_{x \to a} f(x)$ > - Kan "lagas" genom att omdefiniera $f(a)$ > > **Hoppdiskontinuitet (jump):** > > - Båda ensidiga gränsvärdena existerar > - Men $\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x)$ > > **Oändlig diskontinuitet (infinite):** > > - Minst ett av gränsvärdena är $\pm\infty$ > > **Väsentlig diskontinuitet (essential):** > > - Gränsvärdet existerar inte av annan orsak (t.ex. oscillation) > [!example]- Exempel: Hävbar diskontinuitet > > $f(x) = \frac{x^2 - 1}{x - 1}$ > > - Odefinierad för $x = 1$ > - Men $\lim_{x \to 1} f(x) = \lim_{x \to 1} (x + 1) = 2$ > > Om vi definierar $f(1) = 2$ blir funktionen kontinuerlig. > [!example]- Exempel: Hoppdiskontinuitet > > $f(x) = \begin{cases} x + 1 & x < 0 \ x^2 & x \geq 0 \end{cases}$ > > - $\lim_{x \to 0^-} f(x) = 1$ > - $\lim_{x \to 0^+} f(x) = 0$ > > Hoppdiskontinuitet i $x = 0$ (kan inte "lagas"). --- ## Viktiga satser > [!info]- SATS: Mellanvärdessatsen (IVT) > > Om $f$ är kontinuerlig på $[a, b]$ och $N$ är ett tal mellan $f(a)$ och $f(b)$, då finns minst ett $c \in (a, b)$ sådant att $f(c) = N$. > > **Speciellt:** Om $f(a)$ och $f(b)$ har olika tecken, finns minst ett nollställe i $(a, b)$. > > _bild på IVT_ > [!tip]- Receptbok: Visa existens av rot med IVT > > **Steg 1:** Identifiera funktionen $f$ vars nollställe söks > > **Steg 2:** Hitta $a$ och $b$ så att $f(a)$ och $f(b)$ har olika tecken > > **Steg 3:** Verifiera att $f$ är kontinuerlig på $[a, b]$ > > **Steg 4:** Tillämpa IVT > > > [!example]- Exempel: Visa att $x^3 + x - 1 = 0$ har en rot i $(0, 1)$ > > > > Låt $f(x) = x^3 + x - 1$ > > > > - $f(0) = 0 + 0 - 1 = -1 < 0$ > > - $f(1) = 1 + 1 - 1 = 1 > 0$ > > > > $f$ är ett polynom, alltså kontinuerlig. > > > > Enligt IVT finns $c \in (0, 1)$ med $f(c) = 0$. > [!info]- SATS: Extremvärdessatsen > > Om $f$ är kontinuerlig på det slutna intervallet $[a, b]$, då antar $f$ ett största och ett minsta värde på $[a, b]$. > > Dvs. det finns $c, d \in [a, b]$ så att $f(c) \leq f(x) \leq f(d)$ för alla $x \in [a, b]$. --- # Del VI: Följder och serier ## Gränsvärden för följder > [!info]- Definition: Gränsvärde för följd > > En följd $(a_n)$ har gränsvärdet $L$ om: $\lim_{n \to \infty} a_n = L$ > > betyder att $a_n$ kan göras godtyckligt nära $L$ för tillräckligt stora $n$. > > **Formellt:** $\forall \varepsilon > 0 ; \exists N : n > N \implies |a_n - L| < \varepsilon$ > > Om gränsvärdet existerar sägs följden vara **konvergent**, annars **divergent**. > [!info]- SATS: Räkneregler för följder > > Om $\lim_{n \to \infty} a_n = L$ och $\lim_{n \to \infty} b_n = M$: > > - $\lim_{n \to \infty} (a_n + b_n) = L + M$ > - $\lim_{n \to \infty} (a_n \cdot b_n) = L \cdot M$ > - $\lim_{n \to \infty} \frac{a_n}{b_n} = \frac{L}{M}$ (om $M \neq 0$) > - $\lim_{n \to \infty} c \cdot a_n = c \cdot L$ > [!info]- SATS: Standardgränsvärden för följder > > $\lim_{n \to \infty} \frac{1}{n^p} = 0 \quad (p > 0)$ > > $\lim_{n \to \infty} \sqrt[n]{n} = 1$ > > $\lim_{n \to \infty} \sqrt[n]{a} = 1 \quad (a > 0)$ > > $\lim_{n \to \infty} r^n = 0 \quad (|r| < 1)$ > > $\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e$ > > $\lim_{n \to \infty} \frac{n!}{n^n} = 0$ > [!tip]- Receptbok: Gränsvärden för följder > > > [!example]- Exempel: $\lim_{n \to \infty} \frac{3n^2 - n + 2}{n^2 + 5}$ > > > > Dela med $n^2$: $= \lim_{n \to \infty} \frac{3 - \frac{1}{n} + \frac{2}{n^2}}{1 + \frac{5}{n^2}} = \frac{3}{1} = 3$ > > > [!example]- Exempel: $\lim_{n \to \infty} \left(\frac{n+1}{n}\right)^n$ > > > > $= \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e$ > > > [!example]- Exempel: $\lim_{n \to \infty} \frac{2^n}{n!}$ > > > > Fakulteten växer snabbare än exponentialen: > > > > För $n \geq 4$: $\frac{2^n}{n!} = \frac{2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdots}{1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdots} \leq \frac{16}{24} \cdot \left(\frac{2}{5}\right)^{n-4} \to 0$ > > > > **Svar:** $\lim_{n \to \infty} \frac{2^n}{n!} = 0$ --- ## Monotona och begränsade följder > [!info]- Definition: Monoton följd > > En följd $(a_n)$ är: > > - **Växande** om $a_{n+1} \geq a_n$ för alla $n$ > - **Strängt växande** om $a_{n+1} > a_n$ för alla $n$ > - **Avtagande** om $a_{n+1} \leq a_n$ för alla $n$ > - **Strängt avtagande** om $a_{n+1} < a_n$ för alla $n$ > - **Monoton** om den är växande eller avtagande > [!info]- Definition: Begränsad följd > > En följd $(a_n)$ är: > > - **Uppåt begränsad** om det finns $M$ med $a_n \leq M$ för alla $n$ > - **Nedåt begränsad** om det finns $m$ med $a_n \geq m$ för alla $n$ > - **Begränsad** om den är både uppåt och nedåt begränsad > [!info]- SATS: Monotona konvergenssatsen > > En monoton och begränsad följd är konvergent. > > **Speciellt:** > > - Växande och uppåt begränsad $\Rightarrow$ konvergent mot supremum > - Avtagande och nedåt begränsad $\Rightarrow$ konvergent mot infimum > [!example]- Exempel: Visa att $a_n = \left(1 + \frac{1}{n}\right)^n$ konvergerar > > Man kan visa (med binomialutveckling) att: > > 1. Följden är strängt växande > 2. Följden är uppåt begränsad av 3 > > Alltså konvergerar den, och gränsvärdet är $e \approx 2.718$. --- # Del VII: Asymptotisk analys (överkurs) ## Ordo-notation > [!info]- Definition: Stora O > > $f(x) = O(g(x))$ när $x \to a$ om det finns $M > 0$ och $\delta > 0$ så att: $|f(x)| \leq M|g(x)| \quad \text{för } 0 < |x - a| < \delta$ > > **Intuition:** $f$ växer högst lika snabbt som $g$. > [!info]- Definition: Lilla o > > $f(x) = o(g(x))$ när $x \to a$ om: $\lim_{x \to a} \frac{f(x)}{g(x)} = 0$ > > **Intuition:** $f$ växer strikt långsammare än $g$. > > **Notation:** Man skriver ibland $f \ll g$ eller $f(x) \sim 0$ relativt $g$. > [!info]- Definition: Asymptotisk likhet > > $f(x) \sim g(x)$ när $x \to a$ om: $\lim_{x \to a} \frac{f(x)}{g(x)} = 1$ > > **Intuition:** $f$ och $g$ beter sig likadant för $x$ nära $a$. > [!example]- Exempel på ordo-notation > > När $x \to 0$: > > - $\sin x = x + o(x)$ (ty $\frac{\sin x - x}{x} \to 0$) > - $\sin x = x - \frac{x^3}{6} + o(x^3)$ > - $\sin x \sim x$ (ty $\frac{\sin x}{x} \to 1$) > - $1 - \cos x = O(x^2)$ (ty $\frac{1-\cos x}{x^2} \to \frac{1}{2}$) --- ## Taylor-approximation för gränsvärden > [!info]- SATS: Vanliga Taylor-utvecklingar vid $x = 0$ > > $e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots = \sum_{n=0}^{\infty} \frac{x^n}{n!}$ > > $\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}$ > > $\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}$ > > $\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots = \sum_{n=1}^{\infty} \frac{(-1)^{n+1} x^n}{n}$ > > $(1+x)^\alpha = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!}x^2 + \cdots$ > [!tip]- Receptbok: Taylor för gränsvärden > > **Idé:** Ersätt funktioner med deras Taylor-utvecklingar och förenkla. > > > [!example]- Exempel: $\lim_{x \to 0} \frac{e^x - 1 - x}{x^2}$ > > > > Taylor: $e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \cdots$ > > > > $e^x - 1 - x = \frac{x^2}{2} + \frac{x^3}{6} + \cdots = \frac{x^2}{2}(1 + \frac{x}{3} + \cdots)$ > > > > $\frac{e^x - 1 - x}{x^2} = \frac{1}{2}(1 + \frac{x}{3} + \cdots) \to \frac{1}{2}$ > > > [!example]- Exempel: $\lim_{x \to 0} \frac{\sin x - x + \frac{x^3}{6}}{x^5}$ > > > > Taylor: $\sin x = x - \frac{x^3}{6} + \frac{x^5}{120} - \cdots$ > > > > $\sin x - x + \frac{x^3}{6} = \frac{x^5}{120} - \cdots$ > > > > $\frac{\sin x - x + \frac{x^3}{6}}{x^5} = \frac{1}{120} + o(1) \to \frac{1}{120}$ --- # Del VIII: Sammanfattning ## Strategiguide > [!tip]- Receptbok: Strategi för gränsvärdesberäkning > > **Steg 1: Prova direkt substitution** > > - Om du får ett definierat värde → klart! > - Om du får obestämd form → fortsätt > > **Steg 2: Identifiera den obestämda formen** > > - $\frac{0}{0}$, $\frac{\infty}{\infty}$, $0 \cdot \infty$, $\infty - \infty$, $0^0$, $1^\infty$, $\infty^0$ > > **Steg 3: Välj lämplig teknik** > > |Form|Tekniker| > |:--|:--| > |$\frac{0}{0}$|Faktorisering, konjugat, L'Hôpital, Taylor| > |$\frac{\infty}{\infty}$|Bryt ut dominerande term, L'Hôpital| > |$0 \cdot \infty$|Skriv om till kvot| > |$\infty - \infty$|Gemensam nämnare, konjugat| > |$0^0$, $1^\infty$, $\infty^0$|Ta logaritm| > > **Steg 4: Kontrollera svaret** > > - Är det rimligt? > - Stämmer det med en graf? --- ## Formelsamling > [!warning]- Viktiga gränsvärden att memorera > > **Trigonometriska:** $\lim_{x \to 0} \frac{\sin x}{x} = 1$ $\lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2}$ > > **Exponentiella:** $\lim_{x \to 0} \frac{e^x - 1}{x} = 1$ $\lim_{x \to 0} \frac{\ln(1+x)}{x} = 1$ $\lim_{x \to 0} (1+x)^{1/x} = e$ $\lim_{x \to \infty} \left(1 + \frac{a}{x}\right)^x = e^a$ > > **Tillväxthierarki** (när $x \to \infty$): $\ln x \ll x^a \ll a^x \ll x! \ll x^x$ för $a > 1$ > > **Gränsvärdeslagar:** > > - Summa, differens, produkt, kvot av gränsvärden > - Sammansatta funktioner: $\lim f(g(x)) = f(\lim g(x))$ > - Instängningssatsen > [!warning]- Vanliga misstag att undvika > > 1. **Använda L'Hôpital utan att kontrollera formen** > > 2. **Glömma att gränsvärdet inte beror på funktionsvärdet** > > - $\lim_{x \to a} f(x)$ handlar om beteendet _nära_ $a$, inte _i_ $a$ > 3. **Felaktig aritmetik med $\infty$** > > - $\infty - \infty \neq 0$ (obestämd!) > - $\frac{\infty}{\infty} \neq 1$ (obestämd!) > 4. **Glömma ensidiga gränsvärden** > > - $\lim_{x \to 0} \frac{1}{x}$ existerar inte (olika från vänster och höger) > 5. **Blanda ihop $\lim$ och $=$** > > - Skriv $\lim$ tills du faktiskt beräknat gränsvärdet