[论文解读] The Analytic Theory of Matrix Orthogonal Polynomials

David Damanik, Alexander Pushnitski+1 more|Research Portal (King's College London)|Nov 16, 2007

Matrix Theory and Algorithms参考文献 172被引用 187

一句话总结

本文提出了矩阵正交多项式（MOPRL 和 MOPUC）的全面分析理论，为实轴和单位圆上的矩阵值测度建立了基础性结果。该研究将经典正交多项式理论推广至矩阵情形，证明了关键结果，如矩阵 Christoffel–Darboux 公式、正则性判别准则以及渐近行为，包括 Widom 定理，以及关于在谱条件下正则性的猜想。

ABSTRACT

We give a survey of the analytic theory of matrix orthogonal polynomials.

研究动机与目标

• 开发矩阵正交多项式（MOPRL 和 MOPUC）的系统性分析理论，填补文献中的关键空白。
• 将经典结果（如 Favard 定理、Christoffel–Darboux 公式及渐近行为）推广至矩阵值情形。
• 建立矩阵测度正则性的条件，特别是与谱支撑及零点密度的关系。
• 将 Szegő 和 Widom 定理推广至矩阵测度，包括迹与行列式的渐近性质。
• 提出一个基于局部谱密度的正则性猜想，类比于 Stahl–Totik 的标量结果。

提出的方法

• 使用块 Jacobi 矩阵和 CMV 矩阵分别作为 MOPRL 和 MOPUC 的矩阵表示，将递推关系与谱理论联系起来。
• 为矩阵值测度定义左内积和右内积，从而导出两组不同的首一正交多项式族。
• 引入块 Jacobi 矩阵和 CMV 矩阵的 m-函数与预解式，以分析谱性质及零点分布。
• 应用 Christoffel–Darboux 公式及其矩阵形式，研究核的渐近行为及谱测度的弱收敛性。
• 采用 Schur 算法与系数剥离法，分析 Verblunsky 型参数及矩阵 Carathéodory 函数。
• 结合迹与行列式估计，以及格林函数和平衡测度等势论工具，推导正则性与渐近界。

实验结果

研究问题

• RQ1 经典标量正交多项式理论中的结果如何推广至矩阵值情形？
• RQ2 m-函数、Christoffel–Darboux 核及 Favard 定理在矩阵正交多项式中的适当类比是什么？
• RQ3 在何种条件下矩阵测度是正则的，这与谱支撑及零点密度有何关联？
• RQ4 矩阵正交多项式及其范数的渐近行为如何，特别是与平衡测度的关系？
• RQ5 能否提出并证明矩阵形式的 Widom 定理与 Stahl–Totik 猜想？

主要发现

• 为 MOPRL 和 MOPUC 建立了矩阵 Christoffel–Darboux 公式，核以第二类多项式与 Wronskian 表示。
• 对于正则 MOPRL，CD 核满足弱收敛性：$\frac{1}{(n+1)l}\operatorname{Tr}(K_n(x,x))\,d\mu(x) \overset{w}{\to} d\rho_E$，即谱上的平衡测度。
• Widom 定理被推广：若 $d\mu = W(x)\,d\rho_E + d\mu_s$ 且 $\det W(x) > 0$ 几乎处处成立，则 $\mu$ 是正则的。
• 标准正交矩阵多项式 $p_n^R(x)$ 的范数几乎处处有界：$C(x)(n+1)$，且 $|\det p_n^R(x)| \leq C(x)^l (n+1)^l$。
• 在正则性及 $\det W(x)$ 几乎处处为正的条件下，有 $\lim_{n\to\infty} \int_I \left\| \frac{1}{n+1} \sum_{j=0}^n p_j^R(x)^\dagger W(x) p_j^R(x) - \rho_E(x)\mathbf{1} \right\| dx = 0$。
• 提出一个猜想：若对所有 $\eta > 0$，有 $\lim_{m\to\infty} |E \setminus S_{m,\eta}| = 0$，则矩阵测度 $\mu$ 是正则的，从而推广了标量情形的 Stahl–Totik 结果。