Considere un juego con $n$ jugadores, con espacio de estrategia $S \subset \mathbb{R}$ , donde $S$ es un conjunto acotado, y el jugador $i$ función de recompensa $\pi_i:S^n \rightarrow \mathbb{R}$ . La condición de Rosen ( J. B. Rosen. Existencia y unicidad de puntos de equilibrio para juegos cóncavos de n personas. Econometrica, 33(3):520-534, 1965 ) para la unicidad del Equilibrio de Nash en un juego de n jugadores establece que el equlibrio será único cuando
- función de recompensa $\pi_i(\textbf{s}) \; i \in N$ es cóncavo en la propia estrategia
- Existe un vector $\textbf{z}$ ( $(\forall i \in N)(z_i \geq 0)\ \wedge (\exists i \in N) (z_i >0)$ tal que la función $\sigma(\mathbf{s}, \mathbf{z})=\sum_{i=1}^{n}z_i\pi_i({\textbf{s}})$ es estrictamente cóncavo en diagonal
$N$ denota el conjunto de jugadores.
Para definir el concepto de concavidad estricta diagonal, introducimos el "pseudogradiente" de la función $\sigma$ , definida con: \begin{align} g(\mathbf{s},\mathbf{z}) = \begin{pmatrix} z_1\frac{\partial \pi_1(\mathbf{s})}{\partial s_1} \\ z_2\frac{\partial \pi_2(\mathbf{s})}{\partial s_2} \\ ... \\ z_n\frac{\partial \pi_n(\mathbf{s})}{\partial s_n}% \end{pmatrix} \end{align} Entonces, la función $\sigma$ se dice que diagonalmente dominante en $\mathbf{s} \in S$ por el hecho de ser fijo $\mathbf{z} \geq 0$ si para cada $\mathbf{s}^0, \mathbf{s}^1 \in S$ se mantiene lo siguiente: \begin{align} (\mathbf{s}^1 - \mathbf{s}^0)'g(\mathbf{s}^{0}, \mathbf{z}) + (\mathbf{s}^0 - \mathbf{s}^1)'g(\mathbf{s}^{1}, \mathbf{z})>0 \end{align}
Se demuestra, en el artículo que cito al principio, que una condición suficiente para $\sigma$ para ser diagonalmente cóncavo es que la matriz $\left[G(\mathbf{x}, \mathbf{z}) +G(\mathbf{x}, \mathbf{z})' \right]$ es un defecto negativo para $\mathbf{s} \in S$ , donde $G(\mathbf{x}, \mathbf{z})$ es el jacobiano del pseudogradiente $g$ con respecto a $\mathbf{s}$ . Utilizo ' para denotar la transposición de una matriz. ¿Cuál es la intuición detrás de la condición de concavidad estricta de la diagonal?