On the distribution of quadratic residues (mod~\(p\)). (Q572218)

\(p\) bedeute eine Primzahl; unter den Zahlen \(1, 2,\dots, p-1\) betrachte man die Sequenzen von \(n\) aufeinander folgenden Zahlen \(x\), \(x+1\),\dots, \(x+n-1\), deren Legendresche Symbole \(\left(\dfrac {x}{p}\right)\), \(\left(\dfrac {x+1}{p}\right)\),\dots, \(\left(\dfrac {x+n-1}{p}\right)\) der Reihe nach mit \(n\) vorgegebenen Zahlen \(\varepsilon_1, \varepsilon_2,\dots, \varepsilon_n\) \((\varepsilon_\nu=\pm 1)\) übereinstimmen. Die Anzahl solcher Sequenzen heiße \(E (\varepsilon_1, \varepsilon_2,\dots,\varepsilon_n)\). Insbesondere bedeutet also \[ R_n=E(1,1,\dots,1)\text{ bzw. }N_n=E(-1,-1,\dots,-1) \] die Anzahl der Sequenzen quadratischer Reste bzw. Nichtreste. Es ist offenbar \[ E (\varepsilon_1, \varepsilon_2,\dots,\varepsilon_n)= \frac{\varepsilon_1\varepsilon_2\cdots\varepsilon_n}{2^n} \sum\limits_{x=1}^{p-n}\bigg\{\varepsilon_1+\bigg(\frac{x}p\bigg)\bigg\} \bigg\{\varepsilon_2+\bigg(\frac{x+1}p\bigg)\bigg\}\cdots \bigg\{\varepsilon_n+\bigg(\frac{x+n-1}p\bigg)\bigg\}. \] Das heißt aber: \(E (\varepsilon_1, \varepsilon_2,\dots,\varepsilon_n)\) unterscheidet sich von \(\dfrac p{2^n}\) höchstens um \(O (1)\) plus einer Anzahl (höchstens \(2^n\)) von Summen der Form \[ \varPhi_r(a_1,a_2,\dots,a_r)=\sum_x \bigg(\frac{(x+a_1)(x+a_2)\cdots(x+a_r)}p\bigg), \] wo \(x\) ein vollständiges Restsystem durchläuft, die \(a_\varrho\) untereinander inkongruent sind und \(r\leqq n\) ist. Verf. beweist nun auf elementarem Wege: \[ \begin{aligned} |&\varPhi_3(a_1,a_2,a_3)|<\sqrt{(p+2^{\frac12}p^{\frac32})},\\ |&\varPhi_4(a_1,a_2,a_3,a_4)|<1+\sqrt{(p+2^{\frac12}p^{\frac32})},\\ &\varPhi_5(0,1,2,3,4)=O(p^{\frac34}). \end{aligned} \] Hieraus folgt für \(n = 4\) und \(n = 5\): \[ E (\varepsilon_1, \varepsilon_2,\dots,\varepsilon_n)= \frac p{2^n}+O(p^{\frac34}). \] Vgl. hierzu auch die früheren Resultate von \textit{E. Jacobsthal} [Anwendungen einer Formel aus der Theorie der quadratischen Reste. Berlin (1906; JFM 37.0226.01)], \textit{A. Brauer} [Sitzungsber. Akad. Berlin 1928, 9--16 (1928; JFM 54.0169.02)], \textit{K. Dörge} [Jahresber. D. M. V. 38, 41--49 (1929; JFM 55.0094.06)], \textit{H. Hopf} [Math. Z. 32, 222--231 (1930; JFM 56.0157.06)].