数学中，**谱理论**是将单一方阵的特征向量和特征值理论推广到各种空间中算子结构的更广泛理论的统称，是线性代数和线性方程组解及其推广的成果。谱理论与解析函数理论相关，因为算子的谱特性与谱参数的解析函数相关。

数学背景
----

大卫·希尔伯特在希尔伯特空间理论的最初表述中首先引入了"谱理论"，以无穷多变量的二次型为基础。因此，最初的谱定理被认为是椭球主轴定理在无穷维中的形式。后来，量子力学中发现谱理论可解释原子发射光谱特征纯粹是偶然的。希尔伯特自己也对这出乎意料的应用感到惊讶："我从纯粹的数学兴趣出发，发展了无穷多变量理论，甚至把它称作‘谱分析’，却从没想到它能用在物理学中真正的光谱上。"

谱理论有3种表述，分别用于不同领域。在希尔伯特的最初表述后，抽象希尔伯特空间及其上单正规算子的谱理论很好地满足了物理学的要求，冯诺依曼的工作就是例子。在此基础上，进一步发展的理论涉及一般巴拿赫代数。这引出了涵盖交换情形的盖尔范德表示，进一步启发了非交换调和分析。

从与傅立叶分析的联系中，可看出两者之别。实线上的傅立叶变换某种意义上是导数作为微分算子的谱理论。但为涵盖这些现象，必须处理广义特征函数（如由装备希尔伯特空间）。另一方面，构建群代数也很简单，其谱可捕捉到傅立叶变换的基本特征，这可由庞特里亚金对偶性实现。

还可以研究巴拿赫空间上算子的谱性质。例如，巴拿赫空间上的紧算子有很多类似矩阵的谱性质。

物理背景
----

振动的物理学背景是这样解释的：

> 谱理论研究各种物体的局部振动，从化学中的原子与分子直到声波导中的障碍物。振动有频率，问题在于确定这种局部振动何时发生，以及如何计算频率。这是个非常复杂的问题，因为每个物体不仅有基频，还有复杂的泛音，在不同物体上有迥异的表现。
> 
> 

这些物理思想在技术层面上与数学毫无关系，但也有间接涉及的例子（如"听出鼓的形状"）。希尔伯特用"谱"，是源于1897年Wilhelm Wirtinger一篇关于希尔微分方程的论文，20世纪前十年，他的学生（埃哈德·施密特、赫尔曼·外尔）也采用了这一术语。埃哈德·施密特和里斯·弗里杰什从希尔伯特的思想中发展了希尔伯特空间的概念。近20年后，量子力学由薛定谔方程表述出来时，人们才将其与原子光谱联系起来。正如亨利·庞加莱指出的，人们曾怀疑其与振动的联系，但由于缺乏对巴耳末系的解释，这种联系由于简单的定量原因被否定了。因此，量子力学发现谱理论能解释原子光谱的特征是纯粹偶然的。

谱的定义
----

条目：谱 (泛函分析)
考虑在一般巴拿赫空间上处处有定义的有界线性变换*T*。构造变换：


R

ζ

=

(

ζ
I
−
T

)

−
1

.

{\displaystyle R\_{\zeta }=\left(\zeta I-T\right)^{-1}.}

{\displaystyle R_{\zeta }=\left(\zeta I-T\right)^{-1}.}
其中*I*是恒等算子，ζ是复数。 *T*的逆{\displaystyle T^{-1}}定义如下：



T

T

−
1

=

T

−
1

T
=
I
.

{\displaystyle TT^{-1}=T^{-1}T=I.}

{\displaystyle TT^{-1}=T^{-1}T=I.}
若存在逆，则称*T*正则（regular）；若不存在，称*T*奇异（singular）。

根据这些定义，*T*的预解集是所有使{\displaystyle R\_{\zeta }}存在且有界的复数ζ的集合，通常表示为{\displaystyle \rho (T)}。*T*的谱是所有使{\displaystyle R\_{\zeta }}不存在或无界的复数ζ的集合，通常表示为{\displaystyle \sigma (T)}。{\displaystyle \forall \zeta \in \rho (T)}（即{\displaystyle R\_{\zeta }}作为有界算子存在处），函数{\displaystyle R\_{\zeta }}称作*T*的预解。因此，*T*的谱是复平面中*T*的预解集之补。*T*的特征值都属于{\displaystyle \sigma (T)}，但{\displaystyle \sigma (T)}可能包含非特征值。

