[论文解读] Pseudodifferential operators and weighted normed symbol spaces

Johannes Sjoestrand|ArXiv.org|Apr 10, 2007

Mathematical Analysis and Transform Methods参考文献 29被引用 6

一句话总结

本文引入了一类广义的伪微分算子，其符号通过相空间上的加权范数空间定义，采用调制型权重和基于格点的控制函数。通过有效的核估计和基于卷积的复合规则，建立了 $L^2$-有界性和 Schatten 类成员资格，扩展了关于低正则性符号的先前结果，并通过 Banach 序列空间和 Bargmann 变换统一了各类框架。

ABSTRACT

In this work we study some general classes of pseudodifferential operators whose symbols are defined in terms of phase space estimates.

研究动机与目标

• 通过在相空间上利用加权范数空间定义符号类，扩展低正则性符号的伪微分算子理论。
• 通过依赖于位置和动量变量的序函数，推广伪微分算子的 $L^2$-有界性和复合微分演算。
• 通过将 Banach 序列空间结构融入符号演算，统一并扩展现有关于调制空间和 Gabor 分析的结果。
• 通过序列空间范数对算子核建立 Schatten $C_p$-类成员资格的充分条件。
• 提供一个灵活的框架，用于基于格点控制函数和有效核的低正则性符号算子的微局部分析。

提出的方法

• 通过相空间 $E = \mathbb{R}^n \times (\mathbb{R}^n)^*$ 上的序函数 $m$ 和格点 $\Gamma \subset E$ 上的 Banach 序列空间 $B$，定义符号空间 $\widetilde{S}(m, B)$，要求 $m$-加权 $\ell^\infty$-有界性。
• 在 $E \times E$ 上引入有效核 $K^{\rm eff}_{a^w}(x,y)$，满足点态控制 $|K^{\rm eff}_{a^w}(x,y)| \lesssim m(\gamma(x,y))$，其中 $\gamma(x,y) = \left(\frac{x+y}{2}, J^{-1}(y-x)\right)$，$J$ 为辛映射。
• 通过证明若有效核在 $L^2(E)$ 中有界，则 $a^w$ 在 $L^2(\mathbb{R}^n)$ 上有界，从而建立 $a^w$ 的 $L^2$-有界性，推广了早期结果。
• 推导 Weyl 量化下的复合规则：若 $a_1 \in \widetilde{S}(m_1, B_1)$，$a_2 \in \widetilde{S}(m_2, B_2)$，则 $a_1^w \circ a_2^w = a_3^w$ 且 $a_3 \in \widetilde{S}(m_3, B_3)$，其中 $m_3$ 通过控制核的卷积定义。
• 利用 Bargmann 变换和 Gabor 格架技术，将符号空间与格点上的序列空间关联，从而可使用离散卷积估计。
• 通过证明：若与核相关的矩阵 $(a_{\alpha,\beta})$ 在 $m$-加权下属于 $C_p(\ell^2(\Gamma))$，则 $a^w \in C_p(L^2)$，且其范数受 $\|a\|_{\widetilde{S}(m,B)}$ 控制，从而证明 Schatten $C_p$-类成员资格。

实验结果

研究问题

• RQ1 如何将仅依赖于动量变量的序函数推广，以扩展低正则性符号伪微分算子的演算？
• RQ2 在加权符号空间中的伪微分算子何时在 $L^2$ 上有界？
• RQ3 两个此类算子的复合能否通过有效核和序列空间范数表征？
• RQ4 在何种条件下，伪微分算子属于 Schatten $C_p$-类？
• RQ5 基于格点的控制函数和 Banach 序列空间如何改进低正则性符号伪微分算子的微局部分析？

主要发现

• 通过相空间 $L^1$-控制傅里叶变换的局部化符号所定义的符号空间等价于调制空间，且该类在点乘和 Weyl 量化下封闭。
• 当 $m = m(x^*)$ 仅依赖于动量时，若 $m$ 在 $E^*$ 上可积，则 $a^w$ 的 $L^2$-有界性成立，推广了早期结果。
• 复合 $a_1^w \circ a_2^w = a_3^w$ 是良定义的，且 $a_3 \in \widetilde{S}(m_3, B_3)$，当卷积 $m_1 * m_2 * \langle \cdot \rangle^{-N}$ 对于 $N > 2n$ 收敛时成立，其中 $m_3$ 通过此卷积定义。
• 若与核相关的矩阵 $(a_{\alpha,\beta})$ 在 $m$-加权下属于 $C_p(\ell^2(\Gamma))$，则 $a^w$ 的 $C_p$-类成员资格得到保证，且满足 $\|a^w\|_{C_p} \leq C \|a\|_{\widetilde{S}(m,B)}$。
• 条件 $\|(a_{\alpha,\beta})\|_{C_p} \leq C \|(a_{\alpha,\beta})\|_{(m \circ q)B \circ q}$ 确保 $a^w \in C_p(L^2)$，且该性质在格点和权重变换下保持不变。
• 有效核 $K^{\rm eff}_{a^w}(x,y)$ 满足 $|K^{\rm eff}_{a^w}(x,y)| \lesssim m(\gamma(x,y))$，且其 $L^2$-有界性蕴含 $a^w$ 的 $L^2$-有界性，为核估计与算子性质之间建立了关键联系。