OFFSET
1,1
COMMENTS
LINKS
Index entries for linear recurrences with constant coefficients, signature (1,0,1,-1).
FORMULA
a(n) = (3*A047529(n) + 1)/2.
Trisection: a(3*k+1) = 2 + 12*k, a(3*k+2) = 5 + 12*k, a(3*k+3) = 11 + 12*k, or with a(3*k) = -1 + 12*k for k >= 0.
O.g.f. with a(0) =-1: G(x) = (-1 + 3*x + 3*x^2 + 7*x^3)/((1 - x)*(1 - x^3)) = -6/(1-x) + 4/(1-x)^2 + (1 + x)/(1 + x + x^2). Note that (1 - x)*(1 - x^3) = (1-x)^2*(1 + x + x^2) = 1 - x - x^3 + x^4.
a(n) = a(n-1) + a(n-3) - a(n-4), for n >= 4, given a(n) for 0..3, with a(0) = -1.
a(n) = 2*b(n) + 3*b(n-1) + 6*b(n-2) + b(n-3), with b(n) = floor((n+2)/3) = A002264(n+2).
a(n) = -1 + 3*n + 3*floor(n/3) (from the partial fraction decomposition of G).
E.g.f.: 1 + 2*exp(x)*(2*x - 1) + exp(-x/2)*(3*cos(sqrt(3)*x/2) + sqrt(3)*sin(sqrt(3)*x/2))/3. - Stefano Spezia, Dec 08 2021
Sum_{n>=1} (-1)^(n+1)/a(n) = ((sqrt(2)+1)*Pi + sqrt(3)*log(sqrt(3)+2) + sqrt(6)*log(5-2*sqrt(6)))/12. - Amiram Eldar, Dec 30 2021
MATHEMATICA
Map[(3 # + 1)/2 &, LinearRecurrence[{1, 0, 1, -1}, {1, 3, 7, 9}, 60]] (* Michael De Vlieger, Oct 21 2021 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Wolfdieter Lang, Oct 21 2021
STATUS
approved