[论文解读] Fourier series on compact symmetric spaces

Gestur Ólafsson, Henrik Schlichtkrull|arXiv (Cornell University)|Apr 23, 2008

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

一句话总结

该论文为紧对称空间 $U/K$ 上的 $K$-有限光滑函数建立了类 Paley-Wiener 定理，表明若其傅里叶系数（取值于希尔伯特空间 $\mathcal{H} = L^2(K/M)$）在复化参数空间上具有指数型 $r$ 的全纯延拓，则当且仅当该函数在半径为 $r$ 的测地球内有紧支集。该结果通过 Kostant 的球面主系列表述，将问题约化至 $K$-不变情形，从而推广了此前对 $K$-不变函数的研究。

ABSTRACT

The Fourier coefficients F(t) of a function f on a compact symmetric space U/K are given by integration of f against matrix coefficients of irreducible representations of U. The coefficients depend on a spectral parameter t, which determines the representation, and they can be represented by elements F(t) in a common Hilbert space H. We obtain a theorem of Paley-Wiener type which describes the size of the support of f by means of the exponential type of a holomorphic H-valued extension of F, provided f is K-finite and of sufficiently small support. The result was obtained previously for K-invariant functions, to which case we reduce.

研究动机与目标

• 将紧对称空间 $U/K$ 上 $K$-不变函数的局部 Paley-Wiener 定理推广至 $K$-有限函数。
• 通过傅里叶系数的全纯延拓性质，刻画 $K$-有限光滑函数的支集。
• 在支集较小的情形下，建立 $K$-有限光滑函数与指数型 $r$ 的全纯 $\mathcal{H}$-值函数之间的双射关系。
• 利用表示论工具（如球面主系列表述）将一般 $K$-有限情形约化至先前已解决的 $K$-不变情形。

提出的方法

• 使用希尔伯特空间 $\mathcal{H} = L^2(K/M)$ 表示 $K$-有限函数的傅里叶系数，取代 $K$-不变情形下的标量系数。
• 应用 Kostant 对球面主系列表述的描述，通过投影算子将 $K$-有限函数分解为 $K$-不变分量。
• 通过分析 $\mathcal{U}(\mathfrak{g})$-不变微分算子在 $K$-不变函数上的作用，将 $K$-有限问题约化为 $K$-不变情形。
• 利用傅里叶变换的全纯延拓来刻画支集位于半径为 $r$ 的测地球内的函数，借助 Weyl 群不变性与指数型估计。
• 通过在 $K$-型上求和并利用作用于指数型 $r$ 的 $K$-不变函数的算子 $L(u_i)$，构造逆傅里叶变换，确保光滑性与正确的支集。
• 利用 [19] 中关于 $K$-不变函数的结果，并通过表示论将其推广至 $K$-有限情形，证明在 $r$ 较小时存在双射对应。

实验结果

研究问题

• RQ1 能否将紧对称空间上 $K$-不变函数的 Paley-Wiener 定理推广至支集较小的 $K$-有限函数？
• RQ2 傅里叶系数（作为 $\mathcal{H}$-值函数）需满足何种条件，才能刻画支集位于半径为 $r$ 的测地球内的 $K$-有限光滑函数？
• RQ3 如何利用表示论工具（如球面主系列表述）将 $K$-有限情形约化为 $K$-不变情形？
• RQ4 傅里叶变换是否在支集较小的 $K$-有限光滑函数与指数型 $r$ 的全纯 $\mathcal{H}$-值函数之间构成双射？
• RQ5 能否通过傅里叶变换的全纯延拓性质与增长速率来刻画 $K$-有限函数的支集？

主要发现

• 存在半径 $R > 0$，使得对所有 $r < R$，傅里叶变换在支集位于半径为 $r$ 的测地球内的 $K$-有限光滑函数空间 $C^\infty_{K,r}(U/K)$ 与指数型 $r$ 的全纯 $\mathcal{H}$-值函数空间 $\mathrm{PW}_{K,r}(\mathfrak{a})$ 之间构成双射。
• 每个支集较小的 $K$-有限函数均可表示为 $\mathcal{U}(\mathfrak{g})$-微分算子作用于支集较小的 $K$-不变函数的有限和，其系数属于 $H^*_\delta$。
• $K$-有限函数的傅里叶变换可全纯延拓至复化对偶空间 $\mathfrak{a}^*_\mathbb{C}$，并满足指数型 $r$ 的增长条件，该条件恰好刻画了支集的半径。
• 通过 Kostant 的球面主系列表述理论，将问题约化至 $K$-不变情形，从而可利用 [19] 中关于 $K$-不变函数的已知结果。
• 对每个 $K$-型 $\delta$，函数 $f$ 的 $\delta$-分量的傅里叶变换 $\tilde{f}_\delta$ 可全纯延拓且具有指数型 $r$，该条件对 $f$ 支集位于半径为 $r$ 的球内而言是必要且充分的。
• 该结果是精确的，即半径 $R$ 依赖于 $U/K$ 的几何结构，当 $r \geq R$ 时不存在此类双射。