文档介绍：黎曼ζ函数最小值马克斯再保险-15年 15 即时通讯-15年 15 黎曼ζ函数是非常重要的特殊函数出现的数学和物理的集成和与周围很深的结果密切相关素数定理。虽然许多这个函数的性质进行了调查, 仍有重要的基本猜想( 最明显黎曼假设), 还有待证实。黎曼ζ函数是为一个复杂的变量定义在复平面, 通常表示是哪一个( 而不是通常的) 考虑到所使用的符号黎曼在他 1859 年的论文, 创立了这个函数的研究(黎曼 1859) 。它的实现 Wolfram 语言作为ζ[s] 。上面的图显示了“山脊”为和。山脊的事实似乎减少单调并不是一个巧合, 因为它证明, 单调减少意味着黎曼假设(Zvengrowski 和 Saidak 2003;Borwein 贝利,2003 年,页 95 - 96) 。在实线与, 黎曼ζ函数可以定义的积分(1) 在哪里是γ函数。如果是一个整数, 那么我们的身份(2) (3) (4) 所以(5) 评估,让这和代入上述身份获得(6) (7) (8) 集成的最后表达(8 )给取消的因素并给出了最常见的黎曼ζ函数, (9) 这是有时被称为 p系列. 黎曼ζ函数也可以定义的多重积分通过(10) 作为一个梅林变换通过(11) 为, 在那里是小数部分(Balazard 和赛亚于 2000) 。它出现在单位平方积分(12) 有效期为(Guillera 和 Sondow 2005) 。为一个非负整数, 这个公式是由于 Hadjicostas(2002), 和特殊的情况和是由于 Beukers(1979) 。请注意,ζ函数有一个奇点中, 它可以减少发散调和级数. 黎曼ζ函数满足反射函数方程(13) ( 哈代 1999 年,p. 14; “将军” 1999,p . 160), 一个类似的形式由欧拉猜想( 欧拉、读取 1749 年,1768 年出版,Ayoub 1974;Havil 2003,p . 193) 。这种函数方程的对称形式给出(14) (1974 年 Ayoub), 证明了黎曼复杂( 黎曼 1859) 。如上所述,ζ函数与一个复数被定义为。然而, 有一个独特的解析延拓对整个复平面, 不包括, 对应于一个简单的极与复杂的残渣 1(“将军” 199 9 年,p. 1999) 。特别是, 作为, 遵循(15) 在哪里是 Euler-Mascheroni 常数( 惠塔克和沃森 1990,p . 271) 。执行解析延拓为,写(16) (17) (18) 所以重写的立即给(19) 因此, (20) 在这里, 右边就是求和狄利克雷η函数( 有时也称为交替ζ函数) 。而这个公式定义对于只正确的半平面方程(◇) 。一个全局收敛级数的黎曼ζ函数( 它提供了解析延拓的对整个复平面除了) 是由(21) (Havil 2003,p . 206) 是一个二项式系数推测的 Knopp 大约在 1930 年, 证明了哈斯(1930), 和重新发现 Sondow(1994) 。这个方程与重整化和随机变量(Biane et al. 2001), 可以通过派生而来欧拉系列转换与方程( 20 ). 哈斯(1930) 也证明了相关的全局收敛级数( 但更慢) (22) ,与( 21 ), 也可以扩展到黎曼ζ函数称为泛化赫维茨ζ函数. 这样定义(23) ( 如果奇异项的总和定义排除在外, 然后。) 扩大关于给了(24) 在哪里是所谓的斯蒂尔斯常数. 黎曼ζ函数也可以定义在复平面的围道积分(25) 对所有, 那里的轮廓如上图(Havil 2003,pp 。 193 年和 249 - 252 年)。 0的( 至少) 两个不同类型。所谓的“琐碎的零”发生在所有负面的偶数,, , ……, 在某些“重要的零”(26) 为在“关键地带" 。的黎曼假设断言的黎曼ζ函数零的都有实部, 一行称为“关键线路。现在已经知道,“这是真正的第一的根源。上面的图显示的实部和虚部( 即。、价值观的沿着关键线路), 多种多样,从0到 35( 德比郡 2004,p . 2004) 。黎曼ζ函数可以分成(27) 在哪里和是 Riemann-Siegel 功能. 黎曼ζ函数是相关的狄利克雷 lambda 函数和狄利克雷η函数通过(28) 和(29) (Spanier 和奥尔德姆 1987) 。这是相关的刘维尔函数通过(30) (1960 年雷曼 1960 年, 哈代和赖特) 。此外, (31) 在哪里的数量是不同的主要因素的( 哈代和赖特 1979,p . 254) 。为一个积极的偶数,, ..., (32) 给第一个只有(33) (34) (35) (36) (OEIS A117972 和 A117973 ) 。为, (37) 在哪里是 Gla