Lösningsanvisningar till de icke obligatoriska workoutuppgifterna

Relevanta dokument
Lösningsanvisningar till de icke obligatoriska workoutuppgifterna

Lösningsanvisningar till de icke obligatoriska workoutuppgifterna

Facit Tentamen i Beräkningsvetenskap I, STS ES W K1

Facit Tentamen i Beräkningsvetenskap I (1TD393) STS ES W K1

Facit Tentamen i Beräkningsvetenskap I, STS ES W K1

Lösningsförslag Tentamen i Beräkningsvetenskap I, 5.0 hp,

Sammanfattninga av kursens block inför tentan

Tentamen i Beräkningsvetenskap I, DV, 5.0 hp, OBS: Kurskod 1TD394

Tentamen i Beräkningsvetenskap I och KF, 5.0 hp,

Block 2: Lineära system

Tentamen i: Beräkningsvetenskap I och KF

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap I/KF, 5.0 hp,

Facit Tentamen i Beräkningsvetenskap I (1TD393) STS ES W K1

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Tentamen i Beräkningsvetenskap I och KF, 5.0 hp,

Tentamen i Beräkningsvetenskap I (1TD393)

Använd gausseliminering med radpivotering. Spara minnesutrymme genom att lagra både Ä och Í i den datastruktur som inledningsvis innehåller

Omtentamen i DV & TDV

Tentamen i Beräkningsvetenskap I (nya versionen), 5.0 hp, Del A

FÖRSÄTTSBLAD TILL TENTAMEN. ELLER (fyll bara i om du saknar tentamenskod): Datum: 16 januari Bordsnummer:

Tentamen i: Beräkningsvetenskap I och KF

Fel- och störningsanalys

Gruppuppgifter 1 MMA132, Numeriska metoder, distans

Konvergens för iterativa metoder

Fel- och störningsanalys

Facit Tentamen i Beräkningsvetenskap I (1TD393 - nya versionen, 5hp!)

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Varning!!! Varning!!!

Icke-linjära ekvationer

Föreläsning 14: Exempel på randvärdesproblem. LU-faktorisering för att lösa linjära ekvationssystem.

Linjära ekvationssystem

Fallstudie: numerisk integration Baserad på läroboken, Case Study 19.9

Teorifrågor. 6. Beräkna konditionstalet för en diagonalmatris med diagonalelementen 2/k, k = 1,2,...,20.

Linjära ekvationssystem

Tentamen i Beräkningsvetenskap I (nya versionen), 5.0 hp, Del A

ELLER (fyll bara i om du saknar tentamenskod): Datum: 32 maj Bordsnummer: Kontrollera att du fått rätt tentamensuppgifter

LABORATION cos (3x 2 ) dx I =

Lösningsförslag till inlämningsuppgift 3 i Beräkningsprogrammering Problem 1) function condtest format compact format long

a = a a a a a a ± ± ± ±500

ELLER (fyll bara i om du saknar tentamenskod): Datum: 32 maj Bordsnummer: Kontrollera att du fått rätt tentamensuppgifter

LÖSNINGSFÖRSLAG TILL TENTAMEN 2 SF1664

NUMPROG, 2D1212, vt Föreläsning 1, Numme-delen. Linjära ekvationssystem Interpolation, Minstakvadratmetoden

2 Matrisfaktorisering och lösning till ekvationssystem

FMNF15 HT18: Beräkningsprogrammering Numerisk Analys, Matematikcentrum

Matematisk analys för ingenjörer Matlabövning 2 Numerisk ekvationslösning och integration

Icke-linjära ekvationer

LABORATION 2. Trapetsregeln, MATLAB-funktioner, ekvationer, numerisk derivering

Ickelinjära ekvationer

Tentamen del 1 SF1546, , , Numeriska metoder, grundkurs

Tentamen i Teknisk-Vetenskapliga Beräkningar

Akademin för utbildning, kultur och kommunikation MMA132 Numeriska Metoder Avdelningen för tillämpad matematik Datum: 2 juni 2014

