Ensemble de résultats sur les matrices et opérateurs à coefficients positifs ou non négatifs : sous des hypothèses de positivité/irréductibilité il existe une valeur propre réelle dominante unique (la racine de Perron) avec un vecteur propre associé strictement positif et des propriétés spectrales connexes.

Principe

La positivité et l'irréductibilité imposent une dominance spectrale : une matrice non négative irréductible (ou une matrice positive) possède une valeur propre simple égale à son rayon spectral, et un vecteur propre aux composantes strictement positives ; les puissances et le comportement du résolvant reflètent cette dominance.

Démonstration

Pour une matrice de transition non négative finie et irréductible, la valeur propre 1 est le rayon spectral et correspond à un vecteur stationnaire strictement positif unique (à un facteur d'échelle près), expliquant l'existence et l'unicité d'une distribution stationnaire dans de nombreux modèles de Markov ou de croissance.

Mauvaise application

Appliquer les conclusions de Perron–Frobenius à des matrices avec éléments négatifs, à des matrices réductibles ou à des opérateurs dépourvus d'un cône de positivité adapté est invalide ; s'attendre à une positivité stricte ou à l'unicité lorsque l'irréductibilité fait défaut conduit à des conclusions incorrectes.

Conséquence

Garantit une paire propre principale positive qui définit souvent les taux de croissance à long terme ou les états stationnaires, assure des propriétés de monotonie et, sous conditions supplémentaires, entraîne la convergence des puissances normalisées vers des projections de rang un.

Inversion

Si la positivité/irréductibilité sont supprimées, la valeur propre dominante peut être multiple ou complexe, les vecteurs propres principaux peuvent contenir des zéros ou des signes, et la dynamique à long terme peut présenter des oscillations, des sous-espaces invariants multiples ou un comportement réductible.

Limite

S'applique aux matrices ou opérateurs préservant un cône positif (matrices non négatives, opérateurs positifs) avec des hypothèses d'irréductibilité/primivité pour l'unicité et la convergence ; ne s'applique pas aux matrices réelles ou complexes générales sans structure de positivité ni aux opérateurs sur des espaces dépourvus d'ordre.

Tension sémantique

Se distingue du théorème spectral pour opérateurs symétriques/Hermitiens : Perron–Frobenius donne une dominance guidée par la positivité plutôt qu'une diagonalisation orthogonale. Une tension existe aussi entre la dominance spectrale fondée sur la positivité et les phénomènes dans des systèmes non positifs ou de signe indéterminé.

Synthèse

Perron–Frobenius traduit la positivité et la connexité (irréductibilité) en une valeur propre réelle dominante simple avec un vecteur propre strictement positif, fournissant existence, unicité et résultats asymptotiques qui sous-tendent états stationnaires et croissance à long terme dans les systèmes positifs.