4 svar
198 visningar
HaCurry behöver inte mer hjälp
HaCurry 235
Postad: 18 sep 2020 18:07

Kedjeregeln bevis

Jag har lite svårt att förstå följande bevis för kedjeregeln (jag skriver ut hela lemmat nedan):

Lemma: 

f(x) är deriverbar i a  vi kan skriva f(a+h)-f(a)=Ah+hφ(h), för något tal A där φ(h)0 då h0.

Observera att A = f'(a).

 

Det jag inte fattar är varför man kan skriva, h = g(x + k) - g(x), hur vet vi att h uppfyller samma egenskaper som
g(x + k) - g(x), kan vi vara säkra på att likhet alltid uppstår? Eller är det någon variant av sammansättningsregeln man använder?

All hjälp uppskattas, tack!

parveln 703 – Fd. Medlem
Postad: 18 sep 2020 18:11

Vi definierar h som g(x+k)-g(x). Ditt lemma gäller för alla h.

Albiki 5096 – Fd. Medlem
Postad: 18 sep 2020 21:20

Hej HaCurry,

Du vet att g är deriverbar i punkten x. Då låter lemmat dig skriva

    g(x+k)=g(x)+Bk+kψ(k)g(x+k)=g(x)+Bk+k\psi(k)

där ψ(k)0\psi(k)\to 0k0.k\to0.

Albiki 5096 – Fd. Medlem
Postad: 18 sep 2020 23:56 Redigerad: 18 sep 2020 23:59

Egentligen behöver man inte åberopa lemmat vid omformuleringen av differensen f(g(x+k))-f(g(x)).f(g(x+k))-f(g(x)).

Inför bara beteckningarna h(k)=g(x+k)-g(x)h(k) = g(x+k)-g(x) samt a=g(x).a=g(x).

Eftersom funktionen gg är deriverbar i punkten xx så är gg även kontinuerlig i punkten xx vilket medför att g(x+k)-g(x)0g(x+k)-g(x) \to 0k0k \to 0; därför kan du säga att h(k)0h(k)\to 0k0.k\to 0.

Då kan du formulera det intressanta gränsvärdet

    limk0f(g(x+k))-f(g(x))k=limk0f(a+h(k))-f(a)k.\displaystyle\lim_{k\to0} \frac{f(g(x+k))-f(g(x))}{k} = \lim_{k\to0}\frac{f(a+h(k))-f(a)}{k}.

Enligt lemmat kan du skriva

    f(a+h(k))-f(a)=f'(a)h(k)+ψ(h(k))h(k)f(a+h(k))-f(a) = f^\prime(a)h(k) + \psi(h(k)) h(k)

där ψ(h(k))0\psi(h(k)) \to 0k0k\to 0 vilket ger dig det intressanta gränsvärdet

    limk0f'(a)·h(k)k+limk0h(k)ψ(h(k))k=f'(a)·limk0g(x+k)-g(x)k+limk0g(x+k)-g(x)k·ψ(h(k))\displaystyle\lim_{k\to 0} \frac{f^\prime(a) \cdot h(k)}{k} + \lim_{k\to0}\frac{h(k)\psi(h(k))}{k} =f^\prime(a) \cdot \lim_{k\to0} \frac{g(x+k)-g(x)}{k} + \lim_{k\to0} \left\{\frac{g(x+k)-g(x)}{k} \cdot \psi(h(k))\right\}

Du ser att det intressanta gränsvärdet är lika med

    f'(g(x))·g'(x)+g'(x)·limk0ψ(h(k))=f'(g(x))·g'(x)\displaystyle f^\prime(g(x)) \cdot g^\prime(x) + g^\prime(x) \cdot \lim_{k\to0} \psi(h(k)) = f^\prime(g(x)) \cdot g^\prime(x)

eftersom limk0ψ(h(k))=0.\lim_{k\to0} \psi(h(k)) = 0.

HaCurry 235
Postad: 19 sep 2020 13:34
Albiki skrev:

Egentligen behöver man inte åberopa lemmat vid omformuleringen av differensen f(g(x+k))-f(g(x)).f(g(x+k))-f(g(x)).

Inför bara beteckningarna h(k)=g(x+k)-g(x)h(k) = g(x+k)-g(x) samt a=g(x).a=g(x).

Eftersom funktionen gg är deriverbar i punkten xx så är gg även kontinuerlig i punkten xx vilket medför att g(x+k)-g(x)0g(x+k)-g(x) \to 0k0k \to 0; därför kan du säga att h(k)0h(k)\to 0k0.k\to 0.

Då kan du formulera det intressanta gränsvärdet

    limk0f(g(x+k))-f(g(x))k=limk0f(a+h(k))-f(a)k.\displaystyle\lim_{k\to0} \frac{f(g(x+k))-f(g(x))}{k} = \lim_{k\to0}\frac{f(a+h(k))-f(a)}{k}.

Enligt lemmat kan du skriva

    f(a+h(k))-f(a)=f'(a)h(k)+ψ(h(k))h(k)f(a+h(k))-f(a) = f^\prime(a)h(k) + \psi(h(k)) h(k)

där ψ(h(k))0\psi(h(k)) \to 0k0k\to 0 vilket ger dig det intressanta gränsvärdet

    limk0f'(a)·h(k)k+limk0h(k)ψ(h(k))k=f'(a)·limk0g(x+k)-g(x)k+limk0g(x+k)-g(x)k·ψ(h(k))\displaystyle\lim_{k\to 0} \frac{f^\prime(a) \cdot h(k)}{k} + \lim_{k\to0}\frac{h(k)\psi(h(k))}{k} =f^\prime(a) \cdot \lim_{k\to0} \frac{g(x+k)-g(x)}{k} + \lim_{k\to0} \left\{\frac{g(x+k)-g(x)}{k} \cdot \psi(h(k))\right\}

Du ser att det intressanta gränsvärdet är lika med

    f'(g(x))·g'(x)+g'(x)·limk0ψ(h(k))=f'(g(x))·g'(x)\displaystyle f^\prime(g(x)) \cdot g^\prime(x) + g^\prime(x) \cdot \lim_{k\to0} \psi(h(k)) = f^\prime(g(x)) \cdot g^\prime(x)

eftersom limk0ψ(h(k))=0.\lim_{k\to0} \psi(h(k)) = 0.

Tack igen Albiki, jag ska titta in det du skrev, återkommer om det är något jag inte förstår.

Svara
Close