M-matrice

M-matrice: En mathématiques, une $\mathbf{M}$ -matrice est une matrice carrée réelle qui est à la fois une $\mathbf{P}$ -matrice et une $\mathbf{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].

Sommaire

1 Définitions

2 Propriétés

2.1 Algèbre linéaire

2.2 Complémentarité linéaire

3 Annexes

3.1 Notes

3.2 Articles connexes

3.3 Bibliographie

Définitions

La notion de $\mathbf{M}$ -matrice peut se définir de différentes manières, bien sûr équivalentes. On utilise ci-dessous les notions de $\mathbf{Z}$ -matrice, de $\mathbf{P}$ -matrice et de $\mathbf{S}$ -matrice.

$\mathbf{M}$ -matrice — On dit qu'une matrice carrée réelle $M\in\R^{n\times n}$ est une $\mathbf{M}$ -matrice si c'est une $\mathbf{Z}$ -matrice et si l'une des propriétés équivalentes suivantes est vérifiée, équivalentes sous l'hypothèse que $M\in\mathbf{Z}$ :

$M\in\mathbf{P}$ ,

$M\in\mathbf{S}$ ,

$M$ est inversible et $M^{-1}\geqslant 0$ (tous les éléments de son inverse son positifs),

toutes les valeurs propres de $M$ ont une partie réelle strictement positive.

On note $\mathbf{M}$ l'ensemble des $\mathbf{M}$ -matrices d'ordre quelconque. On appelle $\mathbf{M}$ -matricité la propriété d'une matrice d'appartenir à $\mathbf{M}.$

Propriétés

Algèbre linéaire

Les facteurs LU d'une $\mathbf{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

Un problème de complémentarité linéaire consiste à trouver un vecteur $x\geqslant 0,$ tel que $Mx+q\geqslant 0$ et $x^{\!\top\!}(Mx+q)=0.$ Dans cette définition, $M\in\R^{n\times n},$ $q\in\R^n,$ $x^{\!\top\!}$ est le transposé de $x$ et les inégalités doivent se comprendre composante par composante. Ce problème est parfois noté de manière compacte comme suit

$\mbox{CL}(M, q)\qquad 0\leqslant x\perp(Mx+q)\geqslant 0.$

L'ensemble admissible de ce problème est noté

$\mbox{Adm}(M,q):=\{x\in\R^n: x\geqslant 0,~Mx+q\geqslant 0\}.$

L'importance des $\mathbf{M}$ -matrices dans les problèmes de complémentarité linéaire provient du résultat suivant.

$\mathbf{M}$ -matrice et problème de complémentarité linéaire — Pour une matrice $M\in\R^{n\times n}$ , les propriétés suivantes sont équivalentes :

$M\in\mathbf{M}$ ,

pour tout $q$ , $\operatorname{Adm}(M,q)$ contient un minimum (pour l'ordre $\leqslant$ de $\R^n$ ) qui est l'unique solution de $\operatorname{CL}(M,q)$ ,

pour tous vecteurs $q^1\leqslant q^2$ , les solutions $\bar{x}^i$ de $\operatorname{CL}(M,q^i)$ vérifient $\bar{x}^1\geqslant\bar{x}^2$ .

Annexes

Notes

↑ (en) Pages 134, 161 (théorème 2.3 et note 6.1 du chapitre 6) chez Bermon et Plemmons (1994).

Articles connexes

Complémentarité linéaire

Matrice de Hurwitz

P-matrice

Z-matrice

Bibliographie

(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.

Portail des mathématiques

Catégories :
Matrice
Complémentarité linéaire

Contenu soumis à la licence CC-BY-SA. Source : Article M-matrice de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

Matrice (algèbre) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire … Wikipédia en Français
Matrice (mathematiques) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire … Wikipédia en Français
Matrice carrée — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire … Wikipédia en Français
Matrice Diagonalisable — En algèbre linéaire, une matrice carrée M d ordre n ( ) à coefficients dans un corps commutatif K, est dite diagonalisable si elle est semblable à une matrice diagonale, c est à dire s il existe une matrice inversible P et une matrice diagonale D … Wikipédia en Français
matrice — [ matris ] n. f. • 1265; lat. matrix 1 ♦ Vieilli Utérus. Inflammation de la matrice. ⇒ métrite. Fig. « La terre, inépuisable et suprême matrice » (Hugo). 2 ♦ (1556 ) Techn. Moule qui, après avoir reçu une empreinte particulière en creux et en… … Encyclopédie Universelle
Matrice Définie Positive — En algèbre linéaire, la notion de matrice définie positive est analogue à celle de nombre réel strictement positif. On introduit tout d abord les notations suivantes ; si a est une matrice à éléments réels ou complexes : aT désigne la… … Wikipédia en Français
Matrice Inversible — En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In suffit d aprés le… … Wikipédia en Français
Matrice definie positive — Matrice définie positive En algèbre linéaire, la notion de matrice définie positive est analogue à celle de nombre réel strictement positif. On introduit tout d abord les notations suivantes ; si a est une matrice à éléments réels ou… … Wikipédia en Français
Matrice inverse — Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In… … Wikipédia en Français
Matrice non singulière — Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In… … Wikipédia en Français
Matrice par blocs — Matrice par bloc En théorie des matrices, une matrice par bloc ou matrice partitionnée est une matrice pouvant être divisée en matrices rectangulaires de dimensions inférieures appelées blocs. On peut dire également que la matrice est écrite en… … Wikipédia en Français

Mark and share
Search through all dictionaries
Translate…
Search Internet

Share the article and excerpts