f (a) sin

Transkript

1 Hur kan datorn eller räknedosan känna till värdet hos till exempel sin0.23 eller e 2.4? Denna fråga är berättigad samtidigt som ingen tror att apparaterna innehåller en gigantisk tabell. Svaret på frågan är att sin0.23 kan utvecklas till serie av termer. Genom att summera ett visst antal av dessa får man ett tillräckligt bar närmevärde. Ju fler termer desto bättre resultat. Nyckeln ligger i Taylors formel f(x) = f(a) + x a f (a) + 1! (x a)2 f (a) ! (x a)n f (n 1) (a) + R n (x) n! Formeln påstår att om vi känner f(a),f (a),...,f (n 1) för ett bestämt värde a, som gärna får ligga nära x. Någon gång måste man sluta summera och summan av de termer som aldrig kom med, sammanfattas i resttermen R n (x). Vi har ersatt f(x) med ett polynom visserligen med oändligt många termer. Men nu känner vi ju inte dessa ovan nämnda funktionsvärden, så i detta läge är Taylors formel inget att ha för våra behov. Men om vi väljer a = 0 får vi MacLaurins formel f(x) = f(0) + x 1! f (0) + x2 2! f (0) xn n! f(n 1) (0) + R n (x) Om vi då väljer f(x) = sinx så får vi Efter städning får vi sinx = sin0 + x 1! x2 x3 cos0 sin ! 3! cos0... sinx = x x3 3! +... För att få ett bra värde är detta förstås för få termer. Vi får sin Räknedosan ger Inte så dåligt eller hur? På liknade sätt kan man ta fram potensserier för alla elementära funktioner. Här följer några Håkan Strömberg 1 KTH Syd

2 e x = 1 + x 1! + x2 2! + x3 ( x 1 lnx = x 1 x ! +... x ) ln(1 + x) = x x2 2 + x3 3 x sinx = x x3 3! + x5 5! x7 7! +... cos x = 1 x2 2! + x4 4! x6 6! +... ( ) x arctanx = x x3 3 + x5 5 x Genom att studera dem ser du säker ett mönster. Observera att de serier där nämnaren ökar linjärt konvergerar sakta. Vilket betyder att man måste ta med fler termer i summan för att få acceptabelt värde. Dessutom förstår man att för att beräkna sin 100 krävs det fler termer än för sin0.1. Med en stor täljare krävs det fler termer för att nämnaren ska få övertag. I Maple kan man bestämma serieutvecklingen genom taylor(tan(x),x=0,10) x x x x x x för en lite mer komplicerad funktion än den vi gav ovan Egen SIN-funktion Jag gav mig ut på följande äventyr, där jag sökte ett polynom som skulle kunna beräkna sin x med relativt hög precision. Det känns naturligt att anta att ett 3-gradspolynom skulle kunna fungera bra. Jag startade med att generera sinx med hjälp av den inbyggda funktionen för alla vinklar från , som jag förstås måste räkna om till radianer. Får jag bra värden för dessa vinklar kan jag sedan fixa större vinklar med hjälp av trigonometriska formler. De 91 värdena lagrade jag i kolumnvektorn b. Med ansatsen p(x) = ax 3 + bx 2 + c byggde jag sedan upp A A = A har typen (91 4) Nu bildade jag A t A och A t b. A t A har typen (4 4) och A t b har typen (4 1) Håkan Strömberg 2 KTH Syd

3 Jag löste nu ekvationssystemet A t Ax = A t b och lösningen gav förslag till de fyra koefficienterna a,b,c,d Jag bestämde sedan den största skillnaden mellan det verkliga sin x och mitt försök. Resultatet blev inte tillfredsställande. Istället för att ta till ett högre gradtal bestämde jag mig för att anpassa ett polynom för vinklarna och ett annat för Inte heller det blev någon succé, men här är koden 1 double egensin(double x){ 2 if(x< ) 3 return (( x ) x ) x ; 4 else 5 return (( x ) x ) x ; 6 } 7 8 int main(void){ 9 double x,s1,s2; 10 int v; 11 for(v=0;v<=90;v++){ 12 x=(double)v M PI/180.0; 13 s1=sin(x); 14 s2=egensin(x); 15 printf("%2d %10.8f %10.8f %10.8f\n",v,s1,s2,fabs(s1 s2)); 16 } 17 } Observera att det sparar resurser att beräkna sinx med hjälp av Horners schema, som i programmet ovan i jämförelse med alternativet: return *pow(x,3) *pow(x,2) *x ; Programmet ovan bestämmer sin x med fyra korrekta decimaler. Sämre än förväntat men bättre med två polynom än med ett. Problemet kvarstår. Hur beräknas sin x i math.lib? Finns det instruktioner i processorerna som direkt beräknar sinx Differensräkning Givet funktionen f(x) = sin(x) ln(cos x) Sökt f (1). Vi vet att det är möjligt att bestämma derivatan för alla f(x), sammansatta av elementära funktioner, hur komplicerade de än är. Men orkar vi? Med hjälp av Maple får vi först f (x) = cos(x) ln(cos(x)) sin(x) tan(x) f (1) (från Maple). Frågan är nu kan vi bestämma f (x) numeriskt tillräckligt bra, utan att först utföra deriveringen? Håkan Strömberg 3 KTH Syd

