Satz von Kolmogorow-Riesz

Der Satz von Kolmogorow-Riesz (nach Andrei Nikolajewitsch Kolmogorow und Marcel Riesz) ist ein Lehrsatz aus dem mathematischen Teilgebiet der Funktionalanalysis, der ein Kompaktheitskriterium für Teilmengen von L^p-Räumen darstellt. Dieser Satz wird, je nach Verallgemeinerungsgrad, auch Satz von M. Riesz, Satz von Kolmogorow-Fréchet-Riesz oder Satz von Kolmogorow-Riesz-Weil genannt, womit auch Beiträge der Mathematiker Maurice René Fréchet und André Weil gewürdigt werden, auch die Namen Jakob Davidowitsch Tamarkin und A. N. Tulajkov werden von einigen Autoren erwähnt, wobei Letzterer den Sonderfall p = 1 behandelt hatte^[1]. Derartige Kompaktheitskriterien haben viele Anwendungen, insbesondere in der Theorie der partiellen Differentialgleichungen.

Der Folgenraum l^p

Die Situation für die Folgenräume $\ell^p$ stellt sich besonders einfach dar, der folgende Satz wurde 1908 für p = 2 von Fréchet bewiesen ^[2], ^[3]:

Eine Teilmenge $M\subset \ell^p$ ($1 \le p < \infty$) ist genau dann präkompakt, wenn die folgenden beiden Bedingungen erfüllt sind:

• $\sup_{x\in M}|x_k| < \infty\,\,\forall k\in \N$. Dabei ist x_k die k-te Komponente von x.
• $\sup_{x\in M}\sum_{k=n}^\infty|x_k|^p\,\xrightarrow[n\to\infty]{} \,0$.

Funktionenräume L^p

Aufwändiger sind Kompaktheitskriteríen für L^p-Räume über nicht-diskreten Grundmengen. Mittels Zurückführung auf den Satz von Arzelà-Ascoli kann man zeigen ^[4]:

Satz von Kolmogorow-Riesz: Eine Teilmenge $M\subset L^p([0,1])$ ($1 \le p < \infty$) ist genau dann präkompakt, wenn

• M ist beschränkt bezüglich der Norm $\|\cdot\|_p$,
• $\sup_{f\in M} \int_0^1|f(t+h)-f(t)|^p {\mathrm d} t \xrightarrow[h\to 0]{} \,0$.

Dabei ist f(t): = 0 für t außerhalb des Einheitsintervalls, um in obiger Formel f(t + h) bilden zu können. Ein analoger Satz gilt natürlich für L^p[a,b] für beliebige $a,b\in R, a<b$.

Eine Ausdehnung dieses Satzes auf unbeschränkte Gebiete erfordert eine zusätzliche Bedingung ^[5]:

Satz von M. Riesz: Eine Teilmenge $M\subset L^p(\R^n)$ ($1 \le p < \infty$) ist genau dann präkompakt, wenn

• M ist beschränkt bezüglich der Norm $\|\cdot\|_p$,
• $\sup_{f\in M} \int_{\R^n}|f(t+h)-f(t)|^p \mathrm d t \,\xrightarrow[h\to 0]{} \, 0$,
• $\sup_{f\in M} \int_{\R^n\setminus B_r(0)} |f(t)|^p \mathrm d t \,\xrightarrow[r \nearrow \infty]{} \, 0$.

Dabei steht B_r(0) für die Kugel um 0 mit Radius r.

Lokalkompakte abelsche Gruppen

Der Satz von M. Riesz lässt sich nicht auf L^p-Räume über beliebigen Maßräumen verallgemeinern, da in der zweiten Bedingung des Kompaktheitskriteriums von der Addition und damit von der Gruppenstruktur des $\R^n$ Gebrauch gemacht wird. Sei nun G eine lokalkompakte abelsche Gruppe und μ sei ein Haarsches Maß auf G. Ist Y ein Banachraum, so kann man wie oben den Raum L^p(G,Y) aller messbaren Funktionen $f:G\rightarrow Y$ mit $\int_G\|f(t)\|^p \, \mathrm d \mu(t) < \infty$. Die Norm $\|f\|_p := \left( \int_G\|f(t)\|^p \, \mathrm d \mu(t) \right)^{\frac{1}{p}}$ macht L^p(G,Y) zu einem Banachraum. Dies verallgemeinert offenbar die oben betrachteten $L^p(\R^n,Y)$-Räume. Statt der Kugeln um 0 betrachten wir hier ein bzgl. der Vereinigung gerichtetes Netz $\mathcal C$ kompakter Mengen in G, so dass jede kompakte Menge aus G in einer Menge aus $\mathcal C$ enthalten ist.

