泛函分析与算子理论综合复习

一道边值问题为何需要整册工具

考虑区间 $(0,1)$ 上的 Dirichlet 问题

它看似只需积分两次，却同时包含几个不同问题：解应位于哪个完备空间？右端只有平方可积时，二阶导数如何解释？解算子是否有界？参数 $\alpha$ 取哪些值时唯一可解？核函数的对称性和边界条件怎样决定自伴性？本章不把定理按名称并排罗列，而是把它们放进一条核验链：

每一步都要保留假设。尤其不能看到一个积分号就宣称紧，也不能看到 $G(x,t)=G(t,x)$ 就忽略定义域和边界条件。

第一步：固定三个空间及各自职责

连续函数空间 $C([0,1])$ 配上确界范数是 Banach 空间，适合讨论逐点边界值和一致收敛。Hilbert 空间 $H=L^2(0,1)$ 配内积

适合使用正交投影、自伴算子和谱定理。Sobolev 空间 $V=H_0^1(0,1)$ 可看作边界为零的 $H^1$ 函数，配内积

Poincaré 不等式 $\|u\|_2\le\pi^{-1}\|u'\|_2$ 说明该式确实控制 $V$ 中的函数，并使 $V$ 完备。三个空间不能随意互换：$L^2$ 元素只是几乎处处等价类，点值 $u(0)$ 对一般 $L^2$ 元素没有定义；边界条件要通过 $H_0^1$ 的迹或由更光滑代表来解释。

Dirichlet 问题的弱解

给定 $f\in L^2(0,1)$。若 $u\in H_0^1(0,1)$ 满足对每个 $v\in H_0^1(0,1)$ 都有

$$\int_0^1u'(x)\overline{v'(x)}\,dx -\alpha\int_0^1u(x)\overline{v(x)}\,dx =\int_0^1f(x)\overline{v(x)}\,dx,$$

则称 $u$ 为该边值问题的弱解。

当 $\alpha=0$ 时，右端泛函由 Cauchy–Schwarz 与 Poincaré 不等式满足

Riesz 表示定理于是给出唯一 $u\in V$。这一步就是 Hilbert 空间方法：求解被改写为在完备内积空间中表示一个连续线性泛函。

第二步：从边界条件推导 Green 核

例 1：逐段推导 Dirichlet Green 核

先求 $-u''=f$、$u(0)=u(1)=0$ 的逆。固定 $t\in(0,1)$，要求 $-\partial_x^2G(x,t)=\delta_t$。在 $x\ne t$ 处二阶导数为零，所以 $G$ 对 $x$ 分段线性。边界条件给出左段形如 $a(t)x$，右段形如 $b(t)(1-x)$。连续性要求 $a(t)t=b(t)(1-t)$；对方程跨过 $t$ 积分，得到导数跳跃

$$\partial_xG(t^+,t)-\partial_xG(t^-,t)=-1.$$

解这两个方程可得

$$G(x,t)= \begin{cases} x(1-t),&0\le x\le t\le1,\\ t(1-x),&0\le t\le x\le1. \end{cases}$$

因此定义

$$(Kf)(x)=\int_0^1G(x,t)f(t)\,dt.$$

直接代入可见 $G(0,t)=G(1,t)=0$，并且 $G(x,t)=G(t,x)$。前者编码 Dirichlet 边界，后者将给出自伴性。若改变为 Neumann 或混合边界，Green 核和零空间都会改变，不能只沿用同一公式。

把积分在 $t=x$ 处分开，得到

对光滑 $f$ 求导两次可验证 $-(Kf)''=f$；对一般 $L^2$ 右端，该等式按弱导数理解。这个显式公式也显示 $Kf$ 有比 $f$ 更高的正则性，正是“逆微分算子具有平滑作用”的具体表现。

第三步：核验有界、紧、自伴与正性

Dirichlet Green 算子的结构

上述 $K:L^2(0,1)\to L^2(0,1)$ 是有界紧算子，并且自伴、正、单射。

