[논문 리뷰] 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명|arXiv (Cornell University)|2014. 07. 15.

Quantum Mechanics and Non-Hermitian Physics인용 수 9

한 줄 요약

이 논문은 첫 번째 $m$ 차수($n=1$에서 시작)를 생략하는 새로운 종류의 예외적 직교다항식, 즉 $X_m$-라거르 폴리노미얼의 유형 III를 소개한다. 이 다항식과 관련된 자기수반 미분연산자를 구성하고, 정규직교성, 노름, 근의 점근적 성질, 그리고 양의 가중함수에 대한 $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.

연구 동기 및 목표

• 첫 번째 $m$ 차수($n = 1, 2, \dots, m$)를 생략하는 새로운 종류의 예외적 직교다항식인 유형 III $X_m$-라거르 다항식을 도입하고 특성화하는 것.
• 적절한 힐베르트 공간에서 이 다항식과 관련된 두 번째 차수 미분 표현으로 생성되는 자기수반 미분연산자를 구성하는 것.
• 유형 III 예외적 $X_m$-라거르 미분 표현의 완전한 스펙트럼 분석을 제공하는 것. 이는 고유함수의 완전성과 스펙트럼 성질을 포함한다.
• 새로운 다항식 가족에 대해 정규직교성, 노름, 근의 점근적 성질, 국소 극값과 근의 위치를 확립하는 것.
• 이전에 알려진 유형 I 및 유형 II $X_m$-라거르 다항식과 비교하여, 유형 III 가족의 구조적 특성과 스펙트럼 행동을 분석하는 것.

제안 방법

• 클래식한 라거르 다항식과 와이언스키안(Wronskian) 구조를 포함하는 행렬식 공식을 통해 유형 III $X_m$-라거르 다항식 $L_{k,n}^{ ext{III},\alpha}(x)$를 정의하는 것.
• 다항식 $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\}}$의 완전성을 확립하는 것.
• 최대내림법(steepest descent method)을 사용하여 근의 점근적 성질을 분석하고, 근과 국소 극값의 위치에 대한 명시적 공식을 유도하는 것.
• 와이언스키안의 구조와 가중함수의 성질을 이용하여 정규직교성과 다항식의 $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$-라거르 다항식은 $n \in \mathbb{N}_0 \setminus \{1,\dots,m\}$에 대해 $L_{k,n}^{\text{III},\alpha}(x)$로 구성되며, $m=1,2,3$ 및 $n$이 7 이하일 경우에 대해 명시적 공식이 제시된다.
• 다항식들은 $\ell[y] = \lambda_n y$ 형태의 두 번째 차수 미분방정식을 만족하며, 계수 $a_2(x), a_1(x), a_0(x)$는 와이언스키안 구조에서 유도된다. 이 연산자는 $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$ 공간에서 완전한 orthonormal 기저를 이룬다.