Teorema de Perron-Frobenius

Sea ${\displaystyle A=(a_{ij})}$ una matriz positiva de ${\displaystyle n\times n}$: ${\displaystyle a_{ij}>0}$ × ${\displaystyle 1\leq i,j\leq n}$. Entonces las siguientes proposiciones son válidas.

1. Hay un número real positivo r , llamado raíz de Perron o autovalor de Perron-Frobenius (también llamado autovalor principal o autovalor dominante ), de manera que r es un autovalor de A y cualquier otro autovalor λ (posiblemente complejo ) en valor absoluto es estrictamente menor que r , | λ | < r. Por tanto, el radio espectral A^T es igual a r. Si los coeficientes de la matriz son algebraicos, esto implica que el valor propio es un número de Perron.
2. El valor propio de Perron-Frobenius es simple: r es una raíz del polinomio característico de A. En consecuencia, el espacio propio asociado a r es unidimensional. (Lo mismo es cierto para el espacio propio izquierdo, es decir, el espacio propio para A^T , la transposición de A).
3. Existe un vector propio v=(v₁,...,v_n) de A con valor propio r tal que todos los componentes de v son positivos: A v = rv, v _i> 0 para 1 ≤ i ≤ n . (Respectivamente, existe un vector propio izquierdo positivo w: w ^T A = rw ^T, w _i > 0.) Se conoce en la literatura bajo muchas variaciones como el vector de Perron , vector propio de Perron, Vector propio de Perron-Frobenius , vector propio principal o vector propio dominante.
4. No hay otros autovectores positivos (además no negativos) excepto los múltiplos positivos de v (respectivamente, autovectores izquierdos excepto w), es decir, todos los demás autovectores deben tener al menos un componente negativo o no real.
5. ${\displaystyle \lim _{k\rightarrow \infty }A^{k}/r^{k}=vw^{T}}$, donde los vectores propios izquierdo y derecho para A están normalizados de modo que w ^T v = 1. Además, la matriz vw ^T es la proyección sobre el espacio propio correspondiente a r . Esta proyección se llama proyección Perron.
6. Fórmula de Collatz –Wielandt : para todos los vectores x no negativos no nulos, sea f ( x ) el valor mínimo de [Ax] _i/x_i tomado sobre todos aquellos i tales que x _i ≠ 0. Entonces f es un valor real función valorada cuyo máximo sobre todos los vectores x no negativos distintos de ceroes el valor propio de Perron-Frobenius.
7. Una fórmula Collatz-Wielandt "Mín-máx" toma una forma similar a la anterior: para todos los vectores estrictamente positivos x , sea g (x) el valor máximo de [Ax] i/x _i tomado sobre i . Entonces g es una función con valor real cuyo mínimo sobre todos los vectores estrictamente positivos x es el valor propio de Perron-Frobenius.
8. Birkhoff - Varga fórmula:Sean x e y vectores estrictamente positivos. Entonces:${\displaystyle r=\sup _{x>0}\inf _{y>0}{\frac {y^{\top }Ax}{y^{\top }x}}=\inf _{x>0}\sup _{y>0}{\frac {y^{\top }Ax}{y^{\top }x}}=\inf _{x>0}\sup _{y>0}\sum _{i,j=1}^{n}x_{i}A_{ij}y_{j}/\sum _{i=1}^{n}y_{i}x_{i}.}$[8]
9. Donsker, Varadhan y S. Friedland fórmulan: Que p sea un vector de probabilidad y x un vector estrictamente positivo. Entonces:${\displaystyle r=\sup _{p}\inf _{x>0}\sum _{i=1}^{n}p_{i}[Ax]_{i}/x_{i}.}$[9][10]
10. Fórmula de Fiedler, ${\displaystyle r=\sup _{z>0}\ \inf _{x>0,\ y>0,\ x\circ y=z}{\frac {y^{\top }Ax}{y^{\top }x}}=\sup _{z>0}\ \inf _{x>0,\ y>0,\ x\circ y=z}\sum _{i,j=1}^{n}x_{i}A_{ij}y_{j}/\sum _{i=1}^{n}y_{i}x_{i}.}$[11]
11. El valor propio de Perron-Frobenius satisface las desigualdades.

${\displaystyle \min _{i}\sum _{j}a_{ij}\leq r\leq \max _{i}\sum _{j}a_{ij}.}$

Todas estas propiedades se extienden más allá de las matrices estrictamente positivas a las matrices primitivas (ver más abajo). Los hechos 1-7 se pueden encontrar en Meyer, capítulo 8,[12] afirmaciones 8.2.11-15, página 667, y ejercicios 8.2.5, 7,9, páginas 668-669.

Los vectores propios izquierdo y derecho w y v a veces se normalizaron de manera que la suma de sus componentes es igual a 1; en este caso, a veces se denominan autovectores estocásticos . A menudo se normalizan de modo que el vector propio derecho v suma uno, mientras que ${\displaystyle w^{T}v=1}$.

