关于Littlewood-Paley分解空间局部化推导分数阶Hardy不等式中关键不等式的证明问询

嘿，我来帮你理清这个卡壳的点！你其实是把问题想复杂了——这个不等式(3)根本不需要用到Littlewood-Paley分解的正交性，就是最基础的L²空间三角不等式的推广而已。

核心思路拆解 #

首先回忆一下，我们有Littlewood-Paley分解 $f = \sum_N P_N f$，这个级数在 $L^2(\mathbb{R}d)$ 中是收敛的（因为全局正交性给出 $\sum_N \lVert P_N f\rVert_{L^2}2 = \lVert f\rVert_{L^2}2$，级数的平方可和性直接保证了L²收敛）。

接下来看局部积分的情况：

1. 有限项的三角不等式：对于任意有限的dyadic整数集合（比如取所有 $N \leq M$），根据L²空间的三角不等式，必然有：
   $$\left\lVert \sum_{N \leq M} P_N f \right\rVert_{L^2(|x| \leq R)} \leq \sum_{N \leq M} \left\lVert P_N f \right\rVert_{L^2(|x| \leq R)}$$
   这一步就是普通的“和的范数不超过范数的和”，完全没有问题。
2. 取极限到无限和：当 $M \to \infty$ 时，左边的范数会收敛到 $\lVert f\rVert_{L^2(|x| \leq R)}$——原因是L²全局收敛蕴含局部L²收敛（毕竟 $|x| \leq R$ 是有限测度集，L²收敛的函数列在有限测度子集上的积分也会收敛）。
   而右边的级数是单调递增的（每一项都是非负的范数），所以它的极限就是无限和 $\sum_N \left\lVert P_N f \right\rVert_{L^2(|x| \leq R)}$。

把这两步结合起来，就直接得到了你疑惑的不等式(3)：
$$\left(\int_{\lvert x \rvert\le R} \lvert f(x)\rvert^2 dx\right)^\frac12 \le \sum_N \left( \int_{\lvert x \rvert \le R} \lvert P_N f(x)\rvert^2 dx\right)^\frac12$$

关于交叉项的补充说明 #

你之前担心的交叉项其实完全不影响这个上界估计。全局的Littlewood-Paley分解能给出范数平方的等式，是因为正交性抵消了交叉项，但这里我们只需要一个上界，三角不等式本身就已经涵盖了所有交叉项的情况——不管交叉项是正还是负，三角不等式都能给出和的范数的一个有效上界，根本不需要去分析交叉项的具体行为。

Tao说的“follow from Littlewood-Paley decomposition and the triangle inequality”，其实就是指：分解给出f是P_N f的和，然后对这个无限和直接推广使用三角不等式就够了。

备注：内容来源于stack exchange，提问作者Giuseppe Negro