Convergenza globale e locale

Le ipotesi di convergenza globale garantiscono la convergenza del metodo di Newton per qualsiasi errore iniziale $ e_0 = \vert x_0 - \xi\vert$, ma in certi casi possono essere troppo restrittive. Si vorrebbe trovare un valore di $ x_0$ sufficientemente vicino alla soluzione da garantire la convergenza in ipotesi meno restrittive.

Sia $ \bar{n} = 0$ e $ C\,e_0 < 1$ nella ([*]):

$\displaystyle C\,e_k \leq (C\,e_0)^{2^k},\quad \forall k \geq 0
$

Passando al limite:

$\displaystyle \lim_{k \to +\infty} C\,e_k$ $\displaystyle \leq \lim_{k \to +\infty} \left(C\,e_0\right)^{2^k}$    
  $\displaystyle \leq 0$    

Il metodo converge per $ C\,e_0 < 1$, quindi:

$\displaystyle C\,e_0 < 1 \implies \vert x_0 - \xi\vert < \frac{1}{C}
$

Ipotesi di convergenza locale: Si noti che le ipotesi di convergenza locale sono meno restrittive in quanto non richiedono convessità e/o concavità strette.



Matteo Lisotto, Tobia Tesan - CC-BY 2.0