wie folgt definierte Menge:

Sei X ⊂ ℝ^N eine offene Menge und u eine auf X definierte Distribution (↗ verallgemeinerte Funktion). Die Wellen-Front-Menge WF(u) ist definiert als das Komplement in X × (ℝ^N \ 0) derjenigen Punkte (x₀, ξ₀) ∈ X × (ℝ^N \ 0), für die Umgebungen U von x₀ und V von ξ₀ so existieren, daß

\begin{eqnarray}\left\langle u,\phi \exp (-i\tau x\cdot \xi ) \right\rangle =O({{\tau }^{-N}})\quad\tau \to \infty \end{eqnarray}

Für Distributionen auf einer Mannigfaltigkeit X stellt die Wellen-Front-Menge eine Teilmenge des ↗ Kotangentialbündels T*X \ {0} ohne den NullSchnitt dar.

Ist WF(u) = ø, so ist u glatt, die Projektion π der Wellen-Front-Menge auf die erste Komponente ist der singuläre Träger sing suppu der Distribution u. Falls x₀ ∈ π(WF(U)), so ist u in jeder Umgebung von x₀ nicht glatt. Somit ist die Wellen-FrontMenge eine Obstruktion für u ∈ C^∞.

Auf ähnliche Weise läßt sich die analytische Wellen-Front-Menge als die Obstruktion der reellen Analytizität definieren: Sei χ eine C^∞ -Funktion mit kompaktem Träger um x₀, die um x₀ lokal reell analytisch und ungleich Null ist. Die Menge \({{\Sigma }_{\chi }}\) ist dann definiert als das Komplement derjenigen Teilmenge von ℝ^N \ 0, die aus allen η besteht, für die es eine kegelförmige Umgebung U von η und Konstanten α,, γ₀ und C_N so gibt, daß

\begin{eqnarray}\bigcup\limits_{x\in X}{\{x\}}\times \sum\nolimits_{x}{(u).}\end{eqnarray}

Eine wichtige Eigenschaft der Wellen-FrontMenge ist ihr Verhalten unter der Wirkung eines Differentialoperators:

Sei p(x, D) ein linearer partieller Differentialoperator der Ordnung m, und sei ferner p(x, D)u = f. Dann gilt

\begin{eqnarray}WF(f)\subset WF(u)\subset p_{m}^{-1}(0),\end{eqnarray}

[1] Hörmander, L.: The Analysis of Linear Partial Differential Operators IV. Springer-Verlag Heidelberg, 1985.