从Green核到共振与无解 ​

一张对称矩阵可以沿正交方向逐项求解。一条积分方程何时也能这样做？本页固定同一个核，把紧性、边值条件、特征方向与共振串成一个可验算的任务。

入口、补课与交卷目标 ​

核心路线是紧算子理路紧算子Compact operator · 紧线性算子要求单位球的像具有紧闭包，利用序列、有限网与范数极限把有限维现象延伸到无限维。 → 有限秩逼近理路Hilbert 空间中的有限秩逼近Finite-rank approximation of compact operators · Hilbert compact approximation theorem用紧像的有限网与正交投影构造算子范数近似，并解释固定输入的截断收敛为何远远不够。 → 核积分算子理路平方可积核积分算子Square-integrable kernel operator · Hilbert–Schmidt integral operator · 平方可积积分核从核的平方积分建立有界与紧性，通过共轭转置核判定自伴，并区分积分核、算子零空间与逐点评价。 → 紧自伴谱理路紧自伴算子谱定理Compact self-adjoint spectral theorem · 紧自伴离散谱定理从达到最大绝对Rayleigh值开始构造正交特征向量，证明非零谱离散、趋于零及核以外的完备展开。 → Fredholm 择一理路紧算子的 Fredholm 择一Fredholm alternative for compact operators · Fredholm择一定理 · 紧扰动恒等算子的兼容条件证明恒等算子的紧扰动具有闭值域和指标零，用伴随齐次解准确判定有解、唯一与共振。 → 区间 Green 算子理路区间 Dirichlet Green 算子Dirichlet Green operator on an interval · 区间零边界Green积分算子用正核min(x,t)−xt构造−d²/dx²的零边界逆，证明正则性与全谱，并把共振积分方程准确转为边值问题。。前两站解释有限维近似何时统一有效，中间两站把核转换成离散谱，最后两站决定方程究竟有没有解。

需要补课时，先读度量紧性理路紧空间Compact space每个开覆盖都能缩减为有限子覆盖的拓扑空间。、Hilbert 空间理路Hilbert 空间Hilbert space关于内积诱导范数完备的实或复内积空间。、有界算子理路有界线性算子Bounded linear operator把有界集映为有界集，等价地连续的线性映射。、投影定理理路Hilbert 空间投影定理Hilbert projection theorem · Projection theoremHilbert 空间中每个闭线性子空间都给出唯一的正交分解与最近点投影。、伴随理路Hilbert 空间伴随算子Adjoint of a bounded operator on Hilbert spaces · Hilbert space adjointHilbert 空间间有界线性算子的唯一有界伴随，以及无界算子情形必须显式携带的定义域。和L² 等价类理路L^p 空间L-p space · Lebesgue space按几乎处处相等取商的积分范数空间；从尖峰和完备性走到共轭指数的对偶表示，并证明有限测度下的反身性。。只为本题不必先掌握投影值测度、闭图定理或一般无界谱理论。若尚不熟悉弱导数，先按积分公式理解 $y^{\prime }$ 绝对连续、$y^{″}=-f$ 几乎处处，再到Sobolev 空间理路Sobolev 空间Sobolev space同时控制函数与弱导数的可积性，在一维中建立端点迹与能量空间，证明二分之一 Hölder 估计和点值泛函的精确范数，并说明高维边界。对照 $H^2$ 记号。

进阶有两条出口：本页末尾把自伴条件删除，亲手辨别原核与伴随核；一般PVM 谱定理理路有界自伴算子谱定理Spectral theorem for bounded self-adjoint operatorsHilbert 空间上的有界自伴算子可由投影值测度或连续函数演算表示。则解释不紧的乘法算子为何会有连续谱。它们不会改变本题的紧自伴正本。

给定

$$H=L^2(0,1;\mathbb{C}),G(x,t)=min(x,t)-xt,Tf(x)={\int }_0^{1}G(x,t)f(t)dt.$$

交卷应包含：紧自伴的证明、全部特征对及完备性、任意参数的解、两种指定共振右端的不同结果，以及一次改变区间或自伴条件后的重新判断。

第一张证书：核确实对应零边界逆 ​

分开两段，得到

$$y(x)=Tf(x)=(1-x){\int }_0^{x}tf(t)dt+x{\int }_x^1(1-t)f(t)dt.$$

$L^2\subset L^1$ 使两个积分绝对连续。求导并消去交叉项：

$$y^{\prime }(x)=-{\int }_0^{x}tf(t)dt+{\int }_x^1(1-t)f(t)dt,y^{″}(x)=-f(x)\text{几乎处处}.$$

因此 $y\in H^2\cap H_0^1$；若 $f$ 连续，则 $y\in C^2$。端点直接代入为零。两解之差的二阶导数为零且两端为零，只能是零，所以 $T$ 是 $-d^2/d{x}^2$ 在该零边界定义域上的逆。

