On diophantine approximation and the generalized elliptic theta function. (Q2598821)

Es sei in den Siegelschen Bezeichnungen \(\mathfrak S=\mathfrak S^{(m)}\) eine symmetrische ganze Matrix \[ Q(\mathfrak x)=\mathfrak x'\mathfrak{Sx},\qquad f(\mathfrak S,\tau)=\sum_{\mathfrak x}e^{\pi i\tau Q(\mathfrak x)}, \] wo \(\tau\) eine komplexe Variable mit positivem Imaginärteil darstellt und über alle ganzen Spalten \(\mathfrak x\) summiert wird. Aus der \(\vartheta\)-Transformationsformel erhält Verf. eine Abschätzung nach oben und unten für das Anwachsen von \(|f(\mathfrak S, \tau)|\) bei Annäherung an die reelle Achse und daraus mit \(\tau=x+iy\) (\(x\) reell irrational, \(y > 0\), \(y\to + 0\)) die folgenden Sätze: \[ f(\mathfrak S,x+iy)=O\left(y^{-\tfrac m2}\right); \] ferner, wenn \(x\) beschränkte Kettenbruchnenner aufweist, \[ f(\mathfrak S,x+iy)=O\left(y^{-\tfrac m4}\right); \] Für alle \(x\) mit Ausnahme einer Lebesgueschen Nullmenge gilt \[ f(\mathfrak S,x+iy)=O\left(y^{-\tfrac m4}\log^{\tfrac m4+\varepsilon} \left(\frac1y\right)\right),\qquad \varepsilon>0. \] Ist \(x\) eine algebraische Zahl vom Grade \(k\), so wird bewiesen: \[ f(\mathfrak S,x+iy)=O\left(y^{-\alpha}\right),\qquad \alpha=\frac m2\left(1-\frac1k\right). \] Als Abschätzung nach unten ergibt sich für alle \(x\) mit Ausnahme einer Lebesgueschen Nullmenge \[ f(\mathfrak S,x+iy)=\varOmega\left(y^{-\tfrac m4}\log^{\tfrac m4} \left(\frac1y\right)\right). \] Sätze von entsprechender Art bestehen für das Verhalten von \[ R(\mathfrak S, N, x)=\sum_{Q(\mathfrak y)\leqq N} e^{i\pi xQ(\mathfrak y)}\qquad (\mathfrak y \;\text{ganz}, \;N\to+\infty) \] in Abhängigkeit von \(x\).