Elliptic Regularity

Elliptic regularity is the collection of results that weak solutions of elliptic partial differential equations are in fact smoother than a priori assumed: if L is an elliptic differential operator with sufficiently regular coefficients and L u = f with f smooth (or in suitable Sobolev space), then u inherits additional derivatives up to the regularity allowed by coefficients and boundary.