login
Denominator of S(n)/Pi^n, where S(n) = Sum((4k+1)^(-n),k,-inf,+inf).
4

%I #18 Jun 26 2024 10:20:36

%S 4,8,32,96,1536,960,184320,161280,8257536,2903040,14863564800,

%T 638668800,1569592442880,49816166400,5713316492083200,83691159552000,

%U 1096956766479974400,2845499424768000,6713375410857443328000

%N Denominator of S(n)/Pi^n, where S(n) = Sum((4k+1)^(-n),k,-inf,+inf).

%H N. D. Elkies, <a href="http://arXiv.org/abs/math.CA/0101168">On the sums Sum((4k+1)^(-n),k,-inf,+inf)</a>, arXiv:math/0101168 [math.CA], 2001-2003.

%H N. D. Elkies, <a href="http://www.jstor.org/stable/3647742">On the sums Sum_{k = -infinity .. infinity} (4k+1)^(-n)</a>, Amer. Math. Monthly, 110 (No. 7, 2003), 561-573.

%H Z. K. Silagadze, <a href="https://arxiv.org/abs/1207.2055">Comment on the sums S(n) = sum(k=-inf..inf) 1/(4k+1)^n</a>, (2012) arXiv:1207.2055

%F There is a simple formula in terms of Euler and Bernoulli numbers.

%e The first few values of S(n)/Pi^n are 1/4, 1/8, 1/32, 1/96, 5/1536, 1/960, ...

%p A068205 := proc(n)

%p if type(n,'even') then

%p (-1)^(n/2)*2^(n-2)/(n-1)!*euler(n-1,0) ;

%p else

%p (-1)^((n-1)/2)*2^(n-2)/(n-1)!*euler(n-1,1/2) ;

%p end if;

%p %/2^n ;

%p denom(%) ;

%p end proc:

%p seq(A068205(n),n=1..20) ; # _R. J. Mathar_, Jun 26 2024

%t s[n_?EvenQ] := (-1)^(n/2-1)*(2^n-1)*BernoulliB[n]/(2*n!); s[n_?OddQ] := (-1)^((n-1)/2)*2^(-n-1)*EulerE[n-1]/(n-1)!; Table[s[n] // Denominator, {n, 1, 19}] (* _Jean-François Alcover_, May 13 2013 *)

%t a[n_] := Sum[((-1)^k/(2*k+1))^n, {k, 0, Infinity}] /. Pi -> 1 // Denominator; Table[a[n], {n, 1, 19}] (* _Jean-François Alcover_, Jun 20 2014 *)

%Y Numerators: A050970.

%K nonn,frac

%O 1,1

%A _N. J. A. Sloane_, Mar 24 2002