login
A352385
G.f. A(x) satisfies: A(x)^3 = (1-x) * (A(x) + x)^2.
3
1, 1, -3, 7, -25, 99, -424, 1906, -8874, 42412, -206878, 1025718, -5154020, 26188190, -134327493, 694610923, -3617170909, 18952557141, -99844769274, 528543587562, -2810053368606, 14998219677082, -80333361944524, 431662921085376, -2326299337924086
OFFSET
0,3
FORMULA
G.f. A(x) satisfies:
(1) A(x) = sqrt( A(x)^3/(1-x) ) - x.
(2) A(x)^3 = (1-x) * (A(x) + x)^2.
(3) A( x*(1+x)^2/(1 + x*(1+x)^2) ) = (1+x)^2/(1 + x*(1+x)^2).
(4) A(x) = x / Series_Reversion( x*(1+x)^2/(1 + x*(1+x)^2) ).
(5) Sum_{k=0..n} [x^k] A(x)^n = (-1)^(n-1) * 2, for n >= 1.
EXAMPLE
G.f.: A(x) = 1 + x - 3*x^2 + 7*x^3 - 25*x^4 + 99*x^5 - 424*x^6 + 1906*x^7 - 8874*x^8 + 42412*x^9 - 206878*x^10 + ...
where A(x)^3 equals (1-x)*(A(x) + x)^2, as can be seen from the following power series expansions:
A(x)^3 = 1 + 3*x - 6*x^2 + 4*x^3 - 15*x^4 + 69*x^5 - 309*x^6 + 1425*x^7 - 6741*x^8 + 32575*x^9 + ...
(A(x) + x)^2 = 1 + 4*x - 2*x^2 + 2*x^3 - 13*x^4 + 56*x^5 - 253*x^6 + 1172*x^7 - 5569*x^8 + 27006*x^9 + ...
Related table.
Another defining property of the g.f. A(x) is illustrated here.
The table of coefficients of x^k in A(x)^n begins:
n=1: [1, 1, -3, 7, -25, 99, -424, 1906, -8874, ...];
n=2: [1, 2, -5, 8, -27, 106, -451, 2020, -9381, ...];
n=3: [1, 3, -6, 4, -15, 69, -309, 1425, -6741, ...];
n=4: [1, 4, -6, -4, 3, 24, -144, 744, -3747, ...];
n=5: [1, 5, -5, -15, 20, -4, -35, 265, -1580, ...];
n=6: [1, 6, -3, -28, 30, 0, -8, 48, -447, ...];
n=7: [1, 7, 0, -42, 28, 42, -49, 15, -63, ...];
n=8: [1, 8, 4, -56, 10, 120, -116, 24, 3, ...]; ...
in which the partial sum of row n up to column n equals (-1)^(n-1)*2, as illustrated by:
n=1: 2 = 1 + 1;
n=2: -2 = 1 + 2 + -5;
n=3: 2 = 1 + 3 + -6 + 4;
n=4: -2 = 1 + 4 + -6 + -4 + 3;
n=5: 2 = 1 + 5 + -5 + -15 + 20 + -4;
n=6: -2 = 1 + 6 + -3 + -28 + 30 + 0 + -8;
n=7: 2 = 1 + 7 + 0 + -42 + 28 + 42 + -49 + 15;
n=8: -2 = 1 + 8 + 4 + -56 + 10 + 120 + -116 + 24 + 3;
...
PROG
(PARI) {a(n) = polcoeff( x/serreverse( x*(1+x)^2/(1 + x*(1+x)^2 +x^2*O(x^n)) ), n)}
for(n=0, 30, print1(a(n), ", "))
CROSSREFS
Sequence in context: A350650 A120540 A176829 * A133206 A054092 A096648
KEYWORD
sign
AUTHOR
Paul D. Hanna, Mar 14 2022
STATUS
approved