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.

A071951 Triangle of Legendre-Stirling numbers of the second kind T(n,j), n >= 1, 1 <= j <= n, read by rows.

This page as a plain text file.
%I A071951 #79 Oct 19 2023 12:51:31
%S A071951 1,2,1,4,8,1,8,52,20,1,16,320,292,40,1,32,1936,3824,1092,70,1,64,
%T A071951 11648,47824,25664,3192,112,1,128,69952,585536,561104,121424,7896,168,
%U A071951 1,256,419840,7096384,11807616,4203824,453056,17304,240,1,512,2519296,85576448,243248704,137922336,23232176,1422080,34584,330,1
%N A071951 Triangle of Legendre-Stirling numbers of the second kind T(n,j), n >= 1, 1 <= j <= n, read by rows.
%C A071951 Removing a factor of 2^m from the m-th subdiagonal (the main diagonal corresponds to m = 0) gives the triangle A080248. - _Peter Bala_, Oct 15 2023
%H A071951 Robert Israel, <a href="/A071951/b071951.txt">Table of n, a(n) for n = 1..10011</a> (first 141 rows, flattened)
%H A071951 G. E. Andrews, W. Gawronski and L. L. Littlejohn, <a href="https://doi.org/10.1016/j.disc.2011.02.028">The Legendre-Stirling Numbers</a>, Discrete Mathematics, Volume 311, Issue 14, 28 July 2011, Pages 1255-1272.
%H A071951 M. W. Coffey, M. C. Lettington, <a href="http://arxiv.org/abs/1510.05402">On Fibonacci Polynomial Expressions for Sums of mth Powers, their implications for Faulhaber's Formula and some Theorems of Fermat</a>, arXiv:1510.05402 [math.NT], 2015.
%H A071951 R. B. Corcino, K. J. M. Gonzales, M. J. C. Loquias and E. L. Tan, <a href="http://arxiv.org/abs/1302.4694">Dually weighted Stirling-type sequences</a>, arXiv:1302.4694 [math.CO], 2013.
%H A071951 R. B. Corcino, K. J. M. Gonzales, M. J. C. Loquias and E. L. Tan, <a href="http://dx.doi.org/10.1016/j.ejc.2014.06.010">Dually weighted Stirling-type sequences</a>, Europ. J. Combin., 43, 2015, 55-67.
%H A071951 José L. Cereceda, <a href="https://arxiv.org/abs/2301.02141">A refinement of Lang's formula for the sum of powers of integers</a>, arXiv:2301.02141 [math.NT], 2023.
%H A071951 E. S. Egge, <a href="https://doi.org/10.1016/j.ejc.2010.03.005">Legendre-Stirling permutations</a>, Eur. J. Combin. 13 (2010) 1735-1750.
%H A071951 W. N. Everitt, L. L. Littlejohn and R. Wellman, <a href="http://dx.doi.org/10.1016/S0377-0427(02)00582-4">Legendre polynomials, Legendre-Stirling numbers and the left-definite spectral analysis of the Legendre differential expression</a>, J. Comput. Appl. Math. 148, 2002, 213-238.
%H A071951 H. Li, T. MacHenry, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL16/MacHenry/machenry7.html">Permanents and Determinants, Weighted Isobaric Polynomials, and Integer Sequences</a>, J. Int. Seq. 16 (2013) #13.3.5, Theorem 43.
%H A071951 L. L. Littlejohn and R. Wellman, <a href="http://dx.doi.org/10.1006/jdeq.2001.4078">A general left-definite theory for certain self-adjoint operators with applications to differential equations</a>, J. Differential Equations, 181(2), 2002, 280-339.
%F A071951 T(n, j) = Sum_{r=1..j} (-1)^(r+j)*(2*r+1)*(r^2+r)^n/((r+j+1)!*(j-r)!).
%F A071951 G.f. for j-th column (without leading zeros): 1/Product_{r=1..j} (1 - r*(r+1)*x), j >= 1. From eq.(4.5) of the Everitt et al. paper.
%F A071951 A135921(n+1) = row sums. - _Michael Somos_, Feb 25 2012
%F A071951 Sum_{n=j..m} binomial(m,n)*T(n,j)*4^(n-j) = A160562(m,j) for 1 <= j <= m. - _Werner Schulte_, Dec 03 2015
%e A071951 The triangle begins:
%e A071951 n\j   1      2       3        4       5      6     7   8 9 ...
%e A071951 1:    1
%e A071951 2:    2      1
%e A071951 3:    4      8       1
%e A071951 4:    8     52      20        1
%e A071951 5:   16    320     292       40       1
%e A071951 6:   32   1936    3824     1092      70      1
%e A071951 7:   64  11648   47824    25664    3192    112     1
%e A071951 8:  128  69952  585536   561104  121424   7896   168   1
%e A071951 9:  256 419840 7096384 11807616 4203824 453056 17304 240 1
%e A071951 ...
%e A071951 Row 10: 512 2519296 85576448 243248704 137922336 23232176 1422080 34584 330 1. Reformatted by _Wolfdieter Lang_, Apr 10 2013
%p A071951 N:= 20: # to get the first N rows, flattened
%p A071951 for j from 1 to N do S[j]:= series(x^j/mul(1-r*(r+1)*x, r=1..j), x, N+1) od:
%p A071951 seq(seq(coeff(S[j],x,i),j=1..i),i=1..N); # _Robert Israel_, Dec 03 2015
%p A071951 # alternative
%p A071951 A071951 := proc(n,k)
%p A071951     option remember;
%p A071951     if k =0 then
%p A071951         if n = 0 then
%p A071951             1;
%p A071951         else
%p A071951             0;
%p A071951         end if;
%p A071951     elif n = 0 then
%p A071951         if k =0 then
%p A071951             1;
%p A071951         else
%p A071951             0;
%p A071951         end if;
%p A071951     else
%p A071951         procname(n-1,k-1)+k*(k+1)*procname(n-1,k) ;
%p A071951     end if;
%p A071951 end proc: # _R. J. Mathar_, Jun 30 2018
%t A071951 Flatten[ Table[ Sum[(-1)^{r + j}(2r + 1)(r^2 + r)^n/((r + j + 1)!(j - r)!), {r, j}], {n, 10}, {j, n}]]
%o A071951 (PARI) {T(n, k) = sum( i=0, k, (-1)^(i+k) * (2*i + 1) * (i*i + i)^n / (k-i)! / (k+i+1)! )} /* _Michael Somos_, Feb 25 2012 */
%o A071951 (Magma) [[(&+[(-1)^(r+j)*(2*r+1)*(r^2+r)^n/(Factorial(r+j+1)*Factorial(j-r)): r in [1..j]]): j in [1..n]]: n in [1..12]]; // _G. C. Greubel_, Mar 16 2019
%o A071951 (Sage) [[sum( (-1)^(r+j)*(2*r+1)*(r^2+r)^n/(factorial(r+j+1)*factorial(j-r)) for r in (1..j)) for j in (1..n)] for n in (1..12)] # _G. C. Greubel_, Mar 16 2019
%Y A071951 Diagonals give A007290, A000079, A016129, A016309.
%Y A071951 The column sequences are A000079 (powers of 2), A016129, A016309, A071952, A089274, A089277.
%Y A071951 Cf. A080248, A089278, A089500, A160562.
%K A071951 nonn,tabl
%O A071951 1,2
%A A071951 _N. J. A. Sloane_, Jun 16 2002