4 McLaurin- och Taylorpolynom

Relevanta dokument
5 Lokala och globala extremvärden

1. Beräkna hastigheten, farten och accelerationen vid tiden t för en partikel vars rörelse beskrivs av r(t) = (2 sin t + cos t, 2 cos t sin t, 2t).

1. Bestäm definitionsmängden och värdemängden till funktionen f(x,y) = 1 2x 2 3y 2. Skissera definitionsmängden, nivålinjerna och grafen till f.

Flervariabelanalys E2, Vecka 3 Ht08

Repetition, Matematik 2 för lärare. Ï x + 2y - 3z = 1 Ô Ì 3x - y + 2z = a Ô Á. . Beräkna ABT. Beräkna (AB) T

SF1626 Flervariabelanalys

Uppgifter inför KS4 den 11 april Matematik II för CL. SF1613.

2 Funktioner från R n till R m, linjära, inversa och implicita funktioner

1 Koordinattransformationer

x ( f u 2y + f v 2x) xy = 24 och C = f

Lektion 3. Partiella derivator, differentierbarhet och tangentplan till en yta, normalen i en punkt till en yta, kedjeregeln

1 Föreläsning 12, Taylors formel, och att approximera en funktion med ett polynom

Lösningsförslag till tentamen Torsdag augusti 16, 2018 DEL A

(x + 1) dxdy där D är det ändliga område som begränsas av kurvorna

Meningslöst nonsens. December 14, 2014

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

har ekvation (2, 3, 4) (x 1, y 1, z 1) = 0, eller 2x + 3y + 4z = 9. b) Vi söker P 1 = F (1, 1, 1) + F (1, 1, 1) (x 1, y 1, z 1) = 2x + 3y + 4z.

Linjärisering, Jacobimatris och Newtons metod.

SF1625 Envariabelanalys Lösningsförslag till tentamen

Lösningsförslag till Tentamen, SF1629, Differentialekvationer och Transformer II (del 1) 24 oktober 2014 kl 8:00-13:00.

TATA42: Föreläsning 7 Differentialekvationer av första ordningen och integralekvationer

1 x. SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Bestäm ekvationen för det plan som går genom punkten (1,1, 2 ) på kurvan och som spänns

Lösningsförslag envariabelanalys

Lokala undersökningar

Kap Implicit givna funktioner

Uppsala Universitet Matematiska Institutionen Bo Styf

SF1626 Flervariabelanalys Tentamen Måndagen den 21 mars 2016

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A. 1. En svängningsrörelse beskrivs av

Institutionen för Matematik, KTH Torbjörn Kolsrud

Sätt t = (x 1) 2 + y 2 + 2(x 1). Då är f(x, y) = log(t + 1) = t 1 2 t t3 + O(t 4 ) 1 2 (x 1) 2 + y 2 + 2(x 1) ) 2 (x 1) 2 + y 2 + 2(x 1) ) 3

Institutionen för Matematik, KTH Lösningar till tentamen i Analys i en variabel för I och K (SF1644) 1/ e x h. (sin x) 2 1 cos x.

y + 1 y + x 1 = 2x 1 z 1 dy = ln z 1 = x 2 + c z 1 = e x2 +c z 1 = Ce x2 z = Ce x Bestäm den allmänna lösningen till differentialekvationen

7 Extremvärden med bivillkor, obegränsade områden

Matematiska Institutionen, K T H. B. Krakus. Matematik 1. Maplelaboration 2.

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Frågorna 1 till 6 ska svaras med sant eller falskt och ger vardera 1

SF1646 Analys i flera variabler Tentamen 18 augusti 2011, Svar och lösningsförslag

2x ex dx. 0 = ln3 e

Tentamen i TATA43 Flervariabelanalys

Kap Dubbelintegraler.

10x 3 4x 2 + x. 4. Bestäm eventuella extrempunkter, inflexionspunkter samt horizontella och vertikala asymptoter. y = x 1 x + 1

= 0 genom att införa de nya

Institutionen för Matematik, KTH Torbjörn Kolsrud

Tavelpresentation - Flervariabelanalys. 1E January 2017

Interpolation Modellfunktioner som satisfierar givna punkter

Tentan , lösningar

