OFFSET
0,2
COMMENTS
Binomial transform of A048696. Second binomial transform of A164587. Inverse binomial transform of A164299.
This sequence is part of a class of sequences defined by the recurrence a(n,m) = 2*(m+1)*a(n-1,m) - ((m+1)^2 - 2)*a(n-2,m) with a(0) = 1 and a(1) = m+9. The generating function is Sum_{n>=0} a(n,m)*x^n = (1 - (m-7)*x)/(1 - 2*(m+1)*x + ((m+1)^2 - 2)*x^2) and has a series expansion in terms of Pell-Lucas numbers defined by a(n, m) = (1/2)*Sum_{k=0..n} binomial(n,k)*m^(n-k)*(5*Q(k) + 4*Q(k-1)). - G. C. Greubel, Mar 12 2021
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (4,-2).
FORMULA
a(n) = 4*a(n-1) - 2*a(n-2) for n > 1; a(0)=1, a(1)=10.
G.f.: (1+6*x)/(1-4*x+2*x^2).
E.g.f.: (cosh(sqrt(2)*x) + 4*sqrt(2)*sinh(sqrt(2)*x))*exp(2*x). - G. C. Greubel, Sep 12 2017
From G. C. Greubel, Mar 12 2021: (Start)
a(n) = (1/2)*Sum_{k=0..n} binomial(n,k)*(5*Q(k) + 4*Q(k-1)), where Q(n) = Pell-Lucas(n) = A002203(n). (End)
MAPLE
a:=n->((1+4*sqrt(2))*(2+sqrt(2))^n+(1-4*sqrt(2))*(2-sqrt(2))^n)/2: seq(floor(a(n)), n=0..25); # Muniru A Asiru, Dec 15 2018
MATHEMATICA
LinearRecurrence[{4, -2}, {1, 10}, 50] (* or *) CoefficientList[Series[(1 + 6*x)/(1 - 4*x + 2*x^2), {x, 0, 50}], x] (* G. C. Greubel, Sep 12 2017 *)
PROG
(Magma) Z<x>:=PolynomialRing(Integers()); N<r>:=NumberField(x^2-2); S:=[ ((1+4*r)*(2+r)^n+(1-4*r)*(2-r)^n)/2: n in [0..27] ]; [ Integers()!S[j]: j in [1..#S] ]; // Klaus Brockhaus, Aug 17 2009
(Magma) m:=50; R<x>:=PowerSeriesRing(Integers(), m); Coefficients(R!( (1+6*x)/(1-4*x+2*x^2) )); // G. C. Greubel, Dec 14 2018
(PARI) my(x='x+O('x^50)); Vec((1+6*x)/(1-4*x+2*x^2)) \\ G. C. Greubel, Sep 12 2017
(Sage) [( (1+6*x)/(1-4*x+2*x^2) ).series(x, n+1).list()[n] for n in (0..30)] # G. C. Greubel, Dec 14 2018; Mar 12, 2021
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Al Hakanson (hawkuu(AT)gmail.com), Aug 12 2009
EXTENSIONS
Edited and extended beyond a(5) by Klaus Brockhaus, Aug 17 2009
STATUS
approved