Citat:
Ursprungligen postat av
starke_adolf
Säg att man utgår från:
lim ε→0 (f(x+εa) - f(x))/ε = a · ∇f
där x=(x,y,z) och a=(a_x,a_y,a_z)
Vad skulle hända om man istället för ε införde en felvektor
δ=(ε³,ε,ε) s.a. x-komponenten går snabbare mot noll än de andra komponenterna? En viktad gradient mot x?
lim ε→0 (f(x+δa) - f(x))/ε
Det är viktigt att tänka på att
a skall vara en enhetsvektor i differenskvoten
lim ε→0 (f(x+εa) - f(x))/ε = a · ∇f
Vidare ser man att kvantiteten
δa
som inkrement i den "viktade gradienten" inte är riktigt väldefinierat, eftersom både
δ=(ε³,ε,ε) och
a=(a_x,a_y,a_z) är vektorer. Tanken bakom produkten
εa
är att, som du förstår, att parametrisera den riktning där
a pekar mot. I det tvådimensionella (enklare att rita) fallet med inkrementet ε
a, där
a är en enhetsvektor i någon riktning ser situationen ut
såhär om man väljer
x =
0 för översiktlighetens skull.
Låt nu
a(ε), istället för
δa, vara en vektor s.a.
a(ε) → 0, ε → 0
Eftersom
a(ε) är en vektor av en variabel, blir det en kurva i planet om
a(ε) är exempelvis tvådimensionell. Om man nu betraktar följande differenskvot
lim ε→0 (f(x+a(ε)) - f(x))/|a(ε)|
borde denna kvantitet ge den momentana förändringstakten hos
f, givet att man väljer kurvan om ges av
a(ε) som väg. Exempelvis kan man välja
a(ε) = (ε, ε²)
vilket skulle ge upphov till en situation som ser ut
såhär. Som du kanske nu märker har vi i själva verket angripit problemet med en sammansatt funktions derivata, fast lokalt. Om man har ett variabelbyte för en tvådimensionell funktion f(x,y)
x = x(t)
y = y(t)
blir denna kurva analog med kurvan som ges av
a(ε), förändringen i funktionen sker längs denna kurva. Om man benämner kurvan som ges av detta variabelbyte som
g = (x(t),y(t)) ges derivatan av f(x(t),y(t)) m.a.p.
t som bekant av det bekväma uttrycket
∇f · g'(t)
Observera att om man använder beteckningarna
g(t) =
a(t) =
ta och därmed låter
a vara en konstant enhetsvektor reduceras uttrycket ovan till
∇f · a
EDIT: Råkade feta ε och t som ju inte är vektorer.