CODICE 42927 ANNO ACCADEMICO 2023/2024 CFU 6 cfu anno 1 MATEMATICA 9011 (LM-40) - GENOVA 6 cfu anno 2 MATEMATICA 9011 (LM-40) - GENOVA 6 cfu anno 3 MATEMATICA 8760 (L-35) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MAT/08 LINGUA Italiano (Inglese a richiesta) SEDE GENOVA PERIODO 2° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE L’algebra lineare numerica è il settore della matematica che si occupa dello studio delle problematiche legate all’uso di matrici di grandi dimensioni e/o strutturate. Gli sviluppi tecnologici più recenti necessitano infatti della risoluzione al calcolatore di problemi associati a matrici di questo tipo. Scopo dell’insegnamento è approfodire le conoscenze iniziali che vengono introdotte in tale ambito nei corsi della laurea triennale. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI L'insegnamento intende approfondire le conoscenze di algebra lineare numerica, con particolare riferimento al trattamento numerico delle matrici di grandi dimensioni, favorendo la comprensione dei metodi più efficienti, sia diretti che iterativi. OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO L’insegnamento ha lo scopo di fornire agli studenti le conoscenze necessarie ad individuare, comprendere e risolvere i problemi lineari relativi a matrici di grandi dimensioni e/o strutturate che sono presenti nella maggior parte degli ambiti applicativi correnti, come ad esempio, il page ranking in internet, l’elaborazioni di immagini, la tomografia e l’analisi non distruttiva in campo civile e biomedico, l’apprendimento automatico. Al termine del corso lo studente avrà acquisito conoscenze teoriche sufficienti a conoscere ed identificare i principali problemi di carattere lineare che necessitano di algoritmi appositamente sviluppati per poter governare le grandi dimensioni che caratterizzano il modello e/o i dati, come ad esempio, il page ranking in internet, l’elaborazioni di immagini, la tomografia e l’analisi non distruttiva in campo civile e biomedico, l’apprendimento automatico da esempi; a scegliere ed applicare strumenti propri dell’algebra lineare numerica per risolvere tali problemi con l’ausilio del calcolatore; ad ottimizzare gli algoritmi e il codice numerico implementato per la loro risoluzione numerica; ad implementare tali metodologie di carattere algebrico in un linguaggio di programmazione di alto livello. PREREQUISITI Gli strumenti matematici necessari alla comprensione degli argomenti trattati sono quelli contenuti negli insegnamenti di algebra lineare e analisi numerica della laurea triennale. Per una comprensione approfondita può comunque risultare utile avere qualche rudimento inerente l'analisi delle funzioni di più variabili, i metodi iterativi per sistemi lineari e la teoria della misura. Gli argomenti dell’insegnamento “Calcolo Numerico”, corso opzionale della laurea triennale, possono risultare utili, sebbene non necessari. MODALITA' DIDATTICHE L’attività didattica è costituita da: lezioni frontali in modalità tradizionale (44 ore) laboratorio (6 ore) per un totale di 52 ore PROGRAMMA/CONTENUTO Trattamento di matrici di grandi dimensioni: matrici sparse, matrici strutturate. Analisi di matrici sparse mediante grafi e tecniche di permutazione. Connessione e irriducibilità. Indici di centralita Inversa di matrici con modifiche di rango basso, formula di Woodbury-Sherman-Morrison. Inversa di matrici partizionate a blocchi, complemento di Schur e sue applicazioni. Matrici separabili, prodotto di Kronecker, somma di Kronecker ed equazioni matriciali associate. Equazione di Lyapunov-Sylvester. Decomposizione spettrale di prodotti di Kronecker. Metodo QR per matrici sparse. Equazioni integrali, discretizzazione e convoluzione. Matrici strutturate. Matrici di Toeplitz e Teorema di Szego-Tyrtyshnikov. Matrici circolanti. La Trasformata Veloce di Fourier (FFT) e le sue applicazioni all'algebra matriciale e all’algebra dei polinomi. Sistemi non lineri. Teoria della convergenza dei metodi iterativi stazionari per la risoluzione di sistemi lineari. Metodi splitting, splitting a blocchi. Teoria di Perron-Frobenius per matrici non negative. Splitting regolari. Metodi iterativi di minimizzazione per la risoluzione di sistemi lineari. Metodi non stazionari. Metodi a passo ottimo. Metodo della massima discesa. Gradiente coniugato, analisi della convergenza in relazione allo spettro della matrice. Tecniche di precondizionamento. TESTI/BIBLIOGRAFIA In generale, gli appunti presi durante le lezioni e il materiale scaricabile dalla pagina web del corso sono sufficienti per la preparazione dell'esame. Più in dettaglio, possono risultare utili i materiali seguenti: D. Bini, M. Capovani, O. Menchi, Metodi Numerici per l'Algebra Lineare (Zanichelli, Bologna, 1988); C. Estatico, Gradiente coniugato e regolarizzazione di problemi mal posti (Quaderni del Gruppo Nazionale per l’Informatica Matematica, C.N.R., I.N.d.A.M., 1996). DOCENTI E COMMISSIONI PAOLA FERRARI CLAUDIO ESTATICO Ricevimento: Su appuntamento, da concordare durante le lezioni o via email. ISABELLA FURCI Commissione d'esame CRISTINA CAMPI (Presidente) ISABELLA FURCI CLAUDIO ESTATICO (Presidente Supplente) LEZIONI Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME L'esame consiste in una prova orale, preceduta da un breve incontro durante il quale saranno discussi i risultati ottenuti durante il laboratorio. MODALITA' DI ACCERTAMENTO La prova orale verte principalmente sugli argomenti di carattere teorico svolti dai docenti, e si prefigge di accertare la comprensione degli stessi, anche mediante la discussione e la giustificazione intuitiva dei concetti analitici e degli esempi applicativi. La discussione dei relativa al laboratorio verte principalmente sul funzionamento del programma e sull'interpretazione dei risultati. Calendario appelli Data appello Orario Luogo Tipologia Note 03/06/2024 09:00 GENOVA Esame su appuntamento ALTRE INFORMAZIONI Sebbene la frequenza alle lezioni sia di carattere facoltativo, essa è fortemente consigliata. Agenda 2030 Istruzione di qualità Parità di genere