[论文解读] On zeros of polynomials and allied functions satisfying second order differential equations

Ilia Krasikov|arXiv (Cornell University)|Nov 12, 2002

Mathematical functions and polynomials参考文献 9被引用 19

一句话总结

本论文通过分析满足二阶变系数线性微分方程的拉盖尔-波利亚类函数，建立了经典正交多项式——埃尔米特、拉盖尔和雅可比多项式——其极值零点的精确且一致的界限。利用微分方程的对数导数与判别式，推导出零点间距的显式不等式，其精度可与渐近展开相媲美，尤其在大次数极限下表现优异。

ABSTRACT

We shall give bounds on the spacing of zeros of certain functions belonging to the Laguerre-Polya class and satisfying a second order differential equation. As a corollary we establish new sharp inequalities on the extreme zeros of the Hermite, Laguerre and Jacobi polinomials, which are uniform in all the parameters.

研究动机与目标

• 推导经典正交多项式极值零点的新锐不等式，且在所有参数下保持一致。
• 将拉盖尔关于对数导数的不等式方法推广至满足变系数二阶微分方程的函数。
• 为拉盖尔-波利亚类中的多项式与整函数提供零点间距的定量界限。
• 将所得界限与已知渐近展开及现有不等式进行比较，尤其关注大次数极限下的表现。
• 展示该方法在埃尔米特、拉盖尔、雅可比及贝塞尔型函数上的有效性，表明其结果趋近于渐近值。

提出的方法

• 该方法依赖于拉盖尔-波利亚类条件，该条件保证实零点并具有特定的唯一乘积表示形式。
• 使用对数导数 $ t(x) = f'(x)/f(x) $ 与微分方程 $ f'' - 2a f' + b f = 0 $ 的判别式 $ \Delta(x) = b(x) - a^2(x) $。
• 通过分析 $ a(x) $ 与 $ t(x) $ 的递减分支之间的交点，利用交点处的不等式 $ (c - x_j)^2 \Delta(c) \geq 1 $ 推导出零点位置的界限。
• 对于极值零点，通过在区域 $ \Delta(x) > 0 $ 上优化，得到如 $ x_1 > \min_{x \in J} \left\{ x + \frac{1}{\sqrt{\Delta(x)}} \right\} $ 的表达式。
• 通过引入辅助函数 $ g(x) = f(x)/((x - x_i)(x - x_j)) $，将方法推广至高阶扰动，导出涉及 $ \Delta(x) $ 的更强界限。
• 通过在 $ \Delta(x) $ 的零点附近展开 $ \Delta(x) $，推导出渐近近似，得到包含 $ \Delta'({\bf y}_1)^{-1/3} $ 的表达式，其与已知的艾里函数渐近行为一致。

实验结果

研究问题

• RQ1 能否在不依赖渐近展开的前提下，推导出经典正交多项式极值零点的锐确一致界限？
• RQ2 仅利用微分方程系数，能否对拉盖尔-波利亚类函数的零点间距做出高精度估计？
• RQ3 所推导的界限在多大程度上与已知渐近展开一致，特别是在大次数情形下？
• RQ4 该方法能否推广至整函数及贝塞尔函数等特殊函数？
• RQ5 在仅知第一项渐近展开的参数区域中，界限的精度如何，相对于真实极值零点？

主要发现

• 埃尔米特多项式 $ H_k(x) $ 的最大零点 $ x_M $ 满足 $ x_M < \sqrt{2k} - 3 \cdot 2^{-11/6} k^{-1/6} + O(k^{-1/2}) $，与已知渐近值 $ 1.85575... $ 非常接近。
• 对于 $ \alpha/k = A $、$ \beta/k = B $ 固定的雅可比多项式，极值零点满足 $ x_M < T - 3(1 - T^2)^{2/3}/(2((1+A)(1+B)(1+A+B))^{1/6}) k^{-2/3} + O(k^{-1}) $，其中 $ T $ 有显式表达式。
• 切比雪夫多项式的界限给出 $ x_M < 1 - 0.72 k^{-2} $，而真实值约为 $ 1 - 1.23 k^{-2} $，表明该方法正确捕捉了数量级。
• 对于超球多项式情形 $ \alpha = \beta $，界限为 $ x_M < \frac{\sqrt{1+2A}}{1+A} - \frac{3A^{4/3}}{2(1+A)^{5/3}(1+2A)^{1/6}} k^{-2/3} + O(k^{-1}) $。
• 通过使用更高阶辅助函数 $ g = \sum_{i=0}^n (-\lambda)^i \binom{n}{i} f^{(i)} $，零点间距界限得到改善，且校正项系数 $ c(n) $ 随 $ n $ 增大趋近于 $ 1.85575... $。
• 所导出的不等式在锐确意义上是精确的，其与极值零点的主导渐近行为一致，尤其在 $ k^{-2/3} $ 缩放区域中表现优异，且与已知渐近结果具有竞争力。