Temperierte Distribution

Eine temperierte Distribution ist ein Objekt aus der Distributionentheorie, einem mathematischen Teilgebiet der Funktionalanalysis. Eine temperierte Distribution ist ein Spezialfall einer Distribution. Laurent Schwartz führte 1947 den Raum der temperierten Distributionen ein, um die Fourier-Transformation in seine Distributionentheorie integrieren zu können.

Schwartz-Raum

→ Hauptartikel: Schwartz-Raum

Um temperierte Distributionen definieren zu können, wird zuerst der Raum der schnell fallenden Funktionen erläutert. Schnell fallende Funktionen sind unendlich oft differenzierbar und streben im Unendlichen so schnell gegen null, dass sie und alle ihre Ableitungen schneller als jede Polynomfunktion fallen. Die Menge all dieser Funktionen wird auch als Schwartz-Raum ${\mathcal S}(\R^n)$ bezeichnet und ist durch

${\mathcal S}(\R^n) = \{ \phi \in C^\infty(\R^n) \,|\, \forall \alpha \in \mathbb{N}_0^n, \beta\in \mathbb{N}_0^n \;\exists C \geq 0:\; \sup_{x\in\R^n} |x^\alpha D^\beta \phi(x) | \leq C \}$

definiert. Durch die Halbnormen

$\|f\|_N = \sup_{x \in \R^n} \max_{|\alpha|,\, |\beta| < N} |x^\alpha D^\beta f(x)|$

wird der Schwartz-Raum zu einem metrisierbaren lokalkonvexem Raum. Die Besonderheit dieses Raumes ist, dass die Fourier-Transformation ein Automorphismus auf diesem ist. Außerdem ist der Raum in allen Sobolew-Räumen enthalten. Der Raum $\mathcal{D}(\R^n)$ der Testfunktionen lässt sich stetig in den Schwartz-Raum einbetten und liegt in diesem dicht.

Definition

Eine temperierte Distribution ist ein stetiges, lineares Funktional auf dem Schwartz-Raum, also eine stetige lineare Abbildung $\mathcal{S}(\R^n) \to \C$ . Da die Menge der temperierten Distributionen der Definition nach den topologischen Dualraum von $\mathcal{S}(\R^n)$ bilden, wird dieser Raum mit $\mathcal{S}'(\R^n)$ notiert. Aufgrund dieser Dualität spricht man auch von den langsam wachsenden Distributionen im Gegensatz zu den schnell fallenden Funktionen.

Beispiele

Die Klasse der Distributionen mit kompaktem Träger ist eine echte Untermenge des Raums der temperierten Distributionen. Ein Beispiel einer Distribution mit kompaktem Träger ist die Delta-Distribution.
Dirac-Kamm
Alle Distributionen, die durch eine Polynomfunktion erzeugt werden, sind temperierte Distributionen. Ist also eine Polynomfunktion, dann ist das stetige Funktional

$\phi \in \mathcal{S}(\R) \mapsto \int_{\R} P(x) \phi(x) \mathrm{d} x$

eine temperierte Distribution. Diese Distributionen sind im Gegensatz zur Delta-Distribution beziehungsweise zum Dirac-Kamm reguläre Distributionen.

Gelfandsches Raumtripel

Der Schwartz-Raum $\mathcal{S}(\R^n)$ liegt dicht im Hilbertraum ${\mathcal {H}}=L^{2}(\mathbb {R} ^{n})$ der quadratintegrierbaren Funktionen. Aus diesem Grund gilt für ihre Dualräume die Inklusion $(L^{2}(\mathbb{R} ^{n}))'\subset {\mathcal {S}}'(\mathbb{R} ^{n})$ und aus dem Satz von Riesz-Fischer folgt $L^{2}(\mathbb{R} ^{n})\cong (L^{2}(\mathbb{R} ^{n}))'.$ Dies führt insgesamt zu der Inklusion

$\mathcal{S}(\R^n) \subset L^2(\R^n) \hookrightarrow \mathcal{S}'(\R^n).$

Die stetige Einbettung $i \colon L^2(\R^n) \hookrightarrow \mathcal{S}'(\R^n)$ ist die normale Identifizierung einer Funktion mit einer Distribution. Das heißt, ist die Abbildung

$f \in L^2(\R^n) \mapsto \left(\phi \in \mathcal{S}(\R^n) \mapsto \int_{\R^n} f(x) \phi(x) \mathrm{d} x \right)$ .

