An Improved Compact Embedding Theorem for Degenerate Sobolev Spaces

This short note investigates the compact embedding of degenerate matrix weighted Sobolev spaces into weighted Lebesgue spaces. The Sobolev spaces explored are defined as the abstract completion of Lipschitz functions in a bounded domain $Omega$ with respect to the norm: $$|f|_{QH^{1,p}(v,mu;Omega)} = |f|_{L^p_v(Omega)} + | abla f|_{mathcal{L}^p_Q(mu;Omega)}$$ where the weight $v$ is comparable to a power of the pointwise operator norm of the matrix valued function $Q=Q(x)$ in $Omega$. Following our main theorem, we give an explicit application where degeneracy is controlled through an ellipticity condition of the form $$w(x)|xi|^p leq left(xicdot Q(x)xiright)^{p/2}leq tau(x)|xi|^p$$ for a pair of $p$-admissible weights $wleq tau$ in $Omega$. We also give explicit examples demonstrating the sharpness of our hypotheses.