%I #45 Jun 26 2024 10:23:14
%S 1,1,1,1,5,1,61,17,277,31,50521,691,540553,5461,199360981,929569,
%T 3878302429,3202291,2404879675441,221930581,14814847529501,4722116521,
%U 69348874393137901,56963745931,238685140977801337,14717667114151
%N Numerator of S(n)/Pi^n, where S(n) = Sum_{k=-inf..+inf} (4k+1)^(-n).
%C Reduced numerators of Favard constants.
%H Vincenzo Librandi, <a href="/A050970/b050970.txt">Table of n, a(n) for n = 1..200</a>
%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.
%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
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/FavardConstants.html">Favard Constants</a>
%F There is a simple formula in terms of Euler and Bernoulli numbers.
%F a(2n) = A046976(n), a(2n+1) = A089171(n+1) (conjectured).
%F Numerator of coefficients of expansion of (sec(x/2) + tan(x/2) + 1)/2 in powers of x. - _Sergei N. Gladkovskii_, Nov 11 2014
%e The first few values of S(n)/Pi^n are 1/4, 1/8, 1/32, 1/96, 5/1536, 1/960, ...
%p S := proc(n, k) option remember; if k = 0 then `if`(n = 0, 1, 0) else
%p S(n, k - 1) + S(n - 1, n - k) fi end: EZ := n -> S(n, n)/(2^n * n!):
%p A050970 := n -> numer(EZ(n-1)): seq(A050970(n), n=1..26); # _Peter Luschny_, Aug 02 2017
%p # alternative
%p A050970 := 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 numer(%) ;
%p end proc:
%p seq(A050970(n),n=1..20) ; # _R. J. Mathar_, Jun 26 2024
%t s[n_] := Sum[(4*k + 1)^(-n), {k, -Infinity, Infinity}]; a[n_] := Numerator[FullSimplify[s[n]/Pi^n]]; a[1] = 1; Table[a[n], {n, 1, 26}] (* _Jean-François Alcover_, Oct 25 2012 *)
%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] // Numerator, {n, 1, 26}] (* _Jean-François Alcover_, May 13 2013 *)
%t a[n_] := 4*Sum[((-1)^k/(2*k+1))^n, {k, 0, Infinity}] /. Pi -> 1 // Numerator; Table[a[n], {n, 1, 26}] (* _Jean-François Alcover_, Jun 20 2014 *)
%t Table[4/(2 Pi)^n LerchPhi[(-1)^n, n, 1/2], {n, 21}] // Numerator (* _Eric W. Weisstein_, Aug 02 2017 *)
%t Table[4/Pi^n If[Mod[n, 2] == 0, DirichletLambda, DirichletBeta][n], {n, 21}] // Numerator (* _Eric W. Weisstein_, Aug 02 2017 *)
%o (PARI) {a(n) = if( n<0, 0, numerator( polcoeff( 1 / (1 - tan(x/4 + x * O(x^n))), n)))}; /* _Michael Somos_, Nov 11 2014 */
%Y Denominators: A068205. See also A050971.
%Y Cf. A000828, A046982.
%K nonn,frac
%O 1,5
%A _Eric W. Weisstein_
%E Entry revised by _N. J. A. Sloane_, Mar 24 2002