磨光算子

Sobolev 函数"几乎处处"有弱导数，但没有点态意义。要把它们拉回经典分析，常用工具是用光滑核做卷积：磨光算子把 $L^p$（乃至 $W^{k,p}$）函数变成光滑函数，且在 $L^p$ 范数下收敛——这让光滑函数稠密，也让"先对光滑函数证明、再取极限"成为标准策略。

磨光算子

取 $\eta\in C_c^\infty(\mathbb R^n)$，$\eta\ge0$，$\operatorname{supp}\eta\subset B_1$，$\int\eta=1$，令 $\eta_\varepsilon(x)=\varepsilon^{-n}\eta(x/\varepsilon)$。对 $u\in L^1_{\mathrm{loc}}(\Omega)$ 定义

$$J_\varepsilon u(x)=(\eta_\varepsilon*u)(x)=\int_{\mathbb R^n}\eta_\varepsilon(x-y)u(y)\,dy$$

则 $J_\varepsilon u\in C^\infty(\mathbb R^n)$，且当 $\varepsilon\to0$ 时 $J_\varepsilon u\to u$ 于 $L^p_{\mathrm{loc}}(\Omega)$（$1\le p<\infty$）。

性质

• 导数与卷积交换：$\partial^\alpha(J_\varepsilon u)=J_\varepsilon(\partial^\alpha u)=(\partial^\alpha\eta_\varepsilon)*u$，故磨光不破坏弱导数
• $L^p$ 收敛：若 $u\in L^p$，则 $\|J_\varepsilon u-u\|_{L^p}\to0$（平移连续性的推论）
• 逐点收敛：若 $u$ 连续，则 $J_\varepsilon u\to u$ 一致收敛于紧集
• 结合二者：$u\in W^{k,p}$ 时 $J_\varepsilon u\to u$ 于 $W^{k,p}_{\mathrm{loc}}$，这是Sobolev空间的基本性质中稠密性断言的来源

应用

• 证明 $C_c^\infty$ 稠密：先磨光，再用截断函数裁剪支集
• 构造单位分解与局部化论证（PDE 中"局部化 + 磨光 + 拼合"三步曲）
• 证明弱解的正则性：对弱解 $u$ 做 $J_\varepsilon u$ 并估计，再取极限（见弱解）

后续

磨光算子是 Sobolev 理论的"黏合剂"：Sobolev不等式、Sobolev嵌入定理与迹定理的证明都先对光滑函数陈述、再用磨光逼近过渡到一般函数。