[論文レビュー] Preserving positive polynomials and beyond

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

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

ひとこと要約

本稿は、定数係数をもつ有限および無限順序の常微分作用素—特に、1変数多項式における正性、非負性、楕円型を保つ作用素—を調査する。有限順序作用素は、次数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] 上の線形作用素が1変数多項式における正性、非負性、または楕円型を保つものとして分類すること。
• 双曲型を保つ作用素にとどまらず、非負および正の多項式へとポーリャ＝シュール理論を拡張すること。
• 有限順序微分作用素が正性クラスを保つ上での構造的制限を特定すること。
• 定数係数をもつ無限順序微分作用素が正性および非負性を保つ条件を特徴づけること。
• 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 有限順序作用素と無限順序作用素の正性クラス保型性において、構造的ギャップは存在するか？

主な発見

• 多項式係数をもつ有限順序線形微分作用素は、ℝ[x] 内の非負、正、または楕円型多項式の集合を、2k次でさえも保つことはできない。
• 任意の順序 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] で正性を保つとしても、高次項の摂動が正性を破壊するためである。