You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
suddetto metodo converge, dobbiamo considerare la funzione di iterazione Φ,<br />
che è caratteristica del metodo numerico:<br />
Φ(xi) = xi − f(xi)<br />
f ′ (xi)<br />
(3.9)<br />
Questa funzione deve godere di una proprietà fondamentale affinché il metodo<br />
iterativo converga:<br />
Enunciamo e dimostriamo il seguente teorema:<br />
x ∗ = Φ(x ∗ ) (3.10)<br />
Teorema 7 (del punto fisso). Sia Φ(x), la funzione di iterazione. Se esistono<br />
δ > 0 e 0 ≤ L < 1, tali che per ogni x, y ∈ (x ∗ − δ, x ∗ + δ) ≡ I e tali che<br />
|Φ(x) − Φ(y)| ≤ L · |x − y|<br />
allora:<br />
1 x ∗ è l’unico punto fisso di Φ in I.<br />
2 se x0 ∈ I allora xi ∈ I ∀i ≥ 0<br />
3 limi→∞xi = x ∗<br />
Dim:<br />
1 (per assurdo): Supponiamo che esista un altro punto fisso ¯x = Φ(¯x) ∈ I.<br />
Otteniamo che<br />
ovvero<br />
|x ∗ − ¯x| = |Φ(x ∗ ) − Φ(¯x)| ≤ L · |x ∗ − ¯x| < |x ∗ − ¯x|<br />
|x ∗ − ¯x| < |x ∗ − ¯x|<br />
che è impossibile.<br />
2 (per induzione): Dalle ipotesi sappiamo che x0 ∈ I. Questo implica che<br />
|x ∗ − x0| < δ Ricordando che 0 ≤ L < 1, abbiamo che:<br />
|x ∗ − x1| = Φ(x ∗ ) − Φ(x0) ≤ L · |x ∗ − x0| < L · δ < δ<br />
3: xi → x ∗ per i → ∞. Abbiamo che<br />
|xi − x ∗ | = |Φ(xi−1) − Φ(x ∗ )| ≤ L · |xi−1 − x ∗ |<br />
= L · |Φ(xi−2 − Φ(x ∗ )| ≤ L 2 · |xi−1 − x ∗ |<br />
= . . .L i · |x0 − x ∗ |<br />
se i → ∞ allora L i → 0. La tesi segue banalmente.<br />
29