Théorie de fermeture et le problème de représentation approchée des fonctions continues à l'aide de polynomes de Tchebychef. (Q1447141)

Es sei \(\{(\varphi_k (x)\}\) eine unendliche Folge von Funktionen, die im Intervalle \(a \leqq x \leqq b\) definiert und integrierbar sind und in bezug auf eine daselbst definierte integrierbare und nichtnegative Funktion \(p (x)\) ein orthogonales und erweitertes System bilden, d. h. den Bedingungen \[ \begin{gathered} \int\limits_a^b p(x)\varphi_k^2(x)\,dx=1,\quad (k=1,\,2,\,\ldots), \\ \int\limits_a^b p(x) \varphi_m(x) \varphi_n(x)\, dx = 0,\quad (m,\, n = 1,\, 2,\, \ldots ;\;m \neq n), \end{gathered} \] genügen. Verf. nennt \(\{\varphi_k(x)\}\) ``in bezug auf eine Funktionenfamilie abgeschlossen'', wenn für jedes Mitglied dieser Familie die Integrale \[ \int\limits_a^b p(x)f^2(x)\,dx,\quad A_k=\int\limits_a^b p(x)f(x)\varphi_k(x)\,dx,\qquad (k=1,\,2,\,\ldots), \] existieren und die Abgeschlossenheitsrelation (``équation de fermeture'') \[ \int\limits_a^b p(x)f^2(x)\,dx=\sum_{k=1}^\infty A_k^2 \tag{\text{*}} \] befriedigen. Besteht (*) für jede integrierbare Funktion \(f (x)\), so führe \(\{\varphi_k(x)\}\) den Namen ``absolut abgeschlossen''. Verf. bringt einen geistreichen (eine leicht ausfüllbare Lücke enthaltenden) Beweis für den Fundamentalsatz: ``Ist \(\{\varphi_k (x)\}\) abgeschlossen in bezug auf die Funktionenfamilie, die aus sämtlichen Polynomen in \(x\) besteht, so ist sie abgeschlossen auch in bezug auf die Gesamtheit der im betrachteten Intervalle stetigen Funktionen''. Diesen Satz mit einem früher gefundenem Ergebnisse verbindend (1911; F. d. M. 42, 433-434), formuliert Verf. als Hauptresultat des Aufsatzes über das Problem der Abgeschlossenheit: Jede in bezug auf die Polynome abgeschlossene Folge \(\{\varphi_k(x)\}\) ist notwendigerweise auch absolut abgeschlossen. Damit schließt der erste Teil, der außer den erwähnten in \S\(\,\)5 eine (unter den dort angegebenen Bedingungen noch nicht richtige) Aussage enthält über die Darstellung der stetigen Funktion \(f (x)\) durch die Summe der Entwicklung \(\sum\limits_1^\infty \varphi_k(x) {\displaystyle\int\limits_a^b} p (t) f (t) \varphi_k(t)\, dt\), falls diese Reihe für \(a \leqq x \leqq b\) gleichmäßig konvergiert. Der zweite Teil ist Untersuchungen über die Darstellung stetiger Funktionen mit Hilfe Tschebyscheffscher Polynome gewidmet. Von den hierhergehörigen Ergebnissen sind die folgenden hervorzuheben: 1. Erfüllt \(f (x)\) im Intervalle \(-1\leqq x\leqq1\) die Bedingung von Cauchy: \(| f(x_1) f(x_2)| < \lambda |x_1 - x_2|\), wenn \(- 1 \leqq x_1<x_2\leqq1\), so konvergiert ihre Entwicklung \[ \sum_{k=0}^\infty A_k T_k (x) =\sum_{k=0}^\infty T_ (x) \int\limits_{-1}^{+1} f(x) T_k (x) \frac1{\sqrt{1-x^2}}\,dx \] nach den zum Intervall \((-1,1)\) gehörigen Tschebyscheffschen Polynomen \(T_k(x)\) daselbst absolut und gleichmäßig, und es gilt \[ \left|f(x) -\sum_{k=0}^n A_kT_k(x)\right| \leqq \frac{\varepsilon_n}{\sqrt n}\,, \] wobei \(\varepsilon_n \to 0\), wenn \(n \to \infty\). 2. Es genüge \(f (x)\) für \(- 1\leqq x \leqq 1\) der Bedingung \[ f(x + h) - f(x) = h\theta(x; h);\qquad (h>0); \] hierbei bezeichne \(\theta(x;h)\) eine Funktion von beschränkter Schwankung (in \(x\)), deren totale Schwankung im Intervalle \(- 1\leqq x\leqq + 1\) (von \(h\) unabhängig) \({}\leqq\mu\) ist. Dann konvergiert die Entwicklung \(\sum\limits_0^\infty A_kT_k(x)\) von \(f(x)\) nach den Tschebyscheffschen Polynomen \(T_k (x)\) für \(- 1 \leqq x \leqq 1\) gleichmäßig, und zwar ist daselbst \[ \left|f(x)-\sum_{k=0}^n A_kT_k(x) \right| =\mu\cdot\frac{2{,}64}n\,. \] Wie Verf. kurz andeutet, ist die im Aufsatze angewendete Methode für die Lösung mancher verwandter Probleme sehr wichtig, vor allem für die Interpolation nach Tschebyscheffscher Art.