Existe una extensión para matrices con entradas no negativas. Dado que cualquier matriz no negativa puede obtenerse como límite de matrices positivas, se obtiene la existencia de un vector propio con componentes no negativos; el valor propio correspondiente será no negativo y mayor o igual , en valor absoluto, a todos los demás valores propios.[13][14] Sin embargo, para el ejemplo ${\displaystyle A=\left({\begin{smallmatrix}0&1\\1&0\end{smallmatrix}}\right)}$, el valor propio máximo r = 1 tiene el mismo valor absoluto que el otro valor propio −1; mientras que para${\displaystyle A=\left({\begin{smallmatrix}0&1\\0&0\end{smallmatrix}}\right)}$, el valor propio máximo es r = 0, que no es una raíz simple del polinomio característico, y el vector propio correspondiente (1, 0) no es estrictamente positivo.

Sin embargo, Frobenius encontró una subclase especial de matrices no negativas, matrices irreducibles, para las que es posible una generalización no trivial. Para tal matriz, aunque los valores propios que alcanzan el valor absoluto máximo pueden no ser únicos, su estructura está bajo control: tienen la forma ${\displaystyle \omega r}$, donde r es realmente estrictamente positivo, y ${\displaystyle \omega }$ es un valor propio real estrictamente positivo, y ${\displaystyle \omega }$ rangos sobre las raíces h- ésimas complejas de 1 para algún entero positivo h llamado período de la matriz. El vector propio correspondiente a r tiene componentes estrictamente positivos (en contraste con el caso general de matrices no negativas, donde los componentes son solo no negativos). Además, todos estos valores propios son raíces simples del polinomio característico. A continuación se describen otras propiedades.

Sea A una matriz cuadrada (no necesariamente positiva o incluso real). La matriz A es irreducible si se cumple alguna de las siguientes propiedades equivalentes.

Definición 1: A no tiene subespacios de coordenadas invariantes no triviales. Aquí, un subespacio vectorial de coordenadas no trivial significa un subespacio lineal abarcado por cualquier subconjunto adecuado de vectores de base estándar de ${\displaystyle \mathbb {R} ^{n}}$. Más explícitamente, para cualquier subespacio lineal generado por vectores de base estándar e_i1 , ..., e_ik, 0 < k < n, su imagen bajo la acción de A no está contenida en el mismo subespacio vectorial.

De manera equivalente, la representación de grupo de ${\displaystyle (\mathbb {R} ,+)}$ en ${\displaystyle \mathbb {R} ^{n}}$ dada por ${\displaystyle t\mapsto \exp(tA)}$ no tiene subespacios de coordenadas invariantes no triviales. (En comparación, esto sería una representación irreductible si no hubiera subespacios invariantes no triviales en absoluto, no solo considerando los subespacios de coordenadas).

Definición 2: A no se puede conjugar en forma triangular superior de bloque mediante una matriz de permutación P:

${\displaystyle PAP^{-1}\neq {\begin{pmatrix}E&F\\0&G\end{pmatrix}},}$

donde E y G son matrices cuadradas no triviales (es decir, de tamaño mayor que cero).

Si A no es negativo, se aplica otra definición:

Definición 3: Uno puede asociarse con una matriz A un cierto grafo dirigido G A. Tiene exactamente n vértices, donde n es el tamaño de A , y hay una arista desde el vértice i al vértice j precisamente cuando A _ij > 0. Entonces la matriz A es irreducible si y solo si su grafo asociado G _A está fuertemente conectado .

Una matriz es reducible si no es irreducible.

Una matriz A es primitiva si no es negativa y su potencia m es positiva para algún número natural m (es decir, todas las entradas de A ^m son positivas).

Sea A no negativo. Fije un índice i y defina el período del índice i como el máximo común divisor de todos los números naturales m tal que (A ^m) _ii > 0. Cuando A es irreducible, el período de cada índice es el mismo y se llama período de A . De hecho, cuando A es irreductible, el período se puede definir como el máximo común divisor de las longitudes de los caminos cerrados dirigidos en G _A (ver Cocinas [15] página 16). El período también se denomina índice de imprimitividad ([12] Meyer página 674) o el orden de ciclicidad. Si el período es 1, A es aperiódico. Se puede demostrar que las matrices primitivas son las mismas que las matrices irreductibles aperiódicas no negativas.

Todos los enunciados del teorema de Perron-Frobenius para matrices positivas siguen siendo verdaderos para matrices primitivas. Las mismas declaraciones también son válidas para una matriz irreductible no negativa, excepto que puede poseer varios valores propios cuyo valor absoluto es igual a su radio espectral, por lo que las declaraciones deben modificarse en consecuencia. De hecho, el número de esos valores propios es igual al período.

Los resultados de las matrices no negativas fueron obtenidos por primera vez por Frobenius en 1912.

Deje que A sea un irreducible no negativo n × n matriz con período h y espectral radio ρ (A) = r . Entonces las siguientes declaraciones son válidas.

