关于LC Evans《偏微分方程》（第二版）5.3节定理2证明的若干疑问

你好呀，咱们逐个拆解你的问题——这些都是触及Sobolev空间全局逼近构造核心的好问题，我来帮你理清楚：

1. 为什么要构造 $V_i = U_{i+3} \setminus \bar{U}_{i+1}$，而非直接使用 $U_i$ 集合？ #

这里的核心是控制单位分解函数的支集以及安全进行卷积，具体来说：

• $U_i$ 是递增的集合，$\bar{U}_i = {x \in U : \operatorname{dist}(x,\partial U) \geq 1/i}$。如果直接用 $U_i$ 构造单位分解，$\bar{U}i$ 的边界和 $U{i+1}$ 的边界距离极近（仅为 $1/i - 1/(i+1) = 1/(i(i+1))$），这会导致我们很难保证光滑截断函数 $\zeta_i$ 的紧支集严格落在 $U$ 内部，后续对 $\zeta_i u$ 做卷积光滑时，很容易让光滑后的函数跑出 $U$ 的范围。
• $V_i$ 相当于设置了缓冲区域：每个 $V_i = {x : 1/(i+3) < \operatorname{dist}(x,\partial U) < 1/(i+1)}$ 的闭包 $\bar{V}i$ 是紧包含在 $U$ 中的（因为 $U$ 有界，$\bar{V}i \subset \bar{U}{i+3}$，而 $\bar{U}{i+3}$ 是紧集）。更关键的是，当我们对 $\zeta_i u$ 做卷积光滑时，小的卷积核会让光滑后函数的支集仍留在 $U$ 内——由于 $V_i$ 距离 $U$ 的边界足够远，我们不用担心触及边界。
• 虽然 $V_i$ 之间有重叠，但这是故意设计的！单位分解需要重叠的开集来光滑覆盖 $U$，而该覆盖的局部有限性（每个点仅属于有限个 $V_i$）保证了求和 $\sum \zeta_i$ 是良定义的（不会出现无穷和发散的情况）。

2. 为什么Evans说“任选一个 $V_0 \subset\subset U$”，而非直接取类似 ${x : \operatorname{dist}(x,\partial U) > 1/2}$ 的特定集合？ #

你提的这个点非常准——你说的那个特定集合完全是可行的！Evans用“任选”是为了强调构造的灵活性，而非必须选某个复杂的集合。任何紧包含在 $U$ 中的开集 $V_0$ 都满足要求：

• 它覆盖了 $U$ 中所有离边界“足够远”的点，这些点不需要放到后续的 $V_i$ 区域中处理。
• 加上 $i \geq 1$ 的 $V_i$ 后，就能覆盖整个 $U$：对于任何靠近边界的点，总能找到足够大的 $i$，使得 $1/(i+3) < \operatorname{dist}(x,\partial U) < 1/(i+1)$，从而属于某个 $V_i$。

Evans只是不想限定死 $V_0$ 的具体形式，因为存在多种有效的选择——你提出的那个选择完全没问题。

3. 为什么存在满足条件(*)的光滑单位分解 ${\zeta_i}$？ #

这依赖于局部紧Hausdorff空间上的光滑单位分解定理（$\mathbb{R}^n$ 是局部紧Hausdorff空间，因此它的任何开子集 $U$ 也满足该性质）。以下是具体的证明思路：

1. 首先确认覆盖 ${V_i}_{i=0}^\infty$ 是局部有限的：对于任意 $x \in U$，令 $d = \operatorname{dist}(x,\partial U) > 0$。当 $i$ 足够大时，$1/(i+1) < d$，此时 $V_i$ 不会包含 $x$；只有有限个小的 $i$ 对应的 $V_i$ 会包含 $x$，再加上可能的 $V_0$（如果 $x$ 离边界足够远）。因此每个点都有一个邻域，仅与有限个 $V_i$ 相交。
2. 接下来，对每个 $V_i$，我们可以找到一个开集 $W_i$，使得 $\bar{W}i \subset V_i$，且 ${W_i}{i=0}^\infty$ 仍然覆盖 $U$。
3. 对每个 $W_i$，构造一个光滑函数 $\eta_i$，满足 $0 \leq \eta_i \leq 1$，$\eta_i$ 在 $\bar{W}_i$ 上恒等于1，且 $\operatorname{supp}(\eta_i) \subset V_i$（这用到了 $\mathbb{R}^n$ 中标准的“bump函数”构造方法）。
4. 由于覆盖是局部有限的，求和 $S(x) = \sum_{i=0}^\infty \eta_i(x)$ 在每个 $x \in U$ 处都是有限和，且 $S(x) > 0$（因为 ${W_i}$ 覆盖 $U$，所以每个 $x$ 至少属于一个 $W_i$，对应 $\eta_i(x)=1$）。
5. 最后定义 $\zeta_i(x) = \eta_i(x)/S(x)$。每个 $\zeta_i$ 都是光滑的（因为 $S$ 光滑且非零），满足 $0 \leq \zeta_i \leq 1$，$\operatorname{supp}(\zeta_i) \subset V_i$，且对所有 $x \in U$，$\sum_{i=0}^\infty \zeta_i(x) = 1$。

这样我们就得到了Evans所描述的单位分解。

备注：内容来源于stack exchange，提问作者K.defaoite