卷积平均和恒等算子逼近

一、球平均为什么等于卷积

若 $f\in L^1_{\mathrm{loc}}(\mathbb R^d)$，Lebesgue 微分定理给出

$$\lim_{r\downarrow0} \frac{1}{m(B_r(x))} \int_{B_r(x)}f(y)\,dy =f(x) \qquad\text{a.e. }x\in\mathbb R^d.$$

对任意 $r>0$，定义球平均核

$$\varphi_r(y) := \frac{1}{m(B_r(0))}\chi_{B_r(0)}(y).$$

它是球 $B_r(0)$ 上的均匀概率密度，因为

$$\int_{\mathbb R^d}\varphi_r(y)\,dy=1.$$

注意到

$$y\in B_r(x) \quad\Longleftrightarrow\quad x-y\in B_r(0),$$

故

$$\chi_{B_r(x)}(y)=\chi_{B_r(0)}(x-y).$$

又由 Lebesgue 测度的平移不变性，$m(B_r(x))=m(B_r(0))$，所以

$$\begin{aligned} \frac{1}{m(B_r(x))}\int_{B_r(x)}f(y)\,dy &= \frac{1}{m(B_r(0))} \int_{\mathbb R^d}f(y)\chi_{B_r(0)}(x-y)\,dy\\ &=(f*\varphi_r)(x). \end{aligned}$$

于是 Lebesgue 微分定理可以写成

$$\boxed{f*\varphi_r(x)\longrightarrow f(x)qquad\text{a.e.}}.$$

二、卷积恒等元与恒等算子

对一个核 $K$，定义卷积算子

$$T_Kf:=f*K.$$

$K$ 是参与卷积的对象，$T_K$ 是作用在函数空间上的映射，这是两个不同层次。

Dirac 质量 $\delta_0$ 满足

$$(f*\delta_0)(x) =\int_{\mathbb R^d}f(x-y)\,d\delta_0(y) =f(x).$$

因此 $\delta_0$ 是卷积运算的恒等元，它诱导出的卷积算子恰好是恒等算子：

$$T_{\delta_0}f=f*\delta_0=f, \qquad T_{\delta_0}=I.$$

三、恒等元逼近的定义

设 $\{K_\delta\}_{\delta>0}$ 是 $\mathbb R^d$ 上一族可测函数。若

$$\text{(i)}\qquad \int_{\mathbb R^d}K_\delta(x)\,dx=1,$$

并且存在与 $\delta$ 无关的常数 $C>0$，使

$$\text{(ii)}\qquad |K_\delta(x)|\leq\frac{C}{\delta^d},$$ $$\text{(iii)}\qquad |K_\delta(x)|\leq\frac{C\delta}{|x|^{d+1}} \qquad(x\neq0),$$

则称 $\{K_\delta\}_{\delta>0}$ 为一个恒等元逼近。

1. 条件 (i)：总质量归一化

若 $f\equiv c$，则

$$(f*K_\delta)(x) =c\int_{\mathbb R^d}K_\delta(y)\,dy =c.$$

所以归一化条件保证卷积保住常数函数。若积分等于 $a\neq1$，极限应当是 $af$ 而不是 $f$。

这里要求的是 $\int K_\delta=1$，不是 $\int|K_\delta|=1$；所以该定义允许核变号。

2. 条件 (ii)：原点附近的自然尺度

$d$ 维半径为 $\delta$ 的球体积为

$$m(B_\delta(0))=\omega_d\delta^d.$$

要把总量约为 $1$ 的质量压缩到尺度为 $\delta$ 的区域，典型高度必须约为 $\delta^{-d}$，因为

$$\underbrace{\delta^{-d}}_{\text{高度}} \cdot \underbrace{\delta^d}_{\text{体积}} \asymp1.$$

因此，$\delta^{-d}$ 正是 $d$ 维空间中的自然缩放。

3. 条件 (iii)：远离原点的质量消失

固定 $\varepsilon>0$。由 $d$ 维极坐标公式，

$$\begin{aligned} \int_{|x|>\varepsilon}|K_\delta(x)|\,dx &\leq C\delta\int_{|x|>\varepsilon}\frac{dx}{|x|^{d+1}}\\ &=C_d\delta\int_\varepsilon^\infty \frac{r^{d-1}}{r^{d+1}}\,dr\\ &=C_d\delta\int_\varepsilon^\infty\frac{dr}{r^2}\\ &=\frac{C_d\delta}{\varepsilon} \longrightarrow0. \end{aligned}$$

因此，不论固定多小的原点邻域，邻域外的绝对质量都会趋于零。分母取 $|x|^{d+1}$ 的原因也在这里：极坐标体积元提供 $r^{d-1}$，相除后得到可积的 $r^{-2}$。

4. 两个估计分别管理近处与远处

条件 (ii)、(iii) 合起来可以写成

$$|K_\delta(x)| \leq C\min\left\{ \frac{1}{\delta^d}, \frac{\delta}{|x|^{d+1}} \right\}.$$

两项在 $|x|\asymp\delta$ 时交接。图像上可以把 $K_\delta$ 想成一座山：宽度约为 $\delta$，高度约为 $\delta^{-d}$，离开原点后迅速衰减，而总质量始终为 $1$。

四、具体条件怎样推出通常的近似恒等元性质

把空间分成 $|x|\leq\delta$ 与 $|x|>\delta$，有

$$\begin{aligned} \|K_\delta\|_{L^1} &\leq \int_{|x|\leq\delta}\frac{C}{\delta^d}\,dx + \int_{|x|>\delta}\frac{C\delta}{|x|^{d+1}}\,dx\\ &\leq C_d+C_d. \end{aligned}$$

所以

$$\boxed{\sup_{\delta>0}\|K_\delta\|_{L^1}<\infty}.$$

