Wave front set

From Wikipedia, the free encyclopedia

In mathematical analysis, more precisely in microlocal analysis, the wave front (set) WF(f) characterizes the singularities of a generalized function f, not only in space, but more precisely also with respect to its Fourier transform at each point.

Contents

[edit] Introduction

In more familiar terms, WF(f) tells not only where the function f is not "nice" (which is already described by its singular support), but also how or why it is not nice, by being more exact about the 'direction'. This concept is mostly useful in dimension at least two, therefore. The term "wave front" was coined by Lars Hörmander around 1970.

The wave front set is a closed conical subset of the cotangent bundle

T * (X)

of the differentiable manifold X on which the generalized function is considered. It is defined such that its projection on X is equal to the function's singular support w.r.t. the considered regularity (i.e. sub-presheaf of "smoother" functions).

[edit] Definition

Using local coordinates x, the wave front set WF(f) of a generalized function f can be defined in the following general way:

{\rm WF}(f) = \{ (x,\xi)\in T^*(X) \mid \xi\in\Sigma_x(f) \}

where Σx(f) is the "singular fibre of f above x", which is the orthogonal complement of all directions ξ such that the Fourier transform of f, "localized" at x, is sufficiently "nice" when restricted to a conical neighbourhood of ξ.

"Localized" can here be expressed by saying that f is truncated by some smooth cutoff function not vanishing at x. (The localization process could be done in a more elegant fashion, using germs.[citation needed])

More concretely, this can be expressed as

\xi\notin\Sigma_x(f) \iff \exists\phi\in\mathcal D_x,\ \exists V\in\mathcal V_\xi: \widehat{\phi f}|_V\in O(V) (or ξ = o, never in Σx(f))

where

Typically, sections of O are characterized by some growth (or decrease) condition at infinity, e.g. such that (1 + | ξ | )sv(ξ) belong to some Lp space. This definition makes sense, because the Fourier transform becomes more regular (in terms of growth at infinity) when f is truncated with the smooth cutoff φ.

The most difficult "problem", from a theoretical point of view, is finding the adequate sheaf O characterizing functions belonging to a given subsheaf E of the space G of generalized functions.

[edit] Example

If we take G = D′ the space of Schwartz distributions and want to characterize distributions which are locally C^\infty functions, we must take for O(Ω) the classical function spaces called OM(Ω) in the literature.

Then the projection on the first component of a distribution's wave front set is nothing else than its classical singular support, i.e. the complement of the set on which its restriction would be a smooth function.

[edit] Applications

The wave front set is useful, among others, when studying propagation of singularities by pseudodifferential operators.

[edit] See also

  • Singular spectrum
  • Essential support

[edit] References