Sur les approximations des nombres transcendants par des nombres algébriques. (Q2611728)

Verf. beweist über die Annäherung der transzendenten Zahl \(a^\alpha\) (\(a\neq 0, 1\); \(\alpha\) irrational algebraisch) den Satz: \[ |a^\alpha - \theta| > H^{-[\log\log H]^{5+\varepsilon}}, \varepsilon > 0 \tag{1} \] von einem hinreichend großen \(H\) ab, wobei \(H\) die Höhe der algebraischen Zahl \(\theta\) ist. Die Methode ähnelt derjenigen, die Verf. zu seinem Beweis der Transzendenz von \(a^\alpha\) (C. R. Acad. Sc. URSS 1934\(_{\text{II}}\), 1-6; JFM 60.0163.*) benutzt hat. -- Sei \[ \varphi (x) = \sum\limits_{\varkappa = 0}^q \sum\limits_{l=0}^{[\log^{2+\varepsilon}q]} C_{\varkappa,l} a^{\varkappa x} a^{\alpha lx}, \;\eta > 0 \;\text{ und } \;r_1=\left[q^{\log^{1+\eta}q}\right], \;r_2=\left[\dfrac{\log\, q}{5\log\log\, q}\right], \] \(\lambda_1, \lambda_2, \lambda_3\) unabhängig von \(q\) und \(q\) hinreichend groß, so lassen sich die ganzrationalen Zahlen \(C_{\varkappa,l}, |C_{\varkappa,l}| < e^{q\log^{2+\eta}q}\), nicht trivial derart bestimmen, daß \[ |\varphi^{(s)}(t)| < e^{-4q\log^{2+\eta}q\sqrt{\log\log q}}, \;0\leqq s\leqq r_1-1, \;0\leqq t\leqq r_2-1 \] erfüllt ist. Mittels einer geeigneten Interpolationsformel kann man daraus schließen: \[ |\varphi^{(s)}(t)| < e^{-\tfrac{\eta}{25}q\log^{2+\eta}q\sqrt{\log\log q}}, \;0\leqq s\leqq r_1-1, \;0\leqq t\leqq \left[\log^{2+\tfrac{\eta}{2}} q\right]. \] Setzt man \(P_{s,t}(a^\alpha) = \log^{-s}a\cdot\varphi^{(s)}(t)\) und \(H=\left[e^{\tfrac{q}{\log^{2+\frac{\eta}{2}}}}q\right]\), so gelingt es unter der gegenteiligen Annahme von (1) zu zeigen, daß für dieselben \(s\) und \(t\) \[ |P_{s,t}(\theta)| < 2e^{-\tfrac{\eta}{25}q\log^{2+\eta}q\sqrt{\log\log q}} \] ist. Aus dem algebraischen Verhalten von \(\theta\) folgt dann \(P_{s,t}(\theta)= 0\). Daraus erschließt man unter nochmaliger Verwendung einer Interpolationsformel \[ |\varphi^{(s)}(0)| < e^{-\tfrac{1}{5}q\log^{3+\tfrac{3}{2}}q}, 0\leqq s\leqq 2q[\log^{2+\eta}q]. \] Da \(\alpha\) algebraisch ist, erhält man daraus \(\varphi^{(s)}(0) = 0\) für dieselben \(s\). Bestimmt man die \(C_{\varkappa,l}\) aus dem letzten Gleichungssystem, so lautet das Ergebnis \(C_{\varkappa,l} = 0\). Darin liegt ein Widerspruch zur vorherigen Bestimmung der \(C_{\varkappa,l}\), folglich gilt Annahme (1). Außerdem gibt Verf. den Satz an: \(\left|\dfrac{\log\,\alpha}{\log\,\beta} - \theta\right| > H^{-\log^{\varphi +\varepsilon}H}\).