

A276524


Decimal expansion of the apparent (see Comments) limit of the sum of the alternating series 1/prime(1)  2/prime(2) + 3/prime(3)  4/prime(4) + ...


1




OFFSET

1,1


COMMENTS

I.e., Sum_{k>=1} (1)^k*k/prime(k). The Prime Sums page at Mathworld (see Links) says that it is not known whether Sum_{k>=1} (1)^k*k/prime(k) (which is the negative of the sum treated here) converges; it cites the References entries for Guy, Erdős, and Finch.
However, if we define the jth partial sum S(j) = Sum_{k=1..j} (1)^k*k/prime(k) and the interpolated partial sum S'(j) = (S(j1) + S(j))/2 = Sum_{k=1..j1} (1)^k*k/prime(k)  (1/2)(1)^j*j/prime(j) (which is the same as S(j) except that S'(j) uses only half of the jth term) and observe the behavior of S'(j) as j increases, it seems clear that the sum converges to 0.052160..., or possibly 0.052161... (see the charts under Links).
If it were the case that this alternating series actually did diverge, there does not seem to be anything about it that would bias the sum either in the positive or negative direction; since the numerator is simply k (the term number) and the denominator is simply the kth prime, it would seem that the sum, if it were going to diverge, would do so by increasing in amplitude as successive terms alternately yielded partial sums above and below some approximate centerline (as opposed to the kind of divergence seen in, e.g., a nonalternating sum such as Sum_{k>=1} 1/prime(k)). Also, a plot of the curve along which the partial sums S(j) lie for even values of j, the curve along which they lie for odd values of j, and the interpolated sum S'(j) = (S(j1) + S(j))/2 does not seem at all consistent with a wideningamplitude type of divergence; instead, the amplitude is clearly narrowing, and is doing so in a way that seems nearly perfectly symmetrical across the S'(j) vs. j curve. Note also that the variability of S'(j) vs. j over small intervals of j (i.e., its "roughness") is decreasing as j increases. All these observations seem consistent with an alternating sum that is actually converging, albeit slowly, toward a limiting value halfway between the oddj and evenj curves traced by plots of S(j) vs. j.
Note that this sequence, if it does indeed converge, does so extremely slowly; observe how far apart the oddj and evenj curves are at larger values of prime(j), yet how close each curve's slope is to zero. At the right end of the chart, the last point on the evenj curve is for j = 37607912018, and the corresponding prime is 999999999989 (the last prime < 10^12), so S(j1)  S(j) there is 37607912018/999999999989 = 0.037607912... To get the oddj and evenj curves to agree even to a single significant digit (presumably, 0.05...) would require an enormous number of terms:
.
j S(j1)  S(j)
 
10^10 0.039667...
10^20 0.020441...
10^30 0.013822...
10^40 0.010454...
10^50 0.008410...


REFERENCES

Finch, S. R. "MeisselMertens Constants." Sec. 2.2 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 9498, 2003.
Guy, R. K. "A Series and a Sequence Involving Primes." Sec. E7 in Unsolved Problems in Number Theory, 2nd ed. New York: SpringerVerlag, p. 203, 1994.


LINKS

Table of n, a(n) for n=1..3.
P. Erdős, Some of My New and Almost New Problems and Results in Combinatorial Number Theory, In Number Theory: Diophantine, Computational and Algebraic Aspects. Proceedings of the International Conference Held in Eger, July 29August 2, 1996 (Ed. K. Győry, A. Pethő and V. T. Sós). Berlin: de Gruyter, pp. 169180, 1998.
Jon E. Schoenfield, "Zoomed out" scatterplot of S(j) for odd j, S(j) for even j, and S'(j) = (S(j1) + S(j))/2, vs. prime(j)
Jon E. Schoenfield, "Zoomed in" scatterplot of S'(j) = (S(j1) + S(j))/2 vs. prime(j)
Eric Weisstein's World of Mathematics, Prime Sums (see eq. 8)


FORMULA

Sum_{k>=1} (1)^k * k/prime(k).


EXAMPLE

0.052160...


MATHEMATICA

(* This simple script gives only 3 presumably correct digits: 0.052158... *) NSum[(1)^k*k/Prime[Round[k]], {k, 1, Infinity}, Method > "AlternatingSigns", NSumTerms > 10^8, WorkingPrecision > 100] // Chop (* JeanFrançois Alcover, Dec 05 2016 *)


CROSSREFS

Cf. A078437, A242301, A242302, A242303, A242304, A275110, A275712.
Sequence in context: A091505 A030357 A212879 * A111395 A188596 A199622
Adjacent sequences: A276521 A276522 A276523 * A276525 A276526 A276527


KEYWORD

nonn,cons,more


AUTHOR

Jon E. Schoenfield, Nov 15 2016


EXTENSIONS

Edited by Jon E. Schoenfield, Dec 04 2016


STATUS

approved



