Hypoelliptic differential operator
= Hypoelliptic differential operator
{wiki=Hypoelliptic_operator}
A differential operator $P$ is hypoelliptic when $Pu$ smooth on an open set implies that $u$ is smooth there. Every elliptic differential operator is hypoelliptic, but the heat operator is hypoelliptic without being elliptic.