A076571 -id:A076571 - cp's OEIS frontend

A143409 Square array read by antidiagonals: form the Euler-Seidel matrix for the sequence {k!} and then divide column k by k!.

1, 2, 1, 5, 3, 1, 16, 11, 4, 1, 65, 49, 19, 5, 1, 326, 261, 106, 29, 6, 1, 1957, 1631, 685, 193, 41, 7, 1, 13700, 11743, 5056, 1457, 316, 55, 8, 1, 109601, 95901, 42079, 12341, 2721, 481, 71, 9, 1, 986410, 876809, 390454, 116125, 25946, 4645, 694, 89, 10, 1

Offset: 0

Peter Bala, Aug 14 2008

The Euler-Seidel matrix for the sequence {k!} is array A076571 read as a square, whose k-th column entries have a common factor of k!. Removing these common factors gives the current table.
This table is closely connected to the constant 1/e. The row, column and diagonal entries of this table occur in series acceleration formulas for 1/e.
For a similar table based on the differences of the sequence {k!} and related to the constant e, see A086764. For other arrays similarly related to constants see A143410 (for sqrt(e)), A143411 (for 1/sqrt(e)), A008288 (for log(2)), A108625 (for zeta(2)) and A143007 (for zeta(3)).

			The Euler-Seidel matrix for the sequence {k!} begins
==============================================
n\k|.....0.....1.....2.....3.....4.....5.....6
==============================================
0..|.....1.....1.....2.....6....24...120...720
1..|.....2.....3.....8....30...144...840
2..|.....5....11....38...174...984
3..|....16....49...212..1158
4..|....65...261..1370
5..|...326..1631
6..|..1957
...
Dividing the k-th column by k! gives
==============================================
n\k|.....0.....1.....2.....3.....4.....5.....6
==============================================
0..|.....1.....1.....1.....1.....1.....1.....1
1..|.....2.....3.....4.....5.....6.....7
2..|.....5....11....19....29....41
3..|....16....49...106...193
4..|....65...261...685
5..|...326..1631
6..|..1957
...
Examples of series formula for 1/e:
Row 2: 1/e = 2*(1/5 - 1/(1!*5*11) + 1/(2!*11*19) - 1/(3!*19*29) + ...).
Column 4: 24/e = 9 - (0!/(1*6) + 1!/(6*41) + 2!/(41*316) + ...).
...
Displayed as a triangle:
0 |     1
1 |     2,     1
2 |     5,     3,    1
3 |    16,    11,    4,    1
4 |    65,    49,   19,    5,   1
5 |   326,   261,  106,   29,   6,  1
6 |  1957,  1631,  685,  193,  41,  7, 1
7 | 13700, 11743, 5056, 1457, 316, 55, 8, 1

Robert Israel, Table of n, a(n) for n = 0..10010 (antidiagonals 0 to 140, flattened)
D. Dumont, Matrices d'Euler-Seidel, Sem. Loth. Comb. B05c (1981) 59-78.
Eric Weisstein's World of Mathematics Poisson-Charlier polynomial

Cf. A008288, A076571, A086764, A108625, A143007, A143410, A143411, A143413, A001517 (main diagonal), A028387 (row 2), A000522 (column 0), A001339 (column 1), A082030 (column 2), A095000 (column 3), A095177 (column 4).

Cf. A273596, A003470.

T := (n, k) -> 1/k!*add(binomial(n,j)*(k+j)!, j = 0..n):
for n from 0 to 9 do seq(T(n, k), k = 0..9) end do;
# Alternate:
T:= proc(n,k) option remember;
  if n = 0 then return 1 fi;
  (n+k)*procname(n-1,k) + procname(n-1,k-1);
end proc:
seq(seq(T(s-n,n),n=0..s),s=0..10); # Robert Israel, Jul 07 2017
# Or:
A143409 := (n,k) -> hypergeom([k+1, k-n], [], -1):
seq(seq(simplify(A143409(n,k)),k=0..n),n=0..9); # Peter Luschny, Oct 05 2017

T[n_, k_] := HypergeometricPFQ[{k+1,k-n}, {}, -1];
Table[T[n,k], {n,0,9}, {k,0,n}] // Flatten (* Peter Luschny, Oct 05 2017 *)

