L²[0,1]空间中函数相关积分连续性的证明问题

没问题，咱们一步步拆解这个证明，核心是利用L²空间的性质和平移算子的连续性：

首先，明确目标：要证当$x \to 0$时$F(x) \to F(0)$，也就是让$|F(x)-F(0)|$能任意小，只要$x$足够接近0。先把差值展开：
$$
F(x)-F(0) = \int_{0}^{1} f(t)\left[f(x+t)-f(t)\right] dt
$$

接下来，柯西-施瓦茨不等式是L²空间里的关键工具，它能把积分的绝对值转化为范数的乘积：
$$
|F(x)-F(0)| \leq \left( \int_{0}^{1} |f(t)|^2 dt \right)^{1/2} \cdot \left( \int_{0}^{1} |f(x+t)-f(t)|^2 dt \right)^{1/2}
$$
这里第一个因子是$f$的L²范数$||f||_2$，它是有限常数（因为$f \in L^2([0,1])$），所以现在问题简化为：证明当$x \to 0$时，第二个因子$||f(x+\cdot)-f(\cdot)||_2$趋向于0。

这一步的核心是L²空间中平移算子的连续性：对任意$g \in L^2(\mathbb{R})$，当$h \to 0$时，$||g(\cdot+h)-g(\cdot)||_2 \to 0$。咱们简单验证这个结论：

• 先看连续且有紧支撑的函数：这类函数是一致连续的，对任意$\varepsilon>0$，存在$\delta>0$，只要$|h|<\delta$，就有$|g(y+h)-g(y)| < \varepsilon$对所有$y$成立。此时$||g(\cdot+h)-g(\cdot)||2^2 = \int{\mathbb{R}} |g(y+h)-g(y)|^2 dy \leq \varepsilon^2 \cdot \text{支撑集的总长度}$，支撑集是紧的，长度有限，当$h \to 0$时整个式子趋向0。
• 对一般的L²函数，用连续紧支撑函数逼近：任取$\varepsilon>0$，找一个连续紧支撑函数$g$使得$||f-g||_2 < \varepsilon/3$，再用三角不等式拆分：
  $$
  ||f(\cdot+h)-f(\cdot)||_2 \leq ||f(\cdot+h)-g(\cdot+h)||_2 + ||g(\cdot+h)-g(\cdot)||_2 + ||g(\cdot)-f(\cdot)||_2
  $$
  前后两项都是$||f-g||_2 < \varepsilon/3$，中间项当$h$足够小时也能小于$\varepsilon/3$，整体就小于$\varepsilon$，这就证明了平移算子的连续性。

回到原问题，$f$延拓到$\mathbb{R}$后是紧支撑在$[0,1]$的L²函数，所以当$x \to 0$时，$||f(x+\cdot)-f(\cdot)||_2 \to 0$。结合柯西-施瓦茨不等式，$|F(x)-F(0)|$就会趋向0，也就说明$F(x)$在$x=0$处连续了。

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