[论文解读] 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

一句话总结

本文引入了一类新的例外正交多项式——III型 $X_m$-拉盖尔多项式，其从 $n=1$ 开始省略前 $m$ 个次数。本文构建了与这些多项式相关的自伴微分算子，并在正权函数下的 $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.

研究动机与目标

• 引入并表征一类新的例外正交多项式家族，即III型 $X_m$-拉盖尔多项式，其省略次数 $n = 1, 2, \dots, m$。
• 在适当的希尔伯特空间中，构造由这些多项式关联的二阶微分表达式所生成的自伴微分算子。
• 对III型例外 $X_m$-拉盖尔微分表达式提供完整的谱分析，包括本征函数完备性与谱性质。
• 建立新多项式族的正交性、范数、根渐近性以及局部极值点与根的位置。
• 从结构与谱行为两方面，将新提出的III型家族与先前已知的I型与II型 $X_m$-拉盖尔多项式进行比较与对照。

提出的方法

• 通过涉及经典拉盖尔多项式与Wronskian结构的行列式公式，定义III型 $X_m$-拉盖尔多项式 $L_{k,n}^{ ext{III},\alpha}(x)$。
• 推导出 annihilate 多项式 $L_{k,n}^{ ext{III},\alpha}(x)$ 的二阶微分表达式 $\ell[y](x) = a_2(x)y''(x) + a_1(x)y'(x) + a_0(x)y(x)$，其特征值为 $\lambda_n$。
• 证明该微分表达式在加权 $L^2$ 空间 $L^2((0,\infty), w_\alpha(x)dx)$ 中生成一个自伴算子，其中 $w_\alpha(x) = x^\alpha e^{-x}$。
• 在希尔伯特空间 $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 新III型 $X_m$-拉盖尔多项式的显式结构是什么？其与先前已知的I型与II型家族有何不同？
• RQ2 III型例外 $X_m$-拉盖尔多项式所生成的二阶微分算子是什么？它在适当的希尔伯特空间中是否为自伴算子？
• RQ3 III型 $X_m$-拉盖尔多项式的根与局部极值点的行为如何？其渐近分布特征是什么？
• RQ4 III型 $X_m$-拉盖尔多项式所关联的微分表达式的谱分解是什么？
• RQ5 III型 $X_m$-拉盖尔多项式在加权 $L^2$ 空间 $L^2((0,\infty), x^\alpha e^{-x}dx)$ 中是否完备？

主要发现

• III型 $X_m$-拉盖尔多项式以 $L_{k,n}^{\text{III},\alpha}(x)$ 的形式构造，其中 $n \in \mathbb{N}_0 \setminus \{1,\dots,m\}$，并为 $m=1,2,3$ 及 $n$ 最大至7的情况给出了显式公式。
• 这些多项式满足一个二阶微分方程 $\ell[y] = \lambda_n y$，其系数 $a_2(x), a_1(x), a_0(x)$ 由Wronskian结构导出，且该算子在 $L^2((0,\infty), x^\alpha e^{-x}dx)$ 中为自伴算子。
• $L^2$-范数被显式计算，其值依赖于 $\alpha$ 与 $m$，且 $L_{k,n}^{\text{III},\alpha}$ 的范数为有限正数。
• III型 $X_m$-拉盖尔多项式的根为实数、单重根，且与经典拉盖尔多项式的根交错分布；根渐近性通过最陡下降法推导得出。
• 例外多项式序列 $\{L_{k,n}^{\text{III},\alpha}\}$ 在 $L^2((0,\infty), x^\alpha e^{-x}dx)$ 中构成一个完备的正交系，确认了其在自然希尔伯特空间中的完备性。
• 微分表达式的谱理论得到全面分析：谱为纯离散谱，且本征函数在加权 $L^2$ 空间中构成一个完备的正交基。