# An Improved Compact Embedding Theorem for Degenerate Sobolev Spaces

## TL;DR

This paper presents an improved compact embedding theorem for degenerate Sobolev spaces with matrix weights, providing explicit conditions and examples that demonstrate the sharpness of the results.

## Contribution

It introduces a refined compact embedding theorem for degenerate matrix weighted Sobolev spaces and offers explicit applications and examples illustrating the sharpness of the conditions.

## Key findings

- Established a new compact embedding theorem for degenerate Sobolev spaces.
- Provided explicit ellipticity conditions controlling degeneracy.
- Demonstrated the sharpness of hypotheses with concrete examples.

## Abstract

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)} + \|\nabla 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(\xi\cdot Q(x)\xi\right)^{p/2}\leq \tau(x)|\xi|^p$$ for a pair of $p$-admissible weights $w\leq \tau$ in $\Omega$. We also give explicit examples demonstrating the sharpness of our hypotheses.