Cocompactness is a property of embeddings between two Banach spaces, similar to but weaker than compactness, defined relative to some non-compact group of bijective isometries. In presence of a cocompact embedding, bounded sequences (in the domain space) have subsequences that can be represented as a sum of a well-structured "bubble decomposition" (or defect of compactness) plus a remainder vanishing in the target space. This note is an exposition of different proofs of cocompactness for Sobolev-type embeddings, which employ methods of classical PDE, potential theory, and harmonic analysis.
We obtain symmetrization inequalities in the context of Fractional Hajlasz-Sobolev spaces in the setting of rearrangement invariant spaces and prove that for a large class of measures our symmetrization inequalities are equivalent to the lower bound of the measure.
We study the embeddings of (homogeneous and inhomogeneous) anisotropic Besov spaces associated to an expansive matrix $A$ into Sobolev spaces, with focus on the influence of $A$ on the embedding behaviour. For a large range of parameters, we derive sharp characterizations of embeddings.
The structure of non-compactness of optimal Sobolev embeddings of $m$-th order into the class of Lebesgue spaces and into that of all rearrangement-invariant function spaces is quantitatively studied. Sharp two-sided estimates of Bernstein numbers of such embeddings are obtained. It is shown that, whereas the optimal Sobolev embedding within the class of Lebesgue spaces is finitely strictly singular, the optimal Sobolev embedding in the class of all rearrangement-invariant function spaces is not even strictly singular.
In this paper we will focus on understanding the relation between Sobolev embedding theorems for Hajłasz-Besov spaces defined on a doubling metric measure space $(Ω,d,μ)$ and the non-collapsing condition of the measure, i.e. \[ \inf_{x\inΩ}μ(B(x,1))>0. \] We will also obtain embedding results for Hajłasz-Besov spaces whose modulus of smoothness is generated by a rearrangement invariant quasi-norm.
In this paper we propose a unified approach, based on limiting interpolation, to investigate the embeddings for the Sobolev space $(\dot{W}^k_p(\mathcal{X}))_0, \, \mathcal{X} \in \{\mathbb{R}^d, \mathbb{T}^d, Ω\}$, in the subcritical case ($k < d/p$), critical case ($k = d/p$) and supercritical case ($k > d/p$). We characterize the Sobolev embeddings in terms of pointwise inequalities involving rearrangements and moduli of smoothness/derivatives of functions and via extrapolation theorems for corresponding smooth function spaces. Applications include Ulyanov-Kolyada type inequalities for rear…
We investigate the relationship between the compactness of embeddings of Sobolev spaces built upon rearrangement-invariant spaces into rearrangement-invariant spaces endowed with $d$-Ahlfors measures under certain restriction on the speed of its decay on balls. We show that the gateway to compactness of such embeddings, while formally describable by means of optimal embeddings and almost-compact embeddings, is quite elusive. It is known that such a Sobolev embedding is not compact when its target space has the optimal fundamental function. We show that, quite surprisingly, such a target space …
We compute the precise value of the measure of noncompactness of Sobolev embeddings $W_0^{1,p}(D)\hookrightarrow L^p(D)$, $p\in(1,\infty)$, on strip-like domains $D$ of the form $\mathbb{R}^k\times\prod\limits_{i=1}^{n-k}(a_i,b_i)$. We show that such embeddings are always maximally noncompact, that is, their measure of noncompactness coincides with their norms. Furthermore, we show that not only the measure of noncompactness but also all strict $s$-numbers of the embeddings in question coincide with their norms. We also prove that the maximal noncompactness of Sobolev embeddings on strip-like …
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é type inequalities. We show how to construct such suitable coverings and Poincaré inequalities. For locally doubling measures, we prove a self-improvement property for two-weighted Poincaré inequalities, which applies also to lower-dimensional m…
A necessary and sufficient condition for fractional Orlicz-Sobolev spaces to be continuously embedded into $L^\infty(\mathbb R^n)$ is exhibited. Under the same assumption, any function from the relevant fractional-order spaces is shown to be continuous. Improvements of this result are also offered. They provide the optimal Orlicz target space, and the optimal rearrangement-invariant target space in the embedding in question. These results complement those already available in the subcritical case, where the embedding into $L^\infty(\mathbb R^n)$ fails. They also augment a classical embedding t…
The embedding relations between Besov-Triebel-Sobolev spaces and modulation spaces are determined explicitly. We extend the results of Sugimoto[2007]; Wang[2007] and Kobayashi[2011] to the most general cases. And we give the sharp embedding between Fourier $L^{p}$ spaces and modulation spaces.
