Fourier Integral Operators¶

Job: quantize canonical relations (symplectic correspondences in cotangent bundles) to move singularities along more general phase-space maps than $\Psi$DO graphs of identity.

Core¶

Why FIOs¶

$\Psi$DOs have Schwartz kernels microlocally supported on the diagonal conormal $$ N^\Delta={(x,x,\xi,-\xi)}\subset T^(X\times X)\setminus 0 $$ and thus preserve $\mathrm{WF}$ setwise ($\mathrm{WF}(Au)\subset\mathrm{WF}(u)$). Hyperbolic solution operators, solution operators for real principal type, and restriction/trace maps require kernels associated with larger Lagrangian relations — Fourier integral operators.

Oscillatory integrals¶

A local FIO model (Hörmander) acts as $$ Au(x)=\int e^{i\varphi(x,y,\theta)}a(x,y,\theta)u(y)\,dy\,d\theta, $$ with phase $\varphi$ real, homogeneous of degree $1$ in $\theta\in\mathbb{R}^N\setminus 0$, nondegenerate: $$ d_{y,\theta}\varphi=0\Rightarrow d_\theta\varphi\text{ and }d_x\varphi\text{ independent as appropriate (clean critical set)}. $$ Amplitude $a\in S^\mu$. Stationary phase / clean intersection calculus yields the order and principal symbol of $A$.

Canonical relations¶

Critical set $C_\varphi=\{d_{\theta}\varphi=0\}$ maps via $$ (x,y,\theta)\mapsto\bigl(x,d_x\varphi;\, y,-d_y\varphi\bigr) $$ to a conic Lagrangian submanifold $$ \Lambda_\varphi\subset T^X\setminus 0\times T^Y\setminus 0 $$ (with respect to $\omega_X-\omega_Y$). $\Lambda$ is a canonical relation if it is (locally) the graph of a homogeneous canonical transformation, or more generally a Lagrangian relation that can be composed under transversality.

Object	Associated relation
$\Psi$DO on $X$	$N^\Delta$ (graph of $\mathrm{id}_{T^X}$)
Canonical transformation $\chi$	$\mathrm{graph}(\chi)$
Solution operator for $Pu=0$	bicharacteristic flow relation
Pullback $f^*$	conormal to $\mathrm{graph}(f)$ (under transversality)

Composition. If $\Lambda_2\circ\Lambda_1$ intersects cleanly, FIOs compose: $A_{\Lambda_2}\circ A_{\Lambda_1}\in I(\Lambda_2\circ\Lambda_1)$ mod smoothing. $\Psi$DOs form the “diagonal” subcalculus.

Symbol and order (sketch)¶

An FIO $A\in I^m(X,Y;\Lambda)$ has order $m$ related to amplitude order and fiber dimension of the phase. Principal symbol lives in a half-density bundle on $\Lambda$ twisted by the Maslov line bundle (Kähler angles / signature of Hessians at stationary points). Egorov’s theorem: conjugating a $\Psi$DO by an FIO quantizing $\chi$ moves the principal symbol by $\chi^*$: $$ \sigma(A^*PA)\approx\sigma(P)\circ\chi. $$

WF relation¶

Theorem (approximate). $$ \mathrm{WF}(Au)\subset\Lambda\circ\mathrm{WF}(u):={ (x,\xi):\exists(y,\eta)\in\mathrm{WF}(u)\text{ with }(x,\xi;y,\eta)\in\Lambda}. $$ FIOs move singularities along $\Lambda$; they do not create WF outside the relation.

Applications to PDE¶

Hyperbolic Cauchy problem. For strictly hyperbolic $P$, the solution operators $E(t):u(0)\mapsto u(t)$ are FIOs associated with the bicharacteristic flow at time $t$ (Duistermaat–Hörmander). Finite propagation speed is the projection of that flow.
Parametrix for real principal type. Microlocal parametrices for $P$ near nonradial points of $p=0$ are FIOs (or $\Psi$DO after factoring) reducing $P$ to $\partial_{x_1}$ or $D_t$.
Propagation refined. Energy estimates + FIO parametrices yield Hörmander propagation and geometric control (Bardos–Lebeau–Rauch): observability if every bicharacteristic hits the damping/control region.
Restriction and spectral projectors. Restriction of Fourier transforms / spectral clusters use FIOs or oscillatory integral operators; Tomas–Stein, Strichartz estimates sit at this interface with harmonic analysis.
Semiclassical / high frequency. $h$-FIOs quantize classical canonical maps; Egorov explains quantum $\leftrightarrow$ classical evolution of observables ($\mathrm{Op}(a)\mapsto\mathrm{Op}(a\circ\Phi_t)$).

See it¶

Half-wave propagator. On a compact Riemannian manifold $(M,g)$, $$ U(t)=e^{-it\sqrt{-\Delta_g}} $$ is an FIO of order $0$ associated with the geodesic flow $\Phi_t$ on $S^*M$. Wave kernels are singular precisely along pairs of points joined by a geodesic of length $|t|$ — Poisson relation for the length spectrum vs singularities of $\operatorname{Tr}U(t)$.

Change of variables. If $\kappa:X\to Y$ is a diffeomorphism, $Au=u\circ\kappa^{-1}$ is an FIO (in fact a Fourier integral operator of a very simple type / weighted pullback) quantizing $T^*\kappa$; conjugates differential operators by the chain rule on symbols.

Check¶

Why is the solution operator for the heat equation $e^{t\Delta}$ ($t>0$) not typically treated as an FIO of the above real-phase type?

Heat is smoothing for $t>0$: $\mathrm{WF}(e^{t\Delta}u)=\emptyset$ for any $u\in\mathcal{D}'$. The Schwartz kernel is smooth off a diagonal singularity at $t=0$, and the phase-space relation collapses; complex-phase / analytic techniques (FBI, Sjöstrand) are the natural microlocal language for heat and $\bar\partial$.

State Egorov’s theorem one-liner and why it needs an FIO (or unitary group with canonical flow).

If $U(t)$ quantizes a canonical flow $\Phi_t$ and $A\in\Psi^0$, then $U(-t)AU(t)$ is a $\Psi$DO with principal symbol $\sigma(A)\circ\Phi_t$. The conjugation implements the classical flow on symbols; without a quantized canonical transformation, symbols do not transport by a geometric map.

Pitfalls¶

Clean intersection hypotheses are mandatory for composition and for $\Lambda$ to be a smooth manifold; glancing / diffractive regimes need Melrose–Sjöstrand or more refined calculi.
Maslov bundle is not optional for global principal symbols — sign errors in stationary phase accumulate as Maslov indices.
FIO $\neq$ arbitrary oscillatory integral: phase nondegeneracy and conic Lagrangian image are part of the definition.
Order conventions differ between Hörmander, Duistermaat, and semiclassical ($h$-) normalizations — check the reference.

Refs¶

Hörmander, ALPDO IV
Duistermaat, Fourier Integral Operators
Grigis–Sjöstrand, Microlocal Analysis for Differential Operators
Zworski, Semiclassical Analysis
Treves, Introduction to Pseudodifferential and Fourier Integral Operators

Next¶

Microlocal overview · Foundations · PDE foundations · Fourier analysis · Functional analysis · Differential geometry

Object	Associated relation
\(\Psi\)DO on \(X\)	\(N^\Delta\) (graph of \(\mathrm{id}_{T^X}\))
Canonical transformation \(\chi\)	\(\mathrm{graph}(\chi)\)
Solution operator for \(Pu=0\)	bicharacteristic flow relation
Pullback \(f^*\)	conormal to \(\mathrm{graph}(f)\) (under transversality)