好的，我们开始学习一个新的词条。
数学物理方程中的特征值问题与谱理论（续二）
我们继续深入探讨特征值问题与谱理论。在前面的讨论中，我们已经建立了特征值、特征函数、斯图姆-刘维尔理论以及谱分解的基本概念。现在，我们将进入一个更抽象但功能强大的框架：希尔伯特空间中的自伴算子理论。这个框架将之前的具体结果统一并推广，是现代数学物理方程谱理论的基石。
步骤一：从具体到抽象——为何需要希尔伯特空间？
回顾我们熟知的斯图姆-刘维尔问题：
\[\frac{d}{dx}\left[ p(x) \frac{dy}{dx} \right] + q(x)y + \lambda w(x)y = 0, \quad a < x < b \]
附加以适当的齐次边界条件（如狄利克雷或诺伊曼条件）。
我们观察到：
- 解空间：满足边界条件的足够光滑的函数构成一个向量空间。
- 内积：我们曾定义带权函数 \(w(x)\) 的内积：\(\langle f, g \rangle = \int_a^b f(x) \overline{g(x)} w(x) dx\)。这个内积使得特征函数族 \(\{\phi_n(x)\}\) 是正交的：\(\langle \phi_m, \phi_n \rangle = 0\) 当 \(m \neq n\)。
- 完备性：这些正交的特征函数族可以充当“基”，使得任何“足够好”的函数 \(f(x)\) 都可以展开为广义傅里叶级数：\(f(x) = \sum_{n=1}^\infty c_n \phi_n(x)\)。
抽象化：这些性质启示我们，应该在一个具有内积的完备函数空间中来研究这类问题。这样的空间就是希尔伯特空间。
- 定义：希尔伯特空间 \(\mathcal{H}\) 是一个完备的内积空间。“完备”意味着空间中的任何柯西序列都收敛于该空间内的一个元素。
- 例子：我们上面提到的，在区间
[a, b]上平方可积的函数集合 \(L_w^2(a, b)\)，配备内积 \(\langle f, g \rangle = \int_a^b f \overline{g} w dx\)，构成一个希尔伯特空间。斯图姆-刘维尔问题的特征函数就属于这个空间。
步骤二：算子及其伴随
在希尔伯特空间中，微分运算可以被看作一个算子。
- 定义：算子 \(L\) 是一个从一个函数空间（定义域 \(D(L)\)）到另一个函数空间的映射。对于斯图姆-刘维尔问题，我们可以定义算子：
\[ L u = -\frac{1}{w(x)} \left( \frac{d}{dx}\left[ p(x) \frac{du}{dx} \right] + q(x)u \right) \]
这样，特征值问题就简洁地写成了 \(L u = \lambda u\)。注意，定义域 \(D(L)\) 必须严格限定为满足边界条件且足够光滑的函数。
一个至关重要的概念是算子的自伴性，它是实数对称矩阵概念在无穷维空间上的推广。
- 伴随算子：算子 \(L\) 的伴随算子 \(L^*\) 是满足以下条件的算子：
\[ \langle L f, g \rangle = \langle f, L^* g \rangle \quad \text{对所有 } f \in D(L), g \in D(L^*) \text{ 成立}. \]
- 自伴算子：如果 \(L = L^*\) 且 \(D(L) = D(L^*)\)，则称算子 \(L\) 是自伴的。
关键点：在合适的边界条件下（如前面提到的齐次边界条件），斯图姆-刘维尔算子 \(L\) 是自伴的。这一性质是其特征值均为实数、特征函数相互正交的深层原因。
步骤三：谱的分类
在有限维空间中，算子的“谱”就是其特征值的集合。但在无穷维的希尔伯特空间中，情况变得丰富得多。算子的谱 \(\sigma(L)\) 定义为使算子 \((L - \lambda I)\) 没有有界逆算子的所有复数 \(\lambda\) 的集合。
谱可以分为三个互不相交的部分：
-
点谱：这是最熟悉的部分。如果 \((L - \lambda I)\) 不是一一映射，则 \(\lambda\) 属于点谱。这等价于存在非零向量 \(u\) 使得 \(Lu = \lambda u\)。也就是说，点谱就是特征值的集合。在斯图姆-刘维尔问题中，我们通常得到纯点谱（一组离散的特征值）。
-
连续谱：如果 \((L - \lambda I)\) 是一一映射，其值域在 \(\mathcal{H}\) 中稠密，但不连续（即逆算子存在但无界），则 \(\lambda\) 属于连续谱。
- 物理意义：在量子力学中，例如自由粒子的哈密顿量，其能量可以取连续的值（如任何正实数），对应的“广义特征函数”（如平面波 \(e^{ikx}\)）不属于希尔伯特空间（因为它们不是平方可积的），但它们仍然具有物理意义，并且可以用来展开波函数（傅里叶变换）。这些能量值就构成了连续谱。
- 剩余谱：如果 \((L - \lambda I)\) 是一一映射，但其值域在 \(\mathcal{H}\) 中不稠密，则 \(\lambda\) 属于剩余谱。幸运的是，对于物理中常见的自伴算子，可以证明其剩余谱为空集。
步骤四：谱定理——谱理论的顶峰
谱定理是有限维空间中对称矩阵对角化定理在无穷维空间上的宏伟推广。它有许多等价的形式，其中一种非常直观的形式是：
（对于自伴算子）谱定理：设 \(L\) 是一个希尔伯特空间 \(\mathcal{H}\) 上的自伴算子。那么存在一个单位算子的谱分解 \(E_\lambda\)（称为谱族或投影值测度），使得：
- \(E_\lambda\) 是单调递增、右连续的函数。
- 对于任何 \(u \in \mathcal{H}\)，可以用 \(E_\lambda\) 来“测量”它包含在每个特征值以下的“分量”有多少。
- 算子 \(L\) 可以表示为关于这个谱族的积分：
\[ L = \int_{-\infty}^{\infty} \lambda dE_\lambda. \]
这被称为算子的**谱分解**。
如何理解这个定理？
- 离散谱情况：如果算子的谱完全是离散的点谱 \(\{\lambda_n\}\)，并配有归一化的特征函数 \(\{\phi_n\}\)，那么谱族 \(E_\lambda\) 在 \(\lambda_n\) 处有一个“跳跃”，跳跃的大小就是到第 \(n\) 个特征函数子空间上的投影算子 \(P_n = \langle \cdot, \phi_n \rangle \phi_n\)。
此时，谱积分简为我们熟悉的形式：
\[ L = \sum_{n=1}^\infty \lambda_n P_n. \]
任何一个向量 \(u\) 都可以用特征函数展开：\(u = \sum_{n} \langle u, \phi_n \rangle \phi_n\)，而算子的作用就是 \(Lu = \sum_{n} \lambda_n \langle u, \phi_n \rangle \phi_n\)。这正是我们之前用本征函数展开法求解偏微分方程的基础。
- 连续谱情况：当存在连续谱时，求和就要被积分取代。这正是傅里叶变换背后的数学本质。傅里叶变换可以看作是将函数用连续谱的“广义特征函数”（平面波）进行展开。
总结
通过引入希尔伯特空间和自伴算子的语言，我们将特征值问题提升到了一个统一而强大的理论高度——谱理论。
- 背景空间：从具体的区间
[a, b]抽象到一般的希尔伯特空间。 - 核心对象：从斯图姆-刘维尔微分算子抽象到自伴算子。自伴性保证了谱的良好性质（实谱、正交性）。
- 谱的扩展：从离散的特征值集合扩展到包含点谱、连续谱和剩余谱的谱集。自伴算子的剩余谱为空。
- 核心定理：谱定理指出，任何自伴算子都可以通过一个谱积分（在离散情况下是求和）进行“对角化”。这为函数展开（如傅里叶级数、傅里叶变换）提供了坚实的数学基础，从而也是求解线性偏微分方程（如波动方程、热传导方程、亥姆霍兹方程）的终极理论工具。
这个框架是现代分析学、量子力学以及众多物理和工程领域的核心。