cp's OEIS Frontend

This triangle is a companion to Parks' triangle A103631.

The coefficients of triangle A103631(n,k) appear in appendix 2 of Park’s remarkable article “A new proof of the Routh-Hurwitz stability criterion using the second method of Liapunov” if we assume that the b(n) coefficients are all equal to 1, see the second Maple program.

The a(n,k) coefficients of the triangle given above are related to the coefficients of a linear (n+1)-th order differential equation for the case b(n)=1, see the examples.

a(n,k) is also the number of symmetric binary strings of odd length n with Hamming weight k>0 and no consecutive 1's. - Christian Barrientos and Sarah Minion, Feb 27 2018

Also the q-Stirling2 numbers at q = -1. - Peter Luschny, Mar 09 2020

Row sums give the Fibonacci sequence. So do the alternating row sums.

Triangle of coefficients of polynomials defined by p(-1,x) = p(0,x) = 1, p(n, x) = x*p(n-1, x) + p(n-2, x), for n >= 1. - Benoit Cloitre, May 08 2005 [rewritten with correct offset. - Wolfdieter Lang, Feb 18 2020]

Another version of triangle in A103631. - Philippe Deléham, Jan 01 2009

The T(n,k) coefficients appear in appendix 2 of Parks's remarkable article "A new proof of the Routh-Hurwitz stability criterion using the second method of Liapunov" if we assume that the b(n) coefficients are all equal to 1 and ignore the first column. The complete version of this triangle including the first column is A103631. - Johannes W. Meijer, Aug 11 2011

Signed ++--++..., the roots are chaotic using f(x) --> x^2 - 2 with cycle lengths shown in A003558 by n-th rows. Example: given row 3, x^3 + x^2 - 2x - 1; the roots are (a = 1.24697, ...; b = -0.445041, ...; c = -1.802937, ...). Then (say using seed b with x^2 - 2) we obtain the trajectory -0.445041, ... -> -1.80193, ... -> 1.24697, ...; matching the entry "3" in A003558(3). - Gary W. Adamson, Sep 06 2011

From Gary W. Adamson, Aug 25 2019: (Start)

Roots to the polynomials and terms in A003558 can all be obtained from the numbers below using a doubling series mod N procedure as follows: (more than one row may result). Any row ends when the trajectory produces a term already used. Then try the next higher odd term not used as the leftmost term, then repeat.

For example, for N = 11, we get: (1, 2, 4, 3, 5), showing that when confronted with two choices after the 4: (8 and -3), pick the smaller (abs) term, = 3. Then for the next row pick 7 (not used) and repeat the algorithm; succeeding only if the trajectory produces new terms. But 7 is also (-4) mod 11 and 4 was used. Therefore what I call the "r-t table" (for roots trajectory) has only one row: (1, 2, 4, 3, 5). Conjecture: The numbers of terms in the first row is equal to A003558 corresponding to N, i.e., 5 in this case with period 2.

Now for the roots to the polynomials. Pick N = 7. The polynomial is x^3 - x^2 - 2x + 1 = 0, with roots 1.8019..., -1.2469... and 0.445... corresponding to 2*cos(j*Pi/N), N = 7, and j = (1, 2, and 3). The terms (1, 2, 3) are the r-t terms for N = 7. For 11, the r-t terms are (1, 2, 4, 3, 5). This implies that given any roots of the corresponding polynomial, they are cyclic using f(x) --> x^2 - 2 with cycle lengths shown in A003558. The terms thus generated are 2*cos(j*Pi), with j = (1, 2, 4, 3, 5). Check: Begin with 2*j*Pi/N, with j = 1 (1.9189...). The other trajectory terms are: --> 1.6825..., --> 0.83083..., -1.3097...; 545...; (a 5 period and cyclic since we can begin with any of the constants). The r-t table for odd N begins as follows:

3...............1

5...............1, 2

7...............1, 2, 3

9...............1, 2, 4

...............3 (singleton terms reduce to "1") (9 has two rows)

