login
Triangle read by rows, T(n, k) = Sum_{m=0..k} (-1)^(m + k)*binomial(n + k, n + m) * |Stirling1(n + m, m)|, for n >= 0, 0 <= k <= n.
5

%I #36 Nov 25 2022 08:08:01

%S 1,0,1,0,2,3,0,6,20,15,0,24,130,210,105,0,120,924,2380,2520,945,0,720,

%T 7308,26432,44100,34650,10395,0,5040,64224,303660,705320,866250,

%U 540540,135135,0,40320,623376,3678840,11098780,18858840,18288270,9459450,2027025

%N Triangle read by rows, T(n, k) = Sum_{m=0..k} (-1)^(m + k)*binomial(n + k, n + m) * |Stirling1(n + m, m)|, for n >= 0, 0 <= k <= n.

%C We propose to call this sequence the 'Ward cycle numbers' and sequence A269939 the 'Ward set numbers'. - _Peter Luschny_, Nov 25 2022

%H Peter Luschny, <a href="http://oeis.org/wiki/User:Peter_Luschny/P-Transform">The P-transform</a>.

%H A. Mansuy, <a href="https://doi.org/10.1016/j.jalgebra.2014.04.017">Preordered forests, packed words and contraction algebras</a>, J. Algebra 411 (2014) 259-311, section 4.4.

%H N. M. Temme, <a href="https://doi.org/10.1080/10652469.2021.1886094">Asymptotic expansions of Kummer hypergeometric functions for large values of the parameters</a>, Integral Transforms and Special Functions, 2021.

%H N. M. Temme and E. J. M. Veling, <a href="https://arxiv.org/abs/2202.12857">Asymptotic expansions of Kummer hypergeometric functions with three asymptotic parameters a, b and z</a>, arXiv:2202.12857 [math.CA], 2022.

%F T(n,k) = (-1)^k*FF(n+k,n)*P[n,k](n/(n+1)) where P is the P-transform and FF the falling factorial function. For the definition of the P-transform see the link.

%F T(n,k) = A268438(n,k)*FF(n+k,n)/(2*n)!.

%e Triangle T(n,k) starts:

%e [1]

%e [0, 1]

%e [0, 2, 3]

%e [0, 6, 20, 15]

%e [0, 24, 130, 210, 105]

%e [0, 120, 924, 2380, 2520, 945]

%e [0, 720, 7308, 26432, 44100, 34650, 10395]

%e [0, 5040, 64224, 303660, 705320, 866250, 540540, 135135]

%p T := (n, k) -> add((-1)^(m+k)*binomial(n+k,n+m)*abs(Stirling1(n+m, m)), m=0..k):

%p seq(print(seq(T(n, k), k=0..n)), n=0..6);

%p # Alternatively:

%p T := proc(n, k) option remember;

%p `if`(k=0, k^n,

%p `if`(k<=0 or k>n, 0,

%p (n+k-1)*(T(n-1, k)+T(n-1, k-1)))) end:

%p for n from 0 to 6 do seq(T(n, k), k=0..n) od;

%t T[n_, k_] := Sum[(-1)^(m+k)*Binomial[n+k, n+m]*Abs[StirlingS1[n+m, m]], {m, 0, k}];

%t Table[T[n, k], {n, 0, 8}, {k, 0, n}] // Flatten (* _Jean-François Alcover_, Sep 12 2022 *)

%o (Sage)

%o T = lambda n, k: sum((-1)^(m+k)*binomial(n+k, n+m)*stirling_number1(n+m, m) for m in (0..k))

%o for n in (0..7): print([T(n, k) for k in (0..n)])

%o (Sage) # uses[PtransMatrix from A269941]

%o PtransMatrix(8, lambda n: n/(n+1), lambda n, k: (-1)^k*falling_factorial(n+k,n))

%Y Variants: A111999, A259456.

%Y Cf. A269939 (Stirling2 counterpart), A268438, A032188 (row sums).

%K nonn,tabl

%O 0,5

%A _Peter Luschny_, Mar 27 2016

%E Name corrected after notice from Ed Veling by _Peter Luschny_, Jun 14 2022