证明

核 $G$ 在单位正方形上连续，因而属于 $L^2((0,1)^2)$。Hilbert–Schmidt 积分算子定理给出

$$\|Kf\|_2\le\|G\|_{L^2((0,1)^2)}\|f\|_2,$$

并说明 $K$ 紧；等价地，可用平方可积核的有限秩简单函数逼近得到算子范数逼近。由于 $G(x,t)=\overline{G(t,x)}$，Fubini 定理给出

$$\langle Kf,g\rangle =\int_0^1\!\int_0^1G(x,t)f(t)\overline{g(x)}\,dt\,dx =\langle f,Kg\rangle,$$

故 $K=K^*$。令 $u=Kf$，弱方程为 $\int u'\overline{v'}=\int f\overline v$。取 $v=u$ 得

$$\langle f,Kf\rangle=\int_0^1|u'(x)|^2\,dx\ge0,$$

所以 $K$ 为正算子。若 $Kf=0$，则弱方程右端对所有 $v\in H_0^1$ 为零；因 $H_0^1$ 在 $L^2$ 中稠密，得到 $f=0$，故 $K$ 单射。注意单射不等于有有界逆：紧算子在无限维空间上的逆不可能在整个值域闭包上有界。

在 $C([0,1])$ 上，同一公式也定义紧算子，可由 Arzelà–Ascoli 定理验证像族一致有界且等度连续；但“自伴”是内积概念，必须回到 $L^2$ 才有上面的含义。这是同一公式在不同空间中承担不同角色的典型例子。

第四步：用边界条件计算全部特征对

例 2：Green 算子的正交特征函数

若 $K\phi=\lambda\phi$ 且 $\lambda\ne0$，对等式作用 $-d^2/dx^2$，得到

$$-\lambda\phi''=\phi, \qquad \phi(0)=\phi(1)=0.$$

令 $\mu=1/\lambda$。正性排除 $\mu<0$，而 $\mu=0$ 只给零解；当 $\mu>0$ 时，通解为 $A\sin(\sqrt\mu x)+B\cos(\sqrt\mu x)$。左端边界给 $B=0$，右端边界要求 $\sin\sqrt\mu=0$，所以

$$\mu_n=(n\pi)^2, \qquad \lambda_n=\frac1{(n\pi)^2}, \qquad e_n(x)=\sqrt2\sin(n\pi x),quad n\ge1.$$

$(e_n)$ 是 $L^2(0,1)$ 的标准正交基，因此

$$Kf=\sum_{n=1}^{\infty} \frac{\langle f,e_n\rangle}{(n\pi)^2}e_n.$$

特征值趋于零，与紧性一致。$K$ 单射，所以零不是特征值；但零是谱的聚点。这里边界条件决定了正弦基。若误用余弦基，就等于暗中改成了 Neumann 边界。

Hilbert 投影在此有直接算法意义。令 $V_N=\operatorname{span}\{e_1,\ldots,e_N\}$，正交投影 $P_Nf=\sum_{n=1}^N\langle f,e_n\rangle e_n$ 是 $f$ 在 $V_N$ 中的唯一最佳 $L^2$ 逼近，且 $\|P_N\|=1$。有限维近似

满足 $\|K-K_N\|=1/((N+1)\pi)^2$。这既给出紧性的另一证明，也给出可核验的截断误差。

例 3：常载荷的谱解与显式解相互核验

取 $f\equiv1$。其 Fourier 正弦系数为

$$\langle1,e_n\rangle =\sqrt2\frac{1-(-1)^n}{n\pi},$$

偶数项为零，奇数项为 $2\sqrt2/(n\pi)$。因此

$$u=K1 =\sum_{n\ \mathrm{odd}} \frac{2\sqrt2}{(n\pi)^3}e_n.$$

另一方面直接积分 $-u''=1$ 并代入两端边界，得 $u(x)=x(1-x)/2$。两种表示描述同一函数：显式二次式便于检查边界和曲率，正弦级数便于研究模态、截断和参数共振。它们互为核验，而不是两套互不相干的答案。

