Real-rooted atlas

A257180 → D+1

nonnegative coefficients

Proved for all n all roots real, in (−∞, 0]coefficients of one signHadamard kernelinterlacing (weak)

Recurrence

\(\left(1 + 2\,x + n\right)\,P_{n}(x) = \left(-24 - 30\,x - 12\,x^{2} - 10\,x^{3} - 4\,x^{4} - 12\,n - 15\,n x - 19\,n x^{2} - 8\,n x^{3} - 2\,n x^{4} - 6\,n^{2} x - 4\,n^{2} x^{2} - 3\,n^{2} x^{3} - n^{3} x^{2}\right)\,P_{n-2}(x) + \left(-6\,x - 2\,x^{2} + 4\,x^{3} + 2\,x^{4} + 2\,x^{5} - 3\,n x + 3\,n x^{4} - n^{2} x^{2} + n^{2} x^{3}\right)\,P_{n-2}'(x) + \left(10 + 17\,x + 6\,x^{2} + 2\,x^{3} + 7\,n + 5\,n x + 5\,n x^{2} + 2\,n^{2} x\right)\,P_{n-1}(x) + \left(x + x^{2} - 2\,x^{3} + n x - n x^{2}\right)\,P_{n-1}'(x)\)
\(P_{1}(x) = 33 + 42\,x + 9\,x^{2}\)
\(P_{2}(x) = 168 + 423\,x + 222\,x^{2} + 27\,x^{3}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16Pn(1)
13342984
216842322227840
3807354635881050819072
437142628345624252904686243105840
516557178482491943462180160467202027291330560
672060113639147048226952605405681695249785182218717962560
730792368916664112274690478374825132843238011054046863538506561259459200
812973024025637933542404810538901241422867852869013978241737216297103321454766196833995671680
9540572122834809025917901171125802912821579387858194412132608395158450171876880815962075759371625904965383718400
10223314721265481543191829234541122764739992956466601363767740386062394812905807601903976611782059096843206859241029421771471133317785600
11916287996883745898137143773264105944000574637328262293076508907536788583960411591227255374152206549567276697854572569843983952089747465053144120748433305600
123739553703688632977195319832485695556089566384409817618753010242454583236512542281158268882537348610628291563512924145427461595765512473941480227253169263930872461594323400148356608000
1315197363251952556283866473311723683830388632659324931852591620291492786212468390242793167432640321778168019916241084354915859271296874839701902436086307835853287924512236116564731143158191492247829698109673360588800
14615547280410233230064394312640444645469962652333732952698529246270322041403257747515943124881179402162512903472974117373479042701022749213429384393473741290460616578153034182640039629920817620071584594566675829635635750214348907172330558912512000
152486582263553195304011222827666000247105743673450690238541954175644562942646421310316069307127931794860527421098789176856825630987377871871749204519253878380462742158469847195254210275074696003188902626425159074010130436035447158301969545131425511523450430467213831820662878208000
Technical details
Node id
n-5f11ae285e99a7ba · revision 0 · JSON
Definition source
derived:one_plus_derivative
Fingerprint
f6-dc8c0af61de5a33e

Observed on the stored rows ?

  • Degrees: 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 (affine: slope 1, intercept 1)
  • 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 = 1, …, ascending powers of x
%e Example
Triangle begins:
   1:       33,         42,           9;
   2:      168,        423,         222,           27;
   3:      807,       3546,        3588,         1050,           81;
   4:     3714,      26283,       45624,        25290,         4686,          243;
   5:    16557,     178482,      491943,       462180,       160467,        20202,          729;
   6:    72060,    1136391,     4704822,      6952605,      4056816,       952497,        85182,        2187;
   7:   307923,    6891666,    41122746,     90478374,     82513284,     32380110,      5404686,      353850,        6561;
   8:  1297302,   40256379,   335424048,   1053890124,   1422867852,    869013978,    241737216,    29710332,     1454766,     19683;
   9:  5405721,  228348090,  2591790117,  11258029128,  21579387858,  19441213260,   8395158450,  1718768808,   159620757,   5937162,    59049;
  10: 22331472, 1265481543, 19182923454, 112276473999, 295646660136, 376774038606, 239481290580, 76019039766, 11782059096, 843206859, 24102942, 177147;
%F Formula
The row polynomials satisfy (n+1+2*x)*P(n,x) = -(12*n+24+(6*n^2+15*n+30)*x+(n^3+4*n^2+19*n+12)*x^2+(3*n^2+8*n+10)*x^3+(2*n+4)*x^4)*P(n-2,x) - ((3*n+6)*x+(n^2+2)*x^2-(n^2+4)*x^3-(3*n+2)*x^4-2*x^5)*d/dx P(n-2,x) + (7*n+10+(2*n^2+5*n+17)*x+(5*n+6)*x^2+2*x^3)*P(n-1,x) + ((n+1)*x-(n-1)*x^2-2*x^3)*d/dx P(n-1,x) for n >= 3, with P(1,x) = 33 + 42*x + 9*x^2, P(2,x) = 168 + 423*x + 222*x^2 + 27*x^3.
%t Mathematica
P[1, x_] := 33 + 42*x + 9*x^2;
P[2, x_] := 168 + 423*x + 222*x^2 + 27*x^3;
P[n_, x_] := P[n, x] = Expand[Together[(-(12*n + 24 + (6*n^2 + 15*n + 30)*x + (n^3 + 4*n^2 + 19*n + 12)*x^2 + (3*n^2 + 8*n + 10)*x^3 + (2*n + 4)*x^4)*P[n - 2, x] - ((3*n + 6)*x + (n^2 + 2)*x^2 - (n^2 + 4)*x^3 - (3*n + 2)*x^4 - 2*x^5)*D[P[n - 2, x], x] + (7*n + 10 + (2*n^2 + 5*n + 17)*x + (5*n + 6)*x^2 + 2*x^3)*P[n - 1, x] + ((n + 1)*x - (n - 1)*x^2 - 2*x^3)*D[P[n - 1, x], x])/(n + 1 + 2*x)]];
Table[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N)); v[1] = 33 + 42*x + 9*x^2; v[2] = 168 + 423*x + 222*x^2 + 27*x^3; for(n = 3, N, my(i = n); v[i] = (-(12*n + 24 + (6*n^2 + 15*n + 30)*x + (n^3 + 4*n^2 + 19*n + 12)*x^2 + (3*n^2 + 8*n + 10)*x^3 + (2*n + 4)*x^4)*v[i - 2] - ((3*n + 6)*x + (n^2 + 2)*x^2 - (n^2 + 4)*x^3 - (3*n + 2)*x^4 - 2*x^5)*deriv(v[i - 2], x) + (7*n + 10 + (2*n^2 + 5*n + 17)*x + (5*n + 6)*x^2 + 2*x^3)*v[i - 1] + ((n + 1)*x - (n - 1)*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, v[i])))};
T(10)

polytool c48629374597

Properties

Proof chains ? JSON

References

  1. [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
  2. [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.