On the closure of certain assemblages of trigonometrical functions. (Q1447110)

Der Verf. beweist folgenden Satz: Die Folge \(0 < \lambda_1 < \lambda_2 < \lambda_3 \ldots \) habe die Eigenschaften: (1) \(\lambda_{k+1}-\lambda_k \geqq A\). (2) Das System \(\cos \lambda_nx\) ist im Intervall \(0\leqq x \leqq \pi\) abgeschlossen. (3) Es gibt eine nur von \(\{\lambda_k\}\) abhängige Konstante \(C\), so daß bei beliebiger Wahl der \(a_k\), \(P(x)= \sum\limits_{k=1}^n a_k \cos \lambda_kx\) gesetzt, stets \(\sum\limits_1^n a_k^2\leqq C\int\limits_0^\pi P(x)^2dx\) gilt. Dann ist für jede Folge \(\mu_n\), für die \[ |\lambda_k-\mu_k| \leqq D< \sqrt{\frac{2A}{3C\pi^2}+\left(A+\frac 12\right)^2}A-\frac 12, \;\;(k=1,2,3, \ldots) \tag{1} \] gilt, das System \(\cos \mu_nx\) im Intervall \(0\leqq x \leqq \pi\) abgeschlossen. Der Beweis beruht darauf, daß für eine quadratisch integrierbare Funktion \(\varphi\) aus \(\int\limits_0^\pi \left\{\varphi-\sum\limits_1^n a_k \cos \lambda_kx\right\}^2 dx < \varepsilon\) auf Grund von (1) für große \(n\) zunächst \[ \int_0^\pi\left\{\varphi-\sum\limits_1^n a_k \cos \mu_kx\right\}^2 dx \leqq \vartheta \int_0^\pi \varphi(x)^2\,dx \quad\quad\quad\quad (0 < \vartheta < 1) \] gefolgert werden kann. Wendet man diese Schlußweise jetzt auf die Funktion \(\varphi -\sum\limits_1^n a_k\cos \mu_kx\) an und fährt so fort, dann erhält man schließlich ein Polynom in den Funktionen \(\cos \mu_kx\), für welches \[ \int_0^\pi (\varphi(x)-P_n(x))^2\,dx \leqq \vartheta^n\int_0^\pi \varphi(x)^2 dx \] ist, woraus die Behauptung folgt. Beispiel: Für \hfill \(\nu < \sqrt{\dfrac 1{3\pi^2}+\dfrac 94}\, -\dfrac 32\) \hfill {} \noindent ist \(\cos \nu x\), \(\cos (1+ \nu)x\), \(\cos (2 + \nu)x\), \dots abgeschlossen.