Lexikon der Physik: Distributionen
Distributionen
Peter O. Roll, Mainz
Distributionen – verallgemeinerte Funktionen (englisch "generalized functions") – sind stetige lineare Funktionale auf geeigneten Funktionenräumen. (Für die genauen Definitionen s.u. Abschnitt "Definitionen".)
Sie stellen eine Verallgemeinerung des klassischen Funktionsbegriffs dar, bei der die übliche Zuordnung einer Funktion von Zahlen auf andere Zahlen (deren Funktionswerte), also
Funktion: Zahl
Zahl
zu einer Zuordnung
Distribution: Funktion
Zahl
erweitert wird. Die Distribution ordnet dabei der ganzen Funktion (der sogenannten "Testfunktion", siehe unten) einen Zahlwert zu.
Mit dieser abstrakten Verallgemeinerung des Funktionsbegriffs wird erreicht, daß sie eine exakte Lösung von mathematischen Problemen gestattet, welche sonst – nur mit Methoden der klassischen Analysis – nicht möglich oder formulierbar wäre. Im klassischen Funktionssinn hätten die gestellten Probleme keine Lösung. Zu solchen Situationen führen insbesondere viele physikalisch motivierte Problemstellungen, so daß sich der mathematische Aufwand, gemessen an der Relevanz für die praktische Verwertbarkeit in der Physik, durchaus lohnt. Allerdings wird häufig in physikalischen Anwendungen lediglich darauf hingewiesen, daß es sich bei den zur Lösung des gestellten Problems benötigten Objekten um Distributionen handelt, für die bestimmte Rechenregeln zu beachten sind und mit denen bestimmte Manipulationen nicht durchgeführt werden dürfen. Je nach Ziel oder persönlicher Neigung empfindet man ein solches Vorgehen als mehr oder weniger gerechtfertigt oder letztlich doch unbefriedigend.
Die wichtigsten und bekanntesten Beispiele stellen die Diracschen δ-Distributionen (δ-Funktion)
dar, mit deren Hilfe idealisierte Punktdichteverteilungen (daher ihr Name) behandelt werden können, wie z.B. Punktladungen, Punktdipole u.a., und welche immer noch häufig als Einstieg in die Theorie der Distributionen verwendet werden. Als Beispiel und zur Illustration der oben erwähnten Sachverhalte kann das Poisson-Gesetz für eine Einheits-Punktladung in der Elektrodynamik dienen, bei dem die dreidimensionale δ-Distribution
bei der Anwendung des Laplace-Operators
auf die Funktion
im ganzen Raum auftritt:
Daneben erscheinen diese Diracschen δ-Distributionen oft als "kontinuierliche" Kronecker-Symbole, z.B. in der Quantenmechanik in der Form
, oder in Vertauschungsrelationen der Form
Ein weiteres wichtiges Beispiel (und historisch vielleicht das erste) stellt die Heavisidesche Stufen- oder Sprungfunktion ς dar, deren Ableitung
gerade δ ist:
In der Theorie der Fourier-Integrale (Fourier-Analysis) lösen Distributionen das Problem, daß oftmals ganz einfache Funktionen keine Fourier-Transformierte im gewöhnlichen Funktionensinn haben, jedoch beispielsweise in der Behandlung von partiellen linearen Differentialgleichungen mit Randbedingungen alle auftretenden Funktionen als Fourier-Integral ausgedrückt werden müssen. So besitzen konstante Funktionen keine Fouriertransformierte – die Fouriertransformierte der 1 ist die Diracsche δ-Distribution; dies liefert umgekehrt eine besonders für die Physik wichtige Integraldarstellung der δ-Distribution, dazu siehe unten.
Definitionen
Für die genaue Definition benötigt man zunächst einige Begriffe. Ausgangspunkt bilden dabei besonders "gutartige" Funktionen, mit denen man die sogenannten Testfunktionenräume bildet, auf welchen die Distributionen dann als stetige lineare Funktionale definiert werden. Besonders "gut" sind beliebig oft stetig differenzierbare Funktionen
, die allerdings zusätzlich auch noch besonders "gut" integrierbar sein müssen. Dazu betrachtet man den mathematischen Abschluß der Menge
, welche Träger von ϕ heißt, geschrieben supp(ϕ) (aus dem englischen "support"). Grundlage aller folgenden Definitionen ist der lineare Raum D aller Funktionen, welche beliebig oft stetig differenzierbar sind und einen kompakten Träger besitzen (d.h. sie sind auch über beliebige Gebiete integrierbar). Die Elemente dieses Raumes heißen Testfunktionen oder Grundfunktionen. Ein Beispiel einer solchen Testfunktion ist t(x).
deren Träger die Kugel vom Radius 1 ist.
Die Menge der linearen Funktionale T, d.h. der linearen Abbildungen T:
in den Körper des Vektorraums, bildet selbst einen Vektorraum, den sog. algebraischen Dualraum von D . Um den sog. topologischen Dualraum D von D , d.h. den Raum der stetigen linearen Funktionale auf D zu konstruieren, benötigt man einen Konvergenzbegriff in D . Man sagt, daß eine Folge φn von Funktionen in D konvergiert, geschrieben
, wenn zwei Bedingungen erfüllt sind:
1. Es gibt ein Kompaktum K, so daß
und
2. für alle Multiindizes α gilt, daß alle partiellen Ableitungen
, d.h. gleichmäßig konvergieren. Dann heißt ein lineares Funktional T auf D stetig, wenn aus
in D folgt, daß auch
.
Solche stetigen linearen Funktionale T auf D heißen Distributionen. Man schreibt
und
für den Raum aller Distributionen.
Von besonderer Bedeutung für die Physik sind die δx-Distributionen, welche für alle Punkte
definiert sind durch
. Die Anwendung der δx-Distribution auf die Testfunktion liefert als Zahlenwert den Funktionswert am Punkt x (daher gibt es strenggenommen für jeden Punkt des Raumes eine δ-Distribution).
Eine wichtige Möglichkeit, stetige lineare Funktionale auf D zu konstruieren, d.h. Distributionen zu erzeugen, ergibt sich durch Integration: Jede lokal integrierbare Funktion f erzeugt eine Distribution [f] durch
.
Alle Distributionen, welche sich auf diese Art durch Integration ergeben, heißen regulär, alle Distributionen, welche nicht regulär sind, heißen singulär. Dazu gehören insbesondere die δ-Distributionen. Die in der Physik oft zu findende Schreibweise
ist rein formal zu verstehen, gemeint ist
.
Obige Gleichung kann nicht durch einen Grenzübergang mit einer Funktionenfolge realisiert werden, da dies den Lebesgueschen Grenzwertsatz verletzen würde.
Einige Rechenregeln
Ein Vorteil obiger Definition ist, daß man nun eine lineare Substitution und beliebige partielle Ableitungen von Distributionen über die jeweilige Operation der Testfunktionen definieren kann. Die folgenden Rechenregeln, welche häufig in physikalischen Anwendungen benötigt werden, lassen sich leicht für reguläre Distributionen herleiten und werden entsprechend – per definitionem – auf singuläre Distributionen übertragen.
Ist y = Ax + b eine lineare Transformation von
, wobei A eine n × n-Matrix und
ist, und ist g(x) = f(Ax + b) sowie [g] die von g erzeugte Distribution, so gilt
.
Genauso, wie man diese Formel für reguläre Distributionen mit Hilfe der Transformationsformel für mehrdimensionale Integrale im
zeigen kann, führt Produktintegration unter Ausnutzung der Tatsache, daß die Integranden wegen der kompakten Träger der Testfunktionen im Unendlichen verschwinden, auf die folgende Rechenvorschrift:
.
Distributionen besitzen also Ableitungen beliebiger Ordnung. Beispiel:
.
Damit kann man folgende Rechenregeln zeigen:
konstant,
,
wobei xi die einfachen Nullstellen der Funktion f sind.
Für die Gültigkeit der bisherigen Überlegungen ist von zentraler Bedeutung, daß die Testfunktionen im Unendlichen verschwinden. Man kann die Definitionen nun noch erweitern, indem man diese Voraussetzung etwas abschwächt und als Testfunktionen auch solche zuläßt, die für die auftretenden Integrationen im Unendlichen hinreichend schnell "abfallen". Dies führt auf einen Funktionenraum F , den sog. Schwartzschen Raum der schnell-fallenden Funktionen ("schneller als jede Potenz von 1/x fallend"). Die mathematisch genaue Definition lautet: Eine beliebig oft stetig differenzierbare Funktion φ auf dem
heißt schnell-fallend (und ist ein Element von F ), wenn zu jedem Multiindex α und zu jedem
eine Konstante c existiert, so daß
Es ist D ein Teilraum von F , genauer liegt D dicht in F . Stetige lineare Funktionale auf F heißen temperierte Distributionen. Diese benötigt man für die Fourier-Transformation: Für Funktionen
existiert die Fouriertransformierte F [f(x)](p) definiert als
.
Analog zu den obigen Definitionen wird die Fourier-Transformierte von temperierten Distributionen T über die Fourier-Transformierte der Testfunktion definiert:
.
Mit geeigneten "Fortsetzungen" für einige Distributionen aus D' in S' kann man für diese ebenfalls eine Fourier-Transformation erklären. Auf diese Weise erhält man eine wichtige Fourier-Darstellung der δ-Distribution
und für beliebige Ableitungen
der δ-Distribution gilt
Das Konzept der verallgemeinerten Funktionen als Funktionale auf Testfunktionenräumen erlaubt eine mathematisch präzise Beschreibung von Quantenfeldern. Weil diese als Funktionen eines Punktes x des Minkowski-Raumes in der Form φ(x) keine wirkliche Observable darstellen können – dies erforderte unendlich hohe Energie –, erscheint es sinnvoll, nur einen "gemittelten" Wert über eine hinreichend kleine Umgebung des Punktes als meßbare Größe zu betrachten. Man definiert daher Quantenfelder als operatorwertige Distributionen auf dem Minkowski-Raum, d.h. man verwendet in Matrixelementen der Form
das Quantenfeld φ als ein mit einer Testfunktion f "verschmiertes" Quantenfeld
. Ein anderes Beispiel für das Auftreten der Distributionen-Theorie in der Physik findet man im Rahmen der elementaren Quantenmechanik bei der Lösung der Schrödinger-Gleichung: Die zur Lösung dieser Gleichung benutzten ebenen Wellen eikx gehören gerade nicht zu den zulässigen Lösungsvektoren im HilbertRaum, nämlich den quadratintegrablen Funktionen. (Das Integral einer Funktion, die, wie z.B. eikx, auf dem ganzen Raum vom Betrag 1 ist, divergiert.) Auch diese Problematik wird mathematisch konsistent mit Hilfe von Gelfand-Tripeln, also innerhalb der Theorie der Distributionen gelöst.
Somit zeigt sich, daß nicht nur in der "klassischen" Einführung der δ-Distribution als Dichtefunktion einer Punktladung, sondern auch in der Feldtheorie oder der Quantenmechanik Distributionen vertraute physikalische Idealisierungen mathematisch exakt abbilden.
Die δ-Distribution wurde formal 1925 als Punktdichtefunktion mit geeigneten Rechenregeln, welche die Besonderheiten dieses Konstrukts berücksichtigten, von P.A.M. Dirac eingeführt. S.L. Sobolew (1908-1989) benutzte 1936 verallgemeinerte Funktionen im heutigen mathematischen Sinn zur Lösung des Cauchy-Problems für hyperbolische Differentialgleichungen. Die vollständige Theorie wurde in der zweiten Hälfte der vierziger Jahre vom französischen Mathematiker L. Schwartz (geb. 1915) entwickelt und in einer Monographie [1] niedergelegt. Eine umfassende Darstellung einschließlich der Gelfand-Tripel bieten die vier Bände von Gelfand, Schilow und Wilenkin [2], [3]. Kurze Einführungen bieten [4] und [5]. Als gutes deutsches Standardwerk kann [6] gelten; Anwendungen der Theorie der Distributionen im Bereich partieller Differentialgleichungen werden in [7] und im Bereich von Pseudodifferentialoperatoren in [8] dargestellt. [9] enthält eine kurze Darstellung der Anwendung von operatorwertigen Distributionen in der relativistischen Quantenfeldtheorie.
Literatur
[1] Schwartz, L.: Théorie des Distributions. Herman, Paris 1966.
[2] Gelfand, I.M., Schilow, G. E.: Verallgemeinerte Funktionen (Distributionen), Bd I (1960), II (1962), III (1964) VEB Berlin.
[3] Gelfand, I.M., Wilenkin, N.J.: Verallgemeinerte Funktionen (Distributionen), Bd IV (1964).
[4] Constantinescu, F.: Distributionen und ihre Anwendung in der Physik, Teubner, Stuttgart 1974.
[5] Lighthill, M J: Einführung in die Theorie der Fourier-Analysis und der verallgemeinerten Funktionen, BI, Mannheim 1966.
[6] Jantscher, L.: Distributionen, de Gruyter, Berlin 1971.
[7] Wloka, J.: Partielle Differentialgleichungen, Teubner, Stuttgart 1982.
[8] Taylor, M. E.: Pseudodifferential Operators, Princeton UP, Princeton 1981.
[9] Streater, R. F., Wightman, A. S.: PCT, Spin, Statistics, and all that, Benjamin, Cummings, Reading 1964.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.