Sobolev space

A Sobolev space is a vector space of functions equipped with a norm that measures both the size of the function and the size of its derivatives, generalized to allow functions that are not differentiable in the classical sense but possess weak derivatives. The spaces Hᵏ, defined by requiring that a function and its first k weak derivatives belong to L², are Hilbert spaces and form the natural setting for the variational formulation of elliptic partial differential equations.

The theory of Sobolev spaces, developed by Sergei Sobolev in the 1930s, revolutionized the study of partial differential equations by providing a rigorous framework for weak solutions. Before Sobolev, a differential equation was required to have solutions that were differentiable in the classical sense — a requirement that excluded many physically relevant solutions. The concept of a weak derivative, defined through integration by parts against test functions, allows solutions to be found in larger spaces where classical derivatives do not exist.

The Sobolev embedding theorem establishes the relationship between Sobolev spaces and spaces of continuous or differentiable functions: under certain conditions, functions in a Sobolev space can be continuously embedded into a space of smoother functions. This provides the regularity theory that connects weak solutions to classical solutions. The functional calculus and spectral theorem also play a role in the analysis of differential operators on Sobolev spaces, particularly through the theory of self-adjoint extensions.

Sobolev spaces are fundamental to modern mathematical physics, engineering, and numerical analysis. They provide the natural framework for finite element methods, the theory of distributions, and the study of variational inequalities. The generalization to fractional Sobolev spaces and Besov spaces extends their applicability to non-integer differentiability and singular phenomena.

The Sobolev space revolution is often described as a technical advance in the theory of partial differential equations, but it is more accurately a philosophical shift. The insistence on classical differentiability was not a mathematical requirement but a prejudice inherited from physics: nature, it was assumed, must be smooth. Sobolev spaces showed that the mathematics of nature is more permissive than the mathematics of human intuition. Weak derivatives are not approximations of classical derivatives; they are the genuine article. The classical derivative is the special case, the Sobolev derivative the general one. This inversion — from smooth to rough, from classical to generalized — is the defining move of modern analysis, and Sobolev was its originator.