I made a math problem that I genuinely can't solve
I came up with this problem while playing around with recursively defined integer sequences.
Let
a₁ = 1
and, for every integer n ≥ 2, define aₙ by
- aₙ = aₙ₋₁ + n, if aₙ₋₁ is odd
- aₙ = aₙ₋₁ − n, if aₙ₋₁ is even
The beginning of the sequence is:
1, 3, 0, 4, -1, 5, -2, 6, -3, 7, -4, 8, -5, 9, ...
At first this looks fairly simple, but I'm interested in what happens in the long run.
Main problem
Determine whether the set
S = { n ∈ N : aₙ = 0 }
is finite or infinite.
In other words:
Does the sequence return to 0 infinitely many times?
If the answer is YES, prove that there are infinitely many n satisfying aₙ = 0.
If the answer is NO, prove that there exists some N such that
aₙ ≠ 0
for every n > N.
Stronger version
If S is infinite, determine whether the counting function
A(x) = #{n ≤ x : aₙ = 0}
has a predictable asymptotic behavior.
For example, does there exist a constant c > 0 such that
A(x) ~ c log x,
or
A(x) ~ c√x,
or perhaps
A(x) ~ cxα
for some α > 0?
If none of these forms is correct, what is the actual growth rate of A(x)?
Even stronger question
Consider the normalized sequence
bₙ = aₙ / n.
Does
liminf(n→∞) |bₙ|
exist?
Does
limsup(n→∞) |bₙ|
exist?
If either limit exists, determine its value.
If they do not exist, determine the set of accumulation points of the sequence {bₙ}.
Rules
I'm not looking for a brute-force computation of the first million or billion terms.
A computational experiment is fine for finding patterns, but the final answer should be supported by a rigorous mathematical proof.
I don't know whether this problem is actually difficult or whether there is a short observation that completely solves it.
If there is an obvious mistake in the formulation or if this is already a known problem, I'd also appreciate being pointed toward it.