reviewed
approved
reviewed
approved
proposed
reviewed
editing
proposed
G(x) = (1/(1 - 9*b*x)^(2/3) ) * F(x/(1 - 9*b*x)) iff F(x) = (1/(1 + 9*b*x)^(2/3) ) * G(x/(1 + 9*b*x)).
approved
editing
proposed
approved
editing
proposed
Equivalently, if F(x) = Sum_{n >= 0} f(n)*x^n and G(x) = Sum_{n >= 0} g(n)*x^n are a pair of formal power series then
proposed
editing
editing
proposed
G(x) = 1/(1 - 9*b*x)^(2/3) * F(x/(1 - 9*b*a*x)) iff F(x) = 1/(1 + 9*b*x)^(2/3) * G(x/(1 + 9*b*x)).
H. Prodinger, <a href="https://www.fq.math.ca/Scanned/32-5/prodinger.pdf">Some information about the binomial transform</a>, The Fibonacci Quarterly, 32, 1994, 412-415.
T(n,k) = (-1)^k*binomial(n-1/3, n-k)*9^(n-k).
Analogous to the binomial transform we have the following sequence transformation formula: g(n) = Sum_{k = 0..n} T(n,k)*ab^(n-k)*f(k) iff f(n) = Sum_{k = 0..n} T(n,k)*ab^(n-k)*g(k). See Prodinger, bottom of p. 413, with b replaced with 9*b, c = -1 and d = 2/3.
G(x) = 1/(1 - 9*ab*x)^(2/3) * F(x/(1 - 9b*a*x)) iff F(x) = 1/(1 + 9*ab*x)^(2/3) * G(x/(1 + 9*ab*x)).