Fastperiodische Funktion

mathematische Funktion

Fastperiodische Funktionen werden im mathematischen Teilgebiet der harmonischen Analyse betrachtet. Es handelt sich dabei um auf Gruppen definierte Funktionen, die bis auf eine kleine Abweichung periodisch sind. Sie wurden 1924/1925 von Harald Bohr eingeführt[1] und erwiesen sich als wichtiges Werkzeug zur Untersuchung der Darstellungstheorie von Gruppen, insbesondere ihrer endlichdimensionalen Darstellungen. Letzteres wurde mit einer leicht abgeänderten Definition von Hermann Weyl ausgeführt, eine weitere Variante geht auf John von Neumann zurück.

Fastperiodische Funktionen nach Bohr

Bearbeiten

Bohr verallgemeinerte den Begriff der auf der Menge   der reellen Zahlen definierten periodischen Funktion. Zur Erinnerung heißt eine Funktion   periodisch mit Periode  , falls   für alle  , wie es von den Funktionen Sinus und Kosinus bekannt ist. Eine solche Zahl   nennt man eine Periode. Offenbar sind auch ganzzahlige Vielfache solcher Perioden wieder Perioden. Daher gibt es in jedem abgeschlossenen Intervall   der Länge   eine solche Periode.

Eine stetige Funktion   heißt fastperiodisch (nach Bohr), falls es zu jedem   eine Zahl   gibt, so dass in jedem Intervall   der Länge   eine Zahl   enthalten ist, so dass[2]

  für alle reellen Zahlen  .

Nach obiger Ausführung ist jede stetige, periodische Funktion offenbar fastperiodisch. Im Weiteren nennt man solche Funktionen präziser fastperiodisch nach Bohr, um sie von den nachfolgenden Varianten zu unterscheiden.

Fastperiodische Funktionen nach Weyl

Bearbeiten

Die hier vorgestellte Variante geht auf Hermann Weyl zurück. Die Definition hat einen etwas komplizierteren Aufbau, lässt sich aber für beliebige Gruppen formulieren.

Definition

Bearbeiten

Eine auf einer Gruppe   definierte Funktion   heißt fastperiodisch, wenn es zu jedem   endlich viele paarweise disjunkte Mengen   gibt mit[3]

  und
  für alle  .

Diese Abschätzung gilt also, wenn nur   und   aus demselben Teil   der Gruppe stammen.

Bei dieser Definition ist auch im Falle   nicht klar, dass periodische Funktionen fastperiodisch sind, und für unstetige Funktionen ist das sogar falsch. Die Beziehung zu Bohrs Definition, die sich ausdrücklich auf stetige Funktionen bezieht, sieht so aus: Auf der Gruppe   stimmen die fastperiodischen Funktionen nach Bohr mit den stetigen, fastperiodischen Funktionen überein, insbesondere sind stetige, periodische Funktionen fastperiodisch.

Vielfache, komplex Konjugierte, Summen und Produkte von fastperiodischen Funktionen sind wieder fastperiodisch, ebenso gleichmäßige Grenzwerte von Folgen fastperiodischer Funktionen. Die Menge   der fastperiodischen Funktionen bildet also eine abgeschlossene Funktionenalgebra, sogar eine C*-Algebra.

Mittelwerte

Bearbeiten

In der Darstellungstheorie endlicher Gruppen   bildet man zu Funktionen   gemittelte Summen  . Für unendliche Gruppen kann man derartige Mittelwerte noch für fastperiodische Funktionen erhalten, es gilt der

Mittelwertsatz[4]: Zu jeder fastperiodischen Funktion   existiert eine eindeutig bestimmte Zahl  , der sogenannte Mittelwert von  , so dass es zu jedem   endlich viele   gibt mit

  für alle  .

Der Beweis verwendet eine geschickte Auswahl von Unterteilungen der Gruppe, wie sie in obiger Definition der Fastperiodizität vorkamen; bei diesem mehr oder weniger kombinatorischen Vorgehen kommt der Heiratssatz zum Einsatz.

Der Mittelwert ist linear und monoton und es ist  , wobei mit   die konstante Funktion mit Wert 1 auf   bezeichnet sei. Man kann den Mittelwert daher wie ein Integral verwenden. Sind etwa   zwei fastperiodische Funktionen, so ist durch

 

