Distributionentheorie

Distributionentheorie
Dieser Artikel erläutert die Distribution als verallgemeinerte Funktion; pfaffsche Systeme werden in der Differentialgeometrie (als eine Verallgemeinerung der exakten Differentialgleichung) auch als geometrische Distribution bezeichnet.

Der Begriff der Distribution ist eine Verallgemeinerung des Begriffs der Funktion. Er wurde Mitte des 20. Jahrhunderts von Laurent Schwartz geprägt, der für seine Untersuchung von Distributionen die Fields-Medaille erhielt.

Inhaltsverzeichnis

Motivation

Entwickelt wurden Distributionen, um gewisse singuläre Objekte der Physik mathematisch behandeln zu können. So ist zum Beispiel die Delta-Distribution geeignet, um Konzepte der theoretischen Physik wie etwa eine „Punktmasse“ oder eine elektromagnetische „Punktladung“ mathematisch zu beschreiben: Von der räumlichen „Dichtefunktion“ eines Massenpunktes mit Einheitsmasse wird gefordert, dass sie überall verschwindet, außer an einem Punkt. Dort muss sie unendlich werden, da das Raumintegral über die Dichtefunktion 1 ergeben soll (Einheitsmasse). Es gibt keine Funktion, die diese Eigenschaften der Dichte erfüllt; wenn man aber das Integral als Funktional auffasst, kann man die Dichte als Delta-Distribution beschreiben.

Distributionen sind heutzutage ein unentbehrliches Mittel in vielen Gebieten der Mathematik, Physik und Elektrotechnik, zum Beispiel in der Theorie der partiellen Differentialgleichungen sowie der Fourieranalyse, die wiederum eine prominente Rolle in der Quantenelektrodynamik und der Signalverarbeitung spielen.

Definitionen

Definition von Distributionen

Eine Distribution ist eine stetige und lineare Abbildung von einem Testfunktionenraum in die komplexen Zahlen (siehe Funktional). Das bedeutet, dass eine Distribution eine Abbildung ist, die jeder Testfunktion eine Zahl zuordnet. Die Menge der Distributionen mit den entsprechenden Verknüpfungen ist also der topologische Dualraum zum Testfunktionenraum.

Schreibweise für Distributionen

Nach der Definition ordnet eine Distribution jeder Testfunktion eine Zahl zu:

T: \phi \to T(\phi) =: (T,\phi)

In der letzten Gleichung ist (T,\,\phi) einfach eine Schreibweise für den Wert, den die Distribution der Testfunktion \,\phi zuordnet. Man sagt: Die Distribution \,T wird auf \, \phi angewendet.

Beispiele

  • Sei \Omega \subseteq \R und f \in C(\Omega), so ist durch T(\phi):=\int_{-\infty}^\infty f(x) \phi(x) d x für alle \phi \in C_c^\infty(\Omega) eine Distribution T \in \mathcal{D}'(\Omega) definiert.
  • Sei x_0 \in \Omega \subseteq \R^n und \alpha \in \N^n. Dann ist für alle \phi \in C_c^\infty(\Omega) die partielle Ableitung (\partial_x^\alpha \phi)(x_0) ebenfalls eine Distribution aus \mathcal{D}'(\Omega).
  • Die Delta-Distribution, auf welche auch weiter unten eingegangen wird, ist wie der Name schon sagt ebenfalls eine Distribution.
  • Der Cauchysche Hauptwert der Funktion \frac{1}{x} kann ebenfalls als Distribution T aufgefasst werden. Man setzt
\forall \phi \in C_c^\infty: \ T(\phi) := \text{PV}-\int_{-\infty}^\infty \frac{\phi(x)}{x} d x.

Testfunktionen

Es gibt mehrere Räume von Testfunktionen, wir wollen hier drei bekannte Räume beschreiben.

Wir bezeichnen mit

C_c^{\infty}(\Omega) = \{ \phi \in C^{\infty}(\Omega,\mathbb{C}) \,|\, \operatorname{supp}\,\phi \mathrm{~ist~kompakte~Teilmenge~von~} \Omega \}

die Menge aller unendlich oft differenzierbaren Funktionen, welche einen kompakten Träger haben, also außerhalb eines kompakten Bereichs gleich null sind.

Testfunktionen für allgemeine Distributionen

