cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A239473 Triangle read by rows: signed version of A059260: coefficients for expansion of partial sums of sequences a(n,x) in terms of their binomial transforms (1+a(.,x))^n ; Laguerre polynomial expansion of the truncated exponential.

Original entry on oeis.org

1, 0, 1, 1, -1, 1, 0, 2, -2, 1, 1, -2, 4, -3, 1, 0, 3, -6, 7, -4, 1, 1, -3, 9, -13, 11, -5, 1, 0, 4, -12, 22, -24, 16, -6, 1, 1, -4, 16, -34, 46, -40, 22, -7, 1, 0, 5, -20, 50, -80, 86, -62, 29, -8, 1, 1, -5, 25, -70, 130, -166, 148, -91, 37, -9, 1, 0, 6, -30, 95, -200, 296, -314, 239, -128, 46, -10, 1
Offset: 0

Views

Author

Tom Copeland, Mar 19 2014

Keywords

Comments

With T the lower triangular array above and the Laguerre polynomials L(k,x) = Sum_{j=0..k} (-1)^j binomial(k, j) x^j/j!, the following identities hold:
(A) Sum_{k=0..n} (-1)^k L(k,x) = Sum_{k=0..n} T(n,k) x^k/k!;
(B) Sum_{k=0..n} x^k/k! = Sum_{k=0..n} T(n,k) L(k,-x);
(C) Sum_{k=0..n} x^k = Sum_{k=0..n} T(n,k) (1+x)^k = (1-x^(n+1))/(1-x).
More generally, for polynomial sequences,
(D) Sum_{k=0..n} P(k,x) = Sum_{k=0..n} T(n,k) (1+P(.,x))^k,
where, e.g., for an Appell sequence, such as the Bernoulli polynomials, umbrally, (1+ Ber(.,x))^k = Ber(k,x+1).
Identity B follows from A through umbral substitution of j!L(j,-x) for x^j in A. Identity C, related to the cyclotomic polynomials for prime index, follows from B through the Laplace transform.
Integrating C gives Sum_{k=0..n} T(n,k) (2^(k+1)-1)/(k+1) = H(n+1), the harmonic numbers.
Identity A >= 0 for x >= 0 (see MathOverflow link for evaluation in terms of Hermite polynomials).
From identity C, W(m,n) = (-1)^n Sum_{k=0..n} T(n,k) (2-m)^k = number of walks of length n+1 between any two distinct vertices of the complete graph K_m for m > 2.
Equals A112468 with the first column of ones removed. - Georg Fischer, Jul 26 2023

Examples

			Triangle begins:
   1
   0    1
   1   -1    1
   0    2   -2    1
   1   -2    4   -3    1
   0    3   -6    7   -4    1
   1   -3    9  -13   11   -5    1
   0    4  -12   22  -24   16   -6    1
   1   -4   16  -34   46  -40   22   -7    1
   0    5  -20   50  -80   86  -62   29   -8    1
   1   -5   25  -70  130 -166  148  -91   37   -9    1

Links

Crossrefs

For column 2: A001057, A004526, A008619, A140106.
Column 3: A002620, A087811.
Column 4: A002623, A173196.
Column 5: A001752.
Column 6: A001753.
Cf. Bottomley's cross-references in A059260.
Embedded in alternating antidiagonals of T are the reversals of arrays A071921 (A225010) and A210220.
Cf. A049310, A112468, A341091.

Programs

  • Magma
    [[(&+[(-1)^(j+k)*Binomial(j,k): j in [0..n]]): k in [0..n]]: n in [0..10]]; // G. C. Greubel, Feb 06 2018
  • Maple
    A239473 := proc(n,k)
    add(binomial(j,k)*(-1)^(j+k),j=k..n) ;
end proc; # R. J. Mathar, Jul 21 2016
  • Mathematica
    Table[Sum[(-1)^(j+k)*Binomial[j,k], {j,0,n}], {n,0,10}, {k,0,n}]//Flatten (* G. C. Greubel, Feb 06 2018 *)
  • PARI
    for(n=0,10, for(k=0,n, print1(sum(j=0,n, (-1)^(j+k)*binomial(j, k)), ", "))) \\ G. C. Greubel, Feb 06 2018
  • Sage
    Trow = lambda n: sum((x-1)^j for j in (0..n)).list()
