Microlocal analysis

{{Short description|Techniques in mathematical analysis}} '''Microlocal analysis''' is a branch of mathematical analysis that studies functions, generalized functions and partial differential equations by localizing them both in position and in frequency. A key theme is that a singularity should be described not only by the point at which it occurs, but also by the cotangent direction in which it occurs. The term ''microlocal'' refers to localization at a small scale in phase space: locally near a point <math>x</math> of a manifold and simultaneously near a nonzero covector <math>\xi</math> at that point. This is finer than ordinary local analysis, which only distinguishes whether a function or distribution is regular near <math>x</math>. The information of position and covector in which a singularity occurs is encoded by the wave front set of a distribution, a conic subset of the cotangent bundle with the zero section removed.{{sfn|Hörmander|1990|loc=Ch. VIII}}{{sfn|Taylor|1981|loc=Ch. 7}}

Microlocal analysis was developed from the 1950s through the 1970s in connection with linear partial differential equations, Fourier transform methods, hyperfunctions and pseudo-differential operators. It is concerned with elliptic regularity, propagation of singularities, Fourier integral operators, geometric optics, scattering theory, spectral theory, semiclassical analysis and inverse problems.{{sfn|Hörmander|1990}}{{sfn|Hörmander|1985}}{{sfn|Duistermaat|2011}}

== Microlocal smoothness == A key idea in microlocal analysis is that of smoothness. On <math>\mathbb{R}^n</math>, this is expressed using the Fourier transform. If <math>u</math> is a distribution and <math>\phi</math> is a smooth cutoff function supported near a point <math>x_0</math>, the decay of the Fourier transform <math>\widehat{\phi u}(\xi)</math> as <math>|\xi|\to \infty</math> detects whether <math>u</math> is smooth near <math>x_0</math>. Microlocal analysis considers this decay only in a conic neighbourhood of a direction <math>\xi_0\neq 0</math>. If rapid decay holds in that conic neighbourhood, then <math>u</math> is said to be microlocally smooth at <math>(x_0,\xi_0)</math>.{{sfn|Hörmander|1990|loc=Ch. VIII}}

Thus microlocal smoothness is a weaker notion than ordinary smoothness: a distribution can be microlocally smooth in some directions at a point and not others.

One of the basic results in the area is microlocal elliptic regularity. If <math>P</math> is a pseudodifferential operator that is elliptic near <math>(x_0,\xi_0)</math>, then <math>u</math> is microlocally smooth at <math>(x_0,\xi_0)</math> whenever <math>Pu</math> is microlocally smooth there. Equivalently, singularities of a solution <math>u</math> to an equation <math>Pu=f</math> can occur away from the wave front set of <math>f</math> only in the characteristic set of <math>P</math>.{{sfn|Hörmander|1985|loc=Chs. XVIII–XX}}{{sfn|Taylor|1981|loc=Ch. 7}}

== Wave front set ==

The wave front set <math>WF(u)</math> of a distribution <math>u</math> on a smooth manifold <math>X</math> is the set of pairs <math>(x,\xi)</math>, with <math>\xi\neq 0</math>, at which <math>u</math> is not microlocally smooth. It is a closed conic subset of <math>T^*X\setminus 0</math>, meaning that if <math>(x,\xi)</math> belongs to <math>WF(u)</math>, then so does <math>(x,\lambda \xi)</math> for every <math>\lambda>0</math>.{{sfn|Hörmander|1990|loc=Ch. VIII}}

The projection of <math>WF(u)</math> to <math>X</math> is the singular support of <math>u</math>. Thus the wave front set contains the ordinary location of singularities, but also records their directions.{{sfn|Taylor|1981|loc=Ch. 7}}

The wave front set of Dirac delta distribution <math>\delta_{x_0}</math> at a point <math>x_0</math>, for example, consists of all nonzero cotangent directions at <math>x_0</math>: :<math>WF(\delta_{x_0})=\{(x_0,\xi):\xi\in T^*_{x_0}X,\ \xi\neq 0\}.</math> If a distribution has a jump discontinuity across a smooth hypersurface <math>S</math>, its wave front set is contained in the conormal bundle of <math>S</math>. The singularity is therefore concentrated in directions normal to the hypersurface.

