话题
搜索

伯努利数


伯努利数B_n(B_n)是一系列有符号有理数,可以由指数的生成函数

 x/(e^x-1)=sum_(n=0)^infty(B_nx^n)/(n!)。
(1)

这些数字出现在三角函数的级数展开中,并且是在以下方面极其重要数论分析.

伯努利数实际上有两种定义。为了区分它们,现代用法中定义的伯努利数(美国国家标准协会和技术约定)B_n(B_n)而伯努利数在旧文献中遇到都是书面的B_n(B_n)^*(Gradshteyn和Ryzhik,2000年)。在每种情况下,伯努利数都是一种特殊情况伯努利多项式 B_n(x)B_n^*(x)具有B_n=B_n(0)B_n^*=B_n^*(0).

伯努利数和多项式不应与铃声号码贝尔多项式,它们也是通常表示B_n(B_n)B_n(x),分别是。

表示由现代定义定义的伯努利数B_n(B_n)有时称为“even-index”伯努利数。这些是由沃尔夫拉姆语言功能伯努利B[n个].

伯努利数B_n(_n)可以由轮廓积分

 B_n=(n!)/(2pii)¼z/(e^z-1)(dz)/(z^(n+1)),
(2)

轮廓包围原点的位置,半径小于2π(避免在+/-2个像素),并以逆时针方向(Arfken1985年,第413页)。

前几个伯努利数B_n(B_n)

B_0(B_0)=1
(3)
B_1=-1/2
(4)
B_2号=第1页,共6页
(5)
B_4号机组=-1/(30)
(6)
B_6号机组=1/(42)
(7)
B_8号=-1/(30)
(8)
B_(10)=5/(66)
(9)
B_(12)=-(691)/(2730)
(10)
B_(14)=7/6
(11)
B_(16)=-(3617)/(510)
(12)
B(18)=(43867)/(798)
(13)
B_(20)=-(174611)/(330)
(14)
B_(22)=(854513)/(138)
(15)

(组织环境信息系统A000367号A002445号),具有

 B_(2n+1)=0
(16)

对于n=1,2。。。。

伯努利数字位数

分子中的位数B_n(B_n)对于n=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号). 两者均在上面绘制。

的分母B_(2n)由提供

 denom(B_(2n))=产品,
(17)

产品被质料取代的地方第页(例如,格雷厄姆的6.54等。1994年),结果是von Staudt-Clausen定理.

分子中的位数B_(10^n)对于n=0, 1, ... 是1、1、83、1779、27691、376772、4767554、57675292、,676752609, 7767525702, ... (组织环境信息系统A103233号),而分母中相应的位数为1、2、5、9、13,16, 24, ... (组织环境信息系统A114471号). 的值分母B_(10^n)对于n=0,1, ... 是66,33330,342999030,2338224387510,9355235774427510。。。(组织环境信息系统A139822号).

denom(B_n)=n1806年,但没有其他n个(Kellner,2005年)。

分母的运行最大值为1、6、30、42、66、2730、14322、1919190。。。(组织环境信息系统A100194号),发生于n=2,4,6,8,12,14,32,38。。。(组织环境信息系统A100195号).

的分数B_n(B_n)带偶数n个分母为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计算偶数伯努利数的分数B_(5285000)发现它是0.1526。。。但仍在缓慢下降。

伯努利分母直方图

小于或等于1,10,10^2, ... 分母6为0、1、10、87、834。。。(组织环境信息系统A114648号),接近十进制展开式属于1/12=0.08333....以上内容直方图显示分母的分数为索引指定分母10^4.按频率顺序排列,前几个分母看起来是6、30、42、66、510。。。(组织环境信息系统A114649号).

唯一已知的伯努利数B_n(_n)质数分子出现在n=10、12、14、16、18、36和42(OEISA092132号),对应于5,-691,7,-3617,43867,-26315271553053477373,和1520097643918070802691(OEISA092133号),没有其他素数n≤101000(E.W.Weisstein,2007年2月27日)。Wagstaff维护了一页伯努利数分子的因式分解。

下表总结了n个第th伯努利数B_n(B_n),包括给出分子中的位数。

