[論文レビュー] Spectral analysis for the exceptional $X_m$-Jacobi equation

Constanze Liaw, Lance L. Littlejohn+1 more|arXiv (Cornell University)|Jan 20, 2015

Quantum Mechanics and Non-Hermitian Physics参考文献 15被引用数 12

ひとこと要約

本稿では、$X_m$-Jacobi多項式のスペクトル理論を確立するために、その固有関数が正確にこれらの多項式である自己共役作用素を構成することにより、例外的 $X_m$-Jacobi多項式のスペクトル理論を確立した。$m, m+1, \dots$ の次数の $X_m$-Jacobi多項式が重み付き $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$-Jacobi多項式のスペクトル理論に対する厳密な数学的基盤を確立すること。
• 例外的 $X_m$-Jacobi多項式が、形式的固有関数ではなく、実際に自己共役作用素の固有関数であることを証明すること。
• $X_m$-Jacobi多項式の $m, m+1, \dots$ の次数が、重み付き Lebesgue–Hilbert 空間 $L^2((-1,1); W_{\alpha,\beta,m})$ で完全であることの証明。
• 関連する自己共役作用素が、これらの多項式に対応する離散固有値以外のスペクトルを持たないことを示すこと。

提案手法

• 著者らは、$X_m$-Jacobi多項式に関連する微分作用素に対し、Glazman–Krein–Naimark (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)$ を用いて、例外的空間と古典的 $L^2$ 空間（重み $W_{\alpha,\beta}$）との関係を確立した。
• 補題 3.1 を適用し、$\eta(x)$ が 0 および $\infty$ から離れているならば $\eta(x)\mathcal{P}$ が $L^2((-1,1); W_{\alpha,\beta})$ で稠密であることを示した。これにより近似関数列の稠密性を証明した。
• 次数 $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$-Jacobi多項式は、ヒルベルト空間設定下で自己共役作用素の固有関数として実現可能か？
• RQ2 $X_m$-Jacobi多項式の $m, m+1, \dots$ の次数の集合は、重み付き $L^2$ 空間 $L^2((-1,1); W_{\alpha,\beta,m})$ で完全か？
• RQ3 例外的微分作用素から構成された自己共役作用素は、これらの多項式に対応する離散固有値以外のスペクトルを持つだろうか？
• RQ4 ヒルベルト空間同型の観点から、例外的重み $W_{\alpha,\beta,m}$ と古典的Jacobi重み $W_{\alpha,\beta}$ はどのように関係しているか？
• RQ5 微分作用素における例外的項が、作用素の定義域上で有界かつ適切に定義されるための条件は何か？

主な発見

• $X_m$-Jacobi多項式の $m, m+1, \dots$ の次数は、重み付き $L^2$ 空間 $L^2((-1,1); W_{\alpha,\beta,m})$ で完全正規直交基底をなすことが確認され、ヒルベルト空間設定下での完全性が裏付けられた。
• 固有関数が正確に $X_m$-Jacobi多項式である自己共役作用素 $T_{\alpha,\beta,m}$ が構成された。これにより、それらが形式的固有関数ではなく、スペクトル的意味で真の解であることが証明された。
• $T_{\alpha,\beta,m}$ は、$X_m$-Jacobi多項式に対応する離散固有値以外のスペクトルを持たない。つまり、スペクトルは純粋に離散的であり、それらの固有値によって完全に尽くされる。
• ヒルベルト空間 $\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$-Jacobi多項式の線形包の閉包に属することの証明は、$\mathcal{E}_{n+2m} \subset \mathcal{F}_{n+2m}$ を示すことにより行われた。ここで $\mathcal{F}_{n+2m}$ は例外的境界条件を符号化している。
• 関数 $\mathcal{F}_{n+2m}$ 上で評価したとき、微分作用素の例外的項は多項式に簡略化される。これにより作用素は対称的かつ閉包可能であり、自己共役性に不可欠な条件を満たした。