S-matrice

En mathématiques, une $\mathbf{S}$-matrice est une matrice carrée réelle dont l'image de l'orthant positif intersecte l'intérieur de cet orthant. Ces matrices apportent des propriétés particulières aux problèmes de complémentarité linéaire.

Définitions

Les propriétés équivalentes pouvant servir de définition aux $\mathbf{S}$-matrices requièrent que l'on précise quelques notations et rappelle la définition d'un problème de complémentarité linéaire.

• Pour un vecteur $x\in\R^n$, la notation $x\geqslant 0$ signifie que toutes les composantes x_i du vecteur sont positives et la notation x > 0 signifie que toutes les composantes du vecteur sont strictement positives.
• Étant donnés une matrice réelle carrée d'ordre $M\in\R^{n\times n}$ et un vecteur $q\in\R^n$, un problème de complémentarité linéaire consiste à trouver un vecteur $x\in\R^n$ tel que $x\geqslant 0$, $Mx+q\geqslant 0$ et $x^{\!\top}(Mx+q)=0$ (ce qui revient à dire que le produit de Hadamard de x et Mx + q est nul), ce que l'on écrit de manière abrégée comme suit :
  
  $\mbox{CL}(M,q):\qquad 0\leqslant x\perp(Mx+q)\geqslant 0.$
  
  

$\mathbf{S}$-matrice — On dit qu'une matrice carrée réelle $M\in\R^{n\times n}$ est une $\mathbf{S}$-matrice si l'une des propriétés équivalentes suivantes est vérifiée :

1. il existe un $x\geqslant 0$ tel que Mx > 0,
2. il existe un x > 0 tel que Mx > 0,
3. $\forall\,q\in\R^n$, le problème $\operatorname{CL}(M,q)$ est réalisable.

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

La lettre S renvoie à Stiemke^[1].

Annexes

Note

1. ↑ Cottle, Pang et Stone (2009), page 140.

Article connexe

• Complémentarité linéaire

Bibliographie

• (en) R. W. Cottle, J.-S. Pang, R. E. Stone (2009). The linear complementarity problem. Classics in Applied Mathematics 60. SIAM, Philadelphia, PA, USA.