[論文レビュー] Proving the existence of eigenvalues and eigenvectors by Weierstrass's theorem

Jean Van Schaftingen|arXiv (Cornell University)|Sep 29, 2011

Advanced Topics in Algebra参考文献 9被引用数 3

ひとこと要約

この論文は、コンpaktoな集合上の連続関数に関するワイエルシュトラスの定理を用いて、有限次元複素ベクトル空間上の線形作用素に対して固有値および固有ベクトルの存在を、行列式を用いない方法で証明する。この証明では、Rayleigh商に類似した汎関数 $ \frac{\|T(v) - \lambda v\|}{\|v\|} $ を最小化し、その最小値がゼロであることを示し、これにより非自明な解 $ T(\bar{v}) = \bar{\lambda}\bar{v} $ の存在が導かれる。したがって、多項式や複素解析の基本的性質（連続性とノルムを除く）に依存せずに、スペクトル定理が確立される。

ABSTRACT

I propose a proof of the existence of the existence of eigenvectors and eigenvalues in the spirit of Argand's proof of the fundamental theorem of algebra. The proof only relies on Weierstrass's theorem, the definition of the inverse of a linear operator and algebraic identities.

研究の動機と目的

• 固有値および固有ベクトルの存在を、行列式や特性多項式、代数学の基本定理に依存しない方法で証明すること。
• 有限次元複素線形作用素に対して、初等的な解析学および線形代数の道具のみを用いてスペクトル定理を確立すること。
• ワイエルシュトラスの定理（コンパクト集合上の連続関数）を用いて、固有ベクトルの存在をRayleigh商に類似した最小化によって示すことができるかを検証すること。
• 従来の代数的またはスペクトル理論的証明とは対照的に、構成的で解析的な代替証明を提供すること。

提案手法

• 作用素 $ T $ に対して、$ V \setminus \{0\} \times \mathbb{C} $ 上で $ f(v, \lambda) = \|T(v) - \lambda v\| $ を定義し、$ \|v\| = 1 $ で正規化することで、固有ベクトルに近い挙動のずれを最小化する。
• 作用素が有限次元空間上で有界であることから生じる強制性（coercivity）を用いて、ワイエルシュトラスの定理により最小化子 $ (\bar{v}, \bar{\lambda}) $ の存在を保証する。
• 強制性の見積もりを確立する：$ \|T(v) - \lambda v\| \geq (|\lambda| - C)\|v\| $ であり、これにより部分レベル集合が有界となり、相対的にコンパクトであることが保証される。
• 最小値 $ \bar{c} > 0 $ であると仮定すると、すべての $ \lambda $ に対して $ |\lambda - \bar{\lambda}| < \bar{c} $ で $ T - \lambda I $ が可逆であることが示され、幾何級数の議論により矛盾が生じる。
• 恒等式 $ \sum_{j=0}^{n-1} (S - \omega^j \sigma I)^{-1} = n S^{n-1} $ （$ S = T - \lambda I $、$ \sigma = \bar{\lambda} - \lambda $）を用いて、$ \bar{c} > 0 $ のとき矛盾を導く。
• 不等式 $ \|T(v) - \lambda v\| \leq \bar{c}\|v\| + n \left( \frac{|\lambda - \bar{\lambda}|}{\bar{c}} \right)^n \|T(v) - \lambda v\| $ に $ n \to \infty $ の極限を適用し、$ \bar{c} = 0 $ が必須であることを示す。

実験結果

リサーチクエスチョン

• RQ1 固有値および固有ベクトルの存在を、特性多項式や代数学の基本定理に依存せずに証明することは可能か？
• RQ2 コンパクト集合上の連続関数に関するワイエルシュトラスの定理を用いて、連続的な最小化と初等的な作用素の有界性のみで、有限次元複素線形作用素のスペクトル定理を確立することは可能か？
• RQ3 ワイエルシュトラスの定理を用いて、Rayleigh商に類似した最小化によって固有ベクトルの存在を証明することは可能か？
• RQ4 すべての $ v \neq 0 $、$ \lambda \in \mathbb{C} $ に対して $ \|T(v) - \lambda v\| / \|v\| $ に正の下界が存在すると仮定した場合、線形作用素の文脈でどのような意味を持つのか？
• RQ5 固有値が存在しない場合に、$ \mathbb{C} $ の円板上で $ T - \lambda I $ の可逆性を一様に分析することで、矛盾を導く方法は何か？

主な発見

• 強制性と部分レベル集合のコンパクト性により、ワイエルシュトラスの定理から、汎関数 $ \|T(v) - \lambda v\| / \|v\| $ の最小化子 $ (\bar{v}, \bar{\lambda}) $ の存在が保証される。
• 最小値 $ \bar{c} > 0 $ であれば、すべての $ \lambda $ に対して $ |\lambda - \bar{\lambda}| < \bar{c} $ で $ T - \lambda I $ が可逆であり、リゾルベントは一様に有界である。
• 単位根の周りにリゾルベントの和を構成し、幾何級数の恒等式を用いることで、$ \bar{c} > 0 $ のとき矛盾が生じ、$ \bar{c} $ がゼロでなければならないことが示される。
• 矛盾は $ n \to \infty $ の極限で生じ、このとき $ \left( \frac{|\lambda - \bar{\lambda}|}{\bar{c}} \right)^n \to 0 $ となるため、$ \|T(v) - \lambda v\| \leq \bar{c}\|v\| $ を満たすある $ v $ が存在し、これは $ \bar{c} > 0 $ であると矛盾する。したがって $ \bar{c} = 0 $ でなければならない。
• よって、汎関数の最小値はゼロであり、非ゼロのベクトル $ \bar{v} $ および $ \bar{\lambda} \in \mathbb{C} $ が存在して $ T(\bar{v}) = \bar{\lambda}\bar{v} $ を満たすことが示される。
• 証明は完全に解析的であり、行列式、多項式、連続性とノルムを除く複素解析の道具を一切用いず、スペクトル定理への新たな初等的ルートを提供する。