Citat:
Ursprungligen postat av
kreativtnamn123
Kan någon på ett intuitivt sätt bevisa entydighetssatsen för maclaurin- och taylorutvecklingar?
Påstående
Antag att f är (n+1) gånger kontinuerligt deriverbar på ett intervall I runt 0 och att
f(x) = a(0) + a(1) x + a(2) x² + ... + a(n) x^n + x^(n+1) B(x),
där B är en funktion definierad på I.
Då gäller att a(k) = f^(k)(0)/k! för k = 0, ..., n.
Bevis
Det är bara att beräkna derivatorna f^(k)(0) av f(x) enligt ovan.
Svårigheten här är derivatorna av resttermen x^(n+1) B(x). Ingen av derivatorna, tagen i x = 0, får vara nollskild. Och man inser lätt att D^k {x^(n+1) B(x)} består av en summa av termer på formen x^(n+1-m) B^(m)(x), där m = 0, ..., k. Faktorn x^(n+1-m) kommer därmed alltid ha en positiv exponent varför D^k {x^(n+1) B(x)} kommer att ha värdet 0 i x = 0.
Citat:
Ursprungligen postat av
kreativtnamn123
Uppgifterna är enkla men tråkiga när jag inte förstår varför något fungerar.
Jag antar att du har problem med att förstå t.ex. varför det fungerar att bara byta ut x mot x² i Maclaurinutvecklingen för sin(x) för att få Maclaurinutvecklingen för sin(x²).
Litet mer symboliskt:
Låt Mf(x) beteckna Maclaurinutvecklingen för f i variabeln x.
Antag att g är oändligt deriverbar.
Varför gäller M(f o g)(x) = Mf(g(x)) ?
Citat:
Ursprungligen postat av
kreativtnamn123
Vad heter entydighetssatsen på engelska förresten?
Uniqueness theorem