这定义适于巴拿赫空间，但当然也有其他空间，如拓扑向量空间包含了巴拿赫空间。另一方面，巴拿赫空间包括希尔伯特空间，得到了最广泛的应用和最丰富的理论成果。在适当的条件下，希尔伯特空间中变换的谱的结构可以有很多论述。特别是，自伴算子谱位于实线上；（一般来说）是离散特征值的点谱与连续谱的谱组合。

谱理论简介
-----

条目：谱定理
参见：特征值和特征向量
泛函分析和线性代数中，谱定理规定了一些条件，之下算子可用简单的形式表为更简单算子之和。由于本文不适合进行全面严谨的叙述，我们采用另一种方法，避免了难以理解的形式化。

要描述这主题，最简单的方法是引入表示算子的狄拉克符号。例如，非常特殊的线性算子*L*可写为并矢张量积：

{\displaystyle L=|k\_{1}\rangle \langle b\_{1}|,}
用"左括号"{\displaystyle \langle b\_{1}|}和"右括号"{\displaystyle |k\_{1}\rangle }表示。定义在坐标{\displaystyle (x\_{1},x\_{2},x\_{3},\dots )}上的函数{\displaystyle f(x)}表示为

{\displaystyle f(x)=\langle x,f\rangle }
*f*的振幅用下式表示

{\displaystyle \|f\|^{2}=\langle f,f\rangle =\int \langle f,x\rangle \langle x,f\rangle \,dx=\int f^{\*}(x)f(x)\,dx}
符号(\*)表示共轭复数。这种内积选择定义了一个非常特殊的内积空间，限制了后面论证的一般性。

*L*对函数*f*的影响可表述为

{\displaystyle L|f\rangle =|k\_{1}\rangle \langle b\_{1}|f\rangle }
表示*L*对*f*的影响是产生新函数{\displaystyle |k\_{1}\rangle }乘以{\displaystyle \langle b\_{1}|f\rangle }所代表的内积。

更一般的线性算子*L*可表示为

{\displaystyle L=\lambda \_{1}|e\_{1}\rangle \langle f\_{1}|+\lambda \_{2}|e\_{2}\rangle \langle f\_{2}|+\lambda \_{3}|e\_{3}\rangle \langle f\_{3}|+\dots ,}
其中{\displaystyle \{\,\lambda \_{i}\,\}}是标量，{\displaystyle \{\,|e\_{i}\rangle \,\}}是基，{\displaystyle \{\,\langle f\_{i}|\,\}}是对偶基。基与对偶基的关系由下式描述：

{\displaystyle \langle f\_{i}|e\_{j}\rangle =\delta \_{ij}}
若这种形式化适用， 则{\displaystyle \{\,\lambda \_{i}\,\}}是*L*的特征值，函数{\displaystyle \{\,|e\_{i}\rangle \,\}}是*L*的特征函数。特征值位于*L*的谱中。

一些自然问题是：这种形式化在何时有效？对什么算子*L*来说，其他算子的序列展开是可能的？任何函数*f*都可用特征函数来表示（是Schauder基）吗，何时会出现点谱或连续谱？无穷维空间和有限维空间的形式化有何不同？这些观点能否推广到更一般的空间？这些问题属于谱理论范畴，需要相当的泛函分析与矩阵代数背景。

恒同消解
----

本节沿用上节的粗略表示，使用狄拉克符号，并略去严格处理的许多重要细节。严谨数学处理可见参考文献。特别是，空间维度*n*将是有限的。

用狄拉克符号，恒等算子可写作：

{\displaystyle I=\sum \_{i=1}^{n}|e\_{i}\rangle \langle f\_{i}|}
其中假定{\displaystyle \{|e\_{i}\rangle \}}是基，{\displaystyle \{\langle f\_{i}|\}}是满足下式的空间的对偶基：

{\displaystyle \langle f\_{i}|e\_{j}\rangle =\delta \_{ij}.}
这种恒等运算表达式称作恒同的表示或消解（resolution）。这种形式化表示法满足恒等的基本性质：

{\displaystyle I^{k}=I}
对所有正整数*k*都成立。

