Über die angenäherte Lösung der Gleichung \[ x_1\theta_1 + \cdots + x_n\theta_n + x_0 = 0 \] in ganzen Zahlen. (Q5971715)

\(x_0\), \(x_1\), \dots, \(x_n\), \(t\) seien ganze, \(\theta_1\), \dots, \(\theta_n\) reelle Zahlen, so gelten die Aussagen: Die Ungleichungen \[ 0< \operatorname{Max}(|x_1|, \ldots,|x_n|) \leqq t, \quad \left| \sum_{i=1}^n x_i\theta_i+x_0\right| < t^{-n} \] sind für jedes \(t > 0\) lösbar, und zu jedem \(n > 0\) gibt es ein \(\gamma > 0\) und \(n\) Zahlen \(\theta_1\), \dots, \(\theta_n\) so daß aus \[ 0< \operatorname{Max}(|x_1|, \ldots,|x_n|) \leqq t \quad \text{folgt:} \quad \left|\sum_{i=1}^n x_i\theta_i + x_0\right| > \gamma t^{-n}. \] Hierbei ist mindestens eine der Zahlen \(x_1\), \dots, \(x_n\) von Null verschieden. Verf. legt sich nun die Frage vor: Wie lauten die entsprechenden Aussagen, wenn verlangt wird, daß mindestens \(k\) (\(1 < k \leqq n\)) der Zahlen \(x_1\), \dots, \(x_n\) von Null verschieden sind? Dabei seien \(\theta_1\), \dots, \(\theta_n\) derart, daß aus \(x_1\theta_1+ \cdots + x_n\theta_n + x_0=0\) folgt \(x_0 =x_1= \cdots = x_n= 0\). Sind mindestens \(k\) der Zahlen \(x_1\), \dots, \(x_n\) von Null verschieden, so werde das System \(x_1\), \dots, \(x_n\) ein \(k\)-System genannt. Die Ergebnisse sind: 1) \(\theta_1\), \dots, \(\theta_n\) gegeben, so gibt es für \(t > 0\) ein \(k\)-System mit \[ \operatorname{Max}(|x_1|, \ldots, |x_n|) \leqq t, \quad \sum_{i=1}^n x_i\theta_i + x_0 = o\left(\frac 1{t^{n-k+1}}\right). \] 2) Für \(\tau> 0\) sei \(\varphi(\tau)\) positiv wachsend mit \(\varphi(\tau) \to \infty\) für \(\tau \to \infty\). Es gibt ein System \(\theta_1\), \dots, \(\theta_n\) und eine wachsende Folge \(t_1\), \(t_2\), \dots mit der Eigenschaft: Kein \(k\)-System \(x_0\), \(x_1\), \dots, \(x_n\) löst die Ungleichungen \[ \operatorname{Max}(|x_1|, \ldots, |x_n|) \leqq t_l, \quad \left|\sum_{i=1}^n x_i\theta_i + x_0\right| < \frac 1{t_l^{n-k+1}\varphi(t_l)}. \] 3) \(a(k,n)= (k+ 2)(k+1)^{n-k+2}\); es gibt eine wachsende Folge \(t_1\), \(t_2\), \dots, so daß zu jedem \(l\) ein \(k\)-System \(x_0\), \(x_1\), \dots, \(x_n\) gehört mit \[ \operatorname{Max}(|x_1|, \ldots, |x_n|)\leqq t_l, \quad \left|\sum_{i=1}^n x_i\theta_i+ x_0\right| < \frac{a(k,n)}{t_l^{n-k+2}}. \] 4) \(2 < k \leqq n\); \(b = b(k,n) =(n-k+3)(k-1)+ 3\); es gibt ein \(\theta_1\), \dots, \(\theta_n\) und ein \(t_0 > 0\) derart, daß für \(t > t_0\) und das \(k\)-System \(x_0\), \dots, \(x_n\) mit \[ \operatorname{Max}(|x_1|, \ldots, |x_n|) \leqq t \] die Ungleichung \[ \left|\sum_{i=1}^n x_i\theta_i+x_0\right| > \frac 1{t^{n-k+2}\log ^bt} \] gilt. Die Beweise hierzu sind elementar.