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

技術的要約：一般化されたボックナー・クラル・ファミリーにおける有限項漸化式

問題提起
本論文は、固定された項数（有限の下限帯域幅）を持つ漸化式を満たす多項式の固有関数を持つ微分作用素の分類を目的とする、代数的高次ボックナー・クラル問題に取り組んでいる。具体的には、著者らは以下の微分作用素の3パラメータ・ファミリーを調査している：
$$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$ がどのような条件の下で、以下の形式の漸化式を満たすかである：
$$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$（ただし $k = \ell - m$）を満たすべき $z^s$ の冪に制限される。これは、この列が $(k-1)$ 対称であることを意味する。
2. 部分空間分解： 多項式空間 $\mathbb{C}[z]$ は、$k$ 個の不変部分空間 $V_r$ に分解される。ここで $V_r$ は、指数が $r \pmod k$ である単項式によって生成される。$T$ および乗算 $z$ の作用は、これらの部分空間内で分析される。
3. 二対角モデル： 各不変部分空間 $V_c$ 上で、著者らは二対角モデルを構築する。固有基底の座標汎関数を分析することにより、彼らは $T$ およびシフト作用素の作用に関する明示的な公式を導出する。
4. 必要性のための漸近解析： $j \ge 2$ の場合に有限項漸化式が不可能であることを証明するために、著者らは固定された帯域幅 $N$ を仮定し、矛盾を導き出す。彼らは、導出された恒等式の係数の漸近挙動を分析する。彼らは、$j \ge 2$ の場合、左辺は $\ell - j \ge 1$ の次数を持つ多項式として無制限に増大する一方で、右辺は有界なままであり、矛盾が生じることを示す。
5. 十分性のための明示的評価： $j=1$ の場合、著者らは超幾何級数（具体的にはガウス超幾何級数およびチュ・バンデルモンドの恒等式）を用いて漸化係数を明示的に評価する。これにより、係数の正確な閉形式および級数が終結するための条件を決定することができる。

主要な貢献と結果

• 完全な分類 (定理 1.1)： 本論文は、ファミリー $T_{j,m,\ell}$ に対して有限項漸化式が存在するための必要十分条件を提供する。そのような漸化式が存在するのは、以下の条件を満たすときのみである：

  1. $j = 1$
  2. $k = \ell - m$ が $\ell$ を割り切る（すなわち $k \mid \ell$）。

  これらの条件が満たされる場合、最適下限帯域幅は $m$ に依存せず、正確に $N = \ell$ となる。

• 閉形式の係数： 許容されるケース（$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(x - 1) \cdots (x - r + 1)$ を用いる。

• 対称性と漸化式の構造に関する明確化： 著者らは、対称な列に関する潜在的な誤解を明確にする。$(k-1)$ 対称性は、漸化式のインデックスに関する特定の合同関係（具体的には $R \equiv n+1 \pmod k$）を意味するが、それは単一の下限項を持つ漸化式を保証するものではない。本論文は、対称な列が、有限の総項数を維持しながらも、複数の下限対角成分を持ち得ることを明示的に示している。例えば、例 2.3 は、2つの下限対角成分を持つ 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$ の次数と等しいことを確認した。これは、既約性を仮定することなく、この特定のファミリーにおいて次数の等価性が成立することを検証している。

意義
本論文の意義は、一般化されたボックナー・クラル・ファミリーを厳密に分類し、パラメータ $j$ に基づく鋭い二分法を通じて有限項漸化式の存在を解決した点にある。これは、古典的な直交多項式（特定のパラメータ選択に対応）を超えて、厳密に可解なより広いクラスの作用素へと踏み込むものである。漸化係数の明示的な公式を提供し、最近の予想における次数の等価性を証明することで、本研究は、多項式固有関数の理論における構造的仮説を支持する具体的な証拠を提示している。著者らは、極値除数（extreme divisors）によってこれまでカバーされていなかった最小の「新しい」ケースが $(\ell, m, j) = (4, 2, 1)$、すなわち $T = z\partial_z + z^2\partial_z^4$ であると述べている。

本論文は、微分次数と差分次数の一致がこの許容される全ファミリーにおいて成立することを結論付けており、微分作用素とそれに関連する漸化式との間の構造的なつながりを強化している。