博赫纳-米赫林定理
让我为您详细讲解博赫纳-米赫林定理,这是一个在调和分析和傅里叶分析中极为重要的结果。
1. 背景与动机
在傅里叶分析中,我们经常关心一个函数 \(f\) 的傅里叶变换 \(\hat{f}\) 具有哪些性质。特别地,我们希望知道:给定一个函数 \(m\) 在频域上定义,何时存在一个函数 \(K\) 在时域上,使得 \(m\) 是 \(K\) 的傅里叶变换?博赫纳-米赫林定理给出了这个问题的深刻答案。
2. 预备知识
首先回顾几个关键概念:
-
缓增分布:在 \(\mathbb{R}^n\) 上, Schwartz 空间 \(\mathcal{S}(\mathbb{R}^n)\) 由所有光滑的速降函数组成。其上的连续线性泛函称为缓增分布,记作 \(\mathcal{S}'(\mathbb{R}^n)\)。
-
傅里叶变换:对于 \(f \in L^1(\mathbb{R}^n)\),其傅里叶变换定义为:
\[ \hat{f}(\xi) = \int_{\mathbb{R}^n} f(x)e^{-2\pi i x\cdot\xi} dx \]
这个定义可以延拓到缓增分布上。
- 乘子:设 \(1 \leq p < \infty\),一个缓增分布 \(m\) 称为 \(L^p\) 乘子,如果卷积算子 \(T_m: f \mapsto \mathcal{F}^{-1}(m\hat{f})\) 是 \(L^p\) 到 \(L^p\) 的有界线性算子,其中 \(\mathcal{F}^{-1}\) 表示傅里叶逆变换。
3. 定理陈述
博赫纳-米赫林定理(经典形式):
设 \(m \in L^\infty(\mathbb{R}^n)\)。如果存在整数 \(k > \frac{n}{2}\) 使得
\[(1+|\xi|^2)^{k/2}m(\xi) \in L^2(\mathbb{R}^n) \]
那么 \(m\) 是 \(L^p\) 乘子,对所有 \(1 \leq p \leq \infty\)。
更精确地,存在常数 \(C > 0\) 使得对任意 \(f \in L^p(\mathbb{R}^n)\),有
\[\|T_m f\|_p \leq C \|f\|_p \]
4. 证明思路
定理的证明分为几个关键步骤:
步骤1:构造核函数
定义 \(K = \mathcal{F}^{-1}m\),即 \(m\) 的傅里叶逆变换。由条件可知 \(K\) 是一个缓增分布。
步骤2:索伯列夫嵌入
条件 \((1+|\xi|^2)^{k/2}m(\xi) \in L^2(\mathbb{R}^n)\) 意味着 \(m\) 属于索伯列夫空间 \(H^k(\mathbb{R}^n)\)。由于 \(k > \frac{n}{2}\),由索伯列夫嵌入定理,\(m\) 实际上是一个连续函数。
步骤3:赫曼德尔乘子定理
这是证明的核心。我们需要证明卷积算子 \(T: f \mapsto K * f\) 是 \(L^p\) 有界的。证明的关键在于建立以下点态估计:
\[|K(x)| \leq C |x|^{-n} \quad \text{当 } |x| \to \infty \]
这个估计允许我们应用 Calderón-Zygmund 理论。
步骤4:插值理论
一旦我们证明了 \(T\) 在 \(L^2\) 和 \(L^1\)(或 \(L^\infty\))上的有界性,就可以通过 Riesz-Thorin 插值定理得到对所有 \(1 \leq p \leq \infty\) 的有界性。
5. 应用举例
例1:黎兹变换
黎兹变换 \(R_j\) 的乘子为 \(m_j(\xi) = -i\frac{\xi_j}{|\xi|}\)。容易验证 \(m_j\) 满足博赫纳-米赫林定理的条件,因此黎兹变换是 \(L^p\) 有界的,对 \(1 < p < \infty\)。
例2:拉普拉斯算子的分数次幂
考虑乘子 \(m(\xi) = |\xi|^\alpha\),其中 \(\alpha \in \mathbb{R}\)。当 \(\alpha\) 满足适当条件时,\(m\) 是 \(L^p\) 乘子。
6. 推广与变体
赫曼德尔乘子定理:如果对多重指标 \(\alpha\) 满足 \(|\alpha| \leq [n/2] + 1\),有
\[\sup_{R > 0} R^{2|\alpha| - n} \int_{R < |\xi| < 2R} |\partial^\alpha m(\xi)|^2 d\xi < \infty \]
那么 \(m\) 是 \(L^p\) 乘子,对 \(1 < p < \infty\)。
7. 重要性
博赫纳-米赫林定理的重要性在于:
- 提供了判断一个函数是否为 \(L^p\) 乘子的实用准则
- 建立了傅里叶乘子理论与函数空间理论的深刻联系
- 是研究奇异积分算子和偏微分方程正则性理论的基础工具
- 在调和分析的许多领域都有广泛应用
8. 技术细节
定理中的条件 \(k > \frac{n}{2}\) 是最优的。当 \(k = \frac{n}{2}\) 时,结论可能不成立。这个临界指数反映了索伯列夫空间嵌入定理的临界情形。
最终,博赫纳-米赫林定理告诉我们:一个函数如果足够光滑(在索伯列夫意义下),那么它自动就是 \(L^p\) 乘子。\(\boxed{\text{这个结果建立了函数光滑性与算子有界性之间的深刻联系}}\)