[论文解读] Lp-Nuclearity, traces, and Grothendieck-Lidskii formula on compact Lie groups

Julio Delgado, Michael Ruzhansky|Mar 19, 2013

Advanced Operator Algebra Research参考文献 23被引用 57

一句话总结

本文通过在 $G \times \widehat{G}$ 上使用矩阵符号，建立了紧李群上算子的 $L^p$-核性与 $r$-核性的符号准则，使得在无需对符号施加正则性假设的情况下，能够获得迹公式与特征值分布结果。其关键贡献在于建立了 $r$-核性指标与 $L^p$-空间指标之间的精确联系，通过非交换调和分析将格罗滕迪克的 $\frac{2}{3}$-核性结果推广至 $L^p$-空间。

ABSTRACT

Given a compact Lie group $G$, in this paper we give symbolic criteria for operators to be nuclear and r-nuclear on Lp-spaces, with applications to distribution of eigenvalues and trace formulae. Since criteria in terms of kernels are often not effective in view of Carleman's example, in this paper we adopt the symbolic point of view. The criteria here are given in terms of the concept of matrix symbols defined on the non-commutative analogue of the phase space $G imes\hat{G}$, where $\hat{G}$ is the unitary dual of $G$.

研究动机与目标

• 为紧李群 $G$ 上 $L^p(G)$ 上的 $r$-核算子建立符号准则，克服基于核的方法的局限性。
• 通过将 $r$-核性指标与 $p$-指标关联，将格罗滕迪克的 $\frac{2}{3}$-核性迹公式推广至 $L^p$-空间。
• 利用 $G \times \widehat{G}$ 上的矩阵符号，为 $L^p(G)$ 上的算子建立迹公式与特征值分布结果。
• 证明热算子 $e^{-t\mathcal{L}_G}$ 在 $L^p(G)$ 上对所有 $t>0$ 和 $1 \leq p < \infty$ 均为 $r$-核性，并给出显式迹公式。

提出的方法

• 通过在非交换相空间 $G \times \widehat{G}$ 上定义矩阵符号（其中 $\widehat{G}$ 为 $G$ 的单位酉对偶）来表征 $r$-核性。
• 采用 [RT10a, RT12] 中的全局量化技术，避免对符号施加正则性假设。
• 通过 $r$-核性应用格罗滕迪克-利德斯凯迹公式，其中 $r$ 依赖于 $p$。
• 利用热核符号 $\sigma_{e^{-t\mathcal{L}_G}}(x,\xi) = e^{-t|\xi|^2}I_{d_\xi}$ 推导 $r$-核性与迹公式。
• 通过 $\|\overline{\xi}_{ij}\|_{L^{q_1}(G)} = d_\xi^{-1/\widetilde{q_1}}$ 与算子范数估计，控制核分量的 $L^p$-范数。
• 借助外尔渐近公式，确保迹级数 $\sum_{[\xi]} d_\xi^2 e^{-t\lambda_{[\xi]}^2} < \infty$ 的收敛性。

实验结果

研究问题

• RQ1 在紧李群上，何种符号条件可确保算子在 $L^p(G)$ 上的 $r$-核性（$1 \leq p < \infty$）？
• RQ2 在迹公式背景下，最优的 $r$-核性指标如何与 $L^p$-空间指标关联？
• RQ3 能否证明热算子 $e^{-t\mathcal{L}_G}$ 在 $L^p(G)$ 上为 $r$-核性，其迹为何？
• RQ4 如何利用非光滑符号将格罗滕迪克-利德斯凯公式推广至 $L^p$-空间？
• RQ5 从 $\frac{2}{3}$-核算子的迹中可导出的特征值个数下限为何？

主要发现

• 对所有 $t > 0$ 和 $1 \leq p < \infty$，热算子 $e^{-t\mathcal{L}_G}$ 在 $L^p(G)$ 上为 $r$-核性，且 $r = 1$ 意味着迹类算子。
• 在 $L^p(G)$ 上，$e^{-t\mathcal{L}_G}$ 的迹为 $\operatorname{Tr}(e^{-t\mathcal{L}_G}) = \sum_{[\xi] \in \widehat{G}} d_\xi^2 e^{-t\lambda_{[\xi]}^2}$，对所有 $p$ 均成立。
• 通过 $\sum_{\xi,ij} \|g_{\xi,ij}\|_{L^{p_2}} \|h_{\xi,ij}\|_{L^{q_1}} < \infty$（其中 $q_1$ 为 $p_1$ 的对偶）建立 $e^{-t\mathcal{L}_G}$ 的 $r$-核性。
• $L^p(G)$ 上算子 $T$ 的 $\frac{2}{3}$-核性意味着 $|\operatorname{Tr}(T)| / M \leq N$，其中 $N$ 为特征值个数，$M$ 为特征值模的上界。
• 该方法避免了对符号的正则性假设，相较于传统的柯恩-利伯曼量化方法具有显著优势。
• $r$-核性指标与 $p$ 之间存在关联，使得格罗滕迪克-利德斯凯公式成立，从而将 $\frac{2}{3}$ 指标推广至 $L^p$-空间。