搜索: a002895-编号:a002895
|
|
|
|
1, 4, 22, 152, 1241, 11444, 115390, 1243672, 14104480, 166460800, 2028202288, 25363355200, 324098616925, 4217387014948, 55737166570870, 746544123583928, 10116388473816503, 138496854665195996, 1913322982776458234, 26646647187379206440, 373800949052597088329
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
链接
|
|
|
配方奶粉
|
O.g.f.A(x)=exp(和{n>=1}A002895号(n) *x^n/n)=1+4*x+22*x^2+152*x^3+1241*x^4+。。。。
o.g.f.A(x)满足1+x*d/dx(log(A(x))=Sum_{n>=0}A002895号(n) *x ^n个。
A(x)^(1/4)=1+x+4*x*2+25*x^3+199*x^4+1837*x^5+。。。似乎具有整数系数。
|
|
MAPLE公司
|
#定义Domb编号
|
|
数学
|
m=21;
domb[n_]:=和[二项式[n,k]^2二项式[2n-2k,n-k]二项式[2],{k,0,n}];
|
|
黄体脂酮素
|
b(n)={和(k=0,n,二项式(n,k)^2*二项式
seq(n)={Vec(exp(sum(k=1,n,b(k)*x^k/k,O(x*x^n)))}\\安德鲁·霍罗伊德2019年12月23日
|
|
交叉参考
|
|
|
关键词
|
非n,容易的
|
|
作者
|
|
|
扩展
|
|
|
状态
|
经核准的
|
|
|
|
|
A228289号
|
| 对于所有i,j=0,…,(i,j)-项等于D(i+j)的p_n X p_n矩阵的行列式,。。。,p_n-1,其中D(k)=A002895号(k) 是第k个Domb数,p_n是第n个素数。 |
|
+20 2
|
|
|
12、2448、428587718400、4994319435309277891448832、1919015117522400550240059795496228563135555815860685782830277431424、63721322271675377758429677219909335140503764595701930312765250413280716374852064945052319744
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
1,1
|
|
评论
|
猜想:如果p_n==1(mod 3)和p_n=x^2+3*y^2具有x和y整数,那么我们有a(n)==(-1)^{(p_n-1)/2}*(4*x^2-2*p_n)(mod p_n^2)。在p_n==2(mod 3)的情况下,我们有一个(n)==0(mod p_n^2)。
孙志伟也做出了如下类似的推测:
如果p是奇素数,b(p)是p X p行列式,(i,j)-项等于A053175号(i+j)对于所有i,j=0,。。。,p-1,那么我们有同余b(p)==(-1)^{(p-1)/2}(modp^2)。
|
|
参考文献
|
孙志伟,《关于x^2模p^2与4*p=x^2+d*y^2的猜想和结果》,载《数论及相关领域》,高等教育出版社和国际出版社,北京和波士顿,2013年,第147-195页。
|
|
链接
|
|
|
数学
|
d[n_]:=和[二项式[n,k]^2*二项式[2k,k]二项式[2](n-k),n-k],{k,0,n}]
a[n_]:=Det[表[d[i+j],{i,0,素数[n]-1},{j,0,素[n]-1-}]]
表[a[n],{n,1,8}]
|
|
交叉参考
|
|
|
关键词
|
非n
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
|
|
3, 5, 13, 17, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 83, 89, 101, 103, 107, 109, 127, 131, 137, 163, 167, 173, 181, 191, 193, 199, 229, 233, 239, 241, 251, 257, 269, 307, 311, 317, 337, 347, 349, 359, 367, 373, 409, 419, 421, 449, 457
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
1,1
|
|
链接
|
|
|
交叉参考
|
对于不划分序列项的素数A000172号,A005258号,A002893号,A081085号,A006077号,A093388号,A125143号,A229111号,A002895号,A290575型,A290576型,A005259看见A260793型,A291275型-A291284号和A133370型分别是。
|
|
关键词
|
非n
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
A000984号
|
| 中心二项式系数:二项式(2*n,n)=(2*n)/(n!)^2。 (原名M1645 N0643)
|
|
+10 1029
|
|
|
1, 2, 6, 20, 70, 252, 924, 3432, 12870, 48620, 184756, 705432, 2704156, 10400600, 40116600, 155117520, 601080390, 2333606220, 9075135300, 35345263800, 137846528820, 538257874440, 2104098963720, 8233430727600, 32247603683100, 126410606437752, 495918532948104, 1946939425648112
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
评论
|
等于二项式系数和和{k=0..n}二项式(n,k)^2。
当由两个进程执行时,一个程序与n个原子指令的可能交错次数Manuel Carro(麦卡罗(AT)fi.upm.es),2001年9月22日
还有具有半周长n+2的有向凸多面体的数目。
此外,求和{k=0..n}二项式(n+k-1,k)-弗拉德塔·乔沃维奇2002年8月28日
该序列的第二个二项式逆变换是具有插值零点的序列。其g.f.为(1-4*x^2)^(-1/2),第n项为C(n,n/2)(1+(-1)^n)/2-保罗·巴里2003年7月1日
2n位二进制数的可能值的数量,其中一半位为开,一半位为关。-加文·斯科特(Gavin(AT)allegro.com),2003年8月9日
n的零到n+1的有序分区,例如,对于n=4,我们考虑了11110(5)、11200(30)、13000(20)、40000(5)和22000(10)的有序分区、总计70和a(4)=70。请参见A001700号(特别是Mambetov Bektur的评论)-乔恩·佩里2003年8月10日
从0到n的n个整数的非递减序列数:a(n)=和{i_1=0..n}和{i_2=i_1..n}。。。求和{i_n=i{n-1}。。n} (1).-J.N.Bearden(jnb(AT)eller.arizona.edu),2003年9月16日
在半长度n+1的所有Dyck路径中处于奇数电平的峰值的数目。例如:a(2)=6,因为我们有U*DU*DU*D,U*DUUDD,UUDDU*D、UUDUDD、UUU*DDD,其中U=(1,1),D=(1,-1)和*表示奇数水平的峰值。半长n+1的所有Dyck路径中长度为1的上升次数(Dyck道路中的上升是最大的上升步长串)。例如:a(2)=6,因为我们有uDuDuD、uDUUDD、UUDDuD、UUDuDD、UUUDDD,其中长度1的上升由小写字母表示-Emeric Deutsch公司2003年12月5日
a(n-1)=一次取n个包含给定元素的2n-1个不同元素的子集的数目。例如,n=4->a(3)=20,如果我们考虑一次取7的子集4和1,我们得到(1234、1235、1236、1237、1245、1246、1247、1256、1257、1267、1345、1346、1347、1356、1357、1367、1456、1457、1467、1567),其中有20个-乔恩·佩里2004年1月20日
酉双极空间DSU(2n,q^2)的特定(必然存在)绝对通用嵌入的维数,其中q>2J.Taylor(jt_cpp(AT)yahoo.com),2004年4月2日。
Erdős,Graham等人推测,对于足够大的n,a(n)从来都不是平方自由的(参见Graham,Knuth,Patashnik,混凝土数学,第二版,练习112)。Sárközy证明,如果S(n)是a(n)的平方部分,那么S(n)是渐近的(sqrt(2)-2)*(sqert(n))*(Riemann-Zeta函数(1/2))。Granville和Ramare证明了只有a(1)=2,a(2)=6和a(4)=70的方折射率值-乔纳森·沃斯邮报,2004年12月4日[有关此推测的更多信息,请参阅A261009型. -N.J.A.斯隆2015年10月25日]
MathOverflow链接包含以下评论(略加编辑):1980年,sárközy,a.(关于二项式系数的除数,I.J.Number Theory 20(1985),no.1,70-80.)证明了Erdős square-free猜想(a(n)对于n>4永远不会是squarefree的),他表明该猜想适用于所有足够大的n值,以及A.Granville和O.Ramaré(指数和的显式界和无平方二项系数的稀缺性。Mathematika 43(1996),第1期,73-107),他们证明了它适用于所有n>4Fedor Petrov,2010年11月13日。[来自N.J.A.斯隆2015年10月29日]
奶奶住在网格城我家以南n个街区和以东n个街区时,从我家到奶奶家的直达路线数。要获得直接路线,请从2n个街区中选择n个街区,然后向南行驶。例如,a(2)=6,因为有6条直接路线:SSEE、SESE、SEES、EESS、ESES和ESSE-丹尼斯·沃尔什2006年10月27日
反向:q=-log(log(16)/(pi a(n)^2)),上限((q+log(q))/log(16
具有费雷尔图的分区数量,适合n X n框(包括0的空分区)。例如:a(2)=6,因为我们有:empty、1、2、11、21和22-Emeric Deutsch公司2007年10月2日
从原点开始到终点的无限线性晶格上长度为2n的游动次数Stefan Hollos(Stefan(AT)exstrom.com),2007年12月10日
使用步骤(1,0)和(0,1)从(0,0)到(n,n)的晶格路径数-乔格·阿恩特2011年7月1日
积分表示法:C(2n,n)=1/Pi积分[(2x)^(2n)/sqrt(1-x^2),{x,-1,1}],即C(2n,n)/4^n是区间(-1,1)上反正弦分布的2n阶矩-N-E.法西2008年1月2日
Straub、Amdeberhan和Moll:“……人们推测,只有有限多个指数n,因此C_n不能被3、5、7和11中的任何一个整除。”-乔纳森·沃斯邮报2008年11月14日
等于的INVERT变换A081696号: (1, 1, 3, 9, 29, 97, 333, ...). -加里·亚当森2009年5月15日
此外,在体育运动中,“2n-1系列最佳”的有序进展方式数量。例如,a(2)=6意味着“三选一”系列有六种有序的方式进行。如果我们写A表示“A队”获胜,写B表示“B队”获胜。如果我们从左到右按时间顺序列出所玩的游戏,那么这六种方式是AA、ABA、BAA、BB、BAB和ABB。(证明:为了生成a(n)有序的方式:写下所有a(n-李·纽伯格2009年6月2日
n X n个二进制数组的数目,其中行被视为二进制数,按非递减顺序排列,列被视为二元数,按不递增顺序排列-R.H.哈丁2009年6月27日
似乎a(n)也是n>=2时扭曲型BC_n突变类中的颤动数。
长度为2n的{a,b}上的单词数,因此单词的前缀中不包含比a更多的b-乔纳森·尼尔森2012年4月18日
从帕斯卡三角形中取第(n)行,其中的项按a1、a2、……的顺序排列,。。a(n)和行(n+1),带有术语b1、b2、,。。然后2*(a1*b1+a2*b2+…+a(n)*b(n))得到这个序列中的项-J.M.贝戈2012年10月7日。例如,使用第4行和第5行:2*(1*(1)+4*(5)+6*(10)+4*(10)+1*(5))=252,这是该序列中的第六项。
从Pascal的三角形行(n)中取b1,b2。。。,b(n+1)和行(n+2),带有c1、c2、…、。。。,c(n+3),求和b1*c2+b2*c3+…+b(n+1)*c(n+2)得到A000984号(n+1)。使用行(3)和行(5)的示例得出总和1*(5)+3*(10)+3*=A000984号(4) -J.M.贝戈2012年10月31日
a(n)==2modn^3当n是素数>3时。(见Mestrovic链接,第4页。)-加里·德特利夫斯2013年2月16日
猜想:对于任意正整数n,多项式和{k=0}^na(k)x^k在有理数域上是不可约的。一般来说,对于任何整数m>1和n>0,多项式f_{m,n}(x)=Sum_{k=0..n}(m*k)/(k!)^m*x^k在有理数域上是不可约的-孙志伟2013年3月23日
本评论概括了2012年10月31日的评论和序列原始评论的第二条。对于j=1到n,a(n)=和{k=0..j}C(j,k)*C(2n-j,n-k)=2*和{k=0..j-1}C-查理·马里恩2013年6月7日
商序列中连续项之间的差异构成了一个包含三角形数倒数的序列。换言之,a(n+1)/a(n)-a(n)/a(n-1)=2/(n*(n+1))-克里斯蒂安·舒尔茨2013年6月8日
使用n个字母A和n个字母B的长度为2n的不同字符串数-汉斯·哈弗曼2014年5月7日
a(n)*(2^n)^(j-2)等于S(n),其中S(n。例如,当n=5和j=4时,a(5)=252;252*(2^5)^(4-2) = 252*1024 = 258048. 产生16次幂的自卷积序列是{1,8,96,1280,17920,258048,…};即S(5)=258048。注意,当j<2时,卷积序列将由从1递减到0的数字组成(j=1除外,其中序列中的前两个数字为1,其他所有数字均递减)-鲍勃·塞尔科,2014年7月16日
具有n条边的有序树的数量,其中级别1的顶点可以是2种颜色。事实上,有序树的标准分解导致方程C=1+zC^2(C是加泰罗尼亚函数),此时得到G=1+2zCG,其中G=1/sqrt(1-4z)-Emeric Deutsch公司2015年6月17日
n个变量中最多n个度的单项式数-冉·潘,2015年9月26日
设V(n,r)表示半径为r的n维球体的体积,则V(n、2^n)/Pi=V(n-1、2^n)*a(n/2)表示所有偶数n-彼得·卢什尼2015年10月12日
a(n)是长度n的集合{i1,…,in}的数目,使得n>=i1>=i2>=…>=英寸>=0。例如,a(2)=6,因为只有6个这样的集合:(2,2)(2,1)(2,0)(1,1)(1,0)(0,0)-安东·扎哈罗夫2016年7月4日
通过对整个复平面的解析延拓,发散和存在正则值,例如:
Sum_{k>=0}a(k)/(-2)^k=1/sqrt(3)。
和{k>=0}a(k)/(-1)^k=1/sqrt(5)。
和{k>=0}a(k)/(-1/2)^k=1/3。
求和{k>=0}a(k)/(1/2)^k=-1/sqrt(7)i。
求和{k>=0}a(k)/(1)^k=-1/sqrt(3)i。
和{k>=0}a(k)/2^k=-i(结束)
序列数(e(1)。。。,e(n+1)),0<=e(i)<i,这样就没有e(i)>e(j)的三元组i<j<k。[马丁内兹和萨维奇,2.18]-埃里克·施密特2017年7月17日
序列的o.g.f.等于以下任意有理函数的对角线:1/(1-(x+y)),1/-彼得·巴拉2018年1月30日
让我们表示West的堆栈排序映射。a(n)是使s(pi)避免模式132、231和321的[n+1]的置换pi的数目。a(n)也是[n+1]的置换pi的数目,使得s(pi)避免了模式132、312和321。
a(n)是避免模式1342、3142、3412和3421的[n+1]的排列数。(结束)
对于n>0,所有长度为4n的二进制自对偶码必须包含至少一个(n)重量为2n的码字。更重要的是,总是会有至少一个,也许是唯一的,长度为4n的二进制自对偶码,它正好包含一个(n)码字,其汉明权重等于代码长度(2n)的一半。该代码可以通过将长度为2的唯一二进制自对偶代码(直到置换等价)直接相加到自身偶数次来构造。通过将两个长度为2n的单位矩阵相加,可以构造置换等价码-内森·罗素2018年11月25日
设[b/p]表示勒让德符号,1/b表示b mod p的逆。然后,对于m和n,其中n不可被p整除,
[(m+n)/p]==[n/p]*和{k=0..(p-1)/2}(-m/(4*n))^k*a(k)(mod p)。
评估m=-1和n=1的这个恒等式表明,对于所有奇素数p,Sum_{k=0..(p-1)/2}(1/4)^k*a(k)可以被p整除。(End)
(2n-1)维超立方体的子图的顶点数,由n-1或n个多1s的所有位串诱导。中间层猜想断言该图具有哈密尔顿循环-托尔斯滕·穆泽2019年2月11日
a(n)是距离原点2n长的行走次数,步数(1,1)和(1,-1)位于x轴上或上方。等价地,a(n)是距离原点2n长的行走次数,步长(1,0)和(0,1)停留在第一个八分位-亚历山大·伯斯坦2019年12月24日
长度n>0的排列数避免了长度4的部分有序模式(POP){3>1,1>2}。也就是说,没有长度为4的子序列的长度n排列的数量,其中第一个元素大于第二个元素,但小于第三个元素-谢尔盖·基塔耶夫2020年12月8日
还有2n+1与交替和1的整数合成数,其中序列(y_1,…,y_k)的交替和是sum_i(-1)^(i-1)y_i。例如,a(0)=1到a(2)=6的合成数是:
(1) (2,1) (3,2)
(1,1,1) (1,2,2)
(2,2,1)
(1,1,2,1)
(2,1,1,1)
(1,1,1,1,1)
以下与这些组合物相关:
等价地,a(n)计算2n+1位的二进制数,以及比0多一个1的二进制数。例如,a(2)=6个二进制数是:10011、10101、10110、11001、11010、11100。
(结束)
a(n)是在第一列和第二列之间具有单个水平壁的nx2 Young表的数量。如果两个单元格之间有一堵墙,条目可能会减少;参见[Banderier,Wallner 2021]。
a(2)=6的示例:
3 4 2 4 3 4 3|4 4|3 2|4
1|2, 1|3, 2|1, 1 2, 1 2, 1 3
a(n)也是nx2 Young tableaux的数量,第一列和第二列之间有n道“墙”。
a(2)=6的示例:
3|4 2|4 4|3 3|4 4|3 4|2
1|2、1|3、1|2,2|1、2|1,3|1(结束)
a(n)/4^n是一枚投掷2n次的公平硬币正面正好n次,反面正好n次的概率,或者一次步数为+-1的随机行走在2n步后返回起点的概率(不一定是第一次)。当n变大时,使用Stirling对n!的近似值,这个数字逐渐接近1/sqrt(n*Pi)!。
a(n)/(4^n*(2n-1))是步数为+-1的随机行走在2n步后首次返回起点的概率。第n项的绝对值A144704号是这个分数的分母。
考虑到所有可能的2n步随机游动,步长为+-1,a(n)/(2n-1)是2n步后第一次返回起点的游动次数。请参见的绝对值A002420型或A284016型对于这些数字。为了进行比较,如所述斯特凡·霍洛斯,2007年12月10日,a(n)是在2n步后返回起点的步行次数,但不一定是第一次。(结束)
另外,长度为n的两个单词的洗牌乘积的大小,使得两个单词之间的并集由2n个不同的元素组成-罗伯特·C·莱昂斯2023年3月15日
|
|
参考文献
|
M.Abramowitz和I.A.Stegun编辑,《数学函数手册》,国家标准局应用数学。1964年第55辑(以及各种重印本),第828页。
A.T.Benjamin和J.J.Quinn,《真正重要的证据:组合证明的艺术》,M.A.A.2003,同上,第160页。
Miklos Bona,编辑,《枚举组合数学手册》,CRC出版社,2015年,第575页,第3行,a=b=n。
E.Deutsch和L.Shapiro,《十七个加泰罗尼亚恒等式》,组合数学及其应用研究所公报,31,31-382001。
H.W.Gould,《组合恒等式》,摩根城,1972年,(3.66),第30页。
R.L.Graham、D.E.Knuth和O.Patashnik,《具体数学》。Addison-Wesley,Reading,MA,第二版,见练习112。
M.Griffiths,《帕斯卡三角的骨干》,英国数学信托基金会(2008年),第3-124页。
莱昂纳德·利普希茨(Leonard Lipshitz)和A.van der Poorten。《有理函数、对角线、自动机和算术》,《数论》,理查德·莫林主编,沃尔特·德格鲁伊特,柏林(1990):339-358。
J.C.P.Miller,编辑,《二项式系数表》。英国皇家学会数学表,第3卷,剑桥大学出版社,1954年。
N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
|
|
链接
|
M.Abramowitz和I.A.Stegun编辑。,数学函数手册,国家标准局,应用数学。系列55,第十次印刷,1972年[替代扫描副本]。
M.Aigner,通过选票编号枚举,离散数学。,308 (2008), 2544-2563.
A.Bernini、F.Disanto、R.Pinzani和S.Rinaldi,定义凸置换的置换,J.国际顺序。10 (2007) # 07.9.7.
乔纳森·博文(Jonathan M.Borwein)、德克·努延斯(Dirk Nuyens)、阿明·斯特劳布(Armin Straub)和詹姆斯·万(James Wan),随机游动积分, 2010.
Kevin Buchin、Man-Kwon Chiu、Stefan Felsner、Günter Rote和AndréSchulz,给定高度和宽度的凸多边形数,arXiv:1903.01095[math.CO],2019年。
G.-S.Cheon、H.Kim和L.W.Shapiro,有序树中的突变效应,arXiv预印本arXiv:1410.1249[math.CO],2014。
克里斯蒂娜·克罗纳(Kristina Crona)、罗梦明(Mengming Luo)和德文·格林(Devin Greene),微生物进化的不确定性定律《理论生物学杂志》(2020)第489卷,第110155条。
科林·德芬特,置换类的堆叠排序前象,arXiv:1809.03123[math.CO],2018年。
Dennis E.Davenport、Lara K.Pudwell、Louis W.Shapiro和Leon C.Woodson,有序树的边界《整数序列杂志》,第18卷(2015年),第15.5.8条。
Isaac DeJager、Madeleine Naquin和Frank Seidl,高阶有色Motzkin路2019年维拉姆。
Nachum Dershowitz,Touchard的醉汉《整数序列杂志》,第20卷(2017年),#17.1.5。
Emeric Deutsch公司,对称有向凸多边形的枚举,离散数学。,280 (2004), 225-231.
Satyan L.Devadoss,图关联面体的一种实现,离散数学。309(2009),第1期,271-276。
Phan Thuan Do、Thi Thu Huong Tran和Vincent Vajnovszki,避免(有色)规则模式集的排列的穷尽生成,arXiv:1809.00742[cs.DM],2018年。
P.Erdős、R.L.Graham、I.Z.Russa和E.G.Straus,关于C(2n,n)的素因子,数学。公司。29 (1975), 83-92.
Gennady Eremin,分解中间二项系数,arXiv:2003.01494[math.CO],2020年。
弗朗西斯科·菲特(Francesc Fité)、基兰·凯德拉亚(Kiran S.Kedlaya)、维克托·罗特(Victor Rotger)和安德鲁·萨瑟兰(Andrew V.Sutherland),属2中的Sato-Tate分布和Galois自同态模,arXiv:1110.6638[math.NT],2011年。
P.Flajolet和R.Sedgewick,分析组合数学, 2009; 见第77页。
乔尔·盖伊和文森特·皮劳,Weyl偏序集的弱序,arXiv:1804.06572[math.CO],2018年。
T.Halverson和M.Reeks,图代数的Gelfand模型,arXiv预印本arXiv:1302.6150[math.RT],2013。
Oktay Haracci(timetunnel3(AT)hotmail.com),规则多边形
W.Cary Huffman和Vera Pless,纠错码基础剑桥大学出版社,2003年,第7252-282338-393页。
Pakawut Jiradilok和Elchanan Mossel,网格上的高斯广播,arXiv:240.2.11990[cs.IT],2024。见第27页。
谢尔盖·基塔耶夫和杰弗里·雷梅尔,简单的标记网格图案,arXiv预印本arXiv:1201.1323[math.CO],2012。
T.Manneville和V.Pilaud,图形嵌套复合体的兼容性风扇,arXiv预印本arXiv:1501.07152[math.CO],2015。
W.Mlotkowski和K.A.Penson,具有二项式矩的概率分布,arXiv预印本arXiv:1309.0595[math.PR],2013。
T.莫茨金,超曲面交比,公牛。阿默尔。数学。《社会学杂志》,51(1945),976-984。
托尔斯滕·穆策,中间层猜想的证明,arXiv预印本arXiv:1404.4442[math.CO],2014。
Y.Puri和T.Ward,周期轨道的算法和增长,J.整数序列。,第4卷(2001年),第01.2.1号。
T.M.Richardson,倒数Pascal矩阵,arXiv预印本arXiv:1405.6315[math.CO],2014。
D.P.Roberts和A.Venkatesh,Hurwitz单值和全数字段, 2014. 另请参见arXiv:1401:73792014。
J.Ser,工厂会计1933年,巴黎,戈瑟·维拉斯[当地副本]。
L.W.Shapiro、S.Getu、Wen-Jin Woan和L.C.Woodson,Riordan集团,离散应用。数学。34 (1991) 229-239.
Michael Z.Spivey和Laura L.Steil,k二项式变换和Hankel变换《整数序列杂志》,第9卷(2006年),第06.1.1条。
Armin Straub、Tewodros Amdeberhan和Victor H.Moll,k-中心二项系数的p-adic估计,arXiv:0811.2028[math.NT],2008,第10-11页。
V.斯特雷尔,递归和勒让德变换《联合王国的洛塔林根》,B29b(1992),22页。
M.Wallner,格路组合《文凭》,德国维也纳理工大学数学与几何研究所,2013年。
|
|
配方奶粉
|
通用公式:A(x)=(1-4*x)^(-1/2)=1F0(1/2;;4x)。
递归D-有限:n*a(n)+2*(1-2*n)*a(n-1)=0。
a(n)=2^n/n!*产品{k=0..n-1}(2*k+1)。
在中使用斯特林公式A000142号很容易得到渐近表达式a(n)~4^n/sqrt(Pi*n)丹福(Dan.Fux(AT)OpenGaia.com或danfux(AT)OpenGaia.com),2001年4月7日
区间[0,4]上正函数n阶矩的积分表示:a(n)=Integral_{x=0..4}(x^n*((x*(4-x))^(-1/2))/Pi),n=0,1。。。这种表示是独特的-卡罗尔·彭森2001年9月17日
例如:exp(2*x)*I_0(2x),其中I_0是贝塞尔函数-迈克尔·索莫斯2002年9月8日
例如:I_0(2*x)=和a(n)*x^(2xn)/(2*n)!,其中,I_0是贝塞尔函数-迈克尔·索莫斯2002年9月9日
给定m=C(2*n,n),设f为反函数,使f(m)=n。让q表示-log(log(16)/(m^2*Pi)),我们得到f(m大卫·W·坎特雷尔(DWCantrell(AT)sigmaxi.net),2003年10月30日
a(n)=2*Sum_{k=0..(n-1)}a(k)*a(n-k+1)/(k+1)-菲利普·德尔汉姆2004年1月1日
a(n+1)=和{j=n.n*2+1}二项式(j,n)。例如,a(4)=C(7,3)+C(6,3)+C(5,3)+4(4,3)/C(3,3)=35+20+10+4+1=70-乔恩·佩里2004年1月20日
a(n)=(-1)^(n)*Sum_{j=0..(2*n)}(-1)*j*二项式(2*n,j)^2.-海伦娜·维里尔(Verrill(AT)math.lsu.edu),2004年7月12日
a(n)=和{k=0..n}二项式(2n+1,k)*sin((2n-2k+1)*Pi/2)-保罗·巴里2004年11月2日
a(n-1)=(1/2)*(-1)^n*和{0<=i,j<=n}(-1)*(i+j)*二项式(2n,i+j-Benoit Cloitre公司2005年6月18日
G.f.:1/(1-2x-2x^2/(1-2-x-x^2/-(1-2x x ^2/)(1-…(连分数));
G.f.:1/(1-2x/(1-x/(2-x/(1-……(连分数))。(结束)
a(n)=(-4)^n*平方(Pi)/(伽马((1/2-n))*伽马(1+n))-格里·马滕斯2011年5月3日
a(n)=M^n中的左上项,M=无限平方生产矩阵:
2, 2, 0, 0, 0, 0, ...
1, 1, 1, 0, 0, 0, ...
1, 1, 1, 1, 0, 0, ...
1, 1, 1, 1, 1, 0, ...
1, 1, 1, 1, 1, 1, ....
a(n)=超几何([-n,-n],[1],1)-彼得·卢什尼2011年11月1日
例如:超几何([1/2],[1],4*x)-沃尔夫迪特·朗2012年1月13日
通用系数:1+2*x/(U(0)-2*x),其中U(k)=2*(2*k+1)*x+(k+1)-2*(k+1;(连分数,欧拉第一类,1步)-谢尔盖·格拉德科夫斯基2012年6月28日
a(n)=和{k=0..n}二项式(n,k)^2*H(k)/(2*H-加里·德特利夫斯2013年3月19日
G.f.:Q(0)*(1-4*x),其中Q(k)=1+4*(2*k+1)*x/(1-1/(1+2*(k+1)/Q(k+1;(续分数)-谢尔盖·格拉德科夫斯基2013年5月11日
G.f.:G(0)/2,其中G(k)=1+1/(1-2*x*(2*k+1)/(2*xx(2*k+1)+(k+1)/G(k+1;(续分数)-谢尔盖·格拉德科夫斯基2013年5月24日
例如:E(0)/2,其中E(k)=1+1/(1-2*x/(2*x+(k+1)^2/(2*k+1)/E(k+1;(续分数)-谢尔盖·格拉德科夫斯基2013年6月1日
雅可比多项式的特殊值,Maple表示法:a(n)=4^n*JacobiP(n,0,-1/2-n,-1)-卡罗尔·彭森2013年7月27日
a(n)=2^(4*n)/((2*n+1)*Sum_{k=0..n}(-1)^k*C(2*n+1,n-k)/(2*k+1))-米尔恰·梅卡2013年11月12日
a(n)=C(2*n-1,n-1)*C(4*n^2,2)/(3*n*C(2*1,3)),n>0-加里·德特利夫斯2014年1月2日
对于Z中的所有n,0=a(n)*(16*a(n+1)-6*a-迈克尔·索莫斯2014年9月17日
通用公式:求和{n>=0}x^n/(1-x)^(2*n+1)*Sum_{k=0..n}C(n,k)^2*x^k-保罗·D·汉娜2014年11月8日
a(n)=4^n*超深层([-n,1/2],[1],1)-彼得·卢什尼2015年5月19日
a(n)=和{k=0..层(n/2)}C(n,k)*C(n-k,k)*2^(n-2*k)-罗伯特·费雷奥2015年8月29日
a(n)~4^n*(2-2/(8*n+2)^2+21/(8*n+2)^4-671/(8*n+2)^6+45081/(8*n+2)^8)/sqrt((4*n+1)*Pi)-彼得·卢什尼2015年10月14日
A(-x)=1/x*系列反转(x*(2*x+sqrt(1+4*x^2)))。与的o.g.f.B(x)进行比较A098616号,满足B(-x)=1/x*级数反转(x*(2*x+sqrt(1-4*x^2)))。另请参阅A214377号. -彼得·巴拉2015年10月19日
a(n)=GegenbauerC(n,-n,-1)-彼得·卢什尼2016年5月7日
a(n)=γ(1+2*n)/γ(1+n)^2-安德烈斯·西卡廷2016年5月30日
求和{n>=0}(-1)^n/a(n)=4*(5-平方(5)*log(phi))/25=0.62783642361439838442267…,其中phi是黄金比率-伊利亚·古特科夫斯基2016年7月4日
这个序列作为几个二项式和的闭合形式表达式出现:
a(n)=和{k=0..2*n}(-1)^(n+k)*二项式(2*n,k)*二项式(2xn+1,k)。
当n>=1时,a(n)=2*Sum_{k=0..2*n-1}(-1)^(n+k)*二项式(2*n-1,k)*二项式(2*n,k)。
当n>=1时,a(n)=2*Sum_{k=0..n-1}二项式(n-1,k)*binominal(n,k)。
a(n)=Sum_{k=0..2*n}(-1)^k*二项式(2*n,k)*二项法(x+k,n)*二项式(y+k,n)=Sum _{k=0..2*nneneneep(-1)。
对于m=3,4,5,。。。和{k=0..m*n}(-1)^k*二项式(m*n,k)*二项法(x+k,n)*二项式(y+k,n)和和{k=0..m*n{(-1。
a(n)=(-1)^n*Sum_{k=0..2*n}(-1)^k*二项式(2*n,k)*二项式(x+k,n)*任意x和y的二项式。
对于m=3,4,5,。。。求和{k=0..m*n}(-1)^k*二项式(m*n,k)*二项式(x+k,n)*二项式(y-k,n。
a(n)=和{k=0..2n}(-1)^k*二项式。(古尔德,第7卷,5.23)。
a(n)=和{k=0..n}(-1)^(n+k)*二项式(2*n,n+k。(结束)
N中q的和{k>=0}a(k)/(p/q)^k=sqrt(p/(p-4q)),Z中p的和/{-4q<(some p)<-2}。
...
和{k>=0}a(k)/(-4)^k=1/sqrt(2)。
求和{k>=0}a(k)/(17/4)^k=sqrt(17)。
和{k>=0}a(k)/(18/4)^k=3。
求和{k>=0}a(k)/5^k=sqrt(5)。
求和{k>=0}a(k)/6^k=sqrt(3)。
求和{k>=0}a(k)/8^k=sqrt(2)。
...
p>4q的和{k>=0}a(k)/(p/q)^k=sqrt(p/(p-4q))。(结束)
Boas-Buck递推:a(n)=(2/n)*Sum_{k=0..n-1}4^(n-k-1)*a(k),n>=1,a(0)=1。a(n)的证明=A046521号(n,0)。请参阅此处的评论-沃尔夫迪特·朗2017年8月10日
a(n)=n中n的和{k=0..n}(-1)^(n-k)*二项式(2*n+1,k)-雷内·阿达德2017年9月30日
{1/a(n)}的G.f:4*(sqrt(4-x)+sqrt。
例如,对于{1/a(n)}:1+exp(x/4)*sqrt(Pi*x)*erf(sqrt(x)/2)/2。
和{n>=0}(-1)^n/a(n)=4*(1/5-弧(1/2)/(5*sqrt(5)))。(结束)
a(n)=2^(2*n)*产品{k=1..2*n}k^((-1)^(k+1))=A056040型(2*n)。
a(n)=4^n*二项式(n-1/2,-1/2)=4*GegenbauerC(n,1/4,1)-格里·马滕斯2022年10月19日
发生在二项式和恒等式sum_{k=-n.n.n}(-1)^k*(n+x-k)*二项式(2*n,n+k)^2=(x+n)*a(n)和sum_{k=-n.n.n}(-1)^k*(n+x-k)^2*二项式(2*n,n+k)^3=x*(x+2*n)*a(n)(x任意)的右侧。与恒等式比较:和{k=-n..n}(-1)^k*二项式(2*n,n+k)^2=a(n)-彼得·巴拉2023年7月31日
4^n*a(n)=和{k=0..2*n}(-1)^k*a(k)*a(2*n-k)。
16^n=和{k=0..2*n}a(k)*a(2*n-k)。(结束)
|
|
例子
|
总尺寸:1+2*x+6*x^2+20*x^3+70*x^4+252*x^5+924*x^6+。。。
对于n=2,a(2)=4/(2!)^2=24/4=6,这是二项式展开式(a+b)^4=a^4+4a^3b+6a^2b^2+4ab^3+b^4的中间系数-迈克尔·波特2016年7月6日
|
|
MAPLE公司
|
带(combstruct);[seq(count([S,{S=Prod(Set(Z,card=i),Set(Z),card=1))},带标签],size=(2*i)),i=0..20)];
带(combstruct);[seq(count([S,{S=序列(Union(Arch,Arch))),Arch=Prod(Epsilon,Sequence(Arch),Z)},未标记],大小=i),i=0..25)];
with(combstruct):bin:={B=并集(Z,Prod(B,B))}:seq(count([B,bin,unlabeled],size=n)*n,n=1..25)#零入侵拉霍斯2007年12月5日
A000984列表:=proc(m)局部A,P,n;答:=[1,2];P:=[1];
对于从1到m-2的n,做P:=ListTools:-部分和([op(P),2*P[-1]]);
A:=[op(A),2*P[-1]]od;A端:A000984列表(28)#彼得·卢什尼2022年3月24日
|
|
数学
|
表[二项式[2n,n],{n,0,24}](*阿隆索·德尔·阿特2005年11月10日*)
系数列表[系列[1/Sqrt[1-4x],{x,0,25}],x](*哈维·P·戴尔2011年3月14日*)
|
|
黄体脂酮素
|
(岩浆)a:=func<n|二项式(2*n,n)>;[0..10]]中的[a(n):n;
(PARI)fv(n,p)=本人;而(n=p,s+=n);秒
a(n)=prodeuler(p=2,2*n,p^(fv(2*n、p)-2*fv(n,p))\\查尔斯·格里特豪斯四世2013年8月21日
(PARI)fv(n,p)=本人;而(n=p,s+=n);秒
a(n)=我的(s=1);对于素数(p=2,2*n,s*=p^(fv(2*n、p)-2*fv(n,p)));秒\\查尔斯·格里特豪斯四世2013年8月21日
(哈斯克尔)
a000984 n=a007318_低(2*n)!!n个--莱因哈德·祖姆凯勒2011年11月9日
(Python)
来自未来进口部
对于范围(10**3)内的n:
b=b*(4*n+2)//(n+1)
(GAP)列表([1..1000],n->二项式(2*n,n))#穆尼鲁·A·阿西鲁2018年1月30日
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
m=1..12的和{k=0..n}C(n,k)^m:A000079号,A000984号,A000172号,A005260号,A005261号,A069865号,A182421号,A182422号,A182446号,A182447号,A342294型,A342295型.
|
|
关键词
|
非n,容易的,核心,美好的,步行,压裂
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
A000172号
|
| Franel数a(n)=和{k=0..n}二项式(n,k)^3。 (原名M1971 N0781)
|
|
+10 134
|
|
|
1, 2, 10, 56, 346, 2252, 15184, 104960, 739162, 5280932, 38165260, 278415920, 2046924400, 15148345760, 112738423360, 843126957056, 6332299624282, 47737325577620, 361077477684436, 2739270870994736, 20836827035351596, 158883473753259752, 1214171997616258240
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
评论
|
Cusick给出了用floor(r+3)/2)项导出r阶Franel数(这是三阶Franel数列)的递归的一般方法。
这是Beauville描述的曲线上一个特殊点的泰勒展开-马蒂杰斯·科斯特2004年4月28日
V.Strehl的恒等式表明a(n)=Sum_{k=0..n}C(n,k)^2*二项式(2*k,n)。孙志伟推测,对于每一个n=2,3,。。。多项式fn(x)=Sum{k=0..n}二项式(n,k)^2*binominal(2*k,n)*x^(n-k)在有理数域上是不可约的-孙志伟2013年3月21日
猜想:当n是素数时,a(n)==2(mod n^3)-加里·德特利夫斯2013年3月22日
a(p)==2(mod p^3)对于任何素数p,因为p|C(p,k)对于所有k=1,。。。,第1页-孙志伟2013年8月14日
a(n)是3人博弈中完全混合纳什均衡的最大数量,每个人有n+1个纯期权-雷蒙达斯·维杜纳斯2014年1月22日
这是一个Apéry-like序列-见交叉引用-雨果·普福尔特纳2017年8月6日
以瑞士数学家Jéróme Franel(1859-1939)命名-阿米拉姆·埃尔达尔2021年6月15日
似乎a(n)等于(1+x+y-z)^n*(1+x-y+z)^n(1-x+y+z。A036917号. -彼得·巴拉2021年9月20日
|
|
参考文献
|
Matthijs Coster,《超过6个家族的van krommen》【关于6个家族曲线】,硕士论文(未出版),1983年8月26日。
Jéróme Franel,《关于Laisant的问题》,数学中介,1894年第1卷,第45-47页
H.W.Gould,《组合恒等式》,摩根城,1972年,(X.14),第56页。
Murray Klamkin主编,《应用数学问题:SIAM评论选集》,SIAM,1990年;见第148-149页。
约翰·里尔丹,《组合分析导论》,威利出版社,1958年,第193页。
N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
|
|
链接
|
Boris Adamczewski、Jason P.Bell和Eric Delaygue,G函数与同余的代数独立性“,arXiv预印本arXiv:1603.04187[math.NT],2016。
P.Barrucand,组合恒等式,问题75-4SIAM Rev.,第17卷(1975年),第168页。解决方案作者:D.R.Breach、D.McCarthy、D.Monk和P.E.O'Neil,SIAM Rev.,第18卷(1976年),第303页。
P.Barrucand,问题75-4,组合恒等式SIAM Rev.,17(1975),168。[问题陈述的注释扫描副本]
T.W.Cusick,二项式系数幂和的递推《组合理论》,A辑,第52卷,第1期(1989年),第77-83页。
托米斯拉夫·多什利奇和达科·维尔扬,一些组合序列的对数行为,离散数学。,第308卷,第11期(2008年),第2182-2212页。MR2404544(2009j:05019)-自N.J.A.斯隆,2012年5月1日
Jeff D.Farmer和Steven C.Leth,二项式系数幂的渐近公式,数学。天然气。,第89卷,第516号(2005年),第385-391页。
达里杰·格林伯格,现代代数导论(UMN 2019年春季数学4281笔记),明尼苏达大学(2019)。
瓦茨拉夫·科特索维奇,非攻击性棋子2013年第6版,第282页。
Marci A.Perlstadt,二项式系数幂和的一些递推《数论杂志》,弗吉尼亚。27(1987),第304-309页。
胡安·普拉,问题H-505,《高级问题与解决方案》,《斐波那契季刊》,第33卷,第5期(1995年),第473页;求和公式!Paul S.Bruckman,《H-505问题的解决方案》,同上,第35卷,第1期(1997年),第93-95页。
沃尔克·斯特雷尔,递归和勒让德变换《联合王国的洛塔林根》,B29b(1992),22页。
孙志伟,Franel数的同余,arXiv预印本arXiv:1112.1034[math.NT],2011。
孙志伟,涉及算术序列的猜想,arXiv:1208.2683v9[math.CO]2013;《数论:香格里拉的算术》(编辑:S.Kanemitsu、H.Li和J.Liu),Proc。第六届中日研讨会(2011年8月15日至17日,上海),世界科学。,新加坡,2013年,第244-258页。
|
|
配方奶粉
|
A002893号(n) =和{m=0..n}二项式(n,m)*a(m)[Barrucand]。
求和{k=0..n}C(n,k)^3=(-1)^n*积分{x=0..无穷}L_k(x)^3经验(-x)dx.-摘自Askey的书,第43页
带递归的D-有限(n+1)^2*a(n+1)=(7*n^2+7*n+2)*a(n)+8*n^2*a(n-1)[Franel]-Felix Goldberg(felixg(AT)tx.technion.ac.il),2001年1月31日
a(n)~2*3^(-1/2)*Pi^-1*n^-1*2^(3*n)乔·基恩(jgk(AT)jgk.org),2002年6月21日
O.g.f.:A(x)=和{n>=0}(3*n)/不^3*x^(2*n)/(1-2*x)^(3*n+1)-保罗·D·汉娜2010年10月30日
G.f.:浅层([1/3,2/3],[1],27 x^2/(1-2x)^3)/(1-2x)-迈克尔·索莫斯2010年12月17日
G.f.:求和{n>=0}a(n)*x^n/n^3=[Sum_{n>=0}x^n/n!^3]^2-保罗·D·汉娜,2011年1月19日
通用公式:A(x)=1/(1-2*x)*(1+6*(x^2)/(G(0)-6*x^2,
G(k)=3*(x^2)*(3*k+1)*(3+k+2)+((1-2*x)^3)*((k+1)^2)-3*(x*2)*;(续分数)-谢尔盖·格拉德科夫斯基2011年12月3日
2011年孙志伟找到了公式Sum{k=0..n}C(2*k,n)*C(2*k,k)*C(2*(n-k),n-k)=(2^n)*a(n),并用Zeilberger算法进行了证明-孙志伟2013年3月20日
0=a(n)*(a(n+1)*(-2048*a(n+2)-3392*a(n+3)+768*a(n+3)+288*a(n+4))+a(n+2)*)Z中所有n的+a(n+3)*(-11*a(n/3)+4*a(n+4))-迈克尔·索莫斯,2014年7月16日
对于r是非负整数,求和{k=r..n}C(k,r)^3*C(n,k)^3=C(n、r)^3*a(n-r),其中n<0取a(n)=0-彼得·巴拉2016年7月27日
a(n)=(n!)^3*[x^n]超几何([],[1,1],x)^2-彼得·卢什尼,2017年5月31日
a(n)=和{k=0..层(n/2)}(n+k)/(k!^3*(n-2*k)!)*2^(n-2*k)。
G.f.y=A(x)满足:0=x*(x+1)*(8*x-1)*y''+(24*x^2+14*x-1
a(n)=[x^n](1-x^2)^n*P(n,(1+x)/(1-x)),其中P(n、x)表示第n个勒让德多项式。见古尔德,第56页-彼得·巴拉2022年3月24日
a(n)=(2^n/(4*Pi^2))*Integral_{x,y=0..2*Pi}(1+cos(x)+cos-阿米拉姆·埃尔达尔2022年7月16日
g.f.T(x)服从一个周期湮灭ODE:
0=2*(1+4*x)*T(x)+(-1+14*x+24*x^2)*T'(x)+x*(1+x)*(-1+8*x)*T''(x)。
周期ODE可从以下Weierstrass数据中得出:
g2=(4/243)*(1-8*x+240*x^2-464*x^3+16*x^4);
g3=-(8/19683)*(1-12*x-480*x ^2+3080*x ^3-12072*x ^4+4128*x ^5+
64*x^6);
它决定了一个有四个奇异纤维的椭圆表面。(结束)
|
|
例子
|
外径:A(x)=1+2*x+10*x^2+56*x^3+346*x^4+225*x^5+。。。
外径:A(x)=1/(1-2*x)+3*x^2/(1-2*x)^4+(6!/2!^3)*x^4/(1-2*x)^7+(9!/3!^3)*x^6/(1-2*x)^10+(12!/4!^3)*x^8/(1-2*x)^13+-保罗·D·汉娜2010年10月30日
设g.f.A(x)=Sum_{n>=0}A(n)*x^n/n^3,然后
A(x)=1+2*x+10*x^2/2^3+56*x^3/3^3+346*x^4/4^3 + ... 哪里
A(x)=[1+x+x^2/2!^3+x^3/3!^3+x ^4/4!^3+…]^2-保罗·D·汉娜
|
|
MAPLE公司
|
加法(二项式(n,k)^3,k=0..n);
结束进程:
A000172号_list:=proc(len)系列(超几何([],[1,1],x)^2,x,len);
序列((n!)^3*系数(%,x,n),n=0..长度-1)结束:
|
|
数学
|
表[Sum[二项式[n,k]^3,{k,0,n}],{n,0,30}](*哈维·P·戴尔2011年8月24日*)
a[n_]:=级数系数[Hypergeometric2F1[1/3,2/3,1,27x^2/(1-2x)^3]/(1-2 x),{x,0,n}];(*迈克尔·索莫斯2014年7月16日*)
|
|
黄体脂酮素
|
(PARI){a(n)=polcoeff(和(m=0,n,(3*m)!/m!^3*x^(2*m)/(1-2*x+x*O(x^n))^(3*m+1)),n)}\\保罗·D·汉娜2010年10月30日
(PARI){a(n)=n!^3*polcoeff(总和(m=0,n,x^m/m!^3+x*O(x^n))^2,n)}\\保罗·D·汉娜2011年1月19日
(哈斯克尔)
a000172=总和。地图a000578。a007318_低
(鼠尾草)
x、 y,n=1,2,1
为True时:
收益率x
n+=1
x、 y=y,(8*(n-1)^2*x+(7*n^2-7*n+2)*y)//n^2
[第(21)范围内i的下一个(a)]#彼得·卢什尼2013年10月12日
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
对于不划分序列项的素数A000172号,A005258号,A002893号,A081085号,A006077号,A093388号,A125143号,A229111号,A002895号,A290575型,A290576型,A005259看见A260793型,A291275型-A291284号和A133370型分别是。
m=1..12的和{k=0..n}C(n,k)^m:A000079号,A000984号,A000172号,A005260号,A005261号,A069865号,A182421号,A182422号,A182446号,A182447号,A342294型,A342295型.
|
|
关键词
|
非n,容易的,美好的
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
A005259
|
| Apery(Apéry)数:和{k=0..n}(二项式(n,k)*二项式式(n+k,k))^2。 (原名M4020)
|
|
+10 125
|
|
|
1, 5, 73, 1445, 33001, 819005, 21460825, 584307365, 16367912425, 468690849005, 13657436403073, 403676083788125, 12073365010564729, 364713572395983725, 11111571997143198073, 341034504521827105445, 10534522198396293262825, 327259338516161442321485
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
评论
|
推测:对于每个n=1,2,3,。。。Apéry多项式An(x)=Sum{k=0..n}二项式(n,k)^2*binominal(n+k,k)*x^k在有理数域上是不可约的-孙志伟2013年3月21日
exp(Sum_{n>=1}a(n)*x^n/n)=1+5*x+49*x^2+685*x^3+11807*x^4+232771*x^5+。。。和exp(和{n>=1}a(n-1)*x^n/n)=1+3*x+27*x^2+390*x^3+7038*x^4+144550*x^5+。。。两者似乎都具有整数系数。请参见A267220型. -彼得·巴拉,2016年1月12日
有理函数R(x,y,z,w)的对角线=1/(1-(w*x*y*z+w*xy+w*z+x*y+x*z+y+z));有理函数H(x,y,z,w)的对角线=1/(1-w*(1+x)*(1+y)*(1+z)*(x*y*z+y*z+y+z+1))-Gheorghe Coserea公司,2018年6月26日
以法国数学家罗杰·阿佩里(1916-1994)命名-阿米拉姆·埃尔达尔2021年6月10日
|
|
参考文献
|
朱利安·哈维尔(Julian Havil),《非理性》,普林斯顿大学出版社,普林斯顿和牛津,2012年,第137-153页。
Wolfram Koepf,超几何恒等式。第二章超几何求和:求和和和和与特殊函数恒等式的算法。德国布伦瑞克:Vieweg,第55、119和146页,1998年。
Maxim Kontsevich和Don Zagier,Periods,B.Engquist和W.Schmid的771-808页,编辑,《数学无限-2001年及以后》,第2卷。,斯普林格-Verlag,2001年。
Leonard Lipshitz和Alfred van der Poorten,“有理函数、对角线、自动机和算术”,《数论》,Richard A.Mollin主编,Walter de Gruyter,Berlin(1990),第339-358页。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
|
|
链接
|
Jean-Paul Allouche,关于阿佩里数的一点评论,J.计算。申请。数学。,第83卷(1997年),第123-125页。
罗杰·阿佩里,非理性泽塔(2)和泽塔(3)《阿里斯之旅》。德鲁米尼。1978年6月20日至24日,在鲁米尼大学中心举行的国家科学研究中心国际学术讨论会。Astérisque,第61卷(1979年),第11-13页。
罗杰·阿佩里,某些算法《极端分析集团》,第9卷,第1期(1981-1982年),第16号实验,第2页。
托马斯·巴鲁切尔和卡斯滕·埃尔斯纳,分母分裂有理逼近的误差和,arXiv预印本arXiv:1602.06445[math.NT],2016。
Frits Beukers公司,阿佩里关于泽塔的工作的后果(3),在“Zeta(3)irrationnel:les retombées”中,Rencontres Arithmétiques de Caen,1995年6月2日至3日[提到a(n)可被5次幂和11次幂整除]
William Y.C.Chen、Qing Hu Hou和Yan-Ping Mu,双重求和的一种伸缩方法,J.公司。申请。数学。,第196卷,第2期(2006年),第553-566页,实施例4。
Stéphane Fischler,不合理的价值观,arXiv:math/0303066[math.NT],2003年。
Scott Garrabrant和Igor Pak,用不合理的瓷砖计数,arXiv:1407.8222[math.CO],2014年。
莱昂纳德·利普希茨(Leonard Lipshitz)和阿尔弗雷德·范德普顿(Alfred J.van der Poorten),有理函数、对角线、自动机和算术,摘自:理查德·莫林(编辑),《数论》,《加拿大数论协会第一届会议论文集》,1988年4月17日至27日,阿尔伯塔省班夫中心,德格鲁特,2016年,第339-358页;备用链路;回运机器副本.
埃里克·罗兰和里姆·雅萨维,有理函数对角线的自动同余《波尔多命名期刊》,第27卷,第1期(2015年),第245-288页;arXiv预印本,arXiv:1310.8635[math.NT],2013-2014年。
埃里克·罗兰(Eric Rowland)、里姆·雅萨维(Reem Yassawi)和克里斯蒂安·克拉蒂海尔(Christian Kratethaler),模p^2的Apéry数的Lucas同余,arXiv:2005.04801[math.NT],2020年。
沃尔克·斯特里尔,递归和勒让德变换《联合王国的洛塔林根》,B29b(1992),22页。
孙志伟,Franel数的同余,arXiv预印本arXiv:1112.1034[math.NT],2011。
阿尔弗雷德·范德普滕,欧拉错过的证据。。。,数学。Intelligencer,第1卷,第4期(1979年12月),第196-203页,等式(1.2)后的(b_n)和练习3。
|
|
配方奶粉
|
带递归的D-有限(n+1)^3*a(n+1)=(34*n^3+51*n^2+27*n+5)*a(n)-n^3*a(n-1),n>=1。
用Maple符号表示超几何函数4F3的特殊值:a(n)=超几何([n+1,n+1,-n,-n],[1,1,1],1),n=0,1-卡罗尔·彭森2002年7月24日
通用公式:(-1/2)*(3*x-3+(x^2-34*x+1)^(1/2))*(x+1)*(-2)*超几何([1/3,2/3],[1],(-1/2-马克·范·霍伊2011年10月29日
设g(x,y)=4*cos(2*x)+8*sin(y)*cos-彼得·巴拉2012年3月4日;编辑人G.A.埃德加2016年12月10日
a(n)~(1+sqrt(2))^(4*n+2)/(2^(9/4)*Pi^(3/2)*n^(2/2))-瓦茨拉夫·科特索维奇2012年11月1日
a(n)=和{k=0..n}C(n,k)^2*C(n+k,k)-乔格·阿恩特2013年5月11日
0=(-x^2+34*x^3-x^4)*y'''+(-3*x+153*x^2-6*x^3)*y''+(-1+112*x-7*x^2)*y'+(5-x)*y,其中y是g.f-Gheorghe Coserea公司2016年7月14日
a(n)=和{0<=j,k<=n}(-1)^(n+j)*C(n,k)^2*C(n+k,k)|2*C。
a(n)=总和{0<=j,k<=n}C(n,k)*C(n+k,k)*C(k,j)^3(见Koepf,第55页)。
a(n)=和{0<=j,k<=n}C(n,k)^2*C(n、j)^2*C(3*n-j-k,2*n)(见Koepf,第119页)。
有理函数1/((1-x-y)*(1-z-t)-x*y*z*t)的对角系数(Straub,2014)。(结束)
a(n)=[x^n]1/(1-x)*(Legendre_P(n,(1+x)/(1-x)))^m,m=2。当m=1时,我们得到阿佩里数A005258号. -彼得·巴拉2020年12月22日
|
|
例子
|
G.f.=1+5*x+73*x^2+1445*x^3+33001*x^4+819005*x^5+21460825*x^6+。。。
a(2)=(二项式(2,0)*二项式(2+0,0))^2+(二项法(2,1)*二项式(2+1,1))^2+-迈克尔·波特2016年7月14日
|
|
MAPLE公司
|
a:=proc(n)选项记忆;如果n=0,则1 elif n=1,然后5 else(n^(-3))*;fi;结束;
#备选方案:
a:=n->超深层([-n,-n,1+n,1+n],[1,1,1],1):
seq(简化(a(n)),n=0..17)#彼得·卢什尼2020年1月19日
|
|
数学
|
表[Sum[(二项式[n,k]二项式[n+k,k])^2,{k,0,n}],{n,0,30}](*哈维·P·戴尔2011年10月15日*)
a[n_]:=系列系数[SeriesCoefficient[Seriescoefficiency[SeriesCoefficient[1/(1-t(1+x)(1+y)(1++)(xyz+(y+1)(z+1))),{t,0,n}],{x,0,n}];(*迈克尔·索莫斯2016年5月14日*)
|
|
黄体脂酮素
|
(PARI)a(n)=总和(k=0,n,(二项式(n,k)*二项式式(n+k,k))^2)\\查尔斯·格里特豪斯四世2012年11月20日
(哈斯克尔)
a005259 n=a005259_列表!!n个
a005259_list=1:5:zipWithdiv(zipWith(-)
(尾部$zipWith(*)a006221_list a005259_list)
(zipWith(*)(尾部a000578_list)a005259_list
(GAP)列表([0..20],n->和([0..n],k->二项(n,k)^2*二项(n+k,k)^2))#穆尼鲁·A·阿西鲁2018年9月28日
(岩浆)[&+[二项式(n,k)^2*[0..n]]中的二项式//马吕斯·A·伯蒂2020年1月20日
(Python)
m、 g=1,0
对于范围(n+1)中的k:
g+=米
m*=((n+k+1)*(n-k))**2
m//=(k+1)**4
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
对于不划分序列项的素数A000172号,A005258号,A002893号,A081085号,A006077号,A093388号,A125143号,A229111号,A002895号,A290575型,A290576型,A005259看见A260793型,A291275型-A291284号和A133370型分别是。
|
|
关键词
|
非n,容易的,美好的
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
A005258号
|
| Apéry数:a(n)=Sum_{k=0..n}二项式(n,k)^2*二项式(n+k,k)。 (原名M3057)
|
|
+10 107
|
|
|
1, 3, 19, 147, 1251, 11253, 104959, 1004307, 9793891, 96918753, 970336269, 9807518757, 99912156111, 1024622952993, 10567623342519, 109527728400147, 1140076177397091, 11911997404064793, 124879633548031009, 1313106114867738897, 13844511065506477501
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
评论
|
这是Beauville描述的曲线上一个特殊点的泰勒展开-马蒂杰斯·科斯特2004年4月28日
在库珀的论文中,这个序列是t5-杰森·金伯利2012年11月25日
推测:对于每个n=1,2,3,。。。多项式a_n(x)=Sum{k=0..n}C(n,k)^2*C(n+k,k)*x^k在有理数域上是不可约的-孙志伟2013年3月21日
有理函数的对角线1/(1-x-x*y-y*z-x*z-xy*z),1/(1+y+z+x*y+y*z+xx*y*z)、1/(1-x-y-z+x*y+x*y*z)和1/-Gheorghe Coserea公司2018年7月7日
|
|
参考文献
|
Matthijs Coster,《超过6个家族的van krommen》【关于6个家族曲线】,硕士论文(未出版),1983年8月26日。
S.Melczer,《分析组合数学邀请函》,2021年;第129页。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
|
|
链接
|
R.Apéry,不合理的zeta(2)和zeta(3)《阿里斯之旅》。德鲁米尼。1978年6月20日至24日在鲁米尼鲁米尼中心大学举行的国家科学研究中心国际学术讨论会(CNRS)。《阿斯特里斯克》,61(1979),11-13。
R.Apéry,特定实体算术《极端分析集团》,第9期,第1期(1981-1982年),第16号实验,第2页。
托马斯·巴鲁切尔(Thomas Baruchel)和C.埃尔斯纳(C.Elsner),分母分裂有理逼近的误差和,arXiv预印本arXiv:1602.06445[math.NT],2016。
A.Bostan、S.Boukraa、J.-M.Maillard和J.-A.Weil,有理函数的对角线与选定的微分Galois群,arXiv预印本arXiv:1507.03227[math-ph],2015年。
E.延误,类Apéry数的算术性质,arXiv预印本arXiv:1310.4131[math.NT],2013-2015。
Michael D.Hirschorn,Pi和Phi之间的连接,斐波纳契夸脱。53(2015),第1期,42-47。
E.Rowland和R.Yassawi,有理函数对角线的自动同余,arXiv预印本arXiv:1310.8635[math.NT],2013年。
V.斯特雷尔,递归和勒让德变换《联合王国的洛塔林根》,B29b(1992),22页。
|
|
配方奶粉
|
a(n)=上层([n+1,-n,-n],[1,1],1)-弗拉德塔·乔沃维奇2003年4月24日
带递归的D-有限:(n+1)^2*a(n+1)=(11*n^2+11*n+3)*a(n)+n^2*a(n-1)-马蒂杰斯·科斯特2004年4月28日
设b(n)是b(0)=0,b(1)=5的上述递归的解。那么b(n)就是b(n,n)/a(n)->zeta(2)的有理数。恒等式b(n)*a(n-1)-b(n-1)*a(n)=(-1)^(n-1)*5/n^2导出了一个级数加速度公式:ζa(2)=5*Sum_{n>=1}1/(n^2*a(n)*a(n-1))=5*(1/(1*3)+1/(2^2*3*19)+1/(3^2*19*147)+…)。常数e也有类似结果:参见A143413号. -彼得·巴拉2008年8月14日
G.f.:表皮([1/12,5/12],[1],1728*x^5*(1-11*x-x^2)/(1-12*x+14*x^2+12*x^3+x^4)^3)/-马克·范·霍伊2011年10月25日
a(n)~((11+5*sqrt(5))/2)^(n+1/2)/(2*Pi*5^(1/4)*n)-瓦茨拉夫·科特索维奇2012年10月5日
1/Pi=5*(sqrt(47)/7614)*Sum_{n>=0}(-1)^na(n)*二项式(2n,n)*(682n+71)/15228^n-杰森·金伯利2012年11月26日
如果n>=0,则a(-1-n)=(-1)^n*a(n)。如果n<0,a(-1-n)=-(-1)^n*a(n)-迈克尔·索莫斯2013年9月18日
0=a(n)*(a(n+1)*(+4*a(n+2)+83*a(n+3)-12*a(n+4))+a(n+2)*(+32*a(n+2)+902*a(n+3)-147*a(n+4))+a(n+3)*(-56*a(n+3)+12*a(n+4)))+a(n+1)*(a(n+1)*(+17*a(n+2)+374*a(n+3)-56*a(n+4))+a(n+2)*(+176*a(n+2)+5324*a(n+3)-902*a(n+4)+a(n+3)*(-374*a(n+3)+83*a(n+4)))+a(n+2)*(a(n+2)*(-5*a(n+2)-176*a(n+3)+32*a(n+4))+a(n+3)*(+17*a(n+3)Z中的所有n均为-4*a(n+4))-迈克尔·索莫斯2016年8月6日
a(n)=二项式(2*n,n)*超几何([-n,-n,/n],[1,-2*n],1)-彼得·卢什尼2018年2月10日
a(n)=和{k=0..n}(-1)^(n-k)*二项式(n,k)*二项式(n+k,k)^2-彼得·巴拉2018年2月10日
a(n)=和{0<=j,k<=n}(-1)^(j+k)*C(n,k)*C(n+k,k)^2*C(n,j)*C。
a(n)=和{0<=j,k<=n}(-1)^(n+j)*C(n,k)^2*C(n+k,k)*C。
a(n)=和{0<=j,k<=n}(-1)^j*C(n,k)^2*C(n,j)*C(3*n-j-k,2*n)。(结束)
a(n)=[x^n]1/(1-x)*(Legendre_P(n,(1+x)/(1-x)))^m,m=1。当m=2时,我们得到阿佩里数A005259. -彼得·巴拉2020年12月22日
a(n)=(-1)^n*和{j=0..n}(1-5*j*H(j)+5*j*H(n-j))*二项式(n,j)^5,其中H(n)表示第n次谐波数,A001008号/A002805号(保罗/施耐德)-彼得·卢什尼2021年7月23日
g.f.T(x)遵循周期性ODE:
0=(3+x)*T(x)+(-1+22*x+3*x^2)*T'(x)+x*(-1+11*x+x^2。
周期ODE可从以下Weierstrass数据中得出:
g2=3*(1-12*x+14*x^2+12*x^3+x^4);
g3=1-18*x+75*x^2+75*x^4+18*x^5+x^6;
它决定了一个有四个奇异纤维的椭圆表面。(结束)
|
|
例子
|
G.f.=1+3*x+19*x^2+147*x^3+1251*x^4+11253*x^5+104959*x^6+。。。
|
|
MAPLE公司
|
与(组合):seq(加((多项式(n+k,n-k,k,k))*二项式(n,k),k=0..n),n=0..18)#零入侵拉霍斯2006年10月18日
a:=n->二项式(2*n,n)*超几何([-n,-n,.n],[1,-2*n],1):
seq(简化(a(n)),n=0..20)#彼得·卢什尼2018年2月10日
|
|
数学
|
表[Sum[二项式[n,k]^2二项式[n+k,k],{k,0,n}],{n,0,20}](*哈维·P·戴尔2019年8月25日*)
|
|
黄体脂酮素
|
(哈斯克尔)
a005258 n=总和[a007318 n k ^2*a007319(n+k)k | k<-[0..n]]
(PARI){a(n)=如果(n<0,-(-1)^n*a(-1-n),和(k=0,n,二项式(n,k)^2*二项式/*迈克尔·索莫斯2013年9月18日*/
(GAP)a:=n->总和([0..n],k->(-1)^(n-k)*二项式(n,k)*二项式(n+k,k)^2);;
(GAP)列表([0..20],n->总和([0..n],k->二项式(n,k)^2*二项式#穆尼鲁·A·阿西鲁,2018年7月29日
(岩浆)[&+[二项式(n,k)^2*二项式(n+k,k):k in[0..n]]:n in[0..25]]//文森佐·利班迪2018年11月28日
(Python)
m、 g=1,0
对于范围(n+1)中的k:
g+=米
m*=(n+k+1)*(n-k)**2
m//=(k+1)**3
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
对于不划分序列项的素数A000172号,A005258号,A002893号,A081085号,A006077号,A093388号,A125143号,A229111号,A002895号,A290575型,A290576型,A005259看见A260793型,A291275型-A291284号和A133370型分别是。
|
|
关键词
|
非n,容易的,美好的
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
A002893号
|
| a(n)=和{k=0..n}二项式(n,k)^2*二项式。 (原名M2998 N1214)
|
|
+10 89
|
|
|
1, 3, 15, 93, 639, 4653, 35169, 272835, 2157759, 17319837, 140668065, 1153462995, 9533639025, 79326566595, 663835030335, 5582724468093, 47152425626559, 399769750195965, 3400775573443089, 29016970072920387, 248256043372999089
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
评论
|
这是Beauville描述的曲线上一个特殊点的泰勒展开-马蒂杰斯·科斯特2004年4月28日
a(n)是距离平面中三步随机行走原点的距离的第2n个矩Peter M.W.Gill(Peter.Gill(AT)nott.ac.uk),2004年2月27日
a(n)是3个字母字母表上长度为2n的阿贝尔平方的数量-杰弗里·沙利特2010年8月17日
考虑蜂窝格子上的二维简单随机行走。a(n)给出了在原点结束的长度为2n的路径数-谢尔盖·佩雷佩奇科2011年2月16日
推测:对于每个n=1,2,3,。。。多项式gn(x)=Sum{k=0..n}二项式(n,k)^2*二项式,(2k,k)*x^k在有理数域上是不可约的-孙志伟2013年3月21日
这是一个类Apery-like序列-参见交叉引用-雨果·普福尔特纳2017年8月6日
a(n)是(x+y+z)^n系数的平方和-迈克尔·索莫斯,2018年8月25日
|
|
参考文献
|
Matthijs Coster,《超过6个家族的van krommen》【关于6个家族曲线】,硕士论文(未出版),1983年8月26日。
N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
|
|
链接
|
David H.Bailey、Jonathan M.Borwein、David Broadhurst和M.L.Glasser,贝塞尔矩的椭圆积分计算,arXiv:0801.0891[hep-th],2008年。
P.Barrucand,组合恒等式,问题75-4SIAM Rev.,17(1975),168。解决方案作者:D.R.Breach、D.McCarthy、D.Monk和P.E.O'Neil,SIAM Rev.18(1976),303。
P.Barrucand,问题75-4,组合恒等式SIAM Rev.,17(1975),168。[问题陈述的注释扫描副本]
阿图尔·比尔(Artur Bille)、维克托·布赫斯塔贝尔(Victor Buchstaber)、西蒙·科斯特(Simon Coste)、佐佐希·库里基(Satoshi Kuriki)和叶夫根尼·斯波达列夫(Evgeny Spodarev),石墨烯的随机特征值与平面三角剖分,arXiv:2306.01462[math.SP],2023年。
乔纳森·博文(Jonathan M.Borwein)、德克·努延斯(Dirk Nuyens)、阿明·斯特劳布(Armin Straub)和詹姆斯·万(James Wan),随机游动积分, 2010.
Jonathan M.Borwein、Armin Straub和James Wan,三步和四步随机游动积分,专家。数学。,22 (2013), 1-14.
Charles Burnette和Chung Wong,阿贝尔平方及其后代,arXiv:1609.05580[math.CO],2016年。
埃里克·德拉格,类猿数的算术性质,arXiv预打印arXiv:1310.4131[math.NT],2013。
Jeffrey S.Geronimo、Hugo J.Woerdeman和Chung Y.Wong,多变量一次对称多项式的自回归滤波问题,arXiv:2101.00525[math.CA],2021。
Pakawut Jiradilok和Elchanan Mossel,网格上的高斯广播,arXiv:240.2.11990[cs.IT],2024。见第27页。
Tanya Khovanova和Konstantin Knop,三种不同重量的硬币,arXiv:1409.0250[math.HO],2014年。
L.B.Richmond和Jeffrey Shallit,阿贝尔平方的计数,《电子组合数学杂志》16(1),#R722009年6月。[来自杰弗里·沙利特2010年8月17日]
|
|
配方奶粉
|
a(n)=和{m=0..n}二项式(n,m)*A000172号(m) ●●●●。[巴鲁坎德]
带递归的D-有限:(n+1)^2a(n+1)=(10*n^2+10*n+3)*a(n)-9*n^2*a(n-1)-马蒂杰斯·科斯特2004年4月28日
求和{n>=0}a(n)*x^n/n^2=贝塞尔I(0,2*sqrt(x))^3-弗拉德塔·乔沃维奇2003年3月11日
a(n)=和{p+q+r=n}(n!/(p!*q!*r!))^2,其中p,q,r>=0-迈克尔·索莫斯2007年7月25日
a(n)=表层([1/2,-n,-n],[1,1],4)-马克·范·霍伊2010年6月2日
G.f.:2*sqrt(2)/Pi/sqrt(1-6*z-3*z^2+sqrt,(1-z)^3*(1-9*z)))*椭圆(8*z^(3/2)/(1-6*z-3*z ^2+平方(1-z,^3*,1-9*z)))-谢尔盖·佩雷佩奇科2011年2月16日
G.f.:求和{n>=0}(3*n)/不^3*x^(2*n)*(1-x)^n/(1-3*x)^(3*n+1)-保罗·D·汉娜,2012年2月26日
一般公式:1/(1-3*x)*(1-6*x^2*(1-x)/(Q(0)+6*x^2*(1-x)3*k+5)/Q(k+1);(续分数)-谢尔盖·格拉德科夫斯基2013年7月16日
G.f.:G(0)/(2*(1-9*x)^(2/3)),其中G(k)=1+1/(1-3*(3*k+1)^2*x*(1-x)^2/(3*(3*k+1)^2*x*(1-x)^2-(k+1)^2*(1-9*x)^2/G(k+1)));(续分数)-谢尔盖·格拉德科夫斯基2013年7月31日
0=+a(n)*(+a(n+1)**a(n+3)-117*a(n+4))+a(n+2)*(n+4)))对于Z中的所有n-迈克尔·索莫斯2017年10月30日
G.f.y=A(x)满足:0=x*(x-1)*(9*x-1)*y''+(27*x^2-20*x+1)*y'+3*(3*x-1-Gheorghe Coserea公司2018年7月1日
和{k>=0}二项式(2*k,k)*a(k)/6^(2*k)=A086231号=(sqrt(3)-1)*(伽马(1/24)*伽马(11/24))^2/(32*Pi^3)-瓦茨拉夫·科特索维奇,2023年4月23日
g.f.T(x)遵循周期性ODE:
0=3*(-1+3*x)*T(x)+(1-20*x+27*x^2)*T'(x)+x*(-1+x)*(-1+9*x)*T''(x)。
周期ODE可从以下Weierstrass数据中得出:
g2=(3/64)*(1+3*x)*(1-15*x+75*x^2+3*x^3);
g3=-(1/512)*(-1+6*x+3*x^2)*(1-12*x+30*x^2-540*x^3+9*x^4);
它决定了一个有四个奇异纤维的椭圆表面。(结束)
|
|
例子
|
通用公式:A(x)=1+3*x+15*x^2+93*x^3+639*x^4+4653*x^5+35169*x^6+。。。
G.f.:A(x)=1/(1-3*x)+6*x^2*(1-x)/(1-3*x)^4+90*x^4*(1-x)^2/(1-3*x)^7+1680*x^6*(1-x)^3/(1-3*x)^10+34650*x^8*(1-x)^4/(1-3*x)^13+-保罗·D·汉娜,2012年2月26日
|
|
MAPLE公司
|
|
|
数学
|
表[Sum[二项式[n,k]^2二项式[2k,k],{k,0,n}],{n,0,20}](*哈维·P·戴尔2011年8月19日*)
a[n_]:=如果[n<0,0,超几何PFQ[{1/2,-n,-n},{1,1},4]];(*迈克尔·索莫斯2013年10月16日*)
a[n_]:=如果[n<0,0,块[{x,y,z},展开[(x+y+z)^n]/。{t_Integer->t^2,x->1,y->1,z->1}]];(*迈克尔·索莫斯2018年8月25日*)
|
|
黄体脂酮素
|
(PARI){a(n)=如果(n<0,0,n!^2*polceoff(besseli(0,2*x+O(x^(2*n+1)))^3,2*n))};
(PARI){a(n)=和(k=0,n,二项式(n,k)^2*二项式的(2*k,k))}/*迈克尔·索莫斯2007年7月25日*/
(PARI){a(n)=polcoeff(和(m=0,n,(3*m)!/m!^3*x^(2*m)*(1-x)^m/(1-3*x+x*O(x^n))^(3*m+1)),n)}\\保罗·D·汉娜,2012年2月26日
(PARI)N=42;x='x+O('x^N);v=Vec(1/agm(平方((1-3*x)*(1+x)^3),平方((1+3*x)x(1-x)^2));向量((#v+1)\2,k,v[2*k-1])\\Gheorghe Coserea公司2016年8月17日
(岩浆)[&+[二项式(n,k)^2*二项式(2*k,k):k in[0..n]]:n in[0..25]]//文森佐·利班迪2018年8月26日
(SageMath)
定义A002893号(n) :返回简化(超几何([1/2,-n,-n],[1,1],4))
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
对于不划分序列项的素数A000172号,A005258号,A002893号,A081085号,A006077号,A093388号,A125143号,A229111号,A002895号,A290575型,A290576型,A005259看见A260793型,A291275型-A291284号和A133370型分别是。
|
|
关键词
|
非n,容易的,步行,美好的
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|
|
A005260号
|
| a(n)=和{k=0..n}二项式(n,k)^4。 (原M2110)
|
|
+10 63
|
|
|
1, 2, 18, 164, 1810, 21252, 263844, 3395016, 44916498, 607041380, 8345319268, 116335834056, 1640651321764, 23365271704712, 335556407724360, 4854133484555664, 70666388112940818, 1034529673001901732
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,2
|
|
评论
|
这个序列是库珀论文中的s_10-杰森·金伯利2012年11月25日
每个素数最终都会划分这个序列的某些项-阿米塔·马利克2017年8月20日
两个步行者,A和B,分别站在nXn网格的西南角和东北角。A走北边或东边的台阶,而B走南边或西边的台阶。序列值a(n)<二项式(2*n,n)^2计算a和B在n步后相遇的同时行走次数,并在2*n步后改变位置-布拉德利·克莱2019年4月1日
|
|
参考文献
|
H.W.Gould,《组合恒等式》,摩根城,1972年,(X.14),第79页。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
|
|
链接
|
W.Y.C.Chen、Q.-H.Hou和Y-P.Mu,双重求和的一种伸缩方法,J.公司。申请。数学。196(2006)553-566,等式(5.5)。
达里杰·格林伯格,现代代数导论(UMN 2019年春季数学4281笔记),明尼苏达大学(2019)。
V.斯特雷尔,递归和勒让德变换《联合王国的洛塔林根》,B29b(1992),22页。
孙志伟,关于同余的开放猜想南京大学数学系。双季度36(2019),第1期,1-99页。(参见推测49-51。)
|
|
配方奶粉
|
a(n)~2^(1/2)*Pi^(-3/2)*n^(-3/2)*2^(4*n)乔·基恩(jgk(AT)jgk.org),2002年6月21日
带递归的D-有限:n^3*a(n)=2*(2*n-1)*(3*n^2-3*n+1)*a(n-1)+(4*n-3)*(4*n-4)*(4*n-5)*a(n-2)。
G.f.:5*高地层([1/8,3/8],[1],(4/5)*((1-16*x)^ 4*x)^(1/2))-马克·范·霍伊2011年10月29日
1/Pi=sqrt(15)/18*Sum_{n>=0}a(n)*(4*n+1)/36^n(Cooper,方程(5))=sqrt(15)/18*Sum_{n>=0.}a(n)*A016813号(n)/A009980型(n) -杰森·金伯利2012年11月26日
0=(-x^2+12*x^3+64*x^4)*y'''+(-3*x+54*x^2+384*x^3)*y''+(-1+40*x+444*x^2)*y'+(2+60*x)*y,其中y是g.f-Gheorghe Coserea公司2016年7月13日
对于r是非负整数,求和{k=r..n}C(k,r)^4*C(n,k)^4=C(n、r)^4*a(n-r),其中n<0取a(n)=0-彼得·巴拉2016年7月27日
a(n)=表层([-n,-n,-n,-n],[1,1,1],1)-彼得·卢什尼2016年7月27日
求和{n>=0}a(n)*x^n/(n!)^4=(求和{n>=0{x^n/(n)^4)^2-伊利亚·古特科夫斯基,2020年7月17日
a(n)=和{k=0..n}C(n,k)*C(n+k,k)*C(2k,k。这可以通过Zeilberger算法得到证明-孙志伟2020年8月23日
a(n)=(-1)^n*二项式(2*n,n)*超几何([1/2,-n,-n,n+1],[1,1,1/2-n],1)-彼得·卢什尼2020年8月24日
a(n)=和{k=0..n}二项式(n,k)^2*二项式-米歇尔·马库斯2020年12月6日
a(n)=[x^n](1-x)^(2*n)P(n,(1+x)/(1-x。见古尔德,第66页。这个公式等价于孙志伟如上所示-彼得·巴拉2022年3月24日
|
|
例子
|
G.f.=1+2*x+18*x^2+164*x^3+1810*x^4+21252*x^5+263844*x^6+。。。
|
|
MAPLE公司
|
加((二项式(n,k))^4,k=0..n);
结束进程:
|
|
数学
|
表[Sum[二项式[n,k]^4,{k,0,n}],{n,0,20}](*韦斯利·伊万·赫特2014年3月9日*)
|
|
黄体脂酮素
|
(PARI){a(n)=和(k=0,n,二项式(n,k)^4)};
(Python)
m、 g=1,0
对于范围(n+1)中的k:
g+=米
m=米*(n-k)**4//(k+1)**4
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
m=1..12的和{k=0..n}C(n,k)^m:A000079号,A000984号,A000172号,A005260号,A005261号,A069865号,A182421号,A182422号,A182446号,A182447号,A342294型,A342295型.
|
|
关键词
|
非n,容易的
|
|
作者
|
|
|
扩展
|
|
|
状态
|
经核准的
|
|
|
|
|
A143007号
|
| 正方形数组,由反对偶读取,其中第n行等于2*n维晶格A_n x A_n的水晶球序列。 |
|
+10 63
|
|
|
1, 1, 1, 1, 5, 1, 1, 13, 13, 1, 1, 25, 73, 25, 1, 1, 41, 253, 253, 41, 1, 1, 61, 661, 1445, 661, 61, 1, 1, 85, 1441, 5741, 5741, 1441, 85, 1, 1, 113, 2773, 17861, 33001, 17861, 2773, 113, 1, 1, 145, 4873, 46705, 142001, 142001, 46705, 4873, 145, 1
(列表;桌子;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,5
|
|
评论
|
A_n晶格由Z^(n+1)中的所有向量v=(x_1,…,x_(n+1x(n+1)=0。格具有范数||v||=1/2*(|x_1|+…+|x_(n+1)|)。乘积格A_n x A_n中的格点对(v,w)具有范数||(v,w)||=||v||+|w||。然后,A_n x A_n晶格的水晶球序列中的第k项给出了||(v,w)||小于或等于k的此类对(v,w)的数量。
这个数组与Apery常数zeta(3)有着显著的关系。数组的行(或列)和主对角线项以zeta(3)的系列加速度公式出现。对于第n行条目,包含zeta(3)=(1+1/2^3+…+1/n^3)+Sum_{k>=1}1/(k^3*T(n,k-1)*T(n,k))。此外,由于Apery证明了zeta(3)的非理性,我们得到了沿表主对角线的一个级数加速度公式:zeta(三)=6*sum{n>=1}1/(n^3*T(n-1,n-1)*T(n,n))。Apery的结果似乎推广到了表中的其他对角线。计算表明以下结果可能成立:zeta(3)=1+1/2^3+…+1/k^3+求和{n>=1}(2*n+k)*(3*n^2+3*n*k+k^2)/(n^3*(n+k。
|
|
链接
|
R.Bacher、P.de la Harpe和B.Venkov,羊角面包和埃哈特羊角协会,C.R.学院。科学。巴黎,325(系列1)(1997),1137-1142。
J.H.Conway和N.J.A.Sloane,低维晶格VII配位序列,程序。英国皇家学会。,序列号。A、 453(1997),2369-2389。
|
|
配方奶粉
|
T(n,k)=和{j=0..n}C(n+j,2*j)*C(2*j,j)^2*C(k+j,2*j)。
阵列是对称的T(n,k)=T(k,n)。
主对角线[1,5,731445,…]是Apery数的序列A005259.
第k列中的项满足类Apery-like递归n^3*T(n,k)+(n-1)^3*T(n-2,k)=(2*n-1)*(n^2-n+1+2*k^2+2*k)*T(n-1,k)。
方形数组的LDU分解是L*D*转置(L),其中L是下三角数组A085478号D是对角矩阵图(C(2n,n)^2)。第n行的O.g.f.:晶格A_n配位序列的生成函数是[Sum_{k=0..n}C(n,k)^2*x^k]/(1-x)^n。因此积晶格A_nx A_n的配位序列生成函数是{[Sum_{k=0..n}C,晶格A_n x A_n的晶球序列,等于[Sum_{k=0..n}C(n,k)^2*x^k]^2/(1-x)^(2n+1)=1/(1-x)*[Legendre_P(n,(1+x)/(1-x))]^2。参见[Conway&Sloane]。
zeta(3)的级数加速公式:行n:zeta(三)=(1+1/2^3+…+1/n^3)+Sum_{k>=1}1/(k^3*T(n,k-1)*T(n,k)),n=0,1,2。例如,表的第四行(n=3)给出了zeta(3)=(1+1/2^3+1/3^3)+1/(1^3*1*25)+1/。请参见A143003型了解更多详细信息。
主对角线:zeta(3)=6*Sum_{n>=1}1/(n^3*T(n-1,n-1)*T(n,n))。其他对角线的推测结果:zeta(3)=1+1/2^3+…+1/k^3+和{n>=1}(2*n+k)*(3*n^2+3*n*k+k^2)/(n^3*(n+k,^3*T(n-1,n+k-1)*T(n,n+k。
主超对角数S(n):=T(n,n+1)似乎满足素数p>=5和n中m,r的超同余S(m*p^r-1)==S(m*1(r-1)-1)(mod p^(3*r))(这是真的:参见A352653型. -彼得·巴拉2022年4月16日)。
G.f.A(x,y)=和{n>=0,k=0..n}T(n,k)*x^n*y^k可以表示为:
(1) 求和{n>=0}x^n*y^n/(1-x)^(2*n+1)*[求和{k=0..n}C(n,k)^2*x^k]^2,
(2) 求和{n>=0}x^n/(1-x*y)^(2*n+1)*[求和{k=0..n}C(n,k)^2*x^k*y^k]^2,
(3) 求和{n>=0}x^n*求和{k=0..n}C(n,k)^2*y^k*求和_{j=0..k}C(k,j)^2*x^j,
(4) Sum_{n>=0}x ^n*Sum_{k=0..n}C(n,k)^2*y ^(n-k)*Sum_{j=0..k}C(k,j)^2*x ^j*y ^j(完)
T(n,k)=和{j=0..n}C(n,j)^2*C(n+k-j,k-j)^2。
T(n,k)=二项式(n+k,k)^2*超几何([-n,-n,-k,-k],[-n-k,-n-k,1],1)。
T(n,k)=超几何([n+1,-n,k+1,-k],[1,1,1],1)。(结束)
T(n,k)=1/((1-x-y)*(1-z-T)-x*y*z*T)展开式中(x*z)^n*(y*T)^k的系数。
T(n,k)=A(n,k,n,k。
对于所有素数p>=5以及正整数n和k,超同余T(n*p^r,k*p^ r)==T(n*p^(r-1),k*p ^(r-1))(mod p^,3*r)成立。
公式T(n,k)=超几何([n+1,-n,k+1,-k],[1,1,1],1)允许将表索引扩展到n和k的负值;我们有T(-n,k)=T(n-1,k)和T(n,-k。(结束)
设t(n,k)=t(n-k,k)为反对角线三角形,则:
t(n,k)=t(n,n-k)。
总和{k=0..楼层(n/2)}t(n-k,k)=A246563型(n) ●●●●。
|
|
例子
|
表格开始
n\k |0…1…..2…..3…..4…..5
======================================
0..|1...1.....1......1.......1.......1
1..|1...5....13.....25......41......61A001844号
2..|1..13....73....253.....661....1441A143008号
3..|1..25...253...1445....5741...17861A143009型
4..|1..41...661...5741...33001..142001A143010型
5..|1..61..1441..17861..142001..819005A143011号
........
示例行1[1,5,13,…]:
格A_1 x A_1等价于Z x Z中所有整数格点v=(x,y)的正方形格,配备有出租车范数||v||=(|x|+|y|)。有4个满足||v||=1的格点(在下图中用1标记)和8个满足|v||=2的格点。因此,A_1 x A_1晶格的水晶球序列开始于1,1+4=5,1+4+8=13。
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . 2 . . . . .
. . . . 2 1 2 . . . .
. . . 2 1 0 1 2 . . .
. . . . 2 1 2 . . . .
. . . . . 2。
. . . . . . . . . . .
. . . . . . . . . . .
第1行=[1,5,13,…]是A008574号; 第2行=[1,13,73,…]是A008530号,所以第2行是晶格A_2 x A_2(四维二异六方正交晶格)的晶球序列。
将数组作为三角形读取
n\k |0…1…2…3…4…5
===========================
0..|1
1..|1...1
2..|1...5....1
3..|1..13...13....1
4..|1..25...73...25...1
5..|1..41..253..253..41...1
|
|
MAPLE公司
|
与(组合):T:=(n,k)->加(二项式(n+j,2*j)*二项式;
|
|
数学
|
|
|
黄体脂酮素
|
(PARI)/*打印为方形数组:*/
{T(n,k)=和(j=0,n,二项式(n+j,2*j)*二项式
对于(n=0,10,对于(k=0,10,print1(T(n,k),“,”));打印(“”)
(PARI)/*(1)G.f.A(x,y)当读作三角形时:*/
{T(n,k)=局部(A=1+x);A=和(m=0,n,x^m*y^m/(1-x+x*O(x^n))^(2*m+1)*和(k=0,m,二项式(m,k)^2*x^k)^2);极坐标(极坐标(A,n,x),k,y)}
对于(n=0,10,对于(k=0,n,print1(T(n,k),“,”));打印(“”)
(PARI)/*(2)G.f.A(x,y)当读作三角形时:*/
{T(n,k)=局部(A=1+x);A=和(m=0,n,x^m/(1-x*y+x*O(x^n))^(2*m+1)*和(k=0,m,二项式(m,k)^2*x^k*y^k)^2);极坐标(极坐标(A,n,x),k,y)}
对于(n=0,10,对于(k=0,n,print1(T(n,k),“,”));打印(“”)
(PARI)/*(3)G.f.A(x,y)当读作三角形时:*/
{T(n,k)=局部(A=1+x);A=总和(m=0,n,x^m*总和(k=0,m,二项式(m,k)^2*y^k*总和(j=0,k,二项性(k,j)^2*x^j)+x*O(x^n));polcoeff(polcoff(A,n,x),k,y)}
对于(n=0,10,对于(k=0,n,print1(T(n,k),“,”));打印(“”)
(PARI)/*(4)G.f.A(x,y)当读作三角形时:*/
{T(n,k)=局部(A=1+x);A=总和(m=0,n,x^m*总和(k=0,m,二项式(m,k)^2*y^(m-k)*总和(j=0,k,二项性(k,j)^2*x^j*y^j)+x*O(x^n)));polcoeff(polcoff(A,n,x),k,y)}
对于(n=0,10,对于(k=0,n,print1(T(n,k),“,”));打印(“”)
/*结束*/
(岩浆)
A: =func<n,k|(&+[(二项式(n,j)*Binominal(n+k-j,k-j))^2:j in[0..n]])>;//阵列
(SageMath)
定义A(n,k):返回和((二项式(n,j)*二项式
|
|
交叉参考
|
类Apéry-like数[或类Apáry-sequences,类Apery-like numbers,类Aperry-like sequences]包括A000172号,A000984号,A002893号,A002895号,A005258号,A005259,A005260号,A006077号,A036917号,A063007号,A081085号,A093388号,A125143号(除了标志),A143003型,A143007号,A143413号,A143414号,A143415号,143583英镑,A183204号,A214262型,A219692型,A226535型,A227216号,A227454个,A229111号(除了标志),A260667型,A260832型,A262177型,A264541号,264542元,A279619型,A290575型,A290576型(术语“类Apery-like”没有明确定义。)
|
|
关键词
|
|
|
作者
|
|
|
扩展
|
|
|
状态
|
经核准的
|
|
|
搜索在0.070秒内完成
|