Characteristic hypersurface
= Characteristic hypersurface
{wiki=Characteristic_surface}
A <hypersurface> $\Sigma=\{\phi=0\}$ is characteristic for a differential equation at $x\in\Sigma$ when its <principal symbol> vanishes on the conormal $d\phi(x)$:
$$
p(x,d\phi(x))=0.
$$
It is non-characteristic where this quantity is nonzero.