[論文レビュー] Discrete analogues of the Laguerre inequalities and a conjecture of I. Krasikov

George Csordás, Matthew Chasse|arXiv (Cornell University)|May 27, 2010

Mathematical functions and polynomials参考文献 17被引用数 3

ひとこと要約

この論文は、実根と最小メッシュサイズ1をもつ多項式に対する離散ラゲール型不等式に関するI. Krasikovの予想を証明し、古典的ラゲール不等式の有限差分版が成り立つことを確立する。結果は、メッシュ条件と同様の条件下で、2未満の順序または2次の最小型のラゲール-ポーヤクラスに属する整関数へと拡張され、多項式列の一様収束とハダマール因数分解を用いて示される。

ABSTRACT

A conjecture of I. Krasikov is proved. Several discrete analogues of classical polynomial inequalities are derived, along with results which allow extensions to a class of transcendental entire functions in the Laguerre-Pólya class.

研究の動機と目的

• 実根と最小メッシュサイズ1をもつ多項式に対する離散ラゲール不等式のI. Krasikovの予想を証明すること。
• 離散不等式をラゲール-ポーヤクラスに属する超越整関数のクラスへと拡張すること。
• 零点間隔の制約がある関数に対して、有限差分不等式が非負のまま保たれる条件を確立すること。
• 零点間隔、多項式列の収束、および離散不等式の妥当性との関係を調査すること。
• より広範な整関数クラスへの不等式の拡張に関するさらなる予想を提示・動機づけること。

提案手法

• 実根とメッシュサイズμ(p) ≥ 1をもつ多項式に有限差分作用素を適用して予想を証明する。
• 有限差分関数 $ f_n(x,1,p) = (n-1)[p(x+1)-p(x-1)]^2 - 4n p(x)[p(x+1)-2p(x)+p(x-1)] $ を定義し、メッシュ条件の下で非負であることを示す。
• 零点間隔が増加する多項式列の一様収束を用いて指数関数を近似し、結果を超越関数へと拡張する。
• ハダマール因数分解定理を適用してラゲール-ポーヤクラスに属する関数を表現し、部分積で近似する。
• モンテルの定理と正規族を用いて、制御された零点間隔をもつ多項式の収束部分列を抽出する。
• 極限の議論を用いて、多項式の不等式からラゲール-ポーヤクラスの整関数に対する対応する不等式へと移行する。

実験結果

リサーチクエスチョン

• RQ1 I. Krasikovが提唱した離散ラゲール型不等式は、実根とメッシュサイズが1以上であるすべての多項式に対して成り立つか？
• RQ2 離散不等式は多項式からラゲール-ポーヤクラスに属する超越整関数へと拡張可能か？
• RQ3 零点間隔（メッシュサイズ）にどのような条件を課すと、整関数に対する有限差分不等式が成立するか？
• RQ4 すべての $ \varphi \in \mathcal{L}\text{-}\mathcal{P} $ に対して $ f_{\text{infty}}(x,1,\nvarphi) \geq 0 $ が成り立つか、ただし $ \mu_{\infty}(\varphi) \geq 1 $ である。
• RQ5 制御された零点間隔をもつ多項式列の収束を用いて、古典的不等式を整関数の設定へと拡張可能か？

主な発見

• I. Krasikovの予想が証明された：任意の $ p(x) \in \mathcal{L}\text{-}\mathcal{P}_n $ で $ \mu(p) \geq 1 $ をみたす多項式について、すべての実数 $ x $ に対して不等式 $ (n-1)[p(x+1)-p(x-1)]^2 - 4n p(x)[p(x+1)-2p(x)+p(x-1)] \geq 0 $ が成り立つ。
• 不等式は、順序 $ \rho < 2 $ あるいは $ \rho = 2 $ の最小型をもつ超越整関数 $ \varphi \in \mathcal{L}\text{-}\mathcal{P} $ へと拡張され、無限メッシュ $ \mu_{\infty}(\varphi) \geq 1 $ の条件下で成立する。
• 零点間隔が増加する多項式列は、$ \mathbb{C} $ のコンパクト集合上で一様収束し、$ e^x $ へと収束する。これにより、不等式は指数関数およびそれ以上の関数へと拡張可能となる。
• 近似多項式に適用した有限差分関数の極限は、極限関数に対する対応する関数へ収束し、非負性が保たれる。
• 証明は、対数微分の一様有界性と正規族に依拠しており、部分列がラゲール-ポーヤクラスの整関数へ収束することを保証する。
• すべての $ \varphi \in \mathcal{L}\text{-}\mathcal{P} $ で $ \mu_{\infty}(\varphi) \geq 1 $ をみたす場合に不等式が成り立つという予想が提示され、現在の条件を越えたより広範な妥当性を示唆する。