[论文解读] Matrix Valued Orthogonal Polynomials for Gelfand Pairs of Rank One

Gert Heckman, Maarten van Pruijssen|arXiv (Cornell University)|Oct 18, 2013

Nonlinear Waves and Solitons参考文献 22被引用 8

一句话总结

该论文利用表示理论和分支法则，为秩一紧Gelfand对构造了矩阵值正交多项式。证明了这些多项式是源自Casimir算子的交换二阶微分算子代数的共同本征函数，将经典Sturm–Liouville理论推广至矩阵情形。

ABSTRACT

In this paper we study matrix valued orthogonal polynomials of one variable associated with a compact connected Gelfand pair (G,K) of rank one, as a generalization of earlier work by Koornwinder and subsequently by Koelink, van Pruijssen and Roman for the pair (SU(2) x SU(2),SU(2)), and by Grünbaum, Pacharoni and Tirao for the pair (SU(3),U(2)). Our method is based on representation theory using an explicit determination of the relevant branching rules. Our matrix valued orthogonal polynomials have the Sturm--Liouville property of being eigenfunctions of a second order matrix valued linear differential operator coming from the Casimir operator, and in fact are eigenfunctions of a commutative algebra of matrix valued linear differential operators coming from $U(g_c)^K$.

研究动机与目标

• 通过紧李群上的调和分析，将经典Sturm–Liouville正交多项式推广至矩阵值情形。
• 构造作为交换微分算子代数本征函数的矩阵值正交多项式。
• 将(SU(2)×SU(2), SU(2))和(SU(3), U(2))等特定对的已知结果统一推广至所有秩一Gelfand对的框架。
• 通过Casimir算子的径向部分与分支法则，建立这些多项式的谱性质。

提出的方法

• 利用紧李群的表示理论，通过K的不可约表示的诱导表示来定义矩阵值正交多项式。
• 利用多重性自由系统(G,K,F)的分支法则，确保诱导表示的不可约分解具有唯一重数。
• 通过Casimir算子Ω ∈ U(g_c)^K_c的径向部分构造微分算子，其映射至多项式代数M^μ[x]上的二阶微分算子Ω^μ。
• 推导出微分算子代数D^μ ⊂ M^μ[x, ∂_x]，使得矩阵值多项式P^μ_n(x)为共同本征函数。
• 通过变量替换x = cϕ(t) + (1−c)将最大环面T上的本征函数Ψ^μ_n(t)变换为[−1,1]上的正交多项式。
• 利用双谱性质及Ψ^μ_0在T_reg上的可逆性，确保所得微分算子具有正则系数并保持内积结构。

实验结果

研究问题

• RQ1 能否系统地利用表示理论，为所有紧Gelfand对的秩一情形构造具有Sturm–Liouville性质的矩阵值正交多项式？
• RQ2 这些多项式是否作为源自Casimir算子的交换微分算子代数的本征函数出现？
• RQ3 多重性自由系统(G,K,F)的分支法则如何影响所构造矩阵值正交多项式的谱性质与结构？
• RQ4 能否显式计算Casimir算子的径向部分，并证明其在矩阵情形下产生具有实本征值的对称微分算子？
• RQ5 在高秩情形下，度函数与μ-阱的结构在几何上或通过凸性可否得到充分理解？

主要发现

• 矩阵值正交多项式P^μ_n(x)被构造为交换二阶微分算子代数D^μ的共同本征函数。
• 由Casimir算子径向部分导出的微分算子Ω^μ，关于矩阵值内积⟨⋅,⋅⟩_W^μ是对称的，且具有实本征值。
• 在最大环面T上的函数族{Ψ^μ_n}满足双谱性质，从而可通过变量替换构造[−1,1]上的正则微分算子。
• μ-阱的底部相对于基本球面对表示表现良好，确保度函数具有正交化所需的性质。
• Ψ^μ_0在T_reg上逐点可逆，从而保证变换后的微分算子在M^μ[x]上具有正则系数。
• 该构造将已知例子如(SU(2)×SU(2), SU(2))和(SU(3), U(2))推广至所有秩一Gelfand对，包括(G_2, SU(3))、(Spin(7), G_2)、(USp(2n), USp(2n−2)×USp(2))以及(F_4, Spin(9))。