R0-matrice

R0-matrice

En mathématiques, une \mathbf{R_0}-matrice est une matrice carrée réelle apportant des propriétés particulières aux problèmes de complémentarité linéaire. Ces propriétés, difficilement exprimables en quelques mots, sont décrites dans la définition donnée ci-dessous.

Sommaire

Définitions

Les propriétés équivalentes pouvant servir de définition aux \mathbf{R_0}-matrices requièrent le rappel de quelques notions.

  • Pour un vecteur v\in\R^n, la notation v\geqslant 0 signifie que toutes les composantes vi du vecteur sont positives. Étant donnés une matrice réelle carrée 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 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.

  • Une fonction définie sur \R^n à valeurs réelles est dite coercive si elle a ses ensembles de sous-niveau bornés, ce qui revient à dire qu'elle tend vers l'infini si \|x\|\to\infty.

On peut à présent donner la définition d'une \mathbf{R_0}-matrice.

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

  1. l'unique solution du problème CL(M,0) est la solution nulle,
  2. quel que soit q\in\R^n, la fonction x\mapsto\|\min(x,Mx+q)\| est coercive,
  3. la fonction x\mapsto\|\min(x,Mx)\| est coercive.

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

Le lien entre le problème CL(M,0) et la fonction x\mapsto\|\min(x,Mx)\| vient du fait que x est solution de CL(M,0) si, et seulement si, min(x,Mx) = 0 (l'opérateur min  agit composante par composante).

Propriété

Lien avec la copositivité

Une covaleur propre ou valeur propre de Pareto \mu\in\R d'une matrice réelle symétrique M\in\R^{n\times n} est une valeur critique du problème d'optimisation


\min_{{x\in\R^n\atop\|x\|=1}\atop x\geqslant 0}\;x^{\!\top}Mx,

c'est-à-dire la valeur du critère \mu=x^{\!\top}Mx en un point stationnaire de ce problème, ce qui revient à dire que le problème de complémentarité linéaire ci-dessous à une solution x non nulle :


0\leqslant x\perp(M-\mu I)x\geqslant 0.

D'après la définition 1 de la \mathbf{R_0}-matricité, on voit que, pour une matrice symétrique, cette notion revient à dire que la matrice n'a pas de covaleur propre nulle. Il peut être utile de rapprocher cette définition de celle des valeurs propres d'une matrice symétrique, lesquelles peuvent être obtenues comme valeurs critiques du quotient de Rayleigh, sans la contrainte de positivité utilisée ici.

Annexes

Article connexe

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.
  • (en) F. Facchinei, J.-S. Pang (2003). Finite-Dimentional Variational Inequalities and Complementarity Problems (2 volumes). Springer Series in Operations Research. Springer-Verlag, New York.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article R0-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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”