第五步：Hahn–Banach 与三大定理在何处工作

Hahn–Banach 定理首先保证对每个非零 $x$，存在连续线性泛函 $\ell$ 使 $\|\ell\|=1$ 且 $\ell(x)=\|x\|$。因此弱信息若对全部对偶泛函成立，就足以识别向量；谱非空证明中的“标量预解式全为零推出算子为零”正依赖这种分离。

Banach 空间上的三大定理则负责把代数可解性升级为统一稳定性：

• 一致有界原理：若一族近似解算子 $S_N$ 对每个固定右端 $f$ 都满足 $\sup_N\|S_Nf\|<\infty$，则 $\sup_N\|S_N\|<\infty$。逐个右端稳定不能只靠观察若干样本，完备性把它提升为统一算子界。
• 开映射定理：若 $I-\alpha K$ 在 $L^2$ 上是有界双射，则其逆自动有界。唯一可解因此附带对数据扰动的连续依赖。
• 闭图定理：令 $D(L)=H^2(0,1)\cap H_0^1(0,1)$，$Lu=-u''$。把 $D(L)$ 配图范数 $\|u\|_2+\|Lu\|_2$ 后它是 Banach 空间；$L$ 的闭图刻画了“$u_n\to u$ 且 $Lu_n\to f$ 时 $Lu=f$”。不能把 $L$ 当作 $L^2\to L^2$ 的处处定义有界算子，真正有界的是其逆 $K$。

这些定理都不是计算特征值的替代品。它们回答“解算子是否统一有界”；谱分解回答“哪些参数使双射性失败以及失败在哪个模态”。

第六步：Fredholm alternative 与共振

原边值问题等价于

在正弦基中写 $u=\sum u_ne_n$、$f=\sum f_ne_n$，逐项得到

若 $\alpha\ne(n\pi)^2$ 对所有 $n$ 成立，则解唯一，且

若 $\alpha=(m\pi)^2$，第 $m$ 个方程变成 $0\cdot u_m=f_m$：可解当且仅当 $f_m=\langle f,e_m\rangle=0$；满足时 $u_m$ 任意，因此解不唯一。这就是紧自伴情形的 Fredholm alternative：齐次方程只有零解时非齐次方程对每个右端唯一可解；齐次核非零时，右端必须与伴随齐次核正交。因为此处算子自伴，伴随核就是同一特征空间。

例 4：二阶模态处的不可解与多解

取 $\alpha=(2\pi)^2$。若 $f=e_2$，则相容条件要求 $\langle e_2,e_2\rangle=0$，不可能，所以无弱解。若改取 $f=e_1$，相容条件满足；坐标方程给

$$u=-\frac1{3\pi^2}e_1+c e_2, \qquad c\in\mathbb C.$$

第一项是一个特解，任意倍数的 $e_2$ 是齐次解。这里“不唯一”不是数值误差，而是算子在共振模态上真正有核；添加边界条件之外的任意归一化条件，才可能从这族解中选出一个。

误区与思考实验

常见误区有四个。其一，只检查 $G(x,t)=G(t,x)$，却不检查核是否平方可积以及算子在哪个 Hilbert 空间上定义。其二，把紧性说成“核连续所以显然”；正确桥梁是 Hilbert–Schmidt 定理或 Arzelà–Ascoli 定理，并且两者对应不同范数。其三，用 $L^2$ 点值写边界条件；边界应放在 $H_0^1$ 或更强的定义域中。其四，在共振处仍除以 $(m\pi)^2-\alpha$，得到无意义的无穷大，而不先检查正交相容条件。

思考把左端边界改为 $u'(0)=0$、右端仍为 $u(1)=0$。Green 核必须重新推导，特征函数改成余弦型，特征值也随之移动。再思考 Neumann–Neumann 边界：常函数进入 $-u''$ 的核，连 $\alpha=0$ 都出现相容条件 $\int_0^1f=0$。边界条件并非公式末尾的装饰，它决定算子定义域、核与谱。

