Prím zéta-függvény

A matematikában a prím zéta-függvény a Riemann-féle zéta-függvény analogonja. Az alábbi sorral definiálható, ami konvergens minden ( s ) > 1 {\displaystyle \Re (s)>1} -re:

P ( s ) = p p r i m e k 1 p s {\displaystyle P(s)=\sum _{p\,\in \mathrm {\,primek} }{\frac {1}{p^{s}}}} .

Tulajdonságok

A Riemann-féle zéta-függvény Euler-szorzata implikálja, hogy:

log ζ ( s ) = n > 0 P ( n s ) n {\displaystyle \log \zeta (s)=\sum _{n>0}{\frac {P(ns)}{n}}}

ami Möbius-inverzióval:

P ( s ) = n > 0 μ ( n ) log ζ ( n s ) n {\displaystyle P(s)=\sum _{n>0}\mu (n){\frac {\log \zeta (ns)}{n}}}

Ha s tart az egyhez, akkor P ( s ) log ζ ( s ) log ( 1 s 1 ) {\displaystyle P(s)\sim \log \zeta (s)\sim \log \left({\frac {1}{s-1}}\right)} . Ezt a Dirichlet-sűrűség definíciója használja. Továbbá kiterjeszti P(s)-t a ( s ) > 0 {\displaystyle \Re (s)>0} félsíkra, végtelen sok logaritmikus szingularitással azokban a pontokban, ahol ns pólusa vagy zérushelye ζ(s)-nek. A ( s ) = 0 {\displaystyle \Re (s)=0} az értelmezési tartomány természetes határvonala, mivel majdnem minden pontjában szingularitása van a függvénynek.

Ha definiáljuk a

a n = p k n 1 k = p k ∣∣ n 1 k ! {\displaystyle a_{n}=\prod _{p^{k}\mid n}{\frac {1}{k}}=\prod _{p^{k}\mid \mid n}{\frac {1}{k!}}}

sorozatot, akkor

P ( s ) = log n = 1 a n n s . {\displaystyle P(s)=\log \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}.}

ami Li 2.7-edik lemmájával ekvivalens.

A prím zéta-függvény az Artin-konstanshoz is kapcsolódik:

ln C A r t i n = n = 2 ( L n 1 ) P ( n ) n {\displaystyle \ln C_{\mathrm {Artin} }=-\sum _{n=2}^{\infty }{\frac {(L_{n}-1)P(n)}{n}}}

ahol Ln az n-edik Lucas-szám.[1]

Speciális értékei:

s P(s) közelítő értéke OEIS
1 1 2 + 1 3 + 1 5 + 1 7 + 1 11 + . {\displaystyle {\tfrac {1}{2}}+{\tfrac {1}{3}}+{\tfrac {1}{5}}+{\tfrac {1}{7}}+{\tfrac {1}{11}}+\cdots \to \infty .}
2 0,452 24   74200   41065   49850 {\displaystyle 0{,}45224{\text{ }}74200{\text{ }}41065{\text{ }}49850\ldots } OEIS A085548
3 0,174 76   26392   99443   53642 {\displaystyle 0{,}17476{\text{ }}26392{\text{ }}99443{\text{ }}53642\ldots } OEIS A085541
4 0,076 99   31397   64246   84494 {\displaystyle 0{,}07699{\text{ }}31397{\text{ }}64246{\text{ }}84494\ldots } OEIS A085964
5 0,035 75   50174   83924   25713 {\displaystyle 0{,}03575{\text{ }}50174{\text{ }}83924{\text{ }}25713\ldots } OEIS A085965
9 0,002 00   44675   74962   45066 {\displaystyle 0{,}00200{\text{ }}44675{\text{ }}74962{\text{ }}45066\ldots } OEIS A085969

Analízis

Integrál

A prím zéta-függvény integrálját végtelentől számítják, mivel pólusa s = 1 {\displaystyle s=1} -ben nem teszi lehetővé egy kellemes alsó korlát kitűzését már egyes egész értékekre a ág választása és felvágás nélkül:

s P ( t ) d t = p 1 p s log p {\displaystyle \int _{s}^{\infty }P(t)dt=\sum _{p}{\frac {1}{p^{s}\log p}}}

