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

From MaRDI portal





scientific article
Language Label Description Also known as
English
Sur les approximations des nombres transcendants par des nombres algébriques.
scientific article

    Statements

    Sur les approximations des nombres transcendants par des nombres algébriques. (English)
    0 references
    0 references
    1935
    0 references
    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}\).
    0 references

    Identifiers