Harmonische Analyse

Die (abstrakte) harmonische Analyse oder (abstrakte) harmonische Analysis ist die Theorie der lokalkompakten Gruppen und ihrer Darstellungen. Der Name rührt daher, dass es auf beliebigen lokalkompakten Gruppen ein zum Lebesgue-Maß auf den reellen Zahlen analoges Maß gibt, das sogenannte Haar-Maß. Bezüglich dieses Maßes lässt sich – je nach zusätzlichen Eigenschaften der Gruppe, insbesondere bei kommutativen Gruppen – die Theorie der Fourier-Analysis übertragen. Das führt zu wichtigen Erkenntnissen über lokalkompakte Gruppen. Dieser Artikel legt den Schwerpunkt auf die Darstellung der Verallgemeinerungen der klassischen Situation in den reellen Zahlen.

Lokalkompakte Gruppen

Eine lokalkompakte Gruppe ist eine topologische Gruppe, die eine lokalkompakte Topologie trägt. Beispiel dafür sind:

Die reellen Zahlen $\mathbb {R}$ mit der Addition als Gruppenverknüpfung bilden mit dem Lebesgue-Maß als Haar-Maß den Prototyp der Theorie.
Der ${\mathbb {R} }^{n}$ mit der Addition und dem n-dimensionalen Lebesgue-Maß ist eine einfache Verallgemeinerung des ersten Beispiels.
Jede Gruppe mit der diskreten Topologie ist lokalkompakt. Das Haar-Maß ist das Zählmaß.
Die Kreislinie ${\mathbb {T} }=\{z\in {\mathbb {C} };|z|=1\}$ ist mit der Multiplikation als Gruppenverknüpfung eine kompakte Gruppe. Das Haar'sche Maß ist das Bildmaß der Abbildung $[0,1]\rightarrow {\mathbb {T} },\,x\mapsto e^{2\pi ix}$ , wobei auf [0,1] das Lebesgue-Maß gegeben ist. Diese Gruppe spielt im weiteren Verlauf eine wichtige Rolle.
Die Gruppe $\mathrm {GL} (n,{\mathbb {R} })$ der invertierbaren $n\times n$ -Matrizen mit der Matrizenmultiplikation ist ein Beispiel für eine nicht-kommutative lokalkompakte Gruppe. Die Angabe des Haar-Maßes verlangt fortgeschrittene Integrationskenntnisse. Ist $\lambda$ das Lebesgue-Maß auf dem ${\mathbb {R} }^{n^{2}}$ , so ist durch $\textstyle \mu (A)=\int _{A}{\frac {1}{|\det(X)|^{n}}}d\lambda (X)$ ein Haar-Maß gegeben. Im allgemeinen nicht-kommutativen Fall muss man zwischen Links- und Rechts-Haarmaß unterscheiden, in diesem Beispiel ist das noch nicht erforderlich.

Die Banachalgebra L¹(G)

Ist $\lambda$ das Haar-Maß auf der lokalkompakten abelschen Gruppe G, so kann man bzgl. dieses Maßes den Raum L¹(G) bilden. Es ist der Banachraum der komplexwertigen L¹-Funktionen, wobei fast überall übereinstimmende Funktionen in üblicher Weise identifiziert werden. Wie im Falle der reellen Zahlen definiert die Faltung

f*g(x):=\int _{G}f(y)g(x-y)d\lambda (y),\,\,f,g\in L^{1}(G)

eine Multiplikation, die $L^{1}(G)$ zu einer kommutativen Banachalgebra macht. Dabei wurde die Verknüpfung auf G additiv geschrieben, $x-y=x+(-y)$ ist in G zu berechnen! Durch die Formel

f^{*}(x)\,=\,{\overline {f(-x)}}

wird eine isometrische Involution auf der Banachalgebra definiert. Mit ähnlichen Formeln kann man auch im nicht-kommutativen Fall eine Banachalgebra $L^{1}(G)$ definieren; das ist im Artikel Gruppen-C*-Algebra ausgeführt.

Wie bei der Gruppenalgebra der algebraischen Darstellungstheorie von Gruppen, lassen sich Darstellungen auf lokalkompakten Gruppen auf natürliche Weise in Algebrendarstellungen von $L^{1}(G)$ übersetzen und umgekehrt. Dieser Übergang ist auch wesentlich für die Definition der Fouriertransformation.

