OFFSET
0,3
COMMENTS
Conjecture: These are the natural numbers of the form 6*j +- 1 in which those of the form 12*k +- 1 are repeated.
From Jianing Song, Jan 28 2019: (Start)
The second conjecture in Formula section is correct.
We can see this from the recurrence: a(n) = 4*(n - 1) - a(n-3) (1)
Replace n with n+1: a(n+1) = 4*n - a(n-2) (2)
Subtract (1) from (2): a(n+1) = 4 + a(n) - a(n-2) + a(n-3) (3)
Replace n with n+1: a(n+2) = 4 + a(n+1) - a(n-1) + a(n-2) (4)
Subtract (3) from (4): a(n+2) = 2*a(n+1)-a(n)-a(n-1)+2*a(n-2)-a(n-3) (5)
This also confirms the conjecture in Comment section and the conjecture on the g.f. in Formula section. (End)
LINKS
Index entries for linear recurrences with constant coefficients, signature (2,-1,-1,2,-1).
FORMULA
G.f.: (1 - x + 4*x^2 - x^3 + x^4)/((1 - x)^2*(1 + x^3)). [Confirmed, see Jianing Song in Comment section.]
Recurrence: a(n) = 2*a(n-1) - a(n-2) - a(n-3) + 2*a(n-4) - a(n-5) for n > 4, a(0)=a(1)=1, a(2)=5, a(3)=7, a(4)=11. [Confirmed, see Jianing Song in Comment section.]
MATHEMATICA
a[0] = a[1] = 1; a[2] = 5; a[n_] := 4*(n - 1) - a[n - 3]; Table[a[n], {n, 0, 63}]
RecurrenceTable[{a[0]==a[1]==1, a[2]==5, a[n]==4(n-1)-a[n-3]}, a, {n, 70}] (* Harvey P. Dale, Jan 26 2019 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
L. Edson Jeffery, Jan 14 2015
STATUS
approved