%I #28 Sep 03 2018 23:00:28
%S 2,1,0,5,1,1,9,4,2,16,5,4,27,11,7,45,16,12,74,29,20,121,45,33,197,76,
%T 54,320,121,88,519,199,143,841,320,232,1362,521,376,2205,841,609,3569,
%U 1364,986
%N Three-column table read by rows: coefficient table for generalized m-nomial transforms of Fibonacci numbers (A000045).
%C GENERAL EXPLANATION OF TERMS AND CONCEPTS: (Start)
%C I. Let the term "transform" generally mean the operation of summing the products of the ascending numbers of a sequence and numbers in the j-th row of an m-nomial triangle (i.e., triangle of m-nomial coefficients, T(j,k)), thus generating a new sequence for each m as j increases {j=0..inf.}. Further, let T(0,0) be the top entry (0th row, 0th column) in an m-nomial triangle, where m >= 2 (m=2 being Pascal's triangle, m=3 the trinomial triangle, etc.) and {k=0..(m-1)*j} for row j.
%C II. In this entry, the sequence is the Fibonacci numbers (A000045), starting with F(1)=1. So for example, the pentanomial (m=5) transform of the Fibonacci numbers is {1, 12, 193, 3149, 51410, ...} because {1*1} = 1 when j=0 (transform of row 0); {1*1 + 1*1 + 1*2 + 1*3 + 1*5} = 12 when j=1 (transform of row 1); {1*1 + 2*1 + 3*2 + 4*3 + 5*5 + 4*8 + 3*13 + 2*21 + 1*34} = 193 when j=2 (transform of row 2), ad infinitum.
%C III. Let T'<m*> denote the entire sequence for the m-nomial transform of the Fibonacci numbers. So for example, T'<4*> is {1, 7, 65, 615, 5825, ...). Further, let T'<m>(n'') denote the transform at n''. So for example, when n''=3: T'<4>(3)=615.
%C IV. Every m-nomial transform of Fibonacci numbers can be generated using the table below (presented in three columns: a'', b'', and c''; see "Example" section) and its expansion, both with and without internal recurrence (see "Formula" section for expanded form).
%C V. Coefficients a'', b'' and c'' for row m (corresponding to the m-nomial triangle, the initial row being m=2) are used to find T'<m*> and T'<m>(n''), applying the following equation:
%C VI. GENERAL M-NOMIAL TRANSFORM EQUATION: T'<m>(n'') = a''*T'<m>(n''-1) + b''*(sum_T'<m>(i)) {i=0..(n''-2); n''>=2} - c''.
%C (Given: T'<m>(0)=1)
%C See "Example" section for T'<5*> (pentanomial transform: using row m=5 in table for a'', b'' and c''). (End)
%F I. EXPANSION FORMULAS without internal recurrence [corresponding table columns noted]:
%F a(n) = A000032(m+1)-2 when n == 0 (mod 3) [corresponds to column a'' in table].
%F a(n) = A000032(m-1) when n == 1 (mod 6) [column b'', even m].
%F a(n) = A000032(m-1)-2 when n == 4 (mod 6) [column b'', odd m].
%F a(n) = A000045(m)-1 when n == 2 (mod 3) [column c''].
%F II. EXPANSION FORMULAS with internal recurrence:
%F a(n) = 2*a(n-3) + a(n-9), n >= 9, when n == 0 (mod 3) [corresponds to column a'' in table].
%F a(n) = a(n-4) - a(n-3), n >= 4, when n == 1 (mod 3) [column b''].
%F a(n) = A000045(m)-1 when n == 2 (mod 3) [column c''].
%e I. COEFFICIENT TABLE (initial row: m=2)
%e m a" b" c"
%e 2 2 1 0
%e 3 5 1 1
%e 4 9 4 2
%e 5 16 5 4
%e 6 27 11 7
%e 7 45 16 12
%e 8 74 29 20
%e 9 121 45 33
%e 10 197 76 54
%e 11 320 121 88
%e 12 519 199 143
%e 13 841 320 232
%e 14 1362 521 376
%e II. EXAMPLES OF EXPANSION FORMULAS for a(n):
%e a(12) = 27: (m=6; 12 == 0 (mod 3). A000032(7)-2 = 27, 2*16-5 = 27).
%e a(19) = 29: (m=8; 19 == 1 (mod 6). A000032(7) = 29, 45-16 = 29).
%e a(22) = 45: (m=9; 22 == 4 (mod 6). A000032(8)-2 = 45, 74-29 = 45).
%e a(23) = 33: (m=9; 23 == 2 (mod 3). A000045(9)-1 = 33).
%e III. EXAMPLE OF M-NOMIAL TRANSFORM USING GENERAL EQUATION, FOR T'<5*> (pentanomial transform -- m=5; a''=16, b''=5, c''=4. See "Comments" for explanation):
%e T'<5>(0) = 1 (given);
%e T'<5>(1) = 12: [16*T'<5>(0) - 4] = [16*1 - 4] = 12.
%e T'<5>(2) = 193: [16*T'<5>(1) + 5*T'<5>(0) - 4] = [16*12 + 5*1 - 4] = 193.
%e T'<5>(3) = 3149: [16*T'<5>(2) + 5*(T'<5>(1) + T'<5>(0)) - 4] = [16*193 + 5*(12+1) - 4] = 3149.
%e T'<5>(4) = 51410: [16*T'<5>(3) + 5*(T'<5>(2) + T'<5>(1) + T'<5>(0)) - 4] = [16*3149 + 5*(193+12+1) - 4] = 51410.
%e Therefore T'<5*> = {1, 12, 193, 3149, 51410, ...}.
%Y Cf. A000045 (Fibonacci numbers), A000032 (Lucas numbers).
%Y Cf. A007318 (Pascal's triangle), A027907 (trinomial triangle).
%K nonn
%O 0,1
%A _Bob Selcoe_, Jun 11 2014