A144696 → D+1

nonnegative coefficients

Proved for all n all roots real, in (−∞, 0]coefficients of one sign Hadamard kernel interlacing (weak)

Recurrence

\(\left(-1 + 2\,x + n\right)\,P_{n}(x) = \left(-4\,x + 6\,x^{2} - 2\,x^{3} - 2\,n + 3\,n x - 5\,n x^{2} + 4\,n x^{3} - 2\,n x^{4} - 2\,n^{2} x + 2\,n^{2} x^{2} - 3\,n^{2} x^{3} - n^{3} x^{2}\right)\,P_{n-2}(x) + \left(-2\,x^{2} + 4\,x^{3} - 4\,x^{4} + 2\,x^{5} - n x + 2\,n x^{2} - 4\,n x^{3} + 3\,n x^{4} - n^{2} x^{2} + n^{2} x^{3}\right)\,P_{n-2}'(x) + \left(-2 + 7\,x - 4\,x^{2} + 2\,x^{3} + 3\,n - 3\,n x + 5\,n x^{2} + 2\,n^{2} x\right)\,P_{n-1}(x) + \left(-x + 3\,x^{2} - 2\,x^{3} + n x - n x^{2}\right)\,P_{n-1}'(x)\)

\(P_{0}(x) = 1\)

\(P_{1}(x) = 3 + 2\,x\)

Rows ?

n	x⁰	x¹	x²	x³	x⁴	x⁵	x⁶	x⁷	x⁸	x⁹	x¹⁰	x¹¹	x¹²	x¹³	x¹⁴	P_n(1)
0	1															1
1	3	2														5
2	8	15	4													27
3	19	84	57	8												168
4	42	383	564	195	16											1200
5	89	1524	4342	3100	633	32										9720
6	184	5547	27948	37210	15252	1995	64									88200
7	375	19028	158667	362160	270365	70140	6177	128								887040
8	758	62703	824200	3021029	3795150	1765897	308852	18915	256							9797760
9	1525	200988	4015992	22491972	44607258	34510980	10727952	1321308	57513	512						117936000
10	3060	631931	18672240	153825468	458172600	553827666	284006544	61939260	5542932	174075	1024					1536796800
11	6131	1960044	83841253	986446080	4244244462	7626423672	6070582938	2173316832	344783535	22939708	525297	2048				21555072000
12	12274	6021135	366701196	6020212775	36288752220	93184981182	109576052880	60644504358	15753434850	1868782355	94040244	1582035	4096			323805081600
13	24561	18370244	1572119418	35350104012	291328579495	1036070794728	1729643616972	1408808149464	564404494671	109592229780	9932144986	382931484	4758393	8192		5187108326400
14	49136	55773867	6637389508	201355930030	2224416407844	10683206976773	24524372394696	28246065897924	16618250457240	4971335033797	738735424116	52021964462	1551824468	14299755	16384	88268019840000

Technical details

Node id: n-fc19f5313a8fe419 · revision 0 · JSON
Definition source: derived:one_plus_derivative
Fingerprint: f6-3bb4448a65738f93

Observed on the stored rows ?

Degrees: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 (affine: slope 1, intercept 0)
Palindromic rows: no
γ-positive (gamma_positive): no
Nonnegative coefficients (nonn): yes
Only rational roots (rr_by_factors: every nonzero row is a product of linear factors over ℚ): no

Matches ?

No OEIS matches.

Submission text ?

Atlas rows n = 0, …, ascending powers of x

%e Example

Triangle begins:
  0:    1;
  1:    3,      2;
  2:    8,     15,       4;
  3:   19,     84,      57,        8;
  4:   42,    383,     564,      195,       16;
  5:   89,   1524,    4342,     3100,      633,       32;
  6:  184,   5547,   27948,    37210,    15252,     1995,       64;
  7:  375,  19028,  158667,   362160,   270365,    70140,     6177,     128;
  8:  758,  62703,  824200,  3021029,  3795150,  1765897,   308852,   18915,   256;
  9: 1525, 200988, 4015992, 22491972, 44607258, 34510980, 10727952, 1321308, 57513, 512;

