zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
On Šnirel’man’s constant. (English) Zbl 0851.11057
This important article contains a dramatic progress concerning the problem of determining Schnirel’man’s constant, the least integer $n$ such that every integer $> 1$ can be written as a sum of at most $n$ primes. The value 7 gained here is much nearer to the conjectured value 3 than to 19, the best result known hitherto [{\it H. Riesel} and {\it R. C. Vaughan}, Ark. Mat. 21, 45-74 (1983; Zbl 0516.10044)]. More precisely, the author shows: Theorem 1. Every even integer is a sum of at most 6 primes. This is derived from Theorem 2. For $x \ge \exp (67)$ we have $$\text{Card} \bigl\{ N \in\ ] x,2x],\ \exists p_1, p_2 : N = p_1 + p_2 \bigr\} \ge x/5.$$ For small numbers $N$ the author uses numerical results of {\it A. Granville}, {\it J. van de Lune}, and {\it H. J. J. te Riele} [in Number theory and applications, Proc. NATO ASI, Banff/Can. 1988, NATO ASI Ser., Ser. C 265, 423-433 (1989; Zbl 0679.10002)]. For large $N$ the step from Theorem 2 to Theorem 1 is done by means of a generalization of a theorem of Ostmann on sum sets (J. M. Deshouillers, unpublished). The proof of Theorem 2 in principle follows the classical approach. One has to find an upper bound for $$r_2 (N) = \sum_{p_1 + p_2 = N,\ p_1 \ge \sqrt x,\ p_2 \le x} \log p_2\qquad (x < N \le 2x).$$ If $\lambda_d$ is the well-known coefficient in Selberg’s sieve with a parameter $z \in\ ]1,x^{1/2}]$ (which will finally be chosen $\approx x^{1/2} (\log x)^{- 1/4})$, and $\beta (y) = (\sum_{d |y} \lambda_d)^2$ then $$r_2 (N) \le R_2 (N) = \sum_{y + p_2 = N,\ p_2 \le x} \beta (y) \log p_2.$$ $R_2 (N)$ can be written as $$\sum_{d \le z^2} w_d {\mathop {{\sum}^*}_{a \bmod d}} T(a/d)\ e(- Na/d),$$ where $$w_d = \sum_{d_1, d_2, d |[d_1, d_2]} \lambda_{d_1} \lambda_{d_2} \bigl( [d_1, d_2] \bigr)^{-1}, \quad T (\alpha) = \sum_{p \le x} \log p \cdot e(p \alpha).$$ Following {\it H. N. Shapiro} and {\it J. Warga} [Commun. Pure Appl. Math. 3, 153-176 (1950; Zbl 0038.18602)] the author derives lower and upper bounds for the expression $$R = \sum_{N \in\ ]x,2x]} \rho_2^{-1} (N)\ r_2 (N)\qquad \left( \rho_2 (n) = \sum_{p \mid N,\ p \ne 2} {p - 1 \over p - 2} \cdot \prod_{p \ge 3} \left( 1 - {1 \over (p - 1)^2} \right) \right).$$ By careful numerical consideration it is shown (Proposition 1): For $x \ge \exp (67)$ we have $R \ge 0.478 x^2 \log^{-1} x$. Note that the factor $0.478$ is very near to the expected optimal value $1/2$. $R$ is estimated from above by $$R^* = \sum_{d \le z^2} w_d {\mathop {{\sum}^*}_{a \bmod d}} T(a/d)\ \overline U(a/d),$$ where $U(\alpha) = \sum_{N \in\ ]x,2x], r_2 (N) \ne 0} \rho_2^{-1} (N) e(N \alpha)$. $R^*$ requires a lot of effort, both in theoretical and numerical respect. The bounds for $R$ easily give Theorem 2. The article is well organized and a pleasure to read.

