Le système orthogonal de M. Rademacher.
type: Item
instance of: scholarly article
title: Le système orthogonal de M. Rademacher.
zbMATH Open document ID: 56.0950.06
published in: Studia Mathematica
publication date: 1930-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/217255
review text: Das \textit{Rademacher}sche Orthogonalsystem ist in \(\langle0,1\rangle\) durch \[ \varphi_n(x)=\operatorname{sign\,}(\sin2^n\pi x)\qquad(n\geqq0) \] definiert. Es ist normiert, aber nicht vollständig. Es wird zunächst von den Verf. zu einem vollständigen Orthogonalsystem \(\{\psi_k(x)\}\) erweitert, und zwar durch lineare Kombination der \textit{Haar}schen Orthogonalfunktionen (1923; F. d. M. 49, 706 (JFM 49.0706.*)-707). \(f\) soil in \(\langle0,1\rangle\) zur \textit{Lebesgue}schen Klasse \(L\) gehören. Es wird ``zum Felde der \(\varphi\) gehörig'' genannt, wenn seine zu den \(\psi_k\not\equiv\varphi_n\) gehörigen \textit{Fourier}konstanten (im System der \(\psi\) verschwinden. Unter wesentlicher Anwendung eines Äquivalenzsatzes von \textit{Banach} (vgl. F. d. M. \(56_{\text{II}}\), 941-942) werden u. a. die folgenden (teilweise auf anderem Wege bekannten) Sätze hergeleitet: 1. Damit die Reihe \(\sum\limits_{n=1}^\infty c_n\varphi_n(x)\) überall in \(\langle0,1\rangle\) konvergiert, ist notwendig und hinreichend die Konvergenz von \(\sum\limits_{n=1}^\infty |c_n|\). 2. Es sei \(c_n\to 0\) und \(\sum\limits_{n=1}^\infty |c_n|\) divergent. In jedem Teilintervall von \(\langle0,1\rangle\) gibt es Mengen von der Mächtigkeit des Kontinuums, wo die Teilsummen von \(\sum\limits_{n=1}^\infty c_n\varphi_n(x)\) vorgegebene konstante obere und untere Häufungsgrenzen haben. 3. Die Reihe \(\sum\limits_{n=1}^\infty c_n\varphi_n(x)\) ist fast überall konvergent oder divergent, je nachdem \(\sum\limits_{n=1}^\infty c_n^2\) konvergiert oder divergiert. 4. Gehört \(f\) zu \(L^p\) \((p > 1)\), und sind die \(c_n\) die \textit{Fourier}koeffizienten von \(f\) im \textit{Rademacher}schen Systeme, so gilt \[ \sum\limits_{n=1}^\infty c_n^2\leqq\frac{3p-2}{2p-2} \bigg[\int\limits_0^1|f(x)|^p\,dx\bigg]^{\frac2p}. \] 5. Für die Fourierkoeffizienten einer ``zum Felde der \(\varphi\)'' gehörigen Funktion ist \(\sum\limits_{n=1}^\infty c_n^2\) konvergent (vgl. 3.). 6. Wenn \(\sum\limits_{n=1}…
zbMATH DE Number: 2566835
author: St. Kaczmarz
author: Hugo Steinhaus
MaRDI profile type: Publication
OpenAlex ID: W797053680
Wikidata QID: Q102185636
DOI: 10.4064/SM-2-1-231-247
description: scientific article; zbMATH DE number 2566835