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.
We deal with Orlicz-Sobolev embeddings in open subsets of $\mathbb{R}^n$. A necessary and sufficient condition is established for the existence of an optimal, i.e. largest possible, Orlicz-Sobolev space continuously embedded into a given Orlicz space. Moreover, the optimal Orlicz-Sobolev space is exhibited whenever it exists. Parallel questions are addressed for Orlicz-Sobolev embeddings into Orlicz spaces with respect to a Frostman measure, and, in particular, for trace embeddings on the boundary.
It has been known since 1996 that a lower bound for the measure, $μ(B(x,r))\geq br^s$, implies Sobolev embedding theorems for Sobolev spaces $M^{1,p}$ defined on metric-measure spaces. We prove that, in fact Sobolev embeddings for $M^{1,p}$ spaces are equivalent to the lower bound of the measure.
By a stronger compact boundary embedding theorem in Musielak-Orlicz-Sobolev space developed in the paper, variational method is employed to deal with the nonlinear elliptic equation with the nonlinear Neumann boundary condition in the framework of Musielak-Orlicz-Sobolev space.
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 present a method for determining whether there exists a largest Orlicz space $L^A(Ω)$ satisfying the Sobolev embedding $W^mL^A(Ω) \to Y(Ω)$ where $Y(Ω)$ stands for an arbitrary so-called Marcinkiewicz endpoint space. The tool developed in this work enables us to investigate the optimality of Orlicz domain spaces in Sobolev embeddings and also in Sobolev trace embeddings on domains $Ω$ in $\mathbb{R}^n$ with various regularity.
We provide a necessary condition on the regularity of domains for the optimal embeddings of first order (and higher order) Orlicz-Sobolev spaces into Orlicz spaces in the sense of \cite{Cia96} (and \cite{Cia06}).
The optimal Orlicz target space is exhibited for embeddings of fractional-order Orlicz-Sobolev spaces in $\mathbb R^n$. An improved embedding with an Orlicz-Lorentz target space, which is optimal in the broader class of all rearrangement-invariant spaces, is also established. Both spaces of order $s\in (0,1)$, and higher-order spaces are considered. Related Hardy type inequalities are proposed as well. An extension theorem is proved, that enables us to derive embeddings for spaces defined in Lipschitz domains. Necessary and sufficient conditions for the compactness of fractional Orlicz-Sobolev…
A comprehensive approach to Sobolev-type embeddings, involving arbitrary rearrangement- invariant norms on the entire Euclidean space R^n, is offered. In particular, the optimal target space in any such embedding is exhibited. Crucial in our analysis is a new reduction principle for the relevant embeddings, showing their equivalence to a couple of considerably simpler one-dimensional inequalities. Applications to the classes of the Orlicz-Sobolev and the Lorentz-Sobolev spaces are also presented. These contributions fill in a gap in the existing literature, where sharp results in such a genera…
In this article, we study the relation between Sobolev-type embeddings for Sobolev spaces or Besov spaces or Triebel-Lizorkin spaces defined either on a doubling or on a geodesic metric measure space and lower bound for measure of balls either in the whole space or in a domain inside the space.
In this paper, we study a family of general fractional Sobolev spaces $\MsqpOm$ when $\Om=\Rn$ or $\Om$ is a bounded domain, having a compact, Lipschitz boundary $\Bdy$, in $\Rn$ for $n\geq2$. Among other results, some compact embedding results of $\MVsqpRn\hookrightarrow\LqRn$ and $\MVsqpRn\hookrightarrow\LlRn$ for suitable potential functions $V(x)$ are described.
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.
Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of $\mathbb R^n$ endowed with measures whose decay on balls is dominated by a power $d$ of their radius. Norms in arbitrary rearrangement-invariant spaces are contemplated. A comprehensive approach is proposed based on the reduction of the relevant $n$-dimensional embeddings to one-dimensional Hardy-type inequalities. Interestingly, the latter inequalities depend on the involved measure only through the power $d$. Our results allow for the detection of the optimal target space in Sobolev embeddings, for broa…
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 asymptotically sharp upper and lower bounds for the approximation numbers of the compact Sobolev embeddings $\overset{\circ}{W}{^m}(Ω)\hookrightarrow L_2(Ω)$ and $ W^m(Ω)\hookrightarrow L_2(Ω)$, defined on a bounded domain $Ω\subset\mathbb{R}^d$, involving explicit constants depending on $m$ and $d$. The key of proof is to relate the approximation problems to certain Dirichlet and Neumann eigenvalue problems.
In this paper we prove the Sobolev embeddings for Herz-type Triebel-Lizorkin spaces, \begin{equation*} \dot{K}_{q}^{α_{2},r}F_{θ}^{s_{2}}\hookrightarrow \dot{K}%_{s}^{α_{1},p}F_{β}^{s_{1}} \end{equation*} where the parameters $α_{1},α_{2},s_{1},s_{2},s,q,r,p,β$ and $θ$ satisfy some suitable conditions. An application we obtain new embeddings between Herz and Triebel-Lizorkin spaces. Moreover, we present the Sobolev embeddings for Triebel-Lizorkin spaces equipped with power weights. All these results cover the results on classical Triebel-Lizorkin spaces.
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 …
For limiting non-compact Sobolev embeddings into continuous functions we study behavior of Approximation, Gelfand, Kolmogorov, Bernstein and Isomorphism s-numbers. In the one dimensional case the exact values of the above-mentioned strict s-numbers were obtained and in the higher dimensions sharp estimates for asymptotic behavior of strict s-numbers were established. As all known results for s-numbers of Sobolev type embeddings are studied mainly under the compactness assumption then our work is an extension of existing results and reveal an interesting behavior of s-numbers in the limiting ca…
We prove that if the Sobolev embedding $M^{1,p}(X)\hookrightarrow L^q(X)$ holds for some $q>p\geq 1$ in a metric measure space $(X,d,μ),$ then a constant $C$ exists such that $μ(B(x,r))\geq Cr^n$ for all $x\in X$ and all $0<r\leq 1,$ where $\frac{1}{p}-\frac{1}{q}=\frac{1}{n}.$ This was proved in \cite{Gor17} assuming a doubling condition on the measure $μ.$
For many known non-compact embeddings of two Banach spaces $E\hookrightarrow F$, every bounded sequence in $E$ has a subsequence that takes form of a profile decomposition - a sum of clearly structured terms with asymptotically disjoint supports plus a remainder that vanishes in the norm of $F$. In this note we construct a profile decomposition for arbitrary sequences in the Sobolev space $H^{1,2}(M)$ of a compact Riemannian manifold, relative to the embedding of $H^{1,2}(M)$ into $L^{2^*}(M)$, generalizing the well-known profile decomposition of Struwe ([Proposition 2.1]{Struwe}) to the case …
We investigate the existence of embeddings of shearlet coorbit spaces associated to weighted mixed $L^p$-spaces into classical Sobolev spaces in dimension three by using the description of coorbit spaces as decomposition spaces. This different perspective on these spaces enables the application of embedding results that allow the complete characterization of embeddings for certain integrability exponents, and thus provides access to a deeper understanding of the smoothness properties of coorbit spaces, and of the influence of the choice of shearlet groups on these properties. We give a detaile…
The embedding constants of the Sobolev spaces $\mathring{W}^n_2[0;1] \hookrightarrow \mathring{W}^k_\infty[0; 1]$ ($0\leqslant k \leqslant n-1$) are studied. A relation of the embedding constants with the norms of the functionals $f\mapsto f^{(k)}(a)$ in the space $\mathring{W}^n_2[0;1]$ is given. An explicit form of the functions $g_{n;k}\in \mathring{W}^n_2[0;1]$ on which these functionals attain their norm is found. These functions are also to be extremal for the embedding constants. A relation of the embedding constants to the Legendre polynomials is put forward. A detailed study is made o…
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…
This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(Ω)$ to $L^{p}(Ω)$ for a bounded domain $Ω\subset\mathbb{R}^N~(N\in\mathbb{N})$, where $1\leq q\leq p\leq \infty$. To obtain this value, we previously proposed a formula for estimating the embedding constant on bounded and unbounded Lipschitz domains by estimating the norm of Stein's extension operator, in the article (K. Tanaka, K. Sekine, M. Mizuguchi, and S. Oishi, Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator, Journal of Inequalities and A…
The continouity and compactness of embedding operators in in Sobolev-Lions type spaces are derived. By applying this result separability properties of degenerate anisotropic differential operator equations, well-posedeness and Strichartz type estimates for solution of corresponding parabolic problem are established
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.
