Elementi di calcolo numerico: metodi e algoritmi

Transcript

1 Elementi di calcolo numerico: metodi e algoritmi

2

3 Maria Grazia Gasparo, Rossana Morandi Elementi di calcolo numerico: metodi e algoritmi McGraw-Hill Milano New York San Francisco Washington D.C. Auckland Bogotá Lisboa London Madrid Mexico City Montreal New Delhi San Juan Singapore Sydney Tokyo Toronto

4 Copyright 2011, 2008 The McGraw-Hill Companies, S.r.l. Publishing Group Italia Via Ripamonti, Milano McGraw-Hill A Division of the McGraw-Hill Companies I diritti di traduzione, di riproduzione, di memorizzazione elettronica e di adattamento totale e parziale con qualsiasi mezzo (compresi i microfilm e le copie fotostatiche) sono riservati per tutti i Paesi. Date le caratteristiche intrinseche di Internet, l Editore non è responsabile per eventuali variazioni negli indirizzi e nei contenuti dei siti Internet riportati. Nomi e marchi citati nel testo sono generalmente depositati o registrati dalle rispettive case produttrici. Publisher: Paolo Roncoroni Produzione: Donatella Giuliani Realizzazione print on demand: Ilovebooks, Fara Gera d Adda (Bergamo) Stampa: Prontostampa, Fara Gera d Adda (Bergamo) ISBN Printed in Italy

5 Nello infinito accadono cose che non accadono nello finito Galileo Galilei Solo perché alcuni di noi sanno leggere e scrivere e far di conto, questo non vuol dire che meritiamo di conquistare l Universo. Kurt Vonnegut, Jr.

6

7 Indice Prefazione xi 1 ALGORITMI Introduzione Istruzioni fondamentali Istruzionielementari Istruzionidiscelta Istruzionidiripetizione Esempi Confronto fra algoritmi Costocomputazionale ARITMETICA DEL CALCOLATORE ELETTRONICO Memorizzazione dei numeri Numeriinteri Numerireali Errori di arrotondamento e precisione di macchina Operazioni di macchina Un altra definizione della precisione di macchina Propagazione degli errori. Condizionamento e stabilità Cancellazionenumerica Condizionamento di un problema Stabilità di un algoritmo EQUAZIONI NON LINEARI Introduzione Metodo di bisezione Convergenza del metodo di bisezione MetododiNewton ConvergenzadelmetododiNewton VariantidelmetododiNewton Metodo delle secanti Criteri di arresto Un criterio di salvaguardia Un criterio di arresto generale Un criterio di arresto per il metodo di bisezione... 60

8 viii Indice Un criterio di arresto per metodi a convergenza almeno superlineare Algoritmi Algoritmo di bisezione Algoritmo di Newton Algoritmo delle secanti Cenno alla risoluzione di sistemi non lineari (*) SISTEMI LINEARI Introduzione Condizionamento dei sistemi lineari Analisiaposteriori Risoluzione di sistemi triangolari MetododieliminazionediGauss Strategiadelpivotingparziale Algoritmi ErrorenelmetododiGaussconpivotingparziale Metodo di Householder (*) Matrici di Householder Riduzione di una matrice in forma triangolare mediante matrici di Householder Algoritmi ErrorenelmetododiHouseholder Metodiiterativistazionari Metodo di Jacobi MetododiGauss-Seidel Convergenzadeimetodiiterativistazionari Criteri di arresto Algoritmi ed esempi Metodi per sistemi con matrice dei coefficienti simmetrica definita positiva (*) MetododiCholesky Metododelgradienteconiugato APPROSSIMAZIONE DI DATI E FUNZIONI Introduzione Interpolazionepolinomiale Esistenza e unicità del polinomio interpolante Polinomio interpolante nella formulazione di Lagrange Condizionamento del problema di interpolazione polinomiale Polinomio interpolante nella formulazione di Newton Algoritmi Errore nell interpolazione polinomiale Interpolazione mediante funzioni spline (*) Funzionispline...149

9 Indice ix Funzionisplineinterpolanti Splines cubiche interpolanti nei nodi Algoritmi per il calcolo di splines cubiche interpolanti nei nodi Miglioreapprossimazioneaiminimiquadrati Rettadimiglioreapprossimazione Problemadeiminimiquadratilineare Metodo di Householder per il problema dei minimi quadrati lineari (*) Calcolo numerico di integrali definiti Formulediquadraturainterpolatorie Formulediquadraturacomposite EstrapolazionediRichardson A Appendice: RICHIAMI DI ALGEBRA LINEARE 181 Bibliografia 191

10

