谱投影
贡献者： DTSIo; addis
1. 谱投影与空间分解
定义 1 谱投影
设 $X$ 是复巴拿赫空间，$T:X\to X$ 是有界算子。设有一条简单闭道路 $\gamma$ 将谱集 $\sigma(T)$ 分成了不相交的两部分，将包含在 $\gamma$ 内部的部分记为 $\Lambda$. 则算子
$$
P_\Lambda:=\frac{1}{2\pi i}\int_\gamma(z-T)^{-1}dz~
$$
称为 $T$ 在 $\Lambda$ 上的谱投影。
为何要像这样定义谱投影？原来，这其实是在推广线性代数中将空间分解为矩阵的不变子空间的操作。对于矩阵的情形，参见文章 例：有限维方阵, 在那里谱投影的意义可以通过直接计算看出。在一般的巴拿赫空间的情形，我们首先有如下命题：
引理 1
如上定义的算子 $P_\Lambda$ 的确是有界的投影算子，即满足
$$
P_\Lambda^2=P_\Lambda~.
$$
另外，$P_\Lambda$ 与 $T$ 可交换。
由此可见，空间 $X$ 被分成了两个闭子空间 $M_\Lambda:=\text{Ran}(P_\Lambda)$ 和 $N_\Lambda:=\text{Ran}(1-P_\Lambda)$ 的直和。由此即可得到不变子空间分解定理：
定理 1 不变子空间分解
闭子空间 $M_\Lambda$ 和 $N_\Lambda$ 都是算子 $T$ 的不变子空间，而且有直和
$$
X=M_\Lambda\oplus N_\Lambda~.
$$
若把算子 $T$ 限制在 $M_\Lambda$ 上，并且视之为 $M_\Lambda$ 上的算子，则它的谱是 $\Lambda$; 同样地，若把算子 $T$ 限制在 $N_\Lambda$ 上，并且视之为 $N_\Lambda$ 上的算子，则它的谱是 $\sigma(T)\setminus\Lambda$.
这也就是说，谱集分离成多个部分即意味着空间分解为算子的不变子空间的直和。这就使得算子在空间上的作用更清楚了。
2. 孤立谱点
如果 $\lambda_0\in\sigma(T)$ 是孤立的谱点，那么可以认为它是预解式 $(z-T)^{-1}$ 的孤立奇点。仿照复变函数论，当然可以谈论它在孤立奇点处的留数和洛朗展开式。显然，预解式在 $\lambda_0$ 处的留数就是谱投影
$$
P_{\lambda_0}=\frac{1}{2\pi i}\int_{|z-\lambda_0|=r}(z-T)^{-1}dz~,
$$
这里 $|z-\lambda_0|=r$ 是一个充分小的圆。正像计算洛朗级数展开式那样，也不难得出 $(z-T)^{-1}$ 在 $z=\lambda_0$ 附近的洛朗展开：
$$
\begin{aligned}
(z-T)^{-1}
=\sum_{n=-\infty}^\infty(z-\lambda_0)^nA_n~,
\quad
A_n=\frac{1}{2\pi i}\int_{|z-\lambda_0|=r}(z-\lambda_0)^{-(n+1)}(z-T)^{-1}dz~.
\end{aligned}
$$
有如下定理：
定理 2
如果 $(z-T)^{-1}$ 以 $z=\lambda_0$ 为 $m$ 阶极点，也就是说它的洛朗展开式的负幂项只到 $A_{-m}(z-\lambda_0)^{-m}$, 那么 $\lambda_0$ 是 $T$ 的本征值，本征子空间的维数为 $m$. 此时有 $\text{Ker}(\lambda_0-T)=\text{Ran}P_{\lambda_0}$, 而空间 $X$ 可以分解为 $T$ 的不变子空间的直和：
$$
X=\text{Ker}(\lambda_0-T)\oplus \text{Ran}(\lambda_0-T)^m~.
$$
致读者： 小时百科一直以来坚持所有内容免费，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元，我们一个星期内就能脱离亏损， 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。