«Bevis» for dy/dx av: sum, produkt og brøk + kjerneregelen.

Mange finner bevis vanskelig. Her er rom for spørsmål vedrørende bevis, og for å dele dine bevis med andre. Vi tenker først og fremst videregående nivå, men det er ingen begrensninger her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
Emilga
Riemann
Riemann
Innlegg: 1552
Registrert: 20/12-2006 19:21
Sted: NTNU

I R1 blir du bedt om å derivere funksjoner ved å bruke produktregelen, kvotientregelen og kjerneregelen, uten at de er bevist. Jeg tenkte først at bevisene var for vanskelige eller for lange til at det var hensiktsmessig å ta dem med, men tvert i mot er de veldig enkle:

(Forkortet (og redigert) utdrag fra ISBN 82-00-26444-0, 3. utg.)
Den deriverte av en sum:
La [tex]y[/tex], [tex]u[/tex] og [tex]v[/tex] være deriverbare funksjoner slik at [tex]y = u +v[/tex]. Gir vi [tex]x[/tex] tilveksten [tex]\Delta x[/tex] får [tex]u[/tex] tilveksten [tex]\Delta u[/tex] og [tex]v[/tex] tilveksten [tex]\Delta v[/tex]. Dette medfører at [tex]y[/tex] får tilveksten [tex]\Delta y = \Delta u + \Delta v[/tex], og vi får:

[tex]\frac{\Delta y}{\Delta x} = \frac{\Delta u}{\Delta x} + \frac{\Delta v}{\Delta x}[/tex]

Lar vi nå [tex]\Delta x \rightarrow 0[/tex], vil [tex]\frac{\Delta u}{\Delta x} \rightarrow u^\prime[/tex] og [tex]\frac{\Delta v}{\Delta x} \rightarrow v^\prime[/tex]. Men da må også [tex]\frac{\Delta y }{\Delta x} \rightarrow u^\prime + v^\prime[/tex]:

[tex]y^\prime = u^\prime + v^\prime[/tex]

Dette viser at vi får den deriverte av en sum ved å derivere ledd for ledd. Det samme gjelder for en differens og allment for ethvert flerleddet uttrykk.
Sist redigert av Emilga den 08/09-2008 16:01, redigert 1 gang totalt.
Emilga
Riemann
Riemann
Innlegg: 1552
Registrert: 20/12-2006 19:21
Sted: NTNU

Den deriverte av et produkt:
La [tex]y[/tex], [tex]u[/tex] og [tex]v[/tex] være deriverbare funksjoner slik at [tex]y = u \cdot v[/tex]. Gir vi [tex]x[/tex] tilveksten [tex]\Delta x[/tex] endres [tex]u[/tex] til [tex](u + \Delta u)[/tex], [tex]v[/tex] til [tex](v +\Delta v)[/tex] og [tex]y[/tex] til

[tex]y + \Delta y = (u + \Delta u) \cdot (v+ \Delta v)[/tex]

Dette viser at [tex]y[/tex] får tilveksten

[tex]\Delta y = (u + \Delta u) \cdot (v+ \Delta v) - y = (u + \Delta u) \cdot (v+ \Delta v) - uv = \Delta u \cdot v + u\cdot \Delta v+ \Delta u\cdot \Delta v[/tex]

og vi får

[tex]\frac{\Delta y}{\Delta x} = \frac{ \Delta u}{\Delta x} \cdot v + u\cdot \frac{\Delta v}{\Delta x} + \frac{\Delta u}{\Delta x} \cdot \Delta v[/tex]

Lar vi nå [tex]\Delta x \rightarrow 0[/tex], vil [tex]\frac{\Delta u}{\Delta x} \rightarrow u^\prime[/tex], [tex]\frac{\Delta v}{\Delta x} \rightarrow v^\prime[/tex] og [tex]\Delta v \rightarrow 0[/tex]

Men da må også [tex]\frac{\Delta y}{\Delta x} \rightarrow u^\prime\cdot v + u \cdot v^\prime[/tex]

[tex]y^\prime = u^\prime\cdot v + u \cdot v^\prime[/tex]

Dette viser at den deriverte av et produkt er lik den deriverte av den første faktoren ganger den andre faktoren pluss den første faktoren ganger den deriverte av den andre faktoren.
Emilga
Riemann
Riemann
Innlegg: 1552
Registrert: 20/12-2006 19:21
Sted: NTNU

Den deriverte av en brøk:
La [tex]y[/tex], [tex]u[/tex] og [tex]v[/tex] være deriverbare funksjoner slik at [tex]y = \frac uv[/tex], der vi forutsetter at [tex]v \neq 0[/tex] for alle verdier av [tex]x[/tex]. Gir vi [tex]x[/tex] tilveksten [tex]\Delta x[/tex], får [tex]u[/tex] tilveksten [tex]\Delta u[/tex] og [tex]v[/tex] tilveksten [tex]\Delta v[/tex]. Det medfører at [tex]y[/tex] får tilveksten