11...............1, 2, 4, 3, 5

13...............1, 2, 4, 5, 3, 6

15...............1, 2, 4, 7

................3, 6 (dividing through by the gcd gives (1, 2))

................5. (singleton terms reduce to "1")

The result is that 15 has 3 factors (since 3 rows), and the values of those factors are the previous terms "N", corresponding to the r-t terms in each row. Thus, the first row is new, the second (1, 2), corresponds to N = 5, and the "1" in row 3 corresponds to N = 3. The factors are those values apart from 15 and 1. Note that all of the unreduced r-t terms in all rows for N form a complete set of the terms 1 through (N-1)/2 without duplication. (End)

From Gary W. Adamson, Sep 30 2019: (Start)

The 3 factors of the 7th degree polynomial for 15: (x^7 - x^6 - 6x^5 + 5x^4 + 10x^3 - 6x^2 - 4x + 1) can be determined by getting the roots for 2*cos(j*Pi/1), j = (1, 2, 4, 7) and finding the corresponding polynomial, which is x^4 + x^3 - 4x^2 - 4x + 1. This is the minimal polynomial for N = 15 as shown in Table 2, p. 46 of (Lang). The degree of this polynomial is 4, corresponding to the entry in A003558 for 15, = 4. The trajectories (3, 6) and (5) are j values for 2*cos(j*Pi/15) which are roots to x^2 - x - 1 (relating to the pentagon), and (x - 1), relating to the triangle. (End)

From Gary W. Adamson, Aug 21 2019: (Start)

Matrices M of the form: (1's in the main diagonal, -1's in the subdiagonal, and the rest zeros) are chaotic if we replace (f(x) --> x^2 - 2) with f(x) --> M^2 - 2I, where I is the Identity matrix [1, 0, 0; 0, 1, 0; 0, 0, 1]. For example, with the 3 X 3 matrix M: [0, 0, 1; 0, 1, -1; 1, -1, 0]; the f(x) trajectory is:

....M^2 - 2I: [-1, -1, 0; -1, 0, -1; 0, -1, 0], then for the latter,

....M^2 - 2I: [0, 1, 1; 1, 0, 0; 1, 0, -1]. The cycle ends with period 3 since the next matrix is (-1) * the seed matrix. As in the case with f(x) --> x^2 - 2, the eigenvalues of the 3 chaotic matrices are (abs) 1.24697, 0.44504... and 1.80193, ... Also, the characteristic equations of the 3 matrices are the same as or variants of row 4 of the triangle below: (x^3 + x - 2x - 1) with different signs. (End)

Received from Herb Conn, Jan 2004: (Start)

Let x = 2*cos(2A) (A = Angle); then

sin(A)/sin A = 1

sin(3A)/sin A = x + 1

sin(5A)/sin A = x^2 + x - 1

sin(7A)/sin A = x^3 + x - 2x - 1

sin(9A)/sin A = x^4 + x^3 - 3x^2 - 2x + 1

... (signed ++--++...). (End)

Or Pascal's triangle (A007318) with duplicated diagonals. Also triangle of coefficients of polynomials defined by P_0(x) = 1 and for n>=1, P_n(x) = F_n(x) + F_(n+1)(x), where F_n(x) is Fibonacci polynomial (cf. A049310): F_n(x) = Sum_{i=0..floor((n-1)/2)} C(n-i-1,i)*x^(n-2*i-1). - Vladimir Shevelev, Apr 12 2012

The matrix inverse is given by

1;

1, 1;

0, -1, 1;

0, 1, -2, 1;

0, 0, 1, -2, 1;

0, 0, -1, 3, -3, 1;

0, 0, 0, -1, 3, -3, 1;

0, 0, 0, 1, -4, 6, -4, 1;

0, 0, 0, 0, 1, -4, 6, -4, 1;

... apart from signs the same as A124645. - R. J. Mathar, Mar 12 2013