复算两个输入：

1. 体源 $f=1$ 给 $T1=x(1-x)/2$，中心值 $1/8$，导数检验为 $-(T1{)}^{″}=1$
2. 中点单位点源不是 $L^2$ 体源；它在能量弱解意义下给 $G(x,1/2)$，峰高 $1/4$，斜率从 $1/2$ 跳到 $-1/2$

两者有不同输入空间和不同峰高，不能把第二个当作 $T1$。

第二张证书：紧、自伴、正且无零特征向量 ​

$G$ 连续，故平方可积；其核范数可完整手算：

$$\iint G^2=2{\int }_0^1(1-x{)}^2\frac{x^3}{3}dx=\frac{2}{3}(\frac{1}{4}-\frac{2}{5}+\frac{1}{6})=\frac{1}{90}.$$

核误差估计 $\Vert T_k-T_h\Vert \le \Vert k-h{\Vert }_2$ 把有限可分离核逼近转成算子范数逼近，故 $T$ 紧。另一个独立机制是：连续核使单位球像共同有界、等度连续，Ascoli 抽出一致收敛子列，进而在 $L^2$ 中收敛。

由于 $G(x,t)=G(t,x)$ 且为实数，交换积分得到 $T^{\ast }=T$。对 $y=Tf$，分部积分给

$$⟨f,Tf⟩={\int }_0^1|y^{\prime }{|}^{2}dx.$$

若为零，则 $y$ 为零端点常数，只能为零；$f=-y^{″}$ 也为零。于是 $T$ 正且单射。注意正性没有给远离零的统一下界，这一点将由趋零的特征值再次验证。

第三张证书：求出并穷尽特征对 ​

若 $Tf=\mu f\ne 0$，则 $\mu >0$，$f$ 有零端点且满足 $-f^{″}={\mu }^{-1}f$。令 $\omega =1/\sqrt{\mu }$，全部解为 $a\cos \omega x+b\sin \omega x$。左端点迫使 $a=0$，右端点和非零性迫使 $\omega =n\pi$，所以

$${\mu }_n=\frac{1}{(n\pi {)}^2},e_n(x)=\sqrt{2}\sin \left(n\pi x\right).$$

反方向把 $\sin \left(n\pi x\right)/(n\pi {)}^2$ 代入零边界ODE，唯一性给 $T\sin \left(n\pi x\right)=\sin \left(n\pi x\right)/(n\pi {)}^2$。正弦乘积积分给单位范数和彼此正交。

完备性不是一句“Fourier 告诉我们”就结束：紧自伴谱定理已经通过极值特征向量、正交递推和余项范数趋零证明，所有输入等于非零特征方向加零空间。本题零空间为零，所以列出的 $e_n$ 覆盖整个 $L^2$。

由此得到精确数值与截断证书：

$$\Vert T\Vert ={\mu }_1=\frac{1}{{\pi }^2}\approx 0.10132118,\Vert G{\Vert }_2=\frac{1}{\sqrt{90}}\approx 0.10540926,\Vert T-T_N\Vert =\frac{1}{((N+1)\pi {)}^2}.$$

第一项是算子最坏放大，第二项是核平方积分给的上界，不能把两者写成相等。例如保留前三个特征项，统一误差恰为 $1/(16{\pi }^2)\approx 0.00633257$；以 $e_4$ 为输入便达到该误差。

第四张证书：任意参数的可解性 ​

给定 $f=\sum f_n{e}_n$，原方程

$$u-\lambda Tu=f$$

逐坐标变为

$$(1-\frac{\lambda }{(n\pi {)}^2})u_n=f_n.$$

若 $\lambda$ 不属于 $\{(n\pi {)}^2:n\ge 1\}$，唯一解为

$$u=\sum _{n\ge 1}\frac{f_n}{1-\lambda /(n\pi {)}^2}{e}_n.$$

分母趋于一；有限个初始项都非零，所以有共同正下界，系数仍平方可和。这个论证同时核验了解存在与输入依赖连续性。

若 $\lambda =(m\pi {)}^2$，有解当且仅当 $f_m=0$。此时第 $m$ 个解系数任意，其他系数按上式唯一确定。若 $f_m\ne 0$，相应标量方程是 $0=f_m$，无解。

指定终点：同样的共振，两个不同右端 ​

固定 $\lambda ={\pi }^2$。

$f=\sin \pi x$ 时，$f_1=1/\sqrt{2}$。与 $\sin \pi x$ 配对，左边恒为零，右边的积分为 $1/2$，矛盾。因此无解，不能靠任意添加齐次解修复不兼容的右端。

$f=\sin 2\pi x$ 时，第一系数为零。第二方向的分母为 $3/4$，故全部解是

