Related papers: How to Recognise Extension domains

We prove that for a domain $\Omega \subset \mathbb{R}^n$, being $(\epsilon,\delta)$ in the sense of Jones is equivalent to being an extension domain for bmo$(\Omega)$, the nonhonomogeneous version of the space of function of bounded mean…

We establish the existence and uniqueness of the solution to the Dirichlet problem for the variable exponent $p$-Laplacian on a bounded, smooth domain $\Omega \subset {\mathbb R}^n$, where the boundary datum belongs to $W^{1,p}(\Omega)$.…

Let $(\operatorname{X},\operatorname{d},\mu)$ be a metric measure space with uniformly locally doubling measure $\mu$. Given $p \in (1,\infty)$, assume that $(\operatorname{X},\operatorname{d},\mu)$ supports a weak local $(1,p)$-Poincar\'e…

A relatively polynomially convex subset $V$ of a domain $\Omega$ has the extension property if for every polynomial $p$ there is a bounded holomorphic function $\phi$ on $\Omega$ that agrees with $p$ on $V$ and whose $H^\infty$ norm on…

We collect and extend results on the limit of $\sigma^{1-k}(1-\sigma)^k |v|_{l+\sigma,p,\Omega}^p$ as $\sigma$ tends to $0^+$ or $1^-$, where $\Omega$ is $\mathbb{R}^n$ or a smooth bounded domain, $k$ is 0 or 1, $l$ is a nonnegative…

In the unit ball B(0,1), let $u$ and $\Omega$ (a domain in $\R$) solve the following overdetermined problem: $$\Delta u =\chi_\Omega\quad \hbox{in} B(0,1), \qquad 0 \in \partial \Omega, \qquad u=|\nabla u |=0 \quad \hbox{in} B(0,1)\setminus…

For any convex set $\Omega \subset {\mathbb R} ^N$, we provide a lower bound for the inverse of the Poincar\'e constant in $W ^ {1, 1}(\Omega)$: it refines an inequality in terms of the diameter due to Acosta-Duran, via the addition of an…

We show that fractional (p,p)-Poincar\'e inequalities and even fractional Sobolev-Poincar\'e inequalities hold for bounded John domains, and especially for bounded Lipschitz domains. We also prove sharp fractional (1,p)-Poincar\'e…

We prove the solvability of the Dirichlet problem for the variable exponent $p$-Laplacian with boundary data in $W^{1,p(x)}(\Omega)$ on a bounded, smooth domain $\Omega \subset {\mathbb R}^n$. Our main focus will be on an a.e. finite…

Inspired by recent work of Mourgoglou and the second named author, and earlier work of Hofmann, Mitrea and Taylor, we consider connections between the local John condition, the Harnack chain condition and weak boundary Poincar\'e…

We consider the problem of finding the optimal exponent in the Moser-Trudinger inequality \[ \sup \left\{\int_\Omega \exp{\left(\alpha\,|u|^{\frac{N}{N-s}}\right)}\,\bigg|\,u \in…

We first define the trace on a domain $\Omega$ which is definable in an o-minimal structure. We then show that every function $u\in W^{1,p}(\Omega)$ vanishing on the boundary in the trace sense satisfies Poincar\'e inequality. We finally…

Let $\Omega \subseteq \mathbb{R}^d$ be open and $D\subseteq \partial\Omega$ be a closed part of its boundary. Under very mild assumptions on $\Omega$, we construct a bounded Sobolev extension operator for the Sobolev space $\mathrm{W}^{k ,…

We give a full characterization of embeddings of the unit circle that admit a Sobolev homeomorphic extension to the unit disk. As a direct corollary, we establish that for quasiconvex target domains $\mathbb Y$, any homeomorphism $\varphi…

Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ with $n\ge2$ and $s\in(0,1)$. Assume that $\phi : [0, \infty) \to [0, \infty)$ be a Young function obeying the doubling condition with the constant $K_\phi<2^{\frac{n}{s}}$. We demonstrate…

We study the existence of an extension operator $\Lambda \colon W^{1,\varphi}(\Omega)\to W^{1,\psi}(\mathbb{R}^n)$. We assume that $\varphi \in \Phi_\mathrm{w}(\Omega)$ has generalized Orlicz growth, $\psi \in \Phi_\mathrm{w}(\mathbb{R}^n)$…

Given $p \in (1,\infty)$, let $(\operatorname{X},\operatorname{d},\mu)$ be a metric measure space with uniformly locally doubling measure $\mu$ supporting a weak local $(1,p)$-Poincar\'e inequality. For each $\theta \in [0,p)$, we…

Consider a regular domain $\Omega \subset \mathbb{R}^N$ and let $d(x)=\operatorname{dist}(x,\partial\Omega)$. Denote $L^{1,\infty}_a(\Omega)$ the space of functions from $L^{1,\infty}(\Omega)$ having absolutely continuous quasinorms. This…

For a bounded domain $\Omega\subset \mathbb{R}^n$ and $p>n$, Morrey's inequality implies that there is $c>0$ such that $$ c\|u\|^p_{\infty}\le \int_\Omega|Du|^pdx $$ for each $u$ belonging to the Sobolev space $W^{1,p}_0(\Omega)$. We show…

We study the relationship between Sobolev extension domains and homogeneous Sobolev extension domains. Precisely, for a certain range of exponents $p$ and $q$, we construct a $(W^{1, p}, W^{1, q})$-extension domain which is not an $(L^{1,…