[论文解读] Elliptic Faulhaber polynomials and Lamé densities of states

M.-P. Grosset, А. П. Веселов|ArXiv.org|Aug 31, 2005

Advanced Combinatorial Mathematics参考文献 14被引用 7

一句话总结

本文将经典Faulhaber多项式推广为椭圆Faulhaber多项式，通过椭圆曲线上周期积分将它们与KdV方程的守恒律联系起来。关键贡献是建立了一个公式，用这些多项式表达经典Lamé算子的态密度，利用Weierstrass椭圆函数和不变量显式推导出前几项表达式。

ABSTRACT

A generalisation of the Faulhaber polynomials and Bernoulli numbers related to elliptic curves is introduced and investigated. This is applied to compute the density of states for the classical Lamé operators.

研究动机与目标

• 通过椭圆曲线框架推广经典Faulhaber多项式与Bernoulli数。
• 通过代数曲线上围线积分，建立KdV方程运动积分与椭圆函数之间的联系。
• 利用椭圆不变量与周期，显式推导经典Lamé算子态密度的表达式。
• 将已知的Faulhaber多项式与KdV方程孤子解之间的关系，推广至周期性、cnoidal波解的情形。

提出的方法

• 将椭圆Faulhaber多项式定义为KdV守恒密度在椭圆曲线上周期的围线积分：$\mathcal{F}_{m}(\lambda|\Gamma,\gamma) = \oint_{\gamma} T_m[2\lambda \wp_*(z)] \, dz$。
• 使用满足 $(\wp_*')^2 = 4\wp_*^3 - g_1\wp_*^2 - g_2\wp_* - g_3 $ 的Weierstrass椭圆函数 $\wp_*(z)$，其中 $g_1 = -c$ 对应cnoidal波解。
• 引入周期 $\omega = \frac{1}{2} \oint_\gamma dz$ 与 $\xi = -\frac{1}{2} \oint_\gamma \wp_*(z) \, dz$，作为曲线模空间上的坐标。
• 为变量分配权重：$\lambda: 0$，$g_1: 2$，$g_2: 4$，$g_3: 6$，$\omega: -1$，$\xi: 1$，并证明 $\mathcal{F}_m$ 的总权重为 $2m+1$。
• 显式推导出 $\mathcal{F}_1$ 到 $\mathcal{F}_8$ 的表达式，用 $g_1, g_2, g_3, \omega, \xi, \lambda$ 表示，当 $g_2 = g_3 = 0$ 时，其退化为经典Faulhaber多项式。
• 利用所得多项式，通过 $E$ 的有理函数计算Lamé算子的态密度，其系数用 $g_2, g_3, \bar{\wp} = -\eta/\omega$ 以及 $n$ 的对称多项式表示。

实验结果

研究问题

• RQ1 如何将经典Faulhaber多项式推广至椭圆曲线与KdV方程周期解的框架下？
• RQ2 当在cnoidal波解 $u(x,t) = 2\wp_*(x - ct)$ 上计算时，KdV方程的运动积分具有何种结构？
• RQ3 能否利用这些广义多项式，通过椭圆不变量与周期显式表达Lamé算子的态密度？
• RQ4 定义椭圆Faulhaber多项式的围线积分在椭圆曲线的一阶同调群上的代数与同调结构为何？

主要发现

• 椭圆Faulhaber多项式 $\mathcal{F}_m$ 是 $\lambda, g_1, g_2, g_3, \omega, \xi$ 的齐次多项式，总权重为 $2m+1$，其系数为有理数。
• 当 $g_2 = g_3 = 0$ 时，$\mathcal{F}_m(\lambda; g_1, 0, 0, \omega, \xi) = -\frac{4}{2m-1} g_1^{m-1} \xi F_m(\lambda)$，恢复经典Faulhaber多项式 $F_m$，仅差一个因子。
• 前四个椭圆Faulhaber多项式被显式计算：$\mathcal{F}_1 = -4\xi\lambda$，$\mathcal{F}_2 = \left(-\frac{4}{3}g_1\xi + \frac{2}{3}g_2\omega\right)\lambda^2$，等等。
• Lamé算子在势 $u(x) = 2n(n+1)\wp(x)$ 下的态密度对 $n=1$ 至 $n=5$ 显式导出，其形式为含 $E$、$g_2$、$g_3$ 与 $\bar{\wp}$ 的有理函数。
• 当 $n=1$ 时，态密度为 $\rho_{Lame}^{n=1}(E) = \frac{1}{2\pi} \frac{E + \bar{\wp}}{\sqrt{(E+e_1)(E+e_2)(E+e_3)}}$，与已知形式一致。
• 当 $n=5$ 时，态密度为 $\rho_{Lame}^{n=5}(E) = \frac{P_5(E)}{2\pi \sqrt{(E^2 - 27g_2^2) \prod_{k=1}^3 (E^3 + 15e_k E^2 + (315e_k^2 - 132g_2)E - 675e_k^3 - 540g_3)}}$，其中分子 $P_5(E)$ 为五次多项式。