[論文レビュー] Abstract "hypergeometric" orthogonal polynomials

Alexei Zhedanov|arXiv (Cornell University)|Jan 27, 2014

Mathematical functions and polynomials参考文献 9被引用数 5

ひとこと要約

この論文は、Lxⁿ = λₙxⁿ + μₙxⁿ⁻¹ を満たす多項式上に作用する抽象的な''超幾何''作用素 L を、固有多項式 Pₙ(x) が直交するように分類する。2つの対角成分を持つ作用素構造と非退化性条件を用いて、直交性を満たすのは、ジャコビ、ラゲルル、リトル q-ジャコビ、リトル q-ラゲルル、ベッセル、およびリトル −1 ジャコビ多項式に限られることを証明し、抽象的な超幾何的枠組み下でのこのような直交多項式族の完全分類を確立する。

ABSTRACT

We find all polynomials solutions $P_n(x)$ of the abstract "hypergeometric" equation $L P_n(x) = λ_n P_n(x)$, where $L$ is a linear operator sending any polynomial of degree $n$ to a polynomial of the same degree with the property that $L$ is two-diagonal in the monomial basis, i.e. $L x^n = λ_n x^n + μ_n x^{n-1}$ with arbitrary nonzero coefficients $λ_n, μ_n$ . Under obvious nondegenerate conditions, the polynomial eigensolutions $L P_n(x) = λ_n P_n(x)$ are unique. The main result of the paper is a classification of all {\it orthogonal} polynomials $P_n(x)$ of such type, i.e. $P_n(x)$ are assumed to be orthogonal with respect to a nondegenerate linear functional $σ$. We show that the only solutions are: Jacobi, Laguerre (correspondingly little $q$-Jacobi and little $q$-Laguerre and other special and degenerate cases), Bessel and little -1 Jacobi polynomials.

研究の動機と目的

• 多項式上に作用する線形作用素 L をすべて分類すること。ここで Lxⁿ = λₙxⁿ + μₙxⁿ⁻¹ であり、固有多項式 Pₙ(x) が直交する。
• このような抽象的''超幾何''作用素の固有多項式として生じる直交多項式族の完全な集合を特定すること。
• 固有多項式が直交かつ非退化であるための係数 λₙ と μₙ に対する必要十分条件を確立すること。
• 作用素構造とスペクトル的性質に基づく単一の抽象的枠組みにおいて、古典的および q-古典的直交多項式を統一すること。

提案手法

• 単項式上での作用により抽象的''超幾何''作用素 L を定義する：Lxⁿ = λₙxⁿ + μₙxⁿ⁻¹ で、任意の非ゼロ λₙ、μₙ を用いる。
• 固有値方程式 LPₙ(x) = λₙPₙ(x) を用い、λₙ と μₙ から得られる再帰的係数を用いて、Pₙ(x) を単項式 xᵏ の線形結合として表現する。
• 非退化な線型汎関数 σ に関する直交性条件を課し、{λₙ} と {μₙ} の系列に強い制約をもたらす。
• 作用素 L、X（x を掛ける作用素）、および定数を含む、必要十分な作用素恒等式を導出する：X²L + LX² − ΩXMLX + B₂X² + C₂X = 0。
• この作用素恒等式が、固有多項式が直交するような許容的で適切な作用素 L を特徴づけ、Askey-Wilson代数 AW(3) と関連付ける。
• 双対作用素 R₂ = L²X + XL² − ΩLXL を用い、そのスペクトル的関係を導出し、分類を確認する。

実験結果

リサーチクエスチョン

• RQ1 2対角作用素として単項式上に作用する抽象的''超幾何''作用素 L で、非退化な線型汎関数に関して固有多項式 Pₙ(x) が直交するものはどれか？
• RQ2 作用素 L の固有多項式が直交するための係数 λₙ と μₙ に対する必要十分条件は何か？
• RQ3 古典的および q-古典的直交多項式（例：ジャコビ、ラゲルル、リトル q-ジャコビ）は、この2対角作用素の抽象的枠組みにどのように適合するか？
• RQ4 リトル −1 ジャコビ多項式は、この枠組み内での1次のDunkl型作用素の固有多項式として特徴づけられるか？
• RQ5 このような許容的作用素を分類する背後にある代数的構造（例：Askey-Wilson関係）は何か？

主な発見

• 2対角作用素としての抽象的''超幾何''作用素 L の固有多項式として直交する多項式族として現れるのは、ジャコビ、ラゲルル、リトル q-ジャコビ、リトル q-ラゲルル、ベッセル、およびリトル −1 ジャコビ多項式に限られる。
• 作用素 L が許容的（すなわち、直交固有多項式を生成する）であるための必要十分条件は、定数 Ω、B₂、C₂ に対して、恒等式 X²L + LX² − ΩXMLX + B₂X² + C₂X = 0 が成り立つことである。
• Ω ≠ ±2 の場合は一般のリトル q-ジャコビ族およびその退化系に対応し、Ω = ±2 は q → ±1 の極限として現れる。
• 固有多項式 Pₙ(x) は再帰的係数 λₙ と μₙ によって一意に定まり、そのモニック形はハイパージオメトリックに似た展開式で明示的に与えられる。
• この分類は古典的および q-古典的多項式を含み、リトル −1 ジャコビ多項式は1次のDunkl型作用素から得られる独立な族として現れる。
• この枠組みは、L が微分作用素でも差分作用素でもない場合を許容する古典的双スペクトル問題を一般化しており、固有多項式は新しい「アンブレル古典的」性質を満たす。