Previous name: Triangle T(n,k), 0<=k<=n, read by rows given by [0, 1, 0, 0, 0, 0, 0, 0, 0, ...] DELTA [1, -2, 1, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.

There are several versions of Lucas and Fibonacci polynomials in this database. Our naming follows the convention of calling polynomials after the values of the polynomials at x = 1. This assumes a regular sequence of polynomials, that is, a sequence of polynomials where degree(p(n)) = n. This view makes the coefficients of the polynomials (the terms of a row) a refinement of the values at the unity.

A remarkable property of the polynomials under consideration is that they are dual in this respect. This means they give the Lucas numbers at x = 1 and the Fibonacci numbers at x = -1 (except for the sign). See the example section.

The Pell numbers and the dual Pell numbers are also values of the polynomials, at the points x = -1/2 and x = 1/2 (up to the normalization factor 2^n). This suggests a harmonized terminology: To call 2^n*P(n, -1/2) = 1, 0, 1, 2, 5, ... the Pell numbers (A000129) and 2^n*P(n, 1/2) = 1, 4, 9, 22, ... the dual Pell numbers (A048654).

Based on our naming convention one could call A162515 (without the prepended 0) the Fibonacci polynomials. In the definition above only the initial values would change to: T(n, k) = k + 1 for k < 1. To extend this line of thought we introduce A374438 as the third triangle of this family.

The triangle is closely related to the qStirling2 numbers at q = -1. For the definition of these numbers see A333143. This relates the triangle to A065941 and A103631.

Diagonal sums of A103631.

The Kn11 sums, see A180662, of triangle A065941 equal the terms of this sequence without a(0) and a(1). - Johannes W. Meijer, Aug 11 2011

For n >= 2, a(n) is the number of palindromic compositions of n-2 with parts in {2,1,3,5,7,9,...}. The generating function follows easily from Theorem 1,2 of the Hoggatt et al. reference. Example: a(9) = 8 because we have 7, 151, 11311, 232, 313, 12121, 21112, and 1111111. - Emeric Deutsch, Aug 17 2016

Essentially the same as A003411. - Georg Fischer, Oct 07 2018

The two roots of the denominator of the g.f. (for Binet's formula) are -0.393486... and 0.2823756...

Pisano period lengths: 1, 3, 1, 6, 6, 3, 6, 12, 1, 6, 10, 6, 84, 6, 6, 24,144, 3, 72, 6,... - R. J. Mathar, Aug 10 2012

From Johannes W. Meijer, Aug 21 2011: (Start)

An appropriate name for this sequence is Fibonacci double factorial, cf. A006882.

In Parks' article appendix 2, a number triangle T(n,k) with T(n,n) = a(n+1), n>=0, appears if we assume that b(r) = Fibonacci(r); see A103631 and A194005. (End)

The original name of this sequence was: A000045 inside a second linear differential equation recursion: b(n) = b(n-1) + b(n-2) --> Binet(n) of A000045 a(n) = b(n)*a(n-2)/(n*(n-1)).

Bagula also stated that using the solutions to these second order differential equations Markov/ linear recursions can be encoded as analog functions.

Partial products of the odd-indexed Fibonacci numbers interleaved with the partial products of the even-indexed Fibonacci numbers. - Harvey P. Dale, Mar 14 2012

Member of the family of Fibonacci polynomials (A011973, A162515, ...) and Chebyshev polynomials (A053119).

Row sums are Sum_{k=0..n} binomial(floor(n/2),n-k) = (1,1,2,2,4,4,...). Diagonal sums have g.f. (1+x^2)/(1-x^3-x^4) (see A079398). Matrix inverse of the signed triangle (-1)^(n-k)T(n,k) is A103631. Matrix inverse of T(n,k) is the alternating signed version of A103631.

Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, ....] DELTA [1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938. - Philippe Deléham, Oct 08 2005

A130595*A153342 as infinite lower triangular matrices. Reflected version of A103631. Another version of A046854. Row sums are Fibonacci numbers (A000045).

A055830*A130595 as infinite lower triangular matrices.