Wellenfrontmenge

Die Wellenfrontmenge ist ein mathematischer Begriff aus der mikrolokalen Analysis, der die Singularitäten einer Distribution oder Hyperfunktion charakterisiert. Die Wellentfrontmenge beschreibt, an welchen Stellen die Singularitäten auftreten und aus welcher Richtung die Singularitäten kommen. Sie verallgemeinert den Begriff des singulären Trägers, in dem auch die Richtungen enthalten sind, in der die lokale Fourier-Transformation der Distribution nicht schnell genug fällt.

Betrachtet man eine differenzierbare Mannigfaltigkeit, dann handelt es sich bei der Wellenfrontmenge um eine kegelförmige abgeschlossene Teilmenge des Kotangentialbündel der Mannigfaltigkeit.

Der Ausdruck "Wellenfrontmenge" leitet sich von dem Ausdruck Wellenfront ab und wurde von Lars Hörmander eingeführt.

Hörmanders Zugang

Es gibt unterschiedliche Wege die Wellenfrontmenge herzuleiten. Wir folgen Hörmanders Zugang.

Notation:

Sei $X$ eine offene Menge und $M$ eine glatte Mannigfaltigkeit.

• ${𝒞}_c^{\mathrm{\infty }}(X)$ der Raum der glatten Funktionen mit kompaktem Träger auf $X$.
• ${𝒟}^{\prime }(X)$ der Raum der Distributionen auf $X$.
• ${ℰ}^{\prime }(X)$ der Raum der Distributionen mit kompaktem Träger auf $X$.
• $T^{*}(M)$ ist das Kotangentialbündel $T^{*}(M)=\{(x,\xi ):x\in M,\xi \in (T_{x}M{)}^{*}\}$ (das heißt $\xi$ ist ein lineares Funktional auf dem Tangentialraum).
• $T^{*}(M)\setminus \{0\}$ ist $T^{*}(M)$ ohne den Null-Schnitt $\{(x,\xi ):\xi =0\}$.

Herleitung

Kriterium für die Glattheit einer Distribution

Nach dem Satz von Paley-Wiener ist $v\in {ℰ}^{\prime }({ℝ}^n)$ genau dann glatt, wenn seine Fourier-Transformierte $\hat{v}$ schnell fällt und umgekehrt, das heißt

$v\in C_c^{\mathrm{\infty }}({ℝ}^n)⟺|\hat{v}(\xi )|\le C_N(1+|\xi |{)}^{-N}\mathrm{\forall }N\in \mathbb{N},\xi \in {ℝ}^n$.

(1)

Nun lässt sich der abgeschlossene Kegel $\mathrm{\Sigma }(v)$ von allen $\eta \in {ℝ}^n\setminus \{0\}$ definieren, für die es keine kegelförmige Umgebung $V$ von $\eta$ gibt, so dass die Ungleichung in $(1)$ für alle $N$ gilt. Daraus folgt

$v\in C_c^{\mathrm{\infty }}({ℝ}^n)⟺\mathrm{\Sigma }(v)=\mathrm{\varnothing }$

Da $\mathrm{\Sigma }(v)$ ein Kegel ist, besitzt $\mathrm{\Sigma }(v)$ die Richtungen der Frequenzen, die Singularitäten verursachen. Diese Information gilt es nun mit $\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{g}\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}v$ zu kombinieren.

Herleitung des singulären Fasers Σ_x

Für $v\in {ℰ}^{\prime }({ℝ}^n)$, eine Testfunktion $\varphi \in C_c^{\mathrm{\infty }}({ℝ}^n)$ und $\xi \notin \mathrm{\Sigma }(v)$ lässt sich zeigen, dass die Ungleichung in $(1)$ für $\widehat{\varphi v}$ in einer kegelförmige Umgebung von $\xi$ gilt sowie

$\mathrm{\Sigma }(\varphi v)\subset \mathrm{\Sigma }(v).$

