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.

A008310 Triangle of coefficients of Chebyshev polynomials T_n(x).

This page as a plain text file.
%I A008310 #140 Apr 06 2025 23:59:29
%S A008310 1,1,-1,2,-3,4,1,-8,8,5,-20,16,-1,18,-48,32,-7,56,-112,64,1,-32,160,
%T A008310 -256,128,9,-120,432,-576,256,-1,50,-400,1120,-1280,512,-11,220,-1232,
%U A008310 2816,-2816,1024,1,-72,840,-3584,6912,-6144,2048,13,-364,2912,-9984,16640,-13312,4096
%N A008310 Triangle of coefficients of Chebyshev polynomials T_n(x).
%C A008310 The row length sequence of this irregular array is A008619(n), n >= 0. Even or odd powers appear in increasing order starting with 1 or x for even or odd row numbers n, respectively. This is the standard triangle A053120 with 0 deleted. - _Wolfdieter Lang_, Aug 02 2014
%C A008310 Let T* denote the triangle obtained by replacing each number in this triangle by its absolute value. Then T* gives the coefficients for cos(nx) as a polynomial in cos x. - _Clark Kimberling_, Aug 04 2024
%D A008310 M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 795.
%D A008310 E. A. Guilleman, Synthesis of Passive Networks, Wiley, 1957, p. 593.
%D A008310 Yaroslav Zolotaryuk, J. Chris Eilbeck, "Analytical approach to the Davydov-Scott theory with on-site potential", Physical Review B 63, p543402, Jan. 2001. The authors write, "Since the algebra of these is 'hyperbolic', contrary to the usual Chebyshev polynomials defined on the interval 0 <= x <= 1, we call the set of  functions (21) the hyperbolic Chebyshev polynomials." (This refers to the triangle T* described in Comments.)
%H A008310 R. J. Mathar, <a href="/A008310/b008310.txt">Table of n, a(n) for n = 0..2600</a>
%H A008310 M. Abramowitz and I. A. Stegun, eds., <a href="http://www.convertit.com/Go/ConvertIt/Reference/AMS55.ASP">Handbook of Mathematical Functions</a>, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
%H A008310 Renato Ferreira Pinto Jr. and Nathaniel Harms, <a href="https://arxiv.org/abs/2410.18915">Testing Support Size More Efficiently Than Learning Histograms</a>, arXiv:2410.18915 [cs.DS], 2024. See p. 40.
%H A008310 D. Foata and G.-N. Han, <a href="https://irma.math.unistra.fr/~foata/paper/pub71.html">Nombres de Fibonacci et polynomes orthogonaux</a>
%H A008310 C. Lanczos, <a href="/A002457/a002457.pdf">Applied Analysis</a> (Annotated scans of selected pages)
%H A008310 I. Rivin, <a href="https://arxiv.org/abs/math/9911076">Growth in free groups (and other stories)</a>, arXiv:math/9911076 [math.CO], 1999.
%H A008310 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/ChebyshevPolynomialoftheFirstKind.html">Chebyshev Polynomial of the First Kind</a>.
%H A008310 Wikipedia, <a href="https://en.wikipedia.org/wiki/Chebyshev_polynomials">Chebyshev polynomials</a>.
%H A008310 <a href="/index/Ch#Cheby">Index entries for sequences related to Chebyshev polynomials</a>.
%F A008310 a(n,m) = 2^(m-1) * n * (-1)^((n-m)/2) * ((n+m)/2-1)! / (((n-m)/2)! * m!) if n>0. - _R. J. Mathar_, Apr 20 2007
%F A008310 From _Paul Weisenhorn_, Oct 02 2019: (Start)
%F A008310 T_n(x) = 2*x*T_(n-1)(x) - T_(n-2)(x), T_0(x) = 1, T_1(x) = x.
%F A008310 T_n(x) = ((x+sqrt(x^2-1))^n + (x-sqrt(x^2-1))^n)/2. (End)
%F A008310 From _Peter Bala_, Aug 15 2022: (Start)
%F A008310 T(n,x) = [z^n] ( z*x + sqrt(1 + z^2*(x^2 - 1)) )^n.
%F A008310 Sum_{k = 0..2*n} binomial(2*n,k)*T(k,x) = (2^n)*(1 + x)^n*T(n,x).
%F A008310 exp( Sum_{n >= 1} T(n,x)*t^n/n ) = Sum_{n >= 0} P(n,x)*t^n, where P(n,x) denotes the n-th Legendre polynomial. (End)
%e A008310 Rows are: (1), (1), (-1,2), (-3,4), (1,-8,8), (5,-20,16) etc., since if c = cos(x): cos(0x) = 1, cos(1x) = 1c; cos(2x) = -1+2c^2; cos(3x) = -3c+4c^3, cos(4x) = 1-8c^2+8c^4, cos(5x) = 5c-20c^3+16c^5, etc.
%e A008310 From _Wolfdieter Lang_, Aug 02 2014: (Start)
%e A008310 This irregular triangle a(n,k) begins:
%e A008310   n\k   0    1     2      3      4      5      6      7 ...
%e A008310   0:    1
%e A008310   1:    1
%e A008310   2:   -1    2
%e A008310   3:   -3    4
%e A008310   4:    1   -8     8
%e A008310   5:    5  -20    16
%e A008310   6:   -1   18   -48     32
%e A008310   7:   -7   56  -112     64
%e A008310   8:    1  -32   160   -256    128
%e A008310   9:    9 -120   432   -576    256
%e A008310  10:   -1   50  -400   1120  -1280    512
%e A008310  11:  -11  220 -1232   2816  -2816   1024
%e A008310  12:    1  -72   840  -3584   6912  -6144   2048
%e A008310  13:   13 -364  2912  -9984  16640 -13312   4096
%e A008310  14:   -1   98 -1568   9408 -26880  39424 -28672   8192
%e A008310  15:  -15  560 -6048  28800 -70400  92160 -61440  16384
%e A008310   ...
%e A008310 T(4,x) = 1 - 8*x^2 + 8*x^4, T(5,x) = 5*x - 20*x^3 +16*x^5.
%e A008310 (End)
%p A008310 A008310 := proc(n,m) local x ; coeftayl(simplify(ChebyshevT(n,x),'ChebyshevT'),x=0,m) ; end: i := 0 : for n from 0 to 100 do for m from n mod 2 to n by 2 do printf("%d %d ",i,A008310(n,m)) ; i := i+1 ; od ; od ; # _R. J. Mathar_, Apr 20 2007
%p A008310 # second Maple program:
%p A008310 b:= proc(n) b(n):= `if`(n<2, 1, expand(2*b(n-1)-x*b(n-2))) end:
%p A008310 T:= n-> (p-> (d-> seq(coeff(p, x, d-i), i=0..d))(degree(p)))(b(n)):
%p A008310 seq(T(n), n=0..15);  # _Alois P. Heinz_, Sep 04 2019
%t A008310 Flatten[{1, Table[CoefficientList[ChebyshevT[n, x], x], {n, 1, 13}]}]//DeleteCases[#, 0, Infinity]& (* or *) Flatten[{1, Table[Table[((-1)^k*2^(n-2 k-1)*n*Binomial[n-k, k])/(n-k), {k, Floor[n/2], 0, -1}], {n, 1, 13}]}] (* _Eugeniy Sokol_, Sep 04 2019 *)
%o A008310 (C++) int sizeT(int N) { return ((N+2)/2) * ((N+1)/2+1); }
%o A008310 std::vector<int> compute_Tnm(int N) { assert(N >= 2); std::vector<int> R = {1, 1}; for (int n = 2; n <= N; ++n) { if (n%2 == 0) R.push_back(- R[sizeT(n-3)]); for (int j = (n+1)%2; j < n/2; ++j) R.push_back(2*R[sizeT(n-2)+j-(n+1)%2] - R[sizeT(n-3)+j]); R.push_back(2*R[sizeT(n-2)+(n-1)/2]); } return R; } /* _Joachim Wuttke_, Mar 29 2025 */
%Y A008310 A039991 is a row reversed version, but has zeros which enable the triangle to be seen. Columns/diagonals are A011782, A001792, A001793, A001794, A006974, A006975, A006976 etc.
%Y A008310 Reflection of A028297. Cf. A008312, A053112.
%Y A008310 Row sums are one. Polynomial evaluations include A001075 (x=2), A001541 (x=3), A001091, A001079, A023038, A011943, A001081, A023039, A001085, A077422, A077424, A097308, A097310, A068203.
%Y A008310 Cf. A053120.
%K A008310 sign,tabf,nice,easy
%O A008310 0,4
%A A008310 _N. J. A. Sloane_
%E A008310 Additional comments and more terms from _Henry Bottomley_, Dec 13 2000
%E A008310 Edited: Corrected Cf. A039991 statement. Cf. A053120 added. - _Wolfdieter Lang_, Aug 06 2014