Über Fouriersche Reihen beschränkter summierbarer Funktionen und ein neues Extremumproblem I. (Q2617124)

Die im Intervall \(<a,b>\) summierbare Funktion \(f(x)\) soll von berschränkter Abweichung sein, d. h. es soll ein \(L\) geben, so daß fast überall in \(<a,b>\) \(|f(x)|\leq L\) ist. Die kleinste solche Zahl \(L=L(f)\) heißt die Abweichung von \(f\). Es handelt sich im wesentlichen um zwei Aufgaben, die mit dem trigonometrischen Momentenproblem \[ c_k=a_k-ib_k=\frac 1\pi \int _0^{2\pi }e^{-ik\varphi }f(\varphi )\,d\varphi \quad (k\geq 0) \] zusammenhängen. Gegeben sind die ersten \(n\) Zahlen \(c_k\) \((0\leq k\leq n-1)\). 1. Wann gibt es eine zugehörige Funktion \(f\) mit \(L(f)\leq \Lambda \)? 2. Welches ist die untere Grenze \(L_0=L_0(c_0,c_1,c_2,\dots,c_{n-1})\) aller möglichen \(L(f)\), und welches sind die zugehörigen Extremalfunktionen? Das obige Momentenproblem führt nach \textit{Herglotz} bekanntlich auf die \textit{Carathéodory-Toeplitz}sche Theorie der Funktionen positiven Realteils. Daher können auch diese Fragen im Rahmen der genannten Theorie vollständig beantwortet werden. (\textit{Carathéodory-Fejér}, 1911; F. d. M. 42, 430 (JFM 42.0430.*). \textit{Fejér}, 1926; F. d. M. 52, 310 (JFM 52.0310.*).) Es ergibt sich z. B. \[ L_0(0,0,\dots,0,c_n)=\frac \pi 4|c_n|. \] Dies ist also die kleinste Abweichung die bei gegebenem \(c_n\) für den \(n\)-ten Rest der \textit{Fourier}reihe von \(f\) möglich ist (IV 4.)