[论文解读] Analogues of Jacobi's derivative formula III

Kazuhide Matsuda|arXiv (Cornell University)|Jun 18, 2016

Advanced Mathematical Identities参考文献 6被引用 4

一句话总结

本文利用留数定理，将雅可比的导数公式推广至所有有理特征在 $k = 3,4,5,6$ 层次下的情形，推导出 theta 函数导数关于 theta 常数的显式有理表达式。主要贡献在于提出一种系统性方法，可适用于更高层次（$k \geq 7$），并由此获得乘积-级数恒等式，以及与模形式和常微分方程（ODEs）的联系。

ABSTRACT

In this paper, we realize high-level versions of Jacobi's derivative formula to all the rational characteristics corresponding to level $k \,\,(k=3,4,5,6).$ For this purpose, we propose the method to obtain derivative formulas by means of the residue theorem. We believe that this method can be also applied to all the rational characteristics corresponding to level $k\ge 7.$

研究动机与目标

• 将雅可比的导数公式推广至所有有理特征在 $k = 3,4,5,6$ 层次下的情形，超越经典情形。
• 解决芒福德提出的开放问题：具有有理特征的 theta 函数的导数是否可表示为 theta 常数的有理函数。
• 通过常微分方程（ODEs），特别是里卡蒂型与拉马努金型系统，建立 theta 函数导数与模形式之间的联系。
• 开发一种基于留数定理的方法，可推广至更高层次（$k \geq 7$）。
• 通过有理特征下 theta 函数导数的显式公式，推导出乘积-级数恒等式。

提出的方法

• 将留数定理应用于由具有有理特征的 theta 函数构造的椭圆函数，以计算导数。
• 利用椭圆函数在其基本平行四边形上所有留数之和为零的基本性质。
• 从具有特定特征的 theta 函数构造亚纯函数，并分析其极点与留数。
• 依赖于整数表示为平方和或三角数之和的已知算术公式。
• 结合复分析（留数计算）与数论恒等式（如 $S_2(n)$, $S_{1,2}(n)$）以推导闭式表达式。
• 运用法尔卡斯与克拉关于有理特征 theta 函数的理论，将导数表示为 theta 常数的有理函数。

实验结果

研究问题

• RQ1 雅可比的导数公式能否推广至所有有理特征在 $k = 3,4,5,6$ 层次下的情形？
• RQ2 具有有理特征的 theta 函数的导数能否表示为其他 theta 常数的有理函数？
• RQ3 留数定理是否能提供一种系统性方法，以推导某一层次下所有有理特征的此类导数公式？
• RQ4 这些导数公式与模形式或常微分方程（如拉马努金系统）之间存在何种联系？
• RQ5 该方法能否推广至 $k \geq 7$ 层次？

主要发现

• 本文推导出 $\theta'\left[\begin{array}{c}0 \\ 1/4\end{array}\right](0,\tau)$ 与 $\theta'\left[\begin{array}{c}0 \\ 3/4\end{array}\right](0,\tau)$ 的显式公式，表示为 theta 常数的有理函数，具体为：$\theta'\left[\begin{array}{c}0 \\ 1/4\end{array}\right] = -\pi \theta\left[\begin{array}{c}0 \\ 1/4\end{array}\right] \theta\left[\begin{array}{c}1 \\ 0\end{array}\right](0,4\tau)\left\{\sqrt{2}\theta\left[\begin{array}{c}0 \\ 0\end{array}\right](0,2\tau) - \theta\left[\begin{array}{c}1 \\ 0\end{array}\right](0,4\tau)\right\}$。
• 类似地，$\theta'\left[\begin{array}{c}0 \\ 3/4\end{array}\right] = -\pi \theta\left[\begin{array}{c}0 \\ 3/4\end{array}\right] \theta\left[\begin{array}{c}1 \\ 0\end{array}\right](0,4\tau)\left\{\sqrt{2}\theta\left[\begin{array}{c}0 \\ 0\end{array}\right](0,2\tau) + \theta\left[\begin{array}{c}1 \\ 0\end{array}\right](0,4\tau)\right\}$。
• 对数导数之差给出 $\frac{\theta'\left[\begin{array}{c}0 \\ 1/4\end{array}\right]}{\theta\left[\begin{array}{c}0 \\ 1/4\end{array}\right]} - \frac{\theta'\left[\begin{array}{c}0 \\ 3/4\end{array}\right]}{\theta\left[\begin{array}{c}0 \\ 3/4\end{array}\right]} = 2\pi \theta^2\left[\begin{array}{c}1 \\ 0\end{array}\right](0,4\tau)$，与奇整数表示为两个平方和的表示数相关。
• 对数导数之和给出 $\frac{\theta'\left[\begin{array}{c}0 \\ 1/4\end{array}\right]}{\theta\left[\begin{array}{c}0 \\ 1/4\end{array}\right]} + \frac{\theta'\left[\begin{array}{c}0 \\ 3/4\end{array}\right]}{\theta\left[\begin{array}{c}0 \\ 3/4\end{array}\right]} = -2\sqrt{2}\pi \theta\left[\begin{array}{c}1 \\ 0\end{array}\right](0,4\tau) \theta\left[\begin{array}{c}0 \\ 0\end{array}\right](0,2\tau)$，与表示为平方和及三角数之和的表示数相关。
• 基于留数定理的方法成功将雅可比公式推广至所有有理特征在 $k=3,4,5,6$ 层次下的情形，作者认为该方法可推广至 $k \geq 7$。
• 结果产生大量涉及 theta 常数的乘积-级数恒等式，并为推导模形式所满足的常微分方程（如 theta 常数比值的里卡蒂方程）提供了路径。