ein Skalarprodukt definiert, das   zu einem Prähilbertraum macht.

Hauptsatz über fastperiodische Funktionen

Bearbeiten

Die Gruppe   operiert auf   durch die Formel

 ,

das heißt   wird zu einem  -Modul, der bzgl. der gleichmäßigen Konvergenz abgeschlossen ist. Ein Untermodul heißt invariant, wenn er unter der Gruppenoperation abgeschlossen ist, er heißt abgeschlossen, wenn er bzgl. der gleichmäßigen Konvergenz abgeschlossen ist, und er heißt irreduzibel, wenn er außer dem Nullmodul und sich selbst keine weiteren invarianten Untermoduln enthält. Indem man die oben eingeführte Prähilbertraumstruktur verwendet, kann man den sogenannten Hauptsatz über fastperiodische Funktionen zeigen:

Jeder abgeschlossene, invariante Untermodul von   ist gleichmäßiger Abschluss einer Vektorraumsumme endlichdimensionaler, invarianter, irreduzibler Untermoduln.

Damit beherrscht man die Darstellungstheorie, wenn   nur ausreichend reichhaltig ist. In Extremfällen kann   allerdings aus nur den konstanten Funktionen bestehen, dann ist der Hauptsatz trivial. Ist   eine kompakte Gruppe, so kann man zeigen, dass jede stetige Funktion   fastperiodisch ist, was dann zur bekannten Darstellungstheorie kompakter Gruppen führt, insbesondere ist der Fall endlicher Gruppen enthalten.

Fastperiodische Funktionen nach von Neumann

Bearbeiten

J. von Neumann hat unter Verwendung des Haarschen Maßes, das den bisher beschriebenen Entwicklungen noch nicht zur Verfügung stand, einen anderen Zugang gefunden, der insbesondere das Wesen obigen Mittelwertes klärt.[5]

Ist   eine Abbildung auf einer Gruppe und ist  , so seien die Funktionen   und   durch die Formeln   definiert. Eine beschränkte Funktion   ist nun genau dann fastperiodisch, wenn die Mengen   und   im metrischen Raum der beschränkten Funktionen   mit der mittels der Supremumsnorm definierten Metrik totalbeschränkt sind.[6]

Diese Bedingung ist von Neumanns Definition. Mit diesem Ansatz konnte von Neumann unter anderem zeigen, dass jede kompakte Gruppe, die als topologischer Raum eine (endlichdimensionale) topologische Mannigfaltigkeit ist, eine Liegruppe ist, was das fünfte Hilbertsche Problem für kompakte Gruppen löste.[7]

Der Mittelwert, der die oben beschriebene Theorie erst ermöglichte, ergibt sich hier wie folgt. Zunächst zeigt man, dass es zu jeder topologischen Gruppe   eine kompakte Gruppe   und einen stetigen Gruppenhomomorphismus   mit folgender universeller Eigenschaft gibt: Zu jedem stetigen Gruppenhomorphismus   in eine kompakte Gruppe   gibt es genau einen stetigen Gruppenhomorphismus  , so dass  . Eine solche kompakte Gruppe   ist bis auf Isomorphie eindeutig bestimmt und heißt die zu   assoziierte kompakte Gruppe[8] oder die Bohr-Kompaktifizierung von  . Ferner kann man zeigen, dass eine beschränkte Funktion   genau dann fastperiodisch ist, wenn es eine Funktion   mit   gibt.[9] Mit diesen Begriffen gilt für eine fastperiodische Funktion  :

Die abgeschlossene, konvexe Hülle aller Funktionen   enthält genau eine konstante Funktion, und diese hat den Wert  . Ist   das auf 1 normierte Haarsche Maß, so gilt  .

Damit ergibt sich der Mittelwert hier auf ganz natürliche Weise. Die weitere oben angedeutete Theorie kann nun auf diesem Mittelwert aufgebaut werden.

