l'Hopitals regel och obestämda uttryck

Efter denna lektion kommer du att kunna identifiera olika typer av obestämda uttryck och använda l'Hôpitals regel samt algebraiska omvandlingar för att beräkna komplicerade gränsvärden.

Obestämda uttryck och l'Hôpitals grundregel

När vi vill beräkna gränsvärdet lim (x → a) f(x) / g(x) och finner att både f(x) → 0 och g(x) → 0 när x → a, stöter vi på det obestämda uttrycket 0/0. Samma sak gäller om både f(x) → ±∞ och g(x) → ±∞, vilket ger formen ∞/∞. I dessa fall kan vi inte direkt avgöra vad gränsvärdet blir utan vidare analys.

l'Hôpitals regel erbjuder en kraftfull metod för att beräkna dessa gränsvärden med hjälp av derivator:

Om f och g är deriverbara nära a (utom eventuellt i a), g'(x) ≠ 0 nära a, och gränsvärdet för f(x)/g(x) resulterar i ett obestämt uttryck av typen 0/0 eller ∞/∞, så gäller:

lim (x → a) f(x) / g(x) = lim (x → a) f'(x) / g'(x)

förutsatt att gränsvärdet på högersidan existerar (eller är ±∞).

Exempel:

Beräkna lim (x → 0) sin(x) / x.

När x → 0 går sin(0) = 0 och nämnaren x = 0. Detta är ett obestämt uttryck av typen 0/0.

Vi deriverar täljare och nämnare var för sig:

• Täljarens derivata: D[sin(x)] = cos(x)
• Nämnarens derivata: D[x] = 1

Gränsvärdet blir alltå:

lim (x → 0) cos(x) / 1 = cos(0) / 1 = 1 / 1 = 1.

Viktig observation: Lägg märke till att vi inte använder kvotregeln för derivering! Vi deriverar täljaren för sig och nämnaren för sig.

Upprepad tillämpning och viktiga förutsättningar

Ibland räcker det inte att derivera en enda gång. Om den nya kvoten f'(x)/g'(x) fortfarande ger ett obestämt uttryck av typen 0/0 eller ∞/∞, kan du tillämpa l'Hôpitals regel igen, så länge funktionerna är tillräckligt många gånger deriverbara.

Exempel på upprepad användning:

Beräkna lim (x → 0) (1 - cos(x)) / x².

1. Insättning av x = 0 ger (1 - 1) / 0 = 0/0.

2. Första deriveringen ger: lim (x → 0) sin(x) / (2x).

3. Insättning av x = 0 ger fortfarande 0/0!

4. Vi deriverar en gång till: D[sin(x)] = cos(x) och D[2x] = 2.

5. Gränsvärdet blir nu: lim (x → 0) cos(x) / 2 = cos(0) / 2 = 1/2.

Fällor att undvika:

1. Verifiera alltid villkoren! Om uttrycket INTE är 0/0 eller ∞/∞ får du inte använda l'Hôpitals regel. Till exempel ger lim (x → 0) cos(x) / x uttrycket 1/0 (vilket går mot oändligheten). Om man felaktigt deriverar får man -sin(x)/1 → 0, vilket är helt felaktigt!

2. Kvotregeln: Kom ihåg att INTE derivera f(x)/g(x) som en enskild kvot med kvotregeln.

Andra obestämda uttryck: 0 · ∞ och ∞ - ∞

Alla obestämda uttryck dyker inte upp som ett bråk direkt. Vi stöter ofta på produkten 0 · ∞ eller differensen ∞ - ∞. För att använda l'Hôpitals regel på dessa måste vi först skriva om dem till formen 0/0 eller ∞/∞.

Typ 0 · ∞ (Produkt till kvot):

Om f(x) → 0 och g(x) → ∞ kan vi skriva f(x) · g(x) som:

• f(x) / (1 / g(x)), vilket ger formen 0/0, eller
• g(x) / (1 / f(x)), vilket ger formen ∞/∞.

*Exempel:* Beräkna lim (x → 0+) x · ln(x).

Här går x → 0 och ln(x) → -∞ (uttryck av typen 0 · (-∞)).

Skriv om som: lim (x → 0+) ln(x) / (1/x). Nu är uttrycket på formen -∞/∞.

Derivera täljare och nämnare:

• D[ln(x)] = 1/x
• D[1/x] = -1/x²

Kvoten blir: (1/x) / (-1/x²) = -x.

Gränsvärdet blir då: lim (x → 0+) (-x) = 0.

Typ ∞ - ∞ (Differens till kvot):

När vi har en differens mellan två uttryck som båda går mot oändligheten måste vi ofta sätta uttrycket på ett gemensamt bråkstreck eller bryta ut en dominerande faktor för att skapa en sammansatt kvot.

Tillväxthastigheter och potensformer (0⁰, ∞⁰, 1^∞)

När vi jämför hur snabbt olika funktioner växer mot oändligheten har vi en viktig tillväxthierarki för stora x:

ln(x) << x^p (p > 0) << a^x (a > 1) << x! << x^x

Detta innebär att varje polynomfunktion x^p växer snabbare än en logaritmfunktion ln(x), men långsammare än en exponentialfunktion a^x.

Obestämda potensformer: 0⁰, ∞⁰ och 1^∞

För uttryck på formen f(x)^g(x) där både basen och exponenten beror på x använder vi standardknepet med e och den naturliga logaritmen:

f(x)^g(x) = e^(ln(f(x)^g(x))) = e^(g(x) · ln(f(x)))

Därmed flyttas beräkningen till att finna gränsvärdet i exponenten: lim g(x) · ln(f(x)), vilket är av typen 0 · ∞.

När exponentens gränsvärde L har beräknats blir det ursprungliga gränsvärdet e^L.