L₁空间中满足g*g≤g几乎处处成立的函数的积分上界证明咨询

架构老林

2026-4-17

嘿各位，我正在处理一个Lebesgue积分与卷积相关的问题，目前有了初步思路，但想请大家帮忙验证下推导是否严谨，或者有没有遗漏的细节：

已知 $g \in L_1(\mathbb{R})$，且其自卷积满足 $g*g \leq g$ 几乎处处成立，需要证明：
$$\int_{\mathbb{R}} g(x) d\lambda_1(x) \leq 1$$

首先由积分的单调性，从 $gg \leq g$ 几乎处处成立，直接得到积分不等式：
$$\int_{\mathbb{R}} (gg)(x) \ d\lambda_1(x) \leq \int_{\mathbb{R}} g(x) \ d\lambda_1(x)$$
根据卷积的定义，$(g*g)(x) = \int_{\mathbb{R}} g(x - y) g(y) \ d\lambda_1(y)$，代入上式后得到：
$$\int_{\mathbb{R}} \left( \int_{\mathbb{R}} g(x - y) g(y) \ d\lambda_1(y) \right) \ d\lambda_1(x) \leq \int_{\mathbb{R}} g(x) \ d\lambda_1(x)$$
因为 $g \in L_1$，二元函数 $g(x-y)g(y)$ 在 $\mathbb{R}^2$ 上是Lebesgue可积的（计算其二范数：$\int_{\mathbb{R}^2} |g(x-y)g(y)| dxdy = |g|{L_1}^2 < \infty$），所以可以应用Fubini定理交换积分顺序，得到：
$$\int{\mathbb{R}} g(y) \left( \int_{\mathbb{R}} g(x - y) \ d\lambda_1(x) \right) \ d\lambda_1(y) \leq \int_{\mathbb{R}} g(x) \ d\lambda_1(x)$$
利用Lebesgue积分的平移不变性，内层积分 $\int_{\mathbb{R}} g(x - y) \ d\lambda_1(x) = \int_{\mathbb{R}} g(t) \ d\lambda_1(t) = |g|{L_1}$（做变量替换 $t = x - y$），因此左边可化简为：
$$|g|{L_1} \cdot \int_{\mathbb{R}} g(y) \ d\lambda_1(y) = (|g|_{L_1})^2$$
此时不等式转化为：
$$(|g|{L_1})^2 \leq |g|{L_1}$$
最后分情况讨论：
- 若 $|g|{L_1} > 0$，两边同时除以 $|g|{L_1}$，直接得到 $|g|_{L_1} \leq 1$；
- 若 $|g|_{L_1} = 0$，显然 $0 \leq 1$ 成立。