Ordinära differentialekvationer,

Akademin för utbildning, kultur och kommunikation MMA132 Numeriska Metoder Avdelningen för tillämpad matematik Datum: 13 jan 2014

Del I: Lösningsförslag till Numerisk analys,

Numerisk Analys, MMG410. Lecture 12. 1/24

Tentamen i Beräkningsvetenskap II, 5.0 hp,

Block 5: Ickelineära. ekvationer? Läroboken. Löpsedel: Icke-lineära. ekvationer. Vad visade laborationen? Vad visade laborationen?

Kurs DN1215, Laboration 3 (Del 1): Randvärdesproblem för ordinära differentialekvationer

Prov 1 2. Ellips 12 Numeriska och algebraiska metoder lösningar till övningsproven uppdaterad a) i) Nollställen för polynomet 2x 2 3x 1:

2D1240 Numeriska metoder gk II för T2, VT Störningsanalys

MMA132: Laboration 2 Matriser i MATLAB

NUMPROG, 2D1212, vt Föreläsning 9, Numme-delen. Stabilitet vid numerisk behandling av diffekvationer Linjära och icke-linjära ekvationssystem

Tentamen i Beräkningsvetenskap II, 5.0 hp, Del A

Sammanfattning (Nummedelen)

5B1146 med Matlab. Laborationsr. Laborationsgrupp: Sebastian Johnson Erik Lundberg, Ann-Sofi Åhn ( endst tal1-3

7 november 2014 Sida 1 / 21

Institutionen för Matematik TENTAMEN I LINJÄR ALGEBRA OCH NUMERISK ANALYS F1, TMA DAG: Fredag 30 augusti 2002 TID:

TENTAMEN I LINJÄR ALGEBRA OCH NUMERISK ANALYS F1, TMA671

TMA226 datorlaboration

Institutionen för Matematiska Vetenskaper TENTAMEN I LINJÄR ALGEBRA OCH NUMERISK ANALYS F1/TM1, TMA

Tentamen, del 2 Lösningar DN1240 Numeriska metoder gk II F och CL

KTH 2D1240 OPEN vt 06 p. 1 (5) J.Oppelstrup

SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A. r cos t + (r cos t) 2 + (r sin t) 2) rdrdt.

Teknisk Beräkningsvetenskap I Tema 3: Styvhetsmodellering av mjuk mark med icke-linjära ekvationer

Numeriska metoder, grundkurs II. Dagens program. Gyllenesnittminimering, exempel Gyllenesnittetminimering. Övningsgrupp 1

Interpolation Modellfunktioner som satisfierar givna punkter

Iterativa metoder för linjära ekvationssystem

SF1625 Envariabelanalys Lösningsförslag till tentamen

Kort sammanfattning av Beräkningsvetenskap I. Varning!!! Varning!!!

TMA 671 Linjär Algebra och Numerisk Analys. x x2 2 1.

SKRIVNING I VEKTORGEOMETRI Delkurs

Block 1. 5 augusti 2003 Sammanfattning 1 (11) Teknisk databehandling DV1 vt Begrepp

Lösningsförslag till tentamensskrivningen i Numerisk analys

Datoraritmetik. Från labben. Från labben. Några exempel

M0043M Integralkalkyl och Linjär Algebra, H14, Linjär Algebra, Föreläsning 11

Laboration 6. Ordinära differentialekvationer och glesa system

Föreläsning 5. Approximationsteori

Tentamen: Numerisk Analys MMG410, GU

Laboration 4. Numerisk behandling av integraler och begynnelsevärdesproblem

Numerisk Analys, MMG410. Lecture 13. 1/58

Vectorer, spannet av vektorer, lösningsmängd av ett ekvationssystem.

Maclaurins och Taylors formler. Standardutvecklingar (fortsättning), entydighet, numerisk beräkning av vissa uttryck, beräkning

f (a) sin

DN1212 Numeriska Metoder och Grundläggande Programmering DN1214 Numeriska Metoder för S Lördag , kl 9-12

Transkript:

