OFFSET
0,3
COMMENTS
Suppose that s = (s(n)) and t = (t(n)) are sequences of numbers and r > 0. The lower (r)-midsequence of s and t is given by u = floor(r*(s + t)); the upper r-midsequence of s and t is given by v = ceiling(r*(s + t)). If s and t are linearly recurrent and r is rational, then u and v are linearly recurrent.
LINKS
Index entries for linear recurrences with constant coefficients, signature (3,-1,1,-3,1).
FORMULA
a(n) = floor((1/2)*(F(2*n) + F(2*n+1))), where F=A000045.
a(n) = 3*a(n-1) - a(n-2) + a(n-3) - 3*a(n-4) + a(n-5).
G.f.: x*(1 +x - x^2)/((1-x) *(1+x+x^2) *(1-3*x+x^2)).
EXAMPLE
s = (F(2n)) = (0, 1, 3, 8, 21, ...); t = (1, 2, 5, 13, 34, ...).
u(n) = floor((1/2)(0+1, 1+2, 3+5, 8+13, 21+34, ...)) = (0, 1, 4, 10, 27, ...).
v(n) = ceiling((1/2)(0+1, 1+2, 3+5, 8+13, 21+34, ...)) = (1, 2, 4, 11, 28, ...).
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Sep 08 2025
STATUS
approved
