Ensembles exceptionnels. (Q2587012)

Verf. nennt ``ensemble exceptionnel'' \(E_{f}\) einer summierbaren Funktion \(f(x)\) die Menge der \(x\), für die die symmetrische Ableitung des Integrals von \(f(x)\) \[ \lim_{h\to 0}\frac{1}{2h}\kern-3pt \int\limits_{x-h}^{x+h}\kern-5pt f(x)\,dx \] \textit{nicht} existiert oder endlich ist. Nach dem Satz von Lebesgue besitzt \(E_{f}\) das lineare Maß Null, darüber hinaus weiß man im allgemeinen Falle nichts. Durch Spezialisierung der Funktionenklasse \(f(x)\) können aber weitere interessante metrische Eigenschaften der Menge \(E_{f}\) abgeleitet werden. Verf. untersucht die Klasse der quadratisch summierbaren Funktionen \(f(\theta )\) mit der Periode \(2\pi \), für die das Integral \[ S(f)=\frac{1}{2\pi ^2}\int\limits_{0}^{\infty }\int\limits_{0}^{2\pi }\frac{|\,f(\theta +t)-f(\theta -t)\,|^2}{t^2}\,dt\,d\theta \] endlich ist, und zeigt, daß in diesem Falle \(E_{f}\) identisch ist mit der Menge, auf der die Fouriersche Reihe von \(f(\theta )\) divergent ist, und daß diese Menge, auf dem Einheitskreis betrachtet, von der äußeren Kapazität Null ist. Ein wichtiges Hilfsmittel beim Beweis dieses Satzes ist die folgende Tatsache: Sei \(u(r, \theta )\) das logarithmische Potential einer Belegung \(\mu \) von der Gesamtmasse eins auf dem Rande des Einheitskreises, dann ist \(S(u)\) gleich der doppelten potentiellen Energie von \(\mu \) und ist folglich immer beschränkt, wenn das Potential beschränkt ist. Verf. macht interessante funktionentheoretische Anwendungen seiner Resultate. Er beweist unter anderem die folgende Verallgemeinerung des Satzes von Fatou: Sei \(f(z)\) eine meromorphe Funktion im Einheitskreis, die eine Abbildung dieses Kreises auf eine Riemannsche Fläche von \textit{endlichem} sphärischem Inhalt vermittelt, dann existiert der radiale Grenzwert \(\displaystyle \lim_{r\to 1}f(re^{i\theta })\) überall auf dem Rande des Kreises höchstens mit Ausnahme einer Menge der äußeren Kapazität Null.