login
Expansion of e.g.f. -LambertW((1 - exp(2*x))/2).
2

%I #22 Sep 11 2024 10:05:39

%S 0,1,4,25,236,3061,50670,1020881,24245576,663290281,20541118266,

%T 710366714773,27135242829436,1134708855427629,51556563327940390,

%U 2529164265815033241,133229047747850647312,7500633471737652798673,449445732625670948076530

%N Expansion of e.g.f. -LambertW((1 - exp(2*x))/2).

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

%H <a href="/index/Res#revert">Index entries for reversions of series</a>

%F a(n) = Sum_{k=1..n} 2^(n-k) * k^(k-1) * Stirling2(n,k).

%F a(n) ~ 2^(n - 1/2) * sqrt(exp(1) + 2) * n^(n-1) / (exp(n) * (log(exp(1) + 2) - 1)^(n - 1/2)). - _Vaclav Kotesovec_, Oct 04 2022

%F E.g.f.: Series_Reversion( (log(1 + 2 * x * exp(-x)))/2 ). - _Seiichi Manyama_, Sep 11 2024

%t With[{m = 20}, Range[0, m]! * CoefficientList[Series[-ProductLog[(1 - Exp[2*x])/2], {x, 0, m}], x]] (* _Amiram Eldar_, Sep 24 2022 *)

%o (PARI) my(N=20, x='x+O('x^N)); concat(0, Vec(serlaplace(-lambertw((1-exp(2*x))/2))))

%o (PARI) a(n) = sum(k=1, n, 2^(n-k)*k^(k-1)*stirling(n, k, 2));

%Y Cf. A048802, A356001.

%Y Cf. A357335.

%K nonn

%O 0,3

%A _Seiichi Manyama_, Sep 24 2022