Perron-Frobenius定理

【 ぺろん－ふろべにうすていり (Perron-Frobenius theorem) 】

フロベニウス（Frobenius）により明らかにされた非負行列の固有値の諸性質は 数多くのフロベニウス定理として広く知られている． その中で，ペロン－フロベニウス（Perron-Frobenius）定理は非負行列の絶対値 最大固有値の上下限を最適化問題の最適値として与えるものである． 本定理はそもそもペロンが正行列に対して証明した内容をフロベニウスが 非負行列にまで拡張したものであり，その定理は以下の通りである．

非負$n$次正方行列$[a_{ij}]$は既約とする． 行列$[a_{ij}]$の絶対値最大固有値$\lambda$は構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda>0} であり， $\lambda$に対応する固有ベクトル$[z_{1},\ldots ,z_{n}]^{\top }$はスカラー倍を除いて一意である． ここで，$^{\top }$は転置を示す．さらに， 成分が全て正である任意の$n$次元ベクトル $[x_{1},\ldots ,x_{n}]^{\top }$に対して,

$\min _{i=1,\ldots ,n}\left\{{\frac {\sum _{j=1}^{n}a_{1j}x_{j}}{x_{1}}}\cdots ,{\frac {\sum _{j=1}^{n}a_{nj}x_{j}}{x_{n}}}\right\}\leq \lambda \leq \max _{i=1,\ldots ,n}\left\{{\frac {\sum _{j=1}^{n}a_{1j}x_{j}}{x_{1}}}\cdots ,{\frac {\sum _{j=1}^{n}a_{nj}x_{j}}{x_{n}}}\right\}$

が成立し，

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \max_{x_1>0,\ldots,x_n>0}\min_{i=1,\ldots,n} \left\{ \frac{\sum_{j=1}^n a_{1j}x_j}{x_1}, \cdots, \frac{\sum_{j=1}^n a_{nj}x_j}{x_n} \right\} \quad= \lambda = \min_{x_1>0,\ldots,x_n>0} \max_{i=1,\ldots,n} \left\{ \frac{\sum_{j=1}^n a_{1j}x_j}{x_1}, \cdots, \frac{\sum_{j=1}^n a_{nj}x_j}{x_n} \right\}}

が成立する．上式の$[x_{1},\cdots ,x_{n}]^{\top }$に関する最大化問題と最小化問題のいずれの 最適解も$\lambda$に対応する固有ベクトル$[z_{1},\ldots ,z_{n}]^{\top }$のスカラー倍に限る．