[论文解读] Funciones Esféricas Matriciales Asociadas a las Esferas y a los Espacios Proyectivos Reales

Ignacio Zurrián|arXiv (Cornell University)|Jun 27, 2013

Mathematical functions and polynomials参考文献 27被引用 3

一句话总结

该论文通过利用Hahn多项式共轭将耦合常微分方程组解耦，从而确定了对偶 $(\mathrm{SO}(4),\mathrm{SO}(3))$ 的所有不可约矩阵值球函数，解以Gegenbauer多项式表示。论文建立了 $n$-球面与实射影空间 $\mathbb{R}P^n$ 上球函数之间的直接对应关系，并构造了关于一个允许二阶与一阶对称微分算子的权矩阵的矩阵正交多项式。

ABSTRACT

In this work we start by determining all irreducible spherical functions $Φ$ of any $K $-type associated to the pair $(G,K)=(\SO(4),\SO(3))$. The functions $P=P(u)$ corresponding to the irreducible spherical functions of a fixed $K$-type $π_\ell$ are appropriately packaged into a sequence of matrix valued polynomials $(P_w)_{w\ge0}$ of size $(\ell+1) imes(\ell+1)$. Finally we prove that $\widetilde P_w={P_0}^{-1}P_w$ is a sequence of matrix orthogonal polynomials with respect to a weight matrix $W$. Moreover, we show that $W$ admits a second order symmetric hypergeometric operator $\widetilde D$ and a first order symmetric differential operator $\widetilde E$. Later, we establish a direct relationship between the spherical functions of the $n$-dimensional sphere $S^n\simeq\SO(n+1)/\SO(n)$ and the spherical functions of the $n$-dimensional real projective space $P^n(\mathbb{R})\simeq\SO(n+1)/\mathrm{O}(n)$. Concluding that to find all the spherical functions of one of these pairs is equivalent to do the same it with the other. Finally, we study the spherical functions of certain types of the $n$-dimensional sphere $S^{n}\simeq \SO(n+1)/\SO(n)$, for any $n$. More precisely, we give explicitly all the spherical functions whose associated functions $H$ are scalar valued, including those of trivial type, and then we study the irreducible spherical functions of fundamental type, describing them in terms of matrix valued hypergeometric functions $_2!F_1$. Thereafter, for every fundamental type we build a sequence of ortogonal matrix valued polynomials with respect to a weight $W$, which are associated to the spherical functions. We also prove that, for any $n$, $W$ admits a second order symmetric differential operator.

研究动机与目标

• 确定对称对 $(\mathrm{SO}(4),\mathrm{SO}(3))$ 的任意 $K$-型的所有不可约矩阵值球函数。
• 在 $n$-维球面 $S^n \simeq \mathrm{SO}(n+1)/\mathrm{SO}(n)$ 与实射影空间 $\mathbb{R}P^n \simeq \mathrm{SO}(n+1)/\mathrm{O}(n)$ 上的球函数之间建立精确对应关系。
• 构造与球函数相关的矩阵正交多项式序列，证明其关于权矩阵 $W$ 正交。

提出的方法

• 将每个球函数 $\Phi$ 关联到在 $u=0$ 处的向量值解析函数 $H(u)$，其分量满足两个耦合的常微分方程组。
• 应用Hahn多项式共轭以解耦其中一个方程组，将其转化为超几何方程组。
• 求解解耦后的系统，得到一个向量解 $P(u)$，其分量为Gegenbauer多项式的倍数。
• 利用 $\mathrm{SO}(4)$ 的表示理论识别同时解，并刻画所有不可约球函数。
• 将固定 $K$-型 $\pi_\ell$ 的解打包为 $(\ell+1) \times (\ell+1)$ 矩阵值多项式序列 $\{P_w\}_{w \geq 0}$。
• 定义 $\widetilde{P}_w = P_0^{-1} P_w$，并证明其构成关于权矩阵 $W$ 的矩阵正交多项式序列。

实验结果

研究问题

• RQ1 对偶 $(\mathrm{SO}(4),\mathrm{SO}(3))$ 的任意 $K$-型的所有不可约矩阵值球函数是什么？
• RQ2 对一般 $n$，$n$-球面 $S^n$ 上的球函数与实射影空间 $\mathbb{R}P^n$ 上的球函数之间有何关系？
• RQ3 能否构造一个权矩阵 $W$，使得其关联的矩阵正交多项式源于球函数？该 $W$ 允许哪些微分算子？

主要发现

• 在求解解耦后的超几何方程组后，通过表示理论完全刻画了对偶 $(\mathrm{SO}(4),\mathrm{SO}(3))$ 的任意 $K$-型的所有不可约球函数。
• 解 $P(u)$ 为向量值函数，其分量与Gegenbauer多项式成比例，并针对每个固定的 $K$-型 $\pi_\ell$ 打包为 $(\ell+1) \times (\ell+1)$ 矩阵值多项式序列 $P_w$。
• 归一化序列 $\widetilde{P}_w = P_0^{-1} P_w$ 构成关于权矩阵 $W$ 的矩阵正交多项式序列。
• 权矩阵 $W$ 允许一个二阶对称微分算子 $\widetilde{D}$ 和一个一阶对称微分算子 $\widetilde{E}$，二者是正交性结构的关键。
• 当 $n$ 为奇数时，$S^n$ 与 $\mathbb{R}P^n$ 上的球函数在类型上一致；当 $n$ 为偶数时，对偶 $({\mathrm{SO}}(n+1),{\mathrm{SO}}(n))$ 与 $({\mathrm{SO}}(n+1),\mathrm{O}(n))$ 的球函数之间存在明确对应关系。
• 对任意 $n$，与基本型球函数相关的权矩阵 $W$ 允许一个二阶对称微分算子，确认了其在正交多项式框架中的作用。