量化函数傅里叶变换的p-范数相关技术咨询

咱们先从最基础的已知结论说起，再拓展到不同$p$区间的情况：

1. $p=2$：Parseval恒等式（精确等式） #

当$f \in L^1(\mathbb{R}d) \cap L^2(\mathbb{R}d)$时，Parseval恒等式给出了傅里叶变换与原函数的$L^2$范数的精确关系：
$$|\hat{f}|{L^2(\mathbb{R}d)} = (2\pi)^{d/2} |f|{L^2(\mathbb{R}d)}$$
注：不同教材的傅里叶变换定义可能带有不同的常数因子，比如有的定义会把$(2\pi)^{{-d/2}$包含在变换里，这时候等式会变成$|\hat{f}|_{L}2} = |f|_{L^2}$，具体以你使用的定义为准。

2. $p \in (1,2]$：Hausdorff-Young不等式（上界结论） #

正如David提到的，这个区间的上界可以通过Riesz-Thorin插值定理推导出来：

• 傅里叶变换是$L^1 \to L^{\infty$的有界算子，满足$|\hat{f}|_{L}\infty} \leq |f|_{L^1}$；
• 结合$p=2$时的等距性，通过插值可得：对于$p \in (1,2]$，令$1/p + 1/p' = 1$（$p'$为$p$的共轭指数，此时$p' \in [2,\infty)$），傅里叶变换是$L^p \to L^{p'}$的有界算子，即：
  $$|\hat{f}|{L^{p'}} \leq C{p,d} |f|{L^p}$$
  其中常数$C{p,d}$与空间维度$d$和$p$有关，比如当$d=1$时，$C_{p,1} = (2\pi)^{1/p - 1/2}$，高维情况可通过张量积推广得到。这个不等式就是Hausdorff-Young不等式的核心内容。

3. $p=1$：有界性结论 #

当$p=1$时，傅里叶变换$\hat{f}$是$\mathbb{R}^d$上的有界连续函数，满足：
$$|\hat{f}|{L^{\infty(\mathbb{R}}d)} \leq |f|{L^1(\mathbb{R}d)}$$
这个上界是紧的——比如取$f$为高斯函数，其傅里叶变换也是高斯函数，能逼近这个界；但要注意，$L^{1$函数的傅里叶变换不一定属于$L}1$，比如区间$[0,1]$的特征函数，其傅里叶变换为$\sin\xi/\xi$（一维情况），并不属于$L^1(\mathbb{R})$。

4. $p \in (2,\infty)$：对偶与弱空间结论 #

当$p>2$时，傅里叶变换不再能像$p \in (1,2]$那样直接映射到某个$L^q$空间，但我们可以通过对偶原理得到相关结论：

• 结合Hausdorff-Young不等式的对偶形式：若$f \in L^p$（$p>2$）且$\hat{f} \in L^{p'}$（$p'$为$p$的共轭指数，此时$p' \in (1,2)$），则有：
  $$|f|{L^p} \leq C{p,d} |\hat{f}|_{L^{p'}}$$
• 另外，傅里叶变换是从$L^p$到**弱$L{p'}$空间**$L^{p',\infty}$的有界算子，这意味着存在常数$C$，使得对任意$\lambda>0$，有：
  $$|{ \xi \in \mathbb{R}^d : |\hat{f}(\xi)| > \lambda }| \leq \left( \frac{C |f|_{L^p}}{\lambda} \right)^{p'}$$
  不过要注意，存在$L^{p$（$p>2$）中的函数，其傅里叶变换不属于任何$L}q$（$q<\infty$），所以一般情况下没有类似$p \in (1,2]$的正方向上界。

额外补充 #

如果函数满足额外条件（比如紧支集、足够光滑、具有快速衰减性），可能会得到更精确的估计，但上述结论是针对一般$L^p$可积函数的标准结果。

内容的提问来源于stack exchange，提问作者user2130010