for n in (0..10): print(Trow(n)) # Peter Luschny, Jul 09 2019

Formula

T(n, k) = Sum_{j=0..n} (-1)^(j+k) * binomial(j, k).
E.g.f: (exp(t) - (x-1)*exp((x-1)*t))/(2-x).
O.g.f. (n-th row): (1-(x-1)^(n+1))/(2-x).
Associated operator identities:
With D=d/dx, :xD:^n=x^n*D^n, and :Dx:^n=D^n*x^n, then bin(xD,n)= binomial(xD,n)=:xD:^n/n! and L(n,-:xD:)=:Dx:^n/n!=bin(xD+n,n)=(-1)^n bin(-xD-1,n),
A-o) Sum_{k=0..n} (-1)^k L(k,-:xD:) = Sum_{k=0..n} :-Dx:^k/k!
= Sum_{k=0..n} T(n,k) :-xD:^k/k! = Sum_{k=0..n} (-1)^k T(n,k)bin(xD,k)
B-o) Sum_{k=0..n} :xD:^k/k! = Sum_{k=0..n}, T(n,k) L(k,-:xD:)
= Sum_{k=0..n} T(n,k) :Dx:^k/k! = Sum_{k=0..n}, bin(xD,k).
Associated binomial identities:
A-b) Sum_{k=0..n} (-1)^k bin(s+k,k) = Sum_{k=0..n} (-1)^k T(n,k) bin(s,k)
= Sum_{k=0..n} bin(-s-1,k) = Sum{k=0..n} T(n,k) bin(-s-1+k,k)
B-b) Sum_{k=0..n} bin(s,k) = Sum_{k=0..n} T(n,k) bin(s+k,k)
= Sum_{k=0..n} (-1)^k bin(-s-1+k,k)
= Sum_{k=0..n} (-1)^k T(n,k) bin(-s-1,k).
In particular, from B-b with s=n, Sum_{k=0..n} T(n,k) bin(n+k,k) = 2^n. From B-b with s=0, row sums are all 1.
From identity C with x=-2, the unsigned row sums are the Jacobsthal sequence, i.e., Sum_{k=0..n} T(n,k) (1+(-2))^k = (-1)^n A001045(n+1); for x=2, the Mersenne numbers A000225; for x=-3, A014983 or signed A015518; for x=3, A003462; for x=-4, A014985 or signed A015521; for x=4, A002450; for x=-5, A014986 or signed A015531; and for x=5, A003463; for x=-6, A014987 or signed A015540; and for x=6, A003464.
With -s-1 = m = 0,1,2,..., B-b gives finite differences (recursions):
Sum_{k=0..n} (-1)^k T(n,k) bin(m,k) = Sum_{k=0..n} (-1)^k bin(m+k,k) = T(n+m,m), i.e., finite differences of the columns of T generate shifted columns of T. The columns of T are signed, shifted versions of sequences listed in the cross-references. Since the finite difference is an involution, T(n,k) = Sum_{j=0..k} (-1)^j T(n+j,j) bin(k,j)}. Gauss-Newton interpolation can be applied to give a generalized T(n,s) for s noninteger.
From identity C, S(n,m) = Sum_{k=0..n} T(n,k) bin(k,m) = 1 for m < n+1 and 0 otherwise, i.e., S = T*P, where S = A000012, as a lower triangular matrix and P = Pascal = A007318, so T = S*P^(-1), where P^(-1) = A130595, the signed Pascal array (see A132440), the inverse of P, and T^(-1) = P*S^(-1) = P*A167374 = A156644.
U(n,cos(x)) = e^(-n*i*x)*Sum_{k=0..n} T(n,k)*(1+e^(2*i*x))^k = sin((n+1)x)/sin(x), where U is the Chebyschev polynomial of the second kind A053117 and i^2 = -1. - Tom Copeland, Oct 18 2014
From Tom Copeland, Dec 26 2015: (Start)
With a(n,x) = e^(nx), the partial sums are 1+e^x+...+e^(nx) = Sum_{k=0..n} T(n,k) (1+e^x)^k = [ x / (e^x-1) ] [ e^((n+1)x) -1 ] / x = [ (x / (e^x-1)) e^((n+1)x) - (x / (e^x-1)) ] / x = Sum_{k>=0} [ (Ber(k+1,n+1) - Ber(k+1,0)) / (k+1) ] * x^k/k!, where Ber(n,x) are the Bernoulli polynomials (cf. Adams p. 140). Evaluating (d/dx)^m at x=0 of these expressions gives relations among the partial sums of the m-th powers of the integers, their binomial transforms, and the Bernoulli polynomials.
With a(n,x) = (-1)^n e^(nx), the partial sums are 1-e^x+...+(-1)^n e^(nx) = Sum_{k=0..n} T(n,k) (1-e^x)^k = [ (-1)^n e^((n+1)x) + 1 ] / (e^x+1) = [ (-1)^n (2 / (e^x+1)) e^((n+1)x) + (2 / (e^x+1)) ] / 2 = (1/2) Sum_{k>=0} [ (-1)^n Eul(k,n+1) + Eul(k,0) ] * x^k/k!, where Eul(n,x) are the Euler polynomials. Evaluating (d/dx)^m at x=0 of these expressions gives relations among the partial sums of signed m-th powers of the integers; their binomial transforms, related to the Stirling numbers of the second kind and face numbers of the permutahedra; and the Euler polynomials. (End)
As in A059260, a generator in terms of bivariate polynomials with the coefficients of this entry is given by (1/(1-y))*1/(1 + (y/(1-y))*x - (1/(1-y))*x^2) = 1 + y + (x^2 - x*y + y^2) + (2*x^2*y - 2*x*y^2 + y^3) + (x^4 - 2*x^3*y + 4*x^2*y^2 - 3*x*y^3 + y^4) + ... . This is of the form -h2 * 1 / (1 + h1*x + h2*x^2), related to the bivariate generator of A049310 with h1 = y/(1-y) and h2 = -1/(1-y) = -(1+h1). - Tom Copeland, Feb 16 2016
From Tom Copeland, Sep 05 2016: (Start)
Letting P(k,x) = x in D gives Sum_{k=0..n} T(n,k)*Sum_{j=0..k} binomial(k,j) = Sum_{k=0..n} T(n,k) 2^k = n + 1.
The quantum integers [n+1]q = (q^(n+1) - q^(-n-1)) / (q - q^(-1)) = q^(-n)*(1 - q^(2*(n+1))) / (1 - q^2) = q^(-n)*Sum{k=0..n} q^(2k) = q^(-n)*Sum_{k=0..n} T(n,k)*(1 + q^2)^k. (End)
T(n, k) = [x^k] Sum_{j=0..n} (x-1)^j. - Peter Luschny, Jul 09 2019
a(n) = -n + Sum_{k=0..n} A341091(k). - Thomas Scheuerle, Jun 17 2022

