[论文解读] Hermitian Symmetric Spaces of Tube Type and Multivariate Meixner-Pollaczek Polynomials

Jacques Faraut, Masato Wakayama|arXiv (Cornell University)|Dec 6, 2008

Advanced Algebra and Geometry参考文献 7被引用 16

一句话总结

本文通过在管型的厄米特对称空间上运用调和分析，为多变量梅克纳-波拉茨克维奇多项式建立了一个几何框架。通过组合卡莱变换、拉普拉斯变换与球面傅里叶变换，推导出正交性、生成函数、行列式公式及一个差分方程，表明这些多项式是源自有界对称域上欧拉型方程的对称性不变差分算子的本征函数。

ABSTRACT

Harmonic analysis on Hermitian symmetric spaces of tube type is a natural framework for introducing multivariate Meixner-Pollaczek polynomials. Their main properties are established in this setting: generating and determinantal formulae, difference equations. As an application we consider the problem of evaluating moments related to a multivariate Barnes type integral involving the Harish-Chandra $c$-function of a symmetric cone.

研究动机与目标

• 为带有谱参数 $\phi$（或 $\theta$）的多变量梅克纳-波拉茨克维奇多项式提供一个几何与分析框架，扩展单变量情形。
• 阐明多变量情形下参数 $\theta$ 的几何意义，该问题在以往研究中尚未充分探讨。
• 在对称锥与厄米特对称空间设定下，建立基本性质——正交性、生成函数、行列式公式及差分方程。
• 将多变量多项式与多变量拉盖尔函数的球面傅里叶变换联系起来，增强几何直观。
• 将一元的三系数递推关系推广为多变量的皮耶里型公式，并将差分算子与对称性及汉克尔变换关联。

提出的方法

• 利用三种积分变换的复合：卡莱变换（将管型域映射到有界域）、拉普拉斯变换（关联拉盖尔与梅克纳-波拉茨克维奇多项式）以及对称锥上的球面傅里叶变换。
• 将多变量梅克纳-波拉茨克维奇多项式 $Q_{\mathbf{m}}^{(\nu,\theta)}(\mathbf{s})$ 定义为多变量拉盖尔函数的球面傅里叶变换，其中参数 $\theta$ 编码了几何与谱对称性。
• 通过在对称锥上对球面傅里叶变换应用古茨默型公式，推导出正交性。
• 通过积分表示及球函数 $\Phi_{\mathbf{k}}(w)$ 的性质，建立生成函数。
• 分三步推导差分方程：从有界域上的欧拉型微分方程出发，应用逆拉普拉斯变换，再进行球面傅里叶变换。
• 利用对称性 $\theta \mapsto -\theta$，将其与广义三柯米定理及对称锥上的汉克尔变换关联。

实验结果

研究问题

• RQ1 如何在几何调和分析框架下自然地定义带有谱参数 $\theta$ 的多变量梅克纳-波拉茨克维奇多项式？
• RQ2 在多变量情形下，参数 $\theta$ 的几何与分析意义是什么？它如何与底层对称锥的对称性相关联？
• RQ3 多变量梅克纳-波拉茨克维奇多项式所满足的差分方程，能否从有界对称域上的微分方程推导得出？
• RQ4 梅克纳-波拉茨克维奇多项式经典的三系数递推关系的多变量推广是什么？
• RQ5 多变量拉盖尔函数的球面傅里叶变换与梅克纳-波拉茨克维奇多项式之间有何关系？这对它们的正交性与生成函数有何含义？

主要发现

• 多变量梅克纳-波拉茨克维奇多项式 $Q_{\mathbf{m}}^{(\nu,\theta)}(\mathbf{s})$ 关于 $\mathbb{R}^n$ 上的测度 $M_\nu$ 正交，正交性通过球面傅里叶变换的古茨默公式推导得出。
• 通过涉及球函数 $\Phi_{\mathbf{k}}(w)$ 的积分表示，建立了 $Q_{\mathbf{m}}^{(\nu,\theta)}(\mathbf{s})$ 的生成函数。
• 当 $d=2$ 时，推导出多变量拉盖尔与梅克纳-波拉茨克维奇多项式的行列式公式，推广了经典结果。
• 这些多项式满足形式为 $D_{\nu,\theta}^{(2)} F_{\mathbf{m}}^{(\nu,\theta)}(w) = 2|\mathbf{m}|\cos\theta \cdot F_{\mathbf{m}}^{(\nu,\theta)}(w)$ 的差分方程，通过卡莱、拉普拉斯与球面傅里叶变换的复合获得。
• 差分算子是欧拉算子在三个互变算子复合下的像，将谱参数 $\theta$ 与几何对称性联系起来。
• 证明了多变量皮耶里型公式，其在单变量情形退化为经典的三系数递推关系，确认了在初等对称函数乘法下多项式结构的保持。