A \(q\)-Raabe formula and an integral of the fourth Jacobi theta function (Q1930124)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A \(q\)-Raabe formula and an integral of the fourth Jacobi theta function |
scientific article |
Statements
A \(q\)-Raabe formula and an integral of the fourth Jacobi theta function (English)
0 references
10 January 2013
0 references
In 1840, \textit{J. L. Raabe} [J. Reine Angew. Math. 20, 173--177 (1840; ERAM 020.0640cj)] proved that, for \(t>0\), we have \[ \int_0^1 \log \Gamma (x+t) \,dx =\log \sqrt{2\pi } +t\log t -t, \] where \(\Gamma (x)\) is the Euler \(\Gamma\) function. Letting \(t\to 0^+\), we have \[ \int_0^1 \log \Gamma (x)\, dx =\log \sqrt{2\pi }. \] For \(q>1\), the \(q\)-analogue of the Euler \(\Gamma\) function is defined by \[ \Gamma_q (x)=\frac{(q^{-1};q^{-1})_\infty}{(q^{-x};q^{-1})_\infty}(q-1)^{1-x}q^{{x(x-1)}/{2}}, \quad x\in\mathbb{R}\setminus \{ 0, -1, -2, \dots \} , \] where \((x;q^{-1})_\infty =(1-x) (1-q^{-1}x) (1-q^{-2}x) \cdots \). In this paper, the author gives the \(q\)-analogue of Raabe's theorem for \(q>1\). In particular, \[ \int_0^1 \log \Gamma_q (x) \,dx =\frac{\zeta (2)}{\log q} + \log \sqrt{\frac{q-1}{\sqrt[6]{q}}}+\log (q^{-1};q^{-1})_\infty. \] By employing the \(q\)-analogue of Raabe's theorem for \(q>1\), the author proves the following main result. Theorem. For any real \(0<q<1\), \[ \int_{-x*}^{x*} \log \vartheta_4 (ix, q) \,dx =\zeta (2) -\log q \cdot \log\left( \sum_{n=0}^\infty p(n) q^{2n} \right), \] where \(x*=\log \sqrt q\), \(p(n)\) is the partition function, \(i=\sqrt{-1}\) and \(\vartheta_4 (ix, q)\) is the fourth Jacobi theta function, that is, \[ \vartheta_4 (ix, q)= \sum_{n=-\infty}^\infty (-1)^n q^{n^2} e^{-2nx}. \]
0 references
q-Gamma function
0 references
q-Loggamma function
0 references
Jacobi theta functions
0 references
hypergeometric function
0 references
Riemann zeta function
0 references
partition function
0 references
Raabe-formula
0 references
0 references