%I #32 Jan 25 2024 05:22:12
%S -1,-1,-1,-5,-7,-15,-7601,-91,-3617,-745739,-3317609,-5981591,
%T -5436374093,-213827575,-213745149261,-249859397004145,
%U -238988952277727,-28354566442037,-26315271553053477373,-108409774812137683,-3394075340453838586663,-62324003400640902910331
%N Numerators of expansion of e.g.f. x^2/(2*(cos(x)-1)), even powers only.
%C Numerators and denominators given only for even n (odd n have numerators = 0).
%D J. Riordan, Combinatorial Identities, Wiley, 1968, p. 199. See Table 3.3.
%H Robert Israel, <a href="/A132094/b132094.txt">Table of n, a(n) for n = 1..288</a>
%H Hector Blandin and Rafael Diaz, <a href="http://arXiv.org/abs/0708.0809">Compositional Bernoulli numbers</a>, arXiv:0708.0809 [math.CO], 2007-2008, p. 8, 2nd table.
%F Asymptotic series 2*Psi(1,x) + x*Psi(2,x) ~ Sum_{n>=1} (-1)^n* a(n)/(A132095(n)*x^(2*n-1)) as x -> oo. - _Robert Israel_, May 27 2015
%e -1, 0, -1/6, 0, -1/10, 0, -5/42, 0, -7/30, 0, -15/22, 0, -7601/2730, 0.
%p A132094 := proc(n) add( 2*(-1)^i*x^(2*i)/(2*i+2)!,i=0..n+1) ; numer(coeftayl(-1/%,x=0,n)*n!) ; end: for n from 0 to 46 by 2 do printf("%d, ",A132094(n)) ; od: # _R. J. Mathar_, Oct 18 2007
%t A132094[n_] := (s = Sum[ 2*(-1)^i*x^(2*i)/(2*i + 2)!, {i, 0, n + 1}]; Numerator[SeriesCoefficient[-1/s, {x, 0, n}]*n!]);
%t Table[A132094[n], {n, 0, 46, 2}] (* _Jean-François Alcover_, Nov 24 2017, after _R. J. Mathar_ *)
%o (PARI) my(x='x+O('x^50), v=apply(numerator, Vec(serlaplace(x^2/(2*(cos(x)-1)))))); vector(#v\2, k, v[2*k-1]) \\ _Michel Marcus_, Jan 25 2024
%Y Denominators are A132095.
%Y Cf. A132092-A132099.
%K frac,sign
%O 1,4
%A _Jonathan Vos Post_, Aug 09 2007
%E More terms from _R. J. Mathar_, Oct 18 2007
%E Meaningful name from _Joerg Arndt_, Jan 25 2024
|