Lösningsanvisningar till de icke obligatoriska workoutuppgifterna Linjära system 7. (a) Falskt. Kondition är en egenskap hos problemet oberoende av precisionen i beräkningarna. (b) Falskt. Pivotering påverkar algoritmens stabilitet och har inget med konditionstalet att göra. (c) Rätt. Utan pivotering är algoritmen instabil och då kan avrundningsfel ackumuleras så att noggrannheten i den beräknade lösningen blir mycket dålig. 8. (a) Hela sista raden i Í består av nollor. Därmed kan vi dra slutsatsen att koefficientmatrisen i denna uppgift är singulär och att systemet saknar entydig lösning. Elimineringen i högerledet resulterar i att sista ekvationen i ÍÜ = blir 0 = 0. Slutsatsen blir att ekvationssystemet har oändligt många lösningar. (b) Att Matlab hittar en lösning är en effekt av flyttalsräkning. I flyttalsberäkningar blir inte sista ekvationen riktigt 0 = 0. Om man tittar på element Í 33 ser man att sista elementet inte blir 0, utan 0.0000 och man kan anta att det finns avrundningsskräp i någon decimal. Det gör att Matlab felaktigt löser problemet. Däremot varnar Matlab att konditionstalet är väldigt högt. Om man beräknar det exakta (Matlabs backslash använder en uppskattning av konditionstalet) konditionstalet så ser man att det ligger på storleksordningen 10 16 vilket, när dubbel precision används, betyder att matrisen kan vara singulär. Det här är ett exempel på att man inte okritiskt kan acceptera lösningar från programvaror, utan man måste ha kunskaper i hur beräkningsprogramvaror faktiskt fungerar. 9. (a) Givet att endast de två termerna skilda från 0 är behäftade med mätfel blir relativa felet i högerledet (0005 + 0005)(5000 + 6000) 91 10 7. (b) Relativt fel i Ü är enligt känd formel högst produkten av konditionstalet och relativa felet i högerledet. Nu är enligt uppgiften ÓÒ() 10 3. Tillsammans med svaret i föregående deluppgift ger detta att relativa felet i Ü är högst ca 10 3 91 10 7 10 3. Detta är mindre än 1 % fel. (c) Om konditionstalet är 10 6 blir relativa felet i Ü högst ca 10 6 91 10 7 91 10 1. Felet kan alltså vara större än 1 % i detta fall. 1