n个中的数字分子分母日期参考
20000081373414977732474858443510费和普劳夫
50000022332735847115911374938025102002普劳夫(2002)
1×10^647675549361232574111275778185102002年12月16日凯尔纳
2×10^61013714796014801830165249708840202249102月10日,2003凯尔纳
5×10^627332507936123257411275778185102005年10月8日O.帕夫利克(pers.comm.)
1×10^75767529296014801830165249708840202249102008年2月O.Pavlyk(2008)
1×10^86767526093948153327060465420496684288414970018702008年10月D.哈维(2008)

这个分母属于B_(2公里)(mod 1)由Staudt-Clausen定理,这也意味着分母属于B_(2公里)无平方的(哈迪和赖特,1979年)。另一个好奇者属性是小数部分属于B_n(B_n)有一个十进制展开划分的时段n个,而在此之前只有一个数字(Conway 1996)。特别是期间压裂(B_n)对于n=2,4, ... 是1、1、6、1、2、6、一、16、18、2、22。。。(组织环境信息系统A112828号),和相应的值n/压裂(B_n)是2、4、1、8、5、2、14、1、1、10。。。(组织环境信息系统A112829号).

考虑生成函数

 F(x,t)=sum_(n=0)^infty(B_n(x)t^n)/(n!),
(18)

其一致收敛于|t|<2pi以及所有x个(卡斯特拉诺斯,1988年)。求偏导数得到

(部分F(x,t))/(部分x)=sum_(n=0)^(infty)(B_(n-1)(x)t^n)/(n-1!)
(19)
=tsum_(n=0)^(infty)(B_n(x)t^n)/(n!)
(20)
=tF(x,t)。
(21)

这个微分方程的解可以用分离的变量作为

 F(x,t)=t(t)e^(xt),
(22)

所以积分可以给出

整数_0^1F(x,t)dx=T(T)int_0^1e^(xt)dx
(23)
=T(T)(e^T-1)/T。
(24)

但整合(24)明确给出

整数_0^1F(x,t)dx=sum_(n=0)^(infty)(t^n)/(n!)int_0^1B_n(x)dx
(25)
=1+sum_(n=1)^(infty)(t^n)/(n!)int_0^1B_n(x)dx
(26)
=1,
(27)

所以

 T(T)(e^T-1)/T=1。
(28)

解决T(吨)然后重新插入(◇) 然后给出

 (te^(xt))/(e^t-1)=sum_(n=0)^infty(B_n(x)t^n)/(n!)
(29)

