Benutzer:Sabata/Testfunktion

Der Begriff der Testfunktionen ist nicht eindeutig definiert. So werden reellwertige Funktionen, die beliebig oft differenzierbar sind und deren Träger kompakt in der Definitionsmenge liegen als Testfunktionen bezeichnet. Die Kompaktheit der Träger wird nicht immer gefordert, manchmal werden auch weniger glatte Funktionen Testfunktionen genannt. In der Theorie der Distributionen werden schnell fallende Funktionen als Testfunktionen benutzt.

Definition

Für ein Gebiet $\Omega \subset \mathbb {R} ^{n}$ und eine Funktion $\varphi :\Omega \rightarrow \mathbb {R}$ bezeichnet $\operatorname {supp} \,\varphi$ den Träger von $\varphi$. Ist $\varphi$ beliebig oft differenzierbar - kurz $\varphi \in C^{\infty }(\Omega )$ - und ist der Träger von $\varphi$ kompakt mit $\operatorname {supp} \,\varphi \subset \Omega$, so wird $\varphi$ Testfunktion genannt. Die Menge aller Testfunktionen auf $\Omega$ wird mit $C_{c}^{\infty }(\Omega )$ oder auch $C_{0}^{\infty }(\Omega )$ bezeichnet. $C_{c}^{\infty }(\Omega )$ ist ein Vektorraum.

Anwendungen

Schwache Lösung

In der Theorie der partiellen Differentialgleichungen werden Testfunktionen benutzt, um den Begriff der schwachen Lösung zu definieren.

Beispiel: Betrachtet man die eindimensionale Poisson-Gleichung auf $[0,1]$

${\begin{array}{rcll}u''&=&f&\quad \mathrm {in} \ (0,1)\\u(0)&=&0&\\u(1)&=&0\end{array}}$

für $u\in C^{2}(0,1)$ und $f\in C(0,1)$. Eine Funktion $v\in C^{1}(0,1)$, die für alle $\varphi \in C_{c}^{\infty }(0,1)$ die Gleichung

$\int _{0}^{1}v'\varphi '-f\varphi \mathrm {d} \lambda =0$

erfüllt, wird schwache Lösung der Poisson-Gleichung genannt. Mit Hilfe der partiellen Integration kann leicht gezeigt werden, dass jede klassische Lösung eine schwache Lösung ist. Hierbei wird ausgenutzt, dass die Testfunktionen auf dem Rand null sind. Aus dem Fundamentallemma der Variationsrechnung folgt, dass die klassische Lösung obiger Poisson-Gleichung eindeutig ist, falls sie existiert.

Wählt man $C^{\infty }(0,1)$ statt $C_{c}^{\infty }(0,1)$ kann die schwache Lösung der Poisson-Gleichung mit inhomogener Dirichlet-Randbedingung formuliert werden.

Schwache Ableitung

→ Hauptartikel: Schwache Ableitung

Distributionen

→ Hauptartikel: Distribution (Mathematik)

Distributionen sind stetige lineare Funktionale auf $C_{c}^{\infty }(\Omega )$ für ein Gebiet $\Omega \subset \mathbb {R} ^{n}$, wobei sich die Stetigkeit auf eine bestimmte Topologie bezieht.