弱极大值原理应用：椭圆型边值问题解的一致估计推导疑问
一、修正次调和函数的极大值原理应用
你在应用弱极大值原理时，对次调和函数的估计有个小偏差：次调和函数的弱极大值原理是直接给出函数本身的上确界在边界上取得，而不是绝对值的上确界。
你构造的 $v(x) = u(x) + \frac{|x|^2}{2n} |f|U$（其中 $|f|U = \sup_U |f|$）是次调和的，因此根据弱极大值原理：
$$\sup_U v(x) = \sup{\partial U} v(x)$$
而不是 $\sup_U |v(x)| \leq \sup{\partial U} |v(x)|$。展开这个式子：
$$\sup_U \left( u(x) + \frac{|x|^2}{2n} |f|U \right) \leq \sup{\partial U} \left( u(x) + \frac{|x|^2}{2n} |f|U \right)$$
移项后直接得到 $u$ 的上界估计：
$$\sup_U u(x) \leq \sup{\partial U} u(x) + \frac{|f|U}{2n} \sup{\partial U} |x|^2$$
因为 $\sup_{\partial U} u(x) = \sup_{\partial U} |g(x)|$（边界条件 $u=g$），所以：
$$\sup_U u(x) \leq |g|_{\partial U} + \frac{|f|U}{2n} \sup{\partial U} |x|^2 \tag{1}$$
二、从边界 $|x|^2$ 过渡到 $U$ 的直径 $d$
题目要求常数 $C$ 依赖于 $n$ 和 $d = \sup_{x,y\in U} |x-y|$（即 $U$ 的直径），而不是 $\sup_{\partial U} |x|^2$，这里的关键是平移不变性和直径的定义：
对于任意有界开集 $U$，取任意固定点 $y_0 \in U$（比如 $U$ 中的某个点），根据直径的定义，对所有 $x \in U$，有 $|x - y_0| \leq d$。我们可以重新构造辅助函数，用 $|x - y_0|^2$ 替代 $|x|^2$：
$$v(x) = u(x) + \frac{|x - y_0|^2}{2n} |f|_U$$
验证次调和性：
$$\Delta v = \Delta u + \frac{2n}{2n} |f|_U = -f + |f|U \geq -|f|U + |f|U = 0$$
依然满足次调和性。此时应用弱极大值原理：
$$\sup_U u(x) \leq |g|{\partial U} + \frac{|f|U}{2n} \sup{\partial U} |x - y_0|^2$$
而 $\sup{\partial U} |x - y_0|^2 \leq d^2$（因为 $|x - y_0| \leq d$），因此：
$$\sup_U u(x) \leq |g|{\partial U} + \frac{d^2}{2n} |f|_U \tag{2}$$
三、补充下界估计，得到 $|u|$ 的一致估计
要得到 $\sup_U |u(x)|$，还需要估计 $u$ 的下界（即 $-u$ 的上界）：
构造次调和函数 $w(x) = -u(x) + \frac{|x - y_0|^2}{2n} |f|_U$，验证次调和性：
$$\Delta w = -\Delta u + |f|_U = f + |f|_U \geq -|f|_U + |f|U = 0$$
应用弱极大值原理：
$$\sup_U (-u(x)) \leq \sup{\partial U} (-u(x)) + \frac{d^2}{2n} |f|U$$
即：
$$\inf_U u(x) \geq -|g|{\partial U} - \frac{d^2}{2n} |f|_U \tag{3}$$
四、合并估计得到最终结果
结合 (2) 和 (3)，我们有：
$$\sup_U |u(x)| \leq \max\left( \sup_U u(x), -\inf_U u(x) \right) \leq |g|_{\partial U} + \frac{d^2}{2n} |f|U$$
将右边整理为线性组合的形式：
$$\sup_U |u(x)| \leq C \left( |g|{\partial U} + |f|U \right)$$
其中常数 $C = \max\left(1, \frac{d^2}{2n}\right)$（或者更紧凑的取 $C = 1 + \frac{d^2}{2n}$），显然 $C$ 仅依赖于维度 $n$ 和 $U$ 的直径 $d = \sup{x,y\in U} |x-y|$，完全符合题目要求。
关键总结
- 对次调和函数直接应用极大值原理（而非绝对值的极大值），避免不必要的绝对值操作；
- 利用平移不变性和直径的定义，将依赖于原点的 $|x|^2$ 替换为依赖于 $U$ 直径的项，满足题目对常数 $C$ 的依赖条件；
- 同时估计 $u$ 的上界和下界，最终得到 $|u|$ 的一致估计。
备注：内容来源于stack exchange，提问作者Lilili123
