Skillnad mellan versioner av "2.7 Numerisk derivering"
Taifun (Diskussion | bidrag) m (→Varför numerisk derivering?) |
Taifun (Diskussion | bidrag) m |
||
(828 mellanliggande versioner av samma användare visas inte) | |||
Rad 1: | Rad 1: | ||
+ | __NOTOC__ | ||
{| border="0" cellspacing="0" cellpadding="0" height="30" width="100%" | {| border="0" cellspacing="0" cellpadding="0" height="30" width="100%" | ||
| style="border-bottom:1px solid #797979" width="5px" | | | style="border-bottom:1px solid #797979" width="5px" | | ||
− | {{ | + | {{Not selected tab|[[2.6 Derivatan av exponentialfunktioner| << Förra avsnitt]]}} |
− | {{Not selected tab|[[2. | + | {{Selected tab|[[2.7 Numerisk derivering|Genomgång]]}} |
+ | {{Not selected tab|[[2.7 Övningar till Numerisk derivering|Övningar]]}} | ||
+ | {{Not selected tab|[[2.7 Numerisk derivering med räknare|Derivering med räknare]]}} | ||
+ | {{Not selected tab|[[Diagnosprov i Matte 3 kap 2 Derivata|Diagnosprov kap 2 Derivatan]]}} | ||
| style="border-bottom:1px solid #797979" width="100%"| | | style="border-bottom:1px solid #797979" width="100%"| | ||
|} | |} | ||
+ | <!-- [[Media: Lektion 20 Numerisk_Derivering Ruta.pdf|<b><span style="color:blue">Lektion 20 Numerisk derivering</span></b>]] --> | ||
− | + | <big> | |
− | == | + | Anta alltid<span style="color:black">:</span> <math> \; \qquad y \; = \; f(x)\, </math> |
− | + | === <b><span style="color:#931136">Varför numerisk derivering?</span></b> === | |
− | + | Varför ska vi lära oss numerisk derivering när vi kan derivera med [[2.5_Deriveringsregler|<b><span style="color:blue">deriveringsregler</span></b>]] som bygger på derivatans definition? | |
− | : | + | <div class="ovnE"><small> |
+ | ==== <b><span style="color:#931136">Exempel</span></b> ==== | ||
− | : | + | Följande funktioner matchar inte mot någon av funktionstyperna från vår [[2.6_Derivatan_av_exponentialfunktioner#Uppdaterad_tabell_.C3.B6ver_deriveringsregler|<b><span style="color:blue">tabell över deri-</span></b>]] |
− | : | + | [[2.6_Derivatan_av_exponentialfunktioner#Uppdaterad_tabell_.C3.B6ver_deriveringsregler|<b><span style="color:blue">veringsregler</span></b>]] och kan därför inte deriveras med de deriveringsregler vi lärt oss hittills: |
+ | <table> | ||
+ | <tr> <td><math> \quad\; y \, = \, \displaystyle{1 \over x + 1} \qquad\quad </math> </td> <td> <math> y \, = \, \displaystyle{1 \over e^x + 1} \qquad\quad </math> </td> <td> <math> y \, = \, \ln x \qquad\quad </math> </td> <td> | ||
+ | {| class="wikitable" | ||
+ | |- | ||
+ | ! <math> x\, </math> || <math> y\, </math> | ||
+ | |- | ||
+ | | align=center| <math> 0,5\, </math> ||align=center| <math> 1,797\, </math> | ||
+ | |- | ||
+ | | align=center| <math> 0,6\, </math> ||align=center| <math> 2,044\, </math> | ||
+ | |- | ||
+ | | align=center| <math> 0,7\, </math> ||align=center| <math> 2,328\, </math> | ||
+ | |} </td> </tr> | ||
+ | </table> | ||
− | : | + | Varför? Läs i slutet av detta avsnitt: [[2.7_Numerisk_derivering#N.C3.A4r_ska_man_anv.C3.A4nda_numerisk_derivering.3F|<b><span style="color:blue">När ska man använda numerisk derivering?</span></b>]].</small></div> |
− | : | + | Bl.a. därför är det motiverat att syssla med numerisk derivering: <div class="smallBox">'''Alla''' funktionstyper kan deriveras numeriskt.</div> |
+ | Att inte heller tabellfunktionen bland exemplen ovan kan deriveras med derivatans definition eller någon deriveringsregel, beror på att den är [[1.5_Kontinuerliga_och_diskreta_funktioner|<b><span style="color:blue">diskret</span></b>]]: | ||
− | + | Derivatans definition involverar [[2.3_Gränsvärde|<b><span style="color:blue">limes</span></b>]] som inte kan användas på diskreta utan endast på kontinuerliga funktioner. | |
− | == | + | Här visas hur man numeriskt deriverar en diskret funktion, se [[2.7_Numerisk_derivering#Exempel_2|<b><span style="color:blue">enkelt exempel</span></b>]] och [[2.7_Numerisk_derivering#Exempel_p.C3.A5_en_diskret_funktions_derivata_i_en_punkt|<b><span style="color:blue">Fibonaccifunktionen</span></b>]]. |
− | + | En annan fördel av numerisk derivering (och alla numeriska metoder) är att de enkelt kan programmeras, så: <div class="smallBox">Låt datorn göra jobbet!</div> | |
+ | Men vad exakt är numerisk derivering? | ||
− | == | + | <div class="border-divblue">Numerisk derivering är en metod för beräkning av ett <b><span style="color:red">närmevärde</span></b> till<br><br><b><span style="color:red">derivatan i en punkt</span></b> utan att behöva använda limes i derivatans definition.</div> |
− | + | I detta avsnitt behandlas de tre enklaste <b><span style="color:red">numeriska deriveringsformlerna</span></b>: | |
+ | :::::* <b><span style="color:#931136">Framåtdifferenskvoten</span></b> | ||
− | = | + | :::::* <b><span style="color:#931136">Bakåtdifferenskvoten</span></b> |
− | F | + | :::::* <b><span style="color:#931136">Centrala differenskvoten</span></b> |
+ | |||
+ | Alla dessa formler baseras på och är modifikationer av den [[2.2_Genomsnittlig_förändringshastighet#Allm.C3.A4n_definition|<b><span style="color:blue">genomsnittliga förändringshastigheten <math> \, \displaystyle{\Delta y \over \Delta x} \,</math> </span></b>]], även kallad differenskvot. | ||
+ | |||
+ | === <b><span style="color:#931136">Framåtdifferenskvoten = derivatans definition utan limes</span></b> === | ||
+ | |||
+ | Ett närmevärde till derivatan <math> \, f\,'(a) \, </math> av funktionen <math> \, y = f\,(x) \, </math> i punkten <math> \, x = a \, </math> kan beräknas med | ||
+ | <table> | ||
+ | <tr> | ||
+ | <td><div class="border-divblue"> | ||
+ | <b><span style="color:#931136">Framåtdifferenskvoten:</span></b> | ||
+ | |||
+ | <math> \quad\, f\,'(a) \quad\;\, \approx \displaystyle \quad {f(a + h) \, - \, f(a) \over h} \, = \, {\Delta y \over \Delta x} </math> | ||
+ | |||
+ | |||
+ | Tangentens lutning <math> \; \approx \; </math> Sekanten <span style="color:green">'''F'''</span>:s lutning</div> | ||
+ | </td> | ||
+ | <td> [[Image: FramåtDiff.jpg]] | ||
+ | |||
+ | |||
+ | |||
+ | </td> | ||
+ | </tr> | ||
+ | </table> | ||
+ | <big><math> h \, </math> kallas för <b><span style="color:red">steglängden</span></b> och kan väljas fritt. Men:</big> <math> \qquad </math> <div class="border-divblue">Ju mindre steglängden <math> \, h \, </math> väljs, desto noggrannare blir närmevärdet.</div> | ||
+ | |||
+ | ==== <span style="color:#931136">Exempel</span> ==== | ||
+ | |||
+ | <div class="ovnE"><small> | ||
+ | Följande diskret funktion <math> \, f(x) \, </math> är given i tabellform. Beräkna <math> \, f\,'(0,6) \, </math> med framåtdifferenskvoten. | ||
+ | :::{| class="wikitable" | ||
+ | |- | ||
+ | ! <math> x\, </math> || <math> f(x)\, </math> | ||
+ | |- | ||
+ | | align=center| <math> 0,5\, </math> ||align=center| <math> 1,79744\, </math> | ||
+ | |- | ||
+ | | align=center| <math> 0,6\, </math> ||align=center| <math> 2,04424\, </math> | ||
+ | |- | ||
+ | | align=center| <math> 0,7\, </math> ||align=center| <math> 2,32751\, </math> | ||
+ | |} | ||
+ | '''Lösning''': Steglängden <math> \, h = 0,1\, </math> är given i tabellen. | ||
+ | |||
+ | :<math> f\,'(0,6) = {f(0,6 + 0,1) - f(0,6) \over 0,1} = {f(0,7) - f(0,6) \over 0,1} = {2,32751 - 2,04424 \over 0,1} = {0,28327 \over 0,1} = 2,8327 </math> | ||
+ | </small></div> | ||
+ | |||
+ | |||
+ | I det här fallet är närmevärdet ovan identisk med den exakta lösningen, eftersom det inte finns någon mindre steglängd i tabellen än <math> \, h = 0,1 </math>. | ||
+ | |||
+ | |||
+ | === <b><span style="color:#931136">Bakåtdifferenskvoten</span></b> === | ||
+ | |||
+ | Ett närmevärde till derivatan <math> \, f\,'(a) \, </math> av funktionen <math> \, y = f\,(x) \, </math> i punkten <math> \, x = a \, </math> kan beräknas med | ||
+ | <table> | ||
+ | <tr> | ||
+ | <td><div class="border-divblue"> | ||
+ | <b><span style="color:#931136">Bakåtdifferenskvoten:</span></b> | ||
+ | |||
+ | <math> \quad\, f\,'(a) \qquad\;\, \approx \displaystyle \qquad {f(a) \, - \, f(a-h) \over h} \quad </math> | ||
+ | |||
+ | |||
+ | Tangentens lutning <math> \; \approx \quad \; </math> Sekanten <span style="color:green">'''B'''</span>:s lutning</div> | ||
+ | </td> | ||
+ | <td> [[Image: BakåtDiff.jpg]] | ||
+ | |||
+ | |||
+ | |||
+ | </td> | ||
+ | </tr> | ||
+ | </table> | ||
+ | Här tar man från <math> \,a \, </math> ett steg <math> \,h \, </math> bakåt och använder funktionsvärdet ''före'' <math> \,a \, </math> för att beräkna närmevärdet till derivatan i <math> \,a </math>. | ||
+ | |||
+ | Även här gäller: Närmevärdet blir desto bättre ju mindre steglängden <math> \, h\, </math> väljs. | ||
+ | |||
+ | ==== <span style="color:#931136">Exempel</span> ==== | ||
+ | |||
+ | <div class="ovnE"><small> | ||
+ | Funktionen <math> \, f(x) = \ln x \, </math> är given. Välj steglängden <math> \, h = 0,01 \, </math> och beräkna <math> \, f\,'(1,8) \, </math> med bakåtdifferenskvoten. | ||
+ | |||
+ | '''Lösning'''<span style="color:black">:</span> | ||
+ | |||
+ | ::<math> f\,'(1,8) \approx {f(1,8) - f(1,8 - 0,01) \over 0,01} = {f(1,8) - f(1,79) \over 0,01} = {\ln(1,8) - \ln(1,79) \over 0,01} = 0,5571 </math> | ||
+ | </small></div> | ||
+ | |||
+ | |||
+ | Närmevärdets fel kan definieras som: <div class="border-divblue">Felet <math> \, = \, |</math> exakta värdet <math> \, - \, </math> närmevärdet <math>| </math></div> | ||
+ | |||
+ | Med det exakta resultatet <math> \displaystyle f\,'(1,8) = \frac{5}{9} \approx 0,555556 </math>, avrundat till <math> 4 </math> decimaler, blir vårt närmevärdes fel: | ||
+ | |||
+ | :::Felet <math> \, = \, |\,0,5556 \, - \, 0,5571| \, = \, 0,0015</math> | ||
+ | |||
+ | Känner man till felet kan man jämföra de olika numeriska deriveringsformlernas noggrannhet, se [[2.7_Övningar_till_Numerisk_derivering#.C3.96vning_3|<b><span style="color:blue">övning 3</span></b>]]. | ||
+ | |||
+ | I fliken [[2.7_Numerisk_derivering_med_räknare|<b><span style="color:blue">Derivering med räknare</span></b>]] visas hur man med grafräknaren kan få ett noggrannare närmevärde för <math> \, f\,'(1,8) \, </math>. | ||
+ | |||
+ | |||
+ | === <b><span style="color:#931136">Centrala differenskvoten</span></b> === | ||
+ | |||
+ | Ett närmevärde till derivatan <math> \, f\,'(a) \, </math> av funktionen <math> \, y = f\,(x) \, </math> i punkten <math> \, x = a \, </math> kan beräknas med | ||
+ | <table> | ||
+ | <tr> | ||
+ | <td><div class="border-divblue"> | ||
+ | <b><span style="color:#931136">Centrala differenskvoten:</span></b> | ||
+ | |||
+ | <math> \quad f\,'(a) \qquad\;\, \approx \displaystyle \qquad {f(a + h) \, - \, f(a-h) \over 2\,h} \quad </math> | ||
+ | |||
+ | |||
+ | Tangentens lutning <math> \; \approx \quad \; </math> Sekanten <span style="color:green">'''C'''</span>:s lutning</div> | ||
+ | </td> | ||
+ | <td> [[Image: CentralDiff.jpg]] | ||
+ | |||
+ | |||
+ | </td> | ||
+ | </tr> | ||
+ | </table> | ||
+ | Här tar man från <math> \,a \, </math> både ett steg <math> \,h \, </math> bakåt och framåt och använder funktionsvärdena före och efter <math> \,a \, </math> för att beräkna närmevärdet till derivatan i <math> \,a </math>. | ||
+ | |||
+ | Samma sak här: Närmevärdet är desto bättre ju mindre <math> \, h\, </math> är. Men: | ||
+ | |||
+ | Den centrala differenskvoten är noggrannare än de andra formlerna, se bilden ovan. Ja, det gäller: | ||
+ | |||
+ | För andragradsfunktioner är formeln t.o.m. exakt oavsett <math> \,h </math>. | ||
+ | |||
+ | ==== <span style="color:#931136">Exempel</span> ==== | ||
+ | |||
+ | <div class="ovnE"><small> | ||
+ | Funktionen <math> \, f(x) = x\,^2 \, </math> är given. Välj steglängden <math> \, h = 0,5 \, </math> och beräkna <math> \, f\,'(1) \, </math> med centrala differenskvoten. | ||
+ | |||
+ | '''Lösning'''<span style="color:black">:</span> | ||
+ | |||
+ | :::::<math> f\,'(1) \approx {f(1 + 0,5) - f(1 - 0,5) \over 2\cdot 0,5} = {f(1,5) - f(0,5) \over 2\cdot 0,5} = {1,5^2 - 0,5^2 \over 1} = {\color{Red} 2} </math> | ||
+ | </small></div> | ||
+ | |||
+ | Funktionens derivata är <math> \, f\,'(x) = 2\,x \, </math> och därmed är den exakta derivatan <math> f\,'(1) = 2 \cdot 1 = {\color{Red} 2} \, </math> identisk med den numeriska derivatan. | ||
+ | |||
+ | |||
+ | === <b><span style="color:#931136">Noggrannhetsfrågor</span></b> === | ||
+ | |||
+ | Är det en slump att den numeriska deriveringen med centrala differenskvoten i exemplet ovan ger exakt värde, fast steglängden är relativt stor? Svaret är nej: | ||
+ | |||
+ | '''Sats''': | ||
+ | |||
+ | <div class="border-divblue"> | ||
+ | Den centrala differenskvoten ger den exakta derivatan till | ||
+ | |||
+ | alla andragradsfunktioner oberoende av steglängden: | ||
+ | |||
+ | :Om <math> f(x) \; = \; x^2 + b\,x + c </math> då gäller | ||
+ | |||
+ | ::<math> {f(x + h) \, - \, f(x-h) \over 2\,h} \; = \; 2\,x + b \; = \; f\,'(x) </math> | ||
+ | </div> | ||
+ | |||
+ | '''Bevis''': | ||
+ | |||
+ | Vi tillämpar den centrala differenskvoten på <math> \, f(x) = x^2 + b\,x + c \, </math><span style="color:black">:</span> | ||
+ | |||
+ | :<math> \begin{array}{rcl} | ||
+ | f(x + h) & = & (x+h)^2 + b\,(x+h) + c = x^2 + 2\,x\,h + h^2 + b\,x + b\,h + c \\ | ||
+ | f(x - h) & = & (x-h)^2 + b\,(x-h) + c = x^2 - 2\,x\,h + h^2 + b\,x - b\,h + c \\ | ||
+ | f(x+h) - f(x-h) & = & x^2 + 2\,x\,h + h^2 + b\,x + b\,h + c - (x^2 - 2\,x\,h + h^2 + b\,x - b\,h + c) = 4\,x\,h + 2\,b\,h = 2\,h\,(2\,x + b) \\ | ||
+ | \displaystyle {f(x + h) - f(x-h) \over 2\,h} & = & \displaystyle {{\color{Red} {2\,h}}\,(2\,x + b) \over {\color{Red} {2\,h}}} = 2\,x + b = f\,'(x) \\ | ||
+ | \end{array}</math> | ||
+ | Att resultatet är oberoende av steglängden visas i beviset ovan genom att <math> h\, </math> förkortas bort och inte längre förekommer i slutresultatet <math> \, 2\,x + b \, </math>. | ||
+ | |||
+ | |||
+ | <div class="ovnC"><small> | ||
+ | === <b><span style="color:#931136">När ska man använda numerisk derivering?</span></b> === | ||
+ | |||
+ | <!-- Det finns typer av funktioner som inte matchar någon av de deriveringsregler vi lärt oss hittills, se de [[2.7_Numerisk_derivering#Varf.C3.B6r_numerisk_derivering.3F|<b><span style="color:blue">inledande exemplen</span></b>]]. Det finns t.o.m. typer av funktioner som inte har någon analytisk derivata alls. Dvs deras derivata kan inte anges i form av ett algebraiskt uttryck. I andra sammanhang kan det det i praktiken vara svårt <math>-</math> ibland kanske onödigt <math>-</math> att beräkna derivatan exakt. | ||
+ | --> | ||
+ | I följande situationer är det nödvändigt resp. rimligt att använda numerisk derivering: | ||
+ | |||
+ | '''Fall 1:''' Funktioner som inte matchar mot någon funktionstyp bland våra deriveringsregler. Exempel<span style="color:black">:</span> | ||
+ | |||
+ | ::'''a)''' <math> \qquad\qquad\qquad \displaystyle f(x) \; = \; {1 \over x + 1} </math> | ||
+ | |||
+ | ::Denna funktion matchar inte mot någon funktionstyp i vår [[2.6_Derivatan_av_exponentialfunktioner#Uppdaterad_tabell_.C3.B6ver_deriveringsregler|<b><span style="color:blue">tabell över deriveringsregler</span></b>]], därför att <math> \, f(x) \, </math> inte kan skrivas om till en potens med basen <math> \, x </math>, vilket vi t.ex. kunde göra med <math> y = \displaystyle {1 \over x} </math> genom att skriva om den till <math> y = \, x^{-1} </math>. Sedan kunde vi använda deriveringsregeln för [[2.5_Deriveringsregler#Derivatan_av_en_potens|<b><span style="color:blue">derivatan av en potens</span></b>]] på den omskrivna formen <math> y = \, x^{-1} </math>. Eftersom en sådan omskrivning inte går att göra med funktionen <math> f(x) = \displaystyle {1 \over x + 1}\, </math> kan den inte deriveras med denna regel. Inte heller med någon annan av de deriveringsregler vi känner till hittills. Det är nämnaren <math>\, x + 1 </math> som gör att uttrycket inte kan skrivas om till en potens med basen <math> \, x </math>. Visserligen går det att skriva om så här<span style="color:black">:</span> <math> \, f(x) = \displaystyle {1 \over x + 1} = (x + 1)^{-1} </math>, men basen här är inte <math> \, x </math> utan <math> \, x + 1 </math>. | ||
+ | |||
+ | ::Funktionen i fråga kan anses som en kvot av två funktioner, nämligen <math> \, 1 \, </math> och <math> \, x + 1 </math>. En deriveringsregel för en kvot av funktioner, den s.k. [[2.5_Deriveringsregler#Produkt_och_kvot_av_funktioner|<b><span style="color:blue">Kvotregeln</span></b>]] som skulle kunna användas här, kommer vi att lära oss först i Matte 4-kursen. | ||
+ | |||
+ | ::'''b)''' <math> \qquad\qquad\qquad \displaystyle f(x) \; = \; {1 \over e^x + 1} \qquad\qquad\;\; </math> Även denna funktion skulle endast kunna deriveras med Kvotregeln av samma anledning som '''a)'''. | ||
+ | |||
+ | ::'''c)''' <math> \qquad\qquad\qquad f(x) \; = \; \ln x \qquad\qquad\qquad </math> Därför deriverade vi den numeriskt med [[2.7_Numerisk_derivering#Bak.C3.A5tdifferenskvoten|<b><span style="color:blue">bakåtdifferenskvoten</span></b>]]. | ||
+ | ---- | ||
+ | |||
+ | |||
+ | '''Fall 2:''' <b><span style="color:red">Diskreta funktioner</span></b> som är givna i tabellform, t.ex. [[1.5_Kontinuerliga_och_diskreta_funktioner#Algoritm_f.C3.B6r_fibonaccitalen_i_Excel|<b><span style="color:blue">fibonaccitalen</span></b>]] som behandlades i kap 1, där de <math> \, 12 \, </math> första fibonaccitalen beräknades: | ||
+ | <table> | ||
+ | <tr> | ||
+ | <td> | ||
+ | ::{| class="wikitable" | ||
+ | |- | ||
+ | ! Antal månader || Antal kaninpar | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 1}\, </math> ||align=center| <math> 1\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 2}\, </math> ||align=center| <math> 1\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 3}\, </math> ||align=center| <math> 2\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 4}\, </math> ||align=center| <math> 3\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 5}\, </math> ||align=center| <math> 5\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 6}\, </math> ||align=center| <math> 8\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 7}\, </math> ||align=center| <math> 13\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 8}\, </math> ||align=center| <math> 21\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} 9}\, </math> ||align=center| <math> 34\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} {10}}\, </math> ||align=center| <math> 55\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} {11}}\, </math> ||align=center| <math> 89\, </math> | ||
+ | |- | ||
+ | | align=center| <math> {\color{Red} {12}}\, </math> ||align=center| <math> 144\, </math> | ||
+ | |} | ||
+ | </td> | ||
+ | <td> Med denna värdetabell kan vi rita grafen | ||
+ | |||
+ | till höger som illustrerar fibonaccitalens | ||
+ | |||
+ | snabba tillväxt. Den horisontella axeln | ||
+ | |||
+ | visar antal månader och den vertikala | ||
+ | |||
+ | antal kaninpar. | ||
+ | |||
+ | | ||
+ | |||
+ | | ||
+ | |||
+ | | ||
+ | |||
+ | | ||
+ | |||
+ | | ||
+ | |||
+ | Fibonaccitalen bildar en <b><span style="color:red">diskret</span></b> | ||
+ | |||
+ | <b><span style="color:red">funktion</span></b>, därför att dess defini- | ||
+ | |||
+ | tionsmängd är <b><span style="color:red">heltalen</span></b> <math> \, {\color{Red} 1}</math><b><span style="color:red">-</span></b><math>{\color{Red} {12}}</math>. | ||
+ | </td> | ||
+ | <td> [[Image: Fibonacci 465p.jpg]]</td> | ||
+ | </tr> | ||
+ | </table> | ||
+ | |||
+ | ::Som man ser ökar kaninpopulationen ganska fort. Men hur snabbt ökar den? Kan man derivera en diskret funktion vars tabell har en minsta steglängd? | ||
+ | |||
+ | ::Svaret är: ja, men endast numeriskt: | ||
+ | |||
+ | <div class="ovnE"><small> | ||
+ | ==== <b><span style="color:#931136">Exempel på en diskret funktions derivata i en punkt</span></b> ==== | ||
+ | |||
+ | Fibonaccis funktion är given i tabellen ovan med<span style="color:black">:</span> | ||
+ | |||
+ | ::<math> n \, = \, {\rm Antalet\;månader} </math> | ||
+ | |||
+ | ::<math> F(n)\, = \, {\rm Antalet\;kaninpar\;i\;månaden} \, n </math> | ||
+ | |||
+ | Hur snabbt ökar kaninpopulationen i månaden <math> \, 11 \, </math>? Dvs: | ||
+ | |||
+ | Beräkna <math> \, F\,'(11) \, </math> så noggrant som möjligt. | ||
+ | |||
+ | '''Lösning''': | ||
+ | |||
+ | Vi väljer den [[2.7_Numerisk_derivering#Centrala_differenskvoten|<b><span style="color:blue">centrala differenskvoten</span></b>]] samt tabellens minsta steglängd <math> \, h = 1 </math>. | ||
+ | |||
+ | :<math> F\,'(11) \, \approx \, {F(11 + 1) - F(11 - 1) \over 2\cdot 1} \, = \, {F(12) - F(10) \over 2} \, = \, {144 - 55 \over 2} \, = \, 44,5 </math> | ||
+ | |||
+ | Dvs kaninerna fortplantar sig i den <math> \, 11</math>-te månaden med minst <math> \, 44 \, </math> kaninpar per månad. | ||
+ | </small></div> | ||
+ | <!-- :Som exempel tar vi den funktion i tabellform som vi behandlade i aktiviteten [[2.1_Introduktion_till_derivatan|<b><span style="color:blue">Introduktion till derivatan</span></b>]] och som beskriver kroppens rörelse vid hopp från 10 meters torn. Låt oss här anta att vi inte tagit fram den från någon formel. <math> x\, </math> är tiden och <math> f(x)\, </math> höjden över vattnet: | ||
+ | ::[[Image: Tabellfkt.jpg]] | ||
+ | |||
+ | ::Sådana funktioner i tabellform förekommer ofta i statistiken och i tillämpningarna som resultat av mätningar. De visar ett samband utan någon formel. Ändå uppfyller de definitionen på en funktion, nämligen att vara en | ||
+ | |||
+ | :::::''"Regel som tilldelar varje <math> x\, </math>-värde endast ett <math> y\, </math>-värde."'' | ||
+ | |||
+ | ::Även en sådan funktion har en derivata, både i varje punkt (av sitt definitionsområde) och som en ny funktion. Men i båda fall kan derivatan tas fram endast numeriskt. Vi hade gjort detta i aktiviteten [[2.1_Introduktion_till_derivatan|<b><span style="color:blue">Introduktion till derivatan</span></b>]]. Den nya funktionen som representerar derivatan hade vi approximerat numeriskt genom att använda [[2.7_Numerisk_derivering#Fram.C3.A5tdifferenskvoten|<b><span style="color:blue">framåtdifferenskvoten</span></b>]], där formulerad som <math> \displaystyle {\Delta y \over \Delta x} </math>. Resultatet visades i [[2.1_Lösning_till_Aktiviteten_Introduktion_till_derivatan|<b><span style="color:blue">Lösningen till aktiviteten</span></b>]] både i tabellform (punkt 4) och grafiskt (punkt 6). Även om resultatet var approximativt visade grafen tydligt att den ursprungliga kvadratiska funktionens derivata var en linjär funktion. --> | ||
+ | |||
+ | |||
+ | ---- | ||
+ | |||
+ | |||
+ | '''Fall 3:''' Funktionens derivata blir så komplicerad att det tar mer tid att ställa upp den (och risken för felräkning ökar) än att derivera den numeriskt. | ||
+ | |||
+ | ::Exempel<span style="color:black">:</span> <math> \qquad \displaystyle f(x) = {\sin\,3\,x \over 4\,\cos\,x} \qquad\Longrightarrow\qquad f\,'(x) = {12\,\cos\,3\,x \cdot \cos\,x \,+\, 4\,\sin\,3\,x \cdot \sin\,x \over 16\,\cos^2\,x} </math> | ||
+ | |||
+ | ::För det första är det inte enkelt att ställa upp <math> f\,'(x) </math>. Även här skulle [[2.5_Deriveringsregler#Produkt_och_kvot_av_funktioner|<b><span style="color:blue">Kvotregeln</span></b>]] behövas samt deriveringsreglerna för sinus- och cosinusfunktioner. | ||
+ | |||
+ | ::För det andra ser man att det är väsentligt enklare att beräkna t.ex. <math> f(2)\, </math> än <math> f\,'(2) </math>. I de numeriska deriveringsformlerna ingår nämligen endast beräkningar av <math> f(x)\, </math>, inte av <math> f\,'(x) </math>. | ||
+ | </small></div> | ||
+ | <!-- :Som exempel tar vi Fibonaccis funktion, men inte i tabellform som ovan utan i [[1.5_Kontinuerliga_och_diskreta_funktioner#Egenskaper|<b><span style="color:blue">explicit form</span></b>]] som är definierad genom<span style="color:black">:</span> | ||
+ | |||
+ | :::::<math> F(n) = {1\over\sqrt{5}}\,\left({1+\sqrt{5}\over 2}\right)^n\,-\;{1\over\sqrt{5}}\,\left({1-\sqrt{5}\over 2}\right)^n\; , \qquad n \;\mbox{heltal } \geq 1 </math> | ||
+ | |||
+ | ::Även om vi med hjälp av deriveringsregeln för den [[2.6_Derivatan_av_exponentialfunktioner#Deriveringsregeln_f.C3.B6r_.5C.28_y_.3D_C.5C.2Ca.5C.2C.5E.7Bk.5C.2Cx.7D_.5C.29|<b><span style="color:blue">allmänna exponentialfunktionen</span></b>]] skulle kunna ställa upp <math> \, F\,'(n) \, </math> är det uppenbart att det i praktiken är väsentligt enklare att använda numerisk derivering som vi gjorde i exemplet ovan. --> | ||
+ | </big> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | [[Matte:Copyrights|Copyright]] © 2011-2018 Taifun Alishenas. All Rights Reserved. |
Nuvarande version från 29 november 2018 kl. 11.47
<< Förra avsnitt | Genomgång | Övningar | Derivering med räknare | Diagnosprov kap 2 Derivatan |
Anta alltid: \( \; \qquad y \; = \; f(x)\, \)
Varför numerisk derivering?
Varför ska vi lära oss numerisk derivering när vi kan derivera med deriveringsregler som bygger på derivatans definition?
Exempel
Följande funktioner matchar inte mot någon av funktionstyperna från vår tabell över deri-
veringsregler och kan därför inte deriveras med de deriveringsregler vi lärt oss hittills:
\( \quad\; y \, = \, \displaystyle{1 \over x + 1} \qquad\quad \) | \( y \, = \, \displaystyle{1 \over e^x + 1} \qquad\quad \) | \( y \, = \, \ln x \qquad\quad \) |
|
Att inte heller tabellfunktionen bland exemplen ovan kan deriveras med derivatans definition eller någon deriveringsregel, beror på att den är diskret:
Derivatans definition involverar limes som inte kan användas på diskreta utan endast på kontinuerliga funktioner.
Här visas hur man numeriskt deriverar en diskret funktion, se enkelt exempel och Fibonaccifunktionen.
En annan fördel av numerisk derivering (och alla numeriska metoder) är att de enkelt kan programmeras, så:Men vad exakt är numerisk derivering?
derivatan i en punkt utan att behöva använda limes i derivatans definition.
I detta avsnitt behandlas de tre enklaste numeriska deriveringsformlerna:
- Framåtdifferenskvoten
- Bakåtdifferenskvoten
- Centrala differenskvoten
Alla dessa formler baseras på och är modifikationer av den genomsnittliga förändringshastigheten \( \, \displaystyle{\Delta y \over \Delta x} \,\) , även kallad differenskvot.
Framåtdifferenskvoten = derivatans definition utan limes
Ett närmevärde till derivatan \( \, f\,'(a) \, \) av funktionen \( \, y = f\,(x) \, \) i punkten \( \, x = a \, \) kan beräknas med
steglängden och kan väljas fritt. Men: \( \qquad \)Exempel
Följande diskret funktion \( \, f(x) \, \) är given i tabellform. Beräkna \( \, f\,'(0,6) \, \) med framåtdifferenskvoten.
\( x\, \) \( f(x)\, \) \( 0,5\, \) \( 1,79744\, \) \( 0,6\, \) \( 2,04424\, \) \( 0,7\, \) \( 2,32751\, \)
Lösning: Steglängden \( \, h = 0,1\, \) är given i tabellen.
\[ f\,'(0,6) = {f(0,6 + 0,1) - f(0,6) \over 0,1} = {f(0,7) - f(0,6) \over 0,1} = {2,32751 - 2,04424 \over 0,1} = {0,28327 \over 0,1} = 2,8327 \]
I det här fallet är närmevärdet ovan identisk med den exakta lösningen, eftersom det inte finns någon mindre steglängd i tabellen än \( \, h = 0,1 \).
Bakåtdifferenskvoten
Ett närmevärde till derivatan \( \, f\,'(a) \, \) av funktionen \( \, y = f\,(x) \, \) i punkten \( \, x = a \, \) kan beräknas med
Bakåtdifferenskvoten: \( \quad\, f\,'(a) \qquad\;\, \approx \displaystyle \qquad {f(a) \, - \, f(a-h) \over h} \quad \)
|
![]()
|
Här tar man från \( \,a \, \) ett steg \( \,h \, \) bakåt och använder funktionsvärdet före \( \,a \, \) för att beräkna närmevärdet till derivatan i \( \,a \).
Även här gäller: Närmevärdet blir desto bättre ju mindre steglängden \( \, h\, \) väljs.
Exempel
Funktionen \( \, f(x) = \ln x \, \) är given. Välj steglängden \( \, h = 0,01 \, \) och beräkna \( \, f\,'(1,8) \, \) med bakåtdifferenskvoten.
Lösning:
- \[ f\,'(1,8) \approx {f(1,8) - f(1,8 - 0,01) \over 0,01} = {f(1,8) - f(1,79) \over 0,01} = {\ln(1,8) - \ln(1,79) \over 0,01} = 0,5571 \]
Med det exakta resultatet \( \displaystyle f\,'(1,8) = \frac{5}{9} \approx 0,555556 \), avrundat till \( 4 \) decimaler, blir vårt närmevärdes fel:
- Felet \( \, = \, |\,0,5556 \, - \, 0,5571| \, = \, 0,0015\)
Känner man till felet kan man jämföra de olika numeriska deriveringsformlernas noggrannhet, se övning 3.
I fliken Derivering med räknare visas hur man med grafräknaren kan få ett noggrannare närmevärde för \( \, f\,'(1,8) \, \).
Centrala differenskvoten
Ett närmevärde till derivatan \( \, f\,'(a) \, \) av funktionen \( \, y = f\,(x) \, \) i punkten \( \, x = a \, \) kan beräknas med
Centrala differenskvoten: \( \quad f\,'(a) \qquad\;\, \approx \displaystyle \qquad {f(a + h) \, - \, f(a-h) \over 2\,h} \quad \)
|
![]()
|
Här tar man från \( \,a \, \) både ett steg \( \,h \, \) bakåt och framåt och använder funktionsvärdena före och efter \( \,a \, \) för att beräkna närmevärdet till derivatan i \( \,a \).
Samma sak här: Närmevärdet är desto bättre ju mindre \( \, h\, \) är. Men:
Den centrala differenskvoten är noggrannare än de andra formlerna, se bilden ovan. Ja, det gäller:
För andragradsfunktioner är formeln t.o.m. exakt oavsett \( \,h \).
Exempel
Funktionen \( \, f(x) = x\,^2 \, \) är given. Välj steglängden \( \, h = 0,5 \, \) och beräkna \( \, f\,'(1) \, \) med centrala differenskvoten.
Lösning:
- \[ f\,'(1) \approx {f(1 + 0,5) - f(1 - 0,5) \over 2\cdot 0,5} = {f(1,5) - f(0,5) \over 2\cdot 0,5} = {1,5^2 - 0,5^2 \over 1} = {\color{Red} 2} \]
Funktionens derivata är \( \, f\,'(x) = 2\,x \, \) och därmed är den exakta derivatan \( f\,'(1) = 2 \cdot 1 = {\color{Red} 2} \, \) identisk med den numeriska derivatan.
Noggrannhetsfrågor
Är det en slump att den numeriska deriveringen med centrala differenskvoten i exemplet ovan ger exakt värde, fast steglängden är relativt stor? Svaret är nej:
Sats:
Den centrala differenskvoten ger den exakta derivatan till
alla andragradsfunktioner oberoende av steglängden:
- Om \( f(x) \; = \; x^2 + b\,x + c \) då gäller
- \[ {f(x + h) \, - \, f(x-h) \over 2\,h} \; = \; 2\,x + b \; = \; f\,'(x) \]
Bevis:
Vi tillämpar den centrala differenskvoten på \( \, f(x) = x^2 + b\,x + c \, \):
\[ \begin{array}{rcl} f(x + h) & = & (x+h)^2 + b\,(x+h) + c = x^2 + 2\,x\,h + h^2 + b\,x + b\,h + c \\ f(x - h) & = & (x-h)^2 + b\,(x-h) + c = x^2 - 2\,x\,h + h^2 + b\,x - b\,h + c \\ f(x+h) - f(x-h) & = & x^2 + 2\,x\,h + h^2 + b\,x + b\,h + c - (x^2 - 2\,x\,h + h^2 + b\,x - b\,h + c) = 4\,x\,h + 2\,b\,h = 2\,h\,(2\,x + b) \\ \displaystyle {f(x + h) - f(x-h) \over 2\,h} & = & \displaystyle {{\color{Red} {2\,h}}\,(2\,x + b) \over {\color{Red} {2\,h}}} = 2\,x + b = f\,'(x) \\ \end{array}\] Att resultatet är oberoende av steglängden visas i beviset ovan genom att \( h\, \) förkortas bort och inte längre förekommer i slutresultatet \( \, 2\,x + b \, \).
När ska man använda numerisk derivering?
I följande situationer är det nödvändigt resp. rimligt att använda numerisk derivering:
Fall 1: Funktioner som inte matchar mot någon funktionstyp bland våra deriveringsregler. Exempel:
- a) \( \qquad\qquad\qquad \displaystyle f(x) \; = \; {1 \over x + 1} \)
- Denna funktion matchar inte mot någon funktionstyp i vår tabell över deriveringsregler, därför att \( \, f(x) \, \) inte kan skrivas om till en potens med basen \( \, x \), vilket vi t.ex. kunde göra med \( y = \displaystyle {1 \over x} \) genom att skriva om den till \( y = \, x^{-1} \). Sedan kunde vi använda deriveringsregeln för derivatan av en potens på den omskrivna formen \( y = \, x^{-1} \). Eftersom en sådan omskrivning inte går att göra med funktionen \( f(x) = \displaystyle {1 \over x + 1}\, \) kan den inte deriveras med denna regel. Inte heller med någon annan av de deriveringsregler vi känner till hittills. Det är nämnaren \(\, x + 1 \) som gör att uttrycket inte kan skrivas om till en potens med basen \( \, x \). Visserligen går det att skriva om så här: \( \, f(x) = \displaystyle {1 \over x + 1} = (x + 1)^{-1} \), men basen här är inte \( \, x \) utan \( \, x + 1 \).
- Funktionen i fråga kan anses som en kvot av två funktioner, nämligen \( \, 1 \, \) och \( \, x + 1 \). En deriveringsregel för en kvot av funktioner, den s.k. Kvotregeln som skulle kunna användas här, kommer vi att lära oss först i Matte 4-kursen.
- b) \( \qquad\qquad\qquad \displaystyle f(x) \; = \; {1 \over e^x + 1} \qquad\qquad\;\; \) Även denna funktion skulle endast kunna deriveras med Kvotregeln av samma anledning som a).
- c) \( \qquad\qquad\qquad f(x) \; = \; \ln x \qquad\qquad\qquad \) Därför deriverade vi den numeriskt med bakåtdifferenskvoten.
Fall 2: Diskreta funktioner som är givna i tabellform, t.ex. fibonaccitalen som behandlades i kap 1, där de \( \, 12 \, \) första fibonaccitalen beräknades:
- Som man ser ökar kaninpopulationen ganska fort. Men hur snabbt ökar den? Kan man derivera en diskret funktion vars tabell har en minsta steglängd?
- Svaret är: ja, men endast numeriskt:
Exempel på en diskret funktions derivata i en punkt
Fibonaccis funktion är given i tabellen ovan med:
- \[ n \, = \, {\rm Antalet\;månader} \]
- \[ F(n)\, = \, {\rm Antalet\;kaninpar\;i\;månaden} \, n \]
Hur snabbt ökar kaninpopulationen i månaden \( \, 11 \, \)? Dvs:
Beräkna \( \, F\,'(11) \, \) så noggrant som möjligt.
Lösning:
Vi väljer den centrala differenskvoten samt tabellens minsta steglängd \( \, h = 1 \).
\[ F\,'(11) \, \approx \, {F(11 + 1) - F(11 - 1) \over 2\cdot 1} \, = \, {F(12) - F(10) \over 2} \, = \, {144 - 55 \over 2} \, = \, 44,5 \]
Dvs kaninerna fortplantar sig i den \( \, 11\)-te månaden med minst \( \, 44 \, \) kaninpar per månad.
Fall 3: Funktionens derivata blir så komplicerad att det tar mer tid att ställa upp den (och risken för felräkning ökar) än att derivera den numeriskt.
- Exempel: \( \qquad \displaystyle f(x) = {\sin\,3\,x \over 4\,\cos\,x} \qquad\Longrightarrow\qquad f\,'(x) = {12\,\cos\,3\,x \cdot \cos\,x \,+\, 4\,\sin\,3\,x \cdot \sin\,x \over 16\,\cos^2\,x} \)
- För det första är det inte enkelt att ställa upp \( f\,'(x) \). Även här skulle Kvotregeln behövas samt deriveringsreglerna för sinus- och cosinusfunktioner.
- För det andra ser man att det är väsentligt enklare att beräkna t.ex. \( f(2)\, \) än \( f\,'(2) \). I de numeriska deriveringsformlerna ingår nämligen endast beräkningar av \( f(x)\, \), inte av \( f\,'(x) \).
Copyright © 2011-2018 Taifun Alishenas. All Rights Reserved.