[论文解读] Fine Structure of the Zeros of Orthogonal Polynomials, I. A Tale of Two Pictures

Barry Simon|ArXiv.org|Nov 17, 2004

Mathematical functions and polynomials参考文献 37被引用 61

一句话总结

本文研究在BLS条件下正交多项式零点的精细结构，其中Verblunsky系数满足指数衰减形式 $\alpha_n = Cb^n + O((b\Delta)^n)$。结果表明，除有限个Nevai-Totik零点外，其余零点在圆周 $|z| = b$ 上渐近等距分布，间距误差为 $O(1/\log n)$，径向偏离受 $O(\log n / n)$ 控制，从而在整体区域实现了精确的等分布。

ABSTRACT

Mhaskar-Saff found a kind of universal behavior for the bulk structure of the zeros of orthogonal polynomials for large $n$. Motivated by two plots, we look at the finer structure for the case of random Verblunsky coefficients and for what we call the BLS condition: $α_n = Cb^n + O((bΔ)^n)$. In the former case, we describe results of Stoiciu. In the latter case, we prove asymptotically equal spacing for the bulk of zeros.

研究动机与目标

• 分析单位圆上正交多项式零点在整体渐近行为之外的细粒度分布。
• 理解当Verblunsky系数满足BLS条件 $\alpha_n = Cb^n + O((b\Delta)^n)$ 时零点的行为，特别关注间距与径向偏离。
• 证明除有限个例外零点（即Nevai-Totik点）外，其余零点在圆周 $|z| = b$ 上渐近等距分布。
• 在零点集的主体部分建立径向偏离与角间距误差的定量界。
• 证明在BLS类中，仅以 $z = b$ 为奇点的Verblunsky序列集合是稠密且开集，表明等分布具有普遍性。

提出的方法

• 利用CMV矩阵表示将正交多项式表达为 $\Phi_n(z) = \det(z - \mathcal{C}^{(n)})$，将谱性质与零点分布联系起来。
• 应用Szegő递推关系及 $\Phi_n^*$ 的性质，推导出 $\sup_n \|\Phi_n^*\|_\infty$ 的一致界，从而获得收敛性结果。
• 运用Hurwitz定理与 $D(z)^{-1}$ 的解析延拓，将 annulus $\{b < |z| < 1\}$ 中零点的极限点识别为 $D(1/\bar{z})^{-1}$ 的零点。
• 引入Nevai-Totik点的概念，即 $D(1/\bar{z})^{-1}$ 在 $\{b < |z| < 1\}$ 内的孤立零点，其数量有限。
• 通过 $f_n(z) = (b/z)^n - g(z)^{-1}$ 的摄动论证及比较函数，控制零点位置并导出间距估计。
• 应用Wiener代数技巧，证明若 $D(z)^{-1} - C(z - b^{-1})^{-1}$ 属于Wiener代数，则其在 $|z| = b^{-1}$ 上几乎处处非零，从而保证仅以 $z = b$ 为奇点的情况在一般情况下成立。

实验结果

研究问题

• RQ1 在Verblunsky系数满足何种条件下，正交多项式的零点表现出渐近等角间距？
• RQ2 当 $n \to \infty$ 时，主体零点相对于圆周 $|z| = b$ 的径向偏离行为如何？
• RQ3 连续主体零点之间的角间距精确误差是多少？其随 $n$ 的衰减速度如何？
• RQ4 能否证明在BLS类中，仅以 $z = b$ 为奇点的Verblunsky序列集合是普遍存在的？
• RQ5 例外的Nevai-Totik零点如何影响其余主体零点的等分布性？

主要发现

• 对于满足BLS条件 $\alpha_n = Cb^n + O((b\Delta)^n)$ 的Verblunsky系数，Nevai-Totik零点的数量是有限的。
• 除去有限个Nevai-Totik点后，主体零点在圆周 $|z| = b$ 上渐近等距分布，角间距误差为 $O(1/\log n)$。
• 主体零点相对于 $|z| = b$ 的径向偏离受 $O(\log n / n)$ 控制，且对所有主体零点一致成立。
• 连续径向距离比值 $|z_{j+1}^{(n)}|/|z_j^{(n)}|$ 以误差 $O(1/\log n)$ 收敛于1，且在 $j$ 上一致成立。
• 对固定的 $L$，前 $L$ 个和后 $L$ 个主体零点渐近等价于 $be^{2\pi i \ell / n}$，与圆周上的等分布一致。
• 在BLS空间 $\mathcal{V}_{b,\Delta}$ 中，仅以 $z = b$ 为奇点的Verblunsky序列集合是稠密且开集，表明等分布具有普遍性。