Sur les polynomes associés aux fonctions modulaires \(\vartheta\). (Q2596109): Difference between revisions

Es sei für reelles \(x\): \[ s_n^{(2)} = \sum_{\nu = 1}^n e^{(\nu - \frac 12)^2 \pi i x}, \quad s_n^{(3)} = \sum_{\nu = 1}^n e^{\nu^2 \pi i x}, \quad s_n^{(4)} = \sum_{\nu = 1}^n (-1)^\nu e^{\nu^2 \pi i x}. \quad \] Verf. beweist: 1) Das Maß der Punktmenge des Intervalls \(0 < x < 1\) mit der Eigenschaft \[ \underset {1 \leqq n \leqq N} {\text{ Max }} \left| s_n^{(\lambda)} (x) \right| \geqq A \sqrt {N} \] (wo \(A > 0\), \(N > 0\), \(\lambda = 2, 3, 4\)) ist \(\leqq F A^{-4}\), wo \(F\) eine absolute Konstante ist; dieser Satz kann nicht weiter verschärft werden. 2) Falls \(\varphi (t)\) eine für \(t > 0\) positive, monoton wachsende Funktion ist und die Reihe \(\sum\limits_{k=1}^\infty \dfrac 1{(\varphi (k))^4}\) konvergiert, so gilt \textit{fast überall}: \[ s_n^{(\lambda)} (x) = O(\sqrt {n}\, \varphi\, (\log n) ) \qquad (\lambda = 2,3,4). \] 3) Falls \[ a_n \geqq a_{n+1} > 0 \;(n = 1, 2, 3, \dots), \quad \sum_{n=1}^\infty a_n^2 < \infty, \] so konvergiert die Reihe \[ \sum_{n=1}^\infty a_n e^{n^2 \pi i x} \] \textit{fast überall}. 4) Falls \[ a_n \geqq a_{n+1} > 0 \;(n = 1, 2, 3, \dots), \quad \sum_{n=1}^\infty \frac {a_n}{\sqrt{n}} < \infty, \quad f(x) = \sum_{n=1}^\infty a_n e^{n^2 \pi i x}, \] so gilt für \(0 < \alpha < 4\): \[ \int_0^1 |f (x)|^\alpha \, dx < \infty . \]