Franklin's argument proves an identity of Zagier

Robin Chapman

DOI: https://doi.org/10.48550/arXiv.math/0009036

2000-09-04

Abstract:Recently Zagier proved a remarkable q-series identity. We show that this identity can also be proved by modifying Franklin's classical proof of Euler's pentagonal number theorem.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove a striking q - series identity recently discovered by Zagier. Specifically, Zagier proved the following identity:

\[
\sum_{n = 0}^{\infty}[(q)_{\infty}-(q)_n]=(q)_{\infty}\sum_{k = 1}^{\infty}\frac{q^k}{1 - q^k}+\sum_{r = 1}^{\infty}(- 1)^r[(3r - 1)q^{r(3r - 1)/2}+3rq^{r(3r + 1)/2}]
\]

where $(a)_n=\prod_{k = 1}^{n}(1 - aq^{k - 1})$ is the standard q - series notation, and $(q)_{\infty}=\prod_{k = 1}^{\infty}(1 - q^k)$ is an important expression in Euler's pentagonal number theorem.

Euler's pentagonal number theorem states that:

\[
(q)_{\infty}=1+\sum_{r = 1}^{\infty}(-1)^r(q^{r(3r - 1)/2}+q^{r(3r + 1)/2})
\]

Franklin used combinatorial methods to prove Euler's pentagonal number theorem and showed how to prove Zagier's new identity by modifying Franklin's classical proof. The core of this paper lies in showing that Zagier's identity also has a similar combinatorial interpretation and can be directly proved by Franklin's argument.

The main contributions of the paper are:
1. **Proving Zagier's identity**: By modifying Franklin's classical proof method, a new perspective and proof path are provided.
2. **Combinatorial interpretation**: The combinatorial meaning of Zagier's identity is revealed, which is similar to the combinatorial interpretation of Euler's pentagonal number theorem.

Through these works, the paper not only verifies Zagier's results but also provides a deeper understanding and new mathematical tools.