[论文解读] Lie-algebraic approach to the theory of polynomial solutions. III. Differential equations in two real variables and general outlook

Alexander V. Turbiner|arXiv (Cornell University)|Sep 22, 1992

Nonlinear Waves and Solitons参考文献 1被引用 7

一句话总结

本文提出了一种李代数框架，用于分类在两个实变量下具有多项式本征函数的线性微分方程，扩展了广义Bochner问题。通过分析sl₃(ℝ)、sl₂(ℝ)⊕sl₂(ℝ)以及gl₂(ℝ) ⋉ ℝ^{r+1}在射影表示下的多项式元素，确定了微分算子保持多项式子空间的条件，将其与拟精确可解系统联系起来，并为这类方程提供了系统性的分类。

ABSTRACT

Classification theorems for linear differential equations in two real variables, possessing eigenfunctions in the form of the polynomials (the generalized Bochner problem) are given. The main result is based on the consideration of the eigenvalue problem for a polynomial elements of the universal enveloping algebras of the algebras $sl_3({\bf R})$, $sl_2({\bf R})\oplus sl_2({\bf R})$ and $gl_2 ({\bf R})\ riangleright\!\!\!< {\bf R}^{r+1}\ , r>0$ taken in the "projectivized" representations (in differential operators of the first order in two real variables) possessing an invariant subspace. General insight to the problem of a description of linear differential operators possessing an invariant sub-space with a basis in polynomials is presented. Connection to the recently-discovered quasi-exactly-solvable problems is discussed.

研究动机与目标

• 分类在两个实变量下具有多项式本征函数的线性微分方程。
• 使用李代数技术将广义Bochner问题扩展到两个变量。
• 确定在两个变量下，微分算子保持有限维多项式子空间的条件。
• 建立此类算子与拟精确可解量子力学系统的联系。
• 提供一个通过射影表示中的不变子空间构造和分析多项式解的一般框架。

提出的方法

• 分析sl₃(ℝ)、sl₂(ℝ)⊕sl₂(ℝ)以及gl₂(ℝ) ⋉ ℝ^{r+1}（r > 0）的普遍包络代数中的多项式元素。
• 应用射影表示，将这些代数实现为两个实变量的一阶微分算子。
• 识别在这些微分算子作用下由多项式张成的不变子空间。
• 利用李代数的结构，推导出多项式本征函数存在的必要条件。
• 应用表示论，对保持有限维多项式子空间的算子进行分类。
• 通过代数约束，建立此类算子与拟精确可解问题之间的对应关系。

实验结果

研究问题

• RQ1 哪些在两个实变量下的线性微分算子能保持由多项式张成的有限维子空间？
• RQ2 在两个变量下具有多项式本征函数的微分算子背后的李代数结构是什么？
• RQ3 如何使用代数方法将广义Bochner问题从一维扩展到二维？
• RQ4 sl₃(ℝ)和gl₂(ℝ) ⋉ ℝ^{r+1}的普遍包络代数在构造此类算子中起什么作用？
• RQ5 这些算子与量子力学中的拟精确可解系统有何关联？

主要发现

• 本文基于sl₃(ℝ)及相关代数的结构，对所有保持有限维多项式子空间的两个实变量线性微分算子进行了分类。
• 研究确立了多项式本征函数存在的条件等价于算子是特定李代数在射影表示下普遍包络代数中的多项式元素。
• 代数gl₂(ℝ) ⋉ ℝ^{r+1}（r > 0）提供了一类丰富的此类算子，具有多项式解，推广了已知的可解情形。
• 该方法通过利用不变子空间性质，系统地构造了具有多项式本征函数的微分算子。
• 该框架与拟精确可解问题相联系，表明此类系统自然源于这些李代数的表示理论。
• 结果将经典Bochner问题推广到二维，为一大类方程提供了完整的代数分类。