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,-3,1,1,-3,3,-1).
FORMULA
a(n) = ceiling((n^3 - n)/4).
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3) + a(n-4) - 3*a(n-5) + 3*a(n-6) - a(n-7), with (a(0),...,a(6)) = (0,0,2,6,15,30,53).
G.f.: x^2*(2 + 3*x^2 + x^3)/((-1 + x)^4*(1 + x + x^2 + x^3)).
EXAMPLE
s = binomial(n,3) = (0, 0, 0, 1, 4, 10, 20, 35, 56, ...).
t = binomial(n,2) = (0, 0, 1, 3, 6, 10, 15, 21, 28, ...).
u(n) = floor((3/2)*(0+0, 0+0, 0+1, 1+3, 4+6, 10+10, ...)) = (0, 0, 1, 6, 15, 30, 52, ...).
v(n) = ceiling((3/2)*(0+0, 0+0, 0+1, 1+3, 4+6, 10+10, ...)) = (0, 0, 2, 6, 15, 30, 53, ...).
MATHEMATICA
PROG
(Python)
def A390343(n): return ((m:=n*(n**2-1))>>2)+bool(m&3) # Chai Wah Wu, Nov 09 2025
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Nov 06 2025
STATUS
approved
