卷积逼近问题：Hilbert空间中积分收敛性的验证

给定Hilbert空间$H$，咱们来拆解这个问题：要验证是否对任意连续$H$-值函数$F \in C^0([0,1];H)$，以及任意（或几乎处处）的$x_0 \in [0,1]$，存在$L^{2$有界的实值函数序列${\varphi_n}$，使得积分$\int_0}1 F(x)\varphi_n(x)dx$强收敛到$F(x_0)$。

原问题表述：
对任意$F \in C^0([0,1];H)$，任意$x_0 \in [0,1]$（或$(0,1)$中几乎处处的$x$），存在序列${\varphi_n}{n \geq 1} \subset L^2((0,1);\mathbb{R})$，满足
$$
\left{ \begin{array}{c} \int_0^1 F(x)\varphi_n(x) , dx \longrightarrow F(x_0) \mbox{ 当 } n \to +\infty, \ \exists C>0, \quad {|\varphi_n|}{L^2(0,1)} \leq C, \quad \forall n \geq 1. \end{array} \right.
$$

1. 几乎处处$x_0 \in (0,1)$的情况：性质成立 #

这种情况是成立的，我们可以构造满足条件的序列：

• 取标准的光滑逼近核变体：对每个$n$，定义
  $$
  \varphi_n(x) = \sqrt{n} \cdot \psi(n(x - x_0))
  $$
  其中$\psi \in C_c^\infty(\mathbb{R})$是一个非负光滑函数，满足$\int_{\mathbb{R}} \psi(t)dt = 1$，且$\text{supp}(\psi) \subset [-1,1]$。

• 验证$L^2$范数有界：
  $$
  |\varphi_n|{L^2(0,1)}2 = n \int_0^1 |\psi(n(x - x_0))|^2 dx = \int{-n x_0}^{n(1 - x_0)} |\psi(t)|^2 dt \leq \int_{\mathbb{R}} |\psi(t)|^2 dt =: C_0
  $$
  $C_0$是与$n$无关的常数，因此$|\varphi_n|_{L^2} \leq \sqrt{C_0}$，满足有界性要求。

• 验证积分收敛：做变量替换$t = n(x - x_0)$，积分变为
  $$
  \int_0^1 F(x)\varphi_n(x)dx = \int_{-n x_0}^{n(1 - x_0)} F\left(x_0 + \frac{t}{n}\right) \psi(t) dt
  $$
  由于$F$在紧集$[0,1]$上连续，它是一致有界的；且当$n \to \infty$时，$F(x_0 + t/n)$在$t$的任意紧集上一致收敛到$F(x_0)$。根据$H$-值版本的控制收敛定理，该积分会强收敛到：
  $$
  F(x_0) \int_{\mathbb{R}} \psi(t)dt = F(x_0)
  $$
  完全符合要求。

  从测度论角度看，几乎处处的$x_0$对应$F$的Lebesgue点，这种构造本质上就是Lebesgue点的逼近方法，只是调整核的形式保证了$L^2$有界性。

2. 任意$x_0 \in [0,1]$的情况：性质不成立（当$H$无穷维时） #

当$H$是无穷维Hilbert空间时，我们可以构造反例：

• 取$H = \ell^2(\mathbb{N})$，定义$F(x) = (e^{2\pi i k x}){k \in \mathbb{N}} \in C^0([0,1];\ell2)$。这个函数是连续的：每个分量都是连续的，且$|F(x) - F(y)|{\ell^2}2 = 2\sum_{k=1}^\infty (1 - \cos(2\pi k(x - y)))$，当$x \to y$时级数收敛到0。

• 假设存在$L^{2$有界序列${\varphi_n}$，使得$\int_0}1 F(x)\varphi_n(x)dx \to F(x_0)$在$\ell^{2$中收敛，这意味着对每个$k$，$\int_0}1 e^{2\pi i k x}\varphi_n(x)dx \to e^{2\pi i k x_0}$。

• 令$\hat{\varphi}_n(k) = \int_0^1 e^{-2\pi i k x}\varphi_n(x)dx$（$\varphi_n$的Fourier系数），则上述条件等价于$\hat{\varphi}_n(-k) \to e^{2\pi i k x_0}$，即$|\hat{\varphi}_n(k)| \to 1$对所有$k \in \mathbb{Z}$。

• 但根据Parseval恒等式，$|\varphi_n|{L^2}2 = \sum{k \in \mathbb{Z}} |\hat{\varphi}_n(k)|^2$，如果$|\hat{\varphi}n(k)| \to 1$对所有$k$，这个级数会趋向于无穷大，与$|\varphi_n|{L^2} \leq C$矛盾。

• 这说明，对于这个$F$和任意$x_0$，不存在满足要求的$L^2$有界序列${\varphi_n}$，因此性质对任意$x_0$不成立。

总结 #

• 若仅要求$(0,1)$中几乎处处的$x_0$，则性质成立，可通过构造光滑有界的逼近核实现；
• 若要求任意$x_0 \in [0,1]$，则当$H$是无穷维Hilbert空间时，性质不成立，存在反例。

内容的提问来源于stack exchange，提问作者perturbation