(卡斯特拉诺斯,1988年)。设置x=0并添加吨/2然后给双方

 1/2tcoth(1/2t)=sum_(n=0)^infty(B_(2n)t^(2n。
(30)

出租t=2ix然后给出

 xcotx=sum_(n=0)^infty(-1)^nB_(2n)((2x)^(2n))/(2n!)
(31)

对于x in[-pi,pi].

伯努利数也可以根据

 B_n=lim_(x->0)(d^n)/(dx^n)x/(e^x-1)。
(32)

伯努利数是由双和给出的

 B_n=总和_(k=0)^n1/(k+1)总和_(r=0.)^k(-1)^r(k;r)r^n,
(33)

哪里(n;k)是一个二项式系数.他们也很满意总数

 总和_(k=0)^(n-1)(n;k)B_k=0,
(34)

这可以解决B_(n-1)给出一个重现关系用于计算B_n(B_n)。通过添加B_n(_n)到的两侧(34),它可以写简单地说

 (B+1)^([n])=B^([n]),
(35)

其中记数法 B^([k])是指将问题数量提高到适当的权力 k和所有条款形式的 亿替换为相应的伯努利数mm(_m).

以及有趣的总和

总和_(k=0)^(n)(6n+3;6k)B_(6k)=2n+1
(36)
总和_(k=0)^(n)(6n+5;6k+2)B_(6k+2)=1/3(6n+5)
(37)
求和_(k=1)^(n)(6n+1;6k-2)B_(6k-2)=-1/6(6n+1)
(38)

(莱默1935年,卡利茨1968年,什托夫卡2014年),以及尼斯和身份

 求和(i=0)^n((1-2^(1-i))!i!)=(1-n)B_n)/(n!)
(39)

(高斯珀)。

渐近级数对于均匀的伯努利数字是

 B_(2n)~(-1)^(n-1)4sqrt(pin)(n/(pie))^。
(40)

伯努利数出现在表达式中形式的 sum_(k=1)^(n)k^p,其中p=1,2。。。。伯努利数也出现在级数展开中涉及的函数黑褐色,胶辊,cscx公司,ln|sinx公司|,ln|cosx公司|,黑褐色|,棕褐色,科思(cothx)、和cschx公司.

存在的分析解决方案即使订单,

B_(2n)=((-1)^(n-1)2(2n)!)/(2pi)^(2n))sum_(p=1)^(infty)p^(-2n)
(41)
=((-1)^(n-1)2(2n)!)/(2pi)^(2n))zeta(2n
(42)

对于n=1,2, ..., 哪里泽塔(2n)黎曼-泽塔函数.又一次亲密接触与的连接黎曼-泽塔函数由身份提供

 B_n=(-1)^(n+1)nzeta(1-n)。
(43)

一个积分欧拉多项式由提供

 B_n=(n(n-1))/(4(2^n-1),
(44)

哪里E_n(x)是一个欧拉多项式(J.Crepps,个人。comm.,2002年4月)。

伯努利首先在计算时使用伯努利数sum_(k=1)^(n)k^p他使用了塑造形象数字三角形那个

 总和(i=0)^na(ij)=((n+1)a(nj))/(j+1),
(45)

以及的表单a(nj)他通过归纳得出,计算出n=10(博伊尔1968年,第85页)。对于Z中的p>0,总和为

 sum_(k=1)^nk^p=((B+n+1)^([p+1])-B^([p+1]))/(p+1),
(46)

又在哪里记数法 B^([k])是指将问题数量提高到适当的权力 k和所有条款形式的 B^米替换为相应的伯努利数mm(_m).请注意,简单地写是很常见的(例如Carlitz 1965)(B+a)^n了解到扩张后,B^k公司被替换为_k(_k).

用总和明确写成权力,

sum_(k=1)^(n)k^p=n^p+1/(p+1)和_(k=0)^(p)(p+1;k)B_kn^(p-k+1)
(47)
=1/(p+1)和_(k=1)^(p+1)(p+1;k)(-1)^
(48)
=sum_(k=1)^(p+1)b_(pk)n^k,
(49)

哪里

 b(pk)=((-1)^(p-k+1)b_(p-k/1))/(p+1)(p+1;k)。
(50)

n=1给出了伯努利的观察结果系数条款的b(pk)总和为1,

 总和(k=1)^(p+1)b_(pk)=1。
(51)

Ramanujan给出了许多涉及伯努利数的奇异无穷和恒等式(Berndt 1994)。

伯努利数普劳菲不等式

Plouffe(pers.comm.,2004年6月21日)推测分数部分形式的正伯努利数B_(4n+2)满足任一条件压裂(B_(4n+2))<1/6压裂(B_(4n+2))>2/3然而,有许多反例,前几次发生在n=2072070(普劳夫也于2004年6月21日发现),6216210,8128890, 10360350, 13548150, ... (组织环境信息系统A155125型).有趣的是,所有这些数字都有大量因素素数分解,如下表所示。这些指标递增最小值为的数字压裂(B_n)由2072070、6216210、10360350、18648630给出,31081050, 35225190, 93243150, ... (组织环境信息系统A155126号),这似乎倾向于出现在原始列表中的位置,这些位置是2 (1, 2, 4, 8, 16, 18, 64, ...).

n个因子分解n个压裂(B_n)
20720702·3^2·5·7·11·13·230.6664435068
62162102^1·3^3·5^1·7^1·11^1·13^1·23^10.6588649656
81288902^1·3^3·5^1·7^1·11^1·17^1·23^10.6648723198
103603502^1·3^2·5^2·7^1·11^1·13^1·23^10.6564013890

伯努利数的旧定义不再广泛使用,它定义了B_n(B_n)^*使用方程式

x/(e^x-1)+x/2-1=sum_(n=1)^(infty)((-1)^(n-1)B_n^*x^(2n))/(2n!)
(52)
=(B_1^**x^2)/(2!)-(B_2^*x^4)/(4!)+(B_3^*x^6)/(6!)+。。。
(53)

1-x/2杯(x/2)=sum_(n=1)^(infty)(B_n^*x^(2n))/(2n!)
(54)
=(B_1^*x^2)/(2!)+(B_2^*x^4)/(4!)+。。。
(55)

对于|x |小于2π(Whittaker和Watson,1990年,第125页)。这个B_n(B_n)^*伯努利数可以从积分中计算出来

 B_n^*=4nint_0^infty(t^(2n-1)dt)/(e^(2坑)-1),
(56)

并从中进行分析

 B_n^*=(2(2n)!)/(2pi)^(2n))sum_(p=1)^inftyp^(-2n)=(2(2n!)/(2pi)^(2n))zeta(2n
(57)

对于n=1,2。。。,哪里ζ(z)黎曼-泽塔函数.

伯努利数B_n(B_n)是古代的超集B_n(B_n)^*自从

 B_n={1表示n=0;-1/2表示n=1;(-1)^((n/2)-1)B_(n/2”^*表示n偶数;0表示n奇数。
(58)

前几个伯努利数B_n(B_n)^*

B_1^*=第1页,共6页
(59)
B_2号^*=1/(30)
(60)
B_3号^*=1/(42)
(61)
B_4号机组^*=1/(30)
(62)
B_5号机组^*=5/(66)
(63)
B_6号机组^*=(691)/(2730)
(64)
B_7^*=7/6
(65)
B_8号^*=(3617)/(510)
(66)
B_9号^*=(43867)/(798)
(67)
B_(10)^*=(174611)/(330)
(68)
B_(11)^*=(854513)/(138).
(69)

另请参见

阿戈猜想,第二类伯努利数,伯努利多项式,德拜函数,欧拉-马克拉林积分公式,欧拉数,Figurate公司数字三角形,Genocchi编号,整数序列素数,不规则素数,被改进的伯努利数,黎曼-泽塔函数,von Staudt-Clausen定理 在数学世界课堂上探索这个主题

相关Wolfram站点

http://functions.wolfram.com/IntegerFunctions/BernoulliB/

与Wolfram一起探索| Alpha

工具书类

M.Abramowitz和I.A.Stegun。(编辑)。“伯努利多项式和欧拉多项式以及欧拉-马克拉林公式”手册《数学函数与公式、图形和数学表》,第9次印刷。纽约:多佛,第804-8061972页。Arfken,G.“伯努利数,欧拉-马克拉林公式。“§5.9数学物理学家方法,第三版。佛罗里达州奥兰多:学术出版社,第327-338页,1985球,W.W。R。和H.S.科克塞特。M。数学娱乐与论文,第13版。纽约:多佛,第71页,1987年。伯恩特,公元前。拉马努扬的笔记本,第四部分。纽约:Springer-Verlag,第81-85页,1994年。博伊尔,C.B.公司。“帕斯卡的整数幂和公式。”脚本数学。 9, 237-244, 1943.博伊尔,C.B。A类数学史。纽约:威利出版社,1968年。Carlitz,L.“伯努利数字。"纤维。夸脱。 6, 71-85, 1968.卡斯特拉诺斯,D.“无处不在的Pi.第一部分”数学。美格。 61, 67-98, 1988.康威,J.H。和盖伊·R·K。这个《数字书》。纽约:Springer-Verlag,第107-110页,1996年。迪尔彻,K.和Slavutskii,I.Sh。“伯努利数书目。”网址:http://www.mathstat.dal.ca/~dilcher/bernoulli.html.埃尔德,P.和Wagstaff,S.S。“伯努利数的分数部分。”伊利诺伊州J.数学。 24, 104-112, 1980.I.S.格雷斯泰恩。和I.M.Ryzhik。桌子积分、级数和乘积,第6版。加州圣地亚哥:学术出版社,2000格雷厄姆·R·L。;Knuth,D.E。;和O.Patashnik“伯努利数字。“§6.5英寸混凝土数学:计算机科学基础,第二版。马萨诸塞州雷丁:Addison-Wesley,第283-290页,1994年。G.H.哈代。和W.M.Wright。数字理论导论,第5版。英国牛津:牛津大学出版社,第91-93页,1979年。Harvey,D.“一种多模算法用于计算伯努利数。“预印本。2008年10月13日。http://cims.nyu.edu/~harvey/bernmm/bernmm.pdf.哈维,D.“计算伯努利数的多模算法。”http://cims.nyu.edu/~哈维/伯恩姆/.豪斯,米。Verallgemeinerte公司斯特林、伯努利和尤勒·扎伦、德伦·安文登根和施奈尔·康弗根特·莱亨福尔泽塔·芬克蒂翁。德国亚琛:Verlag Shaker,1995年。哈维尔,J.《伯努利数》§10.1伽马射线:探索欧拉常数。新泽西州普林斯顿:普林斯顿大学出版社,第81-84页,2003爱尔兰,K.和Rosen,M.“伯努利数字”,第15章在里面A类现代数论经典导论,第二版。纽约:Springer-Verlag,第228-248页,1990年。Jensen,K.L。“Om talteoretiske Egenskaber韦德·德·伯努利斯克·塔尔。"Nyt Tidskriffür数学。Afdeling B公司 28,73-83, 1915.Kellner,B.C。“伯努利数字页。”http://www.bernoulli.org/.凯尔纳,公元前。“方程式denom(B_n)=n只有一个解决方案。“2005年4月2日。网址:http://www.bernoulli.org/~bk/denombneqn.pdf.克努特,D.E.博士。和Buckholtz,T.J。“切线、Euler和Bernoulli的计算数字。"数学。计算。 21, 663-688, 1967.莱默,D.H.博士。“伯努利数的缺项递归。”安。数学。 36,637-649, 1935.C.J.莫雷诺。和Wagstaff,S.S。§3.9在里面总和整数平方的。查普曼和霍尔/CRC,2005年。尼尔森,N。特点贝努利提名书。巴黎:Gauthier-Villars,1923Oakes,M.“关于:质数Bernoulli分子”素数组。2004年2月11日。http://groups.yahoo.com/group/primenumbers/message/14550.帕夫利克,O.“今天我们打破了伯努利记录:从分析引擎到数学软件."Wolfram博客,2008年4月29日。http://blog.wolfram.com/2008/04/29/today-we-broke-the-bernoulli-record-from-the-analytical-engine-to-mathematica网站/.普劳夫,S.“常数计算的当前记录表。”http://pi.lacim.uqam.ca/eng/records_en.html.普劳夫,S.“500000第个伯努利数。“2002年5月21日。网址:http://www.lacim.uqam.ca/~plouffe/ber500000.txt.拉马努扬,S.“伯努利数的一些性质。”印度数学杂志。Soc公司。 ,219-234, 1911.罗曼,S。这个脑微积分。纽约:学术出版社,第31页,1984年。斯隆,新泽西州。答:。序列A000367号/M4039,A002445号/M4189,A068399号,A092132号,A092132号,A092904号,A100194号,A100195号,A103233号,A112828号,A112829号,A114471号 A114648号,A114649号,A155125型,A155126号在线百科全书整数序列的。"Spanier,J.和Oldham,K.B。伯努利数,B_n(B_n)."第4章功能地图集。华盛顿特区:《半球》,第35-38页,1987年。斯坦因,W.《计算伯努利数》,2005年2月16日。http://modular.ucsd.edu/talks/bernoulli/current.pdf.Štofka,M.问题11791。阿默尔。数学。每月 121, 648, 2014.桑塞里,无线电频率。a的零第页-阿迪奇L(左)-与伯努利数有关的函数和密度。博士论文。伊利诺伊州乌尔班纳:伊利诺伊大学乌尔班纳·香槟分校,1980年。坦纳,J·W·。和Wagstaff,S.S。Jr.(小)。“伯努利的新一致性数字。"数学。计算。 48, 341-350, 1987.瓦格斯塔夫,S.S.公司。Jr.(小)。“拉马努扬关于伯努利数的论文。”J.印第安人数学。Soc公司。 45, 49-65, 1981.瓦格斯塔夫,S.S。Jr.(小)。“bnum.”【伯努利分子绝对值的因子】8月17日,2011http://home.cerias.purdue.edu/~ssw/bernoulli/bnum.惠塔克,E.T.公司。和G.N.Watson。A类现代分析课程,第四版。英国剑桥:剑桥大学出版社,1990年。南卡罗来纳州Woon。“之间关系的概括黎曼-泽塔函数和伯努利数。“1998年12月24日。http://arxiv.org/abs/math.NT/9812143.年轻,体育。“伯努利数、欧拉数和斯特林数的同余。”J。编号Th。 78, 204-227, 1999.

参考Wolfram | Alpha

伯努利数

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“伯努利数。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/伯努利数字.html

主题分类