Hoppa till innehållet

Fel

Från Wikipedia

Fel, inom numerisk analys, anger differensen mellan ett värde och dess närmevärde. Fel spelar en stor roll inom kaosteori (icke-linjära ekvationer) där små variationer kan ge totalt olika resultat. Men det är även en central fråga när beräkningar ska utföras på datorer. Fel kan bero på flera olika saker.

En del inledande definitioner i ämnet. Om vi har

  • ett exakt värde:
  • och ett närmevärde:

så kan vi definiera följande två begrepp:

  • absolut fel i närmevärdet:
  • relativt fel i närmevärdet:

Anledningen att vi tar beloppet av vissa värden här ovanför är att vi oftast bara är intresserade av felets belopp. Om det gäller för beloppet av det absoluta felet att så säger man att närmevärdet har st korrekta decimaler. Heltalssiffrorna (förutom inledande nollor) och de korrekta decimalerna kallas signifikanta siffror.

Fel i ett resultat kan komma från flera olika källor på grund av olika sorters approximationer. Den första approximationen som görs är oftast i den matematiska modellen, det vill säga att ett problem förenklas och idealiseras. Till exempel att man bortser från energiförluster, luftmotstånd och andra påverkningar.

Uppmätta värden är oftast inte exakta på grund av att mätinstrumenten har en ändlig precision. Det kan också vara så att felet kommer från tidigare beräkningar, från trunkering/diskretisering, det vill säga att man hugger av eller delar upp en oändlig serie, eller från avrundningar.

Bilden illustrerar hur feltyperna kommer in i beräkning av en integral:
   pga metoden

   från fel i gränsen

   från fel i funktionsvärdena

från avrundning av resultatet.

När man sedan ska göra beräkningar brukar man prata om tre typer av fel:

  1. - Fel i indata är ofta oundvikliga och kan delas in i två undertyper:
    1. - Fel som uppstår på grund av fel i använda funktionsvärden
    2. - Fel som uppstår på grund av andra fel i indata
  2. - Trunkeringsfel uppstår på grund av en använd approximativ metod, till exempel att en oändlig summa huggs av och ersätts med en ändlig
  3. - Avrundningsfel uppstår då man räknar med ett ändligt antal siffror

Beloppet av det totala felet i ett värde blir

Avrundningsfel

[redigera | redigera wikitext]

Om så är det onödigt att närmevärdet har fyra decimaler eftersom felet kan vara så stort som 0,2. Då kan vi välja att avrunda närmevärdet till 1 decimal. Vårt nya n blir således och vi får ett avrundningsfel . För att skriva ut vårt nya n måste vi lägga till avrundningsfelet till den ursprungliga felgränsen så att .

Felet vid avrundning är alltid maximalt , där t är antalet decimaler efter avrundningen.

Felfortplantning av fel i indata

[redigera | redigera wikitext]

Om man har tal behäftade med fel, dvs närmevärden, och utför aritmetiska beräkningar på dem blir naturligtvis även svaret behäftat med fel. Den största möjliga storleken på felet kan beräknas med några olika metoder.

  • För addition och subtraktion: det absoluta felet är summan av de absoluta felen i indata.
  • För multiplikation och division: det relativa felet är summan av de relativa felen i indata.

Addition:

där ger

Subtraktion:

Särskilt för subtraktion innebär detta att det relativa felet kan bli obegränsat stort om man subtraherar två tal som är ungefär lika stora (till exempel 100±2 - 100±2 = 0±4 vilket skulle ge det relativa felet 4/0). Detta fenomen kallas kancellation. Kancellation kan ibland minskas genom omskrivningar.

En mer generellt tillämpbar metod är linearisering som går att applicera på en deriverbar funktion f av en eller flera variabler. Man tar då bara med förstagradstermerna i funktionens Taylorutveckling. Detta ger felfortplantningsformeln:

Och eftersom vi är intresserade av beloppet på felet kan vi skriva upp en generell maximalfelsuppskattning:

Lagring av tal i datorer

[redigera | redigera wikitext]

De flesta datorer arbetar med en fix informationslängd på tal, ett så kallat ord. Heltal kan lagras exakt i en dator, förutsatt att de inte är för stora, men reella tal kan få fel då de konverteras till basen 2, eller vid avkortningsfel på grund av att datorn jobbar med en fix ordlängd.

Ett reellt tal x lagras i en dator som ett flyttal i normaliserad flytande representation:

där (för dator) (för räknedosa)

Antag att funktionen f(x) beskriver ett fenomen exakt. Om är närmevärdet till (approximationen på det verkliga ) och är närmevärdet till (mätvärde till det verkliga värdet ) kommer totala felet att uppgå till

Ovanstående kan även uttryckas med

där

respektive

är beräkningsfel och datafel.

(en. computational error respektive propagated data error.)

Beräkningsfelet är det fel som uppstår då datorer eller miniräknare evaluerar värdet. Datafel är det fel som uppstår som en följd av instrumentets fel och det exakta värdet.

Fel kan mätas med två metoder: absolut fel och relativt fel.

Om är ett reellt tal och är dess närmevärde, definieras:

  • absolutfelet i som samt
  • relativa felet i som om

Relationen mellan absolutfel och relativt fel kan uttryckas med

(men oftast finns inte det exakta värdet y att utgå från.)

För det mesta används ett mått på det absoluta eller relativa felet i värsta fall. Om ett värde anges till och det absoluta felet till så ligger alltså det verkliga värdet någonstans mellan och .

  • Lars Eldén och Linde Wittmeyer-Koch (2009). Numeriska beräkningar -- analys och illustrationer med MATLAB (4:7)