[论文解读] Commuting ordinary differential operators of arbitrary genus and arbitrary rank with polynomial coefficients

O. I. Mokhov|arXiv (Cornell University)|Mar 18, 2013

Nonlinear Waves and Solitons被引用 5

一句话总结

本文利用切比雪夫多项式 $T_r(x)$ 构造了任意亏格 $g > 0$ 和任意秩 $r > 1$ 的显式、可交换的常微分算子，其系数为多项式。该研究通过基于米罗诺夫关于秩-2算子结果的新构造方法，完全解决了长期以来的存在的问题，涵盖此前未知的情形，如 $r = 6s \pm 1$，适用于所有 $g > 0$ 和 $r > 1$。

ABSTRACT

In this paper we construct examples of commuting ordinary scalar differential operators with polynomial coefficients that are related to a spectral curve of an arbitrary genus g>0 and to an arbitrary rank r>1 of the vector bundle of common eigenfunctions of the commuting operators over the spectral curve. This solves completely the well-known existence problem for commuting operators of arbitrary genus and arbitrary rank with polynomial coefficients. The constructed commuting operators of arbitrary rank r>1 and arbitrary genus g>0 are given explicitly, they are generated by the Chebyshev polynomials T_r (x).

研究动机与目标

• 解决在任意亏格 $g > 0$ 和任意秩 $r > 1$ 下构造具有多项式系数的可交换常微分算子的开放问题。
• 将已知构造扩展至此前未涵盖的情形，特别是形式为 $r = 6s \pm 1$，$s \geq 1$ 的秩，这些情形此前未被处理。
• 为具有多项式系数的可交换算子对 $L_{2r}$ 和 $M_{(2g+1)r}$ 提供显式、封闭形式的表达式，适用于所有 $g > 0$ 和 $r > 1$。
• 建立高阶算子 $M_{(2g+1)r}$ 的系数为 $L_{2r}$ 的系数及其导数的多项式函数关系。

提出的方法

• 通过第一类切比雪夫多项式 $T_r(x)$ 定义算子 $L_{2r}$，表达式为 $\left(aT_r\left({d\over dx}\right) - x^2{d^2\over dx^2} - 3x{d\over dx} + x^2 + b\right)^2 - ar^2g(g+1)T_r\left({d\over dx}\right)$。
• 第二个算子 $M_{(2g+1)r}$ 通过超椭圆关系隐式定义：$M_{(2g+1)r}^2 = L_{2r}^{2g+1} + a_{2g}L_{2r}^{2g} + \cdots + a_0$，其中 $a_i$ 为常数。
• 通过 Burchnall–Chaundy 理论证明算子可交换，该理论保证任意一对可交换算子满足多项式谱关系 $Q(L,M) = 0$。
• 谱曲线为亏格 $g$ 的超椭圆曲线，定义为 $\mu^2 = \lambda^{2g+1} + a_{2g}\lambda^{2g} + \cdots + a_0$，其公共本征函数 $\psi(x,\lambda,\mu)$ 构成其上的 $r$-维向量丛。
• 该构造利用了安德烈·米罗诺夫关于自伴可交换秩-2算子与任意亏格的最新结果，并通过切比雪夫多项式结构将其推广至任意秩。
• 最终形式通过 Weyl 代数自同构变换为标准规范形式，确保算子具有首一系数和次首项系数为零的常规形式。

实验结果

研究问题

• RQ1 能否为所有亏格 $g > 0$ 与秩 $r > 1$ 的组合（包括此前被排除的情形如 $r = 6s \pm 1$）构造出具有多项式系数的可交换常微分算子？
• RQ2 切比雪夫多项式在生成任意亏格与秩下此类可交换算子的过程中扮演何种结构性角色？
• RQ3 高阶算子 $M_{(2g+1)r}$ 的系数能否代数地表示为 $L_{2r}$ 的系数及其导数的函数？
• RQ4 是否可能为所有 $r > 1$ 和 $g > 0$ 构造出此类算子的标准规范形式？
• RQ5 与可交换算子对相关的精确谱曲线是什么？其公共本征函数的向量丛如何与曲线的几何结构相关联？

主要发现

• 本文为所有 $g > 0$ 和 $r > 1$ 构造了显式、可交换的微分算子 $L_{2r}$ 与 $M_{(2g+1)r}$，其阶分别为 $2r$ 与 $(2g+1)r$，且系数为多项式，完全解决了存在性问题。
• 第一个算子 $L_{2r}$ 的表达式为 $\left(aT_r\left({d\over dx}\right) - x^2{d^2\over dx^2} - 3x{d\over dx} + x^2 + b\right)^2 - ar^2g(g+1)T_r\left({d\over dx}\right)$，其中 $T_r$ 为第一类切比雪夫多项式。
• 第二个算子 $M_{(2g+1)r}$ 满足超椭圆关系 $M_{(2g+1)r}^2 = L_{2r}^{2g+1} + a_{2g}L_{2r}^{2g} + \cdots + a_0$，其中常数 $a_i$ 由构造过程确定。
• 当 $r > 3$ 时，若取 $a = 1/2^{r-1}$，则算子处于标准规范形式，确保首项系数为 1 且次首项系数为 0。
• 谱曲线为亏格 $g$ 的超椭圆曲线，定义为 $\mu^2 = \lambda^{2g+1} + \cdots + a_0$，其公共本征函数 $\psi(x,\lambda,\mu)$ 构成其上的 $r$-维向量丛。
• 该构造证实，即使对于 $r = 6s \pm 1$，$s \geq 1$ 的情形，此类算子也存在，且此前未知，本文提供了 $r = 4,5,6,7$ 的显式例子，对应 $L_{8}, L_{10}, L_{12}, L_{14}$。