A family of results that identify when a Sobolev space W^{k,p}(Ω) (or its fractional variants) is continuously or compactly included in a Lebesgue space L^q(Ω), a Hölder space C^{0,α}(Ω), or another Sobolev space; the statements specify relations between derivative order, integrability exponent, and the spatial dimension or regularity of Ω.

Principle

Regularity and integrability trade off: higher weak derivatives or stronger integrability raise pointwise control and compactness, while the ambient dimension and domain geometry determine the critical thresholds for inclusion.

Demonstration

On a bounded Lipschitz domain Ω ⊂ R^n, W^{1,p}(Ω) continuously embeds into L^{p*}(Ω) with p* = np/(n−p) when 1≤pn, then W^{1,p}(Ω) embeds into C^{0,α}(Ω) with α=1−n/p. These formulas give explicit exponents and constants in standard model cases.

Misapplication

Asserting an embedding on an unbounded or fractal domain, or for parameter ranges outside the hypotheses (e.g. claiming W^{1,1}(Ω)→L^{∞}(Ω) in dimension n≥1), leads to false conclusions and invalid compactness assertions.

Consequence

Correct application yields control of pointwise behavior from Sobolev norms, compactness of bounded sequences (Rellich–Kondrachov type), existence of traces on boundaries, and improved regularity for PDE solutions.

Reversal

If the inequality relations fail (e.g. at the critical exponent without further structure), embeddings may be non-compact or false; sequences can concentrate or oscillate to show loss of control and non-convergence.

Boundary

Applies to Sobolev and fractional Sobolev spaces on domains or manifolds satisfying stated regularity; excludes weighted Sobolev spaces, certain singular measures, and many unbounded geometries without modification.

Semantic Tension

Often confused with Sobolev inequalities (which bound norms) or with compactness theorems; the embedding statement focuses on inclusion maps (continuous/compact) whereas related inequalities quantify norm control and constants.

Synthesis

Sobolev embeddngs are precise rules that convert weak derivative and integrability information into stronger integrability or continuity statements, with critical thresholds determined by derivative order, integrability exponents and the geometry/dimension of the domain.