登录
OEIS由
OEIS基金会的许多慷慨捐赠者
.
提示
(来自的问候
整数序列在线百科全书
!)
A006720型
Somos-4序列:a(0)=a(1)=a;
对于n>=4,a(n)=(a(n-1)*a(n-3)+a(n-2)^2)/a(n-4)。
(原名M0857)
94
1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786, 1662315215971057, 61958046554226593, 4257998884448335457, 334806306946199122193, 23385756731869683322514, 3416372868727801226636179
(
列表
;
图表
;
参考
;
听
;
历史
;
文本
;
内部格式
)
抵消
0,5
评论
从第五项开始,所有项都有一个本原除数;
换言之,一个素除数,它不除掉序列中较早的项。
埃弗雷斯特-迈凯轮硬纸上有一个证据。
-Graham Everest(g.Everest(AT)uea.ac.uk),2005年10月26日
已知12个素数项,出现在指数4、5、6、7、8、11、13、16、43、52、206、647。
最后两个只被检查了可能的素性。
第647项有18498个十进制数字。
可能这些是整个序列中唯一的素项。
-Graham Everest(g.Everest(AT)uea.ac.uk),2006年11月28日
在序列中划分某项的素数密度为11/21。
-
杰里米·罗斯
2013年9月18日
a(n)是所有整数n和k的a(n+k*(2*n-3))的除数-
彼得·范德坎普
2015年5月18日
a(n)是的除数
A051138号
(k*(2*n-3))对于所有整数n和k-
赫尔穆特·鲁兰德
2024年1月26日
参考文献
Miklos Bona,编辑,《枚举组合数学手册》,CRC出版社,2015年,第565页。
G.Everest、A.van der Poorten、I.Shparlinski和T.Ward,《递归序列》,美国。
数学。
Soc.,2003年;
第9、179页。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
链接
Robert G.Wilson v,
n=0..100时的a(n)表
.
保罗·巴里,
Riordan-Bernstein多项式、Hankel变换和Somos序列
《整数序列杂志》,2012年第15卷,第12.8.2号。
-来自
N.J.A.斯隆
2012年12月29日
保罗·巴里,
关于序列的Hurwitz变换
《整数序列杂志》,第15卷(2012年),第12.8.7号。
保罗·巴里,
Riordan数组、A矩阵和Somos 4序列
,arXiv:1912.01126[math.CO],2019年。
保罗·巴里,
椭圆曲线的整数序列
,arXiv:2306.05025[math.NT],2023。
H.W.Braden、V.Z.Enolskii和A.N.W.Hone,
超椭圆sigma函数的双线性递推和加法公式
,arXiv:math/0501162[math.NT],2005年。
R.H.Buchholz和R.L.Rathbun,
具有两个有理中位数的Heron三角形的无限集
阿默尔。
数学。
月刊,104(1997),107-115。
张向科、胡星彪,
基于Somos-4序列的一个猜想及其推广
,线性代数应用。
436,第11期,4285-4295(2012)。
Harini Desiraju和Brady Haran,
问题制造者编号
,数字视频(2022)。
S.B.Ekhad和D.Zeilberger,
如何创造你所希望的那么多像大豆一样的奇迹
,arXiv预印本arXiv:1303.5306[math.CO],2013。
格雷厄姆·埃弗雷斯特(Graham Everest)、杰拉德·麦克拉伦(Gerard Mclaren)和汤姆·沃德(Tom Ward),
椭圆可除序列的本原因子
,arXiv:math/0409540[math.NT],2004-2006。
G.Everest、S.Stevens、D.Tamsett和T.Ward,
二次多项式序列的本原因子
,arXiv:math/0412079v1[math.NT],2004年。
G.Everest等人。,
递归序列生成的素数
,arXiv:math/0412079[math.NT],2006年。
G.Everest等人。,
递归序列生成的素数
阿默尔。
数学。
月刊,114(2007年第5期),417-431。
S.Fomin和A.Zelevinsky,
洛朗现象
,arXiv:math/0104241[math.CO],2001年。
Allan Fordy和Andrew Hone,
离散可积系统与簇映射中的Poisson代数
,arXiv预印本arXiv:1207.6072[nlin.SI],2012。
A.P.Fordy,
周期簇突变及其相关的可积映射
,arXiv预印本arXiv:1403.8061[math-ph],2014年。
A.P.Fordy,
突变周期箭图、可积映射和相关的泊松代数
,菲尔·Trans。
R.Soc.伦敦。
Ser A(数学、物理、工程和科学)369(1939)(2011)1264-1279。
大卫·盖尔,
Somos序列中奇怪而令人惊讶的传奇
,数学娱乐,数学。
Intelligencer 13(1)(1991),第40-42页。
R.W.Gosper和Richard C.Schroeppel,
Somos序列近加公式和模Theta函数
,arXiv:math/0703470[math.NT],2007年。
A.N.W.Hone,
Somos 5序列初值问题的Sigma函数解
,arXiv:math/0501554[math.NT],2005-2006。
A.N.W.Hone,
代数曲线、整数序列和离散Painlevé超越
《SIDE 6会议记录》,芬兰赫尔辛基,2004年;
arXiv:0807.2538[nlin.SI],2008年。
A.N.W.Hone,
椭圆曲线和二次递归序列
,公牛。
伦敦。
数学。
Soc.37(2005)161-171。
安德鲁·霍恩(Andrew N.W.Hone),
具有Laurent性质的动力学的Mahler测度增长和代数熵
,arXiv:2109.08217[math.NT],2021。
A.N.W.Hone和R.Inoue,
Y系统的离散Painlevé方程
,arXiv预印本arXiv:1405.5379[math-ph],2014
R.Jones和J.Rouse,
迭代自同态的伽罗瓦理论
,arXiv:0706.2384[数学.NT],2007-2009年;
《伦敦数学学会学报》,100,第3期(2010年),763-794。
马新荣,
Somos序列和θ函数的幻方行列式
,《离散数学》310.1(2010):1-5。
J.L.Malouf,
有理递归中的整数序列
,离散。
数学。
110 (1992), 257-261.
瓦伦丁·奥维辛科(Valentin Ovsienko)和谢尔盖·塔巴奇尼科夫(Serge Tabachnikov),
双数、加权箭图和扩展Somos和Gale-Robinson序列
,arXiv:1705.01623[math.CO],2017年。
见第3页。
Kevin I.Piterman和Leandro Vendramin,
带GAP的计算机代数
, 2023.
见第39页。
J.Propp,
Somos层序站点
J.Propp,
2002 REACH T恤
R.M.Robinson,
Somos序列的周期性
,程序。
阿默尔。
数学。
《社会学杂志》,116(1992),613-619。
赫尔穆特·鲁兰德,
Somos-4和RP^3中的一个四次曲面
,arXiv:2312.02085[math.AG],2023年。
马修·克里斯托弗·罗素,
用实验数学猜想和证明分割理论中的定理和交换递归与非交换递归
2016年5月,罗格斯大学数学系博士论文。
弗拉基米尔·舍维列夫(Vladimir Shevelev)和彼得·J·C·摩西(Peter J.C.Moses),
关于一类具有假设整系数的多项式序列
,arXiv预印本arXiv:1112.5715[math.NT],2011。
迈克尔·索莫斯,
Somos 6序列
迈克尔·索莫斯,
Somos序列问题简史
迈克尔·索莫斯,
四个多项式序列w,x,y,z是四个Jacobiθ函数或四个Weierstrass西格玛函数的离散版本
, 2016.
D.E.Speyer,
完美匹配与八面体递归
,arXiv:math/0402452[math.CO],2004年。
亚历克斯·斯通,
递归序列的惊人行为
《广达杂志》,2023年11月16日,13页。
安德烈·斯维宁,
Somos-4方程及相关方程
,arXiv:2307.05866[math.CA],2023年。
P.H.van der Kamp,
Somos-4和Somos-5是算术可除序列
,arXiv:1505.00194[math.NT],2015年。
A.J.van der Poorten,
椭圆序列的递归关系:每个Somos 4是一个Somos k
,arXiv:math/0412293[math.NT],2004年。
A.J.van der Poorten,
超椭圆曲线、连分式和Somos序列
,arXiv:math/0608247[math.NT],2006年。
A.J.van der Poorten,
椭圆曲线和连分数
《国际序列杂志》,第8卷,第2期(2005年),第05.2.5条。
莱安德罗·文德拉明,
GAP上的微型计算机-练习
,布宜诺斯艾利斯大学(阿根廷,2020年)。
埃里克·魏斯坦的数学世界,
Somos序列
双向无限序列的索引项
配方奶粉
a(n)=a(3-n)=(-1)^n*
A006769号
(2*n-3)表示Z中的所有n。
a(n+1)/a(n)似乎对C^n是渐近的,C=1.226-
贝诺伊特·克洛伊特
2002年8月7日。
由Hone确认-见下文。
序列的项具有前导阶渐近loga(n)~Dn^2,其中D=zeta(w1)*k^2/(2*w1)-log|sigma(k)|=0.1022281…其中zeta和sigma是Weierstrass函数,不变量g2=4,g3=-1,w1=1.496729323是相应椭圆曲线的实际半周期,k=-1.134273216如上所述。
这与Benoit Cloitre的数值结果一致,C=exp(2D)=1.2268447-
安德鲁·霍恩
,2005年2月9日
a(n)=(a(n-1)*a(n-3)+a(n-2)^2)/a(n-4);
a(0)=a(1)=a;
精确公式是a(n)=a*B^n*sigma(z_0+nk)/(sigma)(k)^(n^2),其中sigma是与椭圆曲线y^2=4*x^3-4*x+1相关的Weierstrass sigma函数,a=1/sigma 1.225694691*i,σ(k)
=1.555836426,精确到小数点后9位。
这是四阶双线性递推公式的一个特例。
Somos-4序列对应于曲线上点(2n-3)P的序列,其中P=(0,1)。
-
安德鲁·霍恩
2005年10月12日
a(2*n)=b(-n),a(2xn+1)=b(n-1),其中b(n)=
A188313号
(n) 对于Z中的所有n-
迈克尔·索莫斯
2022年2月27日
MAPLE公司
数字:=11;
f(x):=4*x^3-4*x+1;
sols:=evalf(解(f(x),x));
e1:=Re(sols[1]);
e3:=Re(sols[2]);
w1:=evalf(Int((f(x))^(-0.5),x=e1..无穷大));
w3:=I*evalf(Int((-f(x)))^(-0.5),x=-无穷大。
.e3));
k:=2*w1-evalf(Int((f(x))^(-0.5),x=1..无穷大));
z0:=w3+evalf(Int((f(x))^(-0.5),x=e3..-1));
A:=1/WierstrassSigma(z0,4.0,-1.0);
B:=WeierstrassSigma(k,4.0,-1.0)/WeiersstrassSigma-(z0+k,4.0-1.0)/A;
对于从0到10的n,做a[n]:=a*B^n*WeierstrassSigma(z0+n*k,4.0,-1.0)/;
#
安德鲁·霍恩
2005年10月12日
A006720型
:=进程(n)
选项记忆;
如果n<=3,则
1;
其他的
(procname(n-1)*进程名(n-3)+进程名(n-2)^2)/进程名(n-4);
结束条件:;
结束过程:#
R.J.马塔尔
2012年7月12日
数学
a[0]=a[1]=a[2]=a[3]=1;
a[n]:=a[n]=(a[n-1]a[n-3]+a[n-2]^2)/a[n-4];
数组[a,23](*
罗伯特·威尔逊v
2007年7月4日*)
递归表[{a[0]==a[1]==a[2]==a[3]==1,a[n]==(a[n-1]a[n-3]+a[n-2]^2)/a[n-4]},a,{n,30}](*
哈维·P·戴尔
2018年4月7日*)
b[n]:=如果[-2<=n<=2,{2,1,1,3,23}[[n+3]],2*a[n+2]^3*a[n+3]+a[n+1]^2*(a[n+3]*a[n+4]-a[n+2]*a[n+5])];
a[n_]:=如果[OddQ[n],b[(n-3)/2],b[-n/2]];
(*
迈克尔·索莫斯
2022年2月28日*)
黄体脂酮素
(PARI)a=矢量(99);
a[1]=a[2]=a[3]=a[4]=1;
对于(n=5,#a,a[n]=(a[n-1]*a[n-3]+a[n-2]^2)/a[n-4]);
一个\\
查尔斯·格里特豪斯四世
2011年6月16日
(哈斯克尔)
a006720 n=a006720_列表!!
n个
a006720_list=[1,1,1,1]++
zipWith-div(foldr1(zipWith(+)))(地图b[1..2]))a006720_list
其中b i=zipWith(*)(删除i a006720_list)(删除(4-i)a006720_ list)
--
莱因哈德·祖姆凯勒
2012年1月22日
(Python)
从gmpy2导入divexact
A006720型
= [1, 1, 1, 1]
对于范围(4101)内的n:
A006720型
.append(divexact(
A006720型
[n-1]*
A006720型
[n-3]+
A006720型
[n-2]**2,
A006720型
[n-4]))
#
柴华武
2014年9月1日
(岩浆)I:=[1,1,1,1];
[n le 4选择I[n]其他(自我(n-1)*自我(n-3)+自我(n-2)^2)/自我(n-4):[1..30]]中的n;
//
文森佐·利班迪
2017年8月7日
交叉参考
囊性纤维变性。
A006721号
,
A006722号
,
A006723号
,
A006769号
,
A048736号
,
A028945号
,
A028935号
,
A151502号
,
A165896号
,
A188313号
,
A051138号
,
A006769号
.
有关素数,请参见
A129739号
,
A129740号
,
A129741号
.
囊性纤维变性。
A227199型
(素数除以某项)。
囊性纤维变性。
A178384号
,
A247368号
.
上下文中的序列:
A346161型
A082449号
A129741号
*
A084710号
A088173号
A129739号
相邻序列:
A006717号
A006718号
A006719号
*
A006721号
A006722号
A006723号
关键词
非n
,
容易的
,
美好的
,
改变
作者
N.J.A.斯隆
状态
经核准的