巴塞尔问题

✍ dations ◷ 2025-10-15 15:57:19 #数论,级数,数学问题,圆周率算法,Ζ函数与L函数

巴塞尔问题是一个著名的数论问题,这个问题首先由皮耶特罗·门戈利(英语:Pietro_Mengoli)在1644年提出,由莱昂哈德·欧拉在1735年解决。由于这个问题难倒了以前许多的数学家,欧拉一解出这个问题马上就出名了,当时他二十八岁。欧拉把这个问题作了一番推广,他的想法后来被黎曼在1859年的论文《论小于给定大数的素数个数》()中所采用,论文中定义了黎曼ζ函数,并证明了它的一些基本的性质。这个问题是以瑞士的第三大城市巴塞尔命名的,它是欧拉和伯努利家族的家乡。

这个问题是精确计算所有平方数的倒数的和,也就是以下级数的和:

这个级数的和大约等于1.644934(OEIS中的数列A013661)。巴塞尔问题是寻找这个数的准确值,并证明它是正确的。欧拉发现准确值是 π 2 / 6 {\displaystyle \pi ^{2}/6} )是数学中的一个很重要的函数,因为它与素数的分布密切相关。这个函数对于任何实数部分大于1的复数都是有定义的,由以下公式定义:

取 = 2,我们可以看出ζ(2)等于所有平方数的倒数之和:

用以下的等式,可以证明这个级数收敛:

因此ζ(2)的上界小于2,因为这个级数只含有正数项,它一定是收敛的。可以证明,当是正的偶数时,ζ()可以用伯努利数来表示。设 s = 2 n {\displaystyle s=2n} 趋于无穷大时都趋于π2/6。

这两个表达式从余切和余割的恒等式推出。而这些恒等式则从棣莫弗定理推出。

设为一个实数,满足0 < < π/2,并设为正整数。从棣莫弗定理和余切函数的定义,可得:

根据二项式定理,我们有:

把两个方程合并,由于相等的两个复数的虚数部分也一定相等,因此有:

固定一个正整数,设 = 2 + 1,并考虑 = π/(2 + 1)对于 = 1、2、……、。那么是π的倍数,因此是正弦函数的零点,所以:

对于所有的 = 1、2、……、。1、……、是区间(0, π/2)内不同的数。由于函数cot2 在这个区间内是一一对应的,因此当 = 1、2、……、时, = cot2 的值各不同。根据以上方程,这些个"tr"是以下次多项式的根:

根据韦达定理,我们可以直接从这个多项式的头两项计算出所有根的和,因此:

把恒等式csc2 = cot2 + 1代入,可得:

现在考虑不等式cot2 < 1/2 < csc2 。如果我们把对于 =  π/(2 + 1)的所有不等式相加起来,并利用以上的两个恒等式,便可得到:

把不等式乘以(π/(2 + 1))2,便得:

当趋于无穷大时,左面和右面的表达式都趋于π2/6,因此根据夹挤定理,有:

证毕。

设有函数 f ( x ) = x {\displaystyle f(x)=x} ,其定义域为 x ( π , π ) {\displaystyle x\in (-\pi ,\pi )} 。这个函数的傅里叶级数是:

根据帕塞瓦尔恒等式,我们有:

因此

证毕。

相关

  • 女性贺尔蒙女性荷尔蒙包括数种在女性身上比较多的荷尔蒙。某些女性荷尔蒙在男性身上也有,不过比较少。卵巢分泌两大类女性荷尔蒙:雌激素(英语:estrogen,又称动情素)和孕激素(progestagen)。其
  • 美第奇家族美第奇家族(意大利语:Medici,/ˈmɛdᵻtʃi/ MED-i-chee;意大利语发音:),或译为麦地奇家族、梅迪奇家族、梅迪契家族、梅第奇家族,是佛罗伦萨15世纪至18世纪中期在欧洲拥有强大势力
  • 现行宪法意大利共和国宪法(意大利语:Costituzione della Repubblica italiana)是1947年12月22日由意大利国民代表大会以453票支持、62票反对通过的宪法。迄今为止已经基于1947年12月27
  • 六足亚门昆虫纲 Insecta 内口纲 Entognatha六足亚门(学名:Hexapoda)是节肢动物门中的最大一个类群(依其物种数量),包括昆虫和三个较小类群的无翅节肢动物:弹尾目、原尾目和双尾目(这些都曾经
  • 芝加哥地铁芝加哥地铁(英语:Chicago 'L',简称 The L)是美国伊利诺伊州芝加哥的城市轨道交通系统,由芝加哥交通局负责营运。L是“elevated”(高架)之缩写;以前常用'EL'表示,但今日'L'的称呼更为
  • 加州海狮加州海狮(Zalophus californianus)是一种原产北太平洋的海狮品种。雄性长大后可达2.4米长,重300公斤;雌性长大后则有2米长,100公斤重。加州海狮的食物广泛,主要有鱼、鱿鱼等海鲜,偶
  • 青岛前湾港区3号疏港高速公路青岛前湾港区3号疏港高速公路,简称青岛前湾港区3号疏港高速,高速公路网编号为S7603,是中国青岛市黄岛区连通青岛前湾港的一条疏港高速公路,全长3.3km。该公路起于辛安立交桥,止于
  • 斯蒂芬·勒哈斯蒂芬·勒哈(英语:Steven Lehar)是一个独立的研究学者,曾经在哲学、心理学、生物视觉和认知科学方面提出了许多非常激进的观点。勒哈最激进的观点可能要算人对世界的认识了,他认
  • 大都会 (消歧义)大都会可以指:影视、文学其它:
  • 续唐书《续唐书》,清朝人陈鳣撰,凡七十卷。陈鳣以后唐为唐朝皇统的延续,南唐为后唐的延续,并以两国为正统,五代十国其他国家均列入世家中。后清末广雅书局收入《光绪广雅丛书》中。