Föreläsningen ger en introduktion till differentialekvationer och behandlar stoff från delkapitel 18.1, 18.3 och 7.9 i Adams. 18.

Repetitionsfrågor i Flervariabelanalys, Ht 2009

4. Bestäm eventuella extrempunkter, inflexionspunkter samt horisontella och vertikala asymptoter till y = 1 x 1 + x, och rita funktionens graf.

4x 2 dx = [polynomdivision] 2x x + 1 dx. (sin 2 (x) ) 2. = cos 2 (x) ) 2. t = cos(x),

Kontrollskrivning KS1T

DERIVATA. = lim. x n 2 h h n. 2

Lösningsförslag till tentamen TMA043 Flervariabelanalys E2

Algebra Negativa tal, Parenteser, Potenser, Bråk, Kvadreringsreglerna, Konjugatregeln

Tentamen TMA044 Flervariabelanalys E2

Tentamen, del 2 Lösningar DN1240 Numeriska metoder gk II F och CL

f(x) = x 2 g(x) = x3 100 h(x) = x 4 x x 2 x 3 100

Tentamen SF1626, Analys i flera variabler, Svar och lösningsförslag. 2. en punkt på randkurvan förutom hörnen, eller

Frågorna 1 till 6 ska svaras med sant eller falskt och ger vardera 1

Antag att du går rakt norrut i ett bergslandskap. Ibland går du uppför, ibland nerför men hela tiden rakt mot norr. Vi kallar detta bäring 0.

Uppsala Universitet Matematiska Institutionen Bo Styf. Genomgånget på föreläsningarna

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Visa att vektorfältet F har en potential och bestäm denna. a. F = (3x 2 y 2 + y, 2x 3 y + x) b. F = (2x + y, x + 2z, 2y 2z)

= 0. Båda skärningsvinklarna är således π/2 (ortogonala riktningsvektorer).

ÖVN 6 - DIFFERENTIALEKVATIONER OCH TRANSFORMMETODER - SF Nyckelord och innehåll. a n (x x 0 ) n.

Lösningsförslag envariabelanalys

Maclaurins och Taylors formler. Standardutvecklingar (fortsättning), entydighet, numerisk beräkning av vissa uttryck, beräkning

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A. e 50k = k = ln 1 2. k = ln = ln 2

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Matlab övningsuppgifter

SF1626 Flervariabelanalys Tentamen Tisdagen den 7 juni 2016

Flervariabelanalys E2, Vecka 2 Ht08

Matematiska Institutionen, K T H. B. Krakus. Differential- och integralkalkyl, del 2. Maplelaboration 1.

Något om Taylors formel och Mathematica

Tentamen i matematik. f(x) = ln(ln(x)),

SF1626 Flervariabelanalys Tentamen Tisdagen den 12 januari 2016

Partiella differentialekvationer av första ordningen

Övningar till Matematisk analys III Erik Svensson

av envariabelfunktionen g(t) och flervariabelfunktionen t = h(x, y) = x 2 + e y.)

R AKNE OVNING VECKA 1 David Heintz, 31 oktober 2002

SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A. r cos t + (r cos t) 2 + (r sin t) 2) rdrdt.

= 0 vara en given ekvation där F ( x,

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

MA2001 Envariabelanalys

7x 2 5x + 6 c.) lim x 15 8x + 3x Bestäm eventuella extrempunkter, inflexionspunkter samt horizontella och vertikala asymptoter

x sin(x 2 )dx I 1 = x arctan xdx I 2 = x (x + 1)(x 2 2x + 1) dx

Tentamen i Analys B för KB/TB (TATA09/TEN1) kl 08 13

5 Om f (r) = 0 kan andraderivatan inte avgöra vilken typ av extrempunkt det handlar om. Återstår att avgöra punktens typ med teckenstudium.

Tentamen i Envariabelanalys 2

8. Euklidiska rum 94 8 EUKLIDISKA RUM

Euler-Mac Laurins summationsformel och Bernoulliska polynom

u(x) + xv(x) = 0 2u(x) + 3xv(x) = sin(x) xxx egentliga uppgifter xxx 1. Sök alla lösningar till den homogena differentialekvationen

Mälardalens högskola Akademin för utbildning, kultur och kommunikation

