The phenomenon in which the usual interior-to-boundary elliptic regularity estimates for solutions of elliptic partial differential equations fail, so that solutions exhibit lower differentiability or Hölder/ Sobolev regularity near parts of the boundary or across singular boundary features.

Principle

Elliptic PDEs propagate interior smoothness up to the boundary under suitable geometric and coefficient regularity; the breakdown occurs when those hypotheses (boundary smoothness, compatibility, coercivity) are violated and the propagation mechanism is obstructed.

Demonstration

A classical demonstration is a second-order uniformly elliptic operator on a domain with a re-entrant corner: a harmonic function solving Dirichlet data smooth on the boundary nevertheless has reduced Sobolev exponent near the corner and fails to lie in the expected H^{2} space globally.

Misapplication

Treating failure cases as if full elliptic regularity held — for example assuming H^{2} estimates for numerical error bounds on a polygonal domain with corners — leads to underestimated errors and invalid convergence rates.

Consequence

When correctly identified, breakdown of elliptic regularity directs the use of weighted Sobolev spaces, corner singularity expansions, or mesh refinement near singularities, yielding accurate a priori estimates and adapted analytical/numerical methods.

Reversal

The reversal is restored elliptic regularity: under smooth boundary, compatible data, and uniformly elliptic coefficients, interior regularity lifts to the boundary and expected derivative bounds hold.

Boundary

Applies to linear and certain quasilinear elliptic operators on domains whose boundary or coefficients fail smoothness or compatibility; excludes hyperbolic/parabolic phenomena and purely interior singularities unrelated to boundary geometry.

Semantic Tension

Tension exists between global Sobolev regularity assertions and local anisotropic singular behavior: global estimates may hide localized loss of regularity concentrated at boundary singularities.

Synthesis

Breakdown of elliptic regularity describes the controlled failure of classical boundary regularity: it identifies geometric or analytic obstructions that prevent interior smoothness from extending to the boundary and motivates refined function spaces and local singular analysis.