1. El número r es un número real positivo y es un valor propio de la matriz A, llamado valor propio de Perron-Frobenius.
2. El valor propio r de Perron-Frobenius es simple. Ambos espacios propios, derecho e izquierdo, asociados con r son unidimensionales.
3. A tiene un vector propio derecho v con un valor propio r cuyas componentes son todas positivas.
4. Asimismo, A tiene un autovector izquierdo w con autovalor r cuyos componentes son todos positivos.
5. Los únicos autovectores cuyos componentes son todos positivos son los asociados con el autovalor r.
6. La matriz A tiene exactamente h (donde h es el período) valores propios complejos con valor absoluto r. Cada uno de ellos es una raíz simple del polinomio característico y es el producto de r con una h- ésima raíz de la unidad.
7. Sea ω=2π/h. Entonces la matriz A es similar a e ^iωA , en consecuencia, el espectro de A es invariante bajo la multiplicación por e^iω (correspondiente a la rotación del plano complejo por el ángulo ω).
8. Si h>1 entonces existe una matriz de permutación P tal que

${\displaystyle PAP^{-1}={\begin{pmatrix}0&A_{1}&0&0&\ldots &0\\0&0&A_{2}&0&\ldots &0\\\vdots &\vdots &\vdots &\vdots &&\vdots \\0&0&0&0&\ldots &A_{h-1}\\A_{h}&0&0&0&\ldots &0\end{pmatrix}},}$

donde los bloques a lo largo de la diagonal principal son matrices cuadradas cero.

9. Fórmula de Collatz –Wielandt: para todos los vectores no negativos no nulos x sea f(x) el valor mínimo de [Ax] _i/x _i tomado sobre todos aquellos i tales que x_i≠0. Entonces f es un función de valor real cuyo máximo es el valor propio de Perron-Frobenius.

10. El valor propio de Perron-Frobenius satisface las desigualdades

${\displaystyle \min _{i}\sum _{j}a_{ij}\leq r\leq \max _{i}\sum _{j}a_{ij}.}$

El ejemplo ${\displaystyle A=\left({\begin{smallmatrix}0&0&1\\0&0&1\\1&1&0\end{smallmatrix}}\right)}$ muestra que las matrices cero (cuadradas) a lo largo de la diagonal pueden ser de diferentes tamaños, los bloques A_j no necesitan ser cuadrados y h no necesita dividir n.

Sea A una matriz no negativa irreducible, entonces:

1. (I+ A) ^{n −1} es una matriz positiva. (Meyer reclamación [12] 8.3.5 p. 672 ).
2. Teorema de Wielandt.^{[cita requerida]}Si |B|< A, entonces ρ (B)≤ρ (A). Si se cumple la igualdad (es decir, si μ = ρ (A) e ^iφ es el valor propio de B), entonces B=e^iφ D AD ⁻¹ para alguna matriz unitaria diagonal D (es decir, los elementos diagonales de D son iguales a e ^iΘ l, no diagonales son cero).[16]
3. Si alguna potencia Aq es reducible, entonces es completamente reducible, es decir, para alguna matriz de permutación P , es cierto que:${\displaystyle PA^{q}P^{-1}={\begin{pmatrix}A_{1}&0&0&\dots &0\\0&A_{2}&0&\dots &0\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\dots &A_{d}\\\end{pmatrix}}}$, donde A_i son matrices irreducibles que tienen el mismo valor propio máximo. El número de estas matrices d es el máximo común divisor de q y h, donde h es el período de A.[17]
4. Si c (x)=xⁿ+c_k1 x ^n-k ₁ + c _k 2 x _n-k 2 + ... + c _ks x _n-k s es el polinomio característico de A en el que solo se enumeran los términos distintos de cero, entonces el período de A es igual al máximo común divisor de k ₁, k ₂ , ..., k _s.[18]
5. Promedios Cesàro:${\displaystyle \lim _{k\rightarrow \infty }1/k\sum _{i=0,...,k}A^{i}/r^{i}=(vw^{T}),}$ donde los vectores propios izquierdo y derecho para A están normalizados de modo que w ^T v= 1. Además, la matriz vw^T es la proyección espectral correspondiente ar, la proyección de Perron.[19]
6. Sea r el valor propio de Perron-Frobenius, entonces la matriz adjunta para (r-A) es positiva.[20]
7. Si A tiene al menos un elemento diagonal distinto de cero, entonces A es primitivo.[21]
8. Si 0 ≤ A < B, entonces r _A ≤ r _B. Por otra parte, si B es irreducible, entonces la desigualdad es estricta: r _A <r _B.

Una matriz A es primitiva siempre que no sea negativa y A ^m sea positiva para algunos m, y por lo tanto A ^k sea positiva para todo k ≥ m. Para verificar la primitividad, se necesita un límite de cuán grande puede ser el mínimo de tal m, dependiendo del tamaño de A:

• Si A es una matriz primitiva no negativa de tamaño n, entonces A^{n2 − 2n + 2} es positiva. Además, este es el mejor resultado posible, ya que para la matriz M siguiente, la potencia M ^k no es positiva para cada k < n² − 2n + 2, ya que (M^{n2 − 2n+1})₁₁ = 0.[18]

