关于可测函数L^q积分有限性与相关不等式的证明求助
问题背景
已知条件：
- $0<q<p<\infty$
- $E \subset \mathbb{R}^n$是有限测度的可测集，即$|E| < \infty$
- $f$是$\mathbb{R}^n$上的可测函数，满足$N = \sup_{\lambda >0} \lambda^p| {x\in \mathbb{R}^n: |f(x)|>\lambda}| <\infty$
需要解决两个问题：
- 证明$\int_E |f|^q$有限；
- 证明$\int_E |f|^q \leq CN^{q/p} |E|^{1-q/p}$，其中$C$仅依赖于$n,p,q$。
第一问证明的正确性确认
你的第一问证明是完全正确的！我们再梳理一遍逻辑，确保每一步都严谨：
你用到了层蛋糕公式（Layer-Cake Representation），这是处理非负可测函数积分的经典技巧，把函数的$L^q$积分转化为关于水平集测度的积分，非常适配这个问题：
$$\int_E |f|^q = q \int_0^\infty \lambda^{q-1} |E_\lambda| d\lambda = q\left( \int_0^1 \lambda^{q-1} |E_\lambda| d\lambda + \int_1^\infty \lambda^{q-1} |E_\lambda| d\lambda \right)$$
其中$E_\lambda = { x \in E: |f(x)| > \lambda}$。
- 对于$\int_0^1 \lambda^{q-1} |E_\lambda| d\lambda$：
因为$|E_\lambda| \leq |E| < \infty$，且$\lambda^{q-1}$在$[0,1]$上可积（$q>0$时，$q-1 > -1$，积分收敛），所以这部分必然有限。 - 对于$\int_1^\infty \lambda^{q-1} |E_\lambda| d\lambda$：
你利用了$|E_\lambda| \leq |{x\in\mathbb{R}^n: |f(x)|>\lambda}|$，结合$N$的定义$\lambda^p |{x\in\mathbb{R}^n: |f(x)|>\lambda}| \leq N$，得到$|{x\in\mathbb{R}^n: |f(x)|>\lambda}| \leq N \lambda^{-p}$。代入后积分变为：
$$\int_1^\infty \lambda^{q-1} |E_\lambda| d\lambda\leq N \int_1^\infty \lambda^{q-1-p} d\lambda$$
由于$p>q$，$q-1-p = (q-p)-1 < -1$，这个反常积分收敛，因此第二部分也有限。
两部分相加自然得到$\int_E |f|^q < \infty$，整个逻辑链完整且严谨，没有问题。
第二问的精细化证明
要证明这个不等式，我们需要对层蛋糕公式的积分拆分做更精细的选择——不再固定拆在$\lambda=1$，而是选择一个和$N$、$|E|$相关的拆分点$\lambda_0 = \left( \frac{N}{|E|} \right)^{1/p}$，这个点的意义是：当$\lambda < \lambda_0$时，用$|E|$估计$|E_\lambda|$更紧；当$\lambda > \lambda_0$时，用$N \lambda^{-p}$估计更紧。
同样从层蛋糕公式出发：
$$\int_E |f|^q = q \left( \int_0^{\lambda_0} \lambda^{q-1} |E_\lambda| d\lambda + \int_{\lambda_0}^\infty \lambda^{q-1} |E_\lambda| d\lambda \right)$$
第一步：估计第一部分积分（$\int_0^{\lambda_0}$）
因为$|E_\lambda| \leq |E|$，所以：
$$\int_0^{\lambda_0} \lambda^{q-1} |E_\lambda| d\lambda \leq |E| \int_0^{\lambda_0} \lambda^{q-1} d\lambda$$
计算积分：
$$\int_0^{\lambda_0} \lambda^{q-1} d\lambda = \frac{\lambda_0^q}{q}$$
代入后第一部分的贡献为：
$$q \times |E| \times \frac{\lambda_0^q}{q} = |E| \lambda_0^q$$
第二步：估计第二部分积分（$\int_{\lambda_0}^\infty$）
利用$|E_\lambda| \leq |{x\in\mathbb{R}^n: |f(x)|>\lambda}| \leq N \lambda^{-p}$，代入得：
$$\int_{\lambda_0}^\infty \lambda^{q-1} |E_\lambda| d\lambda \leq N \int_{\lambda_0}^\infty \lambda^{q-1-p} d\lambda$$
计算积分（注意$p>q$，指数$q-1-p < -1$，积分收敛）：
$$\int_{\lambda_0}^\infty \lambda^{q-1-p} d\lambda = \frac{\lambda_0^{q-p}}{p - q}$$
代入后第二部分的贡献为：
$$q \times N \times \frac{\lambda_0^{q-p}}{p - q} = \frac{q N}{p - q} \lambda_0^{q-p}$$
第三步：合并两部分并代入$\lambda_0$的表达式
现在把$\lambda_0 = \left( \frac{N}{|E|} \right)^{1/p}$代入：
- 第一部分：$|E| \lambda_0^q = |E| \times \left( \frac{N}{|E|} \right)^{q/p} = N^{q/p} |E|^{1 - q/p}$
- 第二部分：$\frac{q N}{p - q} \lambda_0^{q-p} = \frac{q N}{p - q} \times \left( \frac{N}{|E|} \right)^{\frac{q-p}{p}} = \frac{q}{p - q} N^{q/p} |E|^{1 - q/p}$
将两部分相加：
$$\int_E |f|^q \leq \left( 1 + \frac{q}{p - q} \right) N^{q/p} |E|^{1 - q/p} = \frac{p}{p - q} N^{q/p} |E|^{1 - q/p}$$
这里的常数$C = \frac{p}{p - q}$，显然仅依赖于$p$和$q$（题目中提到依赖于$n,p,q$，这个常数满足要求，因为$n$在证明中未用到，包含进去也没问题）。
备注：内容来源于stack exchange，提问作者Mr. Proof