Für den ersten Testfunktionenraum, den man mit {\mathcal D}(\Omega) bezeichnet, benötigt man noch einen Konvergenzbegriff. Man sagt eine Folge (\phi_j)_{j\in \mathbb{N}} mit \phi_j \in C_c^\infty(\Omega) konvergiert gegen \ \phi, wenn es ein Kompaktum K \subset \Omega gibt mit \operatorname{supp}(\phi_j) \subset K für alle j und

\lim_{j \rightarrow \infty} \sup_{x\in K} \left| \frac{\partial^\alpha}{\partial x^\alpha} \left( \phi_j (x) - \phi(x) \right) \right| = 0

für alle Multiindizes \alpha \in \N^n. Der Raum C_c^\infty(\Omega) zusammen mit diesem Konvergenzbegriff ergibt einen lokal-konvexen Raum, den man mit {\mathcal D}(\Omega) bezeichnet.

Testfunktionen für Distributionen mit kompaktem Träger

Ein weiterer Testfunktionenraum ist der Raum der glatten Funktionen C^\infty(\Omega). Dieser Testfunktionenraum zusammen mit der folgenden Familie von Halbnormen und der damit induzierten Topologie wird mit \mathcal{E}(\Omega) bezeichnet. Die Familie von Halbnormen lautet

\phi \mapsto \sum_{|\alpha|\leq m} \sup_{x\in K} \left| \frac{\partial^\alpha}{\partial x^\alpha} \phi(x) \right|.

Diese induziert eine lokal-konvexe Topologie. Hierbei ist m \in \mathbb{N} und K \subset \Omega durchläuft alle Kompakta. Der Raum der Distributionen, welcher durch \mathcal{E}(\Omega) erzeugt wird, wird mit \mathcal{E}'(\Omega) bezeichnet und heißt Raum der Distributionen mit kompaktem Träger, da gilt

\mathcal{E}'(\Omega) = \{T \in \mathcal{D}': \operatorname{supp}(T) \subset \Omega, \operatorname{supp}(T) \mathrm{kompakt}\}.

Dies ist der topologische Dualraum zu \mathcal{E}(\Omega).

Raum der schnell fallenden Funktionen

Hauptartikel: Schwartz-Raum

Der dritte Testfunktionenraum, der hier beschrieben wird, sind die sogenannten schnell fallenden Funktionen. Im Unterschied zu den vorhergehenden werden diese meist dann verwendet, wenn Distributionen auf unbeschränkten Gebieten benötigt werden. Schnell fallende Funktionen sind unendlich oft differenzierbar und streben im Unendlichen so schnell gegen 0, dass sie und alle ihre Ableitungen multipliziert mit einer beliebigen Potenz immer noch gegen 0 gehen. Die Menge all dieser Testfunktionen wird als Schwartz-Raum {\mathcal S}(\R^n) bezeichnet:

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

Dieser Raum ist unter der Fourier-Transformation invariant und in allen Sobolew-Räumen enthalten. Die mit diesen Testfunktionen definierten Distributionen nennt man temperierte oder auch langsam wachsende Distributionen und schreibt {\mathcal S}'(\Omega) . (Hierbei benutzt man, dass die Eigenschaft des Langsamen Wachstums bei den Distributionen dual zum Schnell Fallend bei den Testfunktionen ist.)

Die wesentliche Eigenschaft der Schwartzfunktionen ist, dass sie Fourier-transformierbar sind und dass die Fouriertransformation ein Isomorphismus auf \mathcal{S} ist.

Regulärität und singulärer Träger

Reguläre Distributionen

Reguläre Distributionen lassen sich als Integraloperatoren Tf schreiben, was bedeutet es gibt eine Darstellung

T_f(\phi) = \int_{\R^n} f(t) \phi(t) dt

mit f\in L^1_\mathrm{loc}(\R^n) eine lokal integrierbare Funktion. Nicht alle Distributionen lassen sich auf diese Weise schreiben, weil es nicht immer eine solche Funktion f gibt. Würde man zum Beispiel die Delta-Distribution als reguläre Distribution annehmen, erhält man den Widerspruch δ = 0 (als Distribution).

In der Praxis verwendet man jedoch diese Schreibweise auch für nicht reguläre Distributionen. Jedoch muss einem dabei bewusst sein, dass dies nur eine Schreibweise ist.

Träger

