M-matrice
En mathématiques, une M-matrice est une matrice carrée réelle qui est à la fois une P-matrice et une Z-matrice, ce qui signifie que tous ses mineurs principaux sont strictement positifs et que ses éléments extra-diagonaux sont négatifs. D'autres caractérisations peuvent être utilisées, dont certaines sont données ci-dessous.
Ces matrices interviennent dans l'étude des problèmes de complémentarité linéaire et dans certaines discrétisations d'opérateurs différentiels, en particulier ceux obéissant à un principe du maximum, comme le laplacien.
Cette classe de matrices semble avoir été introduite par Alexander Ostrowski en référence à Hermann Minkowski[1].
Définitions
[modifier | modifier le code]La notion de M-matrice peut se définir de différentes manières, bien sûr équivalentes. On utilise ci-dessous les notions de Z-matrice, de P-matrice et de S-matrice.
M-matrice — On dit qu'une matrice carrée réelle est une M-matrice si c'est une Z-matrice et si l'une des propriétés équivalentes suivantes est vérifiée, équivalentes sous l'hypothèse que :
- ,
- ,
- est inversible et (tous les éléments de son inverse sont positifs),
- toutes les valeurs propres de ont une partie réelle strictement positive.
On note M l'ensemble des M-matrices d'ordre quelconque. On appelle M-matricité la propriété d'une matrice d'appartenir à M.
Propriétés
[modifier | modifier le code]Algèbre linéaire
[modifier | modifier le code]Les facteurs LU d'une M-matrice existent et peuvent être calculés de manière stable, sans pivotage. Cette propriété a également lieu pour la factorisation LU incomplète.
Complémentarité linéaire
[modifier | modifier le code]Un problème de complémentarité linéaire consiste à trouver un vecteur tel que et Dans cette définition, est le transposé de et les inégalités doivent se comprendre composante par composante. Ce problème est parfois noté de manière compacte comme suit
L'ensemble admissible de ce problème est noté
L'importance des M-matrices dans les problèmes de complémentarité linéaire provient du résultat suivant.
M-matrice et problème de complémentarité linéaire — Pour une matrice , les propriétés suivantes sont équivalentes :
- ,
- pour tout , contient un minimum (pour l'ordre de ) qui est l'unique solution de ,
- pour tous vecteurs , les solutions de vérifient .
Annexes
[modifier | modifier le code]Notes
[modifier | modifier le code]- (en) Pages 134, 161 (théorème 2.3 et note 6.1 du chapitre 6) chez Bermon et Plemmons (1994).
Articles connexes
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (en) A. Bermon, R.J. Plemmons (1994). Nonnegative Matrices in the Mathematical Sciences. Society for Industrial and Applied Mathematics, Philadelphie, USA. (ISBN 0898713218).
- (en) R. W. Cottle, J.-S. Pang, R. E. Stone (2009). The linear complementarity problem. Classics in Applied Mathematics 60. SIAM, Philadelphia, PA, USA.
- (en) R. A. Horn, Ch. R. Jonhson (1991). Topics in Matrix Analysis. Cambridge University Press, New York, NY, USA.