对空间{\displaystyle |\psi \rangle }中的任意函数应用恒同消解，可得：

{\displaystyle I|\psi \rangle =|\psi \rangle =\sum \_{i=1}^{n}|e\_{i}\rangle \langle f\_{i}|\psi \rangle =\sum \_{i=1}^{n}c\_{i}|e\_{i}\rangle }
是ψ以{ ei }为基函数的广义傅立叶展开，
其中{\displaystyle c\_{i}=\langle f\_{i}|\psi \rangle .}

给定形式如下的算子方程：

{\displaystyle O|\psi \rangle =|h\rangle }
其中*h*在空间中，方程可在上述基之下由形式化求解：

{\displaystyle O|\psi \rangle =\sum \_{i=1}^{n}c\_{i}\left(O|e\_{i}\rangle \right)=\sum \_{i=1}^{n}|e\_{i}\rangle \langle f\_{i}|h\rangle ,}
{\displaystyle \langle f\_{j}|O|\psi \rangle =\sum \_{i=1}^{n}c\_{i}\langle f\_{j}|O|e\_{i}\rangle =\sum \_{i=1}^{n}\langle f\_{j}|e\_{i}\rangle \langle f\_{i}|h\rangle =\langle f\_{j}|h\rangle ,\quad \forall j}
这将算子方程转化为矩阵方程，根据*h*的广义傅立叶系数{\displaystyle \langle f\_{j}|h\rangle }和算子*O*的矩阵元素{\displaystyle O\_{ji}=\langle f\_{j}|O|e\_{i}\rangle }可确定未知系数{\displaystyle c\_{j}}。

谱理论可确定基与对偶基的存在性及性质。特别是，基可能由某线性算子*L*的特征函数组成：

{\displaystyle L|e\_{i}\rangle =\lambda \_{i}|e\_{i}\rangle \,;}
其中{\displaystyle \{\lambda \_{i}\}}是*L*的特征值，来自*L*的谱。那么，上述恒同消解就提供了*L*的并矢展开：

{\displaystyle LI=L=\sum \_{i=1}^{n}L|e\_{i}\rangle \langle f\_{i}|=\sum \_{i=1}^{n}\lambda \_{i}|e\_{i}\rangle \langle f\_{i}|.}

预解算子
----

参见：格林函数和狄拉克δ函数
利用谱李理论，有预解算子*R*：

{\displaystyle R=(\lambda I-L)^{-1},\,}
可据*L*的特征函数与特征值求值，并找到与*L*对应的格林函数。

将*R*应用于空间中的任意函数{\displaystyle \varphi }，

{\displaystyle R|\varphi \rangle =(\lambda I-L)^{-1}|\varphi \rangle =\sum \_{i=1}^{n}{\frac {1}{\lambda -\lambda \_{i}}}|e\_{i}\rangle \langle f\_{i}|\varphi \rangle .}
这函数在*L*的每个特征值处的复*λ*平面上都有极点。于是可用残差微积分：

{\displaystyle {\frac {1}{2\pi i}}\oint \_{C}R|\varphi \rangle d\lambda =-\sum \_{i=1}^{n}|e\_{i}\rangle \langle f\_{i}|\varphi \rangle =-|\varphi \rangle ,}
其中曲线积分是在包括*L*所有特征值的轮廓*C*上进行的。

假设函数定义在某坐标{\displaystyle \{x\_{j}\}}上，即

{\displaystyle \langle x,\varphi \rangle =\varphi (x\_{1},x\_{2},...).}
引入符号

{\displaystyle \langle x,y\rangle =\delta (x-y),}
其中{\displaystyle \delta (x-y)=\delta (x\_{1}-y\_{1},\ x\_{2}-y\_{2},\ x\_{3}-y\_{3},\ \ldots )}是狄拉克δ函数，则可有

{\displaystyle \langle x,\varphi \rangle =\int \langle x,y\rangle \langle y,\varphi \rangle dy.}
那么

{\displaystyle {\begin{aligned}\left\langle x,{\frac {1}{2\pi i}}\oint \_{C}{\frac {\varphi }{\lambda I-L}}d\lambda \right\rangle &={\frac {1}{2\pi i}}\oint \_{C}d\lambda \left\langle x,{\frac {\varphi }{\lambda I-L}}\right\rangle \\&={\frac {1}{2\pi i}}\oint \_{C}d\lambda \int dy\left\langle x,{\frac {y}{\lambda I-L}}\right\rangle \langle y,\varphi \rangle \end{aligned}}}
函数{\displaystyle G(x,\ y;\ \lambda )}定义如下：

