敲一下琴弦，为什么会同时听到多个音？#

一根弦的形状可以包含不同振动模式：整根一起起伏、分成两段起伏、分成三段起伏。在线性模型中，复杂振动可拆成这些模式，分别演化后再叠加。

特征方向表达“这种模式经过相应算子后仍保持形状”，特征值记录变化比例。在合适的自伴问题中，不同模式可以正交，因而像互不干扰的坐标。

要注意琴弦的微分算子本身通常无界，并不是本章直接处理的有界紧算子。对适当边界条件下的逆问题，逆算子会成为紧算子：高频模式对应的逆特征值越来越小。下面先在对角模型里把这套机制算明白。

特征值是保留形状的倍率，谱是反求失败的位置#

若 $K e_n=e_n/n$，第 $n$ 个模式只被缩小，故 $1/n$ 是特征值。但谱的范围更宽：它在问减去某个倍率之后，整个算子是否仍能稳定、全域地反求。

对 $\lambda=0$，虽然 $K$ 没有非零输入被完全压成零，反求仍失败：有的目标根本达不到，能达到的目标也可能需要巨大的输入。因此 0 属于谱，却不是特征值。

这正是无限维要引入“谱”而不只沿用“特征值”的实际原因。不能因为找不到零特征向量，就宣布零不构成可解性障碍。

为什么紧自伴展开像无限版对称矩阵#

自伴性保证不同非零特征值方向正交，紧性阻止无穷多个保持固定大小的独立输出方向。假如无穷多个特征值绝对值都大于某个 $\varepsilon$，对应单位特征向量的输出就会保持间距，违反紧性。

所以若特征值无穷多，它们必须向零聚集。有限维对称矩阵能分成有限个正交模式；紧自伴算子则允许无穷多个模式，但远处模式的倍率必须越来越小。

Fredholm 条件可以先在一个影子上看懂#

令 $K$ 为投影到一根单位方向 $u$。那么 $(I-K)x$ 永远没有沿 $u$ 的分量。若目标 $f$ 在 $u$ 上有非零分量，肯定无解；若没有，所有 $f+cu$ 都是解。

Fredholm 理论把这种“有几个方向是相容性障碍”的图景推广到紧扰动 $I-K$。障碍由伴随齐次方程的解给出，并且只有有限维。它让你能在无限维里使用很像有限维方程组的相容性分析。

连续谱为何需要另一种图像#

乘法算子 $Mf(t)=tf(t)$ 不是把一整条函数沿少数几个方向分别伸缩，而是在每个位置按不同数值缩放。不存在一个普通 $L^2$ 函数只集中在某个单点作为特征向量，但所有 $[0,1]$ 内的倍率仍影响可逆性。

这说明“振动模式列表”不能包办所有算子。更一般的谱测度理论会把离散求和替换为积分式分解；本课程在这里明确停下，不用一个过度简化的特征基结论掩盖差别。

带你做：谱点不是特征值时，哪里出了问题#

对 $Kx=(x_n/n)$，目标 $y_n=1/n$ 的平方和有限，所以它是合法 $\ell^2$ 向量。若 $Kx=y$，逐坐标只能得到 $x_n=1$，却不属于 $\ell^2$。

因此 $K$ 不满射。另一方面 $Kx=0$ 确实只允许 $x=0$，所以它单射。零不是特征值，却因为无法全域反求而落在谱中。

若你只在每个坐标上检查“除以 $1/n$ 是合法的”，就会漏掉反解后的整个数列是否仍有有限能量。无限维运算需要再次检查空间归属，这与多项式逼近的极限可能不是多项式，是同一种警告。

最后试 $\lambda=2$，此时 $(2I-K)x=y$ 的逆系数为 $1/(2-1/n)$，绝对值至多 1，反解仍在 $\ell^2$ 且稳定，因此 2 不在谱中。正反两侧的核验共同说明谱的定义在做什么。

回头整理：定义、工具与练习#