[논문 리뷰] Spectral analysis for the exceptional $X_m$-Jacobi equation

Constanze Liaw, Lance L. Littlejohn외 1명|arXiv (Cornell University)|2015. 01. 20.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 15인용 수 12

한 줄 요약

이 논문은 $X_m$-야코비 다항식의 스펙트럼 이론을 구축함으로써, 이들 다항식이 정확히 해당 고유함수인 자기수반 연산자의 고유값 문제로 해석됨을 보였다. $m, m+1, \dots$ 차수의 $X_m$-야코비 다항식이 가중 $L^2$ 공간에서 완전한 정규직교 기저를 이룬다는 것을 증명하였으며, 이는 다항식들이 진정한 고유함수로서의 역할을 하며, 이 연산자가 이들 다항식에 대응하는 이산 고유값 외에 추가 스펙트럼을 가지지 않음을 보여준다.

ABSTRACT

We provide the mathematical foundation for the $X_m$-Jacobi spectral theory. Namely, we present a self-adjoint operator associated to the differential expression with the exceptional $X_m$-Jacobi orthogonal polynomials as eigenfunctions. This proves that those polynomials are indeed eigenfunctions of the self-adjoint operator (rather than just formal eigenfunctions). Further, we prove the completeness of the exceptional $X_m$-Jacobi orthogonal polynomials (of degrees $m, m+1, m+2, ...$) in the Lebesgue--Hilbert space with the appropriate weight. In particular, the self-adjoint operator has no other spectrum.

연구 동기 및 목표

• 예외적 $X_m$-야코비 다항식의 스펙트럼 이론에 대한 엄밀한 수학적 기초를 확립하기 위해.
• 예외적 $X_m$-야코비 다항식이 형식적 고유함수 외에도 실제 자기수반 연산자의 고유함수임을 증명하기 위해.
• $X_m$-야코비 다항식이 차수 $m, m+1, \dots$인 경우 가중 리만–힐베르트 공간 $L^2((-1,1); W_{\alpha,\beta,m})$ 에서 완전함을 보여주기 위해.
• 해당 자기수반 연산자가 이들 다항식에 대응하는 이산 고유값 외에 스펙트럼을 가지지 않음을 보여주기 위해.

제안 방법

• 저자들은 $X_m$-야코비 다항식과 관련된 미분 표현으로부터 자기수반 연산자를 구성하기 위해 글라즈만–크라인–나이마르크(GKN) 이론을 적용하였다.
• 예외적 가중치 $W_{\alpha,\beta,m}(x) = \left(P_m^{(-\alpha-1,\beta-1)}(x)\right)^2 W_{\alpha,\beta}(x)$ 를 사용하여 가중 힐베르트 공간 $\mathcal{H} = L^2((-1,1); W_{\alpha,\beta,m})$ 를 정의하였다.
• 변환 $f \mapsto \widetilde{f} = f / P_m^{(-\alpha-1,\beta-1)}(x)$ 를 통해 예외적 공간과 가중치 $W_{\alpha,\beta}$ 를 가진 고전적 $L^2$ 공간을 연결하였다.
• Lemma 3.1을 적용하여, $\eta(x)$ 가 0에서와 무한대에서 멀리 떨어져 있으면서 유계임을 보장할 수 있음을 이용하여 근사화된 함수들의 조밀성을 증명하였다.
• 차수 $n+2m$ 의 다항식을 포함하는 두 개의 유한차원 부분공간 $\mathcal{E}_{n+2m}$ 과 $\mathcal{F}_{n+2m}$ 을 정의하였으며, $\mathcal{E}_{n+2m} \subset \mathcal{F}_{n+2m}$ 를 증명함으로써 근사화된 함수 $\left(P_m^{(-\alpha-1,\beta-1)}(x)\right)^2 p(x)$ 가 예외적 다항식의 스칼라곱의 닫힘에 속함을 보였다.
• 예외적 항이 $\mathcal{F}_{n+2m}$ 에 속하는 함수에 제한되었을 때 다항식으로 변환됨을 확인함으로써, 연산자가 잘 정의되고 대칭적임을 보였다.

실험 결과

연구 질문

• RQ1 예외적 $X_m$-야코비 다항식은 힐베르트 공간 설정에서 자기수반 연산자의 고유함수로 표현될 수 있는가?
• RQ2 $X_m$-야코비 다항식이 차수 $m, m+1, \dots$ 인 경우 가중 $L^2$ 공간 $L^2((-1,1); W_{\alpha,\beta,m})$ 에서 완전한가?
• RQ3 예외적 미분 표현으로부터 구성된 자기수반 연산자는 이들 다항식에 대응하는 이산 고유값 외에 스펙트럼을 가지는가?
• RQ4 예외적 가중치 $W_{\alpha,\beta,m}$ 와 고전적 야코비 가중치 $W_{\alpha,\beta}$ 는 힐베르트 공간의 등장사상 관계에서 어떻게 관련되는가?
• RQ5 예외적 항이 연산자의 정의역에서 유계이고 잘 정의되도록 보장하기 위한 조건은 무엇인가?

주요 결과

• $X_m$-야코비 다항식이 차수 $m, m+1, \dots$ 인 경우 가중 $L^2$ 공간 $L^2((-1,1); W_{\alpha,\beta,m})$ 에서 완전한 정규직교 기저를 이룬다. 이는 힐베르트 공간 설정에서의 완전성이 확인됨을 의미한다.
• 정확히 $X_m$-야코비 다항식이 고유함수인 자기수반 연산자 $T_{\alpha,\beta,m}$ 가 구성되었으며, 이는 다항식들이 형식적 고유함수 외에도 스펙트럼의 관점에서 진정한 해임을 증명한다.
• 연산자 $T_{\alpha,\beta,m}$ 는 이들 다항식에 대응하는 이산 고유값 외에 스펙트럼을 가지지 않으며, 즉 스펙트럼은 순수하게 이산적이며 이들 고유값들로 완전히 소진됨을 의미한다.
• 힐베르트 공간 $\mathcal{H} = L^2((-1,1); W_{\alpha,\beta,m})$ 는 변환 $f \mapsto \widetilde{f} = f / P_m^{(-\alpha-1,\beta-1)}(x)$ 를 통해 고전적 $L^2((-1,1); W_{\alpha,\beta})$ 공간과 등장사상적으로 등장한다. 이는 노름을 유지한다.
• 근사화된 함수 $\left(P_m^{(-\alpha-1,\beta-1)}(x)\right)^2 p(x)$ 가 $X_m$-야코비 다항식의 스칼라곱의 닫힘에 속함을 보이기 위해 $\mathcal{E}_{n+2m} \subset \mathcal{F}_{n+2m}$ 를 증명함으로써 증명이 기반을 두었다. 여기서 $\mathcal{F}_{n+2m}$ 는 예외적 경계 조건을 포함한다.
• 예외적 항이 $\mathcal{F}_{n+2m}$ 에 속하는 함수에 대해 평가되었을 때 다항식으로 변환되며, 이는 연산자가 대칭적이고 닫힐 수 있음을 보장한다. 이는 자기수반성에 있어 필수적이다.