Related papers: Sobolev embedding theorem and subanalytic measures
It has been known since 1996 that a lower bound for the measure, $\mu(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…
We focus on the Sobolev spaces of bounded subanalytic submanifolds of $\mathbb{R}^n$. We prove that if $M$ is such a manifold then the space $\mathscr{C}_0^\infty(M)$ is dense in $W^{1,p}(M,\partial M)$ (the kernel of the trace operator)…
This paper studies the inclusions between different Sobolev-Lorentz spaces $W^{1,(p,q)}(\Omega)$ defined on open sets $\Omega \subset {\mathbf{R}^n},$ where $n \ge 1$ is an integer, $1<p<\infty$ and $1 \le q \le \infty.$ We prove that if $1…
In this article, we study homeomorphisms $\varphi: \Omega \to \widetilde{\Omega}$ that generate embedding operators in Sobolev classes on metric measure spaces $X$ by the composition rule $\varphi^{\ast}(f)=f\circ\varphi$. In turn, this…
We prove a general criterion for the density in energy of suitable subalgebras of Lipschitz functions in the metric-Sobolev space $H^{1,p}(X,\mathsf{d},\mathfrak{m})$ associated with a positive and finite Borel measure $\mathfrak{m}$ in a…
Let $L^{m,p}(\mathbb{R}^n)$ be the homogeneous Sobolev space for $p \in (n,\infty)$, $\mu$ be a Borel regular measure on $\mathbb{R}^n$, and $L^{m,p}(\mathbb{R}^n) + L^p(d\mu)$ be the space of Borel measurable functions with finite seminorm…
In this paper, we investigate the relation between Sobolev-type embeddings of Haj{\l}asz-Besov spaces (and also Haj{\l}asz-Triebel-Lizorkin spaces) defined on a metric measure space $(X,d,\mu)$ and lower bound for the measure $\mu.$ We…
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,\mu),$ then a constant $C$ exists such that $\mu(B(x,r))\geq Cr^n$ for all $x\in X$ and all $0<r\leq 1,$…
Let $P_{\alpha} f(x,t)$ be the Caffarelli-Silvestre extension of a smooth function $f(x): \mathbb{R}^n \rightarrow \mathbb{R}^{n+1}_+:=\mathbb{R}^n\times (0,\infty).$ The purpose of this article is twofold. Firstly, we want to characterize…
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…
In this paper, we are concerned with some qualitative properties of the new fractional Musielak-Sobolev spaces $W^sL_{\varPhi_{x,y}}$ such that the generalized Poincar\'e type inequality and some continuous and compact embedding theorems of…
In this article, we give probabilistic versions of Sobolev embeddings on any Riemannian manifold $(M,g)$. More precisely, we prove that for natural probability measures on $L^2(M)$, almost every function belong to all spaces $L^p(M)$,…
We discuss boundedness and compactness properties of the embedding $M_\Lambda^1\subset L^1(\mu)$, where $M_\Lambda^1$ is the closure of the monomials $x^{\lambda_n}$ in $L1([0,1])$ and $\mu$ is a finite positive Borel measure on the…
Sobolev-type embeddings on metric measure spaces encode a subtle interaction between the analytic regularity of functions and the geometry of the underlying domain space. In this paper we develop an embedding theory for variable…
The Riemann Mapping Theorem states existence of a conformal homeomorphism $\varphi$ of a simply connected plane domain $\Omega\subset\mathbb C$ with non-empty boundary onto the unit disc $\mathbb D\subset \mathbb C$. In the first part of…
Let $\Omega $ be an open subset of $\mathbb{R}^{N}$, and let $p,\, q:\Omega \rightarrow \left[ 1,\infty \right] $ be measurable functions. We give a necessary and sufficient condition for the embedding of the variable exponent space…
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…
We show that a domain is an extension domain for a Haj\l asz-Besov or for a Haj\l asz-Triebel-Lizorkin space if and only if it satisfies a measure density condition. We use a modification of the Whitney extension where integral averages are…
This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic…
In unbounded subset $\Omega$ in $R^n$ we study the operator $u\rightarrow gu$ as an operator defined in the Sobolev space $W^{r,p}(\Omega)$ and which takes values in $L^p(\Omega)$. The functions $g$ belong to wider spaces of $L^p$ connected…