西安交通大学 2025年数学分析第0题
📝 题目
6、设 $\Omega \subset \mathbb{R}^{2}$ 为非空的连通开集，$f: \Omega \rightarrow \mathbb{R}$ 为连续函数，若
$$
f(x)=\frac{1}{\pi r^{2}} \int_{B_{r}(x)} f(y) \mathrm{d} y, \forall \overline{B_{r}(x)} \subset \Omega
$$
这里 $B_{r}(x) \underline{\underline{\Delta}}\left\{y \in \mathbb{R}^{2}:\|y-x\|<r, r>0\right\}$ ，证明：若 $f$ 在 $\Omega$ 上有最大值，则 $f$ 在 $\Omega$ 上为常值函数．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：理解条件并转化为数学语言
已知对于任意闭圆盘 \(\overline{B_r(x)} \subset \Omega\)，有 \(f(x) = \frac{1}{\pi r^2} \int_{B_r(x)} f(y)\, dy\)。这意味着 \(f(x)\) 等于它在以 \(x\) 为中心、半径为 \(r\) 的圆盘上的积分平均值。
公式：f(x) = \frac{1}{\pi r^2} \int_{B_r(x)} f(y)\, dy
提示：注意条件是对于所有完全包含在Ω内的闭圆盘都成立，这是调和函数的平均值性质。
步骤 2/5
目标：假设存在最大值并定义集合A
设 \(M = \max_{x \in \Omega} f(x)\)，且存在 \(x_0 \in \Omega\) 使得 \(f(x_0) = M\)。定义集合 \(A = \{ x \in \Omega : f(x) = M \}\)，显然 \(A\) 非空。我们的目标是证明 \(A = \Omega\)，从而 \(f\) 为常值函数。
公式：A = \{ x \in \Omega : f(x) = M \}
提示：利用连通性证明A=Ω的关键是证明A既是开集又是闭集（相对于Ω）。
步骤 3/5
目标：证明A是开集
取任意 \(a \in A\)，即 \(f(a)=M\)。因为 \(\Omega\) 是开集，存在 \(r>0\) 使得 \(\overline{B_r(a)} \subset \Omega\)。由平均值性质：\(M = f(a) = \frac{1}{\pi r^2} \int_{B_r(a)} f(y)\, dy\)。由于 \(f(y) \le M\) 对所有 \(y\) 成立，且积分平均值等于 \(M\)，则必须在整个圆盘上 \(f(y) = M\) 几乎处处成立。由连续性可得处处成立（若存在某点 \(y_0 \in B_r(a)\) 使得 \(f(y_0) < M\)，由连续性存在邻域内函数值都小于 \(M\)，则积分平均值严格小于 \(M\)，矛盾）。因此整个开球 \(B_r(a) \subset A\)，所以 \(A\) 是开集。
公式：M = f(a) = \frac{1}{\pi r^2} \int_{B_r(a)} f(y)\, dy \Rightarrow f(y) \equiv M, \forall y \in B_r(a)
提示：关键推理：平均值等于最大值推出函数在圆盘上恒等于最大值，这里用到了连续性和反证法。
步骤 4/5
目标：证明A是闭集（在Ω的相对拓扑下）
设 \(\{x_n\} \subset A\) 且 \(x_n \to x \in \Omega\)。由 \(f\) 连续，有 \(f(x) = \lim_{n\to\infty} f(x_n) = M\)，所以 \(x \in A\)。因此 \(A\) 在 \(\Omega\) 中是相对闭的（即 \(A\) 包含其所有在 \(\Omega\) 中的极限点）。
公式：f(x) = \lim_{n\to\infty} f(x_n) = M \Rightarrow x \in A
提示：闭性证明依赖于连续函数的极限性质，注意极限点必须落在Ω内。
步骤 5/5
目标：由连通性得到结论
由于 \(\Omega\) 连通，且 \(A\) 既开又闭且非空，则 \(A = \Omega\)。即对所有 \(x \in \Omega\)，\(f(x) = M\)，所以 \(f\) 是常值函数。
公式：\Omega \text{ 连通}, A \subset \Omega \text{ 既开又闭}, A \neq \varnothing \Rightarrow A = \Omega
提示：连通空间中的既开又闭子集只能是空集或全集，这是拓扑学的基本结论。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。