[論文レビュー] A Bochner type classification theorem for exceptional orthogonal polynomials

María Ángeles García‐Ferrero, David Gómez‐Ullate+1 more|arXiv (Cornell University)|Mar 14, 2016

Mathematical functions and polynomials参考文献 60被引用数 18

ひとこと要約

この論文は、すべての例外的直交多項式系が、古典的直交多項式に有限回の有理Darboux変換を適用することで得られることを証明し、例外的多項式におけるBochner型分類を確立する。主な貢献は、古典的（Bochner）作用素へのDarboux接続を通じた例外的作用素の完全な特徴付けであり、標準的双線形形式と一次の極における自明なモノドロミーを備える。

ABSTRACT

It was recently conjectured that every system of exceptional orthogonal polynomials is related to classical orthogonal polynomials by a sequence of Darboux transformations. In this paper we prove this conjecture, which paves the road to a complete classification of all exceptional orthogonal polynomials. In some sense, this paper can be regarded as the extension of Bochner's result for classical orthogonal polynomials to the exceptional class. As a supplementary result, we derive a canonical form for exceptional operators based on a bilinear formalism, and prove that every exceptional operator has trivial monodromy at all primary poles.

研究の動機と目的

• すべての例外的直交多項式系が、古典的直交多項式に有限回の有理Darboux変換を適用することで生成されることを証明すること。
• Bochnerの古典的分類定理を例外的直交多項式の文脈に拡張すること。
• 例外的作用素のための標準的双線形形式を確立し、その構造を特徴付けること。
• すべての例外的作用素が、すべての一次の極において自明なモノドロミーを持つことを示すこと。
• すべての本質的に自己随伴な例外的作用素が、正則な古典的（Bochner）作用素へDarboux接続可能であることを確認すること。

提案手法

• 有理因子η(z) ∈ P*mを用いた双線形形式を用い、それらをDarboux変換を通じて古典的作用素に結びつける。
• 有理Darboux変換を適用して、古典的多項式から例外的多項式族を構成し、Sturm-Liouville構造を保存する。
• 例外的エルミート、ラゲール、アーベル多項式の標準的微分方程式（式68–70）を導出する。これらは古典的方程式を一般化する。
• 微分作用素の下での不変多項式部分空間の概念を用いて、例外的系を特徴付ける。
• スペクトル理論とモノドロミー解析を用い、すべての例外的作用素の一次の極において自明なモノドロミーが成り立つことを示す。
• 中間のBochner作用素が正則でない場合でも、パrameterの整数シフト（α → α+nなど）により、常に正則な作用素へDarboux接続可能であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての例外的直交多項式系が、有限回のDarboux変換を経て古典的直交多項式系から得られるか。
• RQ2 例外的直交多項式が満たす標準的微分方程式は何か。また、古典的方程式をどのように一般化するか。
• RQ3 すべての例外的微分作用素が、その一次の極において自明なモノドロミーを持つか。
• RQ4 すべての本質的に自己随伴な例外的作用素が、正則な古典的（Bochner）作用素へDarboux接続可能か。
• RQ5 重み関数とDarboux変換プロセスにおける有理因子との間の構造的関係は何か。

主な発見

• すべての例外的直交多項式系が、有理Darboux変換を経て古典的族から生じるという予想が真であると証明された。
• 有理因子η(z) ∈ P*mを用いた標準的双線形形式が確立され、古典的作用素を一般化する。
• すべての例外的作用素が、すべての一次の極において自明なモノドロミーを持つ。これは重要な構造的不変量である。
• 例外的エルミート、ラゲール、アーベル多項式の微分方程式が式（68）–（70）で導出され、m=0のとき古典的方程式に還元される。
• 中間のBochner作用素が正則でない場合でも、パrameterのシフト（例：α → α+n）により、常に正則な作用素へDarboux接続可能である。
• 証明により、すべての例外的直交多項式系が正則な古典的作用素へDarboux接続可能であることが確認され、分類フレームワークの完全性が保証された。