T(n,k) = (1/k!)*Sum_{j = 0..n} binomial(n,j)*(k+j)!.
T(n,k) = ((n+k)!/k!)*Num_Pade(n,k), where Num_Pade(n,k) denotes the numerator of the Padé approximation for the function exp(x) of degree (n,k) evaluated at x = 1.
Recurrence relations:
T(n,k) = T(n-1,k) + (k+1)*T(n-1,k+1);
T(n,k) = (n+k)*T(n-1,k) + T(n-1,k-1).
E.g.f. for column k: exp(y)/(1-y)^(k+1).
E.g.f. for array: exp(y)/(1-x-y) = (1 + x + x^2 + ...) + (2 + 3*x + 4*x^2 + ...)*y + (5 + 11*x + 19*x^2 + ...)*y^2/2! + ... .
Row n lists the values of the Poisson-Charlier polynomial x^(n) + C(n,1)*x^(n-1) + C(n,2)*x^(n-2) + ... + C(n,n) for x = 1,2,3,..., where x^(m) denotes the rising factorial x*(x+1)*...*(x+m-1).
Main diagonal is A001517.
Series formulas for 1/e:
Row n: 1/e = n!*[1/T(n,0) - 1/(1!*T(n,0)*T(n,1)) + 1/(2!*T(n,1)*T(n,2)) - 1/(3!*T(n,2)*T(n,3)) + ...].
Column k: k!/e = A000166(k) + (-1)^(k+1)*[0!/(T(0,k)*T(1,k)) + 1!/(T(1,k)*T(2,k)) + 2!/(T(2,k)*T(3,k)) + ...].
Main diagonal: 1/e = 1 - 2*Sum_{n>=0} (-1)^n/(T(n,n)*T(n+1,n+1)) = 1 - 2*[1/(1*3) - 1/(3*19) + 1/(19*193) - ...].
Second subdiagonal: 1/e = 2*(1^2/(1*5) - 2^2/(5*49) + 3^2/(49*685) - ...).
Compare with A143413.
From Peter Luschny, Oct 05 2017: (Start)
T(n, k) = hypergeom([k+1, k-n], [], -1).
When seen as a triangular array then the row sums are A273596 and the alternating row sums are A003470. (End)

A099022 a(n) = Sum_{k=0..n} C(n,k)(2n-k)!.

Original entry on oeis.org

1, 3, 38, 1158, 65304, 5900520, 780827760, 142358474160, 34209760152960, 10478436416945280, 3984884716852972800, 1842169367191937414400, 1017403495472574045158400, 661599650478455071589606400, 500354503197888042597961267200, 435447353708763072625260119808000

Offset: 0

Ralf Stephan, Sep 23 2004

Diagonal of Euler-Seidel matrix with start sequence n!.
Number of ways to use the elements of {1,..,k}, n<=k<=2n, once each to form a sequence of n lists, each having length 1 or 2. - Bob Proctor, Apr 18 2005, Jun 26 2006
Replace "lists" by "sets": A105749.

Robert Israel, Table of n, a(n) for n = 0..224
L. I. Nicolaescu, Derangements and asymptotics of the Laplace transforms of large powers of a polynomial, New York J. Math. 10 (2004) 117-131.
Robert A. Proctor, Let's Expand Rota's Twelvefold Way For Counting Partitions!, arXiv:math/0606404 [math.CO], 2006-2007.
P. J. Rossky, M. Karplus, The enumeration of Goldstone diagrams in many-body perturbation theory, J. Chem. Phys. 64 (1976) 1569, equation (9).
Index entries for related partition-counting sequences

Cf. A001517, A076571, A082765 (binomial transform), A105749, row sums of A328826.

f:= gfun:-rectoproc({a(n)=2*n*(2*n-1)*a(n-1)+n*(n-1)*a(n-2), a(0)=1,a(1)=3},a(n),remember):
map(f, [$0..20]); # Robert Israel, Feb 15 2017

Table[(2k)! Hypergeometric1F1[-k, -2k, 1], {k, 0, 10}] (* Vladimir Reshetnikov, Feb 16 2011 *)
Table[Sum[Binomial[n,k](2n-k)!,{k,0,n}],{n,0,20}] (* Harvey P. Dale, Nov 22 2021 *)

for(n=0,25, print1(sum(k=0,n, binomial(n,k)*(2*n-k)!), ", ")) \\ G. C. Greubel, Dec 31 2017

T(2*n, n), where T is the triangle in A076571.
a(n) = n!*A001517(n).
A082765(n) = Sum[C(n, k)*a(k), 0<=k<=n].
a(n) = 2*n*(2*n-1)*a(n-1)+n*(n-1)*a(n-2). - Vladeta Jovovic, Sep 27 2004
a(n) = int {x = 0..inf} exp(-x)*(x + x^2)^n dx. Applying the results of Nicolaescu, Section 3.2 to this integral we obtain the asymptotic expansion a(n) ~ (2*n)!*exp(1/2)*( 1 - 1/(16*n) - 191/(6144*n^2) + O(1/n^3) ). - Peter Bala, Jul 07 2014

