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
    0 references

    Identifiers