cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A113071 Expansion of g.f. ((1+x)/(1-3*x))^2.

This page as a plain text file.
%I A113071 #17 Jan 31 2025 14:56:22
%S A113071 1,8,40,168,648,2376,8424,29160,99144,332424,1102248,3621672,11809800,
%T A113071 38263752,123294312,395392104,1262703816,4017693960,12741829416,
%U A113071 40291730856,127073920392,399817944648,1255242384360,3933092804328
%N A113071 Expansion of g.f. ((1+x)/(1-3*x))^2.
%C A113071 Binomial transform is A014916. In general, ((1+x)/(1-r*x))^2 expands to a(n) = ((r+1)*r^n*((r+1)*n + r-1) + 0^n)/r^2, which is also a(n) = Sum_{k=0..n} C(n,k)*Sum_{j=0..k} (j+1)*(r+1)^j. This is the self-convolution of the coordination sequence for the infinite tree with valency r.
%H A113071 G. C. Greubel, <a href="/A113071/b113071.txt">Table of n, a(n) for n = 0..1000</a>
%H A113071 <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (6,-9).
%F A113071 G.f.: (1+x)^2/(1-3*x)^2. [Corrected by _Georg Fischer_, May 24 2019]
%F A113071 a(n) = (8*3^n*(2*n+1) + 0^n)/9 = (4*3^n*(4*n+2) + 0^n)/9;
%F A113071 a(n) = Sum_{k=0..n} A003946(k)*A003946(n-k).
%F A113071 a(n) = Sum_{k=0..n} C(n, k)*Sum_{j=0..k} (j+1)*4^j.
%F A113071 a(n) = 8*A081038(n-1), n>0. - _R. J. Mathar_, Nov 28 2014
%F A113071 E.g.f.: (1 + 8*exp(3*x)*(1 + 6*x))/9. - _Stefano Spezia_, Jan 31 2025
%t A113071 CoefficientList[Series[(1+x)^2/(1-3x)^2, {x, 0, 30}], x] (* _Georg Fischer_, May 24 2019 *)
%t A113071 LinearRecurrence[{6,-9}, {1,8,40}, 30] (* _G. C. Greubel_, May 24 2019 *)
%o A113071 (PARI) my(x='x+O('x^30)); Vec(((1+x)/(1-3*x))^2) \\ _G. C. Greubel_, May 24 2019
%o A113071 (Magma) I:=[8,40]; [1] cat [n le 2 select I[n] else 6*Self(n-1) - 9*Self(n-2): n in [1..30]]; // _G. C. Greubel_, May 24 2019
%o A113071 (Sage) (((1+x)/(1-3*x))^2).series(x, 30).coefficients(x, sparse=False) # _G. C. Greubel_, May 24 2019
%o A113071 (GAP) a:=[1,8,40];; for n in [4..30] do a[n]:=6*a[n-1]-9*a[n-2]; od; a; # _G. C. Greubel_, May 24 2019
%Y A113071 Cf. A003946, A014916, A081038.
%K A113071 easy,nonn
%O A113071 0,2
%A A113071 _Paul Barry_, Oct 14 2005