Rellich-Kondrachov type theorems on the half-space with general singular weights

This paper establishes necessary and sufficient conditions for the compactness of the embedding Hμw1(HN+1)Lμw2(HN+1)H_{\mu_w}^1(\mathbb{H}^{N+1}) \hookrightarrow L_{\mu_w}^2(\mathbb{H}^{N+1}) on the half-space with general singular weights, proving that compactness holds if and only if the measure has finite mass and satisfies a global tightness condition characterized by coercive tail inequalities and, in singular cases, weighted Hardy inequalities.

Yunfan Zhao, Xiaojing ChenTue, 10 Ma🔢 math