Sur le septième Problème de Hilbert. (Q2616950)

Verf. beweist: Wenn \(\alpha \neq 0,1\) algebraisch und \(\beta \) algebraisch irrational ist, so ist \(\alpha ^\beta \) transzendent. Ausgangspunkt des Beweises ist die Funktion \[ f(x)=\sum _{k=0}^{q_0}\sum _{l=0}^{q_0}C_{kl}\alpha ^{kx}\beta ^{lx}, \] \(C_{kl}\) ganze rationale Zahlen. Hilfssatz I sagt aus: Wenn \(C_{kl}\leqq 3^{q_0^2}\) und \(\alpha,\beta,\eta =\frac {\log \alpha }{\log \beta }\) algebraisch sind, dann ist entweder \[ |F^{(s)}(t)|>e^{-(\lambda _1q_0^2+\lambda _3q_0t+\lambda _3s\ln q_0)} \] (\(\lambda _1,\lambda _2,\lambda _3,\dots \) hängen nur von \(\alpha,\beta \) ab) oder \(f^{(s)}(t)=0\). Der Beweis ergibt sich durch Abschätzung der Norm der ganzalgebraischen Zahl \(e^{s+2q_0t}f^{(s)}(t)\ln ^{-s}\beta \). In Hilfssatz II wird mit Hilfe des ``Dirichletschen-Prinzips'' gezeigt: Die \(C_{kl}\)können immer so geählt werden, daß \(|C_{kl}|\leqq 3^{q_0^2}\), nicht alle gleich Null sind und \[ |f^{(s)}(t)|<e^{-\frac 16\frac {q_0^2\log q_0}{\log \log q_0}}, \] \[ 0\leqq s\leqq \left [\frac {q_0^2}{\log q_0\log \log q_0}\right ]-1=r_1-1, \quad 0\leqq t\leqq [\log ^2\log q_0]-1 =r_2-1 \] ist Zum Beweis des Haputsatzes zeige man zuerst, daß \(f^{(s)}(t)=0\) ist für \(0\leqq s\leqq r_1-1, 0\leqq t\leqq r_2-1\). Dann folgt aus dem \textit{Cauchy}schen Integralsatze: \(f^{(s)}(t)=0\) für \(0\leqq s\leqq r_1, 0\leqq t\leqq [\sqrt {q_0}]\), und durch nochmalige Anwendung des Cauchyschen Integralsatzes erkennt man: \(f^{(s)}(0)=0, 0\leqq s\leqq 5q_0^2\). Die Gleichungen \(f^{(s)}(0)=0, 0\leqq s\leqq (q_0+1)^2-1\) fasse man auf als lineare homogene Gleichungen mit \((q_0+1)^2\) Unbekannten \(C_{kl}\). Die Determinante dieses Systems ist nicht Null, folglich sind alle \(C_{kl}=0\), und der Satz ist bewiesen.