{"entities":{"Q1524913":{"pageid":1535653,"ns":120,"title":"Item:Q1524913","lastrevid":43180873,"modified":"2025-07-22T03:21:18Z","type":"item","id":"Q1524913","labels":{"en":{"language":"en","value":"Products and series involving prime numbers only."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2678525"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1524913$24FC4F78-6379-4A18-B440-27E8232596E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a218cf2de6bdadfaa33977835d0f6f25d80cf398","datavalue":{"value":{"text":"Products and series involving prime numbers only.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1524913$D2E7653B-5232-42CD-8F6B-E6503DED8585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92e59ea9111b49eeb45d86f6043fd3e05065b309","datavalue":{"value":"26.0290.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1524913$4091CA4A-D203-443B-B3E1-A38B435E109B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4411ad7b0e771a5d4a9234caebc16dd0d3f133","datavalue":{"value":{"entity-type":"item","numeric-id":1444254,"id":"Q1444254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1524913$48EBD0D6-5225-4DA9-BD73-6D0E6BC353B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"255cef6dabe86f504eea07ea7bd3e51b1a9713b5","datavalue":{"value":{"entity-type":"item","numeric-id":1444635,"id":"Q1444635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1524913$4099ECDD-8D62-4B5D-B8DD-573B8F343D07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6facdbedc365b01c38e36db0f39e647227bf54f2","datavalue":{"value":{"time":"+1894-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1524913$66AF4167-A3EE-4E6D-935E-9BEDF0E38BC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22a417d251114dd1b9d3b739e7b32e3785ce913e","datavalue":{"value":"Es handelt sich zun\u00e4chst 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\u00e4hler die Primzahlen von der Form \\(6n+1\\), im Nenner diejenigen von der Form \\(6n+5\\) auftreten (\\(K_1\\), \\(K_2\\) sind die vollst\u00e4ndigen elliptischen Integrale, welche zu dem Modul \\(\\sin15^\\circ\\), bez\u00fcglich \\(\\sin75^\\circ\\) geh\u00f6ren; \\(\\gamma\\) die Euler'sche Constante); weiter um solche, f\u00fcr 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\u00e4llen bedeutet \\([x]\\) den Wert \\(x-n\\), wenn \\(n\\) die n\u00e4chste ungerade ganze Zahl unter \\(x\\) ist. Der Satz wird specialisirt f\u00fcr \\(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\u00fcglich \\(\\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\u00e4hrend sonst \\(|x|\\) gleich \\(+1\\) oder \\(-1\\) ist, je nachdem die in \\(x\\) enthaltene gr\u00f6sste ganze Zahl gerade oder ungerade ist.   Auch von diesem Satze werden besondere F\u00e4lle behandelt und im Anschluss daran wieder Reihen \\(\\sum A_p\\log p\\) summirt. F\u00fcr die der Gleichung  \\[ 1^12^23^3\\dots n^n = An^{\\frac12n^2+\\frac12n+\\frac1{12}} e^{-\\frac14n^2} \\]  f\u00fcr einen unendlich grossen Wert von \\(n\\) gen\u00fcgende 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\u00fchren 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\u00e4hrend 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 \u00e4hnlich 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\u00e4rt man \\([x]\\) als den Wert \\(x-m\\), wenn \\(m\\) die n\u00e4chste gerade ganze Zahl zu \\(x\\) bedeutet, so gelangt man zu \u00e4hnlich 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\u00fcr  \\[ \\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\u00fcr 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\u00fccke:  \\[ \\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\u00fcr 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\u00f6ssen \\(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\u00fcher 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. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1524913$30ADBEDD-B25D-4983-8B8B-5E84C6F64393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e68ffa8c190effa684cf013d3e638199ed17e7d1","datavalue":{"value":"11N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1524913$99DE628C-F82A-4242-A51D-40CE3D240788","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00581b7fa4637bbeb6679bdc97e352875573dcb","datavalue":{"value":"2678525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1524913$BB657E7C-AD0E-4D0E-93E5-77C0551BC217","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908fd9a957ca2167cdabfe1674e222c36342a454","datavalue":{"value":"Infinite products involving primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1524913$CD057FC7-699F-42DC-9D16-5F3171308700","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1524913$32CD11D2-99C3-44A7-AEA3-74BF43C3C405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1524913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1524913"}}}}}