[论文解读] Spherical Functions of Fundamental $K$-Type on the $n$-dimensional Sphere

Juan Tirao, Ignacio Zurrián|arXiv (Cornell University)|Dec 3, 2013

Mathematical functions and polynomials被引用 1

一句话总结

该论文利用矩阵超几何函数，表征了对称对 (SO(n+1), SO(n)) 的基本 K-类型下的不可约球函数，揭示了这些函数对应于大小为 2 和 3 的新型经典矩阵正交多项式族，其矩阵权函数 W 定义在区间 [0,1] 上。一个关键结果是，W 与一个二阶对称超几何微分算子 D 相关联。

ABSTRACT

In this paper, we describe the irreducible spherical functions of fundamental $K$-types associated with the pair $(G,K)=({\mathrm{SO}}(n+1),{\mathrm{SO}}(n))$ in terms of matrix hypergeometric functions. The output of this description is that the irreducible spherical functions of the same $K$-fundamental type are encoded in new examples of classical sequences of matrix-valued orthogonal polynomials, of size $2$ and $3$, with respect to a matrix-weight $W$ supported on $[0,1]$. Moreover, we show that $W$ has a second order symmetric hypergeometric operator $D$.

研究动机与目标

• 表征对称对 (SO(n+1), SO(n)) 的基本 K-类型的不可约球函数。
• 以矩阵超几何函数的形式表达这些球函数。
• 识别这些球函数与新一族矩阵值正交多项式之间的联系。
• 分析与这些多项式相关的矩阵权函数 W 及其底层微分算子。
• 确立矩阵权函数 W 支持一个二阶对称超几何微分算子 D。

提出的方法

• 利用对称对 (G,K) = (SO(n+1), SO(n)) 的表示理论，对基本 K-类型进行分类。
• 采用矩阵超几何函数作为工具，参数化这些 K-类型的不可约球函数。
• 通过谱分解，从球函数导出大小为 2 和 3 的矩阵值正交多项式。
• 识别出定义在区间 [0,1] 上的矩阵权函数 W，使这些多项式正交。
• 构造一个二阶对称微分算子 D，使其作用于矩阵权函数 W 时结果为零。
• 应用超几何微分方程的性质，验证算子 D 的对称性与二阶性。

实验结果

研究问题

• RQ1 如何显式描述对 (SO(n+1), SO(n)) 的基本 K-类型的不可约球函数？
• RQ2 这些球函数与矩阵值正交多项式之间存在何种关系？
• RQ3 与这些函数导出的正交多项式相关的矩阵权函数 W 的结构是什么？
• RQ4 矩阵权函数 W 是否允许存在一个二阶对称微分算子 D？
• RQ5 此类算子 D 的存在对多项式谱理论有何影响？

主要发现

• 不可约球函数的基本 K-类型完全通过矩阵超几何函数得到描述。
• 这些球函数生成了大小为 2 和 3 的新一族矩阵值正交多项式。
• 这些正交多项式是相对于定义在区间 [0,1] 上的矩阵权函数 W 定义的。
• 证明了矩阵权函数 W 在二阶对称超几何微分算子 D 下保持不变。
• 算子 D 是对称的且为二阶，表明其与矩阵情形下的经典超几何理论存在深刻联系。
• 该构造为具有显式微分算子的经典矩阵正交多项式提供了新例子。