Related papers: The coarea formula for Sobolev mappings

Given $m \in \mathbb{N} \setminus \{0\}$ and a compact Riemannian manifold $\mathcal{N}$, we construct for every map $u$ in the critical Sobolev space $W^{m/(m + 1), m + 1} (\mathbb{S}^m, \mathcal{N})$, a map $U : \mathbb{B}^{m + 1} \to…

We construct a large class of pathological $n$-dimensional topological spheres in ${\mathbb R}^{n+1}$ by showing that for any Cantor set $C\subset {\mathbb R}^{n+1}$ there is a topological embedding $f:{\mathbb S}^n\to{\mathbb R}^{n+1}$ of…

The Fourier coefficient map is considered as an operator from a weighted Lorentz space on the circle to a weighted Lorentz sequence space. For a large range of Lorentz indices, necessary and sufficient conditions on the weights are given…

We study the regularity of the roots of complex univariate polynomials whose coefficients depend smoothly on parameters. We show that any continuous choice of the roots of a $C^{n-1,1}$-curve of monic polynomials of degree $n$ is locally…

We consider Sobolev spaces with values in Banach spaces as they are frequently useful in applied problems. Given two Banach spaces $X\neq\{0\}$ and $Y$, each Lipschitz continuous mapping $F:X\rightarrow Y$ gives rise to a mapping $u\mapsto…

The purpose of this article is to prove a generalisation of the Besicovitch-Federer projection theorem about a characterisation of rectifiable and unrectifiable sets in terms of their projections. For an $m$-unrectifiable set…

We prove that if $\Omega\subset \mathbb R^n$ is a bounded open set and $n\alpha> {\rm dim}_b (\partial \Omega) = d$, then the Brouwer degree deg$(v,\Omega,\cdot)$ of any H\"older function $v\in C^{0,\alpha}\left (\Omega, \mathbb…

In this paper, we develop the theory of Sobolev spaces on locally finite graphs, including completeness, reflexivity, separability, and Sobolev inequalities. Since there is no exact concept of dimension on graphs, classical methods that…

Let $L^{m,p}(\mathbb{R}^n)$ be the homogeneous Sobolev space for $p \in (n,\infty)$, $\mu$ be a Borel regular measure on $\mathbb{R}^n$, and $L^{m,p}(\mathbb{R}^n) + L^p(d\mu)$ be the space of Borel measurable functions with finite seminorm…

We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…

We study the basic question of characterizing which boundary homeomorphisms of the unit sphere can be extended to a Sobolev homeomorphism of the interior in 3D space. While the planar variants of this problem are well-understood, completely…

We show that every $\mathbb{R}^d$-valued Sobolev path with regularity $\alpha$ and integrability $p$ can be lifted to a Sobolev rough path provided $\alpha < 1/p<1/3$. The novelty of our approach is its use of ideas underlying Hairer's…

For each $m\ge 1$ and $p>2$ we characterize bounded simply connected Sobolev $L^m_p$-extension domains $\Omega\subset R^2$. Our criterion is expressed in terms of certain intrinsic subhyperbolic metrics in $\Omega$. Its proof is based on a…

In terms of dilatations, it is proved a series of criteria for continuous and homeomorphic extension to the boundary of mappings with finite distortion between regular domains on the Riemann surfaces

We prove a sharp $L^p$-Sobolev regularity results for a class of generalized Radon transforms for families of curves in a three dimensional manifold, with folding canonical relations. The proof relies on decoupling inequalities by Wolff and…

Polynomial approximation is studied in the Sobolev space $W_p^r(w_{\alpha,\beta})$ that consists of functions whose $r$-th derivatives are in weighted $L^p$ space with the Jacobi weight function $w_{\alpha,\beta}$. This requires…

For a continuous function $f:\mathbb{R}\to\mathbb{R}$, define the corresponding graph by setting \[\Gamma_f := {(x1, f(x1)) : x_1\in\mathbb{R}} .\] In this paper, we study the Sobolev extension property for the upper and lower domains over…

We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincar\'e inequality. For foliations of a metric space X defined by a…

Federer's characterization of sets of finite perimeter states (in Euclidean spaces) that a set is of finite perimeter if and only if the measure-theoretic boundary of the set has finite Hausdorff measure of codimension one. In complete…

We construct planar bi-Sobolev mappings whose local volume distortion is bounded from below by a given function $f\in L^p$ with $p>1$, i.e. bi-Sobolev solutions for the prescribed Jacobian inequality in the plane for right-hand sides $f\in…