Asymmetric minima of quadratic forms and asymmetric Diophantine approximation (Q2653579)

Es sei \(f(x, y)\) eine indefinite, quadratische Form mit der Diskriminante \(1\) und ohne rationale Wurzeln. \(P\) sei die Menge der positiven Zahlen und \(N\) die Menge der negativen Zahlen, die von \(f(x, y)\) für ganze Zahlen \(x, y\) dargestellt werden. Es sei \(1/p = \inf P\) und \(-1/n = \sup N\). Für ein gegebenes ganzes \(k\) sei \(A = \max (p, kn)\). Für \(k = 1\) (symmetrischer Fall) sind die Werte \(A\) durch die Markoff-Ketten bekannt \((\sqrt 5, \sqrt 8,\ldots\) mit dem Grenzwert \(3\)). Für beliebiges ganzes \(k\) ist der kleinste Wert von \(A\) gleich \(A_1 = \sqrt{k^2 + 4k}\). Das nächste Minimum ist \[ A_2 = [k^2 + k + (3k - 1) (k^2 + 4k)^{1/2}] \,[2(2k - 1)]^{-1}\quad\text{für }k\ge 2. \] \(A_2\) ist Häufungspunkt von oben. Daher gibt es kein nächstes Minimum. Der Nachweis erfolgt mit Kettenbrüchen. Dabei ergibt sich auch der einfache Zusammenhang mit der asymmetrischen Approximation von Irrationalzahlen durch rationale Zahlen.