Ramanujan prime - Ramanujan prime
v matematika, a Ramanujan prime je prvočíslo který uspokojí výsledek prokázaný Srinivasa Ramanujan týkající se funkce počítání prvočísel.
Počátky a definice
V roce 1919 vydal Ramanujan nový důkaz Bertrandův postulát což, jak poznamenává, bylo poprvé prokázáno Čebyšev.[1] Na konci dvoustránkové publikované práce odvodil Ramanujan zobecněný výsledek, a to je:
kde je funkce počítání prvočísel, rovnající se počtu prvočísel menší nebo rovnýX.
Opakem tohoto výsledku je definice prvočísel Ramanujan:
- The nth Ramanujan prime je nejméně celé číslo Rn pro který pro všechny X ≥ Rn.[2] Jinými slovy: Ramanujan prvočísla jsou nejméně celá čísla Rn pro které existuje minimálně n prvočísla mezi X a X/ 2 pro všechny X ≥ Rn.
Prvních pět prvočísel Ramanujan je tedy 2, 11, 17, 29 a 41.
Všimněte si, že celé číslo Rn je nutně prvočíslo: a proto se musí zvýšit získáním dalšího prvočísla v X = Rn. Od té doby může se zvýšit maximálně o 1,
Hranice a asymptotický vzorec
Pro všechny , hranice
držet. Li , pak také
kde pn je nth prvočíslo.
Tak jako n inklinuje k nekonečnu, Rn je asymptotické do 2nth prime, tj.
- Rn ~ p2n (n → ∞).
Všechny tyto výsledky prokázal Sondow (2009),[3] kromě horní hranice Rn < p3n kterou si domyslel a prokázal Laishram (2010).[4] Vazba byla vylepšena Sondowem, Nicholsonem a Noem (2011)[5] na
což je optimální forma Rn ≤ c · p3n protože se jedná o rovnost pro n = 5.
Reference
- ^ Ramanujan, S. (1919), „Důkaz Bertrandova postulátu“, Journal of the Indian Mathematical Society, 11: 181–182
- ^ Jonathan Sondow. „Ramanujan Prime“. MathWorld.
- ^ Sondow, J. (2009), „Ramanujan připravuje a Bertrandův postulát“, Amer. Matematika. Měsíční, 116 (7): 630–635, arXiv:0907.5232, doi:10.4169 / 193009709x458609
- ^ Laishram, S. (2010), „O domněnce o Ramanujanských prvočíslech“ (PDF), International Journal of Number Theory, 6 (8): 1869–1873, CiteSeerX 10.1.1.639.4934, doi:10,1142 / s1793042110003848.
- ^ Sondow, J .; Nicholson, J .; Noe, T.D. (2011), „Ramanujan připravuje: meze, běhy, dvojčata a mezery“ (PDF), Journal of Integer Sequences, 14: 11.6.2, arXiv:1105.2249, Bibcode:2011arXiv1105.2249S