Rappresentazione dei numeri
La rappresentazione dei numeri può essere espressa come a = pNq → interoreale base. Esistono diverse rappresentazioni come quella a floating point. Se imponiamo |p| passa e il segno p diventa la mantissa, q la caratteristica e 9 l'esponente.
Metodi di memorizzazione
Conosciamo univocamente il metodo di memorizzazione del compilatore. |p| ha un massimo di cifre tm < 9M. Il compilatore non memorizza 9 ma 9* = 9 - m, che è sempre positivo, e non deve memorizzare il segno. Se |p| ha più di t cifre, si utilizzano delle tecniche:
- Troncamento: Troncamento della mantissa alla t-esima cifra
- Arrotondamento: Si somma e poi si tronca
Errore e precisione
Errore assoluto: |a - ā|
Errore relativo: |a - ā|/|a| max: 1/2N-t. La precisione macchina è eps Ε max: 1/2N-t. Il valore approssimato è ō con l'equazione ō = a(1+Ε), e |Ε| < eps.
Esp: Min{a0: 10-2 Ω 102 Ω 104}
Operazioni di macchina
In un calcolatore è possibile eseguire solo operazioni di macchina. L'operazione agisce tra ā1, ō0, ā2 = ō1 · ō2 = (ā1 · ā2)(1 + Ε0). La precisione di macchina è il minimo Ω, valore di macchina che si...
Cancellazione numerica
Si verifica quando si esegue una sottrazione fra due numeri circa uguali. (a-b)-(a⊖b)10-beps. Il risultato è scadente per perdita di cifre della mantissa. Si devono avere due numeri a e b con a≈b e a≠b e b≠b.
Problema numerico
Connessione fra un insieme di dati x (input) e un insieme di dati y (output): x → y. Per un problema esplicito y=f(x). Per un problema implicito f(x,y)=0.
Condizionamento del problema
Il calcolatore non memorizza i dati x ma x̃ restituendo i valori ỹ. f(x̃)-f(x) / f(x) ≈ K(f,x) ‖x-x̃‖ / ‖x‖. |f(x̃)-f(x)| / |f(x)| ≤ K(f,x) ‖x-x̃‖ / ‖x‖. Il numero di condizionamento K: K≈1 → problema ben condizionato, K≫1 → problema potrebbe essere mal condizionato.
Si prenda per il seguente problema: x = x1 + x2, x̃i = xi(1+εi)| x1 + x2 - (x̃1 + x̃2) | / x1 + x2. Equazione: x1 + x2 - x1(1+ε1) - x2(1+ε2) = | - x1 ε1 - x2 ε2 | / x1 + x2 ≤ | x1ε1 | / x1 + x2 + | x2ε2 | / x1 + x2.
Numeri di condizionamento
Algoritmo: serie di operazioni che portano dai dati a risultati. Partendo da x̄, dopo una serie di operazioni in precisione infinita si arriva a ȳ, ma in precisione finita si arriva a y*. Se | ȳ - y*| / | y*| ≤ ϵps ⇒ algoritmo stabile.
Norme
Norma due: x = (x1, ... xn)T = (xi) ||x||2 = √n∑i=1 xi2 = √xTx ⇒ norma euclidea.
Norma infinito: ||x||∞ = max |xi|
Norme uno: ||x||1 = ∑ |xi|
Norma uno ||A||1 = max1≤i≤n ∑ |aij|
Norme di matrici
Norma spettrale ||A||2 = √ρ(ATA) ρ= raggio spettrale autovalore di modulo massimo.
Norma infinito: ||A||∞ = max1≤i≤n ∑ |aij|
Proprietà delle norme
- ||AB|| ≤ ||A||·||B||
- ||I|| = 1 I: matrice identica
- ||Ax|| = ||A||x||*
Simmetrico definito positivo: AT=A ⇒ tutti gli autovalori sono strettamente positivi, xTAx > 0.
Sistemi lineari
Con A non singolare [det(A)≠0] Ax=b. Se ||ΔA|| < 1/ ||A-1|| si dimostra che ||x - x̄|| / ||x̄|| ≤ K(A) | ||ΔA||. Se ||ΔA|| < 4/2(||A-1||) il problema è ben condizionato se k(A) ≈ 1.
k(A) = ||A|| ||A-1|| ≥ 1. A:A-1 = I ||I|| = 1.
Metodi diretti
Dato un sistema triangolare superiore: per la risoluzione ho l’algoritmo.
In MATLAB:
function
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.