A fontosabb értékek megint azok, amelyekre az összeg lassan konvergál:

s p 1 / ( p s log p ) {\displaystyle \sum _{p}1/(p^{s}\log p)} közelítő értéke OEIS
1 1 , 63661632 {\displaystyle 1,63661632\ldots } OEIS A137245
2 0 , 50778218 {\displaystyle 0,50778218\ldots } OEIS A221711
3 0 , 22120334 {\displaystyle 0,22120334\ldots }
4 0 , 10266547 {\displaystyle 0,10266547\ldots }

Derivált

Az első derivált

P ( s ) d d s P ( s ) = p log p p s {\displaystyle P'(s)\equiv {\frac {d}{ds}}P(s)=-\sum _{p}{\frac {\log p}{p^{s}}}}

A fontos értékek azok, amikre az integrál lassan konvergál:

s approximate value P ( s ) {\displaystyle P'(s)} OEIS
2 0.493091109 {\displaystyle -0.493091109\ldots } OEIS A136271
3 0.150757555 {\displaystyle -0.150757555\ldots }
4 0.060607633 {\displaystyle -0.060607633\ldots }
5 0.026838601 {\displaystyle -0.026838601\ldots }

Általánosításai

A Riemann-féle zéta-függvény az egész számok negatív kitevős hatványainak összege, és a prím zéta-függvény a prímek negatív kitevős hatványainak összege. A kettő közötti átmenetet azok a k-prím zéta-függvények adják, amelyekben azoknak az egészeknek a negatív kitevős hatványai adódnak össze, amiknek k, nem feltétlenül különböző prímosztója van:

P k ( s ) n : Ω ( n ) = k 1 n s {\displaystyle P_{k}(s)\equiv \sum _{n:\Omega (n)=k}{\frac {1}{n^{s}}}}

ahol Ω {\displaystyle \Omega } a prímtényezők totális összege.

k s P k ( s ) {\displaystyle P_{k}(s)} közelítő értéke OEIS
2 2 0 , 14076043434 {\displaystyle 0,14076043434\ldots } OEIS A117543
2 3 0 , 02380603347 {\displaystyle 0,02380603347\ldots }
3 2 0 , 03851619298 {\displaystyle 0,03851619298\ldots } OEIS A131653
3 3 0 , 00304936208 {\displaystyle 0,00304936208\ldots }

A Riemann-féle zéta-függvényben a nevezők osztályozhatók a k index szerint, amivel az előáll, mint a P k {\displaystyle P_{k}} függvények összege:

ζ ( s ) = 1 + k = 1 , 2 , P k ( s ) {\displaystyle \zeta (s)=1+\sum _{k=1,2,\ldots }P_{k}(s)}

Ha a függvény előállításához csak azokat a prímeket használják, amelyek egy rögzített prímre egy adott maradékosztályba esnek, akkor további végtelen sozrozatok keletkeznek, amelyek a Dirichlet-féle L-függvény redukciói.

Jegyzetek

  1. Weisstein, Eric W.: {{{title}}} (angol nyelven). Wolfram MathWorld

Források

  • (1881) „The Sums of the Series of Reciprocals of the Prime Numbers and of Their Powers”. Proceedings of the Royal Society 33, 4–10. o. DOI:10.1098/rspl.1881.0063.  
  • (1968) „On the prime zeta function”. Nordisk Tidskr. Informationsbehandling (BIT) 8 (3), 187–202. o. DOI:10.1007/BF01933420.  
  • Glaisher, J. W. L. (1891). „On the Sums of Inverse Powers of the Prime Numbers”. Quart. J. Math. 25, 347–362. o.  
  • Mathar, Richard J. (2008). "Twenty digits of some integrals of the prime zeta function". arXiv:0811.4739.
  • (2008) „Prime graphs and exponential composition of species”. J. Combin. Theory A 115, 1374—1401. o. DOI:10.1016/j.jcta.2008.02.008.  
  • Mathar, Richard J. (2010). "Table of Dirichlet L-series and prime zeta modulo functions for small moduli". arXiv:1008.2547.

Fordítás

  • Ez a szócikk részben vagy egészben a Prime zeta function című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.