[论文解读] Classification of linear differential operators with an invariant subspace of monomials

Gerhard F. Post, Alexander V. Turbiner|University of Twente Research Information|Jul 21, 1993

Differential Equations and Boundary Problems参考文献 2被引用 26

一句话总结

本文对保持由单项式张成的有限维不变子空间的线性微分算子进行了完整分类。通过基于欧拉算子 $x\partial$ 的因式分解方法，表明此类算子可表示为 $x^m(x\partial - \alpha_i)$ 项的乘积，从而实现了二阶算子的完整表征，并揭示了其与准精确可解薛定谔方程的联系。

ABSTRACT

A complete classification of linear differential operators possessing finite-dimensional invariant subspace with a basis of monomials is presented.

研究动机与目标

• 对所有保持由单项式张成的有限维子空间的线性微分算子进行分类。
• 通过聚焦于单项式基而非多项式序列，推广经典博赫纳问题。
• 利用欧拉算子 $x\partial$ 及其谱性质，建立结构性分类。
• 通过规范变换和变量变换，探讨其对准精确可解薛定谔方程的启示。
• 将分类推广至具有实指数和非整数幂基的情形，同时保持代数结构。

提出的方法

• 将微分算子表示为无穷阶级数 $T = \sum_{i=0}^\infty P_i \partial^i$，然后限制为保持单项式基的有限阶算子。
• 利用 $\mathbb{C}[x]$ 按次数的分次结构，通过 $T(x^k) \in \langle x^{k+m}\rangle$ 定义算子 $T$ 的次数 $m$。
• 应用引理 3.1，将次数为 $m$、阶数为 $k$ 的齐次算子因式分解为 $T = c_k x^m (x\partial - \alpha_1)\cdots(x\partial - \alpha_k)$。
• 定义集合 $I^{(m)} = \{i \in I \mid i+m \notin I\}$，以表征算子分解中各项的支集。
• 使用规范变换 $T \mapsto x^l T x^{-l}$ 和变量变换 $x' = x^m$，关联不同的不变子空间并保持代数结构。
• 通过确保正负次数项之间的对称性，显式构造二阶算子 $T_2$，其中 $|I^{(m)}| = |I^{(-m)}|$。

实验结果

研究问题

• RQ1 哪些线性微分算子保持由单项式张成的有限维子空间？
• RQ2 如何利用欧拉算子 $x\partial$ 的结构，对这类算子进行完全分类？
• RQ3 具有单项式不变子空间的二阶微分算子的显式形式是什么？
• RQ4 规范变换和变量变换如何关联不同的不变子空间并保持算子代数结构？
• RQ5 该分类能否推广至具有实指数的子空间？此类情况下会涌现出何种代数结构？

主要发现

• 所有保持单项式基 $V = \langle x^{i_1}, \dots, x^{i_n}\rangle$ 的线性微分算子，均可通过因式分解为 $x^m(x\partial - \alpha_i)$ 项而得到完全分类。
• 对于二阶算子，最一般的形式为 $T_2 = \alpha_1 x^m(x\partial - i_1)(x\partial - i_2) + \alpha_2 x^2\partial^2 + \alpha_3 x\partial + \alpha_4 + \alpha_5 x^{-m}(x\partial - i_{2r-1})(x\partial - i_{2s})$，其中 $m$ 与 $-m$ 项之间具有对称性。
• 保持 $V$ 的算子代数 $\mathfrak{D}_V$ 同构于 $\operatorname{End}(V)$ 与 annihilating $V$ 的理想之半直积，且 $\mathfrak{D}_V$ 是分次的。
• 对于 $V = \langle 1, x, x^3 \rangle$，代数 $\mathfrak{D}_V$ 是无限维的，由 11 个阶数为 1 至 3 的微分算子有限生成，其李括号可表示为生成元的三次多项式。
• 通过 $\mathbb{C}[x^\alpha]$ 将分类推广至实指数情形，其中 $T = \sum_{i=0}^k c_i x^{i+m} \partial^i$ 且 $m \in \mathbb{R}$，引理 6.1 确认了相同的因式分解依然成立。
• 规范变换 $T \mapsto x^l T x^{-l}$ 与变换 $x' = x^m$ 在变换后的子空间 $W$ 上诱导出 $\mathfrak{D}_V$ 与 $\mathfrak{D}_W$ 之间的同构，保持代数结构。