Teori för flervariabelsanalys

f(x) = x 2 g(x) = x3 100

9 Skissa grafer. 9.1 Dagens Teori

SF1626 Flervariabelanalys Bedömningskriterier till tentamen Tisdagen den 7 juni 2016

Envariabelanalys 2, Föreläsning 4

Transkript:

Nr 4, 28 feb, Amelia 2 4 McLaurin- och Taylorpolynom 4. Repetition av Taylorpolynom i en variabel 4.. Förbättring av tangenten Detta avsnitt handlar om de grundläggande idéerna för Taylorpolynom i en variabel. Idéerna är nästan samma för flera variabler, bara svårare att överblicka på grund av att formlerna blir längre. I en variabel är som bekant y(x) en tangent till en deriverbar funktion f(x) i punkten a om: y(x) =f(a)+f (a)(x a). Funktionen y(x) är mycket nära f(x) nära punkten a, på så sätt att de två funktionerna har samma värde och samma derivata i punkten: f(a) =z(a) och f (a) =z (a). Däremot kan f (a) och z (a) vara olika. Men om vi lägger till en term till så får vi även f (a) =z (a). Då ska vi faktiskt lägga till 2 f (a)(x a) 2. Det ger y(x) =f(a)+f (a)(x a)+ 2 f (a)(x a) 2. Genom att derivera z(x) två gånger och sätta in x = a kan man lätt övertyga sig om att f (a) =z (a), och att f(a) =z(a) och f (a) =z (a) fortfarande gäller. För att detta ska vara möjligt måste f vara två gånger deriverbar i punkten (så f (a) finns). Vi kan fortsätta på detta sätt. Om f är tre gånger deriverbar i x = a behöver vi en term 6 f (a)(x a) 3, då kommer funktionen y(x) =f(a)+f (a)(x a)+ 2 f (a)(x a) 2 + 6 f (a)(x a) 3 att uppfylla f(a) =z(a), f (a) =z (a), f (a) =z (a) och f (a) =z (a) alla derivator upp till tredje ordningen överensstämmer. Man kan lätt kontrollera genom att derivera och sätta in x = a. Det visar sig att ju fler derivator som överensstämmer i punkten x = a, ju större är det intervall runt a, säg intervallet [a R, a + R], där y(x) är en god approximation till f(x) (se nedanstående exempel med sin x runt x =) Notera att de olika varianterna av y(x) ovan alla är polynom av allt högre grad, och alla derivator överensstämmer med derivatorna till f(x) i punkten x = a. Dessa polynom kallas Taylorpolynom till f(x) ipunktena. Vi får ett Taylorpolyom med högre gradtal, och en bättre approximation, genom att lägga

till nästa term i Taylorserien, som är följande serie: f(a)+f (a)(x a)+ 2 f (a)(x a) 2 +... = X k= k! f (k) (a)(x a) k. I Taylorserien har vi alltså med oändligt många termer, och vi får ett Taylorpolynom genom att stryka alla termer över ett visst gradtal. Stryker vi alla termer av grad 2 och högre får vi alltså funktionens tangent i punkten den punkt där argumentet i detta avsnitt startade. Symbolen f (k) betyder förstås derivata av ordning k : f (k) (a) = dk f dx k (a), så f (2) (a) =f (a), till exempel. 4..2 McLaurinserie I specialfallet a =talar man om en McLaurinserie: f() + f ()x + 2 f ()x 2 +... = X k= k! f (k) ()x k. Just som för Taylorpolynom får vi ett McLaurinpolynom om vi trunkerar serien (tar bort alla termer från ett visst k och uppåt). Här nedan följer en följd McLaurinpolynom till f(x) =sinx, som illustrerar hur approximationen blir allt bättre när vi tar med fler termer. Figurerna visar sin x och dess McLauringpolynom av gradtal, 3,, 7 och 39. 4 2 - -7. - 7. -2 - -4 x (tunn), tangenten till sin x (tjock) i x = x x3 6 (tunn) och sin x (tjock). 2

