Concept

Wave front set

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 also with respect to its Fourier transform at each point. The term "wave front" was coined by Lars Hörmander around 1970. In more familiar terms, WF(f) tells not only where the function f is singular (which is already described by its singular support), but also how or why it is singular, by being more exact about the direction in which the singularity occurs. This concept is mostly useful in dimension at least two, since in one dimension there are only two possible directions. The complementary notion of a function being non-singular in a direction is microlocal smoothness. Intuitively, as an example, consider a function ƒ whose singular support is concentrated on a smooth curve in the plane at which the function has a jump discontinuity. In the direction tangent to the curve, the function remains smooth. By contrast, in the direction normal to the curve, the function has a singularity. To decide on whether the function is smooth in another direction v, one can try to smooth the function out by averaging in directions perpendicular to v. If the resulting function is smooth, then we regard ƒ to be smooth in the direction of v. Otherwise, v is in the wavefront set. Formally, in Euclidean space, the wave front set of ƒ is defined as the complement of the set of all pairs (x0,v) such that there exists a test function with (x0) ≠ 0 and an open cone Γ containing v such that the estimate holds for all positive integers N. Here denotes the Fourier transform. Observe that the wavefront set is conical in the sense that if (x,v) ∈ Wf(ƒ), then (x,λv) ∈ Wf(ƒ) for all λ > 0. In the example discussed in the previous paragraph, the wavefront set is the set-theoretic complement of the image of the tangent bundle of the curve inside the tangent bundle of the plane. Because the definition involves cutoff by a compactly supported function, the notion of a wave front set can be transported to any differentiable manifold X.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Concepts associés (1)
Suite régularisante
En mathématiques, une suite régularisante est une suite de fonctions régulières utilisées afin de donner une approximation lisse de fonctions généralisées, le plus souvent par convolution afin de lisser les discontinuités. Une suite de fonctions tests ( C à support compact) sur est dite régularisante si, pour tout indice : le support de est inclus dans une boule avec : les fonctions sont donc de plus en plus resserrées autour de l'origine.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.