Standardutvecklingar och gränsvärdesberäkning

Efter denna lektion kommer du att kunna använda kända Maclaurinutvecklingar och Ordo-kalkyl för att snabbt beräkna gränsvärden samt utföra variabelbyten och algebraiska operationer på Taylorutvecklingar.

Grundläggande standardutvecklingar och Ordo-notering

När vi beräknar gränsvärden då x närmar sig 0 är Maclaurinutvecklingar ett av våra mest kraftfulla verktyg. En Maclaurinutveckling är en Taylorutveckling kring origo (x = 0).

För de vanliga elementära funktionerna finns färdiga standardutvecklingar som du bör kunna utantill:

1. e^x = 1 + x + x²/2! + x³/3! + ... + xⁿ/n! + O(xⁿ⁺¹)

2. sin x = x − x³/3! + x⁵/5! − ... + O(x²ⁿ⁺¹)

3. cos x = 1 − x²/2! + x⁴/4! − ... + O(x²ⁿ⁺²)

4. ln(1+x) = x − x²/2 + x³/3 − x⁴/4 + ... + O(xⁿ⁺¹)

5. (1+x)^a = 1 + ax + a(a−1)x²/2! + ... + O(xⁿ⁺¹)

Ordo-kalkyl, O(xⁿ)

Symbolen O(xⁿ) (stort Ordo) representerar en restterm – en funktion som går mot noll minst lika snabbt som xⁿ när x → 0. I praktiken betyder O(xⁿ) "termer av grad n eller högre".

Några viktiga räkneregler för Ordo-termer då x → 0:

• x^k · O(xⁿ) = O(xⁿ⁺ᵏ)
• O(xⁿ) + O(xⁿ) = O(xⁿ)
• O(xⁿ) · O(xᵐ) = O(xⁿ⁺ᵐ)
• Om m ≥ n gäller O(xⁿ) + O(xᵐ) = O(xⁿ) (den lägre potensen dominerar felmarginalen).

Substitution och Entydighetssatsen

En fundamental egenskap hos Taylorutvecklingar är entydighetssatsen: Om en funktion kan skrivas som ett polynom plus en restterm O(xⁿ⁺¹), så *är* detta polynom funktionens Taylorpolynom.

Detta gör att vi kan göra variabelbyten (substitutioner) direkt i standardutvecklingarna utan att behöva derivera!

Exempel 1: e^(−x²)

Vi vet att e^t = 1 + t + t²/2 + O(t³). Sätt t = −x² (vilket går mot 0 då x → 0):

e^(−x²) = 1 + (−x²) + (−x²)²/2 + O((−x²)³)

e^(−x²) = 1 − x² + x⁴/2 + O(x⁶)

Exempel 2: sin(3x)

Vi vet att sin t = t − t³/6 + O(t⁵). Sätt t = 3x:

sin(3x) = (3x) − (3x)³/6 + O(x⁵) = 3x − 27x³/6 + O(x⁵) = 3x − 9x³/2 + O(x⁵)

Kravet för att en substitution t = g(x) ska vara giltig är att g(x) → 0 då x → 0.

Gränsvärdesberäkning med Ordo-kalkyl

När vi möter obestämda uttryck av typen "0/0" då x → 0 ersätter vi täljare och nämnare med deras Maclaurinutvecklingar.

Arbetsgång för gränsvärdesberäkning:

1. Bestäm utvecklingsgrad: Utveckla täljare och nämnare tills de lägsta gradstermerna som inte tar ut varandra framträder.

2. Ersätt funktionerna: Sätt in Maclaurinserierna i bråket.

3. Förenkla täljare och nämnare: Slå ihop likformiga termer och samla resttermer i en enda Ordo-term.

4. Bryt ut dominerande potens: Bryt ut den lägsta potensen av x ur både täljare och nämnare och förkorta.

5. Låt x → 0: Alla kvarvarande termer med x samt Ordo-termer går mot 0.

Exempel: Beräkna lim(x→0) (e^x − 1 − x) / x²

Utveckla e^x till grad 2:

e^x = 1 + x + x²/2 + O(x³)

Sätt in i täljaren:

Täljare = (1 + x + x²/2 + O(x³)) − 1 − x = x²/2 + O(x³)

Divedera med nämnaren x²:

(x²/2 + O(x³)) / x² = 1/2 + O(x)

Då x → 0 går O(x) → 0, så gränsvärdet blir 1/2.

Kombinationer och kancellation (utvecklingsgrad)

En av de vanligaste fallgroparna vid Ordo-kalkyl är att utveckla till för låg grad. Om de lägsta potenserna slår ut varandra (kancellation) måste man utveckla vidare tills den första icke-nollskilda termen dyker upp.

Exempel på kancellation

Beräkna gränsvärdet:

lim(x→0) (cos x − e^(−x²/2)) / x⁴

Låt oss utveckla båda funktionerna:

• cos x = 1 − x²/2 + x⁴/24 + O(x⁶)
• e^t = 1 + t + t²/2 + O(t³) med t = −x²/2 ⇒ e^(−x²/2) = 1 + (−x²/2) + (−x²/2)²/2 + O(x⁶) = 1 − x²/2 + x⁴/8 + O(x⁶)

Sätt in i täljaren:

cos x − e^(−x²/2) = (1 − x²/2 + x⁴/24 + O(x⁶)) − (1 − x²/2 + x⁴/8 + O(x⁶))

= (1 − 1) + (−x²/2 + x²/2) + (x⁴/24 − x⁴/8) + O(x⁶)

= (1/24 − 3/24)x⁴ + O(x⁶) = −x⁴/12 + O(x⁶)

Konstanterna och x²-termerna släckte ut varandra helt! Om vi bara hade utvecklat till grad 2 hade vi fått 0 + O(x⁴), vilket är för grovt för att beräkna gränsvärdet.

Nu kan vi beräkna gränsvärdet:

lim(x→0) (−x⁴/12 + O(x⁶)) / x⁴ = lim(x→0) (−1/12 + O(x²)) = −1/12.