[论文解读] On the Hörmander multiplier theorem and modulation spaces

Naohito Tomita|ArXiv.org|Apr 21, 2008

Mathematical Analysis and Transform Methods参考文献 16被引用 3

一句话总结

本文研究调制空间 $ M^{2,1}_0 $ 是否可以替代霍尔曼德乘子定理中的贝索夫空间 $ B^{2,1}_{n/2} $。结果表明，尽管当 $ s > 0 $ 时，通过插值与对偶性可得 $ M^{2,1}_s $ 确保傅里叶乘子的 $ L^p $ 有界性，但临界情形 $ s = 0 $ 失败：存在在 $ M^{2,1}_0 $ 中有界的乘子，其在 $ L^p $ 上对 $ p \neq 2 $ 无界，说明 $ M^{2,1}_0 $ 不足以替代 $ B^{2,1}_{n/2} $。

ABSTRACT

It is known that the Sobolev space $L^2_s$ with $s>n/2$ appeared in the Hörmander multiplier theorem can be replaced by the Besov space $B^{2,1}_{n/2}$. On the other hand, the Besov space $B_{n/2}^{2,1}$ is continuously embedded in the modulation space $M^{2,1}_0$. In this paper, we consider the problem whether we can replace $B_{n/2}^{2,1}$ by $M^{2,1}_0$.

研究动机与目标

• 确定调制空间 $ M^{2,1}_0 $ 是否可替代霍尔曼德乘子定理中的贝索夫空间 $ B^{2,1}_{n/2} $。
• 分析 $ M^{2,1}_s $、$ B^{2,1}_{n/2} $ 与傅里叶乘子在 $ 1 < p < \infty $ 下的 $ L^p $-有界性之间的关系。
• 研究嵌入关系 $ B^{2,1}_{n/2} \hookrightarrow M^{2,1}_0 $ 的精确性及其对乘子定理的影响。
• 阐明 $ M^{2,1}_s $ 中临界情形 $ s = 0 $ 的作用。
• 提供反例以说明 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $ 不能推出 $ p \neq 2 $ 时的 $ L^p $-有界性。

提出的方法

• 论文采用分解 $ m_j(\xi) = \psi(\xi) m(2^j \xi) $，其中 $ \psi $ 是紧支集于环形区域的光滑截断函数，以在频域中局部化乘子。
• 关键估计通过范数等价关系 $ \|m_j\|_{M^{2,1}_s} \asymp \|(I - \Delta)^{s/2} m_j\|_{\mathcal{F}L^1} $ 推导，该关系将调制空间范数与傅里叶像范数联系起来。
• 利用托夫及杉本-富田的嵌入结果，比较 $ B^{2,1}_{n/2} $ 与 $ M^{2,1}_0 $，表明当 $ 0 < s < n/2 $ 时二者无包含关系。
• 应用插值与对偶性论证，将有界性从 $ H^1 $ 扩展至 $ L^p $（$ 1 < p < \infty $），在 $ \sup_j \|m_j\|_{M^{2,1}_s} < \infty $ 且 $ s > 0 $ 的条件下。
• 改编特里贝尔的反例，表明 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $ 不能推出 $ p \neq 2 $ 时的 $ L^p $-有界性，利用 $ \mathcal{F}^{-1}m \in B^{1,\infty}_0 $ 的性质。
• 使用范数等价关系 $ \|m_j\|_{M^{p,1}_s} \asymp \|(I - \Delta)^{s/2} m_j\|_{\mathcal{F}L^1} $，将结果推广至 $ M^{p,1}_s $（$ 1 \leq p \leq \infty $）。

实验结果

研究问题

• RQ1 调制空间 $ M^{2,1}_0 $ 是否可替代霍尔曼德乘子定理中的贝索夫空间 $ B^{2,1}_{n/2} $？
• RQ2 当 $ p \neq 2 $ 时，条件 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $ 是否足以保证 $ m(D) $ 的 $ L^p $-有界性？
• RQ3 当 $ 0 < s < n/2 $ 时，$ B^{2,1}_{n/2} $ 与 $ M^{2,1}_s $ 之间有何关系？这是否影响乘子的有界性？
• RQ4 嵌入关系 $ B^{2,1}_{n/2} \hookrightarrow M^{2,1}_0 $ 是否意味着 $ M^{2,1}_0 $ 足够用于乘子定理？
• RQ5 调制空间 $ M^{2,1}_s $ 中临界情形 $ s = 0 $ 是否可用于刻画傅里叶乘子的 $ L^p $-有界性？

主要发现

• 定理 1.1 表明：若对某 $ s > 0 $ 有 $ \sup_j \|m_j\|_{M^{2,1}_s} < \infty $，则 $ m(D) $ 在 $ H^1(\mathbb{R}^n) $ 上有界，且通过插值与对偶性，对所有 $ 1 < p < \infty $ 在 $ L^p(\mathbb{R}^n) $ 上有界。
• 推论 1.2 表明：若 $ \sup_j \|\widehat{m_j}\|_{K^{1,1}_s} < \infty $，则 $ H^1 $-有界性成立，这是 Baernstein-Sawyer 结果的一个特例。
• 推论 1.3 将结果推广至 $ M^{p,1}_s $（$ 1 \leq p \leq \infty $），表明若 $ \sup_j \|m_j\|_{M^{p,1}_s} < \infty $ 且 $ s > 0 $，则 $ H^1 $-有界性成立。
• 命题 1.4 提供了否定答案：存在一个分布 $ m \in \mathcal{S}'(\mathbb{R}^n) $，使得 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $，但 $ m(D) $ 在 $ L^p(\mathbb{R}^n) $ 上对任意 $ p \neq 2 $ 均无界。
• 嵌入关系 $ B^{2,1}_{n/2} \hookrightarrow M^{2,1}_0 $ 成立，但 $ M^{2,1}_0 \not\hookrightarrow B^{2,1}_{n/2} $，且在 $ 0 < s < n/2 $ 时 $ B^{2,1}_{n/2} $ 与 $ M^{2,1}_s $ 之间无包含关系，表明二者在此范围内不可比较。
• 通过 $ (I - \Delta)^{s/2} m_j $ 的傅里叶像，建立了范数等价关系 $ \|m_j\|_{M^{2,1}_s} \asymp \|(I - \Delta)^{s/2} m_j\|_{\mathcal{F}L^1} $，将调制空间范数与傅里叶限制估计联系起来。