再结合上一节的尾部估计，得到对每个 $\varepsilon>0$，

$$\boxed{ \int_{|x|>\varepsilon}|K_\delta(x)|\,dx \longrightarrow0 }.$$

因此，教材的三个估计蕴含更常见的抽象条件：总质量为 $1$、$L^1$ 范数一致有界、原点外质量消失。

五、为什么卷积后能够恢复原函数

利用 $\int K_\delta=1$，有

$$\begin{aligned} (f*K_\delta)(x)-f(x) &= \int_{\mathbb R^d}K_\delta(y)f(x-y)\,dy -f(x)\int_{\mathbb R^d}K_\delta(y)\,dy\\ &= \int_{\mathbb R^d} K_\delta(y)\bigl[f(x-y)-f(x)\bigr],dy. \end{aligned}$$

把积分拆成 $|y|<\varepsilon$ 与 $|y|\geq\varepsilon$：

• 近处使用函数的连续性、Lebesgue 点性质或 $L^p$ 平移连续性；
• 远处使用核的尾部质量消失。

若 $1\leq p<\infty$ 且 $f\in L^p(\mathbb R^d)$，由 Minkowski 积分不等式，

$$\|f*K_\delta-f\|_p \leq \int_{\mathbb R^d} |K_\delta(y)| \|f(\cdot-y)-f(\cdot)\|_p\,dy.$$

结合 $L^p$ 平移连续性以及近远分割，可得

$$\boxed{\|f*K_\delta-f\|_p\longrightarrow0}.$$

这是对每个固定 $f$ 的强收敛，通常不表示算子范数意义下的

$$\|T_{K_\delta}-I\|_{L^p\to L^p}\longrightarrow0.$$

六、球平均核正是恒等元逼近的典型例子

球平均核为

$$\varphi_r(x) = \frac{1}{m(B_r(0))}\chi_{B_r(0)}(x) = \frac{1}{\omega_dr^d}\chi_{B_r(0)}(x).$$

它满足：

1. $\int\varphi_r=1$；
2. $|\varphi_r(x)|\leq(\omega_dr^d)^{-1}$；
3. 当 $|x|\geq r$ 时它为零；当 $0<|x|<r$ 时，$r/|x|^{d+1}\geq r^{-d}$，所以也满足教材的尾部估计。

因此 $\{\varphi_r\}_{r>0}$ 是定义中的恒等元逼近。Lebesgue 微分定理可以写成

$$T_rf:=f*\varphi_r, \qquad T_rf(x)\longrightarrow If(x) \quad\text{a.e.}$$

这正是教材从 Lebesgue 微分定理走向一般恒等元逼近的原因。

七、标准缩放模型

若母核 $K$ 满足

$$\int_{\mathbb R^d}K(x)\,dx=1,$$

定义

$$K_\delta(x) := \frac{1}{\delta^d}K\left(\frac{x}{\delta}\right).$$

换元 $u=x/\delta$ 得

$$\int_{\mathbb R^d}K_\delta(x)\,dx = \int_{\mathbb R^d}K(u)\,du =1.$$

若

$$|K(u)|\leq C\min\left\{1,\frac{1}{|u|^{d+1}}\right\},$$

则

$$|K_\delta(x)|\leq\frac{C}{\delta^d}, \qquad |K_\delta(x)|\leq\frac{C\delta}{|x|^{d+1}}.$$

所以教材的定义正是对“压缩一个单位质量母核”这一自然操作的抽象。

八、概念层次对照

层次	对象	恒等对象	逼近关系
卷积代数	核或测度 $K$	$\delta_0$	$K_\delta\to\delta_0$
函数空间上的算子	$T_K:f\mapsto f*K$	$I:f\mapsto f$	$T_{K_\delta}f\to If$
Lebesgue 微分定理	球平均核 $\varphi_r$	$\delta_0$	$f*\varphi_r\to f$ a.e.

九、方法提炼：一题通一类

题型识别特征

• 出现缩小球、缩小区间上的平均；
• 出现 $\delta^{-d}K(x/\delta)$；
• 要证明 $K_\delta*f\to f$；
• 核的积分为 $1$，并且质量向原点集中；
• 证明中适合把积分拆成 $|y|<\varepsilon$ 与 $|y|\geq\varepsilon$。

标准解题流程

1. 把局部平均识别为卷积 $f*K_\delta$；
2. 检查 $\int K_\delta=1$；
3. 检查 $\sup_\delta\|K_\delta\|_1<\infty$；
4. 检查原点外质量趋于零；
5. 写出 $$f*K_\delta-f =\int K_\delta(y)[f(\cdot-y)-f(\cdot)]\,dy;$$
6. 近处使用连续性、Lebesgue 点性质或 $L^p$ 平移连续性；
7. 远处使用核的尾部质量消失；
8. 最后辨认结论是逐点、几乎处处、$L^p$，还是算子意义的收敛。

常见变体

• 用立方体或其他规则集合的平均代替球平均；
• 使用 Poisson 核、Gauss 热核、Fejér 核或光滑磨光核；
• 将尾部估计改为 $C\delta^\alpha/|x|^{d+\alpha}$；
• 证明一致收敛、$L^p$ 收敛或几乎处处收敛；
• 使用近似恒等元证明 $C_c^\infty(\mathbb R^d)$ 在 $L^p$ 中稠密。

十、变式练习

十一、前置知识与延伸阅读

• 前置：Lebesgue 积分、Lebesgue 微分定理、卷积、极坐标积分、$L^p$ 空间；
• 后续：磨光核、Poisson 核、热核、$C_c^\infty$ 的 $L^p$ 稠密性；
• 站内关联：Lebesgue 微分定理、H–L 极大不等式和 Vitali 定理、稠密性定理。