A143411 Square array, read by antidiagonals: form the Euler-Seidel matrix for the sequence {2^kk!} and then divide column k by 2^kk!.

Original entry on oeis.org

1, 3, 1, 13, 5, 1, 79, 33, 7, 1, 633, 277, 61, 9, 1, 6331, 2849, 643, 97, 11, 1, 75973, 34821, 7993, 1225, 141, 13, 1, 1063623, 493825, 114751, 17793, 2071, 193, 15, 1, 17017969, 7977173, 1870837, 292681, 34361, 3229, 253, 17, 1

Offset: 0

Peter Bala, Aug 19 2008

This table is closely connected to the constant 1/sqrt(e). The row, column and diagonal entries of this table occur in series acceleration formulas for 1/sqrt(e). For a similar table based on the differences of the sequence {2^k*k!} and related to the constant sqrt(e), see A143410. For other arrays similarly related to constants see A086764 (for e), A143409 (for 1/e), A008288 (for log(2)), A108625 (for zeta(2)) and A143007 (for zeta(3)).

			The Euler-Seidel matrix for the sequence {2^k*k!} begins
  ========================================
  n\k|     0     1     2     3     4     5
  ========================================
  0  |     1     2     8    48   384  3840
  1  |     3    10    56   432  4224
  2  |    13    66   488  4656
  3  |    79   554  5144
  4  |   633  5698
  5  |  6331
  ...
.
  Dividing the k-th column by 2^k*k! gives
  ========================================
  n\k|     0     1     2     3     4     5
  ========================================
  0  |     1     1     1     1     1     1
  1  |     3     5     7     9    11
  2  |    13    33    61    97
  3  |    79   277   643
  4  |   633  2849
  5  |  6331
  ...

G. C. Greubel, Antidiagonals n = 0..50, flattened
D. Dumont, Matrices d'Euler-Seidel, Sem. Loth. Comb. B05c (1981) 59-78.
Eric Weisstein's World of Mathematics, Poisson-Charlier polynomial.

Cf. A008288, A065919 (main diagonal), A076571, A086764, A108625, A143007, A143409, A143410.