Sei T \in \mathcal{D}'(\Omega) eine Distribution. Man sagt, dass ein Punkt x_0 \in \Omega zum Träger von T gehört (x_0 \in \mathrm{supp}(T)), wenn für jede offene Umgebung U \subset \Omega von x0 eine Funktion \phi \in C_c^\infty(U) existiert mit T(\phi) \neq 0.

Falls T eine reguläre Distribution ist, so ist diese Definition äquivalent zur Definition des Trägers einer Funktion.

Singulärer Träger

Sei T \in \mathcal{D}'(\Omega) eine Distribution. Man sagt, dass ein Punkt x_0 \in \Omega nicht zum singulären Träger gehört, wenn es eine offene Umgebung U \subset \Omega von x0 und eine Funktion f \in C^\infty(U) gibt mit

\,T(\phi) = \int_U f(x) \phi(x) \mathrm{D} x

für alle \phi \in C_c^\infty(U).

Es gilt also x \in \mathrm{singsupp}(T) genau dann, wenn es keine offene Umgebung U von x0 gibt, sodass die Einschränkung von T auf U gleich einer glatten Funktion ist. Insbesondere ist der singuläre Träger einer nicht regulären Distribution nicht leer.

Beispiel

Delta-Distribution

Hauptartikel: Delta-Distribution

Die Delta-Distribution δ ist eine irreguläre Distribution. Das heißt sie kann nicht durch eine gewöhnliche Funktion dargestellt werden, obwohl sie oft wie eine solche geschrieben wird. Es gilt:

\delta (\phi) := \phi (0).\;

Sprich: Die Delta-Distribution angewendet auf eine Testfunktion φ ergibt die Testfunktion ausgewertet an der Stelle 0.

Dies ist ein Spezialfall der folgenden allgemeineren Definition mit a \in \R^n:

\delta_a (\phi) :=\phi (a)\;.

Die Schreibweise „wie eine gewöhnliche Funktion“ ist δa(t) = δ(t − a).

Poisson-Gleichung

Ein prominentes Beispiel ist die formale Identität

\Delta\, \frac{1}{|r - r'|}=-4\pi\,\delta(r - r')

aus der Elektrostatik, die im Zusammenhang mit Integral

