Poincar\'e inequalities and compact embeddings from Sobolev type spaces into weighted $L^q$ spaces on metric spaces

TL;DR

This paper investigates the conditions under which Sobolev type spaces on metric spaces embed compactly into weighted L^q spaces, including fractional and nondoubling measures, with applications to fractals and boundary traces.

Contribution

It provides a general framework for establishing compact embeddings using covering families and Poincaré inequalities, extending classical results to fractals and lower-dimensional measures.

Findings

Characterization of compact embeddings for Newtonian spaces.

Self-improvement of two-weighted Poincaré inequalities for locally doubling measures.

Recovery of classical embedding theorems on fractals and domains.

Abstract

We study compactness and boundedness of embeddings from Sobolev type spaces on metric spaces into $L^q$ spaces with respect to another measure. The considered Sobolev spaces can be of fractional order and some statements allow also nondoubling measures. Our results are formulated in a general form, using sequences of covering families and local Poincar\'e type inequalities. We show how to construct such suitable coverings and Poincar\'e inequalities. For locally doubling measures, we prove a self-improvement property for two-weighted Poincar\'e inequalities, which applies also to lower-dimensional measures. We simultaneously treat various Sobolev spaces, such as the Newtonian, fractional Haj\l asz and Poincar\'e type spaces, for rather general measures and sets, including fractals and domains with fractal boundaries. By considering lower-dimensional measures on the boundaries of such domains, we obtain trace embeddings for the above spaces. In the case of Newtonian spaces we exactly characterize when embeddings into $L^q$ spaces with respect to another measure are compact. Our tools are illustrated by concrete examples. For measures satisfying suitable dimension conditions, we recover several classical embedding theorems on domains and fractal sets in ${\bf R}^n$.