%I #13 Nov 14 2019 04:53:02
%S 1,-2,1,6,-4,1,-26,18,-6,1,150,-104,36,-8,1,-1082,750,-260,60,-10,1,
%T 9366,-6492,2250,-520,90,-12,1,-94586,65562,-22722,5250,-910,126,-14,
%U 1,1091670,-756688,262248,-60592,10500,-1456,168,-16,1,-14174522,9825030
%N Triangular array, inverse of 2*P - I, where P is Pascal's triangle and I is the identity matrix.
%C We make a few remarks about the general array M(a) := (I - a*P)^-1, where a <> 1, and its connection with weighted sums of powers of positive integers. The present case corresponds to -M(2).
%C The array M(a) begins
%C /
%C | 1/(1-a)
%C | a/(1-a)^2............... 1/(1-a)
%C | (a+a^2)/(1-a)^3......... 2*a/(1-a)^2........ 1/(1-a)
%C | (a+4*a^2+a^3)/(1-a)^4... 3*(a+a^2)/(1-a)^3.. 3*a/(1-a)^2... 1/(1-a)
%C | ...
%C \
%C In the first column the numerator polynomials are the Eulerian polynomials A_n(a). See A008292.
%C The e.g.f. for this array is
%C (1)... exp(x*t)/(1-a*exp(t)) = 1/(1-a) + [a/(1-a)^2 + x/(1-a)]*t
%C + [(a+a^2)/(1-a)^3 + 2*a*x/(1-a)^2 + x^2/(1-a)]*t^2/2! + ....
%C The row generating polynomials P_m(x) of the array M(a), which, of course, depend on a, have properties similar to those of the Bernoulli polynomials. They form an Appell sequence and may be expressed in terms of the Eulerian polynomials as
%C (2)... P_m(x) = sum {k=0..m} binomial(m,k) * A_k(a) / (1-a)^(k+1) * x^(m-k).
%C As a Newton series we have
%C (3)... P_m(x) = 1/(1-a)*sum {j = 0..m} sum {k = j..m}(a/(1-a))^j * k! * Stirling2(m,k) * binomial(x,k-j).
%C The proof of this result in the particular case a = -1 given in [Roman, p. 100] can be easily generalized to a proof of (3).
%C A result equivalent to (3) is
%C (4)... P_m(x) = 1/(1-a)*sum {j = 0..m} sum {k = 0..j} (a/(1-a))^j * (-1)^(j-k) * comb(j,k) * (x + k)^m,
%C which in turn leads to the infinite series expansion
%C (5)... P_m(x) = sum {k = 0..inf} a^k * (x + k)^m,
%C provided |a| < 1. See [Nelsen].
%C The polynomials P_m(x) satisfy the difference equation
%C (6)... P_m(x) - a*P_m(x + 1) = x^m (recall a <> 1),
%C which leads easily to the evaluation of the weighted sums of powers of integers
%C (7)... sum {k = 0..n-1} a^k * k^m = P_m(0) - a^n * P_m(n).
%C for m = 0,1,2,... and a <> 1.
%C More generally we have
%C (8)... sum {k = 0..n-1} a^k * (x + k)^m = P_m(x) - a^n * P_m(x + n).
%C for m = 0,1,2,... and a <> 1.
%C In the remaining case a = 1 the sums are evaluated in terms of the Bernoulli polynomials.
%C The most well-studied case is when a = -1. The row polynomials of the array M(-1) are then one half of the Euler polynomials E_m(x), which may be used to evaluate the alternating sums of powers of integers
%C (9)... 2*sum {k = 1..n-1} (-1)^k * k^m = E_m(0) - (-1)^n * E_m(n).
%D S. Roman, The Umbral Calculus, Dover Publications.
%H G. F. C. De Bruyn, <a href="https://www.fq.math.ca/Scanned/33-2/debruyn.pdf">Formulas for a + a^2*2^p + a^3*3^p + ... + a^n*n^p</a>, Fibonacci Quart. 33 (1995), no. 2, 98-103.
%H R. B. Nelsen, <a href="https://www.jstor.org/stable/2323104">Problem E3062</a>, Amer. Math. Monthly, Vol. 94, No. 4 (Apr., 1987), 376-377.
%F TABLE ENTRIES
%F (1)... T(n,k) = (-1)^(n+k) * binomial(n,k) * A000629(n-k).
%F (2)... T(n,k) = (-1)^(n+k) * binomial(n,k) * sum {j = 0..n} j! * Stirling2(n-k+1,j+1).
%F GENERATING FUNCTION
%F (3)... exp(x*t)/(2*exp(t)-1) = 1 + (-2+x)*t + (6-4*x+x^2)*t^2/2!
%F + ....
%F PROPERTIES OF ROW POLYNOMIALS
%F The row generating polynomials R_n(x) form an Appell sequence. The first few values are R_0(x) = 1, R_1(x) = x-2, R_2(x) = x^2-4*x+6 and R_3(x) = x^3-6*x^2+18*x-26.
%F They may be recursively computed by means of
%F (4)... R_n(x) = x^n - 2*sum {k = 0..n-1} binomial(n,k) * R_k(x).
%F Explicit formulas are
%F (5)... R_n(x) = sum {j = 0..n} sum {k = j..n} (-2)^j * k! * Stirling2(n,k) * binomial(x,k-j),
%F (6)... R_n(x) = (-1)^n * sum {j = 0..n} sum {k = j..n} k! * Stirling2(n,k) * binomial(-x+1,k-j),
%F and
%F (7)... R_n(x) = sum {j = 0..n} sum {k = 0..j} 2^j * (-1)^k * comb(j,k) * (x + k)^n.
%F Other expansions include
%F (8)... R_n(x) = sum {k = 0..n} binomial(n,k) * (-1)^k * A000670(k) * (x-1)^(n-k),
%F (9)... R_n(x) = sum {k = 0..n} binomial(n,k) * (-1/2)^k * A080253(k) * (x-1/2)^(n-k)
%F and
%F (10)... R_n(x) = sum {k = 0..n} binomial(n,k) * (-1)^k * A007047(k) * (x+1)^(n-k).
%F SUMS OF POWERS OF INTEGERS
%F The row polynomials satisfy the difference equation
%F (11)... 2*R_n(x+1) - R_n(x) = x^n,
%F and so may be used to evaluate the weighted sum of powers of integers
%F (12)... sum {k = 0..n-1} 2^k * k^m = 2^n*R_m(n) - R_m(0).
%F For example, m = 3 gives
%F (13)... sum {k = 0..n-1} 2^k * k^3 = 2^n*(n^3-6*n^2+18*n-26) + 26.
%F More generally we have
%F (14)... sum {k = 0..n-1} 2^k * (x + k)^m = 2^n * R_m(x + n) - R_m(x).
%F RELATIONS WITH OTHER SEQUENCES
%F (15)... Row sums [1,-1,3,-13,75,...] = (-1)^n*A000670(n).
%F (16)... Alt. row sums [1,-3,11,-51,299,...] = (-1)^n * A007047(n).
%F (17)... Column 0: (-1)^n * A000629(n).
%F (18)... (-2)^n * R_n(1/2) = A080253(n).
%F (19)... R_n(1-x) = (-1)^n * P_n(x),
%F where P_n(x) are the row generating polynomials of A154921.
%F This provides the connection between (12) and the result
%F (20)... sum {k = 0..n-1} (1/2)^k * k^m = 2*P_m(0) - (1/2)^(n-1) * P_m(n).
%e Triangle begins
%e ====================================================
%e n\k|.....0......1......2......3......4......5......6
%e ====================================================
%e 0..|.....1
%e 1..|....-2......1
%e 2..|.....6.....-4......1
%e 3..|...-26.....18.....-6......1
%e 4..|...150...-104.....36.....-8......1
%e 5..|.-1082....750...-260.....60....-10......1
%e 6..|..9366..-6492...2250...-520.....90....-12......1
%e ...
%p #A162312
%p with(combinat):
%p T := (n,k) -> (-1)^(n+k)*binomial(n,k)
%p *add( j!*stirling2(n-k+1,j+1),j = 0..n):
%p for n from 0 to 9 do
%p seq(T(n,k), k = 0..n);
%p end do;
%t Table[(-1)^(n+k) Binomial[n, k] PolyLog[k-n, 1/2], {n, 0, 9}, {k, 0, n}] // Flatten (* _Jean-François Alcover_, Nov 14 2019 *)
%o (PARI) matrix(10, 10, n, k, 2*binomial(n-1,k-1) - (n==k))^(-1) \\ _Michel Marcus_, Jul 12 2018
%Y Cf. A000629, A000670, A007047, A008292, A080253, A154921.
%K easy,sign,tabl
%O 0,2
%A _Peter Bala_, Jul 01 2009
%E Typo corrected by _Peter Bala_, Nov 05 2010