Rational and algebraic approximations of algebraic numbers and their application (Q1387492)

Mit \(D,x_0,y_0\in\mathbb N\) werde \(u:= x_0+y_0\sqrt{-D}\), \(\overline u:= x_0-y_0\sqrt{-D}\), \(\varepsilon:= | u| +x_0\), \(\overline\varepsilon:= | u| -x_0\), \(w:= \overline u/u\) gesetzt und \(\varphi\in ] -\pi,0[\) bezeichne den Hauptwert von arg\( w\). Mit teilerfremden \(m,n\in\mathbb N\), die \(m < n\) genügen, werde \(v: = m/n\) sowie \(\mu_n:= n\cdot\Pi p^{1/(p-1)}\) definiert, wobei das Produkt über alle \(n\) teilenden Primzahlen \(p\) erstreckt sei; es gelte \(2\overline\varepsilon \mu_n < 1\) und \(\lambda:= (\log 2\varepsilon\mu_n)| \log 2\overline\varepsilon\mu_n| \). Schließlich seien \(a, b, a_1, b_1\) ganze Zahlen des imaginär-quadratischen Zahlkörpers \({\mathbb Q}(\sqrt{-D})\), die \(ab_1\not= a_1b\) und \(a_1w^v+b_1\not= 0\) genügen. Dann wird mittels der Thue-Siegelschen Methode der hypergeometrischen Funktionen für die algebraische Zahl \(\Theta:= (aw^v+b)/(a_1w^v+b_1)\) folgendes effektive ``Irrationalitäts''maß bewiesen: Ist \(f:= 2(| a| +| a_1\Theta| +| a_1|)v(1-v^2)| \varphi| \), so gilt für alle ganzen Zahlen \(p,q\in{\mathbb Q}(\sqrt{-D})\) mit \(| q| > f^{-1}\) die Ungleichung \[ | q\Theta-p| \geq C| q| ^{-\lambda}\text{ mit }C:= (1+\cos(\varphi/2))/(4(| a_1| +| b_1|) \cdot(2\varepsilon\mu_n)^2f^\lambda). \] Daraus wird für \(D\in{\mathbb N}\), \(D\) kein Quadrat, folgendes Korollar abgeleitet. Ist die Gleichung \(x^2-Dy^2 = -1\) lösbar und \((x_0,y_0)\in{\mathbb N}^2\) ihre Fundamentallösung, so gilt: (i) Die Gleichung \((\ast)\;x^2+1=Dy^4\) ist dann und nur dann lösbar, wenn \(y_0\) ein Quadrat ist. (ii) Ist \(x_0+y_0\sqrt{D} > 64\), so hat \((\ast)\) höchstens eine Lösung \((x,y)\in{\mathbb N}^2\).