Propagation Of Singularities Theorem

In microlocal analysis, the propagation of singularities theorem (also called the Duistermaat–Hörmander theorem) is theorem which characterizes the wavefront set of the distributional solution of the partial (pseudo) differential equation
:$Pu=f$
for a pseudodifferential operator $P$ on a smooth manifold. It says that the propagation of singularities follows the bicharacteristic flow of the principal symbol of $P$.

The theorem appeared 1972 in a work on ''Fourier integral operators'' by Johannes Jisse Duistermaat and Lars Hörmander and since then there have been many generalizations which are known under the name propagation of singularities.

Propagation of singularities theorem

We use the following notation:
*$X$ is a $C^$-differentiable manifold, and $C^_0(X)$ is the space of smooth functions $u$ with a compact set $K \subset X$, such that $u \mid = 0$.
*$L^m_(X)$ denotes the class of pseudodifferential operators of type $(\sigma,\delta)$ with symbol $a(x,y,\theta) \in S^m_(X \times X \times \mathbb^n)$.
*$S^m_$ is the Hörmander symbol class.
*$L_1^m(X) := L^m_(X)$.
*$D'(X) = (C^_(X))^*$ is the space of distributions, the Dual space of $C^_(X)$.
*$WF(u)$ is the wave front set of $u$
*$\operatorname p_m$ is the characteristic set of the principal symbol $p_m$

Statement

Let $P$ be a properly supported pseudodifferential operator of class $L_1^m(X)$ with a real principal symbol $p_m(x, \xi)$, which is homogeneous of degree $m$ in $\xi$. Let $u \in D'(X)$ be a distribution that satisfies the equation $Pu = f$, then it follows that
:$WF(u) \setminus WF(f) \subset \operatorname p_m.$

Furthermore, $WF(u) \setminus WF(f)$ is invariant under the Hamiltonian flow induced by $p_m$.

Bibliography

*
*
*
* {{cite journal , last=Taylor , first=Michael E. , title=Propagation, reflection, and diffraction of singularities of solutions to wave equations , journal=Bulletin of the American Mathematical Society , volume=84 , issue=4 , pages=589–611 , year=1978 , publisher=American Mathematical Society , url=https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-84/issue-4/Propagation-reflection-and-diffraction-of-singularities-of-solutions-to-wave/bams/1183540924.full

References

Microlocal analysis
Theorems in functional analysis
Partial differential equations