练习

练习 1：核验 Green 核的跳跃条件标记完成

所属知识

Green 函数

难度

3/5

对本章的 $G(x,t)$，验证边界值、连续性以及 $\partial_xG(t^+,t)-\partial_xG(t^-,t)=-1$，并解释最后一个等式为何对应 $-\partial_x^2G=\delta_t$。

查看提示

固定 t，分别计算 x<t 与 x>t 时对 x 的一阶导数，再比较 t 左右极限。

查看解答

$G(0,t)=0$ 且 $G(1,t)=0$。在 $x=t$ 处，两段都等于 $t(1-t)$，所以连续。左段导数为 $1-t$，右段导数为 $-t$，故跳跃为 $-t-(1-t)=-1$。分布导数中，分段光滑函数的一阶导数若跳跃 $J$，其二阶导数含有 $J\delta_t$；这里 $\partial_x^2G$ 含 $-\delta_t$，所以 $-\partial_x^2G=\delta_t$。这正保证积分算子作用后满足 $-(Kf)''=f$。

练习 2：Green 算子的算子范数标记完成

所属知识

谱与范数

难度

4/5

证明 $K:L^2(0,1)\to L^2(0,1)$ 的算子范数为 $1/\pi^2$。

查看提示

紧自伴正算子的范数等于最大特征值；也可用 Poincaré 不等式先给上界，再用第一正弦模态达到。

查看解答

谱展开给出

$$\|Kf\|_2^2 =\sum_{n\ge1}\frac{|f_n|^2}{(n\pi)^4} \le\frac1{\pi^4}\sum_{n\ge1}|f_n|^2 =\frac1{\pi^4}\|f\|_2^2,$$

故 $\|K\|\le1/\pi^2$。取 $f=e_1$，有 $Ke_1=e_1/\pi^2$ 且 $\|e_1\|_2=1$，所以上界达到， $\|K\|=1/\pi^2$。

练习 3：共振时的相容右端标记完成

所属知识

Fredholm alternative

难度

4/5

令 $\alpha=4\pi^2$，$f=e_1+e_3$。求边值问题的全部弱解，并说明为什么存在无穷多个解。

查看提示

在正弦基中只需检查第二模态系数，并分别求第一、第三模态的分母。

查看解答

$f$ 与 $e_2$ 正交，所以满足共振相容条件。非零坐标为

$$u_1=\frac1{\pi^2-4\pi^2}=-\frac1{3\pi^2}, \qquad u_3=\frac1{9\pi^2-4\pi^2}=\frac1{5\pi^2}.$$

第二坐标方程为 $0\cdot u_2=0$，故 $u_2$ 任意。全部解为

$$u=-\frac{e_1}{3\pi^2}+\frac{e_3}{5\pi^2}+ce_2, \qquad c\in\mathbb C.$$

自由参数正对应齐次方程的核 $\operatorname{span}\{e_2\}$。

练习 4：非对称核为何不自伴标记完成

所属知识

伴随算子

难度

4/5

在 $L^2(0,1)$ 上定义 Volterra 算子 $(Vf)(x)=\int_0^xf(t)\,dt$。求 $V^*$，并说明 $V$ 虽然紧却不自伴。

查看提示

把二重积分的积分次序交换，读出与 g 配对后作用在 f 上的算子。

查看解答

由 Fubini 定理，

$$\langle Vf,g\rangle =\int_0^1\int_0^xf(t)\overline{g(x)}\,dt\,dx =\int_0^1f(t)\overline{\left(\int_t^1g(x)\,dx\right)}dt.$$

故 $(V^*g)(t)=\int_t^1g(x)\,dx$。例如对常函数一， $V1(x)=x$ 而 $V^*1(x)=1-x$，所以 $V\ne V^*$。其核 $\mathbf1_{t\le x}$ 属于 $L^2((0,1)^2)$，因此 $V$ 是 Hilbert–Schmidt 算子，仍然紧。紧性并不推出自伴性，也不保证正交特征向量基。

