例如:求和{n>=0}a(n)*x^(2*n)/(2*n)!=秒(x)-迈克尔·索莫斯2007年8月15日
例如:和{n>=0}a(n)*x^(2*n+1)/(2*n+1)!=gd^(-1)(x)-迈克尔·索莫斯2007年8月15日
例如:和{n>=0}a(n)*x^(2*n+1)/(2*n+1)!=2*阿卡坦(cosec(x)-科坦(x))-拉尔夫·斯蒂芬2004年12月16日
Pi/4-[Sum_{k=0..n-1}(-1)^k/(2*k+1)]~(1/2)*[Sum_{k>=0}(-1)^k*E(k)/(2*n)^(2k+1)]表示正偶数n
此外,对于正奇数n,log(2)-Sum_{k=1..(n-1)/2}(-1)^(k-1)/k~(-1)qu(n-1-彼得·巴拉2016年10月29日
设M_n是n×n矩阵M_n(i,j)=二项式(2*i,2*(j-1))=A086645美元(i,j-1);则对于n>0,a(n)=det(M_n);示例:det([1,1,0,0;1,6,1,0;1/15,15,1;1,28,70,28])=1385-菲利普·德尔汉姆2005年9月4日
这个序列也是(-1)^n*EulerE(2*n)或abs(EulerE*n)Paul Abbott(Paul(AT)physics.uwa.edu.au),2006年4月14日
a(n)=2^n*E_n(1/2),其中E_n(x)是一个欧拉多项式。
a(k)=a(j)(mod 2^n)当且仅当k==j(mod 2 ^n)(k和j是偶数)。[Stern;另见Wagstaff和Sun]
E_k(3^(k+1)+1)/4=(3^k/2)*Sum_{j=0..2^n-1}(-1)^(j-1)*(2j+1)^k*[(3j+1)/2^n](mod 2^n)其中k是偶数,[x]是最大的整数函数。[太阳]
a(n)~2^(2*n+2)*(2*n)/Pi^(2*n+1)表示n->无穷大。[由更正瓦茨拉夫·科特索维奇2021年7月10日]
递归:a(n)=-(-1)^n*Sum_{i=0..n-1}(-1)^i*a(i)*二项式(2*n,2*i)-拉尔夫·斯蒂芬2005年2月24日
O.g.f.:1/(1-x/(1-4*x/(1~9*x/)(1-16*x/…-n^2*x/,1-…)))(因T.J.Stieltjes而产生的续分数)-保罗·D·汉纳2005年10月7日
a(n)=(积分{t=0..Pi}对数(tan(t/2)^2)^(2n)dt)/Pi^(2 n+1).-Logan Kleinwaks(美国普林斯顿大学校友),2007年3月15日
a(n)=2*(-1)^n*L(-2*n),其中L(s)是狄利克雷L函数L(s)=1-1/3^s+1/5^s-+。。。。(结束)
求和{n>=0}a(n)*z^(2*n)/(4*n)!!=Beta(1/2-z/(2*Pi),1/2+z/(2%Pi))/Beta(1/2,1/2),Beta(z,w)为Beta函数-约翰内斯·梅耶尔2009年7月6日
a(n)=总和(总和_(二项式(k,m)*(-1)^(n+k)/(2^(m-1))*总和_(二项式(m,j)*(2*j-m)^-弗拉基米尔·克鲁奇宁2010年8月5日
(1)... a(n)=(-1/4)^n*B(2*n,-1),
其中{B(n,x)}n>=1=[1,1+x,1+6*x+x^2,1+23*x+23*x2+x^3,…]是B型欧拉多项式的序列-参见A060187号等效地,
(2)... a(n)=和{k=0..2*n}和{j=0..k}(-1)^(n-j)*二项式(2*n+1,k-j)*(j+1/2)^。
我们也有
(3)... a(n)=2*a(2*n,i)/(1+i)^(2*n+1),
其中i=sqrt(-1)和{A(n,x)}n>=1=[x,x+x^2,x+4*x^2+x^3,…]表示欧拉多项式序列-参见A008292号等效地,
(4)... a(n)=i*Sum_{k=1..2*n}(-1)^(n+k)*k*箍筋2(2*n,k)*((1+i)/2)^(k-1)
=i*Sum_{k=1..2*n}(-1)^(n+k)*((1+i)/2)^。
上述a(n)或(2)的显式公式均可用于获得a(n”)的同余结果。例如,对于素数p
(5a)。。。a(p)=1(mod p)
(5b)。。。a(2*p)=5(mod p)
对于奇素数p
(6a)。。。a((p+1)/2)=(-1)^((p-1)/2)(mod p)
(6b)。。。a((p-1)/2)=-1+(-1)^((p-1/2)(mod p)。
(结束)
a(n)=(-1)^n*2^(4*n+1)*(zeta(-2*n,1/4)-zeta(-2-n,3/4))-格里·马滕斯2011年5月27日
a(n)可以表示为将2*n的所有组成部分取为偶数部分的多项式之和(Vella 2008):a(n)=sum_{compositions 2*i_1+…+2*i_k=2*n}(-1)^(n+k)*多项式(2*n,2*i_1,…,2*i _k)。例如,数字6有4个组成部分为偶数,即6、4+2、2+4和2+2+2,因此a(3)=6/6! - 6个/(4!*2!) - 6!/(2!*4!) + 6!/(2!*2!*2!) = 61. Malenfant 2011给出了一个伴随公式,将A(n)表示为将2*n-1的成分转化为奇数部分的多项式之和-彼得·巴拉2011年7月7日
a(n)=M^n中的左上项,其中M是无限平方生产矩阵;M[i,j]=A000290型(i) =i^2,i>=1和1<=j<=i+1,以及M[i,j]=0,i>=1和j>=i+2(参见示例)-加里·亚当森2011年7月18日
例如,A'(x)满足微分方程A'(x)=cos(A(x))-弗拉基米尔·克鲁奇宁2011年11月3日
a(n)=D^(2*n)(cosh(x)),在x=0处求值,其中D是算子cosh(x)*D/dx。a(n)=D^(2*n-1)(f(x))在x=0时求值,其中f(x)=1+x+x^2/2!D是算子f(x)*D/dx。
其他生成函数:cosh(Integral_{t=0..x}1/cos(t))dt=1+x^2/2!+5*x^4/4!+61*x^6/6!+1385*x^8/8!+。。。。囊性纤维变性。A012131号.
A(x):=弧(tan(x))=对数(秒(x)+tan(x))=x+x^3/3!+5*x^5/5!+61*x^7/7!+1385*x^9/9!+。。。。A(x)满足A'(x)=cosh(A(x”))。
B(x):=序列反转(对数(秒(x)+tan(x)))=x-x^3/3!+5*x^5/5!-61*x^7/7!+1385*x^9/9!-…=arctan(sinh(x))。B(x)满足B'(x)=cos(B(x”))。(结束)
a(0)=1,对于n>0,a(n)=(-1)^n*((4*n+1)/(2*n+1”)-和{k=1..n}(4^(2*k)/2*k)*二项式(2*n,2*k-1)*A000367号(k)/A002445号(k) );请参阅Bucur等人的链接-L.埃德森·杰弗里2012年9月17日
O.g.f.:求和{n>=0}(2*n)/2^n*x^n/产品{k=1..n}(1+k^2*x)-保罗·D·汉纳2012年9月20日
连续分数:
例如:(秒(x))=1+x^2/T(0),T(k)=2(k+1)(2k+1)-x^2+x^2*(2k+1)(2k+2)/T(k+1)。
例如:2/Q(0),其中Q(k)=1+1/(1-x^2/(x^2-2*(k+1)*(2*k+1)/Q(k+1))。
G.f.:1/Q(0),其中Q(k)=1+x*k*(3*k-1)-x*(k+1)*(2*k+1)x(x*k^2+1)/Q(k+1)。
例如:(2+x^2+2*U(0))/(2+(2-x^2)*U(O)),其中U(k)=4*k+4+1/(1+x^2/(2-x*k+3)*(2*k+4)/U(k+1)))。
例如:1/cos(x)=8*(x^2+1)/(4*x^2+8-x^4*U(0)),其中U(k)=1+4*(k+1)*(k+2)/(2*k+3-x^2*(2*k+3)/。
G.f.:1/U(0),其中U(k)=1+x-x*(2*k+1)*(2*k+2)/(1-x*(2*k+1)*(2*k+2)/U(k+1))。
G.f.:1+x/G(0),其中G(k)=1+x-x*(2*k+2)*(2xk+3)/(1-x*(2%k+2。
设F(x)=秒(x^(1/2))=和{n>=0}a(n)*x^n/(2*n)!,则F(x)=2/(Q(0)+1),其中Q(k)=1-x/(2*k+1)/(2xk+2)/(1-1/(1+1/Q(k+1)))。
G.f.:Q(0),其中Q(k)=1-x*(k+1)^2/(x*(k+1)^2-1/Q(k+1))。
例如:1/cos(x)=1+x^2/(2-x^2)*Q(0),其中Q(k)=1-2*x^2*(k+1)*(2*k+1)/。(结束)
a(n)=Sum_{k=1..2*n}(Sum_{i=0..k-1}(i-k)^(2*n)*二项式(2*k,i)*(-1^(i+k+n))/2^(k-1)对于n>0,a(0)=1-弗拉基米尔·克鲁奇宁2012年10月5日
似乎a(n)=3*A076552号当n>=1时,(n-1)+2*(-1)^n。猜想同余:对于n>=1,a(2*n)==5(mod 60);对于n>=0,a(2*n+1)==1(mod 600)-彼得·巴拉2013年7月26日
O.g.f:求和{n>=0}1/2^n*求和{k=0..n}(-1)^k*二项式(n,k)/(1-sqrt(-x)*(2*k+1))=求和{n>=0{1/2^n*求和}k=0..n}。
O.g.f.是1+x*d/dx(log(f(x))),其中f(x”)=1+x+3*x^2+23*x^3+371*x^4+。。。是o.g.fA255881型.(结束)
总和_(n>=1,A034947号(n) /n^(2d+1))=a(d)*Pi^(2d+1)/(2^(2-d+2)-2)(2d)!对于d>=0;参见Allouche和Sondow,2015年-乔纳森·桑多2015年3月21日
渐近展开:4*(4*n/(Pi*e))^(2*n+1/2)*exp(1/2+1/(24*n)-1/(2880*n^3)+1/(40320*n^5)-…)。(请参阅Luschny链接。)-彼得·卢什尼,2015年7月14日
a(n)=2*(-1)^n*Im(Li_{-2n}(i)),其中Li_n(x)是多对数,i=sqrt(-1)-弗拉基米尔·雷谢特尼科夫2015年10月22日
极限{n->infinity}((2*n)/a(n))^(1/(2*n))=Pi/2-斯坦尼斯拉夫·西科拉,2016年10月7日
O.g.f.:1/(1+x-2*x/(1-2*x/[(1+x-12*x/-彼得·巴拉2017年11月9日
对于n>0,a(n)=(-PolyGamma(2*n,1/4)/2^-瓦茨拉夫·科特索维奇2020年5月4日
a(n)~2^(4*n+3)*n^(2*n+1/2)/(Pi^(2*n+1/2)*exp(2*n))*exp(和{k>=1}伯努利(k+1)/(k*(k+1”)*2^k*n^k))-瓦茨拉夫·科特索维奇2021年3月5日
由于Stern(mod 4)和Knuth&Buckholtz(mod 3和5)的结果,Peter Bala对n>=1和a(2n+1)==1(mod 60)的同余猜想成立-查尔斯·R·Greathouse IV2022年3月23日
|