Barnes G-funktion

Barnes G-funktion är en speciell funktion som definieras som

$G(z+1)=(2\pi )^{z/2}\exp(-(z(z+1)+\gamma z^{2})/2)\ \times \ \prod _{n=1}^{\infty }\left[\left(1+{\frac {z}{n}}\right)^{n}\exp(-z+z^{2}/(2n))\right]$

där γ är Eulers konstant. Funktionen är uppkallad efter Ernest William Barnes.

Funktionalekvationer

Barnes G-funktion satisfierar funktionalekvationerna

$\!\ G(z+1)=\Gamma (z)G(z)$

och

$G(1-z)=G(1+z){\frac {1}{(2\pi )^{z}}}\exp \int \limits _{0}^{z}\pi z\cot \pi z\,\mathrm {d} z.$

Multiplikationsformel

Barnes G-funktion satisfierar multiplikationsformeln

$G(nz)=K(n)n^{n^{2}z^{2}/2-nz}(2\pi )^{-{\frac {n^{2}-n}{2}}z}\prod _{i=0}^{n-1}\prod _{j=0}^{n-1}G\left(z+{\frac {i+j}{n}}\right)$

där $K(n)$ ges av

$K(n)=e^{-(n^{2}-1)\zeta ^{\prime }(-1)}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}\,=\,(Ae^{-{\frac {1}{12}}})^{n^{2}-1}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}.$

Taylorserie

För $|z|<1$ gäller Taylorserien

$\ln G(1+z)={\frac {1}{2}}\left(\ln(2\pi )-1\right)-(1-\gamma ){\frac {z^{2}}{2}}+\sum _{n=3}^{\infty }(-1)^{n-1}\zeta (n-1){\frac {z^{n}}{n}}$

där $\zeta (s)$ är Riemanns zetafunktion.

Speciella värden

$G(1/4)=A^{-9/8}\left(\Gamma (1/4)\right)^{-3/4}e^{3/32-G/(4\pi )}$

$G(3/4)=A^{-9/8}\left(\Gamma (3/4)\right)^{-1/4}e^{3/32+G/(4\pi )}$

$G(1/2)\,=\,A^{-3/2}\pi ^{-1/4}e^{1/8}2^{1/24}$

$G(3/2)\,=\,A^{-3/2}\pi ^{1/4}e^{1/8}2^{1/24}$

$G(5/2)\,=\,A^{-3/2}\pi ^{3/4}e^{1/8}2^{-23/24}$

där G är Catalans konstant och A är Glaisher–Kinkelins konstant.

Asymptotisk expansion

Logaritmen för Barnes G-funktion har följande asymptotiska expansion:

$\log G(z+1)={\frac {1}{12}}~-~\log A~+~{\frac {z}{2}}\log 2\pi ~+~\left({\frac {z^{2}}{2}}-{\frac {1}{12}}\right)\log z~-~{\frac {3z^{2}}{4}}~+~\sum _{k=1}^{N}{\frac {B_{2k+2}}{4k\left(k+1\right)z^{2k}}}~+~O\left({\frac {1}{z^{2N+2}}}\right).$

Relation till gammafunktionens integral

Integralen av gammafunktionens logaritm kan ges med hjälp av Barnes G-funktion:

$\int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi +z\log \Gamma (z)-\log G(1+z).$

Formeln kan bevisas genom att först ta logaritmen av gammafunktionens och G-funktionens produktrepresentationer:

$z\log \Gamma (z)-\log G(1+z)=-z\log \left({\frac {1}{\Gamma (z)}}\right)-\log G(1+z)=$

$-z\left[\log z+\gamma z+\sum _{k=1}^{\infty }{\Bigg \{}\log \left(1+{\frac {z}{k}}\right)-{\frac {z}{k}}{\Bigg \}}\right]$

$-\left[{\frac {z}{2}}\log 2\pi -{\frac {z}{2}}-{\frac {z^{2}}{2}}-{\frac {z^{2}\gamma }{2}}+\sum _{k=1}^{\infty }{\Bigg \{}k\log \left(1+{\frac {z}{k}}\right)+{\frac {z^{2}}{2k}}-z{\Bigg \}}\right]$

och med lite förenkling får man

$\sum _{k=1}^{\infty }{\Bigg \{}(k+z)\log \left(1+{\frac {z}{k}}\right)-{\frac {z^{2}}{2k}}-z{\Bigg \}}=$

$-z\log z-{\frac {z}{2}}\log 2\pi +{\frac {z}{2}}+{\frac {z^{2}}{2}}-{\frac {z^{2}\gamma }{2}}-z\log \Gamma (z)+\log G(1+z)$

Slutligen tar man logaritmen av gammafunktionens produktrepresentation och integrerar över $\,[0,\,z]\,$ :

$\int _{0}^{z}\log \Gamma (x)\,dx=-\int _{0}^{z}\log \left({\frac {1}{\Gamma (x)}}\right)\,dx=$

$-(z\log z-z)-{\frac {z^{2}\gamma }{2}}-\sum _{k=1}^{\infty }{\Bigg \{}(k+z)\log \left(1+{\frac {z}{k}}\right)-{\frac {z^{2}}{2k}}-z{\Bigg \}}$

Eftersom de två uttrycken är identiska är

$\int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi +z\log \Gamma (z)-\log G(1+z)\,.\,\Box$