[論文レビュー] Note on the X_(1)-Jacobi orthogonal polynomials

W. N. Everitt|ArXiv.org|Dec 3, 2008

Spectral Theory in Mathematical Physics参考文献 1被引用数 4

ひとこと要約

本稿は、非古典的重み関数を伴う2階のスツルム＝リウヴィル微分作用素の固有関数である$X_1$-ヤコビ直交多項式について、厳密なスペクトル理論的解析を提供する。主な貢献は、重み付き$L^2$空間における自己共役微分作用素の同定であり、その中で多項式は完全直交基底をなし、スペクトルは$n \in \mathbb{N}_0$に対して$\lambda_n = n(\alpha + \beta + n)$として明示的に与えられる。多項式の次数は$n+1$である。

ABSTRACT

This note supplements the work of Gomez-Ullate, Kamran and Milson on the X_(1)-Jacobi polynomials which are orthogonal in a weighted Hilbert function space on the the interval (-1,+1) of the real line. These polynomials are generated by a second-order ordinary linear differential equation with a spectral parameter. Some additional information on the Sturm-Liouville form of this equation is given in this note, together with details of the singular differential operators generated in the weighted Hilbert function space. In particular, structured boundary conditions are given to determine the special self-adjoint operator, whose discrete spectrum and associated eigenvectors yield the X_(1)-Jacobi polynomials.

研究の動機と目的

• スツルム＝リウヴィル理論を用いて、$X_1$-ヤコビ直交多項式のための厳密な関数解析的枠組みを提供すること。
• これらの多項式に関連する重み付き$L^2$ヒルベルト空間における自己共役微分作用素を特徴付けること。
• $X_1$-ヤコビ多項式が固有関数となるよう作用素に必要な境界条件を特定すること。
• 作用素のスペクトル的性質を明確にすること、すなわちスペクトルの性質と固有関数系の完全性を特定すること。

提案手法

• $X_1$-ヤコビ多項式の微分方程式が、重み関数$w_{\alpha,\beta}(x) = \frac{(1-x)^\alpha(1+x)^\beta}{(x-b)^2}$を乗じることで、標準的なスツルム＝リウヴィル形式に変換される。
• $L^2((-1,1); w_{\alpha,\beta})$上に最大微分作用素$T_{\alpha,\beta}$を定義し、その定義域は局所可積分性および$L^2$可積分性の条件によって特徴付けられる。
• 同相形式と同次方程式の解を用いて、$x = \pm 1$における特定の境界条件を課すことにより、自己共役拡張$A_{\alpha,\beta}$が構成される。
• 境界条件は、$\alpha$および$\beta$の値に応じて、端点における極限円型または極限点型分類に基づいて導出され、必要に応じてのみ適用される。
• 固有値問題は、$X_1$-ヤコビ多項式が要求される境界条件を満たし、固有関数として$A_{\alpha,\beta}$の固有関数であることを確認することによって解かれる。固有値は$\lambda_n = n(\alpha + \beta + n)$である。
• $L^2((-1,1); w_{\alpha,\beta})$における系$\{\hat{P}_n^{(\alpha,\beta)}\}$の完全性と直交性は、スペクトル理論および先行研究からの古典的解析結果を用いて確立される。

実験結果

リサーチクエスチョン

• RQ1 どのようにして$X_1$-ヤコビ直交多項式を自己共役スツルム＝リウヴィル枠組みに埋め込むことができるか？
• RQ2 $x = \pm 1$における微分作用素に、$X_1$-ヤコビ多項式が固有関数となるために必要な正確な境界条件は何か？
• RQ3 端点におけるスペクトル型（極限円型または極限点型）は、自己共役作用素の構成にどのように影響するか？
• RQ4 関連する自己共役作用素の固有値および固有関数の正確な形は何か？
• RQ5 $X_1$-ヤコビ多項式の完全性と直交性は、重み付き$L^2$空間でどのように確立されるか？

主な発見

• $X_1$-ヤコビ多項式$\hat{P}_n^{(\alpha,\beta)}$は、重み付き$L^2$空間$L^2((-1,1); w_{\alpha,\beta})$における自己共役スツルム＝リウヴィル作用素$A_{\alpha,\beta}$の固有関数である。
• $A_{\alpha,\beta}$の固有値は、すべての$n \in \mathbb{N}_0$に対して明示的に$\lambda_n = n(\alpha + \beta + n)$として与えられ、離散的かつ非有界なスペクトルを形成する。
• $\hat{P}_n^{(\alpha,\beta)}$はすべての$n \in \mathbb{N}_0$に対して次数$n+1$の多項式であり、したがって定数多項式を除き、次数1から始まる。
• $w_{\alpha,\beta}(x) = \frac{(1-x)^\alpha(1+x)^\beta}{(x-b)^2}$という重み関数は、スツルム＝リウヴィル形式を保証し、内積空間を定義する。
• $-1 < \beta < \alpha < 0$のとき、両端点は極限円型であり、境界条件が必要となる。一方、$\alpha \geq 1$または$\beta \geq 1$のとき、対応する端点は極限点型であり、境界条件は不要である。
• $\{\hat{P}_n^{(\alpha,\beta)}\}_{n=0}^\infty$の系は、$L^2((-1,1); w_{\alpha,\beta})$において完全かつ直交的であり、これは作用素$A_{\alpha,\beta}$のスペクトルが固有値$\lambda_n$のみからなることを意味する。