{\displaystyle {\begin{aligned}G(x,y;\lambda )&=\left\langle x,{\frac {y}{\lambda I-L}}\right\rangle \\&=\sum \_{i=1}^{n}\sum \_{j=1}^{n}\langle x,e\_{i}\rangle \left\langle f\_{i},{\frac {e\_{j}}{\lambda I-L}}\right\rangle \langle f\_{j},y\rangle \\&=\sum \_{i=1}^{n}{\frac {\langle x,e\_{i}\rangle \langle f\_{i},y\rangle }{\lambda -\lambda \_{i}}}\\&=\sum \_{i=1}^{n}{\frac {e\_{i}(x)f\_{i}^{\*}(y)}{\lambda -\lambda \_{i}}},\end{aligned}}}
称作算子*L*的格林函数，满足：

{\displaystyle {\frac {1}{2\pi i}}\oint \_{C}G(x,y;\lambda )\,d\lambda =-\sum \_{i=1}^{n}\langle x,e\_{i}\rangle \langle f\_{i},y\rangle =-\langle x,y\rangle =-\delta (x-y).}

算子方程
----

参见：常微分方程谱理论和积分方程
考虑算子方程：

{\displaystyle (O-\lambda I)|\psi \rangle =|h\rangle ;}
用坐标表示：

{\displaystyle \int \langle x,(O-\lambda I)y\rangle \langle y,\psi \rangle \,dy=h(x).}
一个特殊情况是{\displaystyle \lambda =0}。

上一节的格林函数为：

{\displaystyle \langle y,G(\lambda )z\rangle =\left\langle y,(O-\lambda I)^{-1}z\right\rangle =G(y,z;\lambda ),}
且满足：

{\displaystyle \int \langle x,(O-\lambda I)y\rangle \langle y,G(\lambda )z\rangle \,dy=\int \langle x,(O-\lambda I)y\rangle \left\langle y,(O-\lambda I)^{-1}z\right\rangle \,dy=\langle x,z\rangle =\delta (x-z).}
利用格林函数的这一特征：

{\displaystyle \int \langle x,(O-\lambda I)y\rangle G(y,z;\lambda )\,dy=\delta (x-z).}
然后方程两边乘以{\displaystyle h(z)}并积分：

{\displaystyle \int dz\,h(z)\int dy\,\langle x,(O-\lambda I)y\rangle G(y,z;\lambda )=\int dy\,\langle x,(O-\lambda I)y\rangle \int dz\,h(z)G(y,z;\lambda )=h(x),}
这表明解是

{\displaystyle \psi (x)=\int h(z)G(x,z;\lambda )\,dz.}
即，若能找到*O*的谱、构造*G*，就能找到满足算子方程的函数{\displaystyle \Psi (x)}，例如用

{\displaystyle G(x,z;\lambda )=\sum \_{i=1}^{n}{\frac {e\_{i}(x)f\_{i}^{\*}(z)}{\lambda -\lambda \_{i}}}.}
当然有很多方法找到*G*。必须牢记的是，上述数学纯粹是形式上的，严格处理涉及相当复杂的数学，包括泛函分析、希尔伯特空间、分布等方面的背景知识。

谱定理与瑞利商
-------

优化问题是关于对称矩阵中特征值与特征向量组合意义的重要例子，特别是关于矩阵**M**的瑞利商。

**定理** 令**M**为对称矩阵，**x**为非零向量，使对**M**的瑞利商最大化。则，**x**是**M**的一个特征向量，其特征值等于瑞利商；而且，该特征值是**M**的最大特征值。

**证明** 假设符合谱定理。记**M**的特征值为{\displaystyle \lambda \_{1}\leq \lambda \_{2}\leq \cdots \leq \lambda \_{n}}。由于{\displaystyle \{v\_{i}\}}形成正交基，所以任何向量*x*都可在此基上表示为

{\displaystyle x=\sum \_{i}v\_{i}^{T}xv\_{i}}
证明这公式的方法非常简单。即

