级数an条件收敛
萧箫 发自 凹非寺
量子位 | 公众号 QbitAI陶哲轩又发新论文了!
![](https://p0.ssl.img.360kuai.com/t016176d8e716fcd0ba.jpg)
这也是时隔一年,他再次独立发表新论文。(arXiv显示上一篇独作论文发表时间是在去年2月)
![](https://p0.ssl.img.360kuai.com/t0167faa541758875a1.jpg)
这篇新论文依旧与陶哲轩钻研的数论领域有关。
它证明了著名数学家埃尔德什·帕尔(Erdős Pál)提出的一个交错素数级数猜想,在哈代-李特尔伍德素数k元组猜想成立的条件下,是成立的。
(当然,哈代-李特尔伍德素数k元组猜想也是一个悬而未解的猜想,因此这项研究只是部分证明,并没有完全解决)
这项研究,还用到了他在几年前与合作者共同提出的一个素数随机模型。
一起来看看。
证明了什么样的猜想?
核心来说,这篇新论文要证明的,是埃尔德什提出的一个关于交错素数级数收敛性的猜想。
这个猜想与一个长这样的交错级数有关,其中pn是第n个素数:
![](https://p0.ssl.img.360kuai.com/t011ed56e8e27fcf1c9.jpg)
交错级数,指的是项的符号是正负交替、而数值绝对值单调递减的无限级数。它的一般形式,大伙儿在学高数时应该都见过:
![](https://p0.ssl.img.360kuai.com/t010ea75c56307f5d25.jpg)
但交错级数并不一定收敛,因此需要具体级数具体判断,这次陶哲轩证明的就是交错级数中的一个特殊类型,即an是素数pn的倒数,这个级数是收敛的。
不过,还有个前提条件——在哈代-李特尔伍德素数k元组猜想成立的条件下。
哈代-李特尔伍德素数k元组猜想,由英国科学家哈代和李特尔伍德提出,它预测了给定差值集合的k个素数出现的频率。
猜想认为,存在两个绝对常数ε>0和C>0,对于所有x≥10、所有k≤(log log x)^5、和所有由不同整数h1,…,hk组成的k元组:
![](https://p0.ssl.img.360kuai.com/t0131eea6f6547febb9.jpg)
使得这个式子成立:
![](https://p0.ssl.img.360kuai.com/t01df34d76edd2fcf45.jpg)
不过,这个猜想至今尚未解决。
这次陶哲轩直接在假设它成立的基础上,证明了交错素数级数收敛性猜想的成立。整个过程大约可以分为四步:
首先,基于Van der Corput差分定理来降低素数计数间隔的长度。
由于证明这个猜想,实际上需要估计区间[1,x]内素数个数的奇偶性分布,因此使用差分定理的目的,能将它转化为仅考虑较短区间内素数个数奇偶性的问题。
转化为这个问题之后,实际上就能用哈代-李特尔伍德素数k元组猜想来证明问题成立。
因此,接下来论文在假设哈代-李特尔伍德素数k元组猜想成立的基础上,估计了短区间内k个素数的概率。
然后,陶哲轩使用几年前与两位数学家William Banks和Kevin Ford共同建立的随机素数模型,来建模素数分布。
最后基于这个模型建立的分布证明猜想。
这篇博客发出后不久,就有网友赶来点赞,表示自己也在从用另一种方法尝试解决这个猜想:
点赞!
我3周前刚在Thomas Bloom的网页上发现了这个猜想,不过只有这篇论文第一句话的内容。
我从计算(computational)的角度尝试搞定它。我把它看作是观察每个结果的偶数和奇数索引之间的差异,然后尝试进行曲线拟合,以确定差异可能为零的位置。
虽然不知道我的数据是否对解决这个问题有帮助,不过至少这提高了我的编程技能。
我还需要一些时间来消化你的论文,感谢!
![](https://p0.ssl.img.360kuai.com/t01d568603807e33c1b.jpg)
One More Thing
值得一提的是,2004年陶哲轩和本·格林(Ben Joseph Green)提出的著名格林-陶定理,也是基于埃尔德什·帕尔(Erdős Pál)另一个更著名的等差数列猜想而来。
其中,埃尔德什等差数列猜想如下:
![](https://p0.ssl.img.360kuai.com/t01542ea67bc8869fa5.jpg)
格林-陶定理进一步将猜想范围缩小到他们研究的素数范围内,相当于埃尔德什等差数列猜想的一个“特例”:
![](https://p0.ssl.img.360kuai.com/t01107b81068a3f877b.jpg)
埃尔德什为解决这个等差数列猜想悬赏了5000美元。
这些年除了陶哲轩以外,也有不少数学家致力于它的研究,例如Thomas Bloom和Olof Sisask。他们在2020年,证明了整数无穷数列一定包含长度至少为三的等差数列,将这个问题又向前推进了一步。
感兴趣的小伙伴们可以挑战一下了(手动狗头)
新论文地址:
https://arxiv.org/abs/2308.07205参考链接:
[1]https://arxiv.org/abs/2202.03594[2]https://mathstodon.xyz/@tao/110891757976027117— 完 —
量子位 QbitAI · 头条号签约
","gnid":"9c658ff34f4ccdd0e","img_data":[{"flag":2,"img":[{"desc":"","height":"532","title":"","url":"https://p0.ssl.img.360kuai.com/t016176d8e716fcd0ba.jpg","width":"1080"},{"desc":"","height":"172","title":"","url":"https://p0.ssl.img.360kuai.com/t0167faa541758875a1.jpg","width":"1080"},{"desc":"","height":"640","title":"","url":"https://p0.ssl.img.360kuai.com/t011ed56e8e27fcf1c9.jpg","width":"1080"},{"desc":"","height":"495","title":"","url":"https://p0.ssl.img.360kuai.com/t010ea75c56307f5d25.jpg","width":"1080"},{"desc":"","height":"152","title":"","url":"https://p0.ssl.img.360kuai.com/t0131eea6f6547febb9.jpg","width":"844"},{"desc":"","height":"150","title":"","url":"https://p0.ssl.img.360kuai.com/t01df34d76edd2fcf45.jpg","width":"898"},{"desc":"","height":"610","title":"","url":"https://p0.ssl.img.360kuai.com/t01d568603807e33c1b.jpg","width":"1054"},{"desc":"","height":"314","title":"","url":"https://p0.ssl.img.360kuai.com/t01542ea67bc8869fa5.jpg","width":"914"},{"desc":"","height":"305","title":"","url":"https://p0.ssl.img.360kuai.com/t01107b81068a3f877b.jpg","width":"1080"}]}],"original":0,"pat":"art_src_3,fts0,sts0","powerby":"hbase","pub_time":1692165120000,"pure":"","rawurl":"http://zm.news.so.com/5d20cdbb465019c500100460c34c40fa","redirect":0,"rptid":"4fc0d1f71c712f4b","rss_ext":[],"s":"t","src":"量子位","tag":[],"title":"陶哲轩新论文:部分证明著名素数猜想,新方法用到了自己的旧模型
艾差爬3197级数an收敛,则级数根号下an收敛还是发散,如何证明? -
齐刚南13433625077 ______ 既不保证发散也不保证收敛 例如a(n)=1/n^2,根号(a(n))发散 a(n)=1/n^4,根号a(n)收敛
艾差爬3197若幂级数anx^n在x=a(a>0)条件收敛,求次幂级数的收敛半径 -
齐刚南13433625077 ______[答案] 幂级数 an(x-1)^n 在x=-1处条件收敛则幂级数 an(x-1)^n的收敛半径为|-1-1|=2,anx^n与 an(x-1)^n有相同的收敛半径R=2.
艾差爬3197级数an+1 - an 收敛充要条件an收敛 -
齐刚南13433625077 ______ 级数Σ[a(n+1)-a(n)](从n=1到∞)收敛的定义是它的部分和序列{Σ[a(n+1)-a(n)]}(从n=1到N)收敛.而它的部分和序列的第N项为{Σ[a(n+1)-a(n)]}(从n=1到N)=[a(2)-a(1)]+[a(3)-a(2)]+[a(4)-a(3)]+…+[a(N+1)-a(N)]=a(N+1)-a(1),因此部分和序列收敛的充要条件就是 lim [a(N+1)-a(1)]存在,即 lim a(N+1)存在,即数列an收敛. 证明完毕.
艾差爬3197高等数学,要判断该级数的收敛性,指出是绝对收敛还是条件收敛 -
齐刚南13433625077 ______ 第三题过程证错了,n趋近无穷大时,lnN/n 极限为0 .这个级数为交错级数,可用交错级数定义证明,看f(x)=lnx/x 是否递减,求导可知,x>e,函数递减.故原级数条收敛. 针对第四题,因为级数an(an为大于等于0)收敛,故0<=an^2<=an,由于级数an收敛,故级数an^2也收敛.这个级数不会让判断绝对与条件收敛吧,因为都是大于0的级数,要么收敛,要么发散
艾差爬3197这句话对不对?若数列an发散,则级数an也发散 -
齐刚南13433625077 ______ 级数收敛的必要条件:如果级数 ∞ n=1 an收敛,则它的一般项an收敛且趋于0. 这句话的逆否命题为:”如果数列{an}发散,则级数 ∞ n=1 an发散“正确.
艾差爬3197正项级数∑An收敛时,怎么证明An²也收敛? -
齐刚南13433625077 ______ 当级数∑An收敛时,有n→∞时,An的极限趋近于0,则当n充分大时,0≤An
艾差爬3197无穷数级∑ 收敛 -
齐刚南13433625077 ______ lim(an)=0不能判断无穷级数∑an收敛,例如∑(1/n),lim(1/n)n趋近于无穷大=0,但∑(1/n)并不收敛,若要证明一个级数收敛,必须证明它的前n项和在n趋近于无穷大时有界.或者根据级数的性质证明这个级数小于某个收敛的级数,比如∑(1/n²) ...
艾差爬3197高数问题,有关级数收敛 -
齐刚南13433625077 ______ 例如an=(-1)^(n-1)/n ∑a(2n-1) - a(2n)=∑1/n发散 ∑an + a(n+1) 里两个项是同号的,由于∑an收敛,所以∑2an也收敛,并且任意添加括号后也收敛 ∑2an=2a1+2a2+...+2an+... =a1+(a1+a2+...+an+...)+[a2+a3+...+a(n+1)+...] =a1+∑[an + a(n+1)] 所以∑[an + a(n+1)]也收敛
艾差爬3197怎么用比较判别法判断级数的收敛性? -
齐刚南13433625077 ______ 前提:两个正项级数∑n=1→ ∞an,∑n=1→ ∞bn满足0<=an<=bn 结论:若∑n=1→ ∞bn收敛,则∑n=1→ ∞an收敛 若∑n=1→ ∞an发散,则∑n=1→ ∞bn发散. 建议:用比较判别法判断级数的收敛性时,通常构造另一级数.根据另一级数判断所求...
艾差爬3197收敛级数问题:1.lnn收敛吗?怎么判定,2.收敛级数乘以收敛级数,3.收敛乘以发散, -
齐刚南13433625077 ______[答案] 1.级数收敛的必要条件是:n趋进无穷时,通项趋进0,所以lnn是发散的. 2.收敛的级数,通项相乘,得到的级数不一定收敛比如,an=bn=(=1)^n/n^(1/2)由莱布尼茨判别法,可知an,bn收敛 但an*bn=1/n为调和级数,是发散的. 3.收敛乘发散,可能收敛...