伯努利数是一系列有符号有理数,可以由指数的生成函数
|
(1)
|
这些数字出现在三角函数的级数展开中,并且是在以下方面极其重要数论和分析.
伯努利数实际上有两种定义。为了区分它们,现代用法中定义的伯努利数(美国国家标准协会和技术约定)而伯努利数在旧文献中遇到都是书面的(Gradshteyn和Ryzhik,2000年)。在每种情况下,伯努利数都是一种特殊情况的伯努利多项式 或具有和.
伯努利数和多项式不应与铃声号码和贝尔多项式,它们也是通常表示和,分别是。
表示由现代定义定义的伯努利数有时称为“even-index”伯努利数。这些是由沃尔夫拉姆语言功能伯努利B[n个].
伯努利数可以由轮廓积分
|
(2)
|
轮廓包围原点的位置,半径小于(避免在),并以逆时针方向(Arfken1985年,第413页)。
前几个伯努利数是
(组织环境信息系统A000367号和A002445号),具有
|
(16)
|
对于,2。。。。
分子中的位数对于, 4, ... 是1、1、1,1、3、1、4、5、6、6、9、7、11。。。(组织环境信息系统A068399号),而位数在相应的分母中是1、2、2、3、3、4、1、3、5、,3, ... (组织环境信息系统A092904号). 两者均在上面绘制。
的分母由提供
|
(17)
|
产品被质料取代的地方(例如,格雷厄姆的6.54等。1994年),结果是与von Staudt-Clausen定理.
分子中的位数对于, 1, ... 是1、1、83、1779、27691、376772、4767554、57675292、,676752609, 7767525702, ... (组织环境信息系统A103233号),而分母中相应的位数为1、2、5、9、13,16, 24, ... (组织环境信息系统A114471号). 的值分母对于,1, ... 是66,33330,342999030,2338224387510,9355235774427510。。。(组织环境信息系统A139822号).
1806年,但没有其他(Kellner,2005年)。
分母的运行最大值为1、6、30、42、66、2730、14322、1919190。。。(组织环境信息系统A100194号),发生于,4,6,8,12,14,32,38。。。(组织环境信息系统A100195号).
的分数带偶数分母为6的严格正数(Jensen 1915),结果类似其他分母(Erdős和Wagstaff 1980,Moreno和Wagsstaff 2005)。
有趣的是,伯努利分母等于6的比例高于任何其他值(Sunseri 1980),以及带有分母的偶数伯努利数的分数6接近1/6(Erdős和Wagstaff 1980)。S.Plouffe(公共通讯社,2月12日,2007)用分母6计算偶数伯努利数的分数发现它是0.1526。。。但仍在缓慢下降。
小于或等于1,10,, ... 分母6为0、1、10、87、834。。。(组织环境信息系统A114648号),接近十进制展开式属于.以上内容直方图显示分母的分数为索引指定分母.按频率顺序排列,前几个分母看起来是6、30、42、66、510。。。(组织环境信息系统A114649号).
唯一已知的伯努利数质数分子出现在、12、14、16、18、36和42(OEISA092132号),对应于5,,7,,43867,,和1520097643918070802691(OEISA092133号),没有其他素数(E.W.Weisstein,2007年2月27日)。Wagstaff维护了一页伯努利数分子的因式分解。
下表总结了第th伯努利数,包括给出分子中的位数。
| 中的数字分子 | 分母 | 日期 | 参考 |
| | 14977732474858443510 | | 费和普劳夫 |
| | 584711591137493802510 | 2002 | 普劳夫(2002) |
| | 936123257411127577818510 | 2002年12月16日 | 凯尔纳 |
| | 9601480183016524970884020224910 | 2月10日,2003 | 凯尔纳 |
| | 93612325741127577818510 | 2005年10月8日 | O.帕夫利克(pers.comm.) |
| | 9601480183016524970884020224910 | 2008年2月 | O.Pavlyk(2008) |
| | 394815332706046542049668428841497001870 | 2008年10月 | D.哈维(2008) |
这个分母属于(mod 1)由冯Staudt-Clausen定理,这也意味着分母属于是无平方的(哈迪和赖特,1979年)。另一个好奇者属性是小数部分属于有一个十进制展开划分的时段,而在此之前只有一个数字(Conway 1996)。特别是期间对于,4, ... 是1、1、6、1、2、6、一、16、18、2、22。。。(组织环境信息系统A112828号),和相应的值是2、4、1、8、5、2、14、1、1、10。。。(组织环境信息系统A112829号).
考虑生成函数
|
(18)
|
其一致收敛于以及所有(卡斯特拉诺斯,1988年)。求偏导数得到
这个微分方程的解可以用分离的变量作为
|
(22)
|
所以积分可以给出
但整合(24)明确给出
所以
|
(28)
|
解决然后重新插入(◇) 然后给出
|
(29)
|
(卡斯特拉诺斯,1988年)。设置并添加然后给双方
|
(30)
|
出租然后给出
|
(31)
|
对于.
伯努利数也可以根据
|
(32)
|
伯努利数是由双和给出的
|
(33)
|
哪里是一个二项式系数.他们也很满意总数
|
(34)
|
这可以解决给出一个重现关系用于计算。通过添加到的两侧(34),它可以写简单地说
|
(35)
|
其中记数法 是指将问题数量提高到适当的权力 和所有条款形式的 替换为相应的伯努利数.
以及有趣的总和
(莱默1935年,卡利茨1968年,什托夫卡2014年),以及尼斯和身份
|
(39)
|
(高斯珀)。
安渐近级数对于均匀的伯努利数字是
|
(40)
|
伯努利数出现在表达式中形式的 ,其中,2。。。。伯努利数也出现在级数展开中涉及的函数,,,,,,,、和.
存在的分析解决方案即使订单,
对于,2, ..., 哪里是黎曼-泽塔函数.又一次亲密接触与的连接黎曼-泽塔函数由身份提供
|
(43)
|
一个积分欧拉多项式由提供
|
(44)
|
哪里是一个欧拉多项式(J.Crepps,个人。comm.,2002年4月)。
伯努利首先在计算时使用伯努利数他使用了塑造形象数字三角形那个
|
(45)
|
以及的表单他通过归纳得出,计算出(博伊尔1968年,第85页)。对于,总和为
|
(46)
|
又在哪里记数法 是指将问题数量提高到适当的权力 和所有条款形式的 替换为相应的伯努利数.请注意,简单地写是很常见的(例如Carlitz 1965)了解到扩张后,被替换为.
用总和明确写成权力,
哪里
|
(50)
|
拿给出了伯努利的观察结果系数条款的总和为1,
|
(51)
|
Ramanujan给出了许多涉及伯努利数的奇异无穷和恒等式(Berndt 1994)。
Plouffe(pers.comm.,2004年6月21日)推测分数部分形式的正伯努利数满足任一条件或然而,有许多反例,前几次发生在(普劳夫也于2004年6月21日发现),6216210,8128890, 10360350, 13548150, ... (组织环境信息系统A155125型).有趣的是,所有这些数字都有大量因素素数分解,如下表所示。这些指标递增最小值为的数字由2072070、6216210、10360350、18648630给出,31081050, 35225190, 93243150, ... (组织环境信息系统A155126号),这似乎倾向于出现在原始列表中的位置,这些位置是2 (1, 2, 4, 8, 16, 18, 64, ...).
| 因子分解 | |
2072070 | | 0.6664435068 |
6216210 | | 0.6588649656 |
8128890 | | 0.6648723198 |
10360350 | | 0.6564013890 |
伯努利数的旧定义不再广泛使用,它定义了使用方程式
或
对于(Whittaker和Watson,1990年,第125页)。这个伯努利数可以从积分中计算出来
|
(56)
|
并从中进行分析
|
(57)
|
对于,2。。。,哪里是黎曼-泽塔函数.
伯努利数是古代的超集自从
|
(58)
|
前几个伯努利数是