U (r):=\int \frac{\phi(r')}{|r - r'|} \mathrm {d}^3r'.

auftritt. Man kann die oben angegebene Identität benutzen, um nachzuweisen, dass U die sog. Poisson-Gleichung

Δ(r) = − 4πφ(r)

löst. Δ ist der Laplace-Operator. Bei Verwendung von Distributionen, d.h. bei Differentiation unter dem Integral, erhält man mit den Eigenschaften der unten ausführlich behandelten Delta-Distribution δ(r − r') sehr schnell eine sog. „schwache Lösung“, die dann gegebenenfalls noch „regularisiert“ werden kann (z. B.: wenn φ stetig ist, ist U zweimal stetig differenzierbar und erfüllt die Poisson-Gleichung im gewöhnlichen Sinn).

Operationen auf Distributionen

Da die drei zu Anfang behandelten Distributionenräume Vektorräume sind, sind die Addition von Distributionen und die Multiplikation einer komplexen Zahl mit einer Distribution schon definiert. Im Folgenden werden noch die Multiplikation einer Funktion mit einer Distribution die Ableitung einer Distribution und die Faltung einer Distribution mit einer glatten funktion definiert.

Multiplikation mit einer Funktion

Sei T \in \mathcal{D}'(\Omega) und a \in C^\infty(\Omega). Dann wird die Distribution a T \in \mathcal{D}'(\Omega) definiert als

(aT)(\phi) := T(a\phi): \ \forall \phi \in \mathcal{D}(\Omega) .

Differentiation

Motivation

Betrachtet man eine stetig differenzierbare Funktion f und die ihr zugeordnete reguläre Distribution Tf, so erhält man die Rechenregel

\begin{align} (T_{f^\prime},\phi) &= \int_{\Omega} f^\prime(t) \phi(t) \,\mathrm{d}t\\ &= -\int_{\Omega} f(t) \phi^\prime(t) \,\mathrm{d}t\\ &= -(T_f,\phi^\prime). \end{align}

Hierbei wurde partielle Integration verwendet, wobei die Randterme wegen der gewählten Eigenschaften der Testfunktion φ wegfallen. Dies entspricht der schwachen Ableitung. Die äußeren beiden Terme sind auch für singuläre Distributionen definiert, und man verwendet dies zur Definition der Ableitung einer beliebigen Distribution T.

Definition

Sei also T \in \mathcal{D}'(\Omega) eine Distribution und \alpha \in \N^n. Dann wird eine Distribution \partial_x^\alpha T \in \mathcal{D}'(\Omega) definiert als

(\partial_x^\alpha T)(\phi) := (-1)^{|\alpha|} T(\partial_x^\alpha \phi), \ \forall \phi \in \mathcal{D}(\Omega).

Beispiel

Die Heaviside-Funktion H : \R \rightarrow \R ist durch

H(x) = \begin{cases} 0 : & x \le 0 ,\\ 1 : & x > 0 ,\end{cases}

definiert. Sie ist mit Ausnahme von x = 0 überall differenzierbar. Man kann sie als reguläre Distribution betrachten, und die Rechnung

\begin{align} (H^\prime,\phi) &= -(H,\phi^\prime)\\ &= -\int_0^\infty 1\cdot\phi^\prime(x)\,\mathrm{d}x\\ &= \phi(0)\\ &= (\delta,\phi) \end{align}

zeigt, dass ihre Ableitung (als Distribution) die Delta-Distribution ist:

H^\prime = \delta.

Man kann außerdem die Delta-Distribution selbst noch ableiten:

\left(\delta^{(n)},\phi\right) = (-1)^n \left(\delta,\phi^{(n)}\right) = (-1)^n\phi^{(n)}(0).

Die Ableitungen der Delta-Distribution sind also ( bis auf den zusätzlichen Vorzeichenfaktor ( − 1)n ) gleich den Ableitungen der Testfunktion an der Stelle x = 0\,.

Faltung mit einer Funktion

Definition

Sei u \in \mathcal{D}'(\R^n) eine Distribution und \phi \in C^\infty_c(\R^n) eine Funktion so ist die Faltung definiert durch

(u * φ)(x) = u(φ(x − .)).

Eigenschaften

  • Falls u eine glatte Funktion ist, so stimmt die Definition mit der Faltung von Funktionen überein.
  • Das Ergebnis der Faltung ist eine glatte Funktion, also gilt
(u * \phi) \in C^\infty(\R^n).
  • Für u \in \mathcal{D}'(\R^n) und \phi, \psi \in C^\infty_c(\R^n) ist die Faltung ist assoziativ, also gilt
(u * \phi) * \psi = u * (\phi * \psi) \in C^\infty(\R^n).
  • Für jeden Multi-Index α gilt für die Ableitung der Faltung
\partial^\alpha(u * \phi) = (\partial^\alpha u) * \phi = u * (\partial^\alpha \phi).

Differentialgleichungen

Lösungen im Distributionensinne

Sei

P(x, \partial_x)u = \sum_{|\alpha| \leq m} a_\alpha \partial^\alpha_x u

ein Differentialoperator mit glatten Koeffizientenfunktionen a_\alpha \in C^\infty(G). Eine Distribution u \in \mathcal{D}'(G) heißt Distributionenlösung von P(x, \partial_x)u(x) = f(x), falls die von P(x, \partial_x)u und f erzeugten Distributionen übereinstimmen. Dies bedeutet

P(x, \partial_x) u(\phi) = f(\phi)

für alle \phi \in \mathcal{D}(G). Falls die Distribution u regulär und sogar m-mal stetig differenzierbar ist, dann ist u ein klassische Lösung der Differentialgleichung.

Fundamentallösungen

Hauptartikel: Fundamentallösung

Sei P(x, \partial_x) nun ein linearer Differentialoperator. Eine Distribution H \in \mathcal{D}'(\R^n) heißt Fundamentallösung, falls H die Differentialgleichung

P(x, \partial_x) u = \delta_0

im Distributionensinne löst.

Die Menge aller Fundamentallösungen von P(x,\partial_x) ergibt sich durch Addition einer speziellen Fundamentallösung H mit der allgemeinen homogenen Lösungen H0. Die allgemeine homogene Lösung ist die Menge der Distributionen für die P(x,\partial_x) u = 0 gilt. Nach einem Satz von Bernard Malgrange besitzt jeder lineare Differentialoperator mit konstanten Koeffizienten eine Fundamentallösung H \in \mathcal{D}'(\R^n).

Mit Hilfe dieser Fundamentallösungen erhällt man durch Faltung Lösungen entsprechender inhomogener Differentialgleichungen. Sei f eine glatte Funktion (oder allgemeiner eine Distribution mit kompaktem Träger), dann ergibt sich wegen

P(x, \partial_x) (H * f) = P(x,\partial_x)H * f = \delta_0 * f = f

eine Lösung von P(x, \partial_x) u = f in der Form

u = H * f,

wobei H \in \mathcal{D}'(\R^n) genauso wie oben eine Fundamentallösung des Differentialoperators ist.

Literatur

  • Israel Gelfand: Verallgemeinerte Funktionen (Distributionen). Bände I - III (1958 mit G.E. Schilow), IV (1960 mit N.J. Wilenkin), V (1962 mit M.I. Graev und N.J. Wilenkin), VEB Deutscher Verlag der Wissenschaften, Berlin (Ost).
  • Michael James Lighthill: An introduction to Fourier analysis and generalised functions, Cambridge University Press, Cambridge 2003, ISBN 0-521-09128-4.
  • Joseph Wloka: Grundräume und Verallgemeinerte Funktionen, Lecture Notes in Mathematics 82, Springer-Verlag 1968, ISBN 3540042504.

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Distribution (Mathematik) — Eine Distribution bezeichnet im Bereich der Mathematik eine besondere Art eines Funktionals, also ein Objekt aus der Funktionalanalysis. Die Theorie der Distributionen ermöglicht es, Ableitungen für Funktionen zu bestimmen, die im klassischen… …   Deutsch Wikipedia

  • Testfunktion — Testfunktionen sind glatte (d. h. unendlich oft differenzierbare) Funktionen mit kompaktem Träger. Sie spielen in der Funktionalanalysis eine wichtige Rolle, zum Beispiel in der Theorie der Distributionen und bei der Definition der schwachen …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Kernsatz von Schwartz — Der Kernsatz von Schwartz (oder Satz vom Kern) ist eine wichtige mathematische Aussage im Bereich der Distributionentheorie, welche ein Teilgebiet der Funktionalanalysis ist. Sie wurde von dem Mathematiker Laurent Schwartz im Jahr 1952 bewiesen.… …   Deutsch Wikipedia

  • Lokal integrierbare Funktion — Eine lokal integrierbare Funktion ist eine Funktion, die auf jedem Kompaktum integrierbar ist, jedoch muss diese Funktion auf gewissen offenen Mengen nicht integrierbar sein. Solche Funktionen werden in der Analysis beziehungsweise… …   Deutsch Wikipedia

  • Oszillierendes Integral — Ein oszillierendes Integral ist ein Objekt aus dem mathematischen Teilgebiet der Funktionalanalysis beziehungsweise aus der mikrolokalen Analysis. Es ist ein verallgemeinerter Integralbegriff, welcher insbesondere im Bereich der… …   Deutsch Wikipedia

  • Alexander Grothendieck — Alexander Grothendieck, 1970 Alexander Grothendieck (* 28. März 1928 in Berlin) ist ein deutschstämmiger französischer Mathematiker. Er ist Begründer einer eigenen Schule der algebraischen Geometrie, deren Entwicklung er in den 1960er Jahren… …   Deutsch Wikipedia

  • Alexandre Grothendieck — Alexander Grothendieck, 1970 Alexander Grothendieck (* 28. März 1928 in Berlin) ist ein deutsch französischer Mathematiker. Er ist Begründer einer eigenen Schule der algebraischen Geometrie, deren Entwicklung in den 1960er Jahren maßgeblich… …   Deutsch Wikipedia

  • Analysis — Die Analysis [aˈnalyzɪs] (gr. ανάλυσις análysis „Auflösung“, altgr. ἀναλύειν analýein „auflösen“) ist ein Teilgebiet der Mathematik, dessen Grundlagen von Gottfried Wilhelm Leibniz und Isaac Newton als Infinitesimalrechnung unabhängig voneinander …   Deutsch Wikipedia

  • Approximation der Eins — Eine Approximation der Eins ist ein Begriff aus der mathematischen Theorie der Banachalgebren. Viele für Anwendungen wichtige Banachalgebren haben kein Einselement. Eine Adjunktion eines Einselement wäre in der Regel ein unnatürliches Vorgehen.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”