4
$\begingroup$

Let $F(x) = \sum_{1 < n \leq x} (-1)^{\pi (n)}$ where $\pi (n) $ is the prime counting function.

I am trying to understand how $ F(x) $ behaves as $ x \to \infty$. In particular, what are the asymptotics for $F$? I can't seem to use any tools that handle sums of the form, $\sum_{n \leq x} f(n)$ where $f:\mathbb{N} \to \mathbb{C}$. Does anyone have any suggestions?

$\endgroup$
7
  • $\begingroup$ This might be an open problem. Have you checked Guy's "Unsolved Problems in Number Theory"? $\endgroup$ Commented Dec 6, 2012 at 10:22
  • $\begingroup$ I suspect knowing these asymptotics would shed some light on the prime k-tuples conjecture as well as several other conjectures concerning prime gaps. It is easy with known results to get something like size of F(n) is often bigger than logn G(n), where G(n) is a slow growing ratio of iterated logs, but solving this posted problem is morally (if not tautologically) equivalent to establishing exact bounds on the prime gap function. Gerhard "It Looks Tautological To Me" Paseman, 2012.12.06 $\endgroup$ Commented Dec 6, 2012 at 17:20
  • $\begingroup$ For some mystical amusement, I computed the first few inflection values of F and submitted some of the consecutive positive values (3,1,5,3,7,1,3) to OEIS and Google search. Quite a few sequences have this pattern, a near match being ruler markings. Gerhard "Is It Coincidence, Or Murder?" Paseman, 2012.12.06 $\endgroup$ Commented Dec 6, 2012 at 17:40
  • $\begingroup$ Now that I have spent some time thinking about it, your series is equivalent (but not equal) to the alternating sum of primes, for which some literature exists. I leave the relevant searches to you. Good Luck. Gerhard "Ask Me About System Design" Paseman, 2012.12.06 $\endgroup$ Commented Dec 6, 2012 at 19:58
  • 1
    $\begingroup$ I don't know. However, since you have "slowed down" the index by a significant factor (as opposed to the gaps version I suggest above where I say that F(n) gets bigger than log n, and am thinking of the nth prime and not the p_nth number), I am now not so sure, and see the possibility that F(n) > log n for only finitely many n. I would be astounded if F(n) were Theta(n^alpha) for any positive alpha. Gerhard "Has Been Astounded Only Infrequently" Paseman, 2012.12.06 $\endgroup$ Commented Dec 7, 2012 at 6:25

0

You must log in to answer this question.

Browse other questions tagged .