导言

本篇是对Goldston,Pintz,Yildirim的一篇论文Primes in tuples I的一部分内容的翻译,阅读后的体会与感悟应该会单独再出一篇博客.而原文的链接可以见:https://arxiv.org/abs/math/0508185.

GPY的这篇论文刊登在Annals of Mathematics,因此该论文的含金量不必我多说.而重要的是,这篇文章为后面对素数间隙分布的研究提供了新的思路与方法,并且在短短几年内,循着该文中提出的4个问题,数学界对该方面的研究得到了重大的突破.因此阅读这篇文章是必要的.

摘要

我们介绍了一种方法,用于证明存在一些彼此之间非常接近的素数.这种方法依赖于算术级数中素数的分布水平.在Elliott-Halberstam猜想成立的假设下,我们证明了存在无穷多组相差16或者更小的素数.即使是在更弱的猜想成立,也意味着存在无穷多组相差有界的素数.而无条件地,我们证明存在有比平均间隙的任意小倍数更接近的连续素数,也就是:

lim infnpn+1pnlogpn=0.\liminf_{n \to \infty} \frac{p_{n+1} - p_n}{\log p_n} = 0.

最后的结果将在后续的论文中得到显著地改进.

一. 介绍

数论中最重要的未解问题之一是确定无穷多个素元组(prime tuple)的存在.这个问题不仅被认为很难,而且该领域的大多数数学家认为它无望解决,因为目前还没有已知的无条件方法来解决它.本文是我们一系列文章的第一篇,其目的是提供一种我们认为可以部分解决该问题的方法.目前,我们关于在元组(tuple)中素数的结果是以算术级数中素数的分布信息为条件的.然而,要证明对于一个足够大的kk而言,在一个给定的kk元组中存在无穷多的两个素数,其所需要的信息似乎并没有超出我们已知的结果太多.此外,通过对许多元组进行平均,我们可以在论证中获得足够的信息,从而获得关于素数之间小间隙(small gaps between primes)的无条件结果,这些结果远远超出了之前所证明的任何结果.因此,我们能够证明素数之间存在非常小的间隙,然而,随着素数的变大,这个间隙也会趋于无穷大,但是这个增大的趋势是非常慢的.

我们方法中所需要的关于素数的信息,现在通常被称为算术级数中素数的分布水平(the level of distribution of primes in arithmetic progressions).设