4 Om vi antar att vi enkelt kan bestämma f(x) för olika värden för x kan en idé vara att bestämma f f( ) f(1) (1) = Kanske tillräckligt bra? Om vi går åt andra hållet f (1) = f(1) f( ) Får vi av ett ungefär lika bra resultat. Nu går vi åt båda hållen f (1) = f( ) f( ) och då stämmer det exakt med 6 signifikanta siffror! Hade vi fått ett lika bra resultat om vi tagit ett mindre h? Svaret är ja. f (1) = f( ) f( ) Upprepad Richarsonextrapolation Richardson-extrapolering är en sekvens accelerations-metod som används för att förbättra konvergenshastigheten. Dess användbarhet, inom tillämpad matematik och numerisk analys, kan knappast överskattas Nu ska här visas hur man kan få ett ännu bättre resultat utan att känna mer än ett fåtal funktionsvärden f(x). Vi antar att f(x) = e x och att vi ska bestämma f (1). Vi vet att f (1) = e De värden vi behöver, ligger symmetriskt kring x = 1. Vi bestämmer dem med hög precision. Observera också att h halveras hela tiden i takt med att vi kryper närmare x = 1 h f(x h) f(x + h) Med hjälp av f(x + h) f(x h) 2h räknar vi så ut 8 uppskattningar av derivatan i och placerar i första kolumnen i tabellen nedan. Från den kolumnen bestämmer vi sedan nästa, enligt Richardson-extrapolation, med hjälp av formeln D i,j+1 = D i,j + D i,j D i 1,j 2 j+1 1 Håkan Strömberg 4 KTH Syd

5 När vi sedan upprepar den proceduren från kolumn till kolumn kallas detta upprepad Richardson-extrapolation. f(x+h) f(x h) 2h Vi har bestämt det korrekta värdet för f (1) = e med 15 siffrors noggrannhet. Detta resultat når vi inte förrän i näst sista kolumnen Richardson-extrapolation och Integrering Med hjälp av Maple kan vi bestämma π/2 π/6 1 + ln sin(x) dx Med hjälp av trapetsregeln får vi följande resultat där vi startar med h = π 2 π och sedan successivt halveras till h = π 2 π n h f(x)dx När vi delar in intervallet i 128 delintervall får vi 4 korrekta decimaler. Nu ska vi se om vi Håkan Strömberg 5 KTH Syd

6 kan förbättra detta genom att använda upprepad Richardson-extrapolation. f(x)dx Plötsligt har vi ett resultat med 12 korrekta decimaler! Figur 6.1: Hur fungerar då Richardson-extrapolation? I figur 6.1 visas ett enkelt fall. Om, då vi bestämmer integralen b a f(x) dx med hjälp av trapetsregeln T(2h) är felet det summan av de areor som ligger mellan trapetsen och kurvan. Felet är ungefär fyra gånger så stort som för T(h). Skillnaden mellan felen är därför ungefär 3 felet i T(h). Om man därför korrigerar T(h) genom att addera T 2 (h) = T(h) + T(h) T(2h) 3 bör man få ett bättre värde på T(h). Denna teknik är användbar i många situationer, inte enbart vid integrering. Lewis Fry Richardson ( ) anses vara den förste, som redan på 1920-talet, med matematikens hjälp försökte spå vädret. Alltså långt innan dagens superdatorer. Det var under det arbetet han upptäckte Richardson-extrapolation. Håkan Strömberg 6 KTH Syd

7 Problem 1. Skriv ett program som för α = med steget 10 grader skriver ut en tabell över sinα beräknad, dels med den i C inbyggda funktionen och en funktion som använder sig av MacLaurin-utvecklingen. Observera att en sats liknande sinx=x-pow(x,3)/6.0+pow(x,5)/120.0-pow(x,7)/5040.0; är ganska resurskrävande. Då är det bättre att summera och skapa nästa term i serien genom att utgå från föregående. Dessutom kan du då genom en konstant ange hur många termer du vill ta med utvecklingen. Hur många termer behövs det för att alla värden ska överensstämma med 5 respektive 7 decimaler. Vi antar alltså att den inbyggda sin-funktionen är korrekt. Problem 2. Hur många termer måste man ta med i MacLaurin-utvecklingen av e x för att alla x [0... 1] ska kunna beräknas med 8 korrekta decimaler? Lös problemet med ett C-program eller Maple. Problem 3. Man kan visa att π 4 = Hur många termer måste man ta med för att få π med 5 korrekta decimaler? Man kan också visa att π 4 = 2arctan arctan arctan 1 8 Använd i Maple ett antal termer från MacLaurin-utvecklingen av arctan x för att beräkna π med 5 korrekta decimaler. För att i Maple konvertera ett polynom givet från taylor används convert(taylor(...),polynom) Problem 4. För hur stort värde x kommer 20 termer ur MacLaurin-utvecklingen av arctan x att producera ett resultat med 6 korrekta decimaler? Håkan Strömberg 7 KTH Syd