Détermination d'une série de fonctions données d'après les valeurs des extrema de ses restes successifs. (Q2590901)

\(\mathfrak M\) sei eine abgeschlossene Punktmenge der \(x\)-Achse, die den Punkt \(a\) enthält. \(\varphi _n(x)\) sei eine Folge stetiger, auf \(\mathfrak M\) definierter Funktionen, wobei für \(x\) aus \(\mathfrak M\) \[ \varphi _n(x)\leqq \varphi _n(a)=1,\;\;\varphi _n(x)\geqq \varphi _{n+1}(x)\geqq 0 \] ist. Weiter sei \(\mathfrak C\) die Klasse der Funktionen \[ f(x)=\textstyle \sum\limits_{n=1}^{\infty }b_n\varphi _n(x), \] für die \(f(a)=\sum b_n\) konvergiert (was die gleichmäßige Konvergenz der Reihe für \(x\) in \(\mathfrak M\) zur Folge hat). Wird mit \(\varepsilon _nN_n\) der größte Ausschlag (absolut genommen) des Restes \[ R_n(x)=\textstyle \kern-4pt \sum\limits_{\nu =n+1}^{\infty }\kern-2pt b_\nu \varphi _\nu (x) \] in \(\mathfrak M\) bezeichnet (\(n\geqq 0\), \(N_n\geqq 0\), \(\varepsilon _n=\pm1\)), so gilt: 1) Die Werte \(\varepsilon _nN_n\) bestimmen eine Funktion \(f(x)\) der Klasse \(\mathfrak C\) eindeutig. 2) Zu beliebigen Werten \(\varepsilon _nN_n\) mit \(N_n\geqq N_{n+1}\geqq 0\) und \(N_n\to 0\) existiert eine Funktion \(f(x)\) der Klasse \(\mathfrak C\), so daß die zu ihr gehörigen Extremwerte der Reste \(R_n(x)\) gerade gleich den vorgegebenen Werten \(\varepsilon _nN_n\) sind.