login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A329478 a(n) = (Sum_{k=0..n-1}(-1)^k*(15*k+8)*beta(k)*t(k))/(2*n), where beta(k) = A005258(k), and t(k) is the coefficient of x^k in the expansion of (x^2+4*x-1)^k. 1

%I #5 Nov 14 2019 14:41:16

%S 4,-67,1640,-37725,565296,11056402,-1580442016,96102180805,

%T -4456155445400,168095261788962,-4821193706309376,61671590987433918,

%U 4332508360801598880,-462368336475965777100,28320921191994637110240,-1347995180149692947542005,51430890880452230248836840

%N a(n) = (Sum_{k=0..n-1}(-1)^k*(15*k+8)*beta(k)*t(k))/(2*n), where beta(k) = A005258(k), and t(k) is the coefficient of x^k in the expansion of (x^2+4*x-1)^k.

%C Conjecture 1: (i) a(n) is an integer for each n > 0. Moreover, a(n) is odd if and only if n is a positive power of two.

%C (ii) For any prime p, we have a(p) == (27*Leg(p/3) + 5*Leg(p/5))/8 (mod p), where Leg refers to the Legendre symbol.

%C Conjecture 2: Let p > 5 be a prime and let S(p) = Sum_{k=0..p-1}(-1)^k*beta(k)*t(k). If p == 1,4 (mod 5) and p = x^2 + 15*y^2 (with x and y integers), then S(p) == 4*x^2-2p (mod p^2). If p == 2,8 (mod 15) and p = 3*x^2 + 5*y^2, then S(p) == 12*x^2-2p (mod p^2). If Leg(-15/p) = -1, then S(p) == 0 (mod p^2).

%H Zhi-Wei Sun, <a href="/A329478/b329478.txt">Table of n, a(n) for n = 1..100</a>

%H Zhi-Wei Sun, <a href="http://arxiv.org/abs/1911.05456">Characterizing rational Ramanujan-type series for 1/Pi via congruences</a>, arXiv:1911.05456 [math.NT], 2019.

%e a(1) = 4 since (-1)^0*(15*0+8)*beta(0)*t(0))/(2*1) = 8/2 = 4.

%t T[b_,c_,0]=1;T[b_,c_,1]=b;T[b_,c_,n_]:=T[b,c,n]=(b(2n-1)T[b,c,n-1]-(b^2-4c)(n-1)T[b,c,n-2])/n;

%t beta[n_]:=beta[n]=Sum[Binomial[n,k]^2*Binomial[n+k,k],{k,0,n}];

%t a[n_]:=a[n]=Sum[(-1)^k*(15k+8)*beta[k]*T[4,-1,k],{k,0,n-1}]/(2*n);

%t Table[a[n],{n,1,17}]

%Y Cf. A002426, A005258.

%K sign

%O 1,1

%A _Zhi-Wei Sun_, Nov 13 2019

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 20:05 EDT 2024. Contains 371254 sequences. (Running on oeis4.)