OFFSET
0,2
COMMENTS
More generally, the following sums are equal:
(1) Sum_{n>=0} binomial(n+k-1, n) * r^n * (q^n + p)^n / (1 + p*q^n*r)^(n+k),
(2) Sum_{n>=0} binomial(n+k-1, n) * r^n * (q^n - p)^n / (1 - p*q^n*r)^(n+k),
for any fixed integer k; here, k = 3 and p = 1, q = exp(x), r = x.
FORMULA
E.g.f.: Sum_{n>=0} (n+1)*(n+2)/2 * x^n * (exp(n*x) + 1)^n / (1 + x*exp(n*x))^(n+3).
E.g.f.: Sum_{n>=0} (n+1)*(n+2)/2 * x^n * (exp(n*x) - 1)^n / (1 - x*exp(n*x))^(n+3).
E.g.f.: Sum_{n>=0} (n+1)*(n+2)/2 * x^n * Sum_{k=0..n} binomial(n,k) * ( exp(n*x) - exp(k*x) )^(n-k).
E.g.f.: Sum_{n>=0} (n+1)*(n+2)/2 * x^n * Sum_{k=0..n} binomial(n,k) * ( exp(n*x) + exp(k*x) )^(n-k) * (-1)^k.
E.g.f.: Sum_{n>=0} (n+1)*(n+2)/2 * x^n * Sum_{k=0..n} binomial(n,k) * (-1)^k * Sum_{j=0..n-k} binomial(n-k,j) * exp((n-k)*(n-j)*x).
FORMULAS FOR TERMS.
a(n) = Sum_{i=0..n} (n-i+1)*(n-i+2)/2 * n!/i! * Sum_{j=0..n-i} binomial(n-i,j) * Sum_{k=0..n-i-j} (-1)^k * binomial(n-i-j,k) * (n-i-j)^i * (n-i-k)^i.
a(n) = Sum_{i=0..n} (n-i+1)*(n-i+2)/2 * Sum_{j=0..n-i} Sum_{k=0..n-i-j} (-1)^k * n!*(n-i)! / ((n-i-j-k)! * i!*j!*k!) * (n-i-j)^i * (n-i-k)^i.
EXAMPLE
E.g.f.: A(x) = 1 + 3*x + 18*x^2/2! + 141*x^3/3! + 2100*x^4/4! + 40575*x^5/5! + 1160298*x^6/6! + 40389825*x^7/7! + 1772078808*x^8/8! + 92182377051*x^9/9! + 5659633303590*x^10/10! + ...
such that
A(x) = 1/(1+x)^3 + 3*x*(exp(x) + 1)/(1 + x*exp(x))^4 + 6*x^2*(exp(2*x) + 1)^2/(1 + x*exp(2*x))^5 + 10*x^3*(exp(3*x) + 1)^3/(1 + x*exp(3*x))^6 + 15*x^4*(exp(4*x) + 1)^4/(1 + x*exp(4*x))^7 + 21*x^5*(exp(5*x) + 1)^5/(1 + x*exp(5*x))^8 + 28*x^6*(exp(6*x) + 1)^6/(1 + x*exp(6*x))^9 + 36*x^7*(exp(x)^7 + 1)^7/(1 + x*exp(x)^7)^10 + ...
also,
A(x) = 1/(1-x)^3 + 3*x*(exp(x) - 1)/(1 - x*exp(x))^4 + 6*x^2*(exp(2*x) - 1)^2/(1 - x*exp(2*x))^5 + 10*x^3*(exp(3*x) - 1)^3/(1 - x*exp(3*x))^6 + 15*x^4*(exp(4*x) - 1)^4/(1 - x*exp(4*x))^7 + 21*x^5*(exp(5*x) - 1)^5/(1 - x*exp(5*x))^8 + 28*x^6*(exp(6*x) - 1)^6/(1 - x*exp(6*x))^9 + 36*x^7*(exp(x)^7 - 1)^7/(1 - x*exp(x)^7)^10 + ...
PROG
(PARI) {a(n) = my(A = sum(m=0, n+1, (m+1)*(m+2)/2 * x^m*(exp(m*x +x*O(x^n) ) + 1)^m/(1 + x*exp(m*x +x*O(x^n) ) )^(m+3) )); n!*polcoeff(A, n)}
for(n=0, 25, print1(a(n), ", "))
(PARI) {a(n) = my(A = sum(m=0, n+1, (m+1)*(m+2)/2 * x^m*(exp(m*x +x*O(x^n) ) - 1)^m/(1 - x*exp(m*x +x*O(x^n) ) )^(m+3) )); n!*polcoeff(A, n)}
for(n=0, 25, print1(a(n), ", "))
(PARI) {a(n) = sum(i=0, n, (n-i+1)*(n-i+2)/2 * n!/i! * sum(j=0, n-i, binomial(n-i, j) * sum(k=0, n-i-j, (-1)^k * binomial(n-i-j, k) * (n-i-j)^i * (n-i-k)^i )))}
for(n=0, 25, print1(a(n), ", "))
(PARI) {a(n) = sum(i=0, n, (n-i+1)*(n-i+2)/2 * sum(j=0, n-i, sum(k=0, n-i-j, (-1)^j*n!*(n-i)!/((n-i-j-k)!*i!*j!*k!) * (n-i-j)^i * (n-i-k)^i )))}
for(n=0, 25, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Jun 01 2019
STATUS
approved