Nicolae Dinculeanu hat folgende Verallgemeinerung obigen Kompaktheitskriteriums bewiesen^[6]:

Satz: Eine Teilmenge $M\subset L^p(G,Y)$ ($1 \le p < \infty$, G lokalkompakte abelsche Gruppe, Y Banachraum) ist genau dann präkompakt, wenn

• Für alle messbaren Teilmengen $A\subset G$ mit $\mu(A) < \infty$ ist $\{\int_Af(t) d \mu(t); f\in M\}\subset Y$ präkompakt,
• $\sup_{f\in M} \int_G\|f(t+h)-f(t)\|^p\, \mathrm d \mu(t) \,\xrightarrow[h\to 0]{} \, 0$,
• $\sup_{f\in M} \int_{G\setminus C} \|f(t)\|^p \, \mathrm d \mu(t) \,\xrightarrow[C\in {\mathcal C}]{} \, 0$.

Diese Version wurde für den Fall $Y=\R$, also für skalarwertige Funktionen, von M. Riesz bewiesen. Eine auf Kolmogorow und J. D. Tamarkin zurückgehende Version, die eine Approximation der Eins verwendet, wurde ebenfalls von N. Dinculeanu auf den Banachraum-wertigen Fall verallgemeinert. Für die folgende Darstellung dieses Ergebnisses sei $\mathcal V$ eine Nullumbegungsbasis aus relativ kompakten, offenen Mengen in G. Zu jedem $V\in {\mathcal V}$ wähle eine Funktion $u_V:G\rightarrow \R_0^+$, die beschränkt, messbar uns symmetrisch (d.h. $u_V(t)=u_V(-t)\,\forall t\in G$) ist mit Träger in $\overline{V}$ und $\int_{G}^{} u_V(t) \mathrm d \mu(t) = 1$. Man kann zum Beispiel $u_V = \frac{1}{2\mu(V)}(\chi_V+\chi_ {-V})$ wählen, wobei χ_V die charakteristische Funktion von V sei. Für $f\in L^p(G,Y)$ und $t\in G$ sei die Faltung $u_v\star f(t):= \int_G u_V(s)f(t-s) \mathrm d \mu(s)$ definiert. Dann ist $u_V\in L^p(G,Y)$, $u_V\star f\in L^p(G,Y)$ und $\|u_V\star f - f\|_p \,\xrightarrow[V\in {\mathcal V}]{} \, 0$; das heißt, das Netz $(u_V)_{V\in {\mathcal V}}$ ist in diesem Sinne eine Approximation der Eins. Es gilt folgender

Satz: Eine Teilmenge $M\subset L^p(G,Y)$ ($1 \le p < \infty$, G lokalkompakte abelsche Gruppe, Y Banachraum) ist genau dann präkompakt, wenn

• Für alle messbaren Teilmengen $A\subset G$ mit $\mu(A) < \infty$ ist $K(A):=\{\int_Af(t) d \mu(t); f\in M\}$ präkompakt,
• $\sup_{f\in M} \int_G\|(u_V\star f)(t)-f(t)\|^p \,\mathrm d \mu(t) \,\xrightarrow[V\in {\mathcal V}]{} \, 0$,
• $\sup_{f\in M} \int_{G\setminus C} \|f(t)\|^p\, \mathrm d \mu(t) \,\xrightarrow[C\in {\mathcal C}]{} \, 0$.

