English

Exponential integral representations of theta functions

Classical Analysis and ODEs 2021-08-25 v8

Abstract

Let Θ3(z):=nZexp(iπn2z)\Theta_{3} (z):= \sum_{n\in\mathbb{Z}} \exp (i \pi n^2 z) be the standard Jacobi theta function, which is holomorphic and zero-free in the upper half-plane H\mathbb{H}, and takes positive values along the positive imaginary axis. We define its logarithm logΘ3(z)\log\Theta_3(z) which is uniquely determined by the requirements that it should be holomorphic in H\mathbb{H} and real-valued on the positive imaginary axis. We derive an integral representation of logΘ3(z)\log\Theta_{3} (z) when zz belongs to the hyperbolic quadrilateral F\mathcal{F}^{||}_{\square}, consisted of all those zHz \in \mathbb{H} which satisfy 1Rez1-1 \leq Re\, z \leq 1, 2z1>1|2 z - 1| > 1 and 2z+1>1 |2 z + 1| > 1. Since every point of H\mathbb{H} is equivalent to at least one point in F\mathcal{F}^{||}_{\square} under the theta subgroup of the modular group on the upper half-plane, this representation carries over in modified form to all of H\mathbb{H} via the identity recorded by Berndt. The logarithms of the related Jacobi theta functions Θ4\Theta_{4} and Θ2\Theta_{2} may be conveniently expressed in terms of logΘ3\log\Theta_{3} via functional equations, and hence get controlled as well. Our approach is based on a study the logarithm of the Gauss hypergeometric function for a specific choice of the parameters. This connects with the study of the universally starlike mappings introduced by Ruscheweyh, Salinas, and Sugawa.

Keywords

Cite

@article{arxiv.1912.10568,
  title  = {Exponential integral representations of theta functions},
  author = {Andrew Bakan and Håkan Hedenmalm},
  journal= {arXiv preprint arXiv:1912.10568},
  year   = {2021}
}

Comments

74 pages

R2 v1 2026-06-23T12:54:02.218Z