login
Subswing - the inverse binomial transform of the swinging factorial (A056040).
9

%I #16 Jul 04 2023 08:51:10

%S 1,0,1,2,-9,44,-165,594,-2037,6824,-22437,72830,-234047,746316,

%T -2364947,7455798,-23405085,73207728,-228275949,709906518,-2202557691,

%U 6819616020,-21076580511,65032888998,-200369138571,616531573224,-1894784517675,5816886949874

%N Subswing - the inverse binomial transform of the swinging factorial (A056040).

%C Analog to the subfactorial A000166.

%H G. C. Greubel, <a href="/A163650/b163650.txt">Table of n, a(n) for n = 0..1000</a>

%H Peter Luschny, <a href="http://www.luschny.de/math/swing/SwingingFactorial.html"> Swinging Factorial.</a>

%F E.g.f.: exp(-x)*BesselI(0,2*x)*(1+x). - _Peter Luschny_, Aug 26 2012

%F a(n) = Sum_{k=0..n} (-1)^(n-k) * binomial(n,k)*(k!/(floor(k/2)!)^2). - _G. C. Greubel_, Aug 01 2017

%F a(n) ~ -(-1)^n * sqrt(n) * 3^(n - 1/2) / (2*sqrt(Pi)). - _Vaclav Kotesovec_, Oct 31 2017

%F D-finite with recurrence n*a(n) +5*(n-1)*a(n-1) +(n-4)*a(n-2) +(-13*n+23)*a(n-3) +6*(n-3)*a(n-4)=0. - _R. J. Mathar_, Jul 04 2023

%p a := proc(n) local k: add((-1)^(n-k)*binomial(n,k)*(k!/iquo(k,2)!^2), k=0..n) end:

%t sf[n_] := n!/Quotient[n, 2]!^2; a[n_] := Sum[(-1)^(n-k)*Binomial[n, k]*sf[k], {k, 0, n}]; Table[a[n], {n, 0, 27}] (* _Jean-François Alcover_, Jun 28 2013 *)

%o (PARI) for(n=0,50, print1(sum(k=0,n, (-1)^(n-k)*binomial(n,k)*(k!/((k\2)!)^2)), ", ")) \\ _G. C. Greubel_, Aug 01 2017

%Y Row sums of A163649. Cf. A056040, A000166.

%K sign

%O 0,4

%A _Peter Luschny_, Aug 02 2009