Related papers: $W^{2,1}$ approximation of planar Sobolev homeomor…
This manuscript develops a framework for the strong approximation of Sobolev maps with values in compact manifolds, emphasizing the interplay between local and global topological properties. Building on topological concepts adapted to VMO…
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space…
A well-known open problem asks whether every bi-Lipschitz homeomorphism of $\mathbb{R}^d$ factors as a composition of mappings of small distortion. We show that every bi-Lipschitz embedding of the unit cube $[0,1]^d$ into $\mathbb{R}^d$…
We show that homeomorphisms $f$ in ${\Bbb R}^n$, $n\geqslant3$, of finite distortion in the Orlicz--Sobolev classes $W^{1,\varphi}_{\rm loc}$ with a condition on $\varphi$ of the Calderon type and, in particular, in the Sobolev classes…
We provide a novel approach to approximate bounded Lipschitz domains via a sequence of smooth, bounded domains. The flexibility of our method allows either inner or outer approximations of Lipschitz domains which also possess weakly defined…
The Riemann Mapping Theorem states existence of a conformal homeomorphism $\varphi$ of a simply connected plane domain $\Omega\subset\mathbb C$ with non-empty boundary onto the unit disc $\mathbb D\subset \mathbb C$. In the first part of…
Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal…
For every $1\leq p<\frac{3}{2}$ we construct a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^4,[-1,1]^4)$ such that $f(x)=x$ for every $x\in \partial[-1,1]^4$ but $J_f<0$ a.e.
In the paper we investigate continuity of Orlicz-Sobolev mappings $W^{1,P}(M,N)$ of finite distortion between smooth Riemannian $n$-manifolds, $n\geq 2$, under the assumption that the Young function $P$ satisfies the so called divergence…
Given a smooth, complete Riemannian manifold $M$ with bounded Ricci curvature and positive injectivity radius, we derive a sharp Sobolev inequality for the embedding of $W^{1,p}(M)$ into $L^{\frac{np}{n-p}}(M)$, when $1\le p< n$. We will…
In this paper, we study Homeo$^1(S)$, the group of homeomorphisms of a surface that preserve the set of one-dimensional $C^1$ submanifolds of that surface. The group Homeo$^1(S)$ belongs to a family of similarly defined groups Homeo$^k(S)$…
We prove the density of smooth functions in the modular topology in the Musielak-Orlicz-Sobolev spaces essentially extending the results of Gossez \cite{GJP2} obtained in the Orlicz-Sobolev setting. We impose new systematic regularity…
We work in a class of Sobolev $W^{1,p}$ maps, with $p > d-1$, from a bounded open set $\Omega \subset \mathbb{R}^{d}$ to $\mathbb{R}^{d}$ that do not exhibit cavitation and whose trace on $\partial \Omega$ is also $W^{1,p}$. Under the…
We establish the area formula for change-of-variable mappings in the Sobolev space $W^{k,p}_{\text{loc}}$. Our approach relies on constructing Lipschitz approximations of Sobolev functions that agree with the original functions outside a…
We prove the $C^{1}$ regularity and developability of $W^{2,p}$ isometric immersions of $n$-dimensional flat domains into ${\mathbb R}^{n+k}$ where $p\ge \min\{2k, n\}$. Another parallel consequence of our methods is a similar regularity…
We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of…
We define abstract Sobolev type spaces on $\mathsf{L}^p$-scales, $p\in [1,\infty)$, on Hermitian vector bundles over possibly noncompact manifolds, which are induced by smooth measures and families $\mathfrak{P}$ of linear partial…
We construct an almost everywhere approximately differentiable, orientation and measure preserving homeomorphism of a unit $n$-dimensional cube onto itself, whose Jacobian is equal to $-1$ a.e. Moreover we prove that our homeomorphism can…
We enhance the approximation capabilities of algebraic polynomials by composing them with homeomorphisms. This composition yields families of functions that remain dense in the space of continuous functions, while enabling more accurate…
Given any $f$ a locally finitely piecewise affine homeomorphism of $\Omega \subset \mathbb{R}^d$ onto $\Delta \subset \mathbb{R}^d$ (for $d=3, 4$) such that $f\in W^{1,p}(\Omega, \mathbb{R}^d)$ and $f^{-1}\in W^{1,q}(\Delta, \mathbb{R}^d)$,…