[论文解读] Approximation property and nuclearity on mixed-norm $L^p$, modulation and Wiener amalgam spaces

Julio Delgado, Michael Ruzhansky+1 more|arXiv (Cornell University)|Oct 17, 2014

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

一句话总结

本文利用Gabor框架表示，建立了加权混合-norm Lebesgue、调制和Wiener混合空间的度量逼近性质，从而使得Grothendieck的核算子理论得以应用。推导了r-核算子的迹公式，并将该框架应用于调制空间上的谐振子函数，证明了其r-核性及迹公式。

ABSTRACT

In this paper we first prove the metric approximation property for weighted mixed-norm $L_w^{(p_1,\dots ,p_n)}$ spaces. Using Gabor frame representation this implies that the same property holds in weighted modulation and Wiener amalgam spaces. As a consequence, Grothendieck's theory becomes applicable, and we give criteria for nuclearity and $r$-nuclearity for operators acting on these space as well as derive the corresponding trace formulae. Finally, we apply the notion of nuclearity to functions of the harmonic oscillator on modulation spaces.

研究动机与目标

• 建立加权混合-norm $L^p$ 空间的度量逼近性质，这是应用Grothendieck核算子理论的基础。
• 通过Gabor框架表示，将逼近性质扩展至加权调制和Wiener混合空间。
• 利用逼近性质，推导这些函数空间上算子的r-核性及其迹公式的判别准则。
• 将核性框架应用于调制空间上的谐振子函数，特别是建立此类算子的迹公式。

提出的方法

• 通过这些空间中Gabor框架的存在性，证明加权混合-norm $L^p$ 空间的度量逼近性质。
• 利用Gabor框架表示，推导调制空间和Wiener混合空间的度量逼近性质。
• 通过验证逼近性质，应用Grothendieck的核算子理论，从而定义核算子的迹与行列式。
• 推导这些空间上r-核算子的迹公式，特别是证明当 $r \leq \frac{2}{3}$ 时，$\operatorname{Tr}(T) = \sum_j \lambda_j$ 成立。
• 利用调制空间 $\mathcal{M}_s^{p,q}$ 与 $\mathcal{M}_{-s}^{p',q'}$ 之间的对偶性，通过算子核与特征值级数表达迹。
• 将该框架应用于谐振子算子 $A = -\Delta + |x|^2$，通过谱分解和特征函数展开分析 $F(A)$ 在调制空间中的性质。

实验结果

研究问题

• RQ1 加权混合-norm $L^p$ 空间是否具有度量逼近性质？
• RQ2 能否通过Gabor框架技术将度量逼近性质扩展至调制和Wiener混合空间？
• RQ3 算子在这些函数空间上为r-核算子的必要与充分条件是什么？
• RQ4 在何种条件下，r-核算子在这些空间上的迹公式 $\operatorname{Tr}(T) = \sum_j \lambda_j$ 成立？
• RQ5 算子 $F(-\Delta + |x|^2)$ 在调制空间 $\mathcal{M}_s^{p,q}$ 上何时为r-核算子，其迹何时等于 $\sum_j F(\lambda_j)$？

主要发现

• 加权混合-norm $L^p$ 空间 $L_w^{(p_1,\dots,p_n)}$ 具有度量逼近性质，这意味着它也具有有界逼近性质。
• 由于调制和Wiener混合空间具有Gabor框架表示，因此它们也具有度量逼近性质。
• 当 $r \leq \frac{2}{3}$ 时，若算子 $T$ 在这些空间上为r-核算子，则迹公式 $\operatorname{Tr}(T) = \sum_j \lambda_j$ 绝对收敛成立。
• 算子 $F(-\Delta + |x|^2)$ 在 $\mathcal{M}_s^{p,q}$ 上为r-核算子的条件是 $\sum_j |F(\lambda_j)|^r \|\phi_j\|_{\mathcal{M}_s^{p,q}}^r \|\phi_j\|_{\mathcal{M}_{-s}^{p',q'}}^r < \infty$。
• 当 $r=1$ 时，若级数收敛，则迹公式 $\operatorname{Tr}F(-\Delta + |x|^2) = \sum_j F(\lambda_j)$ 绝对成立。
• 迹公式的合理性源于Hermite函数 $\phi_j$ 的光滑性与快速衰减性，这保证了 $\langle \phi_j, \overline{\phi_j} \rangle_{\mathcal{M}_s^{p,q}, \mathcal{M}_{-s}^{p',q'}} = 1$。