OFFSET
0,2
COMMENTS
(Start) Let A be the unit-primitive matrix (see [Jeffery])
A=A_(10,3)=
(0 0 0 1 0)
(0 0 1 0 1)
(0 1 0 2 0)
(1 0 2 0 1)
(0 2 0 2 0).
Then a(n)=(1/5)*Trace(A^(2*n)). (See also A189317.) (End)
Evidently one of a class of accelerator sequences for Catalan's constant based on traces of successive powers (here they are A^(2*n)) of a unit-primitive matrix A_(N,r) (0<r<floor(N/2)) and for which the closed-form expression for a(n) is derived from the eigenvalues of A_(N,r).
LINKS
L. E. Jeffery, Unit-primitive matrices.
Index entries for linear recurrences with constant coefficients, signature (10,-5).
FORMULA
a(n) = 10*a(n-1) - 5*a(n-2), n>2, a(0)=1, a(1)=4, a(2)=36.
a(n) = (1/5)*Sum_{k=1..5} ((w_k)^3-2*w_k)^(2*n), w_k = 2*cos((2*k-1)*Pi/10).
From Stefano Spezia, Jul 09 2024: (Start)
a(n) = 2*((5 - 2*sqrt(5))^n + (5 + 2*sqrt(5))^n)/5 for n > 0.
E.g.f.: (1 + 4*exp(5*x)*cosh(2*sqrt(5)*x))/5. (End)
MATHEMATICA
LinearRecurrence[{10, -5}, {1, 4, 36}, 22] (* Stefano Spezia, Jul 09 2024 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
L. Edson Jeffery, Apr 20 2011
EXTENSIONS
a(20)-a(21) from Stefano Spezia, Jul 09 2024
STATUS
approved