紧算子

Compact Operator) 紧算子 (Compact Operator

基本定义

紧算子的定义

设 $X$ 和 $Y$ 是赋范线性空间，有界算子 $T : X \to Y$ 称为紧算子，如果：

$T$ 将 $X$ 中的有界集映射为 $Y$ 中的相对紧集（即其闭包是紧集）。

等价表述：

对 $X$ 中的任意有界序列 ${x_{n}}$ ， ${T x_{n}}$ 包含收敛子序列
$T (\overset{―}{B_{1} (0)})$ 的闭包是紧集，其中 $\overset{―}{B_{1} (0)}$ 是单位球

算子类包含关系

{有限秩算子} ⊊ {紧算子} ⊊ {有界算子}

基本性质

1. 紧算子空间

定理： $K (X, Y)$ （从 $X$ 到 $Y$ 的紧算子全体）是 $B (X, Y)$ 的闭线性子空间。

推论：

若 $Y$ 是Banach空间，则 $K (X, Y)$ 也是Banach空间
紧算子的极限（按算子范数）仍是紧算子

2. 复合性质

定理：设 $T$ 是紧算子， $S$ 是有界算子，则：

$S T$ 是紧算子
$T S$ 是紧算子

证明思路：有界算子将有界集映射为有界集，紧算子将映射为相对紧集。

3. 有限秩逼近

定理：若 $Y$ 是Hilbert空间或具有逼近性质的Banach空间，则任意紧算子可以表示为有限秩算子序列按算子范数的极限。

重要例子

1. 有限秩算子

定义：值域为有限维的算子称为有限秩算子。

形式：

(T x) (s) = \sum_{i = 1}^{n} f_{i} (x) ϕ_{i} (s)

其中 $f_{i}$ 是连续线性泛函， $ϕ_{i}$ 是固定函数。

例子：积分算子

(K f) (t) = \int_{0}^{1} (\sum_{i = 1}^{n} ϕ_{i} (t) ψ_{i} (s)) f (s) d s

2. 积分算子（经典例子）

Hilbert-Schmidt算子

在 $L^{2} [a, b]$ 上：

(K f) (t) = \int_{a}^{b} K (t, s) f (s) d s

其中核函数 $K \in L^{2} ([a, b] \times [a, b])$ 。

紧性证明：

用可测函数逼近 $K (t, s)$
构造有限秩算子序列
证明按算子范数收敛

Hilbert-Schmidt范数：

∥ K ∥_{HS}^{2} = \int_{a}^{b} \int_{a}^{b} | K (t, s) |^{2} d t d s

关系： $∥ K ∥_{op} \leq ∥ K ∥_{HS}$

Volterra算子

(V f) (t) = \int_{0}^{t} f (s) d s

性质：

是紧算子
是幂零算子： $V^{n} f (t) = \frac{1}{(n - 1)!} \int_{0}^{t} (t - s)^{n - 1} f (s) d s$
谱： $σ (V) = {0}$

3. 对角算子

在 $ℓ^{2}$ 上：

(T x)_{n} = λ_{n} x_{n}

其中 ${λ_{n}}$ 是满足 $lim_{n \to \infty} λ_{n} = 0$ 的有界数列。

紧性：可以用有限秩算子 $T_{N}$ 逼近：

(T_{N} x)_{n} = {\begin{cases} λ_{n} x_{n}, & n \leq N \\ 0, & n > N \end{cases}

4. 非紧算子例子

单位算子 $I$ （在无限维空间）

有界但不紧
原因：单位球在无限维空间中不是紧集（Riesz定理）

移位算子

在 $ℓ^{2}$ 上， $(S x)_{n} = x_{n - 1}$ ：

等距算子， $∥ S ∥ = 1$
不是紧算子

谱理论

紧算子的谱性质

Fredholm二择一定理 (Fredholm Alternative)：

设 $K$ 是Banach空间 $X$ 上的紧算子， $λ \neq 0$ ：

二择一：
- 方程 $(λ I - K) x = y$ 对任意 $y \in X$ 有唯一解
- 或齐次方程 $(λ I - K) x = 0$ 有非零解
谱的性质：
- $σ (K) ∖ {0}$ 是有限集或可数集
- 每个 $λ \neq 0$ 是 $σ (K)$ 的孤立点
- 若 $λ \neq 0$ ，则 $\dim N (λ I - K) < \infty$

Riesz-Schauder理论

定理：设 $K$ 是紧算子， $λ \neq 0$ ，则：

特征值： $λ$ 是 $K$ 的特征值当且仅当 $\overset{―}{λ}$ 是 $K^{*}$ 的特征值
几何重数： $\dim N (λ I - K) = \dim N (\overset{―}{λ} I - K^{*}) < \infty$
代数重数有限： $λ$ 的代数重数有限
谱分解：存在 $K$ 的不变子空间分解

Hilbert空间中的紧算子

自伴紧算子的谱分解

定理：设 $K$ 是Hilbert空间 $H$ 上的自伴紧算子，则：

谱： $σ (K) \subset R$ ，且要么有限，要么以 $0$ 为唯一聚点
特征值：存在规范正交的特征向量 ${e_{n}}$ 和特征值 ${λ_{n}}$
谱分解：
$K x = \sum_{n = 1}^{\infty} λ_{n} ⟨ x, e_{n} ⟩ e_{n}$
迹类算子：
$Tr (K) = \sum_{n = 1}^{\infty} λ_{n}$

应用：积分方程

考虑第二类Fredholm积分方程：

f (t) - λ \int_{a}^{b} K (t, s) f (s) d s = g (t)

解的结构：

若 $λ^{- 1}$ 不是 $K$ 的特征值，则存在唯一解
若 $λ^{- 1}$ 是特征值，解存在当且仅当 $g$ 与对应齐次方程的解正交

紧算子的分类

按可和性分类

有限秩算子： $\dim R (T) < \infty$
紧算子： $R (T)$ 的闭包的紧性
Hilbert-Schmidt算子： $\sum_{n = 1}^{\infty} s_{n} (T)^{2} < \infty$
迹类算子： $\sum_{n = 1}^{\infty} s_{n} (T) < \infty$

其中 ${s_{n} (T)}$ 是 $T$ 的奇异值。

包含关系

{有限秩} ⊊ {迹类} ⊊ {Hilbert-Schmidt} ⊊ {紧算子}

应用

1. 积分方程

Fredholm方程：

f (t) - λ \int_{a}^{b} K (t, s) f (s) d s = g (t)

Volterra方程：

f (t) - λ \int_{a}^{t} K (t, s) f (s) d s = g (t)

Fredholm二择一提供完整的解理论。

2. 特征值问题

问题：求解 $\int_{a}^{b} K (t, s) ϕ (s) d s = λ ϕ (t)$

对于对称核 $K (t, s) = K (s, t)$ ：

特征值实数
特征函数正交
可按特征函数展开

3. 偏微分方程

例子：Laplace特征值问题

- Δ u = λ u, u |_{\partial Ω} = 0

通过逆算子（Green函数）转化为紧算子问题。

4. 量子力学

Schrödinger算子：

H = - Δ + V (x)

在适当条件下， $H^{- 1}$ 是紧算子，谱理论给出能级结构。

5. 数值分析

Galerkin方法：用有限维子空间逼近紧算子方程。

重要定理总结

定理	内容
Fredholm二择一	齐次方程或非齐次方程可解，但不能同时
Riesz-Schauder	谱的结构理论
Hilbert-Schmidt	对称核的谱分解
谱分解	自伴紧算子的对角化
逼近定理	紧算子可用有限秩算子逼近

与其他概念的关系

有界算子：紧算子是特殊的有界算子
线性算子：紧性保留线性性质
算子范数：紧算子可用有限秩算子按范数逼近
伴随算子：紧算子的伴随也是紧的
对偶空间：紧算子的对偶性质

参考书目

Reed, M., & Simon, B. (1980). Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis. Academic Press.
Kreyszig, E. (1978). Introductory Functional Analysis with Applications. Wiley.
Lax, P. D. (2002). Functional Analysis. Wiley-Interscience.
Zeidler, E. (1995). Applied Functional Analysis: Applications to Mathematical Physics. Springer.

关键词：紧算子、Fredholm二择一、积分算子、谱理论、特征值、Hilbert-Schmidt算子、有限秩算子