nLab propagation of singularities theorem

Contents

Contents

Idea

In microlocal analysis the propagation of singularities theorem (Duistermaat-Hörmander 72, section 6.1) characterizes the wave front set of a distributional solution to a partial differential equation in terms of the principal symbol of the corresponding differential operator: It says that the singularity wave fronts of the solution propagate along the Hamiltonian flow of the principal symbol of the differential operator (its bicharacteristic flow).

Hence this theorem makes fully manifest how the concept of wave front set enhances that of singular support by adding directional information about the singularities.

One implication is the proof of existence of solutions to suitable (possibly inhomogeneous) differential equations (Duistermaat-Hörmander 72, section 6.3).

For example the proof of existence the Feynman propagator on a Lorentzian manifold is obtained this way (Duistermaat-Hörmander 72, theorem 6.5.3 and beginning of section 6.6, Radzikowski 96, section 4).

Definitions

Definition

(properly supported peudo-differential operator)

A pseudo-differential operator QQ on a manifold XX is called properly supported if for each compact subset KXK \subset X there exists a compact subset KXK' \subset X such that for uu a distribution with support in KK it follows that the derivative of distributions QuQ u has support in KK' and such that u| K=0u\vert_{K'} = 0 implies (Qu)| K=0(Q u)\vert_{K} = 0.

(Hörmander 85 (18.1.21) recalled e.g. in Radzikowski 96. p. 8,9)

Example

(differential operators are properly supported pseudo-differential operators)

Every ordinary differential operator, regarded as a pseudo-differential operator, is properly supported (def. ), since differential operators do not increase support.

Definition

(symbol order)

A smooth function qq on a cotangent bundle (e.g. symbol of a differential operator) is of order mm (and type 1,01,0, denoted qS m=S 1,0 mq \in S^m = S^m_{1,0}), for mm \in \mathbb{N}, if on each coordinate chart ((x i),(k i))((x^i), (k_i)) we have that for every compact subset KK of the base space and all multi-indices α\alpha and β\beta, there is a real number C α,β,KC_{\alpha, \beta,K } \in \mathbb{R} such that the absolute value of the partial derivatives of qq is bounded by

| αk α βx βq(x,k)|C α,β,K(1+|k|) m|α| \left\vert \frac{\partial^\alpha}{\partial k_\alpha} \frac{\partial^\beta}{\partial x^\beta} q(x,k) \right\vert \;\leq\; C_{\alpha,\beta,K}\left( 1+ {\vert k\vert}\right)^{m - {\vert \alpha\vert}}

for all xKx \in K and all cotangent vectors kk to xx.

A Fourier integral operator QQ is of symbol class L m=L 1,0 mL^m = L^m_{1,0} if it is of the form

Qf(x)=e ik(xy)q(x,y,k)f(y)dydk Q f (x) \;=\; \int \int e^{i k \cdot (x - y)} q(x,y,k) f(y) \, d y d k

with symbol qq of order mm, in the above sense.

(Hörmander 71, def. 1.1.1 and first sentence of section 2.1 with (1.4.1))

Example

The wave operator/Klein-Gordon operator on Minkowski spacetime is of class L 2L^2, according to def. .

Statement

Proposition

(propagation of singularities theorem)

Let QQ be a pseudo-differential operator on some smooth manifold XX which is properly supported (def. ) and of symbol class L mL^m (def. ) with real principal symbol qq that is homogeneous of degree mm.

For u𝒟(X)u \in \mathcal{D}'(X) a distribution with Qu=fQ u = f, then the complement of the wave front set of uu by that of ff is contained in the set of covectors on which the principal symbol qq vanishes:

WF(u)WF(f)q 1(0). WF(u) \setminus WF(f) \;\subset\; q^{-1}(0) \,.

Moreover, WF(u)WF(f)WF(u) \setminus WF(f) is invariant under the bicharacteristic flow induced by the Hamiltonian vector field of qq with respect to the canonical symplectic manifold structure on the cotangent bundle (here).

(Duistermaat-Hörmander 72, theorem 6.1.1, recalled e.g. as Radzikowski 96, theorem 4.6

Examples

Example

For (X,e)(X,e) a globally hyperbolic spacetime and PP a hyperbolic differential operator such as the wave operator/Klein-Gordon operator, then the wave front set of any solution ff to Pf=0P f = 0 is a union of cotangent vectors along lightlike geodesics .

Proof

This follows by prop. by the fact that the bicharacteristic strips of the wave operator/Klein-Gordon operator are cotangent vectors of lightlike geodesics, by this example.

References

The theorem is due to

discussed in

  • Lars Hörmander, The analysis of partial differential operators III, Springer 1985

Review in the context of the free scalar field on globally hyperbolic spacetimes (with QQ the wave operator/Klein-Gordon operator) is in

  • Marek Radzikowski, Micro-local approach to the Hadamard condition in quantum field theory on curved space-time, Commun. Math. Phys. 179 (1996), 529–553 (Euclid)

which otherwise discusses the corresponding Hadamard distributions.

See also

Last revised on January 11, 2021 at 09:35:47. See the history of this page for a list of all contributions to it.