Kernsatz von Schwartz

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 Cc 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 L2-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(ϕ) 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.

Literatur

  • Lars Hörmander: The Analysis of Linear Partial Differential Operators. Band 1: Distribution Theory and Fourier Analysis. Second Edition. Springer-Verlag, Berlin u. a. 1990, ISBN 3-540-52345-6 (Grundlehren der mathematischen Wissenschaften 256).

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • Schwartz — Relative Häufigkeit des Familiennamens Schwartz in Deutschland (Stand: Mai 2010) Schwartz ist ein Familienname. Er ist eine Nebenform von Schwarz. Inhaltsverzeichnis A B C …   Deutsch Wikipedia

  • Laurent Schwartz — (1970) Laurent Schwartz (* 5. März 1915 in Paris; † 4. Juli 2002 ebenda) war ein französischer Mathematiker und Fields Medaillen Träger. Er gilt als Begründer der Theorie der Distributionen. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Integraloperator — Ein linearer Integraloperator ist ein mathematisches Objekt aus der Funktionalanalysis. Dieses Objekt ist ein linearer Operator, der mit einer bestimmten Integralschreibweise mit einem Integralkern dargestellt werden kann. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • 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

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Tierschutz — „Schützt die Tiere!“ Die Sonderbriefmarke der Deutschen Bundespost von 1981 zeigt ein Bläßhuhn Küken Als Tierschutz werden alle Aktivitäten des Menschen bezeichnet, die darauf abzielen, Tieren individuell ein artgerechtes Leben ohne Zufügung von… …   Deutsch Wikipedia

Share the article and excerpts

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