Sur quelques applications du calcul fonctionnel à la théorie de séries orthogonales. (Q1439439)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sur quelques applications du calcul fonctionnel à la théorie de séries orthogonales. |
scientific article |
Statements
Sur quelques applications du calcul fonctionnel à la théorie de séries orthogonales. (English)
0 references
1929
0 references
Verallgemeinerung der Resultate von \textit{Banach} (C. R. 180 (1925) 1637-1640; F. d. M. 51, 226 (JFM 51.0226.*)). I. \(\{ \varphi_n \}\) und \(\{\overline{\varphi}_n\}\) seien Folgen von normierten, stetigen Orthogonalfunktionen, \(\{\overline{\varphi}_n\}\) sei vollständig im Raum der stetigen Funktionen. Wenn die Zahlenfolge \(\{\lambda_k \}\) die \textit{Fourier}entwicklung jeder stetigen Funktion nach den \(\varphi\): \( \sum\limits_{k=1}^\infty \xi_k \varphi_k (\tau)\) in eine \textit{Fourier}entwicklung einer stetigen Funktion nach den \(\overline{ \varphi }\) transformiert: \(\sum\limits_{k=1}^\infty \lambda_k \xi_k \overline{\varphi}_k (\tau)\), so zieht die gleichmäßige Konvergenz der Reihe \(\sum\limits_{k=1}^\infty \alpha_k \varphi_k (\tau)\) die der Reihe \(\sum\limits_{k=1}^\infty \lambda_k \alpha_k \overline{\varphi}_k (\tau)\), nach sich. II. Wenn die Voraussetzungen von \(I\) erfüllt sind, so ist mit der Polynomreihe in \(\varphi\) \[ (\alpha_1\varphi_{n_1} + \cdots + \alpha_j\varphi_{n_j}) + (\beta_1\varphi_{p_1} + \cdots + \beta_k\varphi_{p_k}) + \cdots \] auch die transformierte Reihe \[ (\lambda_{n_1} \alpha_1\overline{\varphi}_{n_1} + \cdots + \lambda_{n_j}\alpha_j\overline{\varphi}_{n_j}) + (\lambda_{p_1}\beta_1\overline{\varphi}_{p_1} + \cdots + \lambda_{p_k}\beta_k\overline{\varphi}_{p_k}) + \cdots \] gleichmäßig konvergent. III. Wenn die Folge \(\{\varphi_n \}\) im Raum der stetigen Funktionen abgeschlossen ist (d. h. wenn jede stetige Funktion durch die \(\varphi\) gleichmäßig approximiert werden kann), so gilt die Umkehrung von II: Wenn die \(\lambda_k\) jede gleichmäßig konvergente Reihe in eine ebensolche transformieren, so haben sie die in I vorausgesetzte Eigenschaft. IV. Für die Behauptung von II ist notwendig und hinreichend die Existenz eines von \(j, \xi_1, \dots, \xi_j\) unabhängigen \(M\) mit der Eigenschaft: \[ \underset {0 \leqq \tau \leqq 1} {\text{Max}} \left| \sum_{k=1}^j \lambda_k \xi_k \overline{\varphi}_k (\tau ) \right| \leqq M\cdot \underset {0 \leqq \tau \leqq 1} {\text{Max}} \left| \sum_{k=1}^j \xi_k \varphi_k (\tau) \right| . \] V. Die Existenz eines solchen M ist notwendig und hinreichend dafür, daß die \(\lambda_n\) die in I ausgesprochene Eigenschaft haben ; dabei wird \(\{\varphi_n\}\) als abgeschlossen, \(\{\overline{ \varphi}_n\}\) als vollständig vorausgesetzt. Diese Sätze lassen sich vom Raum der stetigen Funktionen übertragen auf den der Funktionen, für die das \textit{Lebesgue}sche Integral \(\int\limits_0^1 |f(\tau )|^{1+p}\) endlich ist. (IV 7.)
0 references