[tex]\Delta y = \frac{u+\Delta u}{v + \Delta v} -\frac uv = \frac{uv+\Delta u\cdot v -uv -u\cdot \Delta v}{(v +\Delta v)v} = \frac{\Delta u \cdot v - u \cdot \Delta v}{v(v+\Delta v)}[/tex]

og vi får

[tex]\Large{\frac{\Delta y}{\Delta x} = \frac{\frac{\Delta u}{\Delta x}\cdot v - u \cdot \frac{\Delta v}{\Delta x}}{v(v+\Delta v)}}[/tex]

Lar vi nå [tex]\Delta x \rightarrow 0[/tex], vil [tex]\frac{\Delta u}{\Delta x} \rightarrow u^\prime[/tex], [tex]\frac{\Delta v}{\Delta x} \rightarrow v^\prime[/tex] og [tex](v + \Delta v) \rightarrow v[/tex]

Men da må

[tex]\frac{\Delta y}{\Delta x} \rightarrow \frac{u^\prime\cdot v - u\cdot v^\prime}{v^2}[/tex]

[tex]y^\prime = \frac{u^\prime\cdot v - u\cdot v^\prime}{v^2}[/tex]

Dette viser at den deriverte av en brøk er lik den deriverte av telleren ganger nevneren minus telleren ganger den deriverte av nevneren, alt delt på kvadratet av nevneren.
Sist redigert av Emilga den 31/08-2008 15:03, redigert 1 gang totalt.
Emilga
Riemann
Riemann
Innlegg: 1552
Registrert: 20/12-2006 19:21
Sted: NTNU

Den deriverte av en sammensatt funksjon:
Vi lar [tex]y[/tex] være en funksjonsfunksjon, nemlig en funksjon av [tex]u[/tex] som igjen er en funksjon av [tex]x[/tex].

Er [tex]f(u)[/tex] en funksjon av [tex]u[/tex] og [tex]g(x)[/tex] en funksjon av [tex]x[/tex], så er
[tex]y = f(u)[/tex], der [tex]u=g(x)[/tex] en funksjonsfunksjon.

Vi kaller [tex]f(u)[/tex] den ytre funksjonen, mens [tex]u = g(x)[/tex] kalles den indre funksjonen eller kjernen.

Vi forutsetter at [tex]f(u)[/tex] og [tex]u = g(x)[/tex] er deriverbare funksjoner.

Gir vi [tex]x[/tex] tilveksten [tex]\Delta x[/tex], får [tex]u = g(x)[/tex] tilveksten [tex]\Delta u[/tex], og det medfører at [tex]y = f(u)[/tex] får tilveksten [tex]\Delta y[/tex]. Forholdet [tex]\frac{\Delta y}{\Delta x}[/tex] kan skrives som

[tex]\frac{\Delta y}{\Delta x} = \frac{\Delta y}{\Delta x} \cdot \frac{\Delta u}{\Delta u} = \frac{\Delta y}{\Delta u} \cdot \frac{\Delta u}{\Delta x}[/tex]

Lar vi nå [tex]\Delta x \rightarrow 0[/tex], må [tex]\frac{\Delta u}{\Delta x} \rightarrow u^\prime = g^\prime(x)[/tex]. Samtidig vil [tex]\Delta u \rightarrow 0[/tex], slik at [tex]\frac{\Delta y}{\Delta u} \rightarrow f^\prime(u)[/tex], der [tex]f^\prime(u)[/tex] er den deriverte av [tex]f(u)[/tex] med hensyn på [tex]u[/tex].

Men da må [tex]\frac{\Delta y}{\Delta x} \rightarrow f^\prime(u) \cdot u^\prime[/tex]

[tex]y^\prime = f^\prime(u) \cdot u^\prime[/tex]

Dette viser at den deriverte av en funksjonsfunksjon fåes ved først å derivere den ytre funksjonen som om kjernen var den fri variable, og så multiplisere det utkomne med den deriverte av kjernen.
Magnus
Guru
Guru
Innlegg: 2286
Registrert: 01/11-2004 23:26
Sted: Trondheim

Den deriverte av en brøk følger direkte fra deriverta av produkt.

[tex](u\cdot v^{-1})^\prime = u^\prime \cdot v^{-1} - u \cdot v^{-2}\cdot v^\prime = [/tex]

[tex]u^\prime \cdot \frac{v}{v^2} - u\cdot \frac{v^\prime}{v^2}[/tex]
arildno
Abel
Abel
Innlegg: 684
Registrert: 17/03-2007 17:19

Ingen av disse argumentene er i nærheten av å være beviser. Hva betyr pilene dine, for eksempel?
Emilga
Riemann
Riemann
Innlegg: 1552
Registrert: 20/12-2006 19:21
Sted: NTNU

