[论文解读] Elements of Polya-Schur theory in finite difference setting

Petter Brändén, Ilia Krasikov+1 more|arXiv (Cornell University)|Apr 13, 2012

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

一句话总结

本文通过引入离散双曲性保持算子——保持最小间距至少为一的实根多项式的线性有限差分算子——发展了Pólya-Schur理论的有限差分类比。建立了常系数算子的有限差分版Hermite-Poulain定理，证明此类算子保持此类多项式当且仅当代数符号多项式具有非负实根，并刻画了保持间距的离散乘子序列。

ABSTRACT

In this note we attempt to develop an analog of Pólya-Schur theory describing the class of univariate hyperbolicity preservers in the setting of linear finite difference operators. We study the class of linear finite difference operators preserving the set of real-rooted polynomials whose mesh (i.e. the minimal distance between the roots) is at least one. In particular, finite difference versions of the classical Hermite-Poulain theorem and generalized Laguerre inequalities are obtained.

研究动机与目标

• 将经典的Pólya-Schur理论中关于保持实根性的算子推广至有限差分框架。
• 定义并刻画离散双曲性保持算子——保持最小间距至少为一的实根多项式的线性有限差分算子。
• 为常系数算子建立有限差分类比的Hermite-Poulain定理。
• 在保持间距的背景下刻画离散乘子序列及其性质。
• 探讨多项式间距、前向/后向差分与系数符号模式之间的联系。

提出的方法

• 引入实根多项式间距的概念，将其定义为根之间最小距离，次数不超过1的多项式具有无穷间距。
• 将离散双曲性保持算子定义为形如 $ T(p)(x) = \sum_{i=0}^k q_i(x) p(x-i) $ 的线性有限差分算子，其保持 $ \mathcal{HP}_{\geq 1} $，即间距 ≥1 的实根多项式集合。
• 建立Riesz不等式的有限差分类比，证明算子 $ T(p)(x) = p(x) - \lambda p(x-\alpha) $ 对于 $ \lambda, \alpha > 0 $ 保持间距，且当 $ \lambda \geq 1 $ 时保持非负根。
• 刻画常系数有限差分算子为离散双曲性保持算子当且仅当其符号多项式 $ Q(t) = \sum a_i t^i $ 的所有根均为非负实数。
• 使用前向差分算子 $ \nabla p(x) = p(x+1) - p(x) $ 分析符号模式，并推导出 $ \mathcal{HP}_{\geq 1}^{+} $ 中多项式系数的不等式。
• 应用组合与代数技巧，证明离散乘子序列的非零项具有相同符号，并在一定条件下满足单调性条件。

实验结果

研究问题

• RQ1 哪些有限差分算子保持间距至少为一的实根多项式集合？
• RQ2 能否为常系数算子建立Hermite-Poulain定理的有限差分类比？
• RQ3 在保持间距的背景下，离散乘子序列的特征是什么？
• RQ4 前向与后向差分如何影响实根多项式的间距与根分布？
• RQ5 何种条件可确保对角有限差分算子保持 $ \mathcal{HP}_{\geq 1}^{+} $？

主要发现

• 有限差分算子 $ T(p)(x) = p(x) - \lambda p(x-\alpha) $ 对任意 $ \lambda, \alpha > 0 $ 保持 $ \mathcal{HP}_{\geq \alpha} $ 中双曲多项式的间距，且当 $ \lambda \geq 1 $ 时保持 $ \mathcal{HP}_{\geq \alpha}^{+} $。
• 常系数有限差分算子 $ T(p)(x) = \sum_{i=0}^k a_i p(x-i) $ 为离散双曲性保持算子当且仅当其符号多项式 $ Q(t) = \sum a_i t^i $ 的所有根均为非负实数。
• 离散乘子序列的所有非零项具有相同符号，此结论由 $ \mathcal{HP}_{\geq 1}^{+} $ 中多项式系数的符号模式所揭示。
• 对于离散乘子序列 $ \{\alpha_i\} $，若 $ \alpha_{m+2} > 0 $，则必有 $ \alpha_m \leq \alpha_{m+1} $，表明存在必要的单调性条件。
• 序列 $ \{(n)_i\}_{n=0}^\infty $，其中 $ (n)_i $ 为下降阶乘，对任意固定的 $ i \geq 0 $ 均为离散乘子序列。
• 若 $ p(x) = (x)_i q(x) $ 且 $ q $ 的所有根位于 $ (-\infty, i] $ 内，则 $ \{p(n)\}_{n=0}^\infty $ 为离散乘子序列。