11 Prefazione Il Calcolo numerico, o Analisi numerica, è la disciplina che si occupa della cosiddetta risoluzione numerica di problemi di natura matematica, ovvero della loro risoluzione mediante il calcolatore elettronico. La necessità di ricorrere al calcolatore può nascere per due motivi: perché non esistono formule o procedimenti espliciti per risolvere il problema o perché i dati e le variabili in gioco sono troppi per poter essere facilmente gestiti a mano. Un esempio della prima situazione è rappresentato dalle equazioni non lineari: tutti sanno risolvere l equazione 3x 2 +5x 2=0, ma nessuno conosce una formula per calcolare le soluzioni di e x cos(x) sin(x) =3. Per quanto riguarda la seconda situazione, basta pensare ad un sistema lineare: se si tratta di 2 o 3 equazioni in altrettante incognite non è difficile fare i conti con carta e penna, ma se le equazioni sono 10, 100 o 1000 bisogna necessariamente usare uno strumento più veloce. Una volta che un problema è stato correttamente formulato, si deve individuare un metodo per risolverlo numericamente, ovvero un metodo che, realizzato sul calcolatore, fornisce la soluzione del problema o una sua approssimazione. Questi metodi sono detti metodi numerici. Affinché un metodo numerico possa essere usato in pratica, esso deve essere descritto tramite un algoritmo, che è una sequenza di istruzioni non ambigue che si conclude sicuramente entro un tempo finito. Lo studio dei metodi numerici e la formulazione dei corrispondenti algoritmi rientrano fra le prerogative del Calcolo numerico. Spesso si possono individuare diversi metodi numerici per risolvere uno stesso problema. È ancora compito del Calcolo numerico confrontarli, fondamentalmente in base a due criteri: il costo, ovvero la quantità di risorse di memoria e di tempo che ciascuno di essi richiede, e la sensibilità a tutti i possibili errori che possono influenzare il risultato. Mentre il primo aspetto è fortemente dipendente dal tipo di calcolatore che si ha a disposizione, il secondo aspetto è in qualche modo oggettivo e particolarmente importante dal momento che il calcolatore stesso, qualunque esso sia, è una fonte certa di errore: a causa delle sue caratteristiche fisiche, esso genera automaticamente errori sia nella memorizzazione dei numeri che nell esecuzione delle operazioni aritmetiche, tanto che l aritmetica del calcolatore ha un nome specifico (aritmetica floating point) per distinguerla dall aritmetica che si usa abitualmente in matematica, in cui virtualmente si possono eseguire algoritmi anche complessi senza introdurre errori. I primi due capitoli del libro sono dedicati rispettivamente agli algoritmi e all aritmetica floating point. Nei capitoli successivi si trattano metodi numerici per

12 xii Prefazione la risoluzione di alcune classi di problemi: equazioni non lineari, sistemi lineari e approssimazione di dati e funzioni. Le caratteristiche più importanti dei metodi numerici presentati sono illustrate da numerosi esempi, con figure e tabelle. I risultati numerici che riportiamo nelle tabelle sono stati ottenuti realizzando gli algoritmi del testo in linguaggio FORTRAN e/o in linguaggio MATLAB. Le note storiche che accompagnano il testo sono tratte spesso da Internet e, quando possibile, verificate in articoli e libri. Citiamo a questo proposito i due libri molto interessanti di J.L. Chabert [8] e H.H. Goldstine [19] di storia degli algoritmi e dell Analisi numerica. Il testo è rivolto principalmente a studenti dei corsi di base di Calcolo numerico delle Facoltà di Ingegneria e Scienze matematiche, fisiche e naturali. Gli argomenti sono trattati in modo da richiedere soltanto prerequisiti elementari di Analisi matematica e Geometria. Alcune nozioni di Algebra lineare sono comunque raccolte in Appendice. Abbiamo incluso anche alcuni argomenti che richiedono un po più di maturità matematica e possono essere eventualmente omessi in un contesto di introduzione al Calcolo numerico. Questi argomenti sono contrassegnati nell indice da un asterisco (*). Nonostante tutta l attenzione che abbiamo messo nella stesura del libro e le innumerevoli riletture, siamo sicure che alcuni errori, speriamo solo di stampa, sono rimasti. Ce ne assumiamo tutta la responsabilità e siamo grate fin da ora a chiunque ci aiuterà ad individuarli. Desideriamo ringraziare molte persone: Aldo e Ferruccio che tanti anni fa ci hanno fatto appassionare al Calcolo numerico; tutti gli studenti che hanno seguito i nostri corsi e ci hanno fatto capire cosa insegnare e come; i nostri consorti che hanno dimostrato un infinita pazienza accettando di buon grado che lavorassimo perfino durante le vacanze; un grazie speciale a Linda e Lorenzo che, avendo studiato Calcolo numerico senza un libro di testo di riferimento, hanno spinto perché questo libro fosse finalmente scritto. Infine, vogliamo ringraziare la nostra pluridecennale amicizia in virtù della quale il lavoro non è stato solo faticoso ma anche divertente. Come diceva Aristotele, si decide in fretta di essere amici, ma l amicizia è un frutto chematura lentamente. Firenze, gennaio 2008 Maria Grazia Gasparo e Rossana Morandi