Phase function (source code)

= Phase function
{wiki}

A phase function is a real smooth function $\Phi(x,\theta)$ on $X\times(\mathbb R^k\setminus\{0\})$ that is positively homogeneous of degree one in $\theta$ and has nonvanishing total differential. Its critical points in the frequency variable determine where an associated oscillatory integral may be singular.