关于Evans《偏微分方程》中定理5.3.2有界性条件的疑问

嘿，这个问题真的戳中了Evans证明里的一个容易忽略的细节——我当初学的时候也疑惑过为什么非要限定U是有界开集！

首先得明确：这个逼近定理其实可以推广到无界开集，但Evans的证明特意假设U有界，是为了避开无限求和的技术复杂度，让证明更简洁直观。具体来说，问题出在局部有限覆盖的规模和对应的单位分解求和上：

• 当U是有界开集时，Evans构造的局部有限开覆盖是有限的（毕竟有界集可以被有限个半径合适的球覆盖），对应的单位分解{φ_i}也是有限个函数。这时候逼近函数u_ε = Σφ_i*(η_ε*u)是有限个光滑函数的和，自然是光滑的；在估计L^p范数误差时，直接用有限项的Minkowski不等式，每个项随着ε→0趋于0，总和也跟着趋于0，整个证明逻辑非常顺畅，不需要额外的误差控制步骤。

• 当U是无界开集时，局部有限覆盖只能是可数无限的（比如覆盖整个R^n的可数个球），对应的单位分解也是无限个函数。虽然局部有限性保证了u_ε在每个点都是有限个项的和（因此依然是光滑的），但要证明||u_ε - u||_{L^p(U)}→0，就需要额外处理无限求和的收敛性：

  1. 先把求和拆成前N项（对应靠近原点的有限个覆盖球）和剩余的无限项（对应远离原点的覆盖球）；
  2. 对于剩余的无限项，利用u∈L^p(U)的积分有限性，只要N足够大，这部分的误差就能被控制在任意小的范围内；
  3. 对于前N项，再用有界集上的光滑化逼近结果，让ε足够小就能把这部分误差也控制住。

Evans的证明里完全没涉及这部分无限求和的误差分析，而是直接用了U有界带来的有限覆盖特性，所以如果去掉U有界的条件，他的原证明就会因为缺少无限项的收敛性论证而不完整——不是定理结论不成立，是原证明的步骤在无界U下走不通。

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