OFFSET
0,2
COMMENTS
In general, if k > 0 and e.g.f.: Sum_{j>=0} k^j * (exp(j*x) - 1)^j, then a(n) ~ c * (1 + k*exp(1/r))^n * r^(2*n) * n!^2 / sqrt(n), where r is the root of the equation exp(1/r) * (1 + 1/(r*LambertW(-exp(-1/r)/r))) = -1/k and c is a constant (dependent only on k).
Conjecture: Let p be prime. The sequence obtained by reducing a(n) modulo p for n >= 1 is purely periodic with period p - 1. For example, modulo 7 the sequence becomes [4, 6, 3, 0, 1, 0, 4, 6, 3, 0, 1, 0, 4, 6, 3, 0, 1, 0, ...], with an apparent period of 6. - Peter Bala, May 31 2022
LINKS
Seiichi Manyama, Table of n, a(n) for n = 0..207
FORMULA
a(n) = Sum_{j=0..n} 4^j * j^n * j! * Stirling2(n,j).
a(n) ~ c * (1 + 4*exp(1/r))^n * r^(2*n) * n!^2 / sqrt(n), where r = 0.95894043087329419322124137165060249611787608513866855417024... is the root of the equation exp(1/r) * (1 + 1/(r*LambertW(-exp(-1/r)/r))) = -1/4 and c = 0.37483929689722634406486945426531890297038414869116425498643733178324...
MATHEMATICA
Flatten[{1, Table[Sum[4^j * j^n * j! * StirlingS2[n, j], {j, 0, n}], {n, 1, 20}]}]
nmax = 20; CoefficientList[Series[1 + Sum[4^j*(Exp[j*x] - 1)^j, {j, 1, nmax}], {x, 0, nmax}], x] * Range[0, nmax]!
PROG
(PARI) {a(n)=local(X=x+x*O(x^n)); n!*polcoeff(sum(m=0, n, 4^m*(exp(m*X)-1)^m), n)}
CROSSREFS
KEYWORD
nonn
AUTHOR
Vaclav Kotesovec, Oct 08 2020
STATUS
approved