Das Paar $(\mathcal{S}(\R^n), L^2(\R^n))$ ergibt ein Beispiel für einen erweiterten Hilbertraum, beziehungsweise das Tripel $\left(\mathcal{S}(\R^n), L^2(\R^n), \mathcal{S}'(\R^n)\right)$ ein Beispiel für ein Gelfandsches Raumtripel (nach Israel Gelfand). In allen drei Räumen ist die Fourier-Transformation ein Automorphismus.

Zu den Werten $\lambda \in \sigma _{c}\left(A\right)$ im kontinuierlichen Anteil des Spektrums eines Operators auf $L^{2}$ existieren, anders als zu den Eigenwerten $\lambda \in \sigma _{p}\left(A\right)$ (also den Werten des Punktspektrums), keine Eigenfunktionen in $L^{2}$ . Es können aber Distributionen $T\in {\mathcal {S}}'$ existieren, die an deren Stelle die Eigenwertgleichung $\lambda T=AT$ in ${\mathcal {S}}'$ erfüllen. In der Anwendung auf die Quantenmechanik bedeutet das, dass der Raum $\mathcal S'$ beispielsweise „Eigenfunktionen“ des Orts- oder Impulsoperators enthält (in der Standard-Darstellung sind dies δ-Funktionen bzw. ebene Wellen), die nicht in $L^{2}(\mathbb {R} ^{3})$ enthalten sind, weil das Integral über ihr Betragsquadrat divergiert.

Fourier-Transformation

Definition

Sei $u \in \mathcal{S}'(\R^n)$ eine temperierte Distribution, die Fourier-Transformierte $\mathcal{F}(u)$ ist für alle $\phi \in \mathcal{S}(\R^n)$ definiert durch

$\mathcal{F}(u)(\phi) := u(\mathcal{F}(\phi))$ .

In diesem Kontext ist die Fourier-Transformation auf Funktionen durch $\textstyle \mathcal{F}(\phi)(\xi) = \int_{\R^n} e^{-i \langle x, \xi\rangle} \phi(x) \mathrm{d} x$ definiert. Es gibt auch eine andere Konvention für die Fourier-Transformation mit dem Vorfaktor $\tfrac{1}{(2 \pi)^{n/2}}$ . Diese wird in diesem Artikel aber nicht verwendet.

Eigenschaften

Man stattet die Menge $\mathcal{S}'(\R^n)$ mit der Schwach-*-Topologie aus. Dann ist die Fourier-Transformation eine stetige, bijektive Abbildung auf $\mathcal{S}'(\R^n)$ . Das Fourier-Urbild von $\mathcal{F}(u)$ berechnet sich mit der Formel
$u(\phi)(-x) = \frac{1}{(2\pi)^n}\mathcal{F}(\mathcal{F}(u))(\phi)(x).$

Beispiel

Sei $a\in \mathbb {R} ^{n}$ und $\delta_a \in S'(\R^n)$ die Deltadistribution zum Punkt . Für die Fourier-Transformation gilt dann

$\mathcal{F}(\delta_a)(\phi) = \delta_a(\mathcal{F}(\phi)) = \mathcal{F}(\phi)(a) = \int_{\R^n} e^{-i a x} \phi(x) \mathrm{d} x$ .

Also entspricht $\mathcal{F}(\delta_a)$ der von $x \mapsto e^{-i a x}$ erzeugten Distribution. Im Fall a=0

entspricht also $\mathcal{F}(\delta_0)$ der von erzeugten Distribution. Verwendet man bei der Fourier-Transformation noch den Vorfaktor $\tfrac{1}{(2 \pi)^{n/2}}$ dann ist das Ergebnis des Beispiels die Distribution, die von $\tfrac{1}{(2 \pi)^{n/2}}$ erzeugt wird.

Sei nun $\textstyle T_1(\phi) = \int_{\R^n} 1 \cdot \phi(x) \mathrm{d} x$ die von der konstanten Eins-Funktion erzeugte Distribution. Der naheliegende Ansatz den Ausdruck $\mathcal{F}(T_1)(\phi)$ zu berechnen scheitert, da er auf ein nicht absolut konvergentes Integral führt. Zum Lösen benötigt man obiges Beispiel und einen kleinen Trick. Es gilt

$\mathcal{F}(T_1)(\phi) = \mathcal{F}(\mathcal{F}(\delta_0))(\phi) = \delta_0(\mathcal{F}(\mathcal{F}(\phi))) = (2 \pi)^{n} \delta_0(\phi)(-x) = (2 \pi)^{n} \phi(0) = (2 \pi)^{n} \delta(\phi)$ .

Fourier-Laplace-Transformation

In diesem Abschnitt wird die Fourier-Transformation nur für Distributionen mit kompaktem Träger betrachtet. Da die Fourier-Transformation in diesem Kontext besondere Eigenschaften hat, nennt man sie dann Fourier-Laplace-Transformation. Sei $u \in \mathcal{E}'(\R^n)$ also eine Distribution mit kompaktem Träger. Dann ist die Laplace-Fourier-Transformation durch

$\hat{u}(\xi) := u(e^{-i \langle \cdot, \xi \rangle})$

definiert. Dies ist wohldefiniert, denn man kann zeigen, dass ${\hat {u}}$ eine Funktion ist, welche sogar für alle $\xi \in \C$ analytisch - also ganz - ist. Außerdem stimmt diese Definition mit der obigen Definition überein, falls die Distributionen kompakten Träger haben. Welche ganzen Funktionen hier als Fourier-Laplace-Transformationen auftreten können, charakterisiert der Satz von Paley-Wiener.

Laplace-Transformation

Für temperierte Distributionen kann man ebenfalls eine Laplace-Transformation definieren. Diese sieht ähnlich aus wie die Fourier-Laplace-Transformation aus dem vorigen Abschnitt. Sei $u \in \mathcal{S}'$ eine temperierte Distribution mit Träger in $[0,\infty[$ , dann ist die Laplace-Transformation ${\mathcal {L}}$ von durch

$\mathcal{L}(u)(\xi) := u(e^{- \langle \cdot, \xi \rangle})$

definiert. Das Resultat der Transformation ist ebenfalls wieder eine holomorphe Funktion, die für $\mathfrak{Re}(\xi)>0$ definiert ist (sich aber eventuell auf eine größere Menge analytisch fortsetzen lässt). Im Gegensatz zur Fourier-Laplace-Transformation ist die Laplace-Transformation auch für temperierte Distributionen definiert, die keinen kompakten Träger haben. Dies ist möglich, da das Abklingverhalten von $e^{- \langle x, \xi \rangle}$ besser ist als das des Fourier-Kerns $e^{- i \langle x, \xi \rangle}$ .

Basierend auf einem Artikel in:

Wikipedia.de