[论文解读] Continuity and Schatten properties for pseudo-differential operators with symbols in quasi-Banach modulation spaces or Hörmander classes

Joachim Toft|arXiv (Cornell University)|Jun 15, 2014

Mathematical Analysis and Transform Methods参考文献 23被引用 4

一句话总结

本文建立了伪微分算子在拟范数调制空间或霍尔姆德类符号下的连续性和施瓦茨-冯诺伊曼性质，将先前结果扩展至包含 Lebesgue 和施瓦茨参数在 (0, ∞] 的情形。通过格伯分析与矩阵算子分解，证明了在 $ p \in (0, \infty] $ 时，属于施瓦茨-冯诺伊曼类 $\mathscr{I}_p$ 的算子可通过符号在 $ L^p $-型范数下的衰减来表征，即使 $ p < 1 $ 时这些空间不具备局部凸性，从而克服了相关挑战。

ABSTRACT

We establish continuity and Schatten-von Neumann properties for matrix operators with matrices satisfying mixed quasi-norm estimates. These considerations also include the case when the Lebesgue and Schatten parameters are allowed to stay between $0$ and $1$. We use the results to deduce continuity and Schatten-von Neumann properties for pseudo-differential operators with symbols in a broad class of modulation spaces.

研究动机与目标

• 将伪微分算子的施瓦茨-冯诺伊曼与连续性性质扩展至完整的范围 $ p \in (0, \infty] $，包括非局部凸情形 $ p < 1 $。
• 克服在拟范数调制空间与 $ p < 1 $ 时的 $ L^p $ 空间中由于局部凸性失效而引发的技术挑战。
• 通过发展具有混合拟范数的新矩阵算子估计，将已知的 $ p \geq 1 $ 时的结果推广至 $ p < 1 $。
• 建立符号在 $ L^p $-型范数下的衰减与施瓦茨-冯诺伊曼类 $\mathscr{I}_p$ 中成员资格之间的联系，其中 $ p \in (0, \infty] $。
• 在非局部凸环境下，通过格伯分析与因子分解技术，为伪微分算子的连续性与紧致性提供一个全面的框架。

提出的方法

• 推导满足在 $ \ell^p $ 与 $ \ell^q $ 空间中混合拟范数估计的矩阵算子的连续性与施瓦茨-冯诺伊曼性质，其中 $ p, q \in (0, \infty] $。
• 应用格伯分析将伪微分算子通过时频局部化表示，从而将矩阵结果转移至算子类。
• 使用矩阵算子的因子分解技术处理拟范数空间中的非局部凸性，特别是针对 $ p < 1 $ 的情形。
• 通过 $ \operatorname{Op}(a) \in \mathscr{I}_p \Leftrightarrow a \in L^p $ 在霍尔姆德类中的等价性，建立符号在 $ L^p $-型范数下的衰减与算子奇异值衰减之间的联系。
• 通过使用 $ v $-适度权函数与短时傅里叶变换的性质，将加权估计与 $ p < 1 $ 时的调制空间范数相结合。
• 证明 $\|a*b\|_{L^p} \lesssim \|a\|_{s_t^p} \|b\|_{s_t^p}$ 对于 $ p \in (0,1] $ 成立，将卷积估计推广至拟范数空间。

实验结果

研究问题

• RQ1 伪微分算子的施瓦茨-冯诺伊曼性质能否扩展至 $ p < 1 $ 的情形，此时标准局部凸性不成立？
• RQ2 当符号属于 $ p < 1 $ 的拟范数调制空间时，如何表征伪微分算子的连续性与紧致性？
• RQ3 何种具有混合拟范数的矩阵算子估计足以推导出伪微分算子属于施瓦茨-冯诺伊曼类？
• RQ4 格伯分析与因子分解技术在多大程度上可被适配至非局部凸函数空间，以研究伪微分算子？
• RQ5 当符号 $ a $ 属于霍尔姆德类或调制空间时，等价关系 $ \operatorname{Op}(a) \in \mathscr{I}_p \Leftrightarrow a \in L^p $ 是否对 $ p \in (0, \infty] $ 成立？

主要发现

• 对于 $ p \in (0,1] $，卷积映射 $ (a,b) \mapsto a*b $ 是从 $ s_t^p \times s_t^p $ 到 $ L^p $ 的连续映射，将经典结果推广至拟范数空间。
• 符号空间 $ s_t^p $ 连续嵌入 $ \mathscr{F}L^p $，即 $ L^p $ 的傅里叶像，对于 $ p \in (0, \infty] $ 成立，即使 $ p < 1 $ 时亦然。
• 伪微分算子 $ \operatorname{Op}(a) $ 的算子范数满足 $ \|\operatorname{Op}(a)\|_{\mathscr{I}_p} \lesssim \|a\|_{s_t^p} $，对于 $ p \in (0, \infty] $ 成立，将已知结果推广至 $ p < 1 $。
• 对于 $ a \in M^{p,p} $ 且 $ p \in (0,2] $，算子 $ \operatorname{Op}(a) $ 属于 $ \mathscr{I}_p $，将经典结果 $ \operatorname{Op}(a) \in \mathscr{I}_p \Leftrightarrow a \in L^p $ 推广至 $ p < 1 $。
• 嵌入关系 $ s_t^p \hookrightarrow \mathscr{F}L^p $ 对于 $ p \in (0, \infty] $ 成立，这意味着 $ s_t^p $ 中的符号衰减意味着 $ \ell^p $ 中奇异值的衰减。
• 通过在短时傅里叶变换上使用 $ L^{2p} $-范数估计与柯西-施瓦茨不等式，证明了 $ \|a*b\|_{L^p} \lesssim \|a\|_{s_t^p} \|b\|_{s_t^p} $ 对于 $ p \in (0,1] $ 成立，从而实现对 $ p < 1 $ 的推广。