Abelsche Gruppen

Dualgruppe

Sei $G$ eine abelsche lokalkompakte Gruppe. Ein stetiger Gruppenhomomorphismus $\chi \colon G\rightarrow \mathbb {T}$ heißt ein Charakter von $G$ . Die Menge aller Charaktere wird mit ${\widehat {G}}$ bezeichnet. Mit der Multiplikation $(\chi \cdot \psi )(a):=\chi (a)\psi (a)$ wird ${\widehat {G}}$ zu einer Gruppe. Mit der Topologie der kompakten Konvergenz wird ${\widehat {G}}$ sogar zu einer lokalkompakten abelschen Gruppe, die man daher auch als Dualgruppe von $G$ bezeichnet. Wir betrachten einige Beispiele:

Jeder Charakter $\chi \colon \mathbb {R} \rightarrow \mathbb {T}$ hat die Gestalt $\chi _{z}(x)=e^{ixz}$ für ein $z\in \mathbb {R}$ . Identifiziert man $\chi _{z}$ mit $z$ , so hat man also ${\widehat {\mathbb {R} }}\cong {\mathbb {R} }$ , zumindest als Mengen. Man kann zeigen, dass diese Identifizierung auch im Sinne lokalkompakter Gruppen in Ordnung geht.
Jeder Charakter $\chi \colon \mathbb {Z} \rightarrow \mathbb {T}$ ist von der Form $\chi _{z}(n)=z^{n}$ für ein $z\in \mathbb {T}$ . In diesem Sinne hat man also ${\widehat {\mathbb {Z} }}\cong \mathbb {T}$ .
Die Charaktere $\chi \colon \mathbb {T} \rightarrow \mathbb {T}$ sind $\chi _{n}(z)=z^{n}$ für $n\in \mathbb {Z}$ , was zur Dualität ${\widehat {\mathbb {T} }}\cong \mathbb {Z}$ führt.

Das letzte Beispiel verhält sich ‚invers‘ zum vorangegangenen. Das ist kein Zufall, denn es gilt der folgende Dualitätssatz von Pontrjagin.

Dualitätsatz von Pontrjagin

Ist $G$ eine lokalkompakte abelsche Gruppe, so ist ${\widehat {\widehat {G}}}\cong G$ .

Dieser Satz rechtfertigt den Begriff Dualgruppe, denn man kann aus der Dualgruppe die Ausgangsgruppe wieder zurückgewinnen.

Die Fourier-Transformation

Ist $G$ eine lokalkompakte abelsche Gruppe mit Haar-Maß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda} und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\in L^1(G)} , so heißt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{f}\colon \widehat{G}\rightarrow {\mathbb C},\,\,\widehat{f}(\chi) = \int_G f(x) \overline{\chi(x)}\;d\lambda(x) }

die Fourier-Transformierte von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} . Im Falle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G = \mathbb{R}} erhält man wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{\mathbb R} \cong \mathbb{R}} die klassische Fourier-Transformation. Viele Eigenschaften der klassischen Fourier-Transformation bleiben im abstrakten Fall erhalten. So ist z. B. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{f}} stets eine stetige Funktion auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{G}} , die im Unendlichen verschwindet. Die Fourier-Transformation ist ein injektiver Homomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(G)\rightarrow C_0(\widehat{G})} .

Die Sichtweise des Physikers auf die klassische Fourier-Transformation ist die, dass eine ‚beliebige‘ Funktion als Summe (=Integral) von harmonischen Schwingungen dargestellt werden kann, denn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_z(x) = e^{2\pi i x z}} löst die ungedämpfte Schwingungsgleichung. Diese Sichtweise bleibt auch im abstrakten Rahmen erhalten, die harmonischen Schwingungen müssen – zumindest im abelschen Fall – lediglich durch Charaktere ersetzt werden. Aus diesem Grunde spricht man von abstrakter harmonischer Analyse.

Fourier-Umkehrformel

Auch die Fourier-Umkehrformel bleibt in diesem abstrakten Rahmen erhalten. Ist G unsere lokalkompakte Gruppe mit Dualgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{G}} , und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{\lambda}} Haar-Maß auf der Dualgruppe, so setze man für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\in L^1(\widehat{G})}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \check{g}\colon G\rightarrow {\mathbb C},\,\,\check{g}(x) = \int_{\widehat{G}} g(\chi)\chi(x)\;d\widehat{\lambda}(\chi) } .

