紧算子

Compact Operator 紧算子 (Compact Operator)

基本定义

紧算子的定义

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

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

等价表述：

1. 对 $X$ 中的任意有界序列 $\{x_n\}$，$\{T{x}_n\}$ 包含收敛子序列
2. $T(\overline{B_1(0)})$ 的闭包是紧集，其中 $\overline{B_1(0)}$ 是单位球

算子类包含关系

$\{\text{有限秩算子}\}⊊\{\text{紧算子}\}⊊\{\text{有界算子}\}$

---

基本性质

1. 紧算子空间

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

推论：

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

2. 复合性质

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

• $ST$ 是紧算子
• $TS$ 是紧算子

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

3. 有限秩逼近

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

---

重要例子

1. 有限秩算子

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

形式： $(Tx)(s)={\sum }_{i=1}^n{f}_i(x){\varphi }_i(s)$

其中 $f_i$ 是连续线性泛函，${\varphi }_i$ 是固定函数。

例子：积分算子 $(Kf)(t)={\int }_0^1\left({\sum }_{i=1}^n{\varphi }_i(t){\psi }_i(s)\right)f(s)ds$

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

Hilbert-Schmidt算子

在 $L^2[a,b]$ 上： $(Kf)(t)={\int }_a^{b}K(t,s)f(s)ds$

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

紧性证明：

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

Hilbert-Schmidt范数： $\Vert K{\Vert }_{\text{HS}}^2={\int }_a^b{\int }_a^b|K(t,s){|}^{2}dtds$

关系：$\Vert K{\Vert }_{\text{op}}\le \Vert K{\Vert }_{\text{HS}}$

Volterra算子

$(Vf)(t)={\int }_0^{t}f(s)ds$

性质：

• 是紧算子
• 是幂零算子：$V^{n}f(t)=\frac{1}{(n-1)!}{\int }_0^t(t-s{)}^{n-1}f(s)ds$
• 谱：$\sigma (V)=\{0\}$

3. 对角算子

在 ${\ell }^2$ 上： $(Tx{)}_n={\lambda }_n{x}_n$

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

紧性：可以用有限秩算子 $T_N$ 逼近： $(T_{N}x{)}_n=\{\begin{array}{ll}{\lambda }_n{x}_n,& n\le N\\ 0,& n>N\end{array}$

4. 非紧算子例子

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

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

移位算子

在 ${\ell }^2$ 上，$(Sx{)}_n=x_{n-1}$：

• 等距算子，$\Vert S\Vert =1$
• 不是紧算子

---

谱理论

紧算子的谱性质

Fredholm二择一定理 (Fredholm Alternative)：

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

1. 二择一：

   • 方程 $(\lambda I-K)x=y$ 对任意 $y\in X$ 有唯一解
   • 或齐次方程 $(\lambda I-K)x=0$ 有非零解

2. 谱的性质：

   • $\sigma (K)\setminus \{0\}$ 是有限集或可数集
   • 每个 $\lambda \ne 0$ 是 $\sigma (K)$ 的孤立点
   • 若 $\lambda \ne 0$，则 $\dim \mathcal{N}(\lambda I-K)<\infty$

Riesz-Schauder理论

定理：设 $K$ 是紧算子，$\lambda \ne 0$，则：

1. 特征值：$\lambda$ 是 $K$ 的特征值当且仅当 $\overline{\lambda }$ 是 $K^{\ast }$ 的特征值
2. 几何重数：$\dim \mathcal{N}(\lambda I-K)=\dim \mathcal{N}(\overline{\lambda }I-K^{\ast })<\infty$
3. 代数重数有限：$\lambda$ 的代数重数有限
4. 谱分解：存在 $K$ 的不变子空间分解

---

Hilbert空间中的紧算子

自伴紧算子的谱分解

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

1. 谱：$\sigma (K)\subset \mathbb{R}$，且要么有限，要么以 $0$ 为唯一聚点

2. 特征值：存在规范正交的特征向量 $\{e_n\}$ 和特征值 $\{{\lambda }_n\}$

3. 谱分解： $Kx={\sum }_{n=1}^{\infty }{\lambda }_n⟨x,e_n⟩e_n$

4. 迹类算子： $\text{Tr}(K)={\sum }_{n=1}^{\infty }{\lambda }_n$

应用：积分方程

考虑第二类Fredholm积分方程： $f(t)-\lambda {\int }_a^{b}K(t,s)f(s)ds=g(t)$

解的结构：

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

---

紧算子的分类

按可和性分类

1. 有限秩算子：$\dim \mathcal{R}(T)<\infty$
2. 紧算子：$\mathcal{R}(T)$ 的闭包的紧性
3. Hilbert-Schmidt算子：${\sum }_{n=1}^{\infty }{s}_n(T{)}^2<\infty$
4. 迹类算子：${\sum }_{n=1}^{\infty }{s}_n(T)<\infty$

其中 $\{s_n(T)\}$ 是 $T$ 的奇异值。

包含关系

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

---

应用

1. 积分方程

Fredholm方程： $f(t)-\lambda {\int }_a^{b}K(t,s)f(s)ds=g(t)$

Volterra方程： $f(t)-\lambda {\int }_a^{t}K(t,s)f(s)ds=g(t)$

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

2. 特征值问题

问题：求解 ${\int }_a^{b}K(t,s)\varphi (s)ds=\lambda \varphi (t)$

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

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

3. 偏微分方程

例子：Laplace特征值问题 $-\Delta u=\lambda u,u{|}_{\partial \Omega }=0$

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

4. 量子力学

Schrödinger算子： $H=-\Delta +V(x)$

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

5. 数值分析

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

---

重要定理总结

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

---

与其他概念的关系

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

---

参考书目

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

---

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