In this project, we study the regularity of two different types of partial differential equations.
We investigate Holder regularity for the nonlinear Navier-Stokes equations up to a C3 boundary. We find suitable weak solutions are regular up to a set of Hausdorff dimension 1. We use a modified compactness method and monotonicity properties of harmonic functions.
We also investigate W1,p estimates for a class of degenerate partial differential equations of subelliptic type a where a is a positive real number. We use the method of compactness established by De Giorgi when studying the Plateau problem of minimal surfaces.