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.

Felkällor redigera

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

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

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.

Funktion redigera

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

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)

Totalt fel redigera

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.

Felmått redigera

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  .

Källor redigera

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