Diophantische Approximationen von Irrationalzahlen mit Kettenbruchnennern von eigenschränktem Wachstum. (Q2622892)

Im Anschluß an noch nicht veröffentlichte Untersuchungen von \textit{van der Corput} und an seine eigene Dissertation ``Over stelsels diophantische ongelijkheden'' (Groningen 1930, F. d. M. \(56_{\text{II}}\)) untersucht Verf. Systeme diophantischer Ungleichungen \[ 0<f_\nu (x)<\beta _\nu \pmod {1}\quad (\nu = 1,2,\dots,n) \] mit unendlichvielen Lösungen (d. h. es gibt unendlich viele ganze rationale Zahlen \(x\) und Systeme von \(n\) ganzen rationalen Zahlen \(y_1,y_2,\dots,y_n\), so daß \[ 0<f_\nu (x)-y_\nu <\beta _\nu \quad (\nu =1,2,\dots,n) \] ist); dabei sind die \(\beta _\nu \) Funktionen von \(x\), die mit \(x\to \infty \) gegen Null streben, und die \(f_\nu (x)\) Polynome der Grade \(k_1,k_2,\dots,k_n\) mit \[ 2\leq k_1<k_2\cdots <k_n, \] wobei die Koeffizienten der höchsten Potenzen \(\theta _{\nu }x^{k_\nu }\) dieser Polynome als irrational angenommen werden. Es wird eine sehr allgemeine Bedingung angegeben, die hinreicht, damit unendlich viele Lösungen existieren. Im einfachsten Fall einer Ungleichung, \(n=1\), lautet dieselbe: Sei \(k\) eine natürliche Zahl \(\geq 2\), \(\varkappa =2^k\), und \(\theta \) eine Irrationalzahl mit dem Kettenbruch \[ \theta = d_0+ \frac {1|}{|d_1}+\frac {1|}{|d_2}+\frac {1|}{|d_3}+\cdots ; \] es gelte \[ d_{\varrho } + 1 \leq \varphi (\varrho )\quad (\varrho \geq 1), \] wo \(\varphi (\varrho )\) eine für \(t\geq 1\) definierte monoton nicht abnehmende Funktion ist. Ist dann \(\eta (x)\) eine für große \(x\) definierte Funktion mit \[ \varphi (x)>0,\quad \lim \limits _{_{\substack{ x\to \infty \\x\text{ ganz}}} } \frac {\varphi (\gamma \log ^2 x)^{\tfrac 12}(\log x)^{\tfrac {3\varkappa -2}{4}}}{\eta (x)^{\tfrac {3\varkappa -2}{4}}} =0\quad (\gamma =42k+17), \] und \(u(x)\) ein Polynom \(k\)-ten Grades mit höchstem Koeffizienten Eins, so hat die diophantische Ungleichung \[ 0<\theta u(x)<\frac {\eta (x)}{x^{\tfrac {4}{3\varkappa -2}}}\pmod 1 \] unendlich viele Lösungen. Für Irrationalzahlen \(\theta \) mit nicht zu stark wachsenden Kettenbruchnennern ergibt dieser Satz also die Existenz von unendlich vielen Näherungen der Form \[ \frac {y}{u(x)} \] für \(\theta \); dabei ist der Zähler ganz rational und das Argument \(x\) des Polynoms im Nenner ebenfalls eine ganze rationale Zahl, und der Fehler ist nur von der Größenordnung einer negativen Potenz von \(x\). Der Beweis verwendet elementare Kettenbruchabschätzungen, Abschätzungen für die endlichen Abschnitte von Thetareihen, die \textit{van der Corput}schen Methoden zur Abschätzung allgemeiner trigonometrischer Summen und einen allgemeinen (noch unveröffentlichen) Satz von \textit{van der Corput} über die Anzahl der Lösungen von Systemen diophantischer Ungleichungssysteme.