El producto de componentes (producto de Hadamard) de dos matrices definidas positivas es una matriz definida positiva ( Teorema del producto de Schur ). Me encontré con la siguiente prueba de ello:
$A=(a_{ij})$ y $B=(b_{ij})$ son positivas definidas. Sea $a_{ij} = \displaystyle \sum_{k=1}^N \lambda_k t_{ik} t_{jk}$ donde $T=(t_{ij})$ es una matriz ortogonal y $\lambda_k$ son los valores propios de $A$ . $$\sum_{i,j=1}^N a_{ij} b_{ij} x_i x_j = \sum_{i,j=1}^N b_{ij} x_i x_j \left( \sum_{k=1}^N \lambda_k t_{ik} t_{jk} \right) = \sum_{k=1}^N \lambda_k \left( \sum_{i,j=1}^N b_{ij} x_i t_{ik} x_j t_{jk} \right)$$ y por lo tanto mostrando $$\sum_{i,j=1}^N b_{ij} x_i t_{ik} x_j t_{jk} >0$$ es suficiente.
¿Existe una relación geométrica simple entre los valores y vectores propios de $C=(a_{ij} b_{ij})$ y los valores y vectores propios de $A$ y $B$ que explique la motivación geométrica de esta prueba?
0 votos
Buena pregunta, +1.
2 votos
No ha pasado mucho por aquí desde hace tiempo... tal vez sea útil señalar que el producto de Hadamard es una submatriz del producto tensorial (es decir, de Kronecker).