谱理论

数学中，谱理论是将单一方阵的特征向量和特征值理论推广到各种空间中算子结构的更广泛理论的统称，是线性代数和线性方程组解及其推广的成果。谱理论与解析函数理论相关，因为算子的谱特性与谱参数的解析函数相关。
数学背景.
大卫·希尔伯特在希尔伯特空间理论的最初表述中首先引入了“谱理论”，以无穷多变量的二次型为基础。因此，最初的谱定理被认为是椭球主轴定理在无穷维中的形式。后来，量子力学中发现谱理论可解释原子发射光谱特征纯粹是偶然的。希尔伯特自己也对这出乎意料的应用感到惊讶：“我从纯粹的数学兴趣出发，发展了无穷多变量理论，甚至把它称作‘谱分析’，却从没想到它能用在物理学中真正的光谱上。”
谱理论有3种表述，分别用于不同领域。在希尔伯特的最初表述后，抽象希尔伯特空间及其上单正规算子的谱理论很好地满足了物理学的要求，冯诺依曼的工作就是例子。在此基础上，进一步发展的理论涉及一般巴拿赫代数。这引出了涵盖交换情形的盖尔范德表示，进一步启发了非交换调和分析。
从与傅立叶分析的联系中，可看出两者之别。实线上的傅立叶变换某种意义上是导数作为微分算子的谱理论。但为涵盖这些现象，必须处理广义特征函数（如由装备希尔伯特空间）。另一方面，构建群代数也很简单，其谱可捕捉到傅立叶变换的基本特征，这可由庞特里亚金对偶性实现。
还可以研究巴拿赫空间上算子的谱性质。例如，巴拿赫空间上的紧算子有很多类似矩阵的谱性质。
物理背景.
振动的物理学背景是这样解释的：
这些物理思想在技术层面上与数学毫无关系，但也有间接涉及的例子（如“听出鼓的形状”）。希尔伯特用“谱”，是源于1897年Wilhelm Wirtinger一篇关于希尔微分方程的论文，20世纪前十年，他的学生（埃哈德·施密特、赫尔曼·外尔）也采用了这一术语。埃哈德·施密特和里斯·弗里杰什从希尔伯特的思想中发展了希尔伯特空间的概念。近20年后，量子力学由薛定谔方程表述出来时，人们才将其与原子光谱联系起来。正如亨利·庞加莱指出的，人们曾怀疑其与振动的联系，但由于缺乏对巴耳末系的解释，这种联系由于简单的定量原因被否定了。因此，量子力学发现谱理论能解释原子光谱的特征是纯粹偶然的。
谱的定义.
考虑在一般巴拿赫空间上处处有定义的有界线性变换"T"。构造变换：
formula_1
其中"I"是恒等算子，ζ是复数。 "T"的逆formula_2定义如下：
formula_3
若存在逆，则称"T"正则（regular）；若不存在，称"T"奇异（singular）。
根据这些定义，"T"的预解集是所有使formula_4存在且有界的复数ζ的集合，通常表示为formula_5。"T"的谱是所有使formula_4不存在或无界的复数ζ的集合，通常表示为formula_7。formula_8（即formula_4作为有界算子存在处），函数formula_4称作"T"的预解。因此，"T"的谱是复平面中"T"的预解集之补。"T"的特征值都属于formula_7，但formula_7可能包含非特征值。
这定义适于巴拿赫空间，但当然也有其他空间，如拓扑向量空间包含了巴拿赫空间。另一方面，巴拿赫空间包括希尔伯特空间，得到了最广泛的应用和最丰富的理论成果。在适当的条件下，希尔伯特空间中变换的谱的结构可以有很多论述。特别是，自伴算子谱位于实线上；（一般来说）是离散特征值的点谱与连续谱的谱组合。
谱理论简介.
泛函分析和线性代数中，谱定理规定了一些条件，之下算子可用简单的形式表为更简单算子之和。由于本文不适合进行全面严谨的叙述，我们采用另一种方法，避免了难以理解的形式化。
要描述这主题，最简单的方法是引入表示算子的狄拉克符号。例如，非常特殊的线性算子"L"可写为并矢张量积：
用“左括号”formula_14和“右括号”formula_15表示。定义在坐标formula_16上的函数formula_17表示为
"f"的振幅用下式表示
符号(*)表示共轭复数。这种内积选择定义了一个非常特殊的内积空间，限制了后面论证的一般性。
"L"对函数"f"的影响可表述为
表示"L"对"f"的影响是产生新函数formula_21乘以formula_22所代表的内积。
更一般的线性算子"L"可表示为
其中formula_24是标量，formula_25是基，formula_26是对偶基。基与对偶基的关系由下式描述：
若这种形式化适用， 则formula_24是"L"的特征值，函数formula_25是"L"的特征函数。特征值位于"L"的谱中。
一些自然问题是：这种形式化在何时有效？对什么算子"L"来说，其他算子的序列展开是可能的？任何函数"f"都可用特征函数来表示（是Schauder基）吗，何时会出现点谱或连续谱？无穷维空间和有限维空间的形式化有何不同？这些观点能否推广到更一般的空间？这些问题属于谱理论范畴，需要相当的泛函分析与矩阵代数背景。
恒同消解.
本节沿用上节的粗略表示，使用狄拉克符号，并略去严格处理的许多重要细节。严谨数学处理可见参考文献。特别是，空间维度"n"将是有限的。
用狄拉克符号，恒等算子可写作：
其中假定formula_31是基，formula_32是满足下式的空间的对偶基：
这种恒等运算表达式称作恒同的表示或消解（resolution）。这种形式化表示法满足恒等的基本性质：
对所有正整数"k"都成立。
对空间formula_35中的任意函数应用恒同消解，可得：
是ψ以{ ei }为基函数的广义傅立叶展开，
其中formula_37
给定形式如下的算子方程：
其中"h"在空间中，方程可在上述基之下由形式化求解：
这将算子方程转化为矩阵方程，根据"h"的广义傅立叶系数formula_41和算子"O"的矩阵元素formula_42可确定未知系数formula_43。
谱理论可确定基与对偶基的存在性及性质。特别是，基可能由某线性算子"L"的特征函数组成：
其中formula_45是"L"的特征值，来自"L"的谱。那么，上述恒同消解就提供了"L"的并矢展开：
预解算子.
利用谱李理论，有预解算子"R"：
可据"L"的特征函数与特征值求值，并找到与"L"对应的格林函数。
将"R"应用于空间中的任意函数formula_48，
这函数在"L"的每个特征值处的复"λ"平面上都有极点。于是可用残差微积分：
其中曲线积分是在包括"L"所有特征值的轮廓"C"上进行的。
假设函数定义在某坐标formula_51上，即
引入符号
其中formula_54是狄拉克δ函数，则可有
那么
函数formula_57定义如下：
称作算子"L"的格林函数，满足：
算子方程.
考虑算子方程：
用坐标表示：
一个特殊情况是formula_62。
上一节的格林函数为：
且满足：
利用格林函数的这一特征：
然后方程两边乘以formula_66并积分：
这表明解是
即，若能找到"O"的谱、构造"G"，就能找到满足算子方程的函数formula_69，例如用
当然有很多方法找到"G"。必须牢记的是，上述数学纯粹是形式上的，严格处理涉及相当复杂的数学，包括泛函分析、希尔伯特空间、分布等方面的背景知识。
谱定理与瑞利商.
优化问题是关于对称矩阵中特征值与特征向量组合意义的重要例子，特别是关于矩阵M的瑞利商。
定理 令M为对称矩阵，x为非零向量，使对M的瑞利商最大化。则，x是M的一个特征向量，其特征值等于瑞利商；而且，该特征值是M的最大特征值。
证明 假设符合谱定理。记M的特征值为formula_71。由于formula_72形成正交基，所以任何向量"x"都可在此基上表示为
证明这公式的方法非常简单。即
求对"x"的瑞利商：
其中最后一行用帕塞瓦尔恒等式。最后，可得
所以瑞利商总小于formula_77。