Related papers: How to Recognise Extension domains
Bourgain et al.(2001) proved that for $p>1$ and smooth bounded domain $\Omega\subseteq\mathbb{R}^N$, \begin{equation*} \lim\limits_{s\to1}(1-s)\iint \limits_{\Omega \times \Omega}\frac{\lvert f(x)-f(y) \rvert^p}{\lvert x-y \rvert^{N+sp}}dx…
We characterize bounded simply-connected planar $W^{1,p}$-extension domains for $1 < p <2$ as those bounded domains $\Omega \subset \mathbb R^2$ for which any two points $z_1,z_2 \in \mathbb R^2 \setminus \Omega$ can be connected with a…
Let $\Omega\subset\mathbb{R}^n$ be a bounded $(\varepsilon,\infty)$-domain with $\varepsilon\in(0,1]$, $X(\mathbb{R}^n)$ a ball Banach function space satisfying some extra mild assumptions, and $\{\rho_\nu\}_{\nu\in(0,\nu_0)}$ with…
We give a necessary condition for a domain to have a bounded extension operator from $L^{1,p}(\Omega)$ to $L^{1,p}(\mathbb R^n)$ for the range $1 < p < 2$. The condition is given in terms of a power of the distance to the boundary of…
In this paper, we study the relationship between Sobolev extension domains and homogeneous Sobolev extension domains. Precisely, we obtain the following results. 1- Let $1\leq q\leq p\leq \infty$. Then a bounded $(L^{1, p}, L^{1,…
Consider a Lipschitz domain $\Omega$ and a measurable function $\mu$ supported in $\overline\Omega$ with $\left\|{\mu}\right\|_{L^\infty}<1$. Then the derivatives of a quasiconformal solution of the Beltrami equation $\overline{\partial} f…
We describe a class of Sobolev $W^k_p$-extension domains $\Omega\subset R^n$ determined by a certain inner subhyperbolic metric in $\Omega$. This enables us to characterize finitely connected Sobolev $W^1_p$-extension domains in $R^2$ for…
Let $n\ge2$ and $\phi : [0,\fz) \to [0,\infty)$ be a Young's function satisfying $\sup_{x>0} \int_0^1\frac{\phi( t x)}{ \phi(x)}\frac{dt}{t^{n+1} }<\infty. $ We show that Ahlfors $n$-regular domains are Besov-Orlicz ${\dot {\bf B}}^{\phi}$…
Let $\mathbb X$ and $\mathbb Y$ be $\ell$-connected Jordan domains, $\ell \in \mathbb N$, with rectifiable boundaries in the complex plane. We prove that any boundary homeomorphism $\varphi \colon \partial \mathbb X \to \partial \mathbb Y$…
Given a bounded domain $\Omega \subset \mathbb{R}^n$, a result by Bourgain, Brezis, and Mironescu characterizes when a function $f \in L^p(\Omega)$ is in the Sobolev space $W^{1,p}(\Omega)$ based on the limiting behavior of its Besov…
We prove an asymptotically sharp dimension upper-bound for the boundary of bounded simply-connected planar Sobolev $W^{1,p}$-extension domains via the weak mean porosity of the boundary. The sharpness of our estimate is shown by examples.
A well-known result is that any Lipschitz domain is an extension domain for $W^{s,p}$. This paper extends this result to Lipschitz subsets of compact Lipschitz submanifolds of $\mathbb{R}^n$. We adapt the construction of an extension…
Let $n\geq 2$ and $1\leq q<p<\fz$. We prove that if $\Omega\subset\mathbb R^n$ is a Sobolev $(p, q)$-extension domain, with additional capacitory restrictions on boundary in the case $q\leq n-1$, $n>2$, then $|\partial\Omega|=0$. In the…
We consider integral inequalities in the sense of Choquet with respect to the Hausdorff content $\mathcal{H}_\infty^{\delta}$. In particular, if $\Omega$ is a bounded John domain in $\mathbb{R}^n$, $n\geq 2$, and $0 <\delta \le n$, we prove…
We prove that a trace inequality holds for John domains $\Omega$ satisfying $$ \mathcal H^{n-1}(\partial \Omega\setminus \partial_*\Omega)=0,$$ where $\partial_*\Omega$ denotes the measure-theoretic boundary, together with an upper density…
We prove that given any positive integer $k$, for each open set $\Omega$ and any closed subset $D$ of its closure such that $\Omega$ is locally an (epsilon,delta)-domain near points in the boundary of $\Omega$ not contained in $D$ there…
Let $\Omega\subset\mathbb{R}^\nu$, $\nu\ge 2$, be a $C^{1,1}$ domain whose boundary $\partial\Omega$ is either compact or behaves suitably at infinity. For $p\in(1,\infty)$ and $\alpha>0$, define \[…
We show that a proper open subset $\Omega\subset \mathbb{R}^n$ is an extension domain for $H^p$ ($0<p\le1$), if and only if it satisfies a certain geometric condition. When $n(\frac{1}{p}-1)\in \mathbb{N}$ this condition is equivalent to…
We show that a bounded domain in a Euclidean space is a $W^{1,1}$-extension domain if and only if it is a strong $BV$-extension domain. In the planar case, bounded and strong $BV$-extension domains are shown to be exactly those…
This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(\Omega)$ to $L^{p}(\Omega)$ for a bounded domain $\Omega\subset\mathbb{R}^N~(N\in\mathbb{N})$, where $1\leq q\leq p\leq \infty$. To obtain this value, we…