Compact embedding of Hölder spaces
= Compact embedding of Hölder spaces
On a bounded regular domain, a bounded subset of $C^{k,\alpha}$ is relatively compact in $C^{l,\beta}$ whenever $k+\alpha>l+\beta$. This is an <Arzela-Ascoli theorem> argument applied successively to the derivatives.