|
|
A052923
|
|
Expansion of (1-x)/(1 - x - 4*x^2).
|
|
5
|
|
|
1, 0, 4, 4, 20, 36, 116, 260, 724, 1764, 4660, 11716, 30356, 77220, 198644, 507524, 1302100, 3332196, 8540596, 21869380, 56031764, 143509284, 367636340, 941673476, 2412218836, 6178912740, 15827788084, 40543439044, 103854591380
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,3
|
|
COMMENTS
|
This sequence {a(n)} appears in the formula for powers of c = (1 + sqrt(17))/2 = A222132, the fundamental (integer) algebraic number of Q(sqrt(17)): c^n = a(n) + A006131(n-1)*c. This is also valid for positive powers of 1/c = (-1 + sqrt(17)) /8. See the formula below and in A006131 in terms of Chebyshev or Fibonacci polynomials. - Wolfdieter Lang, Nov 27 2023
|
|
LINKS
|
|
|
FORMULA
|
G.f.: (1-x)/(1 - x - 4*x^2).
a(n) = a(n-1) + 4*a(n-2), with a(0)=1, a(1)=0.
a(n) = Sum_{alpha=RootOf(-1+z+4*z^2)} (1/17)*(-1+9*alpha)*alpha^(-1-n).
If p[1]=0, and p[i]=4, ( i>1), and if A is Hessenberg matrix of order n defined by: A[i,j]=p[j-i+1], (i<=j), A[i,j]=-1, (i=j+1), and A[i,j]=0 otherwise. Then, for n>=1, a(n)=det A. - Milan Janjic, Apr 29 2010
a(n) = -(-2*i)^n*S(n-2, i/2), with i = sqrt(-1), and the S-Chebyshev polynomials (see A049310). S(-n, x) = -S(n-2, x). The Fibonacci polynomials are F(n, x) = (-i)^(n-1)*S(n-1, i*x). (End)
|
|
MAPLE
|
spec := [S, {S=Sequence(Prod(Sequence(Z), Z, Union(Z, Z, Z, Z)))}, unlabeled]: seq(combstruct[count](spec, size=n), n=0..20);
seq(coeff(series((1-x)/(1 -x -4*x^2), x, n+1), x, n), n = 0..30); # G. C. Greubel, Oct 16 2019
|
|
MATHEMATICA
|
LinearRecurrence[{1, 4}, {1, 0}, 30] (* G. C. Greubel, Oct 16 2019 *)
|
|
PROG
|
(PARI) my(x='x+O('x^30)); Vec((1-x)/(1 -x -4*x^2)) \\ G. C. Greubel, Oct 16 2019
(Magma) R<x>:=PowerSeriesRing(Integers(), 30); Coefficients(R!( (1-x)/(1 -x -4*x^2) )); // G. C. Greubel, Oct 16 2019
(Sage)
P.<x> = PowerSeriesRing(ZZ, prec)
return P((1-x)/(1 -x -4*x^2)).list()
(GAP) a:=[1, 0];; for n in [3..30] do a[n]:=a[n-1]+4*a[n-2]; od; a; # G. C. Greubel, Oct 16 2019
a := n -> -(2*I)^n*ChebyshevU(n-2, -I/4):
|
|
CROSSREFS
|
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
encyclopedia(AT)pommard.inria.fr, Jan 25 2000
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|