[论文解读] Ramanujan's Master Theorem for Riemannian symmetric spaces

Gestur Ólafsson, Angela Pasquale|arXiv (Cornell University)|Mar 26, 2011

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

一句话总结

本文通过利用其复化空间中紧致型与非紧致型对称空间之间的对偶性，建立了黎曼对称空间（任意秩）下罗曼纽万森-梅斯特定理的非交换推广。核心结果通过在 Hardy 类中取解析函数，将经典的 Mellin 变换插值公式推广至对称空间上的球面傅里叶变换，给出了显式的积分表示和基于对偶性的反演公式。

ABSTRACT

Ramanujan's Master theorem states that, under suitable conditions, the Mellin transform of a power series provides an interpolation formula for the coefficients of this series. Based on the duality of Riemannian symmetric spaces of compact and noncompact type inside a common complexification, we prove an analogue of Ramanujan's Master Theorem for the spherical Fourier transform of a spherical Fourier series. This extend the results proven by Bertram for Riemannian symmetric spaces of rank-one.

研究动机与目标

• 将罗曼纽万森-梅斯特定理从秩一情形推广至任意秩的半单黎曼对称空间。
• 在紧致型与非紧致型对称空间上，基于对偶性建立球面傅里叶级数的 Mellin 变换插值公式的类比形式。
• 通过多变量 Hardy 类与 Weyl 群不变性，将经典罗曼纽万森公式推广至可约对称空间。
• 为通过复化对称空间上 Hardy 类中的解析函数实现系数的积分插值，提供一个框架。

提出的方法

• 利用复化空间 $X_{\mathbb{C}} = G_{\mathbb{C}}/K_{\mathbb{C}}$ 中紧致型对称空间 $X_U = U/K$ 与非紧致型对称空间 $X_G = G/K$ 之间的对偶性。
• 在 $X_U$ 上使用形式为 $f(x) = \sum_{\mu \in \Lambda^+} (-1)^{|\mu|} d(\mu) a(\mu + \rho) \psi_\mu(x)$ 的球面傅里叶级数，其中 $a$ 属于 Hardy 类 $\mathcal{H}(A,P,\delta)$ 中的解析函数。
• 通过 $X_U$ 与 $X_G$ 之间的对偶性，将球面傅里叶变换应用于将系数 $a(\mu + \rho)$ 与 $f$ 在 $X_G$ 上的变换联系起来。
• 通过围道积分推导出积分表示：$f(x) = \frac{1}{|W|} \int_{\sigma + i\mathfrak{a}^*} \left( \sum_{w \in W} a(w\lambda) b(w\lambda) \right) \varphi_\lambda(x) \frac{d\lambda}{c(\lambda)c(-\lambda)}$，在 $\|H\| < P/\Omega$ 时成立。
• 建立对偶公式 $\int_{X_G} f(x) \varphi_{-\lambda}(x) dx = \sum_{w \in W} a(w\lambda) b(w\lambda)$，对 $\lambda \in T_\delta \cap T_{\Sigma,m}$ 成立，推广了经典的 Mellin 反演公式。
• 通过 $\mathfrak{a}_{\mathbb{C}}^*$ 上的拉普拉斯变换生成 Hardy 类 $\mathcal{H}(A,P,\delta)$ 中的函数，确保适当的衰减性与解析性。

实验结果

研究问题

• RQ1 能否通过利用对偶性，将罗曼纽万森-梅斯特定理从秩一情形推广至更高秩的半单黎曼对称空间？
• RQ2 如何利用对称空间上的球面傅里叶变换，通过解析函数实现球面傅里叶级数系数的插值？
• RQ3 在可约对称空间的背景下，球面傅里叶变换的积分表示与反演公式的精确形式是什么？
• RQ4 来自哈里什-钱德拉理论的函数 $b(\lambda)$ 与 $c(\lambda)$ 如何在对偶公式中发挥作用？
• RQ5 在 $X_U$ 上，当系数属于 $\mathcal{H}(A,P,\delta)$ 时，其函数在 $X_{\mathbb{C}}$ 上存在解析延拓的条件是什么？

主要发现

• 本文建立了罗曼纽万森-梅斯特定理在任意秩半单黎曼对称空间上的推广，通过围道积分给出了球面傅里叶变换的积分表示。
• 关键公式 $f(x) = \frac{1}{|W|} \int_{\sigma + i\mathfrak{a}^*} \left( \sum_{w \in W} a(w\lambda) b(w\lambda) \right) \varphi_\lambda(x) \frac{d\lambda}{c(\lambda)c(-\lambda)}$ 在 $\|H\| < P/\Omega$ 时成立，确保了收敛性与解析性。
• 对偶公式 $\int_{X_G} f(x) \varphi_{-\lambda}(x) dx = \sum_{w \in W} a(w\lambda) b(w\lambda)$ 对 $\lambda \in T_\delta \cap T_{\Sigma,m}$ 成立，将经典 Mellin 反演推广至高秩情形。
• 系数 $a(\mu + \rho)$ 通过 Hardy 类 $\mathcal{H}(A,P,\delta)$ 中的解析函数实现插值，且 $A < \pi$，确保了收敛性与解析延拓。
• 通过在 $\mathfrak{a}_{\mathbb{C}}^*$ 上使用拉普拉斯变换生成 $\mathcal{H}(A,P,\delta)$ 中的函数，提供了一种系统化构造可接受系数函数的方法。
• 通过将半单情形与经典罗曼纽万森定理的多变量推广相结合，将结果扩展至可约对称空间，建立了定理 7.1。