[论文解读] Orthogonal polynomials in several variables. I

T. Constantinescu|ArXiv.org|May 31, 2002

Mathematical functions and polynomials参考文献 15被引用 5

一句话总结

本文引入了多变量实直线上非交换正交多项式的类比，建立了递推关系、Christoffel-Darboux 型公式以及雅可比型矩阵。主要贡献是通过与希尔伯特空间上乘法算子的酉等价性，对严格正泛函进行了表征，将正交多项式与结构化矩阵族联系起来，并通过正定核解出了非交换 Hamburger 矩阵问题。

ABSTRACT

In this paper we introduce and discuss some classes of orthogonal polynomials in several non-commuting variables. The emphasis is on a non-commutative version of the orthogonal polynomials on the real line. We introduce recurrence equations for these polynomials, Christoffel-Darboux formulas, and Jacobi type matrices.

研究动机与目标

• 将实直线上正交多项式的非交换扩展推广到多个非交换变量。
• 在非交换设定下建立递推关系和 Christoffel-Darboux 公式。
• 定义并表征与递推结构相关的雅可比型矩阵。
• 通过自由半群上的正定核解非交换 Hamburger 矩阵问题。
• 将 GNS 构造与非交换代数中的正交多项式理论统一起来。

提出的方法

• 在 2N 个非交换未定元上定义一个单位 *-代数，其对合将 Y_k 映射为 Y_{N+k}。
• 在商代数 O_N^0(A) 上引入一个严格正线性泛函 φ，满足对所有非零 P，有 φ(I_A(π(P))π(P)) > 0。
• 应用 GNS 构造，得到希尔伯特空间 H_φ 和通过在单次项 π(Y_σ) 上进行 Gram-Schmidt 正交化得到的规范正交基 {φ_α}。
• 推导出以块三对角结构中的矩阵系数 A_{n,k}、B_{n,k} 和 B^*_{n,k} 表示的正交多项式 φ_α 的递推关系。
• 构造作用于希尔伯特空间上的雅可比 N-族矩阵 (J_1,…,J_N)，其具有块三对角形式且上三角块 B_n 可逆。
• 证明正定核 K(σ,τ) = s_{I(σ)τ} 表征了正泛函 φ 的矩 s_σ = φ(Y_σ)。

实验结果

研究问题

• RQ1 如何系统地定义并表征多个非交换变量中的正交多项式？
• RQ2 哪些递推关系控制着类似于实直线情形的非交换正交多项式结构？
• RQ3 雅可比型矩阵如何与递推系数及底层泛函相关联？
• RQ4 在非交换设定下，确保给定矩存在正泛函的条件是什么？
• RQ5 如何利用核理论解非交换 Hamburger 矩阵问题？

主要发现

• 通过严格正泛函在商 *-代数上的 GNS 构造，构建了实直线上非交换正交多项式的类比。
• 规范正交基 {φ_α} 满足具有块三对角结构中矩阵系数 A_{n,k}、B_{n,k} 和 B^*_{n,k} 的三重递推关系。
• 雅可比型矩阵 (J_1,…,J_N) 与希尔伯特空间 H_φ 上的乘法算子 Ψ_{φ,k} 酉等价，建立了谱模型。
• 给出了非交换 Hamburger 矩阵问题的解：序列 {s_σ} 是正泛函的矩序列，当且仅当核 K(σ,τ) = s_{I(σ)τ} 是正定的。
• 核 K 满足对称性性质 K(ασ,τ) = K(σ I(α), τ)，将其与自由半群的对合结构联系起来。
• 由于雅可比 N-族中块 B_n 的可逆性，保证了唯一严格正泛函 φ 的存在性，从而确保了规范正交基的明确定义。