Larpanet

Metodi Iterativi

I metodi iterativi per la soluzione di sistemi lineari ${\displaystyle Ax=b}$  sono dei procedimenti attraverso cui si costruisce una successione ${\displaystyle x^{(k)}}$  di approssimanti della soluzione vera ${\displaystyle x_{v}:=A^{-1}b}$  a partire da una soluzione tentativo ${\displaystyle x^{(0)}}$ .

La successione ${\displaystyle x^{(k)}}$  converge alla soluzione vera soltanto al limite:

${\displaystyle \lim _{k\rightarrow \infty }x^{(k)}=x_{v}}$ 

questa condizione equivale alla seguente:

${\displaystyle \lim _{k\rightarrow \infty }||x^{(k)}-x_{v}||=0}$ 

Possiamo riscrivere ancora in un altro modo la condizione di convergenza. Se definiamo l'errore commesso al passo ${\displaystyle k}$ -mo nel seguente modo:

${\displaystyle e^{(k)}:=x^{(k)}-x_{v}}$ 

allora la convergenza di ${\displaystyle x^{(k)}}$  si scrivera' cosi':

${\displaystyle x^{(k)}\rightarrow x_{v}\Leftrightarrow \lim _{k\rightarrow \infty }||e^{(k)}||=0}$ 

Generalmente, ad una formula atta a costruire una successione di approssimanti, si richiede la convergenza al limite (incondizionata, cioe' a prescindere dalla soluzione tentativo iniziale scelta) e la cosiddetta consistenza esclusiva.

Si dice che una successione di approssimanti ${\displaystyle x^{(k)}}$  e' consistente se:

${\displaystyle x^{(k)}=x_{v}\Rightarrow x^{(k)}=x^{(k+1)}}$ 

si dice poi che la consistenza e' esclusiva quando vale pure il viceversa:

${\displaystyle x^{(k)}=x_{v}\Leftarrow x^{(k)}=x^{(k+1)}}$ 

Percio' diciamo che una certa successione ${\displaystyle x^{(k)}}$  e' convergente (incondizionatamente) e consistente in maniera esclusiva quando si verificano entrambe queste condizioni:

convergenza incondizionata

${\displaystyle \lim _{k\rightarrow \infty }||x^{(k)}-x_{v}||=0}$ 

consistenza esclusiva

${\displaystyle x^{(k)}=x_{v}\Leftrightarrow x^{(k)}=x^{(k+1)}}$