Products and series involving prime numbers only. (Q1524913)

Es handelt sich zunächst um Formeln von der Art: \[ \frac{7^\frac16 13^{\frac1{12}} 19^{\frac1{18}} 31^{\frac1{30}}\dots}{5^\frac16 11^{\frac1{12}} 17^{\frac1{18}} 23^{\frac1{24}}\dots} = \frac{6K_1^2}{\pi^2 e^\gamma} = \frac{2K_2^2}{\pi^2 e^\gamma}, \] wo im Zähler die Primzahlen von der Form \(6n+1\), im Nenner diejenigen von der Form \(6n+5\) auftreten (\(K_1\), \(K_2\) sind die vollständigen elliptischen Integrale, welche zu dem Modul \(\sin15^\circ\), bezüglich \(\sin75^\circ\) gehören; \(\gamma\) die Euler'sche Constante); weiter um solche, für welche \[ \frac{5^{\frac1{5^3-1}} 13^{\frac1{13^3-1}} 17^{\frac1{17^3-1}}\dots}{3^{\frac1{3^3+1}} 7^{\frac1{7^3+1}} 11^{\frac1{11^3+1}}\dots} = \frac{A^{32}}{32\pi} e^{-3-\frac23\gamma+8P} \] ein Beispiel ist; hierin ist \(A=1,282427130\) und \[ \begin{aligned} P &= \frac{S_3}{3.4.5}\cdot\frac1{4^3} + \frac{S_5}{5.6.7}\cdot\frac1{4^5} + \frac{S_7}{7.8.9}\cdot\frac1{4^7} +\cdots,\\ S_r &= 1 + \frac1{2^r} + \frac1{3^r} + \frac1{4^r} + \frac1{5^r} +\cdots.\end{aligned} \] Im Anschluss an einen von Herrn Rogel gegebenen Satz wird der folgende abgeleitet: \[ 2^{\frac12[2a]+\frac14[4a]+\frac18[8a]+\cdots}. 3^{\frac13[3a]+\frac19[9a]+\cdots}. 5^{\frac15[5a]+\frac1{25}[25a]+\cdots}\dots = \frac{\sin\frac12a\pi\Gamma^2(\frac12a)}{(2c^\gamma)^{1-a}\pi^{2-a}}; \] dabei liegt \(a\) zwischen 0 und 1; ferner ist \([x]=0\), wenn \(x\) eine ganze Zahl ist, in allen anderen Fällen bedeutet \([x]\) den Wert \(x-n\), wenn \(n\) die nächste ungerade ganze Zahl unter \(x\) ist. Der Satz wird specialisirt für \(a=\frac12, \frac23, \frac13, \frac14, \frac34, \frac16, \frac56\); \(\frac15, \frac25, \frac35, \frac45\); \(\frac17, \frac27, \frac37, \frac47, \frac57, \frac67\). Aus den so gewonnenen Resultaten werden neue abgeleitet, z. B.: \[ 3^{\frac3{3^2+1}} 7^{\frac{-7}{7^2+1}} 13^{\frac{13}{13^2+1}} 17^{\frac{-17}{17^2+1}}\cdots = \frac1{5\frac14} \frac{\Gamma(\frac1{10})\Gamma(\frac7{10})}{\Gamma(\frac15)\Gamma(\frac35)}; \] hierin treten auf der linken Seite die Primzahlen von der Form \(10n+3\) und \(10n+7\) auf, welche zur Potenz \(\frac p{p^2+1}\), bezüglich \(\frac{-p}{p^2+1}\) erhoben sind. Zahlreiche Reihen von der Form \(\sum A_p\log p\) werden summirt, z. B.: \[ \sum_2^\infty A_p\log p = \log\left\{\frac{4K_0^2}{\pi^2e^\gamma}\right\} = \log\left\{\frac{\Gamma^4(\frac14)}{4\pi^3e^\gamma}\right\}, \] wo \(A_p=\frac1{p-1}\) oder \(-\frac1{p+1}\) ist, je nachdem \(p\equiv1\) oder 3 (mod. 4) ist. \[ \sum_3^\infty A_p\log p = \log\left\{\left(\frac{\sin\frac17\pi}{\sin\frac37\pi}\right)^\frac12 \frac{\Gamma(\frac1{14})\Gamma(\frac6{14})} {\Gamma(\frac3{14})\Gamma(\frac4{14})}\right\}, \] wo \(A_p=\frac{p^2}{p^3+1}\), \(-\frac p{p^3+1}\), \(-\frac p{p^3-1}\), \(\frac{p^2}{p^3-1}\) ist, je nachdem \(p\equiv3\), 5, 9, 11 (mod. 14) ist. Ein zweiter allgemeiner Satz ist folgender: \[ \begin{multlined} 3^{\frac13|3a|+\frac19|9a|+\cdots}. 5^{\frac15|5a|+\frac1{25}|25a|+\cdots}. 7^{\frac17|7a|+\frac1{49}|49a|+\cdots}\dots\\ = \frac{\sin a\pi\Gamma^2(\frac a2)\Gamma^2(\frac{1-a}2)}{4\pi^3e^\gamma} = \frac{\Gamma^2(\frac a2)\Gamma^2(\frac{1-a}2)}{2\pi e^\gamma \Gamma(\frac{1+a}2)\Gamma(\frac{1-a}2)};\end{multlined} \] hier ist \(a\) zwischen 0 und 2 anzunehmen, \(|x|\) hat den Wert 0, wenn \(x\) eine ganze Zahl ist, während sonst \(|x|\) gleich \(+1\) oder \(-1\) ist, je nachdem die in \(x\) enthaltene grösste ganze Zahl gerade oder ungerade ist. Auch von diesem Satze werden besondere Fälle behandelt und im Anschluss daran wieder Reihen \(\sum A_p\log p\) summirt. Für die der Gleichung \[ 1^12^23^3\dots n^n = An^{\frac12n^2+\frac12n+\frac1{12}} e^{-\frac14n^2} \] für einen unendlich grossen Wert von \(n\) genügende Constante \(A\) wird der Ausdruck \[ \frac{A^{12}}{2\pi e^\gamma} = 2^{\frac1{2^2-1}} 3^{\frac1{3^2-1}} 5^{\frac1{5^2-1}} 7^{\frac1{7^2-1}}\dots \] gewonnen, wo auf der rechten Seite alle Primzahlen auftreten. Die Producte \[ \prod_2^\infty n^{\frac{\cos n\pi x}{n^2}},\quad \prod_2^\infty n^{\frac{\sin n\pi x}{n^3\pi^3}} \] führen auf die Functionen \(i\lg x\), \(i\lg_2x\), \(i\lg_3x\), ... und auf die Producte: \[ \prod_2^\infty p^{\frac14\left\{\frac{[px]}{p^2} + \frac{[p^2x]}{p^4} + \frac{[p^3x]}{p^6} +\cdots\right\}},\quad \prod_2^\infty p^{\frac{[px]_3}{p^3} + \frac{[p^2x]_3}{p^6} + \frac{[p^3x]_3}{p^9} +\cdots}, \] \[ \prod_2^\infty p^{\frac{[px]_4}{p^4} + \frac{[p^2x]_4}{p^8} + \frac{[p^3x]_4}{p^{12}} +\cdots},\quad \prod_2^\infty p^{\frac{[px]_5}{p^5} + \frac{[p^2x]_5}{p^{10}} + \frac{[p^3x]_5}{p^{15}} +\cdots}, \] worin \(p\) eine Primzahl bedeutet, während in den beiden allgemeineren Producten \(n\) eine beliebige Zahl bezeichnete, \(x\) zwischen den Grenzen 0 und 2 liegt und \[ [x]_3 = [x] - [x]^3,\quad [x]_4 = 2[x]^2 - [x]^4,\quad [x]_5 = 7[x] -10[x]^3 + 3[x]^5 \] ist; ferner auf die ähnlich gebildeten Producte: \[ \prod_3^\infty p^{\frac{|px|_2}{p^2} + \frac{|p^2x|_2}{p^4} + \frac{|p^3x|_2}{p^6} +\cdots},\quad \prod_3^\infty p^{\frac{|px|_3}{p^3} + \frac{|p^2x|_3}{p^6} + \frac{|p^3x|_3}{p^9} +\cdots},\dots, \] wo zu setzen ist \[ \begin{aligned} |x|_2 &= (-1)^s(\frac12-f) = |x|(\frac12-f),\\ |x|_3 &= (-1)^sf(1-f) = |x|f(1-f),\\ .\quad.\quad&.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\end{aligned} \] wenn \(x=s+f\) ist, wo \(s\) eine ganze positive Zahl und \(f\) einen positiven echten Bruch bedeutet. Erklärt man \([x]\) als den Wert \(x-m\), wenn \(m\) die nächste gerade ganze Zahl zu \(x\) bedeutet, so gelangt man zu ähnlich gebildeten Producten: \[ \prod_3^\infty p^{\frac{[px]}{p} + \frac{[p^2x]}{p^2} + \frac{[p^3x]}{p^3} +\cdots},\dots. \] Weiter werden verschiedene Reihen für \[ \frac12\lg A,\quad i\lg x,\quad i\lg(1-x),\quad i\lg\frac12(1-x),\quad i\lg \frac12(1+x) \] entwickelt; z. B. \[ \frac12\lg A = \frac{11}{72} - \frac1{24}\gamma - \frac{S_3}{3.4.5.6} - \frac{S_5}{5.6.7.8} - \frac{S_7}{7.8.9.10} -\cdots, \] \[ \begin{multlined} i\lg\frac12(1+x) = i\lg\frac12 + \frac14x\lg\pi - \frac14x^2\lg2 -\frac18\gamma x^2\\ + \frac12\left\{\frac{U_2}{2.3}x^3 - \frac{U_3}{3.4}x^4 + \frac{U_4}{4.5}x^5 -\cdots\right\},\end{multlined} \] wo: \[ U_r = S_r\left(1-\frac1{2^r}\right) = 1 + \frac1{3^r} + \frac1{5^r} + \frac1{7^r} +\cdots. \] Für unendlich grosse Werte von \(k\) wird \[ \begin{split} x^x(x+1)^{x+1}(x+2)^{x+2}&\dots(x+k)^{x+k}\\ &= e^{(k+1)x}k^{\frac12x^2}2^{x+2}3^{x+3}\dots k^{x+k} e^{-i\lg x}\\ &= A(2\pi)^{\frac12x} e^x k^{\frac12k^2+kx+\frac12k+\frac12x^2+\frac12x+\frac1{12}} e^{-\frac14k^2} e^{-i\lg x}.\end{split} \] Weiter handelt es sich um \[ i\lg\left(x+\frac1n\right) + i\lg\left(x+\frac2n\right) +\cdots+ i\lg\left(x+\frac{n-1}n\right), \] \[ i\lg\frac1n + i\lg\frac2n +\cdots+ i\lg\frac{n-1}n,\quad i\lg_2\frac1n + i\lg_2\frac2n +\cdots+ i\lg_2\frac{n-1}n, \] \[ \dots,\quad i\lg_4\frac1n + i\lg_4\frac2n +\cdots+ i\lg_4\frac{n-1}n, \] um die Constanten \(\alpha\), \(\beta\), wo \(\alpha=\log A\) und \[ \beta = \frac2{\pi}\left(1 - \frac1{3^2} + \frac1{5^2} - \frac1{7^2} + \frac1{9^2} -\cdots\right) \] ist, um die Ausdrücke: \[ \frac{(1+x)^{1+x}(2+x)^{2+x}\cdots(k+x)^{k+x}}{(1-x)^{1-x}(2-x)^{2-x}\cdots(k-x)^{k-x}}, \] \[ \frac{(1+x)^{1+x}(3+x)^{3+x}\cdots(2k-1+x)^{2k-1+x}}{(1-x)^{1-x}(3-x)^{3-x}\cdots(2k-1-x)^{2k-1-x}} \] für einen unendlich grossen Wert von \(k\), um die Producte: \[ \prod_2^\infty p^{\frac1{p^{2n}-1}};\quad \prod_3^\infty p^{\pm\frac1{p^{2n+1}\pm1}}, \] wo das obere oder untere Zeichen zu nehmen ist, je nachdem \(p=4r+1\) oder \(4r+3\) ist; um dasselbe Product, wo das obere oder untere Zeichen zu nehmen ist, je nachdem \(p=3r+1\) oder \(3r+2\) ist; um die Summen: \[ \sum_1^\infty \frac{\log n}{2^{2r}-1}\sin2n\pi,\quad \sum_1^\infty \frac{\log n}{n^{2r}}\cos2\pi nx; \] \[ \sum_1^\infty \frac{\log n}{n^{2r}},\quad \sum_1^\infty \frac{\sin2n\pi x}{n^{2r-1}},\quad \sum_1^\infty \frac{\cos2n\pi x}{n^{2r}}; \] um die Beziehungen der unendlichen Producte zu den Bernoulli'schen Functionen, um Functionen, die den \(\Gamma\)-Functionen analog sind, um die Grössen \(H_n\) und \(J_n\), die durch die Gleichung \[ \begin{split} \frac1{1+e^x+e^{-x}} &= \frac12\left\{H_0 - \frac{H_1}{2!}x^2 + \frac{H_2}{4!}x^4 - \frac{H_3}{6!}x^6 +\cdots\right\}\\ &= \frac23\left\{J_0 - \frac{J_1}{2!}x^2 + \frac{J_2}{4!}x^4 - \frac{J_3}{6!}x^6 +\cdots\right\}\end{split} \] definirt sind. Durch Vergleichung mit den früher berechneten Werten der \(H_n\) ergeben sich dann \[ J_0 = \frac12,\quad J_1 = \frac13,\quad J_2 = 1,\quad J_3 = 7,\quad J_4 = \frac{809}9,\quad J_5 = 1847. \]