login
E.g.f. satisfies A(x)^A(x) = 1/(1 - x)^(x^3).
2

%I #16 Feb 16 2025 08:34:03

%S 1,0,0,0,24,60,240,1260,-12096,-120960,-1144800,-11642400,190270080,

%T 4670265600,81378198720,1348668921600,-880532674560,-406217626214400,

%U -13255586359142400,-343166884178227200,-3137937973466572800,72862796986940620800

%N E.g.f. satisfies A(x)^A(x) = 1/(1 - x)^(x^3).

%H Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/LambertW-Function.html">Lambert W-Function</a>.

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

%F E.g.f.: A(x) = Sum_{k>=0} (-k+1)^(k-1) * (-x^3 * log(1-x))^k / k!.

%F E.g.f.: A(x) = exp( LambertW(-x^3 * log(1-x)) ).

%F E.g.f.: A(x) = -x^3 * log(1-x)/LambertW(-x^3 * log(1-x)).

%t nmax = 21; A[_] = 1;

%t Do[A[x_] = ((1 - x)^(-x^3))^(1/A[x]) + O[x]^(nmax+1) // Normal, {nmax}];

%t CoefficientList[A[x], x]*Range[0, nmax]! (* _Jean-François Alcover_, Mar 04 2024 *)

%o (PARI) a(n) = n!*sum(k=0, n\4, (-k+1)^(k-1)*abs(stirling(n-3*k, k, 1))/(n-3*k)!);

%o (PARI) my(N=30, x='x+O('x^N)); Vec(serlaplace(sum(k=0, N, (-k+1)^(k-1)*(-x^3*log(1-x))^k/k!)))

%o (PARI) my(N=30, x='x+O('x^N)); Vec(serlaplace(exp(lambertw(-x^3*log(1-x)))))

%o (PARI) my(N=30, x='x+O('x^N)); Vec(serlaplace(-x^3*log(1-x)/lambertw(-x^3*log(1-x))))

%Y Cf. A356905, A356910.

%Y Cf. A353229, A356099.

%K sign,changed

%O 0,5

%A _Seiichi Manyama_, Sep 03 2022