${\displaystyle M=\left({\begin{smallmatrix}0&1&0&0&\cdots &0\\0&0&1&0&\cdots &0\\0&0&0&1&\cdots &0\\\vdots &\vdots &\vdots &\vdots &&\vdots \\0&0&0&0&\cdots &1\\1&1&0&0&\cdots &0\end{smallmatrix}}\right)}$

El teorema de Perron-Frobenius no se aplica directamente a matrices no negativas. Sin embargo, cualquier matriz cuadrada reducible A puede escribirse en forma de bloque triangular superior (conocida como la forma normal de una matriz reducible).[22]

PAP⁻¹ = ${\displaystyle \left({\begin{smallmatrix}B_{1}&*&*&\cdots &*\\0&B_{2}&*&\cdots &*\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\cdots &*\\0&0&0&\cdots &B_{h}\end{smallmatrix}}\right)}$

donde P es una matriz de permutación y cada B _i es una matriz cuadrada que es irreducible o cero. Ahora bien, si A no es negativo, también lo es cada bloque de PAP ⁻¹, además, el espectro de A es solo la unión de los espectros de B _i.

También se puede estudiar la invertibilidad de A. La inversa de PAP ^-1 (si existe) debe tener bloques diagonales de la forma B _i ^-1 así que si cualquier B _i no es invertible entonces tampoco es PAP ^-1 o A. Por el contrario, sea D la matriz diagonal de bloques correspondiente a PAP ⁻¹, en otras palabras, PAP ⁻¹ con los asteriscos en cero. Si cada B _i es invertible, entonces también lo es D y D ⁻¹ (PAP ⁻¹) es igual a la identidad más una matriz nilpotente. Pero tal matriz es siempre invertible (si N ^k=0 el inverso de 1-N es 1+N+N² + ... + N ^{k −1}) por lo que PAP ⁻¹ y A son ambos invertibles.

Por tanto, muchas de las propiedades espectrales de A pueden deducirse aplicando el teorema al B _i irreducible. Por ejemplo, la raíz de Perron es el máximo de ρ (B _i). Si bien todavía habrá vectores propios con componentes no negativos, es muy posible que ninguno de estos sea positivo.

Una matriz estocástica de filas (columnas) es una matriz cuadrada, cada una de cuyas filas (columnas) consta de números reales no negativos cuya suma es la unidad. El teorema no se puede aplicar directamente a tales matrices porque no necesitan ser irreductibles.

Si A es estocástico por filas, entonces el vector de columna con cada entrada 1 es un vector propio correspondiente al valor propio 1, que también es ρ (A) según la observación anterior. Puede que no sea el único valor propio en el círculo unitario: y el espacio propio asociado puede ser multidimensional. Si A es estocástico por filas e irreductible, entonces la proyección de Perron también es estocástica por filas y todas sus filas son iguales.

El teorema tiene un uso particular en la teoría de grafos algebraicos . La "gráfica subyacente" de una matriz n- cuadrada no negativa es la gráfica con vértices numerados 1, ..., ny arc ij si y solo si A _ij ≠ 0. Si la gráfica subyacente de dicha matriz está fuertemente conectada, entonces la matriz es irreducible y, por tanto, se aplica el teorema. En particular, la matriz de adyacencia de un gráfico fuertemente conectado es irreducible.[23][24]