练习 5：谱截断的统一误差标记完成

所属知识

Galerkin 近似

难度

4/5

令 $K_Nf=\sum_{n=1}^N\langle f,e_n\rangle e_n/(n\pi)^2$。证明

$$\|Kf-K_Nf\|_2 \le\frac{\|f\|_2}{((N+1)\pi)^2},$$

并证明常数不能统一改小。

查看提示

尾部每个特征值都不超过第 N+1 个特征值，再用 Parseval 等式控制系数平方和。

查看解答

由正交性与 Parseval 等式，

$$\|Kf-K_Nf\|_2^2 =\sum_{n>N}\frac{|f_n|^2}{(n\pi)^4} \le\frac1{((N+1)\pi)^4}\sum_{n>N}|f_n|^2 \le\frac{\|f\|_2^2}{((N+1)\pi)^4}.$$

开平方得所需估计。取 $f=e_{N+1}$ 时等号成立，因此对所有单位右端都成立的统一常数不能更小。

练习 6：秩一 Fredholm 选择标记完成

所属知识

相容条件

难度

4/5

设 $u$ 为 Hilbert 空间中的单位向量，$Px=\langle x,u\rangle u$。讨论 $(I-\alpha P)x=y$ 的可解性与唯一性。

查看提示

把空间正交分解为 span{u} 与 $u\perp$，分别考察 $I-\alpha P$ 在两个子空间上的数乘因子。

查看解答

写 $x=x_\parallel+x_\perp$、$y=y_\parallel+y_\perp$。因为 $P$ 在 $\operatorname{span}\{u\}$ 上为恒等、在 $u^\perp$ 上为零，方程等价于

$$(1-\alpha)x_\parallel=y_\parallel, \qquad x_\perp=y_\perp.$$

若 $\alpha\ne1$，存在唯一解 $x=y_\perp+y_\parallel/(1-\alpha)$。若 $\alpha=1$，可解当且仅当 $y_\parallel=0$，即 $y\perp u$；满足时 $x_\perp=y$，而 $x_\parallel$ 任意，所以解不唯一。这是紧自伴 Fredholm alternative 的一维模型。

概念连接、资源与后续学习

• 赋范空间、Banach 空间与有界算子 决定 $C([0,1])$、$L^2$ 和算子空间中的收敛与稳定性语言。
• Hahn–Banach、开映射与一致有界原理 把对偶分离、双射与逐点有界升级为可用于逆问题的统一估计。
• Hilbert 空间、正交投影与对偶 给出弱解的 Riesz 表示、最佳逼近和 Fourier 系数分解。
• 紧算子与自伴算子 解释平方可积对称核为何产生离散且正交的算子结构。
• 谱、预解式与紧自伴谱定理 把参数可逆性、共振模态和 Fredholm 相容条件统一起来。

课程 · 2021

Introduction to Functional Analysis

Casey Rodriguez

用于核对 M16 的完备性假设、基本定理、投影与对偶、紧算子谱性质和紧自伴谱定理。

打开官方来源

MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的课程材料覆盖 Banach 与 Hilbert 空间、有界及紧算子、基本定理和谱论，可用来逐项核对本章的函数空间、算子定义域与定理假设。复习这类综合题时，建议先写“空间—范数—定义域—边界条件”四项清单，再判断有界、紧、自伴和可逆；顺序颠倒往往会把形式计算误当成算子结论。

本章从一个二阶边值问题得到 Green 算子：Banach 完备性保障极限框架，Riesz 表示和 Hilbert 投影给出弱解与最佳逼近，核的平方可积性和对称性带来紧自伴结构，谱分解则把 Fredholm alternative 化为逐模态相容条件。后续处理高维椭圆方程、非对称核或无界自伴算子时，这条核验链仍然有效，但紧嵌入、定义域、边界迹和一般谱测度都需重新证明，不能直接复制一维结论。