The Banach space of functions on a domain whose weak derivatives up to integer order k belong to L^p; equipped with the norm combining L^p norms of all derivatives of order ≤ k, it encodes both integrability and (weak) smoothness.

Principle

Define weak derivatives in the distributional sense, require each derivative of order ≤ k to be in L^p, and complete C_c^∞ (or C^∞) under the norm ||u||_{W^{k,p}} = (∑_{|α|≤k} ||D^α u||_{L^p}^p)^{1/p} (or the p-sum analogue) to obtain W^{k,p}.

Demonstration

W^{1,2}(Ω) on a bounded Lipschitz domain Ω is the standard energy space for elliptic PDEs; solutions with finite Dirichlet energy belong to W^{1,2}, enabling variational formulations and compact embeddings into L^2 or Hölder spaces under dimension-dependent conditions.

Misapplication

Treating membership in a Sobolev space as pointwise differentiability everywhere—claiming classical derivatives exist at all points—or ignoring boundary trace and extension issues when applying embedding theorems on irregular domains.

Consequence

Sobolev spaces provide the natural functional setting for weak formulations of PDEs, interpolation and compactness results, and regularity theory; control of W^{k,p} norms yields quantitative estimates on solutions and their derivatives in the weak sense.

Reversal

Contrast with C^k or C^{k,α} spaces of classically differentiable functions: Sobolev spaces relax pointwise differentiability to integrable weak derivatives, so functions may be less regular pointwise while still amenable to variational methods.

Boundary

Defined relative to a domain and Lebesgue measure; properties depend on domain regularity, integrability exponent p and derivative order k. For fractional orders or non-integer smoothness, Besov or fractional Sobolev spaces replace W^{k,p}.

Semantic Tension

Often compared with Hölder and Besov scales: Sobolev spaces emphasize integrability of derivatives and are natural for L^p-based PDE theory, while Hölder spaces capture pointwise regularity and continuity, leading to different embedding conclusions.

Synthesis

W^{k,p} is the Banach space of functions whose distributional derivatives up to order k lie in L^p, providing the canonical integrability–regularity framework for weak solutions, variational analysis and PDE estimates.