-7. - 7. -7. - 7. - - sin x (tjock) och x x3 6 + x 2 (tunn). sin x och x x3 3! + x! x7 7!. -2-2 - sin x (tjock) och P 2 x2k k= ( )k+ (2k )! (tunn). Med gradtal 39 svänger polynomet som synes mycket nära funktionen sin x i mer än fyra perioder av sin x. De sammanfaller ungefär i intervallet (, ). Med högre gradtal skulle vi få överensstämmelse i ett ännu större intervall. Det går bra att göra denna konstruktion ty sin x är 39 gånger deriverbar. Funktionen sin x är t.o.m. oändligt deriverbar, vilket definitionmässigt betyder att dk dx k sin x är kontinuerlig för alla naturliga tal k, och för alla x. 4..3 Intervallstorlek och restterm Kan vi avgöra hur stort intervall de två överensstämmer? Vi vill då uppskatta felet max f(x) p n(x), x I där p n (x) är Taylorpolynomet av grad n till f(x), och I är det intervall vi är intresserade av. Vi kommer att betrakta intervall runt av längd 2R, alltså I =] R, R[. Det visar sig att felet kan uppskattas med nästa derivata (f (n+) ), på följande sätt: max x I f(x) p n(x) R n+ max f (n+) (x) x [ R,R] (n +)!. Man kan visa detta med upprepad partiell integration, vi utför detta för n =2: 3

f(x) = f() + f (y)dy = f() + = f() + [(y x) f (y)] x f (y)dy = {PI} (y x) f (y)dy = {insättning av gränser} = f() + f (x) ( x)f () (y x) f (y)dy = {PI} = f() + xf () [ 2 (y x)2 f (y)] y=x y= + 2 (y x)2 f (y)dy = f() + xf () + 2 x2 f () + 2 (y x)2 f (y)dy. Avvikelsen mellan f(x) och f() + xf () + 2 x2 f () är således 2 (y x)2 f (y)dy. Denna storhet är maximalt 2 (y x)2 f (y)dy (y x) 2 f (y) dy 2 { f (y) max f (y) } 2 max f (y) = 2 max f (y) x3 3. I intervallet [ R, R] är detta maximalt om x = R,så vi har max f(x) p 2(x) max f (3) (x) R3 x I x [ R,R] 3!. (y x) 2 dy För f(x) =sinx vet vi att max x [ R,R] f (n+) (x) (eftersom alla derivator av sin x är ± sin x eller ± cos x, så är värdet av f (n+) (x) högst)såom feletskavarahögst.såfårvikravet R n+ (n +)!., dvs vi har ett krav på R : R n+p.(n +)!. Man kan beräkna att 4. 4! = 4.886, vilket stämmer utmärkt med vad vi kundeseifiguren (ögonmått gav ). Obervera att 4! = 8. 6 47 är ett gigantiskt stort tal. 4 e Stirlings formel säger n! ( n e )n, så n n! [( n e )n ] n = n. Det stämmer bra här ty e 4. 7 och intervallens längd ökar ungefär linjärt med McLaurinpolynomets gradtal. 4

Man kan skriva detta som att f(x) =p n (x)+o(x n+ ), vilket betyder att skillnaden f(x) p n (x) går mot noll minst som Cx n+ då x. Detta kan också sägas som att (f(x) p n (x))x n är en begränsad funktion nära. 4.2 Taylorpolynom i n variabler 4.2. Två variabler Betrakta grafen av en funktion f(x, y), dvs planet z = f(x, y) som en yta i R 3. Funktionen är differentierbar i en punkt (a, b) om det finns konstanter A och B så att det finns ett plan z = f(a, b)+a(x a)+b(y b) som är en mycket bra approximation till f(x, y) nära (a, b). Nämligen så bra att f(x, y) (f(a, b)+a(x a)+b(y b) = p (x a) 2 +(y b) 2 ρ(x a, y b) där ρ(h, k) då (h, k) (, ). Faktorn p (x a) 2 +(y b) 2 går mot noll, och faktorn ρ gör att f(a, b)+a(x a)+b(y b) approximerar f(x, y) ännu bättre än något annat plan genom punkten. Då är A = f x(a, b) och B = f y(a, b), och planet är givetvis tangentplanet z(x, y) =f(a, b)+fx (a, b)(x a)+f y (a, b)(y b). Vi kan också tala som de två funktionerna f(x, y) och z(x, y), därz (x, y) = f(a, b)+f x(a, b)(x a)+f y(a, b)(y b) ju är ett förstagradspolynom i två variabler, som är mycket nära varandra nära punkten (a, b), om f är differentierbar i denna punkt. Funktionen z(x, y) går genom (a, b) ty sätter vi in x = a och y = b så får vi z(a, b) =f(a, b)+f x(a, b) +f y(a, b) =f(a, b), och z(x, y) har även samma partiella derivator som f(x, y) i (a, b), ty om vi deriverar z(x, y) =f(a, b)+fx(a, b)(x a)+fy(a, b)(y b) partiellt m.a.p. x så får vi zx(x, y) =+fx(a, b) +, och sedan sätter in (a, b): zx(a, b) =fx(a, b). På samma sätt kan man kontrollera att zy(a, b) =fy(a, b). Med ett Taylorpolynom kan man hitta en yta som anpassar sig ännu bättre än ett plan till f. Tangentplanet z(x, y) är Taylorpolynomet av grad ett (om inte fx(a, b) och fy(a, b) båda är noll, då det har lägre grad), vi kan beteckna

det med z (x, y). Man får Taylorpolynomet av grad 2 genom att lägga till andragradstermer. Det ser ut som följer: z 2 (x, y) = f(a, b)+f x(a, b)(x a)+f y(a, b)(y b) + 2 f xx(a, b)(x a) 2 + f xy(a, b)(x a)(y b)+ 2 f yy(a, b)(y b) 2. Funktionen z 2 (x, y) är (i allmänhet) inte ett plan, utan en andragradsuttryck. Eftersom z 2 inte förekommer är det en elliptisk eller hyperboloidisk paraboloid, eller en parabolisk cylinder. Men varför ser andragradstermerna ut just på detta sätt: 2 f xx(a, b)(x a) 2 + fxy(a, b)(x a)(y b)+ 2 f yy(a, b)(y b) 2? Svaret är att f och z har samma värde i punkten (a, b) och samma partiella derivator av alla ordningar t.o.m. 2. Det är klart att x z 2(x, y) = x [f(a, b)+f x(a, b)(x a)+fy(a, b)(y b) + 2 f xx(a, b)(x a) 2 + fxy(a, b)(x a)(y b)+ 2 f yy(a, b)(y b) 2 ] = fx(a, b)++fxx(a, b)(x a)+fxy(a, b)(y b), så om vi sätter in (x, y) =(a, b) får vi z 2 x (a, b) = f x(a, b)++fxx(a, b)(a a)+fxy(a, b)(b b) = fx(a, b), så även funktionerna f och z 2 har samma partiella derivator av ordning ett i punkten (a, b). Vi kontrollerar härnäst fxx och fxy : och z 2xx(x, y) = x [f x(a, b)+f xx(a, b)(x a)+f xy(a, b)(y b)] = f xx (z,b) z2xy(x, y) = [f x(a, b)+fxx(a, b)(x a)+fxy(a, b)(y b)] = fxy(z,b). Det följer att z2xx(a, b) =fxx(z,b) och z2xy(a, b) =fxy(z, b). Påsammasätt kan vi visa att z2yy yy i punkten (z, b). Vi ska se senare att om vi lägger till termen (f 6 xxx(a, b)(x a) 3 +3fxxy(a, b)(x a) 2 (y b)+fxyy(a, b)(x a)(y b) 2 +fyyy(a, b)(y b) 3 ) 6

till z 2 (x, y) så får vi z 3 (x, y) som har samma partiella derivator som f(x, y) upp t.o.m. ordning 3. Det är inte svårt att derivera detta polynom tre gånger och kontrollera de partiella derivatorna. Detta är Taylorpolynomet till f(x, y) av ordning 3. Vi tittar nu på ett något annorlunda sätt att beskriva Taylorpolynom. Om vi nu byter variabler, byt (x, y) mot (x + h, y + k) och (a, b) mot (x, y), så kan z 2 skrivas z 2 (x+h, y+k) =f(x, y)+f x(x, y)h+f y(x, y)k+ 2 f xx(x, y)h 2 +f xy(x, y)hk+ 2 f yy(x, y)k 2. Notera att µ x + f(x, y) = f x(x, y)+fy(x, y) och µ x + 2 f(x, y) = f xx(x, y)+2fxy(x, y)+fyy(x, y), och µ x + 3 f(x, y) = f xxx(x, y)+3fxxy(x, y)+3fxyy(x, y)+fyyy(x, y). Alltså kan man skriva z 2 som µ z 2 (x + h, y + k) =f(x, y)+ h x + k) f(x, y)+ µ h 2 x + k 2 f(x, y). Det är klart att vi även kan tala om Taylorpolynom av grad 3, som blir µ z 2 (x + h, y + k) = f(x, y)+ h + 6 µ h x + k x + k) 3 f(x, y), f(x, y)+ µ h 2 x + k 2 f(x, y)+ helt analogt med envariabelfallet. Generellt får vi Taylorpolynomet av grad n som nx µ z 2 (x + h, y + k) = h i! x + k i f(x, y). i= Detta ³ är inte säkert helt korrekt på så sätt att gradtalet är inte n, utan lägre än n, om h x + k n f(x, y) =. Exemplet sin x ovan, i envariabelfallet, har inget McLaurinpolynom av grad 2 eftersom f () = sin =. 7