Ein noch abstrakterer Zugang findet sich in [10]. Die Menge der beschränkten fastperiodischen Funktionen   auf einer Gruppe   bildet eine kommutative C*-Algebra mit Einselement, diese ist nach dem Satz von Gelfand-Neumark isometrisch isomorph zu einer Algebra   stetiger Funktionen auf einem kompakten Raum  , der mit dem Raum aller Homomorphismen der kommutativen C*-Algebra nach   identifiziert werden kann (siehe Gelfand-Transformation). Da die Punktauswertungen   für jedes   ein solcher Homomorphismus   ist, erhält man eine Abbildung  . Von dieser kann man zeigen, dass sie stetig ist und dass sich die Gruppenoperation von   auf   fortsetzt. Damit ist die zu   assoziierte Gruppe (s. o.) konstruiert.[11]

Für eine lokalkompakte, abelsche Gruppe   kann die assoziierte, kompakte Gruppe wie folgt konstruiert werden. Sei   die Dualgruppe,   sei dieselbe Gruppe, aber versehen mit der diskreten Topologie, so dass die Abbildung   stetig ist. Wendet man darauf die Pontrjagin-Dualität an, erhält man eine stetige Abbildung  . Nach dem Dualitätssatz von Pontrjagin ist die linke Seite isomorph zu   und die rechte Seite als Dualgruppe einer diskreten Gruppe kompakt. Die assoziierte, kompakte Gruppe ergibt sich also erneut auf ganz natürlich Weise.

Weitere Begriffe fastperiodischer Funktionen

Bearbeiten

Die definierende Bedingung in Bohrs Definition der fastperiodischen Funktion kann als

 

geschrieben werden, wobei   durch   definiert sei. Indem man die Norm   durch andere Abstandsbegriffe ersetzt, kommt man zu anderen Definitionen. Dies ist von einigen Autoren umgesetzt worden, die damit insbesondere eine Verallgemeinerung auf unstetige Funktionen verfolgten.

W. W. Stepanow verwendete den Abstandsbegriff

 ,

wobei   und  .[12] H. Weyl verwendete diesen Abstandsbegriff für den Grenzfall  .[13] Schließlich soll noch der Ansatz von A. S. Besikowitsch erwähnt werden, er legte den Abstandsbegriff

 

zu Grunde.[14]

Einzelnachweise

Bearbeiten
  1. H. Bohr: Zur Theorie der fastperiodischen Funktionen, Acta math. Band 45 (1924), Seiten 29–127, Band 46, Seiten 101–214
  2. W. Maak: Fastperiodische Funktionen, Grundlehren der mathematischen Wissenschaften, Band 61 (1967), Kapitel IV, §24
  3. W. Maak: Fastperiodische Funktionen, Grundlehren der mathematischen Wissenschaften, Band 61 (1967), Kapitel II, §7
  4. W. Maak: Fastperiodische Funktionen, Grundlehren der mathematischen Wissenschaften, Band 61 (1967), Kapitel II, §9
  5. J. v. Neumann: Almost periodic functions in a group I, Transactions Amer. Math. Soc., Band 36 (1934), Seiten 445–492
  6. W. Maak: Fastperiodische Funktionen, Grundlehren der mathematischen Wissenschaften, Band 61 (1967), Kapitel VI, § 35, Satz 3
  7. W. Maak: Fastperiodische Funktionen, Grundlehren der mathematischen Wissenschaften, Band 61 (1967), Kapitel VI, § 37: Zu Hilberts V. Problem
  8. J. Dixmier: C*-algebras and their representations, North-Holland Publishing Company (1977), ISBN 0-7204-0762-1, Theorem 16.1.1
  9. J. Dixmier: C*-algebras and their representations, North-Holland Publishing Company (1977), ISBN 0-7204-0762-1, Theorem 16.2.1
  10. L. Loomis: Abstract Harmonic Analysis, Van Nostrand 1953, Kapitel VIII: Compact Groups and Almost Periodic Functions
  11. L. Loomis: Abstract Harmonic Analysis, Van Nostrand 1953, Kapitel VIII, Abschnitt 41E
  12. V. V. Stepanov: Sur quelques généralisations des fonctions presque périodiques, C.R. Acad. Sci. Paris, Band 181 (1925), Seiten 90–92
  13. H. Weyl: Integralgleichungen und fastperiodische Funktionen, Math. Annalen, Band 97 (1927), Seiten 338–356
  14. A.S. Besicovitch: Almost periodic functions, Cambridge Univ. Press (1932)