Extensions

Inverse array added by Tom Copeland, Mar 26 2014
Formula re Euler polynomials corrected by Tom Copeland, Mar 08 2024

A372245 Triangular array T(n,k) read by rows: column k is the expansion of e.g.f: exp(-2*x)*(exp(x)-1)^k/(2-exp(x)).

Original entry on oeis.org

1, -1, 1, 3, -1, 2, -1, 7, 0, 6, 27, 11, 26, 12, 24, 119, 151, 120, 150, 120, 120, 1203, 1139, 1202, 1140, 1200, 1080, 720, 11759, 11887, 11760, 11886, 11760, 11760, 10080, 5040, 136587, 136331, 136586, 136332, 136584, 136080, 131040, 100800, 40320, 1771559, 1772071, 1771560, 1772070
Offset: 0

Views

Author

Thomas Scheuerle, Apr 26 2024

Keywords

Examples

			Triangle T(n, k) starts:
[0]  1;
[1] -1,      1;
[2]  3,     -1,      2;
[3] -1,      7,      0,      6;
[4]  27,     11,     26,     12,     24;
[5]  119,    151,    120,    150,    120,    120;
[6]  1203,   1139,   1202,   1140,   1200,   1080,   720;
[7]  11759,  11887,  11760,  11886,  11760,  11760,  10080,  5040;
[8]  136587, 136331, 136586, 136332, 136584, 136080, 131040, 100800, 40320;

