login
Expansion of e.g.f. (1/x) * Series_Reversion( x + log(1-x^4)/x^2 ).
2

%I #18 Jan 25 2026 04:02:53

%S 1,1,4,30,336,5100,97920,2275560,62092800,1946064960,68894582400,

%T 2719175659200,118394186803200,5637541432723200,291441967584768000,

%U 16256535509069856000,973201947936970752000,62239242631037010739200,4234925802836604395520000

%N Expansion of e.g.f. (1/x) * Series_Reversion( x + log(1-x^4)/x^2 ).

%H Vincenzo Librandi, <a href="/A392785/b392785.txt">Table of n, a(n) for n = 0..300</a>

%F E.g.f. A(x) satisfies A(x) = 1/(1 + log(1-(x*A(x))^4)/(x*A(x))^3).

%F a(n) = (1/(n+1)) * Sum_{k=0..floor(n/4)} (2*n-4*k)! * |Stirling1(n-3*k,n-4*k)|/(n-3*k)!.

%t nmax = 20; CoefficientList[1/x*InverseSeries[Series[x + Log[1 - x^4]/x^2, {x, 0, nmax + 1}], x], x] * Range[0, nmax]! (* _Vaclav Kotesovec_, Jan 23 2026 *)

%t Table[(1/(n+1))*Sum[(2*n-4*k)!*Abs[StirlingS1[n-3*k,n-4*k]/(n-3*k)!],{k,0,Floor[n/4]}],{n,0,21}] (* _Vincenzo Librandi_, Jan 24 2026 *)

%o (PARI) my(N=20, x='x+O('x^N)); Vec(serlaplace(serreverse(x+log(1-x^4)/x^2)/x))

%o (Magma) N := 20; R<x> := PowerSeriesRing(Rationals(), 30); f := x + Log(1 - x^4)/x^2; g := Reversion(f); h := g / x; L := R!0; for n in [0..N-1] do L +:= Coefficient(h, n) * Factorial(n) * x^n; end for; [ Coefficient(L, n) : n in [0..N-1] ]; // _Vincenzo Librandi_, Jan 24 2026

%Y Cf. A052802, A213641, A392784.

%Y Cf. A392787, A392790.

%K nonn

%O 0,3

%A _Seiichi Manyama_, Jan 22 2026