The least quadratic non residue (Q2649761): Difference between revisions

\(n(k)\) bezeichne den kleinsten positiven quadratischen Nichtrest der Primzahl \(k\). Die beste bisher bekannte Abschätzung von \(n(k)\) nach oben, \(n(k)=O\left(k^{1/2\sqrt e}\right)\) stammt von \textit{I. M. Vinogradov} [Trans. Am. Math. Soc. 29, 218--226 (1927; JFM 53.0124.04)]. Unter Annahme der Richtigkeit der erweiterten Riemannschen Vermutung (E. R. V.) haben S. Chowla und P. Erdős kürzlich \(n(k)=O(\exp(\log^{1/2+\varepsilon}k))\) bewiesen. Hier gelingt es Verf. unter Annahme der E. R. V. \(n(k)=O(\log^2k)\) zu zeigen. Dieses Ergebnis ist nicht allzuweit von der unteren Abschätzung [\textit{V. R. Fridlender}, Dokl. Akad. Nauk SSSR, n. Ser. 66, 351--352 (1949; Zbl 0033.35201)] entfernt. Bezeichnen \(\tau(k)\) die kleinste positive primitive Wurzel mod \(k\), \(\nu(k-1)\) die Anzahl der verschiedenen Primfaktoren von \(k-1\), so gilt ferner unter Annahme der E. R. V. \[ \tau(k)=O\left(\left(2^{\nu(k-1)}\log k\log\left(2^{\nu(k-1)}\log k\right)\right)^2\right). \] Die Herleitung der beiden Ergebnisse gelingt nach dem Beweis des folgenden Satzes: Ist \(X>3\), so gilt \[ \sum_p\chi(p)\log p\,e^{-p/X}=O\left(X^{1/2}\left(\frac{\log X\log k}{\log\log k}+\frac{\log k}{\log X}\right)\right)+O\left(X^{1/3}\log k\right), \] wo links die Summe über alle Primzahlen zu erstrecken ist und \(\chi(p)\) einen Charakter mod \(k\) bezeichnet.