{\displaystyle {\begin{aligned}v\_{j}^{T}\sum \_{i}v\_{i}^{T}xv\_{i}={}&\sum \_{i}v\_{i}^{T}xv\_{j}^{T}v\_{i}\\[4pt]={}&(v\_{j}^{T}x)v\_{j}^{T}v\_{j}\\[4pt]={}&v\_{j}^{T}x\end{aligned}}}
求对*x*的瑞利商：

{\displaystyle {\begin{aligned}x^{T}Mx={}&\left(\sum \_{i}(v\_{i}^{T}x)v\_{i}\right)^{T}M\left(\sum \_{j}(v\_{j}^{T}x)v\_{j}\right)\\[4pt]={}&\left(\sum \_{i}(v\_{i}^{T}x)v\_{i}^{T}\right)\left(\sum \_{j}(v\_{j}^{T}x)v\_{j}\lambda \_{j}\right)\\[4pt]={}&\sum \_{i,j}(v\_{i}^{T}x)v\_{i}^{T}(v\_{j}^{T}x)v\_{j}\lambda \_{j}\\[4pt]={}&\sum \_{j}(v\_{j}^{T}x)(v\_{j}^{T}x)\lambda \_{j}\\[4pt]={}&\sum \_{j}(v\_{j}^{T}x)^{2}\lambda \_{j}\leq \lambda \_{n}\sum \_{j}(v\_{j}^{T}x)^{2}\\[4pt]={}&\lambda \_{n}x^{T}x,\end{aligned}}}
其中最后一行用帕塞瓦尔恒等式。最后，可得

{\displaystyle {\frac {x^{T}Mx}{x^{T}x}}\leq \lambda \_{n}}
所以瑞利商总小于{\displaystyle \lambda \_{n}}。

另见
--

* icon数学主题

* 算子函数、算子理论
* Lax\_对
* 最小平方频谱分析法
* 自伴算子
* 谱 (泛函分析)、预解形式化、谱分解 (泛函分析)
* 谱 (泛函分析)、谱半径、谱定理
* 施图姆-刘维尔理论、积分方程、弗雷德霍姆理论
* 紧算子、等谱算子、完备空间
* 谱几何
* 谱图论

参考文献
----

* Edward Brian Davies.. Cambridge University Press. 1996  [2023-12-24]. ISBN 0-521-58710-7. （原始内容存档于2023-04-14）.
* Dunford, Nelson; Schwartz, Jacob T.  Paperback reprint of 1967. Wiley. 1988. ISBN 0-471-60847-5.
* Dunford, Nelson; Schwartz, Jacob T.  Paperback reprint of 1971. Wiley. 1988  [2023-12-24]. ISBN 0-471-60846-7. （原始内容存档于2023-04-14）.
* Sadri Hassani.. . Springer. 1999. ISBN 0-387-98579-4.
* Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4
* Shmuel Kantorovitz.. Springer. 1983.
* Arch W. Naylor, George R. Sell.. . Springer. 2000: 411  [2023-12-24]. ISBN 0-387-95001-X. （原始内容存档于2023-12-24）.
* Gerald Teschl.. American Mathematical Society. 2009  [2023-12-24]. ISBN 978-0-8218-4660-5. （原始内容存档于2022-08-12）.
* Valter Moretti.. Springer. 2017  [2023-12-24]. ISBN 978-3-319-70705-1. （原始内容存档于2021-05-06）.

外部链接
----

* Evans M. Harrell II （页面存档备份，存于）: A Short History of Operator Theory
* Gregory H. Moore.. Historia Mathematica. 1995, **22** (3): 262–303. doi:10.1006/hmat.1995.1025 可免费查阅.
* Steen, L. A.. The American Mathematical Monthly. April 1973, **80** (4): 359–381. JSTOR 2319079. doi:10.2307/2319079.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 （范数）
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论 | 
* 巴拿赫代数
* C\*-代数
* 谱 (泛函分析) （谱半径）
* 谱理论（谱定理
* 投影值测度）
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (弗雷歇导数
* 加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 函数演算 (全纯函数演算
* 连续函数演算（英语：）
* 博雷尔函数演算)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* BNF: cb11966764q (data)
* J9U: 987007565724705171
* LCCN: sh85126408
* NKC: ph1059983

 |

 |