θ(n)={lognn为素数,0其余.(1.1)\theta(n) = \left\{ \begin{array}{ll} \log n & \text{若} n \text{为素数,} \\ 0 & \text{其余.} \end{array} \right.\quad (1.1)

并且考虑计数函数

θ(N;q,a)=nNna(mod q)θ(n).(1.2)\theta(N;q,a) = \sum_{\substack{n \le N \\ n \equiv a(\text{mod }q) }}\theta(n).\quad (1.2)

Bombieri-Vinogradov定理指出,对于任意A>0A>0,都存在一个B=B(A)B=B(A),使得对于Q=N12(logN)BQ = N^{\frac{1}{2}}(\log N)^{-B},有

qQmaxa(a,q)=1θ(N;q,a)Nϕ(q)N(logN)A.(1.3)\sum_{q \le Q} \max_{\substack{a \\ (a,q)=1}}\left| \theta(N;q,a) - \frac{N}{\phi(q)} \right| \ll \frac{N}{(\log N)^A}.\quad (1.3)

我们称素数的分布水平为ϑ\vartheta,如果(1.3)(1.3)对于任意A>0A>0以及任意的ϵ>0\epsilon>0成立,其中

Q=Nϑϵ.(1.4)Q = N^{\vartheta - \epsilon}.\quad (1.4)

Elliott和Halberstam[5]猜测素数的分布水平为11.根据Bombieri-Vinogradov定理,已知的是素数的分布水平为1/21/2.

nn为自然数,并且考虑kk元组

(n+h1,n+h2,,n+hk),(1.5)(n+h_1, n+h_2, \cdots, n+h_k),\quad (1.5)

其中H={h1,h2,,hk}\mathcal{H} = \{h_1, h_2, \cdots, h_k\}是由不同的非负整数组成的集合.如果元组中的每一个元素都是素数,则称其为素元组(prime tuple).现让nn遍历所有自然数,我们希望知道(1.5)(1.5)中是素元组的频率是多少.例如,考虑H={0,1}\mathcal{H} = \{0, 1\}和元组(n,n+1)(n, n+1).如果n=2n = 2,则得到了一个素元组(2,3)(2,3).而这也是这种形式下的唯一的素元组,因为当n>2n > 2时,nnn+1n+1中必有一个是大于22的偶数.另一方面,如果H={0,2}\mathcal{H} = \{0, 2\},则我们预期存在有无穷多个形式为(n,n+2)(n,n+2)的素元组,而这就是孪生素数猜想.一般而言,若对于任意的素数pp,hih_i永远不会占据以pp为模数的所有剩余类,则元组(1.5)(1.5)中有超过nn个的素元组.这对于大于kk的素数pp,条件是显然成立的,于是我们只需去检查那些小的素数是否满足条件.如果我们用νp(H)\nu_p(\mathcal{H})表示所有hih_i在模pp意义下占据的不同剩余类的个数,于是我们可以避免pp整除(1.5)(1.5)中的某些部分,方法是要求

νp(H)<p for all primes p.(1.6)\nu_p(\mathcal{H}) < p\text{ for all primes }p.\quad (1.6)

如果这个条件成立,我们称H\mathcal{H}可容许的(admissible),并且将对应于H\mathcal{H}的元组(1.5)(1.5)称为可容许的元组(admissible tuple).长期以来,一直猜想有可容许的元组中存在无穷个素元组.我们的第一个结论就是朝着证实这一猜想的第一步.

定理1. 假设素数的分布水平ϑ>1/2\vartheta>1/2.那么存在一个可明确计算的常数C(ϑ)C(\vartheta),其仅取决于ϑ\vartheta,使得对于任意kC(ϑ)k \ge C(\vartheta),任意的可容许的kk元组,有无穷多个该形式的元组,其中含有至少两个素数.特别地,当ϑ0.971\vartheta \ge 0.971,那么对于k6k \ge 6结论也成立.

由于66元组(n,n+4,n+6,n+10,n+12,n+16)(n, n+4, n+6, n+10, n+12, n+16)是可容许的,在Elliott-Halberstam猜想下则意味着有

lim infn(pn+1pn)16,(1.7)\liminf_{n \to \infty}(p_{n+1} - p_n) \le 16,\quad (1.7)

其中pnp_n表示的是第nn个素数.这意味着,对于无数多个nn,有pn+1pn16p_{n+1} - p_n \le 16.无条件的,我们证明了一个关于连续素数之间间隙的长期猜想.

定理2. 我们有

E1:=lim infnpn+1pnlogpn=0.(1.8)E_1 := \liminf_{n \to \infty}\frac{p_{n+1}-p_n}{\log p_n} = 0.\quad (1.8)

关于这个结论的讨论由来已有,我们将简要地介绍一下.不等式E11E_1 \le 1是素数定理的一个平凡的结论.第一个形如E1<1E_1 < 1的结论是1926年由Hardy和Littlewood[17]证明的,他们在广义Riemann猜想(GRH)的假设下得出E12/3E_1 \le 2/3.仍然是在GEH假设下,Rankin[25]将结果改进为E135E_1 \le \frac{3}{5}.第一个无条件的估计结果是Erdős[7]于1940年证明的,他使用Brun筛法证明存在有一个可明确计算的常数cc,使得E1<1cE_1 < 1-c,但Erdős并没有明确给出cc的值.在1954年,Ricci[26]将Erdős的结论改进为:E115/16E_1 \le 15/16.在1965年Bombieri和Davenport[2]改进并无条件化了Hardy和Littlewood的方法,用Bombieri-Vinogradov定理替代了GRH,从而得到了E11/2E_1 \le 1/2.他们还结合Erdős的方法,得到了E10.4665E_1 \le 0.4665\cdots.他们的结果不久被Pilt’ai[24]细化为E10.4571E_1 \le 0.4571\cdots,被Uchiyama[31]细化为E10.4542E_1 \le 0.4542\cdots,而Huxley[19][20]细化至E10.4425E_1 \le 0.4425\cdots,最终于1984年得到E10.4393[21]E_1 \le 0.4393\cdots[21].在1988年Maier[22]使用他的矩阵方法改进了Huxley的结果为E1eγ0.4425=0.2484E_1 \le \textrm{e}^{-\gamma}\cdot 0.4425\cdots = 0.2484\cdots,其中γ\gamma为Euler常数.Maier方法本身可得到E1eγ=0.5614E_1 \le \textrm{e}^{-\gamma} = 0.5614\cdots.最近由Goldston和Yildirim[12]的方法,不需要结合其他方法可以得到的结果为E11/4E_1 \le 1/4.

在本系列的后续一篇论文中,我们将证明一个定量的结果

lim infnpn+1pn(logpn)12(loglogpn)2<.(1.9)\liminf_{n \to \infty}\frac{p_{n+1} - p_n}{(\log p_n)^{\frac{1}{2}}(\log\log p_n)^2} < \infty.\quad (1.9)

虽然定理1是一个引人注目的新结果,但它也反映了我们当前方法的局限性.这些局限性是否真实存在或者是够可以克服是进一步研究的关键问题.我们重点关注的是以下四个问题:

问题1. 能够利用当前方法无条件地证明存在无数个素数,彼此之间存在有界间隙?定理1似乎距离该结果仅有一步之遥.但是,对于素数分布水平ϑ>1/2\vartheta > 1/2的任何进一步的结果都似乎是极为深刻的,甚至GRH都不起作用.不过,有更强版本的Bombieri-Vinogradov定理(如[3]中所述),以及众多证明这些结论的想法,或许有希望解决这一问题.

问题2. ϑ=1/2\vartheta = 1/2是从元组中得到素数的真正阻碍吗?Soundararajan[29]证明了在当前的论证中,其的确阻碍了我们进一步的结论.但是或许可以设计出更有效的论证解决这一问题.

问题3. 在Ellott-Halberstam猜想的假设下,能否证明当kk足够大时,在可容许的kk元组中存在有三个或者更多的素数?即使在最强的假设条件下,我们的方法仍然不足以证明给定元组中存在有超过两个的素数.

问题4. 在Ellott-Halberstam猜想的假设下,孪生素数猜想能否用类似的想法证明?

我们方法的局限性在于我们并不能很成功的找出超过两个很接近的素数,这一点也在问题3中指出了.但是,我们能够改进早期的结果,尤其是[12]中的最新结果.对于任意r1r \ge 1,令

Er=lim infnpn+rpnlogpn.(1.10)E_r = \liminf_{n \to \infty} \dfrac{p_{n+r}-p_n}{\log p_n}. \quad (1.10)

Bombieri和Davenport[2]证明了Err1/2E_r \le r - 1/2.后来Huxley[19, 20]将这个上界改进为Err5/8+o(1/r)E_r \le r - 5/8 + o(1/r),而Goldston和Yildirim[12]则改进为Er(r1/2)2E_r \le (\sqrt{r}-1/2)^2,Maier[22]则将其改进为Ereγ(r5/8+o(1/r))E_r \le \text{e}^{-\gamma} (r - 5/8 + o(1/r)).而在证明定理2的过程中,我们还将证明,在假设素数具有分布水平ϑ\vartheta时:

Ermax(r2ϑ,0),(1.11)E_r \le \max(r - 2\vartheta, 0), \quad (1.11)

因此无条件的,我们能够得到有Err1E_r \le r - 1.然而,通过一些更复杂的论断,我们将证明以下结论:

定理3. 假设素数具有分布水平ϑ\vartheta.那么对任意r2r \ge 2,

Er(r2ϑ)2.(1.12)E_r \le (\sqrt{r} - \sqrt{2\vartheta})^2. \quad (1.12)

特别的,我们得到无条件下,对任意r1r \ge 1,

Er(r1)2.(1.13)E_r \le (\sqrt{r} - 1)^2. \quad (1.13)

从(1.11)或(1.12)中,我们可以看到,在Elliott-Halberstam猜想下意味着有

E2=lim infnpn+2pnlogpn=0.(1.14)E_2 = \liminf_{n \to \infty} \frac{p_{n+2} - p_n}{\log p_n} = 0. \quad (1.14)

我们注意到,如果我们将本文的思路与Maier的矩阵方法[22]结合起来,我们期望(1.12)可以被一个更强的不等式取代

Ereγ(r2ϑ)2.(1.15)E_r \le \text{e}^{-\gamma}(\sqrt{r} - \sqrt{2\vartheta})^2. \quad (1.15)

虽然这是我们关于这个主题系列的第一篇论文,但是还有另外两篇论文与本文互相支撑.第一篇论文[14]是与Motohashi共同撰写的,对定理1和定理2的证明进行了简化.第二篇论文[13]与Graham共同撰写,利用筛法证明了定理1和定理2,并且提供了几乎素数元组(almost prime tuples)的应用.

本文的结构如下.在第2节中,我们描述了我们的方法与早期工作的关系.我们还陈述了命题1和命题2,他们包含了本文的关键思想.这些命题的形式比[13]和[14]更一般,因此可用在很多应用中.在第3节中,我们使用这些命题证明了定理1和定理2,其证明方法归功于Granville和Soundararajan.在第4节中,我们对第3节中的使用的方法做了进一步的评论.在第5节中,我们证明了两个后续需要的引理.在第6节中,我们证明了命题1的一个特例,但同时也说明了一般情况下的要点.在第7节中,我们开始证明命题1,并将其简化为估计某个围道积分的值.在第8节中,我们将估计在两个命题证明中出现的更一般的围道积分的值.在第9节中,我们证明了命题2.在本文中,我们没有获得在kk上一致的结果,因此在此处我们假设我们的元组具有固定的长度.但是,对于(1.9)而言,k上一致的结果是需要的,而这些内容将是我们本系列下一篇文章的主题.最后,我们在第10节中证明了定理3.

符号.在下文中,c和C将分别表示经过适当选择后充分小的和充分大的绝对正常数,对于带有上下标的c和C也是同理.我们允许在不同情况下,这些常数可以不同.除非另有说明,否则o,O,o,O,\ll符号所隐含的常数也是绝对的.如果陈述S为真,则[S]为1,否则[S]为0.符号\sum^\flat是对无平方整数求和,而\sum^'则表示求和的数是两两互素的.

本文所用的想法是经过多年发展而来的.我们感谢许多人,但无法一一提及.不过我们要感谢A. Balog, E. Bombieri, T. H. Chan, J. B. Conrey, P. Deift, D. Farmer, K. Ford, J. Friedlander, A. Granville, C. Hughes, D. R. Heath-Brown, A. Ledoan, H. L. Montgomery, Sz. Gy. Revesz, P. Sarnak, and K. Soundararajan.

二. 近似素元组

H={h1,h2,,hk},其中1h1,h2,,hkh是各不相同的整数.(2.1)\mathcal{H} = \{h_1, h_2, \cdots, h_k\},\text{其中} 1 \le h_1, h_2, \cdots, h_k \le h \text{是各不相同的整数}. \quad (2.1)

并且令νp(H)\nu_p(\mathcal{H})表示H\mathcal{H}中元素在模pp剩余类中所占据的不同剩余类的个数.对于无平方因子的整数dd,我们可以通过积性将其拓展至νdH\nu_d{H}.我们记

S(H):=p(11p)k(1νp(H)p).(2.2)\mathfrak{S}(\mathcal{H}) := \prod_p \left( 1-\frac{1}{p} \right)^{-k}\left( 1-\frac{\nu_p(\mathcal{H})}{p} \right). \quad (2.2)

由于当p>hp>h时,总有νp(H)=k\nu_p(\mathcal{H})=k,因此我们可知上述定义的乘积式是绝对收敛的,并且S(H)0\mathfrak{S}(\mathcal{H}) \neq 0当且仅当H\mathcal{H}是可接受的,其定义在(1.6)中.Hardy和Littlewood推测有一个关于素元组(n+h1,n+h2,,n+hk)(n+h_1, n+h_2, \cdots, n+h_k)个数的渐近公式,其中1nN,N1 \le n \le N, N \to \infty.令Λ(n)\Lambda(n)表示von Mangoldt函数,其在n=pm,m>1n = p^m, m > 1时取值为logp\log p,其余时候取值为00.我们定义

Λ(n;H):=Λ(n+h1)Λ(n+h2)Λ(n+hk)(2.3)\Lambda(n; \mathcal{H}) := \Lambda(n+h_1) \Lambda(n+h_2) \cdots \Lambda(n+h_k) \quad (2.3)

并且用这个函数来探测素元组和具有素数幂的元组,后者能在应用中被进一步去除.Hardy-Littlewood素元组猜想可表述为

nNΛ(n;H)=N(S(H)+o(1)),N.(2.4)\sum_{n \le N} \Lambda(n; \mathcal{H}) = N(\mathfrak{S}(\mathcal{H}) + o(1)), N \to \infty. \quad (2.4)

可以注意到,当H\mathcal{H}不是可接受的时,这个猜想显然为真.而这个猜想除了对于1-元组,此时就是素数定理的情况,其余情况下该猜想均未得到证实.

第一作者和第三作者自1999年起一直研究的是用短除数和(short divisor sum)来计算(2.3)中的近似值,并且将其结果用于素数问题中.Λ(n)\Lambda(n)的最简单的近似公式是基于基本公式

Λ(n)=dnμ(d)lognd,(2.5)\Lambda(n) = \sum_{d|n}\mu(d)\log \frac{n}{d}, \quad (2.5)

其可以用一个平滑截断除数和

ΛR(n)=dndRμ(d)logRd.(2.6)\Lambda_R(n) = \sum_{\substack{d | n \\ d \le R}}\mu(d) \log \frac{R}{d}. \quad (2.6)

因此,Λ(n;H)\Lambda(n; \mathcal{H})的近似值可以由以下公式给出:

ΛR(n+h1)ΛR(n+h2)ΛR(n+hk).(2.7)\Lambda_R(n+h_1)\Lambda_R(n+h_2)\cdots\Lambda_R(n+h_k). \quad (2.7)

在[12]中,Goldston和Yildirim应用(2.7)来检测素数之间的小间隙,并证明

E1=lim infn(pn+1pnlogpn)14.E_1 = \liminf_{n \to \infty} \left( \frac{p_{n+1} - p_n}{\log p_n} \right) \le \frac{1}{4}.

在这项工作中,他们意识到,对于某些应用对素元组可能存在有一些更好的近似方法,但是他们设计来的近似方法并不太成功.最近,现在的作者能够得到这样一种近似方法,并能将其应用于素数之间的小间隙问题中.

我们新的近似方法的另案来自于Heath-Brown[18]的一篇关于几乎素数元组的论文.他的结果本身就是Selberg1951年的证明(见[28],p.233-245)的推广,即多项式n(n+2)n(n+2)最多有五个不同的素因数,因此对于元组(n,n+2)(n,n+2)也是一样.不仅我们的近似方法源自于这些论文,而且时候看来,Granville和Soundararajan用于证明定理1和2的论证也与这些论文中的方法本质上是相同的.

结合(1.5)中的元组,我们可以考虑多项式

PH(n)=(n+h1)(n+h2)(n+hk).(2.8)P_\mathcal{H}(n) = (n+h_1)(n+h_2)\cdots(n+h_k). \quad (2.8)

如果元组(1.5)是素元组,那么PH(n)P_\mathcal{H}(n)恰好有kk个素因子.为了探测到这个性质,我们利用第kk个广义von Mangoldt函数

Λk(n)=dnμ(d)(lognd)k,(2.9)\Lambda_k(n) = \sum_{d|n} \mu(d)\left( \log \frac{n}{d} \right)^k, \quad (2.9)

如果nn有超过kk个不同的素因子,其取值便是00.这样,我们的素元组探测函数就是

Λk(n;H):=1k!Λk(PH(n)).(2.10)\Lambda_k(n; \mathcal{H}) := \frac{1}{k!}\Lambda_k(P_\mathcal{H}(n)). \quad (2.10)

其中1/k!1/k!是归一化因子,能简化我们的结果.正如我们将在第5节将看到的,这个近似结果表明了一个Hardy-Littlewood型猜想

nNΛk(n;H)=N(S(H)+o(1)).(2.11)\sum_{n \le N}\Lambda_k(n; \mathcal{H}) = N(\mathfrak{S}(\mathcal{H}) + o(1)). \quad (2.11)

这是Bateman-Horn猜想[1]的一个特例,而Bateman-Horn猜想是Schinzel猜想[27]的定量形式.(2.4)和(2.11)之间没有太大的区别,但它们的近似值却不太一样.

与(2.6)类似(当k=1k=1时),我们通过平滑化以及截断除数和

dndRμ(d)(logRd)k\sum_{\substack{d|n \\ d \le R}} \mu(d) \left( \log \frac{R}{d} \right)^k

并定义

ΛR(n;H)=1k!dPH(n)dRμ(d)(logRd)k.(2.12)\Lambda_R(n; \mathcal{H}) = \frac{1}{k!} \sum_{\substack{d | P_\mathcal{H}(n) \\ d \le R}} \mu(d) \left( \log \frac{R}{d} \right)^k.\quad (2.12)

然而,正如我们将在下一节中看到的,这种近似不足以证明定理1和定理2.

第二个简单但是关键的想法是,不要只近似素元组,而是应该近似组分中具有很多素数的元组.因此,我们考虑的是PH(n)P_\mathcal{H}(n)具有k+k+\ell或者更少个不同素因子时的情况,其中0k0 \le \ell \le k,并且定义

ΛR(n;H,)=1(k+)!dPH(n)dRμ(d)(logRd)k+,(2.13)\Lambda_R(n; \mathcal{H}, \ell) = \frac{1}{(k+\ell)!} \sum_{\substack{d | P_\mathcal{H}(n) \\ d \le R}} \mu(d) \left( \log \frac{R}{d} \right)^{k+\ell}, \quad (2.13)

其中H=k|\mathcal{H}| = k.在第4节中,我们将准确地给出一种度量来衡量一个函数探测元组中素数的好坏,然后便是在这种度量下,当k,,=o(k)k,\ell \to \infty,\ell = o(k)时,这种近似方法在探测元组中素数的度量比(2.12)(此时就是=0\ell = 0的情况)好两倍,而后者又比(2.7)好两倍.这种改进让我们能够无条件的证明定理2.此外它还允许定理1中所需要的分布水平为大于1/2的任意一个数.

(2.12)与(2.13)较之于(2.7)的优势如下.如果在(2.12)和(2.13)中,我们限制dd的所有的素因子都大于hh,则条件dPH(n)d | P_\mathcal{H}(n)则意味着我们可以唯一分解d=d1d2dkd = d_1d_2\cdots d_k,并且din+hi,1ikd_i | n + h_i, 1 \le i \le k,且did_i两两互素,于是d1d2dkRd_1 d_2 \cdots d_k \le R.在应用于素数间隙时,我们要求RN14ϵR \le N^{\frac{1}{4}-\epsilon}.另一方面,展开后,(2.7)变为在din+hi,1ikd_i | n + h_i, 1 \le i \le k,其中d1R,d2R,,dkRd_1 \le R, d_2 \le R, \cdots, d_k \le R上的求和.而这应用于素数间隙问题中则要求RkN14ϵR^k \le N^{\frac{1}{4}-\epsilon}.因此,(2.7)对除数的要求有着更加严格的限制.另外一个技术优势是,一次截断而不是kk次截断简化了我们的计算.

我们对ΛR(n;H,)\Lambda_R(n; \mathcal{H}, \ell)的主要结果总结为以下两个命题.假设H1\mathcal{H}_1H2\mathcal{H}_2分别是k1k_1k2k_2个不同的小于hh的非负整数的集合.我们始终假设这些集合中至少一个是非空的.设M=k1+k2+1+2M = k_1 + k_2 + \ell_1 + \ell_2.

命题1.H=H1H2\mathcal{H} = \mathcal{H}_1 \cup \mathcal{H}_2,Hi=ki|\mathcal{H_i}| = k_i,并且r=H1H2r = |\mathcal{H_1} \cap \mathcal{H_2}|.如果RN12(logN)4MR \ll N^{\frac{1}{2}} (\log N)^{-4M},以及对任意C>0C > 0hRCh \le R^C,那么当R,NR,N \to \infty时我们有

nNΛR(n;H1,1)ΛR(n;H2,2)=(1+21)(logR)r+1+2(r+1+2)!(S(H)+oM(1))N.(2.14)\sum_{n \le N} \Lambda_R(n; \mathcal{H}_1, \ell_1)\Lambda_R(n; \mathcal{H}_2, \ell_2) = \dbinom{\ell_1 + \ell_2}{\ell_1} \frac{(\log R)^{r + \ell_1 + \ell_2}}{(r + \ell_1 + \ell_2)!} (\mathfrak{S}(\mathcal{H}) + o_M(1))N.\quad (2.14)

命题2.H=H1H2\mathcal{H} = \mathcal{H}_1 \cup \mathcal{H}_2,Hi=ki|\mathcal{H_i}| = k_i,并且r=H1H2r = |\mathcal{H_1} \cap \mathcal{H_2}|,1h0h1 \le h_0 \le h,以及H0=Hh0\mathcal{H}^0 = \mathcal{H} \cup {h_0}.如果对于一个充分大的正常数B(M)B(M)RMN14(logN)B(M)R \ll_M N^{\frac{1}{4}(\log N)^{-B(M)}},以及hRh \le R,那么我们有

nNΛR(n;H1,1)ΛR(n;H2,2)θ(n+h0)={(1+21)(logR)r+1+2(r+1+2)!(S(H0)+oM(1))Nif h0∉H,(1+2+11+1)(logR)r+1+2+1(r+1+2+1)!(S(H0)+oM(1))Nif h0H1 and h0∉H2,(1+2+21+1)(logR)r+1+2+1(r+1+2+1)!(S(H0)+oM(1))Nif h0H1H2.(2.15)\begin{array}{l}\sum_{n \le N} \Lambda_R(n; \mathcal{H}_1, \ell_1)\Lambda_R(n; \mathcal{H}_2, \ell_2)\theta(n+h_0) \\ =\left\{ \begin{array}{ll} \dbinom{\ell_1+\ell_2}{\ell_1} \dfrac{(\log R)^{r + \ell_1 + \ell_2}}{(r+\ell_1+\ell_2)!} (\mathfrak{S}(\mathcal{H}^0)+o_M(1))N & \text{if } h_0 \not\in \mathcal{H}, \\ \dbinom{\ell_1+\ell_2+1}{\ell_1+1} \dfrac{(\log R)^{r + \ell_1 + \ell_2+1}}{(r+\ell_1+\ell_2+1)!} (\mathfrak{S}(\mathcal{H}^0)+o_M(1))N & \text{if } h_0 \in \mathcal{H}_1 \text{ and } h_0 \not\in \mathcal{H}_2, \\ \dbinom{\ell_1+\ell_2+2}{\ell_1+1} \dfrac{(\log R)^{r + \ell_1 + \ell_2+1}}{(r+\ell_1+\ell_2+1)!} (\mathfrak{S}(\mathcal{H}^0)+o_M(1))N & \text{if } h_0 \in \mathcal{H}_1 \cap \mathcal{H}_2. \\ \end{array} \right. \end{array}\quad (2.15)

假设素数具有分布水平ϑ>1/2\vartheta > 1/2,也就是(1.3)和(1.4)成立,我们可以选择,对于任意ϵ>0\epsilon > 0,RMNϑ2ϵR \ll_M N^{\frac{\vartheta}{2} - \epsilon},以及hRϵh \le R^\epsilon.

注:通过重新标记变量,我们可以得到h0H2 and h0∉H1h_0 \in \mathcal{H}_2 \text{ and } h_0 \not\in \mathcal{H}_1的情况.

命题1和2可以通过多种方式得到加强.我们将证明误差项oM(1)o_M(1)可以被一系列低阶项和一个素数定理类型的误差项所取代.此外,我们可以将结果统一为MM作为NNRR的显函数,同时让MM \to \infty.这将在后续的论文中得到证明,并用于(1.9)的证明.

翻译结束!

翻译工作到此打住!后续的内容就不再一句一句翻译了,而是以其他的阅读笔记的形式出现!马上进行下一份工作!!!