Abstract:In this paper we give a generalization of Iseki's formula and use it to prove the transformation law of $\theta_1(z, \tau)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the Iseki formula and prove the transformation law of $\theta_1(z,\tau)$. Specifically, the author hopes to simplify and improve the proof of the transformation law of the Jacobi theta function $\theta_1(z,\tau)$ under the modular group $\Gamma$ by generalizing the Iseki formula.
### Main problems:
1. **Generalize the Iseki formula**: The author hopes to generalize the Iseki formula from the Dedekind eta function to a more general function form, especially the Jacobi theta function $\theta_1(z,\tau)$.
2. **Prove the transformation law of $\theta_1(z,\tau)$**: Use the generalized Iseki formula to prove the transformation law of $\theta_1(z,\tau)$ under the modular group $\Gamma$.
### Background information:
- **Dedekind eta function**: It is defined as
\[
\eta(\tau) = e^{\pi i \tau / 12} \prod_{n = 1}^{\infty}(1 - e^{2\pi i n \tau})
\]
and its transformation law under the modular group $\Gamma$ is
\[
\eta(A\tau)=\epsilon(A)(-i(c\tau + d))^{1/2}\eta(\tau)
\]
where $\epsilon(A)$ is the Dedekind eta - character and can be represented by the Dedekind sum as
\[
\epsilon(A)=\exp\left(\frac{\pi i (a + d)}{12c}-s(d,c)\right)
\]
- **Jacobi theta function $\theta_1(z,\tau)$**: It is defined as
\[
\theta_1(z,\tau)=-i w q^{1/4}\prod_{n = 1}^{\infty}(1 - q^{2n})(1 - w^2 q^{2n})(1 - w^{-2}q^{2n - 2})
\]
where $w = e^{\pi i z}$ and $q = e^{\pi i \tau}$, $z\in\mathbb{C}$ and $\tau\in\mathcal{H}$ (the upper half - plane).
### Main contributions of the paper:
- **Generalize the Iseki formula**: The author generalizes the Iseki formula from two variables to four variables and proves it using the Fourier analysis method.
- **Prove the transformation law of $\theta_1(z,\tau)$**: Using the generalized Iseki formula, the author proves the transformation law of $\theta_1(z,\tau)$ under the modular group $\Gamma$:
\[
\theta_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^{\pi i c z^2/(c\tau + d)}\theta_1(z,\tau)
\]
where $\epsilon_1(A)$ is associated with the Dedekind eta - character.
Through these works, the author not only simplifies the proof of the transformation law of $\theta_1(z,\tau)$, but also provides new tools and methods for further research on the Jacobi theta function and other related functions.