In den früheren Fassungen für $G=\R$ und $Y=\R$ wurden die Netze $u_n = \frac{1}{2n}\chi_{[-n,n]}$ und C_n = [ − n,n] verwendet. Wendet man diesen Satz auf die lokalkompakte abelsche Gruppe $G=\Z$ an, so ist die erste Bedingung äquivalent zu $\sup_{x\in M}|x_k| < \infty\,\,\forall k\in \N$, denn jede Menge endlichen Maßes ist endlich; die zweite Bedingung ist leer, wenn man das Netz u_V = u_{0} wählt, und die letzte Bedingung wird zu $\sup_{x\in M}\sum_{|k|>n} |x_k|^p\,\xrightarrow[n \to\infty]{}\, 0$, wenn man $C_n=\{-n,\ldots, n\}$ setzt. Mit einer geeigneten Isomorphie zwischen $\ell^p$ und $L^p(\Z)$ erhält man genau den eingangs zitierten Satz über $\ell^p$-Räume.

Weitere Verallgemeinerungen

Weitere Verallgemeinerungen auf nicht-kommutative lokalkompakte Gruppen wurden von Josh Isralowitz^[7] gefunden. Eine Ausweitung von Kompaktheitskriterien dieses Typs auf andere über lokalkompakten Gruppen definierte Funktionenräume findet sich bei Hans G. Feichtinger^[8]

Einzelnachweise

1. ↑ H. Hanche-Olsen, Helge Holden: The Kolmogorov–Riesz Compactness Theorem, 4. A Bit of History
2. ↑ M. Fréchet: Essai de geometrie analytique, Nouv. ann. Math. 4 (1908) 97–116, 289–317.
3. ↑ Joseph Wloka: Funktionalanalysis und Anwendungen, §22, Satz1
4. ↑ Jürgen Appell, Martin Väth: Elemente der Funktionalanalysis. Vektorräume, Operatoren und Fixpunktsätze, Satz 3.2
5. ↑ Joseph Wloka: Funktionalanalysis und Anwendungen, §22, Satz 3
6. ↑ N. Dinculeanu: On Kolmogorov-Tamarkin and M. Riesz Compactness Criteria in Function Spaces Over a Locally Compact Group, J. Math. Anal. Appl. 87 (1982), Seiten 67-85
7. ↑ Josh Isralowitz: A characterization of norm compactness in the Bochner space L^p(G;B) for an arbitrary locally compact group, J. Math. Anal. Appl. 323,2 (2005), Seiten 1007-1017
8. ↑ Hans G. Feichtinger: Compactness in Translation Invariant Banach Spaces of Distributions and Compact Multipliers, Journal of Mathematical Analysis and Applications (1984), Band 102, Seiten 289-327, Theorem 2.2

Quellen

• Hans Wilhelm Alt: Lineare Funktionalanalysis, Springer-Verlag (2006) ISBN 3-540-34186-2
• Jürgen Appell, Martin Väth: Elemente der Funktionalanalysis. Vektorräume, Operatoren und Fixpunktsätze, Vieweg+Teubner (2005), ISBN 3-528-03222-7
• N. Dinculeanu: On Kolmogorov-Tamarkin and M. Riesz Compactness Criteria in Function Spaces Over a Locally Compact Group, J. Math. Anal. Appl. 87 (1982), Seiten 67-85
• Hans G. Feichtinger: Compactness in Translation Invariant Banach Spaces of Distributions and Compact Multipliers, Journa l of Mathematical Analysis and Applications (1984), Band 102, Seiten 289-327. (auch online verfügbar)
• H. Hanche-Olsen, Helge Holden: The Kolmogorov–Riesz Compactness Theorem
• A. N. Kolmogorow: Über die Kompaktheit der Funktionenmengen bei der Konvergenz im Mittel, Nachr. Akad. Wiss. Göttingen Math. Phys. Kl. II (1931), Seiten 60-63
• J. D. Tamarkin: On the compactness of the space L, Bull. Amer. Math. Soc. Band 38 (1932) Seiten 79-84
• A. N. Tulajkow: Zur Kompaktheit im Raum L^p für p=1, Göttinger. Nachrichten (1933) , Seiten 167-170
• Joseph Wloka: Funktionalanalysis und Anwendungen, ISBN 3-110-01989-2