Dies impliziert für eine Distribution $v\in {𝒟}^{\prime }({ℝ}^n)$ und zwei Testfunktionen ${\varphi }_1,{\varphi }_2\in C_c^{\mathrm{\infty }}({ℝ}^n)$, dass wenn ${\varphi }_2(x)\ne 0$ für $x\in \mathrm{supp}({\varphi }_1)$, dann

$\mathrm{\Sigma }({\varphi }_{1}v)\subset \mathrm{\Sigma }({\varphi }_{2}v).$

Diese Aussage lässt sich auf $k+1$ Testfunktionen $\varphi ,{\varphi }_1,{\varphi }_2,\dots ,{\varphi }_k\in C_c^{\mathrm{\infty }}({ℝ}^n)$ erweitern, dass wenn ${\varphi }_1(x),\dots ,{\varphi }_k(x)\ne 0$ für $x\in \mathrm{supp}(\varphi )$, dann

$\mathrm{\Sigma }(\varphi v)\subset \bigcap _{j=1}^k\mathrm{\Sigma }({\varphi }_{j}v).$

Definition Σ_x

Sei nun $X\subset {ℝ}^n$ eine offene Menge und $v\in {𝒟}^{\prime }({ℝ}^n)$. Dann definieren wir für ein $x\in X$

${\mathrm{\Sigma }}_x(v):=\bigcap _{\varphi }\{\mathrm{\Sigma }(\varphi v):\varphi \in C_c^{\mathrm{\infty }}(X),\varphi (x)\ne 0\}.$

Erläuterungen zu Σ_x

Für eine Testfunktion $\varphi \in C_c^{\mathrm{\infty }}(X)$ mit $\mathrm{supp}\varphi \to \{x\}$ und $\varphi (x)\ne 0$ ist ${\mathrm{\Sigma }}_x(v)$ folgender Grenzwert

$\mathrm{\Sigma }(\varphi v)\to {\mathrm{\Sigma }}_x(v).$

Daraus folgt ${\mathrm{\Sigma }}_x(v)=\mathrm{\varnothing }$ genau dann, wenn $\varphi v\in C^{\mathrm{\infty }}$ und somit

${\mathrm{\Sigma }}_x(v)=\mathrm{\varnothing }⟺x\notin \mathrm{s}\mathrm{i}\mathrm{n}\mathrm{g}\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}v.$

Wellenfrontmenge

Sei $X$ eine offene Menge in ${ℝ}^n$ und $u\in {𝒟}^{\prime }(X)$. Man nennt die abgeschlossene Menge

$WF(u):=\{(x,\xi )\in X\times ({ℝ}^n\setminus \{0\}):\xi \in {\mathrm{\Sigma }}_x(u)\}$

die Wellenfrontmenge von $u$.

Ist $X$ hingegen eine differenzierbare Mannigfaltigkeit, dann lässt sich die Wellenfrontmenge über das Kotangentialbündel definieren

$WF(u):=\{(x,\xi )\in T^{*}(X)\setminus \{0\}:\xi \in {\mathrm{\Sigma }}_x(u)\}.$

Erläuterungen

Die Wellenfrontmenge $WF(u)$ ist eine abgeschlossene, kegelförmige Teilmenge in $X\times ({ℝ}^n\setminus \{0\})$ respektive $T^{*}(X)\setminus \{0\}$. Die Projektion von $WF(u)$ auf $X$ ist der singuläre Träger von $u$, das heißt für $\pi :T^{*}(X)\setminus \{0\}\to X$ gilt

$\pi (WF(u))=\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{g}\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}u$.

Beispiele

• Sei ${\delta }_0\in D^{\prime }({ℝ}^n)$ die Delta-Distribution, d. h. ${\delta }_0(f)=f(0)=⟨0,f⟩$ für eine Testfunktion $f$. Es gilt $\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{g}\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}({\delta }_0)=\{0\}$. Da die Fourier-Transformierte von ${\delta }_0$ eine Konstante-Funktion $\widehat{{\delta }_0}=1$ ist, fällt sie auch in keine Richtung. Somit ist die Wellenfrontmenge

$WF({\delta }_0)=\{(0,\xi ),\xi \ne 0\}.$

Literatur

• Vorlage:Literatur