4.2.2 Tre variabler I tre variabler får vi på analogt sätt z 2 (x + h, y + k, z + l) = nx i= µ h i! x + k + l i f(x, y, z). z Taylorpolynomet av grad 3, exempelvis, är då utskrivet som följer: z 2 (x + h, y + k, z + l) = f(x, y, z)+f x(x, y, z)h + f y(x, y, z)k + f z(x, y, z)l + + 2 f xx(x, y, z)h 2 + 2 f yy(x, y, z)k 2 ++ 2 f zz(x, y, z)l 2 +f xy(x, y, z)hk + f xz(x, y, z)hl + f yz(x, y, z)kl. Man kan kontrollera detta genom derivering att se att z 2 och f har samma partiella derivator i (x, y) upp till ordning 2. Exempel (7b) Bestäm McLaurinpolynomet av andra graden till e xy cos(x+ y). Vi använder här envariabelutvecklingarna Insättning ger och vi får e x +x + 2 x2, och cos x 2 x2. e xy +xy + 2 x2 y 2, och cos(x + y) 2 (x + y)2, e xy cos(x + y) ( + xy + 2 x2 y 2 )( 2 (x + y)2 )= = +xy 2 (x + y)2 +... = 2 y2 2 x2 +.... Alla termer av högre grad än 2 representeras av "...". Svar: McLaurinpolynomet är 2 y2 2 x2. Exempel 2 (72c + approximation) Bestäm Taylorpolynomet av andra graden till f(x, y) = p y x +sin(2x y) ipunkten(, 2). Vad är f(.9, 2.), approximativt? 8

