A290995 p-INVERT of (1,1,1,1,1,...), where p(S) = 1 - S^8.

0, 0, 0, 0, 0, 0, 0, 1, 8, 36, 120, 330, 792, 1716, 3432, 6436, 11456, 19584, 32640, 54264, 93024, 170544, 341088, 735472, 1653632, 3749760, 8386560, 18289440, 38724480, 79594560, 159189120, 311058496, 597137408, 1133991936, 2147450880, 4089171840

Offset: 0

Author

Clark Kimberling, Aug 22 2017

Keywords

• nonn
• easy

Comments

Suppose s = (c(0), c(1), c(2),...) is a sequence and p(S) is a polynomial. Let S(x) = c(0)*x + c(1)*x^2 + c(2)*x^3 + ... and T(x) = (-p(0) + 1/p(S(x)))/x. The p-INVERT of s is the sequence t(s) of coefficients in the Maclaurin series for T(x). Taking p(S) = 1 - S gives the "INVERT" transform of s, so that p-INVERT is a generalization of the "INVERT" transform (e.g., A033453).

See A291000 for a guide to related sequences.

Links

• Clark Kimberling, Table of n, a(n) for n = 0..1000
• Index entries for linear recurrences with constant coefficients, signature (8,-28,56,-70,56,-28,8).

Crossrefs

Cf. A000012, A033453, A289780, A291000.

Sequences of the form 1/((1-x)^m - x^m): A000079 (m=1,2), A024495 (m=3), A000749 (m=4), A049016 (m=5), A192080 (m=6), A049017 (m=7), this sequence (m=8), A306939 (m=9).

Programs

Magma

R:=PowerSeriesRing(Integers(), 60); [0,0,0,0,0,0,0] cat Coefficients(R!( x^7/((1-x)^8 - x^8) )); // G. C. Greubel, Apr 11 2023

Mathematica

z = 60; s = x/(1 - x); p = 1 - s^8;
Drop[CoefficientList[Series[s, {x, 0, z}], x], 1]  (* A000012 *)
Drop[CoefficientList[Series[1/p, {x, 0, z}], x], 1]  (* A290995 *)

PARI

concat(vector(7), Vec(x^7 / ((1 - 2*x)*(1 - 2*x + 2*x^2)*(1 - 4*x + 6*x^2 - 4*x^3 + 2*x^4)) + O(x^50))) \\ Colin Barker, Aug 22 2017

SageMath

def A290995_list(prec):
    P. = PowerSeriesRing(ZZ, prec)
    return P( x^7/((1-x)^8 - x^8) ).list()
A290995_list(60) # G. C. Greubel, Apr 11 2023

Formula

a(n) = 8*a(n-1) - 28*a(n-2) + 56*a(n-3) - 70*a(n-4) + 56*a(n-5) - 28*a(n-6) + 8*a(n-7) for n >= 9.

G.f.: x^7 / ((1 - 2*x)*(1 - 2*x + 2*x^2)*(1 - 4*x + 6*x^2 - 4*x^3 + 2*x^4)). - Colin Barker, Aug 22 2017

G.f.: x^7/((1-x)^8 - x^8). - G. C. Greubel, Apr 11 2023