Hypoellipticity for infinitely degenerate quasilinear equations and the dirichlet problem

In [10], we considered a class of infinitely degenerate quasilinear equations of the form div and derived a priori bounds for high order derivatives D (a) w of their solutions in terms of w and a-w. We now show that it is possible to obtain bounds in terms of just w for a further subclass of such equations, and we apply the resulting estimates to prove that continuous weak solutions are necessarily smooth. We also obtain existence, uniqueness, and interior -regularity of solutions for the corresponding Dirichlet problem with continuous boundary data.