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

%I #9 Dec 07 2023 08:23:29

%S 1,3,17,115,929,8547,87729,988883,12100929,159331523,2241395537,

%T 33493315379,529089873121,8799587162659,153545747910129,

%U 2802447872764307,53358770299683457,1057354788073681283,21760656533457251985,464240718007022020083,10249389749356980403745

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

%F G.f. A(x) satisfies: A(x) = 1 - x * ( A(x) - 4 * A(x/(1 - 2*x)) / (1 - 2*x) ).

%F a(n) = exp(-2) * Sum_{k>=0} 2^k * (2*k-1)^n / k!.

%F a(0) = 1; a(n) = -a(n-1) + Sum_{k=1..n} binomial(n-1,k-1) * 2^(k+1) * a(n-k).

%t nmax = 20; CoefficientList[Series[Exp[2 (Exp[2 x] - 1) - x], {x, 0, nmax}], x] Range[0, nmax]!

%t a[0] = 1; a[n_] := a[n] = -a[n - 1] + Sum[Binomial[n - 1, k - 1] 2^(k + 1) a[n - k], {k, 1, n}]; Table[a[n], {n, 0, 20}]

%o (PARI) my(x='x+O('x^30)); Vec(serlaplace(exp(2*(exp(2*x) - 1) - x))) \\ _Michel Marcus_, Dec 07 2023

%Y Cf. A000296, A124311, A217924, A308543, A367946.

%K nonn

%O 0,2

%A _Ilya Gutkovskiy_, Dec 05 2023