|
|
A245086
|
|
Central values of the n-th discrete Chebyshev polynomials of order 2n.
|
|
11
|
|
|
1, 0, -6, 0, 90, 0, -1680, 0, 34650, 0, -756756, 0, 17153136, 0, -399072960, 0, 9465511770, 0, -227873431500, 0, 5550996791340, 0, -136526995463040, 0, 3384731762521200, 0, -84478098072866400, 0, 2120572665910728000, 0, -53494979785374631680, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,3
|
|
COMMENTS
|
In the general case the n-th discrete Chebyshev polynomial of order N is D(N,n;x) = Sum_{i = 0..n} (-1)^i*C(n,i)*C(N-x,n-i)*C(x,i). For N = 2*n , x = n, one gets a(n) = D(2n,n;n) = Sum_{i = 0..n} (-1)^i*C(n,i)^3 that equals (due to Dixon's formula) 0 for odd n and (-1)^m*(3m)!/(m!)^3 for n = 2*m. (Riordan, 1968) So, a(2*m) = (-1)^m*A006480(m).
|
|
REFERENCES
|
John Riordan, Combinatorial Identities, John Willey&Sons Inc., 1968.
|
|
LINKS
|
|
|
FORMULA
|
a(n) is a coefficient at t^n in (1-t^2)^n*P(0,-(2*n+1);n;(1+t^2)/(1-t^2)), where P(a,b;k;x) is the k-th Jacobi polynomial (Gogin and Hirvensalo, 2007).
G.f.: Hypergeometric2F1[1/3,2/3,1,-27*x^2].
a(2*m+1) = 0, a(2*m) = (-1)^m*A006480(m).
a(n) = Sum_{k = 0..n} (-1)^k*binomial(n,k)*binomial(2*n - k,n)*binomial(n + k,n) (Sun and Wang).
a(n) = Sum_{k = 0..n} (-1)^(n + k)*binomial(n + k, n - k)*binomial(2*k, k)*binomial(2*n - k, n) (Gould, Vol.5, 9.23).
a(n) = -1/(n + 1)^3 * A273630(n+1). (End)
a(n) = - (3*(3*n-2)*(3*n-4)/n^2)*a(n-2).
a(n) = [x^n] (1 - x)^(2*n) * P(n,(1 + x)/(1 - x)), where P(n,x) denotes the n-th Legendre polynomial. Compare with A002894(n) = binomial(2*n,n)^2 = [x^n] (1 - x)^(2*n) * P(2*n,(1 + x)/(1 - x)). Cf. A103882. (End)
a(n) = G(x)^(3*n), where the power series G(x) = 1 - x^2 + 2*x^4 - 14*x^6 + 127*x^8 - 1364*x^10 + ... appears to have integer coefficients.
exp(Sum_{n >= 1} a(n)*x^n/n) = F(x)^3, where the power series F(x) = 1 - x^2 + 8*x^4 - 101*x^6 + 1569*x^8 - 27445*x^10 + ..., appears to have integer coefficients. See A229452.
|
|
MATHEMATICA
|
Table[Coefficient[Simplify[JacobiP[n, 0, -(2*n+1), (1+t^2)/(1-t^2)]*(1-t^2)^n], t, n], {n, 0, 20}]
|
|
PROG
|
(Python)
from math import factorial
def A245086(n): return 0 if n&1 else (-1 if (m:=n>>1)&1 else 1)*factorial(3*m)//factorial(m)**3 # Chai Wah Wu, Oct 04 2022
|
|
CROSSREFS
|
|
|
KEYWORD
|
sign,easy
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|