# Matrice productive

En algèbre linéaire, une matrice carrée d'ordre $n$ à coefficients positifs $A$ est dite productive, ou de Leontief, s'il existe une matrice colonne à coefficients positifs $P$ de format $n\times 1$ telle que la matrice colonne $P-AP$ soit à coefficients strictement positifs.

## Histoire

La notion de matrice productive a été développée par l'économiste Wassily Leontief (Prix Nobel d'économie en 1973) afin de modéliser et d'analyser les relations entre les différents secteurs d'une économie. Les liens d'interdépendances entre ces derniers peuvent ainsi être étudiés par l'analyse entrées-sorties à l'aide de données empiriques.

## Aspects mathématiques
### Définition explicite

La matrice $A\in \mathrm {M} _{n}(\mathbb {R} )$ est productive si et seulement si $A\geqslant 0$ et $\exists P\in \mathrm {M} _{n,1}(\mathbb {R} ),P>0$ tel que $P-AP>0$.

### Exemples

La matrice $A={\begin{pmatrix}0&1&0\\0&1/2&1/2\\1/4&1/2&0\\\end{pmatrix}}$ est productive.
$\forall a\in \mathbb {R} _{+}$, la matrice $A={\begin{pmatrix}0&a\\0&0\\\end{pmatrix}}$ est productive car les inégalités de définition sont vérifiés par $P={\begin{pmatrix}a+1\\1\\\end{pmatrix}}$.

### Propriétés
#### Caractérisation

Théorème Une matrice $A\in \mathrm {M} _{n}(\mathbb {R} )$ à coefficients positifs est productive si et seulement si $I_{n}-A$ est inversible d'inverse à coefficients positifs.
   * Implication directe:
    Soit $U\in \mathrm {M} _{n,1}(\mathbb {R} ),P>0$.
    Ainsi la matrice $P=(I_{n}-A)^{-1}U$ est à coefficients positifs car produit de deux matrices à coefficients positifs.
    De plus, $P-AP=(I_{n}-A)P=(I_{n}-A)(I_{n}-A)^{-1}U=U$.
    D'où $P-AP>0$.
    Donc $A$ est productive.
   * Implication réciproque:
    Raisonnons ab absurdo.
    Supposons que $\exists P>0$ tel que $V=P-AP>0$ et que $I_{n}-A$ est singulière.
    L'endomorphisme canoniquement associé à $I_{n}-A$ n'est pas injectif par singularité de la matrice.
    Ainsi $\exists Z\in \mathrm {M} _{n,1}(\mathbb {R} )$ non nulle telle que $(I_{n}-A)Z=0$.
    La matrice $-Z$ vérifie les mêmes propriétés que $Z$, on peut donc choisir $Z$ comme un élément du noyau ayant au moins un terme strictement positif;
    D'où $c=\sup _{i\in [|1,n|]}{\frac {z_{i}}{p_{i}}}$ est positif et atteint en au moins une valeur $k\in [|1,n|]$.
    Par définition de $V$ et de $Z$, nous avons alors:
       $cv_{k}=c(p_{k}-\sum _{i=1}^{n}a_{ki}p_{i})=cp_{k}-\sum _{i=1}^{n}a_{ki}cp_{i}$
       $cp_{k}=z_{k}=\sum _{i=1}^{n}a_{ki}z_{i}$
    D'où $cv_{k}=\sum _{i=1}^{n}a_{ki}(z_{j}-cp_{j})\leq \ 0$.
    Or nous savons que $c>0$ et que $v_{k}>0$.
    Il y a donc contradiction, ipso facto $I_{n}-A$ est nécessairement inversible.
    Supposons désormais que $I_{n}-A$ soit inversible mais d'inverse ayant au moins un terme négatif.
    Ainsi $\exists X\in \mathrm {M} _{n,1}(\mathbb {R} ),X\geqslant 0$ telle que $Y=(I_{n}-A)^{-1}X$ possède au moins un terme négatif.
    Alors $c=\sup _{i\in [|1,n|]}-{\frac {y_{i}}{p_{i}}}$ est positif et atteint en au moins une valeur $k\in [|1,n|]$.
    Par définition de $V$ et de $X$, nous avons alors:
       $cv_{k}=c(p_{k}-\sum _{i=1}^{n}a_{ki}p_{i})=-y_{k}-\sum _{i=1}^{n}a_{ki}cp_{i}$
       $x_{k}=y_{k}-\sum _{i=1}^{n}a_{ki}y_{i}$
       $cv_{k}+x_{k}=-\sum _{i=1}^{n}a_{ki}(cp_{i}+y_{i})$
    D'où $x_{k}\leq \ -cv_{k}<0$ car $\forall i\in [|1,n|],a_{k}i\geqslant 0,cp_{i}+y_{i}\geqslant 0$.
    Or nous savons que $X\geqslant 0$.
    Il y a donc contradiction, ipso facto $(I_{n}-A)^{-1}$ est nécessairement à coefficients positifs.

#### Transposition

Proposition La transposée d'une matrice productive est productive.
    Soit $A\in \mathrm {M} _{n}(\mathbb {R} )$ une matrice productive.
    Alors $(I_{n}-A)^{-1}$ existe et est à coefficients positifs.
    Or $((I_{n}-^{\operatorname {t} }\!A))^{-1}=(^{\operatorname {t} }\!(I_{n}-A))^{-1}=^{\operatorname {t} }\!((I_{n}-A)^{-1})$
    Ainsi $(I_{n}-^{\operatorname {t} }\!A)$ est inversible d'inverse à coefficients positifs.
    Donc $^{\operatorname {t} }\!A$ est productive.

## Application

Dans une approche matricielle du tableau entrées-sorties, la matrice de consommation est productive si elle est économiquement viable et si cette dernière ainsi que le vecteur de demande ne comportent que des éléments positifs ou nuls.