Rellich–Kondrachov Compactness Theorem
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A theorem asserting that certain Sobolev space embeddings (e.g., W^{1,p}(Ω) into L^q(Ω) or C^0(Ω) under appropriate exponent and regularity relations) are compact when the domain Ω is bounded and has suitable regularity.