Man kan antingen beräkna alla värden f(, 2), fx(, 2), fy(, 2), fxx(, 2), fxy(, 2) och fyy(, 2), eller beräkna McLaurinpolynomet till g(x, y) = f(x +,y+2)= p (y +2) (x +)+sin(2(x +) (y +2) = p y x ++sin(2x y). Vi har envariabelutvecklingar x+ + 2 x 8 x2, sin x x 6 x3. Så vi har sin(2x y) 2x y 6 (2x y)3, och insättning av y x +2x y 6 (2x y)3 = x 6 (2x y)3 i utvecklingen av 2x y 6 (2x y)3 ger p y x ++sin(2x y) + 2 (x 6 (2x y)3 ) 8 (x 6 (2x y)3 ) 2 = + 2 x 2 x2 +... Termen 6 (2x y)3 behöver inte tas med för den är av ordning 3. Vi får nu f(x, y) =g(x,y 2) som + 2 (x ) 8 (x )2. Approximation med Taylorpolynomet ger f(.9, 2.) + 2 (.9 ) 8 (.9 )2 =.948 7. Svar: Taylorpolynomet av grad 2 är + 2 (x ) 2 (x )2, och f(.9, 2.).948 7. Vilket fel har en Taylorutveckling? Jo, f(x + h, y + k) = nx i= µ h i! x + k i f(x, y)+o(( p h 2 + k 2 ) n+ ). Felet är O(( h 2 + k 2 ) n+ ). Man säger att felet är av ordning n +. Exempel 3 (7) Bestäm Taylorutvecklingen av ordning 2 till den funktion z(x, y) som defineras av z 3 2xz + y =, i punkten (,, ). 9

Implicit derivering m.a.p. x ger som insatt (,, ) ger 3z 2 z x(x, y) 2z(x, y) 2xz x(x, y)+=, 3z x(, ) 2 2z x(, ) =, dvs z x(, ) = 2. Deriverar vi ekvationen ovan igen m.a.p. x så får vi 6z(x, y)zx(x, y) 2 +3z 2 zxx(x, y) 2zx(x, y) 2zx(x, y) 2xzxx(x, y) =. Vid insättning av (,, ) känner vi nu zx(, ) = 2, så vi kan bestämma zxx(, ) : 24 + 3zxx(, ) 4 4 2zxx(, ) =, dvs zxx(, ) = 6. Nu ger derivering m.a.p. y 3z 2 z y(x, y) 2xz y(x, y)+=, och vi får zy(, ) =. Deriverar vi denna ekvation m.a.p. x så får vi tag på zxy(, ). Deriveringen ger 6z(x, y)zx(x, y)zy(x, y)+3z 2 zyx(x, y) 2zy(x, y) 2xzyx(x, y)+= så med zx(, ) = 2 och zy(, ) = får vi 2 + 3zyx(, ) + 2 2zyx(, ) + = och zyx(, ) =. Deriverar vi den y-deriverade ekvationen en gång till m.a.p. y så fås 6z(x, y)zy(x, y) 2 +3z 2 zyy(x, y) 2xzyx(x, y) =, och insättning av (,, ) och zx(, ) = 2 och zy(, ) = ger nu 6+3zyy (, ) 2z yy (, ) =, så zyy(, ) = 6. Då blir Taylorutvecklingen z(, ). + z x(, ).(x ) + z y(, ).(y ) + 2 z xx(, ).(x ) 2 + zxy(, ).(x )(y ) + 2 z yy(, )(y ) 2 = +2(x ) (y ) 8(x ) 2 + (x )(y ) + 3(y ) 2 = +8x 7y +xy 8x 2 +3y 2. Svar: Taylorpolynomet är +8x 7y +xy 8x 2 +3y 2.

Exercise 4 (7) Visa att ½ x + y + z 3 +3w = x y +4z + w 3 = definierar en funktion z(x, y) i en omgivning till (x, y, z, w) =(,,, ). Bestäm dess Taylorutveckling av ordning 2. Här är jacobianen (F,F 2 ) (z,w) som i (x, y, z, w) =(,,, ) har värdet µ 3 3 4 3 = µ 3z 2 3 4 3w 2 och determinant skild från noll. Så sambanden definierar lokalt både en funktion z(x, y) och w(x, y). Om vi deriverar implicit m.a.p. x får vi ½ +3z 2 z x(x, y)+3w x(x, y) = +4z x(x, y)+3w 2 w x(x, y) = och insättning av (x, y, z, w) =(,,, ) ger ½ +3z x (, ) + 3w x(, ) = +4z x(, ) + 3w x(, ) =. Lösning av det linjära ekvationssystemet ger zx(, ) = och wx(, ) = /3. Om vi deriverar implicit m.a.p. y fås ½ +3z 2 zy +3wy = +4zy +3w 2 wy = och insättning av (x, y, z, w) =(,,, ) ger ½ +3z y +3w y = +4z y +3w y =. Vi har igen ett linjärt ekvationssystem, med lösningen z y(, ) = 2 och w y(, ) = 3/7. Vi får då Taylorpolynomet av grad till +2(y ). Svar: +2(y ). Exempel (74b) Ange det största n så att f(x, y, z) = O(r n ) där r = p x2 + y 2 + z 2 och f(x, y) =cosx cos y cos z cos(x + y + z).

Med cos x 2 x2 + 24 x4 får vi så f(x, y) =O(x 2 ). Svar: n =2. ( 2 x2 + 24 x4 )( 2 y2 + 24 y4 )( 2 z2 + 24 z4 ) ( 2 (x + y + z)2 + 24 (x + y + z)4 ) = 2 x2 2 y2 + 24 x4 2 z2 +..., 2