%F Formula

The row polynomials satisfy (n-1+2*x)*P(n,x) = -(2*n+(2*n^2-3*n+4)*x+(n^3-2*n^2+5*n-6)*x^2+(3*n^2-4*n+2)*x^3+2*n*x^4)*P(n-2,x) - (n*x+(n^2-2*n+2)*x^2-(n^2-4*n+4)*x^3-(3*n-4)*x^4-2*x^5)*d/dx P(n-2,x) + (3*n-2+(2*n^2-3*n+7)*x+(5*n-4)*x^2+2*x^3)*P(n-1,x) + ((n-1)*x-(n-3)*x^2-2*x^3)*d/dx P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 3 + 2*x.

%t Mathematica

P[0, x_] := 1;
P[1, x_] := 3 + 2*x;
P[n_, x_] := P[n, x] = Expand[Together[(-(2*n + (2*n^2 - 3*n + 4)*x + (n^3 - 2*n^2 + 5*n - 6)*x^2 + (3*n^2 - 4*n + 2)*x^3 + 2*n*x^4)*P[n - 2, x] - (n*x + (n^2 - 2*n + 2)*x^2 - (n^2 - 4*n + 4)*x^3 - (3*n - 4)*x^4 - 2*x^5)*D[P[n - 2, x], x] + (3*n - 2 + (2*n^2 - 3*n + 7)*x + (5*n - 4)*x^2 + 2*x^3)*P[n - 1, x] + ((n - 1)*x - (n - 3)*x^2 - 2*x^3)*D[P[n - 1, x], x])/(n - 1 + 2*x)]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten

%o PARI/GP

P(N) = {my(v = vector(N + 1)); v[1] = 1; v[2] = 3 + 2*x; for(n = 2, N, my(i = n + 1); v[i] = (-(2*n + (2*n^2 - 3*n + 4)*x + (n^3 - 2*n^2 + 5*n - 6)*x^2 + (3*n^2 - 4*n + 2)*x^3 + 2*n*x^4)*v[i - 2] - (n*x + (n^2 - 2*n + 2)*x^2 - (n^2 - 4*n + 4)*x^3 - (3*n - 4)*x^4 - 2*x^5)*deriv(v[i - 2], x) + (3*n - 2 + (2*n^2 - 3*n + 7)*x + (5*n - 4)*x^2 + 2*x^3)*v[i - 1] + ((n - 1)*x - (n - 3)*x^2 - 2*x^3)*deriv(v[i - 1], x))/(n - 1 + 2*x)); v};
row(n, p) = {my(c = Vecrev(p)); c};
T(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};
T(9)

polytool c48629374597

Properties

Real-rooted? Every row P_n, n ≥ 0, is zero or real-rooted with all roots in (−∞, 0]
by Laguerre’s theorem on differential operators
Coefficients of one sign? Every nonzero row, n ≥ 0: the coefficients of P_n have one sign
derived from Laguerre’s theorem on differential operators
Hadamard kernel (Malo)? Rows P_n, n ≥ 0, are Hadamard kernels (preserve real-rootedness)
derived from Laguerre’s theorem on differential operators
Interlacing of consecutive rows? Rows P_(m-1), P_m interlace (weak, unordered) for every m ≥ 1
by Laguerre’s theorem on differential operators

Proof chains ? JSON

Laguerre’s theorem on differential operators [SP14] polytool ? step ›
- from Triangle of 2-Eulerian numbers.?
  - Liu–Wang theorem [LW07, Thm 2.1, Cor 2.4] ? step › direct check

References

[LW07] Lily L. Liu and Yi Wang. A unified approach to polynomial sequences with only real zeros. Advances in Applied Mathematics, 38(4):542–560, May 2007. doi:10.1016/j.aam.2006.02.003
[SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.