|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[number theory]], the '''Bateman–Horn conjecture''' is a statement concerning the frequency of [[prime number]]s among the values of a system of [[polynomial]]s, named after mathematicians [[Paul T. Bateman]] and Roger A Horn, of [[The University of Utah]], who proposed it in 1962. It provides a vast generalization of such conjectures as the [[First Hardy–Littlewood conjecture|Hardy and Littlewood conjecture]] on the density of [[twin prime]]s or their conjecture on primes of the form ''n''<sup>2</sup> + 1; it is also a strengthening of [[Schinzel's hypothesis H|Schinzel's hypothesis H]]. It remains unsolved as of January 2014.
| | Greetings! I am Myrtle Shroyer. To do aerobics is a factor that I'm totally addicted to. Years in the past we moved to North Dakota. My day occupation is a librarian.<br><br>My web blog ... [http://Aro.ru/diettogo30380 meal delivery service] |
| | |
| ==Definition==
| |
| The Bateman–Horn conjecture provides a conjectured density for the positive integers at which a given set of polynomials all have prime values. For a set of ''m'' distinct [[irreducible polynomial]]s ''ƒ''<sub>1</sub>, ..., ''ƒ''<sub>''m''</sub> with integer coefficients, an obvious necessary condition for the polynomials to simultaneously generate prime values infinitely often is that they satisfy [[Bunyakovsky's property]], that there does not exist a prime number ''p'' that divides their product ''f''(''n'') for every positive integer ''n''. For, if not, then one of the values of the polynomials must be equal to ''p'', which can only happen for finitely many values of ''n''.
| |
| | |
| An integer ''n'' is prime-generating for the given system of polynomials if every polynomial ''ƒ<sub>i</sub>''(''n'') produces a prime number when given ''n'' as its argument. If ''P(x)'' is the fraction of prime-generating integers among the positive integers less than ''x'', then the Bateman–Horn conjecture states that
| |
| | |
| :<math>P(x) \sim \frac{C}{D} \int_2^x \frac{dt}{(\log t)^m},\,</math>
| |
| | |
| where ''D'' is the product of the degrees of the polynomials and where ''C'' is the product over primes ''p''
| |
| | |
| :<math>C = \prod_p \frac{1-N(p)/p}{(1-1/p)^m}\ </math>
| |
| | |
| with <math>N(p)</math> the number of solutions to
| |
| | |
| :<math>f(n) \equiv 0 \pmod p.\ </math>
| |
| | |
| Bunyakovsky's property implies <math>N(p) < p</math> for all primes ''p'',
| |
| so each factor in the infinite product ''C'' is positive.
| |
| Intuitively one then naturally expects that the constant ''C'' is itself positive, and with some work this can be proved.
| |
| (Work is needed since some infinite products of positive numbers equal zero.)
| |
| | |
| ==Negative numbers==
| |
| As stated above, the conjecture is not true: the single polynomial ''ƒ''<sub>1</sub>(''x'') = −''x'' produces only negative numbers when given a positive argument, so the fraction of prime numbers among its values is always zero. There are two equally valid ways of refining the conjecture to avoid this difficulty:
| |
| *One may require all the polynomials to have positive leading coefficients, so that only a constant number of their values can be negative.
| |
| *Alternatively, one may allow negative leading coefficients but count a negative number as being prime when its absolute value is prime.
| |
| It is reasonable to allow negative numbers to count as primes as a step towards formulating more general conjectures that apply to other systems of numbers than the integers, but at the same time it is easy
| |
| to just negate the polynomials if necessary to reduce to the case where the leading coefficients are positive.
| |
| | |
| ==Examples==
| |
| If the system of polynomials consists of the single polynomial ''ƒ''<sub>1</sub>(''x'') = ''x'', then the values ''n'' for which ''ƒ''<sub>1</sub>(''n'') is prime are themselves the prime numbers, and the conjecture becomes a restatement of the [[prime number theorem]].
| |
| | |
| If the system of polynomials consists of the two polynomials ''ƒ''<sub>1</sub>(''x'') = ''x'' and ''ƒ''<sub>2</sub>(''x'') = ''x'' + 2, then the values of ''n'' for which both ''ƒ''<sub>1</sub>(''n'') and ''ƒ''<sub>2</sub>(''n'') are prime are just the smaller of the two primes in every pair of [[twin prime]]s. In this case, the Bateman–Horn conjecture reduces to the [[Twin prime#First Hardy–Littlewood conjecture|Hardy–Littlewood conjecture]] on the density of twin primes, according to which the number of twin prime pairs less than ''x'' is
| |
| :<math>\pi_2(x) \sim 2 \prod_{p\ge 3} \frac{p(p-2)}{(p-1)^2}\frac{x}{(\log x)^2 } \approx 1.32 \frac {x}{(\log x)^2}.</math>
| |
| | |
| ==Analogue for polynomials over a finite field==
| |
| | |
| When the integers are replaced by the polynomial ring ''F''[''u''] for a finite field ''F'', one can ask how often a finite set of polynomials ''f''<sub>''i''</sub>(''x'') in ''F''[''u''][''x''] simultaneously takes irreducible values in ''F''[''u''] when we substitute for ''x'' elements of ''F''[''u'']. Well-known analogies between integers and ''F''[''u''] suggest an analogue of the Bateman–Horn conjecture over ''F''[''u''], but the analogue is wrong. For example, data suggest that the polynomial
| |
| | |
| ::<math>x^3 + u\,</math> | |
| | |
| in ''F''<sub>3</sub>[''u''][''x''] takes (asymptotically) the expected number of irreducible values when ''x'' runs over polynomials in ''F''<sub>3</sub>[''u''] of odd degree, but it appears to take (asymptotically) twice as many irreducible values as expected when ''x'' runs over polynomials of degree that is 2 mod 4, while it (provably) takes ''no'' irreducible values at all when ''x'' runs over nonconstant polynomials with degree that is a multiple of 4. An analogue of the Bateman–Horn conjecture over ''F''[''u''] which fits numerical data uses an additional factor in the asymptotics which depends on the value of ''d'' mod 4, where ''d'' is the degree of the polynomials in ''F''[''u''] over which ''x'' is sampled.
| |
| | |
| ==References==
| |
| *{{citation|last1=Bateman|first1=Paul T.|last2=Horn|first2=Roger A.|title=A heuristic asymptotic formula concerning the distribution of prime numbers|journal=Mathematics of Computation|volume=16|year=1962|pages=363–367|mr=148632|doi=10.2307/2004056|zbl=0105.03302 }}
| |
| * {{citation |last=Guy | first=Richard K. | authorlink=Richard K. Guy | title=Unsolved problems in number theory | publisher=[[Springer-Verlag]] |edition=3rd | year=2004 |isbn=978-0-387-20860-2 | zbl=1058.11001 }}
| |
| * {{citation|last1=Friedlander|first1=John|last2=Granville|first2=Andrew|title=Limitations to the equi-distribution of primes. IV.|journal=Proceedings: Mathematical and Physical Sciences|volume=435|number=1893|year=1991|pages=197–204}}.
| |
| | |
| {{DEFAULTSORT:Bateman-Horn conjecture}}
| |
| [[Category:Conjectures about prime numbers]]
| |
| [[Category:Analytic number theory]]
| |
Greetings! I am Myrtle Shroyer. To do aerobics is a factor that I'm totally addicted to. Years in the past we moved to North Dakota. My day occupation is a librarian.
My web blog ... meal delivery service