[論文レビュー] A New Class of Exceptional Orthogonal Polynomials: The Type III $X_{m}$-Laguerre Polynomials And The Spectral Analysis of Three Types of Exceptional Laguerre Polynomials

Constanze Liaw, Lance L. Littlejohn+2 more|arXiv (Cornell University)|Jul 15, 2014

Quantum Mechanics and Non-Hermitian Physics被引用数 9

ひとこと要約

本稿では、$n=1$ から始めて最初の $m$ 次の次数を省略する、新しい種類の例外的正交多項式、Type III $X_m$-Laguerre 多項式の族を導入する。これらの多項式と関連する自己共役微分作用素を構成し、正の重み関数に関する $L^2$ 空間における、直交性、ノルム、根の漸近挙動、および完全性を含む包括的なスペクトル解析を提供する。

ABSTRACT

The Bochner Classification Theorem (1929) characterizes the polynomial sequences $\p_{n}\}_{n=0}^{\infty}$, with $ ext{deg}\,p_{n}=n$ that simultaneously form a complete set of eigenstates for a second-order differential operator and are orthogonal with respect to a positive Borel measure having finite moments of all orders. Indeed, up to a complex linear change of variable, only the classical Hermite, Laguerre, and Jacobi polynomials satisfy these conditions. In 2009, Gómez-Ullate, Kamran, and Milson found that for sequences $\{p_{n}\}_{n=1}^{\infty}$, $ ext{deg}\,p_{n}=n$ (without the constant polynomial), the only such sequences are the exceptional $X_{1}$-Laguerre and $X_{1}$-Jacobi polynomials. Subsequently, other exceptional orthogonal polynomials $\{p_{n}\}_{n\in\mathbb{N}_{0}\diagdown A}$ were discovered and studied (here $A$ is a finite subset of the non-negative integers $\mathbb{N}_{0}$ and $ ext{deg}\,p_{n}=n$ for all $n\in\mathbb{N}_{0}\diagdown A$). We call such a sequence an exceptional $X_{\left\vert A ight\vert}$ sequence. Remarkably, all exceptional sequences found, to date, form a complete orthogonal set in their natural Hilbert space setting. Among the exceptional sets already known are the Type I and Type II $X_{m}$-Laguerre polynomials, each omitting $m$ polynomials. We briefly discuss these polynomials and construct self-adjoint operators generated by their corresponding second-order differential expressions in appropriate Hilbert spaces. In addition, we present a new Type III family of $X_{m}$-Laguerre polynomials along with a detailed disquisition of its properties. We include several representations of these polynomials, orthogonality, norms, completeness, the location of their local extrema and roots, root asymptotics, as well as the spectral study of the second-order Type III exceptional $X_{m}$-Laguerre differential expression.

研究の動機と目的

• 新しい種類の例外的正交多項式、すなわち $n = 1, 2, \dots, m$ の次数を省略する Type III $X_m$-Laguerre 多項式を導入・特徴づけること。
• 適切なヒルベルト空間における、これらの多項式に関連する2階微分表現から生成される自己共役微分作用素を構成すること。
• Type III 例外的 $X_m$-Laguerre 微分表現の包括的なスペクトル解析を提供すること。これには固有関数の完全性およびスペクトル的性質が含まれる。
• 新しい多項式族の直交性、ノルム、根の漸近挙動、局所極値および根の位置を確立すること。
• 構造的およびスペクトル的挙動の観点から、以前に知られていた Type I および Type II $X_m$-Laguerre 多項式と比較・対比すること。

提案手法

• 古典的 Laguerre 多項式と Wronskian 構造を含む行列式による公式を用いて、Type III $X_m$-Laguerre 多項式 $L_{k,n}^{\text{III},\alpha}(x)$ を定義する。
• 多項式 $L_{k,n}^{\text{III},\alpha}(x)$ を零化する2階微分表現 $\ell[y](x) = a_2(x)y''(x) + a_1(x)y'(x) + a_0(x)y(x)$ を導出する。この表現は固有値 $\lambda_n$ を持つ。
• 微分表現が重み関数 $w_\alpha(x) = x^\alpha e^{-x}$ を持つ重み付き $L^2$ 空間 $L^2((0,\infty), w_\alpha(x)dx)$ において自己共役作用素を生成することを証明する。
• ヒルベルト空間 $L^2((0,\infty), w_\alpha(x)dx)$ において、例外的多項式列 $\{L_{k,n}^{\text{III},\alpha}\}_{n \in \mathbb{N}_0 \setminus \{1,\dots,m\}}$ の完全性を確立する。
• 最急降下法を用いて根の漸近挙動を解析し、根および局所極値の位置を明示的な式で導出する。
• Wronskian 構造および重み関数の性質を用いて、直交性を検証し、多項式の $L^2$ ノルムを計算する。

実験結果

リサーチクエスチョン

• RQ1 新しい Type III $X_m$-Laguerre 多項式の明示的構造は何か？ また、以前に知られていた Type I および Type II の家族とはどのように異なるか？
• RQ2 Type III の例外的 $X_m$-Laguerre 多項式から生成される2階微分作用素は何か？ そして、適切なヒルベルト空間において自己共役であるか？
• RQ3 Type III $X_m$-Laguerre 多項式の根および局所極値はどのように振る舞い、その漸近的分布は何か？
• RQ4 Type III $X_m$-Laguerre 多項式に関連する微分表現のスペクトル分解は何か？
• RQ5 Type III $X_m$-Laguerre 多項式は、重み付き $L^2$ 空間 $L^2((0,\infty), x^\alpha e^{-x}dx)$ で完全か？

主な発見

• Type III $X_m$-Laguerre 多項式は、$n \in \mathbb{N}_0 \setminus \{1,\dots,m\}$ に対して $L_{k,n}^{\text{III},\alpha}(x)$ として構成され、$m=1,2,3$ および $n$ が 7 までの場合の明示的公式が与えられている。
• 多項式は係数 $a_2(x), a_1(x), a_0(x)$ を持つ2階微分方程式 $\ell[y] = \lambda_n y$ を満たし、これらは Wronskian 構造から導出される。この作用素は $L^2((0,\infty), x^\alpha e^{-x}dx)$ において自己共役である。
• $L^2$-ノルムは明示的に計算されており、$\alpha$ および $m$ に依存し、$L_{k,n}^{\text{III},\alpha}$ のノルムは有限かつ正である。
• Type III $X_m$-Laguerre 多項式の根は実根、単一根であり、古典的 Laguerre 多項式の根と交互に配置される。最急降下法を用いて根の漸近挙動が導出された。
• 例外的多項式列 $\{L_{k,n}^{\text{III},\alpha}\}$ は、$L^2((0,\infty), x^\alpha e^{-x}dx)$ において完全な直交系を形成する。これは自然なヒルベルト空間における完全性を確認する。
• 微分表現のスペクトル論は完全に解析された。スペクトルは純粋に離散的であり、固有関数は重み付き $L^2$ 空間において完全な正規直交基底を形成する。