[論文レビュー] 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

ひとこと要約

本稿では、離散的双曲性保存作用素—メッシュが1以上の実根多項式を保存する線形有限差分作用素—を導入することで、ポリア＝シュール理論の有限差分版を構築する。有限差分版のエルミート＝ポワイユの定理を確立し、定数係数作用素がこのような多項式を保存するための必要十分条件として、その記号多項式が非負の実根を持つことであることを証明するとともに、メッシュ保存性を有する離散的乗数列を特徴づける。

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.

研究の動機と目的

• 古典的ポリア＝シュール理論における実根保存作用素を有限差分設定へ拡張すること。
• 離散的双曲性保存作用素—メッシュが1以上の実根多項式を保存する線形有限差分作用素—を定義し、その特徴づけを行うこと。
• 定数係数作用素に対して、有限差分版のエルミート＝ポワイユの定理を確立すること。
• メッシュ保存性の文脈における離散的乗数列の特徴づけとその性質を明らかにすること。
• 多項式のメッシュ、前進/後退差分、係数の符号パターンとの関係を調査すること。

提案手法

• 実根多項式のメッシュを定義し、根間の最小距離として定義する。次数≤1の多項式は無限大のメッシュを持つとみなす。
• 線形有限差分作用素 $ T(p)(x) = \sum_{i=0}^k q_i(x) p(x-i) $ として定義される離散的双曲性保存作用素を、$ \mathcal{HP}_{\geq 1} $（メッシュ≥1の実根多項式の集合）を保存するものとして定義する。
• リエシュの不等式の有限差分版を確立し、$ 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 どの有限差分作用素がメッシュが1以上の実根多項式の集合を保存するか？
• RQ2 定数係数作用素に対して、エルミート＝ポワイユの定理の有限差分版を確立できるか？
• RQ3 メッシュ保存性の文脈における離散的乗数列はどのように特徴づけられるか？
• RQ4 前進差分および後退差分は、実根多項式のメッシュと根の分布にどのように影響するか？
• RQ5 対角的有限差分作用素が $ \mathcal{HP}_{\geq \alpha}^{+} $ を保存するための条件は何か？

主な発見

• 有限差分作用素 $ 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} $ が成り立つ。これは必要な単調性条件を示している。
• 任意の固定された $ i \geq 0 $ に対して、$ \{(n)_i\}_{n=0}^\infty $（$ (n)_i $ は下降階乗）は離散的乗数列である。
• 多項式 $ p(x) = (x)_i q(x) $ で $ q $ がすべての根を $ (-\infty, i] $ に持つとき、$ \{p(n)\}_{n=0}^\infty $ は離散的乗数列である。