Indice

Prefazione IX

Capitolo 1 - Concetti introduttivi e richiami di analisi matematica 1

1.1 Strumenti di base di analisi matematica 2
1.1.1 Teorema di Taylor 2
1.1.2 Teoremi del valore medio e dei valori estremi 10
1.2 Errore, notazioni dell’uguaglianza approssimata e dell’ordine asintotico 15
1.2.1 Errore 16
1.2.2 Notazione: uguaglianza approssimata 17
1.2.3 Notazione: ordine asintotico 18
1.3 Brevi richiami sull’aritmetica dell’elaboratore 22
1.4 Cenni sui linguaggi di programmazione e sul software 31
1.5 Approssimazioni semplici 32
1.6 Un’applicazione: approssimare il logaritmo naturale 36
Una panoramica sulla letteratura 38
Bibliografia 38

Capitolo 2 - Una rassegna di metodi semplici e strumenti 41

2.1 Regola di Horner e moltiplicazione nidificata 41
2.2 Approssimazioni alle differenze della derivata 45
2.3 Un’applicazione: il metodo di Eulero per problemi con valore iniziale 53
2.4 Interpolazione lineare 59
2.5 Un’applicazione: il metodo dei trapezi 66
2.6 Risoluzione di sistemi lineari tridiagonali 75
2.7 Un’applicazione: semplici problemi con due valori al contorno 82

Capitolo 3 - Ricerca delle radici di un’equazione 87

3.1 Il metodo di bisezione 88
3.2 Il metodo di Newton: costruzione ed esempi 95
3.3 Un criterio di arresto del metodo di Newton 101
3.4 Un’applicazione: la divisione usando il metodo di Newton 104
3.5 La formula dell’errore di Newton 109
3.6 Il metodo di Newton: teoria e convergenza 113
3.7 Un’applicazione: approssimare la radice quadrata 118
3.8 Il metodo della secante: costruzione ed esempi 120
3.9 Iterazione del punto fisso 125
VI Indice

3.10 Argomenti speciali sui metodi per la ricerca delle radici 136
3.10.1 Estrapolazione e Accelerazione 136
3.10.2 Varianti del Metodo di Newton 141
3.10.3 Il Metodo delle secanti: Teoria e Convergenza 146
3.10.4 Radici Multiple 149
3.10.5 Alla ricerca di una convergenza globale rapida: algoritmi ibridi 154
Letteratura e software 160
Bibliografia 160

Capitolo 4 - Interpolazione e approssimazione 163

4.1 Interpolazione di Lagrange 164
4.2 Interpolazione di Newton e differenze divise 170
4.3 Errore di interpolazione 178
4.4 Un’applicazione: metodo di Muller e interpolazione quadratica inversa 183
4.5 Un’applicazione: altre approssimazioni della derivata 187
4.6 Interpolazione di Hermite 190
4.7 Interpolazione polinomiale a tratti 195
4.8 Un’introduzione alle funzioni splines 203
4.8.1 Definizione del problema 203
4.8.2 B-Splines cubiche 204
4.9 Un’applicazione: risoluzione di problemi con valori al contorno 218
4.10 Metodo dei minimi quadrati nell’approssimazione 223
4.10.1 Un’introduzione al Fitting di dati 223
4.10.2 Approssimazione ai Minimi Quadrati e Polinomi Ortogonali 229
4.11 Argomenti avanzati sull’errore di interpolazione 244
4.11.1 Stabilità dell’Interpolazione Polinomiale 245
4.11.2 L’Esempio di Runge 249
4.11.3 I nodi di Chebyshev 252
Letteratura e software 257
Bibliografia 258

Capitolo 5 - Integrazione numerica 259

5.1 Un ripasso dell’integrale definito 260
5.2 Migliorare il metodo dei trapezi 263
5.3 Metodo di Simpson e grado di precisione 267
5.4 Il metodo midpoint 280
5.5 Un’applicazione: la formula di Stirling 283
5.6 Quadratura gaussiana 285
5.7 Metodi di estrapolazione 297
5.8 Argomenti speciali sull’integrazione numerica 303
5.8.1 Integrazione di Romberg 303
5.8.2 Quadratura con integrande non regolari 309
5.8.3 Integrazione Adattiva 314
 Indice VII

