Abstract:In this paper, we generalize Rademacher's proof of the transformation law of the eta function to the Jacobi theta function using Residue calculus.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize Rademacher's proof of the transformation law of the Dedekind eta function to the Jacobi theta function \(\vartheta_1(z, \tau)\). Specifically, the author uses the residue theorem to prove the transformation law of the Jacobi theta function \(\vartheta_1(z, \tau)\).
### Main problems
1. **Generalization of the transformation law**:
- The author hopes to generalize Rademacher's proof method of the transformation law of the Dedekind eta function to the Jacobi theta function \(\vartheta_1(z, \tau)\).
- Specifically, they hope to prove the transformation law of \(\vartheta_1(z, \tau)\) under the modular group \(\Gamma\).
2. **Introduction of the special function \(F_N(x)\)**:
- To achieve this goal, the author introduces a special function \(F_N(x)\) and completes the proof by calculating its integral on a specific path (using the residue theorem).
### Mathematical background and formulas
- **Jacobi theta function \(\vartheta_1(z, \tau)\)**: It is defined as
\[
\vartheta_1(z, \tau)= -i\sum_{n = -\infty}^{\infty}(-1)^n q^{(n +\frac{1}{2})^2}e^{(2n + 1)i\pi z}
\]
where \(q = e^{2\pi i\tau}\), \(\tau\in\mathbb{H}\) (the upper half - plane), \(z\in\mathbb{C}\).
- **Dedekind eta function \(\eta(\tau)\)**: It is defined as
\[
\eta(\tau)=e^{\pi i\tau/ 12}\prod_{n = 1}^{\infty}(1 - e^{2\pi i n\tau})
\]
- **Transformation laws**:
- The transformation law of the Dedekind eta function is
\[
\eta(A\tau)=\epsilon(A)(-i(c\tau + d))^{1/2}\eta(\tau)
\]
where \(A=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in\Gamma = SL_2(\mathbb{Z})\), and \(\epsilon(A)\) is a multiplier system.
- Similarly, for the Jacobi theta function \(\vartheta_1(z, \tau)\), the author hopes to prove
\[
\vartheta_1\left(\frac{z}{c\tau + d},\frac{a\tau + b}{c\tau + d}\right)=\epsilon_1(A)(-i(c\tau + d))^{1/2}e^{\frac{\pi i c z^2}{c\tau + d}}\vartheta_1(z, \tau)
\]
where \(\epsilon_1(A)= -i\epsilon_3(A)\), and \(\epsilon(A)\) appears in the transformation law of the Dedekind eta function.
### Methods and conclusions
- **Main theorem**:
- The author proves the Jacobi theta function \(\vartheta_1(z, \tau)\) under the modular group \(\Gamma\) by introducing the special function \(F_N(x)\) and using the residue theorem.