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.

Principle

Ellipticity of the principal symbol implies a priori estimates that control higher derivatives of solutions by lower‑order norms of the data; microlocal and functional analytic tools convert control of the right‑hand side into increased regularity of the solution (interior and, with boundary compatibility, up to the boundary).

Demonstration

For a uniformly elliptic second‑order operator in divergence form on a smooth domain, the Lax–Milgram weak solution in H¹ actually belongs to H² locally when the right‑hand side is L²; if coefficients and f are C^∞ then u is C^∞ inside the domain (interior regularity).

Misapplication

Expecting the same smoothing for non‑elliptic operators (hyperbolic or degenerate elliptic) or for elliptic operators with rough coefficients without adjusting functional spaces; disregarding boundary regularity and compatibility conditions can invalidate up‑to‑boundary conclusions.

Consequence

Allows bootstrapping regularity: once one gain of derivatives is established, repeated application yields higher smoothness; underlies existence of classical solutions from weak solutions and justifies elliptic estimates used in nonlinear PDE analysis and geometric applications.

Reversal

Hyperbolic equations show propagation of singularities along characteristics rather than smoothing; reversing elliptic regularity contrasts smoothing with transport of irregularities instead of their damping.

Boundary

Interior elliptic regularity typically requires only ellipticity and coefficient regularity; regularity up to the boundary demands compatible boundary conditions, boundary smoothness, and control of boundary data—without these, interior gains need not extend to the boundary.

Semantic Tension

Elliptic regularity vs hypoellipticity: elliptic regularity is a strong form of hypoellipticity for elliptic operators, but hypoelliptic operators may provide smoothing under weaker symbol conditions; distinctions arise in microlocal propagation and required hypotheses.

Synthesis

Elliptic regularity asserts that ellipticity converts control on data into improved smoothness of solutions: weak solutions of elliptic PDEs are smoother in the interior (and under compatibility, up to the boundary), enabling passage from distributional to classical solutions under appropriate hypotheses.