Conjunto de resultados sobre matrices y operadores positivos o no negativos: bajo hipótesis de positividad/irreduccibilidad existe un valor propio dominante real único (la raíz de Perron) con un autovector estrictamente positivo asociado y propiedades espectrales relacionadas.

Principio

La positividad y la irreducibilidad imponen dominancia espectral: una matriz no negativa irreducible (o una matriz positiva) tiene un valor propio simple igual a su radio espectral y un autovector con componentes estrictamente positivas; las potencias y el comportamiento del resolvente reflejan esta dominancia.

Demostración

Para una matriz de transición finita e irreducible no negativa, el valor propio 1 es el radio espectral y corresponde a un vector estacionario estrictamente positivo y único (hasta escala), lo que explica la existencia y unicidad de una distribución estacionaria en muchos modelos de Markov o de crecimiento.

Aplicación incorrecta

Aplicar las conclusiones de Perron–Frobenius a matrices con entradas negativas, matrices reducibles o operadores sin un cono de positividad adecuado es inválido; esperar positividad estricta o unicidad cuando falta irreducibilidad conduce a conclusiones incorrectas.

Consecuencia

Garantiza un autopar positivo principal que a menudo define las tasas de crecimiento a largo plazo o estados estacionarios, asegura propiedades de monotonía y, bajo condiciones adicionales, produce la convergencia de potencias normalizadas a proyecciones de rango uno.

Inversión

Si se elimina la positividad/irreduccibilidad, el valor propio dominante puede ser múltiple o complejo, los autovectores principales pueden contener ceros o cambios de signo, y la dinámica a largo plazo puede mostrar oscilaciones, múltiples subespacios invariantes o comportamiento reducible.

Límite

Se aplica a matrices u operadores que preservan un cono positivo (matrices no negativas, operadores positivos) con hipótesis de irreducibilidad/primtividad para unicidad y convergencia; no se aplica a matrices reales o complejas generales sin estructura de positividad ni a operadores en espacios sin estructura de orden.

Tensión semántica

Contrasta con el teorema espectral para operadores simétricos/Hermíticos: Perron–Frobenius proporciona dominancia impulsada por la positividad en lugar de diagonalización ortogonal. También surge tensión entre la dominancia espectral basada en positividad y fenómenos en sistemas no positivos o con signos indefinidos.

Síntesis

Perron–Frobenius traduce la positividad y la conectividad (irreduccibilidad) en un valor propio real dominante simple con un autovector estrictamente positivo, proporcionando resultados de existencia, unicidad y comportamiento asintótico que sustentan estados estacionarios y crecimiento a largo plazo en sistemas positivos.