login
A290917
p-INVERT of the positive integers, where p(S) = (1 - S)^2.
4
2, 7, 22, 67, 200, 588, 1708, 4913, 14018, 39725, 111922, 313752, 875702, 2434747, 6746350, 18636343, 51340988, 141089508, 386857888, 1058572325, 2891193242, 7882921697, 21458980582, 58330331952, 158339542250, 429274563823, 1162435429318, 3144299295403
OFFSET
0,1
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 A290890 for a guide to related sequences.
LINKS
Jose Bastidas, Félix Gélinas, Vincent Pilaud, Germain Poullot, Andrew Sack, and Eleni Tzanaki, Interval hypergraphic polytopes (or deformed associahedra), Tamari interval posets, and weeping willows, arXiv:2606.18376 [math.CO], 2026. See p. 20.
FORMULA
G.f.: (2 - 5 x + 2 x^2)/(1 - 3 x + x^2)^2.
a(n) = 6*a(n-1) - 11*a(n-2) + 6*a(n-3) - a(n-4).
(a(n)) is the p-INVERT of (1,1,1,1,1...) using p(S) = (1 - S - S^2)^2.
a(n) = (((3-sqrt(5))/2)^n * (-3+sqrt(5)) * (-5+7*sqrt(5)-5*n) + 2^(-n) * (3+sqrt(5))^(n+1) * (5+7*sqrt(5)+5*n)) / 50. - Colin Barker, Aug 24 2017
MATHEMATICA
z = 60; s = x/(1 - x)^2; p = (1 - s)^2;
Drop[CoefficientList[Series[s, {x, 0, z}], x], 1] (* A000027 *)
Drop[CoefficientList[Series[1/p, {x, 0, z}], x], 1] (* A290917 *)
LinearRecurrence[{6, -11, 6, -1}, {2, 7, 22, 67}, 30] (* Harvey P. Dale, Jul 22 2024 *)
PROG
(PARI) Vec((2 - x)*(1 - 2*x) / (1 - 3*x + x^2)^2 + O(x^30)) \\ Colin Barker, Aug 24 2017
CROSSREFS
Sequence in context: A333678 A088211 A071684 * A060816 A171847 A037552
KEYWORD
nonn,easy,changed
AUTHOR
Clark Kimberling, Aug 18 2017
STATUS
approved