关于弱意义下调和函数连续性的技术问询

你提的这个问题确实问到了调和函数正则性的关键之处——很多教材上来就假设调和函数是连续或者$C^2$的，但其实咱们可以从更弱的条件出发，一步步推导出连续性，甚至更强的光滑性。

首先明确你说的“弱意义”：二阶偏导数存在，并且在开邻域内拉普拉斯算子$\Delta u=0$。这里分两种情况唠唠：

• 如果把“弱调和”放宽到分布意义下的调和（简单说就是，对所有紧支集的光滑测试函数$\varphi$，都满足$\int u\Delta\varphi dx = 0$），那不管$u$一开始有没有连续性，这类函数自动是$C^\infty$光滑的，自然也就连续。这是调和函数正则性定理的核心结论：分布解必然是经典的光滑解。

• 而你特指的“二阶偏导存在且$\Delta u=0$”的情况，其实是比分布调和更强的条件（经典解肯定是分布解），所以当然也满足正则性定理，是光滑连续的。不过你提到想找更初等的路径，比如通过均值性质推导连续性，这完全可行：

  1. 先推导均值性质：对于开邻域内任意点$x_0$和足够小的球$B(x_0,r)\subset\Omega$，利用格林公式（这里需要$u$局部可积，而二阶偏导存在的函数显然满足局部可积），可以证明$u$满足球均值性质：
     $$u(x_0) = \frac{1}{|B(x_0,r)|} \int_{B(x_0,r)} u(y) dy$$
     直白点说，就是函数在球心的值等于整个球内的平均值。推导时可以取辅助函数$\varphi(y)=|y-x_0|^2 - r^2$，代入格林公式后，结合$\Delta u=0$的条件，就能得到这个等式。

  2. 从均值性质推连续性：有了均值性质，连续性就很好证明了。任取$x_0\in\Omega$，对任意$\varepsilon>0$，取$r>0$使得$B(x_0,r)\subset\Omega$。当$x\in B(x_0,r/2)$时，考虑球$B(x,r/2)$和$B(x_0,r)$的重叠区域，利用均值性质估计$|u(x)-u(x_0)|$，可以证明这个差值可以小于任意给定的$\varepsilon$，从而$u$在$x_0$处连续。

不过这里有个小细节：如果仅假设二阶偏导数存在但不连续，常规的格林公式可能需要调整，但因为$u$是分布解，咱们可以用**光滑化（mollification）**的方法：把$u$和光滑的 mollifier 卷积，得到一列光滑调和函数${u_\varepsilon}$，这些光滑函数满足均值性质，且当$\varepsilon\to0$时，$u_\varepsilon$在局部一致收敛到$u$，从而$u$继承了连续性，甚至光滑性。

总结一下：不管是用正则性定理直接得到光滑性，还是用均值性质的初等路径推导，“二阶偏导存在且$\Delta u=0$”的函数必然是连续的，甚至是无限光滑的。

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