Search results for "46E35"
showing 10 items of 46 documents
Vertical versus horizontal Sobolev spaces
2020
Let $\alpha \geq 0$, $1 < p < \infty$, and let $\mathbb{H}^{n}$ be the Heisenberg group. Folland in 1975 showed that if $f \colon \mathbb{H}^{n} \to \mathbb{R}$ is a function in the horizontal Sobolev space $S^{p}_{2\alpha}(\mathbb{H}^{n})$, then $\varphi f$ belongs to the Euclidean Sobolev space $S^{p}_{\alpha}(\mathbb{R}^{2n + 1})$ for any test function $\varphi$. In short, $S^{p}_{2\alpha}(\mathbb{H}^{n}) \subset S^{p}_{\alpha,\mathrm{loc}}(\mathbb{R}^{2n + 1})$. We show that the localisation can be omitted if one only cares for Sobolev regularity in the vertical direction: the horizontal Sobolev space $S_{2\alpha}^{p}(\mathbb{H}^{n})$ is continuously contained in the vertical Sobolev sp…
Strong BV-extension and W1,1-extension domains
2021
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 $BV$-extension domains for which the set $\partial\Omega \setminus \bigcup_{i} \overline{\Omega}_i$ is purely $1$-unrectifiable, where $\Omega_i$ are the open connected components of $\mathbb{R}^2\setminus\overline{\Omega}$.
Differentiability in the Sobolev space W1,n-1
2014
Let Ω ⊂ Rn be a domain, n ≥ 2. We show that a continuous, open and discrete mapping f ∈ W1,n−1 loc (Ω, Rn ) with integrable inner distortion is differentiable almost everywhere on Ω. As a corollary we get that the branch set of such a mapping has measure zero. peerReviewed
Dimension estimates for the boundary of planar Sobolev extension domains
2020
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.
Generalized Lebesgue points for Sobolev functions
2017
In this article, we show that a function $f\in M^{s,p}(X),$ $0<s\leq 1,$ $0<p<1,$ where $X$ is a doubling metric measure space, has generalized Lebesgue points outside a set of $\mathcal{H}^h$-Hausdorff measure zero for a suitable gauge function $h.$
Poincaré inequalities and Steiner symmetrization
1996
A complete geometric characterization for a general Steiner symmetric domain Ω ⊂ Rn to satisfy the Poincare inequality with exponent p > n−1 is obtained and it is shown that this range of exponents is best possible. In the case where the Steiner symmetric domain is determined by revolving the graph of a Lipschitz continuous function, it is shown that the preceding characterization works for all p > 1 and furthermore for such domains a geometric characterization for a more general Sobolev–Poincare inequality to hold is given. Although the operation of Steiner symmetrization need not always preserve a Poincare inequality, a general class of domains is given for which Poincare inequalities are…
Higher integrability and stability of (p,q)-quasiminimizers
2023
Using purely variational methods, we prove local and global higher integrability results for upper gradients of quasiminimizers of a $(p,q)$-Dirichlet integral with fixed boundary data, assuming it belongs to a slightly better Newtonian space. We also obtain a stability property with respect to the varying exponents $p$ and $q$. The setting is a doubling metric measure space supporting a Poincar\'e inequality.
Loomis-Whitney inequalities in Heisenberg groups
2021
This note concerns Loomis-Whitney inequalities in Heisenberg groups $\mathbb{H}^n$: $$|K| \lesssim \prod_{j=1}^{2n}|\pi_j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb{H}^n.$$ Here $\pi_{j}$, $j=1,\ldots,2n$, are the vertical Heisenberg projections to the hyperplanes $\{x_j=0\}$, respectively, and $|\cdot|$ refers to a natural Haar measure on either $\mathbb{H}^n$, or one of the hyperplanes. The Loomis-Whitney inequality in the first Heisenberg group $\mathbb{H}^1$ is a direct consequence of known $L^p$ improving properties of the standard Radon transform in $\mathbb{R}^2$. In this note, we show how the Loomis-Whitney inequalities in higher dimensional Heisenberg groups can be deduced…
Infinitesimal Hilbertianity of Weighted Riemannian Manifolds
2018
AbstractThe main result of this paper is the following: anyweightedRiemannian manifold$(M,g,\unicode[STIX]{x1D707})$,i.e., a Riemannian manifold$(M,g)$endowed with a generic non-negative Radon measure$\unicode[STIX]{x1D707}$, isinfinitesimally Hilbertian, which means that its associated Sobolev space$W^{1,2}(M,g,\unicode[STIX]{x1D707})$is a Hilbert space.We actually prove a stronger result: the abstract tangent module (à la Gigli) associated with any weighted reversible Finsler manifold$(M,F,\unicode[STIX]{x1D707})$can be isometrically embedded into the space of all measurable sections of the tangent bundle of$M$that are$2$-integrable with respect to$\unicode[STIX]{x1D707}$.By following the…
Universal infinitesimal Hilbertianity of sub-Riemannian manifolds
2019
We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.