|
EXAMPLE
|
G.f.: A(x) = x + x^2 + 2*x^3 + 3*x^4 + 7*x^5 + 14*x^6 + 34*x^7 + 77*x^8 + 193*x^9 + 472*x^10 + 1214*x^11 + 3099*x^12 + 8122*x^13 + 21293*x^14 + 56666*x^15 + ...
where A(x)^2 = A(x*A(x)) / (1-x) as can be seen from the following expansions
A(x)^2 = x^2 + 2*x^3 + 5*x^4 + 10*x^5 + 24*x^6 + 54*x^7 + 133*x^8 + 320*x^9 + 809*x^10 + 2038*x^11 + 5278*x^12 + 13702*x^13 + 36144*x^14 + 95758*x^15 + ...
A(x*A(x)) = x^2 + x^3 + 3*x^4 + 5*x^5 + 14*x^6 + 30*x^7 + 79*x^8 + 187*x^9 + 489*x^10 + 1229*x^11 + 3240*x^12 + 8424*x^13 + 22442*x^14 + 59614*x^15 + ...
Let B(x) = x*A(x), then A(x) equals the infinite product involving successive iterations of B(x) starting with
A(x) = x/(1-x) / ( (1 - B(x)) * (1 - B(B(x))) * (1 - B(B(B(x)))) * (1 - B(B(B(B(x))))) * ...)
which is equivalent to
A(x) = x*(1-x) / ( (1 - x*A(x)) * (1 - x*A(x) * A(x*A(x))) * (1 - x*A(x) * A(x*A(x)) * A(x*A(x) * A(x*A(x)))) * ...).
RELATED SERIES.
Successive iterations of B(x) = x*A(x) begin
B(x) = x^2 + x^3 + 2*x^4 + 3*x^5 + 7*x^6 + 14*x^7 + 34*x^8 + 77*x^9 + ...
B(B(x)) = x^4 + 2*x^5 + 6*x^6 + 13*x^7 + 35*x^8 + 84*x^9 + 221*x^10 + ...
B(B(B(x))) = x^8 + 4*x^9 + 16*x^10 + 50*x^11 + 159*x^12 + 470*x^13 + ...
B(B(B(B(x)))) = x^16 + 8*x^17 + 48*x^18 + 228*x^19 + 974*x^20 + 3812*x^21 + ...
B(B(B(B(B(x))))) = x^32 + 16*x^33 + 160*x^34 + 1224*x^35 + 7900*x^36 + ...
etc.
The coefficients in the iterations of x*A(x) form a table that begins
n=1: [1, 1, 2, 3, 7, 14, 34, 77, 193, 472, 1214, 3099, ...];
n=2: [1, 2, 6, 13, 35, 84, 221, 556, 1464, 3801, 10107, ...];
n=3: [1, 4, 16, 50, 159, 470, 1397, 4033, 11656, 33284, ...];
n=4: [1, 8, 48, 228, 974, 3812, 14142, 50182, 172562, ...];
n=5: [1, 16, 160, 1224, 7900, 45096, 234764, 1136732, ...];
n=6: [1, 32, 576, 7568, 80568, 734672, 5938776, ...];
n=7: [1, 64, 2176, 52000, 977264, 15344032, 208985520, ...];
n=8: [1, 128, 8448, 382528, 13345504, 382081856, ...];
n=9: [1, 256, 33280, 2927744, 195986880, 10643805824, ...];
n=10: [1, 512, 132096, 22894848, 2998537088, 316503534848, ...];
etc.
|