The Primes and Their Subsets as Continuum like the Integers

Abstract

The present paper gives the proof of the set of primes as a continuum. It starts with the density of the primes, and shortly recapitulates the prime-number-formula and the complete-prime-number-formula. Reflecting the series of the primes over any prime gives the double density of occupation of integer positions by the union of the series of multiples of the primes. The remaining free positions render it possible to prove Goldbach’s conjecture and the set of primes as a continuum. The theoretical evaluation is followed in annexes by numerical evaluation, demonstrating the theoretical results. The numerical evaluation results in different constants and relations, which represent inherent properties of the set of primes.

Share and Cite:

Doroszlai, P. and Keller, H. (2023) The Primes and Their Subsets as Continuum like the Integers. Advances in Pure Mathematics, 13, 733-750. doi: 10.4236/apm.2023.1312051.

1. Introduction

The set of primes represents a continuum, meaning that the difference between adjacent primes relative to the value of the prime (distance from the origin) approaches zero. In order to prove this prerequisite condition, the following steps starting with the density of the primes, their number and their distribution are shortly repeated, with references to more detailed evaluations.

1) First the approximation of the integral of the density by summation is shown. The error of this approximation is compensated by a recursive formula [1] .

2) The next step is the prime-number-formula and the proof, that this formula represents the low limit function of the number of primes, including the dispersion around the exact value, which is evaluated with the recursive formula, given by the complete-prime-number-formula. The standard deviation of the dispersion is proportional to the number of primes present up to the square root of the distance. The factor of proportionality is again an inherent property of the set of the primes.

3) The difference between the best estimate number of the primes over the distance and the corresponding value of the prime-number-formula is proportional to the square of the number of primes present up to the square root of the distance.

4) The dispersion of the number of primes around their best estimate value, relative to the error of the prime-number-formula is approaching zero. Therefore the prime-number-formula represents the low limit of the number of primes.

5) The double density of occupation of integral positions by the sets of multiples of the primes is introduced by reflecting the sets of the primes over a point at any distance [2] . The remaining free positions compos diads equidistantly placed primes to the point of reflection. For the sets of diads the above steps 1 to 4 are carried out. The number of equidistantly placed primes around any integer greater than two with an infinity growing low limit function proves Goldbach’s conjecture. Based on the symmetry of the set of diads it is proved, that at any distance within a section of the length equal to the square root of the distance there is at least one prime (see Annex 1).

2. The Number of Primes

De la Valée Poussin proved 1899 [3] , which the number of primes up to the distance (c) is given by the integral of the logarithmic density, which may be written as sum over all integers:

π ( c ) = L i ( c ) + O ( c ) 2 c 1 ln ( c ) d c ; π a p p r ( c ) n = 2 c 1 ln ( n ) (2.1)

This above sum may be written as summing up first over all integers within the sections of the length ( c ) and then summing up over all the ( c ) sections of the length ( c ). Taking the average value over each section and summing up over the sections is a first simplification (see Annex 2), in the following used as sum over all sections:

π a p p r ( c ) n = 2 c 1 ln ( n ) = j = 2 c [ n = ( j 1 ) c j c 1 ln ( n ) ] j = 1 c c ln ( j c ) (2.2)

The well proven prime-number-formula PNF results from a second simplification of the above approximation by taking for each of the sections the smallest value of the density at ( j = c ):

j = 1 c c ln ( j c ) > P N F ( c ) = j = 1 c c ln ( c c ) = c ln ( c ) = S ( c ) (2.3)

The difference between the sum over all sections of the number of primes and the value resulting from the PNF [2] , is proportional to ( R ( c ) 2 ), the square of the number of primes up to the distance ( c ):

j = 1 c c ln ( j c ) j = 1 c c ln ( c c ) = j = 1 c c ln ( j c ) c ln ( c ) j = 1 c 1 = j = 1 c c ln ( j c ) S ( c ) = γ c R ( c ) 2 (2.4)

because the value ( γ c ) quickly and asymptotically converges to a constant value:

γ c = c ln ( c ) R ( c ) 2 ( j = 1 c ln ( c ) ln ( j c ) c ) = 1 2 R ( c ) ( j = 1 c ln ( c ) ln ( j c ) c ) = 1 R ( c ) ( j = 1 c ln ( c ) ln ( j c ) c 2 ) (2.5)

Thus, the error of the second simplification resulting the PNF at the distance (c) is proportional to ( R ( c ) 2 ), the square of the number of primes present at ( c ). The factor of proportionality is evaluated in Annex 3 as ( γ c = 0.28264 ):

The relation between the error of the PNF at (c) and the square of the number of primes up to ( c ) is invariant. The constant factor of proportionality ( γ c ) is an inherent propriety of the number of primes.

