Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 327 / 3 / a

A phase function is a real smooth function $\Phi$ on $X\times ({\mathbb{R}}^k\setminus \{0\})$, positively homogeneous of degree one in $\theta$, with $d_{x,\theta }\Phi \ne 0$. The symbol classconsists of smooth amplitudes satisfying, on each compact $K\subset X$,

To define the oscillatory integral, insert a cutoff $\chi (\epsilon \theta )$ equal to one near zero and setRepeated integration by parts with an operator $L$ satisfying $L{e}^{i\Phi }=e^{i\Phi }$ makes the integral absolutely convergent after enough iterations and shows that the limit defines a distribution.

Applying $D_x^{\alpha }$ changes only the constants in the defining estimates, while each $D_{\theta }$ lowers the power of $⟨\theta ⟩$ by one. Hence

The Leibniz rule writes every derivative of $a_1{a}_2$ as a finite sum of products of derivatives of the factors. Multiplying their symbol bounds adds the orders, so

Differentiating a function positively homogeneous of degree $M$ in $\theta$ makes $D_{\theta }^{\beta }b$ homogeneous of degree $M-|\beta |$, while $x$-derivatives preserve the degree. On the unit sphere these derivatives are bounded uniformly over compact subsets of $X$. Scaling then givesfor large $\theta$; smoothness controls the remaining compact frequency region. Thus