|
|
EXAMPLE
|
E.g.f.: A(x) = 1 + x + 10*x^2/2! + 280*x^3/3! + 13960*x^4/4! + 1023760*x^5/5! +...
such that A(x) = exp(10*x*G(x)^9) / G(x)^9
where G(x) = 1 + x*G(x)^10 is the g.f. of A059968:
G(x) = 1 + x + 10*x^2 + 145*x^3 + 2470*x^4 + 46060*x^5 + 910252*x^6 +...
Note that
A'(x) = exp(10*x*G(x)^9) = 1 + 10*x + 280*x^2/2! + 13960*x^3/3! +...
LOGARITHMIC DERIVATIVE.
The logarithm of the e.g.f. begins:
log(A(x)) = x + 9*x^2/2 + 252*x^3/3 + 12654*x^4/4 + 933984*x^5/5 +...
and so A'(x)/A(x) = G(x)^9.
TABLE OF POWERS OF E.G.F.
Form a table of coefficients of x^k/k! in A(x)^n as follows.
n=1: [1, 1, 10, 280, 13960, 1023760, 99935200, 12226859200, ...];
n=2: [1, 2, 22, 620, 30760, 2243120, 217911520, 26556406400, ...];
n=3: [1, 3, 36, 1026, 50760, 3683880, 356283360, 43256151360, ...];
n=4: [1, 4, 52, 1504, 74344, 5374240, 517647520, 62621962240, ...];
n=5: [1, 5, 70, 2060, 101920, 7344920, 704861200, 84980501600, ...];
n=6: [1, 6, 90, 2700, 133920, 9629280, 921060720, 110691813600, ...];
n=7: [1, 7, 112, 3430, 170800, 12263440, 1169680960, 140152067440, ...];
n=8: [1, 8, 136, 4256, 213040, 15286400, 1454475520, 173796462080, ...]; ...
in which the main diagonal begins (see A251587):
[1, 2, 36, 1504, 101920, 9629280, 1169680960, 173796462080, ...]
and is given by the formula:
[x^n/n!] A(x)^(n+1) = 10^(n-8) * (n+1)^(n-9) * (4782969*n^8 + 50309748*n^7 + 237013938*n^6 + 655232760*n^5 + 1166624361*n^4 + 1374998212*n^3 + 1051760172*n^2 + 479277840*n + 100000000) for n>=0.
|
|
|
PROG
|
(PARI) {a(n) = local(G=1); for(i=1, n, G = 1 + x*G^10 +x*O(x^n)); n!*polcoeff( exp(10*x*G^9) / G^9, n)}
for(n=0, 20, print1(a(n), ", "))
(PARI) {a(n) = if(n==0, 1, sum(k=0, n, 10^k * n!/k! * binomial(10*n-k-10, n-k)*if(n==1, 1/10, (k-1)/(n-1)) ))}
for(n=0, 20, print1(a(n), ", "))
|
