Rellich-Kondrashov compactness theorem for H01
= Rellich-Kondrashov compactness theorem for H01
{c}
This is the zero-boundary special case of the <Rellich-Kondrachov theorem>. For every bounded open $\Omega\subset\mathbb R^d$, the inclusion $H_0^1(\Omega)\hookrightarrow L^2(\Omega)$ is compact.