El teorema tiene una interpretación natural en la teoría de las cadenas de Markov finitas (donde es el equivalente teórico de matrices de la convergencia de una cadena de Markov finita irreductible a su distribución estacionaria, formulada en términos de la matriz de transición de la cadena.[25]

De manera más general, se puede extender al caso de los operadores compactos no negativos, que, en muchos sentidos, se parecen a las matrices de dimensión finita. Estos se estudian comúnmente en física, bajo el nombre de operadores de transferencia, o en ocasiones operadores de Ruelle-Perron-Frobenius (después de David Ruelle). En este caso, el valor propio principal corresponde al equilibrio termodinámico de un sistema dinámico, y los valores propios menores a los modos de desintegración de un sistema que no está en equilibrio. Por lo tanto, la teoría ofrece una manera de descubrir la flecha del tiempo en lo que de otro modo parecerían ser procesos dinámicos deterministas y reversibles, cuando se examina desde el punto de vista de topología de conjunto de puntos.[26]

Si A es una matriz positiva (o más generalmente primitiva), entonces existe un valor propio positivo real r ( valor propio de Perron-Frobenius o raíz de Perron), que es estrictamente mayor en valor absoluto que todos los demás valores propios, por lo que r es el radio espectral de Una.

Esta declaración no se mantiene para matrices irreducibles no negativos generales, que tienen h valores propios con el mismo valor propio absoluta como r, donde h es el período de A.

Sea A una matriz positiva, suponga que su radio espectral ρ (A)=1 (de lo contrario, considere A/ρ (A)). Por lo tanto, existe un valor propio λ en el círculo unitario, y todos los demás valores propios son menores o iguales a 1 en valor absoluto. Suponga que otro valor propio λ ≠ 1 también cae en el círculo unitario. Entonces existe un entero positivo m tal que A ^m es una matriz positiva y la parte real de λ ^m es negativa. Sea εI la mitad de la entrada diagonal más pequeña de A ^my establezca T=A ^m-εI, que es otra matriz positiva. Además, si Ax= Λx entonces A ^mx = λ ^m x así λ ^m-ε es un valor propio de T. Debido a la elección de m, este punto se encuentra fuera del disco unitario, por lo tanto, ρ (T)> 1. Por otro lado, todas las entradas en T son positivas y menores o iguales a las de A ^m, por lo que según la fórmula de Gelfand ρ (T)≤''ρ (A ^m)≤ ρ (A) ^m=1. Esta contradicción significa que λ=1 y no puede haber otros valores propios en el círculo unitario.

Absolutamente los mismos argumentos se pueden aplicar al caso de matrices primitivas; solo necesitamos mencionar el siguiente lema simple, que aclara las propiedades de las matrices primitivas.

Dado un número no negativo A, asumen que m existe, de manera que un m es positivo, entonces A^m+1,A^m+2, A^m+3,... son todos positivos.

A^m+1=AA^m, por lo que puede tener un elemento cero solo si alguna fila de A es completamente cero, pero en este caso la misma fila de A m será cero.

Aplicando los mismos argumentos anteriores para matrices primitivas, demuestre la afirmación principal.

Para un positivo (o más generalmente irreducible no negativo) de la matriz A la dominante vector propio es real y estrictamente positivo (para no negativo A respectivamente no negativo.)

Esto se puede establecer utilizando el método de la potencia, que establece que para una matriz A suficientemente genérica (en el sentido siguiente), la secuencia de vectores b_k+1 = Ab_k / | Ab_k | converge al vector propio con el valor propio máximo. (El vector inicial b ⁰ se puede elegir arbitrariamente, excepto para algún conjunto de medidas de cero). Comenzar con un vector no negativo b ⁰ produce la secuencia de vectores no negativos b ^k. Por tanto, el vector limitante tampoco es negativo. Por el método de la potencia, este vector limitante es el autovector dominante para A, lo que demuestra la afirmación. El valor propio correspondiente no es negativo.

La prueba requiere dos argumentos adicionales. Primero, el método de potencia converge para matrices que no tienen varios valores propios del mismo valor absoluto que el máximo. El argumento de la sección anterior lo garantiza.

En segundo lugar, asegurar la positividad estricta de todos los componentes del vector propio para el caso de matrices irreducibles. Esto se deriva del siguiente hecho, que es de interés independiente:

Lema: dado un positivo (o más generalmente irreducible no negativo) de la matriz A y v como cualquier vector propio no negativo para A, entonces es necesariamente estrictamente positivo y el correspondiente valor propio también es estrictamente positivo.

Prueba. Una de las definiciones de irreductibilidad para matrices no negativas es que para todos los índices i, j existe M, de modo que (A ^m) ^ij es estrictamente positivo. Dado un vector propio v no negativo, y que al menos uno de sus componentes dice que j -th es estrictamente positivo, el valor propio correspondiente es estrictamente positivo, de hecho, dado n tal que (A ⁿ) ii>0, por lo tanto:rⁿv_i = Aⁿv_i ≥ (Aⁿ)_iiv_i >0. Por consiguiente r es estrictamente positivo. El vector propio es positividad estricta. Entonces dado m, tal que (A^m)_ij >0, de manera que: r^mv_j = (A^mv)_j ≥ (A^m)_ijv_i >0, en consecuencia v_j es estrictamente positivo, es decir, el vector propio es estrictamente positivo.

En esta sección se demuestra que el valor propio de Perron-Frobenius es una raíz simple del polinomio característico de la matriz. Por lo tanto, el eigespacio asociado al eigenvalor de Perron-Frobenius r es unidimensional. Los argumentos aquí son cercanos a los de Meyer.[29]

Dado un vector propio estrictamente positivo v correspondiente a r y otro vector propio w con el mismo valor propio. (Los vectores v y w pueden elegirse como reales, porque A y r son ambos reales, por lo que el espacio nulo de A-r tiene una base formada por vectores reales). Suponiendo que al menos una de las componentes de w sea positiva (en caso contrario, multiplicar w por -1). Dado el máximo posible α tal que u=v- α w es no negativo, entonces uno de los componentes de u es cero, en caso contrario α no es máximo. El vector u es un vector propio. Es no negativo, por lo que por el lema descrito en el sección anterior la no negatividad implica positividad estricta para cualquier vector propio. Por otro lado, como en el caso anterior, al menos una componente de u es cero. La contradicción implica que w no existe.

Caso: No hay celdas de Jordan correspondientes al valor propio de Perron-Frobenius r y todos los demás valores propios que tienen el mismo valor absoluto.

Si existe una celda de Jordan, entonces la Norma de infinito (A/r)^k_∞ tiende a infinito para k → ∞, pero eso contradice la existencia del vector propio positivo.

Dado r = 1, o A/r. Dejando que v sea un eigenvector estrictamente positivo de Perron-Frobenius, por lo que Av=v, entonces:

${\displaystyle ||v|_{\infty }=|A^{k}v|_{\infty }|A^{k}|_{\infty }|min_{i}(v_{i}),~~flecha~~|A^{k}|_{infty}|le||v|/\min _{i}(v_{i})}$ Así que A^k_∞ está acotado para todo k. Esto da otra prueba de que no hay valores propios que tengan mayor valor absoluto que el de Perron-Frobenius. También contradice la existencia de la célula de Jordan para cualquier valor propio que tenga valor absoluto igual a 1 (en particular para el de Perron-Frobenius), porque la existencia de la célula de Jordan implica que A^k_∞ no está acotado. Para una matriz de dos por dos:

${\displaystyle J^{k}={\begin{pmatrix}\lambda &1\\0&\lambda \end{pmatrix}}^{k}={\begin{pmatrix}\lambda ^{k}&k\lambda ^{k-1}\\0&\lambda ^{k}\end{pmatrix}},}$

por lo que J^k_∞ = |k + λ| (para |λ| = 1), por lo que tiende a infinito cuando k lo hace. Como J^k = C^-1 A^kC, entonces A^k ≥ J^k/ (C^-1 C ), por lo que también tiende a infinito. La contradicción resultante implica que no hay células de Jordan para los correspondientes valores propios.

La combinación de las dos afirmaciones anteriores revela que el valor propio de Perron-Frobenius r es una raíz simple del polinomio característico. En el caso de las matrices no primitivas, existen otros valores propios que tienen el mismo valor absoluto que r. La misma afirmación es válida para ellos, pero requiere más trabajo.

Dada una matriz positiva (o más generalmente irreducible no negativa) A, el eigenvector de Perron-Frobenius es el único (hasta la multiplicación por una constante) eigenvector no negativo para A.

Otros eigenvectores deben contener componentes negativas o complejas, ya que los eigenvectores para diferentes valores propios son ortogonales en algún sentido, pero dos eigenvectores positivos no pueden ser ortogonales, por lo que deben corresponder al mismo valor propio, pero el espacio propio para el Perron-Frobenius es unidimensional.

Suponiendo que existe un par propio (λ, y) para A, tal que el vector y es positivo, y dado (r, x), donde x - es el vector propio izquierdo de Perron-Frobenius para A (es decir, el vector propio para A^T'), entonces rx^Ty = (x^TA) y = x^T (Ay) = λx^Ty, también xTy > 0, entonces se tiene: r = λ. Dado que el espacio propio para el valor propio de Perron-Frobenius r es unidimensional, el vector propio no negativo y es un múltiplo del de Perron-Frobenius.[30]

Dada una matriz positiva (o más generalmente irreducible no negativa) A, se define la función f sobre el conjunto de todos los vectores no negativos distintos de cero x tal que f(x) es el valor mínimo de [Ax]_i / x_i tomado sobre todos aquellos i tal que x_i ≠ 0. Entonces f es una función de valor real, cuyo máximo es el valor propio de Perron-Frobenius r.

Para la demostración denotamos el máximo de f por el valor R. La prueba requiere demostrar que R = r. Insertando el vector propio de Perron-Frobenius v en f, obtenemos f(v) = r y concluimos r ≤ R. Para la desigualdad opuesta, consideramos un vector arbitrario no negativo x y dejamos que ξ=f(x). La definición de f da 0 ≤ ξx ≤ Ax (por componentes). Ahora, utilizamos el vector propio positivo derecho w para A para el valor propio de Perron-Frobenius r, entonces ξ w^T x = w^T ξx ≤ w^T (Ax) = (w^T A)x = r w^T x . Por tanto, f(x) = ξ ≤ r, lo que implica R ≤ r.[31]

Sea A una matriz positiva (o más generalmente, primitiva), y sea r su valor propio de Perron-Frobenius.

1. Existe un límite A^k/r^k para k → ∞, denotándolo por P.
2. P es un proyección: P² = P, que conmuta con A: AP = PA.
3. La imagen de P es unidimensional y se extiende por el vector propio de Perron-Frobenius v (respectivamente para P^T' - por el vector propio de Perron-Frobenius w para A^T').
4. P = vw^T, donde v,w están normalizados de forma que w^Tv = 1.
5. Por lo tanto P es un operador positivo.

Por lo tanto P es una proyección espectral para el valor propio de Perron-Frobenius r, y se llama la proyección de Perron. La afirmación anterior no es cierta para matrices irreducibles generales no negativas.

En realidad, las afirmaciones anteriores (excepto la afirmación 5) son válidas para cualquier matriz M tal que existe un valor propio r que es estrictamente mayor que los otros valores propios en valor absoluto y es la raíz simple del polinomio característico. (Estos requisitos son válidos para las matrices primitivas como en el caso anterior).

Dado que M es diagonalizable, M es conjugable a una matriz diagonal con valores propios r ₁, ... , r_n en la diagonal (denotemos r₁ = r). La matriz M^k/r^k será conjugada (1, (r₂/r)^k, ... , (r_n/r)^k), que tiende a (1,0,0,...,0), para k → ∞, por lo que el límite existe. El mismo método funciona para M general (sin suponer que M es diagonalizable).

Las propiedades de proyección y conmutatividad son corolarios elementales de la definición: MM^k/r^k = M^k/r^k M ; P² = lim M^2k/r^2k = P. El tercer hecho es también elemental: M(Pu) = M lim M^k/r^k u = lim rM^k+1/r^k+1u, por lo que al tomar el límite se obtiene que M(Pu) = r(Pu), por lo que la imagen de P se encuentra en el espacio eigénico de r para M, que es unidimensional por las suposiciones.

Denotando por v, el vector propio r para M (por w para M^T'). Las columnas de P son múltiplos de v, porque la imagen de P está atravesada por ella. Respectivamente, las filas de w. Así que P toma la forma (a v w^T), para algún a. Por lo tanto su traza es igual a (a w^T v). La traza del proyector es igual a la dimensión de su imagen. Ya se ha demostrado que no es más que unidimensional. De la definición se ve que P actúa idénticamente sobre el vector propio r para M. Así que es unidimensional. Así que elegir (wTv) = 1, implica que P = vwT.

Para cualquier matriz no negativa A su valor propio de Perron-Frobenius r satisface la desigualdad:

${\displaystyle r\;\leq \;\max _{i}\sum _{j}A_{ij}.}$

Esto no es específico de las matrices no negativas: para cualquier matriz A con un valor propio ${\displaystyle \scriptstyle \lambda }$ es cierto que ${\displaystyle \scriptstyle |\lambda |\;\leq \;\max _{i}\sum _{j}|A_{ij}|}$. Esto es un corolario inmediato de la teorema del círculo de Gershgorin]]. Sin embargo otra prueba es más directa:

Cualquier Norma inducida por la matriz satisface la desigualdad ${\displaystyle \scriptstyle \|A|||lambda|}$ para cualquier valor propio ${\displaystyle \scriptstyle \lambda }$ porque, si ${\displaystyle scriptstylex}$ es un vector propio correspondiente, ${\displaystyle scriptstyle||A|\geq |Ax|/|x|=|\lambda x|/|x|=|\lambda |}$. La Norma del infinito de una matriz es el máximo de las sumas de las filas: ${\displaystyle \scriptstyle \left\|A\right\|_{\infty }=\max \limits _{1\leq i\leq m}\sum _{j=1}^{n}|A_{ij}|.}$ Por lo tanto, la desigualdad deseada es exactamente ${\displaystyle \scriptstyle |||_{\infty }\geq |\lambda |}$ aplicada a la matriz no negativa A.

Otra desigualdad es:

${\displaystyle \min _{i}\sum _{j}A_{ij}\;\leq \;r.}$

Este hecho es específico de las matrices no negativas; para las matrices generales no hay nada parecido. Dado que A es positiva (no sólo no negativa), entonces existe un vector propio positivo w tal que Aw = rw y la componente más pequeña de w (digamos w_i') es 1. Entonces r = (Aw)i ≥ la suma de los números de la fila i de A. Así, la suma mínima de filas da una cota inferior para r y esta observación se puede extender a todas las matrices no negativas por continuidad.

Otra forma de argumentarlo es a través de la fórmula Collatz-Wielandt. Se toma el vector x = (1, 1, ..., 1) y se obtiene inmediatamente la desigualdad.

La prueba procede ahora utilizando la descomposición espectral. El truco aquí es separar la raíz de Perron de los otros valores propios. La proyección espectral asociada a la raíz de Perron se llama proyección de Perron y goza de la siguiente propiedad:

La proyección de Perron de una matriz cuadrada irreducible no negativa es una matriz positiva.

Las conclusiones de Perron y también (1)-(5) del teorema son corolarios de este resultado. El punto clave es que una proyección positiva siempre tiene rango uno. Esto significa que si A es una matriz cuadrada irreducible no negativa, entonces las multiplicidades algebraicas y geométricas de su raíz de Perron son ambas uno. Además, si P es su proyección de Perron, entonces AP = PA = ρ(A)P, por lo que cada columna de P es un vector propio derecho positivo de A y cada fila es un vector propio izquierdo positivo. Además, si Ax = λx entonces PAx = λPx = ρ(A)Px que significa que Px = 0 si λ ≠ ρ(A). Así, los únicos vectores propios positivos son los asociados a ρ(A). Si A es una matriz primitiva con ρ(A) = 1 entonces puede descomponerse como P ⊕ (1 - P)A de modo que Aⁿ = P + (1 - P)Aⁿ. A medida que n aumenta el segundo de estos términos decae a cero dejando a P como el límite de Aⁿ' a medida que n  → ∞.

El método de la potencia es una forma conveniente de calcular la proyección de Perron de una matriz primitiva. Si v y w son los vectores fila y columna positivos que genera, entonces la proyección de Perron es simplemente wv / vw. Las proyecciones espectrales no están claramente bloqueadas como en la forma de Jordan. Aquí están superpuestas y cada una tiene generalmente entradas complejas que se extienden a las cuatro esquinas de la matriz cuadrada. No obstante, conservan su ortogonalidad mutua, que es lo que facilita la descomposición.

El análisis cuando A es irreducible y no negativo es muy similar. La proyección de Perron sigue siendo positiva pero ahora puede haber otros valores propios de módulo ρ(A) que anulan el uso del método de la potencia y evitan que las potencias de (1 - P)A decaigan como en el caso primitivo siempre que ρ(A) = 1. Así que consideramos la proyección periférica, que es la proyección espectral de A correspondiente a todos los valores propios que tienen módulo ρ(A). Se puede demostrar entonces que la proyección periférica de una matriz cuadrada irreducible no negativa es una matriz no negativa con diagonal positiva.

Supongamos además que ρ(A) = 1 y que A tiene h valores propios en el círculo unitario. Si P es la proyección periférica entonces la matriz R = AP = PA es no negativa e irreducible, R^h' = P, y el grupo cíclico P, R, R², ...., Rh-1 representa los armónicos de A. La proyección espectral de A en el valor propio λ sobre el círculo unitario viene dada por la fórmula ${\displaystyle \scriptstyle h^{-1}\sum _{1}^{h}\lambda ^{-k}R^{k}}$. Todas estas proyecciones (incluida la de Perron) tienen la misma diagonal positiva, y además, si se elige cualquiera de ellas y se toma el módulo de cada entrada, se obtiene invariablemente la proyección de Perron. Todavía hay que hacer un poco de trabajo de burro para establecer las propiedades cíclicas (6)-(8), pero es esencialmente una cuestión de girar la manivela. La descomposición espectral de A viene dada por A = R ⊕ (1 - P)A por lo que la diferencia entre Aⁿ y Rⁿ es Aⁿ  -Rⁿ = (1 - P)Aⁿ representando los transitorios de Aⁿ que eventualmente decaen a cero. P puede calcularse como el límite de A^nh' a medida que n  → ∞.

• Perron, Oskar (1907). Zur Theorie der Matrices 64 (2). pp. 248-263. doi:10.1007/BF01449896.
• Frobenius, Georg (mayo 1912). «Ueber Matrizen aus nicht negativen Elementen». Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften. pp. 456-477.
• Frobenius, Georg (1908). «Über Matrizen aus positiven Elementen, 1». Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften. pp. 471-476.
• Frobenius, Georg (1909). «Über Matrizen aus positiven Elementen, 2». Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften. pp. 514-518.
• Gantmacher, Felix (2000). The Theory of Matrices, Volume 2. AMS Chelsea Publishing. ISBN 978-0-8218-2664-5. (La edición de 1959 tenía un título diferente: "Aplicaciones de la teoría de las matrices". También la numeración de los capítulos es diferente en las dos ediciones).
• Langville, Amy; Meyer, Carl (2006). Rango de páginas de Google y más allá. Princeton University Press. ISBN 978-0-691-12202-1. doi:10.1007/s10791-008-9063-y.
• Keener, James (1993). «El teorema de Perron-Frobenius y la clasificación de los equipos de fútbol». SIAM Review 35 (1). pp. 80-93. JSTOR 2132526. doi:10.1137/1035004.
• Meyer, Carl (2000). Análisis matricial y álgebra lineal aplicada. SIAM. ISBN 978-0-89871-454-8. Archivado desde el original el 7 de marzo de 2010.
• Romanovsky, V. (1933). «Sur les zéros des matrices stocastiques». Bulletin de la Société Mathématique de France 61. pp. 213-219. doi:10.24033/bsmf.1206.
• Collatz, Lothar (1942). «Einschließungssatz für die charakteristischen Zahlen von Matrizen». Mathematische Zeitschrift 48 (1). pp. 221-226. doi:10.1007/BF01180013.
• Wielandt, Helmut (1950). «Unzerlegbare, nicht negative Matrizen». Mathematische Zeitschrift 52 (1). pp. 642-648. doi:10.1007/BF02230720.

• Abraham Berman, Robert J. Plemmons, Nonnegative Matrices in the Mathematical Sciences, 1994, SIAM. ISBN 0-89871-321-8
• Chris Godsil y Gordon Royle, Algebraic Graph Theory, Springer, 2001.
• A. Graham, Nonnegative Matrices and Applicable Topics in Linear Algebra, John Wiley&Sons, New York, 1987.
• R. A. Horn y C.R. Johnson, Matrix Analysis, Cambridge University Press, 1990.
• Bas Lemmens y Roger Nussbaum, Nonlinear Perron-Frobenius Theory, Cambridge Tracts in Mathematics 189, Cambridge Univ. Press, 2012.
• S. P. Meyn y R. L. Tweedie, Markov Chains and Stochastic Stability Londres: Springer-Verlag, 1993. ISBN0-387-19832-6 (2ª edición, Cambridge University Press, 2009)
• Henryk Minc, Nonnegative matrices, John Wiley&Sons, Nueva York, 1988, ISBN 0-471-83966-3
• Seneta, E. Matrices no negativas y cadenas de Markov. 2nd rev. ed., 1981, XVI, 288 p., Softcover Springer Series in Statistics. (Publicado originalmente por Allen & Unwin Ltd., Londres, 1973) ISBN 978-0-387-29765-1
• Varga, Richard S. (2002). Matrix Iterative Analysis (segunda edición). Springer-Verlag..