d'enseignement
en ligne
Formation de base en calcul numérique (niveau LFSAB1104) et en algèbre linéaire (niveau LFSAB1101).
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,...
d'apprentissage
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
La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
des acquis des étudiants
Les étudiants sont évalués en partie sur la base d'un examen organisé selon les modalités fixées par l'EPL. La matière de l'examen correspond au contenu des supports de cours, après éventuelle suppression de certains passages qui sont précisés dans un document déposé sur Moodle après la dernière séance de cours.
L'autre partie de l'évaluation repose sur des devoirs, exercices et travaux pratiques réalisés pendant le quadrimestre.
De plus amples informations sur les modalités d'évaluation sont fournies dans le plan de cours rendu disponible sur Moodle au début de l'enseignement.
- Séances de cours selon les modalités fixées par l'EPL.
- 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.
Après une introduction qui rappelle quelques notions de base, on discute des sujets suivants:
- Compléments sur la théorie des déterminants: théorèmes de Binet-Cauchy et Laplace
- 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
- Décomposition en valeurs propres: formes de Schur et de Weyr, forme de Jordan, algorithme QR
- Approximation et caractérisation variationnelle: théorèmes de Courant-Fischer et Wielandt-Hoffmann, champ des valeurs, théorème de Gershgorin
- Congruences et stabilité: inertie et théorème de Sylvester, équations de Stein et de Lyapunov, lien avec la stabilité de systèmes dynamiques
- Matrices polynomiales et structurées: algorithme d'Euclide et formes de Smith et de Hermite, algorithmes rapides
- Matrices à éléments positifs : théorème de Perron-Frobenius, matrices stochastiques
- Semigroupes de matrices: structure algébrique, algorithmes et applications (Factorisation non négative, caractéristiques spectrales conjointes,...)
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
en charge