Hva mener du?

[tex]\Delta x \rightarrow 0[/tex] = "[tex]\Delta x[/tex] går mot/nærmer seg 0"
arildno
Abel
Abel
Innlegg: 684
Registrert: 17/03-2007 17:19

Emomilol skrev:Hva mener du?

[tex]\Delta x \rightarrow 0[/tex] = "[tex]\Delta x[/tex] går mot/nærmer seg 0"
Har "delta x" føtter? Hva betyr "går mot"??
arildno
Abel
Abel
Innlegg: 684
Registrert: 17/03-2007 17:19

Jeg skylder vel å gi et eksempel på hva jeg mener er et rigorøst bevis, og vise hvordan det inneholder mange vesentlige elementer som er utelatt fra din intuitive argumentasjon.

I hovedsak mangler argumentasjonen din presise estimater, mens hovedlogikken er helt OK.
Men, som engelskmennene sier: "The devil is in the details"..

Jeg velger beviset for produktregelen for derivasjon, som ikke er fullt så triviell som beviset for summeregelen, og ikke så kronglete som beviset for kjerneregelen:

Vi skal vise, at for en VILKÅRLIG VALGT [tex]\epsilon>0[/tex], så eksisterer en [tex]\delta>0[/tex] slik at nårsomhelst [tex]|y-x|<\delta[/tex], så er
[tex]|\frac{f(y)g(y)-f(x)g(x)}{y-x}-(\frac{df}{dx}g(x)+f(x)\frac{dg}{dx})|<\epsilon[/tex](*)
(At f og g begge er deriverbare i punktet x er en foritsetning vi har gjort!
De deriverete av f og g er evaluert i punktet "x")

Ved å legge til 0 på en smart måte, så kan venstresiden av (*) omskrives til, samt estimeres vha av trekantulikhet:
[tex]|\frac{f(y)g(y)-f(x)g(x)}{y-x}-(\frac{df}{dx}g(x)+f(x)\frac{dg}{dx})|=|g(y)\frac{f(y)-f(x)}{y-x}+f(x)\frac{g(y)-g(x)}{y-x}-(\frac{df}{dx}g(x)+f(x)\frac{dg}{dx})|=|g(y)(\frac{f(y)-f(x)}{y-x}-\frac{df}{dx})+(g(y)-g(x))\frac{df}{dx}+f(x)(\frac{g(y)-g(x)}{y-x}-\frac{dg}{dx})|<|g(y)||\frac{f(y)-f(x)}{y-x}-\frac{df}{dx}|+|g(x)-g(y)||\frac{df}{dx}|+|f(x)||\frac{g(y)-g(x)}{y-x}-\frac{dg}{dx}|[/tex]

Nå har vi fått en øvre kontroll på uttrykket vårt via en ulikhet, og hvis denne siste ulikhet kan vises å kunne gjøres vilkårlig liten, så er vi i mål!
Det tar jeg for meg i neste post!
arildno
Abel
Abel
Innlegg: 684
Registrert: 17/03-2007 17:19

ESTIMATER AV VARIABLE LEDD OG FAKTORER:

1. Faktoren |g(y)|
Iogmed at g er forutsatt deriverbar, så er g kontinuerlig, og det eksisterer derfor en [tex]\delta_{1}>0[/tex], slik at når [tex]|y-x|<\delta_{1}[/tex], så er [tex]|g(y)|<|g(x)|+1[/tex] (1-tallet kunne her godt skiftes ut med et hvilket som helst annet positivt tall som vil fungere like greit)

2. Faktoren [tex]|\frac{f(y)-f(x)}{y-x}-\frac{df}{dx}|[/tex]
Fordi f er deriverbar, så eksisterer en [tex]\delta_{2}>0[/tex] slik at når [tex]|y-x|<\delta_{2}[/tex], så er
[tex] |\frac{f(y)-f(x)}{y-x}-\frac{df}{dx}|<\frac{\epsilon}{3(|g(x)|+1)}[/tex], hvor [tex]\epsilon>0[/tex] er et vilkårlig valgt tall.

3. Estimat første ledd:
La [tex]\delta_{3}=min(\delta_{1},\delta_{2})[/tex], og vi får derfor at hvis [tex]|y-x|<\delta_{3}[/tex] så følger at første ledd er mindre enn [tex]\frac{\epsilon}{3}[/tex]

En helt tilsvarende tenkning kan anvendes på de to neste leddene, og tilslutt velger vi den minste delta-verdi som vi trenger, og påviser at tre-leddsummen vår er mindre enn epsilonen vår.


Som du ser, så er det som mangler i argumentasjonen din identifikasjonen av hvor kvantitative estimater ligger, samt at "tilstrekkelig nærme" bør brytes ned til der hvor vi kan foreta presise evalueringer av hvor nært noe er noe annet...
Svar