Didattica, 2019-2020,
Calcolo Numerico (Ing. Energia, Canale B)




Programma di teoria


  • Numeri macchina:

    » Rappresentazione dei numeri reali.
    » Un esempio.
    » Numeri macchina.
    » Alcune proprieta' numeri macchina (minimo, massimo).
    » Alcune proprieta' numeri macchina (cardinalita', spaziatura).
    » Precisione singola e doppia;
    » Troncamento e arrotondamento (con esempi e osservazioni);
    » Precisione di macchina;
    » Errori relativi e assoluti (per numeri e vettori), con esempi;
    » Unita' di arrotondamento.
    » Operazioni con i numeri macchina;
    » Proprietà commutativa, associativa e distributiva delle operazioni floating point (con esempi);
    » Errori nelle operazioni e loro propagazione;
    » Il caso della somma, con dimostrazione;
    » Esempio sulla cancellazione;
    » Il caso del prodotto, con dimostrazione;
    » Alcune problematiche numeriche;
    » Valutazione di una funzione (condizionamento di una funzione);
    » Alcuni esempi del condizionamento.
    » Stabilita' di un algoritmo.
    » Calcolo di una radice di secondo grado.
    » Approssimazione di pi greco.
    » Una successione ricorrente.
    » Sulla somma ((1+x)-1)/x.
    » Sulla valutazione di f(x)=x come tan(arctan(x)).
    » Valutazione di polinomi: complessita' computazionale.
    » Potenza di matrice.
    » Determinanti: confronto della regola di Laplace e metodo con fattorizzazione LU.

  • Soluzione di equazioni non lineari:

    » Soluzione numerica di equazioni nonlineari esempi, grafici e metodi iterativi.
    » Ordine di convergenza, con esempio.
    » Metodo di bisezione.
    » Convergenza del metodo di bisezione.
    » Test di arresto per il metodo di bisezione (con esempi).
    » Metodo di Newton.
    » Interpretazione grafica del metodo di Newton.
    » Test di arresto per il metodo di Newton.
    » Un teorema di convergenza locale per il metodo di Newton (traccia della dimostrazione).
    » Un teorema di convergenza globale per il metodo di Newton (con dimostrazione).
    » Newton e zeri multipli.
    » Newton: alcuni esempi (casi semplici e multipli).
    » Newton: radici quadrate ed n-sime.
    » Metodo delle secanti.
    » Metodo delle secanti: un teorema di convergenza.
    » Metodo delle secanti: un esempio.
    » Metodi di punto fisso: introduzione.
    » Teorema di punto fisso di Banach (dimostrazione dei primi tre punti, con accenno al quarto).
    » Un teorema di punto fisso di convergenza locale (senza dimostrazione).
    » Un teorema di punto fisso di convergenza locale (ordine p, senza dimostrazione).
    » Metodo di Newton come metodo di punto fisso.
    » Metodo di Newton e teorema di punto fisso di convergenza locale (traccia della dimostrazione).

  • Interpolazione polinomiale:

    » Interpolazione: introduzione.
    » Esistenza e unicita' del polinomio interpolatore (con dimostrazione)
    » Errore di interpolazione (con dimostrazione)
    » Esempio di stima dell'errore di interpolazione.
    » Convergenza dell'interpolazione polinomiale: nodi equispaziati e di tipo Chebyshev;
    » Convergenza uniforme: una stima uniforme dell'errore tra funzione e polinomio interpolatore;
    » Teorema di Faber e di Bernstein;
    » Controesempio di Runge: comportamento dell'interpolante in nodi equispaziati e di Chebyshev;
    » Stabilita' dell'interpolazione polinomiale: stime, costante di Lebesgue;
    » Costante di Lebesgue per nodi equispaziati e di Chebyshev.

  • Funzioni polinomiali a tratti e splines:

    » Un problema dell'interpolazione polinomiale.
    » Funzioni polinomiali a tratti. Funzioni polinomiali a tratti, interpolanti e di grado "s".
    » Esistenza e unicita' delle funzioni polinomiali a tratti, interpolanti e di grado "s" su dati che sono multiplo di "s".
    » Errore dell'interpolante polinomiale a tratti di grado 1.
    » Convergenza uniforme delle funzioni polinomiali a tratti, interpolanti e di grado "1".
    » Splines.
    » Differenza tra splines e interpolanti polinomiali a tratti.
    » Splines cubiche interpolanti.
    » Analisi dell'unicita' delle splines cubiche.
    » Splines naturali, vincolate e periodiche.
    » Splines not-a-knot.
    » Convergenza delle splines cubiche.
    » Osservazione sulla convergenza uniforme.
    » Esperimento di Runge.

  • Minimi quadrati:

    » Problema ai minimi quadrati: definizione e motivazioni.
    » Teorema che lega il numero di campionamenti all'errore dei minimi quadrati.
    » Alcuni esempi.
    » Curve fitting.
    » Regressione lineare (con esempio).
    » Minimi quadrati e ricostruzione di funzione da dati perturbati.

  • Derivazione numerica:

    » Derivazione e un risultato negativo di convergenza uniforme.
    » Analisi del rapporto incrementale (con dimostrazione).
    » Instabilita' del rapporto incrementale (con dimostrazione).
    » Esempi.
    » Analisi del metodo alle differenze simmetriche (con dimostrazione).
    » Instabilita' del rapporto incrementale (con dimostrazione).
    » Esempi.

  • Integrazione numerica:

    » Integrazione numerica: stabilita' e convergenza uniforme (con dimostrazione).
    » Formule interpolatorie.
    » Grado di precisione.
    » Grado di precisione delle formule interpolatorie.
    » Regole del rettangolo: definizione ed errore.
    » Regola midpoint: definizione ed errore.
    » Formule di Newton-Cotes chiuse.
    » Regola del trapezio ed errore.
    » Regola di Cavalieri-Simpson ed errore.
    » Formule composte e splines.
    » Formula composta midpoint, errore, grado di precisione, esempio.
    » Formula composta trapezi, errore, grado di precisione, esempio.
    » Formula composta Cavalieri-Simpson, errore, grado di precisione, esempio.
    » Formule composte: esempi e rapporti di convergenza.
    » Stabilita' formule di quadratura (con dimostrazione).
    » Convergenza di alcune formule di quadratura (legame con la convergenza uniforme).
    » Il caso delle formule di Newton-Cotes, di quelle basate sull'integrazione di interpolanti in nodi di Chebyshev e delle formule composte.
    » Esempi.

  • Estrapolazione:

    » Il concetto di estrapolazione.
    » Estrapolazione di Richardson.
    » Le tabelle di estrapolazione.
    » Formula dei trapezi composte e metodo di Romberg.

  • Algebra Lineare Numerica:

    » Norma di vettori (definizione)
    » Norme "p" e infinito.
    » Esempi.
    » Norme indotte di matrici (definizione).
    » Raggio spettrale.
    » Norme indotte di matrici (esempi p=1, p=2, p=inf).
    » Risoluzione di sistemi lineari con termini noti perturbati.
    » Sistemi perturbato Ax=b e numero di condizionamento (dimostrazione caso particolare).
    » Un esempio.
    » Sistemi perturbato Ax=b e numero di condizionamento (caso generale, solo asserto).
    » Sistemi lineari. Un esempio.
    » Matrici triangolari.
    » Risoluzione numerica di sistemi Ax=b con A matrice triangolare.
    » Risoluzione numerica di sistemi Ax=b con A matrice triangolare: complessita' computazionale.
    » Risoluzione di sistemi lineari (esempio matriciale).
    » Fattorizzazione LU.
    » Risoluzione di sistemi lineari e loro legame con la fattorizzazione LU.
    » Problematiche della fattorizzazione LU e della risoluzione dei sistemi lineari.
    » Risoluzioni di sistemi lineari con pivoting.
    » Fattorizzazione PA=LU.
    » Fattorizzazione PA=LU (note su P).
    » Matrici cui a priori non serve pivoting: a predominanza diagonale, simmetriche definite positive.
    » Pseudocodice A=LU.
    » Complessita' computazionale A=LU (senza dimostrazione).
    » Tempi di calcolo.
    » Fattorizzazione Cholesky e sua complessita'.
    » Risoluzione del sistema Ax=b, nota PA=LU.
    » Determinante di una matrice: complessita' Laplace vs LU.
    » Inversa: cofattori vs LU.
    » Metodi iterativi e metodi diretti: breve introduzione.
    » Metodi iterativi stazionari: x^(k+1)=Bx^(k)+c.
    » Metodi iterativi stazionari: legame tra metodo e soluzione di un problema di punto fisso.
    » Metodi iterativi stazionari: un teorema di convergenza globale legato alla norma di B (con dimostrazione).
    » Metodi iterativi stazionari: un teorema di convergenza globale legato al raggio spettrale di B (senza dimostrazione).
    » Metodo di Jacobi (esempio matrice 3 x 3).
    » Metodo di Gauss-Seidel (esempio matrice 3 x 3).
    » Metodi di Jacobi e Gauss-Seidel (caso generale).
    » Splitting A=D-E-F.
    » Splitting A=P-N.
    » Splitting A=P-N: caso Jacobi.
    » Splitting A=P-N: caso Gauss-Seidel.
    » Convergenza di Jacobi per matrici a pred. diag. stretta (con dimostrazione).
    » Metodi iterativi e loro convergenza: esempi.
    » Sistemi sovradeterminati e soluzione ai minimi quadrati: definizione.
    » Legame tra soluzione ai minimi quadrati ed equazioni normali (senza dimostrazione).
    » Matrici rettangolari e fattorizzazione Cholesky.
    » Risoluzione equazioni normali con fattorizzazione Cholesky.
    » Risoluzione equazioni normali con fattorizzazione Cholesky: un esempio.
    » Matrici rettangolari e fattorizzazione QR.
    » Risoluzione equazioni normali con fattorizzazione QR.
    » Risoluzione equazioni normali con fattorizzazione QR: un esempio.
    » Matrici rettangolari e fattorizzazione SVD.
    » Risoluzione equazioni normali con fattorizzazione SVD.
    » Risoluzione equazioni normali con fattorizzazione SVD: un esempio.