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. Diese Aussage wird jedoch nicht auf Grund ihrer Wichtigkeit Kernsatz genannt, sondern weil es sich um eine Aussage über Integralkerne handelt. Diese hier behandelten Integralkerne werden Schwartz-Kerne genannt.

Einleitung

Mit jeder Funktion K \in C(X_1 \times X_2) kann man einen Integraloperator A : C_c(X_2) \to C(X_1) durch

A(\phi)(x_1) = \int_{X_2} K(x_1,x_2)\phi(x_2)\mathrm{d} x_2

definieren. Das Symbol C_{c} bezeichnet die stetigen Funktionen mit kompaktem Träger. Außerdem gilt die Identität

\langle A(\phi) , \psi\rangle = K(\psi \otimes \phi)

für alle \psi \in C_c^\infty(X_1) und \phi \in C_c^\infty(X_2), wobei K(\psi \otimes \phi) hier als L^{2}-Skalarprodukt zu verstehen und das Tensorprodukt zweier Funktionen durch

(\psi \otimes \phi)(x_1,x_2) := \psi(x_1) \phi(x_2).

definiert ist. Im Folgenden soll diese Idee auf die Distributionentheorie erweitert werden. Sei dazu also K \in \mathcal{D}'(X_1 \times X_2) und \phi \in C_c^\infty(X_2). Außerdem darf A(\phi) wieder eine Distribution sein.

Kernsatz von Schwartz

Jede Distribution K \in \mathcal{D}'(X_1 \times X_2) definiert eine lineare Abbildung A : C_c^\infty(X_2) \to \mathcal{D}'(X_1), welche der Identität

\langle A(\phi) , \psi\rangle = K(\psi \otimes \phi)

genügt und bezüglich der schwach-*-Topologie stetig ist. Das heißt, falls \phi_j \to 0 ein Nullfolge ist, so ist auch A(\phi_j) \to 0 eine Nullfolge in \mathcal{D}'(X_1).

Umgekehrt gibt es zu jeder linearen Abbildung A : C_c^\infty(X_2) \to \mathcal{D}'(X_1) genau eine Distribution K, so dass \langle A (\phi) , \psi\rangle = K(\psi \otimes \phi) gilt.

Diese Distribution K heißt Schwartz-Kern.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 20.11. 2020