Gieseking-Konstante

Die Gieseking-Konstante ist eine mathematische Konstante, die das maximale Volumen hyperbolischer Tetraeder angibt. Sie ist nach Hugo Gieseking (1887–1915) benannt, der 1912 aus einem solchen Tetraeder durch Verschmelzung von Seitenflächen die Gieseking-Mannigfaltigkeit konstruierte. Colin Adams konnte 1987 nachweisen, dass die Gieseking-Mannigfaltigkeit die eindeutige nichtkompakte hyperbolische 3-Mannigfaltigkeit mit minimalem Volumen ist. Die Gieseking-Konstante wird nach Nikolai Lobatschewski auch Lobatschewski-Konstante genannt.

Definition

Die Gieseking-Konstante ist definiert als

$G=\underset{0}{\overset{2\pi /3}{\int }}\ln (2\cos \frac{t}{2})\mathrm{d}t=1,01494160640965362502120255427452028594168930753029\dots$

(siehe die Vorlage:OEIS).

Die Gieseking-Konstante kann auch über eine Reihenentwicklung definiert werden:

$G=\frac{3\sqrt{3}}{4}(\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(3k+1{)}^2}-\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(3k+2{)}^2})=\frac{3\sqrt{3}}{4}(1-\frac{1}{2^2}+\frac{1}{4^2}-\frac{1}{5^2}+\frac{1}{7^2}-\frac{1}{8^2}\pm \dots )$.

Beide Definitionen sind zueinander identisch.

Weitere Darstellungen

Funktionaldarstellungen

Alternative Schreibweisen der Gieseking-Konstante sind

$G=\mathrm{C}{\mathrm{l}}_{\mathrm{2}}\left(\frac{1}{3}\pi \right)$,

wobei $\mathrm{C}{\mathrm{l}}_{\mathrm{2}}$ die Clausen-Funktion ist,

$G=\frac{1}{36}i({\pi }^2-36\mathrm{L}{\mathrm{i}}_{\mathrm{2}}(-(-1{)}^{2/3}))=\frac{1}{2}i(\mathrm{L}{\mathrm{i}}_{\mathrm{2}}((-1{)}^{2/3})-\mathrm{L}{\mathrm{i}}_{\mathrm{2}}((-1{)}^{1/3}))$,

wobei $\mathrm{L}{\mathrm{i}}_{\mathrm{2}}$ der (klassische) Dilogarithmus ist,

$G=D(\frac{1}{2}+i\frac{\sqrt{3}}{2})$,

wobei $D$ der Bloch-Wigner-Dilogarithmus ist,

$G=3\mathrm{\Lambda }\left(\frac{\pi }{3}\right)$,

wobei $\mathrm{\Lambda }$ die Lobatschewski-Funktion ist, und

$G=\frac{{\psi }_1(\frac{1}{3})-{\psi }_1(\frac{2}{3})}{4\sqrt{3}}$,

wobei ${\psi }_1$ die Trigamma-Funktion ist.

Integraldarstellungen

Folgendes Integral entsteht durch Substitution aus der gezeigten Integraldefinition:

$G=\underset{0}{\overset{1}{\int }}\frac{2}{\sqrt{(1+x)(3-x)}}\ln \left(\frac{1}{1-x}\right)\mathrm{d}x$

Durch weitere Substitution entsteht die nun folgende Identität:

$G=\underset{0}{\overset{1}{\int }}\frac{8\mathrm{artanh}(x)}{(1+x)\sqrt{(1+3x)(3+x)}}\mathrm{d}x$

Dieses Integral resultiert aus der Definition der Gieseking-Konstante über ihre Reihenentwicklung:

$G=\frac{3\sqrt{3}}{4}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x\exp (x)}{\exp (2x)+\exp (x)+1}\mathrm{d}x$

Eine weitere Integraldarstellung kann mit Hilfe der sogenannten Abel-Plana-Summenformel hervorgebracht werden:

$G=\frac{13\sqrt{3}}{32}+\frac{9\sqrt{3}}{2}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x\exp (-\pi x)}{\sinh (\pi x)}[\frac{1}{(9x^2+1{)}^2}-\frac{2}{(9x^2+4{)}^2}]\mathrm{d}x$

Summendarstellungen

Mit den Mittleren Binomialkoeffizienten kann folgende Summenreihe über die Gieseking-Konstante aufgestellt werden:

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^3\mathrm{CBC}(n)}=\frac{2\pi }{3}G-\frac{4}{3}\zeta (3)$

So ist der Mittlere Binomialkoeffizient definiert:

$\mathrm{CBC}(n)=(\genfrac{}{}{0ex}{}{2n}{n})=\frac{(2n)!}{(n!{)}^2}=\frac{\mathrm{\Pi }(2n)}{\mathrm{\Pi }(n{)}^2}$

$\mathrm{CBC}(n)=\prod _{m=1}^{\mathrm{\infty }}\left[\right(1+\frac{n}{m}{)}^2(1+\frac{2n}{m}{)}^{-1}]$

Die beiden nun genannten Formeln stimmen miteinander überein.

Literatur

• Colin C. Adams: The newest inductee in the number hall of fame, Mathematics Magazine 71, Dezember 1998, S. 341–349 (englisch; Zentralblatt-Rezension)
• Steven R. Finch: Mathematical constants. Cambridge University Press, Cambridge 2003, ISBN 0-521-81805-2, S. 233 (englisch; Finchs Webseite zum Buch mit Errata und Addenda: Mathematical Constants.)

Weblinks

• Vorlage:MathWorld