[論文レビュー] Quasi-Exactly-Solvable Differential Equations

Alexander V. Turbiner|ArXiv.org|Sep 12, 1994

Advanced Topics in AlgebraMathematics参考文献 20被引用数 21

ひとこと要約

本稿では、特定のリー代数の普遍包あらゆる代数内の多項式的要素として生じることを示すことにより、擬的に正確に解ける微分および差分作用素の包括的な分類を確立する。主な結果は、このような作用素が多項式で張られる有限次元不変部分空間を持つことであり、1次元および行列設定において、$sl_2(\mathbb{R})$、$sl_2(\mathbb{R})_q$、$osp(2,2)$、$gl_2(\mathbb{R})_K$ を用いた分類が達成されることである。

ABSTRACT

A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis is given. The main result is that any operator with the above property must have a representation as a polynomial element of the universal enveloping algebra of the algebra of differential (difference) operators in finite-dimensional representation. In one-dimensional case a classification is given by algebras $sl_2({\bold R})$ (for differential operators in ${\bold R}$) and $sl_2({\bold R})_q$ (for finite-difference operators in ${\bold R}$), $osp(2,2)$ (operators in one real and one Grassmann variable, or equivalently, $2 imes 2$ matrix operators in ${\bold R}$) and $gl_2 ({\bold R})_K$ ( for the operators containing the differential operators and the parity operator). A classification of linear operators possessing infinitely many finite-dimensional invariant subspaces with a basis in polynomials is presented.

研究の動機と目的

• 多項式基底をもつ有限次元不変部分空間をもつ線形微分および差分作用素を分類すること。
• 1次元および行列設定におけるリー代数表現と擬的に正確に解ける作用素を結びつける一般枠組みを確立すること。
• 擬的に正確に解ける性質の概念を、パリティおよび有限差分構造を含む作用素へと拡張すること。
• 関連するリー代数の普遍包あらゆる代数を用いた、このような作用素の完全な分類を提供すること。
• グレーディングおよびキャスミール不変量を用いて、擬的に正確に解ける作用素と正確に解ける作用素の違いを明確にすること。

提案手法

• 微分作用素 $sl_2(\mathbb{R})$、差分作用素 $sl_2(\mathbb{R})_q$、行列またはグラッセン変数作用素 $osp(2,2)$、パリティ作用素を含む作用素 $gl_2(\mathbb{R})_K$ などのリー代数の普遍包あらゆる代数内の多項式的要素として作用素を表現する。
• これらのリー代数の有限次元表現を用いて、多項式で張られる不変部分空間を構成する。
• 生成子にグレーディングを導入し、作用素を次数で分類し、正確に解けるケース（正のグレーディング項を含まない）を特定する。
• ゲージ変換および変数変換を適用して、多項式空間を $\mathcal{F}_n(x) = \langle 1, x, \dots, x^n \rangle$ に標準化する。
• 生成子における2次多項式を用いて2次作用素の明示的形を導出し、キャスミール不変量によってパラメータを制約する。
• パリティ作用素 $K$ と可換であるという条件を用いて、明示的なパリティ固有関数をもつ作用素を同定する。

実験結果

リサーチクエスチョン

• RQ1 どの線形微分および差分作用素が、多項式基底をもつ有限次元不変部分空間をもつのか？
• RQ2 リー代数表現を用いて、このような作用素を体系的に分類する方法は何か？
• RQ3 代数的構造およびグレーディングの観点から、擬的に正確に解ける作用素と正確に解ける作用素の違いは何か？
• RQ4 パリティ作用素および有限差分構造の組み込みが、擬的に正確に解ける性質の枠組みをどのように拡張するのか？
• RQ5 キャスミール作用素は、関連するリー代数の有限次元表現を特徴付ける上で果たす役割は何か？

主な発見

• 多項式の有限次元不変部分空間をもつ任意の線形微分または差分作用素は、リー代数の普遍包あらゆる代数内の多項式的要素として表現可能である。
• 1次元では、微分作用素に対しては $sl_2(\mathbb{R})$、差分作用素に対しては $sl_2(\mathbb{R})_q$、行列またはグラッセン変数作用素に対しては $osp(2,2)$、パリティ作用素を含む作用素に対しては $gl_2(\mathbb{R})_K$ が関連する。
• 次元 $n+1$ の表現空間は一般の $\nu$ に対して保存され、キャスミール不変量は $C_1 = n + \nu$ および $C_2 = \frac{1}{4}[(n+\nu)(n+\nu+2) - \nu^2]$ である。
• 一般の2次擬的に正確に解ける作用素には18個の自由パラメータがあり、明示的なパリティ固有関数をもつ部分集合には10個のパラメータがある。
• 正確に解ける作用素は、多項式表現に正のグレーディング項が存在しないことによって特徴づけられ、2次作用素では自由パラメータが12個に減少する。
• 擬的に正確に解ける作用素の固有値問題において、$k$ 階の作用素がちょうど $n+1$ 個の次数 $\leq n$ の多項式固有関数をもつのは、作用素が擬的に正確に解ける場合に限られ、無限個の固有関数をもつのは、作用素が正確に解ける場合に限られる。