[论文解读] Rankin-Cohen Brackets and van der Pol-Type Identities for the Ramanujan's Tau Function

B. Ramakrishnan, Brundaban Sahu|ArXiv.org|Nov 22, 2007

Advanced Mathematical Identities参考文献 12被引用 3

一句话总结

本文利用Rankin-Cohen括子与拟模形式，对拉马努金τ函数的范德波尔型恒等式给出了新颖的证明，推导出涉及除数函数的新型卷积恒等式，并导出同余关系。该方法提供了已知结果的替代推导方式，并通过模形式与拟模形式理论确立了此前未被证明的恒等式。

ABSTRACT

We use Rankin-Cohen brackets for modular forms and quasimodular forms to give a different proof of the results obtained by D. Lanphier and D. Niebur on the van der Pol type identities for the Ramanujan's tau function. As consequences we obtain convolution sums and congruence relations involving the divisor functions.

研究动机与目标

• 通过在模形式与拟模形式上使用Rankin-Cohen括子，为拉马努金τ函数的范德波尔型恒等式提供一种新证明。
• 推导出涉及除数函数σ₃(n)、σ₅(n)、σ₇(n)与σ₁₁(n)乘积和的τ函数的新卷积恒等式。
• 通过分析模形式与拟模形式的傅里叶系数，建立除数函数之间的同余关系。
• 利用拟模形式理论重新推导Niebur关于τ(n)的恒等式，并提供此前未被证明的新恒等式。
• 通过系统应用Rankin-Cohen括子与拟模形式理论，统一并推广已知的τ(n)结果。

提出的方法

• 通过比较傅里叶系数，利用模形式E₄与E₆的Rankin-Cohen括子生成τ(n)的新恒等式。
• 应用拟模形式理论，将Δ(z)表示为E₂及其导数的形式，从而推导出Niebur型恒等式。
• 利用微分算子与E₂在SL₂(ℤ)作用下的变换性质，验证涉及DᵏE₂及其乘积的恒等式。
• 通过将拟模形式分解为Eisenstein级数及其导数，比较傅里叶展开式，推导卷积恒等式。
• 通过消除多个Rankin-Cohen括子表达式之间的中间形式（如Δ(z)、D⁴E₄），推导出新恒等式。
• 应用已知的维数公式与模性质（如dim S₁₆(1) = 1），将模形式等同并提取系数恒等式。

实验结果

研究问题

• RQ1 Rankin-Cohen括子能否用于重新推导拉马努金τ函数的已知范德波尔型恒等式？
• RQ2 通过Rankin-Cohen括子结合σ₃、σ₅、σ₇与σ₁₁函数，能生成哪些关于τ(n)的新卷积恒等式？
• RQ3 能否利用拟模形式理论与E₂导数重新证明Niebur关于τ(n)的恒等式？
• RQ4 从涉及τ(n)与卷积和的推导恒等式中，会引出哪些除数函数之间的新同余关系？
• RQ5 由拟模形式导出的恒等式在结构与新颖性方面，与由模形式括子构造的恒等式相比如何？

主要发现

• 本文建立了四个关于τ(n)的新恒等式，涉及σ₇(n)、σ₃(n)以及σ₃(m)σ₃(n−m)的卷积和，包括定理2.1(i)–(iv)。
• 推导出五个关于τ(n)的新恒等式，涉及σ₉(n)、σ₅(n)、σ₃(n)以及σ₃(m)σ₅(n−m)的卷积和，如定理2.2(i)–(v)所示。
• 证明了一个关于τ(n)的新恒等式，其形式为σ₁₁(n)、σ₅(n)与σ₅(m)σ₅(n−m)卷积和的组合，如定理2.3所述。
• 提供了两个新恒等式，涉及σ₁₁(n)、σ₃(n)、σ₇(n)以及σ₃(m)σ₇(n−m)的卷积和，如定理2.4(i)–(ii)所示。
• 推导出一个仅使用σ(n)与σ(m)σ(n−m)卷积和的τ(n)新恒等式，如定理2.5(i)–(iv)所示，扩展了Niebur的原始结果。
• 证明了恒等式(25)、(30)与(31)，它们将σ(m)σ(n−m)的卷积和与σ(n)及σ₃(n)关联起来，这些恒等式被用于推导定理2.9中的进一步恒等式。