Ist dann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\in L^1(G)} derart, dass die Fourier-Transformation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{f}} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(\widehat{G})} ist, so erhält man mittels dieser Umkehrformel aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{f}} wieder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} zurück, zumindest bis auf einen konstanten Faktor. Dieser konstante Faktor rührt daher, dass das Haar-Maß nur bis auf einen konstanten Faktor eindeutig ist. Selbst im prototypischen Fall der reellen Zahlen tritt der bekannte Faktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\pi} auf, wenn man auf der Gruppe und der Dualgruppe das Lebesgue-Maß verwendet.

Fourierreihen

Eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} auf der Kreisgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{T}} kann auf naheliegende Weise als eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\pi} -periodische Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}} aufgefasst werden, man setze dazu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)=F(e^{ix})} . Da Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{\mathbb T} \cong \mathbb{Z}} , ist die Fourier-Transformation von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} eine Funktion auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Z}} :

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{F}(n) = \frac{1}{2\pi}\int_{\mathbb T}F(z)z^{-n}d\lambda(z) = \frac{1}{2\pi} \int_0^{2\pi}f(x)e^{-inx}dx }

Wir sehen hier die Fourier-Koeffizienten von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} . Die Fourier-Umkehrformel führt dann zur bekannten Fourierreihe. Die abstrakte harmonische Analyse liefert also den Rahmen für eine gemeinsame theoretische Betrachtung sowohl der klassischen Fourier-Transformation als auch der Fourierreihen-Entwicklung.

Gelfand-Darstellung

Sei G wieder eine lokalkompakte abelsche Gruppe mit Haar-Maß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda} . Die Fourier-Transformation kann auch auf folgende Weise interpretiert werden. Jeder Charakter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi\in \widehat{G}} definiert durch die Formel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi_\chi(f) := \int_G f(x) \overline{\chi(x)}\;d\lambda(x) }

ein stetiges, lineares, multiplikatives Funktional Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi_\chi} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(G)} . Die Fourier-Transformation erweist sich damit als die Gelfand-Transformation der kommutativen Banachalgebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(G)} .

Nicht-abelsche Gruppen

Für nicht-abelsche Gruppen reicht es nicht mehr, Charaktere der Gruppe zu betrachten, stattdessen betrachtet man unitäre Darstellungen auf Hilberträumen. Sei also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} eine lokalkompakte topologische Gruppe. Eine unitäre Darstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} auf einem Hilbertraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_\pi} ist nun ein stetiger Gruppenhomomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi\colon G\to U(H_\pi)} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U(H_\pi)} die unitäre Gruppe bezeichne, ausgestattet mit der schwachen Operatortopologie, die in diesem Fall mit der starken Operatortopologie übereinstimmt. Existiert nun ein Unterhilbertraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_\pi} , sodass für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\in G} noch immer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(g)(V)\subseteq V} , so lässt sich die Darstellung auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U(V)} einschränken, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} heißt invarianter Teilraum der Darstellung. Eine Darstellung für die keine nicht-trivialer invarianter Teilraum existiert, heißt irreduzibel. Man wählt nun ein Vertretersystem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} der irreduziblen Darstellungen einer Gruppe bezüglich unitärer Äquivalenz. Im abelschen Fall entspricht dieses gerade den Charakteren. Da sich jede solche Darstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} auf gewisse kanonische Weise zu einer Algebrendarstellung auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(G)} fortsetzen lässt, indem man

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(f)=\int_G \pi(x)f(x) \mathrm{d}x}

in einem geeigneten Sinne von Integration setzt, lässt sich für ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\in L^1(G)} die Familie

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{f}=(\pi(f))_{\pi\in\hat{G}}}

definieren, welche Fouriertransformation genannt wird.

Weitergehende Sätze der harmonischen Analyse befassen sich nun damit, wie und wann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} sowie der Raum der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{f}} mit geeigneten Strukturen ausgestattet werden können, die von der Fouriertransformation erhalten werden (ähnlich der Aussage der Plancherelformel), wodurch sich die Fouriertransformation umkehren lässt. Ein derartiges Ergebnis für alle lokalkompakten topologischen Gruppen konnte dabei jedoch nicht erlangt werden.

