You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

利用控制收敛定理证明Lᵖ(Ω)=U(Ω)的相关疑问

利用控制收敛定理证明Lᵖ(Ω)=U(Ω)的相关疑问

设$\Omega \subset \mathbb{R}n$是开集,考虑通常的Lebesgue空间$Lp(\Omega)$,另外定义空间:
$$ U(\Omega) = \left{ f \in L^p(\Omega) , \colon , \lim_{r \to 0} , \sup_{x \in \mathbb{R}^n} , \int_{B(x,r) \cap \Omega} |f(y)|^p , dy = 0 \right} .$$

我的目标是用控制收敛定理(DCT)证明$L^p(\Omega) = U(\Omega)$。

我的尝试

显然$U(\Omega) \subset L^p(\Omega)$是由定义直接可得的。反过来,任取$f \in L^p(\Omega)$,要证明$f \in U(\Omega)$,只需要证:
$$ \lim_{r \to 0} , \sup_{x \in \mathbb{R}^n} \int_{B(x,r) \cap \Omega} |f(y)|^p , dy = 0. $$

对任意$x \in \mathbb{R}^n, r > 0$,我们有:
$$ \int_{B(x,r) \cap \Omega} |f(y)|^p , dy = \int_{\mathbb Rn}|f(y)|p \chi_{B(x,r) \cap \Omega}(y) , dy. $$

现在我遇到了两个问题:

疑问1:如何处理上确界$\sup_{x \in \mathbb{R}^n}$

我觉得在应用控制收敛定理之前应该先想办法消去这个上确界,但一直没找到合适的方法,想请教下该怎么处理?

疑问2:控制收敛定理在极限趋于0时的应用

我看到过一些相关讨论,核心思路是用极限的序列形式来推导结论,我大概理解这个逻辑,但有个更偏向实践的问题:在学术论文或者教材里,大家处理这种极限趋于0的控制收敛定理应用时,是会明确写出用序列形式来转化,还是直接找到控制函数后就把趋于0的极限直接移到积分里面去?

麻烦各位帮忙解答下,谢谢!

备注:内容来源于stack exchange,提问作者xyz

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.20 09:59:31