5.8.4 Stime di Peano per il Metodo dei Trapezi 322

Letteratura e software 327
Bibliografia 327

Capitolo 6 - Metodi numerici per le equazioni

differenziali ordinarie 329
6.1 Il problema con valore iniziale: background 330
6.2 Metodo di Eulero 335
6.3 Analisi del metodo di Eulero 340
6.4 Varianti del metodo di Eulero 344
6.4.1 Il residuo e l’errore di troncamento 347
6.4.2 Metodi impliciti e tecniche del predictor-corrector 350
6.4.3 Valori di inizializzazione e metodi a più passi 356
6.4.4 Il metodo midpoint e la stabilità debole 357
6.5 Metodi a un passo singolo: Runge-Kutta 362
6.6 Metodi a più passi (multistep) 369
6.6.1 Le famiglie di Adams 369
6.6.2 Famiglia dei metodi alle differenze all’indietro (BDF) 374
6.7 Problemi di stabilità 376
6.7.1 Teoria della stabilità per i metodi a più passi 376
6.7.2 Regioni di stabilità 380
6.8 Applicazioni ai sistemi di equazioni 383
6.8.1 Problemi di implementazione ed esempi 383
6.8.2 Equazioni stiff 386
6.8.3 A-Stabilità 388
6.9 Metodi adattivi 390
6.10 Problemi con valori al contorno 404
6.10.1 Metodi alle differenze finite 405
6.10.2 Metodi shooting 410
Letteratura e software 414
Bibliografia 415

Capitolo 7 - Metodi numerici per la risoluzione

di sistemi di equazioni 417
7.1 Richiami di algebra lineare 418
7.2 Sistemi lineari ed eliminazione di Gauss 420
7.3 Numero di operazioni 428
7.4 La fattorizzazione LU 429
Pivoting e decomposizione LU 435
7.5 Perturbazione, condizionamento e stabilità 440
7.5.1 Norme vettoriali e matriciali 441
7.5.2 Perturbazioni e numero di condizionamento 443
7.5.3 Stimare il numero di condizionamento 451
7.5.4 Raffinamento iterativo 454
VIII Indice

7.6 Matrici simmetriche definite positive e decomposizione di Cholesky 458

7.7 Metodi iterativi per i sistemi lineari: una breve panoramica 462
7.8 Sistemi non lineari: metodo di Newton e sue varianti 471
7.8.1 Metodo di Newton 472
7.8.2 Metodi del punto fisso 475
7.9 Un’applicazione: risoluzione numerica dei problemi
non lineari con valori al contorno 477
Letteratura e software 480
Bibliografia 480

Capitolo 8 - Risoluzione approssimata

del problema degli autovalori algebrici 483
8.1 Richiami sugli autovalori 484
8.2 Riduzione in forma di Hessenberg 490
8.3 Metodi delle potenze 498
8.4 Il metodo QR 517
Letteratura e Software 526
Bibliografia 526

Capitolo 9 - Una panoramica sui metodi alle differenze finite

per le equazioni differenziali alle derivate parziali 527
9.1 Metodi alle differenze per l’equazione del calore 528
9.1.1 Il problema di base 528
9.1.2 Il Metodo esplicito e la stabilità 529
9.1.3 Metodi impliciti e il metodo Crank-Nicolson 534
9.2 Metodi alle differenze per le equazioni di Poisson 546
9.2.1 Discretizzazione 546
9.2.2 Algoritmo di Cholesky per matrici a banda 548
9.2.3 Iterazione e metodo del gradiente coniugato 551
Letteratura e software 564
Bibliografia 564

Appendice A - Dimostrazioni di alcuni teoremi

e altro materiale aggiuntivo 567
A.1 Dimostrazioni dei teoremi dell’errore di interpolazione 567
A.2 Dimostrazione del risultato di stabilità per problemi
con valore iniziale regolari e uniformemente monotoni decrescenti 569
A.3 Sistemi stiff di equazioni differenziali e autovalori 570
A.4 Il teorema della perturbazione di una matrice 572

Appendice B - Soluzioni di alcuni esercizi 575