OFFSET
0,2
COMMENTS
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..1000 (terms 0..149 from Vincenzo Librandi)
Index entries for linear recurrences with constant coefficients, signature (8,-8).
FORMULA
a(n) = 8*a(n-1) - 8*a(n-2) for n > 1; a(0) = 1, a(1) = 12.
a(n) = ((2+4*sqrt(2))*(4+2*sqrt(2))^n + (2-4*sqrt(2))*(4-2*sqrt(2))^n)/4.
E.g.f.: exp(4*x)*(cosh(2*sqrt(2)*x) + 2*sqrt(2)*sinh(2*sqrt(2)*x)). - G. C. Greubel, Aug 10 2017
MATHEMATICA
LinearRecurrence[{8, -8}, {1, 12, 88}, 50] (* G. C. Greubel, Aug 10 2017 *)
PROG
(Magma) Z<x>:=PolynomialRing(Integers()); N<r>:=NumberField(x^2-2); S:=[ ((2+4*r)*(4+2*r)^n+(2-4*r)*(4-2*r)^n)/4: n in [0..19] ]; [ Integers()!S[j]: j in [1..#S] ]; // Klaus Brockhaus, Aug 22 2009
(PARI) x='x+O('x^50); Vec((1+4*x)/(1-8*x+8*x^2)) \\ G. C. Greubel, Aug 10 2017
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Al Hakanson (hawkuu(AT)gmail.com), Aug 17 2009
EXTENSIONS
Edited and extended beyond a(5) by Klaus Brockhaus, Aug 22 2009
STATUS
approved