OFFSET
0,1
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) = ceiling((3/2)*(F(2*n) + F(2*n+1))) = ceiling((3/2)*F(2*n+2)) where F=A000045.
a(n) = 3*a(n-1) - a(n-2) + a(n-3) - 3*a(n-4) + a(n-5).
G.f.: (-2 + x + x^2 + x^3)/(-1 + 3*x - x^2 + x^3 - 3*x^4 + x^5).
EXAMPLE
s = (F(2n)) = (0, 1, 3, 8, 21, ...); t = (1, 2, 5, 13, 34, ...).
u(n) = floor((3/2)(0+1, 1+2, 3+5, 8+13, 21+34, ...)) = (1, 4, 12, 31, 82, ...).
v(n) = ceiling((3/2)(0+1, 1+2, 3+5, 8+13, 21+34, ...)) = (2, 5, 12, 32, 83, ...).
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Sep 15 2025
STATUS
approved
