不同x的π(x)和Δ(x)值
这些表格由安德烈·V·库尔沙(Andrey V.Kulsha)编制。请参见在下面Δ(x)的解释。
x的值 | 桌子 | Δ(x)的局部极小值 | Δ(x)的局部最大值 |
1到10 | 步骤10-3 | 步骤10-4 | 步骤10-5 | Δ(5-0) = -0.3952461978 | Δ(1+0) = +1.0000000000 |
101到102 | 步骤10-2 | 步骤10-3 | 步骤10-4 | Δ(11-0) = -0.5492343329 | Δ(19+0) = +0.5607597113 |
102到10三 | 步骤10-1 | 步骤10-2 | 步骤10-3 | Δ(223-0) = -0.6051733874 | Δ(113+0) = +0.7848341482 |
10三到104 | 步骤1 | 步骤10-1 | 步骤10-2 | Δ(1423-0) = -0.7542604400 | Δ(1627+0) = +0.6754517455 |
104到105 | 步骤101 | 步骤1 | 步骤10-1 | Δ(19373-0) = -0.7278356754 | Δ(24137+0) = +0.7457431860 |
105到106 | 步骤102 | 步骤101 | 步骤1 | Δ(302831-0) = -0.6995719492 | Δ(355111+0) = +0.7008073861 |
106到107 | 步骤10三 | 步骤102 | 步骤101 | Δ(1090697-0) = -0.6389660809 | Δ(3445943+0) = +0.6809987397 |
107到108 | 步骤104 | 步骤10三 | 步骤102 | Δ(36917099-0) = -0.7489165055 | Δ(30909673+0) = +0.7157292126 |
108到109 | 步骤105 | 步骤104 | 步骤10三 | Δ(516128797-0) = -0.6775687236 | Δ(110102617+0) = +0.7878100197 |
109到1010 | 步骤106 | 步骤105 | 步骤104 | Δ(7712599823-0) = -0.6889577485 | Δ(1110072773+0) = +0.6833192028 |
1010到1011 | 步骤107 | 步骤106 | 步骤105 | Δ(11467849447-0) = -0.7251609705 | Δ(10016844407+0) = +0.6386706267 |
1011到1012 | 步骤108 | 步骤107 | 步骤106 | Δ(110486344211-0) = -0.7355462679 | Δ(330957852107+0) = +0.7533813432 |
1012到1013 | 步骤109 | 步骤108 | 步骤107 | Δ(1635820377397-0) = -0.6892596608 | Δ(2047388353069+0) = +0.6808028098 |
1013到1014 | 步骤1010 | 步骤109 | 步骤108 | Δ(36219717668609-0) = -0.8360329846 | Δ(21105695997889+0) = +0.6896466780 |
1014到1015 | 步骤1011 | 步骤1010 | 步骤109 | Δ(348323506633621-0) = -0.6494959371 | Δ(117396942462053+0) = +0.6789107425 |
1015到1016 | 步骤1012 | 步骤1011 | 步骤1010 | Δ(1212562524413153-0) = -0.7750460589 | Δ(1047930291039067+0) = +0.7042622330 |
1016到1017 | 步骤1013 | 步骤1012 | 步骤1011 | Δ(18019655286689201-0) = -0.5710665212 | Δ(16452596773450399+0) = +0.7144542025 |
1017到1018 | 步骤1014 | 步骤1013 | 步骤1012 | Δ(266175790131587543-0) = -0.7599282036 | Δ(125546149553907317+0) = +0.6572554320 |
1018到1019 | 步骤1015 | Δ(5805523423155128399-0) = -0.6804259482 | Δ(1325005986250807813+0) = +0.7839983342 |
1019到1020 | 步骤1016 | Δ(55496658217283199013-0) = -0.8042730098 | Δ(11538454954199984761+0) = +0.7574646817 |
1020到1021 | 步骤1018 | (待办) | (待办) |
1021+ | 214个条目 | Δ(x)没有全局最小值 | Δ(x)没有全局最大值 |
x<10时π(x)的值17大部分都是经过计算的具有原筛由Kim Walisch和也有用一个步骤,共10步9(完全双重检查)。数据编码为连续四舍五入值之间的2字节差异流(π(x)-li(x))·3/2,并提供一个小的delphi程序来获得纯文本文件。乘数3/2并不能消除差异2字节范围[-32768…+32767],并允许使用绝对值计算li(x)误差高达1/6,因此具有扩展精度的Ramanujan方法工作良好至少对于x<1018.
10的π(x)值17≤x≤1020取自[1]。
10的π(x)值20<x<1021是使用计算素数作者:Kim Walisch。
x≥10时π(x)的值21取自[1]、[2]还有斯隆的A006988号,A007097号。另请参阅1月的结果Büthe[3]、David J.Platt[4]、Thomas R.Nicely[5]和Xavier Gourdon[6].
|Δ(x)|超过0.75的一些极端区域
这些结果证实了之前进行的一些计算[7][8]。另见[9]和[10],关于Δ(x)在较大x处的振荡。
Δ(x)来自哪里?
素数计算函数π(x)可以用解析方法计算。这个它的显式公式对x>1有效,如下所示
哪里
和在非平凡(即正实部)零上运行Riemannζ函数的绝对值假想部分。这个和描述了π(x)的波动,而其余术语给出了其中的«平滑»部分,可以用作π(x)的很好估计:
这里可以看到π(x)(紫色线)与蓝色线的对比图
这两种启发性振荡之间的差异振幅约为
因此,我们得到了Δ(x)的以下表达式,该函数清楚地表示素数分布的波动:
对数刻度上有Δ(x)的曲线图:
在[11]和[12]中给出了Δ(x)的对数密度的一些估计。
关于π(x)的显式公式
奇怪的是,这个公式似乎从未在文献中出现过[13],所以让我们描述一下它的起源。这个公式来自于Möbius反演
属于
哪里
是所谓的黎曼素数函数(第一个和超过素数的幂)。∏的表达式如下0(x) 【13】:
其中li是对数积分;li(xρ)应该是考虑为Ei(ρlnx),其中Ei是从正实到复平面的指数积分函数树枝沿着负界切开。和以前一样,总和在ζ函数的非平凡零点也是如此。因此,公式直接从这四个等式得出:
前两个是众所周知的[14];第三个直接来了从[15]中的(32)开始,而如果我们允许广义求和,最后一个是显而易见的
工具书类
[1]托马斯·奥利维拉·席尔瓦。 pi(x)和pi2(x)值表.http://sweet.ua.pt/tos/primes.html
[2]道格拉斯·B·斯塔普。 素数计数功能记录。 http://www.mersenneforum.org/showthread.php?t=19863
[3]简·比瑟。 π(x)的解析计算。 http://www.math.uni-bonn.de/people/jbuethe/topics/AnalyticPiX.html
[4]大卫·J·普拉特。 分析计算π(x)。 http://arxiv.org/abs/203.5712
[5]托马斯·R·尼切利。 素数pi(x)到1e16的表.http://www.trnicely.net/pi/pix_0000.htm
[6]泽维尔·古尔登(Xavier Gourdon)。 计算素数.http://numbers.computation.free.fr/Constants/Primes/countingPrimes.html
[7]努娜·达·科斯塔·佩雷拉。 一些素数函数的计算结果.http://mat.fc.ul.pt/ind/ncpereira网站/
[8]泰迪·科特尼克。 素数函数及其解析逼近高级Comp。数学。,第29卷,第1期(2008年),第55-70页
[9]道格拉斯·A·斯托尔(Douglas A.Stoll),帕特里克·德米切尔(Patrick Demichel)。 对于x<10,ζ(s)复零点对π(x)-li(x)的影响1013。数学。压缩机。,第80卷,N.276(2011),第2381-2394页。
[10]帕特里克·德米切尔。 素数计数函数及相关主题.http://sites.google.com/site/dmlpat2/li_crossover_pi.pdf
[11]迈克尔·鲁宾斯坦(Michael Rubinstein)、彼得·萨纳克(Peter Sarnak)。 切比雪夫的偏见.实验。数学。,第3卷第3期(1994年),第173-197页
[12]科林·迈尔斯咳嗽。 精确余项在剩余类分布计算中的应用将在《数学》杂志上发表。公司。
[13]乔纳森·博文(Jonathan M.Borwein)、戴维·布拉德利(David M.Bradley)、理查德·克兰德尔(Richard E.Crandall)。 黎曼-泽塔函数的计算策略J.公司。应用程序。数学。,第121卷(2000年),第247-296页
[14]爱德华兹阁下。 黎曼Zeta函数.学术出版社,1974年
[15]Hans Riesel,Gunnar Gohl。 关于黎曼素数公式的一些计算。数学。压缩机。,第24卷,N.112(1970),第969-983页
于2016年12月31日星期六更新