Related papers: Traces of Sobolev functions and higher integrabili…
We propose a functional framework of fractional Sobolev spaces for a class of ultra-parabolic Kolmogorov type operators satisfying the weak H\"ormander condition. We characterize these spaces as real interpolation of natural order intrinic…
We prove an optimal extension and trace theorem for Sobolev spaces of nonlocal operators. The extension is given by a suitable Poisson integral and solves the corresponding nonlocal Dirichlet problem. We give a Douglas-type formula for the…
We study the boundary traces of Newton-Sobolev, Hajlasz-Sobolev, and BV (bounded variation) functions. Assuming less regularity of the domain than is usually done in the literature, we show that all of these function classes achieve the…
Given $(M, g)$ a smooth compact $(n+1)$-dimensional Riemannian manifold with boundary $\partial M$. Let $\rho$ be a defining function of $M$ and $\sigma \in(0,1)$. In this paper we study a weighted Sobolev-Poincar\'e type trace inequality…
We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise…
We develop a new method suitable for establishing lower bounds on the ball measure of noncompactness of operators acting between considerably general quasinormed function spaces. This new method removes some of the restrictions…
In these notes, we present versions of trace theorems for Sobolev spaces over an interval in the real line, and also a one-dimensional version of the well-known Poincare inequality.
In this paper we present a new characterization of the Sobolev space $W^{1,p}$, $1<p<\infty$ which is a higher dimensional version of a result of Waterman. We also provide a new and simplified proof of a recent result of Alabern, Mateu and…
We prove boundary higher integrability for the (spatial) gradient of \emph{very weak} solutions of quasilinear parabolic equations of the form $$ \left\{ \begin{array}{ll} u_t - div \mathcal{A}(x,t,\nabla u) = 0 &\quad \text{on} \ \Omega…
Solutions to elliptic equations often exhibit higher regularity properties such as \emph{higher integrability}. That is, for instance, a solution $u$ to a system that a priori only satisfies $ u \in W^{1,r}$ is more regular and even in the…
We obtain an improved Sobolev inequality in H^s spaces involving Morrey norms. This refinement yields a direct proof of the existence of optimizers and the compactness up to symmetry of optimizing sequences for the usual Sobolev embedding.…
In this paper, we solve the Dirichlet problem for Sobolev maps between singular metric spaces that extends the corresponding result of Guo and Wenger [Comm. Anal. Geom. 2020]. The main new ingredient in our proofs is a suitable extension of…
In this paper, we discuss the trace operator for homogeneous fractional Sobolev spaces over infinite strip-like domains. We determine intrinsic seminorms on the trace space that allow for a bounded right inverse. The intrinsic seminorm…
For a general open set, we characterize the compactness of the embedding $W^{1,p}_0\hookrightarrow L^q$ in terms of the summability of its torsion function. In particular, for $1\le q<p$ we obtain that the embedding is continuous if and…
For each $p>n$ we use local oscillations and doubling measures to give intrinsic characterizations of the restriction of the Sobolev space $W_p^1(R^n)$ to an arbitrary closed subset of $R^n$.
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…
Let $S \subset \mathbb{R}^{n}$ be an arbitrary nonempty compact set such that the $d$-Hausdorff content $\mathcal{H}^{d}_{\infty}(S) > 0$ for some $d \in (0,n]$. For each $p \in (\max\{1,n-d\},n]$, an almost sharp intrinsic description of…
A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…
The paper establishes the Krein and Koplienko trace formulas for multivariable operator functions on symmetrically normed ideals of bounded operators. Results are proved for self-adjoint and maximal dissipative operators. They cover both…
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.