Sur la meilleure approximation des fonctions continues dérivables sur tout l'axe réel. (Q2596151)

Unter Anwendung der Ergebnisse der vorstehend besprochenen Arbeit beweist Verf. folgende bemerkenswerte Sätze: \(f(x)\) sei eine fastperiodische Funktion, so daß \[ | f^{(p)}(x) + A_1 f^{(p-1)}(x) + \cdots + A_p| \leqq 1 \tag{1} \] ist, wo \(A_1, \dots, A_p\) reelle Konstanten sind. Für jedes \(\varepsilon > 0\) existiert dann ein verallgemeinertes trigonometrisches Polynom \[ T(x) = \sum_1^q c_\varkappa e^{i\mu_\varkappa x}, \] dessen Exponenten dem Intervall \((-N, N)\) angehören, so daß \[ |f(x) - T(x)| \leqq C_N + \varepsilon \tag{2} \] ist, wo \(C_N\) tatsächlich angebbar ist und nicht verbessert werden kann. Wenn z. B. das Polynom \[ P = x^p + A_1 x^{p-1} + \cdots + A_p \] nur ungerade Potenzen enthält, so gilt \[ C_N = \frac 2\pi \cdot \left| \sum \frac{(-1)^\varkappa} {(2\varkappa + 1) P \left((2\varkappa + 1) N i\right)} \right|. \] Ist die Funktion \(f\) beschränkt (\(-\infty < x < \infty\)) und genügt sie der Bedingung (1), so existiert in analoger Weise für jedes \(\varepsilon > 0\) eine ganze Funktion \(\varphi (z)\), so daß \[ |\varphi (z)| \leqq Me^{\sigma |z|} \qquad (\sigma<N) \] und \[ | f(x) - \varphi (x) | \leqq C_N + \varepsilon \tag{3} \] ist, wo \(M\) und \(\sigma\) zwei Konstanten bezeichnen und \(C_N\) dieselbe Größe wie in Formel (2) ist. Ferner werden die Fälle diskutiert, in denen in den Formeln (2) und (3) das \(\varepsilon\) unterdrückt werden kann. \ (IV 3 E.)