An inequality that bounds a norm of a function in a Lebesgue or Hölder space by a Sobolev norm, typically of the form ||u||_{L^q} ≤ C||u||_{W^{k,p}} or variants relating gradient norms to higher integrability or continuity.

Principle

Differential control implies integral or pointwise control: derivatives measured in L^p impose bounds on lower-order norms via interpolation and scaling consistent with the ambient dimension.

Demonstration

Classical form: on R^n or a suitable bounded domain, for 1≤p

Misapplication

Using the inequality with incorrect exponents, overlooking boundary terms, or applying it to functions lacking the required decay or integrability will produce invalid estimates and can mislead existence proofs.

Consequence

Provides explicit quantitative control needed in PDE existence, regularity, and bootstrap arguments; supplies constants and scaling that feed into compactness and convergence estimates.

Reversal

The formal reverse inequality (bounding Sobolev norm by an L^q norm) is false without additional derivative information; equality cases are delicate and relate to concentration phenomena at criticality.

Boundary

Valid under specific integrability, support or boundary conditions and on domains with required regularity; constants depend on domain and normalization and may fail in weighted or singular contexts.

Semantic Tension

Close to Gagliardo–Nirenberg and Poincaré inequalities; the Sobolev inequality emphasizes scaling and critical exponents, whereas Gagliardo–Nirenberg mixes different norms and interpolation effects.

Synthesis

A Sobolev inequality is a scaling-consistent quantitative statement that translates control of derivatives into control of function norms, with critical exponents marking thresholds between different qualitative behaviors.