Kompakte Gruppen

Eine weitreichende Verallgemeinerung der Fouriertransformation auf kompakten Gruppen liefert der Satz von Peter-Weyl. Dieser Satz ist besonders elementar, da die Struktur von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} in einem gewissen Sinne „diskret“ (im abelschen kompakten Fall tatsächlich als topologischer Raum diskret) ist und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{f}} einfach als orthogonale Summe von Matrizen aufgefasst werden kann.

Plancherel-Maß für unimodulare Gruppen

In dem Fall, dass die Gruppe unimodular und zweitabzählbar ist und eine gewisse darstellungstheoretische Eigenschaft aufweist (Typ-1-Gruppe, d. h. die Gruppen-C*-Algebra ist postliminal), lässt sich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} mit dem Plancherel-Maß ausstatten, bezüglich dieses Maßes lässt sich ein direktes Integral der jeweiligen Räume von Hilbert-Schmidt-Operatoren bilden, als Elemente dieses Raumes können dann die Fouriertransformierten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{f}} aufgefasst und rücktransformiert werden.^[1]

Bezüglich des Plancherel-Maßes können Mengen einzelner Punkte positives Maß besitzen, diese bilden die sogenannte diskrete Serie, irreduzible Teildarstellungen der regulären Darstellung der Gruppe. Dies ist etwa bei kompakten Gruppen der Fall, wodurch sich wiederum der Satz von Peter-Weyl ergibt.

Nicht-unimodulare Gruppen

Auf nicht-unimodulare Gruppen ist die Rücktransformation auf dieselbe Weise nicht mehr möglich. Abhilfe schaffen hier in einigen Fällen spezielle semi-invariante Operatoren, das sind bestimmte, im Allgemeinen nur dicht definierte und unbeschränkte, positive, selbstadjungierte abgeschlossene Operatoren, mit denen die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(f)} auf solche Weise skaliert werden, dass sich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} wiederum mit dem Plancherel-Maß ausstatten lässt, die Fouriertransformierten eine Hilbertraumstruktur erhalten und eine Rücktransformation möglich wird.^[2] Diese semi-invarianten Operatoren ersetzen die (äquivarianten) Konstanten, die im unimodularen Fall zur Skalierung notwendig sind, und werden Duflo-Moore-Operatoren oder formal degree operators genannt.

Literatur

Hewitt-Ross: Abstract Harmonic Analysis, Springer Verlag, Bd. 1, 1963, ISBN 0-387-94190-8, 2. Auflage 1979, Bd. 2 1970, ISBN 3-540-58318-1
Lynn H. Loomis: An Introduction to Abstract Harmonic Analysis, D. van Nostrand Co, 1953
Walter Rudin: Fourier Analysis on Groups, Wiley-Interscience, 1962, ISBN 0-471-52364-X

Siehe auch

C*-dynamisches System
Gruppen-C*-Algebra (nicht-kommutative Gruppen)
Fastperiodische Funktion
Satz von Kolmogorow-Riesz (Kompaktheitskriterien in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(G)} -Räumen)
Mittelbare Gruppe
Satz von Plancherel (Isometrien zwischen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} -Räumen)
Modulationsraum

Einzelnachweise

↑ A. A. Kirillow: Representation Theory and Noncommutative Harmonic Analysis I. Hrsg.: Alexander Alexandrowitsch Kirillow. Springer, 1994, ISBN 3-540-18698-0, S. 113.
↑ Ronald L. Lipsman: Type I criteria and the Plancherel formula for Lie groups with co-compact radical. In: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 4e série. Band 9, Nr. 2, 1982, S. 263–285 (online [PDF; 1,9 MB]).

[1] A. A. Kirillow: Representation Theory and Noncommutative Harmonic Analysis I. Hrsg.: Alexander Alexandrowitsch Kirillow. Springer, 1994, ISBN 3-540-18698-0, S. 113.

[2] Ronald L. Lipsman: Type I criteria and the Plancherel formula for Lie groups with co-compact radical. In: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 4e série. Band 9, Nr. 2, 1982, S. 263–285 (online [PDF; 1,9 MB]).

[1]

[2]

Anonym

Suche

Harmonische Analyse

Namensräume

Mehr

Seitenaktionen

Inhaltsverzeichnis

Lokalkompakte Gruppen

Die Banachalgebra L¹(G)