a(n)=a(5-n)。
迈克尔·索莫斯(Michael Somos)在1993年发现了一个a(n)的显式公式,该公式并不像人们应该知道的那样广为人知。以下引用了链接部分中提到的“Somos 6序列”文档:(开始)
这个序列是一大类数字序列中的一个,这些数字序列根据前面的项满足非线性递归关系。它也是一类可以从θ序列计算出来的序列之一,因此我称之为θ序列。以下是详细信息:
固定以下七个常量:
c1=0.875782749065950194217251。。。,
c2=1.084125925473763343779968。。。,
c3=0.114986002186402203509006。。。,
c4=0.077115634258697284328024。。。,
c5=1.180397390176742642553759。。。,
c6=1.50803083126508644709898…,和
c7=2.551548771413081602906643。
考虑双指数级数:f(x,y)=c1*c2^(x*y)*sum(k2,(-1)^k2*sum。在这里,两个总和的范围都是所有整数。
那么由a(n)=f(n-2.5,n-2.5)定义的序列就是Somos 6序列。我在1993年宣布了这一点。(结束)-N.J.A.斯隆2015年12月6日
发件人安德鲁·霍恩和Yuri Fedorov,2015年11月27日:(开始)
以下是a(n)的精确公式:
a(n+3)=a*B^n*C^(n^2-1)*西格玛(v_0+n*v)/西格玛,
哪里
A=C/西格玛(v_0),
B=A^(-1)*σ(v)/σ(v_0+v),
C=i/sqrt(20)(i为虚单位),
西格玛是与亏格二曲线X:y^2=4*X^5-233*X^4+1624*X^3-422*X^2+36*X-1相关的双变量Kleinian西格玛函数,以及
v和v_0是X的雅可比矩阵中的两个分量向量,分别是除数P_1+P_2-2*无穷大、Q_1+Q_2-2*无限大的Abel映射下的图像,其中X上的点P_j和Q_j由下式给出
P_1=(-8+平方米(65),20*i*(129-16*sqrt(65))),
P_2=(-8-平方(65),20*i*(129+16*sqrt(65))),
Q_1=(5+2*sqrt(6),4*i*(71+sqert(6))),
Q_2=(5-2*sqrt{6},4*i*(71-sqrt(6)))。
阿贝尔映射以无穷大为基础,并根据全纯微分dx/y,xdx/y。
Maple的近似值为A=0.0619-0.0317*i,B=-0.0000973-0.0000158*i,v=(-.341*i,.477*i),v _0=(-0.379-.150*i,-.259+.576*i)。
(结束)