MSC:
11P32Additive questions involving primes
WorldCat.org
Full Text: Numdam EuDML
References:
[1] J. Chen - T. Wang , On the odd Goldbach problem , Acta Math. Sinica 32 ( 1989 ), 702 - 718 . MR 1046491 | Zbl 0695.10041 · Zbl 0695.10041
[2] A. Granville - J. Van De Lune - H.J.J. Te Riele , ”Checking the Golbach conjecture on a vector computer”. Collection: Number theory and applications ( Banff, Alberta , 1988 ), 423 - 433 . Nato Adv. Sci. Inst. Ser. C Math. Phys. Sci . 265 ed. R.A. Mollin Publ. Kluwer Acad. Publ. , Dordrecht ( 1989 ). MR 1123087 | Zbl 0679.10002 · Zbl 0679.10002
[3] H. Halberstam - H.-E. Richert , Sieves methods , Academic Press , London , 1974 . · Zbl 0298.10026
[4] H. Halberstam - K.F. Roth , Sequences , Clarendon Press , Oxford ( 1966 ). MR 210679 | Zbl 0141.04405 · Zbl 0141.04405
[5] C. Hooley , Applications of sieves methods to the theory of numbers , Cambridge University Press 70, Cambridge , 1976 . MR 404173 | Zbl 0327.10044 · Zbl 0327.10044
[6] Yu. V. Linnik , The Dispersion Method in Binary Additive Problems, Translations of Mathematical Monographs 4 , Amer. Math. Soc ., Providence RI , 1963 . MR 168543 | Zbl 0112.27402 · Zbl 0112.27402
[7] H. Montgomery - R.C. Vaughan , The large sieve , Mathematika 20 ( 1973 ), 119 - 133 . MR 374060 | Zbl 0296.10023 · Zbl 0296.10023 · doi:10.1112/S0025579300004708
[8] E. Preissmann , Sur une inégalité de Montgomery et Vaughan , Enseign. Math. 30 ( 1984 ), 95 - 113 . MR 743672 | Zbl 0548.10031 · Zbl 0548.10031
[9] O. Ramaré , Short effective intervals containing primes , submitted to J. Number Theory. [10] O. Ramaré - R. Rumely , Primes in arithmetic progressions , Math. Comp . (to appear). MR 1320898 | Zbl 0856.11042 · Zbl 0856.11042 · doi:10.1090/S0025-5718-96-00669-2
[10] H. Riesel - R.C. Vaughan , On sums of primes , Ark. Mat. 21 ( 1983 ), 45 - 74 . MR 706639 | Zbl 0516.10044 · Zbl 0516.10044 · doi:10.1007/BF02384300
[11] J.B. Rosser , Explicit bounds for some functions of prime numbers , Amer. J. Math. 63 ( 1941 ), 211 - 232 . MR 3018 | Zbl 0024.25004 | JFM 67.0129.03 · Zbl 0024.25004 · doi:10.2307/2371291 · http://www.emis.de/cgi-bin/JFM-item?67.0129.03
[12] J.B. Rosser - L. Schoenfeld , Approximate formulas for some functions of prime numbers , Illinois J. Math. 6 ( 1962 ), 64 - 94 . Article | MR 137689 | Zbl 0122.05001 · Zbl 0122.05001 · http://minidml.mathdoc.fr/cgi-bin/location?id=00336579
[13] J.B. Rosser - L. Schoenfeld , Sharper bounds for the Chebyshev functions \psi and \theta . I , Math. Comp. 29 ( 1975 ), 243 - 269 . Zbl 0295.10036 · Zbl 0295.10036 · doi:10.2307/2005479
[14] R. Rumely , Numerical Computations Concerning the ERH , Math. Comp. 61 ( 1993 ), 415 - 440 . MR 1195435 | Zbl 0792.11034 · Zbl 0792.11034 · doi:10.2307/2152965
[15] I.Z. Ruzsa , An additive property of squares and primes , Acta Arith. 49 ( 1987 ), 281 - 289 . Article | MR 932527 | Zbl 0636.10042 · Zbl 0636.10042 · eudml:206086
[16] H.N. Shapiro - J. Warga , On the representation of large integers as sums of primes , Comm. Pure Appl. Math. 3 ( 1950 ), 153 - 176 . MR 37323 | Zbl 0038.18602 · Zbl 0038.18602 · doi:10.1002/cpa.3160030204
[17] L. Schoenfeld , Sharper bounds for the Chebyshev functions \psi and \theta . II , Math. Comp. 30 ( 1976 ), 337 - 360 . Zbl 0326.10037 · Zbl 0326.10037 · doi:10.2307/2005976
[18] R.C. Vaughan , A note on Šnirel’man’s approach to Goldbach’s problem , Bull. London Math. Soc. 8 ( 1976 ), 245 - 250 . MR 424736 | Zbl 0336.10046 · Zbl 0336.10046 · doi:10.1112/blms/8.3.245
[19] R.C. Vaughan , On the estimation of Schnirelman’s constant , J. Reine Angew. Math. 290 ( 1977 ), 93 - 108 . Article | MR 437478 | Zbl 0344.10028 · Zbl 0344.10028 · doi:10.1515/crll.1977.290.93 · crelle:GDZPPN002193248 · eudml:151838