Approximationen reeller Zahlen mit Nebenbedingungen. (Q563714)

Der Hauptsatz der Arbeit (Satz I) gibt sehr allgemeine hinreichende Bedingungen für die Existenz unendlich vieler ganzzahliger Lösungen \(x\) eines Systems von \(k\) Ungleichungen der Form \[ -\frac {1}{\varphi _r(x)} <\alpha x^r-[\alpha x^r] < \frac {1}{\varphi _r(x)} \quad \text{ oder }\quad -\frac {1}{\varphi _r(x)}<\alpha x^r<\frac {1}{\varphi _r(x)}\text{ (mod 1)}, \] welche der simultanen Approximation der beliebig vorgegebenen reellen Zahl \(\alpha \) durch Brüche dienen, welche Potenzen derselben Basis \(x\) zum Nenner haben. Hierbei kann \(k\) von \(x\) abhängen und eventuell mit \(x\) ins Unendliche wachsen. Es ergibt sich: Wenn \(k(x)\) und die \(\varphi _r(x)\) für ganzzahlige \(x>0\) definiert, \(\geqq \) 1 und monoton nicht abnehmend sind, wenn es zwei feste Zahlen \(x_0>3\) und \(v\leqq 1\) gibt, so daß \(\varphi _k(x) \leqq x^v\) für \(x > x_0\), und wenn für jedes feste \(\gamma \geqq 1\) folgende Relation für die \(\varphi _r(x)\) besteht: \[ \lim _{\begin{matrix} x\rightarrow \infty,\\ x\text{ ganz}\end{matrix} }(\gamma k)^{2k+1}\Phi _1(x)\Phi _2(x)\cdots \Phi _k(x)\left (\frac {\{\Phi _k(x)\}^d}{x}\right )^{\frac {1}{d(\varkappa -2)+\frac {\varkappa }{2}}}=0 \] \[ (\varkappa = \varkappa (x) = 2^{k(x)},\;\Phi _r(x) = \varphi _r(x)\log \{3k\varphi _r(x)\},\;d=k-1+v,\;r=1,2,\ldots ), \] dann existieren unendlich viele ganzzahlige Lösungen \(x\) der obigen Ungleichungen. Der Beweis stützt sich auf einen Hilfssatz, der im wesentlichen der Dissertation des Verf. entnommen ist (1930; F. d. M. \(56_{\text{II}}\), 895), und auf einen im vorstehenden Referat erwähnten Satz von \textit{van der Corput}. Verf. hebt zwei Spezialfälle seines Satzes hervor. Ist \(k\) eine feste natürliche Zahl, \(\eta _r(r = 1, 2,\ldots, k)\) eine positive reelle Zahl, \(d = k - 1 +\eta _k\), und genügen die \(\eta _k\) der Bedingung \[ (\eta _1 + \eta _2 + \cdots + \eta _k)\left (d(\varkappa -2)+\frac {\varkappa }{2}\right ) + d\eta _k <1, \] so hat das diophantische System \[ - \frac {1}{x^{\eta _r}} < \alpha x^r < \frac {1}{x^{\eta _r}} \text{ (mod 1)} \qquad ( r = 1, 2, \ldots, k) \] unendlich viele ganzzahlige Lösungen \(x\). Ein anderer Spezialfall ist dadurch interessant, daß \(k\) mit \(x\) ins Unendliche wächst.