1 problem

Hypoellipticity characterization. The operator $L$ is locally $C^\infty$-hypoelliptic if and only if both $L_1$ and $L_2$ satisfy the superlogarithmic estimate.