login
Expansion of e.g.f.: (BesselI(0, 2*x) + BesselI(1, 2*x))^2*exp(2*x).
0

%I #16 Feb 09 2026 06:38:08

%S 1,4,18,86,428,2192,11468,60986,328532,1788368,9819128,54302712,

%T 302157424,1690193728,9497996152,53588976802,303434431108,

%U 1723578967056,9818195961512,56071829010968,320970950634288,1841213871449152,10582333064327824,60929582362628968,351385363433883472

%N Expansion of e.g.f.: (BesselI(0, 2*x) + BesselI(1, 2*x))^2*exp(2*x).

%C Binomial transform of A151093.

%C For p prime, a(p) - 2 == 0 (mod 2*p).

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

%F a(n) = Sum_{k=0..n} binomial(n, k)*A001405(n-k)*A001700(k).

%F a(n) = Sum_{k=0..n} binomial(n, k)*A005773(n-k+1)*A005773(k+1). - _Mélika Tebni_, Mar 19 2025

%F a(n) ~ 6^(n+1) / (Pi*n). - _Vaclav Kotesovec_, Feb 09 2026

%p a := n-> add(binomial(n, k)*binomial(n-k, iquo(n-k,2))*binomial(2*k+1,k+1), k = 0 .. n): seq(a(n), n = 0 .. 24);

%t len := 24; Table[n!,{n, 0, len}] CoefficientList[Series[(BesselI[0, 2x] + BesselI[1, 2x])^2 Exp[2x], {x, 0, len}], x] (* _Peter Luschny_, Mar 19 2025 *)

%o (Python)

%o from math import comb as C

%o def a(n):

%o return sum(C(n, k)*2**(n-k)*C(k, k//2)*C(k+1, (k+1)//2) for k in range(n+1))

%o print([a(n) for n in range(25)])

%o (PARI) my(x='x+O('x^30)); Vec(serlaplace((besseli(0, 2*x) + x*besseli(1, 2*x))^2*exp(2*x))) \\ _Michel Marcus_, Mar 11 2025

%Y Cf. A001405, A001700, A005566, A151093.

%K nonn

%O 0,2

%A _Mélika Tebni_, Mar 09 2025