Rellich–Kondrachov theorem

Rellich–Kondrachov theorem
Name	Rellich–Kondrachov theorem
Field	Functional analysis, Partial differential equations
Proved	1930s–1950s
Contributors	Franz Rellich, Vladimir Kondrachov

Rellich–Kondrachov theorem The Rellich–Kondrachov theorem is a compactness result in functional analysis asserting that certain Sobolev embeddings are compact; it links properties of Sobolev spaces on bounded domains to spectral theory and elliptic regularity, influencing work in Hilbert space methods, variational calculus, and elliptic boundary value problems. The theorem underpins existence proofs in problems associated with names such as Hilbert, Sobolev, and Weyl, and connects to classical results by Poincaré, Riesz, and Friedrichs.

Statement

In its standard form the theorem states that for a bounded open set Ω in Euclidean space R^n with sufficient regularity, the embedding of the Sobolev space W^{k,p}(Ω) into L^q(Ω) (or into C^{0,α}(Ω) in certain cases) is compact when the Sobolev embedding is continuous and when q is strictly less than the critical exponent given by Sobolev's inequality. This statement ties together the work of Sobolev with compact operator theory associated with names such as Fredholm, Hilbert, and Riesz, and it is often formulated alongside estimates from Calderón and Zygmund, Hölder, and Morrey.

History and naming

The result is named after Franz Rellich and Vladimir Kondrachov, whose contributions emerged in the context of spectral theory and boundary value problems in the early twentieth century. Rellich's investigations of eigenfunction expansions and spectral asymptotics relate to Weyl and Courant, while Kondrachov's embedding results connect to Sobolev and Gelfand; subsequent expositions by Lions, Stampacchia, and Agmon integrated the theorem into the modern theory of elliptic operators and variational methods developed in the schools of Hilbert, von Neumann, and Noether.

Proofs and techniques

Proofs of the theorem combine compactness criteria due to Riesz and Fréchet with inequalities and interpolation techniques linked to Sobolev, Gagliardo, and Nirenberg. Typical approaches use covering arguments and mollification related to Littlewood–Paley theory tied to Calderón, Peetre, and Stein, or rely on Rellich-type identities reminiscent of Green and Gauss, invoking tools from Fourier analysis developed by Plancherel, Parseval, and Paley. Variants of the proof employ spectral decompositions a la Sturm–Liouville, Mercer, and Weyl, or concentration-compactness methods introduced by Lions with influences from Palais and Smale.

Variants and generalizations

Generalizations extend the compactness conclusion to manifolds and metric measure spaces under curvature or doubling conditions, building on work by Cheeger, Gromov, and Bishop, and on geometric analysis traditions associated with Yau, Perelman, and Schoen. Weighted and anisotropic variants invoke Muckenhoupt, Stein, and Triebel, while fractional and nonlocal analogues tie to Caffarelli, Silvestre, and fractional Laplacian investigations influenced by Kato and Kohn. Extensions also appear in the context of Besov and Triebel–Lizorkin scales studied by Peetre, Triebel, and Nikol'skiĭ, and in probabilistic formulations connected to Kolmogorov and Doob.

Applications

The theorem is central to existence results for elliptic partial differential equations as in the Dirichlet and Neumann problems examined by Dirichlet, Neumann, and Green, and to minimization problems in the calculus of variations pursued by Euler, Lagrange, and Noether. It underlies compactness arguments in nonlinear analysis used by Leray and Schauder, bifurcation theory influenced by Rabinowitz, and eigenvalue convergence results associated with Courant, Hilbert, and Kato. In mathematical physics contexts, compact embeddings inform spectral gaps in Schrödinger operators studied by Schrödinger, Born, and Fermi, and appear in fluid dynamics work tracing back to Navier and Stokes.

Examples and counterexamples

Classical examples verify compact embedding for smooth bounded domains like balls and rectangles in Euclidean space, echoing constructions familiar from Euler's variational problems and Sturm–Liouville theory. Counterexamples arise for unbounded domains such as R^n (where translations prevent compactness), or for domains with cusp singularities failing regularity conditions tied to Riemann and Euler, illustrating limitations paralleling results by Maz'ya and Kufner. Further pathological examples exploit sequences concentrating near the boundary, related to phenomena studied by Sobolev, Talenti, and Lions in concentration-compactness analyses.

Category:Functional analysis