== Pseudodifferential operators ==

Pseudo-differential operators generalize differential operators by allowing more general functions of the frequency variable. Locally, such an operator has the form :<math>Au(x)=(2\pi)^{-n}\int e^{i x\cdot \xi} a(x,\xi)\widehat{u}(\xi)\,d\xi,</math> or, more generally, an oscillatory integral with an amplitude <math>a(x,\xi)</math>. The function <math>a</math> is called the symbol of the operator.{{sfn|Taylor|1981|loc=Chs. 1–3}}{{sfn|Hörmander|1985|loc=Ch. XVIII}}

The leading homogeneous part of the symbol is the principal symbol. It controls much of the microlocal behavior of the operator. An operator is elliptic at a point <math>(x,\xi)</math> of the cotangent bundle if its principal symbol is nonzero there. The set where the principal symbol vanishes is the '''characteristic set''' of the operator.

Pseudodifferential operators are microlocal in the sense that they do not create new singularities in arbitrary directions: :<math>WF(Au)\subseteq WF(u).</math> More precise statements involve the essential support of the symbol of <math>A</math>. Conversely, elliptic pseudodifferential operators can be inverted microlocally, which leads to microlocal forms of elliptic regularity.{{sfn|Taylor|1981|loc=Ch. 7}}

== Propagation of singularities ==

For operators of real principal type, microlocal analysis gives a precise theorem on the propagation of singularities. Let <math>P</math> have real principal symbol <math>p</math>. The Hamiltonian vector field <math>H_p</math> on the cotangent bundle determines curves called '''bicharacteristics'''. The propagation of singularities theorem says, roughly, that the wave front set of a solution to <math>Pu=f</math>, outside the wave front set of <math>f</math>, is invariant along the bicharacteristic flow in the characteristic set of <math>P</math>.{{sfn|Duistermaat|Hörmander|1972}}{{sfn|Hörmander|1985|loc=Ch. XXVI}}

This theorem gives a rigorous version of geometric optics. For hyperbolic equations, singularities travel along the rays determined by the Hamiltonian flow of the principal symbol. In the case of the wave equation on a Riemannian manifold, these rays are related to the geodesic flow. In Lorentzian geometry, the corresponding statement is that singularities of wave solutions propagate along null geodesics (null bicharacteristics).

== Microlocalization functor == {{Empty section|date=April 2026}}

== References == {{reflist}} * {{citation | last = Duistermaat | first = J. J. | title = Fourier Integral Operators | series = Modern Birkhäuser Classics | publisher = Birkhäuser | location = Boston | year = 2011 | doi = 10.1007/978-0-8176-8108-1 | isbn = 978-0-8176-8107-4 }}. * {{citation | last = Hörmander | first = Lars | title = The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis | edition = 2nd | publisher = Springer | location = Berlin | year = 1990 | isbn = 978-3-642-61497-2 | doi = 10.1007/978-3-642-61497-2 }}. * {{citation | last = Hörmander | first = Lars | title = The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators | publisher = Springer | location = Berlin | year = 1985 }}. * {{Citation |last=Kashiwara |first=M. |title=Microlocalization of ind-sheaves |date=2006 |work=Progress in Mathematics |pages=171–221 |url=https://doi.org/10.1007/0-8176-4478-4_9 |place=Boston, MA |publisher=Birkhäuser Boston |isbn=978-0-8176-4342-3 |last2=Schapira |first2=P. |last3=Ivorra |first3=F. |last4=Waschkies |first4=I.}} * {{citation | last = Taylor | first = Michael E. | title = Pseudodifferential Operators | series = Princeton Mathematical Series | volume = 34 | publisher = Princeton University Press | location = Princeton, New Jersey | year = 1981 }}.

==External links== *[http://www-math.mit.edu/~rbm/iml90.pdf lecture notes by Richard Melrose] *[http://math.mit.edu/~rbm/18.157-F09/18.157-F09.html newer lecture notes by Richard Melrose]

Category:Microlocal analysis Category:Fourier analysis Category:Generalized functions