关于$H_0^s(G)$空间中序列收敛性的技术问询

嘿，咱们来好好拆解你提出的这个问题：当$s>2$时，$H_0^{s(G)$中的序列$(f_n)$已经在$L}2(G)$中收敛，再加上$\sup\limits_{n\in \mathbb{N}} |f_n|_{H^{s}<\infty$这个一致有界条件，什么时候能推出它在$H_0}s(G)$中强收敛？

首先先梳理已知条件的铺垫：

• $G$是$\mathbb{R}$中带光滑边界的有界区域（说白了就是个有界开区间），$H_0^{s(G)$是$G$内紧支集测试函数关于$H}s$范数的闭包；
• $(f_n)$在$L^{2(G)$中收敛到某个函数$f$，且所有$f_n$的$H}s$范数被同一个常数控制；
• $H^{s$范数是通过傅里叶变换定义的：$|\cdot|_{H}s}=|(1+|\xi|²⁾{s/2}\mathcal{F}(\cdot)(\xi)|_{L^2(\mathbb{R},d\xi)}$。

核心分析与关键条件 #

因为$H^{s(\mathbb{R})$是Hilbert空间，$H_0}s(G)$作为它的闭子空间也是自反Hilbert空间，所以一致有界的序列$(f_n)$必然在$H_0^{s(G)$中**弱收敛**到某个元素。又因为$H}s(G)$连续嵌入到$L^{2(G)$，弱收敛的极限和$L}2$收敛的极限必须是同一个$f$，而且$f$也属于$H_0^s(G)$（闭子空间是弱闭的）。

现在问题转化为：弱收敛+L²强收敛+一致有界，什么时候能升级为$H^s$强收敛？下面是几个等价/充分的关键条件：

• 范数收敛条件：当$\lim\limits_{n\to\infty} |f_n|{H^s} = |f|{H^{s}$时，结合已经成立的弱收敛，根据Hilbert空间的性质，直接就能推出$(f_n)$在$H_0}s(G)$中强收敛。这是最直接的判别条件，本质是利用Hilbert空间中强收敛等价于“弱收敛+范数收敛”的特性。
• 高阶导数强收敛：如果序列$(f_n)$的所有$s$阶导数（包括整数阶和分数阶）都在$L^{2(G)$中收敛，那么$H}s$范数对应的各项积分都会收敛，自然能推出$H^{s$范数收敛到$f$的$H}s$范数，进而得到强收敛。
• 无高频逃逸条件：对于任意$\epsilon>0$，存在一个足够大的$R>0$，使得所有$f_n$的傅里叶变换在高频区域$|\xi|>R$的$H^s$范数贡献都小于$\epsilon$，也就是$\sup\limits_{n\in\mathbb{N}} \int_{|\xi|>R} (1+|\xi|²⁾s |\mathcal{F}f_n(\xi)|^2 d\xi < \epsilon$。这个条件保证了高频部分的“扰动”可以被任意控制，而低频部分因为$L^{2$收敛，整体的$H}s$范数差就能趋近于0。

额外说明 #

这里要注意，一维有界区域上的Rellich-Kondrachov定理告诉我们，$H^{s(G)$会紧嵌入到所有更低阶的Sobolev空间$H}t(G)$（$t<s$），这能帮我们得到序列在$L^2$、$H1$等低阶空间的强收敛，但没法直接推出$H^{s$本身的强收敛——必须加上上面提到的额外条件，才能把收敛性提升到$H}s$阶。

备注：内容来源于stack exchange，提问作者MackeyTopology