A:= func< n,k | (&+[Binomial(n,j)*Factorial(k+j)*2^j/Factorial(k): j in [0..n]]) >; // Array
A143411:= func< n,k | A(n-k,k) >; // antidiagonal triangle
[A143411(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Oct 05 2023

with combinat: T := (n, k) -> 1/k!*add(2^j*binomial(n,j)*(k+j)!, j = 0..n): for n from 0 to 9 do seq(T(n, k), k = 0..9) end do;

A[n_, k_]:= (1/k!)*Sum[Binomial[n,j]*(k+j)!*2^j, {j,0,n}]; (* array *)
A143411[n_, k_]:= A[n-k,k]; (* antidiagonals *)
Table[A143411[n,k], {n,0,12}, {k,0,n}]//Flatten (* G. C. Greubel, Oct 05 2023 *)

def A(n,k): return sum(binomial(n,j)*factorial(j+k)*2^j/factorial(k) for j in range(n+1)) # array
def A143411(n,k): return A(n-k,k) # antidiagonal triangle
flatten([[A143411(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Oct 05 2023

T(n,k) = (1/k!)*Sum_{j = 0..n} 2^j*binomial(n,j)*(k+j)!.
Relation with Poisson-Charlier polynomials c_n(x,a):
T(n,k) = (-1)^n*c_n(-(k+1),1/2).
Recurrence relations:
T(n,k) = 2*n*T(n-1,k) + T(n,k-1);
T(n,k) = 2*(n+k)*T(n-1,k) + T(n-1,k-1);
T(n,k) = 2*(k+1)*T(n-1,k+1) + T(n-1,k).
Recurrence for row n entries: 2*k*T(n,k) = (2*n+2*k-1)*T(n,k-1) + T(n,k-2).
E.g.f. for column k: exp(y)/(1 - 2*y)^(k+1).
E.g.f. for array: exp(y)/(1 - x - 2*y) = (1 + x + x^2 + ...) + (3 + 5*x + 7*x^2 + ...)*y + (13 + 37*x + 61*x^2 + ...)*y^2/2! + ... .
Series acceleration formulas for 1/sqrt(e):
Row n: 1/sqrt(e) = 2^n*n!*(1/T(n,0) - 1/(2*1!*T(n,0)*T(n,1)) + 1/(2^2*2!*T(n,1)*T(n,2)) - 1/(2^3*3!*T(n,2)*T(n,3)) + ...). For example, row 3 gives 1/sqrt(e) = 48*(1/79 - 1/(2*79*277) + 1/(8*277*643) - 1/(48*643*1225) + ...).
Column k: 1/sqrt(e) = (1 - (1/2)/1! + (1/2)^2/2! - ... + (-1/2)^k/k!) + (-1)^(k+1)/(2^k*k!)*( Sum_{n = 0..inf} 2^n*n!/(T(n,k)*T(n+1,k)) ). For example, column 3 gives 1/sqrt(e) = 29/48 + 1/48*( 1/(1*9) + 2/(9*97) + 8/(97*1225) + 48/(1225*17793) + ... ).
Main diagonal: 1/sqrt(e) = 1 - 2*( 1/(1*5) - 1/(5*61) + 1/(61*1225) - ... ). See A065919.

A143410 Form the difference table of the sequence {2^kk!}, then divide k-th column entries by 2^kk!. Array read by ascending antidiagonals, T(n, k) for n, k >= 0.

Original entry on oeis.org

1, 1, 1, 5, 3, 1, 29, 17, 5, 1, 233, 131, 37, 7, 1, 2329, 1281, 353, 65, 9, 1, 27949, 15139, 4105, 743, 101, 11, 1, 391285, 209617, 56189, 10049, 1349, 145, 13, 1, 6260561, 3325923, 883885, 156679, 20841, 2219, 197, 15, 1, 112690097, 59475329, 15700313

Offset: 0

Peter Bala, Aug 19 2008

This table is closely connected to the constant sqrt(e). The row, column and diagonal entries of this table occur in series acceleration formulas for sqrt(e). For a similar table based on the Euler-Seidel matrix of the sequence {2^k*k!} and related to the constant 1/sqrt(e), see A143411. For other arrays similarly related to constants see A086764 (for e), A143409 (for 1/e), A008288 (for log(2)), A108625 (for zeta(2)) and A143007 (for zeta(3)).

			Table of differences of {2^k*k!}
  =====================================================
  Column                0     1     2     3     4     5
  =====================================================
  Sequence 2^k*k!       1     2     8    48   384  3840
  First differences     1     6    40   336  3456
  Second differences    5    34   296  3120
  Third differences    29   262  2824
  Fourth differences  233  2562
  ...
Remove the common factor 2^k*k! from k-th column entries:
  ====================================
  n\k|   0      1      2      3      4
  ====================================
  0  |   1      1      1      1      1
  1  |   1      3      5      7      9
  2  |   5     17     37     65    101
  3  |  29    131    353    743   1349
  4  | 233   1281   4105  10049  20841

Eric Weisstein's World of Mathematics, Poisson-Charlier polynomial.

Cf. A008288, A076571, A086764, A108625, A143007, A143409, A143411, A143412.

T := (n, k) -> (-1)^n/k!*add((-2)^j*binomial(n,j)*(k+j)!, j = 0..n):
for n from 0 to 9 do seq(T(n, k), k = 0..9) end do;

T(n,k) = ((-1)^n/k!)*Sum {j = 0..n} (-2)^j*C(n,j)*(k+j)!.
Relation with Poisson-Charlier polynomials c_n(x,a): T(n,k) = c_n(-(k+1),-1/2).
Recurrence relations: T(n,k) = 2*n*T(n-1,k) + T(n,k-1); T(n,k) = 2*(n+k)*T(n-1,k) - T(n-1,k-1); T(n,k) = 2*(k+1)*T(n-1,k+1) - T(n-1,k);
Recurrence for row n entries: 2*k*T(n,k) = (2*n+2*k+1)*T(n,k-1) - T(n,k-2).
E.g.f. for column k: exp(-y)/(1-2*y)^(k+1).
E.g.f. for array: exp(-y)/(1-x-2*y) = (1 + x + x^2 + ...) + (1 + 3*x + 5*x^2 + ...)*y + (5 + 17*x + 37*x^2 + ...)*y^2/2! + ... .
Series acceleration formulas for sqrt(e):
Row n: sqrt(e) = 2^n*n!*(1/T(n,0) + (-1)^n*(1/(2*1!*T(n,0)*T(n,1)) + 1/(2^2*2!*T(n,1)*T(n,2)) + 1/(2^3*3!*T(n,2)*T(n,3)) + ...)). For example, row 3 gives sqrt(e) = 48*(1/29 - 1/(2*29*131) - 1/(8*131*353) - 1/(48*353*743) - ...).
Column k: sqrt(e) = (1 + (1/2)/1! + (1/2)^2 / 2! + ... + (1/2)^k/k!) + 1/(2^k*k!) * Sum_{n>= 0} ((-2)^n *n!/(T(n,k)*T(n+1,k))). For example, column 3 gives sqrt(e) = 79/48 + (1/48)*(1/(1*7) - 2/(7*65) + 8/(65*743) - 48/(743*10049) + ...).
Main diagonal: sqrt(e) = 1 + 2*(1/(1*3) - 1/(3*37) + 1/(37*743) - ...). See A143412.
T(n, k) = (-1)^n*(-1/2)^(k + 1)*KummerU(k + 1, k + n + 2, -1/2). - Peter Luschny, Jan 02 2020

A163840 Triangle interpolating the binomial transform of the swinging factorial (A163865) with the swinging factorial (A056040).

Original entry on oeis.org

1, 2, 1, 5, 3, 2, 16, 11, 8, 6, 47, 31, 20, 12, 6, 146, 99, 68, 48, 36, 30, 447, 301, 202, 134, 86, 50, 20, 1380, 933, 632, 430, 296, 210, 160, 140, 4251, 2871, 1938, 1306, 876, 580, 370, 210, 70, 13102, 8851, 5980, 4042, 2736, 1860, 1280, 910, 700, 630

Offset: 0

Peter Luschny, Aug 06 2009

Triangle read by rows.

An analog to the binomial triangle of the factorials (A076571).

			Triangle begins
    1;
    2,   1;
    5,   3,   2;
   16,  11,   8,   6;
   47,  31,  20,  12,  6;
  146,  99,  68,  48, 36, 30;
  447, 301, 202, 134, 86, 50, 20;

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened
Peter Luschny, Die schwingende Fakultät und Orbitalsysteme, August 2011.
Peter Luschny, Swinging Factorial.

Row sums are A163843.

Cf. A056040, A163865, A163841, A163842, A163650.

SumTria := proc(f,n,display) local m,A,j,i,T; T:=f(0);
for m from 0 by 1 to n-1 do A[m] := f(m);
for j from m by -1 to 1 do A[j-1] := A[j-1] + A[j] od;
for i from 0 to m do T := T,A[i] od;
if display then print(seq(T[i],i=nops([T])-m..nops([T]))) fi;
od; subsop(1=NULL,[T]) end:
swing := proc(n) option remember; if n = 0 then 1 elif
irem(n, 2) = 1 then swing(n-1)*n else 4*swing(n-1)/n fi end:
# Computes n rows of the triangle:
A163840 := n -> SumTria(swing,n,true);

sf[n_] := n!/Quotient[n, 2]!^2; t[n_, k_] := Sum[Binomial[n - k, n - i]*sf[i], {i, k, n}]; Table[t[n, k], {n, 0, 9}, {k, 0, n}] // Flatten (* Jean-François Alcover, Jun 28 2013 *)

T(n,k) = Sum_{i=k..n} binomial(n-k,n-i)*i$ where i$ denotes the swinging factorial of i (A056040), for n >= 0, k >= 0.

cp's OEIS Frontend

A143409 Square array read by antidiagonals: form the Euler-Seidel matrix for the sequence {k!} and then divide column k by k!.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A099022 a(n) = Sum_{k=0..n} C(n,k)*(2*n-k)!.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A143411 Square array, read by antidiagonals: form the Euler-Seidel matrix for the sequence {2^k*k!} and then divide column k by 2^k*k!.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A143410 Form the difference table of the sequence {2^k*k!}, then divide k-th column entries by 2^k*k!. Array read by ascending antidiagonals, T(n, k) for n, k >= 0.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Formula

A163840 Triangle interpolating the binomial transform of the swinging factorial (A163865) with the swinging factorial (A056040).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A099022 a(n) = Sum_{k=0..n} C(n,k)(2n-k)!.

A143411 Square array, read by antidiagonals: form the Euler-Seidel matrix for the sequence {2^kk!} and then divide column k by 2^kk!.

A143410 Form the difference table of the sequence {2^kk!}, then divide k-th column entries by 2^kk!. Array read by ascending antidiagonals, T(n, k) for n, k >= 0.