Finite-term recurrences in a generalized Bochner--Krall family

技术摘要：广义 Bochner–Krall 族中的有限项递推关系

问题陈述
本文研究了代数高阶 Bochner–Krall 问题，该问题旨在对具有满足固定项数递推关系（有限下带宽）的多项式特征函数的微分算子进行分类。具体而言，作者研究了由以下公式定义的参数化三参数族微分算子：
$$T = T_{j,m,\ell} := z^j \partial_z^j + z^m \partial_z^\ell$$
其中 $0 \le m < \ell$ 且 $1 \le j < \ell$。算子 $T$ 是精确可解的，它保持 $\mathbb{C}[z]$ 的次数过滤，并在单项式基底上呈三角形式作用。研究重点在于由 $T$ 关联的一列单项特征多项式 $\{P_n\}_{n \ge 0}$。虽然这样的序列总是存在，但核心问题在于确定参数 $j, m, \ell$ 在何种条件下，$\{P_n\}$ 满足如下形式的递推关系：
$$z P_n = P_{n+1} + \sum_{s=0}^{N-1} \alpha_{n, n-s} P_{n-s}$$
其中 $N$ 为固定的整数（最优带宽）。

方法论
作者结合了谱分析、组合递推关系和超几何求和技术。其方法论通过以下步骤进行：

1. 特征多项式的构造：作者确立了对于 $n \ge j$ 时单项特征多项式 $P_n$ 的存在性与唯一性。他们推导了 $P_n$ 系数的显式递推关系，并识别出一个关键的同余约束：$P_n$ 的支撑集被限制在指数 $s \equiv n \pmod k$ 的幂次 $z^s$ 上，其中 $k = \ell - m$。这意味着该序列是 $(k-1)$-对称的。
2. 子空间分解：将多项式空间 $\mathbb{C}[z]$ 分解为 $k$ 个不变子空间 $V_r$，这些子空间由指数模 $k$ 同余的单项式生成。作者在这些不变子空间内分析了 $T$ 的作用以及乘法算子 $z$ 的作用。
3. 双对角模型：在每个不变子空间 $V_c$ 上，作者构造了一个双对角模型。通过分析特征基的坐标泛函，他们推导出了 $T$ 和移位算子的显式作用公式。
4. 用于必要性的渐近分析：为了证明当 $j \ge 2$ 时不存在有限项递推关系，作者假设一个固定的带宽 $N$ 并导出矛盾。他们分析了递推系数在 $n \to \infty$ 时的渐近行为。他们表明，对于 $j \ge 2$，所导出的恒等式的左侧会无界增长（作为次数为 $\ell - j \ge 1$ 的多项式），而右侧保持有界，从而导致矛盾。
5. 用于充分性的显式求值：在 $j=1$ 的情况下，作者利用超几何级数（特别是高斯超几何级数和 Chu–Vandermonde 恒等式）显式地计算了递推系数。这使得他们能够确定系数的精确闭合形式以及级数终止的条件。

主要贡献与结果

• 完整分类（定理 1.1）：本文为族 $T_{j,m,\ell}$ 中有限项递推关系的存在性提供了充分必要条件。该递推关系存在的充要条件是：

  1. $j = 1$
  2. $k = \ell - m$ 整除 $\ell$（即 $k \mid \ell$）。

  若满足这些条件，则最优下带宽恰好为 $N = \ell$，且与 $m$ 无关。

• 闭合形式系数：对于容许的情况（$j=1, k \mid \ell$），作者推导了递推系数 $\gamma_n^{(q)}$ 的显式公式：
  $$z P_n = P_{n+1} + \sum_{q=1}^{\sigma} \gamma_n^{(q)} P_{n+1-qk}$$
  其中 $\sigma = \ell/k$。系数由下式给出：
  $$\gamma_n^{(q)} = (-1)^q \frac{1}{q! k^q} \left( \prod_{a=0}^{q-1} (\ell - ak) \right) \left( \prod_{c=0}^{q-1} (n - ck)_{\ell-1} \right)$$
  其中下降阶乘符号 $(x)_r$ 定义为 $(x)_r := x(x - 1) \cdots (x - r + 1)$。

• 关于对称性与递推结构的澄清：作者澄清了一个关于对称序列的潜在误解。虽然 $(k-1)$-对称性意味着递推指标具有特定的同余性质（具体为 $R \equiv n+1 \pmod k$），但它并不保证递推关系只有一个下项。本文明确展示了对称序列可以拥有多个下对角线，同时仍保持有限的总项数。例如，示例 2.3 展示了一个具有两个下对角线的 1-对称序列，证明了对称性本身并不强制要求递推关系呈现出常与 $(k-1)$-正交序列相关的特殊形状 $P_{n+k} = zP_{n+k-1} - \gamma_n P_n$。

• 与猜想的联系：研究结果与 Horozov–Shapiro–Tater 猜想相关联（特别是 [5] 中的猜想 1.9 和 1.10）：

  • 猜想 1.10：作者证明该族中每个容许的算子都属于该猜想的“类型 (2)”，即提供了一个显式分解 $T = z\partial_z + q'(G)G$。
  • 猜想 1.9：作者确认了相关的差分算子的阶数为 $\ell$，这等于微分算子 $T$ 的阶数。这验证了在不假设不可约性的情况下，该特定族的微分阶数与差分阶数相等。

意义
本文的意义在于对一个广义 Bochner–Krall 族进行了严格分类，通过基于参数 $j$ 的尖锐二分法解决了有限项递推关系的存在性问题。它超越了经典的正交多项式情况（对应于特定的参数选择），扩展到了更广泛的精确可解算子类。通过提供递推系数的显式公式，并证明预测的阶数相等性，这项工作为多项式特征函数的理论提供了具体的结构性证据。作者指出，尚未被此前极端除数覆盖的最小“新”情况是 $(\ell, m, j) = (4, 2, 1)$，对应于 $T = z\partial_z + z^2\partial_z^4$。

文章得出结论，对于整个容许族，微分阶数与差分阶数的相等性成立，这强化了微分算子与其关联的递推关系之间的结构性联系。