Flervariabelanalys: anourlunda version av derivatans definiton
Hej:
Jag har sett denna förut (såklart): f'(a)=limh→0f(a+h)-f(a)h
Men nu i boken stöter jag på: f(a+h)-f(a)=f'(a)h+|h|ρ(h) där limh→0ρ(h)=0
Jag finner ingen intuition i detta, var kommer denna rho-funktionen från? Varför finns den?
Dela leden med h och låt h gå mot 0.
Vad blir kvar?
Ja... det blir den som jag har sett förrut!
Men finns det någon geometrisk tolkning av detta?
Boken jag använde, Flerdimensionell analys av Jonas Månsson och Patrik Nordbeck hade följande förklaring
limh→0f(a+h)-f(a)h=f'(a) är basically samma sak som f(a+h)-f(a)h=f'(a)+ρ(h) för någon funktion ρ(h) så att h→0 ⇒ ρ(h)→0
Sök runt lite på differentierbarhet ifall du vill ha utförligare förklaring.
Är det meningen att den alternativa definitionen skrivs utan "limes?
Yeah
I flervariabel analysen använder man differentierbarhet för att bestämma ifall en funktion är partiellt deriverbar och kontinuerlig.
Ser ut så här i två variabler i punkten (a,b)
f(a+h,b+k)-f(a,b)=Ah+Bk+√h2+k2ρ(h,k) med (h,k)→0 ⇒ ρ(h,k)→0
(där f'x(a,b)=A, f'y(a,b)=B)
Det har redan konstaterats att det boken skriver i princip bara är en ekvivalent formulering av derivatans definition, men eftersom du också frågar om det finns någon geometrisk tolkning av den här formuleringen, så tänkte jag att jag kunde säga några ord om detta.
Idén är följande: Låt f(x) vara en realvärd funktion som är deriverbar vid x=a. Då kommer den räta linjen genom punkten (a,f(a)) med lutningen f'(a) att vara en väldigt bra approximation till funktionen för x som ligger nära a.
Detta kan lite mer precist uttryckas som att
f(a+h)≈f(a)+f'(a)h ,
för h≈0, där h beskriver hur långt ifrån x=a vi befinner oss.
(Jämför gärna detta med enpunktsformeln från gymnasiematten.)
Vill man uttrycka det ännu lite mer precist, utan de lite flummiga "ungefär lika med"-tecknen, så skulle man kunna skriva
f(a+h)=f(a)+f'(a)h+R(h) ,
där R(h) är en funktion som mäter felet i approximationen, och som uppfyller limh→0R(h)=0.
Problemet är bara att detta helt misslyckas med att fånga hur bra den här linjära approximationen av funktionen är.
Oavsett vilken lutning k∈ℝ vi än väljer för vår linjära approximation, så kommer den motsvarande felfunktionen R(h) (som beror av k och som vi väljer så att f(a+h)=f(a)+kh+R(h) uppfylls) automatiskt att uppfylla limh→0R(h)=0.
Detta är en direkt konsekvens av att f(x) är kontinuerlig i x=a. (Kom ihåg att deriverbarhet medför kontinuitet!)
Det som gör den linjära approximationen där just derivatan f'(a) används som riktningskoefficient extra bra, är att den motsvarande felfunktionen går mot noll snabbare än vår avvikelse h i x-led.
Detta kan vi uttrycka som R(h) går mot noll även om vi dividerar med |h|, dvs. att limh→0R(h)|h|=0.
Eller, om vi så vill, som att R(h)=|h|ρ(h) för någon funktion ρ(h) sådan att limh→0ρ(h)=0.
Det bästa sättet att greppa detta är att leka runt lite med en grafritare.
Här har jag satt ihop en liten GeoGebra-applet, som plottar en funktion (svart), ihop med en linjär approximation (blå) genom en viss punkt a med en viss lutning k, samt skillnaden mellan funktionen och apporixmationen (rött). Testa att justera lutningen tills den sammanfaller med derivatan f'(a), och lägg märke till att felet då blir särskilt litet. Du kan även testa att lägga till felet dividerat med avvikelsen i x-led till plotten (orange).
(Observera att jag i appleten har valt att uttrycka den linjära approximationen som f(x)≈f(a)+f'(a)(x-a), och att jag har låtit felfunktionen bero på x i stället för h.)
Oggih skrev:[...]
Problemet är bara att detta helt misslyckas med att fånga hur bra den här linjära approximationen av funktionen är.[...]
Detta är en direkt konsekvens av att f(x) är kontinuerlig i x=a. (Kom ihåg att deriverbarhet medför kontinuitet!)
Det som gör den linjära approximationen där just derivatan f'(a) används som riktningskoefficient extra bra, är att den motsvarande felfunktionen går mot noll snabbare än vår avvikelse h i x-led.
[...]
Alldeles utmärkt förkarat. Jag förstod inte riktigt när jag läste det först, men nu blev det enkelt.