The systematic error of the PNF may be corrected by recursive application of a correction, resulting the complete-prime-number-Formula (CPNF) below, evaluated and demonstrated in ref [1] :

π a p p r ( c ) = j = 1 c c ln ( j c ) + m = 1 c [ ( γ s e c ) m j = 1 e ( 1 2 m + 1 ) e ( 1 2 m + 1 ) ln [ j e ( 1 2 m + 1 ) ] ] (2.6)

This formula converges very fast: Two steps with ( m = 2 ) are already sufficient.

The factor ( γ s e c = 0.041663 ) is an inherent property of the set of primes.

Further, this formula gives identical results (see Annex 3) as ( L i ( c ) ):

π ( c ) = L i ( c ) + O ( c ) = π a p p r ( c ) + O ( c ) ; Δ π a p p r ( c ) = π a p p r ( c ) π ( c ) (2.7)

The remaining error is the dispersion around the CPNF (see Annex 4). It is proportional to the number of primes up to ( R ( c ) ), the series of multiples which are covering positions at (c):

S D Δ π _ a p p r _ r e ( c ) = 1 k j = 1 k ( Δ π a p p r ( c ) R ( c ) ) 2 ; lim c S D Δ π _ a p p r _ r e ( c ) = 0.160989 (2.8)

Therefore, the dispersion of the effective number of primes around the CPNF relative to ( R ( c ) ) is symmetrical around zero (with the factor of the standard deviation ( F S D _ Δ π = 0.118234 ), as demonstrated in Annex 4. The error term is limited and approaches zero:

S D Δ π _ a p p r ( c ) = ( F S D _ Δ π ± Δ S D ) ; Δ S D < 0.02 ; lim c Δ π a p p r ( c ) = O ( c ) = 0 (2.9)

With (2.5) the difference between the best estimate number of primes CPNF and the PNF (the error of the PNF) is growing proportional to ( R ( c ) 2 ) while the width of the dispersion grows proportional to ( R ( c ) ).

Therefore, the relation of the width of the dispersion to the error of the PNF is approaches zero with the distance (c) growing:

lim c ( F S D _ Δ π R ( c ) γ c R ( c ) 2 ) = 0 ; lim c ( γ c R ( c ) 2 S ( c ) ) = lim c ( γ c 2 c ln ( c ) 2 c ln ( c ) ) = lim c ( γ c 2 ln ( c ) ) = 0 (2.10)

The fact that the error of the PNF relative to the PNF and herewith the dispersion around the CPNF are approaching zero with the distance indicates that the set of primes is approaching continuity with the distance:

lim c ( F S D _ Δ π R ( c ) S ( c ) ) = lim c ( F S D _ Δ π c ln ( c ) c ln ( c ) ) = lim c ( 2 F S D _ Δ π c ) = 0 (2.11)

3. The Number of Diads

Reflecting the series of multiples of any prime over a point at the distance (c) from the origin results the double density of occupation of integer positions within the interval ( 0 < c < 2 c ) by the series of multiples of the primes if the prime is a relative prime to (c). This, because the positions covered by the straight and the reflected series of multiples are mutually exclusive for each prime if (c) is equal to a prime, greater than two. Reflected series of multiples of prime divisors of (c) do not change the occupation of integer positions: The number of remaining free integer positions has a minimum, if the point of reflection is a prime. This is demonstrated in Annex 5, Figure A4. The integer positions remaining free by the double density of occupation represent equidistant primes to the point of reflection, composing diads [2] . If any of the primes is a dividend of the distance of the point of reflection (c), then the reflected series of this specific prime does not cover additional positions: Therefore, the double density of occupation—with (c) as a prime—represents the minimum of positions left free by the double density of occupation.

The local density of free positions left by the density of occupation of the straight series of multiples of primes at the distance ( c + d , 1 < d < c ) is ( 1 ln ( c d ) ) and by the reflected series it is ( 1 ln ( c + d ) ). The combined local density of free positions—the density of diads—is evaluated in [2] yielding with the constant ( δ 2 = 1.320324 ). This constant has the double value of the twin prime constant (C2), defined by G. H. Hardy and John Littlewood [4] :

D l o c a l ( c , d ) = δ 2 ln ( c d ) ln ( c + d ) > δ 2 ln ( c ) 2 (3.1)

Similarly to the evaluation of the number of primes as simplification of the integral of the local logarithmic density of primes in (2.1), the best estimate of the local density of the diads results as simplification of the integral of the above density by taking the sum over all integers (This same generalization from the primes to the twins, respectively to the k-tuples was made already by G. H. Hardy and John Littlewood):

π d i a d _ a p p r ( c ) = n = 1 c δ 2 ln ( c d ) ln ( c + d ) (3.2)

This function results the best estimate value of the number of diads CDNF see Annex 5. The dispersion of the effective number of diads around this function is symmetrical, there is no correction of this function required. The reason is the symmetry of the set of diads.

This above sum may be written as summing up first over all integers within the sections of the length ( c ) and then summing up over all the ( c ) sections, analogue to (2.2). Taking the average value over each section and—as a first simplification—summing over the sections gives the best estimate value of the number of diads:

π d i a d _ a p p r ( c ) = j = 1 c n = ( j 1 ) c j c δ 2 c ln ( n ) ln ( 2 c n ) j = 1 c δ 2 c ln ( j c ) ln ( 2 c j c ) (3.3)

Similarly, to the second simplification in case of the primes in (2.3), the low limit of the best estimate number of diads results—with the density taken for all sections of the length ( c )—at the upper limit of the sections at ( j = c ) the diads-number-Formula (DNF):

π d i a d _ a p p r _ l o c a l ( c ) = D N F ( c ) = j = 1 c δ 2 c ln ( c c ) ln ( 2 c c c ) = δ 2 c ln ( c ) 2 (3.4)

dispersion is additive. Therefore, the dispersion in case of the double density of occupation is as well proportional to ( R ( c ) ), the number of primes covering positions at the distance (c).

Δ π d i a d s ( c ) = π d i a d s _ a p p r ( c ) π d i a d s _ e f f ( c ) ; π d i a d s _ r e l ( c ) = Δ π d i a d s ( c ) R ( c ) (3.5)

Therefore, the standard deviation f the relative dispersion of the diads approaches a constant value, similarly to the standard deviation of the dispersion of the effective number of the primes around the CPNF:

lim c S D lim c π d i a d s _ r e l ( c ) = lim c 1 c c ( π d i a d s _ r e l ( c ) ) 2 = 0.16089 (3.6)

The difference between the number of diads CDNF (3.2) and the value resulting from the DNF is proportional to ( R ( c ) 2 ), the square of the number of primes up to the distance ( c ) on the power (y, 3 2 < y < 2 ). The factor of proportionality ( γ d ) quickly and asymptotically converges with ( y = 1.836 ) to a constant value ( γ d = 0.040488 ), as shown in Annex 6.

j = 1 c δ 2 c ln ( j c ) ln ( 2 c j c ) j = 1 c δ 2 c ln ( c c ) ln ( 2 c c c ) = j = 1 c δ 2 c ln ( j c ) ln ( 2 c j c ) δ 2 c ln ( c ) 2 > γ d R ( c ) 2 (3.7)

On the other hand, the low limit of the difference between the best estimate value and the low limit of the number of diads may be written as follows:

π d i a d s _ a p p r ( c ) π d i a d s _ a p p r _ l o w ( c ) = j = 1 c δ 2 c ln ( j c ) ln ( 2 c j c ) δ 2 c ln ( c ) 2 > j = 1 c δ 2 c ln ( c ) ln ( 2 c c ) δ 2 c ln ( c ) 2 (3.8)

Resulting the low limit as:

δ 2 ln ( c ) π a p p r ( c ) δ 2 c ln ( c ) 2 = δ 2 ln ( c ) ( S ( c ) + 4 γ c δ 2 R ( c ) 2 ) δ 2 c ln ( c ) 2 = 4 γ c δ 2 c l n ( c ) 2 (3.9)

Herewith the difference between the CDNF and the DNF—the error of the DNF—is growing proportional to ( R ( c ) y , y > 3 2 ) while the width of the dispersion around the CDNF grows proportional to ( R ( c ) ).

Therefore, the relation of the width of the dispersion around the CDNF to the error of the DNF is approaching zero with the distance (c) growing:

lim c ( F S D _ Δ ρ R ( c ) γ d R ( c ) 2 ) < lim c ( F S D _ Δ π γ d R ( c ) ) = 0 (3.10)

lim c ( γ d R ( c ) 2 S ( c ) ) = lim c ( γ d 4 c ln ( c ) 2 c ln ( c ) ) = lim c ( 4 γ d ( c ( 1 y 2 ) ln ( c ) 2 y 1 ) 1 ) = 0

The fact, that the dispersion of the effective number of diads around the CDNF relative to the DNF approaches zero with the distance indicates, that the set of diads is approaching continuity:

lim c ( F S D _ Δ π _ d i a d s R ( c ) π d i a d s _ a p r _ l o w ( c ) ) = lim c ( F S D _ Δ π _ d i a d s c ln ( c ) δ 2 c ln ( c ) 2 ) = lim c ( 4 F S D _ Δ π _ d i a d s R ( c ) ) = 0 (3.11)

Therefore, the DNF represents for each integer greater then two a monotonously to infinity growing low limit function. It is defined for primes as point of reflection of the double density of occupation by the series of multiples of primes. If the point of reflection is not a prime, the dividends of the distance up to the point of reflection cover no additional integer positions, then in case of the single density of occupation and the number of the remaining free positions (diads) remain larger. This is the case as well for even numbers as points of reflection, proving Goldbach’s conjecture.

The best estimate values of the diads, given by the approximating functions, the dispersion of the effective values around the best estimate values and the low limit functions are evaluated with the same method. Because the PNF is well proven for the set of the primes, the DNF and the other results for the diads are proven on the same right.

Diads with the central prime of reflection compose triads, the triads-number-formula TNF is with the density of primes therefore ( δ 2 c ln ( c ) 3 ).

Reflecting the union of the series of multiples of the primes additionally over the primes at both ails of the triads gives the set of five equidistant primes, the pentids. The number of the pentids , the pentides-number-formula PENF is ( δ 5 c ln ( c ) 5 ).

All formula for the number of the remaining free positions in case symmetric coverage of the set of integer positions—like (3.3)—do not require any correction, like the number the of primes (2.2) to (2.6). The origin of the required correction is therefore the asymmetry of the sets of primes.

4. The Continuity of the Set of Primes as Variable

Comparing the sets of primes and diads, the following similarities are obvious:

With (2.5) the difference between the best estimate number of primes CPNF and the PNF is proportional to ( R ( c ) 2 ), the square of the number of primes up to ( c ).

Similarly, with (3.7) the difference between the best estimate number of diads CDNF and the CDNF is proportional to ( R ( c ) 2 ), the square of the number of primes up to ( c ).

With (2.4) and (3.8) the factors of proportionality ( γ d = 0.28298 ) and ( γ c = 0.29839 ) are similar.

With (2.10) and (3.9) the dispersion around the effective numbers of primes, respectively diads are approaching zero, when compared with the differences between CPNF and PNF, respectively between CDNF and DNF, therefore the low limit functions are effectively low limit functions.

Now comes an important point: Taking the best estimate numbers of the diads in (3.3) in the first section from zero to ( c ), the number of free positions composing diads is:

π d i a d s _ a p p r _ f i r s t ( c ) δ 2 c ln ( c ) ln ( 2 c c ) > 2 δ 2 c ln ( c ) ln ( 2 c ) = 2 δ 2 c ln ( c ) ( ln ( 2 ) + ln ( c ) ) 2 δ 2 c ln ( c ) 2 (4.1)

Taking the sum of the diads over the first sections up to ( c ) does not influence the validity of the properties of the set of the diads: everything valid for the whole set of diads up to the distance (c) remains valid for the subinterval up to the distance ( c ). This fact is demonstrated in Annex 7.

Because of symmetry over (c), in case of the double density of occupation, the same amount of diads is present within the last section from ( 2 c c ) to ( 2 c ), (the same length) and their number is growing to infinity as well:

π d i a d s _ a p p r _ l a s t ( c ) π D N F _ l a s t ( c ) = 2 δ 2 c ln ( c ) 2 ; lim c ( 2 δ 2 c ln ( c ) 2 ) = (4.2)

If in case of the double density of occupation at ( 2 c c ) the number of free positions within the last section of the length ( c ) is rising without limit to infinity, then this is certainly the case as well within the larger distance for the last section of the length ( 2 c ) and even more in case of the single density of occupation.

The same is the case within the section of the length ( c ) following ( 2 c ) and therefore within the section of the length ( 2 c ) following ( 2 c ) as well. This, because the first free position covered by the series of multiples of the smallest possible prime greater than ( P ( R ( c ) ) ), equal to ( P ( R ( c ) + 1 ) ) is already greater than ( c + c ).

This smallest prime must be ( P ( R ( c ) ) + 2 ) in case ( P ( R ( c ) ) ) and ( P ( R ( c ) + 1 ) ) are twins. In this case ( P ( R ( c ) + 1 ) c + 1 ) and the square of this smallest possible prime is already over ( c + c ):

P ( R ( c ) + 1 ) 2 = ( P ( R ( c ) ) + 2 ) 2 = P ( R ( c ) ) 2 + 4 P ( R ( c ) ) + 4 ( c 1 ) 2 + 4 ( c 1 ) + 4 = c 2 c + 1 + 4 c 4 + 4 = c + 2 c + 1 > c + c (4.3)

Herewith the low limit of free positions left within the section of the size ( c ) following (c) is not smaller, than the number of free positions within the last section of the same size just below (c).

It follows, that the set of the primes up to ( P ( R ( c ) ) ) normed with this last prime represent, as limit, a continuum, since for any prime within the set the following limit is valid:

P ( p + 1 ) P ( p ) P ( p ) < P ( p ) + 2 P ( p ) + 1 P ( p ) P ( p ) = 2 P ( p ) + 1 P ( p ) < 3 P ( p ) ; lim p 3 P ( p ) = 0 (4.4)

herewith: lim p P ( p + 1 ) P ( p ) P ( p ) = 0

The knowledge of the function of the best estimate value of the number of the primes allows for the evaluation of the standard deviation of the effective number of the primes around the exact function, given in ref [2] . From the constancy of the relative value of the standard deviation follows the integrability on the inverse of the primes.

5. Conclusions

The reflection of the set of the union of the series of multiples of the primes over any position equal to an integer greater than two leaves positions of integers free, which compose subsets of the primes. This subset up to the point of reflection has similar properties to the primes. Its symmetry around the point of reflection allows it to prove Goldbach’s conjecture and the continuity of the set of primes.

The number of sets of primes with distances of any even integer between its primes is similarly unlimited. All these sets have the best-estimated number of primes with the dispersion of the effective numbers around these best-estimated functions. All these sets have low limit functions of their number of primes. The distance between the best estimate function and the low limit function grows to infinity and remains always infinitely larger than the dispersion. Therefore, all of these sets compose continuums within the set of integers.

Annexes

Annex 1: Definition of Vectors and Variables for the Numeric Evaluation

First some general functions and values are defined: Based on the requirement of the constrain of non-divisibility by all smaller primes, a set of consecutive primes is evaluated and written to a file.

From this file they are read: ( P = READPRN ( " Primes _ large .prn " ) ). The number of the primes in the set and their numbering are: ( N P = l e n g t h ( P ) 1 = 5003713 , n = 1 , 2 , , N P ).

The complete-prime-number-formula CPNF, (2.6) is evaluated with the following routine (floor and ceil stand for round down and round up):

exp _ ( x ) = e x ; γ sec = 0.036765 ; c _ exp ( c , m ) = exp _ ( 1 2 m + 1 ) (A1.1)

For the evaluation of the number of the next smaller prime to the distance (c) the routine resulting the index ( n n e x t ( c , n l a s t ) ) of the prime next to any integer is needed ( P ( n ) c < P ( n + 1 ) ). The evaluation starts either at the last evaluated index ( n l a s t ), or at the index resulting from the complete-prime-number-Formula (see A1.1 and ref. [2] ). This shortens the evaluation process. In case ( P ( n ) ) is greater than the distance, the index is lowered. In case it is smaller, the index is risen until the corresponding prime is just smaller, or equal to the distance:

(A1.2)

Further functions are the formula evaluating the index of the next smaller prime to any distance and to the square root of any distance:

S e f f ( c ) = n n e x t ( c , 1 ) ; R e f f ( c ) = n n e x t ( c , 1 ) ; S ( c ) = c ln ( c ) ; R ( c ) = c ln ( c ) (A1.3)

For the visualization of the results of the analysis the functions will be taken at sparse values, at distances corresponding to multiples of the square root of the largest prime considered. The index (kk) of the sparse values for the diads is limited to half the number of the index (k) in case of the primes:

Δ Δ s p = f l o o r [ P ( N P ) ] ; k l i m i t = f l o o r [ P ( N P ) Δ Δ s p ] 2 ; k = 1 , 2 , , k l i m i t ;

c s p ( k ) = k Δ Δ s p (A1.4)

k k l i m i t = f l o o r [ k l i m i t 2 ] 1 ; k k = 1 , 2 , , k k l i m i t ; k k l i m i t = 4637

The vectors of the indexes of the primes next smaller to these sparse distances ( P ( n s p ( k ) ) c s p ( k ) < P ( n s p ( k + 1 ) ) ), respectively to their square roots ( P ( n s p ( k ) ) c s p ( k ) < P ( n s p ( k + 1 ) ) ) are evaluated as ( π s p ( c ) ), respectively as ( π s p ( c ) ). They are evaluated once and written to files. They are read from these files:

π s p ( k ) = n n e x t [ c s p ( k ) , 1 ] ; π s p ( k ) = n n e x t [ c s p ( k ) , 1 ] (A1.5)

WRITEPRN ( " index _ distance _ sp .prn " ) = π s p ;

π s p = READPRN ( " index _ distance _ sp .prn " )

WRITEPRN ( " index _ distance _ sqr _ sp .prn " ) = π s q r _ s p

π s q r _ s p = READPRN ( " index _ distance _ sqr _ sp .prn " )

Annex 2: Evaluation of the Number of Primes as Sum over Sections and of the Factor of Correction of the Sum over All Sections

The number of primes as sum over sections is evaluated with (2.2) as a first simplification:

π s e c _ a p p r _ ( c ) = j = 1 f l o o r c c ln ( j c ) (A2.1)

The approximating function is evaluated at sparse distances, respectively at the next smaller prime to these distances ( P ( n s p ( k ) ) c s p ( k ) < P ( n s p ( k + 1 ) ) ) with (2.2). The evaluation at the next smaller prime corresponding to each distance assures, that the evaluated numbers of the primes correspond exactly to the distances considered:

π s e c _ a p p r ( k ) = π s e c _ a p p r _ ( P ( n s p ( k ) ) ) (A2.2)

They are evaluated once and written to a file. They are read from this file:

WRITEPRN ( " pr _ sec _ appr _ sp _ t .prn " ) = π s e c _ a p p r

π s e c _ a p p r = READPRN ( " pr _ sec _ appr _ sp _ t .prn " )

The result of the first simplification (2.2) giving the sum over the sections of the density of primes has an error. This error is proportional to the number of primes up to ( c ). The error relative to ( π ( c ) ) results the factor of correction. Assuming the factor of correction ( γ s e c ) is constant over the distance (c), it may be evaluated as relation of the average error to the effective number of primes ( π ( c ) = R ( P ( π s p ( k ) ) ) ). The average error is:

Δ π s e c ( k ) = π s e c _ a p p r ( k ) π s p ( k ) ; Δ π s e c _ a v ( k ) = 1 k j = 1 k Δ π s e c ( j ) (A2.3)

The value of the factor of correction is herewith:

γ s e c ( c ) = Δ π s e c _ a v ( c ) π ( c ) ; γ s e c _ ( k ) = 2 Δ π s e c _ a v ( c ) R ( P ( π s p ( k ) ) ) ; γ s e c = γ s e c _ ( k l i m i t ) = 0.041663 (A2.4)

Figure A1 shows the independence of the factor of correction ( γ s e c ) from the distance. The averaging process (A2.3) to evaluate the factor of correction is therefore justified. This factor ( γ s e c = 0.041663 ) is invariant, an inherent property of the prime numbers. It is important because it is applied in the recursive Formula (2.6) of the complete-prime-number-formula CPNF.

Figure A1. Convergence of the relation of the average relative error of the sum over all sections.

Annex 3: Evaluation of the CPNF and the Error of the Second Simplification

The results of the CPNF, (2.6) are evaluated with (A1.1) once at sparse values of the distance ( c s p ( k ) ). They are written to a file and are read from this file:

π a p p r ( k ) = π a p p r _ ( P ( π s p ( k ) ) ) (A3.1)

WRITEPRN ( " Pi _ appr _ sp .prn " ) = π a p p r ;

π a p p r = READPRN ( " Pi _ appr _ sp .prn " )

The number of primes resulting from the second simplification (2.3) results the PNF. The difference between the CPNF and the PNF results the error of the PNF. At the instance (c) it is proportional to ( R ( c ) 1.9829 < R ( c ) 2 ), the square of the number of primes covering positions at the distance ( c ). The factor of the proportionality ( γ c ) is illustrated in Figure A2 below:

Figure A2. Relation of the difference between the best estimate number of primes (CPNF) and its value evaluated with the prime-number-Formula (PNF) to ( R ( c ) 2 ).

Δ π a p p r ( c ) = π a p p r _ c _ ( c ) S ( c ) ; Δ π a p p r ( k ) = π a p p r ( k ) S ( c s p ( k ) ) (A3.2)

γ c ( c ) = Δ π a p p r ( c ) R ( c ) 1.9829 > Δ π a p p r ( c ) R ( c ) 2 ; γ c _ ( k ) = Δ π a p p r ( c ) R ( c ) 1.9829 > Δ π a p p r ( k ) R ( c s p ( k ) ) 2 ;

γ c = γ c _ ( k l i m i t ) = 0.28264

Annex 4: Dispersion of the Effective Number of Primes around the CPNF

The standard deviation SD of the relative dispersion of the primes around their best approximation (2.8) is evaluated as follows:

Δ π ( k ) = π a p p r ( k ) π s p ( k ) ; S D Δ π _ r e l ( k ) = 1 k j = 1 k [ Δ π ( j ) R e f f ( P ( π s p ( k ) ) ) ] 2 (A4.1)

The results are evaluated once and written to a file, and they are read from this file:

WRITEPRN ( " SD _ Δ _ pi _ rel .prn " ) = S D Δ π _ r e l ;

S D Δ π _ r e l = READPRN ( " SD _ Δ _ pi _ rel .prn .prn " )

The average of the relation of the standard deviation converges to a final value, to the factor of proportionality ( F S D _ Δ π ). This factor is evaluated as follows:

S D Δ π _ r e l _ a v ( k ) = 1 k j = 1 k S D Δ π _ r e l ( j ) (A4.2)

The results are evaluated once and written to a file. They are read from this file:

WRITEPRN ( " SD _ Δ _ pi _ rel _ av .prn " ) = S D Δ π _ r e l _ a v

S D Δ π _ r e l _ a v = READPRN ( " SD _ Δ _ pi _ rel _ av .prn " )

The constant factor is equal to the final average value of the standard deviation at large distances. The Figure A3 illustrates that the standard deviation is about constant over the distance. This fact rectifies taking the average over the whole distance for the evaluation:

Figure A3. Dispersion of the standard deviation of the dispersion of the number of primes around its average, the resulting constant value ( F S D _ Δ π ).

F S D _ Δ π = S D Δ π _ r e l _ a v ( k l i m i t 1 ) = 0.118234 ; Δ S D _ π = 0.02 (A4.3)

Figure A3 indicates that the standard deviation of the dispersion of the effective number of primes around its approximation is rising proportionally to ( R ( c ) ), the number of the series of multiples of primes, which are covering integer positions at this distance (c). The factor of proportionality ( F S D _ Δ π ) is again an inherent property of the prime numbers.

Annex 5: The Effective Number of Diads and Their Approximation

The approximate values of the number of diads (3.3) are evaluated once for sparse distances ( c = P ( n s p ( k k ) ) c s p ( k k ) ), with the center of the diads being equal to the next smaller prime to the sparse distances. The results are written to a file and are read from this file:

π d i a d s _ a p p r _ ( c ) = c j = 1 c e i l ( c ) δ 2 ln ( j c ) ln ( 2 c j c ) ; π d i a d s _ a p p r ( k k ) = π d i a d s _ a p p r _ ( P ( π s p ( k k ) ) ) (A5.1)

WRITEPRN ( " diads _ appr .prn " ) = π d i a d s _ a p p r ;

π d i a d s _ a p p r = READPRN ( " diads _ appr .prn " )

Similarly, the total number of diads around the center point at (c) with components within the first section up to ( c ) is given by (4.1). The results are written to a file and are read from this file:

π d i a d s _ a p p r _ f u r s t _ ( c ) = 2 δ 2 c ln ( c ) 2 ; π d i a d s _ a p p r _ f i r s t ( k k ) = π d i a d s _ a p p r _ f i r s t _ ( P ( π s p ( k k ) ) ) (A5.2)

WRITEPRN ( " diads _ appr _ first .prn " ) = π d i a d s _ a p p r _ f i r s t

π d i a d s _ a p p r _ f i r s t = READPRN ( " diads _ appr _ first .prn " )

The routine evaluating the effective number of diads at (c) checks for each prime ( P ( 2 ) < P ( k k ) < c ), if the integer at de distance ( d = 2 c P ( k k ) ) were a prime too. If it is a prime, then the sum of the diads around the central point is risen by one. The checking is made by control of the equality of the prime next to the distance (d) to the distance itself. Similarly, the diads within the first section are evaluated. For the evaluation of the index of the next smaller prime to a given distance the routine (A1.2) is used:

(A5.3)

The number of diads is evaluated for points of reflection being primes at sparse distances. The evaluation is carried out as sum of all diads up to the points of reflection ( π d i a d s ) and for diads within the first section up to the square root of the distance of the point of reflection ( π d i a d s _ f i r s t ). Further as well for the case if the points of reflection are not primes, but even numbers ( π d i a d s _ e v e n ) just next below the primes at sparse distances ( P ( π s p ( k k ) ) 1 ), with variable numbers of prime divisors. The comparison of the number of diads in case of the point of reflection is a prime or the next smaller integer to the prime is demonstrated in Figure A4. Because the evaluation is time consuming, the results are written to files and read from these files:

Figure A4. Comparison of the number of diads evaluated for points of reflection being primes with diads evaluated for even numbers just below the same primes.

π d i a d s ( k k ( ) ) = π d i a d s _ ( P ( π s p ( k k ) ) ) π d i a d s _ f i r s t ( k k ( ) ) = π d i a d s _ f i r s t _ ( P ( π s p ( k k ) ) )

WRITEPRN ( " pi _ diads .prn " ) = π d i a d s ; π d i a d s = READPRN ( " pi _ diads .prn " )

WRITEPRN ( " pi _ diads _ first .prn " ) = π d i a d s _ f i r s t ;

π d i a d s _ f i r s t = READPRN ( " pi _ diads _ first .prn " )

Annex 6: Evaluation of the Error of the Second Simplification of the Diads

The number of diads resulting from the second simplification (3.3) results the DNF. The difference between the CDNF, (3.2) and the DNF, (3.9) results the error of the DNF. At the distance (c) it is proportional to ( R ( c ) ), the number of primes covering positions at the distance (c). The difference between the CDNF and the DNF is:

Δ π d i a d s _ a p p r ( c ) = π d i a d s ( c ) δ 2 c ln ( c ) 2 ; Δ π d i a d s _ a p p r ( k k ) = π d i a d s ( k k ) δ 2 P ( π s p ( k k ) ) ln ( P ( π s p ( k k ) ) ) 2 (A6.1)

Δ π d i a d s _ f i r s t ( k k ) = π d i a d s _ f i r s t ( k k ) 1.15 π d i a d s _ a p p r _ f i r s t ( k k )

The factor of the proportionality ( γ d ) results with the relation of the difference between the CDNF and the DNF to ( R ( c ) y , 3 2 < y < 2 ) taken as average over the spare distances, illustrated in Figure A5. For the approximation of the diads in the first section an additional factor of (1.15) is applied: The reason is, that in this case there are no subsections over the first section considered.

Figure A5. Relation of the difference between the CDNF and the DNF to ( R ( c ) ).

Δ π d i a d s _ r e l ( c ) = Δ π d i a d s ( c ) R ( c ) 1.836 ; γ d = 1 k k l i m i t j = 1 k k l i m i t Δ π d i a d s ( j ) R ( P ( π s p ( j ) ) ) 1.836 = 0 .040488 (A6.2)

Annex 7: Evaluation of the Properties of the Dispersion of Diads

The dispersion of both, of the free positions left by both, by the straight and by the reflected series of multiples of primes are proportional to the number of primes ( R ( c ) ), the series of multiples of primes which are covering free positions at (c). Therefore, this is the case by the dispersion of the number of diads around its best estimate approximation as well. The relative dispersion with reference to ( R ( c ) ) is evaluated and shown in the Figure A6. The results are written to a file and read from this file:

Figure A6. The dispersion of the relative number of diads around its best estimate approximation (left) and the standard deviation of the dispersion (right).

Δ π d i a d s = π d i a d s π d i a d s _ a p p r ; Δ π d i a d s _ r e l ( k k ) = Δ π d i a d s ( k k ) R ( P ( π s p ( j ) ) ) (A7.1)

WRITEPRN ( " delta _ pi _ diads _ rel .prn " ) = Δ π d i a d s _ r e l

Δ π d i a d s _ r e l = READPRN ( " delta _ pi _ diads _ rel .prn " )

The width of the dispersion of the diads is therefore estimated as

K Δ d i a d s 0.1 , Δ d i a d s K Δ d i a d s R ( c ) (A7.2)

The standard deviation SD of the dispersion (A7.1) is assumed to be constant for large distances. It is evaluated as:

S D Δ π _ d i a d s _ r e l ( c ) = 1 c c Δ π d i a d s _ r e l ( c ) 2 (A7.3)

S D Δ π _ d i a d s _ r e l ( k k ) = 1 k k j = 1 k k Δ π d i a d s _ r e l ( P ( π s p ( j ) ) ) 2

The factor of proportionality for the standard deviation of the diads is:

F S D _ Δ π _ d i a d s = S D Δ π _ d i a d s _ r e l ( k k l i m i t 1 ) = 0.2983886 (A7.4)

Figure A6 indicates that the standard deviation of the dispersion of the effective number of diads around its approximation is rising proportionally to ( F ( c ) ), the number of the series of multiples of primes, which are covering integer positions at the distance (c). The factor of proportionality ( F S D _ Δ π _ d i a d s ) is again an inherent property of the prime numbers.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Doroszlai, P. and Keller, H. (2022) The Number of Primes. Advances in Pure Mathematics, 12, 81-95.
https://doi.org/10.4236/apm.2022.122008
[2] Doroszlai, P. and Keller, H. (2022) The Symmetric Series of Multiples of Primes. Advances in Pure Mathematics, 12, 160-177.
https://doi.org/10.4236/apm.2022.123014
[3] Titchmarsh, E.C. (1986) The Theory of the Riemann Zeta-Function. Oxford University Press, New York.
[4] Hardy, G.H. and Littlewood, J.E. (1923) Some Problems of “Partitio Numerorum”; III: On the Expression of a Number as a Sum of Primes. Acta Mathematica, 44, 1-70.
https://doi.org/10.1007%2FBF02403921

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.