Related papers: Characterization of functions with zero traces via…
Given a bounded Lipschitz domain $\omega\subset\mathbb{R}^{d-1}$ and a lower semicontinuous function $W:\mathbb{R}^N\to\mathbb{R}_+\cup\{+\infty\}$ that vanishes on a finite set and that is bounded from below by a positive constant at…
In this note, we introduce a variant of Calder\'on and Zygmund's notion of $L^p$-differentiability - an \emph{$L^p$-Taylor approximation}. Our first result is that functions in the Sobolev space $W^{1,p}(\mathbb{R}^N)$ possess a first order…
We study mapping properties of the centered Hardy--Littlewood maximal operator $\mathcal{M}$ acting on Lorentz spaces. Given $p \in (1,\infty)$ and a metric measure space $\mathfrak{X}$ we let $\Omega^p_{\rm HL}(\mathfrak{X}) \subset…
We aim to contribute to the folklore of function spaces on Lipschitz domains. We prove the boundedness of the trace operator for homogeneous Sobolev and Besov spaces on a special Lipschitz domain with sharp regularity. To achieve this, we…
We prove the continuity of Sobolev functions $\varphi \in W^{1,n}_{\mathrm{loc}}(\Omega)$, $\Omega \subset \mathbb{R}^n$, that satisfy \[ \lvert\nabla \varphi(x)\rvert^n \le K(x)\bigl(\langle \nabla \varphi(x), \xi(x)\rangle + A(x)\bigr),…
We characterize when an Orlicz space $L^A$ is almost compactly (uniformly absolutely continuously) embedded into a Lorentz space $L^{p,q}$ in terms of a balance condition involving parameters $p,q\in[1,\infty]$, and a Young function $A$. In…
If $\Omega$ is an open subset of $\mathbb{R}$ and $p>0$ then the elements of $W^{1,p}(\Omega)$ can be seen as the pairs $(f,F)\in L^p(\Omega)\times (L^p(\Omega))^d$ such that there exists a sequence $(f_n)_n$ of $C^1$ functions converging…
In this paper we study approximations of functions of Sobolev spaces $W^2_{p,\loc}(\Omega)$, $\Omega\subset\mathbb R^n$, by Lipschitz continuous functions. We prove that if $f\in W^2_{p,\loc}(\Omega)$, $1\leq p<\infty$, then there exists a…
Consider the following inequalities due to Caffarelli, Kohn and Nirenberg {\it (Compositio Mathematica,1984):} $$\Big(\int_\Omega \frac{|u|^r}{|x|^s}dx\Big)^{\frac{1}{r}}\leq C(p,q,r,\mu,\sigma,s)\Big(\int_\Omega \frac{|\nabla…
We consider weighted $L^p$-Hardy inequalities involving the distance to the boundary of a domain in the $n$-dimensional Euclidean space with nonempty boundary. Using criticality theory, we give an alternative proof of the following result…
Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and $1 < p < \infty$. We characterize $(1,p)$-extension domains in terms of inequalities of Bourgain--Brezis--Mironescu type. More precisely, we show that $\Omega$ is a $(1,p)$-extension…
Let $\Omega$ be a smooth, bounded domain of $\mathbb{R}^{N}$, $\omega$ be a positive, $L^{1}$-normalized function, and $0<s<1<p.$ We study the asymptotic behavior, as $p\rightarrow\infty,$ of the pair $\left( \sqrt[p]{\Lambda_{p}%…
Let $(E,\|.\|)$ be a Banach space and let $(\Omega,\mu)$ be a Lebesgue measure space. We characterize, for all $p>0$, measurable functions $u:\Omega\rightarrow \mathbb{R}$ for which \begin{equation*} \left\| \int_{\Omega} f\,d\mu…
The $L^{p,\infty}$ quasi-norm of functions on a measure space can be characterized in terms of their pairing with normalized characteristic functions. We generalize this result to the case of the outer $L^{p,\infty}$ quasi-norms for…
The paper deals with a nontrivial density result for $C^m(\overline{\Omega})$ functions, with $m\in{\mathbb N}\cup\{\infty\}$, in the space $$W^{k,\ell,p}(\Omega;\Gamma)= \left\{u\in W^{k,p}(\Omega): u_{|\Gamma}\in…
Given an open subset $\Omega$ of a Banach space and a Lipschitz function $u_0: \overline{\Omega} \to \mathbb{R},$ we study whether it is possible to approximate $u_0$ uniformly on $\Omega$ by $C^k$-smooth Lipschitz functions which coincide…
We study the approximative trace for individual elements in the Sobolev space $W^{1,p}(\Omega)$ for $1\le p\le\infty$. This notion of a trace was introduced for $p=2$ in [AtE11] in the setting of general open sets…
For each $p>n$ we use local oscillations to give intrinsic characterizations of the trace of the Sobolev space $W^1_p(\Omega)$ to the boundary of an arbitrary domain $\Omega\subset R^n$.
We describe the Lorentz space $L(p, r), 0 < r < p, p > 1$, in terms of Orlicz type classes of functions L . As a consequence of this result it follows that Stein's characterization of the real functions on $R^n$ that are differentiable at…
For a bounded domain $\Omega\subset\mathbb{R}^m, m\geq 2,$ of class $C^0$, the properties are studied of fields of `good directions', that is the directions with respect to which $\partial\Omega$ can be locally represented as the graph of a…