L²(ℝⁿ)中紧集上L²范数一致有界序列的收敛子列结论的正确性验证及已知性问询

我最近做作业的时候推导出了一个结论，但翻了一圈网上都没找到相关内容——虽然它看起来挺简单的，所以我有点拿不准自己是不是哪里错了，或者这其实是个大家都默认知道的结论？

设 ${u_k}{k \in \mathbb N} \in L^2(\mathbb Rⁿ⁾\mathbb N$，满足对任意固定紧集 $C \subset \mathbb R^n$，都有：
$$\int_C|u_k|^2 dx = |u_k|{L^2(C)}2 < K(C)$$
也就是说，这个上界只依赖于紧集 $C$，和下标 $k$ 无关。那么存在 ${u_k}$ 的一个子列，使得对任意紧支集的 $\varphi \in L^2(\mathbb R^n)$，都有：
$$\lim_{j \to \infty} \langle u_{k_j}, \varphi \rangle = \langle u, \varphi \rangle$$
（这里默认你想表达的是弱收敛到某个 $u \in L^2(\mathbb R^n)$，毕竟原内容没写完，但结合上下文应该是这个方向）

先聊结论的正确性 #

这个推导是完全没问题的，本质上是泛函分析里弱收敛紧性的经典应用，核心逻辑是这样的：

• 对任意紧集 $C$，${u_k|_C}$ 是 $L^2(C)$ 中的有界序列，而 $L^2(C)$ 是自反空间，根据Banach-Alaoglu定理，有界序列必然存在弱收敛子列；
• 取一列递增的紧集 $C_m \uparrow \mathbb R^n$（比如 $C_m = {x \in \mathbb R^n \mid |x| \leq m}$），对每个 $C_m$ 取弱收敛子列，再用对角线法选出一个子列，让它在所有 $C_m$ 上都能弱收敛；
• 最后验证这个子列对紧支集 $\varphi$ 的收敛性：因为 $\varphi$ 的支集一定包含在某个 $C_m$ 里，而子列在 $C_m$ 上已经弱收敛，所以内积的极限自然存在，再结合紧集上的一致有界性，能保证极限函数 $u$ 整体属于 $L^2(\mathbb R^n)$。

再说说它的“已知性” #

这个结论其实是 $L^p$ 空间局部有界序列弱紧性的特例，在泛函分析的经典教材（比如Brezis的《Functional Analysis》、Rudin的《Real and Complex Analysis》）里都会提到类似的框架，但可能不会单独把“紧集上范数一致有界”作为孤立条件写出来——更多是放在“$L^2_{loc}(\mathbb R^n)$ 有界序列的弱紧性”这个更一般的命题里，而你的条件额外保证了极限函数属于全局的 $L^2(\mathbb R^n)$。

所以你没在网上直接搜到，大概率是因为它是更一般定理的推论，大家通常不会单独拿出来讨论，但你的推导是完全正确的，这个结论是成立的～

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