[论文解读] Preserving positive polynomials and beyond

Julius Borcea, Alexander Guterman+1 more|ArXiv.org|Jan 11, 2008

Polynomial and algebraic computation参考文献 11被引用 3

一句话总结

本文研究了线性微分算子——特别是具有常系数的有限阶与无限阶常微分算子——在单变量多项式中保持正定性、非负性或椭圆性的性质。研究证明，任何有限阶微分算子都无法在次数超过 2k 的范围内保持这些正性类，而具有适当正系数序列的无限阶算子则可以保持这些性质，其特征由Hankel矩阵的正定性及系数的矩条件所刻画。

ABSTRACT

Following the classical approach of Pólya-Schur theory we initiate in this paper the study of linear operators acting on $\mathbb{R}[x]$ and preserving either the set of positive univariate polynomials or similar sets of non-negative and elliptic polynomials.

研究动机与目标

• 对 ℝ[x] 上的线性算子进行分类，使其保持单变量多项式中的正定性、非负性或椭圆性。
• 将Pólya-Schur理论从保持双曲性的算子扩展至非负与正多项式。
• 确定有限阶微分算子在保持正性类方面的结构性限制。
• 刻画具有常系数的无限阶微分算子，使其保持正定性与非负性。
• 基于Hankel矩阵正定性，建立系数序列的必要与充分条件。

提出的方法

• 分析具有多项式或常系数的有限阶与无限阶线性常微分算子。
• 应用Pólya-Schur框架，研究 ℝ[x] 中保持正定性、非负性与椭圆性的线性保持算子。
• 通过算子在常数项与一次项上的作用，推导出保持性质的必要条件。
• 利用缩放系数 (i!α_i) 构造的Hankel矩阵，刻画正定性与非负性保持的性质。
• 利用常系数算子的平移不变性，通过平移关联不同点的取值。
• 将问题简化为系数的矩条件：对所有非负多项式 ∑ a_i x^i，有 ∑ i!a_i α_i ≥ 0。

实验结果

研究问题

• RQ1 哪些具有多项式系数的有限阶线性微分算子能保持 ℝ[x] 中非负多项式集合？
• RQ2 是否存在任何有限阶微分算子，能在 k 阶算子的次数 2k 以上仍保持正定性？
• RQ3 系数序列 α = (α_0, α_1, ...) 需满足何种条件，才能使无限阶常系数微分算子保持 ℝ_k[x] 中的非负性？
• RQ4 正定性保持与缩放系数 (i!α_i) 的Hankel矩阵正定性之间有何关系？
• RQ5 有限阶与无限阶微分算子在保持正性类方面是否存在结构性差异？

主要发现

• 任何具有多项式系数的有限阶线性微分算子，即使在次数 2k 以内，也无法保持 ℝ[x] 中非负、正定或椭圆多项式集合。
• 对任意阶数 k ≥ 1 的有限阶算子，总存在一个次数为 2k 的非负多项式，其在算子作用下的像不是非负的。
• 无限阶常系数微分算子在 ℝ_k[x] 中保持正定性（分别保持非负性）当且仅当由 (i!α_i) 构造的Hankel矩阵是正定（分别正半定）的。
• 对所有非负多项式 ∑ a_i x^i，系数条件 ∑_{i=0}^k i!a_i α_i ≥ 0 是在 ℝ_k[x] 中保持非负性的必要且充分条件。
• 无限阶算子在 ℝ_k[x] 上的作用等同于其截断至阶数 k，从而可通过有限维Hankel矩阵刻画无限阶算子。
• 不存在任何有限阶常系数算子，能在任意 l > k 的 ℝ_l[x] 中保持正定性，即使其在 ℝ_k[x] 中成立，因为存在高次扰动会破坏正定性。