[论文解读] 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

一句话总结

本文提出了一种无需行列式的方法，证明有限维复向量空间上线性算子的特征值与特征向量的存在性，利用魏尔斯特拉斯关于紧集上连续函数的定理。该证明通过最小化类似于瑞利商的泛函 $ \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.

研究动机与目标

• 提供一种不依赖行列式、特征多项式或代数基本定理的特征值与特征向量存在性证明。
• 仅使用初等分析与线性代数工具，建立有限维复线性算子的谱定理。
• 证明特征向量与特征值的存在性可由紧集上连续函数的魏尔斯特拉斯定理导出。
• 为线性代数中传统的代数或谱论证明提供一种构造性、分析性的替代方法。

提出的方法

• 在 $ V \setminus \{0\} \times \mathbb{C} $ 上定义泛函 $ f(v, \lambda) = \|T(v) - \lambda v\| $，并归一化为 $ \|v\| = 1 $，以最小化特征向量行为的偏差。
• 利用魏尔斯特拉斯定理保证最小化点 $ (\bar{v}, \bar{\lambda}) $ 的存在性，依赖于有限维空间上线性算子有界性带来的共轭性。
• 建立共轭性估计：$ \|T(v) - \lambda v\| \geq (|\lambda| - C)\|v\| $，确保子水平集有界，从而相对紧致。
• 证明若最小值 $ \bar{c} > 0 $，则对所有满足 $ |\lambda - \bar{\lambda}| < \bar{c} $ 的 $ \lambda $，有 $ 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 魏尔斯特拉斯紧集上连续函数定理能否用于通过类似瑞利商的最小化证明特征向量的存在性？
• 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 - \bar{\lambda}| < \bar{c} $ 的 $ \lambda $，有 $ 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} $。
• 该证明完全为分析方法，避免使用行列式、多项式及超出连续性与范数的复分析，为谱定理提供了全新的、初等的证明路径。