[论文解读] Evaluations of Derivatives of Jacobi Theta Functions in the origin

Nikos Bagis|arXiv (Cornell University)|May 28, 2011

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

一句话总结

本文利用拉马努金的爱森斯坦级数 $ P $、$ Q $ 和 $ R $，对雅可比θ函数 $ \vartheta_1(z) $ 的奇数阶导数和 $ \vartheta_4(z) $ 的偶数阶导数在原点处给出了闭式表达。通过结合拉马努金的恒等式与法卡·迪布鲁诺公式，作者推导出 $ P $、$ Q $、$ R $ 及其 $ q $-平移版本的多项式表达式，从而实现对 $ \vartheta_1^{(2\nu+1)}(0) $ 和 $ \vartheta_4^{(2\nu)}(0) $ 的精确计算，结果以模形式和戴德金η函数表示。

ABSTRACT

In this article using Ramanujan's theory of Eisenstein series we evaluate completely the derivatives of the theta functions $\vartheta_1^{(2ν+1)}(z)$ and $\vartheta_4^{(2ν)}(z)$ in the origin in closed polynomials forms using only the first three Eisenstein series of weights 2,4, and 6.

研究动机与目标

• 推导 $ \vartheta_1(z) $ 在 $ z=0 $ 处的 $ (2\nu+1) $ 阶导数的闭式多项式表达式，仅以爱森斯坦级数 $ P $、$ Q $、$ R $ 表示。
• 将该方法扩展至计算 $ \vartheta_4(z) $ 在 $ z=0 $ 处的 $ 2\nu $ 阶导数，基于法卡·迪布鲁诺公式与模形式建立递推关系。
• 提供一种系统化方法，用于计算 $ S_3(2\nu+1) = \eta^3(\tau) \sum b_{ijk} P^i Q^j R^k $ 展开中的系数 $ b_{ijk} $，从而实现高阶导数的显式计算。
• 将拉马努金关于爱森斯坦级数与θ函数导数的结果统一并推广，形成一个连贯的模形式计算框架。

提出的方法

• 利用拉马努金的爱森斯坦级数理论 $ P = E_2 $、$ Q = E_4 $、$ R = E_6 $ 及其生成函数 $ \Phi_{2\nu+1}(q) $，后者可表示为 $ Q $ 与 $ R $ 的多项式。
• 应用恒等式 $ \vartheta_1^{(2\nu+1)}(0) = 2(-1)^\nu S_3(2\nu+1) $，其中 $ S_3(2\nu+1) $ 是对奇整数求和的θ级数，从而将导数计算转化为级数系数的计算。
• 使用法卡·迪布鲁诺公式，将 $ \log \vartheta_4(z) $ 的 $ 2\nu $ 阶导数表示为贝尔多项式与 $ \vartheta_4(z) $ 低阶导数的组合，实现递归计算。
• 利用关系式 $ \frac{\vartheta_4'(z)}{\vartheta_4(z)} = 4\sum_{n=1}^\infty \frac{q^n \sin(2nz)}{1 - q^{2n}} $ 推导出 $ \vartheta_4^{(2\nu)}(0) $ 的微分方程，将其与 $ \Phi_{2\nu-1}(q) $ 及爱森斯坦级数联系起来。
• 应用拉马努金关于 $ S_{1,2n} $ 的递推关系，以计算 $ \Phi_{2\nu+1}(q) $，该表达式是计算 $ \vartheta_1 $ 导数所必需的。
• 通过 $ E_{2\nu}(\tau) $ 与 $ E_{2\nu}(2\tau) $ 推导出 $ \vartheta_4^{(2\nu)}(0) $ 的递推关系，其系数为 $ P(q) $、$ Q(q) $、$ R(q) $、$ P(q^2) $、$ Q(q^2) $、$ R(q^2) $ 的有理函数。

实验结果

研究问题

• RQ1 能否将 $ \vartheta_1(z) $ 在 $ z=0 $ 处的 $ (2\nu+1) $ 阶导数表示为 $ P $、$ Q $、$ R $ 及戴德金η函数的多项式？
• RQ2 如何利用拉马努金的爱森斯坦级数恒等式递归计算 $ \Phi_{2\nu+1}(q) $，该表达式对计算 $ \vartheta_1^{(2\nu+1)}(0) $ 至关重要？
• RQ3 允许 $ \vartheta_4(z) $ 在 $ z=0 $ 处的 $ 2\nu $ 阶导数表示为 $ P(q) $、$ Q(q) $、$ R(q) $、$ P(q^2) $、$ Q(q^2) $、$ R(q^2) $ 的递推关系具有何种结构？
• RQ4 多项式展开中 $ \vartheta_1^{(2\nu+1)}(0) $ 与 $ \vartheta_4^{(2\nu)}(0) $ 的系数如何依赖于模形式 $ P $、$ Q $、$ R $ 及其 $ q $-平移版本？
• RQ5 是否存在一种通用方法，可在不使用数值近似的情况下，仅通过模形式的代数组合精确计算 $ \vartheta_1^{(2\nu+1)}(0) $ 与 $ \vartheta_4^{(2\nu)}(0) $？

主要发现

• 在 $ z=0 $ 处，$ \vartheta_1(z) $ 的 9 阶导数为 $ \frac{1}{2}\vartheta_1^{(9)}(0) = \eta^3(\tau) \cdot \frac{1}{9}(35P^4 - 84P^2Q - 12Q^2 + 64PR) $，其系数为 $ P $、$ Q $、$ R $ 的有理函数。
• 11 阶导数满足 $ -\frac{1}{2}\vartheta_1^{(11)}(0) = \eta^3(\tau) \cdot \frac{1}{9}(385P^5 - 1540P^3Q - 660PQ^2 + 1760P^2R + 64QR) $，确认了在 $ P $、$ Q $、$ R $ 中的多项式结构。
• $ \vartheta_4(z) $ 在 $ z=0 $ 处的 2 阶导数为 $ \vartheta_4^{(2)}(0) = \frac{1}{3}(P_1 - P)w $，其中 $ w = \sqrt{\frac{2}{\pi}(1-x)K} $，且 $ P_1 = P(q^2) $。
• $ \vartheta_4^{(4)}(0) = \frac{1}{15}(5(P - P_1)^2 - 2Q + 2Q_1)w $，表明其依赖于 $ q $ 与 $ q^2 $ 级数。
• $ \vartheta_4^{(6)}(0) = \frac{1}{63}(-35P^3 + 105P^2P_1 - 105PP_1^2 + 35P_1^3 + 42PQ - 42P_1Q - 42PQ_1 + 42P_1Q_1 - 16R + 16R_1)w $，展示了更高阶的多项式依赖关系。
• $ \vartheta_4^{(8)}(0) $ 表示为 $ P $、$ P_1 $、$ Q $、$ Q_1 $、$ R $、$ R_1 $ 的四次齐次多项式，其系数为有理数，从而证实了通式 $ \vartheta_4^{(2\nu)}(0) = w \sum c_{ijklmn} P^i Q^j R^k P_1^l Q_1^m R_1^n $ 的一般形式。