A family of embedding inequalities that bound norms of functions in Lebesgue spaces by norms of their weak derivatives in Sobolev spaces, asserting that sufficient derivative integrability implies improved integrability or continuity of the function itself.

Principle

Derivatives control integrability and regularity: the amount of integrability and number of derivatives determine the target Lebesgue or Hölder space, with critical exponents determined by spatial dimension and scaling invariance.

Demonstration

In R^n for n>2, the standard Sobolev embedding states that functions in the homogeneous Sobolev space with one square-integrable derivative embed into L^{2n/(n−2)}, so an H^1 function has an L^q bound with q = 2n/(n−2); on bounded domains similar embeddings hold with constants depending on the domain and boundary conditions.

Misapplication

Applying a Sobolev embedding without checking dimension, integrability exponents, or boundary regularity; using an embedding at the critical exponent as if it were compact when in fact compactness may fail and loss of control occurs.

Consequence

Provides the functional framework for existence, uniqueness, and regularity of solutions to elliptic and parabolic PDEs, controls nonlinear terms by appropriate norms, and yields interpolation and compactness results essential in variational methods.

Reversal

When derivatives lack sufficient integrability or the dimension is too high, embeddings fail and functions can exhibit singular behaviour; the reversed lesson is that regularity of derivatives is necessary to upgrade integrability or continuity of the function.

Boundary

Depends critically on space dimension, order of derivatives, and Lebesgue exponents; fails in critical or supercritical combinations without additional structure, and requires functions to have weak derivatives in the relevant Sobolev space.

Semantic Tension

Interacts with Poincaré, Gagliardo–Nirenberg, and trace inequalities: Sobolev gives global embedding control, while related inequalities trade order of derivatives, integrability, and boundary traces in different ways.

Synthesis

Sobolev inequalities formalize how control of weak derivatives quantitatively upgrades the integrability and regularity of a function: they provide the mapping rules from Sobolev spaces to Lebesgue or Hölder spaces determined by dimension and derivative order.