login
A prime mountain: peaks and valleys beyond the origin correspond to prime abscissa (see Comments for precise definition).
2

%I #42 Jan 09 2021 02:46:53

%S 0,1,2,1,2,3,2,1,2,3,4,5,4,3,4,5,6,7,6,5,6,7,8,9,8,7,6,5,4,3,4,5,4,3,

%T 2,1,0,-1,0,1,2,3,2,1,2,3,4,5,4,3,2,1,0,-1,0,1,2,3,4,5,4,3,4,5,6,7,8,

%U 9,8,7,6,5,6,7,6,5,4,3,2,1,2,3,4,5,4,3

%N A prime mountain: peaks and valleys beyond the origin correspond to prime abscissa (see Comments for precise definition).

%C We start with a(0)=0 and a(1)=1, and then the sequence is extended according to these rules:

%C (1) |a(n+1) - a(n)| = 1 for any n>1,

%C (2) a(n+1) = a(n-1) iff n is prime.

%C Is this sequence ultimately positive or ultimately negative or will it change sign indefinitely?

%C From _Ryan Bresler_, Jan 04 2021: (Start)

%C This sequence will contain every integer on "at least one side" of the origin, i.e., it will not have a finite range.

%C Suppose this sequence has both a finite minimum, R1, and a finite maximum, R2. Since prime gaps become arbitrarily large, we will eventually reach a prime gap g, such that g > R2 - R1. We can see that this prime gap will cause at least one term of this sequence to be outside the interval [R1, R2]. This contradiction shows that all integers on at least one side of the origin will be terms of the sequence.

%C (End)

%H Rémy Sigrist, <a href="/A278603/b278603.txt">Table of n, a(n) for n = 0..10000</a>

%F a(prime(n)) = prime(1) + Sum_{k=1..n-1} A001223(k)*(-1)^k for any n > 0.

%F a(n+1) = A065358(n) + 1 for any n >= 0. - _Rémy Sigrist_, Feb 22 2018

%e a(2) is either a(1) + 1 = 2 or a(1) - 1 = 0.

%e As 1 is not prime, a(2) = a(1+1) != a(1-1) = 0.

%e Hence, a(2) = 2.

%e As 2 is prime, a(3) = a(2+1) = a(2-1) = a(1) = 1.

%e As 3 is prime, a(4) = a(3+1) = a(3-1) = a(2) = 2.

%e a(5) is either a(4)+1 = 3 or a(4)-1 = 1.

%e As 4 is not prime, a(5) = a(4+1) != a(4-1) = 1.

%e Hence, a(5) = 3.

%e The first terms can be visualized here (peaks correspond to odd-indexed primes, and valleys to even-indexed primes):

%e . /\ ...

%e . / \/

%e . /\ /

%e . / \/

%e . /\ /

%e . /\/ \/

%e . /

%e . 2 5 11 17

%e . 0 3 7 13 19

%o (PARI) y=0; slope=+1; for (x=0, 85, print1 (y ", "); if (isprime(x), slope = -slope); y+=slope)

%Y Cf. A001223, A065358.

%K sign

%O 0,3

%A _Rémy Sigrist_, Nov 23 2016