[论文解读] Spherical transform and Jacobi polynomials on root systems of type BC

Genkai Zhang|ArXiv.org|Mar 31, 2005

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

一句话总结

本文在 $ \mathbb{R}^r $ 中的 BC 型根系上引入了一个规范权函数 $ f_{-2\nu}(t) $，计算其球面变换，并建立了类似 Bernstein-Sato 的公式。结果表明，Jacobi 型函数 $ H_{\nu,\eta}(t) = f_{-2\nu}(t)P_{\nu,\eta}(\tanh t) $ 的球面变换为 $ \widetilde{f_{-2\nu}}(\lambda) \cdot q_{\nu,\eta}(\lambda) $，其中 $ q_{\nu,\eta}(\lambda) $ 为 Macdonald-Koornwinder 多项式，从而将 Koornwinder 的单变量结果推广至高秩根系。

ABSTRACT

Let $R$ be a root system of type BC in $\mathfrak a=\mathbb R^r$ of general positive multiplicity. We introduce certain canonical weight function on $\mathbb R^r$ which in the case of symmetric domains corresponds to the integral kernel of the Berezin transform. We compute its spherical transform and prove certain Bernstein-Sato type formula. This generalizes earlier work of Unterberger-Upmeier, van Dijk-Pevsner, Neretin and the author. Associated to the weight functions there are Heckman-Opdam orthogonal polynomials of Jacobi type on the compact torus, after a change of variables they form an orthogonal system on the non-compact space $\mathfrak a$. We consider their spherical transform and prove that they are the Macdonald-Koornwinder polynomials multiplied by the spherical transform of the canonical weight function. For rank one case this was proved earlier by Koornwinder.

研究动机与目标

• 在 $ \mathfrak{a} = \mathbb{R}^r $ 上构造一个 BC 型根系的规范权函数 $ f_{-2\nu}(t) $，推广有界对称域上的 Berezin 变换核。
• 计算该规范权函数的球面变换，建立其类似 Bernstein-Sato 的恒等式。
• 证明 $ f_{-2\nu}(t) $ 与 Heckman-Opdam Jacobi 多项式 $ P_{\nu,\eta}(\tanh t) $ 乘积的球面变换与 Macdonald-Koornwinder 多项式成正比。
• 通过球面变换统一紧致环面与非紧致对称空间上 Cherednik 算子的谱理论。
• 将 Hermite 型函数与正交多项式在非紧致 BC 型对称空间中的作用扩展，使其在框架上类比于欧氏傅里叶分析。

提出的方法

• 在 $ \mathfrak{a} = \mathbb{R}^r $ 上引入一个规范权函数 $ f_{-2\nu}(t) $，其动机源于有界对称域上的 Berezin 变换核。
• 利用 Opdam-Cherednik 变换与 Plancherel 公式，通过变量替换 $ x_j = \tanh t_j $，将 $ \mathfrak{a} $ 上的谱分解与紧致环面 $ \mathbb{T} $ 关联。
• 应用 Heckman-Opdam 在紧致环面 $ \mathbb{T} $ 上的 Jacobi 多项式 $ P_{\nu,\eta} $ 理论，通过 $ H_{\nu,\eta}(t) = f_{-2\nu}(t) P_{\nu,\eta}(\tanh t) $ 将其变换为 $ \mathfrak{a} $ 上的函数。
• 计算规范权函数的球面变换 $ \widetilde{f_{-2\nu}}(\lambda) $，并证明其满足类似 Bernstein-Sato 的恒等式。
• 建立 $ H_{\nu,\eta}(t) $ 的球面变换为 $ \widetilde{f_{-2\nu}}(\lambda) \cdot q_{\nu,\eta}(\lambda) $，其中 $ q_{\nu,\eta}(\lambda) $ 是关于测度 $ \widetilde{f_{-2\nu}}(\lambda)^2 |c(\lambda)|^{-2} d\lambda $ 正交的 $ W $-不变多项式。
• 利用 Macdonald-Koornwinder 多项式的唯一性，识别 $ q_{\nu,\eta}(\lambda) $ 为 $ p^{MK}_{\eta}(\lambda) $ 的常数倍，从而完成谱对应关系。

实验结果

研究问题

• RQ1 如何在 $ \mathfrak{a} = \mathbb{R}^r $ 上为 BC 型根系定义规范权函数 $ f_{-2\nu}(t) $，使其推广 Berezin 变换核？
• RQ2 该规范权函数的球面变换 $ \widetilde{f_{-2\nu}}(\lambda) $ 是什么？它是否满足类似 Bernstein-Sato 的恒等式？
• RQ3 函数 $ f_{-2\nu}(t) $ 与 Heckman-Opdam Jacobi 多项式 $ P_{\nu,\eta}(\tanh t) $ 乘积的球面变换如何与 $ i\mathfrak{a}^* $ 上的已知正交多项式相关？
• RQ4 是否可通过函数 $ H_{\nu,\eta}(t) = f_{-2\nu}(t) P_{\nu,\eta}(\tanh t) $ 实现 $ L^2(\mathfrak{a})^W $ 的谱分解？其球面变换的结构如何？
• RQ5 所得在 $ \mathfrak{a} $ 上的正交系及其变换在多大程度上推广了欧氏傅里叶分析中 Hermite 函数与多项式的作用？

主要发现

• 规范权函数 $ f_{-2\nu}(t) $ 的球面变换被显式计算，并满足类似 Bernstein-Sato 的恒等式，推广了对称域上的早期结果。
• 函数 $ H_{\nu,\eta}(t) = f_{-2\nu}(t) P_{\nu,\eta}(\tanh t) $ 构成 $ L^2(\mathfrak{a})^W $ 的正交基，其范数等于对应 torus 上 Jacobi 多项式的 $ L^2 $-范数。
• 函数 $ H_{\nu,\eta}(t) $ 的球面变换为 $ \widetilde{f_{-2\nu}}(\lambda) \cdot q_{\nu,\eta}(\lambda) $，其中 $ q_{\nu,\eta}(\lambda) $ 为 $ W $-不变多项式。
• 多项式 $ q_{\nu,\eta}(\lambda) $ 关于测度 $ \widetilde{f_{-2\nu}}(\lambda)^2 |c(\lambda)|^{-2} d\lambda $ 在 $ i\mathfrak{a}^* $ 上正交，且其首项与 Macdonald-Koornwinder 多项式一致。
• 由唯一性，$ q_{\nu,\eta}(\lambda) $ 是 Macdonald-Koornwinder 多项式 $ p^{MK}_{\eta}(\lambda) $ 的常数倍，从而确立了谱对应关系。
• 该构造将 Koornwinder 的单变量结果推广至任意秩 $ r $，在 $ \mathfrak{a} $ 上提供了完整的正交系，且其球面变换可显式计算。