Die Konstante von Glaisher-Kinkelin, oft auch nur glaishersche Konstante, ist eine mathematische Konstante, die in einigen Summen und Integralen auftritt, vor allem im Zusammenhang mit der Gammafunktion und der riemannschen Zetafunktion. Sie ist nach J. W. L. Glaisher und Hermann Kinkelin benannt.
Näherungswert
Die Konstante von Glaisher-Kinkelin wird üblicherweise mit
bezeichnet. Ein Näherungswert ist
[1]
Die einzelnen Nachkommastellen bilden die Folge A074962 in OEIS.
Definitionen der Glaisher-Kinkelin-Konstante
Definition über die Hyperfakultät
Eine mögliche Definition[2] von
lautet wie folgt:
![{\displaystyle A=\lim _{n\to \infty }{\frac {K(n+1)}{n^{{\frac {1}{2}}n^{2}+{\frac {1}{2}}n+{\frac {1}{12}}}\,e^{-{\frac {1}{4}}n^{2}}}}=\lim _{n\to \infty }{\frac {\operatorname {hf} (n)}{\exp {\bigl [}{\bigl (}{\tfrac {1}{2}}n^{2}+{\tfrac {1}{2}}n+{\tfrac {1}{12}}{\bigr )}\ln(n)-{\tfrac {1}{4}}n^{2}{\bigr ]}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c67c0e24dc4ea1b80a36dce63f4523d81af59f57)
Dabei ist die Hyperfakultät so definiert:
|
Alle vier soeben gezeigten Definitionsformeln für die Hyperfakultät sind zueinander identisch.
Für die Fakultätsfunktion beziehungsweise die Gaußsche Pifunktion gilt mit dem Weierstraß-Produkt[3] diese Definition:
![{\displaystyle x!=\Pi (x)=\Gamma (x+1)=\exp(-\,\gamma \,x)\prod _{n=1}^{\infty }{\bigl [}{\bigl (}1+{\frac {x}{n}}{\bigr )}^{-1}\exp {\bigl (}{\frac {x}{n}}{\bigr )}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4d070eefc2bdf4698fde0fc67c307d8359a9985)
Diese Induktionsgleichungen sind für die Hyperfakultät gültig:
![{\displaystyle \operatorname {hf} (n)=n\,K(n)=K(n+1)=\prod _{m=1}^{n}m^{m}=1^{1}\cdot 2^{2}\cdot 3^{3}\cdots n^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05f80e8fbc3e074b13840b1d76d63bda3ab6931d)
![{\displaystyle \operatorname {hf} (n)=K(n+1)=1^{1}\cdot 2^{2}\cdot 3^{3}\cdots n^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4bab824c803bee5ac089c82a86e02306766fab1)
Die Hyperfakultät ist mit der K-Funktion des Nachfolgers identisch.
Mit dieser Definition eng verwandt ist diese über die Gammafunktion
erfolgende Definition:
![{\displaystyle A={\frac {2^{7/36}}{\pi ^{1/6}}}\exp {\biggl \{}{\frac {1}{3}}+{\frac {2}{3}}\int _{0}^{1/2}\!\ln {\bigl [}\Pi (x){\bigr ]}\,\mathrm {d} x{\biggr \}}={\frac {2^{7/36}}{\pi ^{1/6}}}\exp {\biggl \{}{\frac {1}{3}}+{\frac {2}{3}}\int _{0}^{1/2}\!\ln {\bigl [}\Gamma (x+1){\bigr ]}\,\mathrm {d} x{\biggr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88d0ed210a8a395e22ab5c50d959556a85acc02f)
Definition über die Superfakultät
Eine weitere Definition unter Verwendung der Kreiszahl
lautet wie folgt:
![{\displaystyle A=\lim _{n\to \infty }{\frac {n^{{\frac {1}{2}}n^{2}-{\frac {1}{12}}}\,(2\pi )^{{\frac {1}{2}}n}\,e^{-{\frac {3}{4}}n^{2}+{\frac {1}{12}}}}{G(n+1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee58c19fb4befeaff60d2b1b02c6e36eccd71d43)
Dabei steht der Buchstabe G für die Barnessche G-Funktion
Deswegen kann alternativ zu diesem Ausdruck auch eine Grenzwertdefinition mit der Superfakultät aufgestellt werden:
![{\displaystyle A=\lim _{n\to \infty }{\frac {1}{\operatorname {sf} (n)}}\exp {\bigl [}{\bigl (}{\frac {1}{2}}n^{2}+n+{\frac {5}{12}}{\bigr )}\ln(n+1)+{\frac {1}{2}}(n+1)\ln(2\,\pi )-{\frac {3}{4}}n^{2}-{\frac {3}{2}}n-{\frac {2}{3}}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aca2aefdf7fe91b10662dac667cf815b42adc0fd)
Dabei ist die Superfakultät mit diesen zueinander identischen Formeln definiert:
|
![{\displaystyle \operatorname {sf} (x)=\operatorname {hf} (x)^{-1}\,\Pi (x)^{x+1}=\operatorname {hf} (x)^{-1}\,\Gamma (x+1)^{x+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57c3b81740672c2ee34448121acfefbbe11e19eb)
Definition über die Riemannsche Zetafunktion
Eine andere Definition lautet so:
![{\displaystyle A=\exp {\bigl [}{\tfrac {1}{12}}-\zeta ^{\prime }(-1){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d51326e92a2af5219006eaabb9a7449d0d3494a1)
die einen Zusammenhang zur Ableitung der Riemannschen Zetafunktion
darstellt.
Hurch Hinzufügung der Abel-Plana-Definition von der Riemannschen Zeta-Ableitung erhält man diese Formel:
![{\displaystyle A=\exp {\biggl [}{\frac {1}{3}}-\int _{0}^{\infty }{\frac {2\arctan(x)+x\ln(x^{2}+1)}{2\exp(\pi \,x)\sinh(\pi \,x)}}\,\mathrm {d} x{\biggr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/167a40c574c695f6074c136ba361f8cab964007a)
Durch Einsetzen der Abel-Plana-Definitionen von Dirichletscher Lambdafunktion und Etafunktion können auch diese Definitionen aufgestellt werden:
![{\displaystyle A=\exp {\biggl [}-{\frac {1}{24}}+{\frac {1}{6}}\ln(2)+\int _{0}^{\infty }{\frac {2\arctan(x)+x\ln(x^{2}+1)}{4\exp(\pi \,x/2)\sinh(\pi \,x/2)}}\,\mathrm {d} x{\biggr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bcda1d9c752c906a102f307825c43ef391c5853)
![{\displaystyle A=\exp {\biggl [}{\frac {1}{12}}+{\frac {1}{9}}\ln(2)+{\frac {1}{3}}\int _{0}^{\infty }{\frac {2\arctan(x)+x\ln(x^{2}+1)}{2\sinh(\pi \,x)}}\,\mathrm {d} x{\biggr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f04f2a48051375e495b420ce32793014ead040fd)
Summenreihen und Produktreihen
Eine Reihendarstellung lautet (Guillera, Sondow 2008)[4]
![{\displaystyle \ln A={\frac {1}{8}}+{\frac {1}{2}}\sum _{n=0}^{\infty }{\frac {1}{n+1}}\sum _{k=0}^{n}(-1)^{k+1}{\binom {n}{k}}(k+1)^{2}\ln(k+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a5cdc6701d7a967e70ff68e1e8b536611f4cfdb)
Sie basiert auf der Riemannschen Zetafunktion.
Der Mathematiker Helmut Hasse hat sie auf Basis des genannten Werkes von Sondow und Guillera weitererforscht.
Folgende[5] Produktreihen ergeben folgenden Wert:
![{\displaystyle \prod _{n=1}^{\infty }n^{1/n^{2}}=\exp {\bigl \{}2\,\pi ^{2}\ln(A)-{\frac {\pi ^{2}}{6}}{\bigl [}\ln(2\,\pi )+\gamma {\bigr ]}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f061b2c7161b787565a4d383a3cb7f29836be39b)
![{\displaystyle \prod _{p\,\in \,{\text{prim}}}^{\infty }p^{1/(p^{2}-1)}=\exp {\bigl [}12\ln(A)-\ln(2\,\pi )-\gamma {\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a201fd41679a90b6a47473e937445c87ec4da8fc)
Das obere von diesen beiden Produkten weist eine enge Verwandtschaft zu den Kummerschen Reihen auf.
Ableitungswerte der Riemannschen und Dirichletschen Funktionen
Definition der Funktionen und Ableitungen
Im Folgenden werden die Abel-Plana-Definitionen für die Riemannsche Zetafunktion, die Dirichletsche Lambdafunktion und die Dirichletsche Etafunktion aufgestellt:
Name der Funktion | Abel-Plana-Integralausdruck |
Riemannsche Zetafunktion | |
Dirichletsche Lambdafunktion | |
Dirichletsche Etafunktion | |
Durch Bildung des Differentialquotienten bezüglich x entstehen folgende Definitionen für die Ableitungen der Riemannschen und Dirichletschen Funktionen:
Name der Funktion | Abel-Plana-Integralausdruck |
Riemannsche Zetaableitung | |
Dirichletsche Lambdaableitung | |
Dirichletsche Etaableitung | |
Wertetabelle
Als Nächstes werden die Ableitungswerte der Riemannschen und Dirichletschen Funktionen ausgedrückt über die Glaisher-Kinkelin-Konstante tabellarisch gegenübergestellt:
Abszissenwerte x | Riemannsche Zetaableitung | Dirichletsche Lambdaableitung | Dirichletsche Etaableitung |
| | | |
| | | |
Denn es gelten folgende Umwandlungsformeln:
![{\displaystyle \lambda '(x)=2^{-x}\ln(2)\,\zeta (x)+(1-2^{-x})\,\zeta '(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af23935e7548d85675f14a476bfd45279dba9888)
![{\displaystyle \eta '(x)=2^{1-x}\ln(2)\,\zeta (x)+(1-2^{1-x})\,\zeta '(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45d8cff0f8bddc83e343b1190f347a127a166460)
Literatur
- Hermann Kinkelin: Ueber eine mit der Gammafunction verwandte Transcendente und deren Anwendung auf die Integralrechnung. (Juli 1856) In: Journal für die reine und angewandte Mathematik, 57, 1860, S. 122–138 (beim GDZ: digizeitschriften.de)
- J. W. L. Glaisher: On the Product 1¹.2².3³...nⁿ. In: The Messenger of Mathematics, 7, 1878, S. 43–47 (englisch; „A=1·28242 7130“ auf S. 43); Textarchiv – Internet Archive
Weblinks
Einzelnachweise
- ↑ 20,000 digits of the Glaisher-Kinkelin constant (Memento vom 13. März 2011 im Internet Archive) – die ersten 20.000 Nachkommastellen beim Projekt mpmath (englisch)
- ↑ Julian Havil: Gamma: Eulers Konstante, Primzahlstrände und die Riemannsche Vermutung. Springer-Verlag, Berlin 2007, ISBN 978-3-540-48495-0, S. 103
- ↑ Archiv der Mathematik und Physik. B. G. Teubner., 1844 (google.de [abgerufen am 30. Januar 2023]).
- ↑ Jesús Guillera, Jonathan Sondow: Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent. In: The Ramanujan Journal, 16, 2008, S. 247–270 (arxiv:math.NT/0506319)
- ↑ Robert A. Van Gorder: Glaisher-type products over the primes. In: International Journal of Number Theory. Band 08, Nr. 02, 1. März 2012, ISSN 1793-0421, S. 543–550, doi:10.1142/S1793042112500297 (worldscientific.com [abgerufen am 8. Januar 2023]).