Matrix computations

linma2380  2022-2023  Louvain-la-Neuve

Matrix computations
5.00 crédits
30.0 h + 22.5 h
Q1
Enseignants
Delvenne Jean-Charles (supplée Jungers Raphaël); Jungers Raphaël;
Préalables
Formation de base en calcul numérique (niveau LEPL1104)  et en algèbre linéaire (niveau LEPL1101).
Thèmes abordés
Le cours se base sur les solides fondements mathématiques de la théorie des matrices pour élaborer des solutions algorithmiques aux challenges majeurs actuels impliquant des calculs sur/avec des matrices
  • Matrices définies sur un champ/anneau/non négatives : applications et challenges
  • Formes canoniques, décompositions, valeurs propres et singulières
  • Normes, convexité, matrices structurées: matrices creuses/d'adjacence
  • Challenges computationnels  récents : factorisation non négative, semigroupes de matrices,...
Acquis
d'apprentissage

A la fin de cette unité d’enseignement, l’étudiant est capable de :

1 Eu égard au référentiel AA, ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
  • AA1.1, AA1.2
  • AA5.5
  • AA6.3
Plus précisément, au terme du cours, l'étudiant sera capable de :
  • Utiliser les outils du calcul matriciel pour analyser les propriétés mathématiques de différents problèmes en mathématiques appliquées comme en statistique, en traitement du signal, en imagerie et en systèmes dynamiques.
  • Comprendre le comportement numérique de calcul matriciel, comme les problèmes de valeurs propres et valeurs singulières d'une matrice
  • Modéliser un problème d'ingénierie en choisissant les bons concepts et les bons outils au sein du large panel qu'offre la théorie des matrices
Acquis d'apprentissage transversaux :
  • Collaborer à la rédaction d'un rapport commun
  • Utiliser un ouvrage de référence en anglais
 
Contenu
Après une introduction qui rappelle quelques notions de base, on discute des sujets suivants:
  1. Compléments sur la théorie des déterminants: théorèmes de Binet-Cauchy et Laplace
  2. Décomposition en valeurs singulières et applications: décomposition polaire, angles entre espaces, inverse généralise, projecteurs, problème de moindre carrés, régularisation
  3. Décomposition en valeurs propres: formes de Schur et de Weyr, forme de Jordan, algorithme QR
  4. Approximation et caractérisation variationnelle: théorèmes de Courant-Fischer et Wielandt-Hoffmann, champ des valeurs, théorème de Gershgorin
  5. Congruences et stabilité: inertie et théorème de Sylvester, équations de Stein et de Lyapunov, lien avec la stabilité de systèmes dynamiques
  6. Matrices polynomiales et structurées: algorithme d'Euclide et formes de Smith et de Hermite, algorithmes rapides
  7. Matrices à éléments positifs : théorème de Perron-Frobenius, matrices stochastiques
  8. Semigroupes de matrices: structure algébrique, algorithmes et applications (Factorisation non négative, caractéristiques spectrales conjointes,...)
Méthodes d'enseignement
  • Séances de cours selon les modalités fixées par l'EPL.
  • Un séminaire sur des sujets avancés est organisé à la fin du quadrimestre.
  • Exercices ou devoirs à réaliser individuellement ou par petits groupes, avec consultation des assistants et correction de leurs devoirs.
  • Les détails d'organisation sont spécifiés chaque année dans le plan de cours.
Enfin, certaines activités peuvent être organisées en mode distanciel.
Modes d'évaluation
des acquis des étudiants
Les étudiants sont évalués en partie sur la base d'un examen (écrit, voire oral selon les circonstances) organisé selon les modalités fixées par l'EPL. La matière de l'examen correspond au contenu des cours et des supports de cours, après éventuelle suppression de certains passages. L'examen compte pour 14/20 de la note finale. 
En cas de doutes à l'issue d'une épreuve écrite, les titulaires se réservent le droit de convoquer les étudiants concernés pour un examen oral.
L'autre partie de l'évaluation repose sur des devoirs, exercices et présentations réalisés pendant le quadrimestre. Cette partie compte pour 6/20 de la note finale. Cette acquise durant le quadrimestre entre en compte à l'identique pour les deux sessions d'examen. 
 
Bibliographie
Le support de cours se compose d'ouvrages de référence, de notes de cours détaillées et de documents complémentaires disponibles sur Moodle.

Ouvrages de référence :
  • G.H. Golub and C.F. Van Loan (1989). Matrix Computations, 2nd Ed, Johns Hopkins University Press, Baltimore.
  • P. Lancaster and M. Tismenetsky (1985). The Theory of Matrices, 2nd Ed, Academic Press, New York
Support de cours
  • LINMA 2380 Course notes by R.J. et al.
Faculté ou entité
en charge
MAP


Programmes / formations proposant cette unité d'enseignement (UE)

Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
Master [120] en sciences mathématiques

Master [120] : ingénieur civil électricien

Master [120] : ingénieur civil en mathématiques appliquées

Master [120] : ingénieur civil en science des données

Master [120] en science des données, orientation technologies de l'information