Crossrefs

Cf. A000670, A052841, A084416, A341091, A344037.

Programs

  • PARI
    T(n, k) = sum(m=0, n, ((-1)^((k > 0)+m+n)*binomial(n, m)*(2^(n-m)-(k > 0))*sum(h=max(k-1,0), m, h!*stirling(m, h, 2))))

Formula

T(n, k) = Sum_{m=0..n} ((-1)^(1+m+n)*binomial(k, n)*(2^(k - n) - 1)*A084416(m, k - 1)), for k > 0.
T(n, 0) = A344037(n).
T(n, 1) = A052841(n) - A344037(n).
T(n, 2) = A344037(n) - 2*A052841(n) + A000670(n).

A373174 E.g.f. F(x) satisfies F_{n}(0) = (-F_{n-1}(0) + Sum_{k=0..n-1} (F_{k}(0)*(-1)^(n-k+1)*binomial(n+1,k)))/n, with F_{0}(0) = -1, where F_{k}(x) is the k-th derivative of F(x).

Original entry on oeis.org

-1, 0, 1, 3, 3, -42, -405, -1323, 16191, 281988, 727461, -36031905, -321785541, 9096860682, 56853444375, -8962986022263, -13232013758145, 15769350673346088, 19995773274813609, -41763484786911535557, -53804630387174415021, 167207293958593159129950, 195185179930635360950211
Offset: 0

Views

Author

Thomas Scheuerle, May 26 2024

Keywords

Comments

Let c(n) denote a(n)/n!. Then the sum of c(0),c(1),...,c(n) plus the sum of all finite differences of c of all orders in the range 0..n is c(n) itself. c(n) is an eigensequence of the transform defined by b(k) = Sum_{n=0..k} A341091(n, k)*c(n), hence b(n) = c(n).

Crossrefs

Cf. A341091.

Programs

  • PARI
    a(n) = sum(k=1, n+1, stirling(n+1, k, 2)*(-1)^k*prod(m=1, k-1, (m^3+1))/((k-1)!*k!))*n!

Formula

z(n) = (-1)^n*Product_{k=1..n-1} (k^3+1)/((n-1)!*n!).
z(n) = ((-1)^n*cosh((sqrt(3)*Pi)/2)*gamma(-1/2 - (i/2)*sqrt(3) + n)*gamma(-1/2 + (i/2)*sqrt(3) + n))/(Pi*gamma(n)).
c(n) = Sum_{k=1..n+1} S2(n+1, k, 2)*z(k), where S2 are the Stirling numbers of the second kind.
c(n) = (-c(n-1) + Sum_{k=0..n-1} (c(k)*(-1)^(n-k+1)*binomial(n+1,k)))/n, with c(0) = -1.
c(n) satisfies: c(n) = Sum_{k=0..n} ((-1)^(k+n)*binomial(n+2, k)*Hypergeometric2F1(1, n+3, n+3-k, -1)+(-1)^(2*k+1)*2^(-k-1)+(-1)^(2*k))*c(k).
c(n) satisfies: Sum_{n=0..k} A341091(n, k)*c(n) = c(k).
a(n) = c(n)*n!.
a(n) = cosh(sqrt(3)*Pi/2)/Pi*n!*Sum_{k=1..n+1} ( Sum_{j=0..k} ( (-1)^j*(1/(j!*(k-j)!))*j^(n+1) )*gamma(-1/2 - i/2*sqrt(3) + k)*gamma(-1/2 + i/2*sqrt(3) + k)/gamma(k) ).
Showing 1-3 of 3 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.