$$u(x)=\frac{4}{3}\sin 2\pi x+c\sin \pi x,c\in \mathbb{C}.$$

直接代回：

$$Tu=\frac{1}{3{\pi }^2}\sin 2\pi x+\frac{c}{{\pi }^2}\sin \pi x,u-{\pi }^{2}Tu=\sin 2\pi x.$$

所以这是有无穷多个解，不是唯一解，也不是只有齐次解。实函数问题把 $c$ 限定为实数即可。

第五张证书：桥接ODE时不能换错未知量 ​

正确替换为 $v=Tu$，得到

$$-v^{″}-\lambda v=f,v(0)=v(1)=0,u=f+\lambda v.$$

在第二个共振例中，$v=\sin 2\pi x/(3{\pi }^2)+c\sin \pi x/{\pi }^2$。代入 $-v^{″}-{\pi }^{2}v$ 恰得 $\sin 2\pi x$，给积分与微分两种独立核验。

一般 $f\in L^2$ 时没有 $f^{″}$ 或端点值。不能无条件把原式求两次导数，也不能对 $u$ 添加零端点。若 $f$ 连续，$u$ 的端点是 $f$ 的端点。例如 $\lambda =0,f=1$ 时 $u=1$，当然不满足零端点；满足零端点的是 $v=T1=x(1-x)/2$。

变分弱解同样接入这个桥梁：Green算子的弱式与正则性证明理路区间 Dirichlet Green 算子Dirichlet Green operator on an interval · 区间零边界Green积分算子用正核min(x,t)−xt构造−d²/dx²的零边界逆，证明正则性与全谱，并把共振积分方程准确转为边值问题。说明，$H_0^1$ 弱解因二阶弱导数属于 $L^2$ 而自动进入 $H^2$，连续右端再给经典 $C^2$ 解。

迁移一：区间变长，哪几个常数要重算 ​

将区间改为 $(0,L)$，$L>0$，核应改成

$$G_L(x,t)=min(x,t)-\frac{xt}{L}.$$

在两端代入为零，斜率跳跃仍为 $-1$。同样求解ODE可得

$$e_n^{(L)}(x)=\sqrt{\frac{2}{L}}\sin \frac{n\pi x}{L},{\mu }_n^{(L)}=\frac{L^2}{(n\pi {)}^2},{\lambda }_n^{(L)}=\frac{(n\pi {)}^2}{L^2}.$$

于是 $L=2$ 的首次共振为 ${\pi }^2/4$，不是 ${\pi }^2$。若仍取 $\lambda ={\pi }^2$，此时共振在第二模态 $\sin \pi x$。常数体源给 $T_{L}1=x(L-x)/2$，中心值为 $L^2/8$；这是对缩放因子的又一次复核。

迁移二：删除自伴性，必须检测伴随核 ​

在 ${\mathbb{C}}^2$ 取

$$K=\left(\begin{array}{cc}1& 1\\ 0& 0\end{array}\right),A=I-K=\left(\begin{array}{cc}0& -1\\ 0& 1\end{array}\right).$$

紧性仍成立，但 $\ker A=\mathrm{span}(1,0)$，$\ker A^{\ast }=\mathrm{span}(1,1)$。方程的左边是 $(-u_2,u_2)$，所以有解恰当且仅当 $f_1+f_2=0$。

$f=(0,1)$ 与原核正交仍无解；$f=(-1,1)$ 不与原核正交却有全部解 $(c,1)$。因此“右端与齐次解正交”必须标明是伴随齐次解，只有自伴实参数情形才能用原齐次解替换。

最后的边界清单 ​

• 有界不能代替紧：无限维恒等算子的标准单位向量像彼此距离 $\sqrt{2}$
• 紧不能代替自伴：Volterra 算子紧却没有非零特征值，不能套用本题的正交特征基
• 零在谱中不等于零是特征值：本题 $T$ 单射，但 $T{e}_n\to 0$ 排除了有界逆
• $T$ 的值域不闭，$I-\lambda T$ 的值域却始终闭。比如 $g=\sum n^{-2}{e}_n$ 可被 $T$ 的像逼近，却没有 $L^2$ 原像
• 端点零约束属于 $Tu$；原未知量 $u$ 的端点不能凭图像补上
• 紧性依赖范数：$T:L^2\to L^2$ 紧，$T:L^2\to H^2$ 不紧，因为 $(T{e}_n{)}^{″}=-e_n$

来源与核验说明 ​

区间核的构造依据 Richard Melrose 2020讲义§4.4，平方可积核的有限秩逼近见 Christopher Heil Chapter 8, §8.2，Fredholm有限秩归约见 Melrose Lecture 19, Propositions 26–27。本页的核符号、全部特征对、两共振右端、范数常数与区间缩放均在正文给出独立复算，数值近似仅辅助阅读，不替代证明。