10. Om man utnyttjar LU-faktorisering ger det väsentligt kortare exekveringstid när vi vill lösa en följd av av ekvationssystem där alla systemen har samma koefficientmatris och de olika högerleden inte är kända samtidigt. (Det kan till exempel vara så att varje nytt högerled beror på lösningar till tidigare system i följden av ekvationssystem.) Man utför LU-faktorisering av matrisen en gång, sedan utför man framåtoch bakåtsubstitution för varje högerled. De relevanta parametrarna för att uttrycka tidsvinsten är Ñ (antalet ekvationssystem som ska lösas), Ò ( är en Ò Ò-matris) och Ø (ungefärlig exekveringstid för en flyttalsoperation). Tiden för att lösa varje nytt system med gausseliminering och bakåtsubstitution blir ca Ñ (23)Ò 3 + Ò 2 Ø. Tiden för att först göra LUfaktorisering och därefter lösa varje nytt system med framåtsubstitution och bakåtsubstitution blir ca (23)Ò 3 Ø + Ñ Ò 2 + Ò 2 Ø. Tidsvinsten då LU-faktorisering blir alltså ca (Ñ 1)(23)Ò 3 ÑÒ 2. 11. En tridiagonal matris har strukturen: = ¼ 1 1 1 2 2......... Ò 1 Ò 1 Ò 1 Ò Ò De underdiagonala elementen kommer att nollställas i eliminationsprocessen. Elementen på diagonalen förändras enligt = ØÓÖ 1 = 2 Ò De överdiagonala elementen förändras inte alls eftersom ½ = ØÓÖ 0 = = 2 Ò 1 Högerledet uppdateras som vanligt genom = ØÓÖ 1 = 2 Ò Vi tänker oss nu för enkelhets skull att vi lagrar diagonalerna i vektorer e, d respektive f och högerledet b. Algoritmen för Gausselimination blir då % Gausselimination av matris och högerled for k = 2:n faktor = e((k)/d(k-1) d(k) = d(k) - faktor*f(k-1): b(k) = b(k) - faktor*b(k-1); end 2

Sedan utförs bakåtsubstitution, där vi för varje rad Ò Ò enbart har tre element att hantera. Det blir då: 1 1 nu % Bakåtsubstitution x(n) = b(n)/d(n); for k = n-1: -1:1 x(k) = (b(k) - f(k)*x(k+1))/d(k); end 12. Se lösningsförslaget ovan. LU-faktorisering innehåller enbart elimination av koefficientmatrisen (högerledet elimineras i framåtsubstitutionen). Vi tittar alltså enbart på elimineringen av koefficientmatrisen, och i lösningen ovan sker det i de två första raderna inuti for-loopen (beräkning av faktor och av d(k)). Antalet flyttalsoperationer i dessa två rader är sammanlagt 3 (en division, en multiplikation och en subtraktion). For-loopen går Ò 1 varv så det totala antalet flyttalsoperationer för LU-faktoriseringen blir (Ò 1) 3 3Ò. 13. Sätt inledningsvis piv = 1:n. Ändra vidare i algoritmen för LU-faktorisering så att piv(k) och piv(i) används som radindex i koefficientmatrisen. När två rader ska byta plats med varandra håller vi ordning på detta genom att låta värdena piv(i) och piv(k) byta plats med varandra i piv. På så vis kommer raderna i koefficientmatrisen att bearbetas i rätt ordning (enligt radpivoteringen) utan att vi fysiskt behöver byta plats på raderna i koefficientmatrisen. 14. Operationen È ersätts av att vi tar elementen i i den ordning som anges av piv. I övrigt behövs inga förändringar av algoritmen. 3

Integraler 6. I uppgift 3c var steglängden 1 = 14 och diskretiseringsfelet upskattades med tredjedelsregeln till ca -0.042. Absolutbeloppet av diskretiseringsfelet var alltså något mindre än 05 10 1, vilket innebär att integralen approximerades med en korrekt decimal. Vi söker nu steglängden 2 = (14) så att absolutbeloppet av diskretiseringsfelet blir 05 10 6 (vilket innebär sex korrekta decimaler). Diskretiseringsfelet i trapetsmetoden är proportionellt mot 2. Det medför att när ändras med en faktor, till, så ändras felet med en faktor 2. För att lösa uppgiften ska du alltså finna det värde på som gör att 2 0042 = 05 10 6. Detta ger att 000345. Den sökta steglängden är alltså ca 000345 (14) 86 10 4. Om vi vill göra en motsvarande analys för fallet med Simpsons formel så ska vi utnyttja att diskretiseringsfelet då är proportionellt mot 4. Om vi med Simpsons formel skulle ha fått diskretiseringsfelet med steglängd 14, så skulle steglängden för att få sex korrekta decimaler bli (14) där 4 = 05 10 6. 7. (a) Av de metoder vi behandlat kan vi förvänta oss att Simpsons formel ger den noggrannaste lösningen. Simpsons formel tillämpad på våra data blir: É 025 3 (100 + 4 093 + 2 074 + 4 043 + 000) = 066 (b) Vi behöver ta hänsyn till diskretiseringsfelet och funktionsfelet. Diskretiseringsfelet kan vi uppskatta med 15-delsregeln. Då behöver vi räkna ut Simpson-värdet för steglängden 0.5: É 05 3 (100 + 4 074 + 000) = 066 Diskretiseringsfelet enligt 15-delsregeln blir då: (066 066)15 = 0. Absolutbeloppet av funktionsfelet är enligt känd formel högst ( ), där [ ] är integrationsintervallet och är en övre gräns för felet i de enskilda funktionsvärdena. I vårt fall är = 1 0. Funktionsvärdena är enligt uppgiftstexten givna med två korrekta decimaler, så = 05 10 2. Slutsatsen blir att funktionsfelet är högst (1 0)05 10 2 = 05 10 2. Totalt blir felet summan av diskretiseringsfelet och funktionsfelet. Enligt de uppskattningar vi gjort ovan blir absolutbeloppet av det totala felet i vårt fall alltså högst ca 05 10 2. Detta innebär att É har beräknats med ca två korrekta decimaler. 4

8. Vi ska först härleda 15-delsregeln. Diskretiseringsfelet vid beräkning av en integral med Simpsons metod kan skrivas som Á = Ë() + (), där Á är den exakta integralen, Ë() är den beräknade integralen med Simpsons metod och () betecknar diskretiseringsfelet. För Simpsons metod beror () av som ( 180 4 (4) eller Ç( 4 ). Vi beräknar integralen med två steglängder, och 2 och får då Á = Ë() + () = Ë() + Ç( 4 ) Á = Ë(2) + (2) = Ë(2) + Ç((2) 4 ) = Ë(2) + 16Ç( 4 ) Om vi antar att (4) är ungefär lika vid beräkning med de två olika steglängderna medför det att Ë() + Ç( 4 ) Ë(2) + 16Ç( 4 ) vilket ger Ç( 4 ) vilket skulle visas. Ë(2) Ë() 15 dvs () Ë(2) Ë() 15 Förutom diskretiseringsfel införs också funktionsfel. Härledning av övre gräns för detta fel: Vi konstaterar först att det vi talar om är Ë() Ë(), där Ë() är Simpsons formel med exakta funktionsvärden och Ë() är Simpsons formel med de faktiskt använda funktionsvärdena, som kan vara behäftade med avrundnings- och/eller mätfel. Vi betecknar de exakta funktionsvärdena med (Ü) och de approximativa med (Ü). Enligt föregående uppgift är (Ü) (Ü). Vi får Ë() Ë() = 3 [((Ü 0) (Ü0 )) + 4 Triangelolikheten ger nu 2 Ò 2 =24 Ë() Ë() 3 [(Ü 0) (Ü0 ) + 4 2 Ò 2 =24 Ò 1 + 4 3 = 3 ¼ Ò 1 =13 ((Ü ) (Ü )) + ((Ü ) (Ü )) + ((Ü Ò ) (ÜÒ ))] Ò 1 =13 (Ü ) (Ü ) + (Ü ) (Ü ) + (Ü Ò ) (ÜÒ )] =13 + 2 + 4 Ò 2 + 2Ò 2 2 = 3Ò = Ò 3 Ò 2 =24 + + ½ 5

Eftersom = ( )Ò följer nu att Ë() Ë() ( ), vilket skulle bevisas. 9. Ett allmänt förstagradspolynom har formen (Ü) = 0 + 1 Ü. Uppgiften går ut på att bestämma 0 och 1 så att formeln i uppgiften gäller med exakt likhet för förstagradspolynom. Notera att eftersom det handlar om att härleda trapetsformeln, så betecknar Ü 0 integrationsintervallets nedre gräns,, och Ü 1 den övre gränsen,. Det vill säga 0 och 1 ska bestämmas så att: Detta kan skrivas om som ( 0 + 1 Ü) dx = 0 ( 0 + 1 ) + 1 ( 0 + 1 ) 0 ( ) + 1 ( 2 2 )2 = 0 ( 0 + 1 ) + 1 ( 0 0 + 1 ) För att detta ska stämma måste 0 + 1 = 0 + 1 = ( 2 2 )2 I detta ekvationssystem betraktas och som givna. Genom att lösa ekvationssystemet får vi fram vi fram värden på de obekanta 0 och 1, närmare bestämt: 0 = 1 = ( )2. När vi sätter in dessa värden i formeln i uppgiften ser vi att resultatet har blivit trapetsformeln. Uppgiften visar alltså ett alternativt sätt att härleda trapetsformeln. Simpsons formel kan härledas på motsvarande vis. Den är exakt för tredjegradspolynom. 10. Givet integrationsgränserna och, antalet delintervall Ò samt en Matlab-funktion som beskriver integranden (Ü), så kan trapetsformeln implementeras på följande vis: x = linspace(a,b,n+1) fx = f(x) coeff = [1 2*ones(1,n-1) 1] trap = (b-a)/2*coeff*fx 6

Ickelineära ekvationer 4. Tänkbara svårigheter: Startgissning Ü 0 nära kurvans minimipunkt gör att Ü 1 hamnar långt från nollställena. Ett olyckligt val av startgissning enligt ovan kan göra att iterationsprocessen divergerar. Om man skulle råka välja minimipunkten som startgissning så blir det division med noll. Det finns två lösningar i närheten av Ü = 1, den ena mindre än och den andra större än 1. Om man är ute efter en specifik lösning och råkar välja startgissningen för långt ifrån den, så kan eventuellt få konvergens mot den andra lösningen i stället. 5. Beträffande bisektionsmetoden vet vi att den övre gränsen för absolutbeloppet av felet halveras i varje iteration. Det innebär att det krävs log 2 (10) 33 iterationer för att felet ska delas med 10 (vilket innebär att vi har fått ytterligare en korrekt decimal). I uppgift 1 gav bisektionsmetoden en lösning med en korrekt decimal. För att få 12 korrekta decimaler skulle vi alltså behöva åstadkomma ytterligare 11 korrekta decimaler, vilket skulle kräva ca 11 33 363 iterationer. Eftersom det måste vara ett helt antal iterationer blir svaret att det krävs ytterligare 37 iterationer. Beträffande Newton-Raphsons metod vet vi att konvergenshastigheten är kvadratisk. Tumregelsmässigt kan vi då säga att när vi är nära en lösning så fördubblas antalet korrekta decimaler i varje iteration. I uppgift 1 gav Newton-Raphson en lösning med två korrekta decimaler. Efter ytterligare två iterationer kommer vi då att ha ca 8 korrekta decimaler. Sedan ger nästa iteration teoretiskt ytterligare en fördubbling av antalet korrekta decimaler. Svaret är alltså att det krävs ytterligare tre iterationer för att vi ska ha nått minst 12 korrekta decimaler. 6. Vi betraktar Ý som givet och vill beräkna Ô Ý. Första steget är att formulera en ekvation till vilken Ô Ý är en lösning. Ett naturligt val är Ü 2 Ý = 0. Vi tillämpar nu Newton-Raphsons metod på denna ekvation och får: Ü +1 = Ü (Ü 2 Ý)2Ü Efter förenkling blir detta: Ü +1 = (Ü + ÝÜ ) 2 Vi provar formeln för fallet då Ý = 3. Enligt uppgiften ska vi ha tre signifikanta siffror vilket innebär att absolutbeloppet av relativa felet 7

bör vara högst ca 05 10 3. Vi uppskattar absolutbeloppet av relativa felet med (Ü Ü 1 )Ü. Med Ü 0 = 3 får vi: Ü (Ü Ü 1 )Ü 1 2 0.5 2 1.732142857142857 0.155 3 1.732050810014728 53 10 5 Efter tre iterationer kan vi alltså säga att Ô 3 = 173 med tre signifikanta siffror. Med formeln ovan kan man få en mycket noggrann approximation av Ô Ý efter bara ett fåtal iterationer om man väljer startgissningen på ett smart vis. Om man skriver Ý 0 som ett flyttal i normaliserad form så blir Ý = Ñ 2, där 1 Ñ 2. Då kan vi konstatera att Ô Ý = Ô Ñ 2 2. Vi kan enkelt räkna ut 2 2 om är jämn. Om vi antar att 2 12 finns förberäknad och lagrad i datorn kan vi även räkna ut 2 2 för udda värden på. Vidare innebär normaliseringen att Ñ = 1 +, där 0 1. Taylorutveckling ger då att Ô Ñ 1 + 2 2 8. Genom att sätta Ü 0 = (1 + 2 2 8) 2 2 får vi alltså en mycket noggrann startgissning. Om vi tillämpar ovanstående på Ý = 3 får vi följande. I basen 2 är Ý = 11 2 1. Startgissningen blir då Ü 0 = 100111 2 12 i bas 2. I bas 10 blir detta Ü 0 = 172357277914221. Om vi itererar med detta som utgångspunkt får vi: Ü (Ü Ü 1 )Ü 1 1.73207165872378 0.0049 2 1.73205080769438 12 10 5 3 1.73205080756888 72 10 11 4 1.73205080756888 0 Observera att de två sista iterationerna gav samma resultat. I detta fall skulle det alltså ha räckt med tre iterationer för att beräkna Ô 3 mycket noggrant. Resultatet Ü 3 överensstämmer i samtliga decimaler med det resultat som operationen sqrt(3) ger i Matlab. 9. Uppskattningen är densamma som vi använde i beräkningarna i uppgift 6 ovan. Den bygger på att absoluta felet kan uppskattas med skillnaden mellan Ü och Ü 1. För att få en approximation av relativa felet dividerar man sedan approximationen av absoluta felet med Ü. Vi visar nu att Ü Ü 1 är en approximation av absoluta felet Ü Ü 1, där Ü betecknar den exakta men okända lösningen till 8

(Ü) = 0. Eftersom Ü är en lösning till problemet gäller att (Ü ) = 0. Det ger sambandet: (Ü 1 ) = (Ü ) (Ü 1 Nu använder vi medelvärdessatsen och får att: (Ü 1 ) = (Ü ) (Ü 1 = ¼ ()Ü Ü 1 där är en (okänd) punkt mellan Ü och Ü 1. Ur sambandet ovan följer att Ü Ü 1 = (Ü 1 ) ¼ () När vi är nära Ü är det rimligt att anta att ¼ () ¼ (Ü 1 ). Om vi sätter in detta i sambandet ovan får vi att det absoluta felet approximeras av (Ü 1 ) ¼ (Ü 1 ). Slutligen noterar vi att när Newton- Raphsons metod används så är (Ü 1 ) ¼ (Ü 1 ) = Ü Ü 1. Därmed har vi visat att Ü Ü 1 är en approximation av absoluta felet Ü Ü 1. Notera att vi i algoritmen använder denna uppskattning för att bedöma om Ü (inte Ü 1 ) är tillräckligt noggrann. Vid konvergens vet vi att noggrannheten ökar väsentligt för varje ny iteration, så felet i Ü kommer i praktiken att vara betydligt mindre än det uppskattade felet för Ü 1. 10. while ~(ea <= es iter >= maxit) xrold = xr; xr = xr - func(xr)/dfunc(xr); iter = iter + 1; if xr ~= 0, ea = abs((xr-xrold)/xr)*100: end end Observera att villkoret i while-loopen ovan även kan formuleras så här: eq > es & iter < maxit 11. Bedömningen av om det tentativa värdet var tillräckligt bra bör bestå av två delar: Värdet ligger fortfarande kvar i intervallet [ ] Det uppskattade felet i approximationen har minskat Båda dessa villkor bör vara uppfyllda för att det tentativa värdet ska accepteras. Det första villkoret är enkelt att testa och behöver inte motiveras närmare. Det andra villkoret förutsätter att vi har ett sätt att uppskatta felet i det tentativa värdet. Därvid kan vi exempelvis använda den feluppskattning som visades i uppgift 9 ovan. Vi utför den uppskattningen 9

för Ü (+1) och jämför med motsvarande uppskattning för Ü () (som vi gjorde när Ü () beräknades och som vi antar att vi har sparat i en variabel). Om denna jämförelse tyder på att Ü (+1) är noggrannare än Ü () så anser vi att det andra villkoret ovan är uppfyllt. Som teoretisk motivering för denna del kan du använda samma resonemang som i uppgift 9. 10