Complete Symbols of Equivariant Pseudodifferential Operators on Noncompact Symmetric Spaces

技术摘要：非紧对称空间上等变伪微分算子的完全符号

问题陈述
欧几里得空间 $\mathbb{R}^n$ 上的伪微分算子（PSDOs）理论从根本上依赖于“完全符号”函数 $a(x, \xi)$ 的存在，该函数通过傅里叶反演公式完整地表征算子。然而，在一般的光滑流形上，由于缺乏全局傅里叶理论，Hormander PSDOs 通常只保留其主符号（principal symbol），而缺乏完全符号。

本文针对流形 $M$ 为非紧黎曼对称空间 $G/K$ 的特殊情况进行了研究，其中 $G$ 是一个非紧半单李群，$K$ 是其极大紧子群。核心问题在于：对于 $G$-等变的 Hormander PSDOs，其表示论是否能提供一种有意义的“完全符号”概念。虽然 DeBello 和 Higson [DH26] 最近的工作确立了实秩为 1 时此类算子的主符号的存在性，但在一般非紧对称空间（包括高实秩情形）中，是否存在一个基于表示论的“完全”符号，仍然是一个悬而未决的问题。

方法论
作者利用了非紧半单李群的调和分析，特别是利用了 $L^2(G/K)$ 上的 Helgason-Fourier 变换和 Plancherel 公式。研究方法通过以下步骤进行：

1. 表示论框架： 本文利用了 $G$ 的球面缓和对（spherical tempered dual），该对由 $\lambda \in \mathfrak{a}^*$ 参数化（其中 $\mathfrak{a}$ 是李代数 $\mathfrak{p}$ 的极大阿贝尔子空间）。Helgason-Fourier 变换作为分析 $G$-等变算子的自然透镜，将这些算子简化为对偶空间上的乘子算子。
2. Harish-Chandra 符号的定义： 文中定义了一类被称为“Harish-Chandra 符号函数”（$m(\lambda)$）的新型函数。这些函数定义在球面缓和对上，满足类似于欧几里得符号的性质（在 $\lambda$ 及其导数上的多项式增长/衰减），但根据对称空间的几何特性进行了调整。
3. 通过 Abel 变换进行的核分析： 一个关键的技术组成部分是对这些算子的 Schwartz 核的分析。借鉴欧几里得核估计（Stein [Ste93]）以及 Anker [Ank90] 的工作，作者使用 Abel 变换在 $G/K$ 上的球面分析与 $\mathfrak{a}$ 上的欧几里得分析之间架起桥梁。这使得能够将核在远离对角线处的衰减性质转化为对符号的估计。
4. 分解技术： 用于证明主要核估计的证明过程采用了对符号（频率域 $\mathfrak{a}^*$）和核（空间域 $G/K$）的二进分解（dyadic decomposition）。作者借鉴了 Anker 的方法，即使用 Abel 变换域中的截断函数来使分析远离原点局部化，从而便于进行精确的点值估计。
5. “拉普拉斯技巧”： 为了处理非负阶数的算子，本文利用 Laplace-Beltrami 算子 $\Delta$ 将一般阶数的算子归约为负阶算子（负阶算子的有界性和光滑性质更易处理），这是 PSDO 理论中的标准技术，但在等变设定下进行了适配。

主要贡献与结果

• Harish-Chandra 伪微分算子的定义： 本文引入了 $G$-等变 Harish-Chandra PSDOs 类，这类算子被定义为关于 Helgason-Fourier 变换的乘子算子，其乘子为 Harish-Chandra 符号函数。
• 特征化定理（主要结果）： 本文证明了一个双向特征化结论（定理 5.1.4 和定理 4.2.25）。一个连续线性算子 $T: C^\infty_c(G/K) \to C^\infty(G/K)$ 是 Harish-Chandra PSDO，当且仅当它是满足 Schwartz 核满足快速离对角线衰减条件（具体而言，其核在远离对角线处为 Harish-Chandra Schwartz 函数）的 Hormander PSDO。
• 核估计： 定理 5.1.3 提供了阶数为 $r$ 的等变算子 $k(z)$ 的显式点值估计。在远离单位余陪集 $eK$ 处，核满足：
  $$|k(D_1; z; D_2)| \lesssim \phi_0(z) \cdot |z|^{-n-r-d_1-d_2-N}$$
  其中 $\phi_0$ 是基本球面函数，$n = \dim(G/K)$，$D_i$ 是不变微分算子。这证实了其核在远离对角线处表现得像 Schwartz 函数，而这一性质在一般流形上的 Hormander PSDOs 中并不成立。
• 代数结构： 本文确立了阶数为 $-\infty$ 的算子类（光滑算子）与双 $K$-不变 Harish-Chandra Schwartz 空间 $\mathcal{C}(K \backslash G / K)$ 之间存在同构关系，该空间构成了 Harish-Chandra PSDOs 代数中的一个闭的双侧理想。

意义与主张
本文声称回答了关于非紧对称空间上 $G$-等变 Hormander PSDOs 是否存在表示论意义下的完全符号的问题，并给出了肯定的回答。它将 DeBello 和 Higson [DH26] 的结果（此前仅限于主符号和实秩 1）扩展到了适用于所有实秩的完全符号理论。

其意义在于确立了：不同于一般流形中仅能定义主符号的情况，非紧对称空间特有的对称性允许建立一套根植于其群表示论的完全符号理论。作者指出，尽管“Harish-Chandra 伪微分算子”这一术语是新颖的，但这些算子本质上是乘子算子，而乘子算子这一类在 Clerc, Stein, Stanton, Tomas 和 Anker 的 $L^p$ 有界性理论中已有研究。本文的贡献在于通过其核对这些算子进行了严谨的特征化，并证明了“快速离对角线衰减”条件是存在此类完全符号的充分必要条件。

本文的研究被视为基础性的一步，作者提到涉及向量丛的一般情况更为复杂，需要对 $G$ 的缓和对进行更深入的研究，这也是未来研究的方向。