Zeros of GKP sequences of polynomials

技术摘要：GKP 多项式序列的零点

问题陈述
本文研究了一类由二参数递推关系定义的特定多项式序列的零点性质。这些被称为“GKP 序列”的序列（以 Graham、Knuth 和 Patashnik 命名，他们曾在《具体数学》中提出了解决此类递推关系的通用问题）由以下公式生成：
$$p_n(x) = (ax^2 + bx + c)p'_{n-1}(x) + (\phi_n + \psi_n x)p_{n-1}(x)$$
其中 $ax^2 + bx + c$ 具有两个不同的实根，且 $\phi = (\phi_i)$ 和 $\psi = (\psi_i)$ 是实数序列。作者旨在确定在何种条件下，这些多项式的零点是实数、单根且交错的，并推导这些零点的渐近行为。该研究涵盖了如正切（Tangent）、正割（Secant）、欧拉（Eulerian）和雅可比（Jacobi）多项式等著名的多项式族，它们均为 GKP 序列的具体实例。

方法论
作者结合了递推分析、微分算子理论和多项式系数的渐近分析。

1. 归一化与简化： 论文首先建立，任何具有一般二次项 $ax^2 + bx + c$ 的 GKP 序列都可以通过线性变量代换和归一化，转化为由特定递推关系定义的序列 $s_n(x)$：
   $$s_{n+1}(x) = (1-x^2)s'_n(x) + (\phi_{n+1} + \psi_{n+1}x)s_n(x)$$
   这使得作者能够专注于区间 $(-1, 1)$ 以及多项式 $1-x^2$。

2. 交错与实根证明： 零点分析的核心依赖于关于算子 $q(x) = (1-x^2)p'(x) + (a+bx)p(x)$ 的引理。通过分析 $q(x)$ 相对于 $p(x)$ 零点的符号变化，作者证明了如果 $b + |a| < 0$，则该算子保持零点的实数性并诱导交错性质。这一结论被归纳应用于 GKP 序列。

3. 对称性与参数依赖性： 作者研究了 $s_n$ 的系数关于参数 $\phi$ 和 $\psi$ 的对称性。他们证明，当且仅当序列 $\psi$ 为常数时，$s_n$ 的系数才是 $\phi_1, \dots, \phi_n$ 的对称函数。这引出了对零点关于参数 $\phi$ 单调性的研究。

4. 渐近分析： 对于 $\phi$ 和 $\psi$ 为常数序列的情况（记作 $s_{v,u}^n$），作者分析了变换后多项式 $s_{v,u}^n(2x+1)$ 的系数。他们证明这些系数的行为表现为 $F(j)G(j)^{n-K}\tau_j(n)$，其中 $F$ 和 $G$ 满足特定的对数凹性和对数凸性条件。这使得可以应用关于具有此类系数的多项式零点渐近分布的一般定理（定理 5.2）。

5. 线性组合： 研究扩展到了这些多项式的有限线性组合 $q_n(x) = \sum \gamma_j s_{v,u}^{n-j}(2x+1)$，这对应于 $\phi$ 最终为常数的情况。作者将 $q_n$ 的零点位置与辅助多项式 $P(x) = \sum \gamma_j x^{K-j}$ 的零点联系起来。

主要贡献与结果

• 一般零点性质（定理 1.1）： 在 $|\phi_n| + \psi_n < 0$ 这一温和假设下，作者证明了 $s_n$ 的所有零点都是实数、单根，且位于区间 $(-1, 1)$ 内。此外，$s_{n+1}$ 的零点严格交错于 $s_n$ 的零点。这一结果在单一框架下统一了正切、正割和雅可比多项式的零点性质。

• 单调性与对称性（第 4 节）： 当 $\psi$ 为常数时，$s_n$ 的系数关于 $\phi$ 是对称的。作者证明了 $s_n$ 的零点是参数 $\phi_j$ 的增函数。他们还建立，如果违反了 $|\phi_i| < -u$ 的条件（针对有限数量的参数），则 $(-1, 1)$ 内实零点的数量至少为 $n - N$，其中 $N$ 是违反条件的参数计数。

• 常数参数下的渐近性（定理 1.2）： 对于常数序列 $\phi_i = u$ 和 $\psi_i = v$（满足 $|v| + u < 0$），作者推导了 $s_{v,u}^n(2x+1)$ 最右侧和最左侧零点的精确渐近公式。具体而言，他们表明第 $j$ 个最右侧零点 $\zeta_{n,j}$ 满足：
  $$\lim_{n \to \infty} \frac{\zeta_{n,j}}{j} \left( \frac{u+v-2j+2}{u+v-2j} \right)^n = 1$$
  （对于最左侧零点也有相应的公式）。

• 线性组合（定理 1.3）： 对于由多项式 $P$ 定义的线性组合 $q_n$，作者根据 $P$ 的根来表征零点的分布。

  • 如果 $P$ 的根位于由 $u$ 和 $v$ 确定的特定区间内，则对于 $n \ge K$，所有 $q_n$ 的零点都是实数、单根且交错的。
  • 如果 $P$ 的根在该区间之外，作者证明对于足够大的 $n$，$q_n$ 仍然仅具有实零点。他们提供了在区间 $(-1, 0)$、$(0, +\infty)$ 和 $(-\infty, -1)$ 内实零点的精确计数，分别为 $n - N^+ - N^-$、$N^+$ 和 $N^-$，其中 $N^+$ 和 $N^-$ 由 $P$ 在特定算术级数处的值的符号变化决定。

• 线性组合的渐近性（定理 6.2）： 论文提供了这些线性组合极值零点的渐近公式，表明它们收敛到由 $P$ 的根和参数 $u, v$ 决定的值。

意义与主张
本文声称为一类广泛的多项式序列的零点提供了一个“通用理论”，这些序列包含了许多经典的正交多项式和组合多项式。通过在温和条件下建立零点的实数性和交错性，作者统一了这些多样化家族的研究。

其工作意义在于：

1. 统一性： 它证明了正切、正割、欧拉和雅可比多项式是同一个 GKP 递推结构的特例。
2. 严谨的渐近分析： 它为这些序列的极值零点提供了新的、精确的渐近描述，而此前这些性质在如此广义的情况下尚未得到充分表征。
3. 实零点的稳定性： 作者展示了即使当参数偏离“安全”区域（即保证所有零点都在 $(-1, 1)$ 内的区域）时，多项式仍能保持高度的实零点特性；对于线性组合，只要辅助多项式 $P$ 不在特定临界点处消失，对于足够大的 $n$，其零点最终都会变为实数。

作者最后提出了一个猜想，认为生成这些序列的算子在更深层次上是一个“实零点增加算子”：即使初始多项式具有非实零点，通过重复应用该算子（对应于增加 $n$），只要辅助多项式 $P$ 满足非消失条件，最终将得到一个仅具有实零点的多项式。这目前仍是一个猜想，在文中并未得到证明。