Abstract:We establish some functional identities of theta functions, an elementary proof of classical fourth-order identities, Landen transformations, and q series from the eigenvectors of the discrete Fourier transform. Also, we derive connection between Rogers-Ramanujan type identity and theta function identity.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on using the eigenvectors of the discrete Fourier transform (DFT) and basic linear algebra methods to derive and prove new identities of theta functions, Landen transformations, and classical fourth - order identities. Specifically:
1. **Discovery of new identities**:
- The paper derives a series of new theta function identities through the non - degenerate properties of the eigenvectors of DFT and their corresponding eigenvalues. These identities include linear and quadratic relations.
- For example, the following linear relation is given in the paper:
\[
\sqrt{2}\theta(2x, 4\tau)+\theta(x, \tau)=(\sqrt{2} + 1)(\sqrt{2}\theta_{1/2,0}(2x, 4\tau)+\theta_{0,1/2}(x, \tau))
\]
2. **Extension of Landen transformations**:
- The paper also introduces new Landen transformations, which connect theta functions with different quasi - periods. For example, for \(n = 4\), the paper derives the following Landen transformation:
\[
[\theta(2x, 8\tau)+\theta_{1/2,0}(2x, 8\tau)]^2-[\theta_{1/4,0}(2x, 8\tau)+\theta_{3/4,0}(2x, 8\tau)]^2=\theta_{0,1/2}(x, \tau)\theta_{0,1/2}(0, \tau)
\]
3. **Elementary proof of classical fourth - order identities**:
- The paper provides a new elementary proof method for proving the classical fourth - order theta function identities. This method utilizes the non - degenerate properties of the eigenvectors and eigenvalues of DFT, as well as basic linear algebra techniques.
- For example, the paper proves the following fourth - order identity:
\[
\theta^2(x, \tau)\theta^2(0, \tau)=\theta^2_{1/2,0}(x, \tau)\theta^2_{1/2,0}(0, \tau)+\theta^2_{0,1/2}(x, \tau)\theta^2_{0,1/2}(0, \tau)
\]
4. **Identities of q - series**:
- The paper also explores the relationship between theta functions and q - series, and derives some new q - series identities. For example, the paper gives Rogers - Ramanujan - type identities:
\[
\prod_{n = 1}^{\infty}(1 - q^{4n})(1 + q^{4n - 3}z^2)(1 + q^{4n - 1}z^{-2})+z\prod_{n = 1}^{\infty}(1 - q^{4n})(1 + q^{4n - 1}z^2)(1 + q^{4n - 3}z^{-2})=\prod_{n = 1}^{\infty}(1 - q^n)(1 + q^{n - 1}z)(1 + q^n z^{-1})
\]
Overall, by combining the eigenvectors of DFT and basic linear algebra methods, this paper successfully derives a series of new theta function identities and transformations, providing new perspectives and tools for research in this field.