退出

How to show $1-\sum_{n=1}^{\infty}\frac{24ne^{-2\pi n/5}i^{8n/5}}{1-e^{-2\pi n/5}i^{8n/5}}=\frac{15}{\pi}.$

模形式 Math StackExchange 6 票 1 回答 106 浏览 提问者: User-Refolio 2026-06-14 08:32
sequences-and-series alternative-proof modular-forms elliptic-integrals

问题内容

Context

While working with Ramanujan's $P(q)$ function:

$$P(q)=1-24\sum_{n=1}^{\infty}\frac{nq^{n}}{1-q^{n}}, \hspace{.5cm} 0<|q|<1.$$

I have found the following evaluation:

$$S=1-24\sum_{n=1}^{\infty}\frac{ne^{-2\pi n/5}i^{8n/5}}{1-e^{-2\pi n/5}i^{8n/5}}=\frac{15}{\pi},\tag{1}$$

Being $t=e^{-2\pi/5}i^{8/5}$, the convergence of $S$ is guaranteed because $|t|=e^{-2\pi/5}<1$. The form of $t$ suggests using a modular equation of degree five and relate it to the nome $q=e^{-2\pi}$ which corresponds to the singular modulus $k_{1}=\frac{1}{\sqrt{2}}$.

As you see the imaginary part of $S$ is equal to $0$!

https://www.wolframalpha.com/input?i=1-24sum+n%28%28e%5E%28-2pi%2F5%29%28-1%29%5E%284%2F5%29%29%29%5En%2F%281-%28%28e%5E%28-2pi%2F5%29%28-1%29%5E%284%2F5%29%29%29%5En%29%2C+n%3D1+to+31&lang=es

Question

Is it possible to prove $(1)$ without using a modular equation of degree five?

Thanks in advance for your efforts.

回答 (1)

French Man 5 票 已采纳 2026-06-14 11:44 原文

Let$$\tau = \frac{2+i}{5}, \qquad q = e^{2\pi i\tau}$$Then the desired sum is$$E_2(\tau) = 1 - 24 \sum_{n=1}^{\infty} \frac{nq^n}{1-q^n} $$where $E_2$ is the Eisenstein series. Now, this remarkable identity is effectively enough to get the desired result: $$E_2\left(\frac{a\tau+b}{c\tau+d}\right) = (c\tau+d)^2 E_2(\tau) - \frac{6ic}{\pi}(c\tau+d)$$ For any $\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{SL}_2(\mathbb{Z})$. Specifically, choosing the matrix $\gamma=\begin{pmatrix} 2 & -1 \\ 5 & -2 \end{pmatrix}$ because $\gamma\tau = \tau$ we immediately have$$E_2(\tau) = (5\tau - 2)^2 E_2(\tau) - \frac{6i \cdot 5}{\pi} (5\tau - 2)= -E_2(\tau) + \frac{30}{\pi}$$ $$\implies E_2(\tau)=\frac{15}{\pi}$$ The Eisenstein series identity follows from the Dedekind functional equation proven here $(1.2)$ and then simply using the relation between the functions:$$\frac{d}{d\tau} \log \eta(\tau) = \frac{\pi i}{12} E_2(\tau)$$