En la teoría de ecuaciones diferenciales parciales , un operador diferencial parcial definido en un subconjunto abierto
se llama hipoelíptico si para cada distribución definida en un subconjunto abierto tal que es ( suave ), también debe ser .
Si esta afirmación se mantiene con reemplazada por analítica real , entonces se dice que es analíticamente hipoelíptica .
Todo operador elíptico con coeficientes es hipoelíptico. En particular, el laplaciano es un ejemplo de operador hipoelíptico (el laplaciano también es analíticamente hipoelíptico). El operador de la ecuación de calor
(donde ) es hipoelíptico pero no elíptico. El operador de la ecuación de onda
(donde ) no es hipoeliptico.