[论文解读] Fourier transforms of spherical distributions on compact symmetric spaces

Gestur Ólafsson, Henrik Schlichtkrull|ArXiv.org|Oct 1, 2008

Advanced Algebra and Geometry参考文献 26被引用 3

一句话总结

本文将Paley-Wiener定理推广至紧对称空间 $M = U/K$ 上的 $K$-不变分布，证明了具有小紧支集的分布的傅里叶变换可延拓为 $\mathfrak{a}_{\mathbb{C}}^*$ 上的整函数，其指数型增长速率与支集半径一致。傅里叶变换的像被刻画为Paley-Wiener空间，且奇异支集与变换的衰减性质相关联，将光滑函数情形的结果推广至分布情形。

ABSTRACT

In our previous articles "A local Paley-Wiener theorem for compact symmetric spaces", Adv. Math. 218 (2008), 202--215, and "Fourier series on compact symmetric spaces" (submitted) we studied Fourier series on a compact symmetric space M=U/K. In particular, we proved a Paley-Wiener type theorem for the smooth functions on M, which have sufficiently small support and are K-invariant, respectively K-finite. In this article we extend those results to K-invariant distributions on M. We show that the Fourier transform of a distribution, which is supported in a sufficiently small ball around the base point, extends to a holomorphic function of exponential type. We describe the image of the Fourier transform in the space of holomorphic functions. We characterize the singular support of a distribution in terms of its Fourier transform. Finally, we use the Paley-Wiener theorem to characterize the distributions of small support, which are in the range of a given invariant differential operator.

研究动机与目标

• 将Paley-Wiener定理由紧对称空间 $M = U/K$ 上的 $K$-不变光滑函数推广至 $K$-不变分布。
• 刻画此类分布的傅里叶变换的像为指数型整函数空间。
• 将分布的奇异支集与傅里叶变换的衰减性质相联系，推广光滑情形的结果。
• 建立具有小支集的分布的刻画，使其属于给定不变微分算子的值域。

提出的方法

• 在对称空间的非紧部分的极大阿贝尔子空间 $\mathfrak{a}$ 上使用球面对傅里叶变换，作用于 $\mathfrak{a}_{\mathbb{C}}^*$。
• 利用先前关于 $K$-不变光滑函数的工作结果（来自 [27]），通过对偶性和解析延拓将Paley-Wiener定理推广至分布。
• 将Paley-Wiener空间 $\mathrm{PW}_r^*(\mathfrak{a})$ 定义为 $\mathfrak{a}_{\mathbb{C}}^*$ 上满足指数型增长估计、指数为 $r$（与支集半径匹配）的整函数空间。
• 应用Hörmander型估计，通过傅里叶变换的衰减条件刻画奇异支集，特别要求在 $|\mathrm{Im}(\lambda)|$ 的某些增长约束下，满足 $|F(\lambda)| \leq C_m(1+|\lambda|)^N e^{r|\mathrm{Im}(\lambda)|}$ 的有界性。
• 使用覆盖空间技巧，通过将函数和分布提升至覆盖空间 $Z_0 \times U'/K'$，将半单群上的结果推广至一般紧对称空间，保持 $K$-不变性与傅里叶变换结构。
• 建立原空间与其覆盖空间上傅里叶变换的交换图，确保Paley-Wiener空间被保持，且变换在 $K$-不变分布上为单射。

实验结果

研究问题

• RQ1 紧对称空间 $M = U/K$ 上的 $K$-不变分布的傅里叶变换如何延拓为整函数？其像由何种增长条件刻画？
• RQ2 $K$-不变分布的支集半径与其傅里叶变换的指数型之间存在何种精确关系？
• RQ3 如何通过傅里叶变换的衰减与增长性质刻画 $K$-不变分布的奇异支集？
• RQ4 能否将光滑 $K$-不变函数的Paley-Wiener定理推广至具有紧支集的 $K$-不变分布空间？
• RQ5 如何利用傅里叶变换刻画不变微分算子在 $K$-不变分布上的值域？

主要发现

• 支集包含于半径为 $r$ 的闭球内的 $K$-不变分布的傅里叶变换，可延拓为 $\mathfrak{a}_{\mathbb{C}}^*$ 上的整函数，其指数型为 $r$，与支集半径一致。
• 支集包含于半径为 $r$ 的闭球内的 $K$-不变分布的傅里叶变换的像，恰好是Paley-Wiener空间 $\mathrm{PW}_r^*(\mathfrak{a})$，即满足对所有 $\lambda \in \mathfrak{a}_{\mathbb{C}}^*$ 和所有 $N \in \mathbb{Z}^+$，有 $|F(\lambda)| \leq C_N(1+|\lambda|)^{-N}e^{r|\mathrm{Im}(\lambda)|}$ 的整函数空间。
• 若 $K$-不变分布的奇异支集包含于半径为 $r$ 的闭球中，当且仅当其傅里叶变换满足：对所有满足 $|\mathrm{Im}(\lambda)| \leq m \log(1+|\lambda|)$ 的 $\lambda$，有 $|F(\lambda)| \leq C_m(1+|\lambda|)^N e^{r|\mathrm{Im}(\lambda)|}$，其中 $N$ 固定，$m$ 取遍所有正整数。
• 分布情形的Paley-Wiener定理刻画了具有小支集的 $K$-不变分布：其傅里叶变换属于 $\mathrm{PW}_r^*(\mathfrak{a})$，且指数 $r$ 等于包含支集的最小闭球的半径。
• 通过覆盖空间构造，结果可推广至所有紧对称空间：$U/K$ 被覆盖于 $Z_0 \times U'/K'$，若Paley-Wiener定理在覆盖空间上成立，则其在 $U/K$ 上也成立，且保持 $K$-不变性与变换结构。
• 在 $\mathrm{PW}_r^*(\mathfrak{a})$ 上的傅里叶变换在 $K$-不变分布上为单射，且该空间中的函数由其在最高权集合 $\Lambda^+(U/K)$ 上的限制唯一确定。